arXiv++ Combinatorics

Determining the asymptotic independence ratio of random regular graphs is a key challenge in the area of sparse random graphs. Due to the interpolation method, very good upper bounds are known, which are actually known to be sharp for sufficiently large degrees. This paper provides explicit lower bounds for given degrees $d$, beating the previous best bounds for $d \geq 10$. The starting point is a second moment argument that we can boost by arguing that the obtained independent set has a certain spatial Markov property. One can then exploit this property by making local modifications to the independent set, resulting in substantial improvements. Our approach can also be used to prove the existence of other objects in random regular graphs. To demonstrate this, we consider the problem of decomposing random regular graphs into stars.

An account of 2-factors in graphs and their history is presented. We give a direct graph-theoretic proof of the 2-Factor Theorem and a new variant of it, and also a new complete characterisation of the maximal graphs without 2-factors. This is based on the important works of Tibor Gallai on 1-factors and of Hans-Boris Belck on k-factors, both published in 1950 and independently containing the theory of alternating chains. We also present an easy proof that a $(2k+1)$-regular graph with at most $2k$ leaves has a 2-factor, and we describe all connected $(2k+1)$-regular graphs with exactly $2k+1$ leaves without a 2-factor. This generalises Julius Petersen's famous theorem, that any 3-regular graph with at most two leaves has a 1-factor, and it generalises the extremal graphs Sylvester discovered for that theorem.

In this paper we consider the multiparty equality problem in graphs, where every vertex of a graph $G$ is given an input, and the goal of the vertices is to decide whether all inputs are equal. We study this problem in the local broadcast model, where a message sent by a vertex is received by all its neighbors and the total cost of a protocol is the sum of the lengths of the messages sent by the vertices. This setting was studied by Khan and Vaidya, who gave in 2021 a protocol achieving a 4-approximation in the general case. We study this multiparty communication problem through the lens of network topology. We design a new protocol for 2-connected graphs, whose efficiency relies on the notion of total vertex cover in graph theory. This protocol outperforms the aforementioned 4-approximation in a number of cases. To demonstrate its applicability, we apply it to obtain optimal or asymptotically optimal protocols for several natural network topologies such as cycles, hypercubes, and grids. On the way we also provide new bounds of independent interest on the size of total vertex covers in regular graphs.

The {\it toughness} $τ(G)=\mathrm{min}\{\frac{|S|}{c(G-S)}: S~\mbox{is a vertex cut in}~G\}$ for $G\ncong K_n,$ which was initially proposed by Chvátal in 1973. A graph $G$ is called {\it $t$-tough} if $τ(G)\geq t.$ Let $λ_i(G)$ be the $i$-th largest eigenvalue of the adjacency matrix of a graph $G$. In 1996, Brouwer conjectured that $τ(G)\geq\frac{d}λ-1$ for a connected $d$-regular graph $G,$ where $λ=\mathrm{max}\{|λ_2|, |λ_n|\}.$ Gu [SIAM J. Discrete Math. 35 (2021) 948-952] completely confirmed this conjecture. From Brouwer and Gu's result $τ(G)\geq\frac{d}λ-1,$ we know that if $G$ is a connected $d$-regular graph and $λ\leq\frac{bd}{b+1}$, then $τ(G)\geq\frac{1}{b}$ for an integer $b\geq1.$ Inspired by the above result and utilizing typical spectral techniques and graph construction methods from Cioabă et al. [J. Combin. Theory Ser. B 99 (2009) 287-297], we prove that if $G$ is a connected $d$-regular graph and $λ_2(G)<φ(d,b)$, then $τ(G)\geq\frac{1}{b}$. Meanwhile, we construct graphs implying that the upper bound on $λ_2(G)$ is best possible. Our theorem strengthens the result of Chen et al. [Discrete Math. 348 (2025) 114404]. Finally, we also prove an upper bound of $λ_{b+1}(G)$ to guarantee a connected $d$-regular graph to be $\frac{1}{b}$-tough.

A longstanding problem in spectral graph theory asks for graphs with maximum number of spanning trees among all connected simple graphs with a prescribed number of vertices and edges. Such graphs are called t-optimal graphs. Petingi and Rodríguez [Discrete Math. 244 (2002), 351--373] achieved in finding infinitely many t-optimal graphs. Basically, they reduced the problem of finding t-optimal graphs to the determination of almost-regular graphs with minimum number of induced 3-paths. In this work we revisit the construction of t-optimal graphs given by Petingi and Rodríguez. Then, we generalize the previous construction using the key concept of trace-minimal graph introduced by Ábrego et al. [Linear Algebra Appl. 412 (2006) 161--221]. Finally, as a consequence, we construct infinitely many new t-optimal regular graphs.

