arXiv++ Combinatorics

The goal of this short paper to advertise the method of gauge transformations (aka holographic reduction, reparametrization) that is well-known in statistical physics and computer science, but less known in combinatorics. As an application of it we give a new proof of a theorem of A. Schrijver asserting that the number of Eulerian orientations of a $d$--regular graph on $n$ vertices with even $d$ is at least $\left(\frac{\binom{d}{d/2}}{2^{d/2}}\right)^n$. We also show that a $d$--regular graph with even $d$ has always at least as many Eulerian orientations as $(d/2)$--regular subgraphs.

A perfect Italian dominating function of a graph $G=(V,E)$ is a function $f : V \to \{0,1,2\}$ such that for every vertex $f(v) = 0$, it holds that $\sum_{u \in N(v)} f(u) = 2$, i.e., the weight of the labels assigned by $f$ to the neighbors of $v$ is exactly two. The weight of a perfect Italian function is the sum of the weights of the vertices. The perfect Italian domination number of $G$, denoted by $γ^p_I(G)$, is the minimum weight of any perfect Italian dominating function of $G$. While introducing the parameter, Haynes and Henning (Discrete Appl. Math. (2019), 164--177) also proposed the problem of determining the best possible constants $c_\mathcal{G}$ such that $γ^p_I(G) \leq c_\mathcal{G} \times n$ for all graphs of order $n$ when $G$ is in a particular class $\mathcal{G}$ of graphs. They proved that $c_\mathcal{G} = 1$ when $\mathcal{G}$ is the class of bipartite graphs, and raised the question for planar graphs and regular graphs. We settle their question precisely for planar graphs by proving that $c_\mathcal{G} = 1$ and for cubic graphs by proving that $c_\mathcal{G} = 2/3$. For split graphs, we also show that $c_\mathcal{G} = 1$. In addition, we characterize the graphs $G$ with $γ^p_I(G)$ equal to 2 and 3 and determine the exact value of the parameter for several simple structured graphs. We conclude by proving that it is NP-complete to decide whether a given bipartite planar graph admits a perfect Italian dominating function of weight $k$.

An edge switch is an operation which makes a local change in a graph while maintaining the degree of every vertex. We introduce a switch move, called a triangle switch, which creates or deletes at least one triangle. Specifically, a make move is a triangle switch which chooses a path $zwvxy$ of length 4 and replaces it by a triangle $vxwv$ and an edge $yz$, while a break move performs the reverse operation. We consider various Markov chains which perform random triangle switches, and assume that every possible make or break move has positive probability of being performed. Our first result is that any such Markov chain is irreducible on the set of all 3-regular graphs with vertex set $\{1,2,\ldots, n\}$. For a particular, natural Markov chain of this type, we obtain a non-trivial linear upper and lower bounds on the number of triangles in the long run. These bounds are almost surely obtained in linear time, irrespective of the starting graph.

In this paper we provide an algorithm that generates a graph with given degree sequence uniformly at random. Provided that $Δ^4=O(m)$, where $Δ$ is the maximal degree and $m$ is the number of edges,the algorithm runs in expected time $O(m)$. Our algorithm significantly improves the previously most efficient uniform sampler, which runs in expected time $O(m^2Δ^2)$ for the same family of degree sequences. Our method uses a novel ingredient which progressively relaxes restrictions on an object being generated uniformly at random, and we use this to give fast algorithms for uniform sampling of graphs with other degree sequences as well. Using the same method, we also obtain algorithms with expected run time which is (i) linear for power-law degree sequences in cases where the previous best was $O(n^{4.081})$, and (ii) $O(nd+d^4)$ for $d$-regular graphs when $d=o(\sqrt n)$, where the previous best was $O(nd^3)$.

