arXiv++ Combinatorics

Let $R$ be a commutative ring and $M$ be an $R$-module, and let $Z(M)$ be the set of all zero-divisors on $M$. In 2008, D.F. Anderson and A. Badawi introduced the regular graph of $R$. In this paper, we generalize the regular graph of $R$ to the \textit{$M$-regular graph} of $R$, denoted by $M$-$Reg(Γ(R))$. It is the undirected graph with all $M$-regular elements of $R$ as vertices, and two distinct vertices $x$ and $y$ are adjacent if and only if $x+y\in Z(M)$. The basic properties and possible structures of the $M$-$Reg(Γ(R))$ are studied. We determine the girth of the $M$-regular graph of $R$. Also, we provide some lower bounds for the independence number and the clique number of the $M$-$Reg(Γ(R))$. Among other results, we prove that for every Noetherian ring $R$ and every finitely generated module $M$ over $R$, if $2\notin Z(M)$ and the independence number of the $M$-$Reg(Γ(R))$ is finite, then $R$ is finite.

We study the continuous-time quantum walks on graphs in the adjacency algebra of the $n$-cube and its related distance regular graphs. For $k\geq 2$, we find graphs in the adjacency algebra of $(2^{k+2}-8)$-cube that admit instantaneous uniform mixing at time $π/2^k$ and graphs that have perfect state transfer at time $π/2^k$. We characterize the folded $n$-cubes, the halved $n$-cubes and the folded halved $n$-cubes whose adjacency algebra contains a complex Hadamard matrix. We obtain the same conditions for the characterization of these graphs admitting instantaneous uniform mixing.

We prove that every 3-regular, n-vertex simple graph with sufficiently large girth contains an independent set of size at least 0.4361n. (The best known bound is 0.4352n.) In fact, computer simulation suggests that the bound our method provides is about 0.438n. Our method uses invariant Gaussian processes on the d-regular tree that satisfy the eigenvector equation at each vertex for a certain eigenvalue λ. We show that such processes can be approximated by i.i.d. factors provided that $|λ| \leq 2\sqrt{d-1}$. We then use these approximations for $λ= -2\sqrt{d-1}$ to produce factor of i.i.d. independent sets on regular trees.

In this paper we characterize "large" regular graphs using certain entries in the projection matrices onto the eigenspaces of the graph. As a corollary of this result, we show that "large" association schemes become $P$-polynomial association schemes. Our results are summarized as follows. Let $G=(V,E)$ be a connected $k$-regular graph with $d+1$ distinct eigenvalues $k=θ_0>θ_1>\cdots>θ_d$. Since the diameter of $G$ is at most $d$, we have the Moore bound \[ |V| \leq M(k,d)=1+k \sum_{i=0}^{d-1}(k-1)^i. \] Note that if $|V|> M(k,d-1)$ holds, the diameter of $G$ is equal to $d$. Let $E_i$ be the orthogonal projection matrix onto the eigenspace corresponding to $θ_i$. Let $\partial(u,v)$ be the path distance of $u,v \in V$. Theorem. Assume $|V|> M(k,d-1)$ holds. Then for $x,y \in V$ with $\partial(x,y)=d$, the $(x,y)$-entry of $E_i$ is equal to \[ -\frac{1}{|V|}\prod_{j=1,2,\ldots,d, j \ne i} \frac{θ_0-θ_j}{θ_i-θ_j}. \] If a symmetric association scheme $\mathfrak{X}=(X,\{R_i\}_{i=0}^d)$ has a relation $R_i$ such that the graph $(X,R_i)$ satisfies the above condition, then $\mathfrak{X}$ is $P$-polynomial. Moreover we show the "dual" version of this theorem for spherical sets and $Q$-polynomial association schemes.

We present several results on the mixing time of the Glauber dynamics for sampling from the Gibbs distribution in the ferromagnetic Potts model. At a fixed temperature and interaction strength, we study the interplay between the maximum degree ($Δ$) of the underlying graph and the number of colours or spins ($q$) in determining whether the dynamics mixes rapidly or not. We find a lower bound $L$ on the number of colours such that Glauber dynamics is rapidly mixing if at least $L$ colours are used. We give a closely-matching upper bound $U$ on the number of colours such that with probability that tends to 1, the Glauber dynamics mixes slowly on random $Δ$-regular graphs when at most $U$ colours are used. We show that our bounds can be improved if we restrict attention to certain types of graphs of maximum degree $Δ$, e.g. toroidal grids for $Δ= 4$.

A $t$-walk-regular graph is a graph for which the number of walks of given length between two vertices depends only on the distance between these two vertices, as long as this distance is at most $t$. Such graphs generalize distance-regular graphs and $t$-arc-transitive graphs. In this paper, we will focus on 1- and in particular 2-walk-regular graphs, and study analogues of certain results that are important for distance regular graphs. We will generalize Delsarte's clique bound to 1-walk-regular graphs, Godsil's multiplicity bound and Terwilliger's analysis of the local structure to 2-walk-regular graphs. We will show that 2-walk-regular graphs have a much richer combinatorial structure than 1-walk-regular graphs, for example by proving that there are finitely many non-geometric 2-walk-regular graphs with given smallest eigenvalue and given diameter (a geometric graph is the point graph of a special partial linear space); a result that is analogous to a result on distance-regular graphs. Such a result does not hold for 1-walk-regular graphs, as our construction methods will show.

