arXiv++ Combinatorics

This paper studies the problem of counting homomorphisms from a bipartite source graph to a bipartite target graph. An exact formula is first derived for the number of homomorphisms from a complete bipartite graph to a general bipartite graph. Although exact, its evaluation is typically computationally intensive, and a computationally tractable combinatorial lower bound is derived. When the target graph contains no 4-cycles, the lower bound simplifies and becomes exact. Two additional lower bounds on the number of homomorphisms from a complete bipartite graph to an arbitrary bipartite graph are derived using properties of Shannon entropy. The first depends only on the sizes of the partite sets in the source and target graphs, together with the edge density of the target graph. The second further incorporates the degree profiles of the partite sets of the target graph, thereby strengthening the first bound. Both entropy-based bounds improve upon the inequality implied by the validity of Sidorenko's conjecture for complete bipartite source graphs. The lower bounds for complete bipartite source graphs are combined with new auxiliary results to derive general lower bounds on homomorphism counts between arbitrary bipartite graphs. Furthermore, a known reverse Sidorenko inequality is employed to derive a corresponding upper bound. This upper bound is attained when the source graph is a disjoint union of complete bipartite graphs, and admits a simple closed-form expression when the target graph contains no 4-cycles. Numerical results compare the new computationally tractable bounds with exact homomorphism counts in cases where exact computation is feasible.

For every fixed integer $d\geq2$, we prove that the finite graphs receiving a continuous homomorphism from the standard Schreier graph $F(2^{\mathbb Z^d})$ form a $Σ^0_1$-complete set. This extends a theorem of Gao, Jackson, Krohne and Seward when $d=2$. For the positive part of the reduction, we show that if a graph $H$ satisfies a certain property then there is a continuous graph homomorphism from $F(2^{\mathbb Z^d})$ to $H$, in particular, the complete graph $K_4$ satisfies this property. This extends a theorem of Gao and Jackson. We also prove that $\big (\mathcal H_d\big )$ is a strictly decreasing sequence.

We prove RE-completeness of the quantum homomorphism problem parameterised by families of graphs derived from the classic metric association schemes. These include Kneser graphs, $q$-Kneser graphs, and the complements of Johnson, Grassmann, and Hamming graphs. Our proof develops a spectral method for establishing non-contextuality of quantum polymorphisms. It combines an equality analysis of Roberson's bound on the projective packing number in terms of Schrijver's theta with a structural argument inspired by Erdős-Ko-Rado theory.

We prove that a path maximizes the expected range of a uniformly chosen graph homomorphism into the integers, with one vertex pinned at zero, among all connected bipartite graphs of the same order. This establishes the expectation form of the Benjamini--Häggström--Mossel conjecture. The proof restricts and rescales a homomorphism on each bipartition class, then contracts the edges on which the resulting height function is constant. A quantitative estimate for the rank of these zero edges compensates for a parity term in the expected range of a simple random walk, allowing an induction on the number of vertices. We then prove that the BHM inequality implies the Loebl--Ne\v set\v ril--Reed inequality for uniformly chosen integer 1-Lipschitz functions on arbitrary connected graphs, and hence obtain the LNR conjecture as a corollary of BHM. The proof was obtained through interaction with OpenAI GPT-6 Astra and verified by the author. The main results have also been formalized and checked in Lean~4.

An edge-weighted graph $H$, possibly with loops, is antiferromagnetic if its adjacency matrix is entrywise nonnegative and has at most one positive eigenvalue, counted with multiplicity. We show that, for any graph $G$ with $d_v:=\operatorname{deg}_G(v)$, $$\operatorname{hom}(G,H) \ge \prod_{v\in V(G)} \operatorname{hom}(K_{d_v+1},H)^{\frac{1}{d_v+1}},$$ whenever $H$ is antiferromagnetic. In fact, we prove a vertex-inhomogeneous strengthening of this inequality, allowing a different fugacity vector at each vertex of $G$. This gives a common generalization of the lower-bound inequalities of Sah, Sawhney, Stoner, and Zhao for independent sets, of Csikvári for $q$-colorings, and of the authors for semiproper colorings with at most two proper colors. Furthermore, it confirms recent conjectures of the authors and of Davies and LeBlanc. A key ingredient, of independent interest, is a strengthening of the delete-one form of Shearer's inequality for Lorentzian measures, which provides a new approach to graph homomorphism inequalities.

