arXiv++ Combinatorics

We introduce a new class of transitive permutation groups which properly contains the automorphism groups of vertex-transitive graphs and digraphs. We then give a sufficient condition for a quotient of this family to remain in the family, showing that relatively straightforward induction arguments may possibly be used to solve problems in this family, and consequently for symmetry questions about vertex-transitive digraphs. As an example of this, for $p$ an odd prime, we use induction to determine the Sylow $p$-subgroups of transitive groups of degree $p^n$ that contain a regular cyclic subgroup in this family. This is enough information to determine the automorphism groups of circulant digraphs of order $p^n$.

We introduce two refinements of the class of $5/2$-groups, inspired by the classes of automorphism groups of configurations and automorphism groups of unit circulant digraphs. We show that both of these classes have the property that any two regular cyclic subgroups of a group $G$ in either of these classes are conjugate in $G$. This generalizes two results in the literature (and simplifies their proofs) that show that symmetric configurations and unit circulant digraphs are isomorphic if and only if they are isomorphic by a group automorphism of ${\mathbb Z}_n$.

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.

Kostka, Littlewood-Richardson, Kronecker, and plethysm coefficients are fundamental quantities in algebraic combinatorics, yet many natural questions about them stay unanswered for more than 80 years. Kronecker and plethysm coefficients lack ``nice formulas'', a notion that can be formalized using computational complexity theory. Beyond formulas and combinatorial interpretations, we can attempt to understand their asymptotic behavior in various regimes, and inequalities they could satisfy. Understanding these quantities has applications beyond combinatorics. On the one hand, the asymptotics of structure constants is closely related to understanding the [limit] behavior of vertex and tiling models in statistical mechanics. More recently, these structure constants have been involved in establishing computational complexity lower bounds and separation of complexity classes like VP vs VNP, the algebraic analogs of P vs NP in arithmetic complexity theory. Here we discuss the outstanding problems related to asymptotics, positivity, and complexity of structure constants focusing mostly on the Kronecker coefficients of the symmetric group and, less so, on the plethysm coefficients. This expository paper is based on the talk presented at the Open Problems in Algebraic Combinatorics coneference in May 2022.

The classification problem of $P$- and $Q$-polynomial association schemes has been one of the central problems in algebraic combinatorics. Generalizing the concept of $P$- and $Q$-polynomial association schemes to multivariate cases, namely to consider higher rank $P$- and $Q$-polynomial association schemes, has been tried by some authors, but it seems that so far there were neither very well-established definition nor results. Very recently, Bernard, Crampé, d'Andecy, Vinet, and Zaimi [arXiv:2212.10824], defined bivariate $P$-polynomial association schemes, as well as bivariate $Q$-polynomial association schemes. In this paper, we study these concepts and propose a new modified definition concerning a general monomial order, which is more general and more natural and also easy to handle. We prove that there are many interesting families of examples of multivariate $P$- and/or $Q$-polynomial association schemes.

This paper is a slightly extended version of the talk I gave at the Open Problems in Algebraic Combinatorics conference at the University of Minnesota in May 2022. We introduce two strict order relations on lattice paths and formulate several open problems. The topic is related to Markov numbers, the Lagrange spectrum, snake graphs and the cluster algebra of the once punctured torus. Our lattice paths are required to proceed by North and East steps and never go over the diagonal. To define the order relations, we first construct a snake graph $\mathcal{G}(ω)$ and a band graph $\overline{\mathcal{G}(ω)}$ for every such lattice path $ω$. The first order relation $<_M$ is given by the number of perfect matchings of the snake graphs. The second order relation $<_L$ is given by the Lagrange number of a quadratic irrational associated to the band graph.

