arXiv++ Combinatorics

Given a set $\mathcal{F}$ of graphs, we call a copy of a graph in $\mathcal{F}$ an $\mathcal{F}$-graph. The $\mathcal{F}$-isolation number of a graph $G$, denoted by $ι(G,\mathcal{F})$, is the size of a smallest set $D$ of vertices of $G$ such that the closed neighbourhood of $D$ intersects the vertex sets of the $\mathcal{F}$-graphs contained by $G$ (equivalently, $G - N[D]$ contains no $\mathcal{F}$-graph). Thus, $ι(G,\{K_1\})$ is the domination number of $G$. Clearly, $ι(G, \mathcal{F}) \leq ι(G, \mathcal{F} \cup \mathcal{H})$. For any integer $k \geq 1$, let $\mathcal{F}_{0,k}$ be the set consisting of the $k$-star $K_{1,k}$, let $\mathcal{F}_{1,k}$ be the set of regular graphs whose degree is at least $k-1$, let $\mathcal{F}_{2,k}$ be the set of graphs whose chromatic number is at least $k$, and let $\mathcal{F}_{3,k}$ be the union $\mathcal{F}_{0,k} \cup \mathcal{F}_{1,k} \cup \mathcal{F}_{2,k}$. We prove that if $G$ is a connected $n$-vertex graph, then $ι(G, \mathcal{F}_{3,k}) \leq \frac{n}{k+1}$ unless $G$ is a $k$-clique or $k = 2$ and $G$ is a $5$-cycle. This generalizes a classical bound of Ore on the domination number, a bound of Caro and Hansberg and of Żyliński on the vertex-edge domination number, a bound of Fenech, Kaemawichanurat and the author on the $k$-clique isolation number, a bound of the author on the cycle isolation number, and a bound of Caro and Hansberg on the $\mathcal{F}_{0,k}$-isolation number. The proof features a new strategy. For $i = 1, 2, 3$, the bound $\frac{n}{k+1}$ on $ι(G, \mathcal{F}_{i,k})$ is attainable if $k+1$ divides $n$. Our second main result is that the bound $\frac{n}{k+1}$ on $ι(G, \mathcal{F}_{0,k})$ is attainable if and only if $n$ is $0$ or $k+1$ or $2(k+1)$. We pose some problems and conjectures, and establish additional intriguing phenomena concerning $k$-star isolation and $k$-cycle isolation.

Let $W(G)$ be the Wiener index of a graph $G$. We say that a vertex $v \in V(G)$ is a Šoltés vertex in $G$ if $W(G - v) = W(G)$, i.e. the Wiener index does not change if the vertex $v$ is removed. In 1991, Šoltés posed the problem of identifying all connected graphs $G$ with the property that all vertices of $G$ are Šoltés vertices. The only such graph known to this day is $C_{11}$. As the original problem appears to be too challenging, several relaxations were studied: one may look for graphs with at least $k$ Šoltés vertices; or one may look for $α$-Šoltés graphs, i.e. graphs where the ratio between the number of Šoltés vertices and the order of the graph is at least $α$. Note that the original problem is, in fact, to find all $1$-Šoltés graphs. We intuitively believe that every $1$-Šoltés graph has to be regular and has to possess a high degree of symmetry. Therefore, we are interested in regular graphs that contain one or more Šoltés vertices. In this paper, we present several partial results. For every $r\ge 1$ we describe a construction of an infinite family of cubic $2$-connected graphs with at least $2^r$ Šoltés vertices. Moreover, we report that a computer search on publicly available collections of vertex-transitive graphs did not reveal any $1$-Šoltés graph. We are only able to provide examples of large $\frac{1}{3}$-Šoltés graphs that are obtained by truncating certain cubic vertex-transitive graphs. This leads us to believe that no $1$-Šoltés graph other than $C_{11}$ exists.

We consider the problem of extending partial edge colorings of cartesian products of graphs. More specifically, we suggest the following Evans-type conjecture: If $G$ is a graph where every precoloring of at most $k$ precolored edges can be extended to a proper $χ'(G)$-edge coloring, then every precoloring of at most $k+1$ edges of $G \square K_2$ is extendable to a proper $(χ'(G) +1)$-edge coloring of $G \square K_2$. In this paper we verify that this conjecture holds for trees, complete and complete bipartite graphs, as well as for graphs with small maximum degree. We also prove versions of the conjecture for general regular graphs where the precolored edges are required to be independent.

Though embedding problems have been considered for several regular graphs, it is still an open problem for hypercube into torus. In the paper, we prove the conjecture mathematically and obtain the minimum wirelength of embedding for hypercube into Cartesian product of paths and/or cycles. In addition, we explain that Gray code embedding is an optimal strategy in such embedding problems.

Answering a question of Jiang and Polyanskii as well as Jiang, Tidor, Yao, Zhang, and Zhao, we show the existence of infinitely many angles $θ$ for which the maximum number of lines in $\mathbb R^n$ meeting at the origin with pairwise angles $θ$ exceeds $n+Ω(\log\log n)$ but is at most $n+o(n)$. To accomplish this, we construct, for various real $λ$ and integer $d$, $d$-regular graphs with second eigenvalue exactly $λ$ and arbitrarily large second eigenvalue multiplicity. Central to our construction is a distribution on factors of bipartite graphs which possesses concentration properties.

