regular graph
1761 papers tagged with this keyword
Non-existence of (76,30,8,14) strongly regular graph
Published in Linear Algebra Appl. 527 (2017), 53-72
• View Publication
• BIB
We prove the non-existence of strongly regular graph with parameters $(76,30,8,14)$. We use Euclidean representation of a strongly regular graph together with a new lower bound on the number of 4-cliques to derive strong structural properties of the graph, and then use these properties to show that the graph cannot exist.
Quadratic Zero-Difference Balanced Functions, APN Functions and Strongly Regular Graphs
Published
• View Publication
• BIB
Let $F$ be a function from $\mathbb{F}_{p^n}$ to itself and $δ$ a positive integer. $F$ is called zero-difference $δ$-balanced if the equation $F(x+a)-F(x)=0$ has exactly $δ$ solutions for all non-zero $a\in\mathbb{F}_{p^n}$. As a particular case, all known quadratic planar functions are zero-difference 1-balanced; and some quadratic APN functions over $\mathbb{F}_{2^n}$ are zero-difference 2-balanced. In this paper, we study the relationship between this notion and differential uniformity; we show that all quadratic zero-difference $δ$-balanced functions are differentially $δ$-uniform and we investigate in particular such functions with the form $F=G(x^d)$, where $\gcd(d,p^n-1)=δ+1$ and where the restriction of $G$ to the set of all non-zero $(δ+1)$-th powers in $\mathbb{F}_{p^n}$ is an injection. We introduce new families of zero-difference $p^t$-balanced functions. More interestingly, we show that the image set of such functions is a regular partial difference set, and hence yields strongly regular graphs; this generalizes the constructions of strongly regular graphs using planar functions by Weng et al. Using recently discovered quadratic APN functions on $\mathbb{F}_{2^8}$, we obtain $15$ new $(256, 85, 24, 30)$ negative Latin square type strongly regular graphs.
Notes on dual-critical graphs
We define dual-critical graphs as graphs having an acyclic orientation, where the indegrees are odd except for the unique source. We have very limited knowledge about the complexity of dual-criticality testing. By the definition the problem is in NP, and a result of Balázs and Christian Szegedy provides a randomized polynomial algorithm, which relies on formal matrix rank computing. It is unknown whether dual-criticality test can be done in deterministic polynomial time. Moreover, the question of being in co-NP is also open.
We give equivalent descriptions for dual-critical graphs in the general case, and further equivalent descriptions in the special cases of planar graphs and 3-regular graphs. These descriptions provide polynomial algorithms for these special classes. We also give an FPT algorithm for a relaxed version of dual-criticality called $k$-dual-criticality.
Construction of Directed Strongly Regular Graphs as Generalized Cayley Graphs
Directed strongly regular graphs were introduced by Duval in 1998 as one of the possible generalization of classical strongly regular graphs to the directed case. Duval also provided several construction methods for directed strongly regular graphs. In this paper, an infinite family of directed strongly regular graphs is constructed, as generalized Cayley graphs of cyclic groups.
Brooks Type Results for Conflict-Free Colorings and {a, b}-factors in graphs
Published in Discrete Mathematics 338(12):2295--2301, 2015
• View Publication
• BIB
A vertex-coloring of a hypergraph is conflict-free, if each edge contains a vertex whose color is not repeated on any other vertex of that edge. Let $f(r, Δ)$ be the smallest integer $k$ such that each $r$-uniform hypergraph of maximum vertex degree $Δ$ has a conflict-free coloring with at most $k$ colors. As shown by Tardos and Pach, similarly to a classical Brooks' type theorem for hypergraphs, $f(r, Δ)\leq Δ+1$. Compared to Brooks' theorem, according to which there is only a couple of graphs/hypergraphs that attain the $Δ+1$ bound, we show that there are several infinite classes of uniform hypergraphs for which the upper bound is attained. We provide bounds on $f(r, Δ)$ in terms of~$Δ$ for large~$Δ$ and establish the connection between conflict-free colorings and so-called $\{t, r-t\}$-factors in $r$-regular graphs. Here, a $\{t, r-t\}$-factor is a factor in which each degree is either $t$ or $r-t$. Among others, we disprove a conjecture of Akbari and Kano~[Graphs and Combinatorics 30(4):821--826, 2014] stating that there is a $\{t,r-t\}$-factor in every $r$-regular graph for odd $r$ and any odd $t<\frac{r}{3}$.
The Random Transposition Dynamics on Random Regular Graphs and the Gaussian Free Field
Published
• View Publication
• BIB
A single permutation, seen as union of disjoint cycles, represents a regular graph of degree two. Consider $d$ many independent random permutations and superimpose their graph structures. It is a common model of a random regular (multi-) graph of degree $2d$. We consider the following dynamics. The dimension (i.e. size) of each permutation grows by coupled Chinese Restaurant Processes, while in time each permutation evolves according to the random transposition chain. Asymptotically in the size of the graph one observes a remarkable evolution of short cycles and linear eigenvalue statistics in dimension and time. In dimension, it was shown by Johnson and Pal (2014) that cycle counts are described by a Poisson field of Yule processes. Here, we give a Poisson random surface description in dimension and time of the limiting cycle counts for every $d$. As $d$ grows to infinity, the fluctuation of the limiting cycle counts, across dimension, converges to the Gaussian Free Field. In time this field is preserved by a stationary Gaussian dynamics. The laws of these processes are similar to eigenvalue fluctuations of the minor process of a real symmetric Wigner matrix whose coordinates evolve as i.i.d. stationary stochastic processes.
On the structure of graphs which are locally indistinguishable from a lattice
Published
• View Publication
• BIB
We study the properties of finite graphs in which the ball of radius $r$ around each vertex induces a graph isomorphic to some fixed graph $F$. This is a natural extension of the study of regular graphs, and of the study of graphs of constant link. We focus on the case where $F$ is $\mathbb{L}^d$, the $d$-dimensional square lattice. We obtain a characterisation of all the finite graphs in which the ball of radius $3$ around each vertex is isomorphic to the ball of radius $3$ in $\mathbb{L}^d$, for each integer $d \geq 3$. These graphs have a very rigidly proscribed global structure, much more so than that of $(2d)$-regular graphs. (They may be viewed as quotient lattices of $\mathbb{L}^d$ in various compact orbifolds.) In the $d=2$ case, our methods yield new proofs of structure theorems of Thomassen and of Márquez, de Mier, Noy and Revuelta, and also yield short, `algebraic' restatements of these theorems. Our proofs use a mixture of techniques and results from combinatorics, algebraic topology and group theory.
Some New Results in the Alcuin Number of Graphs
We prove some results concerning Alcuin number of graphs. First, we classify graphs which have unique minimum vertex cover. Then we present two necessary conditions for a graph to be of class two and show why one of them (condition on common neighbors) is sufficient as well. By using this classification theorem, we prove some results about class one and class two graphs such as cartesian product of graphs and classification of regular graphs.
Completely Independent Spanning Trees in Some Regular Graphs
Published
• View Publication
• BIB
Let $k\ge 2$ be an integer and $T_1,\ldots, T_k$ be spanning trees of a graph $G$. If for any pair of vertices $(u,v)$ of $V(G)$, the paths from $u$ to $v$ in each $T_i$, $1\le i\le k$, do not contain common edges and common vertices, except the vertices $u$ and $v$, then $T_1,\ldots, T_k$ are completely independent spanning trees in $G$. For $2k$-regular graphs which are $2k$-connected, such as the Cartesian product of a complete graph of order $2k-1$ and a cycle and some Cartesian products of three cycles (for $k=3$), the maximum number of completely independent spanning trees contained in these graphs is determined and it turns out that this maximum is not always $k$.
The spectral excess theorem for distance-regular graphs having distance-$d$ graph with fewer distinct eigenvalues
Published
• View Publication
• BIB
Let $Γ$ be a distance-regular graph with diameter $d$ and Kneser graph $K=Γ_d$, the distance-$d$ graph of $Γ$. We say that $Γ$ is partially antipodal when $K$ has fewer distinct eigenvalues than $Γ$. In particular, this is the case of antipodal distance-regular graphs ($K$ with only two distinct eigenvalues), and the so-called half-antipodal distance-regular graphs ($K$ with only one negative eigenvalue). We provide a characterization of partially antipodal distance-regular graphs (among regular graphs with $d$ distinct eigenvalues) in terms of the spectrum and the mean number of vertices at maximal distance $d$ from every vertex. This can be seen as a general version of the so-called spectral excess theorem, which allows us to characterize those distance-regular graphs which are half-antipodal, antipodal, bipartite, or with Kneser graph being strongly regular.
New strongly regular graphs derived from the G2(4) graph
We consider simple loopless finite undirected graphs. Such a graph is called strongly regular with parameter set (v,k,l,m), for short a srg(v,k,l,m), iff it has exactly v vertices, each of them has exactly k neighbours, and the number of common neighbours of any two different vertices is l if they are neighbours and m otherwise.
The G2(4) graph is a well-known srg(416,100,36,20). In this article, we explicitly construct it and a certain subgraph E induced by 320 vertices in the same way as in an older article by this author. We discover some interesting properties of E and derive five strongly regular graphs from it:
A srg(256,60,20,12) F which is a subgraph induced by 256 vertices and four srg(336,80,28,16) H, H_1, H_2 and H_3 which do have E as induced subgraph.
The latter three graphs are new in version 4 of this article and seem to have been completely unknown as H was before version 1 appeared. The graph F is isomorphic to objects described as unions of 16 16-cocliques in a description of subgraphs of the G2(4) graph by Andries E. Brouwer; but the strong regularity has been unnoticed before version 1 of this article.
Several propositions in this article have been checked by executing the additionally (in the source package) provided program G24DGS2 and the program Dreadnaut from the popular graph theoretic software nauty (by Brendan McKay and Adolfo Piperno).
Large connected strongly regular graphs are Hamiltonian
We prove that every connected strongly regular graph on sufficiently many vertices is Hamiltonian. We prove this by showing that, apart from three families, connected strongly regular graphs are (highly) pseudo-random. Our results suggest a number of new questions and conjectures.
Cospectral regular graphs with and without a perfect matching
For each $b \geq 5$ we construct a pair of cospectral $b$-regular graphs, where one has a perfect matching and the other one not. This solves a research problem posed by the third author at the 22nd British Combinatorial Conference.
On the Meeting Time for Two Random Walks on a Regular Graph
We provide an analysis of the expected meeting time of two independent random walks on a regular graph. For 1-D circle and 2-D torus graphs, we show that the expected meeting time can be expressed as the sum of the inverse of non-zero eigenvalues of a suitably defined Laplacian matrix. We also conjecture based on empirical evidence that this result holds more generally for simple random walks on arbitrary regular graphs. Further, we show that the expected meeting time for the 1-D circle of size $N$ is $Θ(N^2)$, and for a 2-D $N \times N$ torus it is $Θ(N^2 log N)$.
Sporadic Examples of Directed Strongly Regular Graphs Obtained by Computer Algebra Experimentation (Extended version)
Published in Lecture Notes in Computer Science {\bf 8660} (2014), 155--170
• Search Publication
We report about the results of the application of modern computer algebra tools for construction of directed strongly regular graphs. The suggested techniques are based on the investigation of non-commutative association schemes and Cayley graphs over non-Abelian groups. We demonstrate examples of directed strongly regular graphs for 28 different parameter sets, for which the existence of a corresponding digraph has not been known before.
Complex Two-Graphs via Equiangular Tight Frames
In `A survey of two-graphs' \cite{Sei}, J.J. Seidel lays out the connections between simple graphs, two-graphs, equiangular lines and strongly regular graph. It is well known that there is a one-to-one correspondence between regular two-graphs and equiangular tight frames. This article gives a generalization of two-graphs for which these connections can be mimicked using roots of unity beyond $\pm 1$.
Graph energy estimates via the Chebyshev functional
Let $G$ be a graph with $n$ vertices and $m$ edges. The energy $E$ of the graph $G$ is defined as the sum of the moduli of the adjacency eigenvalues $λ_{1} \geq λ_{2} \geq \ldots \geq λ_{n}$ of $G$: $$ E=\sum_{i=1}^{n}{|λ{i}|}. $$ We obtain new lower bounds on the energy of a graph, which in various cases improve upon known results. For example, a particularly simple and appealing corollary of our results is: $$ E \geq \frac{2m}{λ_{1}}. $$ This implies a result obtained by Gutman \emph{et al.} for regular graphs and is better for triangle-free graphs than a result of Caporossi \emph{et al.}.
On Minimum Order of Odd Regular Graphs Without Perfect Matching
In this article we have derived the minimum order of an odd regular graph such that the graph has no matching. We have observed that how it is different from the case of even regular graphs. We have checked the consistency of the derived result with Petersen's theorem.
Perfect codes in Doob graphs
Published in Des. Codes Cryptogr. 80(1) 2016, 91-102
• View Publication
• BIB
We study $1$-perfect codes in Doob graphs $D(m,n)$. We show that such codes that are linear over $GR(4^2)$ exist if and only if $n=(4^{g+d}-1)/3$ and $m=(4^{g+2d}-4^{g+d})/6$ for some integers $g \ge 0$ and $d>0$. We also prove necessary conditions on $(m,n)$ for $1$-perfect codes that are linear over $Z_4$ (we call such codes additive) to exist in $D(m,n)$ graphs; for some of these parameters, we show the existence of codes. For every $m$ and $n$ satisfying $2m+n=(4^t-1)/3$ and $m \le (4^t-5\cdot 2^{t-1}+1)/9$, we prove the existence of $1$-perfect codes in $D(m,n)$, without the restriction to admit some group structure. Keywords: perfect codes, Doob graphs, distance regular graphs.
Separation dimension of bounded degree graphs
Published
• View Publication
• BIB
The 'separation dimension' of a graph $G$ is the smallest natural number $k$ for which the vertices of $G$ can be embedded in $\mathbb{R}^k$ such that any pair of disjoint edges in $G$ can be separated by a hyperplane normal to one of the axes. Equivalently, it is the smallest possible cardinality of a family $\mathcal{F}$ of total orders of the vertices of $G$ such that for any two disjoint edges of $G$, there exists at least one total order in $\mathcal{F}$ in which all the vertices in one edge precede those in the other. In general, the maximum separation dimension of a graph on $n$ vertices is $Θ(\log n)$. In this article, we focus on bounded degree graphs and show that the separation dimension of a graph with maximum degree $d$ is at most $2^{9log^{\star} d} d$. We also demonstrate that the above bound is nearly tight by showing that, for every $d$, almost all $d$-regular graphs have separation dimension at least $\lceil d/2\rceil$.