arXiv++ Combinatorics

We prove that, for every integer $d$ with $d\geq 3$, there is an approximation algorithm for the maximum induced matching problem restricted to $\{ C_3,C_5\}$-free $d$-regular graphs with performance ratio $0.708\bar{3}d+0.425$, which answers a question posed by Dabrowski et al. (Theor. Comput. Sci. 478 (2013) 33-40). Furthermore, we show that every graph with $m$ edges that is $k$-degenerate and of maximum degree at most $d$ with $k<d$, has an induced matching with at least $m/((3k-1)d-k(k+1)+1)$ edges.

This note presents a new spectral version of the graph Zarankiewicz problem: How large can be the maximum eigenvalue of the signless Laplacian of a graph of order $n$ that does not contain a specified complete bipartite subgraph. A conjecture is stated about general complete bipartite graphs, which is proved for infinitely many cases. More precisely, it is shown that if $G$ is a graph of order $n,$ with no subgraph isomorphic to $K_{2,s+1},$ then the largest eigenvalue $q(G)$ of the signless Laplacian of $G$ satisfies \[ q(G)\leq\frac{n+2s}{2}+\frac{1}{2}\sqrt{(n-2s)^{2}+8s}, \] with equality holding if and only if $G$ is a join of $K_{1}$ and an $s$-regular graph of order $n-1.$

Let $c:E(G)\to [k]$ be an edge-coloring of a graph $G$, not necessarily proper. For each vertex $v$, let $\bar{c}(v)=(a_1,\ldots,a_k)$, where $a_i$ is the number of edges incident to $v$ with color $i$. Reorder $\bar{c}(v)$ for every $v$ in $G$ in nonincreasing order to obtain $c^*(v)$, the color-blind partition of $v$. When $c^*$ induces a proper vertex coloring, that is, $c^*(u)\neq c^*(v)$ for every edge $uv$ in $G$, we say that $c$ is color-blind distinguishing. The minimum $k$ for which there exists a color-blind distinguishing edge coloring $c:E(G)\to [k]$ is the color-blind index of $G$, denoted $\operatorname{dal}(G)$. We demonstrate that determining the color-blind index is more subtle than previously thought. In particular, determining if $\operatorname{dal}(G) \leq 2$ is NP-complete. We also connect the color-blind index of a regular bipartite graph to 2-colorable regular hypergraphs and characterize when $\operatorname{dal}(G)$ is finite for a class of 3-regular graphs.

The alliance polynomial of a graph $G$ with order $n$ and maximum degree $Δ$ is the polynomial $A(G; x) = \sum_{k=-Δ}^Δ A_{k}(G) \, x^{n+k}$, where $A_{k}(G)$ is the number of exact defensive $k$-alliances in $G$. We obtain some properties of $A(G; x)$ and its coefficients for regular graphs. In particular, we characterize the degree of regular graphs by the number of non-zero coefficients of their alliance polynomial. Besides, we prove that the family of alliance polynomials of $Δ$-regular graphs with small degree is a very special one, since it does not contain alliance polynomials of graphs which are not $Δ$-regular. By using this last result and direct computation we find that the alliance polynomial determines uniquely each cubic graph of order less than or equal to $10$.

In several works, Mendel and Naor have introduced and developed theory surrounding a nonlinear expansion constant similar to the spectral gap for sequences of graphs, in which one considers embeddings of a graph $G$ into a metric space $X$ \cite{mendel2010towards, mendel2013nonlinear, mendel2014expanders}. Here, we investigate the open question of whether the random regular graph $G_{n, d}$ is an expander when embedded into the metric space of a random regular graph $G_{m, d}$ a.a.s., where $m\leq n$. We show that if $m$ is fixed, the answer is affirmative. In addition, when $m\to \infty$, we provide partial solutions to the problem in the case that $d$ is fixed or that $d\to \infty$ under the constraint $d=o(m^{1/2})$.

Many regular graphs admit a natural partition of their edge set into cliques of the same order such that each vertex is contained in the same number of cliques. In this paper, we study the mixing rate of certain random walks on such graphs and we generalize previous results of Alon, Benjamini, Lubetzky and Sodin regarding the mixing rates of non-backtracking random walks on regular graphs.

We prove that there exist bipartite Ramanujan graphs of every degree and every number of vertices. The proof is based on analyzing the expected characteristic polynomial of a union of random perfect matchings, and involves three ingredients: (1) a formula for the expected characteristic polynomial of the sum of a regular graph with a random permutation of another regular graph, (2) a proof that this expected polynomial is real rooted and that the family of polynomials considered in this sum is an interlacing family, and (3) strong bounds on the roots of the expected characteristic polynomial of a union of random perfect matchings, established using the framework of finite free convolutions we recently introduced.

