graph
35150 papers tagged with this keyword
Total outer-independent coalition in graphs
A set $D$ of vertices graph $G$ is a total outer-independent dominating set (TOIDS) of $G$ if every vertex of $G$ is adjacent to at least one vertex in $D$, and $V(G)\setminus D$ is an independent set of $G$. A TOI-coalition in $G$ comprises two disjoint sets of vertices $A$ and $B$ of $G$, neither of which is a TOIDS but whose union $A\cup B$ is a TOIDS of $G$. We say that the sets $A$ and $B$ form a TOI-coalition, and are TOI-coalition partners. A TOI-coalition partition in $G$ is a vertex partition $Ψ=\{V_1, V_2,..., V_k\}$ in which every set forms a TOI-coalition with another set in $Ψ$. The TOI-coalition number $C_t^{oi}(G)$ is the maximum cardinality among all TOI-coalition partitions of $G$. In this work, the above-mentioned concepts are introduced and studied. The existence of a TOI-coalition partition is investigated. Several sharp upper bounds on $C_t^{oi}(G)$ are established. Finally, the exact values of $C_t^{oi}(G)$ for some graph classes are obtained.
A counterexample to the zero forcing versus independence conjecture for cubic and subcubic graphs
We exhibit a connected graph on 24 vertices with maximum degree 3, independence number 9 and zero forcing number 11, refuting a 2017 conjecture of TxGraffiti recorded as Conjecture 2 of the survey of Davila, Brimkov and Pepper. The same construction with a different gadget gives a connected cubic graph on 36 vertices with independence number 15 and zero forcing number 17; the conjecture therefore fails also in the cubic form in which the survey's Lean 4 appendix states it. In particular Z <= alpha + 1 is not a universal bound for connected cubic graphs, and the value Z = alpha + 2 is attained.
Multivariate growth series of graph products of groups
Right-angled Artin groups (RAAGs) and right-angled Coxeter groups (RACGs) associated with finite simple graphs are fundamental objects in geometric group theory. Their one-variable growth series with respect to the standard generating sets was classically expressed by Chiswell in terms of the one-variable independence polynomial of the defining graph [2] with suitable substitutions of the variable.
In this paper, we investigate the multivariate growth series of graph products of groups and derive explicit formulas in terms of the multivariate independence polynomial of the underlying graph through suitable substitutions of variables. As special cases, we obtain multivariate growth series formulas for RAAGs and RACGs, thereby extending the classical one-variable identities.
We further show that the coefficients of the multivariate growth series of RAAGs and RACGs admit explicit descriptions in terms of the double-marked and marked chromatic polynomials of graphs. This connection reveals a rich interplay between growth series and graph coloring invariants. In particular, we obtain completely explicit formulas for all the coefficients in the case of chordal graphs, which include, for example, trees and complete graphs.
Sharp Diagonal Thresholds for Tight Hamilton Cycles in Uniformly Dense $3$-Graphs
A $3$-uniform hypergraph (or $3$-graph) $H$ on $n$ vertices is \emph{$(n,d,μ)$-dense} if $e_H(X,Y,Z)\ge d|X||Y||Z|-μn^3$ for all $X,Y,Z\subseteq V(H)$. This is one of the weakest standard notions of quasirandomness for $3$-graphs and is also known as linear quasirandomness.
In this paper, we determine the sharp diagonal thresholds for tight Hamilton cycles in $(n,d,μ)$-dense $3$-graphs $H$ under conditions on the minimum vertex degree $δ_1(H)$ and the minimum codegree $δ_2(H)$. We actually prove a general result: define \[
f(d):=\frac{1-\sqrt{(4d-1)/3}}2. \] We prove that $(n,d,μ)$-density together with $δ_1(H)\geα\binom{n-1}{2}$ forces a tight Hamilton cycle whenever $d > 1/3$ and $α>f(d)$. In particular, $f(1/3)=1/3$, which answers Problem~8.3(i) of Araújo, Piga and Schacht and confirms Conjecture~8.1 of Han, Shu and Wang. For the minimum codegree condition, the sharp diagonal threshold is $(κ,κ)$, where $κ$ is the unique real solution of $κ=(1-κ)^3$. Since $κ\approx0.3177>1/4$, this gives a negative answer to Problem~8.3(ii) of Araújo, Piga and Schacht and disproves Conjecture~8.2 of Han, Shu and Wang. The two proofs use a common Hamilton-framework reduction, but the two degree conditions lead to distinct dominant-component lemmas for $(n, d, μ)$-dense $3$-graphs, which are of independent interest and whose proofs do not rely on the absorption method.
Set-defined graph classes: $χ$-boundedness meets tropical algebra
We study set-defined graph classes: hereditary classes whose vertices are assigned fixed-length numerical tuples, with adjacency determined solely by equality patterns among coordinates. These classes arise in structural graph theory, communication complexity, logic, and adjacency labeling schemes. We ask when they are $χ$-bounded, that is, when chromatic number is bounded in terms of clique number throughout the class.
First, we prove a decomposition theorem: every graph in a set-defined class can be partitioned into a number of parts polynomially bounded in its clique number, each inducing a union of a bounded number of shift-colorable graphs, that is, graphs admitting a homomorphism to a shift graph. Thus bounded unions of shift-colorable graphs form the fundamental obstruction to $χ$-boundedness in set-defined classes.
For full set-defined classes, consisting of all graphs realizable by a fixed Boolean rule on equality patterns, we prove a stronger dichotomy: every such class is either polynomially $χ$-bounded or contains shift graphs of arbitrarily large chromatic number. Moreover, we provide an algorithm that, given a Boolean-function description of a full set-defined class, decides $χ$-boundedness of the class. It reduces the problem to feasibility of tropical linear programs, and its correctness follows from a duality with winning strategies in mean-payoff games. Conversely, every integer system of tropical inequalities, and hence every mean-payoff game, can be encoded in strongly polynomial time as a set-defined class whose non-$χ$-boundedness is equivalent to feasibility. This provides a graph-theoretic counterpart of tropical feasibility and mean-payoff-game solvability, linking structural graph theory, tropical algebra, and game-theoretic algorithms.
Chromatic numbers of circulants with indispensable generators
The Cayley graph $\text{Cay}(G,S)$ is the graph whose vertex set is the group $G$, where two vertices $x$ and $y$ are adjacent if and only if $xy^{-1}$ or $yx^{-1}$ lies in some fixed subset $S$ of $G$. We call the elements of $S$ generators. A circulant graph is a Cayley graph where $G$ is finite and cyclic. Chromatic numbers of circulant graphs have been studied by many authors. A general formula due to Heuberger for the chromatic number of a circulant graph is known when $S$ has two elements, but no such formula is known when $S$ has three or more elements. We say that an element $x$ of $S$ is indispensable if $S\setminus\{x\}$ does not generate $G$. We say that $S$ is minimal if every element of $S$ is indispensable. By a result of Garcia-Marco and Knauer from 2024, if $G$ is nilpotent and $S$ is minimal, then $\text{Cay}(G,S)$ is $3$-colorable. In this article, we prove three main results. First, we give an upper bound for the chromatic number of a circulant graph with three generators, one of which is indispensable. Second, we present an alternate proof of the theorem of Garcia-Marco and Knauer for the case of abelian groups. Third, we apply these methods to provide a considerably more systematic (and potentially generalizable) proof of Heuberger's theorem for the chromatic number of circulant graphs with two generators. Throughout this paper, our primary tool is the theory of Heuberger matrices, for which we provide a brief primer.
Two-distance and list-two-distance coloring of cacti: the subcubic case and the C5 obstruction
The square $G^2$ of a graph joins two vertices at distance at most two; a proper coloring of $G^2$ is a 2-distance coloring of $G$. For a cactus $G$ (every edge on at most one cycle) we determine both the 2-distance chromatic number $χ(G^2)$ and the choice number $\mathrm{ch}(G^2)$ exactly: they are always equal, and the common value is $Δ+1$ if $Δ\ge4$, is 4 if $Δ=3$ and $G$ has no block equal to $C_5$, is 5 if $Δ=3$ and $G$ has a $C_5$ block, and is the classical value if $Δ\le2$. For $Δ\ge6$ the value $Δ+1$ is already known, since cacti are outerplanar and hence $K_{2,3}$-minor-free (Hetherington-Woodall; Agnarsson-Halldorsson). Our contribution is the small-degree regime. For subcubic cacti we obtain a complete classification in both the ordinary and list settings, with the 5-cycle as the unique obstruction; the list statement has no prior analogue and is a genuine positive instance of the List Square Coloring Conjecture, which is false in general. A single elimination order then handles all $Δ\ge4$ uniformly and, in particular, settles the two cases $Δ\in\{4,5\}$ that the superclass bounds leave at $Δ+2$. The number 5 turns out to be one obstruction wearing three disguises: $C_5^2=K_5$, the Frobenius number of $\{3,4\}$, and a degenerate $K_4$ list-coloring instance.
Exact three-component covers in 2-coloured random bipartite graphs
We resolve the two-colour three-component conjecture of Fernández, Pavez-Signé and Stein for random bipartite graphs. More precisely, we prove that if $G\sim G(n,n,p)$ and $p\gg\sqrt{\log n/n}$, then with high probability every red--blue edge-colouring of $G$ admits a cover of its vertex set by at most three monochromatic connected components. The proof is based on a uniform expansion lemma for unions of common neighbourhoods and an alternating common-neighbourhood expansion argument.
The Exact Maximum of the Spectral Sum of Graphs
For a simple graph $G$ of order $n$, let $S_2(G)=λ_1(G)+λ_2(G)$ denote its spectral sum. We determine, for every $n\geq5$, the exact maximum of $S_2(G)$ and all equality cases. The unique maximizer, up to isomorphism, is the complement of the disjoint union of a suitably balanced complete bipartite graph and isolated vertices, with the sizes of its three parts determined by $n$ modulo $7$. Denoting this graph by $K_n^\star$, we further show that $ S_2(K_n^\star)\leq\frac{8n}{7}-2,$ with equality exactly when $7\mid n$. This proves a conjecture of Kumar, Liu, Monterde, Pragada and Tait, which strengthens the Aouchiche--Hansen 2010 conjecture by extending it from connected graphs to all graphs and by asserting uniqueness of the extremal graph. The result also subsumes the 2008 conjecture of Ebrahimi B., Mohar, Nikiforov, and Ahmady. The proof combines Ky Fan's variational principle with a spectral inequality for weighted Ferrers quotients to reduce the problem to an explicit family whose complements have incidence rank one. Exact integer optimization and a separate equality analysis then yield the maximum and uniqueness.
The Excluded Vertex-Minors and Pivot-Minors for Rank-Width at Most Two
We determine both the excluded vertex-minors and the excluded pivot-minors for the class of graphs of rank-width at most two. Up to local equivalence and graph isomorphism, there are exactly 25 excluded vertex-minors: 1 graph on 8 vertices, 18 on 9 vertices, and 6 on 10 vertices. Up to pivot equivalence and graph isomorphism, there are exactly 609 excluded pivot-minors: 2 on 8 vertices, 447 on 9 vertices, 146 on 10 vertices, 10 on 11 vertices, and 4 on 12 vertices. No excluded vertex-minor occurs on 11--16 vertices, and no excluded pivot-minor occurs on 13--16 vertices; the author's 16-vertex bound makes both lists complete.
The proof is computer-assisted. Instead of enumerating all graphs, we reverse the one-vertex reduction theorem for prime graphs. For each $n$, we retain exactly the prime $n$-vertex graphs of rank-width at most two, modulo local equivalence and isomorphism, and extend those graphs by one vertex. Local-equivalence classes are identified by an exact canonical key obtained from the associated isotropic system, the binary row space of $[I\mid A(G)]$. A restricted version of the same key classifies pivot equivalence exactly. The vertex-minor and pivot-minor computations examine, respectively, more than $9.0\times 10^{10}$ and $4.9\times 10^{11}$ prime extensions in their 16-vertex final layers.
1-Planar graphs without 6-cycles are 6-choosable
A graph is 1-planar if it can be drawn in the plane so that each edge is crossed by at most one other edge. A graph is $k$-degenerate if each of its subgraphs contains a vertex of degree at most $k$. It was known that every 1-planar graph is 8-choosable. In this paper, we show that every 1-planar graph without 6-cycles is 5-degenerate and hence 6-choosable.
List Coloring of the Square of 4-Irregular Graphs
The square of a graph $G$ is the graph obtained from $G$ after adding an edge between any two vertices of distance $2$. A $k$-irregular graph is a graph with maximum degree $k$ such that vertices of degree $k$ are not adjacent. A \textit{list assignment} of a graph is a function $L$ that assigns to each vertex a list of permissible colors. The graph is said to be \textit{$L$-colorable} if there exists a proper coloring $f$ such that $f(v) \in L(v)$ for every vertex $v$. A graph $G$ is called \textit{$k$-choosable} if it is $L$-colorable for every list assignment where each list has exactly $k$ colors. The \textit{list chromatic number} of $G$, denoted by $χ_l(G)$, is the smallest integer $k$ for which $G$ is $k$-choosable. Cranston and Kim \cite{ck} showed that $χ_l(G^2) \leq 8$ for all subcubic graphs except the Petersen Graph. Moreover, Cranston and Kim \cite{ck} conjectured that for graphs with maximum degree $k$ and maximum clique size $w (G^2)\leq k^2-1$, we have $χ_l(G^2) \leq k^2-1$. We prove that for a 4-irregular graph $G$, we have $χ_l(G^2) \leq 11$. Moreover, we provide an example to show that this bound is sharp.
Large odd induced subgraphs via odd cuts
Gallai proved that every graph can be partitioned into two sets, each inducing a subgraph with all degrees even. We show that if a graph admits a bipartition in which every vertex has an odd number of neighbors in the opposite part, then it can be partitioned into two sets, each inducing a subgraph with all degrees odd. Consequently, every $n$-vertex graph without isolated vertices has an induced subgraph with all degrees odd on at least $n/5$ vertices, substantially improving the previously known universal lower bound.
Large Monochromatic Components in Colored Random Graphs
We study the size of the largest monochromatic connected component that must appear in any edge-coloring of a random graph.
Let $G\sim G(n,p)$ with $p\gg 1/n$ and $p=o(1)$, and write $np=he^h$. We show that, with high probability, every $2$-edge-coloring of $G$ contains a monochromatic connected component of order at least $n-Θ(ne^{-h})$. Moreover, we construct colorings showing that this bound is best possible up to constant factors.
We extend this result to three colors: for $p\gg 1/n$ and $p=o(1)$, with high probability every $3$-edge-coloring of $G$ contains a monochromatic connected component of size at least $\frac{n}{2}-Θ(1/p)$, and this estimate is again tight up to constant factors.
In the bipartite setting $G\sim G(n,n,p)$, under the same assumptions on $p$, we prove an analogous statement: with high probability, every $2$-edge-coloring contains two monochromatic components whose union covers all but $Θ(ne^{-h})$ vertices, and this bound is asymptotically sharp.
Our approach is elementary and is based on analyzing large connected structures across suitably balanced vertex partitions.
Magnitude homology and Euler characteristics of directed acyclic graphs
We develop a scalable approach to computing the magnitude homology Euler characteristic for directed acyclic graphs based on decategorification. Along with motivating mathematical results and some simple controlled examples, we deploy the Euler characteristic in a proof of concept application to the dynamic analysis of multilayer perceptrons, recovering class-discriminative structure while holding simpler subgraph properties fixed.
On monochromatic path covers conjecture of Erdős--Gyárfás
Erdős and Gyárfás conjectured in 1995 that, in every red--blue edge-coloring of a complete graph $K_n$, the vertex set can be covered by at most $\sqrt n$ monochromatic paths, all of the same color. Pokrovskiy, Versteegen and Williams (JCT-B, 2026) proved the conjecture for all sufficiently large $n$. In this paper, by using minimal counterexample method, we confirm the conjecture completely.
Transfer Matrices and Ehrhart Theory for Path and Cyclic Block Polytopes
We study block polytopes whose variables are divided into equal-size blocks and whose local inequalities bound the total contribution of adjacent blocks. For blocks arranged along a path, we develop a transfer-matrix enumeration in the length direction. We also carry out an Ehrhart-theoretic analysis in the dilation direction. The original transfer matrix admits a compression to a weighted height matrix, and the numerator and denominator of the length generating function are described by explicit recurrences and determinant formulas. We also study the cyclic analogue, where the length generating function is governed by the logarithmic derivative of the same determinant. On the Ehrhart side, the path polytopes with at least two blocks and the even cyclic polytopes are stable-set polytopes of perfect graphs; consequently they are Gorenstein of codegree $2a + 1$ (independent of the number of blocks $m \ge 2$), satisfy an explicit Ehrhart--Macdonald reciprocity, and have palindromic unimodal $h^*$-polynomials of degree $a(m-2)$. Odd cyclic polytopes have denominator exactly two, and their lattice-point enumerators are Ehrhart quasipolynomials of period dividing two. Further combinatorial interpretations and open problems are discussed.
Feedback-arc robustness in random orientations of pseudorandom triangle-free graphs
For an oriented graph $D$, let $\vecα(D)$ be the maximum order of an induced acyclic subdigraph, $\vecχ(D)$ its dichromatic number, and $\mathrm{fas}(D)$ the minimum number of arcs whose deletion makes $D$ acyclic. We prove that for every fixed $ζ\in (0, 1/2)$, there are triangle-free graphs $G_n$ on $n$ vertices such that a uniformly random orientation $D_n$ satisfies,
$$ \left( \frac{1}{2} - ζ\right) e(G_n[U]) < \mathrm{fas}(D_n[U]) \leq \frac{1}{2} e(G_n[U]) $$
with probability at least $1-\exp\!\left[-Ω_ζ\!\left(\sqrt n\,(\log n)^{3/2}\right)\right]$ simultaneously for every vertex set $U$ of size at least $C_ζ\sqrt{n\log n}$. The upper bound is universal, so the feedback-arc ratio can be made arbitrarily close to the largest possible value, uniformly over all sufficiently large induced subdigraphs.
In particular, $\vecα(D_n) = O(\sqrt{n \log n})$, and every linear-size induced subdigraph has dichromatic number $Ω(\sqrt{n/\log n})$. This yields $\vecα(n) = Θ(\sqrt{n \log n})$ and $\vec{t}(n) = Θ\left(\sqrt{\frac{n}{\log n}}\right)$, where $\vecα(n)$ and $\vec{t}(n)$ denote, respectively, the minimum of $\vecα(D)$ and the maximum of $\vecχ(D)$ over all oriented triangle-free graphs $D$ of order $n$. This confirms two conjectures of Aboulker, Havet, Pirot, and Schabanel.
Nowhere-zero 4-flows in graphs excluding the Petersen graph with one edge contracted
Let $P$ be the Petersen graph and let $e\in E(P)$. We prove that every almost $4$-connected nonplanar graph of minimum degree at least three and girth at least five contains $P/e$ as a minor. Using this structural result, we show that every finite bridgeless $(P/e)$-minor-free multigraph admits a nowhere-zero $4$-flow. This extends the theorem of Wang, Zhang and Zhang (2009) for graphs excluding the graph obtained by contracting three edges of a perfect matching of $P$, and complements the theorem of Thomas and Thomson (2000) for $(P-e)$-minor-free graphs. Consequently, every bridgeless graph with no nowhere-zero $4$-flow contains both $P/e$ and $P-e$ as minors. The proof combines the girth-five structure theorem of Thomas and Thomson (2000) with the nonplanar extension theorem of Norin and Thomas (2016). Its finite part is computer-assisted and verifies the required minor models in the Petersen, Triplex and Basket graphs, and in the jump and facial cross extensions of the Dodecahedron.
Constrained Multi-Relational Graphons with Maximum Entropy
The principle of maximum entropy provides a fundamental framework for characterizing typical structures of large random networks subject to observable constraints. In their pioneering numerical experiments \cite{radin2014asymptotics}, Radin, Ren, and Sadun conjectured that entropy-maximizing graphons satisfying subgraph density constraints are stochastic block models a conjecture we term the RRS conjecture. While several special cases have been proven for single-relation graphs with specific constraint families, the general problem has remained open, particularly for multi-relational networks.
We resolve the RRS conjecture for constrained multi-relational graphons in the non-extremal regime, proving that entropy-maximizing solutions are step functions with finitely many blocks under the condition the subgraph density constraints are analytically independent and for almost all feasible combinations of sufficient statistics. Our proof employs a differential geometric technique to study solutions of constrained optimization problems in function space via functions with a finite parametrization (step functions). The two cornerstones of this work are: the generalization of subgraph density notion to $h$-subgraph density and the proof that manifolds that define the constrained region for the solutions maintain topological stability without developing new connected components under refinement. Together, these enable proving that no new global optima emerge in higher-dimensional spaces.