arXiv++ Combinatorics

This paper studies edge-precoloring extensions in Cartesian products of graphs, motivated by a conjecture of Casselgren, Petros, and Fufa. We formulate a general hypothesis stating that if every edge-precoloring of $G$ and $H$ of sizes $k<χ'(G)$ and $l<χ'(H)$, respectively, is extendable, then any edge-precoloring of $G \square H$ of size $k+l+1$ can be extended to a proper $(χ'(G)+χ'(H))$-coloring. We provide partial progress toward this conjecture by establishing the result in cases where $k<Δ(G)$, $G$ is a triangle-free $r$-regular graph and $H$ is a star, an even cycle, a path or, more generally, an arbitrary tree $F$. Furthermore, we prove the conjecture in the case where $G$ is a subcubic graph and $H = K_2$.

Let $Γ$ be a connected regular graph with an eigenvalue $λ$ and corresponding idempotent $E_λ$. Let ${\cal E}_λ=\langle J,E_λ\rangle^\circ$ be the algebra generated by $J$ and $E_λ$ with respect to the entrywise-Hadamard product, where $J$ is the all-$1$ matrix. We study the combinatorial structure of a graph $Γ$ for which ${\cal E}_λ$ has dimension $2$, giving a combinatorial characterization of such graphs in terms of equitable partitions. We present many examples and classify the distance-regular graphs with this property, as well as graphs that generate a $3$-class association scheme. We also study the graphs that have two eigenvalues $λ$ for which ${\rm dim}({\cal E}_λ)=2$ and determine all such graphs with four distinct eigenvalues.

The Gilbert graph $\text{Gilbert}(q,n,d)$, which arises naturally in graph theory and coding theory, is the regular graph on $\mathbb{F}_q^n$ in which two vertices are adjacent if their Hamming distance is less than $d$, and it is vertex-transitive. We classify all parameters $(q,n,d)$ for which $\text{Gilbert}(q,n,d)$ is edge-transitive or distance-transitive, and separately classify all parameters for which its complement has these properties. We prove that $\text{Gilbert}(q,n,d)$ is edge-transitive if and only if it is distance-transitive, and that this occurs precisely when $d=2$, $(q,d)=(2,3)$, or $(q,d)=(2,n)$. For the complement graphs, we determine all parameters yielding edge- or distance-transitivity using spectral methods based on Krawtchouk polynomials and the structure of the Hamming association scheme. In contrast to the Gilbert graphs, where the parameter sets corresponding to edge- and distance-transitivity coincide, we show that for their complements the set of parameters yielding distance-transitivity is strictly contained in the set yielding edge-transitivity. As an application, we compute the exact values of the Lovász $\vartheta$-function of Gilbert graphs, as well as of their complements, in all cases where either one of them is edge-transitive.

Kirchhoff index, Kf(G), introduced by Klein and Randic in 1993, represents the total effective resistances between all pairs of vertices in a graph G, where each edge is regarded as a resistor. In this paper, the Kirchhoff indices of a particular sequence of nested geometric graphs with weighted multiple edges, denoted by Gn, are investigated. A recurrence relation for the characteristic polynomial of the Laplacian matrix L(Gn) is derived, and an explicit formula for Kf(Gn) is obtained. These facilitate the analysis of the variation of Kf(Gn) as as n goes to infinity. Consequently, Kf(Gn) is shown to grow asymptotically linearly, characterized by a specific asymptotic formula. In the course of this derivation, a recurrence relation for the determinant of a block tridiagonal matrix is established. The Kirchhoff index of a 4-regular graph constructed from Gn is also determined.

We consider site (vertex) percolation on $d$-regular graphs, for both constant-degree and growing-degree cases. We give sufficient, and relatively tight, conditions for the emergence of the ``Erdős-Rényi component phenomenon" in the supercritical regime $p=\frac{1+ε}{d-1}$: namely, the appearance of a unique giant component of order $n/d$ in the percolated subgraph, with all other components being of size $O(\log n)$. Our main results apply both to the $d$-dimensional hypercube and to pseudo-random graphs, and resolve two open questions in these cases. We further discuss differences (and similarities) between bond (edge) percolation setting and site percolation setting.

