arXiv++ Combinatorics

We enumerate chord diagrams without loops and without both loops and parallel chords. We show that the former ones describe Hamiltonian paths in $n$-dimensional octahedrons. The latter ones are also known as shapes. For labelled diagrams we obtain generating functions, for unlabelled ones we derive recurrence relations.

We give explicit formulas enumerating 4-regular labelled and unlabelled one-face maps.

We develop a procedure for the complete computational enumeration of lattice $3$-polytopes of width larger than one, up to any given number of lattice points. We also implement an algorithm for doing this and enumerate those with at most eleven lattice points (there are 216,453 of them). In order to achieve this we prove that if $P$ is a lattice 3-polytope of width larger than one and with at least seven lattice points then it fits in one of three categories that we call boxed, spiked and merged. Boxed polytopes have at most 11 lattice points; in particular they are finitely many, and we enumerate them completely with computer help. Spiked polytopes are infinitely many but admit a quite precise description (and enumeration). Merged polytopes are computed as a union (merging) of two polytopes of width larger than one and strictly smaller number of lattice points.

The nineteen-vertex model on a periodic lattice with an anti-diagonal twist is investigated. Its inhomogeneous transfer matrix is shown to have a simple eigenvalue, with the corresponding eigenstate displaying intriguing combinatorial features. Similar results were previously found for the same model with a diagonal twist. The eigenstate for the anti-diagonal twist is explicitly constructed using the quantum separation of variables technique. A number of sum rules and special components are computed and expressed in terms of Kuperberg's determinants for partition functions of the inhomogeneous six-vertex model. The computations of some components of the special eigenstate for the diagonal twist are also presented. In the homogeneous limit, the special eigenstates become eigenvectors of the Hamiltonians of the integrable spin-one XXZ chain with twisted boundary conditions. Their sum rules and special components for both twists are expressed in terms of generating functions arising in the weighted enumeration of various symmetry classes of alternating sign matrices (ASMs). These include half-turn symmetric ASMs, quarter-turn symmetric ASMs, vertically symmetric ASMs, vertically and horizontally perverse ASMs and double U-turn ASMs. As side results, new determinant and pfaffian formulas for the weighted enumeration of various symmetry classes of alternating sign matrices are obtained.

Consider a family of collinear, equilateral triangular holes of any even side length lying within a sea of unit rhombi. The results presented below show that as the distance between the holes grows large, the interaction between them may be approximated, up to a multiplicative constant, by taking the exponential of the negative of the electrostatic energy of the system obtained by viewing the holes as a set of point charges, each with a signed magnitude given by a certain statistic. Furthermore it is shown that the interaction between a family of left pointing collinear triangular holes and a free boundary may be approximated (again up to some multiplicative constant) by taking the exponential of the negative of the electrostatic energy of the system obtained by considering the holes as a set of point charges and the boundary a straight equipotential conductor. These two differing systems of point charges can be related via the method of image charges, a well-known physical law that also surfaces in the following mathematical analysis of enumeration formulas that count tilings of certain regions of the plane by unit rhombi.

For a given integer $d\ge 1$, we consider $\binom{n+d-1}{d}$-color compositions of a positive integer $ν$ for which each part of size $n$ admits $\binom{n+d-1}{d}$ colors. We give explicit formulas for the enumeration of such compositions, generalizing existing results for $n$-color compositions (case $d=1$) and $\binom{n+1}{2}$-color compositions (case $d=2$). In addition, we give bijections from the set of $\binom{n+d-1}{d}$-color compositions of $ν$ to the set of compositions of $(d+1)ν- 1$ having only parts of size $1$ and $d+1$, the set of compositions of $(d+1)ν$ having only parts of size congruent to $1$ modulo $d+1$, and the set of compositions of $(d+1)ν+ d$ having no parts of size less than $d+1$. Our results rely on basic properties of partial Bell polynomials and on a suitable adaptation of known bijections for $n$-color compositions.

The focus of this paper is on discussion of a catalog of a class of (3, g) graphs for even girth g. A (k, g) graph is a graph with regular degree k and girth g. This catalog is compared with other known lists of (3, g) graphs such as the enumerations of trivalent symmetric graphs and enumerations of trivalent vertex-transitive graphs, to conclude that this catalog has graphs for more orders than these lists. This catalag also specifies a list of orders, rotational symmetry and girth for which the class of (3, g) graphs do not exist. It is also shown that this catalog of graphs extends infinitely.