A dormant generic Miura $\mathfrak{sl}_2$-oper is a flat $\mathrm{PGL}_2$-bundle over an algebraic curve in positive characteristic equipped with some additional data. In the present paper, we give a combinatorial description of dormant generic Miura $\mathfrak{sl}_2$-opers on a totally degenerate curve. The combinatorial objects that we use are certain branch numberings of $3$-regular graphs. Our description may be thought of as an analogue of the combinatorial description of dormant $\mathfrak{sl}_2$-opers given by S. Mochizuki, F. Liu, and B. Osserman. It allows us to think of the Miura transformation in terms of combinatorics. As an application, we identify the dormant generic Miura $\mathfrak{sl}_2$-opers on totally degenerate curves of genus $>0$.

Our main result is a generalized Dillon-type theorem, giving graph-theoretic conditions which guarantee that a $p$-ary function in an even number of variables is bent, for $p$ a prime number greater than 2. The key condition is that the component Cayley graphs associated to the values of the function are strongly regular, and either all of Latin square type, or all of negative Latin square type. Such a Latin or negative Latin square type bent function is regular or weakly regular, respectively. Its dual function has component Cayley graphs with the same parameters as those of the original function. We also give a criterion for bent functions involving structure constants of association schemes. We prove that if a $p$-ary function with component Cayley graphs of feasible degrees determines an amorphic association scheme, then it is bent. Since amorphic association schemes correspond to strongly regular graph decompositions of Latin or negative Latin square type, this result is equivalent to our main theorem. We show how to construct bent functions from orthogonal arrays and give some examples.

Suppose that $X$ is a bounded-degree polynomial with nonnegative coefficients on the $p$-biased discrete hypercube. Our main result gives sharp estimates on the logarithmic upper tail probability of $X$ whenever an associated extremal problem satisfies a certain entropic stability property. We apply this result to solve two long-standing open problems in probabilistic combinatorics: the upper tail problem for the number of arithmetic progressions of a fixed length in the $p$-random subset of the integers and the upper tail problem for the number of cliques of a fixed size in the random graph $G_{n,p}$. We also make significant progress on the upper tail problem for the number of copies of a fixed regular graph $H$ in $G_{n,p}$. To accommodate readers who are interested in learning the basic method, we include a short, self-contained solution to the upper tail problem for the number of triangles in $G_{n,p}$ for all $p=p(n)$ satisfying $n^{-1}\log n\ll p \ll 1$.

Double triangle expansion is an operation on $4$-regular graphs with at least one triangle which replaces a triangle with two triangles in a particular way. We study the class of graphs which can be obtained by repeated double triangle expansion beginning with the complete graph $K_5$. These are called double triangle descendants of $K_5$. We enumerate, with explicit rational generating functions, those double triangle descendants of $K_5$ with at most four more vertices than triangles. We also prove that the minimum number of triangles in any $K_5$ descendant is four. Double triangle descendants are an important class of graphs because of conjectured properties of their Feynman periods when they are viewed as scalar Feynman diagrams, and also because of conjectured properties of their $c_2$ invariants, an arithmetic graph invariant with quantum field theoretical applications.

A Deza graph with parameters $(v,k,b,a)$ is a $k$-regular graph on $v$ vertices in which the number of common neighbors of two distinct vertices takes two values $a$ or $b$ ($a\leq b$) and both cases exist. In the previous papers Deza graphs with parameters $(v,k,b,a)$ where $k-b = 1$ were characterized. In the paper we characterise Deza graphs with $k-b = 2$.

A cycle is $2$-colored if its edges are properly colored by two distinct colors. A $(d,s)$-edge colorable graph $G$ is a $d$-regular graph that admits a proper $d$-edge coloring in which every edge of $G$ is in at least $s-1$ $2$-colored $4$-cycles. Given a $(d,s)$-edge colorable graph $G$ and a list assigment $L$ of forbidden colors for the edges of $G$ satisfying certain sparsity conditions, we prove that there is a proper $d$-edge coloring of $G$ that avoids $L$, that is, a proper edge coloring $\varphi$ of $G$ such that $\varphi(e) \notin L(e)$ for every edge $e$ of $G$.

For vertex and edge connectivity we construct infinitely many pairs of regular graphs with the same spectrum, but with different connectivity.

