arXiv++ Combinatorics

This paper introduces the concept of compliant vertices and compliant graphs, with a focus on the total domination degree (TDD) of a vertex in compliant graphs. The TDD is systematically calculated for various graph classes, including path graphs, cycles, book graphs, windmill graphs, wheel graphs, complete graphs, and complete bipartite graphs. The study explores inequalities involving TDD and defines total domination regular graphs. Furthermore, the TDD is analyzed in several graph operations such as union, join, composition, and corona, with a discussion on the property of the resulting graphs. The paper also examines the subdivision of complete graphs and degree splitting of path graphs. In the subsequent section, the total domination index (TDI) is introduced, and its values are calculated for different graph classes. The study concludes with bounds for the TDI across these graph classes.

For a simple graph $G$, the complement and the line graph of $G$ are denoted by $G^c$ and $L(G)$, respectively. In this paper, we show that for every simple connected regular graph $G$ with at least $5$ vertices, the graph $\mathcal{R}(G):=L(L(G)^c)^c$ is a Ramanujan graph with diameter at most three.

Polar spaces over finite fields are fundamental in combinatorial geometry. The concept of polar space was firstly introduced by F. Veldkamp who gave a system of 10 axioms in the spirit of Universal Algebra. Later the axioms were simplified by J. Tits, who introduced the concept of subspaces. Later on, from the point of view of incidence geometry, axioms of polar spaces were also given by F. Buekenhout and E. Shult in 1974. The reader can find the three systems of axioms of polar spaces in Appendix A. Examples of polar spaces are the so called Finite classical polar spaces, i.e. incidence structures arising from quadrics, symplectic spaces and Hermitian varieties, which are in correspondance with reflexive sesquilinear forms. It is still an open problem to show whether or not classical polar spaces are the only example of finite polar spaces. Nowadays, some research problems related to finite classical polar space are: existence of spreads and ovoids; existence of regular systems and $m$-ovoids; upper or lower bounds on partial spreads and partial ovoids. Moreover, polar spaces are in relation with combinatorial objects as regular graphs, block designs and association schemes. In this Ph.D. Thesis we investigate the geometry of finite classical polar spaces, giving contributions to the above problems. The thesis is organized as follows. Part I is more focused on the geometric aspects of polar spaces, while in Part II some combinatorial objects are introduced such as regular graphs, association schemes and combinatorial designs. Finally Appendix B, C and D are dedicated to give more details on, respectively, maximal curves, linear codes and combinatorial designs, giving useful results and definitions.

A regular-graph design is a block design for which a pair $\{a,b\}$ of distinct points occurs in $λ+1$ or $λ$ blocks depending on whether $\{a,b\}$ is or is not an edge of a given $δ$-regular graph. Our paper describes a specific construction for regular-graph designs with $λ= 1$ and block size $δ+ 1$. We show that for $δ\in \{2,3\}$, certain necessary conditions for the existence of such a design with $n$ points are sufficient, with two exceptions in each case and two possible exceptions when $δ= 3$. We also construct designs of orders 105 and 117 for connected 4-regular graphs.

The existence of $srg(99,14,1,2)$ has been a question of interest for several decades to the moment. In this paper we consider the structural properties in general for the family of strongly regular graphs with parameters $λ=1$ and $μ=2$. In particular, we establish the lower bound for the number of hexagons and, by doing that, we show the connection between the existence of the aforementioned graph and the number of its hexagons.

We prove a conjecture of Bonini et al. on the precise values of the Lin--Lu--Yau curvature of conference graphs, i.e., strongly regular graphs with parameters $(4γ+1,2γ,γ-1,γ)$. Our method depends only on the parameter relations and applies to broader classes of amply regular graphs. In particular, we develop a new combinatorial approach to show the existence of local perfect matchings. A key observation is that counting common neighbors leads to useful quadratic polynomials. As a corollary, we derive an interesting number-theoretic result concerning quadratic residues.

This paper presents a possible link between Cages and Expander Graphs by introducing three interconnected variants of the Bermond and Bollobás Conjecture, originally formulated in 1981 within the context of the Degree/Diameter Problem. We adapt these conjectures to cages, with the most robust variant posed as follows: Does there exist a constant $c$ such that for every pair of parameters $(k,g)$ there exists a $k$-regular graph of girth $g$ and order not exceeding $ M(k,g) + c $?; where $M(k,g)$ denotes the value of the so-called Moore bound for cages. We show that a positive answer to any of the three variants of the Bermond and Bollobás Conjecture for cages considered in our paper would yield expander graphs (expander families); thereby establishing a connection between Cages and Expander Graphs.

