arXiv++ Combinatorics

In this note we show that the singular probability of the adjacency matrix of a random $d$-regular graph on $n$ vertices, where $d$ is fixed and $n \to \infty$, is bounded by $n^{-1/3+o(1)}$. This improves a recent bound by Huang. Our method is based on the study of the singularity problem modulo a prime together with an inverse-type result on the decay of the characteristic function. The latter is related to the inverse Kneser's problem in combinatorics.

Let $Γ$ be a {Conway 99-graph}, that is, a strongly regular graph with parameters $(99,14,1,2)$. In Makhnev and Minakova (On automorphisms of strongly regular graphs with parameters $λ=1$, $μ= 2$, Discrete Math.\ Appl.\ 14 (2) (2004) 201-210), the authors prove that the automorphism group $G$ of $Γ$ must have order dividing $2\cdot 3^3\cdot 7\cdot 11$. They further show that if $|G|$ is divisible by $2$ then $|G|$ must divide $42$. In the present paper, we refine these results by proving that divisibility by $7$ implies $G \cong\mathbb Z_7$. As a consequence, divisibility by $2$ implies $|G|$ divides $6$, \ie $G$ is isomorphic to one of $\mathbb Z_2, \mathbb Z_6, S_3$.

In this brief communication, we investigate the cospectral as well integral chain graphs for Seidel matrix, a key component to study the structural properties of equiangular lines in space. We derive a formula that allows to generate an infinite number of inequivalent chain graphs with identical spectrum. In addition, we obtain a family of Seidel integral chain graphs. This contrapositively answers a problem posed by Greaves ["Equiangular line systems and switching classes containing regular graphs", Linear Algebra Appl., (2018)] ("Does every Seidel matrix with precisely three distinct rational eigenvalues contain a regular graph in its switching class?"). Our observation is- "no".

This paper studies induced paths in strongly regular graphs. We give an elementary proof that a strongly regular graph contains a path $P_4$ as an induced subgraph if and only if it is primitive, i.e. it is neither a complete multipartite graph nor its complement. Also, we investigate when a strongly regular graph has an induced subgraph isomorphic to $P_5$ or its complement, considering several well-known families including Johnson and Kneser graphs, Hamming graphs, Latin square graphs, and block-intersection graphs of Steiner triple systems.

The interest of this paper is a characterization of graphs that induce periodic Grover walks with given periods. In previous studies, Yoshie has shown that the only graphs that induce odd periodic Grover walks are cycle graphs. However, this problem is largely unsolved for even periods. In this study, we show that regular graphs that induce $2l$-periodic Grover walks are also cycle graphs in most cases, where $l$ is an odd integer. The proof uses Galois theory.

Here, we define a subdivision operation for a hypergraph and compute all the eigenvalues of the subdivision of regular and certain non-regular hypergraphs. In non-regular hypergraphs, we investigate the power of regular graphs, various types of hyperflowers, and the squid-like hypergraph. Using our subdivision operation, we also show how to construct non-regular non-isomorphic cospectral hypergraphs.

In 2019, Perondi and Carmelo determined the set multipartite Ramsey number of particular complete bipartite graphs by establishing a relationship between the set multipartite Ramsey number, Hadamard matrices, and strongly regular graphs, which is a breakthrough in Ramsey theory. However, since Hadamard matrices of order not divisible by 4 do not exist, many open problems have arisen. In this paper, we generalize Perondi and Carmelo's results by introducing the $[α]$-Hadamard matrix that we conjecture exists for arbitrary order. Finally, we determine set and size multipartite Ramsey numbers for particular complete bipartite graphs.

We give a randomized algorithm that approximates the number of independent sets in a dense, regular bipartite graph -- in the language of approximate counting, we give an FPRAS for #BIS on the class of dense, regular bipartite graphs. Efficient counting algorithms typically apply to ``high-temperature'' problems on bounded-degree graphs, and our contribution is a notable exception as it applies to dense graphs in a low-temperature setting. Our methods give a counting-focused complement to the long line of work in combinatorial optimization showing that CSPs such as Max-Cut and Unique Games are easy on dense graphs via spectral arguments. The proof exploits the fact that dense, regular graphs exhibit a kind of small-set expansion (i.e. bounded threshold rank), which via subspace enumeration lets us enumerate small cuts efficiently.

