regular graph
1761 papers tagged with this keyword
Universal optimality of $T$-avoiding spherical codes and designs
Published
• View Publication
• BIB
Given an open set (a union of open intervals), $T\subset [-1,1]$ we introduce the concepts of $T$-avoiding spherical codes and designs, that is, spherical codes that have no inner products in the set $T$. We show that certain codes found in the minimal vectors of the Leech lattices, as well as the minimal vectors of the Barnes--Wall lattice and codes derived from strongly regular graphs, are universally optimal in the restricted class of $T$-avoiding codes. We also extend a result of Delsarte--Goethals--Seidel about codes with three inner products $α, β, γ$ (in our terminology $(α,β)$-avoiding $γ$-codes). Parallel to the notion of tight spherical designs, we also derive that these codes are minimal (tight) $T$-avoiding spherical designs of fixed dimension and strength. In some cases, we also find that codes under consideration have maximal cardinality in their $T$-avoiding class for given dimension and minimum distance.
On generalizing cryptographic results to Sidon sets in $\mathbb{F}_2^n$
A Sidon set $S$ in $\mathbb{F}_2^n$ is a set such that $x+y=z+w$ has no solutions $x,y,z,w \in S$ with $x,y,z,w$ all distinct. In this paper, we prove various results on Sidon sets by using or generalizing known cryptographic results. In particular, we generalize known results on the Walsh transform of almost perfect nonlinear (APN) functions to Sidon sets. One such result is that we classify Sidon sets with minimal linearity as those that are $k$-covers. That is, Sidon sets with minimal linearity are those Sidon sets $S \subseteq \mathbb{F}_2^n$ such that there exists $k > 0$ such that for any $p \in \mathbb{F}_2^n \setminus S$, there are exactly $k$ subsets $\{x,y,z\} \subseteq S$ such that $x+y+z = p$. From this, we also classify $k$-covers by means of the Cayley graph of a particular Boolean function, and we construct the unique rank $3$ strongly regular graph with parameters $(2048, 276, 44, 36)$ as the Cayley graph of a Boolean function. Finally, by computing the linearity of a particular family of Sidon sets, we increase the best-known lower bound of the largest Sidon set in $\mathbb{F}_2^{4t+1}$ by $1$ for all $t \geq 4$.
Theoretical results for Perfect Location signed Roman domination problem
The study of Roman domination has evolved to encompass a variety of challenging extensions, each contributing to the broader understanding of domination problems in graph theory. This paper explores the Perfect Location Signed Roman Domination (PLSRD) problem, a novel combination of the Perfect Roman, Locating Roman, and Signed Roman Domination paradigms. In PLSRD, each weak vertex, assigned the label -1, must be protected by exactly one strong vertex, with additional limitation that two weak vertices cannot share the same strong vertex, while the total sum of labels in the closed neighborhood of each vertex must remain positive. This paper provides exact values for the PLSRD number in several well-known graph classes, including complete graphs, complete bipartite graphs, wheels, paths, cycles, ladders, prism graphs, and 3 x n grids. Additionally, we establish a lower bound for a general 3 regular graph, as well as the upper bounds for flower snarks graphs, highlighting the intricate interplay between the PLSRD constraints and the structural properties of these graph families.
Universal geometric non-embedding of random regular graphs
Let $Δ\ge 3$ be fixed, $n \ge n_Δ$ be a large integer. It is a classical result that $Δ$--regular expanders on $n$ vertices are not embeddable as geometric (distance) graphs into Euclidean space of dimension less than $c \log n$, for some universal constant $c$. We show that for typical $Δ$-regular graphs, this obstruction is universal with respect to the choice of norm. More precisely, for a uniform random $Δ$-regular graph $G$ on $n$ vertices, it holds with high probability: there is no normed space of dimension less than $c\log n$ which admits a geometric graph isomorphic to $G$. The proof is based on a seeded multiscale $\varepsilon$--net argument.
Spectral radius and rainbow $k$-factors of graphs
Published
• View Publication
• BIB
Let $\mathcal{G}=\{G_1,\ldots, G_{\frac{kn}{2}}\}$ be a set of graphs on the same vertex set $V=\{1,\dots,n\}$ where $k\cdot n$ is even. We say $\mathcal{G}$ admits a rainbow $k$-factor if there exists a $k$-regular graph $F$ on the vertex set $V$ such that all edges of $F$ are from different members of $\mathcal{G}$. In this paper, we show a sufficient spectral condition for the existence of a rainbow $k$-factor for $k\geq 2$, which is that if $ρ(G_i)\geqρ(K_{k-1}\vee(K_1\cup K_{n-k}))$ for each $G_i\in \mathcal{G}$, then $\mathcal{G}$ admits a rainbow $k$-factor unless $G_1=G_2=\cdots=G_{\frac{kn}{2}}\cong K_{k-1}\vee(K_1\cup K_{n-k})$.
The palette index of the Cartesian product of paths, cycles and regular graphs
Published
• View Publication
• BIB
The palette of a vertex v in a graph G is the set of colors assigned to the edges incident to v. The palette index of G is the minimum number of distinct palettes among the vertices, taken over all proper edge colorings of G. This paper presents results on the palette index of the Cartesian product $G \Box H$, where one of the factor graphs is a path or a cycle. Additionally, it provides exact results and bounds on the palette index of the Cartesian product of two graphs, where one factor graph is isomorphic to a regular or class 1 nearly regular graph.
Graphs with Independent Exact $r$-covers for all $r$
For every natural number $d$, we construct finite $d$-regular simple graphs that, for every $r \le d$, contain an independent exact $r$-cover. This answers a question of Gray and Johnson that arose in their study of 2-step transit probabilities.
We obtain some divisibility conditions on the order $n$ of graphs that for every $r \le d$ contain an independent exact $r$-cover, and give constructions for $d=3, 4, 5, 6$ where the order of the graph is minimal (we deduce this minimality from our divisibility conditions). We construct these graphs as common coverings of smaller graphs. We revisit a result of Angluin and Gardiner on finite common coverings of two regular graphs of the same degree, and the result of Gross that regular graphs of even degree are Schreier coset graphs. We combine both results to provide a finite common covering of two regular graphs of the same degree, that uses fewer vertices than the construction of Angluin and Gardiner in some cases.
D-Antimagic Labelings of Oriented 2-Regular Graphs
Given an oriented graph $\overrightarrow{G}$ and $D$ a distance set of $\overrightarrow{G}$, $\overrightarrow{G}$ is $D$-antimagic if there exists a bijective vertex labeling such that the sum of all labels of the $D$-out-neighbors of each vertex is distinct.
This paper investigates $D$-antimagic labelings of 2-regular oriented graphs. We characterize $D$-antimagic oriented cycles, when $|D|=1$; $D$-antimagic unidirectional odd cycles, when $|D|=2$; and $D$-antimagic $Θ$-oriented cycles. Finally, we characterize $D$-antimagic oriented 2-regular graphs, when $|D|=1$, and $D$-antimagic $Θ$-oriented 2-regular graphs.
Independence, induced subgraphs, and domination in $K_{1,r}$-free graphs
Let $G$ be a graph and $\mathcal{F}$ a family of graphs. Define $α_{\mathcal{F}}(G)$ as the maximum order of any induced subgraph of $G$ that belongs to the family $\mathcal{F}$. For the family $\mathcal{F}$ of graphs with \emph{chromatic number} at most~$k$, we prove that if $G$ is $K_{1,r}$-free, then $α_{\mathcal{F}}(G) \le (r-1)kγ(G)$, where $γ(G)$ is the \emph{domination number}. When $\mathcal{F}$ is the family of empty graphs, this bound simplifies to $α(G) \le 2γ(G)$ for $K_{1,3}$-free (claw-free) graphs, where $α(G)$ is the \emph{independence number} of $G$. For $d$-regular graphs, this is further refined to the bound $α(G) \le 2\left(\frac{d+1}{d+2}\right)γ(G)$, which is tight for $d \in \{2, 3, 4\}$. Using Ramsey theory, we extend this framework to edge-hereditary graph families, showing that for $K_{1,r}$-free graphs, we have $α_{\mathcal{F}}(G) \le r(K_r, \mathcal{F^*})γ(G)$, where $\mathcal{F^*}$ is the set of graphs not in $\mathcal{F}$. Specializing to $K_q$-free graphs, we show $α_{\mathcal{F}}(G) \le (r(K_q, K_r) - 1)γ(G)$. Finally, for the \emph{$k$-independence number} $α_k(G)$, we prove that if $G$ is $K_{1,r}$-free with order $n$ and minimum degree $δ\ge k+1$, \[ α_k(G) \le \left( \frac{(r-1)(k+1)}{δ- k + (r-1)(k+1)} \right) n, \] and this bound is sharp for all parameters.
The log concavity of two graphical sequences
We show that the large Cartesian powers of any graph have log-concave valencies with respect to a ffxed vertex. We show that the series of valencies of distance regular graphs is log-concave, thus improving on a result of (Taylor, Levingston, 1978). Consequences for strongly regular graphs, two-weight codes, and completely regular codes are derived. By P-Q duality of association schemes the series of multiplicities of Q-polynomial association schemes is shown, under some assumption, to be log-concave.
Quadratic Embedding Constants of Strongly Regular Graphs
Published
• View Publication
• BIB
We obtain an explicit formula for the quadratic embedding constant (QEC) of a strongly regular graph $\mathrm{srg}(n,k,λ,μ)$ with $μ\ge1$. By using QEC we give a necessary and sufficient condition for a strongly regular graph to admit a quadratic embeddingin a Euclidean space.
Bounds and Optimal Results for the Total Irregularity Measure
Published
• View Publication
• BIB
A (molecular) graph in which all vertices have the same degree is known as a regular graph. According to Gutman, Hansen, and Mélot [J. Chem. Inf. Model. 45 (2005) 222-230], it is of interest to measure the irregularity of nonregular molecular graphs both for descriptive purposes and for QSAR/QSPR studies. The graph invariants that can be used to measure the irregularity of graphs are referred to as irregularity measures. One of the well-studied irregularity measures is the ``total irregularity'' measure, which was introduced about a decade ago. Bounds and optimization problems for this measure have already been extensively studied. A considerable number of existing results (concerning this measure) also hold for molecular graphs; particularly, the ones regarding lower bounds and minimum values of the mentioned measure. The primary objective of the present review article is to collect the existing bounds and optimal results concerning the total irregularity measure. Several open problems related to the existing results on the total irregularity measure are also given.
A Fano framework for embeddings of graphs in surfaces
We consider seven fundamental properties of cellular embeddings of graphs in compact surfaces, and show that each property can be associated with a point of the Fano plane $F$, in such a way that allowable combinations of properties correspond to projective subspaces of $F$. This Fano framework allows us to deduce a number of implications involving the seven properties, providing new results and unifying existing ones. For each property, we provide a correspondence between embeddings with that property and an associated structure for $4$-regular graphs, using the medial graph of the graph embedding. We apply this to characterize when a graph embedding has a twisted dual with one of the properties. For each allowable combination of properties, we show that a graph embedding with these properties exists. We investigate connections between the seven properties and three weaker `Eulerian' properties. Our proofs involve parity conditions on closed walks in an extended version of the `gem' (graph-encoded map) representation of a graph embedding.
Ramanujan Property and Edge Universality of Random Regular Graphs
We consider the normalized adjacency matrix of a random $d$-regular graph on $N$ vertices with any fixed degree $d\geq 3$ and denote its eigenvalues as $λ_1=d/\sqrt{d-1}\geq λ_2\geqλ_3\cdots\geq λ_N$. We establish the following two results as $N\rightarrow \infty$. (i) With high probability, all eigenvalues are optimally rigid, up to an additional $N^{{\rm o}(1)}$ factor. Specifically, the fluctuations of bulk eigenvalues are bounded by $N^{-1+{\rm o}(1)}$, and the fluctuations of edge eigenvalues are bounded by $N^{-2/3+{\rm o}(1)}$. (ii) Edge universality holds for random $d$-regular graphs. That is, the distributions of $λ_2$ and $-λ_N$ converge to the Tracy-Widom$_1$ distribution associated with the Gaussian Orthogonal Ensemble. As a consequence, for sufficiently large $N$, approximately $69\%$ of $d$-regular graphs on $N$ vertices are Ramanujan, meaning $\max\{λ_2,|λ_N|\}\leq 2$.
Tree tilings in random regular graphs
We show that for every $ε>0$ there exists a sufficiently large $d_0\in \mathbb{N}$ such that for every $d\ge d_0$, whp the random $d$-regular graph $G(n,d)$ contains a $T$-factor for every tree $T$ on at most $(1-ε)d/\ln d$ vertices. This is best possible since, for large enough integer $d$, whp $G(n,d)$ does not contain a $\frac{(1+ε)d}{\ln d}$-star-factor. Our method gives a randomised algorithm which whp finds said $T$-factor and whose expected running time is $O(n^{1+o(1)})$, as well as an efficient deterministic counterpart.
On the occupancy fraction of the antiferromagnetic Ising model
We study the maximum and minimum occupancy fraction of the antiferromagnetic Ising model in regular graphs. The minimizing problem is known to determine a computational threshold in the complexity of approximately sampling from the Ising model at a given magnetization, and our results determine this threshold for nearly the entire relevant parameter range in the case $Δ=3$. A small part of the parameter range lies outside the reach of our methods, and it seems challenging to extend our techniques to larger $Δ$.
Diameter bounds for distance-regular graphs via long-scale Ollivier Ricci curvature
Published
• View Publication
• BIB
In this paper, we derive new sharp diameter bounds for distance regular graphs, which better answer a problem raised by Neumaier and Penji\' c in many cases. Our proof is built upon a relation between the diameter and long-scale Ollivier Ricci curvature of a graph, which can be considered as an improvement of the discrete Bonnet-Myers theorem. Our method further leads to significant improvements of existing diameter bounds for amply regular graphs and $(s,c,a,k)$-graphs.
Uniquely $C_{4}^{+}$-saturated graphs
Published
• View Publication
• BIB
A graph $G$ is uniquely $H$-saturated if it contains no copy of a graph $H$ as a subgraph, but adding any new edge into $G$ creates exactly one copy of $H$. Let $C_{4}^{+}$ be the diamond graph consisting of a $4$-cycle $C_{4}$ with one chord and $C_{3}^{*}$ be the graph consisting of a triangle with a pendant edge. In this paper we prove that a nontrivial uniquely $C_{4}^{+}$-saturated graph $G$ has girth $3$ or $4$. Further, $G$ has girth $4$ if and only if it is a strongly regular graph with special parameters. For $n>18k^{2}-24k+10$ with $k\geq2$, there are no uniquely $C_{4}^{+}$-saturated graphs on $n$ vertices with $k$ triangles. In particular, $C_{3}^{*}$ is the only nontrivial uniquely $C_{4}^{+}$-saturated graph with one triangle, and there are no uniquely $C_{4}^{+}$-saturated graphs with two, three or four triangles.
Construction of directed strongly regular graphs via their orbit matrices and genetic algorithm
In this paper, we introduce orbit matrices of directed strongly regular graphs (DSRGs). Further, we propose a method of constructing directed strongly regular graphs with prescribed automorphism group using genetic algorithm. In the construction, we use orbit matrices, i.e. quotient matrices related to equitable partitions of adjacency matrices of putative directed strongly regular graphs induced by an action of a prescribed automorphism group. Further, we apply this method to construct directed strongly regular graphs with parameters $(36,10,5,2,3)$, $(52,12,3,2,3)$, $(52,15,6,5,6)$, $(55,20,8,6,8)$ and $(55,24,12,11,10)$.
Constructions of minimally $t$-tough regular graphs
Published
• View Publication
• BIB
A non-complete graph $G$ is said to be $t$-tough if for every vertex cut $S$ of $G$, the ratio of $|S|$ to the number of components of $G-S$ is at least $t$. The toughness $τ(G)$ of the graph $G$ is the maximum value of $t$ such that $G$ is $t$-tough. A graph $G$ is said to be minimally $t$-tough if $τ(G)=t$ and $τ(G-e)<t$ for every $e\in E(G)$. In 2003, Kriesell conjectured that every minimally $1$-tough graph contains a vertex of degree $2$. In 2018, Katona and Varga generalized this conjecture, asserting that every minimally $t$-tough graph contains a vertex of degree $\lceil 2t \rceil$. Recently, Zheng and Sun disproved the generalized Kriesell conjecture by constructing a family of $4$-regular graphs of even order. They also raised the question of whether there exist other minimally $t$-tough regular graphs that do not satisfy the generalized Kriesell conjecture. In this paper, we provide an affirmative answer by constructing a family of $4$-regular graphs of odd order, as well as a family of 6-regular graphs of order $3k+1~(k\geq 5)$.