The logarithm of the number of Eulerian orientations, normalised by the number of vertices, is known as the residual entropy in studies of ice-type models on graphs. The spanning tree entropy depends similarly on the number of spanning trees. We demonstrate and investigate a remarkably strong, though non-deterministic, correlation between these two entropies. This leads us to propose a new heuristic estimate for the residual entropy of regular graphs that performs much better than previous heuristics. We also study the expansion properties and residual entropy of random graphs with given degrees.

Let $G$ be a simple graph and let $L(G)$ denote the \emph{line graph} of $G$. A \emph{$p$-independent} set in $G$ is a set of vertices $S \subseteq V(G)$ such that the subgraph induced by $S$ has maximum degree at most $p$. The \emph{$p$-independence number} of $G$, denoted by $α_p(G)$, is the cardinality of a maximum $p$-independent set in $G$. In this paper, and motivated by the recent result that independence number is at most matching number for regular graphs~\cite{CaDaPe2020}, we investigate which values of the non-negative integers $p$, $q$, and $r$ have the property that $α_p(G) \leq α_q(L(G))$ for all r-regular graphs. Triples $(p, q, r)$ having this property are called \emph{valid $α$-triples}. Among the results we prove are: \begin{itemize} \item $(p, q, r)$ is valid $α$-triple for $p \geq 0$, $q \geq 3$ , and $r\geq 2$. \item $(p, q, r)$ is valid $α$-triple for $p \leq q < 3$ and $r\geq 2$. \item $(p, q, r)$ is valid $α$-triple for $p \geq 0$, $q = 2$, and $r$ even. \item $(p, q, r)$ is valid $α$-triple for $p \geq 0$, $q = 2$, and $r$ odd with $r = \max \Big \{ 3, \frac{17(p+1)}{16}\Big \}$. \end{itemize} We also show a close relation between undetermined possible valid $α$-triples, the Linear Aboricity Conjecture, and the Path-Cover Conjecture.

Let $G$ be a graph of maximum degree $Δ$ which does not contain isolated vertices. An edge coloring $c$ of $G$ is called conflict-free if each edge's closed neighborhood includes a uniquely colored element. The least number of colors admitting such $c$ is called the conflict-free chromatic index of $G$ and denoted $χ'_{\rm CF}(G)$. It is known that in general $χ'_{\rm CF}(G)\leq 3 \lceil \log_2Δ\rceil+1$, while there is a family of graphs, e.g. the complete graphs, for which $χ'_{\rm CF}(G)\geq (1-o(1))\log_2Δ$. In the present paper we provide the asymptotically tight upper bound $χ'_{\rm CF}(G)\leq (1+o(1))\log_2Δ$ for regular and nearly regular graphs, which in particular implies that the same bound holds a.a.s. for a random graph $G=G(n,p)$ whenever $p\gg n^{-\varepsilon}$ for any fixed constant $\varepsilon\in (0,1)$. Our proof is probabilistic and exploits classic results of Hall and Berge. This was inspired by our approach utilized in the particular case of complete graphs, for which we give a more specific upper bound. We also observe that almost the same bounds hold in the open neighborhood regime.

A graph is called equimatchable if all of its maximal matchings have the same size. Due to Eiben and Kotrbčík,, any connected graph with odd order and independence number $α(G)$ at most $2$ is equimatchable. Akbari et al. showed that for any odd number $r$, a connected equimatchable $r$-regular graph must be either the complete graph $K_{r+1}$ or the complete bipartite graph $K_{r,r}$. They also determined all connected equimatchable $4$-regular graphs and proved that for any even $r$, any connected equimatchable $r$-regular graph is either $K_{r,r}$ or factor-critical. In this paper, we confirm that for any even $r\ge 6$, there exists a unique connected equimatchable $r$-regular graph $G$ with $α(G)\geq 3$ and odd order.

