regular graph
1761 papers tagged with this keyword
A Characteristic Polynomial for The Transition Probability Matrix of A Correlated Random Walk on A Graph
Published
• View Publication
• BIB
We define a correlated random walk (CRW) induced from the time evolution matrix (the Grover matrix) of the Grover walk on a graph $G$, and present a formula for the characteristic polynomial of the transition probability matrix of this CRW by using a determinant expression for the generalized weighted zeta function of $G$. As applications, we give the spectrum of the transition probability matrices for the CRWs induced from the Grover matrices of regular graphs and semiregular bipartite graphs. Furthermore, we consider another type of the CRW on a graph.
Switching for Small Strongly Regular Graphs
We provide an abundance of strongly regular graphs (SRGs) for certain parameters $(n, k, λ, μ)$ with $n < 100$. For this we use Godsil-McKay (GM) switching with a partition of type $4,n-4$ and Wang-Qiu-Hu (WQH) switching with a partition of type $3,3,n-6$ or $4,4,n-8$. In most cases, we start with a highly symmetric graph which belongs to a finite geometry. Many of the obtained graphs are new; for instance, we find 16565438 strongly regular graphs with parameters $(81, 30, 9, 12)$ while only 15 seem to be described in the literature.
We provide statistics about the size of the occurring automorphism groups. We also find the recently discovered Krčadinac partial geometry, thus finding a third method of constructing it.
On strongly walk regular graphs, triple sum sets and their codes
Published in Designs, Codes and Cryptography 91[2] (2023)
• View Publication
• BIB
Strongly walk regular graphs (SWRGs or $s$-SWRGs) form a natural generalization of strongly regular graphs (SRGs) where paths of length~2 are replaced by paths of length~$s$. They can be constructed as coset graphs of the duals of projective three-weight codes whose weights satisfy a certain equation. We provide classifications of the feasible parameters of these codes in the binary and ternary case for medium size code lengths. For the binary case, the divisibility of the weights of these codes is investigated and several general results are shown. It is known that an $s$-SWRG has at most 4 distinct eigenvalues $k > θ_1 > θ_2 > θ_3$, and that the triple $(θ_1, θ_2, θ_3)$ satisfies a certain homogeneous polynomial equation of degree $s - 2$ (Van Dam, Omidi, 2013). This equation defines a plane algebraic curve; we use methods from algorithmic arithmetic geometry to show that for $s = 5$ and $s = 7$, there are only the obvious solutions, and we conjecture this to remain true for all (odd) $s \ge 9$.
Decomposition of $(2k+1)$-regular graphs containing special spanning $2k$-regular Cayley graphs into paths of length $2k+1$
Published
• View Publication
• BIB
A $P_\ell$-decomposition of a graph $G$ is a set of paths with $\ell$ edges in $G$ that cover the edge set of $G$. Favaron, Genest, and Kouider (2010) conjectured that every $(2k+1)$-regular graph that contains a perfect matching admits a $P_{2k+1}$-decomposition. They also verified this conjecture for $5$-regular graphs without cycles of length $4$. In 2015, Botler, Mota, and Wakabayashi verified this conjecture for $5$-regular graphs without triangles. In this paper, we verify it for $(2k+1)$-regular graphs that contain the $k$th power of a spanning cycle; and for $5$-regular graphs that contain special spanning $4$-regular Cayley graphs.
Hamilton decompositions of line graphs
It is proved that if a graph is regular of even degree and contains a Hamilton cycle, or regular of odd degree and contains a Hamiltonian $3$-factor, then its line graph is Hamilton decomposable. This result partially extends Kotzig's result that a $3$-regular graph is Hamiltonian if and only if its line graph is Hamilton decomposable, and proves the conjecture of Bermond that the line graph of a Hamilton decomposable graph is Hamilton decomposable.
Classification of Finite Highly Regular Vertex-Coloured Graphs
Published
• View Publication
• BIB
A coloured graph is k-ultrahomogeneous if every isomorphism between two induced subgraphs of order at most k extends to an automorphism. A coloured graph is t-tuple regular if the number of vertices adjacent to every vertex in a set S of order at most k depends only on the isomorphism type of the subgraph induced by S.
We classify the finite vertex-coloured k-ultrahomogeneous graphs and the finite vertex-coloured l-tuple regular graphs for k at least 4 and l at least 5, respectively. Our theorem in particular classifies finite vertex-coloured ultrahomogeneous graphs, where ultrahomogeneous means the graph is simultaneously k-ultrahomogeneous for all k.
Triangles and subgraph probabilities in random regular graphs
Published
• View Publication
• BIB
We improve the estimates of the subgraph probabilities in a random regular graph. Using the improved results, we further improve the limiting distribution of the number of triangles in random regular graphs.
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$.