arXiv++ Combinatorics

Browse math.CO papers from arXiv

regular graph

1761 papers tagged with this keyword
2026-02-02
Spectral radius and parity $[a,b]$-factors in graphs
Published • View Publication • BIB
Let $a$, $b$, and $n$ be three integers such that $1\leq a \leq b < n$, $a \equiv b$ (mod $2$), and $na$ is even. A parity $[a,b]$-factor of $G$ is a spanning subgraph $H$ such that for each vertex $v \in V(G)$, $a \leq d_H(v) \leq b$ and $d_H(v) \equiv a \equiv b$ (mod $2$). Recently, O [J. Graph Theory 100 (2022) 458-469] proved eigenvalue conditions for a regular graph to have a parity $[a,b]$-factor. In this paper, we prove a sharp lower bound on the spectral radius for an $n$-vertex graph $G$ to have a parity $[a,b]$-factor as follows: If $G$ is an $n$-vertex connected graph with $δ(G)\geq a$ and $ρ(G)\geqρ(G_{n}^{a})$, then $G$ contains a parity $[a,b]$-factor unless $G \cong G_{n}^{a}$, where $2\leq a<b$ and $G_{n}^{a}$ is the graph obtained from $K_{a-1}\vee(K_{n-2a-1}\cup(a+1)K_1)$ by adding a new vertex and adding all possible edges between the added vertex and each vertex in $(a+1)K_1$.
2026-02-01
Lecture Notes on Edge Universality for Random Regular Graphs
Published • View Publication • BIB
The purpose of this note is to explain the structure, general strategy, and main ideas of the proof in the work of Huang, McKenzie, and Yau (2024) on the Ramanujan property and edge universality of random regular graphs. The core of the argument is the derivation of self-consistent equations and a microscopic version of the loop equations for random $d$-regular graphs. We first recall the local law for random $d$-regular graphs, and then illustrate the main ideas behind the derivation of the self-consistent equations and the first loop equation.
2026-01-29
Symmetries of regular $q$-graphs
Given a finite vector space $V=\mathbb{F}_q^n$, the $q$-analogue of a graph, called a $q$-graph, is a pair $Γ=(\mathcal{V},\mathcal{E})$, where $\mathcal{V}$ is the set of $1$-dimensional subspaces of $V$ and $\mathcal{E}$ is a subset of the $2$-dimensional subspaces of $V$. Elements of $\mathcal{V}$ and $\mathcal{E}$ are called vertices and edges, respectively. If the edges through a vertex $X$ consist of all $2$-spaces of a $(k+1)$-dimensional space which contain $X$, regardless of the choice of vertex, then $Γ$ is $k$-regular. Moreover, $Γ$ is flag-transitive if there is a subgroup of $Γ{\rm L}_n(q)$ preserving $\mathcal{E}$ and acting transitively on the set of all incident vertex-edge pairs; and symmetric if there is a subgroup of $Γ{\rm L}_n(q)$ preserving $\mathcal{E}$ and acting transitively on the set of all ordered pairs of adjacent vertices. This paper classifies all $k$-regular $q$-graphs that are either flag-transitive or symmetric. The $q$-graphs in the classification are constructed from familiar objects in finite geometry, including spreads, symplectic polar spaces, and generalised hexagons. The classification depends essentially on the classification of transitive linear groups, and thus ultimately on the classification of finite simple groups.
2026-01-28
Maximizing subgraph counts in regular graphs
Given a graph $H$, we investigate the $d$-regular graphs $G$ with the highest $H$-density. We reframe the problem as a continuous optimization problem on the eigenvalues of $G$ by relating injective homomorphism numbers from $H$ and homomorphism numbers from quotient graphs of $H$. For almost all $H$, this relation has non-spectral terms, which require bounding by spectral terms in a way that is sharp at the optimal graph. For bipartite $H$ and $d$ large enough, we show $G$ consists of disjoint copies of $K_{d,d}$. For non-bipartite $H$ and $d$ sufficiently large, $G$ is a collection of disjoint $K_{d+1}$ graphs. For $H=C_5$ and $d=3$, disjoint Petersen graphs emerge.
Asymptotic number of edge-colored regular graphs
We prove a formula for the asymptotic number of edge-colored regular graphs with a prescribed set of allowed vertex-incidence structures. The formula depends on specific critical points of a polynomial encoding the vertex-incidences. As an application, we compute the expected number of proper $c$-edge-colorings of a large random $k$-regular graph.
2026-01-25
On asymptotically tight bounds for the open conflict-free chromatic indexes of nearly regular graphs
An edge colouring $c$ of a graph $G$ is called conflic-free if every non-isolated edge of $G$ has a uniquely coloured neighbour in its open edge neighbourhood. The least number of colours admitting such a colouring is denoted by $χ'_{\rm OCF}(G)$, or $χ'_{\rm pOCF}(G)$ if we additionally require $c$ to be proper. Our main result implies in particular that $χ'_{\rm OCF}(G) \le \log_2 Δ+ O(\ln\lnΔ)$ for nearly regular graphs $G$ with maximum degree $Δ$, which is asymptotically optimal, as witnessed by the complete graphs. For proper colourings, we moreover show that $χ'_{\rm pOCF}(G) \le Δ+ O(\ln Δ)$ in the same regime. These results improve existing bounds stemming from related colouring models and transfer directly to random graphs' setting. The proofs combine decomposition techniques with probabilistic arguments and structural properties of edge neighbourhoods.
2026-01-18
Extending graph total colorings to cell complexes
Let $2\le k\in\mathbb{Z}$. A total coloring of a simple connected regular graph via color set $ \{0,1,\ldots, k\}$ is said to be {\it efficient} if each color yields an efficient dominating set, where the efficient domination condition applies to the restriction of each color class to the vertex set. In this work, focus is set upon 2-cell complexes whose 1-skeletons, namely their induced 1-cell complexes, are toroidal graphs. Each such 2-cell complex is said to cover its induced 1-skeleton. An efficient total coloring of one such skeleton induces an efficient total cell coloring of its covering 2-cell complex if it assigns a vertex-and-edge $k$-color set to the border skeleton of each of its 2-cells, with the consequently missing color in $\{0,1,\ldots,k\}$ assigned to the 2-cell itself, so that the two adjacent 2-cells along any 1-cell are assigned different colors. Applications are given for plane tilings, cycle products, toroidal triangulations, honeycombs and star-of-David tilings.
2026-01-15 v2
Directed strongly regular graphs and divisible design graphs from Tatra association schemes
In this paper, we construct directed strongly regular graphs and divisible design graphs with new parameters merging some basic relations of so-called Tatra associations schemes. We also study the above association schemes, their fusions and isomorphisms.
2026-01-12
Anticoncentration of random spanning trees in almost regular graphs
The celebrated formula of Otter \emph{[Ann. of Math. (2) 49 (1948), 583--599]} asserts that the complete graph contains exponentially many non-isomorphic spanning trees. In this paper, we show that every connected almost regular graph with sufficiently large degree already contains exponentially many non-isomorphic spanning trees. Indeed, we prove a stronger statement: for every fixed $n$-vertex tree $T$, $$ \Pr\bigl[\mathcal{T} \simeq_{\mathrm{iso}} T\bigr] = e^{-Ω(n)}, $$ where $\mathcal{T}$ is a uniformly random spanning tree of a connected $n$-vertex almost regular graph with sufficiently large degree. To prove this, we introduce a graph-theoretic variant of the classical balls--into--bins model, which may be of independent interest.
2026-01-12
The punctured dodecacode is unique
Published • View Publication • BIB
The punctured dodecacode is an additive $4$-ary code of length $11$ and distance $5$ which is uniformly packed. We show that a code with the same weight distribution is equivalent to it. This code is also shown to be nonlinear. We also establish the nonexistence of analogues of the dodecacode and the punctured dodecacode in Doob graphs. To that end, we classify two-weight codes of weights $6$ and $8$ in Doob and $4$-ary Hamming graphs of diameter $9$ and the corresponding strongly regular graphs. Keywords: dodecacode, additive code, trace Hermitian duality, uniformly packed code, completely regular code, Doob graph, strongly regular graph
2026-01-05
Lee-Yang phenomena in edge-coloured graph counting
We study the accumulation of zeros of a polynomial arising from the enumeration of edge-coloured graphs along certain limit curves. The polynomial is a variant of an edge-chromatic polynomial, which specialises to the partition function of the ferromagnetic Ising model on a random regular graph. We call this accumulation behaviour a Lee-Yang phenomenon in analogy with the Lee-Yang theorem. The limiting loci are semialgebraic and arise from anti-Stokes curves of an exponential integral.
Efficient Enumeration of Cliques in Graphs with Bounded Maximum Degree
Published • View Publication • BIB
In recent years, there has been a surge of interest in extremal problems concerning the enumeration of independent sets or cliques in graphs with specific constraints. For instance, the Kahn-Zhao theorem establishes an upper bound on the number of independent sets in a $d$-regular graph. Building on this, Cutler and Radcliffe extended the result by identifying the graph that maximizes the number of cliques among graphs with bounded order and maximum degree. In this paper, we introduce an innovative approach for counting cliques in graphs with a bounded maximum degree. To demonstrate the effectiveness of the method, we provide a new proof for the above Cutler-Radcliffe theorem and the Kahn-Zhao theorem.
2025-12-29
The Minimum Subgraph Complementation Problem
Subgraph complementation is an operation that toggles all adjacencies inside a selected vertex set. Given a graph \(G\) and a target class \(\mathcal{C}\), the Minimum Subgraph Complementation problem asks for a minimum-size vertex set \(S\) such that complementing the subgraph induced by \(S\) transforms \(G\) into a graph belonging to \(\mathcal{C}\). While the decision version of Subgraph Complementation has been extensively studied and is NP-complete for many graph classes, the algorithmic complexity of its optimization variant has remained largely unexplored. In this paper, we study MSC from an algorithmic perspective. We present polynomial-time algorithms for MSC in several nontrivial settings. Our results include polynomial-time solvability for transforming graphs between bipartite, co-bipartite, and split graphs, as well as for complementing bipartite regular graphs into chordal graphs. We also show that MSC to the class of graphs of fixed degeneracy can be solved in polynomial time when the input graph is a forest. Moreover, we investigate MSC with respect to connectivity and prove that MSC to the class of disconnected graphs and to the class of 2-connected graphs can be solved in polynomial time for arbitrary inputs.
2025-12-23
Clique factors in random samplings of regular graphs
We show that for any integer $r\ge 2$, there exists a constant $c>0$ such that for every sufficiently large integer $n$, every $((r-1)n+1)$-regular graph $G$ on $rn$ vertices has at least $c2^{rn}$ subsets $S\subseteq V(G)$ such that $G[S]$ contains a $K_r$-factor. This confirms a conjecture of Draganić, Keevash and Müyesser for large $n$ [Cyclic subsets in regular Dirac graphs. Int. Math. Res. Not., 2025(14): 1-16, 2025].
Quadratic Embedding Constants of Corona Graphs
Published • View Publication • BIB
The quadratic embedding constant (QEC) of a connected graph is defined to be the maximum of the quadratic function associated with its distance matrix on a certain unit sphere of codimension two. In this paper we derive a formula for the QEC of a corona graph $G\odot H$. It is shown that $\mathrm{QEC}(G\odot H)=ψ_{H*}^{-1}(\mathrm{QEC}(G))$ holds under some spectral assumptions on $H$, where $ψ_{H*}^{-1}$ is the inverse function of the most right branch of the analytic function $ψ_H$ defined by means of the main eigenvalues of the adjacency matrix of $H$. Moreover, if $H$ is a regular graph of which the adjacency matrix has the smallest eigenvalue $-2$, then the formula is written down explicitly.
2025-12-18
Some results on Hamming graphs and an extended Hamming graphs
In this paper we first obtain the spectrum of the folded hypercube in a new approach. Then we introduce a new family of graphs called the extended Hamming graph, denoted by $EH(n,2^n)$, which is constructed from the well-known Hamming graph $H(n,2^n)$. The graph $EH(n,2^n)$ shares the same vertex set as $H(n,2^n)$ but includes additional edges, called complementary edges, connecting each $n$-tuple vertex $u$ to its complement $u^c$, where $u^c$ is defined such that the sum of each two corresponding coordinates of $u$ and $u^c$ equals $2^n-1$. We investigate several algebraic and structural properties of this new family of graphs. Specifically, we show that the diameter of $EH(n,2^n)$ is $n$. We prove that $EH(n,2^n)$ is a Cayley graph, but we demonstrate that it is not a distance regular graph. Finally, we determine the spectrum of $EH(n,2^n)$, showing that its eigenvalues are $λ_i\pm 1$, where $λ_i$ are the eigenvalues of the underlying Hamming graph $H(n,2^n)$. The multiplicity of each eigenvalue is explicitly calculated.
Thin divisible designs graphs: an interplay between fixed-point free involutions of $(v,k,λ)$-graphs and symmetric weighing matrices
In this paper, we illustrate important aspects of the interplay between weighing matrices, $(v,k,λ)$-graphs with fixed-point free involutions, and signed graphs with an orthogonal adjacency matrix, which arises from thin divisible design graphs. In particular, we present two new recursive constructions of regular symmetric Hadamard matrices with constant diagonal (equivalently, two new recursive constructions of strongly regular graphs) and we find a fixed-point free involution in the symplectic graph $Sp(4,q)$, where $q$ is odd, which leads to orthogonal signings for an infinite family of antipodal distance-regular graphs of diameter 3.
2025-12-16
A Formal Analogue of Euler's Formula for Infinite Planar Regular Graphs
We present a formal version of the numbers of vertices, edges, and faces for infinite planar regular triangular meshes of degree r>6. These numbers are defined via Euler summation of sequences obtained from iterated expansions of a convex combinatorial disk. We prove that these formal quantities satisfy the classical Euler formula, providing a combinatorial analogue of Euler's formula for infinite planar graphs.
2025-12-16
Edge-coloring 4- and 5-regular projective planar graphs with no Petersen-minor
An $r$-regular graph is an $r$-graph, if every odd set of vertices is connected to its complement by at least $r$ edges. We prove for $r \in \{4,5\}$, every projective planar $r$-graph with no Petersen-minor is $r$-edge colorable.
2025-12-12
The Linear Arboricity Conjecture for Graphs with Large Girth
The Linear Arboricity Conjecture asserts that the linear arboricity of a graph with maximum degree $Δ$ is $\lceil (Δ+1)/2 \rceil$. For a $2k$-regular graph $G$, this implies $la(G) = k+1$. In this note, we utilize a network flow construction to establish upper bounds on $la(G)$ conditioned on the girth $g(G)$. We prove that if $g(G) \ge 2k$, the conjecture holds true, i.e., $la(G) \le k+1$. Furthermore, we demonstrate that for graphs with girth $g(G)$ at least $k$, $k/2$, $k/4$ and $2k/c$ for any integer constant $c$, the linear arboricity $la(G)$ satisfies the upper bounds $k+2$, $k+3$, $k+5$ and $k+\left\lceil \frac{3c+2}{2}\right\rceil$, respectively. Our approach relies on decomposing the graph into $k$ edge-disjoint 2-factors and constructing an auxiliary flow network with lower bound constraints to identify a sparse transversal subgraph that intersects every cycle in the decomposition.