arXiv++ Combinatorics

We prove determinantal-Pfaffian formulae that simultaneously generalise the Pfaffian minor summation formula of Ishikawa and Wakayama and Byun's recent minor summation formula. These formulae are based on factorisation formulae for the determinant of the sum of a skew-symmetric matrix and a rank-1 matrix. Applications include a Cauchy-type identity for skew Schur functions.

We prove cyclic sieving phenomena satisfied by corner-rooted plane trees (alias ordered trees). The sets of rooted plane trees that we consider are: (1) all trees with $n$ nodes; (2) all trees with $n$ nodes and $k$ leaves; (3) all trees with a given degree distribution of the nodes. Moreover, we consider four different cyclic group actions: (1) the root is moved to the next corner along a tour of the tree; (2) only trees in which the root is at a leaf are considered, and the action moves the root to the next leaf; (3) only trees in which the root is at a non-leaf are considered, and the action moves the root to the next non-leaf corner; (4) only trees in which the root is at a node of degree $δ$ are considered, for a fixed $δ$, and the action moves the root to the next corner of this type. We prove a cyclic sieving phenomenon for each meaningful combination of these sets and actions. As a bonus, we also establish corresponding cyclic sieving phenomena for tree-rooted planar maps.

We establish an alternative, ``perpendicular" collection of generating functions for the coefficients of Gaussian polynomials, $\begin{bmatrix}N+m\\m\end{bmatrix}_q$. We provide a general characterization of these perpendicular generating functions. For small values of $m$, unimodality of the coefficients of Gaussian polynomials is easily proved from these generating functions. Additionally, we uncover new and surprising identities for the differences of Gaussian polynomial coefficients, including a very unexpected infinite family of congruences for coefficients of $\begin{bmatrix}N+4\\4\end{bmatrix}_q$.

A Littlewood identity is an identity equating a sum of Schur functions with an infinite product. A bounded Littlewood identity is one where the sum is taken over the partitions with a bounded number of rows or columns. The price to pay is that the infinite product has to be replaced by a determinant. The focus of this article is on refinements of such bounded Littlewood identities where one also prescribes the number of odd-length rows or columns of the partitions. Goulden [{\it Discrete Math.} {\bf99} (1992), 69--77] had given such a refinement in which the number of columns is bounded and the number of odd-length rows is prescribed. We provide refinements where the number of columns is bounded and the number of odd-length columns is prescribed. Furthermore, we present new formulations of such bounded Littlewood identities involving skewing operators. As corollaries we obtain non-standard formulas for numbers of standard Young tableaux with restricted shapes as above. In the last part of the article we discuss combinatorial interpretations of such identities in terms of up-down tableaux. As corollaries, we obtain identities between numbers of standard Young tableaux and numbers of (marked) vacillating tableaux.

We say a sequence $f_0, f_1, f_2, \ldots$ of symmetric functions is Schur log-concave if $f_n^2 - f_{n-1}f_{n+1}$ is Schur positive for all $n\ge1$. We conjecture that a very general class of sequences of Schur functions satisfies this property, and show it for sequences of Schur functions indexed by partitions with growing first part and column. Our findings are related to work of Lam, Postnikov and Pylyavskyy on Schur positivity, and of Butler, Sagan, and the second author on $q$-log-concavity.

We study positive $m$-divisible non-crossing partitions and their positive Kreweras maps. In classical types, we describe their combinatorial realisations as certain non-crossing set partitions. We also realise these positive Kreweras maps as pseudo-rotations on a circle, respectively on an annulus. We enumerate positive $m$-divisible non-crossing partitions in classical types that are invariant under powers of the positive Kreweras maps with respect to several parameters. In order to cope with the exceptional types, we develop a different combinatorial model in general type describing positive $m$-divisible non-crossing partitions that are invariant under powers of the positive Kreweras maps. We finally show that altogether these results establish several cyclic sieving phenomena.

