arXiv++ Combinatorics

Two-weight linear codes are linear codes in which any nonzero codeword can have only two possible distinct weights. Those in the Hamming metric have proven to be very interesting for their connections with authentication codes, association schemes, strongly regular graphs, and secret sharing schemes. In this paper, we characterize two-weight codes in the rank metric, answering a recent question posed by Pratihar and Randrianarisoa.

The unitary Cayley graph has vertex set $\{0,1, \hdots ,n-1\}$, where two vertices $u$ and $v$ are adjacent if $\gcd(u - v, n) = 1$. In this paper, we study periodicity and perfect state transfer of Grover walks on the unitary Cayley graphs. We characterize all periodic unitary Cayley graphs. We prove that periodicity is a necessary condition for occurrence of perfect state transfer on a vertex-transitive graph. Also, we provide a necessary and sufficient condition for the occurrence of perfect state transfer on circulant graphs. Using these, we prove that only four graphs in the class of unitary Cayley graphs exhibit perfect state transfer. Also, we provide a spectral characterization of the periodicity of Grover walks on integral regular graphs.

The eccentricity matrix $ε(G)$, of a connected graph $G$ is obtained by retaining the maximum distance from each row and column of the distance matrix of $G$ and the other entries are assigned with 0. In this paper, we discuss the eccentricity spectrum of subdivision vertex (edge) join of regular graphs. Also, we obtain new families of graphs having irreducible or reducible eccentricity matrix. Furthermore, we use these results to construct infinitely many $ε-$cospectral graph pairs as well as infinitely many pairs and triplets of $ε-$cospectral $ε-$equienergetic graphs. Moreover, we present some new family of $ε-$integral graphs.

Let $G$ be a simple graph with vertex set $V(G) = \{v_1, v_2,\ldots, v_n\}$. The elliptic Sombor matrix of $G$, denoted by $A_{ESO}(G)$, is defined as the $n\times n$ matrix whose $(i,j)$-entry is $(d_i+d_j)\sqrt{d_i^2+d_j^2}$ if $v_i$ and $v_j$ are adjacent and $0$ for another cases. Let the eigenvalues of the elliptic Sombor matrix $A_{ESO}(G)$ be $ρ_1\geq ρ_2\geq \ldots\geq ρ_n$ which are the roots of the elliptic Sombor characteristic polynomial $\prod_{i=1}^n (ρ-ρ_i)$. The elliptic Sombor energy ${E_{ESO}}$ of $G$ is the sum of absolute values of the eigenvalues of $A_{ESO}(G)$. In this paper, we compute the elliptic Sombor characteristic polynomial and the elliptic Sombor energy for some graph classes. We compute the elliptic Sombor energy of cubic graphs of order $10$ and as a consequence, we see that two $k$-regular graphs of the same order may have different elliptic Sombor energy.

We introduce a new conjecture on the computational hardness of detecting random lifts of graphs: we claim that there is no polynomial-time algorithm that can distinguish between a large random $d$-regular graph and a large random lift of a Ramanujan $d$-regular base graph (provided that the lift is corrupted by a small amount of extra noise), and likewise for bipartite random graphs and lifts of bipartite Ramanujan graphs. We give evidence for this conjecture by proving lower bounds against the local statistics hierarchy of hypothesis testing semidefinite programs. We then explore the consequences of this conjecture for the hardness of certifying bounds on numerous functions of random regular graphs, expanding on a direction initiated by Bandeira, Banks, Kunisky, Moore, and Wein (2021). Conditional on this conjecture, we show that no polynomial-time algorithm can certify tight bounds on the maximum cut of random 3- or 4-regular graphs, the maximum independent set of random 3- or 4-regular graphs, or the chromatic number of random 7-regular graphs. We show similar gaps asymptotically for large degree for the maximum independent set and for any degree for the minimum dominating set, finding that naive spectral and combinatorial bounds are optimal among all polynomial-time certificates. Likewise, for small-set vertex and edge expansion in the limit of very small sets, we show that the spectral bounds of Kahale (1995) are optimal among all polynomial-time certificates.

