arXiv++ Combinatorics

Snake graphs are a class of planar graphs that are important in the theory of cluster algebras. Indeed, the Laurent expansions of the cluster variables in cluster algebras from surfaces are given as weight generating functions for 1-dimer covers (or perfect matchings) of snake graphs. Moreover, the enumeration of 1-dimer covers of snake graphs provides a combinatorial interpretation of continued fractions. In particular, the number of 1-dimer covers of the snake graph $\mathscr{G}[a_1,\dots,a_n]$ is the numerator of the continued fraction $[a_1,\dots,a_n]$. This number is equal to the top left entry of the matrix product $\left(\begin{smallmatrix} a_1&1\\1&0 \end{smallmatrix}\right) \cdots \left(\begin{smallmatrix} a_n&1\\1&0 \end{smallmatrix}\right)$. In this paper, we give enumerative results on $m$-dimer covers of snake graphs. We show that the number of $m$-dimer covers of the snake graph $\mathscr{G}[a_1,\ldots,a_n]$ is the top left entry of a product of analogous $(m+1)$-by-$(m+1)$ matrices. We discuss how our enumerative results are related to other known combinatorial formulas, and we suggest a generalization of continued fractions based on our methods. These generalized continued fractions provide some interesting open questions and a possibly novel approach towards Hermite's problem for cubic irrationals.

Let $\mathfrak{S}_n$ denote the symmetric group and let $W(\mathfrak{S}_n)$ denote the weak order of $\mathfrak{S}_n$. Through a surprising connection to a subset of parking functions, which we call unit Fubini rankings, we provide a complete characterization and enumeration for the total number of Boolean intervals in $W(\mathfrak{S}_n)$ and the total number of Boolean intervals of rank $k$ in $W(\mathfrak{S}_n)$. Furthermore, for any $π\in\mathfrak{S}_n$, we establish that the number of Boolean intervals in $W(\mathfrak{S}_n)$ with minimal element $π$ is a product of Fibonacci numbers. We conclude with some directions for further study.

Counting maximum matchings in a graph is of great interest in statistical mechanics, solid-state chemistry, theoretical computer science, mathematics, among other disciplines. However, it is a challengeable problem to explicitly determine the number of maximum matchings of general graphs. In this paper, using Gallai-Edmonds structure theorem, we derive a computing formula for the number of maximum matching in a graph. According to the formula, we obtain an algorithm to enumerate maximum matchings of a graph. In particular, The formula implies that computing the number of maximum matchings of a graph is converted to compute the number of perfect matchings of some induced subgraphs of the graph. As an application, we calculate the number of maximum matchings of opt trees. The result extends a conclusion obtained by Heuberger and Wagner[C. Heuberger, S. Wagner, The number of maximum matchings in a tree, Discrete Math. 311 (2011) 2512--2542].

We develop a new, powerful method for counting elements in a multiset. As a first application, we use this algorithm to study the number of occurrences of patterns in a permutation. For patterns of length 3 there are two Wilf classes, and the general behaviour of these is reasonably well-known. We slightly extend some of the known results in that case, and exhaustively study the case of patterns of length 4, about which there is little previous knowledge. For such patterns, there are seven Wilf classes, and based on extensive enumerations and careful series analysis, we have conjectured the asymptotic behaviour for all classes.

A parking function is a sequence $(a_1,\dots, a_n)$ of positive integers such that if $b_1\leq\cdots\leq b_n$ is the increasing rearrangement of $a_1,\dots,a_n$, then $b_i\leq i$ for $1\leq i\leq n$. In this paper we obtain some new results on the enumeration of parking functions. We will consider the joint distribution of several sets of statistics on parking functions. The distribution of most of these individual statistics is known, but the joint distributions are new. Parking functions of length $n$ are in bijection with labelled forests on the vertex set $[n]=\{1,2,\dots,n\}$ (or rooted trees on $[n]_0=\{0,1,\dots,n\}$ with root $0$), so our results can also be applied to labelled forests. Extensions of our techniques are discussed.

