arXiv++ Combinatorics

We study the distribution of the sandpile group of random d-regular graphs. For the directed model, we prove that it follows the Cohen-Lenstra heuristics, that is, the limiting probability that the $p$-Sylow subgroup of the sandpile group is a given $p$-group $P$, is proportional to $|Aut(P)|^{-1}$. For finitely many primes, these events get independent in the limit. Similar results hold for undirected random regular graphs, where for odd primes the limiting distributions are the ones given by Clancy, Leake and Payne. This answers an open question of Frieze and Vu whether the adjacency matrix of a random regular graph is invertible with high probability. Note that for directed graphs this was recently proved by Huang. It also gives an alternate proof of a theorem of Backhausz and Szegedy.

A Deza graph with parameters $(n,k,b,a)$ is a $k$-regular graph with $n$ vertices in which any two vertices have $a$ or $b$ ($a\leq b$) common neighbours. A Deza graph is strictly Deza if it has diameter $2$, and is not strongly regular. In an earlier paper, the two last authors et el. characterized the strictly Deza graphs with $b=k-1$ and $β> 1$, where $β$ is the number of vertices with $b$ common neighbours with a given vertex. Here we deal with the case $β=1$, thus we complete the characterization of strictly Deza graphs with $b=k-1$. It follows that all Deza graphs with $b=k-1$ and $β=1$ can be made from special strongly regular graphs, and we present several examples of such strongly regular graphs. A divisible design graph is a special Deza graph, and a Deza graph with $β=1$ is a divisible design graph. The present characterization reveals an error in a paper on divisible design graphs by the second author et al. We discuss the cause and the consequences of this mistake and give the required errata.

In this study we investigate the spectra of the family of connected multicone graphs. A multicone graph is defined to be the join of a clique and a regular graph. Let $ r $, $ t $ and $ s $ be natural numbers, and let $ K_r $ denote a complete graph on $ r $ vertices. It is proved that connected multicone graphs $ K_r\bigtriangledown sK_t $, a natural generalization of friendship graphs, are determined by their adjacency spectra as well as their Laplacian spectra. Also, we show that the complement of multicone graphs $ K_r\bigtriangledown sK_t $ are determined by their adjacency spectra, where $ s\neq 2 $.

Balancedly splittable Hadamard matrices are introduced and studied. A connection is made to the Hadamard diagonalizable strongly regular graphs, maximal equiangular lines set, and unbiased Hadamard matrices. Several construction methods are presented. As an application, commutative association schemes of 4, 5, and 6 classes are constructed.

We show that if the second eigenvalue $λ$ of a $d$-regular graph $G$ on $n \in 3 \mathbb{Z}$ vertices is at most $\varepsilon d^2/(n \log n)$, for a small constant $\varepsilon > 0$, then $G$ contains a triangle-factor. The bound on $λ$ is at most an $O(\log n)$ factor away from the best possible one: Krivelevich, Sudakov and Szabó, extending a construction of Alon, showed that for every function $d = d(n)$ such that $Ω(n^{2/3}) \le d \le n$ and infinitely many $n \in \mathbb{N}$ there exists a $d$-regular triangle-free graph $G$ with $Θ(n)$ vertices and $λ= Ω(d^2 / n)$.

Characterizations graphs of some classes to induce periodic Grover walks have been studied for recent years. In particular, for the strongly regular graphs, it has been known that there are only three kinds of such graphs. Here, we focus on the periodicity of the Grover walks on distance-regular graphs. The distance-regular graph can be regarded as a kind of generalization of the strongly regular graphs and the typical graph with an equitable partition. In this paper, we find some classes of such distance-regular graphs and obtain some useful necessary conditions to induce periodic Grover walks on the general distance-regular graphs. Also, we apply this necessary condition to give another proof for the strong regular graphs.

Consider the random process in which the edges of a graph $G$ are added one by one in a random order. A classical result states that if $G$ is the complete graph $K_{2n}$ or the complete bipartite graph $K_{n,n}$, then typically a perfect matching appears at the moment at which the last isolated vertex disappears. We extend this result to arbitrary $k$-regular bipartite graphs $G$ on $2n$ vertices for all $k = ω\left( \frac{n}{\log^{1/3} n} \right)$. Surprisingly, this is not the case for smaller values of $k$. Using a construction due to Goel, Kapralov and Khanna, we show that there exist bipartite $k$-regular graphs in which the last isolated vertex disappears long before a perfect matching appears.

We consider a random walk process which prefers to visit previously unvisited edges, on the random $r$-regular graph $G_r$ for any odd $r\geq 3$. We show that this random walk process has asymptotic vertex and edge cover times $\frac{1}{r-2}n\log n$ and $\frac{r}{2(r-2)}n\log n$, respectively, generalizing the result from Cooper, Frieze and Johansson from $r = 3$ to any larger odd $r$. This completes the study of the vertex cover time for fixed $r\geq 3$, with Berenbrink, Cooper and Friedetzky having previously shown that $G_r$ has vertex cover time asymptotic to $\frac{rn}{2}$ when $r\geq 4$ is even.

