graph
35150 papers tagged with this keyword
Positivity Rigidity for Grossman-Larson Characters and the Kingman Face of the Hoffman Rooted-Tree Graph
We classify the real characters of the Grossman-Larson Hopf algebra that are nonnegative on the rooted-tree basis. They vanish on trees with branching away from the root, and the normalized characters are parametrized by Kingman paintboxes. Two-sided Pieri states are mixtures of the normalized characters, with unique mixing measures. The corresponding laws form a proper exposed Bauer face of the simplex of central measures on the Hoffman rooted-tree graph. For the path-forest subgraph, the full and minimal Martin boundaries coincide and are homeomorphic to the Kingman simplex. The limiting ranked root-branch frequencies generate the completed central tail.
Asymptotic completions of preordered semirings
The study of preordered semirings is motivated by applications in computer science, graph theory, and information theory, and provides tools for understanding the asymptotic preorder, which compares large powers of a pair of elements. This paper studies sequences which behave approximately as sequences of powers, but are not necessarily equivalent to geometric sequences. Our main result is that preordered semirings admit completions where such sequences, that we call approximately geometric, become equivalent to geometric sequences, and that existing characterizations of the asymptotic preorder extend to the completion.
We provide several classes of examples of approximately geometric sequences in the semiring of tensors, and in the semiring of graphs. As a concrete application, we determine the strong converse exponent for binary hypothesis testing with composite Markov hypotheses.
A Uniform Bound on Optimal Strategy Length in Water Transport Problem
We prove that every water transport problem on an $n$-vertex graph has an optimal strategy of length at most $n^{(2+o(1))n}$. More strongly, the convex hull of all strategy operators stabilizes within the same bound. We also give a five-vertex instance in which every optimal strategy repeats a nontrivial connected averaging set.
Bounds for Unions of Several Parts in Balanced Graph Partitions
Let $k\ge3$ and $1\le \ell\le k-1$. We study balanced $k$-partitions of a graph for which the union of any $\ell$ parts induces few edges. We show that every graph $G$ with $n$ vertices and $m$ edges admits a balanced partition $V_1,\ldots,V_k$ such that \begin{equation*} \max_{\substack{A\in\binom{[k]}{\ell}}}e_G\left(\bigcup_{i\in A}V_i\right)\le\frac{\ell^2}{k^2}m+\frac{\ell^2(k-\ell)}{k^2}(n-1)+\frac{\ell(k-\ell)}{k(k-1)}\sqrt{\left(\binom{k}{\ell}-1\right)m}. \end{equation*} In the case $\ell=2$, our result confirms a conjecture of Bollobás and Scott in a stronger form.
Odd Cycle Transversal on $H$-free graphs
\textsc{Odd Cycle Transversal} is a classic $\mathsf{NP}$-hard graph optimization problem asking for a minimum-weight set of vertices whose deletion makes the input graph bipartite, or equivalently, a maximum-weight induced bipartite subgraph. We show that \textsc{Odd Cycle Transversal} is quasi-polynomial-time solvable on $kP_4$-free graphs, for every fixed $k \in \mathbb{N}$. In fact, we provide an $n^{O_k(\log n)}$-time algorithm for the more general \textsc{Max-Weight List $2$-Colorable Induced Subgraph}, where the notation $O_{k}(\cdot)$ hides factors depending on $k$. Paired with known results from the literature, this allows us to obtain a complete complexity dichotomy for these two problems on $H$-free graphs into cases solvable in quasi-polynomial time and cases which are $\mathsf{NP}$-hard, in particular resolving an open problem of Agrawal, Lima, Lokshtanov, Saurabh, and Sharma [SODA 2024].
Our algorithms are based on a new structural tool that may be of independent interest. We introduce the notion of $H$-amiable family and show that, for every fixed graph $H$ without isolated vertices and every fixed $k\ge2$, every $kH$-free graph admits an $H$-amiable family of quasi-polynomial size that can be constructed in quasi-polynomial time. Besides yielding the aforementioned algorithms, this result gives, for every fixed connected graph $H$ and every fixed $k\ge2$, a reduction from \textsc{Max-Weight Independent Set} on $kH$-free graphs to the same problem on $H$-free graphs with $n^{O_{H,k}(\log n)}$ overhead. In this setting, it improves the $n^{O_{H,k}(\log^3 n)}$ overhead obtained by specializing the general reduction of Gartland and Lokshtanov [FOCS 2020].
Two-coloring cubic graphs with small monochromatic components, but without singletons
We combine two coloring aspects that work in opposite directions. One can 2-color the vertices of a cubic graph such that each monochromatic component is very small. One can also 2-color the vertices of a cubic graph such that each monochromatic component has degree at least 1. As an intended tool for solving a special case of Wegner's conjecture, Thomassen formulated a conjecture that combined the two previous properties. This led to the concept of a crumby coloring. However it turned out that there are cubic graphs without such coloring. Here we try to see what natural relaxations of the original concept might hold for each cubic graph.
We show there exists a constant $c$ such that every cubic graph has a vertex 2-coloring such that every monochromatic component has at least 2 and at most $c$ vertices. We also prove an unbalanced version, which is the natural relaxation of the crumby coloring.
Exact Second-Order Zarankiewicz Numbers for Complete-Graph Incidence Families
For $n\ge6$, $m=\binom n2$, let the complete-graph incidence family on $K_n$ have the vertices of $K_n$ as columns, its edges as rows, and the incidence graph as one-edge graph. The universal cell bound of Löfberg and Qi gives $z_2(m,n)\le Z(n):=\lfloor n(n-1)(n+2)/4\rfloor$. We implement the nested one-factorization construction of that family and determine exactly what it certifies. For $n=2q$ with $q$ an odd prime, $q\ge5$, the construction has no hole and the cross-factor transfer equations apply verbatim, giving $z_2=z_{SL}=z_{RL}=Z(n)$; $n=6$ is settled by a separate cyclic witness. For odd $n=2p+1$ the near-perfect one-factorization yields Hamilton paths closed into odd cycles, and the transfer argument breaks: that scheme certifies only $R(G_p)\le Z(n)$. The orders $n=7,8,9,12,13,16,17,18,20,21$ are settled by explicit configurations of a different shape, each attaining the cell bound and satisfying $(\mathrm{RW}3^+)$, obtained from a larger configuration by deleting vertex stars and repairing the restricted grid. At each of these orders $z_2=z_{SL}=z_{RL}=Z(n)$; all remaining orders are conjectural. The first settled order $n=7$ is the only one whose grid has a hole, grounded by a zero-companion rule. Machine-readable configurations and a certificate checker accompany the paper.
Rainbow Berge Hamiltonicity in edge-colored random $k$-uniform hypergraphs
Let $H \sim H^{k}_c(n,p)$ be an edge-colored random $k$-uniform hypergraph on the vertex set $[n]$, where each edge $e \in \binom{[n]}{k}$ is included independently with probability $p$ and is uniformly and independently assigned a color from the color set $[c]$. For $k = 2$, Ferber and Krivelevich (2016) established that if $c = (1+o(1))n$ and $p = (\log n + \log \log n + ω(n))/n$, then with high probability the edge-colored random graph $H \sim H^2_c(n,p)$ contains a rainbow Hamilton Berge cycle. Subsequently, Bal, Berkowitz, Devlin, and Schacht (2021) determined the threshold for the appearance of a (non-rainbow) Hamilton Berge cycle in random $k$-uniform hypergraphs. In this paper, we generalize the results to all integers $k \ge 3$. We prove that if $c = (1+o(1))n$ and $p = (k-1)! \frac{\log n + \log\log n + ω(n)}{n^{k-1}}$, then with high probability $H \sim H^{k}_c(n,p)$ contains a rainbow Hamilton Berge cycle. Furthermore, both conditions on $c$ and $p$ are asymptotically tight.
\noindent\emph{Key words:} Rainbow subgraph, Hamiltonicity, Berge cycle, Random hypergraph.
On Eigenvalue Bounds for Bounded Genus Graphs and Minor-Free Graphs
In this paper, we resolve a 30-year-old conjecture of Spielman and Teng concerning the performance of the spectral partitioning method on graphs embeddable on an orientable surface of genus $g\ge 1$. In particular, for such a graph $G$ with $n$ vertices and maximum degree $Δ$, we show that the second-smallest eigenvalue of its Laplacian matrix satisfies $λ_2(L_G)\lesssimΔ\frac g n$. We also obtain an improved eigenvalue bound for $K_h$-minor-free graphs of $λ_2(L_G)\lesssimΔ\frac{h^2(\log h)^2}n$.
In fact, our results directly prove much stronger results for reweighted eigenvalues, including higher reweighted eigenvalues. As a consequence, we obtain bounds not just on Laplacian eigenvalues, but also on normalized Laplacian eigenvalues and Steklov eigenvalues. Our results for genus-$g$ graphs are optimal for all of these kinds of eigenvalues, while our results for $K_h$-minor-free graphs are optimal up to $\log(h)$ factors.
Our techniques for genus-$g$ graphs bootstrap bounded-degree bounds of normalized eigenvalues for entire classes to bounds for reweighted eigenvalues for the same classes without the bounded-degree limitation, while our techniques for $K_h$-minor-free graphs generalize an argument of Korhonen and Lokshtanov, making use of the Lovász local lemma.
A Sharp Spectral Mantel Theorem for Quantum Transport
We study the maximum average quantum transition probability between distinct vertices of a triangle-free graph, equivalently the minimum average return probability, at times inversely proportional to the order. For every compact interval of positive scaled times below $τ_{\mathrm c}\approx3.79099$, the balanced complete bipartite graph is the unique maximizer for all sufficiently large orders. The threshold is sharp: it solves $τ_{\mathrm c}=4\sin(τ_{\mathrm c}/2)$, and the balanced complete bipartite graph is eventually suboptimal at every larger scaled time. The corresponding graphon functional combines the edge density with alternating even cycle densities. We prove that the balanced complete bipartite graphon is its unique maximizer through the critical time. On a nonempty interval immediately afterward, the unique maximizer is a balanced bipartite graphon with constant cross-edge weight below one. After normalization by the squared time, we obtain uniform square-root $L^1$ stability through the critical endpoint and at zero time. We also solve the bipartite problem at every positive time and establish sharp cut distance stability. The proofs combine spectral interpolation, an exactly certified six-vertex moment inequality, vertex-measure variation, and a minimum-degree argument. A uniform finite approximation bound and vertex cloning connect the graphon and exact finite results.
On $4$-perfect-matching covers of cubic graphs with two adjacent odd circuits in a $2$-factor
Let $G$ be a cubic graph admitting a $2$-factor consisting of exactly two odd circuits, and let the complementary $1$-factor contain precisely three spokes (along with an arbitrary number of chords). We show that four perfect matchings can cover $G$. As a consequence, $G$ fulfils the 7/5-Conjecture of Alon and Tarsi.
Nowhere-zero $3$-flows in Cayley graphs on solvable groups of twice square-free order
We verify Tutte's $3$-flow conjecture in the class of Cayley graphs on solvable groups of order $2n$, where $n$ is square-free. The proof relies on a new necessary and sufficient condition for a simple $5$-valent graph to admit a nowhere-zero $3$-flow in terms of a special pseudoforest decomposition.
Fractional coloring via entropy
In recent work, Martinsson and Steiner proved that triangle-free $d$-degenerate graphs have fractional chromatic number $χ_f(G) = O\left(\frac{d}{\log d}\right)$. Here, we introduce an alternate proof of the bound rooted in the analysis of the entropy of certain random variables. Beyond simplifying the original argument, our technique naturally generalizes to broader settings. In this paper, we focus on two extensions of the result.
First, we consider locally $r$-colorable graphs $G$, where $χ(G[N(v)]) \le r$ for every vertex $v$. We show that $d$-degenerate locally $r$-colorable graphs satisfy $χ_f(G) = O\left(\frac{d\log (2r)}{\log d}\right)$, strengthening a result of Alon (1996) on the independence number of such graphs.
Second, we extend Martinsson and Steiner's result to $r$-uniform $d$-degenerate hypergraphs $H$ with girth at least $4$, showing that $χ_f(H) \le c_r\left(\frac{d}{\log d}\right)^{\frac{1}{r-1}}$ for a constant $c_r > 0$. This yields a strict generalization of a seminal result of Ajtai, Komlós, Pintz, Spencer, and Szemerédi (1982) on the independence number of uncrowded hypergraphs. Via random sampling as introduced by Duke, Lefmann, and Rödl (1995), we obtain an improved bound on the independence number of linear hypergraphs, establishing a recent conjecture of Verstraëte and Wilson (2026).
Our arguments generalize to the setting of fractional colorings with local demands, introduced by Kelly and Postle (2024). This yields previously unknown degree-sequence lower bounds on the independence number across each setting considered. Furthermore, our approach is constructive, yielding efficient randomized algorithms for sampling independent sets in these contexts.
$e$-positivity of chromatic quasisymmetric functions of bounce number three via the inverse Kostka matrix
Let $G$ be the incomparability graph of a natural unit interval order $P$ on $[n]$ with the associated Dyck path $\mathbf{d}$. Let $X_G(\mathbf{x},q)$ be its chromatic quasisymmetric function. Shareshian and Wachs conjectured that $X_G(\mathbf{x},q)$ is $e$-positive. At $q=1$, this is the Stanley--Stembridge conjecture, which was proved by Hikita in 2024. Using the combinatorial interpretation of the inverse Kostka matrix by Eğecioğlu and Remmel, we expand $X_G(\mathbf{x},q)$ in the elementary basis when $\mathbf{d}$ has bounce number three. In our expansion, every coefficient is an alternating sum of at most seven generating functions of $P$-tableaux in terms of the number of inversions. We then construct sign reversing injections between sets of $P$-tableaux preserving inversions. We prove that the coefficient of $e_λ$ lies in $\mathbb{N}[q]$ for every partition $λ=(λ_1,λ_2,λ_3)$ with $λ_2-λ_3\leq1$, and that $X_G(\mathbf{x},q)$ is $e$-positive whenever $P$ contains an antichain with $n-3$ elements, which extends the hook shape case of Cho and Huh.
Duality and $χ^<$-Boundedness of Ordered Graphs
We show that there exists only one duality pair for ordered graphs. We will also define a corresponding definition of $χ^<$-boundedness for ordered graphs and show that all ordered graphs are $χ^<$-bounded and prove an analogy of Gyárfás-Sumner conjecture for ordered graphs. We also prove an analogy of Sparse Incomparability Lemma for ordered graphs. We then use this result to show classes of ordered graphs that form a dense order under ordered homomorphisms. We also show that compared to graphs, ordered graphs have more gaps, defined by consecutive monotone matchings and by even more generic pairs of ordered graphs differing by one isolated edge.
Non-backtracking eigenvalues and eigenvectors of random regular graphs and hypergraphs
Published in Discrete Mathematics 350 (2027), no. 2, 115450
• View Publication
• BIB
The non-backtracking operator of a graph is a powerful tool in spectral graph theory and random matrix theory. Most existing results for the non-backtracking operator of a random graph concern only eigenvalues or top eigenvectors. In this paper, we take the first step in analyzing its bulk eigenvector behaviors. We demonstrate that for the non-backtracking operator $B$ of a random $d$-regular graph, its eigenvectors corresponding to nontrivial eigenvalues are completely delocalized with high probability. Additionally, we show complete delocalization for a reduced $2n \times 2n$ non-backtracking matrix $\tilde{B}$. By projecting all eigenvalues of $\tilde{B}$ onto the real line, we obtain an empirical measure that converges weakly in probability to the Kesten-McKay law for fixed $d\geq 3$ and to a semicircle law as $d \to\infty$ with $n \to\infty$. We extend our analysis to random regular hypergraphs, including the limiting measure of the real part of the spectrum for $\tilde{B}$, $\ell_{\infty}$-norm bounds for the eigenvectors of $\tilde{B}$ and $B$, and a deterministic relation between eigenvectors of $B$ and the eigenvectors of the adjacency matrix.
As an application, we analyze the non-backtracking spectrum of the regular stochastic block model (RSBM) and provide a spectral method based on eigenvectors of $\tilde{B}$ to recover the community structure exactly. We also show that there exists an isolated real eigenvalue with an informative eigenvector inside the circle of radius $\sqrt{d_1+d_2-1}$ in the spectrum of $B$, analogous to the "eigenvalue insider" phenomenon for the Erdős-Rényi stochastic block model conjectured in Dall'Amico et al. (2019).
Asymptotic structure. III. Excluding a fat tree
Robertson and Seymour proved that for every finite tree $H$, there exists $k$ such that every finite graph $G$ with no $H$ minor has path-width at most $k$; and conversely, for every integer $k$, there is a finite tree $H$ such that every finite graph $G$ with an $H$ minor has path-width more than $k$. If we (twice) replace ``path-width'' by ``line-width'', the same is true for infinite graphs $G$.
We prove a ``coarse graph theory'' analogue, as follows. For every finite tree $H$ and every $c$, there exist $k,L,C$ such that every graph that does not contain $H$ as a $c$-fat minor admits an $(L,C)$-quasi-isonetry to a graph with line-width at most $k$; and conversely, for all $k,L,C$ there exist $c$ and a finite tree $H$ such that every graph that contains $H$ as a $c$-fat minor admits no $(L,C)$-quasi-isometry to a graph with line-width at most $k$.
On Kotzig's conjecture in random graphs
In 1963, Anton Kotzig famously conjectured that $K_{n}$, the complete graph of order $n$, where $n$ is even, can be decomposed into $n-1$ perfect matchings such that every pair of these matchings forms a Hamilton cycle. The problem is still wide open and here we consider a variant of it for the binomial random graph $G(n,p)$. We prove that, for every fixed $k$, there exists a constant $C=C(k)$ such that, when $p\ge \frac{C \log n}{n}$, with high probability, $G(n,p)$ contains $k$ edge-disjoint perfect matchings with the property that every pair of them forms a Hamilton cycle. In fact, our main result is a very precise counting result for $K_n$. We show that, given any $k$ edge-disjoint perfect matchings $M_1,\dots,M_k$, the probability that a uniformly random perfect matching $M^*$ in $K_n$ has the property that $M^*\cup M_i$ forms a Hamilton cycle for each $i\in [k]$ is $Θ_k(n^{-k/2})$. This is proved by building on a variety of methods, including a random process analysis, the absorption method, the entropy method and the switching method. The result on the binomial random graph follows from a slight strengthening of our counting result via the recent breakthroughs on the expectation threshold conjecture.
Odd and Even Harder Problems on Cycle-Factors
For a graph (undirected or directed), a cycle-factor is a collection of vertex-disjoint cycles covering the entire vertex set. Cycle-factors subject to parity constraints arise naturally in the study of structural graph theory and algorithmic complexity. In this work, we study four variants of the problem of finding a cycle-factor subject to the following parity constraints: (1) all cycles are odd, (2) all cycles are even, (3) at least one cycle is odd, and (4) at least one cycle is even. We show that all the variants of the problem are NP-complete both in undirected and directed graphs, even if each vertex is incident to at most three edges. We also prove that the first two variants are NP-complete even for planar directed graphs.
Exact Turán number of the Fano plane in the $\ell_2$-norm
A classical object in hypergraph Turán theory is the Fano plane $\mathbb{F}$, the unique linear $3$-graph on seven vertices with seven edges. The Turán density and exact Turán number of $\mathbb{F}$, first proposed as a problem by Sós~\cite{Sos76} in the 1970s, were determined through a sequence of works by De Caen--Füredi~\cite{DCF00}, Füredi--Simonovits~\cite{FS05}, Keevash--Sudakov~\cite{KS05}, and Bellmann--Reiher~\cite{BR19}.
Confirming a conjecture of Balogh--Clemen--Lidický~{\cite[Conjecture~3.1]{BCL22a}} in a stronger form, we establish an Andrásfai--Erdős--Sós--type stability theorem for $\mathbb{F}$ in the $\ell_2$-norm: there exists a positive constant $\varepsilon$ such that for large $n$, every $\mathbb{F}$-free $3$-graph on $n$ vertices with minimum $\ell_2$-norm degree at least $(5/4 - \varepsilon)n^3$ must be bipartite. As a consequence, for large $n$, the balanced complete bipartite $3$-graph is the unique extremal construction for the $\ell_{2}$-norm Turán problem of $\mathbb{F}$.
Our proof includes a refinement of a classical result by Ahlswede--Katona~\cite{AK78} on counting stars, and the establishment of an Andrásfai--Erdős--Sós--type theorem for a multigraph Turán problem studied by Bellmann--Reiher~\cite{BR19}, both of which are of independent interest.