arXiv++ Combinatorics

The enumeration of diagonally symmetric alternating sign matrices (DSASMs) is studied, and a Pfaffian formula is obtained for the number of DSASMs of any fixed size, where the entries for the Pfaffian are positive integers given by simple binomial coefficient expressions. This result provides the first known case of an exact enumeration formula for an alternating sign matrix symmetry class in which a simple product formula does not seem to exist. Pfaffian formulae are also obtained for DSASM generating functions associated with several natural statistics, including the number of nonzero strictly upper triangular entries in a DSASM, the number of nonzero diagonal entries in a DSASM, and the column of the unique 1 in the first row of a DSASM. The proofs of these results involve introducing a version of the six-vertex model whose configurations are in bijection with DSASMs of fixed size, and obtaining a Pfaffian expression for its partition function. Various further results and conjectures are also obtained, including some related to the exact enumeration of off-diagonally symmetric alternating sign matrices, and some related to the asymptotic enumeration of DSASMs and other classes of alternating sign matrices.

We consider probability measures arising from the Cauchy summation identity for the LLT (Lascoux--Leclerc--Thibon) symmetric polynomials of rank $n \geq 1$. We study the asymptotic behaviour of these measures as one of the two sets of polynomials in the Cauchy identity stays fixed, while the other one grows to infinity. At $n=1$, this corresponds to an analogous limit of the Schur process, which is known to be given by the Gaussian Unitary Ensemble (GUE) corners process. Our main result states that, for $n>1$, our measures asymptotically split into two parts: a continuous one and a discrete one. The continuous part is a product of $n$ GUE corners processes; the discrete part is an explicit finite distribution on interlacing $n$-colourings of $n$ interlacing triangles, which has weights that are rational functions in the LLT parameter $q$. The latter distribution has a number of interesting (partly conjectural) combinatorial properties, such as $q$-nonnegativity and enumerative phenomena underlying its support. Our main tools are two different representations of the LLT polynomials, one as partition functions of a fermionic lattice model of rank $n$, and the other as finite-dimensional contour integrals, which were recently obtained in arXiv:2012.02376, arXiv:2101.01605.

For an arbitrary set or multiset $A$ of positive integers, we associate the $A$-partition function $p_A(n)$ (that is the number of partitions of $n$ whose parts belong to $A$). We also consider the analogue of the $k$-colored partition function, namely, $p_{A,-k}(n)$. Further, we define a family of polynomials $f_{A,n}(x)$ which satisfy the equality $f_{A,n}(k)=p_{A,-k}(n)$ for all $n\in\mathbb{Z}_{\geq0}$ and $k\in\mathbb{N}$. This paper concerns the polynomization of the Bessenrodt--Ono type inequality for $f_{A,n}(x)$: \begin{align*} f_{A,a}(x)f_{A,b}(x)>f_{A,a+b}(x), \end{align*} where $a$ and $b$ are arbitrary positive integers; and delivers some efficient criteria for its solutions. Moreover, we also investigate a few basic properties related to both functions $f_{A,n}(x)$ and $f_{A,n}'(x)$.

We review the connections between the octahedral recurrence, $λ$-determinants and tiling problems. This provides in particular a direct combinatorial interpretation of the $λ$-determinant (and generalizations thereof) of an arbitrary matrix in terms of domino tilings of Aztec diamonds. We also reinterpret the general Robbins-Rumsey formula for the rational function of consecutive minors, given by a summation over pairs of compatible alternating sign matrices, as the partition function for tilings of Aztec diamonds equipped with a general measure.

The vector partition function $p_A$ associated to a $d \times n$ matrix $A$ with integer entries is the function $\mathbb{Z}^d \to \mathbb{N}$ defined by $\mathbf{b} \to \#\{\mathbf{x} \in \mathbb{N}^n : A\mathbf{x} = \mathbf{b}\}$. It is known that vector partition functions are piecewise quasi-polynomials whose domains of quasi-polynomiality are maximal cones (chambers) of a fan called the chamber complex of $A$. In this article we introduce \emph{external columns} and \emph{external chambers} of vector partition functions. Our main result is that (up to a saturation condition) the quasi-polynomial associated to a chamber containing external columns arises from a vector partition function with $k$ fewer equations and variables. In the case that the chamber is external -- that is, when the number of external columns in a chamber is as large as possible without being trivial -- the quasi-polynomial arises from a coin exchange problem. By exploiting this we are able to obtain a determinantal formula, characterize when the quasi-polynomial is polynomial, and show that in this case it is actually given by a negative binomial coefficient. We then apply these results to the enumeration of loopless multigraphs satisfying some degree conditions. Finally, we suggest a generalization to a result of Baldoni and Vergne for polynomials arising from chambers that we call \emph{semi-external chambers}.

