arXiv++ Combinatorics

We address the six vertex model on a random lattice, which in combinatorial terms corresponds to the enumeration of weighted 4-valent planar maps equipped with an Eulerian orientation. This problem was exactly, albeit non-rigorously solved by Ivan Kostov in 2000 using matrix integral techniques. We convert Kostov's work to a combinatorial argument involving functional equations coming from recursive decompositions of the maps, which we solve rigorously using complex analysis. We then investigate modular properties of the solution, which lead to simplifications in certain special cases. In particular, in two special cases of combinatorial interest we rederive the formulae discovered by Bousquet-Mélou and the first author.

For a bridgeless graph $G$, its flow polynomial is defined to be the function $F(G,q)$ which counts the number of nonwhere-zero $Γ$-flows on an orientation of $G$ whenever $q$ is a positive integer and $Γ$ is an additive Abelian group of order $q$. It was introduced by Tutte in 1950 and the locations of zeros of this polynomial have been studied by many researchers. This article gives a survey on the results and problems on the study of real zeros of flow polynomials.

The long-standing Erdős-Faber-Lovász conjecture states that every $n$-uniform linear hypergaph with $n$ edges has a proper vertex-coloring using $n$ colors. In this paper we propose an algebraic framework to the problem and formulate a corresponding stronger conjecture. Using the Combinatorial Nullstellensatz, we reduce the Erdős-Faber-Lovász conjecture to the existence of non-zero coefficients in certain polynomials. These coefficients are in turn related to the number of orientations with prescribed in-degree sequences of some auxiliary graphs. We prove the existence of certain orientations, which verifies a necessary condition for our algebraic approach to work.

This is a short survey about the theory of stable polynomials and its applications. It gives self-contained proofs of two theorems of Schrijver. One of them asserts that for a $d$--regular bipartite graph $G$ on $2n$ vertices, the number of perfect matchings, denoted by $\mathrm{pm}(G)$, satisfies $$\mathrm{pm}(G)\geq \bigg( \frac{(d-1)^{d-1}}{d^{d-2}} \bigg)^{n}.$$ The other theorem claims that for even $d$ the number of Eulerian orientations of a $d$--regular graph $G$ on $n$ vertices, denoted by $\varepsilon(G)$, satisfies $$\varepsilon(G)\geq \bigg(\frac{\binom{d}{d/2}}{2^{d/2}}\bigg)^n.$$ To prove these theorems we use the theory of stable polynomials, and give a common generalization of the two theorems.

We say that a digraph $D$ is competitive if any pair of vertices has a common out-neighbor in $D$ and that a graph $G$ is competitively orientable if there exists a competitive orientation of $G$. The notion of competitive digraphs arose while studying digraph whose competition graphs are complete. We derive some useful properties of competitively orientable graphs and show that a complete graph of order $n$ is competitively orientable if and only if $n \geq 7$. Then we completely characterize a competitively orientable complete multipartite graph in terms of the sizes of its partite sets. Moreover, we present a way to build a competitive multipartite tournament in each of competitively orientable cases.

Random K-out graphs are used in several applications including modeling by sensor networks secured by the random pairwise key predistribution scheme, and payment channel networks. The random K-out graph with $n$ nodes is constructed as follows. Each node draws an edge towards $K$ distinct nodes selected uniformly at random. The orientation of the edges is then ignored, yielding an undirected graph. An interesting property of random K-out graphs is that they are connected almost surely in the limit of large $n$ for any $K \geq2$. This means that they attain the property of being connected very easily, i.e., with far fewer edges ($O(n)$) as compared to classical random graph models including Erdős-Rényi graphs ($O(n \log n)$). This work aims to reveal to what extent the asymptotic behavior of random K-out graphs being connected easily extends to cases where the number $n$ of nodes is small. We establish upper and lower bounds on the probability of connectivity when $n$ is finite. Our lower bounds improve significantly upon the existing results, and indicate that random K-out graphs can attain a given probability of connectivity at much smaller network sizes than previously known. We also show that the established upper and lower bounds match order-wise; i.e., further improvement on the order of $n$ in the lower bound is not possible. In particular, we prove that the probability of connectivity is $1-Θ({1}/{n^{K^2-1}})$ for all $K \geq 2$. Through numerical simulations, we show that our bounds closely mirror the empirically observed probability of connectivity.