Settling Kahn's conjecture (2001), we prove the following upper bound on the number $i(G)$ of independent sets in a graph $G$ without isolated vertices: \[ i(G) \le \prod_{uv \in E(G)} i(K_{d_u,d_v})^{1/(d_u d_v)}, \] where $d_u$ is the degree of vertex $u$ in $G$. Equality occurs when $G$ is a disjoint union of complete bipartite graphs. The inequality was previously proved for regular graphs by Kahn and Zhao. We also prove an analogous tight lower bound: \[ i(G) \ge \prod_{v \in V(G)} i(K_{d_v+1})^{1/(d_v + 1)}, \] where equality occurs for $G$ a disjoint union of cliques. More generally, we prove bounds on the weighted versions of these quantities, i.e., the independent set polynomial, or equivalently the partition function of the hard-core model with a given fugacity on a graph.

A graph $Γ$ is $k$-connected-homogeneous ($k$-CH) if $k$ is a positive integer and any isomorphism between connected induced subgraphs of order at most $k$ extends to an automorphism of $Γ$, and connected-homogeneous (CH) if this property holds for all $k$. Locally finite, locally connected graphs often fail to be 4-CH because of a combinatorial obstruction called the unique $x$ property; we prove that this property holds for locally strongly regular graphs under various purely combinatorial assumptions. We then classify the locally finite, locally connected 4-CH graphs. We also classify the locally finite, locally disconnected 4-CH graphs containing 3-cycles and induced 4-cycles, and prove that, with the possible exception of locally disconnected graphs containing 3-cycles but no induced 4-cycles, every finite 7-CH graph is CH.

Let $b(k,θ)$ be the maximum order of a connected bipartite $k$-regular graph whose second largest eigenvalue is at most $θ$. In this paper, we obtain a general upper bound for $b(k,θ)$ for any $0\leq θ< 2\sqrt{k-1}$. Our bound gives the exact value of $b(k,θ)$ whenever there exists a bipartite distance-regular graph of degree $k$, second largest eigenvalue $θ$, diameter $d$ and girth $g$ such that $g\geq 2d-2$. For certain values of $d$, there are infinitely many such graphs of various valencies $k$. However, for $d=11$ or $d\geq 15$, we prove that there are no bipartite distance-regular graphs with $g\geq 2d-2$.

A vertex colouring of some graph is called perfect if each vertex of colour $i$ has exactly $a_{ij}$ neighbours of colour $j$. Being perfect imposes several restrictions on the colour incidence matrix $(a_{ij})$. We list several (old and new) necessary conditions for a matrix to be the colour incidence matrix of a perfect colouring. Moreover we show that a certain combination of these conditions is also sufficient. Using this we determine a list of all colour incidence matrices corresponding to perfect colourings of 3-regular, 4-regular and 5-regular graphs with two, three and four colours, respectively. As an application we determine all perfect colourings of the edge graphs of the Platonic solids with two, three and four colours, respectively.

Neighborhood-prime labeling is a variation of prime labeling. A labeling $f:V(G) \to [|V(G)|]$ is a neighborhood-prime labeling if for each vertex $v\in V(G)$ with degree greater than $1$, the greatest common divisor of the set of labels in the neighborhood of $v$ is $1$. In this paper, we introduce techniques for finding neighborhood-prime labelings based on the Hamiltonicity of the graph, by using conditions on possible degrees of vertices, and by examining a neighborhood graph. In particular, classes of graphs shown to be neighborhood-prime include all generalized Petersen graphs, grid graphs of any size, and lobsters given restrictions on the degree of the vertices. In addition, we show that almost all graphs and almost all regular graphs have are neighborhood-prime, and we find all graphs of order $10$ or less that have a neighborhood-prime labeling. We give several conjectures for future work in this area.

A binary $[98280, 24, 47104]_2$ projective two-weight code related to the sporadic simple group ${\rm Co}_1$ of Conway is constructed as a faithful and absolutely irreducible submodule of the permutation module induced by the primitive action of ${\rm Co}_1$ on the cosets of ${\rm Co}_2$. The dual code of this code is a uniformly packed $[98280, 98256,3]_2$ code. The geometric significance of the codewords of the code can be traced to the vectors in the Leech lattice, thus revealing that the stabilizer of any non-zero weight codeword in the code is a maximal subgroup of ${\rm Co}_1$. Similarly, the stabilizer of the codewords of minimum weight in the dual code is a maximal subgroup of ${\rm Co}_1$. As by-product, a new strongly regular graph on 16777216 vertices and valency 98280 is constructed using the codewords of the code.