A divisible design graph is a graph whose adjacency matrix is an incidence matrix of a (group) divisible design. Divisible design graphs were introduced in 2011 as a generalization of $(v,k,λ)$-graphs. Here we describe four new infinite families that can be obtained from the symplectic strongly regular graph $Sp(2e,q)$ ($q$ odd, $e\geq 2$) by modifying the set of edges. To achieve this we need two kinds of spreads in $PG(2e-1,q)$ with respect to the associated symplectic form: the symplectic spread consisting of totally isotropic subspaces and, when $e=2$, a special spread consisting of lines which are not totally isotropic. Existence of symplectic spreads is known, but the construction of a special spread for every odd prime power $q$ is a major result of this paper. We have included relevant back ground from finite geometry, and when $q=3,5$ and $7$ we worked out all possible special spreads.

Let $G $ be a graph on $p$ vertices with adjacency matrix $A(G)$ and degree matrix $D(G)$. For each $α\in [0, 1]$, the $A_α$-matrix is defined as $A_α(G) = αD(G) + (1 - α)A(G)$. In this paper, we compute the $A_α$-characteristic polynomial, $A_α$-spectra and $A_α$-energy of some non-regular graphs obtained from unary operations on graphs like middle graph, central graph, m-splitting, and closed splitting graph. Also, we determine the $A_α$-energy of regular graphs like m-shadow, closed shadow, extended bipartite double graph, iterated line graph and m-duplicate graph. Furthermore, we identified some graphs that are $A_α$-equieneregetic and $A_α$-borderenergetic.

In this paper, we prove the existence of directed strongly regular graphs with parameters $(63,11,8,1,2)$. We construct a pair of nonisomorphic dsrg(63,11,8,1,2), where one is obtained from the other by reversing all arrows. Both directed strongly regular graphs have $L_2(8):3$ as the full automorphism group.

Edge-girth-regular graphs (abbreviated as \emph{egr} graphs) are regular graphs in which every edge is contained in the same number of shortest cycles. We prove that there is no $3$-regular \emph{egr} graph with girth $7$ such that every edge is on exactly $6$ shortest cycles, and there is no $3$-regular \emph{egr} graph with girth $8$ such that every edge is on exactly $14$ shortest cycles. This was conjectured by Goedgebeur and Jooken. A few other unresolved cases are settled as well.

The packing of three copies of a graph $G$ is the union of three edge-disjoint copies (with the same vertex set) of $G$. In this paper, we completely solve the problem of the uniqueness of packing of three copies of 2-regular graphs. In particular, we show that $C_3,C_4,C_5,C_6$ and $2C_3$ have no packing of three copies, $C_7,C_8,C_3 \cup C_4, C_4 \cup C_4, C_3 \cup C_5$ and $3C_3$ have unique packing, and any other collection of cycles has at least two distinct packings.

The $Δ$-edge stability number ${\rm es}_Δ(G)$ of a graph $G$ is the minimum number of edges of $G$ whose removal results in a subgraph $H$ with $Δ(H) = Δ(G)-1$. Sets whose removal results in a subgraph with smaller maximum degree are called mitigating sets. It is proved that there always exists a mitigating set which induces a disjoint union of paths of order $2$ or $3$. Minimum mitigating sets which induce matchings are characterized. It is proved that to obtain an upper bound of the form ${\rm es}_Δ(G) \leq c |V(G)|$ for an arbitrary graph $G$ of given maximum degree $Δ$, where $c$ is a given constant, it suffices to prove the bound for $Δ$-regular graphs. Sharp upper bounds of this form are derived for regular graphs. It is proved that if $Δ(G) \geq\frac{|V(G)|-2}{3}$ or the induced subgraph on maximum degree vertices has a $Δ(G)$-edge coloring, then ${\rm es}_Δ(G) \le \lceil |V(G)|/2\rceil$.

We continue the study of balanceable graphs, defined by Caro, Hansberg, and Montejano in 2021 as graphs $G$ such that any $2$-coloring of the edges of a sufficiently large complete graph containing sufficiently many edges of each color contains a balanced copy of $G$. While the problem of recognizing balanceable graphs was conjectured to be NP-complete by Dailly, Hansberg, and Ventura in 2021, balanceable graphs admit an elegant combinatorial characterization: a graph is balanceable if and only there exist two vertex subsets, one containing half of all the graph's edges and another one such that the corresponding cut contains half of all the graph's edges. We consider a special case of this property, namely when one of the two sets is a vertex cover, and call the corresponding graphs simply balanceable. We prove a number of results on balanceable and simply balanceable regular graphs. First, we characterize simply balanceable regular graphs via a condition involving the independence number of the graph. Second, we address a question of Dailly, Hansberg, and Ventura from 2021 and show that every cubic graph is balanceable. Third, using Brooks' theorem, we show that every $4$-regular graph with order divisible by $4$ is balanceable. Finally, we show that it is NP-complete to determine if a $9$-regular graph is simply balanceable.