We derive attainable upper bounds on the algebraic connectivity (spectral gap) of a regular graph in terms of its diameter and girth. This bound agrees with the well-known Alon-Boppana-Friedman bound for graphs of even diameter, but is an improvement for graphs of odd diameter. For the girth bound, we show that only Moore graphs can attain it, and these only exist for very few possible girths. For diameter bound, we use a combination of stochastic algorithms and exhaustive search to find graphs which attain it. For 3-regular graphs, we find attainable graphs for all diameters $D$ up to and including $D=9$ (the case of $D=10$ is open). These graphs are extremely rare and also have high girth; for example we found exactly 45 distinct cubic graphs on 44 vertices attaining the upper bound when $D=7$; all have girth 8 (out of a total of about $10^{20}$ cubic graphs on 44 vertices, including 266362 having girth 8). We also exhibit families of $d$-regular graphs attaining upper bounds with $D=3$ and $4$, and with $g=6.$ Several conjectures are proposed.

Let $C_{k}$ (resp. $P_{k}$) denote the cycle (resp. path) of length $k$. In this paper, we examine the necessary and sufficient conditions for the existence of a $(8; p, q)$-decomposition of tensor product and wreath product of complete graphs.

Suppose that the vertices of a regular graph are coloured red and blue with an equal number of each (we call this a balanced colouring). Since the graph is undirected, the number of edges from a red vertex to a blue vertex is clearly the same as the number of edges from a blue vertex to a red vertex. However, if instead of edges we count walks of length 2 which do not stay within their starting colour class, then this symmetry disappears. Our aim in this paper is to investigate how extreme this asymmetry can be. Our main question is: Given a $d$-regular graph, for which pairs $(x,y)\in[0,1]^2$ is there a balanced colouring for which the probability that a random walk starting from a red vertex stays within the red class for at least $2$ steps is $x$, and the corresponding probability for blue is $y$? Our most general result is that for any $d$-regular graph, these pairs lie within the convex hull of the $2d$ points $\left\{\left(\frac{l}{d},\frac{l^2}{d^2}\right),\left(\frac{l^2}{d^2},\frac{l}{d}\right) :0\leq l\leq d\right\}$. Our main focus is the torus for which we prove both sharper bounds and existence results via constructions. In particular, for the $2$-dimensional torus, we show that asymptotically, the region in which these pairs of probabilities can lie is exactly the convex hull of: \[ \left\{\left(0,0\right),\left(\frac{1}{2},\frac{1}{4}\right),\left(\frac{3}{4},\frac{9}{16}\right),\left(\frac{1}{4},\frac{1}{2}\right),\left(\frac{9}{16},\frac{3}{4}\right),\left(1,1\right)\right\} \]

There are a number of well-known problems and conjectures about partitioning graphs to satisfy local constraints. For example, the majority colouring conjecture of Kreutzer, Oum, Seymour, van der Zypen and Wood states that every directed graph has a 3-colouring such that for every vertex $v$, at most half of the out-neighbours of $v$ have the same colour as $v$. As another example, the internal partition conjecture, due to DeVos and to Ban and Linial, states that for every $d$, all but finitely many $d$-regular graphs have a partition into two nonempty parts such that for every vertex $v$, at least half of the neighbours of $v$ lie in the same part as $v$. We prove several results in this spirit: in particular, two of our results are that the majority colouring conjecture holds for Erdős-Rényi random directed graphs (of any density), and that the internal partition conjecture holds if we permit a tiny number of "exceptional vertices". Our proofs involve a variety of techniques, including several different methods to analyse random recolouring processes. One highlight is a "personality-changing" scheme: we "forget" certain information based on the state of a Markov chain, giving us more independence to work with.

We introduce a new infinite family of regular graphs admitting nested solutions in the edge-isoperimetric problem for all their Cartesian powers. The obtained results include as special cases most of previously known results in this area.

The $g$-$extra$ $connectivity$ $κ_{g}(G)$ of a connected graph $G$ is the minimum cardinality of a set of vertices, if it exists, whose deletion makes $G$ disconnected and leaves each remaining component with more than $g$ vertices, where $g$ is a non-negative integer. The $strong$ $product$ $G_1 \boxtimes G_2$ of graphs $G_1$ and $G_2$ is the graph with vertex set $V(G_1 \boxtimes G_2)=V(G_1)\times V(G_2)$, where two distinct vertices $(x_{1}, y_{1}),(x_{2}, y_{2}) \in V(G_1)\times V(G_2)$ are adjacent in $G_1 \boxtimes G_2$ if and only if $x_{1}=x_{2}$ and $y_{1} y_{2} \in E(G_2)$ or $y_{1}=y_{2}$ and $x_{1} x_{2} \in E(G_1)$ or $x_{1} x_{2} \in E(G_1)$ and $y_{1} y_{2} \in E(G_2)$. In this paper, we give the $g\ (\leq 3)$-$extra$ $connectivity$ of $G_1\boxtimes G_2$, where $G_i$ is a maximally connected $k_i\ (\geq 2)$-regular graph for $i=1,2$. As a byproduct, we get $g\ (\leq 3)$-$extra$ conditional fault-diagnosability of $G_1\boxtimes G_2$ under $PMC$ model.

