regular graph
1715 papers tagged with this keyword
A note on the Grover walk and the generalized Ihara zeta function of the one-dimensional integer lattice
Chinta, Jorgenson and Karlsson introduced a generalized version of the determinant formula for the Ihara zeta function associated to finite or infinite regular graphs. On the other hand, Konno and Sato obtained a formula of the characteristic polynomial of the Grover matrix by using the determinant expression for the second weighted zeta function of a finite graph. In this paper, we focus on a relationship between the Grover walk and the generalized Ihara zeta function. That is to say, we treat the generalized Ihara zeta function of the one-dimensional integer lattice as a limit of the Ihara zeta function of the cycle graph.
Recent progress on graphs with fixed smallest eigenvalue
Published
• View Publication
• BIB
We give a survey on graphs with fixed smallest eigenvalue, especially on graphs with large minimal valency and also on graphs with good structures. Our survey mainly consists of the following two parts:
(i) Hoffman graphs, the basic theory related to Hoffman graphs and the applications of Hoffman graphs to graphs with fixed smallest eigenvalue and large minimal valency;
(ii) recent results on distance-regular graphs and co-edge regular graphs with fixed smallest eigenvalue and the characterizations of certain families of distance-regular graphs.
At the end of the survey, we also discuss signed graphs with fixed smallest eigenvalue and present some new findings.
Kim--Vu's sandwich conjecture is true for $d \gg \log^4 n$
Kim and Vu made the following conjecture (\textit{Advances in Mathematics}, 2004): if $d\gg \log n$, then the random $d$-regular graph $G(n,d)$ can be ``sandwiched'' between $G(n,p_*)$ and $G(n,p^*)$ where $p_*$ and $p^*$ are both asymptotically equal to $d/n$.
This famous conjecture was previously proved for all $d\gg (n\log n)^{3/4}$.
In this paper, we confirm the conjecture when $d \gg \log^4 n$. We also extend this result to near-regular degree sequences.
Improving the Quantum Approximate Optimization Algorithm with postselection
Combinatorial optimization is among the main applications envisioned for near-term and fault-tolerant quantum computers. In this work, we consider a well-studied quantum algorithm for combinatorial optimization: the Quantum Approximate Optimization Algorithm (QAOA) applied to the MaxCut problem on 3-regular graphs. We explore the idea of improving the solutions returned by the simplest version of the algorithm (depth-1 QAOA) using a form of postselection that can be efficiently simulated by state preparation. We derive theoretical upper and lower bounds showing that a constant (though small) increase of the fraction of satisfied edges is indeed achievable. Numerical experiments on large problem instances (beyond classical simulatability) complement and support our bounds. We also consider a distinct technique: local updates, which can be applied not only to QAOA but any optimization algorithm. In the case of QAOA, the resulting improvement can be sharply quantified theoretically for large problem instances and in absence of postselection. Combining postselection and local updates, the theory is no longer tractable but numerical evidence suggests that improvements from both methods can be combined.
Motif Estimation via Subgraph Sampling: The Fourth Moment Phenomenon
Published in Ann. Statist. 50(2): 987-1011 (April 2022)
• View Publication
• BIB
Network sampling is an indispensable tool for understanding features of large complex networks where it is practically impossible to search over the entire graph. In this paper, we develop a framework for statistical inference for counting network motifs, such as edges, triangles, and wedges, in the widely used subgraph sampling model, where each vertex is sampled independently, and the subgraph induced by the sampled vertices is observed. We derive necessary and sufficient conditions for the consistency and the asymptotic normality of the natural Horvitz-Thompson (HT) estimator, which can be used for constructing confidence intervals and hypothesis testing for the motif counts based on the sampled graph. In particular, we show that the asymptotic normality of the HT estimator exhibits an interesting fourth-moment phenomenon, which asserts that the HT estimator (appropriately centered and rescaled) converges in distribution to the standard normal whenever its fourth-moment converges to 3 (the fourth-moment of the standard normal distribution). As a consequence, we derive the exact thresholds for consistency and asymptotic normality of the HT estimator in various natural graph ensembles, such as sparse graphs with bounded degree, Erdos-Renyi random graphs, random regular graphs, and dense graphons.
Moore graph with parameters (3250,57,0,1) does not exist
If a regular graph of degree $k$ and diameter $d$ has $v$ vertices then $$v\le 1+k+k(k-1)+\dots+k(k-1)^{d-1}.$$ Graphs with $v=1+k+k(k-1)+\dots+k(k-1)^{d-1}$ are called Moore graphs. Damerell proved that a Moore graph of degree $k\ge 3$ has diameter $2$. If $Γ$ is a Moore graph of diameter $2$, then $v=k^2+1$, $Γ$ is strongly regular with $λ=0$ and $μ=1$, and one of the following statements holds{\rm:} $k=2$ and $Γ$ is the pentagon, $k=3$ and $Γ$ is the Petersen graph, $k=7$ and $Γ$ is the Hoffman-Singleton graph, or $k=57$. The existence of a Moore graph of degree $57$ was unknown. Jurishich and Vidali have proved that the existence of a Moore graph of degree $k>3$ is equivalent to the existence of a distance-regular graph with intersection array $\{k-2,k-3,2;1,1,k-3\}$ (in the case $k=57$ we have a distance-regular graph with intersection array $\{55,54,2;1,1,54\}$). In this paper we prove that a distance-regular graph with intersection array $\{55,54,2;1,1,54\}$ does not exist. As a corollary, we prove that a Moore graph of degree $57$ does not exist.
Domination versus independent domination in regular graphs
Published
• View Publication
• BIB
A set $S$ of vertices in a graph $G$ is a dominating set if every vertex of $G$ is in $S$ or is adjacent to a vertex in $S$. If, in addition, $S$ is an independent set, then $S$ is an independent dominating set. The domination number $γ(G)$ of $G$ is the minimum cardinality of a dominating set in $G$, while the independent domination number $i(G)$ of $G$ is the minimum cardinality of an independent dominating set in $G$. We prove that for all integers $k \geq 3$ it holds that if $G$ is a connected $k$-regular graph, then $\frac{i(G)}{γ(G)} \leq \frac{k}{2}$, with equality if and only if $G = K_{k,k}$. The result was previously known only for $k\leq 6$. This affirmatively answers a recent question of Babikir and Henning.
Probabilistic Zero Forcing on Grid, Regular, and Hypercube Graphs
Probabilistic zero-forcing is a coloring process on a graph. In this process, an initial set of vertices is colored blue, and the remaining vertices are colored white. At each time step, blue vertices have a non-zero probability of forcing white neighbors to blue. The expected propagation time is the expected amount of time needed for every vertex to be colored blue. We derive asymptotic bounds for the expected propagation time of several families of graphs. We prove the optimal asymptotic bound of $Θ(m+n)$ for $m\times n$ grid graphs. We prove an upper bound of $O \left(\frac{\log d}{d} \cdot n \right)$ for $d$-regular graphs on $n$ vertices and provide a graph construction that exhibits a lower bound of $Ω\left(\frac{\log \log d}{d} \cdot n \right)$. Finally, we prove an asymptotic upper bound of $O(n \log n)$ for hypercube graphs on $2^n$ vertices.
On the Oberwolfach problem for single-flip $2$-factors via graceful labelings
Published in J. Combin. Theory, Ser. A, 189 (2022), 105611, 39 Pages
• View Publication
• BIB
Let $F$ be a $2$-regular graph of order $v$. The Oberwolfach problem $OP(F)$, posed in 1967 and still open, asks for a decomposition of $K_v$ into copies of $F$. In this paper we show that $OP(F)$ has a solution whenever $F$ has a sufficiently large cycle which meets a given lower bound and, in addition, has a single-flip automorphism, which is an involutory automorphism acting as a reflection on exactly one of the cycles of $F$. Furthermore, we prove analogous results for the minimum covering version and the maximum packing version of the problem. We also show a similar result when the edges of $K_v$ have multiplicity 2, but in this case we do not require that $F$ be single-flip.
Our approach allows us to explicitly construct solutions to the Oberwolfach Problem with well-behaved automorphisms, in contrast with some recent asymptotic results, based on probabilistic methods, which are nonconstructive and do not provide a lower bound on the order of $F$ that guarantees the solvability of $OP(F)$.
Our constructions are based on a doubling construction which applies to graceful labelings of $2$-regular graphs with a vertex removed. We show that this class of graphs is graceful as long as the length of the path-component is sufficiently large. A much better lower bound on the length of the path is given for an $α$-labeling of such graphs to exist.
Up to a double cover, every regular connected graph is isomorphic to a Schreier graph
Published in Bull. Belg. Math. Soc. Simon Stevin 28 (3) 373 - 379, march 2022
• View Publication
• BIB
We prove that every connected locally finite regular graph has a double cover which is isomorphic to a Schreier graph.
On regular graphs equienergetic with their complements
We give necessary and sufficient conditions on the parameters of a regular graph $Γ$ (with or without loops) such that $E(Γ)=E(\overline Γ)$. We study complementary equienergetic cubic graphs obtaining classifications up to isomorphisms for connected cubic graphs with single loops (5 non-isospectral pairs) and connected integral cubic graphs without loops ($Γ= K_3 \square K_2$ or $Q_3$). Then we show that, up to complements, the only bipartite regular graphs equienergetic and non-isospectral with their complements are the crown graphs $Cr(n)$ or $C_4$. Next, for the family of strongly regular graphs $Γ$ we characterize all possible parameters $srg(n,k,e,d)$ such that $E(Γ) = E(\overline Γ)$. Furthermore, using this, we prove that a strongly regular graph is equienergetic to its complement if and only if it is either a conference graph or else it is a pseudo Latin square graph (i.e. has $OA$ parameters). We also characterize all complementary equienergetic pairs of graphs of type $\mathcal{C}(2)$, $\mathcal{C}(3)$ and $\mathcal{C}(5)$ in Cameron's hierarchy (the cases $\mathcal{C}(1)$ and $\mathcal{C}(4)$ are still open). Finally, we consider unitary Cayley graphs over rings $G_R=X(R,R^*)$. We show that if $R$ is a finite Artinian ring with an even number of local factors, then $G_R$ is complementary equienergetic if and only if $R=\mathbb{F}_q \times \mathbb{F}_{q'}$ is the product of 2 finite fields.
A proof of Brouwer's toughness conjecture
Published in SIAM J. Discrete Math. 35 (2021), 948-952
• View Publication
• BIB
The toughness $t(G)$ of a connected graph $G$ is defined as $t(G)=\min\{\frac{|S|}{c(G-S)}\}$, in which the minimum is taken over all proper subsets $S\subset V(G)$ such that $c(G-S)>1$, where $c(G-S)$ denotes the number of components of $G-S$. Let $λ$ denote the second largest absolute eigenvalue of the adjacency matrix of a graph. For any connected $d$-regular graph $G$, it has been shown by Alon that $t(G)>\frac{1}{3}(\frac{d^2}{dλ+λ^2}-1)$, through which, Alon was able to show that for every $t$ and $g$ there are $t$-tough graphs of girth strictly greater than $g$, and thus disproved in a strong sense a conjecture of Chvátal on pancyclicity. Brouwer independently discovered a better bound $t(G)>\frac{d}λ-2$ for any connected $d$-regular graph $G$, while he also conjectured that the lower bound can be improved to $t(G)\ge \frac{d}λ - 1$. We confirm this conjecture.
Some new bounds for the signless Laplacian energy of a graph
For a simple graph $G$ with $n$ vertices, $m$ edges and signless Laplacian eigenvalues $q_{1} \geq q_{2} \geq \cdots \geq q_{n} \geq 0$, its the signless Laplacian energy $QE(G)$ is defined as $QE(G) = \sum_{i=1}^{n}|q_{i} - \bar{d} |$, where $\bar{d} = \frac{2m}{n}$ is the average vertex degree of $G$. In this paper, we obtain two lower bounds ( see Theorem 3.1 and Theorem 3.2 ) and one upper bound for $QE(G)$ ( see Theorem 3.3 ), which improve some known bounds of $QE(G)$, and moreover, we determine the corresponding extremal graphs that achieve our bounds. By subproduct, we also get some bounds for $QE(G)$ of regular graph $G$.
Excellent graphs with respect to domination: subgraphs induced by minimum dominating sets
A graph $G=(V,E)$ is $γ$-excellent if $V$ is a union of all $γ$-sets of $G$, where $γ$ stands for the domination number. Let $\mathcal{I}$ be a set of all mutually nonisomorphic graphs and $\emptyset \not= \mathcal{H} \subsetneq \mathcal{I}$. In this paper we initiate the study of the $\mathcal{H}$-$γ$-excellent graphs, which we define as follows. A graph $G$ is $\mathcal{H}$-$γ$-excellent if the following hold: (i) for every $H \in \mathcal{H}$ and for each $x \in V(G)$ there exists an induced subgraph $H_x$ of $G$ such that $H$ and $H_x$ are isomorphic, $x \in V(H_x)$ and $V(H_x)$ is a subset of some $γ$-set of $G$, and (ii) the vertex set of every induced subgraph $H$ of $G$, which is isomorphic to some element of $\mathcal{H}$, is a subset of some $γ$-set of $G$. For each of some well known graphs, including cycles, trees and some cartesian products of two graphs, we describe its largest set $\mathcal{H} \subsetneq \mathcal{I}$ for which the graph is $\mathcal{H}$-$γ$-excellent. Results on $γ$-excellent regular graphs and a generalized lexicographic product of graphs are presented. Several open problems and questions are posed.
Grundy domination and zero forcing in regular graphs
Given a finite graph $G$, the maximum length of a sequence $(v_1,\ldots,v_k)$ of vertices in $G$ such that each $v_i$ dominates a vertex that is not dominated by any vertex in $\{v_1,\ldots,v_{i-1}\}$ is called the Grundy domination number, $γ_{\rm gr}(G)$, of $G$. A small modification of the definition yields the Z-Grundy domination number, which is the dual invariant of the well-known zero forcing number. In this paper, we prove that $γ_{\rm gr}(G) \geq \frac{n + \lceil \frac{k}{2} \rceil - 2}{k-1}$ holds for every connected $k$-regular graph of order $n$ different from $K_{k+1}$ and $\bar{2C_4}$. The bound in the case $k=3$ reduces to $γ_{\rm gr}(G) \geq \frac{n}{2}$, and we characterize the connected cubic graphs with $γ_{\rm gr}(G)=\frac{n}{2}$. If $G$ is different from $K_4$ and $K_{3,3}$, then $\frac{n}{2}$ is also an upper bound for the zero forcing number of a connected cubic graph, and we characterize the connected cubic graphs attaining this bound.
Upper Tails of Subgraph Counts in Sparse Regular Graphs
What is the probability that a sparse $n$-vertex random $d$-regular graph $G_n^d$, $n^{1-c}<d=o(n)$ contains many more copies of a fixed graph $K$ than expected? We determine the behavior of this upper tail to within a logarithmic gap in the exponent. For most graphs $K$ (for instance, for any $K$ of average degree greater than $4$) we determine the upper tail up to a $1+o(1)$ factor in the exponent. However, we also provide an example of a graph, given by adding an edge to $K_{2,4}$, where the upper tail probability behaves differently from previously studied behavior in both the sparse random regular and sparse Erdős-Rényi models in this sparsity regime.
Cut Bounds for Some Weighted Graphs
In communication field, an important issue is to group users and base stations to as many as possible subnetworks satisfying certain interference constraints. These problems are usually formulated as a graph partition problems which minimize some forms of graph cut. Previous research already gave some results about the cut bounds for unweighted regular graph. In this paper, we prove a result about the lower bound for weighted graphs that have some regular properties and show similar results for more general case.
On the prime spectrum of an automorphism group of an ${\rm AT4}(p,p+2,r)$-graph
Published
• View Publication
• BIB
This paper is devoted to the problem of classification of ${\rm AT4}(p,p+2,r)$-graphs. There is a unique ${\rm AT4}(p,p+2,r)$-graph with $p=2$, namely, the distance-transitive Soicher graph with intersection array $\{56, 45, 16, 1;1, 8, 45, 56\}$, whose local graphs are isomorphic to the Gewirtz graph. It is still unknown whether an ${\rm AT4}(p,p+2,r)$-graph with $p>2$ exists. The local graphs of each ${\rm AT4}(p,p+2,r)$-graph are strongly regular with parameters $((p+2)(p^2+4p+2),p(p+3),p-2,p)$. In the present paper, we find an upper bound for the prime spectrum of an automorphism group of a strongly regular graph with such parameters, and we also obtain some restrictions for the prime spectrum and the structure of an automorphism group of an ${\rm AT4}(p,p+2,r)$-graph in case when $p$ is a prime power. As a corollary, we show that there are no arc-transitive ${\rm AT4}(p,p+2,r)$-graphs with $p\in \{11,17,27\}$.
Freely Independent Coin Tosses, Standard Young Tableaux, and the Kesten--McKay Law
Published
• View Publication
• BIB
In this article, we shall start with a closed walk on a regular tree of degree $d$. These walks are described by the Kesten-McKay law which arises as the asymptotic distribution of a random $d$-regular graph on $n$ vertices. We will show that the moments of the Kesten-McKay law are given by counting standard Young tableaux with at most 2 rows, and how some properties of the walk make sense even when $d$ is not an integer. We will use free probability to instruct us how to build an explicit model in random matrix theory.
Counting five-node subgraphs
We propose exact count formulae for the 21 topologically distinct non-induced connected subgraphs on five nodes, in simple, unweighted and undirected graphs. We prove the main result using short and purely combinatorial arguments that can be adapted to derive count formulae for larger subgraphs. To illustrate, we give analytic results for some regular graphs, and present a short empirical application on real-world network data. We also discuss the well-known result that induced subgraph counts follow as linear combinations of non-induced counts.