In a recent article J. Phys. Compl. 4 (2023) 035005, Kawamoto evoked statistical physics methods for the problem of counting graphs with a prescribed degree sequence. This treatment involved truncating a particular Taylor expansion at the first two terms, which resulted in the Bender-Canfield estimate for the graph counts. This is surprisingly successful since the Bender-Canfield formula is asymptotically accurate for large graphs, while the series truncation does not a priori suggest a similar level of accuracy. We upgrade the above treatment in three directions. First, we derive an exact formula for counting d-regular graphs in terms of a d-dimensional Gaussian integral. Second, we show how to convert this formula into an integral representation for the generating function of d-regular graph counts. Third, we perform explicit saddle point analysis for large graph sizes and identify the saddle point configurations responsible for graph count estimates. In these saddle point configurations, only two of the integration variables condense to significant values, while the remaining ones approach zero for large graphs. This provides an underlying picture that justifies Kawamoto's earlier findings.

This paper concerns $(r,c)$-constant graphs, which are $r$-regular graphs in which the subgraph induced by the open neighbourhood of every vertex has precisely $c$ edges. The family of $(r,c)$-graphs contains vertex-transitive graphs (and in particular Cayley graphs), graphs with constant link (sometimes called locally isomorphic graphs), $(r,b)$-regular graphs, strongly regular graphs, and much more. This family was recently introduced in [arXiv:2312.08777] serving as important tool in constructing flip graphs [arXiv:2312.08777, arXiv:2401.02315]. In this paper we shall mainly deal with the following: i. Existence and non-existence of $(r, c)$-planar graphs. We completely determine the cases of existence and non-existence of such graphs and supply the smallest order in the case when they exist. ii. We consider the existence of $(r, c)$-circulant graphs. We prove that for $c \equiv 2 \ (\mathrm{mod} \ 3)$ no $(r,c)$-circulant graph exists and that for $c \equiv 0, 1 \ (\mathrm{mod} \ 3)$, $c > 0$ and $r \geq 6 + \sqrt{\frac{8c - 5}{3}}$ there exists $(r,c)$-circulant graphs. Moreover for $c = 0$ and $r \geq 1$, $(r, 0)$-circulants exist. iii. We consider the existence and non-existence of small $(r,c)$-constant graphs, supplying a complete table of the smallest order of graphs we found for $0 \leq c \leq \binom{r}{2}$ and $r \leq 6$. We shall also determine all the cases in this range for which $(r,c)$-constant graphs don't exist. We establish a public database of $(r,c)$-constant graphs for varying $r$, $c$ and order.

It is proved that 1) the indicator function of some onefold or multifold independent set in a regular graph is a perfect coloring if and only if the set attain the Delsarte--Hoffman bound; 2) each transversal in a uniform regular hypergraph is an independent set attaining the Delsarte--Hoffman bound in the vertex adjacency multigraph of this hypergraph; 3) combinatorial designs with parameters $t$-$(v,k,λ)$ and similar $q$-designs, difference sets, Hadamard matrices, and bent functions are equivalent to perfect colorings of special graphs and multigraphs, in particular, it is true in the cases of the Johnson graphs $J(n,k)$ for $(k-1)$-$(v,k,λ)$ designs and the Grassmann graphs $J_2(n,2)$ for bent functions. Keywords: perfect coloring, equitable partition, transversal of hypergraph, combinatorial design, $q$-design, difference set, bent function, Johnson graph, Grassmann graph, Delsarte--Hoffman bound

Let $G_n=\mathbb{Z}_n\times \mathbb{Z}_n$ for $n\geq 4$ and $S=\{(i,0),(0,i),(i,i): 1\leq i \leq n-1\}\subset G_n$. Define $Γ(n)$ to be the Cayley graph of $G_n$ with respect to the connecting set $S$. It is known that $Γ(n)$ is a strongly regular graph with the parameters $(n^2,3n-3,n,6)$ \cite{19}. Hence $Γ(n)$ is a distance regular graph. It is known that every distance transitive graph is distance regular, but the converse is not true. In this paper, we study some algebraic properties of the graph $Γ(n)$. Then by determining the automorphism group of this family of graphs, we show that the graphs under study are not distance transitive.

