arXiv++ Combinatorics

Much of dynamical algebraic combinatorics focuses on global dynamical systems defined via maps that are compositions of local toggle operators. The second author and Roby studied such maps that result from toggling independent sets of a path graph. We investigate a "toric" analogue of this work by analyzing the dynamics arising from toggling independent sets of a cycle graph. Each orbit in the dynamical system can be encoded via a grid of 0s and 1s; two commuting bijections on the set of 1s in this grid produce torsors for what we call the infinite snake group and the finite ouroboros groups. By studying related covering maps, we deduce precise combinatorial properties of the orbits. Because the snake and ouroboros groups are abelian, they define tilings of cylinders and tori by parallelograms, which we also characterize. Many of the ideas developed here should be adaptable both to other toggle actions in combinatorics and to other cellular automata.

Previously, we have systematically constructed explicit real algebraic functions which are represented as the compositions of smooth real algebraic maps whose images are domains surrounded by hypersurfaces of degree 1 or 2 with canonical projections. Here we give new examples with the hypersurfaces each of which is the product of a connected component of a hyperbola and a copy of the $1$-dimensional affine space explicitly. As a related future work we also discuss problems to obtain the zero sets of some real polynomials explicitly from increasing sequences of real numbers. This is motivated by a problem in theory of smooth functions proposed first by Sharko: can we construct nice smooth functions whose Reeb graphs are as prescribed? The Reeb space of a smooth function is the naturally obtained graph whose underlying space is the quotient space of the manifold consisting of connected components of preimages. The author first considered variants respecting the topologies of the preimages and obtained several results before. Our work is also motivated by real algebraic geometry, pioneered by Nash. We can know existence of real algebraic structures of smooth manifolds and some general sets and we already know several approximations of smooth maps by real algebraic maps. Our interest lies in explicit construction, which is difficult.

We introduce the higher rank $(q,t)$-Catalan polynomials and prove they equal truncations of the Hikita polynomial to a finite number of variables. Using affine compositions and a certain standardization map, we define a dinv statistic on rank $r$ semistandard $(m,n)$-parking functions and prove codinv counts the dimension of an affine space in an affine paving of a parabolic affine Springer fiber. Combining these results, we give a finite analogue of the Rational Shuffle Theorem in the context of double affine Hecke algebras. Lastly, we also give a Bizley-type formula for the higher rank Catalan numbers in the non-coprime case.

An induced subposet $(P_2,\le_2)$ of a poset $(P_1,\le_1)$ is a subset of $P_1$ such that for every two $X,Y\in P_2$, $X\le_2 Y$ if and only if $X\le_1 Y$. The Boolean lattice $Q_n$ of dimension $n$ is the poset consisting of all subsets of $\{1,\dots,n\}$ ordered by inclusion. Given two posets $P_1$ and $P_2$ the poset Ramsey number $R(P_1,P_2)$ is the smallest integer $N$ such that in any blue/red coloring of the elements of $Q_N$ there is either a monochromatically blue induced subposet isomorphic to $P_1$ or a monochromatically red induced subposet isomorphic to $P_2$. We provide upper bounds on $R(P,Q_n)$ for two classes of $P$: parallel compositions of chains, i.e.\ posets consisting of disjoint chains which are pairwise element-wise incomparable, as well as subdivided $Q_2$, which are posets obtained from two parallel chains by adding a common minimal and a common maximal element. This completes the determination of $R(P,Q_n)$ for posets $P$ with at most $4$ elements. If $P$ is an antichain $A_t$ on $t$ elements, we show that $R(A_t,Q_n)=n+3$ for $3\le t\le \log \log n$. Additionally, we briefly survey proof techniques in the poset Ramsey setting $P$ versus $Q_n$.

By a "scheme" of a musical canon, we mean the time and pitch displacement of each entering voice. When the time displacements are unequal, achieving consonant sonorities is especially challenging. Using a first-species theoretical model, we quantify the flexibility of schemes that Renaissance composers used or could have used. We craft an algorithm to compute this flexibility value precisely (finding in the process that it is an algebraic integer). We find that Palestrina consistently selected some of the most flexible schemes, more so than his predecessors, but that he by no means exhausted all feasible schemes. To add support to the model, we present two new compositions within the limits of the style utilizing unexplored canonic schemes. In the Online Supplement (attached via Papers with Code), we provide MIDI realizations of the musical examples and Sage code used in the numerical computations.