We study the Busemann process and competition interfaces of the planar directed polymer model with i.i.d.\ weights on the vertices of the planar square lattice, in both the general case and the solvable inverse-gamma case. We prove new regularity properties of the Busemann process without reliance on unproved assumptions on the shape function. For example, each nearest-neighbor Busemann function is strictly monotone and has the same random set of discontinuities in the direction variable. When all Busemann functions on a horizontal line are viewed together, the Busemann process intertwines with an evolution that obeys a version of the geometric Robinson-Schensted-Knuth correspondence. When specialized to the inverse-gamma case, this relationship enables an explicit distributional description: the Busemann function on a nearest-neighbor edge has independent increments in the direction variable, and its distribution comes from an inhomogeneous planar Poisson process. The distribution of the asymptotic competition interface direction of the inverse-gamma polymer is discrete and supported on the Busemann discontinuities which -- unlike in zero-temperature last-passage percolation -- are dense. Further implications follow for the eternal solutions and the failure of the one force -- one solution principle of the discrete stochastic heat equation solved by the polymer partition function.

Let $M_0(n)$ (resp. $M_1(n)$) denote the number of partitions of $n$ with even (reps. odd) crank. Choi, Kang and Lovejoy established an asymptotic formula for $M_0(n)-M_1(n)$. By utilizing this formula with the explicit bound, we show that $M_k(n-1)+M_k(n+1)>2M_k(n)$ for $k=0$ or $1$ and $n\geq 39$. This result can be seen as the refinement of the classical result regarding the convexity of the partition function $p(n)$, which counts the number of partitions of $n$. We also show that $M_0(n)$ (resp. $M_1(n)$) is log-concave for $n\geq 94$ and satisfies the higher order Turán inequalities for $n\geq 207$ with the aid of the upper bound and the lower bound for $M_0(n)$ and $M_1(n)$.

In this work we introduce new combinatorial objects called $d$--fold partition diamonds, which generalize both the classical partition function and the partition diamonds of Andrews, Paule and Riese, and we set $r_d(n)$ to be their counting function. We also consider the Schmidt type $d$--fold partition diamonds, which have counting function $s_d(n).$ Using partition analysis, we then find the generating function for both, and connect the generating functions $\sum_{n= 0}^\infty s_d(n)q^n$ to Eulerian polynomials. This allows us to develop elementary proofs of infinitely many Ramanujan--like congruences satisfied by $s_d(n)$ for various values of $d$, including the following family: for all $d\geq 1$ and all $n\geq 0,$ $s_d(2n+1) \equiv 0 \pmod{2^d}.$

We study boundedness of zeros of the independence polynomial of tori for sequences of tori converging to the integer lattice. We prove that zeros are bounded for sequences of balanced tori, but unbounded for sequences of highly unbalanced tori. Here balanced means that the size of the torus is at most exponential in the shortest side length, while highly unbalanced means that the longest side length of the torus is super exponential in the product over the other side lengths cubed. We discuss implications of our results to the existence of efficient algorithms for approximating the independence polynomial on tori. This project was partially inspired by the relationship between zeros of partition functions and holomorphic dynamics, a relationship that in the last two decades played a prominent role in the field. Besides presenting new results, we survey this relationship and its recent consequences.

We establish a general framework for developing approximation algorithms for a class of counting problems. Our framework is based on the cluster expansion of abstract polymer models formalism of Kotecký and Preiss. We apply our framework to obtain efficient algorithms for (1) approximating probability amplitudes of a class of quantum circuits close to the identity, (2) approximating expectation values of a class of quantum circuits with operators close to the identity, (3) approximating partition functions of a class of quantum spin systems at high temperature, and (4) approximating thermal expectation values of a class of quantum spin systems at high temperature with positive-semidefinite operators. Further, we obtain hardness of approximation results for approximating probability amplitudes of quantum circuits and partition functions of quantum spin systems. This establishes a computational complexity transition for these problems and shows that our algorithmic conditions are optimal under complexity-theoretic assumptions. Finally, we show that our algorithmic condition is almost optimal for expectation values and optimal for thermal expectation values in the sense of zero freeness.

We prove log-concavity for the function counting partitions without sequences. We use an exact formula for a mixed-mock modular form of weight zero, explicit estimates on modified Kloosterman sums and analytic techniques. Finally, we establish the higher Turán inequalities in an asymptotic form of the aforementioned partition function using a well established criterion of Griffin, Ono, Rolen, and Zagier on the zeros of Jensen polynomials.

In 2007, Andrews and Paule introduced the broken $k$-diamond partition function $Δ_{k}(n)$, which has received a lot of researches on the arithmetic propertises. In this paper, we will prove the broken $k$-diamond partition function satisfies the Laguerre inequalities of order $2$ and the determinantal inequalities of order $3$ for $k=1$ or $2$. Moreover, we conjectured the thresholds for the Laguerre inequalities of order $m$ and the positivity of $m$-order determinants for $4\leq m\leq 14$ for the broken $k$-diamond partition function when $k=1$ or $2$.