A vertex-girth-regular $vgr(v,k,g,λ)$-graph is a $k$-regular graph of girth $g$ and order $v$ in which every vertex belongs to exactly $λ$ cycles of length $g$. While all vertex-transitive graphs are necessarily vertex-girth-regular, the majority of vertex-girth-regular graphs are not vertex-transitive. Similarly, while many of the smallest $k$-regular graphs of girth $g$, the so-called $(k,g)$-cages, are vertex-girth-regular, infinitely many vertex-girth-regular graphs of degree $k$ and girth $g$ exist for many pairs $k,g$. Due to these connections, the study of vertex-girth-regular graphs promises insights into the relations between the classes of extremal, highly symmetric, and locally regular graphs of given degree and girth. This paper lays the foundation to such study by investigating the fundamental properties of $vgr(v,k,g,λ)$-graphs, specifically the relations necessarily satisfied by the parameters $v,k,g$ and $λ$ to admit the existence of a corresponding vertex-girth-regular graph, by presenting constructions of infinite families of $vgr(v,k,g,λ)$-graphs, and by establishing lower bounds on the number $v$ of vertices in a $vgr(v,k,g,λ)$-graph. It also includes computational results determining the orders of smallest cubic and quartic graphs of small girths.

We derive the asymptotic expansion (asymptotics with an arbitrary number of error terms) of k-regular graphs by applying the Laplace method on a recent exact formula from Caizergues and de Panafieu (2023). We also deduce the asymptotic expansion of connected k-regular graphs using standard techniques for divergent series developed by Wright (1970) and Bender (1975), and quantify its closeness to the asymptotic expansion of k-regular graphs.

The purpose of this paper is to analyze the degree index and clustering index in random graphs. The degree index in our setup is a certain measure of degree irregularity whose basic properties are well studied in the literature, and the corresponding theoretical analysis in a random graph setup turns out to be tractable. On the other hand, the clustering index, based on a similar reasoning, is first introduced in this manuscript. Computing exact expressions for the expected clustering index turns out to be more challenging even in the case of Erdős-Rényi graphs, and our results are on obtaining relevant upper bounds. These are also complemented with observations based on Monte Carlo simulations. Besides the Erdős-Rényi case, we also do simulation-based analysis for random regular graphs, the Barabási-Albert model and the Watts-Strogatz model.

It is known that null graphs and 1-regular graphs are the only regular graphs without local antimagic chromatic number. In this paper, we use matrices of size $(2m+1) \times (2k+1)$ to completely determine the local antimagic chromatic number of the join of null graphs, $O_m, m\ge 1,$ and 1-regular graphs of odd components, $(2k+1)P_2$, $k\ge 1$. Consequently, we obtained infinitely many (possibly disconnected or regular) tripartite graphs with local antimagic chromatic number 3.

In this paper, we investigate the Bartholdi zeta function on a connected simple digraph with $n_V$ vertices and $n_E$ edges. We derive a functional equation for the Bartholdi zeta function $ζ_G(q,u)$ on a regular graph $G$ with respect to the bump parameter $u$. We also find an equivalence between the Bartholdi zeta function with a specific value of $u$ and the Ihara zeta function at $u=0$. We determine bounds of the critical strip of $ζ_G(q,u)$ for a general graph. If $G$ is a $(t+1)$-regular graph, the bounds are saturated and $q=(1-u)^{-1}$ and $q=(t+u)^{-1}$ are the poles at the boundaries of the critical strip for $u\ne 1, -t$. When $G$ is the regular graph and the spectrum of the adjacency matrix satisfies a certain condition, $ζ_G(q,u)$ satisfies the so-called Riemann hypothesis. For $u \ne 1$, $q=\pm(1-u)^{-1}$ are poles of $ζ_G(q,u)$ unless $G$ is tree. Although the order of the pole at $q=(1-u)^{-1}$ is $n_E-n_V+1$ if $u\ne u_* \equiv 1-\frac{n_E}{n_V}$, it is enhanced at $u=u_*$. In particular, if the Moore-Penrose inverse of the incidence matrix $L^+$ and the degree vector $\vec{d}$ satisfy the condition $|L^+ \vec{d}|^2\ne n_E$, the order of the pole at $q=(1-u)^{-1}$ increases only by one at $u=u_*$. The order of the pole at $q=-(1-u)^{-1}$ coincides with that at $q=(1-u)^{-1}$ if $G$ is bipartite and is $n_E-n_V$ otherwise.

