graph
35436 papers tagged with this keyword
Cographs in chordal graphs
For a graph $G$, let $\text{cg}(G)$ be the maximum $k\in \mathbb N$ for which $G$ contains a $k$-vertex cograph as an induced subgraph. The Erdős-Hajnal conjecture asserts that for every proper hereditary graph class $\mathcal{G}$, there exists $γ\in(0,1]$ such that every $n$-vertex graph $G\in\mathcal{G}$ satisfies $\text{cg}(G)\geq n^γ$. This is still open; however, for some hereditary classes, one may guarantee much stronger bounds. For instance, every chordal graph $G$ on $n\geq 2$ vertices satisfies $\text{cg}(G)\geq n/(2\log n)$. Paul Seymour asked whether this bound is optimal up to a constant factor. We answer this affirmatively, even for interval graphs: For every integer $n\geq 2$, we construct an $n$-vertex interval graph $G$ with $\text{cg}(G)<64n/\log n$.
Temporal Exploration and Rendezvous via Weisfeiler-Leman Colorings
Temporal graphs are graphs whose edge relation changes in discrete time steps. The Temporal Exploration Problem (TEXP) asks for a temporal walk that visits all vertices. We show that every connected temporal graph with $n$ vertices can be explored in $O(qn\log^3(n))$ time steps, where $q$ is the number of vertex color classes induced by the 2-dimensional Weisfeiler-Leman (2-WL) coloring. For small $q$, our bound substantially improves on the known worst-case bound of $Θ(n^2)$ in general connected temporal graphs. A corresponding walk can be constructed in deterministic polynomial time. The upper bound is complemented by lower bounds of $Ω(n\log(n))$ when $q$ is constant and $Ω(qn)$ when $1 \leq q \leq n$.
We also apply our techniques to the Temporal Rendezvous Problem (TRP), in which two agents that do not communicate have to meet on a vertex of the temporal graph. Our exploration algorithm yields that, with only polynomial-time computational power, the agents can meet in $O(n\log^3(n))$ time steps, leaving a gap of only $\log^2(n)$ to the known lower bound.
Dogeas, Erlebach, Kammer, Meintrup, and Moses Jr. [ICALP'24] have shown an $O(rn^{1+ε})$ bound for TEXP, for every fixed $ε> 0$, where $r$ is the number of orbits, and an $O(n^{1+ε})$ bound for TRP. Both results require superpolynomial computation time. Our contribution improves upon these results in several ways. First, the dependence on $n$ in the upper bounds on the number of time steps is decreased from $n^{1+ε}$ to $n\log^3(n)$ for both TEXP and TRP. Second, for TEXP, we bound the number of time steps linearly by the parameter q, which is efficiently computable and upper bounded by $r$. Third, we provide novel deterministic polynomial-time algorithms for both TEXP and TRP.
Facets of the X-ray polytope of doubly stochastic matrices
We study the polytope of anti-diagonal X-rays of k x k doubly stochastic matrices, the image of the Birkhoff polytope under the map that sums the entries along each anti-diagonal. Its facets other than the coordinate facets are the minimal joint tail bounds for lattice laws of a sum of two dependent uniform random variables. We give an exact facet criterion in terms of the allowed edges of a tight graph. For rays of the underlying tropical fan, total support of the tight graph suffices for a facet but is not necessary, as an example with k=19 shows. Up to affine functions and positive scaling, the potentials that define a facet form a polytope whose vertices are its rays. Facets propagate by padding and by grid refinement under explicit hypotheses. We give infinite families of facets from no step potential, facets of quadratic height, superpolynomially many facets, and a classification of three-step potentials. Total support of a step potential is characterized by a Hall-type condition on block starts; with computer assistance, total support decides facets of step potentials for k<=26. The facet counts up to k=12 are found directly for k<=3 and, for k>=4, come from an enumeration by a provably complete algorithm; an independent exact recomputation reproduces its ray lists for 5<=k<=12.
The three-colour bipartite Ramsey number of sufficiently long even cycles
For a bipartite graph $H$, let $\operatorname{br}_3(H)$ be the least integer $N$ such that every three-colouring of $K_{N,N}$ contains a monochromatic copy of $H$. We prove that $\operatorname{br}_3(C_{2n})=3n$ for all sufficiently large $n$, and give the lower bound for every $n\ge2$. For the upper bound, we reduce a counterexample to a finite rational weighted profile. Cycle extension and vertex-cover arguments force the critical components to have six unique minimum covers which partition the profile. The remaining component supports give a contradiction.
Modulating flow polynomials and parity bias in homological walk counting
Long weighted walks seem to sample mod-$t$ flows uniformly, but at even moduli a persistent parity bias survives. Writing $C_G(t)$ for the flow polynomial of a connected graph $G$ of genus $g$, the proportion of nowhere-zero flows under uniform sampling is $C_G(t)/t^g$. For arbitrary positive directed weights and all moduli, we determine the exact leading corrections for both closed walks and nonbacktracking closed walks, which we call circuits. Only the circuit result requires $g\ge2$. For closed walks, the canonical character governs the leading correction through the canonical modulating flow polynomial $D_G$; for circuits, the period character, when it exists, governs the leading correction through the period modulating flow polynomial $D_{G,η}$. At even moduli these give parity-dependent corrections: the two mechanisms coincide on nonbipartite graphs and separate only in the bipartite circuit problem. More generally, each integral-homology character $ζ$ determines a balanced-dichromatic specialization $D_{G,ζ}$. These polynomials form a character-indexed family whose finite-order members give Fourier coefficients of the nowhere-zero flow set and whose retained edge sets are the central sets of a gain semimatroid. We further show that $D_G$ is a cycle-matroid invariant and a signed-Tutte specialization satisfying signed deletion-contraction. Finally, an integral nowhere-zero approximation theorem implies that asymptotically almost every weighted circuit traverses every edge.
Discrete homotopy of graphs and $k$-parabolic subspace arrangements
Discrete homotopy theory is a combinatorial homotopy theory defined for discrete objects. Barcelo--Severs--White conjectured that the homotopy groups of complements of $k$-parabolic subspace arrangements are isomorphic to the discrete homotopy groups of graphs associated with the Coxeter complexes. We show that this correspondence fails in general by giving a counterexample in degree two for the $4$-parabolic subspace arrangement of type $A_5$.
Connected Coloring Games on Corona Products of Graphs
We study the connected coloring game on corona products of graphs. For connected graphs $G$ and $H$, we prove the sharp upper bound $χ_{cg}(G\circ H)\leq\max\{Δ(G),Δ(H)+1\}+1$ and establish a further bound using the Bob-start ordinary coloring game on the second factor. We show that the difference between the Alice-start and Bob-start connected game chromatic numbers can be arbitrarily large in either direction. We further prove that a connected subgraph may have arbitrarily larger connected game chromatic number than its ambient connected graph, and that $χ_{cg}(G\circ H)$ cannot be bounded in terms of $χ_{cg}(G)$ and $χ_{cg}(H)$ alone, even when both factors have connected game chromatic number $2$. We also obtain corona products for which the difference $χ_g-χ_{cg}$ is arbitrarily large and construct infinitely many connected graphs with $χ_g<χ_{cg}$. Finally, for corona products of trees, we prove the universal upper bound $5$, characterize those attaining the value $3$, give structural sufficient conditions for the value $4$, and exhibit a broad family attaining the value $5$.
A Computer-Assisted Proof that R(5,10;5,8)=21 for the Generalized Threshold Ramsey Number
We prove that the generalized threshold Ramsey number R(5,10;5,8) equals 21. This number corresponds to the set Ramsey number r_5(10,8) introduced by Harborth. The proof is computer-assisted. We first enumerate all (4,6;5,8)-good and (5,10;4,4)-good graphs. Then we apply the lucky-vertex inequality derived from the McKay--Radziszowski edge identity to filter candidate pairs for a gluing search, and encode the remaining cases as SAT instances. The search yields exactly 17 non-isomorphic (5,10;5,8;20)-good graphs. Finally, we exclude all one-vertex extensions of these 17 graphs, which proves that no (5,10;5,8;21)-good graph exists.Additionally, we update the tabulation of small set Ramsey numbers r_5(m,n) for 1 <= m,n <= 10.
Avoiding two cycles in Avoider--Enforcer games
We study the strict and monotone $(1:b)$ Avoider--Enforcer games on the edges of the complete graph $K_n$. We prove that, for integers $n\ge2$ and $b\ge6n$, Avoider can keep his graph a forest after every move, except possibly the last. Thus, his final graph contains at most one cycle. This answers Question~10 of Clemens, Ehrenmüller, Person, and Tran, which asks whether a bias linear in $n$ is sufficient.
An entropy proof of the commonality of apices of trees
A graph $H$ is called common if the number of monochromatic copies of $H$ in a $2$-edge-colouring of a large complete graph is asymptotically minimized by the random colouring with an equal proportion of each colour. Grzesik, Lee, Lidický and Volec conjectured that every $k$-apex of any connected Sidorenko graph is common. Recently, Kr{á}l', Krnc and Lamaison proved that the $k$-apex of any tree is common for $k\leq 5$. In this paper, we extend their result by showing that for every positive integer $k$, the $k$-apex of any tree or any forest with average degree at least one is common. Our proof involves an application of the entropy method.
Third and Fourth Moment Phenomena for Monochromatic Edges and Applications to Graph-Based Two-Sample Tests
Given a graph sequence $\{G_n\}_{n\in\mathbb{N}}$, denote by $T_n$ the number of monochromatic edges when the vertices of $G_n$ are independently colored red or blue with probabilities $p$ and $1-p$, respectively. We characterize the asymptotic normality of $T_n$, after centering and scaling to unit variance, in terms of subgraph (motif) counts and standardized moments. One of the highlights of our results is a {\it third moment phenomenon}: for every fixed $p\in(0,1)\backslash\{\frac12\}$, asymptotic normality holds if and only if the standardized third moment converges to zero. The more familiar {\it fourth moment condition}, which requires the standardized fourth moment to converge to $3$, gives an equivalent characterization except at the two exceptional probabilities $p=\frac{1\pm1/\sqrt3}{2}$. At these values, the standardized fourth moment converges to $3$ for every graph sequence with a diverging number of edges, even when Gaussian convergence fails. In contrast, in the balanced case $p=\frac12$, the fourth moment condition characterizes asymptotic normality, while the third moment condition is insufficient. These results identify three distinct regimes for moment characterizations of Gaussian convergence, determined by the coloring probability. We further show that the third moment condition remains sufficient in the sparse regime, where $p=p_n \to 0$. As an application, we derive the limiting null distribution of two-sample statistics based on undirected $K$-nearest-neighbor graphs in the Poissonized setting, identifying sharp growth conditions on $K$ for asymptotic normality.
Integer Flows on Cyclic Covers of Graphs
Graph covers preserve the local structure of a graph while allowing its global structure to change substantially. In this paper, we study how such changes in cyclic covers affect nowhere-zero flow properties. For a fixed integer $\ell \ge 2$, we show that for every bridgeless graph $G$, there exists an $\ell$-fold cyclic cover of $G$ that admits a nowhere-zero $3$-flow if $\ell$ is even and a nowhere-zero $4$-flow if $\ell$ is odd. These bounds are best possible in general. For odd $\ell$, we further investigate which bridgeless graphs admit an $\ell$-fold cyclic cover with a nowhere-zero $3$-flow.
Proofs of Li, Wang and Guo's conjectures on (signless) Laplacian spectral radius
Let $μ(G)$ and $q(G)$ be the Laplacian and signless Laplacian spectral radii of a graph $G$. Li, Wang and Guo (2026) conjectured that, if $H$ with $|V(H)|\geq 1$ is an induced subgraph of a graph $G$, then $μ(G)\le\max\limits_{v\in V(H)}μ(H_v^t)$ and $q(G)\le\max\limits_{v\in V(H)}q(H_v^t)$, where $t=e(G)-e(H)$ and $H_v^t$ is the graph obtained from $H$ by adding $t$ pendant edges to $v\in V(H)$. We prove this conjecture by establishing a spectral comparison theorem for a broader family of positive semidefinite graph matrices which includes the Laplacian and signless Laplacian matrices. We also characterize all equality cases for the prescribed subgraph $H$ with $e(H)\geq 1$ and $t\geq 1$.
Balanced subgraph counts and quasirandomness: a proof of the Janson--Sós conjecture
Let $F$ be a finite simple graph with $m$ vertices and at least two edges, and let $p\in(0,1]$. We prove that a graph sequence is $p$-quasirandom if and only if the symmetrized counts of copies of $F$ across every balanced partition into $m$ classes have the asymptotics predicted by the random graph with edge probability $p$. This settles a conjecture of Janson and Sós for all such $F$, including graphs with isolated vertices. The proof completes their graph-limit reduction by a concavity argument for a sum of fractional powers determined by the degree sequence of $F$. We also show that a symmetrized subgraph kernel of positive mean can be additive in its coordinates only when the underlying graphon is constant almost everywhere. This rigidity result yields a quasirandomness criterion for generalized restricted subgraph counts, resolving a further conjecture of Janson.
Distinguishing graphs with simple spectrum by homomorphism counts
We study which graph classes determine every graph with simple spectrum up to isomorphism by homomorphism counts from their members. We show that such a class has unbounded treewidth and Euler genus and contains a graph with the complete graph on seven vertices as a minor. To prove these conditions, we construct pairs of non-isomorphic cospectral graphs with simple spectrum, each bipartite, nonsingular and of maximum degree at most six. The construction attaches rooted trees to Cai-Furer-Immerman graphs and preserves homomorphism indistinguishability over every minor-closed class. We then prove that subcubic homomorphism counts determine every graph whose adjacency matrix has kernel dimension at most one. This extends the known result for nonsingular graphs and applies to all graphs with simple spectrum. We also prove that two graphs have the same subcubic homomorphism counts if and only if they have the same number of vertices and there is a bijective linear isometry between the images of their adjacency matrices that intertwines the adjacency operators and preserves the coordinatewise trilinear forms. Finally, we prove that homomorphism counts from the single-vertex graph and from subdivisions of any sequence of connected cubic graphs have the same distinguishing power as subcubic homomorphism counts if every complete graph is a minor of some member of the sequence.
Resilience of rainbow Hamilton cycles in pseudorandom graphs
We prove that every spanning subgraph $H$ of an $n$-vertex $(p,β)$-bijumbled graph, satisfying $δ(H)\geq(1/2+\varepsilon)pn$, where $\varepsilon > 0$ is arbitrarily small yet fixed, admits a rainbow Hamilton cycle under any globally $μpn$-bounded colouring, provided that $β\leq cpn$ and $pn\geq M$, where $μ$, $c$, and $M$ are positive constants depending solely on $\varepsilon$; in particular, $pn$ may be taken to be a sufficiently large constant. This answers a question of Coulson, Keevash, Perarnau and Yepremyan for random graphs and extends it to deterministic pseudorandom hosts.
In fact, we prove that $H$ admits at least $(apn)^n$ rainbow Hamilton cycles, where $a > 0$ is a constant depending solely on $\varepsilon$. If $pn\geq D\log n$, then, upon fixing a coloured $H$, retaining each edge independently with probability $D\log n/(pn)$ preserves rainbow Hamiltonicity asymptotically almost surely. The logarithmic degree requirement is needed only for this percolation conclusion.
All three conclusions also hold with rainbowness replaced by avoidance of prescribed pairs of edges, provided that each edge has at most $μpn$ conflicting partners. Our proofs use spread measures and the lopsided local lemma.
A solution to a conjecture on the signless Laplacian spectral radius for $t$-color-critical graphs
An induced matching is a matching that forms an induced subgraph. A graph is $t$-color-critical if removing some induced matching of size $t$ lowers its chromatic number, but removing any $t-1$ vertices does not. Let $F$ be a $t$-color-critical graph with $χ(F)=r+1$. For sufficiently large $n$, Simonovits determined the unique edge-extremal $F$-free graph on $n$ vertices. Recently, Zheng, Li and Li [Linear Algebra Appl.\ 730 (2026) 546--565] conjectured that, for $t\ge 2$ and $r\ge 3$, the join $K_{t-1}\vee T_{n-t+1,r}$ uniquely maximizes the signless Laplacian spectral radius among all $n$-vertex $F$-free graphs when $n$ is sufficiently large. In this paper, we prove this conjecture. In contrast to the usual spectral arguments, our proof of this conjecture relies on two techniques of a rather different flavour. Our first technique is an analogue of Zykov symmetrization for the signless Laplacian matrix. Our second technique is an induction on $n$, from which we obtain the lower bound on the smallest entry of the Perron vector of a signless Laplacian spectral extremal graph rather than a structural statement.
On gcd-graphs over matrix rings
Graphs defined over finite rings are well studied in the literature. The study of these graphs benefits from rich connections between several areas of mathematics, including number theory, algebra, combinatorics, and graph theory, and these connections often lead to interesting interactions between algebraic and combinatorial structures. In this article, we investigate gcd-graphs defined over matrix rings with coefficients in finite fields. We show that these graphs exhibit several interesting graph-theoretic properties. Along the way, we also prove some results on the structure of matrix rings, which may be of independent interest.
Quasimonophobic graphs and degree spectral sequences in discrete cubical homology
We introduce the degree filtration on the discrete cubical chain complex of a graph, defined in terms of the maximal injective dimension of the facets of singular $n$-cubes, and study the degree spectral sequence which arises from this filtration. This spectral sequence interpolates between the discrete cubical homology of a graph $H_n(G)$ and the injective homology $H_n^{inj}(G)$, a variant of the discrete cubical homology based on injective singular cubes. Building on the work of Greene and the first author, we introduce the combinatorial condition of quasimonophobicity on graphs, and show quasimonophobicity implies both the vanishing of the degree spectral sequence in certain bidegrees, and implies $H_n^{inj}(G)$ is isomorphic to the homology of the CW complex obtained by ``filling in'' subcubes of the graph. These results are applied to compute $H_2(G_n^{sph})$ for the Greene sphere graphs $G^{sph}_n$.
Domination polynomial of co-maximal graphs of integer modulo ring
We investigate the domination polynomial of the co-maximal graph $Γ(\mathbb{Z}_n)$ related to the ring of integers modulo $n$. Such a polynomial encodes domination sets of all possible sizes, a NP-hard problem for general graph. We give exact formulas for prime powers, integers with two distinct prime divisors, and products of three distinct primes. A prime-support decomposition gives a finite explicit formula for arbitrary $n$, including repeated prime factors. Further results determine the highest coefficients, the precise threshold beyond which every vertex subset dominates, and the number of non-dominating subsets. We discuss unimodality and log-concavity, and derive justified bounds for nonzero domination roots using the Eneström--Kakeya theorem.