We give a combinatorial interpretation for certain cluster variables in Grassmannian cluster algebras in terms of double and triple dimer configurations. More specifically, we examine several Gr(3,n) cluster variables that may be written as degree two or degree three polynomials in terms of Plücker coordinates, and give generating functions for their images under the twist map - a cluster algebra automorphism introduced in work of Berenstein-Fomin-Zelevinsky. The generating functions range over certain double or triple dimer configurations on an associated plabic graph, which we describe using particular non-crossing matchings or webs (as defined by Kuperberg), respectively. These connections shed light on a recent conjecture of Cheung et al., extend the concept of web duality introduced in a paper of Fraser-Lam-Le, and more broadly make headway on understanding Grassmannian cluster algebras for Gr(3,n).

Let $\mathcal{A}=\left(a_i\right)_{i=1}^\infty$ be a weakly increasing sequence of positive integers and let $k$ be a fixed positive integer. For an arbitrary integer $n$, the restricted partition $p_\mathcal{A}(n,k)$ enumerates all the partitions of $n$ whose parts belong to the multiset $\{a_1,a_2,\ldots,a_k\}$. In this paper we investigate some generalizations of the log-concavity of $p_\mathcal{A}(n,k)$. We deal with both some basic extensions like, for instance, the strong log-concavity and a more intriguing challenge that is the $r$-log-concavity of both quasi-polynomial-like functions in general, and the restricted partition function in particular. For each of the problems, we present an efficient solution.

We analyse uniformly random proper $k$-colourings of sparse graphs with maximum degree $Δ$ in the regime $Δ< k\ln k $. This regime corresponds to the lower side of the shattering threshold for random graph colouring, a paradigmatic example of the shattering threshold for random Constraint Satisfaction Problems. We prove a variety of results about the solution space geometry of colourings of fixed graphs, generalising work of Achlioptas, Coja-Oghlan, and Molloy on random graphs, and justifying the performance of stochastic local search algorithms in this regime. Our central proof relies only on elementary techniques, namely the first-moment method and a quantitative induction, yet it strengthens list-colouring results due to Vu, and more recently Davies, Kang, P., and Sereni, and generalises state-of-the-art bounds from Ramsey theory in the context of sparse graphs. It further yields an approximately tight lower bound on the number of colourings, also known as the partition function of the Potts model, with implications for efficient approximate counting.

We prove that the number $q(n)$ of partitions into distinct parts is log-concave for $n \geq 33$ and satisfies the higher order Turán inequalities for $n\geq 121$ conjectured by Craig and Pun. In doing so, we establish explicit error terms for $q(n)$ and for $q(n-1)q(n+1)/q(n)^2$ based on Chern's asymptotic formulas for $η$-quotients.

Andrews introduced the partition function $\overline{C}_{k, i}(n)$, called singular overpartition, which counts the number of overpartitions of $n$ in which no part is divisible by $k$ and only parts $\equiv \pm i\pmod{k}$ may be overlined. We study the parity and distribution results for $\overline{C}_{k,i}(n),$ where $k>3$ and $1\leq i \leq \left\lfloor\frac{k}{2}\right\rfloor$. More particularly, we prove that for each integer $\ell\geq 2$ depending on $k$ and $i$, the interval $\left[\ell, \frac{\ell(3\ell+1)}{2}\right]$ $\Big($resp.\ $\left[2\ell-1, \frac{\ell(3\ell-1)}{2}\right] \Big)$ contains an integer $n$ such that $\overline{C}_{k,i}(n)$ is even (resp.\ odd). Finally we study the distribution for $\overline{C}_{p,1}(n)$ where $p\geq 5$ be a prime number.

We present a unified framework of combinatorial descriptions, and the analogous asymptotic growth of the coefficients of two general families of functions related to integer partitions. In particular, we resolve several conjectures and verify several claims that are posted on the On-Line Encyclopedia of Integer Sequences. We perform the asymptotic analysis by systematically applying the Mellin transform, residue analysis, and the saddle point method. The combinatorial descriptions of these families of generalized partition functions involve colorings of Young tableaux, along with their ``divisor diagrams'', denoted with sets of colors whose sizes are controlled by divisor functions.

In this paper, we introduce and analyze a new switch operator for the six-vertex model. This operator, derived from the Yang-Baxter equation, allows us to express the partition function with arbitrary boundaries in terms of a base case with domain wall boundary conditions. As an application, we derive explicit formulas for the factorial Schur functions and their generalizations. Our results provide new insights into the relationship between boundary conditions and partition functions in the six-vertex model.

A sequence $s(n)$ of integers is MC-finite if for every $m \in \mathbb{N}^+$ the sequence $s^m(n) = s(n) \bmod{m}$ is ultimately periodic. We discuss various ways of proving and disproving MC-finiteness. Our examples are mostly taken from set partition functions, but our methods can be applied to many more integer sequences.