For every $2$-regular graph $F$ of order $v$, the Oberwolfach problem $OP(F)$ asks whether there is a $2$-factorization of $K_v$ ($v$ odd) or $K_v$ minus a $1$-factor ($v$ even) into copies of $F$. Posed by Ringel in 1967 and extensively studied ever since, this problem is still open. In this paper we construct solutions to $OP(F)$ whenever $F$ contains a cycle of length greater than an explicit lower bound. Our constructions combine the amalgamation-detachment technique with methods aimed at building $2$-factorizations with an automorphism group having a nearly-regular action on the vertex-set.

Došlić et al. defined the Mostar index of a graph $G$ as $Mo(G)=\sum\limits_{uv\in E(G)}|n_G(u,v)-n_G(v,u)|$, where, for an edge $uv$ of $G$, the term $n_G(u,v)$ denotes the number of vertices of $G$ that have a smaller distance in $G$ to $u$ than to $v$. For a graph $G$ of order $n$ and maximum degree at most $Δ$, we show $Mo(G)\leq \fracΔ{2}n^2-(1-o(1))c_Δn\log(\log(n)),$ where $c_Δ>0$ only depends on $Δ$ and the $o(1)$ term only depends on $n$. Furthermore, for integers $n_0$ and $Δ$ at least $3$, we show the existence of a $Δ$-regular graph of order $n$ at least $n_0$ with $Mo(G)\geq \fracΔ{2}n^2-c'_Δn\log(n),$ where $c'_Δ>0$ only depends on $Δ$.

In 2022, the second author found a prolific construction of strongly regular graphs, which is based on joining a coclique and a divisible design graph with certain parameters. The construction produces strongly regular graphs with the same parameters as the complement of the symplectic graph $\mathsf{Sp}(2d,q)$. In this paper, we determine the parameters of strongly regular graphs which admit a decomposition into a divisible design graph and a coclique attaining the Hoffman bound. In particular, it is shown that when the least eigenvalue of such a strongly regular graph is a prime power, its parameters coincide with those of the complement of $\mathsf{Sp}(2d,q)$. Furthermore, a generalization of the construction is discussed.

Analyzing the spectral behavior of random matrices with dependency among entries is a challenging problem. The adjacency matrix of the random $d$-regular graph is a prominent example that has attracted immense interest. A crucial spectral observable is the extremal eigenvalue, which reveals useful geometric properties of the graph. According to the Alon's conjecture, which was verified by Friedman, the (nontrivial) extremal eigenvalue of the random $d$-regular graph is approximately $2\sqrt{d-1}$. In the present paper, we analyze the extremal spectrum of the random $d$-regular graph (with $d\ge 3$ fixed) equipped with random edge-weights, and precisely describe its phase transition behavior with respect to the tail of edge-weights. In addition, we establish that the extremal eigenvector is always localized, showing a sharp contrast to the unweighted case where all eigenvectors are delocalized. Our method is robust and inspired by a sparsification technique developed in the context of Erdős-Rényi graphs (Ganguly and Nam, '22), which can also be applied to analyze the spectrum of general random matrices whose entries are dependent.

We show that for every $n\in\mathbb N$ and $\log n\le d\le n$, if a graph $G$ has $N=Θ(dn)$ vertices and minimum degree $(1+o(1))\frac{N}{2}$, then it contains a spanning subdivision of every $n$-vertex $d$-regular graph.

The quantum approximate optimization algorithm (QAOA) has the potential to approximately solve complex combinatorial optimization problems in polynomial time. However, current noisy quantum devices cannot solve large problems due to hardware constraints. In this work, we develop an algorithm that decomposes the QAOA input problem graph into a smaller problem and solves MaxCut using QAOA on the reduced graph. The algorithm requires a subroutine that can be classical or quantum--in this work, we implement the algorithm twice on each graph. One implementation uses the classical solver Gurobi in the subroutine and the other uses QAOA. We solve these reduced problems with QAOA. On average, the reduced problems require only approximately 1/10 of the number of vertices than the original MaxCut instances. Furthermore, the average approximation ratio of the original MaxCut problems is 0.75, while the approximation ratios of the decomposed graphs are on average of 0.96 for both Gurobi and QAOA. With this decomposition, we are able to measure optimal solutions for ten 100-vertex graphs by running single-layer QAOA circuits on the Quantinuum trapped-ion quantum computer H1-1, sampling each circuit only 500 times. This approach is best suited for sparse, particularly $k$-regular graphs, as $k$-regular graphs on $n$ vertices can be decomposed into a graph with at most $\frac{nk}{k+1}$ vertices in polynomial time. Further reductions can be obtained with a potential trade-off in computational time. While this paper applies the decomposition method to the MaxCut problem, it can be applied to more general classes of combinatorial optimization problems.