An $n$-vertex graph whose degree set consists of exactly $n-1$ elements is called antiregular graph. Such type of graphs are usually considered opposite to the regular graphs. An irregularity measure ($IM$) of a connected graph $G$ is a non-negative graph invariant satisfying the property: $IM(G) = 0$ if and only if $G$ is regular. The total irregularity of a graph $G$, denoted by $irr_t(G)$, is defined as $irr_t(G)= \sum_{\{u,v\} \subseteq V(G)} |d_u - d_v|$ where $V(G)$ is the vertex set of $G$ and $d_u$, $d_v$ denote the degrees of the vertices $u$, $v$, respectively. Antiregular graphs are the most nonregular graphs according to the irregularity measure $irr_t$; however, various non-antiregular graphs are also the most nonregular graphs with respect to this irregularity measure. In this note, two new irregularity measures having high discriminatory ability are devised. Only antiregular graphs are the most nonregular graphs according to the proposed measures.

We show that the strongly regular graph on non-isotropic points of one type of the polar spaces of type $U(n, 2)$, $O(n, 3)$, $O(n, 5)$, $O^+(n, 3)$, and $O^-(n, 3)$ are not determined by its parameters for $n \geq 6$. We prove this by using a variation of Godsil-McKay switching recently described by Wang, Qiu, and Hu. This also results in a new, shorter proof of a previous result of the first author which showed that the collinearity graph of a polar space is not determined by its spectrum. The same switching gives a linear algebra explanation for the construction of a large number of non-isomorphic designs.

Let $X$ be an infinite graph of bounded degree; e.g., the Cayley graph of a free product of finite groups. If $G$ is a finite graph covered by $X$, it is said to be $X$-Ramanujan if its second-largest eigenvalue $λ_2(G)$ is at most the spectral radius $ρ(X)$ of $X$, and more generally $k$-quasi-$X$-Ramanujan if $λ_k(G)$ is at most $ρ(X)$. In case $X$ is the infinite $Δ$-regular tree, this reduces to the well known notion of a finite $Δ$-regular graph being Ramanujan. Inspired by the Interlacing Polynomials method of Marcus, Spielman, and Srivastava, we show the existence of infinitely many $k$-quasi-$X$-Ramanujan graphs for a variety of infinite $X$. In particular, $X$ need not be a tree; our analysis is applicable whenever $X$ is what we call an additive product graph. This additive product is a new construction of an infinite graph $\mathsf{AddProd}(A_1, \dots, A_c)$ from finite 'atom' graphs $A_1, \dots, A_c$ over a common vertex set. It generalizes the notion of the free product graph $A_1 * \cdots * A_c$ when the atoms $A_j$ are vertex-transitive, and it generalizes the notion of the universal covering tree when the atoms $A_j$ are single-edge graphs. Key to our analysis is a new graph polynomial $α(A_1, \dots, A_c;x)$ that we call the additive characteristic polynomial. It generalizes the well known matching polynomial $μ(G;x)$ in case the atoms $A_j$ are the single edges of $G$, and it generalizes the $r$-characteristic polynomial introduced in [Ravichandran'16, Leake-Ravichandran'18]. We show that $α(A_1, \dots, A_c;x)$ is real-rooted, and all of its roots have magnitude at most $ρ(\mathsf{AddProd}(A_1, \dots, A_c))$. This last fact is proven by generalizing Godsil's notion of treelike walks on a graph $G$ to a notion of freelike walks on a collection of atoms $A_1, \dots, A_c$.

A $d$-regular graph on $n$ nodes has at most $T_{\max} = \frac{n}{3} \tbinom{d}{2}$ triangles. We compute the leading asymptotics of the probability that a large random $d$-regular graph has at least $c \cdot T_{\max}$ triangles, and provide a strong structural description of such graphs. When $d$ is fixed, we show that such graphs typically consist of many disjoint $d+1$-cliques and an almost triangle-free part. When $d$ is allowed to grow with $n$, we show that such graphs typically consist of $d+o(d)$ sized almost cliques together with an almost triangle-free part. This confirms a conjecture of Collet and Eckmann from 2002 and considerably strengthens their observation that the triangles cannot be totally scattered in typical instances of regular graphs with many triangles.