We give three different computations of the total number of runs of length $i$ in binary $n$-strings, and we discuss the connection of this problem with the compositions of $n$.

An out-branching $B^+_u$ (in-branching $B^-_u$) in a digraph $D$ is a connected spanning subdigraph of $D$ in which every vertex except the vertex $u$, called the root, has in-degree (out-degree) one. A {\bf good $\mathbf{(u,v)}$-pair} in $D$ is a pair of branchings $B^+_u,B^-_v$ which have no arc in common. Thomassen proved that is NP-complete to decide if a digraph has any good pair. A digraph is {\bf semicomplete} if it has no pair of non adjacent vertices. A {\bf semicomplete composition} is any digraph $D$ which is obtained from a semicomplete digraph $S$ by substituting an arbitrary digraph $H_x$ for each vertex $x$ of $S$. Recently the authors of this paper gave a complete classification of semicomplete digraphs which have a good $(u,v)$-pair, where $u,v$ are prescribed vertices of $D$. They also gave a polynomial algorithm which for a given semicomplete digraph $D$ and vertices $u,v$ of $D$, either produces a good $(u,v)$-pair in $D$ or a certificate that $D$ has such pair. In this paper we show how to use the result for semicomplete digraphs to completely solve the problem of deciding whether a given semicomplete composition $D$, has a good $(u,v)$-pair for given vertices $u,v$ of $D$. Our solution implies that the problem is polynomially solvable for all semicomplete compositions. In particular our result implies that there is a polynomial algorithm for deciding whether a given quasi-transitive digraph $D$ has a good $(u,v)$-pair for given vertices $u,v$ of $D$. This confirms a conjecture of Bang-Jensen and Gutin from 1998.

We use crystals of tableaux and descent compositions to understand the decomposition of Schur functions $s_λ$ into Gessel's fundamental quasisymmetric functions $F_α$. The connected crystal of tableaux $B(λ)$, associated to $s_λ$, is shown to be partitionned into a disjoint union of connected induced subgraphs $B(T_α)$ corresponding to the $F_α$'s. We show that these subgraphs, which we call quasicrystals, are isomorphic (as graphs) to specific crystals of tableaux. This allows us to give a formula for the number of tableaux of shape $λ$ and maximal entry $n$. We also use this setting to give a constructive proof of a combinatorial formula for Kostka numbers $K^λ_μ$. We study the position of the quasicrystals within the crystal $B(λ)$, and show that they appear in dually positionned pairs, with the crystal anti-automorphism between them being given by a generalization of Schützenberger's evacuation. We introduce the notion of skeleton of the crystal $B(λ)$ given by replacing each subgraph $B(T_α)$ by the associated standard tableau of shape $λ$. We conjecture that its graph includes the dual equivalence graph for $λ$, introduced by Assaf, and that its subgraphs of tableaux with fixed number of descents have particular structures. Finally, we describe applications to plethysm, among which we give an algorithm to express any symmetric sum of fundamental quasisymmetric functions into the Schur basis, whose construction gives insight into the relationship between the two basis.

The Castelnuovo-Mumford polynomial $\widehat{\mathfrak{G}}_w$ with $w \in S_n$ is the highest homogeneous component of the Grothendieck polynomial $\mathfrak{G}_w$. Pechenik, Speyer and Weigandt define a statistic $\mathsf{rajcode}(\cdot)$ on $S_n$ that gives the leading monomial of $\widehat{\mathfrak{G}}_w$. We introduce a statistic $\mathsf{rajcode}(\cdot)$ on any diagram $D$ through a combinatorial construction ``snow diagram'' that augments and decorates $D$. When $D$ is the Rothe diagram of a permutation $w$, $\mathsf{rajcode}(D)$ agrees with the aforementioned $\mathsf{rajcode}(w)$. When $D$ is the key diagram of a weak composition $α$, $\mathsf{rajcode}(D)$ yields the leading monomial of $\widehat{\mathfrak{L}}_α$, the highest homogeneous component of the Lascoux polynomials $\mathfrak{L}_α$. We use $\widehat{\mathfrak{L}}_α$ to construct a basis of $\widehat{V}_n$, the span of $\widehat{\mathfrak{G}}_w$ with $w \in S_n$. Then we show $\widehat{V}_n$ gives a natural algebraic interpretation of a classical $q$-analogue of Bell numbers.

