graph
35133 papers tagged with this keyword
On the complexity of the single-move labeled token routing problem
In neutral-atom quantum computers, atoms are moved to target positions along paths of empty positions, and a target position may be reserved for one species of atom. Motivated by this task, we introduce Single-Move Labeled Token Routing: every source and every target vertex of a graph is assigned a set of labels, and tokens occupy the sources. A solution consists of a matching that assigns each source to a compatible target (one whose label set intersects its own), a route for each matched pair, and a movement order in which, when a token is moved, its route contains no other token.
The problem is known to be polynomial-time solvable when every source is compatible with every target, and $\mathsf{NP}$-complete on grid graphs when each source is compatible with exactly one target. We prove that the latter case remains $\mathsf{NP}$-complete on grids and on planar graphs of maximum degree four even when some solution has pairwise edge-disjoint routes.
On trees, the problem is known to be $\mathsf{NP}$-complete even for maximum degree three. We study trees through the solution edge multiplicity, the largest number of routes of a solution sharing an edge, and the candidate edge multiplicity, the largest number of compatible pairs whose paths share an edge. We prove that on trees of maximum degree three, the problem is $\mathsf{W}[1]$-hard parameterized by a bound on the solution edge multiplicity, even when a movement order is given, and that on trees of unbounded degree, it is $\mathsf{NP}$-complete even when the candidate edge multiplicity is at most eight. We show that on trees the problem is fixed-parameter tractable parameterized by the maximum degree together with the candidate edge multiplicity, and also by the candidate vertex multiplicity, the same count at vertices. Unless $\mathsf{P}=\mathsf{NP}$, neither the maximum degree nor the candidate edge multiplicity can be omitted.
Universality for the extreme eigenvalues of Laplacian random matrices
We study the eigenvalues of the random Laplacian matrix $D - A$, where $A$ is a Wigner matrix with sub-Gaussian entries and the diagonal matrix $D$ contains the row sums of $A$. Our main results show that the extreme eigenvalues of this model exhibit Poisson statistics; in particular, after the appropriate centering and scaling, the largest eigenvalue converges to the Gumbel distribution as the dimension of the matrix tends to infinity. This confirms, for general sub-Gaussian entries, a phenomenon the authors previously established only in the Gaussian case [Electron. J. Probab. 30 (2025), Paper No. 104], resolving a conjecture raised there. As a corollary, for an Erdős--Rényi random graph, we show the asymptotic fluctuations of the algebraic connectivity (Fiedler value) can be described in terms of the Gumbel distribution.
Inheritance of expansion and oriented Hamilton cycles in robust expanders: a regularity-free proof
Häggkvist and Thomason proved that every $n$-vertex oriented graph with minimum semidegree at least $(\frac{5}{12}+o(1))n$ contains every orientation of a Hamilton cycle. Using Szemerédi's regularity lemma, Kelly later improved this to the asymptotically sharp bound $(\frac{3}{8}+o(1))n$. Taylor subsequently generalized Kelly's theorem by proving that every sufficiently large robust outexpander with linear minimum semidegree contains every orientation of a Hamilton cycle. We revisit Häggkvist and Thomason's proof and show that it can be modified to give a regularity-free proof of Taylor's theorem (and thus Kelly's theorem). Building on this, we also give regularity-free proofs of related results on Hamilton-connectivity and linkage in robust outexpanders. As applications of these results, we are able to replace the use of the regularity lemma in known results on arbitrary orientations of Hamilton cycles in $n$-vertex digraphs with minimum semidegree at least $\frac{n}{2}$ and in $n$-vertex digraphs with minimum total degree at least $(1+o(1))n$.
The first step is to show that, in an $n$-vertex robust outexpander with linear minimum semidegree, two uniformly chosen disjoint sets of logarithmic size satisfy Hall's condition with high probability. The second is to show that robust expansion is inherited by uniformly chosen linear sized sets. In both cases, we use the graph-container methods of Kleitman--Winston and Sapozhenko to reduce the possible obstructions to a small enough family to permit a union bound.
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.
Positivity for graph Laurent phenomenon algebras
Laurent phenomenon algebras were introduced by Lam and Pylyavskyy as a generalisation of cluster algebras. For a family associated with directed graphs, they showed that every cluster variable is a Laurent polynomial in the variables of any cluster and conjectured that these expansions have nonnegative coefficients. We prove this conjecture for all directed graphs without loops or multiple edges with respect to an arbitrary seed cluster.
A symmetric conference matrix of order 86
We construct a symmetric conference matrix of order $86$, the smallest order for which existence was open. Equivalently, there exist a conference graph with parameters $(85,42,20,21)$, a regular two-graph on $86$ points, and a real equiangular tight frame of $86$ vectors in $\mathbb{R}^{43}$. The matrix is a $12\times12$ array of $7\times7$ circulants with two border rows, and it admits a group of automorphisms of order $21$. Its $86$ descendants give exactly ten nonisomorphic strongly regular graphs.
Spectral Extremal 1-Planar Graphs with Bounded Pentagon Packing
Let $\mathcal P_1$ denote the class of 1-planar graphs and let $tC_5$ be the disjoint union of $t$ copies of $C_5$. For every fixed $t\ge3$ and all sufficiently large $n$, we determine the unique $n$-vertex $tC_5$-free graph in $\mathcal P_1$ with maximum adjacency spectral radius, answering Problem 1 of Li, Wang and Zhao. The proof first gives a structural description of every extremizer. After two dominating vertices are removed, the remainder consists of copies of the seven-vertex graph $B=K_1\vee2K_3$ together with at most one bounded connected core. This follows from a two-family covering theorem for 1-planar $K_2$-joins and the sharp packing--defect inequality \[ 12v(Q)-7e(Q)\ge1-10ν_5(Q). \] The same inequality yields an exact edge-extremal result for remainders with bounded pentagon packing. A normalized resolvent then cancels the repeated $B$-components, and finite moment comparisons force all packing and all nonzero defect into one core and identify that core uniquely in each residue class modulo $7$. The case $t=3$ is the pentagon-free boundary case and is completed by one exact finite component lemma.
The effect of edge deletion on noncommutative distances on graphs
For a Dirac operator $D$ on a finite weighted graph, let $d^D$ denote the associated noncommutative (Connes) distance. We show that deleting an edge can actually decrease the noncommutative distance between two vertices in the graph. The smallest example of this phenomenon comes from a weighted 4-cycle, and the case of deleting an edge from a weighted 4-cycle is determined completely: if $d^{D'}$ denotes the noncommutative distance in the graph after edge deletion, we prove that $\sup d^D/d^{D'} = 2/\sqrt{3}$ for the $4$-cycle, and further that this upper bound holds for all graphs. On the other hand, we show that deleting an edge can decrease the noncommutative distance between two vertices of an $n$-cycle precisely when $n$ is divisible by $4$.
In cases when a deleted edge decreases the noncommutative distance between two vertices $x$ and $y$, we show that the deleted edge need not be incident to either of the vertices $x$ or $y$, and in fact the deleted edge can be arbitrarily far from both in the graph-theoretic (number of edges) distance and in the weighted (geodesic) distance. Moreover, deletion of a single vertex arbitrarily far from both $x$ and $y$ in either the graph-theoretic or weighted distance can change $d^D(x,y)$ by an arbitrarily large factor.
Random independent sets in uncrowded hypergraphs
Given any fixed integer $k \ge 2$ and sufficiently large $d$, we show that the largest possible fractional chromatic number of a $k$-uniform $d$-degenerate uncrowded hypergraph $H$ (i.e., with girth at least $5$) satisfies \[ χ_f(H) = (1 + o_d(1)) \left((k-1)\,\frac{d}{\log d}\right)^{\frac{1}{k-1}}. \] In fact, we prove that this holds for $k$-uniform $d$-degenerate hypergraphs of girth at least $g$, for any given $g \ge 5$. As a corollary, we obtain improved bounds on the fractional chromatic number of $d$-degenerate linear hypergraphs. This work builds upon a recent result by Allen, Dhawan, and Noel, extending it from graphs to hypergraphs. In addition to overcoming the new difficulties that arise in the hypergraph setting, our approach yields a simpler proof even in the original graph case.
Our proof of the upper bound uses a simpler iterative procedure for sampling independent sets. We also establish bounds for fractional colorings with local demands, a framework introduced by Kelly and Postle, verifying a recent conjecture of Yu and Zhang. As a consequence, we obtain a degree-sequence bound on the independence number of uncrowded hypergraphs with a leading constant matching the shattering threshold.
For the matching lower bound, we use a hypergraph variant of the uniform attachment model and harmonic vertex weights to bound the fractional chromatic number via linear programming duality, then remove all short cycles by deleting vertices of negligible total weight. We also replace the Catalan-number argument used in the graph case with a matrix-norm estimate, simplifying the analysis.
Spectral Erdős--Gallai Theorems for the \(\mathcal A_α\)-Tensor of the \(s\)-Clique Hypergraph
The Erdős--Gallai theorem determines the maximum number of edges in a graph with bounded matching number; its clique-counting extension replaces edges by $s$-cliques, and a spectral analogue in terms of the $s$-clique tensor has recently been established. We study the corresponding $\mathcal A_α$-tensor of the $s$-uniform clique hypergraph. For $0\leqα\leq1$ and $3\le s\le2t-1$, we determine the maximum $α$-$s$-clique spectral radius among $n$-vertex graphs containing no matching of $t$ edges: when $3\le s\le t$ and $n$ is sufficiently large, the maximum is attained by the join of a clique of order $t-1$ and an independent set, and when $t<s\le 2t-1$ and $n\ge2t-1$, it is attained by a clique of order $2t-1$ together with isolated vertices. At $α=0$, these statements recover the known result for the $s$-clique spectral radius; at $α=1$, they yield the corresponding statement for the maximum $s$-clique degree. For $s=t\ge3$, we obtain the maximum for every $n\ge2t-1$; at $α=0$, this removes the requirement that $n$ be sufficiently large from the known result.
The Distance Laplacian and Distance Signless Laplacian Spectra of $\mathcal{C}$-Graphs
Mandal and Mehatari (\emph{Comp.\ Appl.\ Math.}, 2025) introduced the class $\mathcal{C}$ of cographs generated by a finite creation sequence $(α_1,\dots,α_m)$ of natural numbers, and derived the inertia, an extended eigenvalue-free interval, and the exact characteristic polynomial for the \emph{adjacency} matrix of such graphs. In this note we develop the parallel theory for the \emph{distance Laplacian} matrix $D^L(G)$ and \emph{distance signless Laplacian} matrix $D^Q(G)$. It is shown that $(0,α_{\min}) \cup (n-α_{\min}, n)$, $(0,n) \ \cup\ (n,\,n+α_{\min}) \ \cup\ (2n-α_{\min},\,2n)$, $\big(2\Tr_{\min},\ μ_{\max}(D^Q(G))\big)$ are the eigenvalue-free intervals of the Laplacian, distance Laplacian, and distance signless Laplacian matrices respectively for the said class of graphs.
Regular $K_3$-Irregular Graphs of Every Regularity at Least Nine
For a vertex $v$ of a graph $G$, the triangle-degree $\operatorname{td}_G(v)$ is the number of triangles containing $v$. A graph is triangle-distinct, or $K_3$-irregular, if its vertex triangle-degrees are pairwise distinct. Chartrand, Erdős, and Oellermann asked whether a regular $K_3$-irregular graph exists. We prove that such graphs exist for every regularity $r\ge 9$. More precisely, for every integer $k\ge 15$ we construct a $2k$-regular triangle-distinct graph on $4k+2$ vertices; complementation gives a $(2k+1)$-regular example of the same order. The construction uses two antiregular threshold blocks joined by a zero-one matrix with prescribed margins, followed by matrix $2$-switches that preserve those margins. After a uniform reference perturbation, exactly three triangle-degree collisions remain. Switches chosen according to parity remove two of them, and the last possible collision is controlled by a short quadratic discriminant argument. Odd $k\ge 17$ and even $k\ge 62$ are handled symbolically, while the remaining 24 values are settled by exact finite verification. Together with the known examples for $9\le r\le 29$, this closes the positive existence problem for every $r\ge 9$.
Cayley graph diameters for fixed cycle types are eventually quasipolynomial
Given a cycle type, the corresponding conjugacy class of $S_n$ generates either $S_n$ or $A_n$ for sufficiently large $n$. We prove that the sequence of diameters of Cayley graphs is eventually polynomial on residue classes for any fixed cycle type. This result is also extended to finite unions of conjugacy classes.
Optimal Bounds on Spanning Tree Embeddings
We prove that the number of labelled embeddings of any $n$-vertex tree $T$ into an $n$-vertex graph $G$ of maximum degree $d$ satisfies $$ \mathrm{inj}(T,G) \leq (d/e)^n \exp(o_d(1) n). $$ The bound is sharp up to determining $o_d(1)$, even for paths, and the dependence of the error $\exp(o_d(1)n)$ on $d$ is necessary. As an immediate corollary, we obtain an optimal anticoncentration bound for the isomorphism class of a uniformly random spanning tree in a connected $d$-regular graph, answering a conjecture of H. Lee. The proof combines Brégman's inequality with entropy methods.
Can one hear the shape of a lattice random walk?
We construct distinct high-dimensional mean-zero finite range lattice random walks having pairwise-equal return probabilities for all step counts. The same examples provide pairwise-distinct shapes of discretizations of the standard Laplacian with pairwise-equal density state functions.
The main contribution is a reconstruction theorem: to a colored trivalent graph one associates a quantum Clebsch--Gordan polytope, and this association is a full functor, in particular from the polytope one can uniquely recover the original graph. These polytopes appear as moment polytopes of toric degenerations of character varieties (moduli spaces of rank-2 bundles on curves), yielding a combinatorial non-abelian Torelli theorem. In symplectic geometry, the reconstruction theorem implies that monotone Lagrangian tori on odd character varieties associated with these degenerations are pairwise non-Hamiltonian isotopic. These results, and some of the applications, arose from the study of mirror symmetry for moduli spaces of vector bundles, and of the related Laurent phenomenon for mutations of graph potentials.
Perfect state transfer on mixed graphs: complete classes and transfer times
For perfect state transfer (PST) on unweighted mixed graphs, we classify the normalized transfer times of complete PST classes. A finite set $Λ\subset\mathbb R/\mathbb Z$ containing zero occurs at a nonstationary periodic vertex if and only if $\cos(2π(x-y))\in\mathbb Q$ for all $x,y\inΛ$. Every admissible set has a connected oriented realization. We also classify the possible return phases of oriented realizations at the minimum vertex period. Transfers at rational multiples of the common minimum vertex period partition a complete class into sets of size at most six, or at most three in an oriented graph with return phase $-1$; both bounds are sharp. We construct complete classes of every finite size, including classes in which all transfers between distinct vertices occur at irrational multiples of the period and no switching automorphism maps a class vertex to a distinct class vertex. We also characterize simultaneous realization in connected oriented graphs with prescribed relative minimum vertex periods and return phases. The proof combines an imaginary quadratic field restriction with an unweighted construction that selects the complete target set.
A cubical approach to homology theories for hypergraphs
We introduce three homology theories for hypergraphs, namely $Γ$-homology, $\Box$-homology, and $\times$-homology, and show that they are pairwise non-isomorphic and distinct from the embedded homology of hypergraphs. We further introduce a notion of homotopy for hypergraphs that extends the discrete homotopy theory of graphs. Among the homology theories considered, we prove that $\Box$-homology is invariant under this homotopy, whereas $Γ$-homology and $\times$-homology fail to satisfy homotopy invariance. Based on excision, we also identify a distinctive structural behavior exhibited by $Γ$-homology that further differentiates it from $\Box$-homology.
Polynomial-in-$r$ bounds for forbidden traces of uniform hypergraphs
We give a general principle that converts fixed-uniformity bounds for forbidden traces into bounds with polynomial dependence on the uniformity. More precisely, let $H$ be a fixed set system on $h\ge1$ vertices, and suppose that, for some $α\ge0$, $\operatorname{ex}_j(m,\operatorname{Tr}(H))=O_{H,j}(m^α)$ for every fixed integer $j\ge1$. Then, for every $\varepsilon>0$, there is a constant $C_{H,α,\varepsilon}$ such that \[
\operatorname{ex}_r(m,\operatorname{Tr}(H))
\le C_{H,α,\varepsilon} r^{h-1-α+\varepsilon}m^α\] for all $m\ge r\ge2$.
In particular, for trace-$C_4$-free hypergraphs and every $\varepsilon>0$ there is a constant $C_\varepsilon$ such that \[
\operatorname{ex}_r(m,\operatorname{Tr}(C_4))
\le C_\varepsilon r^{3/2+\varepsilon}m^{3/2} \] for all $m\ge r\ge2$. We also construct trace-$C_4$-free $r$-graphs showing that \[ \operatorname{ex}_r(m,\operatorname{Tr}(C_4)) \ge c r^{1/2}m^{3/2} \] for an absolute constant $c>0$, for every fixed $r\ge3$ and all sufficiently large $m$ (depending on $r$).
On Hypergraph Colorings and Completely Independent Spanning Trees in Chordal Graphs
In this paper, we study the existence problem of completely independent spanning trees (CIST) in chordal graphs through appropriate hypergraph representations and their panchromatic and bipanchromatic colorings. First, we disprove a conjecture stating an exact relationship between the panchromatic number, the bipanchromatic number, and the minimum number of unique colors in an optimal panchromatic coloring of a hypergraph. Then, by relating CIST to panchromatic and bipanchromatic colorings of the associated hypergraphs, we derive structural conditions for their existence in chordal graphs and specifically strictly chordal graphs.
Hedetniemi's Conjecture for Uncountable Complementary Graphs
We study the complementary version of Hedetniemi's problem for infinite graphs. We prove that if a graph $G$ and its complement $\overline{G}$ are both uncountably chromatic while their categorical product is countably chromatic, then $|V(G)|=ω_1$. Assuming $\diamondsuit$, we construct a graph $G$ on $ω_1$ such that $χ(G)=χ(\overline{G})=ω_1$ and $χ(G\times\overline{G})=ω$; the construction uses two suitably chosen minimal Countryman lines. We also define a c.c.c. forcing of cardinality $ω_1$ that adds a graph with the same properties. It remains open whether ZFC alone proves the existence of such a graph.