A $1$-factor in an $n$-vertex graph $G$ is a collection of $\frac{n}{2}$ vertex-disjoint edges and a $1$-factorization of $G$ is a partition of its edges into edge-disjoint $1$-factors. Clearly, a $1$-factorization of $G$ cannot exist unless $n$ is even and $G$ is regular (that is, all vertices are of the same degree). The problem of finding $1$-factorizations in graphs goes back to a paper of Kirkman in 1847 and has been extensively studied since then. Deciding whether a graph has a $1$-factorization is usually a very difficult question. For example, it took more than 60 years and an impressive tour de force of Csaba, Kühn, Lo, Osthus and Treglown to prove an old conjecture of Dirac from the 1950s, which says that every $d$-regular graph on $n$ vertices contains a $1$-factorization, provided that $n$ is even and $d\geq 2\lceil \frac{n}{4}\rceil-1$. In this paper we address the natural question of estimating $F(n,d)$, the number of $1$-factorizations in $d$-regular graphs on an even number of vertices, provided that $d\geq \frac{n}{2}+\varepsilon n$. Improving upon a recent result of Ferber and Jain, which itself improved upon a result of Cameron from the 1970s, we show that $F(n,d)\geq \left((1+o(1))\frac{d}{e^2}\right)^{nd/2}$, which is asymptotically best possible.

A $1$-factorization of a graph $G$ is a collection of edge-disjoint perfect matchings whose union is $E(G)$. A trivial necessary condition for $G$ to admit a $1$-factorization is that $|V(G)|$ is even and $G$ is regular; the converse is easily seen to be false. In this paper, we consider the problem of finding $1$-factorizations of regular, pseudorandom graphs. Specifically, we prove that an $(n,d,λ)$-graph $G$ (that is, a $d$-regular graph on $n$ vertices whose second largest eigenvalue in absolute value is at most $λ$) admits a $1$-factorization provided that $n$ is even, $C_0\leq d\leq n-1$ (where $C_0$ is a universal constant), and $λ\leq d^{1-o(1)}$. In particular, since (as is well known) a typical random $d$-regular graph $G_{n,d}$ is such a graph, we obtain the existence of a $1$-factorization in a typical $G_{n,d}$ for all $C_0\leq d\leq n-1$, thereby extending to all possible values of $d$ results obtained by Janson, and independently by Molloy, Robalewska, Robinson, and Wormald for fixed $d$. Moreover, we also obtain a lower bound for the number of distinct $1$-factorizations of such graphs $G$ which is off by a factor of $2$ in the base of the exponent from the known upper bound. This lower bound is better by a factor of $2^{nd/2}$ than the previously best known lower bounds, even in the simplest case where $G$ is the complete graph. Our proofs are probabilistic and can be easily turned into polynomial time (randomized) algorithms.

Compared to the classical binomial random (hyper)graph model, the study of random regular hypergraphs is made more challenging due to correlations between the occurrence of different edges. We develop an edge-switching technique for hypergraphs which allows us to show that these correlations are limited for a large range of densities. This extends some previous results of Kim, Sudakov and Vu for graphs. From our results we deduce several corollaries on subgraph counts in random $d$-regular hypergraphs. We also prove a conjecture of Dudek, Frieze, Ruciński and Šileikis on the threshold for the existence of an $\ell$-overlapping Hamilton cycle in a random $d$-regular $r$-graph. Moreover, we apply our results to prove bounds on the query complexity of testing subgraph-freeness. The problem of testing subgraph-freeness in the general graphs model was first studied by Alon, Kaufman, Krivelevich and Ron, who obtained several bounds on the query complexity of testing triangle-freeness. We extend some of these previous results beyond the triangle setting and to the hypergraph setting.

We provide an explicit construction of finite 4-regular graphs $(Γ_k)_{k\in \mathbb N}$ with ${girth Γ_k\to\infty}$ as $k\to\infty$ and $\frac{diam Γ_k}{girth Γ_k}\leqslant D$ for some $D>0$ and all $k\in\mathbb{N}$. For each fixed dimension $n\geqslant 2,$ we find a pair of matrices in $SL_{n}(\mathbb{Z})$ such that (i) they generate a free subgroup, (ii)~their reductions $\bmod\, p$ generate $SL_{n}(\mathbb{F}_{p})$ for all sufficiently large primes $p$, (iii) the corresponding Cayley graphs of $SL_{n}(\mathbb{F}_{p})$ have girth at least $c_n\log p$ for some $c_n>0$. Relying on growth results (with no use of expansion properties of the involved graphs), we observe that the diameter of those Cayley graphs is at most $O(\log p)$. This gives infinite sequences of finite $4$-regular Cayley graphs of $SL_n(\mathbb F_p)$ as $p\to\infty$ with large girth and bounded diameter-by-girth ratio. These are the first explicit examples in all dimensions $n\geqslant 2$ (all prior examples were in $n=2$). Moreover, they happen to be expanders. Together with Margulis' and Lubotzky-Phillips-Sarnak's classical constructions, these new graphs are the only known explicit logarithmic girth Cayley graph expanders.

In this article we consider resistance matrix of a connected graph. For unweighted graph we study some necessary and sufficient conditions for resistance regular graphs. Also we find some relationship between Laplacian matrix and resistance matrix in case of weighted graphs where all edge weights are positive definite matrices of given order.

Let $G$ be a finite $d$-regular graph with a proper edge coloring. An edge Kempe switch is a new proper edge coloring of $G$ obtained by switching the two colors along some bi-chromatic cycle. We prove that any other edge coloring can be obtained by performing finitely many edge Kempe switches, provided that $G$ is replaced with a suitable finite covering graph. The required covering degree is bounded above by a constant depending only on $d$.