Local algorithms on graphs are algorithms that run in parallel on the nodes of a graph to compute some global structural feature of the graph. Such algorithms use only local information available at nodes to determine local aspects of the global structure, while also potentially using some randomness. Recent research has shown that such algorithms show significant promise in computing structures like large independent sets in graphs locally. Indeed the promise led to a conjecture by Hatami, \Lovasz and Szegedy \cite{HatamiLovaszSzegedy} that local algorithms may be able to compute maximum independent sets in (sparse) random $d$-regular graphs. In this paper we refute this conjecture and show that every independent set produced by local algorithms is multiplicative factor $1/2+1/(2\sqrt{2})$ smaller than the largest, asymptotically as $d\rightarrow\infty$. Our result is based on an important clustering phenomena predicted first in the literature on spin glasses, and recently proved rigorously for a variety of constraint satisfaction problems on random graphs. Such properties suggest that the geometry of the solution space can be quite intricate. The specific clustering property, that we prove and apply in this paper shows that typically every two large independent sets in a random graph either have a significant intersection, or have a nearly empty intersection. As a result, large independent sets are clustered according to the proximity to each other. While the clustering property was postulated earlier as an obstruction for the success of local algorithms, such as for example, the Belief Propagation algorithm, our result is the first one where the clustering property is used to formally prove limits on local algorithms.

We establish a relation between two uniform models of random $k$-graphs (for constant $k \ge 3$) on $n$ labeled vertices: $H(n,m)$, the random $k$-graph with exactly $m$ edges, and $H(n,d)$, the random $d$-regular $k$-graph. By extending to $k$-graphs the switching technique of McKay and Wormald, we show that, for some range of $d = d(n)$ and a constant $c > 0$, if $m \sim cnd$, then one can couple $H(n,m)$ and $H(n,d)$ so that the latter contains the former with probability tending to one as $n \to \infty$. In view of known results on the existence of a loose Hamilton cycle in $H(n,m)$, we conclude that $H(n,d)$ contains a loose Hamilton cycle when $\log n = o(d)$ (or just $d \ge C log n$, if $k = 3$) and $d = o(n^{1/2})$.

The {\em spectrum} of a first-order logic sentence is the set of natural numbers that are cardinalities of its finite models. In this paper we show that when restricted to using only two variables, but allowing counting quantifiers, the spectra of first-order logic sentences are semilinear and hence, closed under complement. At the heart of our proof are semilinear characterisations for the existence of regular and biregular graphs, the class of graphs in which there are a priori bounds on the degrees of the vertices. Our proof also provides a simple characterisation of models of two-variable logic with counting -- that is, up to renaming and extending the relation names, they are simply a collection of regular and biregular graphs.

Let G be a graph with set of vertices 1,...,n and adjacency matrix A of size nxn. Let d(i,j)=d, we say that f_d:N->N is a d-function on G if for every pair of vertices i,j and k>=d, we have a_ij^(k)=f_d(k). If this function f_d exists on G we say that G is d-walk regular. We prove that G is d-walk regular if and only if for every pair of vertices i,j at distance <=d and for d<=k<=n+d-1, we have that a_ij^(k) is independent of the pair i,j. Equivalently, the single condition exp(A)*A_d=cA_d holds for some constant c, where A_d is the adjacency matrix of the d-distance graph and * denotes the Schur product.

Let $G$ be a simple $r$-regular graph with $n$ vertices and $m$ vertices. We give the signless Laplacian characteristic polynomials of $xyz$-transformations $G^{xyz}$ of $G$ in terms of $n$, $m$, $r$ and the signless Laplacian spectrum of $G$.

