arXiv++ Combinatorics

Let $r \geq 0$, and let $λ$ and $μ$ be partitions such that $λ_1 \leq r + 1$. We present a combinatorial interpretation of the plethysm coefficient $\langle s_λ, s_μ[s_r] \rangle$. As a consequence, we solve the restriction problem for partitions with at most three columns. That is, for all partitions $λ$ with $λ_1 \leq 3$, we find a combinatorial interpretation for the multiplicities of the irreducible $\mathfrak{S}_n$-submodules of the Schur module $\mathbb{S}^λ\mathbb{C}^n$, considered as an $\mathfrak{S}_n$-module.

We study Lam's reduced random walk in a hyperbolic triangle group, which we view as a random walk in the upper half-plane. We prove that this walk converges almost surely to a point on the extended real line. We devote special attention to the reduced random walk in $PGL_2(\mathbb{Z})$ (i.e., the $(2,3,\infty)$ triangle group). In this case, we provide an explicit formula for the cumulative distribution function of the limit. This formula is written in terms of the interrobang function, a new function $!\hspace{-3.8pt}?\colon[0,1]\to\mathbb{R}$ that shares several of the remarkable analytic and arithmetic properties of Minkowski's question-mark function.

Defant found that the relationship between a sequence of (univariate) classical cumulants and the corresponding sequence of (univariate) free cumulants can be described combinatorially in terms of families of binary plane trees called troupes. Using a generalization of troupes that we call weighted troupes, we generalize this result to allow for multivariate cumulants. Our result also gives a combinatorial description of the corresponding Boolean cumulants. This allows us to answer a question of Defant regarding his troupe transform. We also provide explicit distributions whose cumulants correspond to some specific weighted troupes.

Let $(W,S)$ be a Coxeter system, and write $S=\{s_i:i\in I\}$, where $I$ is a finite index set. Fix a nonempty convex subset $\mathscr{L}$ of $W$. If $W$ is of type $A$, then $\mathscr{L}$ is the set of linear extensions of a poset, and there are important Bender--Knuth involutions $\mathrm{BK}_i\colon\mathscr{L}\to\mathscr{L}$ indexed by elements of $I$. For arbitrary $W$ and for each $i\in I$, we introduce an operator $τ_i\colon W\to W$ (depending on $\mathscr{L}$) that we call a noninvertible Bender--Knuth toggle; this operator restricts to an involution on $\mathscr{L}$ that coincides with $\mathrm{BK}_i$ in type $A$. Given a Coxeter element $c=s_{i_n}\cdots s_{i_1}$, we consider the operator $\mathrm{Pro}_c=τ_{i_n}\cdotsτ_{i_1}$. We say $W$ is futuristic if for every nonempty finite convex set $\mathscr{L}$, every Coxeter element $c$, and every $u\in W$, there exists an integer $K\geq 0$ such that $\mathrm{Pro}_c^K(u)\in\mathscr{L}$. We prove that finite Coxeter groups, right-angled Coxeter groups, rank-3 Coxeter groups, affine Coxeter groups of types $\widetilde A$ and $\widetilde C$, and Coxeter groups whose Coxeter graphs are complete are all futuristic. When $W$ is finite, we actually prove that if $s_{i_N}\cdots s_{i_1}$ is a reduced expression for the long element of $W$, then $τ_{i_N}\cdotsτ_{i_1}(W)=\mathscr{L}$; this allows us to determine the smallest integer $\mathrm{M}(c)$ such that $\mathrm{Pro}_c^{\mathrm{M}(c)}(W)=\mathscr{L}$ for all $\mathscr{L}$. We also exhibit infinitely many non-futuristic Coxeter groups, including all irreducible affine Coxeter groups that are not of type $\widetilde A$, $\widetilde C$, or $\widetilde G_2$.

