arXiv++ Combinatorics

We present an exclusion process based approach for sampling densest $k$-sub-graphs from regular graphs $L$ with connected complement. By interpreting an exclusion process as a Markov chain on a corresponding Token Graph $\mathfrak{L}_k$, we make use of classical Markov chain theory to obtain quantitative bounds on the convergence speed depending on the geometry of $L$, which are sharp in the sens that variations in the valency lead to an equality, which is $1$, for the geometric bounds in the case of a complete graph. We propose an algorithm which makes use of this particle view to avoid excessive memory use due to the state space size and discuss the regularity and connectivity condition on $L$ and $L^c$ in the Outlook.

Let $d\geq 3$ be a constant and let $F$ be a $d$-regular graph on $[n]$ with not too many symmetries. By the union bound, the probability threshold for the existence of a spanning subgraph in $G(n,p)$ isomorphic to $F$ is at least $p^*(n)=(1+o(1))(e/n)^{2/d}$. We give a tight bound on the edge expansion of $F$ guaranteeing that the probability threshold for the appearance of a copy of $F$ has the same order of magnitude as $p^*$. We also prove that, within a slight strengthening of this bound, the probability threshold is asymptotically equal to $p^*$. In particular, it proves the conjecture of Kahn, Narayanan and Park on a sharp threshold for the containment of a square of a Hamilton cycle. It also implies that, for $d\geq 4$ and (asymptotically) almost all $d$-regular graphs $F$ on $[n]$, $p(n)=(e/n)^{2/d}$ is a sharp threshold for $F$-containment.

This paper provides new observations on the Lovász $θ$-function of graphs. These include a simple closed-form expression of that function for all strongly regular graphs, together with upper and lower bounds on that function for all regular graphs. These bounds are expressed in terms of the second-largest and smallest eigenvalues of the adjacency matrix of the regular graph, together with sufficient conditions for equalities (the upper bound is due to Lovász, followed by a new sufficient condition for its tightness). These results are shown to be useful in many ways, leading to the determination of the exact value of the Shannon capacity of various graphs, eigenvalue inequalities, and bounds on the clique and chromatic numbers of graphs. Since the Lovász $θ$-function factorizes for the strong product of graphs, the results are also particularly useful for parameters of strong products or strong powers of graphs. Bounds on the smallest and second-largest eigenvalues of strong products of regular graphs are consequently derived, expressed as functions of the Lovász $θ$-function (or the smallest eigenvalue) of each factor. The resulting lower bound on the second-largest eigenvalue of a $k$-fold strong power of a regular graph is compared to the Alon--Boppana bound; under a certain condition, the new bound is superior in its exponential growth rate (in $k$). Lower bounds on the chromatic number of strong products of graphs are expressed in terms of the order and the Lovász $θ$-function of each factor. The utility of these bounds is exemplified, leading in some cases to an exact determination of the chromatic numbers of strong products or strong powers of graphs. The present research paper is aimed to have tutorial value as well.

A full-homomorphism between a pair of graphs is a vertex mapping that preserves adjacencies and non-adjacencies. For a fixed graph $H$, a full $H$-colouring is a full-homomorphism of $G$ to $H$. A minimal $H$-obstruction is a graph that does not admit a full $H$-colouring, such that every proper induced subgraph of $G$ admits a full $H$-colouring. Feder and Hell proved that for every graph $H$ there is a finite number of minimal $H$-obstructions. We begin this work by describing all minimal obstructions of paths. Then, we study minimal obstructions of regular graphs to propose a description of minimal obstructions of cycles. As a consequence of these results, we observe that for each path $P$ and each cycle $C$, the number of minimal $P$-obstructions and $C$-obstructions is $\mathcal{O}(|V(P)|^2)$ and $\mathcal{O}(|V(C)|^2)$, respectively. Finally, we propose some problems regarding the largest minimal $H$-obstructions, and the number of minimal $H$-obstructions.