A strongly regular graph with parameters $(n,d,a,c)$ is a $d$-regular graph of order $n$, in which every pair of adjacent vertices has exactly $a$ common neighbor(s) and every pair of nonadjacent vertices has exactly $c$ common neighbor(s). Let $n$ be the number of vertices of the graph $G=(V,E)$. The distance matrix $D=D(G)$ of $G$ is an $n \times n $ matrix with the rows and columns indexed by $V$ such that $D_{uv} = d_{G}(u, v)=d(u,v)$, where $d_{G}(u, v)$ is the distance between the vertices $u$ and $v$ in the graph $G$. In this paper, we are interested in determining the distance spectrum of the bipartite double cover of the family of strongly regular graphs. In other words, let $G=(V,E)$ be a strongly regular graph with parameters $(n,k,a,c)$. We show that there is a close relationship between the spectrum of $G$ and the distance spectrum of $B(G)$, where $B(G)$ is the double cover of $G$. We explicitly determine the distance spectrum of the graph $B(G)$, according to the spectrum of $G$. In fact, according to the parameters of the graph $G$.

An \emph{$H$-packing} in a graph $G$ is a collection of pairwise vertex-disjoint copies of $H$ in $G$. We prove that for every $c > 0$ and every bipartite graph $H$, any $\lfloor cn \rfloor$-regular graph $G$ admits an $H$-packing that covers all but a constant number of vertices. This resolves a problem posed by Kühn and Osthus in 2005. Moreover, our result is essentially tight: the conclusion fails if $G$ is not both regular and sufficiently dense, it is in general not possible to guarantee covering all vertices of $G$ by an $H$-packing, and if $H$ is non-bipartite then $G$ need not contain any copies of $H$. We also prove that for all $c > 0$, integers $t \geq 2$, and sufficiently large $n$, all the vertices of every $\lfloor cn \rfloor$-regular graph can be covered by vertex-disjoint subdivisions of $K_t$. This resolves another problem of Kühn and Osthus from 2005, which goes back to a conjecture of Verstraëte from 2002. Our proofs combine novel methods for balancing expanders and super-regular subgraphs with a number of powerful techniques including properties of robust expanders, regularity lemma, and blow-up lemma.

The Perron-Frobenius theorem of nonnegative matrices is a classical result on spectral theory of matrices, which has wide applications in many domains. In this paper, we give the Perron-Frobenius theorem for dual tensors, that is, a dual tensor with weakly irreducible nonnegative standard part has a positive dual eigenvalue with a positive dual eigenvector. We give an explicit formula for the dual part of the positive dual eigenvector by using generalized inverses of an $M$-matrix. By considering the natural correspondence between tensors (matrices) and hypergraphs (graphs), some basic properties on the positive dual eigenvalue and positive dual eigenvector of hypergraphs are obtained. As applications, we introduce dual centrality measures for vertices of graphs and hypergraphs. By introducing a dual perturbation, vertices that are tied under eigenvector centrality can be effectively distinguished. In our numerical experiments, by perturbing specific structures, we successfully differentiated vertices in regular graphs and hypergraphs that were previously indistinguishable.

In 1989, Zehavi and Itai conjectured that every $k$-connected graph contains $k$ independent spanning trees rooted at any prescribed vertex $r$. That is, for each vertex $v$, the unique $r$-$v$ paths within these $k$ spanning trees are internally disjoint. This fundamental problem has received much attention, in part motivated by its applications to network reliability, but despite that has only been resolved for $k \le 4$ and certain restricted graph families. We establish the conjecture for almost all graphs of essentially any relevant density. Specifically, we prove that there exists a constant $C > 1$ such that, with high probability, the random graph $G(n,p)$ contains $δ(G)$ independent spanning trees rooted at any vertex whenever $C \log n/n \leq p < 0.99$. Since the lower bound on $p$ coincides (up to the constant $C$) with the connectivity threshold of $G(n,p)$, this result is essentially optimal. In addition, we show that $(n,d,λ)$-graphs with fairly mild bounds on the spectral ratio $d/λ$ contain $(1-o(1))d$ independent spanning trees rooted at each vertex, thereby settling the conjecture asymptotically for random $d$-regular graphs as well.