The Raney numbers $R_{p,r}(k)$ are a two-parameter generalization of the Catalan numbers. In this paper, we obtain a recurrence relation for the Raney numbers which is a generalization of the recurrence relation for the Catalan numbers. Using this recurrence relation, we confirm a conjecture posed by Amdeberhan concerning the enumeration of $(s,s+1)$-core partitions $λ$ with parts that are multiples of $p$. We then give a new combinatorial interpretation for the Raney numbers $R_{p+1,r+1}(k)$ with $0\leq r<p$ in terms of $(kp+r,kp+r+1)$-core partitions $λ$ with parts that are multiples of $p$.

Two methods, structural (constructive) and multiplier (analytical), of exact enumeration of undirected and directed circulant graphs of orders 27 and 125 are elaborated and represented in detail here together with intermediate and final numerical data. The first method is based on the known useful classification of circulant graphs in terms of $S$-rings and results in exhaustive listing (with the use of COCO and GAP) of all corresponding $S$-rings of the indicated orders. The latter method is conducted in the framework of a general approach developed earlier for counting circulant graphs of prime-power orders. It is a Redfield--Pólya type of enumeration based on an isomorphism criterion for circulant graphs of such orders. In particular, five intermediate enumeration subproblems arise, which are refined further into eleven subproblems of this type (5 and 11 are, not accidentally, the 3d Catalan and 3d little Schröder numbers, resp.). All of them are resolved for the four cases under consideration (again with the use of GAP). We give a brief survey of some background theory of the results which form the basis of our computational approach. Except for the case of undirected circulant graphs of orders 27, the numerical results obtained here are new. In particular the number (up to isomorphism) of directed circulant graphs of orders 27, regardless of valency, is shown to be equal to 3,728,891 while 457 of these are self-complementary. Some curious and rather unexpected identities are established between intermediate valency-specified enumerators (both for undirected and directed circulant graphs) and their validity is conjectured for arbitrary cubed odd prime $p^3$. We believe that this research can serve as the crucial step towards explicit uniform enumeration formulae for circulant graphs of orders $p^3$ for arbitrary prime $p>2$.

In the aim to understand the generalization of Stirling numbers occurring in the bosonic normal ordering problem, several combinatorial models have been proposed. In particular, Blasiak \emph{et al.} defined combinatorial objects allowing to interpret the number of $S_{\bf{r,s}}(k)$ appearing in the identity $(a^†)^{r_n}a^{s_n}\cdots(a^†)^{r_1}a^{s_1}=(a^†)^α\displaystyle\sum S_{\bf{r,s}}(k)(a^†)^k a^k$, where $α$ is assumed to be non-negative. These objects are used to define a combinatorial Hopf algebra which specializes to the enveloping algebra of the Heisenberg Lie algebra. Here, we propose a new variant of this construction which admits a realization with variables. This means that we construct our algebra from a free algebra $\mathbb{C}\langle A \rangle$ using quotient and shifted product. The combinatorial objects (B-diagrams) are slightly different from those proposed by Blasiak \emph{et al.}, but give also a combinatorial interpretation of the generalized Stirling numbers together with a combinatorial Hopf algebra related to Heisenberg Lie algebra. The main difference comes from the fact that the B-diagrams have the same number of inputs and outputs. After studying the combinatorics and the enumeration of B-diagrams, we propose two constructions of algebras called Fusion algebra $\mathcal{F}$, defined using formal variable and another algebra $\mathcal{B}$ constructed directly from the B-diagrams. We show the connection between these two algebras and that $\mathcal{B}$ can be endowed with a Hopf structure. We recognize two already known combinatorial Hopf subalgebras of $\mathcal{B}$ : $\mathrm{WSym}$ the algebra of word symmetric functions indexed by set partitions and $\mathrm{BWSym}$ the algebra of biword symmetric functions indexed by set partitions into lists.