The partition perimeter is a statistic defined to be one less than the sum of the number of parts and the largest part. Recently, Amdeberhan, Andrews, and Ballantine proved the following analog of Glaisher's theorem: for all $m \geq 2$ and $n \geq 1$, there are at least as many partitions with perimeter $n$ and parts $\not \equiv 0 \pmod{m}$ as partitions with perimeter $n$ and parts repeating fewer than $m$ times. In this work, we provide a combinatorial proof of their theorem by relating the combinatorics of the partition perimeter to that of compositions. Using this technique, we also show that a composition theorem of Huang implies a refinement of another perimeter theorem of Fu and Tang.

We develop an algebraic formalism for perturbative quantum field theory (pQFT) which is based on Joyal's combinatorial species. We show that certain basic structures of pQFT are correctly viewed as algebraic structures internal to species, constructed with respect to the Cauchy monoidal product. Aspects of this formalism have appeared in the physics literature, particularly in the work of Bogoliubov-Shirkov, Steinmann, Ruelle, and Epstein-Glaser-Stora. In this paper, we give a fully explicit account in terms of modern theory developed by Aguiar-Mahajan. We describe the central construction of causal perturbation theory as a homomorphism from the Hopf monoid of set compositions, decorated with local observables, into the Wick algebra of microcausal polynomial observables. The operator-valued distributions called (generalized) time-ordered products and (generalized) retarded products are obtained as images of fundamental elements of this Hopf monoid under the curried homomorphism. The perturbative S-matrix scheme corresponds to the so-called universal series, and the property of causal factorization is naturally expressed in terms of the action of the Hopf monoid on itself by Hopf powers, called the Tits product. Given a system of fully renormalized time-ordered products, the perturbative construction of the corresponding interacting products is via an up biderivation of the Hopf monoid, which recovers Bogoliubov's formula.

We elaborate on the notion of a filtration of an operad defined in terms of a lattice-valued operad serving as an indexing object. That covers ordinary integer-indexed filtrations of associative algebras and operads as a special case, yet the notion appears to be natural enough to encompass examples of other kind as well. The characteristic property of lattice operads is that of a certain distributivity of partial compositions with respect to meets and joins. We observe that some well-known families of lattices of combinatorial origin, such as Tamari lattices, assemble to operads subject to this particular property. Other examples include an operad of integer paritions supported on Young's lattice, operads of integer compositions of types $A, B$ and $D$, which we relate to operads of regular polytopes. We discuss the partial compatibility of the weak order on the symmetric group with the structure of the permutations operad.

We study the orchard problem on cubic surfaces. We classify possibly reducible cubic surfaces $X\subseteq \mathbb{P}^3(\C)$ with smooth components on which there exist families of finite sets (of unbounded size) with quadratically many 3-rich lines which do not concentrate (in a natural sense) on any projective plane. Namely, we prove that such a family exists precisely when $X$ is a union of three planes sharing a common line. Along the way, we obtain a general result about nilpotency of groups admitting an algebraic action satisfying an Elekes-Szabó condition, and we prove the following purely algebrogeometric statement: if the composition of four Geiser involutions through sufficiently generic points $a,b,c,d$ on a smooth irreducible cubic surface has infinitely many fixed points, then a single plane contains $a,b,c,d$ and all but finitely many of the fixed points.

We disprove a 2002 conjecture of Dombi from additive number theory. More precisely, we find examples of sets $A \subset \mathbb{N}$ with the property that $\mathbb{N} \setminus A$ is infinite, but the sequence $n \rightarrow |\{ (a,b,c) \, : \, n=a+b+c \text{ and } a,b,c \in A \}|$, counting the number of $3$-compositions using elements of $A$ only, is strictly increasing.

This paper examines the structure of poset matrices by formulating a set of new construction rules for this purpose. In this direction, the technique of partial composition operation will be introduced as the basis for the construction of poset matrices of any given size by extending the combinatorial setting of species of structures to poset matrices. More specifically, three new partial composition operations that apply to poset matrices are defined as the foundation for this study. Several new structural properties derived from viewing any poset matrix and its dual in terms of these operations are highlighted.

