arXiv++ Combinatorics

We consider an experimental design problem for permutations: given a fixed set $X$, and an integer $t$, construct a list $L$ of permutations of $X$ such that every ordered $t$-tuple of distinct elements of $X$ occurs as a consecutive subsequence of exactly one permutation in $L$. In this paper we focus on solutions based on sharply transitive group actions, in effect generalizing Gordon's notion of group sequencing. We give an explicit construction when $|X|$ is prime for the case $t=3$, and analyze a branching algorithm for the general case which produces, for example, a rare design with $t=6$ based on the Mathieu group $M_{12}$, and suggests that every sharply transitive group action leads to a solution, apart from an explicit list of counterexamples. We state a number of conjectures and indicate directions for future work.

The cactus group acts on the set of standard Young tableau of a given shape by (partial) Schützenberger involutions. It is natural to extend this action to the corresponding Specht module by identifying standard Young tableau with the Kazhdan-Lusztig basis. We term these representations of the cactus group "Schützenberger modules", denoted $S^λ_{\mathsf{Sch}}$, and in this paper we investigate their decomposition into irreducible components. We prove that when $λ$ is a hook shape, the cactus group action on $S^λ_{\mathsf{Sch}}$ factors through $S_{n-1}$ and the resulting multiplicities are given by Kostka coefficients. Our proof relies on results of Berenstein and Kirillov and Chmutov, Glick, and Pylyavskyy.

We introduce a family of varieties $Y_{n,λ,s}$, which we call the \emph{$Δ$-Springer varieties}, that generalize the type A Springer fibers. We give an explicit presentation of the cohomology ring $H^*(Y_{n,λ,s})$ and show that there is a symmetric group action on this ring generalizing the Springer action on the cohomology of a Springer fiber. In particular, the top cohomology groups are induction products of Specht modules with trivial modules. The $λ=(1^k)$ case of this construction gives a compact geometric realization for the expression in the Delta Conjecture at $t=0$. Finally, we generalize results of De Concini and Procesi on the scheme of diagonal nilpotent matrices by constructing an ind-variety $Y_{n,λ}$ whose cohomology ring is isomorphic to the coordinate ring of the scheme-theoretic intersection of an Eisenbud--Saltman rank variety and diagonal matrices.

Fock and Goncharov introduced a family of cluster algebras associated with the moduli of SL(k)-local systems on a marked surface with extra decorations at marked points. We study this family from an algebraic and combinatorial perspective, emphasizing the structures which arise when the surface has punctures. When k is 2, these structures are the tagged arcs and tagged triangulations of Fomin, Shapiro, and Thurston. For higher k, the tagging of arcs is replaced by a Weyl group action at punctures discovered by Goncharov and Shen. We pursue a higher analogue of a tagged triangulation in the language of tensor diagrams, extending work of Fomin and the second author, and we formulate skein-algebraic tools for calculating in these cluster algebras. We analyze the finite mutation type examples in detail.