In this short note we determine the maximum number, over all $n$-vertex graphs $G$, of orientations of $G$ containing no strongly connected cycle $C_{2k+1}$. This answers a part of a recent question of Araujo, Botler and Mota.

Rigid graph theory is an active area with many open problems, especially regarding embeddings in $\mathbb{R}^d$ or other manifolds, and tight upper bounds on their number for a given number of vertices. Our premise is to relate the number of embeddings to that of solutions of a well-constrained algebraic system and exploit progress in the latter domain. In particular, the system's complex solutions naturally extend the notion of real embeddings, thus allowing us to employ bounds on complex roots. We focus on multihomogeneous B{é}zout (m-B{é}zout) bounds of algebraic systems since they are fast to compute and rather tight for systems exhibiting structure as in our case. We introduce two methods to relate such bounds to combinatorial properties of minimally rigid graphs in $\mathbb{C}^d$ and $S^d$. The first relates the number of graph orientations to the m-Bézout bound, while the second leverages a matrix permanent formulation. Using these approaches we improve the best known asymptotic upper bounds for planar graphs in dimension~3, and all minimally rigid graphs in dimension $d\geq 5$, both in the Euclidean and spherical case. Our computations indicate that m-Bézout bounds are tight for embeddings of planar graphs in $S^2$ and $\mathbb{C}^3$. We exploit Bernstein's second theorem on the exactness of mixed volume, and relate it to the m-B{é}zout bound by analyzing the associated Newton polytopes. We reduce the number of checks required to verify exactness by an exponential factor, and conjecture further that it suffices to check a linear instead of an exponential number of cases overall.

Alon and Yuster proved that the number of orientations of any $n$-vertex graph in which every $K_3$ is transitively oriented is at most $2^{\lfloor n^2/4\rfloor}$ for $n \geq 10^4$ and conjectured that the precise lower bound on $n$ should be $n \geq 8$. We confirm their conjecture and, additionally, characterize the extremal families by showing that the balanced complete bipartite graph with $n$ vertices is the only $n$-vertex graph for which there are exactly $2^{\lfloor n^2/4\rfloor}$ such orientations.