Over the last several decades, improvements in the fields of analytic combinatorics and computer algebra have made determining the asymptotic behaviour of sequences satisfying linear recurrence relations with polynomial coefficients largely a matter of routine, under assumptions that hold often in practice. The algorithms involved typically take a sequence, encoded by a recurrence relation and initial terms, and return the leading terms in an asymptotic expansion up to a big-O error term. Less studied, however, are effective techniques giving an explicit bound on asymptotic error terms. Among other things, such explicit bounds typically allow the user to automatically prove sequence positivity (an active area of enumerative and algebraic combinatorics) by exhibiting an index when positive leading asymptotic behaviour dominates any error terms. In this article, we present a practical algorithm for computing such asymptotic approximations with rigorous error bounds, under the assumption that the generating series of the sequence is a solution of a differential equation with regular (Fuchsian) dominant singularities. Our algorithm approximately follows the singularity analysis method of Flajolet and Odlyzko, except that all big-O terms involved in the derivation of the asymptotic expansion are replaced by explicit error terms. The computation of the error terms combines analytic bounds from the literature with effective techniques from rigorous numerics and computer algebra. We implement our algorithm in the SageMath computer algebra system and exhibit its use on a variety of applications (including our original motivating example, solution uniqueness in the Canham model for the shape of genus one biomembranes).

For a set of permutations (patterns) $Π$ in $S_k$, consider the set of all permutations in $S_n$ that avoid all patterns in $Π$. An important problem in current algebraic combinatorics is to find pattern sets $Π$ such that the corresponding quasi-symmetric function is symmetric for all $n$. Recently, Bloom and Sagan proved that for any $k \ge 4$, the size of such $Π$ must be at least $3$ unless $Π\subseteq \{[1, 2, \dots, k],\; [k, \dots, 1]\}$, and asked for a general lower bound. We prove that the minimal size of such $Π$ is exactly $k - 1$. The proof applies a new generalization of a theorem of Bose from extremal combinatorics. This generalization is proved using the multilinear polynomial approach of Alon, Babai and Suzuki to the extension by Ray-Chaudhuri and Wilson to Bose's theorem.

In this survey we discuss the notion of combinatorial interpretation in the context of Algebraic Combinatorics and related areas. We approach the subject from the Computational Complexity perspective. We review many examples, state a workable definition, discuss many open problems, and present recent results on the subject.

The $Δ$-Springer varieties are a generalization of Springer fibers introduced by Levinson, Woo, and the author that have connections to the Delta Conjecture from algebraic combinatorics. We prove a positive Hall-Littlewood expansion formula for the graded Frobenius characteristic of the cohomology ring of a $Δ$-Springer variety. We do this by interpreting the Frobenius characteristic in terms of counting points over a finite field $\mathbb{F}_q$ and partitioning the $Δ$-Springer variety into copies of Springer fibers crossed with affine spaces. As a special case, our proof method gives a geometric meaning to a formula of Haglund, Rhoades, and Shimozono for the Hall-Littlewood expansion of the symmetric function in the Delta Conjecture at $t=0$.

We construct explicit combinatorial Bernoulli factories for the class of \emph{flow-based polytopes}; integral 0/1-polytopes defined by a set of network flow constraints. This generalizes the results of Niazadeh et al. (who constructed an explicit factory for the specific case of bipartite perfect matchings) and provides novel exact sampling procedures for sampling paths, circulations, and $k$-flows. In the process, we uncover new connections to algebraic combinatorics.

Positroids are certain representable matroids originally studied by Postnikov in connection with the totally nonnegative Grassmannian and now used widely in algebraic combinatorics. The positroids give rise to determinantal equations defining positroid varieties as subvarieties of the Grassmannian variety. Rietsch, Knutson-Lam-Speyer, and Pawlowski studied geometric and cohomological properties of these varieties. In this paper, we continue the study of the geometric properties of positroid varieties by establishing several equivalent conditions characterizing smooth positroid varieties using a variation of pattern avoidance defined on decorated permutations, which are in bijection with positroids. This allows us to give two formulas for counting the number of smooth positroids along with two $q$-analogs. Furthermore, we give a combinatorial method for determining the dimension of the tangent space of a positroid variety at key points using an induced subgraph of the Johnson graph. We also give a Bruhat interval characterization of positroids.