A locally irregular graph is a graph whose adjacent vertices have distinct degrees. It was conjectured that every connected graph is edge decomposable to $3$ locally irregular subgraphs, unless it belongs to a certain family of exceptions, including graphs of small maximum degrees, which are not decomposable to any number of such subgraphs. Recently Sedlar and Škrekovski exhibited a counterexample to the conjecture, which necessitates a decomposition to (at least) $4$ locally irregular subgraphs. We prove that every $d$-regular graph with $d$ large enough, i.e. $d\geq 54000$, is decomposable to $4$ locally irregular subgraphs. Our proof relies on a mixture of a numerically optimized application of the probabilistic method and certain deterministic results on degree constrained subgraphs due to Addario-Berry, Dalal, McDiarmid, Reed, and Thomason, and to Alon and Wei, introduced in the context of related problems concerning irregular subgraphs.

We prove that if $p\ge n^{-\frac{1}{3}+β}$ for some $β> 0$, then asymptotically almost surely the binomial random graph $G(n,p)$ has a $K_3$-packing containing all but at most $n + O(1)$ edges. Similarly, we prove that if $d \ge n^{\frac{2}{3}+β}$ for some $β> 0$ and $d$ is even, then asymptotically almost surely the random $d$-regular graph $G_{n,d}$ has a triangle decomposition provided $3 \mid d \cdot n$. We also show that $G(n,p)$ admits a fractional $K_3$-decomposition for such a value of $p$. We prove analogous versions for a $K_q$-packing of $G(n,p)$ with $p\ge n^{-\frac{1}{q+0.5}+β}$ and leave of $(q-2)n+O(1)$ edges, for $K_q$-decompositions of $G_{n,d}$ with $(q-1)~|~d$ and $d\ge n^{1-\frac{1}{q+0.5}+β}$ provided $q\mid d\cdot n$, and for fractional $K_q$-decompositions.

We generalize Farhi et al.'s 0.6924-approximation result technique of the Max-Cut Quantum Approximate Optimization Algorithm (QAOA) on 3-regular graphs to obtain provable lower bounds on the approximation ratio for warm-started QAOA. Given an initialization angle $θ$, we consider warm-starts where the initial state is a product state where each qubit position is angle $θ$ away from either the north or south pole of the Bloch sphere; of the two possible qubit positions the position of each qubit is decided by some classically obtained cut encoded as a bitstring $b$. We illustrate through plots how the properties of $b$ and the initialization angle $θ$ influence the bound on the approximation ratios of warm-started QAOA. We consider various classical algorithms (and the cuts they produce which we use to generate the warm-start). Our results strongly suggest that there does not exist any choice of initialization angle that yields a (worst-case) approximation ratio that simultaneously beats standard QAOA and the classical algorithm used to create the warm-start. Additionally, we show that at $θ=60^\circ$, warm-started QAOA is able to (effectively) recover the cut used to generate the warm-start, thus suggesting that in practice, this value could be a promising starting angle to explore alternate solutions in a heuristic fashion.

Given a graph $G$ and $k \in \mathbb{N}$, we introduce the following game played in $G$. Each round, Alice colours an uncoloured vertex of $G$ red, and then Bob colours one blue (if any remain). Once every vertex is coloured, Alice wins if there is a connected red component of order at least $k$, and otherwise, Bob wins. This is a Maker-Breaker version of the Largest Connected Subgraph game introduced in [Bensmail et al. The Largest Connected Subgraph Game. {\it Algorithmica}, 84(9):2533--2555, 2022]. We want to compute $c_g(G)$, which is the maximum $k$ such that Alice wins in $G$, regardless of Bob's strategy. Given a graph $G$ and $k\in \mathbb{N}$, we prove that deciding whether $c_g(G)\geq k$ is PSPACE-complete, even if $G$ is a bipartite, split, or planar graph. To better understand the Largest Connected Subgraph game, we then focus on {\it A-perfect} graphs, which are the graphs $G$ for which $c_g(G)=\lceil|V(G)|/2\rceil$, {\it i.e.}, those in which Alice can ensure that the red subgraph is connected. We give sufficient conditions, in terms of the minimum and maximum degrees or the number of edges, for a graph to be A-perfect. Also, we show that, for any $d \geq 4$, there are arbitrarily large A-perfect $d$-regular graphs, but no cubic graph with order at least $18$ is A-perfect. Lastly, we show that $c_g(G)$ is computable in linear time when $G$ is a $P_4$-sparse graph (a superclass of cographs).