Symmetric special multiserial algebras are algebras that correspond to decorated hypergraphs with orientation, called Brauer configurations. In this paper, we use the combinatorics of Brauer configurations to understand the module category of symmetric special multiserial algebras via their Auslander-Reiten quiver. In particular, we provide methods for determining the existence and ranks of tubes in the stable Auslander-Reiten quiver of symmetric special multiserial algebras using only the information from the underlying Brauer configuration. Firstly, we define a combinatorial walk around the Brauer configuration, called a Green `hyperwalk', which generalises the existing notion of a Green walk around a Brauer graph. Periodic Green hyperwalks are then shown to correspond to periodic projective resolutions of certain classes of string modules over the corresponding symmetric special multiserial algebra. Periodic Green hyperwalks thus determine certain classes of tubes in the stable Auslander-Reiten quiver, with the ranks of the tubes determined by the periods of the walks. Finally, we provide a description of additional rank two tubes in symmetric special multiserial algebras that do not arise from Green hyperwalks, but which nevertheless contain string modules at the mouth. This includes an explicit description of the space of extensions between string modules at the mouth of tubes of rank two.

A $\mathbb{T}$-gain graph, $Φ= (G, \varphi)$, is a graph in which the function $\varphi$ assigns a unit complex number to each orientation of an edge, and its inverse is assigned to the opposite orientation. The associated adjacency matrix $ A(Φ) $ is defined canonically. The energy $ \mathcal{E}(Φ) $ of a $ \mathbb{T} $-gain graph $ Φ$ is the sum of the absolute values of all eigenvalues of $ A(Φ) $. We study the notion of energy of a vertex of a $ \mathbb{T} $-gain graph, and establish bounds for it. For any $ \mathbb{T} $-gain graph $ Φ$, we prove that $2τ(G)-2c(G) \leq \mathcal{E}(Φ) \leq 2τ(G)\sqrt{Δ(G)}$, where $ τ(G), c(G)$ and $ Δ(G)$ are the vertex cover number, the number of odd cycles and the largest vertex degree of $ G $, respectively. Furthermore, using the properties of vertex energy, we characterize the classes of $ \mathbb{T} $-gain graphs for which $ \mathcal{E}(Φ)=2τ(G)-2c(G) $ holds. Also, we characterize the classes of $ \mathbb{T} $-gain graphs for which $\mathcal{E}(Φ)= 2τ(G)\sqrt{Δ(G)} $ holds. This characterization solves a general version of an open problem. In addition, we establish bounds for the energy in terms of the spectral radius of the associated adjacency matrix.

In this short note we make a few remarks on a class of generalized incidence matrices whose matroids do not depend on the orientation of the underlying graph and natural commutative algebras associated to such matrices.

An oriented hypergraph is a hypergraph together with an incidence orientation such that each edge-vertex incidence is given a label of $+1$ or $-1$. An oriented hypergraph is called incidence balanced if there exists a bipartition of the vertex set such that every edge intersects one part of the bipartition in positively incident vertices with the edge and other part in negatively incident vertices with the edge. In this paper, we investigate the incidence balance of oriented hypergraphs and induced signed hypergraphs by means of the eigenvalues of associated matrices and tensors, and provide a spectral method to characterize the incidence balanced oriented hypergraphs and their induced signed hypergraphs.

We extend the duality between acyclic orientations and totally cyclic orientations on planar graphs to dualities on graphs on orientable surfaces by introducing boundary acyclic orientations and totally bi-walkable orientations. In addition, we provide a reciprocity theorem connecting local tensions and boundary acyclic orientations. Furthermore, we define the balanced flow polynomial which is connected with tension polynomial by duality and with totally bi-walkable orientations by reciprocity.

An antimagic labeling of a directed graph $D$ with $n$ vertices and $m$ arcs is a bijection from the set of arcs of $D$ to the integers $\{1, \cdots, m\}$ such that all $n$ oriented vertex sums are pairwise distinct, where an oriented vertex sum is the sum of labels of all arcs entering that vertex minus the sum of labels of all arcs leaving it. A graph $G$ has an antimagic orientation if it has an orientation which admits an antimagic labeling. Hefetz, M{ü}tze, and Schwartz conjectured that every connected graph admits an antimagic orientation. In this paper, we show that every bipartite graph without both isolated and degree 2 vertices admits an antimagic orientation and every graph $G$ with $δ(G)\ge 33$ admits an antimagic orientation. Our proof relies on a newly developed structural property of bipartite graphs, which might be of independent interest.

We give a new characterization of the vertical-strip LLT polynomials $\mathrm{LLT}_P(x;q)$ as the unique family of symmetric functions that satisfy certain combinatorial relations. This characterization is then used to prove an explicit combinatorial expansion of vertical-strip LLT polynomials in terms of elementary symmetric functions. Such formulas were conjectured independently by A. Garsia et al. and the first named author, and are governed by the combinatorics of orientations of unit-interval graphs. The obtained expansion is manifestly positive if $q$ is replaced by $q+1$, thus recovering a recent result of M. D'Adderio. Our results are based on linear relations among LLT polynomials that arise in the work of D'Adderio, and of E. Carlsson and A. Mellit. To some extent these relations are given new bijective proofs using colorings of unit-interval graphs. As a bonus we obtain a new characterization of chromatic quasisymmetric functions of unit-interval graphs.

We consider non-trivial homomorphisms to reflexive oriented graphs in which some pair of adjacent vertices have the same image. Using a notion of convexity for oriented graphs, we study those oriented graphs that do not admit such homomorphisms. We fully classify those oriented graphs with tree-width $2$ that do not admit such homomorphisms and show that it is NP-complete to decide if a graph admits an orientation that does not admit such homomorphisms. We prove analogous results for $2$-edge-coloured graphs. We apply our results on oriented graphs to provide a new tool in the study of chromatic number of orientations of planar graphs -- a long-standing open problem.

A semi-proper orientation of a given graph $G$, denoted by $(D,w)$, is an orientation $D$ with a weight function $w: A(D)\rightarrow \mathbb{Z}_+$, such that the in-weight of any adjacent vertices are distinct, where the in-weight of $v$ in $D$, denoted by $w^-_D(v)$, is the sum of the weights of arcs towards $v$. The semi-proper orientation number of a graph $G$, denoted by $\overrightarrowχ_s(G)$, is the minimum of maximum in-weight of $v$ in $D$ over all semi-proper orientation $(D,w)$ of $G$. This parameter was first introduced by Dehghan (2019). When the weights of all edges eqaul to one, this parameter is equal to the proper orientation number of $G$. The optimal semi-proper orientation is a semi-proper orientation $(D,w)$ such that $\max_{v\in V(G)}w_D^-(v)=\overrightarrowχ_s(G)$. Araújo et al. (2016) showed that $\overrightarrowχ(G)\le 7$ for every cactus $G$ and the bound is tight. We prove that for every cactus $G$, $\overrightarrowχ_s(G) \le 3$ and the bound is tight. Araújo et al. (2015) asked whether there is a constant $c$ such that $\overrightarrowχ(G)\le c$ for all outerplanar graphs $G.$ While this problem remains open, we consider it in the weighted case. We prove that for every outerplanar graph $G,$ $\overrightarrowχ_s(G)\le 4$ and the bound is tight.

Let $m\ge 1$ be an integer and $G$ be a graph with $m$ edges. We say that $G$ has an antimagic orientation if $G$ has an orientation $D$ and a bijection $τ:A(D)\rightarrow \{1,2,\cdots,m\}$ such that no two vertices in $D$ have the same vertex-sum under $τ$, where the vertex-sum of a vertex $u$ in $D$ under $τ$ is the sum of labels of all arcs entering $u$ minus the sum of labels of all arcs leaving $u$. Hefetz, Mütze and Schwartz [J. Graph Theory, 64: 219-232, 2010] conjectured that every connected graph admits an antimagic orientation. The conjecture was confirmed for certain classes of graphs such as dense graphs, regular graphs, and trees including caterpillars and $k$-ary trees. In this note, we prove that every lobster admits an antimagic orientation.

Baxter permutations, plane bipolar orientations, and a specific family of walks in the non-negative quadrant are well-known to be related to each other through several bijections. We introduce a further new family of discrete objects, called coalescent-walk processes, that are fundamental for our results. We relate these new objects with the other previously mentioned families introducing some new bijections. We prove joint Benjamini--Schramm convergence (both in the annealed and quenched sense) for uniform objects in the four families. Furthermore, we explicitly construct a new fractal random measure of the unit square, called the coalescent Baxter permuton and we show that it is the scaling limit (in the permuton sense) of uniform Baxter permutations. To prove the latter result, we study the scaling limit of the associated random coalescent-walk processes. We show that they converge in law to a continuous random coalescent-walk process encoded by a perturbed version of the Tanaka stochastic differential equation. This result has connections (to be explored in future projects) with the results of Gwynne, Holden, Sun (2016) on scaling limits (in the Peanosphere topology) of plane bipolar triangulations. We further prove some results that relate the limiting objects of the four families to each other, both in the local and scaling limit case.