A graph $G=(V,E)$ is antimagic if there is a one-to-one correspondence $f: E \to \{1,2,\ldots, |E|\}$ such that for any two vertices $u,v$, $\sum_{e \in E(u)}f(e) \ne \sum_{e\in E(v)}f(e)$. It is known that bipartite regular graphs are antimagic and non-bipartite regular graphs of odd degree at least three are antimagic. Whether all non-bipartite regular graphs of even degree are antimagic remained an open problem. In this paper, we solve this problem and prove that all even degree regular graphs are antimagic. The paper was submitted to December 2014 by Journal of Graph Theory.

A 4-point Feynman diagram in scalar $φ^4$ theory is represented by a graph $G$ which is obtained from a connected 4-regular graph by deleting a vertex. The associated Feynman integral gives a quantity called the period of $G$ which is invariant under a number of meaningful graph operations - namely, planar duality, the Schnetz twist, and it also does not depend on the choice of vertex which was deleted to form $G$. In this article we study a graph invariant we call the graph permanent, which was implicitly introduced in a paper by Alon, Linial and Meshulam. The graph permanent applies to any graph $G = (V,E)$ for which $|E|$ is a multiple of $|V| - 1$ (so in particular to graphs obtained from a 4-regular graph by removing a vertex). We prove that the graph permanent, like the period, is invariant under planar duality and the Schnetz twist when these are valid operations, and we show that when $G$ is obtained from a $2k$-regular graph by deleting a vertex, the graph permanent does not depend on the choice of deleted vertex.

We consider the uniform random $d$-regular graph on $N$ vertices, with $d \in [N^α, N^{2/3-α}]$ for arbitrary $α> 0$. We prove that in the bulk of the spectrum the local eigenvalue correlation functions and the distribution of the gaps between consecutive eigenvalues coincide with those of the Gaussian Orthogonal Ensemble.

A tree containing exactly two non-pendant vertices is called a double-star. A double-star with degree sequence $(k_1+ 1, k_2+ 1, 1, \ldots, 1)$ is denoted by $S_{k_1, k_2}$. We study the edge-decomposition of regular graphs into double-stars. It was proved that every double-star of size $k$ decomposes every $2k$-regular graph. In this paper, we extend this result to $(2k+ 1)$-regular graphs, by showing that every $(2k+ 1)$-regular graph containing two disjoint perfect matchings is decomposed into $S_{k_1, k_2}$ and $S_{k_{1}-1, k_2}$, for all positive integers $k_1$ and $k_2$ such that $k_1 + k_2= k$.

A half-arc-transitive graph is a regular graph that is both vertex- and edge-transitive, but is not arc-transitive. If such a graph has finite valency, then its valency is even, and greater than $2$. In 1970, Bouwer proved that there exists a half-arc-transitive graph of every even valency greater than 2, by giving a construction for a family of graphs now known as $B(k,m,n)$, defined for every triple $(k,m,n)$ of integers greater than $1$ with $2^m \equiv 1 \mod n$. In each case, $B(k,m,n)$ is a $2k$-valent vertex- and edge-transitive graph of order $mn^{k-1}$, and Bouwer showed that $B(k,6,9)$ is half-arc-transitive for all $k > 1$. For almost 45 years the question of exactly which of Bouwer's graphs are half-arc-transitive and which are arc-transitive has remained open, despite many attempts to answer it. In this paper, we use a cycle-counting argument to prove that almost all of the graphs constructed by Bouwer are half-arc-transitive. In fact, we prove that $B(k,m,n)$ is arc-transitive only when $n = 3$, or $(k,n) = (2,5)$, % and $m$ is a multiple of $4$, or $(k,m,n) = (2,3,7)$ or $(2,6,7)$ or $(2,6,21)$. In particular, $B(k,m,n)$ is half-arc-transitive whenever $m > 6$ and $n > 5$. This gives an easy way to prove that there are infinitely many half-arc-transitive graphs of each even valency $2k > 2$.

For a finite group $G$ and subset $S$ of $G,$ the Haar graph $H(G,S)$ is a bipartite regular graph, defined as a regular $G$-cover of a dipole with $|S|$ parallel arcs labelled by elements of $S$. If $G$ is an abelian group, then $H(G,S)$ is well-known to be a Cayley graph; however, there are examples of non-abelian groups $G$ and subsets $S$ when this is not the case. In this paper we address the problem of classifying finite non-abelian groups $G$ with the property that every Haar graph $H(G,S)$ is a Cayley graph. An equivalent condition for $H(G,S)$ to be a Cayley graph of a group containing $G$ is derived in terms of $G, S$ and $\mathrm{Aut }G$. It is also shown that the dihedral groups, which are solutions to the above problem, are $\mathbb{Z}_2^2,D_3,D_4$ and $D_{5}$.