In the present paper I consider Cayley graphs of reflection groups of finite-sided Coxeter polyhedra in 3-dimensional hyperbolic space H^3, with standard sets of generators. As the main result, I prove the existence of non-trivial non-uniqueness phase of bond and site Bernoulli percolation on such graphs, i.e. that p_c < p_u, for two classes of such polyhedra: * for any k-hedra as above with k at least 13; * for any compact right-angled polyhedra as above. I also establish a natural lower bound for the growth rate of such Cayley graphs (when the number of faces of the polyhedron is at least 6; see thm. 5.2) and an upper bound for the growth rate of the sequence (#{simple cycles of length n through o})_n for a regular graph of degree at least 2 with a distinguished vertex o, depending on its spectral radius (see thm. 5.1 and rem. 2.3), both used to prove the main result.

An antimagic labeling of a graph $G$ with $m$ edges is a bijection from $E(G)$ to $\{1,2,\ldots,m\}$ such that for all vertices $u$ and $v$, the sum of labels on edges incident to $u$ differs from that for edges incident to $v$. Hartsfield and Ringel conjectured that every connected graph other than the single edge $K_2$ has an antimagic labeling. We prove this conjecture for regular graphs of odd degree.

In this paper we define the notion of $(p,δ)$--Gromov hyperbolic space where we relax Gromov's {\it slimness} condition to allow that not all but a positive fraction of all triangles are $δ$--slim. Furthermore, we study maximum vertex congestion under geodesic routing and show that it scales as $Ω(p^2n^2/D_n^2)$ where $D_n$ is the diameter of the graph. We also construct a constant degree family of expanders with congestion $Θ(n^2)$ in contrast with random regular graphs that have congestion $O(n\log^{3}(n))$. Finally, we study traffic congestion on graphs defined as product of trees.

The existence of a partial quadrangle ${\mathsf{PQ}}(s, t, μ)$ is equivalent to the existence of a diamond-free strongly regular graph ${\mathsf{SRG}}(1+s(t+1)+s^2t(t+1)/μ, s(t+1), s-1, μ)$. Recently, it is shown that there exists a ${\mathsf{PQ}}(2, (n^3+3n^2-2)/2, n^2+n)$ if and only if $n\in\{1, 2, 4\}$. Let $\mathcal{S}$ be a ${\mathsf{PQ}}(3,(n+3)(n^2-1)/3, n^2+n)$ such that for every two non-collinear points $p_1$ and $p_2$, there is a point $q$ non-collinear with $p_1$, $p_2$, and all points collinear with both $p_1$ and $p_2$. In this article, we establish that $\mathcal{S}$ exists only for $n\in\{-2, 2, 3\}$ and probably $n=10$.

We establish a new formula for the heat kernel on regular trees in terms of classical I-Bessel functions. Although the formula is explicit, and a proof is given through direct computation, we also provide a conceptual viewpoint using the horocyclic transform on regular trees. From periodization, we then obtain a heat kernel expression on any regular graph. From spectral theory, one has another expression for the heat kernel as an integral transform of the spectral measure. By equating these two formulas and taking a certain integral transform, we obtain several generalized versions of the determinant formula for the Ihara zeta function associated to finite or infinite regular graphs. Our approach to the Ihara zeta function and determinant formula through heat kernel analysis follows a similar methodology which exists for quotients of rank one symmetric spaces.

A $b$-coloring of a graph is a proper coloring such that every color class contains a vertex adjacent to at least one vertex in each of the other color classes. The $b$-chromatic number of a graph $G$, denoted by $b(G)$, is the maximum integer $k$ such that $G$ admits a $b$-coloring with $k$ colors. El Sahili and Kouider conjectured that $b(G)=d+1$ for $d$-regular graph with girth 5, $d\geq4$. In this paper, we prove that this conjecture holds for $d$-regular graph with at least $d^3+d$ vertices. More precisely we show that $b(G)=d+$1 for $d$-regular graph with at least $d^3+d$ vertices and containing no cycle of order 4. We also prove that $b(G)=d+1$ for $d$-regular graphs with at least $2d^3+2d-2d^2$ vertices improving Cabello and Jakovac bound.

The $b$-chromatic number of a graph $G$, denoted by $b(G)$, is the largest positive integer $k$ such that there exists a proper coloring for G with $k$ colors in which every color class contains at least one vertex adjacent to some vertex in each of the other color classes, such a vertex is called a dominant vertex. The $f$-chromatic vertex number of a $d$-regular graph $G$, denoted by $f(G)$, is the maximum number of dominant vertices of distinct colors in a proper coloring with $d+1$ colors. El Sahili and Kouider conjectured that $b(G)=d+1$ for any $d$-regular graph $G$ of girth 5. We study this conjecture by giving some partial answers under supplementary conditions.

We consider continuous-time quantum walks on distance-regular graphs of small diameter. Using results about the existence of complex Hadamard matrices in association schemes, we determine which of these graphs have quantum walks that admit uniform mixing. First we apply a result due to Chan to show that the only strongly regular graphs that admit instantaneous uniform mixing are the Paley graph of order nine and certain graphs corresponding to regular symmetric Hadamard matrices with constant diagonal. Next we prove that if uniform mixing occurs on a bipartite graph X with n vertices, then n is divisible by four. We also prove that if X is bipartite and regular, then n is the sum of two integer squares. Our work on bipartite graphs implies that uniform mixing does not occur on C_{2m} for m >= 3. Using a result of Haagerup, we show that uniform mixing does not occur on C_p for any prime p such that p >= 5. In contrast to this result, we see that epsilon-uniform mixing occurs on C_p for all primes p.

In the game of cops and robber, the cops try to capture a robber moving on the vertices of the graph. The minimum number of cops required to win on a given graph $G$ is called the cop number of $G$. The biggest open conjecture in this area is the one of Meyniel, which asserts that for some absolute constant $C$, the cop number of every connected graph $G$ is at most $C \sqrt{|V(G)|}$. In this paper, we show that Meyniel's conjecture holds asymptotically almost surely for the binomial random graph. We do this by first showing that the conjecture holds for a general class of graphs with some specific expansion-type properties. This will also be used in a separate paper on random $d$-regular graphs, where we show that the conjecture holds asymptotically almost surely when $d = d(n) \ge 3$.