We explore some connections between vectors of integers and integer partitions seen as bi-infinite words. This methodology enables us on the one hand to obtain enumerations connecting products of hook lengths and vectors of integers. This yields on the other hand a combinatorial interpretation of the Macdonald identities for affine root systems of the $7$ infinite families in terms of Schur functions, symplectic and special orthogonal Schur functions. From these results, we are able to derive $q$-Nekrasov--Okounkov formulas associated to each type. The latter for limit cases of $q$ yield Nekrasov--Okounkov type formulas corresponding to all the specializations given by Macdonald.

Let $d$ and $n$ be positive integers such that $d|n$. Let $[n]=\{1,2,\ldots,n\}$ and $T$ be an endofunction on $[n]$. A subset $W$ of $[n]$ of cardinality $n/d$ is said to be $d$-splitting if $W \cup TW \cup \cdots \cup T^{d-1}W =[n]$. Let $σ(d;T)$ denote the number of $d$-splitting subsets. If $σ(2;T)>0$, then we show that $σ(2;T)=g_T(-1)$, where $g_T(t)$ is the generating function for the number of $T$-invariant subsets of $[n]$. It is interesting to note that substituting a root of unity into a polynomial with integer coefficients has an enumerative meaning. More generally, let $g_T(t_1,\ldots,t_d)$ be the generating function for the number of $d$-flags of $T$-invariant subsets. We prove for certain endofunctions $T$, if $σ(d;T)>0$, then $σ(d;T)=g_T(ζ,ζ^2,\ldots,ζ^d)$, where $ζ$ is a primitive $d^{th}$ root of unity.

In this paper, we study pattern avoidance for stabilized-interval-free (SIF) permutations. These permutations are contained in the set of indecomposable permutations and in the set of derangements. We enumerate pattern-avoiding SIF permutations for classical and pairs of patterns of size 3. In particular, for the patterns 123 and 231, we rely on combinatorial arguments and the fixed-point distribution of general permutations avoiding these patterns. We briefly discuss 123-avoiding permutations with two fixed points and offer a conjecture for their enumeration by the distance between their fixed points. For the pattern 231, we also give a direct argument that uses a bijection to ordered forests.

The alternating sign matrices-descending plane partitions (ASM-DPP) bijection problem is one of the most intriguing open problems in bijective combinatorics, which is also relevant to integrable combinatorics. The notion of a signed set and a signed bijection is used in [Fischer, I. \& Konvalinka, M., Electron. J. Comb., 27 (2020) 3-35.] to construct a bijection between $\text{ASM}_n \times \text{DPP}_{n-1}$ and $\text{DPP}_n \times \text{ASM}_{n-1}$. Here, we shall construct a more natural alternative to a signed bijection between alternating sign matrices and shifted Gelfand-Tsetlin patterns which is presented in that paper, based on the notion of compatibility which we introduce to measure the naturalness of a signed bijection. In addition, we give a bijective proof for the refined enumeration of an extension of alternating sign matrices with $n+3$ statistics, first proved in [Fischer, I. \& Schreier-Aigner, F., Advances in Mathematics 413 (2023) 108831.].

We present a new probabilistic proof of Otter's asymptotic formula for the number of unlabelled trees with a given number of vertices. We additionally prove a new approximation result, showing that the total variation distance between random Pólya trees and random unlabelled trees tends to zero when the number of vertices tends to infinity. In order to demonstrate that our approach is not restricted to trees we extend our results to tree-like classes of graphs.

Combinatorial enumeration of various RNA secondary structures and protein contact maps, is of great interest for both combinatorists and computational biologists. Enumeration of protein contact maps has considerable difficulties due to the significant higher vertex degree than that of RNA secondary structures. The state of art maximum vertex degree in previous works is two. This paper proposes a solution for counting stacks in protein contact maps with arbitrary vertex degree upper bound. By establishing bijection between such general stacks and $m$-regular $Λ$-avoiding $DLU$ paths, and counting the paths using theories of pattern avoiding lattice paths, we obtain a unified system of equations for generating functions of general stacks. We also show that previous enumeration results for RNA secondary structures and protein contact maps can be derived from the unified equation system as special cases.

