graph
35150 papers tagged with this keyword
Balanced even cycles in signed graphs:Turán bounds, double covers, and parity obstructions
We study Turán problems for balanced even cycles in simple signed graphs, where signed subgraphs are considered up to switching. For every balanced bipartite signed graph, the signed and ordinary Turán numbers differ by at most a factor of two. Our main structural results concern the underlying graphs that admit a signing in which every $2k$-cycle is unbalanced. We characterize these graphs by the absence of an odd dependence among their $2k$-cycle incidence vectors, give a cohomological formulation, and construct subgraph-minimal obstructions of arbitrarily large order. In particular, there is no finite forbidden-subgraph characterization. We also give an exact closed-walk criterion for cycles in double covers and derive a direct signed breadth-first-search upper bound. As applications, we prove \[ \hex(n,C_{+4})=\left(\frac{\sqrt2}{2}+o(1)\right)n^{3/2} \] and study the signed hexagon number $R_6(n)=\hex(n,\{C_{-3},C_{+6}\})$. We characterize the underlying graphs counted by $R_6$ and express it as an extremal problem for ordinary $C_6$-free graphs with a prescribed involution. For every sufficiently large $n$, we construct examples with $Ω(n^{4/3})$ edges, and we give an equivariant construction attaining the coefficient obtained from the Füredi--Naor--Verstraëte lower bound by double-cover transfer. Finally, we give $n$-vertex $C_{+10}$-free signed graphs with $Ω(n^{6/5})$ edges and use octagon examples to illustrate the limitations of theta-freeness as a signing criterion.
Erdős-Sós for digraphs
It is shown that every Eulerian digraph on $n$ vertices with more than $(t-1)n$ arcs contains every oriented tree with $t$ edges. The digraphs have no loops or repeated arcs, but opposite arcs are permitted. The bound is sharp for each fixed oriented tree, as witnessed by disjoint unions of complete bidirected graphs. Previously, such tight bounds were not known, even just for directed paths. This can be considered as a directed analog of the recently proved Erdős-Sós conjecture. The result was proved by GPT-6 Astra.
Max Independent Set Remains NP-hard when Excluding a Planar Induced Minor
We show that there is a fixed planar graph $H$, namely the $5 \times 5$ grid, such that Max Independent Set remains NP-hard in $H$-induced-minor-free graphs. This refutes the Dallard--Milanič--Štorgel conjecture and a weakening of it by Gartland and Lokshtanov, and by Korhonen.
Polynomial positivity cones for Coxeter roots and walks in trees
For a finite simple graph $G$ and an integer $k\ge0$, let $w_k(G)$ denote the number of walks of length $k$. We prove the conjecture of Täubig, Weihmann, Kosub, Hemmecke, and Mayr for every finite tree and determine all equality cases. If $T$ has $n\ge1$ vertices, then $n w_{k+1}(T)-2(n-1)w_k(T)\ge0$ for every $k\ge1$; for $n\ge3$, equality holds if and only if $T$ is a star and $k$ is even, whereas for $n=1$ or $n=2$, equality holds for every $k\ge1$. For non-Dynkin trees and even indices, the proof is based on a polynomial positivity cone associated with the adjacency operator of a finite graph and a positive real root of its simply-laced Coxeter system. For finite connected bipartite non-Dynkin graphs, we establish sufficient positivity conditions in terms of Coxeter orbits and inversion sets, and verify these conditions for indicator roots supported on connected induced subtrees. For non-Dynkin trees, this yields the rooted even-index inequality and, after summation, the corresponding global inequality. We also prove that if $G$ is a finite connected bipartite non-Dynkin simple graph, $\varnothing\ne U\subseteq V(G)$, and the subgraph of $G$ induced by $U$ is a tree, then $|U|w_{k+1}(G,U)-2(|U|-1)w_k(G,U)\ge0$ for every $k\ge0$, where $w_k(G,U)$ counts the length-$k$ walks in $G$ whose initial and terminal vertices lie in $U$; the intermediate vertices are unrestricted. The remaining even-index cases for finite Dynkin trees are handled by generating-function recurrences, while the odd-index cases follow from a spectral covariance identity.
Undirected edge geography games on stacked prism graphs
The undirected edge geography is a two-player combinatorial game on an undirected graph. The players start at the root vertex and alternately move the root along an incident edge to its other endpoint and then delete that edge. The first player who has no remaining move is the loser. For positive integers $m$ and $n$ where $m\geq 3$, the stacked prism graph is $SP(m,n)=C_m\square P_n$. In this paper, we completely determine the winner of the game on $SP(2m,n)$ for $m\geq 2$ and $SP(m,2)$ for $m\geq 3$, and provide a winning strategy for the winner.
Rainbow connecting $2$-colorings of super-Dirac graphs
Let $G$ be a graph with minimum degree $δ(G)\ge|V(G)|/2$. Can we color the edges of $G$ with red and blue so that every pair of non-adjacent vertices is connected by a path consisting of exactly one red edge and one blue edge? We provide an affirmative answer to this question for a class of graphs that are ``close'' to a complete balanced bipartite graph or the disjoint union of two cliques of the same order. Surprisingly, our methods extend to a much broader class of graphs with minimum degree slightly above $|V(G)|/2$. Furthermore, we answer an asymptotic version of this question in full, proving that every graph $G$ satisfying $δ(G)\ge(|V(G)|-1)/2$ has a $2$-edge-coloring such that almost all pairs of vertices are connected by a rainbow path. In addition, we propose a number of related open problems.
A Counterexample to an Eternal Domination Conjecture
A graph $G$ with 243 vertices is shown having $γ(G) = γ^{\infty}(G) < θ(G)$, disproving the Gamma-Theta conjecture for eternal dominating sets.
Kriesell's conjecture for infinite graphs
Let $G$ be a graph and $S\subseteq V(G)$ be a subset of vertices. An $S$-Steiner tree $T$ of $G$ is a tree of $G$ which contains $S$ in its vertex set $V(T)$. Kriesell conjectured that for every $2k$-edge-connected subset $S\subseteq V(G)$ in a finite connected graph $G$, there exist $k$ pairwise edge-disjoint $S$-Steiner trees. This conjecture is false for infinite graphs. We present a version of Kriesell's conjecture with topological $S$-Steiner trees for countable finitely edge-separable graphs and a version with $F$-limits of trees for rayless graphs.
We show that if Kriesell's conjecture holds for finite graphs, then it holds for every connected, rayless and finitely edge-separable graph. We also show that every $2k$-edge-connected rayless and finitely edge-separable graph contains $k$ pairwise edge-disjoint spanning trees.
Some results on Archdeacon's conjecture for rotation systems
A rotation system on $n$ elements assigns to each element a cyclic order of the other $n-1$ elements. A four-element subset is non-planar if its induced rotation system cannot be realized by a crossing-free drawing of $K_4$. As a combinatorial strengthening of Hill's conjecture on the crossing number of the complete graph, Archdeacon conjectured that every rotation system on $n$ elements has at least $H(n)=\frac{1}{4} \lfloor\frac {n}{2}\rfloor \lfloor\frac{n-1}{2}\rfloor \lfloor\frac{n-2}{2}\rfloor \lfloor\frac{n-3}{2}\rfloor$ non-planar four-element subsets.
We computationally verify Archdeacon's conjecture for $n\leq 10$ and show that every extremal rotation system in these orders is realizable by a simple drawing. With computer assistance, we prove that every rotation system on $n$ elements has at least $(8/9 - o(1)) H(n)$ non-planar four-element subsets. We also present a proof by hand for a weaker lower bound of $(2/3-o(1)) H(n)$. Finally, extending recent work of Felsner on antipodal pairs in drawings, we show that Archdeacon's conjecture holds for antipodally shellable rotation systems.
Identifiability of Nonnegative Tensor Decompositions via Positive Scattering
Identifiability of tensor decompositions is often established through linear-algebraic conditions on the factor families. For nonnegative decompositions, however, positivity provides additional information that is not captured by dimension and independence alone: nonnegative terms cannot cancel, and their supports constrain competing decompositions. We introduce a positive scattering term that quantifies this additional source of identifiability and combine it with the dimension budget underlying the Lovitz--Petrov generalization of Kruskal's theorem. For every subset of components, we obtain two sufficient conditions: a threshold of $2|S|-2$ guarantees minimality and nonnegative rank, while the stronger threshold $2|S|-1$ guarantees uniqueness among nonnegative decompositions of the same length. The key result is a positive splitting inequality for irreducible exchanges of nonnegative rank-one tensors, which combines the dimension constraint with support-induced geometric rigidity. Although the scattering term is defined through an optimization over intermediate factor spaces, we show that its mode costs are exactly $0$, $1$, or $+\infty$, yielding an exact activation characterization in terms of graph connectivity. The resulting criterion can strictly certify sparse nonnegative tensor decompositions beyond the reach of Kruskal and Lovitz--Petrov conditions, including examples for which those conditions fail even after reshaping. In the matrix case, the two criteria reduce respectively to full-rank factorization and two-sided separability.
Conditions for traceability under a bound on the size of even-distance sets
We make partial progress towards a proof of Conjecture 189 of Written on the Wall II by showing that a connected graph $G$ satisfying $\max\{\mathrm{dist_{even}}(v):v\in V(G)\}\le d_2+1$, where $\mathrm{dist_{even}}(v)$ is the number of vertices at an even distance from $v$ and $d_2$ is the second smallest degree of $G$, is traceable whenever at least one of four conditions holds. These conditions involve the vertex-connectivity, order, and diameter of $G$.
Spectral bipartiteness in generalized odd graphs of diameter three
For a graph $G$ of order $n$, put $σ(G)=(λ_1(G)+λ_n(G))/n$. We determine the first three largest values of this invariant among nonbipartite distance-regular graphs of diameter three and odd girth at least seven. The unique maximizer is the folded $7$-cube, with value $1/32$; the unique second maximizer is the Odd graph $O_4$, with value $1/35$; and the unique third maximizer is $C_7$, with value $2(1-\cos(π/7))/7$. More precisely, every other graph in the class satisfies $σ(G)<1/36$. This answers Problem~11 of Abiad, Taranchuk and van Veluw in \emph{Electronic Journal of Combinatorics} 33(2) (2026), P2.31. The proof combines established local multiplicity and odd-moment bounds: the condition $σ(G)\geq1/36$ forces the valency to be at most $182$. An exhaustive certificate using only integer and rational arithmetic then leaves three intersection arrays. The complete certificate is publicly available, and neither a classification of generalized odd graphs nor the $Q$-polynomial property is assumed. The odd-girth theorem gives the same extremal conclusions for connected $\{C_3,C_5\}$-free graphs with at most four distinct adjacency eigenvalues, without assuming regularity.
Fort Abundance in Zero Forcing
This paper paper concerns the study of forts, the sets that obstruct zero forcing. We show that every block graph on $n$ vertices has at least $n/3$ minimal forts, extending a recent bound for trees by Cameron and and Li (arXiv:2512.12874). The number of forts, and with it the number of compatible collections, grows exponentially for every tree, every connected non-star graph of bounded degree, and every connected graph of linear minimum degree, answering a question in the negative by Hicks et al. (INFORMS Journal on Computing 2022) for these graph classes. We finish by counting the minimal forts of a tree exactly, in linear time and space.
Distinguishing adjacent vertices by ordering edges
The 1-2-3 Conjecture states that for every graph without isolated edges, there exists an edge-weighting from $\{1,2,3\}$ such that adjacent vertices receive distinct sums of weights on their incident edges. In the sequence variant, adjacent vertices are to be distinguished by the sequences of weights on their incident edges. In this paper, we investigate whether, for every graph without isolated edges and for a fixed proper edge colouring (where colours are interpreted as weights), there exists a global total order of the edges such that the resulting sequences of incident weights distinguish adjacent vertices. For connected graphs, we prove that such an order exists whenever there exist two adjacent vertices that have distinct sets of incident weights. This yields a positive answer for every proper edge colouring of a connected non-regular graph or a connected graph of class two. Moreover, a probabilistic argument gives the same conclusion for connected regular graphs of degree at least six.
A General Inequality for Walks in Graphs
Let $G$ be a graph and $w_k(G)$ denote the number of walks in $G$ of length $k$. For sequences $a_1, \cdots, a_n$ and $b_1, \cdots, b_n$ of non-negative integers such that $a_1 + \cdots + a_n = b_1 + \cdots + b_n$, we determine a simple necessary and sufficient condition on $a_1, \cdots, a_n, b_1, \cdots, b_n$ for the inequality \[ w_{a_1}(G) \cdots w_{a_n}(G) \geq w_{b_1}(G) \cdots w_{b_n}(G) \] to hold for any graph $G$.
Unfriendly partitions of locally finite Borel graphs
We answer in the negative the question of Thomas, recorded by Conley, Conley--Marks--Unger, and Conley--Tamuz, of whether every locally finite Borel graph admits a Borel unfriendly partition. Our counterexample has unbounded degree and is closed on a zero-dimensional Polish space; its connectedness relation is hyperfinite, and its components are bipartite and one-ended. Every unfriendly colouring is proper. Together with a parity obstruction, this rigidity rules out Baire measurable colourings that are unfriendly on a comeager set, and measurable colourings that are unfriendly almost everywhere for a quasi-invariant probability of finite average degree. In the positive direction, a Borel graph of maximum degree at most four admits a Borel unfriendly colouring whenever each component contains a cycle or a vertex of degree at most two. This reduces the Borel problem in maximum degree three to cubic forests and, with a theorem of Conley--Marks--Unger, gives Baire measurable unfriendly colourings for all Borel graphs of maximum degree at most four.
When chromatic polynomials coincide with list-color functions: a threshold linear in the maximum degree
Let $G$ be a simple graph with maximum degree $Δ\ge 3$, and let $P(G,k)$ denote its chromatic polynomial. For each positive integer $k$, the list-color function $P_{\ell}(G,k)$ is the minimum number of $L$-colorings of $G$ over all $k$-assignments $L$. In this paper, we prove that $P_{\ell}(G,k)=P(G,k)$ for every integer $k\ge 23.41Δ$. This gives a threshold for equality that is linear in the maximum degree and independent of the number of vertices or edges. It improves the known sufficient condition $k\ge |E(G)|-1$ for graphs with sufficiently many edges relative to their maximum degree.
Recognizability equals CMSO-definability for graphs of rank-width at most two
We prove that, on finite graphs of rank-width at most two, VR-recognizability and counting monadic second-order definability coincide. This advances the recognizability-versus-definability problem from bounded linear clique-width to the first nontrivial bounded rank-width level beyond the rank-width-one split-decomposition case. The proof first treats split-prime graphs. The maximal partial-tree theory of Clark and Whittle organizes the non-sequential cut-rank-two separations, while a single strong separation orients all strong equivalence classes and yields a CMSO-definable laminar family of canonical cores. Although the auxiliary partial tree is not itself transduced, it proves that every canonical local piece has a port-contiguous layout of uniformly bounded linear rank-width. The width argument uses partition atoms and the branch-width-three display theorem of Hall, Oxley, Semple, and Whittle and does not assume that graph torsos remain prime. Coherent ordered rank-two frames then permit a finite-state bottom-up evaluation whose local transitions are definable by the bounded-linear-clique-width theorem of Bojańczyk, Grohe, and Pilipczuk. Finally, the CMSO-transducible canonical split decomposition lifts the result from prime graphs to arbitrary graphs of rank-width at most two.
The discrete homotopy hypothesis for directed graphs
We develop a homotopy theory of directed graphs based on cubical homotopy groups, also known as $A$-groups or reduced GLMY homotopy groups. Localizing the category of directed graphs at morphisms that induce isomorphisms on these groups yields an $\infty$-category, denoted by ${\sf DGra}_\infty$. We prove that ${\sf DGra}_\infty$ is equivalent to the $\infty$-category of spaces, establishing a directed version of the discrete homotopy hypothesis of Carranza and Kapulkin.
Improved Rate-versus-Distance Upper Bounds for LDPC Codes
LDPC codes play a vital role in coding theory and practical error correction. A central problem in this direction is to understand their rate--distance tradeoff. In this paper, we develop a local-growth argument for estimating ball sizes in the coset graphs of LDPC codes. Rather than estimating coset balls directly, we use a local-growth analysis to bound the coset-weight generating function of linear spaces spanned by low-weight vectors. This approach sharpens the previous ball-size estimates of Iceland and Samorodnitsky. Combined with a general method of Friedman and Tillich that relates balls in coset graphs to sizes of error-correcting codes, it further improves the upper bounds on the rate of LDPC codes for a significant range of relative distances.