The Heilmann--Lieb theorem is a fundamental theorem in algebraic combinatorics which provides a characterization of the distribution of the zeros of matching polynomials of graphs. In this paper, we establish a hypergraph Heilmann--Lieb theorem as follows. Let $\h$ be a connected $k$-graph with maximum degree $Δ\geq 2$ and let $μ(\h, x)$ be its matching polynomial. We show that the zeros (with multiplicities) of $μ(\h, x)$ are invariant under a rotation of an angle $2π/{\ell}$ in the complex plane for some positive integer $\ell$ and $k$ is the maximum integer with this property. We further prove that the maximum modulus $λ(\h)$ of all the zeros of $μ(\h, x)$ is a simple root of $μ(\h, x)$ and satisfies $$Δ^{\frac{1}{ k}} \leq λ(\h)< \frac{k}{k-1}\big((k-1)(Δ-1)\big)^{\frac{1}{ k}}.$$ To achieve these, we prove that $μ(\h, x)$ divides the matching polynomial of the $k$-walk-tree of $\h$, which generalizes a classical result due to Godsil from graphs to hypergraphs.

The ring of symmetric functions occupies a central place in algebraic combinatorics, with a particularly notable role in Schubert calculus, where the standard cell decompositions of Grassmannians yield the celebrated family of Schur functions and the cohomology ring is governed by Littlewood-Richardson rules. The past 50 years have seen an analogous development of quasisymmetric function theory, with applications to enumerative combinatorics, Hopf algebras, graph theory, representation theory, and other areas. Despite such successes, this theory has lacked a quasisymmetric analogue of Schubert calculus. In particular, there has been much interest, since work of Lam and Pylyavskyy (2007), in developing "$K$-theoretic" analogues of quasisymmetric function theory, for which a major obstacle has been the lack of topological interpretations. Here, building on work of Baker and Richter (2008), we apply the philosophy of Schubert calculus to the loop space $Ω(Σ(\mathbb{C}\mathbb{P}^\infty))$ through the homotopy model given by James reduced product $J(\mathbb{C}\mathbb{P}^\infty)$. We describe a canonical Schubert cell decomposition of $J(\mathbb{C}\mathbb{P}^\infty)$, yielding a canonical basis of its cohomology, which we explicitly identify with monomial quasisymmetric functions. Our constructions apply equally to James reduced products of generalized flag varieties $G/P$, and we show how Littlewood-Richardson rules for any $G/P$ lift to $H^*(J(G/P))$. If $J(\mathbb{C}\mathbb{P}^\infty)$ carried the structure of a normal projective algebraic variety, the structure sheaves of the cell closures would yield a "cellular $K$-theory" Schubert basis. We show this is impossible. Nonetheless, we introduce and study a more subtle $K$-theory Schubert basis. We characterize this $K$-theory ring and develop quasisymmetric representatives with an explicit combinatorial description.

Promotion and rowmotion are intriguing actions in dynamical algebraic combinatorics which have inspired much work in recent years. In this paper, we study $P$-strict labelings of a finite, graded poset $P$ of rank $n$ and labels at most $q$, which generalize semistandard Young tableaux with $n$ rows and entries at most $q$, under promotion. These $P$-strict labelings are in equivariant bijection with $Q$-partitions under rowmotion, where $Q$ equals the product of $P$ and a chain of $q-n-1$ elements. We study the case where $P$ equals the product of chains in detail, yielding new homomesy and order results in the realm of tableaux and beyond. Furthermore, we apply the bijection to the cases in which $P$ is a minuscule poset and when $P$ is the three element $V$ poset. Finally, we give resonance results for promotion on $P$-strict labelings and rowmotion on $Q$-partitions.