We consider the alternating zeta function and the alternating $L$-function of a graph $G$, and express them by using the Ihara zeta function of $G$. Next, we define a generalized alternating zeta function of a graph, and express the generalized alternating zeta function of a vertex-transitive regular graph by spectra of the transition probability matrix of the symmetric simple random walk on it and its Laplacian. Furthermore, we present an integral expression for the limit of the generalized alternating zeta functions of a series of vertex-transitive regular graphs. As an example, we treat the generalized alternating zeta functions of a finite torus. Finally, we treat the relation between the Mahler measure and the alternating zeta function of a graph.

A graph $G=(V,E)$ is said to be distance magic if there is a bijection $f$ from a vertex set of $G$ to the first $|V(G)|$ natural numbers such that for each vertex $v$, its weight given by $\sum_{u \in N(v)}f(u)$ is constant, where $N(v)$ is an open neighborhood of a vertex $v$. In this paper, we introduce the concept of $p$-distance magic labeling and establish the necessary and sufficient condition for a graph to be distance magic. Additionally, we introduce necessary and sufficient conditions for a connected regular graph to exhibit distance magic properties in terms of the eigenvalues of its adjacency and Laplacian matrices. Furthermore, we study the spectra of distance magic graphs, focusing on singular distance magic graphs. Also, we show that the number of distance magic labelings of a graph is, at most, the size of its automorphism group.

Let $M\circ N$ denote the Schur product of two matrices $M$ and $N$. A graph $X$ with adjacency matrix $A$ is walk regular if $A^k\circ I$ is a constant times $I$ for each $k\ge0$, and $X$ is 1-walk-regular if it is walk regular and $A^k\circ A$ is a constant times $A$ for each $k\ge0$. Assume $X$ is 1-walk regular. Here we show that by deleting an edge in $X$, or deleting edges of a graph inside a clique of $X$, we obtain families of graphs that are not necessarily isomorphic, but are cospectral with respect to four types of matrices: the adjacency matrix, Laplacian matrix, unsigned Laplacian matrix, and normalized Laplacian matrix. Furthermore, we show that removing edges of Laplacian cospectral graphs in cliques of a 1-walk regular graph results in Laplacian cospectral graphs; removing edges of unsigned Laplacian cospectral graphs whose complements are also cospectral with respect to the unsigned Laplacian in cliques of a 1-walk regular graph results in unsigned Laplacian cospectral graphs.

We contribute results on $r$-regular graphs that do and don't have the maximum possible toughness, namely $r/2$. Doty and Ferland showed the existence of a $5$-regular graph with toughness $5/2$ for all even orders except $n= 18$. Using a computer search we show that there does not exist such a graph for $n=18$. Also, we provide the first family of $4$-regular graphs with toughness $2$ that contains claws. For the prism $G \Box K_2$ of a graph~$G$, we provide several bounds including a sufficient condition for the prism to have the same toughness as~$G$. In particular, we show that if $G$ has toughness $t\le \frac{1}{2}$ then its prism has toughness $2t$; further, the prism of any $r$-regular $r$-connected inflation has toughness~$r/2$ (despite being $(r+1)$-regular) and in general the prism of any $3$-regular graph has toughness at most~$3/2$.

We prove that in all regular robust expanders $G$ every edge is asymptotically equally likely contained in a uniformly chosen perfect matching $M$. We also show that given any fixed matching or spanning regular graph $N$ in $G$, the random variable $|M\cap E(N)|$ is approximately Poisson distributed. This in particular confirms a conjecture and a question due to Spiro and Surya, and complements results due to Kahn and Kim who proved that in a regular graph every vertex is asymptotically equally likely contained in a uniformly chosen matching. Our proofs rely on the switching method and the fact that simple random walks mix rapidly in robust expanders.

This paper presents a new graph isomorphism invariant, called $\mathfrak{w}$-labeling, that can be used to design a polynomial-time algorithm for solving the graph isomorphism problem for various graph classes. For example, all non-cospectral graph pairs are distinguished by the proposed combinatorial method, furthermore, even non-isomorphic cospectral graphs can be distinguished assuming certain properties of their eigenspaces. We also investigate a refinement of the aforementioned labeling, called $\mathfrak{s}^k$-labeling, which has both theoretical and practical applications. Among others, it can be used to generate graph fingerprints, which uniquely identify all graphs in the considered databases, including all strongly regular graphs on at most 64 nodes and all graphs on at most 12 nodes. It provably identifies all trees and 3-connected planar graphs up to isomorphism, which -- as a byproduct -- gives a new isomorphism algorithm for both graph classes. The practical importance of this fingerprint lies in significantly speeding up searching in graph databases, which is a commonly required task in biological and chemical applications.

In this paper, we study self-complementary distance-regular Cayley graphs over abelian groups. We prove that if a regular graph is self-complementary distance-regular, then it is self-complementary strongly regular. We also deal with self-complementary strongly regular Cayley graphs over abelian groups and give an example of a self-complementary strongly regular Cayley graph over a non-elementary abelian group.

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