Throughout, all graphs are simple, finite and have vertex sets of the form $\{ 0, 1, 2, \ldots, n - 1 \}$ for some $n \in \mathbb{N}$. For graphs $G$ and $H$, and a permutation group $Γ$ on the vertex set of $H$, we say that $H$ is $Γ$-embeddable in $G$ if there exists a graph homomorphism from $H$ to $G$ of the form $ψ\circ \varphi$, where $\varphi \in Γ$ and $ψ$ is an increasing injection. Recently, standard and ordered Ramsey numbers of graphs were unified through the introduction of permutational Ramsey numbers, defined as follows. For graphs $H_1, H_2, \ldots, H_k$ and permutation groups $Γ_1, Γ_2, \ldots, Γ_k$ on their respective vertex sets, the permutational Ramsey number $R(H_1^{Γ_1}, H_2^{Γ_2}, \ldots, H_k^{Γ_k})$ is the minimum $n \in \mathbb{N}$ such that for every $k$-edge-coloring of a complete graph on $n$ vertices, there exists some $j \in \{1, 2, \ldots, k\}$ for which $H_j$ is $Γ_j$-embeddable in the spanning subgraph of the complete graph comprising the edges of color $j$. Here, we consider reflective (resp. dihedral) Ramsey numbers, which are a specific class of permutational Ramsey numbers in which each group $Γ_j$ is the reflection group (resp. dihedral group) on the naturally ordered vertex set of $H_j$. Focusing on the two-color case, we apply the SAT-based approach originally proposed by Poljak for ordered Ramsey numbers and recently extended to cyclic Ramsey numbers. We utilize the Kissat SAT solver to obtain exact values and lower bounds for small reflective and dihedral Ramsey numbers whose two arguments belong to the following graph classes: monotone and alternating paths, monotone cycles, start-central stars, complete graphs and nested matchings. We also derive several general results and formulate conjectures based on the computational findings.

Let \(\vec F(2^{\mathbb Z^2})\) be the directed Schreier graph on the free part of the Bernoulli shift \(\mathbb Z^2\curvearrowright 2^{\mathbb Z^2}\), with arcs in the two coordinate directions. We prove that the continuous oriented chromatic number of it is 7, that is, there is a tournament on 7 vertices receiving a continuous graph homomorphism from $\vec F(2^{\mathbb Z^2})$ and there is no continuous graph homomorphism from $\vec F(2^{\mathbb Z^2})$ to any tournament on 6 vertices.

A graph homomorphism is an integer-valued function on the vertex set of a graph that assigns values differing by exactly one to adjacent vertices. We consider uniformly random homomorphisms on general finite trees, conditioned to take the value zero at all leaves, and study the distribution of the value at the root. Our main result is a stochastic comparison, both from above and below, between the absolute values of the homomorphism value at the root and certain discrete Gaussian-like random variables. In particular, we obtain a subgaussian tail bound valid for all deviations, a matching lower bound that holds up to a certain threshold, and upper and lower variance bounds that differ by a constant factor. These bounds depend solely on the effective resistance between the root and the leaves in the associated electrical network. As a consequence, in the setting of infinite locally finite trees, we obtain that the homomorphism model is localized on transient trees and delocalized on recurrent trees. Analogous results are obtained for random integer-valued Lipschitz functions. Our results extend previous results of Benjamini--Häggström--Mossel on homomorphisms on regular trees, of Peled--Samotij--Yehudayoff on Lipschitz functions on regular trees, and of Lammers--Toninelli on homomorphisms on trees of minimum degree at least three.

Let $G$ and $H$ be finite simple graphs and assume that either both are undirected or both are directed. We introduce and study the ideal of weak graph homomorphisms $I_{G\to H}$. We characterize all graphs $G$ and $H$ for which every (equivalently, some) power of $I_{G\to H}$ has a linear resolution. Moreover, unmixedness, Cohen-Macaulayness, projective dimension and Castelnuovo-Mumford regularity of these ideals are studied.

We study partial orders induced by constrained variants of finite graph homomorphisms: monomorphisms, embeddings, full homomorphisms, vertex-surjective, edge-surjective and surjective homomorphisms, and locally injective, locally surjective and locally bijective homomorphisms. For each order we ask for analogues of the standard structural properties of the graph homomorphism order: canonical cores, past- or future-finiteness, universality, gaps and finite dualities. The comparison shows which phenomena are specific to ordinary homomorphisms and which are consequences of simpler order-theoretic mechanisms. We identify cores for full and surjective homomorphisms, relate full-homomorphism cores to point-determining graphs, characterize gaps in the full homomorphism order, and give finite obstruction bounds for several one-sided finite orders. We also analyze locally constrained homomorphisms on connected graphs. In particular, locally injective homomorphisms have all connected graphs as cores, admit infinite-chain density under natural degree-refinement assumptions, have explicit gap witnesses, and are universal already on finite connected bipartite subcubic cactus graphs. The paper reorganizes and extends several earlier arguments into a single framework for constrained homomorphism orders.

