arXiv++ Combinatorics

Let $G=\big{(}V(G),E(G)\big{)}$ be a graph with minimum degree $k$. A subset $S\subseteq V(G)$ is called a total $k$-dominating set if every vertex in $G$ has at least $k$ neighbors in $S$. Two disjoint sets $A,B\subset V(G)$ form a total $k$-coalition in $G$ if none of them is a total $k$-dominating set in $G$ but their union $A\cup B$ is a total $k$-dominating set. A vertex partition $Ω=\{V_{1},\ldots,V_{|Ω|}\}$ of $G$ is a total $k$-coalition partition if each set $V_{i}$ forms a total $k$-coalition with another set $V_{j}$. The total $k$-coalition number ${\rm TC}_{k}(G)$ of $G$ equals the maximum cardinality of a total $k$-coalition partition of $G$. In this paper, the above-mentioned concept are investigated from combinatorial points of view. Several sharp lower and upper bounds on ${\rm TC}_{k}(G)$ are proved, where the main emphasis is given on the invariant when $k=2$. As a consequence, the exact values of ${\rm TC}_2(G)$ when $G$ is a cubic graph or a $4$-regular graph are obtained. By using similar methods, an open question posed by Henning and Mojdeh regarding double coalition is answered. Moreover, ${\rm TC}_3(G)$ is determined when $G$ is a cubic graph.

Let $D(G)$ denote the distance matrix of a connected graph $G$ with $n$ vertices. The distance spectral gap of a graph $G$ is defined as $δ_{D^G} = ρ_1 - ρ_2$, where $ρ_1$ and $ρ_2$ represent the largest and second largest eigenvalues of $D(G)$, respectively. For a $k$-transmission regular graph $G$, the second smallest eigenvalue of the distance Laplacian matrix equals the distance spectral gap of $G$. In this article, we obtain some upper and lower bounds for the distance spectral gap of a graph in terms of the sum of squares of its distance eigenvalues. Additionally, we provide some bounds for the distance eigenvalues and distance energy of graphs. Furthermore, we construct new families of non $D$-cospectral $D$-equienergetic graphs with diameters of $3$ and $4$.

Local Irregularity Conjecture states that every simple connected graph, except special cacti, can be decomposed into at most three locally irregular graphs, i.e., graphs in which adjacent vertices have different degrees. The connected minimization problem, finding the minimum number $k$ such that a graph can be decomposed into $k$ locally irregular graphs, is known to be NP-hard in general (Baudon, Bensmail, and Sopena, 2015). This naturally raises interest in the study of related problems. Among others, the concept of local irregularity was defined for digraphs in several different ways. In this paper we present the following new methods of defining a locally irregular digraph. The first one, weak local irregularity, is based on distinguishing adjacent vertices by indegree-outdegree pairs, and the second one, strong local irregularity, asks for different balanced degrees (i.e., difference between the outdegree and the indegree of a vertex) of adjacent vertices. For both of these irregularities, we define locally irregular decompositions and colorings of digraphs. We discuss relation of these concept to others, which were studied previously, and provide related conjectures on the minimum number of colors in weak and strong locally irregular colorings. We support these conjectures with new results, using the chromatic and structural properties of digraphs and their skeletons (Eulerian and symmetric digraphs, orientations of regular graphs, cacti, etc.).

The complexity of a graph is the number of its labeled spanning trees. It is demonstrated that the seven known triangle-free strongly regular graphs, such as the Higman-Sims graph, are graphs of maximal complexity among all graphs of the same order and degree; their complements are shown to be of minimal complexity. A generalization to nearly regular graphs with two distinct eigevalues of the Laplacian is presented. Conjectures and applications of these results to biological problems on neuronal activity are described.

Among the seven known (non-degenerate) triangle-free strongly regular graphs, we prove that the Clebsch graph describes a matrix with exactly two distinct eigenvalues while five of the graphs do not. In showing that the minimum number of distinct eigenvalues of the Sims-Gewirtz graph is three, we answer a recently stated open question.

Within biology, it is of interest to construct DNA complexes of a certain shape. These complexes can be represented through graph theory, using edges to model strands of DNA joined at junctions, represented by vertices. Because guided construction is inefficient, design strategies for DNA self-assembly are desirable. In the flexible tile model, branched DNA molecules are referred to as tiles, each consisting of flexible unpaired cohesive ends with the ability to form bond-edges. We thus consider the minimum number of tile and bond-edge types necessary to construct a graph $G$ (i.e. a target structure) without allowing the formation of graphs of lesser order, or nonisomorphic graphs of equal order. We emphasize the concept of (un)swappable graphs, establishing lower bounds for unswappable graphs. We also introduce a method of establishing upper bounds via vertex covers. We apply both of these methods to prove new bounds on rook's graphs and Kneser graphs.

This paper deals with finite cubic ($3$-regular) graphs whose automorphism group acts transitively on the edges of the graph. Such graphs split into two broad classes, namely arc-transitive and semisymmetric cubic graphs, and then these divide respectively into $7$ types (according to a classification by Djoković and Miller (1980)) and $15$ types (according to a classification by Goldschmidt(1980)), in terms of certain group amalgams. Such graphs of small order were previously known up to orders $2048$ and $768$, respectively, and we have extended each of the two lists of all such graphs up to order $10000$. Before describing how we did that, we carry out an analysis of the $22$ amalgams, to show which of the finitely-presented groups associated with the $15$ Goldschmidt amalgams can be faithfully embedded in one or more of the other $21$ (as subgroups of finite index), complementing what is already known about such embeddings of the $7$ Djoković-Miller groups in each other. We also give an example of a graph of each of the $22$ types, and in most cases, describe the smallest such graph, and we then use regular coverings to prove that there are infinitely many examples of each type. Finally, we discuss the asymptotic enumeration of the graph orders, proving that if $f_{\mathcal C}(n)$ is the number of cubic edge-transitive graphs of type ${\mathcal C}$ on at most $n$ vertices, then there exist positive real constants $a$ and $b$ and a positive integer $n_0$ such that $n^{a \log(n)} \le f_{\mathcal C}(n) \le n^{b \log(n)}$ for all $\ n\ge n_0$.

We construct two families of strongly regular Cayley graphs, or equivalently, partial difference sets, based on elementary abelian groups. The parameters of these two families are generalizations of the Denniston and the dual Denniston parameters, in contrast to the well known Latin square type and negative Latin square type parameters. The two families unify and subsume a number of existing constructions which have been presented in various contexts such as strongly regular graphs, partial difference sets, projective sets, and projective two-weight codes, notably including Denniston's seminal construction concerning maximal arcs in classical projective planes with even order. Our construction generates further momentum in this area, which recently saw exciting progress on the construction of the analogue of the famous Denniston partial difference sets in odd characteristic.

The complexity of a graph is the number of its labeled spanning trees. In this work complexity is studied in settings that admit regular graphs. An exact formula is established linking complexity of the complement of a regular graph to numbers of closed walks in the graph by way of an infinite alternating series. Some consequences of this result yield infinite classes of lower and upper bounds on the complexity of such graphs. Applications of these mathematical results to biological problems on neuronal activity are described.

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.

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$.

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.

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.

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 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.

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.

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.

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.

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.

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.