Let $S_k \times S_{n-k}$ be a maximal Young subgroup of the symmetric group $S_n$. We introduce a basis ${\mathcal B}_{n,k}$ for the coset space $S_n/S_k \times S_{n-k}$ that is naturally parametrized by the set of standard Young tableaux with $n$ boxes, at most two rows, and at most $k$ boxes in the second row. The basis ${\mathcal B}_{n,k}$ has positivity properties that resemble those of a root system, and there is a composition series of the coset space in which each term is spanned by the basis elements that it contains. We prove that the spherical functions of the associated Gelfand pair are nonnegative linear combinations of the ${\mathcal B}_{n,k}$.

Let $n$ and $k$ be positive integers, and $f_n(k)$ (resp. $g_n(k)$) be the number of unital subrings (resp. unital irreducible subrings) of $\mathbb{Z}^n$ of index $k$. The numbers $f_n(k)$ are coefficients of certain zeta functions of natural interest. The function $k\mapsto f_n(k)$ is multiplicative, and the study of the numbers $f_n(k)$ reduces to computing the values at prime powers $k=p^e$. Given a composition $α=(α_1, \dots, α_{n-1})$ of $e$ into $n-1$ positive integers, let $g_α(p)$ denote the number of irreducible subrings of $\mathbb{Z}^n$ for which the associated upper triangular matrix in Hermite normal form has diagonal $(p^{α_1}, \dots, p^{α_{n-1}},1)$. Via combinatorial analysis, the computation of $f_n(p^e)$ reduces to the computation of $g_α(p)$ for all compositions of $i$ into $j$ parts, where $i\leq e$ and $j\leq n-1$. We extend results of Liu and Atanasov-Kaplan-Krakoff-Menzel, who explicitly compute $f_n(p^e)$ for $e\leq 8$. The case $e=9$ proves to be significantly more involved. We evaluate $f_n(e^9)$ explicitly in terms of a polynomial in n and p up to a single term which is conjecturally a polynomial. Our results provide further evidence for a conjecture, which states that for any fixed pair $(n,e)$, the function $p\mapsto f_n(p^e)$ is a polynomial in $p$. A conjecture of Bhargava on the asymptotics for $f_n(k)$ as a function of $k$ motivates the study of the asymptotics for $g_α(p)$ for certain infinite families of compositions $α$, for which we are able to obtain general estimates using techniques from the geometry of numbers.

The field of analytic combinatorics is dedicated to the creation of effective techniques to study the large-scale behaviour of combinatorial objects. Although classical results in analytic combinatorics are mainly concerned with univariate generating functions, over the last two decades a theory of analytic combinatorics in several variables (ACSV) has been developed to study the asymptotic behaviour of multivariate sequences. In this work we survey ACSV from a probabilistic perspective, illustrating how its most advanced methods provide efficient algorithms to derive limit theorems, and comparing the results to past work deriving combinatorial limit theorems. Using the results of ACSV, we provide a SageMath package that can automatically compute (and rigorously verify) limit theorems for a large variety of combinatorial generating functions. To illustrate the techniques involved, we also establish explicit local central limit theorems for a family of combinatorial classes whose generating functions are linear in the variables tracking each parameter. Applications covered by this result include the distribution of cycles in certain restricted permutations (proving a limit theorem stated as a conjecture in recent work of Chung et al.), integer compositions, and $n$-colour compositions with varying restrictions and values tracked. Key to establishing these explicit results in arbitrary dimension is an interesting symbolic determinant, which we compute by conjecturing and then proving an appropriate $LU$-factorization. It is our hope that this work provides readers a blueprint to apply the powerful tools of ACSV to prove central limit theorems in their own work, making them more accessible to combinatorialists, probabilists, and those in adjacent fields.

We introduce a new operad-like structure that we call a reconnectad; the ``input'' of an element of a reconnectad is a finite simple graph, rather than a finite set, and ``compositions'' of elements are performed according to the notion of the reconnected complement of a subgraph. The prototypical example of a reconnectad is given by the collection of toric varieties of graph associahedra of Carr and Devadoss, with the structure operations given by inclusions of orbits closures. We develop the general theory of reconnectads, and use it to study the ``wonderful reconnectad'' assembled from homology groups of complex toric varieties of graph associahedra.

Let $G$ be an $n$-vertex connected graph. A cyclic base ordering of $G$ is a cyclic ordering of all edges such that every cyclically consecutive $n-1$ edges induce a spanning tree of $G$. In this project, we study cyclic base ordering of triangular grid graphs, series composition of graphs, generalized theta graphs, and circulant graphs.