Let $f=\sum_{n=0}^\infty f_n x^n \in \overline{\mathbb Q}[[x]$ be a solution of an algebraic differential equation $Q(x,y(x), \ldots, y^{(k)}(x))=0$, where $Q$ is a multivariate polynomial with coefficients in $\overline{\mathbb Q}$. The sequence $(f_n)_{n\ge 0}$ satisfies a non-linear recurrence, whose expression involves a polynomial $M$ of degree $s$. When the equation is linear, $M$ is its indicial polynomial at the origin. We show that when $M$ is split over $\mathbb Q$, there exist two positive integers $δ$ and $ν$ such that the denominator of $f_n$ divides $δ^{n+1}(νn+ν)!^{2s}$ for all $n\ge 0\ $, generalizing a well-known property when the equation is linear. This proves in this case a strong form of a conjecture of Mahler that Pólya--Popken's upper bound $n^{\mathcal{O}(n\log(n))}$ for the denominator of $f_n$ is not optimal. This also enables us to make Sibuya and Sperber's bound $\vert f_n\vert_v\le e^{\mathcal{O}(n)}$, for all finite places $v$ of $\overline{\mathbb Q}$, explicit in this case. Our method is completely effective and rests upon a detailed $p$-adic analysis of the above mentioned non-linear recurrences. Finally, we present various examples of differentially algebraic functions for which the associated polynomial $M$ is split over $\mathbb Q$, among which are Weierstraß' elliptic $\wp$ function, solutions of Painlevé equations, and Lagrange's solution to Kepler's equation.

We conjecture that, if the quotient of two $q$-binomial coefficients with the same top argument is a polynomial, then it has non-negative coefficients. We summarise what is known about the conjecture and prove it in two non-trivial cases. Moreover, we move ahead to extend our conjecture to D. Stanton's fake Gaussian sequences. As a corollary we obtain that a polynomial that is conjectured to be a cyclic sieving polynomial for Kreweras words [S. Hopkins and M. Rubey, Selecta Math. (N.S.) 28 (2022), Paper No. 10] is indeed a polynomial with non-negative integer coefficients.

We derive formulae for the number of set-valued standard tableaux of two-rowed shapes, keeping track of the total number of entries, the number of entries in the first row, and the number of entries in the second row. Key in the proofs is a bijection with two-coloured Motzkin paths followed by generating function computations and coefficient extraction helped by the Lagrange inversion formula.

We exhibit, for any positive integer parameter $s$, an involution on the set of integer partitions of $n$. These involutions show the joint symmetry of the distributions of the following two statistics. The first counts the number of parts of a partition divisible by $s$, whereas the second counts the number of cells in the Ferrers diagram of a partition whose leg length is zero and whose arm length has remainder $s-1$ when dividing by $s$. In particular, for $s=1$ this involution is just conjugation. Additionally, we provide explicit expressions for the bivariate generating functions. Our primary motivation to construct these involutions is that we know only of two other "natural" bijections on integer partitions of a given size, one of which is the Glaisher-Franklin bijection sending the set of parts divisible by $s$, each divided by $s$, to the set of parts occurring at least $s$ times.

We give a closed form for $quotients$ of truncated basic hypergeometric series where the base $q$ is evaluated at roots of unity.

In his work on the twenty vertex model, Di Francesco [Electron. J. Combin. 28(4) (2021), Paper No. 4.38] found a determinant formula for the number of configurations in a specific such model, and he conjectured a closed form product formula for the evaluation of this determinant. We prove this conjecture here. Moreover, we actually generalize this determinant evaluation to a one-parameter family of determinant evaluations, and we present many more determinant evaluations of similar type - some proved, some left open as conjectures.

The original motivation for this paper goes back to the mid-1990's, when James Propp was interested in natural situations when the number of domino tilings of a region increases if some of its unit squares are deleted. Guided in part by the intuition one gets from earlier work on parallels between the number of tilings of a region with holes and the 2D Coulomb energy of the corresponding system of electric charges, we consider Aztec diamond regions with unit square defects along two adjacent sides. We show that for large regions, if these defects are at fixed distances from a corner, the ratio between the number of domino tilings of the Aztec diamond with defects and the number of tilings of the entire Aztec diamond approaches a Delannoy number. When the locations of the defects are not fixed but instead approach given points on the boundary of the scaling limit $S$ (a square) of the Aztec diamonds, we prove that, provided the line segment connecting these points is outside the circle inscribed in $S$, this ratio has the same asymptotics as the Delannoy number corresponding to the locations of the defects; if the segment crosses the circle, the asymptotics is radically different. We use this to deduce (under the assumption that an arctic curve exists) that the arctic curve for domino tilings of Aztec diamonds is the circle inscribed in $S$. We also discuss counterparts of this phenomenon for lozenge tilings of hexagons.

Let $S=K[x_1,\ldots,x_n]$ be the ring of polynomials over a field $K$. Given two monomial ideals $0\subset I\subsetneq J \subset S$, we present a new method to compute the Hilbert depth of $J/I$. As an application, we show that if $u\in S$ is a monomial regular of $S/I$, then $\operatorname{hdepth}(S/I)\geq \operatorname{hdepth}(S/(I,u))\geq \operatorname{hdepth}(S/I)-1.$ Also, we reprove the formula of the Hilbert depth of a squarefree Veronese ideal.

Di Francesco introduced Aztec triangles as combinatorial objects for which their domino tilings are equinumerous with certain sets of configurations of the twenty-vertex model that are the main focus of his article. We generalize Di Francesco's construction of Aztec triangles. While we do not know whether there is again a correspondence with configurations in the twenty-vertex model, we prove closed-form product formulas for the number of domino tilings of our generalized Aztec triangles. As a special case, we obtain a proof of Di Francesco's conjectured formula for the number of domino tilings of his Aztec triangles, and thus for the number of the corresponding configurations in the twenty-vertex model.

We give bijective proofs using Fomin's growth diagrams for identities involving numbers of vacillating tableaux that arose in the representation theory of partition algebras or are inspired by such identities.

The identities which are in the literature often called ``bounded Littlewood identities" are determinantal formulas for the sum of Schur functions indexed by partitions with bounded height. They have interesting combinatorial consequences such as connections between standard Young tableaux of bounded height, lattice walks in a Weyl chamber, and noncrossing matchings. In this paper we prove affine analogs of the bounded Littlewood identities. These are determinantal formulas for sums of cylindric Schur functions. We also study combinatorial aspects of these identities. As a consequence we obtain an unexpected connection between cylindric standard Young tableaux and \( r \)-noncrossing and \( s \)-nonnesting matchings.

The celebrated (First) Borwein Conjecture predicts that for all positive integers~$n$ the sign pattern of the coefficients of the ``Borwein polynomial'' $$(1-q)(1-q^2)(1-q^4)(1-q^5) \cdots(1-q^{3n-2})(1-q^{3n-1})$$ is $+--+--\cdots$. It was proved by the first author in [Adv. Math. 394 (2022), Paper No. 108028]. In the present paper, we extract the essentials from the former paper and enhance them to a conceptual approach for the proof of ``Borwein-like'' sign pattern statements. In particular, we provide a new proof of the original (First) Borwein Conjecture, a proof of the Second Borwein Conjecture (predicting that the sign pattern of the square of the ``Borwein polynomial'' is also $+--+--\cdots$), and a partial proof of a ``cubic'' Borwein Conjecture due to the first author (predicting the same sign pattern for the cube of the ``Borwein polynomial''). Many further applications are discussed.

We prove two multivariate $q$-binomial identities conjectured by Bousseau, Brini and van Garrel [Geom. Topol. 28 (2024), 393-496, arXiv:2011.08830] which give generating series for Gromov-Witten invariants of two specific log Calabi-Yau surfaces. The key identity in all the proofs is Jackson's $q$-analogue of the Pfaff-Saalschütz summation formula from the theory of basic hypergeometric series.

We present a formula that expresses the Hankel determinants of a linear combination of length $d+1$ of moments of orthogonal polynomials in terms of a $d\times d$ determinant of the orthogonal polynomials. This formula exists somehow hidden in the folklore of the theory of orthogonal polynomials but deserves to be better known, and be presented correctly and with full proof. We present four fundamentally different proofs, one that uses classical formulae from the theory of orthogonal polynomials, one that uses a vanishing argument and is due to Elouafi [J. Math. Anal. Appl. 431} (2015), 1253-1274] (but given in an incomplete form there), one that is inspired by random matrix theory and is due to Brézin and Hikami [Comm. Math. Phys. 214 (2000), 111-135], and one that uses (Dodgson) condensation. We give two applications of the formula. In the first application, we explain how to compute such Hankel determinants in a singular case. The second application concerns the linear recurrence of such Hankel determinants for a certain class of moments that covers numerous classical combinatorial sequences, including Catalan numbers, Motzkin numbers, central binomial coefficients, central trinomial coefficients, central Delannoy numbers, Schröder numbers, Riordan numbers, and Fine numbers.