We study the enumeration of diagonally and antidiagonally symmetric alternating sign matrices (DASASMs) of fixed odd order by introducing a case of the six-vertex model whose configurations are in bijection with such matrices. The model involves a grid graph on a triangle, with bulk and boundary weights which satisfy the Yang-Baxter and reflection equations. We obtain a general expression for the partition function of this model as a sum of two determinantal terms, and show that at a certain point each of these terms reduces to a Schur function. We are then able to prove a conjecture of Robbins from the mid 1980's that the total number of $(2n+1)\times(2n+1)$ DASASMs is $\prod_{i=0}^n\frac{(3i)!}{(n+i)!}$, and a conjecture of Stroganov from 2008 that the ratio between the numbers of $(2n+1)\times(2n+1)$ DASASMs with central entry $-1$ and $1$ is $n/(n+1)$. Among the several product formulae for the enumeration of symmetric alternating sign matrices which were conjectured in the 1980's, that for odd-order DASASMs is the last to have been proved.

Vincular and covincular patterns are generalizations of classical patterns allowing restrictions on the indices and values of the occurrences in a permutation. In this paper we study the integer sequences arising as the enumerations of permutations simultaneously avoiding a vincular and a covincular pattern, both of length 3, with at most one restriction. We see familiar sequences, such as the Catalan and Motzkin numbers, but also some previously unknown sequences which have close links to other combinatorial objects such as lattice paths and integer partitions. Where possible we include a generating function for the enumeration. One of the cases considered settles a conjecture by Pudwell (2010) on the Wilf-equivalence of barred patterns. We also give an alternative proof of the classic result that permutations avoiding 123 are counted by the Catalan numbers.

The convex hull of n+1 affinely independent vertices of the unit n-cube Cn is called a 0/1-simplex. It is nonobtuse if none its dihedral angles is obtuse, and acute if additionally none of them is right. In terms of linear algebra, acute 0/1-simplices in Cn can be described by nonsingular 0/1-matrices P of size n x n whose Gramians have an inverse that is strictly diagonally dominant, with negative off-diagonal entries. The first part of this paper deals with giving a detailed description of how to efficiently compute, by means of a computer program, a representative from each orbit of an acute 0/1-simplex under the action of the hyperoctahedral group Bn of symmetries of Cn. A side product of the investigations is a simple code that computes the cycle index of Bn, which can in explicit form only be found in the literature for n < 7. Using the computed cycle indices in combination with Polya's theory of enumeration shows that acute 0/1-simplices are extremely rare among all 0/1-simplices. In the second part of the paper, we study the 0/1-matrices that represent the acute 0/1-simplices that were generated by our code from a mathematical perspective. One of the patterns observed in the data involves unreduced upper Hessenberg 0/1-matrices of size n x n, block-partitioned according to certain integer compositions of n. These patterns will be fully explained using a so-called One Neighbor Theorem. Additionally, we are able to prove that the volumes of the corresponding acute simplices are in one-to-one correspondence with the part of Kepler's Tree of Fractions that enumerates the rationals between 0 and 1. Another key ingredient in the proofs is the fact that the Gramians of the unreduced upper Hessenberg matrices involved are strictly ultrametric matrices.

We give a different presentation of a recent bijection due to Chapuy and Dolęga for nonorientable bipartite quadrangulations and we extend it to the case of nonorientable general maps. This can be seen as a Bouttier--Di Francesco--Guitter-like generalization of the Cori--Vauquelin--Schaeffer bijection in the context of general nonorientable surfaces. In the particular case of triangulations, the encoding objects take a particularly simple form and this allows us to recover a famous asymptotic enumeration formula found by Gao.

We give a new general approach for designing exact exponential-time algorithms for subset problems. In a subset problem the input implicitly describes a family of sets over a universe of size n and the task is to determine whether the family contains at least one set. Our approach is based on "monotone local search", where the goal is to extend a partial solution to a solution by adding as few elements as possible. More formally, in the extension problem we are also given as input a subset X of the universe and an integer k. The task is to determine whether one can add at most k elements to X to obtain a set in the (implicitly defined) family. Our main result is that an O*(c^k) time algorithm for the extension problem immediately yields a randomized algorithm for finding a solution of any size with running time O*((2-1/c)^n). In many cases, the extension problem can be reduced to simply finding a solution of size at most k. Furthermore, efficient algorithms for finding small solutions have been extensively studied in the field of parameterized algorithms. Directly applying these algorithms, our theorem yields in one stroke significant improvements over the best known exponential-time algorithms for several well-studied problems, including d-Hitting Set, Feedback Vertex Set, Node Unique Label Cover, and Weighted d-SAT. Our results demonstrate an interesting and very concrete connection between parameterized algorithms and exact exponential-time algorithms. We also show how to derandomize our algorithms at the cost of a subexponential multiplicative factor in the running time. Our derandomization is based on an efficient construction of a new pseudo-random object that might be of independent interest. Finally, we extend our methods to establish new combinatorial upper bounds and develop enumeration algorithms.