A classical result by Otter shows that the complete graph has an exponential number of non-isomorphic spanning trees. This was recently extended by Lee to every almost regular graph of sufficiently large degree. In this paper, we consider graphs of large minimum degree. We show that every connected graph $G$ with $n$ vertices and minimum degree $d$ has at least $n^{Ω(d)}$ non-isomorphic spanning trees. This is tight up to the constant factor in the exponent. In fact, we prove the following anticoncentration result: if $\mathcal{T}$ is a uniformly random spanning tree of $G$, then for every tree $T$, the probability that $\mathcal{T}$ is isomorphic to $T$ is at most $n^{-Ω(d)}$. This proves a conjecture of Lee in a strong form.

A Neumaier graph is an edge-regular graph with a regular clique. Such a graph is said to have parameters $(v,k,λ;e,s)$ if it is a $k$-regular graph on $v$ vertices having a clique of size $s$ such that every edge is contained in $λ$ triangles and every vertex outside $C$ is adjacent with exactly $e$ vertices inside $C$. It was an open problem whether Neumaier graphs can exist with exactly five eigenvalues. In the present paper, we describe a family of Neumaier graphs, and show that inside this family there are 1063 nonisomorphic Neumaier graphs with parameters $(v,k,λ;e,s)=(48,14,2;1,4)$, among which 25 have exactly five eigenvalues. These 1063 graphs are also the first known examples of Neumaier graphs for the mentioned parameters.

We construct an infinite family of 6-regular graphs $\{G_n\}_{n\ge 3}$ by taking $n$ copies of the Petersen graph and wiring corresponding vertices according to an $n$-cycle permutation. Each $G_n$ has $10n$ vertices, $30n$ edges, and automorphism group $D_{5n}$ of order $10n$, acting with two vertex orbits of size $5n$. The graphs have girth $4$ and diameter $\lfloor n/2\rfloor+2$. We prove that $G_3$ and $G_4$ are Ramanujan graphs, satisfying $|λ_2| \le 2\sqrt{5}$. The first five members ($n=3,\dots,7$) have been deposited in the House of Graphs database as entries 56324--56328. This construction provides new examples of highly symmetric regular graphs and contributes two new Ramanujan graphs to the literature. All computational scripts are available online for full reproducibility.

The quadratic embedding constant (QEC) is a numerical invariant associated with quadratic embeddings of graphs into Hilbert spaces, and it is characterized in terms of the distance matrix. For corona graphs $G\odot H$, a general expression for $\mathrm{QEC}(G\odot H)$ can be described using $\mathrm{QEC}(G)$ together with spectral properties of $H$. However, this expression involves an additional spectral contribution determined by the adjacency matrix of $H$. In this paper, we analyze this contribution and provide an explicit description of the associated set $Γ$, allowing us to determine the quantity $γ= \max Γ$ that appears in the general formula for $\mathrm{QEC}(G\odot H)$. As applications, we compute the quadratic embedding constants for corona graphs of the form $G\odot H$ where $H$ is a regular graph. Finally, we provide conditions on $G$ and $H$ under which the quadratic embedding constant of $G\odot H$ coincides with the second largest eigenvalue of the distance matrix.

We introduce jacobian graphs, which are explicit families of regular graphs that are spectrally indistinguishable from random graphs, but whose local structure is very different from that of random graphs. The construction relies on the geometric properties of generalized jacobians of curves and on general equidistribution theorems for character sums over finite fields.