At STOC 2002, Eiter, Gottlob, and Makino presented a technique called ordered generation that yields an $n^{O(d)}$-delay algorithm listing all minimal transversals of an $n$-vertex hypergraph of degeneracy $d$. Recently at IWOCA 2019, Conte, Kanté, Marino, and Uno asked whether this XP-delay algorithm parameterized by $d$ could be made FPT-delay for a weaker notion of degeneracy, or even parameterized by the maximum degree $Δ$, i.e., whether it can be turned into an algorithm with delay $f(Δ)\cdot n^{O(1)}$ for some computable function $f$. Moreover, and as a first step toward answering that question, they note that they could not achieve these time bounds even for the particular case of minimal dominating sets enumeration. In this paper, using ordered generation, we show that an FPT-delay algorithm can be devised for minimal transversals enumeration parameterized by the degeneracy and dimension, giving a positive and more general answer to the latter question.

The paper considers ribbon tilings of large regions and their per-tile entropy (the logarithm of the number of tilings divided by the number of tiles). For tilings of general regions by ribbon tiles of length $n$, we give an upper bound on the per-tile entropy as $n - 1$. For growing rectangular regions, we prove the existence of the asymptotic per-tile entropy and show that it is bounded from below by $\log_2 (n/e)$ and from above by $\log_2(en)$. For growing generalized "Aztec Diamond'' regions and for growing "stair'' regions, the asymptotic per-tile entropy is calculated exactly as $1/2$ and $\log_2(n + 1) - 1$, respectively.

In 1981, André Joyal provided a combinatorial interpretation of the algebra of formal power series, a central gadget in the toolkit of enumerative combinatorics. In Joyal's theory of species of structures, combinatorial species (like permutations, graphs, partitions, etc.) are incarnated in endofunctors on the category of finite sets and bijections. Species can be added, multiplied, composed and differentiated; new species arise as solutions to functional and differential equations. Moreover, everything achieved at the level of species can be directly translated into the language of generating series for enumeration of labelled, as well as unlabelled structures. More recently, Labelle and Lamathe developed a general theory of differential operators on species of structures, such as cycles or diagrams of derivatives. The main goal of this dissertation is to present some parts of this theory.

Given a gene-tree labeled topology $G$ and a species tree $S$, the "ancestral configurations" at an internal node $k$ of $S$ represent the combinatorially different sets of gene lineages that can be present at $k$ when all possible realizations of $G$ in $S$ are considered. Ancestral configurations have been introduced as a data structure for evaluating the conditional probability of a gene-tree labeled topology given a species tree, and their enumeration assists in describing the complexity of this computation. In the case that the gene-tree labeled topology $G=t$ matches that of the species tree $S$, by techniques of analytic combinatorics, we study distributional properties of the "total" number of ancestral configurations measured across the different nodes of a random labeled topology $t$ selected under the uniform and the Yule probability models. Under both of these probabilistic scenarios, we show that the total number $T_n$ of ancestral configurations of a random labeled topology of $n$ taxa asymptotically follows a lognormal distribution. Over uniformly distributed labeled topologies, the asymptotic growth of the mean and the variance of $T_n$ are found to satisfy $\mathbb{E}_{\rm U}[T_n] \sim 2.449 \cdot 1.333^n$ and $\mathbb{V}_{\rm U}[T_n] \sim 5.050 \cdot 1.822^n$, respectively. Under the Yule model, which assigns higher probabilities to more balanced labeled topologies, we obtain the mean $\mathbb{E}_{\rm Y}[T_n] \sim 1.425^n$ and the variance $\mathbb{V}_{\rm Y}[T_n] \sim 2.045^n$.