Mančinska and Roberson introduced quantum graph homomorphisms as the existence of perfect quantum strategies for graph homomorphism games. The resulting relation is a quasi-order on finite graphs, and hence gives a partial order after quotienting by quantum homomorphic equivalence. We prove that the quantum homomorphism orders of both finite directed graphs and finite undirected graphs are universal: every countable partial order embeds into them. For directed graphs, the proof uses the classical universality of the homomorphism order on finite disjoint unions of clockwise directed cycles, together with the fact that quantum homomorphisms between such directed cycles coincide with classical homomorphisms. For undirected graphs we construct an explicit ordered undirected indicator whose terminal vertices are quantum endpoint-forcing. Replacing each directed edge by this indicator embeds the directed-cycle order into the quantum homomorphism order of finite undirected graphs.

We present a structural classification of constraint satisfaction problems (CSP) described by reflexive complete $2$-edge-coloured graphs. In particular, this classification extends the structural dichotomy for graph homomorphism problems known as the Hell--Nešetřil theorem (1990). Our classification is also efficient: we can check in polynomial time whether the CSP of a reflexive complete $2$-edge-coloured graph is in P or NP-complete, whereas for arbitrary $2$-edge-coloured graphs, this task is NP-complete. We then apply our main result in the context of matrix partition problems and sandwich problems. Firstly, we obtain one of the few algorithmic solutions to general classes of matrix partition problems. And secondly, we present a P vs. NP-complete classification of sandwich problems for matrix partitions.

The Shannon capacity of graphs, introduced by Shannon in 1956 to model zero-error communication, asks for determining the rate of growth of independent sets in strong powers of graphs. Much is still unknown about this parameter, for instance whether it is computable. Recent work has established a dual characterization of the Shannon capacity in terms of the asymptotic spectrum of graphs. A core step in this duality theory is to shift focus from Shannon capacity itself to studying the asymptotic relations between graphs, that is, the asymptotic cohomomorphisms. Towards understanding the structure of Shannon capacity, we study the "combinatorial complexity" of asymptotic cohomomorphism. As our main result, we prove that the asymptotic cohomomorphism order is universal for all countable preorders. That is, we prove that any countable preorder can be order-embedded into the asymptotic cohomomorphism order (i.e. appears as a suborder). Previously this was only known for (non-asymptotic) cohomomorphism. Our proof is based on techniques from asymptotic spectrum duality and convex structure of the asymptotic spectrum of graphs. Our approach in fact leads to a new proof of the universality of (non-asymptotic) cohomomorphism.

The container methods are powerful tools to bound the number of independent sets of graphs and hypergraphs, and they have been extremely influential in the area of extremal and probabilistic combinatorics. We will focus on more specialized graph container methods due to Sapozhenko (1987) that deal with sets in expander graphs. Entropy, first introduced by Shannon (1948) in the area of information theory, is a measure of the expected amount of information contained in a random variable. Entropy has seen lots of fascinating applications in a wide range of enumeration problems. In this survey article, we will discuss recent developments that exploit a combination of the two methods on enumerating graph homomorphisms.

This paper introduces a novel topology, referred to as the star topology, on finite graphs. By treating vertices and edges as points in a unified space, we explore continuous maps between Bare representations of a graph and their properties. The key distinction lies in the fact that while every graph homomorphism induces a continuous map, the converse is not generally true due to potential loss of adjacency information.

In this paper we take inspiration from Weit'z algorithm for approximating the independence polynomial to provide a new algorithm for computing the coefficients of the Taylor series of the logarithm of the independence polynomial. Hereby we provide a clear connections between Barvinok's interpolation method and Weitz's algorithm. Our algorithm easily extends to other graph polynomials and partition functions and we illustrate this by applying it to the chromatic polynomial and to the graph homomorphism partition function. Our approach arguably yields a simpler and more transparent algorithm than the algorithm of Patel and the second author. As an application of our algorithmic approach we moreover derive, using the interpolation method, a deterministic $O(n(m/\varepsilon)^{7})$-time algorithm that on input of an $n$-vertex and $m$-edge graph of minimum degree at least $3$ and $\varepsilon>0$ approximately computes the number of sink-free orientations of $G$ up to a multiplicative $\exp(\varepsilon)$ factor.