The study of intersection problems in Extremal Combinatorics dates back perhaps to 1938, when Paul Erdős, Chao Ko and Richard Rado proved the (first) `Erdős-Ko-Rado theorem' on the maximum possible size of an intersecting family of $k$-element subsets of a finite set. Since then, a plethora of results of a similar flavour have been proved, for a range of different mathematical structures, using a wide variety of different methods. Structures studied in this context have included families of vector subspaces, families of graphs, subsets of finite groups with given group actions, and of course uniform hypergraphs with stronger or weaker intersection conditions imposed. The methods used have included purely combinatorial ones such as shifting/compressions, algebraic methods (including linear-algebraic, Fourier analytic and representation-theoretic), and more recently, analytic, probabilistic and regularity-type methods. As well as being natural problems in their own right, intersection problems have connections with many other parts of Combinatorics and with Theoretical Computer Science (and indeed with many other parts of Mathematics), both through the results themselves, and the methods used. In this survey paper, we discuss both old and new results (and both old and new methods), in the field of intersection problems. Many interesting open problems remain; we will discuss several. For expositional and pedagogical purposes, we also take this opportunity to give slightly streamlined versions of proofs (due to others) of several classical results in the area. This survey is intended to be useful to PhD students, as well as to more established researchers. It is a personal perspective on the field, and is not intended to be exhaustive; we apologise for any omissions. It is an expanded version of a paper that will appear in the Proceedings of the 29th British Combinatorial Conference.

We study the generalized double $β$-Grothendieck polynomials for all types. We study the Cauchy formulas for them. Using this, we deduce the K-theoretic version of the comodule structure map $α^*: K(G/B)\to K(G)\otimes K(G/B)$ induced by the group action map for reductive group $G$ and its flag variety $G/B$. Furthermore, we give a combinatorial formula to compute the localization of Schubert classes as a generalization of Billey's formula.

The Bender-Knuth involutions on semistandard Young tableaux are known to coincide with the tableau switching on horizontal border strips of two adjacent letters, together with the swapping of those letters. Motivated by this coincidence and using the shifted tableau switching due to Choi, Nam and Oh (2019), we consider a shifted version of the Bender-Knuth involutions and define a shifted version of the Berenstein-Kirillov group (1995). Similarly to the classical case, the shifted version of the Berenstein-Kirillov group also acts on the straight-shaped shifted tableau crystals introduced by Gillespie, Levinson and Purbhoo (2020), via partial Schützenberger involutions, thus coinciding with the action of the cactus group on the same crystal, due to the author. Following the works of Halacheva (2016, 2020), and Chmutov, Glick and Pylyavskyy (2020), on the relation between the actions of the Berenstein-Kirillov group and the cactus group on a crystal of straight-shaped Young tableaux, we also show that the shifted Berenstein-Kirillov group is isomorphic to a quotient of the cactus group. Not all the known relations that hold in the classic Berenstein-Kirillov group need to be satisfied by the shifted Bender-Knuth involutions, but the ones implying the relations of the cactus group are verified. Hence, we have an alternative presentation for the cactus group in terms of the shifted Bender-Knuth involutions. We also use the shifted growth diagrams due to Thomas and Yong (2016) to provide an alternative proof concerning the mentioned cactus group action.

By considering the parity of the degrees and levels of nodes in increasing trees, a new combinatorial interpretation for the coefficients of the Taylor expansions of the Jacobi elliptic functions is found. As one application of this new interpretation, a conjecture of Ma-Mansour-Wang-Yeh is solved. Unifying the concepts of increasing trees and plane trees, Lin-Ma-Ma-Zhou introduced weakly increasing trees on a multiset. A symmetry joint distribution of "even-degree nodes on odd levels" and "odd-degree nodes" on weakly increasing trees is found, extending the Schett polynomials, a generalization of the Jacobi elliptic functions introduced by Schett, to multisets. A combinatorial proof and an algebraic proof of this symmetry are provided, as well as several relevant interesting consequences. Moreover, via introducing a group action on trees, we prove the partial $γ$-positivity of the multiset Schett polynomials, a result implies both the symmetry and the unimodality of these polynomials.

The Garsia--Haiman module is a bigraded $\mathfrak{S}_n$-module whose Frobenius image is a Macdonald polynomial. The method of orbit harmonics promotes an $\mathfrak{S}_n$-set $X$ to a graded polynomial ring. The orbit harmonics can be applied to prove cyclic sieving phenomena which is a notion that encapsulates the fixed-point structure of finite cyclic group action on a finite set. By applying this idea to the Garsia--Haiman module, we provide cyclic sieving results regarding the enumeration of matrices that are invariant under certain cyclic row and column rotation and translation of entries.

We make quantitative improvements to recently obtained results on the structure of the image of a large difference set under certain quadratic forms and other homogeneous polynomials. Previous proofs used deep results of Benoist-Quint on random walks in certain subgroups of $\operatorname{SL}_r(\mathbb{Z})$ (the symmetry groups of these quadratic forms) that were not of a quantitative nature. Our new observation relies on noticing that rather than studying random walks, one can obtain more quantitative results by considering polynomial orbits of these group actions that are not contained in cosets of submodules of $\mathbb{Z}^r$ of small index. Our main new technical tool is a uniform Furstenberg-Sárközy theorem that holds for a large class of polynomials not necessarily vanishing at zero, which may be of independent interest and is derived from a density increment argument and Hua's bound on polynomial exponential sums.

The purpose of this paper is to study the phenomenon of large intersections in the framework of multiple recurrence for measure-preserving actions of countable abelian groups. Among other things, we show: (1) If $G$ is a countable abelian group and $\varphi, ψ: G \to G$ are homomorphisms such that $\varphi(G)$, $ψ(G)$, and $(ψ- \varphi)(G)$ have finite index in $G$, then for every ergodic measure-preserving system $(X, \mathcal{B}, μ, (T_g)_{g \in G})$, every set $A \in \mathcal{B}$, and every $\varepsilon > 0$, the set $\{g \in G : μ(A \cap T_{\varphi(g)}^{-1}A \cap T_{ψ(g)}^{-1}A) > μ(A)^3 - \varepsilon\}$ is syndetic. (2) If $G$ is a countable abelian group and $r,s \in \mathbb{Z}$ are integers such that $rG$, $sG$, and $(r \pm s)G$ have finite index in $G$, then for every ergodic measure-preserving system $(X, \mathcal{B}, μ, (T_g)_{g \in G})$, every set $A \in \mathcal{B}$, and every $\varepsilon > 0$, the set $\{g \in G : μ(A \cap T_{rg}^{-1}A \cap T_{sg}^{-1}A \cap T_{(r+s)g}^{-1}A) > μ(A)^4 - \varepsilon\}$ is syndetic. In particular, these extend and generalize results of Bergelson, Host, and Kra concerning $\mathbb{Z}$-actions and of Bergelson, Tao, and Ziegler concerning $\mathbb{F}_p^{\infty}$-actions. Using an ergodic version of the Furstenberg correspondence principle, we obtain new combinatorial applications. We also discuss numerous examples shedding light on the necessity of the various hypotheses above. Our results lead to a number of interesting questions and conjectures, formulated in the introduction and at the end of the paper.

Let $G$ be a finite abelian group viewed a $\mathbb{Z}$-module and let $\mathcal{G} = (V, E)$ be a simple graph. In this paper, we consider a graph $Γ(G)$ called as a \textit{group-annihilator} graph. The vertices of $Γ(G)$ are all elements of $G$ and two distinct vertices $x$ and $y$ are adjacent in $Γ(G)$ if and only if $[x : G][y : G]G = \{0\}$, where $x, y\in G$ and $[x : G] = \{r\in\mathbb{Z} : rG \subseteq \mathbb{Z}x\}$ is an ideal of a ring $\mathbb{Z}$. We discuss in detail the graph structure realised by the group $G$. Moreover, we study the creation sequence, hyperenergeticity and hypoenergeticity of group-annihilator graphs. Finally, we conclude the paper with a discussion on Laplacian eigen values of the group-annhilator graph. We show that the Laplacian eigen values are representatives of orbits of the group action: $Aut(Γ(G)) \times G \rightarrow G$.

In this short note, we describe a problem in algebraic geometry where the solution involves Catalan numbers. More specifically, we consider the derived category of coherent sheaves on an elliptic surface, and the action of its autoequivalence group on its Bridgeland stability manifold. In solving an equation involving this group action, the generating function of Catalan numbers arises, allowing us to use asymptotic estimates of Catalan numbers to arrive at a bound for the solution set.

We investigate deformations of skew group algebras arising from the action of the symmetric group on polynomial rings over fields of arbitrary characteristic. Over the real or complex numbers, Lusztig's graded affine Hecke algebra and analogs are all isomorphic to Drinfeld Hecke algebras, which include the symplectic reflection algebras and rational Cherednik algebras. Over fields of prime characteristic, new deformations arise that capture both a disruption of the group action and also a disruption of the commutativity relations defining the polynomial ring. We classify deformations for the symmetric group acting in its natural (reducible) reflection representation.

We leverage a correspondence between group actions and edge-labelled graphs in two ways. First, we give a unified presentation of several folklore results connecting weak containment, local-global convergence, and continuous model theory. Second, we investigate the difference between $\operatorname{Aut}(\operatorname{Cay}(Γ))$-fiid combinatorics and $Γ$-fiid combinatorics for various marked groups $Γ$. It's straightforward to see that these differences vanish when $\operatorname{Cay}(Γ)$ admits an $\operatorname{Aut}(\operatorname{Cay}(Γ))$-fiid Cayley diagram. We extend this to show that the approximate combinatorics are the same when $\operatorname{Cay}(Γ)$ admits an approximate fiid Cayley diagram, and we give several examples and nonexamples of groups whose Cayley graphs admit (approximate) fiid Cayley diagrams. In particular, we show that trees admit approximate Cayley diagrams for any group whose Cayley graph is a tree; Cayley graphs of torsion free nilpotent groups do not admit fiid Cayley diagrams; and there are groups with isomorphic Cayley graphs so that only one them admits even an approximate Cayley diagram (in fact our construction answers a question of Weilacher).

We initiate the axiomatic study of affine oriented matroids (AOMs) on arbitrary ground sets, obtaining fundamental notions such as minors, reorientations and a natural embedding into the frame work of Complexes of Oriented Matroids. The restriction to the finitary case (FAOMs) allows us to study tope graphs and covector posets, as well as to view FAOMs as oriented finitary semimatroids. We show shellability of FAOMs and single out the FAOMs that are affinely homeomorphic to $\mathbb{R}^n$. Finally, we study group actions on AOMs, whose quotients in the case of FAOMs are a stepping stone towards a general theory of affine and toric pseudoarrangements. Our results include applications of the multiplicity Tutte polynomial of group actions of semimatroids, generalizing enumerative properties of toric arrangements to a combinatorially defined class of arrangements of submanifolds. This answers partially a question by Ehrenborg and Readdy.

The cyclic sieving phenomenon of Reiner, Stanton, and White characterizes the stabilizers of cyclic group actions on finite sets using q-analogue polynomials. Eu and Fu demonstrated a cyclic sieving phenomenon on generalized cluster complexes of every type using the q-Catalan numbers. In this paper, we exhibit the dihedral sieving phenomenon, introduced for odd n by Rao and Suk, on clusters of every type. In the type A case, we show that the Raney numbers count both reflection-symmetric k-angulations of an n-gon and a particular evaluation of the (q,t)-Fuss--Catalan numbers. We also introduce a sieving phenomenon for the symmetric group, and discuss possibilities for dihedral sieving for even n.

The birational $R$-matrix is a transformation that appears in the theory of geometric crystals, the study of total positivity in loop groups, and discrete dynamical systems. This $R$-matrix gives rise to an action of the symmetric group $S_m$ on an $m$-tuple of vectors. While the birational $R$-matrix is precisely the formula corresponding to the action of the simple transposition $s_i$, explicit formulas for the action of other permutations are generally not known. One particular case was studied by Lam and Pylyavskyy as it relates to energy functions of crystals. In this paper, we will discuss formulas for several additional cases, including transpositions, and provide combinatorial interpretations for the functions that appear in our work.

A special sorting operation called Context Directed Swap, and denoted \textbf{cds}, performs certain types of block interchanges on permutations. When a permutation is sortable by \textbf{cds}, then \textbf{cds} sorts it using the fewest possible block interchanges of any kind. This work introduces a classification of permutations based on their number of \textbf{cds}-eligible contexts. In prior work an object called the strategic pile of a permutation was discovered and shown to provide an efficient measure of the non-\textbf{cds}-sortability of a permutation. Focusing on the classification of permutations with maximal strategic pile, a complete characterization is given when the number of \textbf{cds}-eligible contexts is close to maximal as well as when the number of eligible contexts is minimal. A group action that preserves the number of \textbf{cds}-eligible contexts of a permutation provides, via the orbit-stabilizer theorem, enumerative results regarding the number of permutations with maximal strategic pile and a given number of \textbf{cds}-eligible contexts. Prior work introduced a natural two-person game on permutations that are not \textbf{cds}-sortable. The decision problem of which player has a winning strategy in a particular instance of the game appears to be of high computational complexity. Extending prior results, this work presents new conditions for player ONE to have a winning strategy in this combinatorial game.

Let $W_a$ be an affine Weyl group with corresponding finite root system $Φ$. In \cite{JYS1} Jian-Yi Shi characterized each element $w \in W_a$ by a $ Φ^+$-tuple of integers $(k(w,α))_{α\in Φ^+}$ subject to certain conditions. In \cite{NC1} a new interpretation of the coefficients $k(w,α)$ is given. This description led us to define an affine variety $\widehat{X}_{W_a}$, called the Shi variety of $W_a$, whose integral points are in bijection with $W_a$. It turns out that this variety has more than one irreducible component, and the set of these components, denoted $H^0(\widehat{X}_{W_a})$, admits many interesting properties. In particular the group $W_a$ acts on it. In this article we show that the set of irreducible components of $\widehat{X}_{W(\widetilde{A}_n)}$ is in bijection with the conjugacy class of $(1~2~\cdots~n+1) \in W(A_n) = S_{n+1}$. We also compute the action of $W(A_n)$ on $H^0(\widehat{X}_{W(\widetilde{A}_n)})$.