Positroids are certain representable matroids originally studied by Postnikov in connection with the totally nonnegative Grassmannian and now used widely in algebraic combinatorics. The positroids give rise to determinantal equations defining positroid varieties as subvarieties of the Grassmannian variety. Rietsch, Knutson-Lam-Speyer and Pawlowski studied geometric and cohomological properties of these varieties. In this paper, we continue the study of the geometric properties of positroid varieties by establishing several equivalent conditions characterizing smooth positroid varieties using a variation of pattern avoidance defined on decorated permutations, which are in bijection with positroids. Furthermore, we give a combinatorial method for determining the dimension of the tangent space of a positroid variety at key points using an induced subgraph of the Johnson graph. We also give a Bruhat interval characterization of positroids.

We introduce a family of 3-variable "Farey polynomials" that are closely connected with the geometry and topology of $3$-manifolds and orbifolds as they can be used to produce concrete realisations of the boundaries and local coordinates for one-complex-dimensional deformation spaces of Kleinian groups. As such, this family of polynomials has a number of quite remarkable properties. We study these polynomials from an abstract combinatorial viewpoint, including a recursive definition extending that which is known in the literature for the special case of manifolds, even beyond what the geometry predicts. We also present some intriguing examples and conjectures which we would like to bring to the attention of researchers interested in algebraic combinatorics and hypergeometric functions. The results in this paper additionally provide a practical approach to various classification problems for rank-two subgroups of PSL(2,C) since they, together with other recent work of the authors, make it possible to provide certificates that certain groups are discrete and free, and effective ways to identify relators.

Chow rings of flag varieties have bases of Schubert cycles $σ_u$, indexed by permutations. A major problem of algebraic combinatorics is to give a positive combinatorial formula for the structure constants of this basis. The celebrated Littlewood-Richardson rules solve this problem for special products $σ_u \cdot σ_v$ where $u$ and $v$ are $p$-Grassmannian permutations. Building on work of Wyser, we introduce backstable clans to prove such a rule for the problem of computing the product $σ_u \cdot σ_v$ when $u$ is $p$-inverse Grassmannian and $v$ is $q$-inverse Grassmannian. By establishing several new families of linear relations among structure constants, we further extend this result to obtain a positive combinatorial rule for $σ_u \cdot σ_v$ in the case that $u$ is covered in weak Bruhat order by a $p$-inverse Grassmannian permutation and $v$ is a $q$-inverse Grassmannian permutation.

The Gini index is a number that attempts to measure how equitably a resource is distributed throughout a population, and is commonly used in economics as a measurement of inequality of wealth or income. The Gini index is often defined as the area between the "Lorenz curve" of a distribution and the line of equality, normalized to be between zero and one. In this fashion, we will define a Gini index on the set of integer partitions and prove some combinatorial results related to it; culminating in the proof of an identity for the expected value of the Gini index. We will then discuss symmetric polynomials, and show that the Gini index can be understood as the degrees of certain Kostka-foulkes polynomials. This identification yields a generalization whereby we may define a Gini index on the irreducible representations of a complex reflection group, or connected reductive linear algebraic group.

Chromatic symmetric functions are well-studied symmetric functions in algebraic combinatorics that generalize the chromatic polynomial and are related to Hessenberg varieties and diagonal harmonics. Motivated by the Stanley--Stembridge conjecture, we show that the allowable coloring weights for indifference graphs of Dyck paths are the lattice points of a permutahedron $\mathcal{P}_λ$, and we give a formula for the dominant weight $λ$. Furthermore, we conjecture that such chromatic symmetric functions are Lorentzian, a property introduced by Brändén and Huh as a bridge between discrete convex analysis and concavity properties in combinatorics, and we prove this conjecture for abelian Dyck paths. We extend our results on the Newton polytope to incomparability graphs of (3+1)-free posets, and we give a number of conjectures and results stemming from our work, including results on the complexity of computing the coefficients and relations with the $ζ$ map from diagonal harmonics.