We define an abelian group homomorphism $\mathscr{F}$, which we call the Frobenius transform, from the ring of symmetric functions to the ring of the symmetric power series. The matrix entries of $\mathscr{F}$ in the Schur basis are the restriction coefficients $r_λ^μ= \dim \operatorname{Hom}_{\mathfrak{S}_n}(V_μ, \mathbb{S}^λ\mathbb{C}^n)$, which are known to be nonnegative integers but have no known combinatorial interpretation. The Frobenius transform satisfies the identity $\mathscr{F}\{fg\} = \mathscr{F}\{f\} \ast \mathscr{F}\{g\}$, where $\ast$ is the Kronecker product. We prove for all symmetric functions $f$ that $\mathscr{F}\{f\} = \mathscr{F}_{\mathrm{Sur}}\{f\} \cdot (1 + h_1 + h_2 + \cdots)$, where $\mathscr{F}_{\mathrm{Sur}}\{f\}$ is a symmetric function with the same degree and leading term as $f$. Then, we compute the matrix entries of $\mathscr{F}_{\mathrm{Sur}}\{f\}$ in the complete homogeneous, elementary, and power sum bases and of $\mathscr{F}^{-1}_{\mathrm{Sur}}\{f\}$ in the complete homogeneous and elementary bases, giving combinatorial interpretations of the coefficients where possible. In particular, the matrix entries of $\mathscr{F}^{-1}_{\mathrm{Sur}}\{f\}$ in the elementary basis count words with a constraint on their Lyndon factorization. As an example application of our main results, we prove that $r_λ^μ= 0$ if $|λ\cap \hatμ| < 2|\hatμ| - |λ|$, where $\hatμ$ is the partition formed by removing the first part of $μ$. We also prove that $r_λ^μ= 0$ if the Young diagram of $μ$ contains a square of side length greater than $2^{λ_1 - 1}$, and this inequality is tight.

Let $π\in \mathfrak{S}_m$ and $σ\in \mathfrak{S}_n$ be permutations. An occurrence of $π$ in $σ$ as a consecutive pattern is a subsequence $σ_i σ_{i+1} \cdots σ_{i+m-1}$ of $σ$ with the same order relations as $π$. We say that patterns $π, τ\in \mathfrak{S}_m$ are strongly c-Wilf equivalent if for all $n$ and $k$, the number of permutations in $\mathfrak{S}_n$ with exactly $k$ occurrences of $π$ as a consecutive pattern is the same as for $τ$. In 2018, Dwyer and Elizalde conjectured (generalizing a conjecture of Elizalde from 2012) that if $π, τ\in \mathfrak{S}_m$ are strongly c-Wilf equivalent, then $(τ_1, τ_m)$ is equal to one of $(π_1, π_m)$, $(π_m, π_1)$, $(m+1 - π_1, m+1-π_m)$, or $(m+1 - π_m, m+1 - π_1)$. We prove this conjecture using the cluster method introduced by Goulden and Jackson in 1979, which Dwyer and Elizalde previously applied to prove that $|π_1 - π_m| = |τ_1 - τ_m|$. A consequence of our result is the full classification of c-Wilf equivalence for a special class of permutations, the non-overlapping permutations. Our approach uses analytic methods to approximate the number of linear extensions of the "cluster posets" of Elizalde and Noy.

Let $(G, +)$ be an abelian group. In 2004, Eliahou and Kervaire found an explicit formula for the smallest possible cardinality of the sumset $A+A$, where $A \subseteq G$ has fixed cardinality $r$. We consider instead the smallest possible cardinality of the difference set $A-A$, which is always greater than or equal to the smallest possible cardinality of $A+A$ and can be strictly greater. We conjecture a formula for this quantity and prove the conjecture in the case that $G$ is a cyclic group or a vector space over a finite field. This resolves a conjecture of Bajnok and Matzke on signed sumsets.

In [5] Graham and Rothschild consider a geometric Ramsey problem: finding the least n such that if all edges of the complete graph on the points {+1,-1}^n are 2-colored, there exist 4 coplanar points such that the 6 edges between them are monochromatic. They give an explicit upper bound: F(F(F(F(F(F(F(12))))))), where F(m) = 2^^(m)^^3, an extremely fast-growing function. By reducing the problem to a variant of the Hales-Jewett problem, we find an upper bound which is between F(4) and F(5).