We classify all the $2$-arc-transitive strongly regular graphs, and use this classification to study the family of finite $(G,3)$-geodesic-transitive graphs of girth $4$ or $5$ for some group $G$ of automorphisms. For this application we first give a reduction result on the latter family of graphs: let $N$ be a normal subgroup of $G$ which has at least $3$ orbits on vertices. We show that $Γ$ is a cover of its quotient $Γ_N$ modulo the $N$-orbits, and that either $Γ_N$ is $(G/N,3)$-geodesic-transitive of the same girth as $Γ$, or $Γ_N$ is a $(G/N,2)$-arc-transitive strongly regular graph, or $Γ_N$ is a complete graph with $G/N$ acting 3-transitively on vertices. The classification of $2$-arc-transitive strongly regular graphs allows us to characterise the $(G,3)$-geodesic-transitive covers $Γ$ when $Γ_N$ is complete or strongly regular.

Let $λ\geq2$ be an integer. For strongly regular graphs with parameters $(v, k, a,c)$ and smallest eigenvalue $-λ$, Neumaier gave two bounds on $c$ by using algebraic property of strongly regular graphs. In this paper, we will study a new class of regular graphs called sesqui-regular graphs, which contains strongly regular graphs as a subclass, and prove that for a sesqui-regular graph with parameters $(v,k,c)$ and smallest eigenvalue at least $-λ$, if $k$ is very large, then either $c \leq λ^2(λ-1)$ or $v-k-1 \leq \frac{(λ-1)^2}{4} + 1$ holds.

The Oberwolfach Problem $OP(F)$ -- posed by Gerhard Ringel in 1967 -- is a paradigmatic Combinatorial Design problem asking whether the complete graph $K_v$ decomposes into edge-disjoint copies of a $2$-regular graph $F$ of order $v$. In this paper, we provide all the necessary equipment to generate solutions to $OP(F)$ for relatively small orders by using the so-called difference methods. From the theoretical standpoint, we present new insights on the combinatorial structures involved in the solution of the problem. Computationally, we provide a full recipe whose base ingredients are advanced optimization models and tailored algorithms. This algorithmic arsenal can solve the $OP(F)$ for all possible orders up to $60$ with the modest computing resources of a personal computer. The new $20$ orders, from $41$ to $60$, encompass $241200$ instances of the Oberwolfach Problem, which is 22 times greater than those solved in previous contributions.

For a graph $G$, let $f_2(G)$ denote the largest number of vertices in a $2$-regular subgraph of $G$. We determine the minimum of $f_2(G)$ over $3$-regular $n$-vertex simple graphs $G$. To do this, we prove that every $3$-regular multigraph with exactly $c$ cut-edges has a $2$-regular subgraph that omits at most $\max\{0,\lfloor (c-1)/2\rfloor\}$ vertices. More generally, every $n$-vertex multigraph with maximum degree $3$ and $m$ edges has a $2$-regular subgraph that omits at most $\max\{0,\lfloor (3n-2m+c-1)/2\rfloor\}$ vertices. These bounds are sharp; we describe the extremal multigraphs.

There has been interest recently in maximizing the number of independent sets in graphs. For example, the Kahn-Zhao theorem gives an upper bound on the number of independent sets in a $d$-regular graph. Similarly, it is a corollary of the Kruskal-Katona theorem that the lex graph has the maximum number of independent sets in a graph of fixed size and order. In this paper we solve two equivalent problems. The first is: what $3$-uniform hypergraph on a ground set of size $n$, having at least $t$ edges, has the most $2$-independent sets? Here a $2$--independent set is a subset of vertices containing fewer than $2$ vertices from each edge. This is equivalent to the problem of determining which graph on $n$ vertices having at least $t$ triangles has the most independent sets. The (hypergraph) answer is that, ignoring some transient and some persistent exceptions, a $(2,3,1)$-lex style $3$-graph is optimal. We also discuss the problem of maximizing the number of $s$-independent sets in $r$-uniform hypergraphs of fixed size and order, proving some simple results, and conjecture an asymptotically correct general solution to the problem.