graph
34516 papers tagged with this keyword
An improved constant for Vizing's conjecture
For any graph $G = (V,E)$, a subset $S {\subseteq} V$ dominates $G$ if $N[S] = V$. The minimum cardinality over all such $S$ is called the domination number, written $γ(G)$. The classical conjecture of V.G. Vizing states that $γ(G{\square} H) {\ge} γ(G)γ(H)$ where ${\square}$ stands for the Cartesian product of graphs. In this paper, we apply well-known results to prove the Vizing-type inequality $γ(G{\square} H) {\ge} .5809 γ(G)γ(H)$.
Annihilation, Independence, and Residue: Sharp Matching Bounds for the Annihilation Gap and a TxGraffiti Application
Let $G$ be a finite simple graph. The annihilation number $a(G)$ is an efficiently computable upper bound on the independence number $α(G)$. We develop a sharp matching-number theory for the gap $a(G)-α(G)$. The strongest general theorem is the exact closed form \[a(G)-α(G)\leq 2μ(G)+1- \lceil \sqrt{6 μ(G)} \rceil \qquad(μ(G)\geq 1), \] and the bound is attained for every prescribed matching number. We also prove sharp matching-dependent bounds for forests, bipartite graphs, and König-Egerváry graphs, with equality constructions, equality certificates, and equality criteria. Finally, we treat a TxGraffiti output as a machine-conjecture case study. Using annihilating decompositions together with the classical Havel-Hakimi residue inequality $res(G)\leq α(G)$, we give an independent proof of the TxGraffiti annihilation-residue inequality \[ α(G)\geq \frac{a(G)+res(G)}{Δ(G)} \] for every connected graph $G$ of order at least three, show that both hypotheses are necessary, and compare this proof with a recent Caro-Wei approach. We also refine the Caro-Wei annihilation estimate by an explicit nonnegative slack term, identify its equality cases in degree-sequence form, and combine the refinement with our exact matching-number bound to obtain a combined computable bracket for the independence number and a Gupta-residue bound for the annihilation gap.
The continuous oriented chromatic number of directed Schreier graphs of $\mathbb Z^2$-shift actions
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.
Robust Quantum Memory Advantage from Contextuality
Quantum contextuality is widely recognized as an essential non-classical resource underlying quantum technology, yet illuminating the precise mechanisms through which it translates into unconditional computational advantages remains an ongoing challenge. We demonstrate an exponential, noise-resilient memory advantage for quantum finite automata arising from graph-theoretic approaches to contextuality. We define a promise problem on an exclusivity graph $G$ for which any classical deterministic automaton acts as a non-contextual hidden variable model requiring at least $N=χ(G)$ states, where $χ(G)$ is the graph's chromatic number. In contrast, by exploiting a structural phenomenon we term \textit{representational contextuality}, a QFA solves this task using a memory of dimension at most $d=ξ(G)+1$, where $ξ(G)$ is the graph's orthogonal rank. This separation scales exponentially ($d=\mathcal O(n)$ versus $N=2^{Ω(n)}$) for Boolean-orthogonality graphs. Crucially, this memory advantage maintains an $\mathcal{O}(1)$ threshold against both depolarizing and coherent noise.
For edge-color-critical graphs, non-$r$-partite spectral extremal graphs are edge extremal
A graph is non-$r$-partite if its chromatic number exceeds $r$. For an edge-color-critical graph $F$ with $χ(F)=r+1$, let $\mathrm{ex}_{r+1,ρ}(n,F)$ be the maximum adjacency spectral radius among non-$r$-partite $F$-free graphs of order $n$, and let $\mathrm{EX}_{r+1,ρ}(n,F)$ and $\mathrm{EX}_{r+1}(n,F)$ be the families of such graphs attaining, respectively, this maximum spectral radius and the maximum number of edges $\mathrm{ex}_{r+1}(n,F)$. Fang and Zhai conjectured that $\mathrm{EX}_{r+1,ρ}(n,F)\subseteq\mathrm{EX}_{r+1}(n,F)$ for every such $F$ and all large $n$. In this paper, we prove this inclusion under the hypothesis $\mathrm{ex}_{r+1}(n,F)=|E(T_{n,r})|-\lfloor n/r\rfloor+O(1)$, where $T_{n,r}$ is the Turán graph, together with a structural condition on the sub-decomposition family of $F$. As the main application, for $F=K_{1,1,t_3,\ldots,t_{r+1}}$ with $t_3,\ldots,t_{r+1}\ge 2$ we show
\[
\mathrm{ex}_{r+1}(n,F)=|E(T_{n,r})|-\Bigl\lfloor\frac nr\Bigr\rfloor+2(t_{\min}-1),
\qquad t_{\min}:=\min\{t_3,\ldots,t_{r+1}\},
\]
for all sufficiently large $n$, and deduce that $\mathrm{EX}_{r+1,ρ}(n,F)\subseteq\mathrm{EX}_{r+1}(n,F)$.
Near-bipartite bricks in which every b-invariant edge is a forcing edge
A connected graph is matching covered if it has at least one edge and every edge lies in some perfect matching.Lovász proved that every matching covered graph G can be uniquely decomposed into a list of bricks and braces up to multiple edges. Denote by b(G) the number of bricks in such a decomposition. An edge e of G is removable if G-e is also matching covered; is b-invariant if e is removable and b(G-e)=b(G). Furthermore, an edge e of G is a forcing edge if it lies in precisely one perfect matching of G. Lucchesi and Murty proposed the problem of characterizing bricks, distinct from K_4, \overline{C_6}, and the Petersen graph, in which every b-invariant edge is a forcing edge. In this paper, we solve this problem for near-bipartite bricks by providing a complete characterization.
Characterization and linear-time recognition of balanced distance-hereditary graphs
A graph is balanced if its clique-matrix contains no square submatrix of odd order with exactly two $1$'s in each row and in each column. Although it is known that a graph is balanced if and only if it contains no induced extended odd sun, a characterization of balanced graphs by minimal forbidden induced subgraphs is still unknown. In this work, we prove that, within the class of distance-hereditary graphs, balanced graphs are exactly the hereditary clique-Helly graphs. Equivalently, they are characterized by a single forbidden induced subgraph, namely $\overline{3K_2}$. From this result, we derive an explicit linear-time algorithm that decides balancedness within the class of distance-hereditary graphs and returns an induced $\overline{3K_2}$ when the input graph is not balanced.
Generalized Erdős--Rogers problems for $r$-uniform hypergraphs
Let \(F\) and \(G\) be \(r\)-uniform hypergraphs, and let \(f_{F,G}(n)\) be the largest integer \(m\) such that every \(n\)-vertex \(G\)-free \(r\)-graph contains an induced \(F\)-free subgraph on \(m\) vertices. We prove that, if \(r\ge3\), \(F\) is nonempty, \(G\) is \(2\)-tightly connected, and there is no homomorphism from \(G\) to \(F\), then \[
f_{F,G}(n)\le C(\log n)^{β_F},
\qquad
β_F=
\max_{\substack{\emptyset\ne P\subseteq\partial_2F}}
\frac{e(P)}{v(P)-1}. \] For \(r=3\), this confirms a conjecture of He and Nie for tightly connected \(3\)-graphs, sharpening their earlier bound by replacing the exponent $
\max_{\substack{\emptyset\ne P\subseteq\partial_2F}}
\frac{e(P)+1}{v(P)-1} $
with \(β_F\).
When \(F=K_r^r\), our result recovers the Ramsey lower bound $r(G,K_n^r)\ge 2^{Ω(n^{2/r})}$ whenever \(G\) is \(2\)-tightly connected and non-\(r\)-partite.
On the Linearity of Squarefree Powers of Edge Ideals
Let $G$ be a graph and $I(G)$ its edge ideal. The $p$-th squarefree power $I(G)^{[p]}$ is the monomial ideal generated by squarefree monomials corresponding to the matchings of size $p$ of $G$. In this paper, we provide a combinatorial characterization of when $I(G)^{[p]}$ is linearly related, i.e., when its first syzygy module is generated by linear forms. Moreover, for a $1$-dimensional flag simplicial complex $Δ$ and its Stanley-Reisner ideal $I_Δ$, which arises as the edge ideal of the complement graph of $Δ$, we describe the shape of the Betti table of $I_Δ^{[p]}$ and we give a combinatorial characterization of when $I_Δ^{[p]}$ has a linear resolution.
Order polytopes of generalized snake posets are $h^*$-real-rooted
Order polytopes for generalized snake posets were recently studied by von Bell et al. (2022), and are known to be unimodularly equivalent to strength-one flow polytopes for acyclic directed graphs strongly dual to generalized snake posets. Lee, Vindas-Meléndez, and Wang (2026) conjectured that the Ehrhart $h^*$-polynomials of these order polytopes are real-rooted. We prove this conjecture using a connection between these $h^*$-polynomials and non-nesting rook polynomials, which were recently introduced by Alexandersson and Jal (2024+) in connection with $P$-Eulerian polynomials for width two posets.
Fair Allocation under Conflict Constraints via Strong Colorability
In the fair allocation problem under conflict constraints, the goal is to partition the vertices of a graph among agents in a fair manner, such that no two adjacent vertices are assigned to the same agent. We study this problem for agents with common preferences through the lens of three fairness criteria: stochastic-dominance envy-freeness up to one item for preference orders (SD-EF1), envy-freeness up to one item for monotone additive valuations (EF1), and envy-freeness up to one item from each side for general additive valuations (EF[1,1]). To do so, we introduce a hierarchy of variants of the strong chromatic number, a graph quantity introduced independently by Alon and Fellows in the early nineties. Our results reveal a close connection between fair allocation under conflict constraints and the first two levels of this hierarchy, providing a unified route to both existential and algorithmic results.
For SD-EF1, we fully characterize the number of agents needed to guarantee a fair allocation of a given graph for every common preference order. For EF1 and EF[1,1], we provide analogous sufficient conditions, extending a result on path graphs due to Equbal, Gurjar, Igarashi, Kumar, Manurangsi, Nath, Saxena, Vaish, and Yoneda. We also show that, unlike in the SD-EF1 setting, the sufficient conditions for EF1 and EF[1,1] are not necessary in general. Our framework yields existential and algorithmic consequences in terms of the maximum degree. We obtain that every graph with maximum degree $Δ$ admits SD-EF1, EF1, and EF[1,1] allocations for common preferences whenever the number of agents is at least $3Δ-1$. We further provide, for any $\varepsilon>0$, deterministic polynomial-time algorithms that find such allocations whenever the number of agents is at least $(3+\varepsilon)Δ$. These guarantees strengthen earlier work by Barman and Viswanathan on equitable colorings.
An edge-spectral supersaturation of Mubayi's theorem for color-critical graphs
We study the supersaturation problem in its edge-spectral form. Let $λ(G)$ be the adjacency spectral radius of $G$. Nikiforov proved that every $K_{r+1}$-free graph $G$ with $m$ edges satisfies $λ(G)\le \sqrt{(1\!-\!1/r )2m}$. Recently, Li, Liu and Zhang proved the same bound for every $F$-free graph $G$, where $F$ is any color-critical graph with $χ(F)=r+1\ge4$, with equality only for regular complete $r$-partite graphs. It is then natural to ask how many copies of $F$ are forced once $λ(G)$ exceeds this threshold. Fang, Lin and Zhai answered this at the threshold itself, and conjectured that for any fixed $C>0$, the condition $λ(G)\ge \sqrt{(1\!-\!{1}/{r})2m} +C$ forces $Ω\!\left(m^{(f-1)/2}\right)$ copies.
In this paper, we answer this question with the best possible constant, proving that for every color-critical graph $F$ with $χ(F)=r+1\ge4$, there exists $δ_F>0$ such that if $m$ is sufficiently large, $0<q\leδ_F\sqrt m$, and $G$ is an $m$-edge graph with $λ^2(G)\ge 2\left(1-\tfrac1r\right)m+q$, then \[
N_F(G)\ge\bigl(B_F-o(1)\bigr)\,q\,
m^{{(f-2)}/{2}},
\quad \text{where}~~
B_F:=\tfrac{α_F}{4}
(\tfrac{2r}{r-1} )^{{f}/{2}}, \] and the constant $B_F$ is best possible. Our result can be viewed as an edge-spectral counterpart of Mubayi's theorem, since it converts the spectral surplus $q$ into a linear number of copies with a sharp constant, and it solves the conjecture of Fang, Lin and Zhai in a stronger form.
On the Spectrum of the Line Graph of a Family of Bipartite Graphs Arising from the Boolean Lattice
The Boolean lattice $BL_n$, $n\geq 3$, is the graph whose vertex set is the collection of all subsets of $[n]=\{1,2,\ldots,n\}$, where two subsets $U$ and $W$ are adjacent if and only if their symmetric difference has precisely one element. In the graph $BL_n$, the \emph{layer} $L_k$ is the family of all $k$-element subsets of $[n]$. The subgraph $BL_n(k-1,k)$ is the induced subgraph of $BL_n$ on layers $L_{k-1}$ and $L_{k}$. This graph is bipartite and, when $n=2k-1$, is $k$-regular and isomorphic to the bipartite double cover $2{\cdot}O_k$ of the odd graph $O_k$. In this paper, we determine the full adjacency spectrum -- eigenvalues together with their multiplicities -- of the line graph $L(BL_n(k-1,k))$ for all admissible values of $n$ and $k$. As a consequence, we show that $L(BL_n(k-1,k))$ is an integral graph whenever $n = 2k-1$, and we recover as a special case the spectrum of the line graph $L(n)$ of $BL_n(1,2)$ established by Mirafzal~\cite{pap-sm-1}.
Strong Majority Edge-Coloring
A strong majority edge-coloring of a graph is an edge-coloring in which, for every edge $e$ and every color $i$, at most half of the edges adjacent to $e$ have color $i$. Such a coloring exists only for graphs with no pendant path of length two, which, following Kalinowski, Kamyczura, Pilśniak, and Woźniak, we call admissible. They proved that every admissible graph admits such a coloring with at most eight colors and conjectured that four colors always suffice. We improve the upper bound from eight to five.
Determining the Complexity of Chromatic Sum in Classes Defined by a Set of Forbidden Graphs
The Chromatic Sum problem asks, given a graph $G$ and an integer $k$, whether $G$ admits a colouring $c$ with sum $\sum_{v\in V}c(v) \leq k$. We study the complexity of Chromatic Sum on graph classes defined by some set of forbidden graphs. First, we show that three known frameworks fully classify the complexity of Chromatic Sum on $HH$-minor-free graphs and $HH$-topological-minor-free graphs for any set of graphs $HH$, and on $HH$-subgraph-free graphs for any finite set of graphs $HH$. To show this, we prove a new NP-completeness result for Chromatic Sum on certain subdivisions of planar subcubic graphs. Next, we consider other containment relations. We formalise a novel framework of problems that are NP-complete for planar graphs as well as for graphs of bounded independence number. For every problem in this framework, we obtain an almost complete complexity classification on $H$-induced-minor-free graphs, $H$-induced-topological-minor-free graphs, and $H$-free graphs for every graph $H$. We show that Chromatic Sum belongs to this framework, as do several other problems. We also define a more fine-grained framework for the induced subgraph relation. We apply this to obtain a complete complexity classification for Chromatic Sum on $H$-free graphs, as well as for several other problems. We justify the choice of this framework by proving that Chromatic Sum is NP-complete for graphs of clique-width at most $3$. This result complements a known polynomial-time result for graphs of clique-width at most $2$.
Path-Minimality for Positive $p$-Energies, Laplacian-Type Spectra, and Line Graphs
We derive several applications of the path-minimality theorem for adjacency $p$-energy proved in the companion paper. First, we prove the sharp inequality $$
\mathcal E_p^+(G)\ge \mathcal E_p^+(P_n), $$ where $P_n$ is the path on $n$ vertices, in three settings: connected bipartite graphs for every real $p\ge2$, all connected graphs for every odd integer $p\ge3$, and all connected graphs for $p=4$. Second, using subdivision graphs, we prove path-minimality for Laplacian and signless Laplacian-type spectral sums, including power sums, Estrada-type quantities, resolvent energies, and thresholded tails. Third, we prove an edge-count second-order stop-loss comparison for the signless Laplacian above the threshold $2$. This yields the sharp line-graph inequality $$
\mathcal E_p^+(\mathcal L(G))\ge \mathcal E_p^+(P_m) $$ for every connected graph $G$ with $m$ edges and every real $p\ge2$.
Effective Resistance and Generalized Bejaia-Pisa Sequences on Complete Graphs with Circulant Distance Deletions
In this paper, we investigate the effective resistance on the graph $G_N^{(r)}$, which is obtained by deleting all edges corresponding to circular distances $\{\pm1, \pm2, \dots, \pm r\}$ from the complete graph $K_N$. We utilize the cyclic symmetry of the graph to diagonalize the Laplacian matrix via the discrete Fourier basis and derive a finite trigonometric sum representation for the effective resistance between two vertices at distance $\ell$.
Specifically, we treat the cases $r=1$ and $r=2$ in detail and provide explicit formulas. For the case of $r=1$, we use Fourier analysis to rederive the closed form in terms of Bejaia and Pisa numbers given by Chair. For the case of $r=2$, we show that the denominator reduces to a quadratic polynomial with complex roots and introduce a generalized Bejaia-Pisa-type complex sequence. Using this sequence, we provide some closed forms for the effective resistance and various related formulas.
Spectral extremal problems for fractional $ID$-$[a,b]$-factor-critical graphs
A factor of a graph is essentially a specific type spanning subgraph. In recent years, the spectral extremal problem of characterizing the existence of graph factors via eigenvalues has been widely studied. This paper focuses on fractional $ID$-$[a, b]$-factor-critical graphs, which are a natural generalization of fractional $[a,b]$-factors. Let $r \ge 1$ be an integer. A graph $G$ is fractional $ID$-$[a, b]$-factor-critical if for every independent set $I$ of $G$ with $|I| = r$, $G - I$ has a fractional $[a, b]$-factor. In 2026, Jia, Fan and Liu posed the spectral version conjecture for a graph to be fractional $ID$-$[a, b]$-factor-critical [Linear Algebra Appl. 732 (2026) 1-17]. In this paper,
we first prove the conjecture holds for connected graphs when $b\ge 2r+2$. Furthermore, for minimum degree $δ(G)\ge a+r$, we present spectral radius and size conditions that ensure a graph is fractional $ID$-$[a, b]$-factor-critical, which improve the results of Jia, Fan and Liu.
On the completion of $ε$-dense partial Latin squares
A partial Latin square of order $n$ is called $ε$-dense if each row and each column contains at most $εn$ filled cells, and each symbol occurs at most $εn$ times. A partial Latin square is said to be completable if its empty cells can be filled to obtain a Latin square. Daykin and Häggkvist conjectured that every $\frac{1}{4}$-dense partial Latin square is completable. In this paper, we show that for all sufficiently large integers $n$, every $\frac{2}{25}$-dense partial Latin square of order $n$ is completable. The proof is obtained by establishing that there exists an $η> 0$ such that every triangle-divisible balanced tripartite graph on $3n$ vertices with partite minimum degree at least $(\frac{23}{25}-η)n$ admits a fractional triangle decomposition.
Obstructions to Total Rainbow Forests in Edge-Colored Graphs
A total rainbow forest in an edge-colored graph is a forest that contains every edge color exactly once. Using a necessary and sufficient condition that a total rainbow forest exists, we demonstrate the existence of huge numbers of edge-colored graphs that are minimal obstructions to such existence.