An edge-weighted graph $G$, possibly with loops, is said to be antiferromagnetic if it has nonnegative weights and at most one positive eigenvalue, counting multiplicities. The number of graph homomorphisms from a graph $H$ to an antiferromagnetic graph $G$ generalises various important parameters in graph theory, including the number of independent sets and proper vertex-colourings, as well as their relaxations in statistical physics. We obtain homomorphism inequalities for various graphs $H$ and antiferromagnetic graphs~$G$ of the form \[ \lvert\operatorname{Hom}(H,G)\rvert^2 \leq \lvert\operatorname{Hom}(H\times K_2,G)\rvert, \] where $H\times K_2$ denotes the tensor product of $H$ and $K_2$. Firstly, we show that the inequality holds for any $H$ obtained by blowing up vertices of a bipartite graph into complete graphs and any antiferromagnetic $G$. In particular, one can take $H=K_{d+1}$, which already implies a new result for the Sah--Sawhney--Stoner--Zhao conjecture on the maximum number of $d$-regular graphs in antiferromagnetic graphs. Secondly, the inequality also holds for $G=K_q$ and those $H$ obtained by blowing up vertices of a bipartite graph into complete multipartite graphs, paths or even cycles. Both results can be seen as the first progress towards Zhao's conjecture on $q$-colourings, which states that the inequality holds for any $H$ and $G=K_q$, after his own work. Our method leverages on the emerging theory of Lorentzian polynomials due to Brändén and Huh and log-concavity of the list colourings of bipartite graphs, which may be of independent interest.

Many results in extremal graph theory can be formulated as certain polynomial inequalities in graph homomorphism densities. Answering fundamental questions raised by Lov{á}sz, Szegedy and Razborov, Hatami and Norine proved that determining the validity of an arbitrary such polynomial inequality in graph homomorphism densities is undecidable. We observe that many results in additive combinatorics can also be formulated as polynomial inequalities in subset's density and its variants. Based on techniques introduced in Hatami and Norine, together with algebraic and graph construction and Fourier analysis, we prove similarly two theorems of undecidability, thus showing that establishing such polynomial inequalities in additive combinatorics are inherently difficult in their full generality.

We study the complexity of a class of promise graph homomorphism problems. For a fixed graph H, the H-colouring problem is to decide whether a given graph has a homomorphism to H. By a result of Hell and Nešetřil, this problem is NP-hard for any non-bipartite loop-less graph H. Brakensiek and Guruswami [SODA 2018] conjectured the hardness extends to promise graph homomorphism problems as follows: fix a pair of non-bipartite loop-less graphs G, H such that there is a homomorphism from G to H, it is NP-hard to distinguish between graphs that are G-colourable and those that are not H-colourable. We confirm this conjecture in the cases when both G and H are 4-colourable. This is a common generalisation of previous results of Khanna, Linial, and Safra [Comb. 20(3): 393-415 (2000)] and of Krokhin and Opršal [FOCS 2019]. The result is obtained by combining the algebraic approach to promise constraint satisfaction with methods of topological combinatorics and equivariant obstruction theory.

We look at the question of which distance-regular graphs are core-complete, meaning they are isomorphic to their own core or have a complete core. We build on Roberson's homomorphism matrix approach by which method he proved the Cameron-Kazanidis conjecture that strongly regular graphs are core-complete. We develop the theory of the homomorphism matrix for distance-regular graphs of diameter $d$. We derive necessary conditions on the cosines of a distance-regular graph for it to admit an endomorphism into a subgraph of smaller diameter $e<d$. As a consequence of these conditions, we show that if $X$ is a primitive distance-regular graph where the subgraph induced by the set of vertices furthest away from a vertex $v$ is connected, any retraction of $X$ onto a diameter-$d$ subgraph must be an automorphism, which recovers Roberson's result for strongly regular graphs as a special case for diameter $2$. We illustrate the application of our necessary conditions through computational results. We find that no antipodal, non-bipartite distance-regular graphs of diameter 3, with degree at most $50$ admits an endomorphism to a diameter 2 subgraph. We also give many examples of intersection arrays of primitive distance-regular graphs of diameter $3$ which are core-complete. Our methods include standard tools from the theory of association schemes, particularly the spectral idempotents. Keywords: algebraic graph theory, distance-regular graphs, association schemes, graph homomorphisms