We introduce a new technique to prove bounds for the spectral radius of a random matrix, based on using Jensen's formula to establish the zerofreeness of the associated characteristic polynomial in a region of the complex plane. Our techniques are entirely non-asymptotic, and we instantiate it in three settings: (i) The spectral radius of non-asymptotic Girko matrices -- these are asymmetric matrices $\mathbf{M} \in \mathbb{C}^{n \times n}$ whose entries are independent and satisfy $\mathbb{E} \mathbf{M}_{ij} = 0$ and $\mathbb{E} |\mathbf{M}_{ij}^2| \le \frac{1}{n}$. (ii) The spectral radius of non-asymptotic Wigner matrices -- these are symmetric matrices $\mathbf{M} \in \mathbb{C}^{n \times n}$ whose entries above the diagonal are independent and satisfy $\mathbb{E} \mathbf{M}_{ij} = 0$, $\mathbb{E} |\mathbf{M}_{ij}^2| \le \frac{1}{n}$, and $\mathbb{E} |\mathbf{M}_{ij}^4| \le \frac{1}{n}$. (iii) The second eigenvalue of the adjacency matrix of a random $d$-regular graph on $n$ vertices, as drawn from the configuration model. In all three settings, we obtain constant-probability eigenvalue bounds that are tight up to a constant. Applied to specific random matrix ensembles, we recover classic bounds for Wigner matrices, as well as results of Bordenave--Chafaï--García-Zelada, Bordenave--Lelarge--Massoulié, and Friedman, up to constants.

There is a strong interest in finding challenging instances of NP-hard problems, from the perspective of showing quantum advantage. Due to the limits of near-term NISQ devices, it is moreover useful if these instances are small. In this work, we identify two graph families ($|V|<1000$) on which the Goemans-Williamson algorithm for approximating the Max-Cut achieves at most a 0.912-approximation. We further show that, in comparison, a recent quantum algorithm, Quantum Approximate Optimization Algorithm (depth $p=1$), is a 0.592-approximation on Karloff instances in the limit ($n \to \infty$), and is at best a $0.894$-approximation on a family of strongly-regular graphs. We further explore construction of challenging instances computationally by perturbing edge weights, which may be of independent interest, and include these in the CI-QuBe github repository.

In 1935, Pauling proposed an estimate for the number of Eulerian orientations of a graph in the context of the theoretical behaviour of water ice. The logarithm of the number of Eulerian orientations, normalised by the number of vertices, is called the residual entropy. In an earlier paper, we conjectured that the residual entropy of a sequence of regular graphs of increasing degree was asymptotically equal to Pauling's estimate. Here we prove the conjecture under constraints on the number of short circuits. These constraints hold under weak eigenvalue conditions and apply to sequences of increasing girth and repeated Cartesian products such as hypercubes.

Quantum state transfer, first introduced by Bose in 2003, is an important physical phenomenon in quantum networks, which plays a vital role in quantum communication and quantum computing. In 2004, Christandl et al. proposed the concept of perfect state transfer on graphs by modeling the quantum network using graphs, and unveiled the feasibility of applying graph theory to quantum state transfer. In 2018, Chen and Godsil proposed the definition of Laplacian perfect pair state transfer on graphs, which is a brilliant generalization of perfect state transfer. In this paper, we investigate the existence of Laplacian perfect pair state transfer in tensor product and double cover of two regular graphs, respectively, and reveal fundamental connections between perfect state transfer and Laplacian perfect pair state transfer. We give necessary and sufficient conditions for the tensor product of two regular graphs to admit Laplacian perfect pair state transfer, where one of the two regular graphs admits perfect state transfer or Laplacian perfect pair state transfer. Additionally, we characterize the existence of Laplacian perfect pair state transfer in the double cover of two regular graphs. By our results, a variety of families of graphs admitting Laplacian perfect pair state transfer can be constructed.

Can AI based methods help us make advances in complexity theory? We provide evidence towards answering this in the affirmative, using AlphaEvolve (an LLM code mutation agent) to obtain new results in three settings: a) We improve a recent result of Kunisky and Yu to obtain near-optimal upper and (conditional) lower bounds on certification algorithms for MAX-CUT and MAX-Independent Set on random 3- and 4-regular graphs. Our improved lower bounds are obtained by constructing nearly extremal Ramanujan graphs on as many as $163$ vertices, and our upper bounds are obtained via analytical arguments. b) We obtain new inapproximability results for MAX-4-CUT and MAX-3-CUT, proving that it is NP-hard to approximate them within factors of $0.987$ and $0.9649$ respectively, using AlphaEvolve to discover new gadget reductions. Our MAX-4-CUT result improves upon the SOTA of $0.9883$, and our MAX-3-CUT result improves on the current best gadget-based inapproximability result of $0.9853$, but falls short of the SOTA of $16/17$ that relies on a custom PCP (rather than a reduction from ``standard'' Håstad-style PCPs). c) Inapproximability for the metric Traveling Salesman Problem (TSP): We show that it is NP-hard to approximate the minimum cost tour within a factor of $111/110$ using AlphaEvolve to discover a new gadget, thus improving the SOTA of $117/116$. Along the way, we provide new modular soundness and completeness arguments that can be of independent interest. A key technical challenge we faced: verifying a candidate construction produced by AlphaEvolve is costly (sometimes requiring time exponential in the size of the construction). We used AlphaEvolve itself to evolve the verification procedure to be faster (sometimes by $10,000\times$ for our gadgets). Our results suggest that gadget based proofs would benefit from a pass through AI-based tools to obtain stronger results.