We provide sufficient conditions for a regular graph $G$ of growing degree $d$, guaranteeing a phase transition in its random subgraph $G_p$ similar to that of $G(n,p)$ when $p\cdot d\approx 1$. These conditions capture several well-studied graphs, such as (percolation on) the complete graph $K_n$, the binary hypercube $Q^d$, $d$-regular expanders, and random $d$-regular graphs. In particular, this serves as a unified proof for these (and other) cases. Suppose that $G$ is a $d$-regular graph on $n$ vertices, with $d=ω(1)$. Let $ε>0$ be a small constant, and let $p=\frac{1+ε}{d}$. Let $y(ε)$ be the survival probability of a Galton-Watson tree with offspring distribution Po$(1+ε)$. We show that if $G$ satisfies a (very) mild edge expansion requirement, and if one has fairly good control on the expansion of small sets in $G$, then typically the percolated random subgraph $G_p$ contains a unique giant component of asymptotic order $y(ε)n$, and all the other components in $G_p$ are of order $O(\log n/ε^2)$. We also show that this result is tight, in the sense that if one asks for a slightly weaker control on the expansion of small sets in $G$, then there are $d$-regular graphs $G$ on $n$ vertices, where typically the second largest component is of order $Ω(d\log (n/d))=ω(\log n)$. This is the first of a two-part sequence of papers. In the subsequent work, we consider supercritical percolation on regular graphs of constant degree, and establish similar sufficient (and essentially tight) conditions in that setting.

Let $d\ge 3$ be a fixed integer. Let $y:= y(p)$ be the probability that the root of an infinite $d$-regular tree belongs to an infinite cluster after $p$-bond-percolation. We show that for every constants $b,α>0$ and $1<λ< d-1$, there exist constants $c,C>0$ such that the following holds. Let $G$ be a $d$-regular graph on $n$ vertices, satisfying that for every $U\subseteq V(G)$ with $|U|\le \frac{n}{2}$, $e(U,U^c)\ge b|U|$ and for every $U\subseteq V(G)$ with $|U|\le \log^Cn$, $e(U)\le (1+c)|U|$. Let $p=\fracλ{d-1}$. Then, with probability tending to one as $n$ tends to infinity, the largest component $L_1$ in the random subgraph $G_p$ of $G$ satisfies $\left|1-\frac{|L_1|}{yn}\right|\le α$, and all the other components in $G_p$ are of order $O\left(\frac{λ\log n}{(λ-1)^2}\right)$. This generalises (and improves upon) results for random $d$-regular graphs.

Given a graph $G$, a mutual-visibility coloring of $G$ is introduced as follows. We color two vertices $x,y\in V(G)$ with a same color, if there is a shortest $x,y$-path whose internal vertices have different colors than $x,y$. The smallest number of colors needed in a mutual-visibility coloring of $G$ is the mutual-visibility chromatic number of $G$, which is denoted $χ_μ(G)$. Relationships between $χ_μ(G)$ and its two parent ones, the chromatic number and the mutual-visibility number, are presented. Graphs of diameter two are considered, and in particular the asymptotic growth of the mutual-visibility number of the Cartesian product of complete graphs is determined. A greedy algorithm that finds a mutual-visibility coloring is designed and several possible scenarios on its efficiency are discussed. Several bounds are given in terms of other graph parameters such as the diameter, the order, the maximum degree, the degree of regularity of regular graphs, and/or the mutual-visibility number. For the corona products it is proved that the value of its mutual-visibility chromatic number depends on that of the first factor of the product. Graphs $G$ for which $χ_μ(G)=2$ are also considered.

A set $V$ is said to be separated by subsets $V_1,\ldots,V_k$ if, for every pair of distinct elements of $V$, there is a set $V_i$ that contains exactly one of them. Imposing structural constraints on the separating subsets is often necessary for practical purposes and leads to a number of fascinating (and, in some cases, already classical) graph-theoretic problems. In this work, we are interested in separating the vertices of a random graph by path-connected vertex sets $V_1,\ldots,V_k$, jointly forming a separating system. First, we determine the size of the smallest separating system of $G(n,p)$ when $np\to \infty$ up to lower order terms, and exhibit a threshold phenomenon around the sharp threshold for connectivity. Second, we show that random regular graphs of sufficiently high degree can typically be optimally separated by $\lceil \log_2 n\rceil$ sets. Moreover, we provide bounds for the minimum degree threshold for optimal separation of general graphs.