In this paper we study collections of mutually nearly orthogonal Latin squares ($\text{MNOLS}$), which come from a modification of the orthogonal condition for mutually orthogonal Latin squares. In particular, we find the maximum $μ$ such that there exists a set of $μ$ cyclic $\text{MNOLS}$ of order $n$ for $n \leq 18$, as well as providing a full enumeration of sets and lists of $μ$ cyclic $\text{MNOLS}$ of order $n$ under a variety of equivalences with $n \leq 18$. This resolves in the negative a conjecture that proposed the maximum $μ$ for which a set of $μ$ cyclic $\text{MNOLS}$ of order $n$ exists is $\lceil n/4\rceil +1$.

Our work studies the enumeration and random generation of unlabeled combinatorial classes of unrooted graphs. While the technique of vertex pointing provides a straightforward procedure for analyzing a labeled class of unrooted graphs by first studying its rooted counterpart, the existence of nontrivial symmetries in the unlabeled case causes this technique to break down. Instead, techniques such as the dissymmetry theorem (of Otter) and cycle pointing (of Bodirsky et al.) have emerged in the unlabeled case, with the former providing an enumeration of the class and the latter providing both an enumeration and an unbiased sampler. In this work, we extend the power of the dissymmetry theorem by showing that it in fact provides a Boltzmann sampler for the class in question. We then present an exposition of the cycle pointing technique, with a focus on the enumeration and random generation of the underlying unpointed class. Finally, we apply cycle pointing to enumerate and implement samplers for the classes of distance-hereditary graphs and three-leaf power graphs.

Let $v$ be a grid path made of north and east steps. The lattice $\rm{T{\scriptsize AM}}(v)$, based on all grid paths weakly above $v$ and sharing the same endpoints as $v$, was introduced by Préville-Ratelle and Viennot (2014) and corresponds to the usual Tamari lattice in the case $v=(NE)^n$. Our main contribution is that the enumeration of intervals in $\rm{T{\scriptsize AM}}(v)$, over all $v$ of length $n$, is given by $\frac{2 (3n+3)!}{(n+2)! (2n+3)!}$. This formula was first obtained by Tutte(1963) for the enumeration of non-separable planar maps. Moreover, we give an explicit bijection from these intervals in $\rm{T{\scriptsize AM}}(v)$ to non-separable planar maps.

In this paper, we confirm a conjecture of Laborde-Zubieta on the enumeration of corners in tree-like tableaux. Our proof is based on Aval, Boussicault and Nadeau's bijection between tree-like tableaux and permutation tableaux, and Corteel and Nadeau's bijection between permutation tableaux and permutations. This last bijection sends a corner in permutation tableaux to an ascent followed by a descent in permutations, this enables us to enumerate the number of corners in permutation tableaux, and thus to completely solve L.-Z.'s conjecture. Moreover, we give a bijection between corners and runs of size 1 in permutations, which gives an alternative proof of the enumeration of corners. Finally, we introduce an ($a$,$b$)-analogue of this enumeration, and explain the implications on the PASEP.

In this paper, we confirm conjectures of Laborde-Zubieta on the enumeration of corners in tree-like tableaux and in symmetric tree-like tableaux. In the process, we also enumerate corners in (type $B$) permutation tableaux and (symmetric) alternative tableaux. The proof is based on Corteel and Nadeau's bijection between permutation tableaux and permutations. It allows us to interpret the number of corners as a statistic over permutations that is easier to count. The type $B$ case uses the bijection of Corteel and Kim between type $B$ permutation tableaux and signed permutations. Moreover, we give a bijection between corners and runs of size 1 in permutations, which gives an alternative proof of the enumeration of corners. Finally, we introduce conjectural polynomial analogues of these enumerations, and explain the implications on the PASEP.