Let $n\geq 1$ and $X_{n}$ be the random variable representing the size of the smallest component of a random combinatorial object made of $n$ elements. A combinatorial object could be a permutation, a monic polynomial over a finite field, a surjective map, a graph, and so on. By a random combinatorial object, we mean a combinatorial object that is chosen uniformly at random among all possible combinatorial objects of size $n$. It is understood that a component of a permutation is a cycle, an irreducible factor for a monic polynomial, a connected component for a graph, etc. Combinatorial objects are categorized into parametric classes. In this article, we focus on the exp-log class with parameter $K=1$ (permutations, derangements, polynomials over finite field, etc.) and $K=1/2$ (surjective maps, $2$-regular graphs, etc.) The generalized Buchstab function $Ω_{K}$ plays an important role in evaluating probabilistic and statistical quantities. For $K=1$, Theorem $5$ from \cite{PanRic_2001_small_explog} stipulates that $\mathrm{Var}(X_{n})=C(n+O(n^{-ε}))$ for some $ε>0$ and sufficiently large $n$. We revisit the evaluation of $C=1.3070\ldots$ using different methods: analytic estimation using tools from complex analysis, numerical integration using Taylor expansions, and computation of the exact distributions for $n\leq 4000$ using the recursive nature of the counting problem. In general for any $K$, Theorem $1.1$ from \cite{BenMasPanRic_2003} connects the quantity $1/Ω_{K}(x)$ for $x\geq 1$ with the asymptotic proportion of $n$-objects with large smallest components. We show how the coefficients of the Taylor expansion of $Ω_{K}(x)$ for $\lfloor x\rfloor \leq x < \lfloor x\rfloor+1$ depends on those for $\lfloor x\rfloor-1 \leq x-1 < \lfloor x\rfloor$. We use this family of coefficients to evaluate $Ω_{K}(x)$.

The family of bent functions is a known class of Boolean functions, which have a great importance in cryptography. The Cayley graph defined on $\mathbb{Z}_{2}^{n}$ by the support of a bent function is a strongly regular graph $srg(v,kλ,μ)$, with $λ=μ$. In this note we list the parameters of such Cayley graphs. Moreover, it is given a condition on $(n,m)$-bent functions $F=(f_1,\ldots,f_m)$, involving the support of their components $f_i$, and their $n$-ary symmetric differences.

Given an edge-coloring of a graph $G$, we associate to every vertex $v$ of $G$ the set of colors appearing on the edges incident with $v$. The palette index of $G$ is defined as the minimum number of such distinct sets, taken over all possible edge-colorings of $G$. A graph with a small palette index admits an edge-coloring which can be locally considered to be almost symmetric, since few different sets of colors appear around its vertices. Graphs with palette index $1$ are $r$-regular graphs admitting an $r$-edge-coloring, while regular graphs with palette index $2$ do not exist. Here, we characterize all graphs with palette index either $2$ or $3$ in terms of the existence of suitable decompositions in regular subgraphs. As a corollary, we obtain a complete characterization of regular graphs with palette index $3$.

A proper vertex colouring of a graph $G$ is referred to as conflict-free if in the neighbourhood of every vertex some colour appears exactly once, while it is called $h$-conflict-free if there are at least $h$ such colours for each vertex of $G$. The least numbers of colours in such colourings of $G$ are denoted $χ_{\rm pcf}(G)$ and $χ_{\rm pcf}^h(G)$, respectively. It is known that $χ_{\rm pcf}^h(G)$ can be as large as $(h+1)(Δ+1)\approx Δ^2$ for graphs with maximum degree $Δ$ and $h$ very close to $Δ$. We provide several new upper bounds for these parameters for graphs with minimum degrees $δ$ large enough and $h$ detached from $δ$. In particular we show that $χ_{\rm pcf}^h(G)\leq (1+o(1))Δ$ if $δ\gg\lnΔ$ and $h\ll δ$, and that $χ_{\rm pcf}(G)\leq Δ+O(\ln Δ)$ for regular graphs. These specifically refer to the conjecture of Caro, Petruševski and Škrekovski that $χ_{\rm pcf}(G)\leq Δ+1$ for every connected graph $G$ of maximum degree $Δ\geq 3$, towards which they proved that $χ_{\rm pcf}(G)\leq \left\lfloor\frac{5Δ}{2}\right\rfloor$ if $Δ\geq 1$.