A graph of order $n$ is said to be $k$-\emph{factor-critical} $(0\le k<n)$ if the removal of any $k$ vertices results in a graph with a perfect matching. A $k$-factor-critical graph $G$ is \emph{minimal} if $G-e$ is not $k$-factor-critical for any edge $e$ in $G$. In 1998, Favaron and Shi posed the conjecture that every minimal $k$-factor-critical graph is of minimum degree $k+1$. A natural extension of this notion arises from $\{1,2\}$-factors. A spanning subgraph of $G$ is called a $\{1,2\}$-factor if each of its components is a regular graph of degree one or two. A graph is $k$-\emph{$\{1,2\}$-factor critical} if the removal of any $k$ vertices results in a graph with a $\{1,2\}$-factor. A recent conjecture in the area states that every minimal $k$-$\{1,2\}$-factor critical graph $G$ satisfies $k+1\le δ(G)\le k+2$. In this paper, we prove that the conjecture holds for $k$-planar graphs, that is, graphs in which the deletion of any set of $k$ vertices yields a planar graph. In particular, this resolves the conjecture for planar graphs.

In this paper, we give spectral upper bounds for the independence number of even uniform hypergraphs and graphs, extend the Hoffman bound to even uniform hypergraphs, and give a simple spectral condition for determining the independence number, the Shannon capacity and the Lovász number of a graph. The Hoffman bound on the Lovász number is also extended from regular graphs to general graphs.

The antiferromagnetic Ising model samples subsets of vertices of a graph with weight decaying exponentially in the number of edges induced. We study the problem of sampling from this model on the class of bipartite, regular graphs with good vertex expansion. We show that a natural sampler, namely the Glauber dynamics, mixes exponentially slowly in a wide range of parameters. On the other hand, we give an efficient alternative algorithm for sampling from the Ising model and an FPTAS for its partition function, using polymer models and the cluster expansion method.

The all-terminal reliability of a graph $G$ is the probability that $G$ remains connected when each edge fails independently with probability $p$. For fixed $n$ and $m$, the uniformly most reliable problem asks which graph with $n$ vertices and $m$ edges maximizes reliability for all $p \in [0,1]$. Although such graphs do not always exist, optimal graphs in the regime $p \to 0$ always do and are determined by the structure of their minimal cut sets. We establish a structural characterization of graphs that are most reliable near $p=0$. Our results partially resolve a conjecture of Bourel et al., showing that, under suitable conditions, regular graphs with maximal girth are optimal. Extending this analysis to graphs with fixed redundancy $r=m-(n-1)$ and sufficiently large $n$, we show that the most reliable graphs are obtained by subdividing the most reliable cubic graphs with $2(r-1)$ vertices. The general conjecture remains open. Unlike previous results, which resolved only small redundancy cases or very dense regimes, our approach yields a substantial extension of the known range. We determine the unique cubic candidates for uniformly most reliable graphs for all redundancy levels $m-n \le 19$, and prove the non-existence of uniformly most reliable graphs for several infinite families with fixed redundancy and asymptotically large $n$. These results significantly enlarge both the candidate class and the range of provable non-existence.

A graph $G=(V,E)$ is called $d$-rigid if, for a generic embedding of its vertices in $\mathbb{R}^d$, every edge-length preserving continuous motion of the vertices preserves the distances between all pairs of non-adjacent vertices as well. In this paper, we present several new results on the rigidity of random graphs. In particular, we show that there exists $c>0$ such that, for $p\ge 2 \log{n}/n$, the binomial random graph $G(n,p)$ is with high probability (whp) $\lfloor c n p\rfloor$-rigid. This is sharp up to the constant $c$, and complements recent results of Peled and Peleg (in the regime $p= o(n^{-1/2})$), and of Jordán, Liu, and Villányi (in the constant $p$ regime). Moreover, we show that for every fixed $d\ge 2$ and $r\ge 501d$, a random $r$-regular graph is whp $d$-rigid, and that for $100/n\le p\le 2\log{n}/n$, the binomial random graph $G(n,p)$ contains whp an $\lfloor np/251\rfloor$-rigid subgraph with at least $(1-e^{-np/2})n$ vertices. Both results are sharp up to the multiplicative constant. In addition, we present a new sufficient condition for rigidity in terms of the minimum codegree of the graph (the minimum number of common neighbours of a pair of vertices in the graph). A main tool in our arguments is a new combinatorial sufficient condition for rigidity, which provides a common generalization to Whiteley's vertex-splitting lemmas, and to the "rigid partitions" method, developed in works by Crapo, Lindemann, Lew, Nevo, Peled and Raz, and by the present authors.