We give a bijection between the point-hyperplane antiflags of $V(n, 2)$ and the non-singular points of $V(2n, 2)$ with respect to a hyperbolic quadric. With the help of this bijection, we give a description of the strongly regular graph $NO^+(2n, 2)$ in $V(2n, 2)$. We also describe a graph in $V(2n, 2)$ that was recently defined by Stanley and Takeda in $V(n, 2)$.

The paper shows the existence of a family of directed strongly regular graphs with parameters (22, 9, 6, 3, 4). The adjacency matrices of the found digraphs are composed of $3\times 3$ circulant blocks. The automorphism group of all the digraphs found is the group $\mathbb{Z}_3$. The structure of the resulting digraphs is described using concepts of skeleton and rigging.

The $T$-graph $T(G)$ of a graph $G$ is the graph whose vertices are the vertices and edges of $G$, with two vertices of $T(G)$ are adjacent if and only if the corresponding elements of $G$ are adjacent or incident. In this paper, we determine the adjacency and Laplacian spectra of $T$-vertex neighborhood corona and $T$-edge neighborhood corona of a connected regular graph with an arbitrary regular graph in terms of their eigenvalues. Moreover, applying these results we construct some non-regular $A$-cospectral and $L$-cospectral graphs.

In this paper, we present a new factor of IID process based on the local algorithm introduced by Díaz, Serna, and Wormald (2007). This new approach allows us to improve the previously known upper bounds on the minimum and maximum bisection width and the maximum cut of random d-regular graphs for d > 4 by introducing a new recoloring phase after the termination of the original algorithm. As an application, we show that random 5-regular graphs asymptotically almost surely admit an internal partition, i.e., a partition of the vertex set into two nonempty classes so that every vertex has at least half of its neighbors in its own class.

We show that for any connected graph $G$ with maximum degree $d\ge3$, the spectral gap from $0$ with respect to the adjacency matrix is at most $\sqrt{d-1}$, with equality if and only if $G$ is the incidence graph of a finite projective plane of order $d-1$; and for other cases, the bound $\sqrt{d-1}$ is improved to $\sqrt{d-2}$. This is a spectral gap version of a result by Mohar and Tayfeh-Rezaie. Moreover, for $d$-regular graphs with girth at least 7, the bound $\sqrt{d-2}$ is further improved to $\sqrt{d-c(d)}$ where $c(d)\ge 2$ and $\lim\limits_{d\to\infty}c(d)/d=(\sqrt{5}-1)/2$. A similar yet more subtle phenomenon involving the normalized Laplacian is also investigated, where we work on graphs of degrees $\ge d$ rather than $\le d$. We prove that for any graph $G$ with \emph{minimum} degree $d\ge 3$, the spectral gap from the value 1 with respect to the normalized Laplacian is at most $\sqrt{d-1}/d$, with equality if and only if $G$ is the incidence graph of a finite projective plane of order $d-1$. As an application, we provide a new sharp bound for the convergence rate of some eigenvalues of the Laplacian on the weighted neighborhood graphs introduced by Bauer and Jost.

We study egalitarian (acyclic) orientations of undirected graphs under indegree-based objectives, such as minimizing the $\varphi$-sum of indegrees for a strictly convex function $\varphi$, decreasing minimization (dec-min), and increasing maximization (inc-max). In the non-acyclic setting of Frank and Murota (2022), a single orientation simultaneously optimizes these three objectives, however, restricting to acyclic orientations confines us to the corners of the indegree polytope, where these fairness objectives do diverge. We establish strong hardness results across a broad range of settings: minimizing the $\varphi$-sum of indegrees is NP-hard for every discrete strictly convex function $\varphi$; dec-min and inc-max are NP-hard for every indegree bound $k \geq 2$, as well as without a bound; and the complementary inc-min and dec-max problems are NP-hard even on $3$-regular graphs. On the algorithmic side, we give a polynomial-time algorithm for minimizing the maximum weighted indegree via a weighted smallest-last ordering. We also provide an exact exponential-time algorithm for minimizing general separable discrete convex objectives over indegrees, and a polynomial-time algorithm for the non-acyclic case. Finally, for maximizing the sum of the products of indegrees and outdegrees, we prove NP-hardness on graphs of maximum degree $4$, give an algorithm for maximum degree $3$, and provide a $3$-approximation algorithm. Our results delineate the algorithmic frontier of convex integral optimization over indegree (base-)polytopes, and highlight both theoretical consequences and practical implications, notably for scheduling and deadlock-free routing.