An undirected simple graph $G=(V,E)$ is called antimagic if there exists an injective function $f:E\rightarrow\{1,\dots,|E|\}$ such that $\sum_{e\in E(u)} f(e)\neq\sum_{e\in E(v)} f(e)$ for any pair of different nodes $u,v\in V$. In a previous version of the paper, the authors gave a proof that regular graphs are antimagic. However, the proof of the main theorem is incorrect as one of the steps uses an invalid assumption. The aim of the present erratum is to fix the proof.

We study the quantum automorphism group of the lexicographic product of two finite regular graphs, providing a quantum generalization of Sabidussi's structure theorem on the automorphism group of such a graph.

For a class $\mathcal{C}$ of binary linear codes, we write $θ_{\mathcal{C}}\colon (0,1) \to [0,\frac{1}{2}]$ for the maximum-likelihood decoding threshold function of $\mathcal{C}$, the function whose value at $R \in (0,1)$ is the largest bit-error rate $p$ that codes in $\mathcal{C}$ can tolerate with a negligible probability of maximum-likelihood decoding error across a binary symmetric channel. We show that, if $\mathcal{C}$ is the class of cycle codes of graphs, then $θ_{\mathcal{C}}(R) \le \frac{(1-\sqrt{R})^2}{2(1+R)}$ for each $R$, and show that equality holds only when $R$ is asymptotically achieved by cycle codes of regular graphs.

The real monomial representations of Clifford algebras give rise to two sequences of bent functions. For each of these sequences, the corresponding Cayley graphs are strongly regular graphs, and the corresponding sequences of strongly regular graph parameters coincide. Even so, the corresponding graphs in the two sequences are not isomorphic, except in the first 3 cases. The proof of this non-isomorphism is a simple consequence of a theorem of Radon.

A major problem in the study of combinatorial aspects of permutation groups is to determine the distances in the symmetric group $\Sym_n$ with respect to a generator set. One well-known such a case is when the generator set $S_n$ consists of block transpositions. It should be noted that "the block transposition distance of a permutation" is the distance of the permutation from the identity permutation in the Cayley graph $\Cay$, and "sorting a permutation by block transpositions" is equivalent to finding shortest paths in $\Cay$. The original results in our thesis concern the lower and upper bounds on the block transpositions diameter of $\Sym_n$ with respect to $S_n$ and the automorphism group $\Aut(\Cay)$. A significant contribution is to show how from the toric equivalence can be obtained bijective maps on $\Sym_n$ that we call \emph{toric maps}. Using the properties of the toric maps, we discuss the role of the invariance principle of the block transposition distance within toric classes in the proof of the Eriksson bound. Furthermore, we prove that $\Aut(\Cay)$ is the product of the right translation group by $\textsf{N}\rtimes\textsf{D}_{n+1}$, where $\textsf{N}$ is the subgroup fixing $S_n$ elementwise, and $\textsf{D}_{n+1}$ is a dihedral group whose maximal cyclic subgroup is generated by the toric maps. Computer aided computation supports our conjecture that $\textsf{N}$ is trivial. Also, we prove that the subgraph $Γ$ with vertex-set $S_n$ is a $2(n-2)$-regular graph whose automorphism group is $\textsf{D}_{n+1}$. We show some aspects of $\Cay$, notably $Γ$ has as many as $n+1$ maximal cliques of size $2$, its subgraph $Γ(V)$ whose vertices are those in these cliques is a $3$-regular Hamiltonian graph, and $\textsf{D}_{n+1}$ acts faithfully on $V$ as a vertex regular automorphism group.

In this paper we introduce a construction of directed strongly regular graphs from smaller ones using equitable partitions. Each equitable partition of a single DSRG satisfying several conditions leads to an infinite family of directed strongly regular graphs. We construct in this way dozens of infinite families. For order at most 110, we confirm the existence of DSRGs for 30 previously open parameter sets.

We consider random $d$-regular graphs on $N$ vertices, with degree $d$ at least $(\log N)^4$. We prove that the Green's function of the adjacency matrix and the Stieltjes transform of its empirical spectral measure are well approximated by Wigner's semicircle law, down to the optimal scale given by the typical eigenvalue spacing (up to a logarithmic correction). Aside from well-known consequences for the local eigenvalue distribution, this result implies the complete (isotropic) delocalization of all eigenvectors and a probabilistic version of quantum unique ergodicity.