We study graphs that are simultaneously regular with respect to the ordinary vertex degree and regular with respect to the triangle degree, that is, the number of triangles containing a given vertex. We call such graphs regular $K_3$-regular. We investigate the (non-)existence of regular $K_3$-regular graphs with prescribed parameters $(r_2,r_3)$, where $r_2$ is the vertex degree and $r_3$ is the triangle degree. General bounds relating vertex and edge triangle degrees are derived, and non-existence results are established for broad ranges of these parameters. Furthermore, it is shown that the class of regular $K_3$-regular graphs is closed under the Cartesian product, and decomposability properties are analysed. Special attention is paid to Turán graphs, for which we establish uniqueness results for certain parameters. The paper concludes with a summary of admissible parameters and several open problems.

We show that for any $d\ge 2$ and $Δ>0$ there exists $η>0$ such that the following holds: Let $G$ be an $n$-vertex graph with at least $Ω(n^2)$ edges and let $H$ be an $n$-vertex $d$-degenerate graph with maximum degree at most $Δ$. Then with high probability, $G \cup G(n, n^{-1/d - η})$ contains a copy of $H$. We also prove that the same conclusion extends to $d$-regular graphs with $d\ge 4$ satisfying a certain edge expansion property, with the threshold improved to $n^{-2/d - η}$. Such a property is satisfied by almost all $d$-regular graphs and for even $d$, by the $(d/2)$-th power of a Hamilton cycle.

A finite, connected, $(d+1)$-regular graph $G$ is called Ramanujan if every its eigenvalue $λ$ satisfies either $λ=\pm (d+1)$ or $|λ|\leq 2\sqrt{d}$. The Ramanujan condition corresponds to the optimal rate of decay of correlations for the associated non-backtracking edge subshift. We consider a higher-dimensional generalization of this observation. We introduce the notion of a $d$-regular $\mathbb{Z}^δ$-subshift of finite type, and we define a Ramanujan subshift as a $d$-regular $\mathbb{Z}^δ$-subshift with an optimal rate of decay of correlations. We show that for every odd prime power $q\geq 3$ and dimension $δ<q$, there exists a $q$-regular Ramanujan $\mathbb{Z}^δ$-subshift. The construction is based on the quaternionic lattices over $\mathbb{F}_q(t)$ introduced by Rungtanapirom-Stix-Vdovina (2019). Each of our $q$-regular Ramanujan subshifts gives rise to a family of non-bipartite $(q+1)$-regular Ramanujan graphs. These graphs are very explicit and local in the strong sense: the neighbors of any vertex can be computed by an explicit Mealy automaton associated with the subshift. As a byproduct, for every odd prime power $q$, we get a single lifting rule that can be iterated to produce an infinite family of $(q+1)$-regular Ramanujan graphs.

We prove that whenever $d=d(n)\to\infty$ and $n-d\to\infty$ as $n\to\infty$, then with high probability for any non-trivial initial colouring, the colour refinement algorithm distinguishes all vertices of the random regular graph $\mathcal{G}_{n,d}$. This, in particular, implies that with high probability $\mathcal{G}_{n,d}$ admits a canonical labelling computable in time $O(\min\{n^ω,nd^2+nd\log n\})$, where $ω<2.372$ is the matrix multiplication exponent.

A smooth Hermitian surface $X$ is a projective surface isomorphic to the Fermat surface of degree $q+1$ in positive characteristic. We study incidence relations of the rational curves of degree $q+1$ contained in $X$, and show that such curves produce a family of certain strongly regular graphs and association schemes.