We prove that there exists a constant $γ_{\mathrm{crit}}\approx .17566$ such that if $G\sim \mathbb{G}(n,1/2)$ then for any $\varepsilon > 0$ with high probability $G$ has a equipartition such that each vertex has $(γ_{\mathrm{crit}}-\varepsilon)\sqrt{n}$ more neighbors in its own part than in the other part and with high probability no such partition exists for a separation of $(γ_{\mathrm{crit}}+\varepsilon)\sqrt{n}$. The proof involves a number of tools ranging from isoperimetric results on vertex-transitive sets of graphs coming from Boolean functions, switchings, degree enumeration formulas, and the second moment method. Our results substantially strengthen recent work of Ferber, Kwan, Narayanan, and the last two authors on a conjecture of Füredi from 1988 and in particular prove the existence of fully-friendly bisections in $\mathbb{G}(n,1/2)$

Bouc (1992) first studied the topological properties of $M_n$, the matching complex of the complete graph of order $n$, in connection with Brown complexes and Quillen complexes. Björner et al. (1994) showed that $M_n$ is homotopically $(ν_n-1)$-connected, where $ν_n=\lfloor{\frac{n+1}{3}}\rfloor-1$, and conjectured that this connectivity bound is sharp. Shareshian and Wachs (2007) settled the conjecture by inductively showing that the $ν_n$-dimensional homology group of $M_n$ is nontrivial, with Bouc's calculation of $H_1(M_7)$ serving as the pivotal base step. In general, the topology of $M_n$ is not very well-understood, even for a small $n$. In the present article, we look into the topology of $M_n$, and $M_7$ in particular, in the light of discrete Morse theory as developed by Forman (1998). We first construct a gradient vector field on $M_n$ (for $n \ge 5$) that doesn't admit any critical simplices of dimension up to $ν_n-1$, except one unavoidable $0$-simplex, which also leads to the aforementioned $(ν_n-1)$-connectedness of $M_n$ in a purely combinatorial way. However, for an efficient homology computation by discrete Morse theoretic techniques, we are required to work with a gradient vector field that admits a low number of critical simplices, and also allows an efficient enumeration of gradient paths. An optimal gradient vector field is one with the least number of critical simplices, but the problem of finding an optimal gradient vector field, in general, is an NP-hard problem (even for $2$-dimensional complexes). We improve the gradient vector field constructed on $M_7$ in particular to a much more efficient (near-optimal) one, and then with the help of this improved gradient vector field, compute the homology groups of $M_7$ in an efficient and algorithmic manner. We also augment this near-optimal gradient vector field to one that we conjecture to be optimal.

In the film Good Will Hunting, the main character, a janitor at MIT named Will Hunting, attacks the problem of drawing all the homeomorphically irreducible trees with 10 vertices. Although the film suggests that this is a difficult problem, it is in fact quite easy. A much more interesting problem is counting homeomorphically irreducible trees with $n$ vertices for all $n$, a feat accomplished by Harary and Prins in 1959. Here we give an exposition and simplification of Harary and Prins's result, introducing some of the fundamental ideas of graphical enumeration.

In this paper, we examine the computational complexity of enumeration in certain genome rearrangement models. We first show that the Pairwise Rearrangement problem in the Single Cut-and-Join model (Bergeron, Medvedev, & Stoye, J. Comput. Biol. 2010) is $\#\textsf{P}$-complete under polynomial-time Turing reductions. Next, we show that in the Single Cut or Join model (Feijao & Meidanis, IEEE ACM Trans. Comp. Biol. Bioinf. 2011), the problem of enumerating all medians ($\#$Median) is logspace-computable ($\textsf{FL}$), improving upon the previous polynomial-time ($\textsf{FP}$) bound of Miklós & Smith (RECOMB 2015).

We study the enumeration of set partitions, according to their length, number of parts, cyclic type, and genus. We introduce genus-dependent Bell, Stirling numbers, and Faà di Bruno coefficients. Besides attempting to summarize what is already known on the subject, we obtain new generic results (in particular for partitions into two parts, for arbitrary genus), and present computer generated new data extending the number of terms known for sequences or families of such coefficients; this also leads to new conjectures.