Aldous and Fill (2002) conjectured that the maximum relaxation time for the random walk on a connected regular graph with $n$ vertices is $(1+o(1)) \frac{3n^{2}}{2π^{2}}$. A conjecture by Guiduli and Mohar (1996) predicts the structure of graphs whose algebraic connectivity $μ$ is the smallest among all connected graphs whose minimum degree $δ$ is a given $d$. We prove that this conjecture implies the Aldous--Fill conjecture for odd $d$. We pose another conjecture on the structure of $d$-regular graphs with minimum $μ$, and show that this also implies the Aldous--Fill conjecture for even $d$. In the literature, it has been noted empirically that graphs with small $μ$ tend to have a large diameter. In this regard, Guiduli (1996) asked if the cubic graphs with maximum diameter have algebraic connectivity smaller than all others. Motivated by these, we investigate the interplay between the graphs with maximum diameter and those with minimum algebraic connectivity. We show that the answer to Guiduli problem in its general form, that is for $d$-regular graphs for every $d\ge 3$ is negative. We aim to develop an asymptotic formulation of the problem. It is proven that $d$-regular graphs for $d\ge 5$ as well as graphs with $δ=d$ for $d\ge 4$ with asymptotically maximum diameter, do not necessarily exhibit the asymptotically smallest $μ$. We conjecture that $d$-regular graphs (or graphs with $δ=d$) that have asymptotically smallest $μ$, should have asymptotically maximum diameter. The above results rely heavily on our understanding of the structure as well as optimal estimation of the algebraic connectivity of nearly maximum-diameter graphs, from which the Aldous--Fill conjecture for this family of graphs also follows.

A key issue in network reliability analysis. A graph with $n$ nodes and whose $e$ edges fail independently with probability $p$ is an \emph{Uniformly Most Reliable Graph} (UMRG) if it has the highest reliability among all graphs with the same order and size for every value of $p$. The \emph{all-terminal reliability} is a polynomial in $p$ which defines the probability of a network to remain connected if some of its components fail. If the coefficients of the reliability polynomial are maximized by a graph, that graph is called \textit{Strong Uniformly Most Reliable Graph} (SUMRG) and it should be UMRG. An exhaustive computer search of the SUMRG with vertices up to 9 is done. Regular graphs with 10 to 14 vertices that maximize tree number are proposed as candidates to UMRG. As an outstanding result a UMRG with 9 vertices and 18 edges which has girth 3 is found, so smaller than the conjectured by Boesch in 1986. A new conjecture about UMRG's topology is posed here: the $(n,e)$-UMRG is $\overline{(k-1)C_3\cup C_{3+r}}$ whenever $n=3k+r$,$n\geq5$ and $e={n(n-3)}/{2}$. A reformulation of Boesch's conjecture is presented stating that if a $(n, {kn}/{2})$-UMRG exists and it has girth $g$, then it has maximum girth among all $k$-regular $(n,{kn}/{2})$ graphs and minimum number of $g$-cycles among those $k$-regular $(n,{kn}/{2})$ graphs with girth $g$.

An antimagic labeling of a graph $G$ is a $1-1$ correspondence between the edge set $E(G)$ and $\lbrace 1,2,...,|E(G)|\rbrace$ in which the sum of the labels of edges incident to the distinct vertices are different. The edge corona of any two graphs $G$ and $H$, (denoted by $G$ $\diamond$ $H$) is obtained by joining one copy of $G$ with $|E(G)|$ copies of H such that the end vertices of $i^{th}$ edge of $G$ is adjacent to every vertex in the $i^{th}$ copy of $H$. In this paper, we provide an algorithm to prove that the following graphs admit an antimagic labeling: $-$ $n$-barbell graph $B_n$, $n\geq3$ $-$ edge corona of a bistar graph $B_{x,n}$ and a $k$-regular graph $H$ denoted by $B_{x,n}\diamond H$, $x,n\geq 2$ $-$ edge corona of a cycle $C_m$ and $C_n$ denoted by $C_m \diamond C_n$, $m,n\geq3$

Twisted hypercubes are generalizations of the Boolean hypercube, obtained by iteratively connecting two instances of a graph by a uniformly random perfect matching. Dudek et al. showed that when the two instances are independent, these graphs have optimal diameter. We study twisted hypercubes in the setting where the instances can have general dependence, and also in the particular case where they are identical. We show that the resultant graph shares properties with random regular graphs, including small diameter, large vertex expansion, a semicircle law for its eigenvalues and no non-trivial automorphisms. However, in contrast to random regular graphs, twisted hypercubes allow for short routing schemes.

We study the problem of maximizing the number of full degree vertices in a spanning tree $T$ of a graph $G$; that is, the number of vertices whose degree in $T$ equals its degree in $G$. In cubic graphs, this problem is equivalent to maximizing the number of leaves in $T$ and minimizing the size of a connected dominating set of $G$. We provide an algorithm which produces (w.h.p.) a tree with at least $0.4591n$ vertices of full degree (and also, leaves) when run on a random cubic graph. This improves the previously best known lower bound of $0.4146 n$. We also provide lower bounds on the number of full degree vertices in the random regular graph $G(n,r)$ for $r \le 10$.

In this paper we study a class of discrete quantum walks, known as bipartite walks. These include the well-known Grover's walks. Any discrete quantum walk is given by the powers of a unitary matrix $U$ indexed by arcs or edges of the underlying graph. The walk is periodic if $U^k=I$ for some positive integer $k$. Kubota has given a characterization of periodicity of Grover's walk when the walk is defined on a regular bipartite graph with at most five eigenvalues. We extend Kubota's results--if a biregular graph $G$ has eigenvalues whose squares are algebraic integers with degree at most two, we characterize periodicity of the bipartite walk over $G$ in terms of its spectrum. We apply periodicity results of bipartite walks to get a characterization of periodicity of Grover's walk on regular graphs.

Let $Q^{+}(2n-1,2)$ be a non-degenerate hyperbolic quadric of $PG(2n-1,2)$. Let $NO^{+}(2n,2)$ be the tangent graph, whose vertices are the points of $PG(2n-1,2) \setminus Q^{+}(2n-1,2)$ and two vertices $u,~v$ are adjacent if the line joining $u$ and $v$ is tangent to $Q^{+}(2n-1,2)$. Then $NO^{+}(2n-1,q)$ is a strongly regular graph. Let $\mathcal{V}^{4}_{2}$ be the \textit{Veronese surface} in $PG(5,q)$, and $\mathcal{M}^{3}_{4}$ its \textit{secant variety}. When $q=2$, $|Q^{+}(5,2)|=|\mathcal{M}^{3}_{4}|=35$. In this paper we define the graph $N\mathcal{M}^{3}_{4}$, with 28 vertices in $PG(5,2)\setminus\mathcal{M}^{3}_{4}$ and with the analogue incidence rule of the tangent graph. Such graph is isomorphic to $NO^{+}(6,2)$.

The genus of a graph is a topological invariant that measures the minimum genus of a surface on which the graph can be embedded without any edges crossing. Graph genus plays a fundamental role in topological graph theory, used to classify and study different types of graphs and their properties. We show that, for any integer $d \geq 2$, the genus of a random $d$-regular graph on $n$ nodes is $\frac{(d - 2)}{4}n(1 - \varepsilon) $ with high probability for any $\varepsilon > 0$.

In this paper we continue the study of prime graphs of finite solvable groups. The prime graph, or Gruenberg-Kegel graph, of a finite group G has vertices consisting of the prime divisors of the order of G and an edge from primes p to q if and only if G contains an element of order pq. Since the discovery of a simple, purely graph theoretical characterization of the prime graphs of solvable groups in 2015 these graphs have been studied in more detail from a graph theoretic angle. In this paper we explore several new aspects of these graphs. We characterize regular reseminant graphs and study the automorphisms of reseminant graphs for arbitrary base graphs. We then study minimal prime graphs on larger vertex sets by a novel regular graph construction for base graphs and by proving results on prime graph properties under graph products. Lastly, we present the first new way, different from vertex duplication, to obtain a new minimal prime graph from a given minimal prime graph.

Grebík and Rocha [Fractional Isomorphism of Graphons, Combinatorica 42, pp 365-404 (2022)] extended the well studied notion of fractional isomorphism of graphs to graphons. We prove that fractionally isomorphic graphons can be approximated in the cut distance by fractionally isomorphic finite graphs. This answers the main question from ibid. As an easy but convenient corollary, we deduce that every regular graphon can be approximated by regular graphs.

The Kuramoto model is fundamental to the study of synchronization. It consists of a collection of oscillators with interactions given by a network, which we identify respectively with vertices and edges of a graph. In this paper, we show that a graph with sufficient expansion must be globally synchronizing, meaning that a homogeneous Kuramoto model of identical oscillators on such a graph will converge to the fully synchronized state with all the oscillators having the same phase, for every initial state up to a set of measure zero. In particular, we show that for any $\varepsilon > 0$ and $p \geq (1 + \varepsilon) (\log n) / n$, the homogeneous Kuramoto model on the Erdős-Rényi random graph $G(n, p)$ is globally synchronizing with probability tending to one as $n$ goes to infinity. This improves on a previous result of Kassabov, Strogatz, and Townsend and solves a conjecture of Ling, Xu, and Bandeira. We also show that the model is globally synchronizing on any $d$-regular Ramanujan graph, and on typical $d$-regular graphs, for large enough degree $d$.

A graph is $\ell$-reconstructible if it is determined by its multiset of induced subgraphs obtained by deleting $\ell$ vertices. We prove that strongly regular graphs with at least six vertices are $2$-reconstructible.