arXiv++ Combinatorics

Let $s_ν\circ s_μ$ denote the plethystic product of the Schur functions $s_ν$ and $s_μ$. In this article we define an explicit polynomial representation corresponding to $s_ν\circ s_μ$ with basis indexed by certain `plethystic' semistandard tableaux. Using these representations we prove generalizations of four results on plethysms due to Bruns--Conca--Varbaro, Brion, Ikenmeyer and the authors. In particular, we give a sufficient condition for the multiplicity $\langle s_ν\circ s_μ, s_λ\rangle$ to be stable under insertion of new parts into $μ$ and $λ$. We also characterize all maximal and minimal partitions $λ$ in the dominance order such that $s_λ$ appears in $s_ν\circ s_μ$ and determine the corresponding multiplicities using plethystic semistandard tableaux.

This thesis deals with some $(1+1)$-dimensional lattice path models from the KPZ universality class: the directed random polymer with inverse-gamma weights (known as log-gamma polymer) and its zero temperature degeneration, i.e. the last passage percolation model, with geometric or exponential waiting times. We consider three path geometries: point-to-line, point-to-half-line, and point-to-line with paths restricted to stay in a half-plane. Through exact formulas, we establish new connections between integrable probabilistic models and the ubiquitous Whittaker and Schur functions. More in detail, via the use of A. N. Kirillov's geometric Robinson-Schensted-Knuth (RSK) correspondence, we compute the Laplace transform of the polymer partition functions in the above geometries in terms of orthogonal Whittaker functions. In the case of the first two geometries we also provide multiple contour integral formulas. For the corresponding last passage percolation problems, we obtain new formulas in terms of symplectic Schur functions, both directly via RSK on polygonal arrays and via zero temperature limit from the log-gamma polymer formulas. As scaling limits of the point-to-line and point-to-half-line models with exponential waiting times, we derive Sasamoto's Fredholm determinant formula for the GOE Tracy-Widom distribution, as well as the one-point marginal distribution of the ${\rm Airy}_{2\to1}$ process.

In the Boolean lattice, Sperner's, Erdős's, Kleitman's and Samotij's theorems state that families that do not contain many chains must have a very specific layered structure. We show that if instead of $\mathbb{Z}_2^n$ we work in $\mathbb{Z}_{2^n}$, several analogous statements hold if one replaces the word $k$-chain by projective cube of dimension $2^{k-1}$. We say that $B_d$ is a projective cube of dimension $d$ if there are numbers $a_1, a_2, \ldots, a_d$ such that $$B_d = \left\{\sum_{i\in I} a_i \bigg\rvert \emptyset \neq I\subseteq [d]\right\}.$$ As an analog of Sperner's and Erdős's theorems, we show that whenever $d=2^{\ell}$ is a power of two, the largest $d$-cube free set in $\mathbb{Z}_{2^n}$ is the union of the largest $\ell$ layers. As an analog of Kleitman's theorem, Samotij and Sudakov asked whether among subsets of $\mathbb{Z}_{2^n}$ of given size $M$, the sets that minimize the number of Schur triples (2-cubes) are those that are obtained by filling up the largest layers consecutively. We prove the first non-trivial case where $M=2^{n-1}+1$, and conjecture that the analog of Samotij's theorem also holds. Several open questions and conjectures are also given.

We consider the problem of determining when the difference of two ribbon Schur functions is a single Schur function. We fully classify the five infinite families of pairs of ribbon Schur functions whose difference is a single Schur function with corresponding partition having at most two parts at least $2$. We also prove an identity for differences of ribbon Schur functions and we determine some necessary conditions for such a difference to be Schur-positive, depending on the distribution of $1$'s and the end row lengths.

Schur modules give the irreducible polynomial representations of the general linear group $\mathrm{GL}_t$. Viewing the symmetric group $\mathfrak{S}_t$ as a subgroup of $\mathrm{GL}_t$, we may restrict Schur modules to $\mathfrak{S}_t$ and decompose the result into a direct sum of Specht modules, the irreducible representations of $\mathfrak{S}_t$. We give an equivariant Möbius inversion formula that we use to invert this expansion in the representation ring for $\mathfrak{S}_t$ for $t$ large. In addition to explicit formulas in terms of plethysms, we show the coefficients that appear alternate in sign by degree. In particular, this allows us to define a new basis of symmetric functions whose structure constants are stable Kronecker coefficients and which expand with alternating signs into the Schur basis.

This is a short note about Schur positivity. We introduce Schur polynomials and explain how they appear in the representation theory of the general linear group. We end with a new result of the author with F. Bergeron and V. Reiner that gives the probability that a homogeneous symmetric polynomial with positive coefficients is Schur positive.

We define a number of related combinatorial objects, each of which possesses a surprising symmetry. We include several applications such as a combinatorial explanation for certain fixed points of the involution $ω$ on the ring of symmetric functions, as well as a relationship between certain skew Schur functions and skew $Q$-Schur functions. We give a $t$-deformation of these $Q$-Schur functions, and show that it is Schur positive, including a combinatorial description of the Schur coefficients. A corollary of our results is the equality of skew $Q$-Schur functions: $Q_{λ+δ/μ+ δ}=Q_{λ'+δ/μ' + δ}$ for $μ\subseteq λ$ and $δ=(n,\ldots,1)$ for some $n > l(λ)$.

A special case of a fundamental result of Loewner and Horn [Trans. Amer. Math. Soc. 1969] says that given an integer $n \geq 1$, if the entrywise application of a smooth function $f : (0,\infty) \to \mathbb{R}$ preserves the set of $n \times n$ positive semidefinite matrices with positive entries, then $f$ and its first $n-1$ derivatives are non-negative on $(0,\infty)$. In a recent joint work with Belton-Guillot-Putinar [J. Eur. Math. Soc., in press], we proved a stronger version, and used it to strengthen the Schoenberg-Rudin characterization of dimension-free positivity preservers [Duke Math. J. 1942, 1959]. In recent works with Belton-Guillot-Putinar [Adv. Math. 2016] and with Tao [Amer. J. Math., in press] we used local, real-analytic versions at the origin of the Horn-Loewner condition, and discovered unexpected connections between entrywise polynomials preserving positivity and Schur polynomials. In this paper, we unify these two stories via a Master Theorem (Theorem A) which (i) simultaneously unifies and extends all of the aforementioned variants; and (ii) proves the positivity of the first $n$ nonzero Taylor coefficients at individual points rather than on all of $(0,\infty)$. A key step in the proof is a new determinantal / symmetric function calculation (Theorem B), which shows that Schur polynomials arise naturally from considering arbitrary entrywise maps that are sufficiently differentiable. Of independent interest may be the following application to symmetric function theory: we extend the Schur function expansion of Cauchy's (1841) determinant (whose matrix entries are geometric series $1 / (1 - u_j v_k)$), as well as of a determinant of Frobenius [J. reine angew. Math. 1882] (whose matrix entries are a sum of two geometric series), to arbitrary power series, and over all commutative rings.

We investigate a rich new class of exactly solvable particle systems generalizing the Totally Asymmetric Simple Exclusion Process (TASEP). Our particle systems can be thought of as new exactly solvable examples of tandem queues, directed first- or last-passage percolation models, or Robinson-Schensted-Knuth type systems with random input. One of the novel features of the particle systems is the presence of spatial inhomogeneity which can lead to the formation of traffic jams. For systems with special step-like initial data, we find explicit limit shapes, describe hydrodynamic evolution, and obtain asymptotic fluctuation results which put the systems into the Kardar-Parisi-Zhang universality class. At a critical scaling around a traffic jam in the continuous space TASEP, we observe deformations of the Tracy-Widom distribution and the extended Airy kernel, revealing the finer structure of this novel type of phase transitions. A homogeneous version of a discrete space system we consider is a one-parameter deformation of the geometric last-passage percolation, and we obtain extensions of the limit shape parabola and the corresponding asymptotic fluctuation results. The exact solvability and asymptotic behavior results are powered by a new nontrivial connection to Schur measures and processes.

Let $r$, $m$ and $k\geq 2$ be positive integers such that $r\mid k$ and let $v \in \left[ 0,\lfloor \frac{k-1}{2r} \rfloor \right]$ be any integer. For any integer $\ell \in [1, k]$ and $ε\in \{0,1\}$, we let $\mathcal{E}_{v}^{(\ell, ε)}$ be the linear homogeneous equation defined by $\mathcal{E}_{v}^{(\ell, ε)}: x_1 + \cdots + x_{k-(rv+ε)} =x_{k-(rv+ε-1)} +\cdots+ \ell x_{k}$. We denote the number $S_{\mathfrak{z},m}^{(\ell, ε)}(k;r;v)$, which is defined to be the least positive integer $t$ such that for any $m$-coloring $χ: [1, t] \to \{0, 1,\ldots,m-1\}$, there exists a solution $(\hat{x}_1, \hat{x}_2, \ldots, \hat{x}_k)$ to the equation $\mathcal{E}_{v}^{(\ell,ε)}$ that satisfies the $r$-zero-sum condition, namely, $\displaystyle\sum_{i=1}^kχ(\hat{x}_i) \equiv 0\pmod{r}$. In this article, we completely determine the constant $S_{\mathfrak{z}, 2}^{(k,1)}(k;r;0)$, $S_{\mathfrak{z}, m}^{(k-1,1)}(k;r;0)$, $S_{\mathfrak{z}, 2}^{(1,1)}(k;2;1)$ and $S_{\mathfrak{z}, r}^{(1,0)}(k;r;v)$. Also, we prove upper bound for the constants $S_{\mathfrak{z},2}^{(2,1)}(k;2;0)$ and $S_{\mathfrak{z},2}^{(1,1)}(k;2;v)$.

The basic $κ$-color box-ball (BBS) system is an integrable cellular automaton on one dimensional lattice whose local states take $\{0,1,\cdots,κ\}$ with $0$ regarded as an empty box. The time evolution is defined by a combinatorial rule of quantum group theoretical origin, and the complete set of conserved quantities is given by a $κ$-tuple of Young diagrams. In the randomized BBS, a probability distribution on $\{0,1,\cdots,κ\}$ to independently fill the consecutive $n$ sites in the initial state induces a highly nontrivial probability measure on the $κ$-tuple of those invariant Young diagrams. In a recent work \cite{kuniba2018randomized}, their large $n$ `equilibrium shape' has been determined in terms of Schur polynomials by a Markov chain method and also by a very different approach of Thermodynamic Bethe Ansatz (TBA). In this paper, we establish a large deviations principle for the row lengths of the invariant Young diagrams. As a corollary, they are shown to converge almost surely to the equilibrium shape at an exponential rate. We also refine the TBA analysis and obtain the exact scaling form of the vacancy, the row length and the column multiplicity, which exhibit nontrivial factorization in a one-parameter specialization.

The classical Pieri formula gives a combinatorial rule for decomposing the product of a Schur function and a complete homogeneous symmetric polynomial as a linear combination of Schur functions with integer coefficients. We give a Pieri rule for describing the product of an orthosymplectic character and an orthosymplectic character arising from a one-row partition. We establish that the orthosymplectic Pieri rule coincides with Sundaram's Pieri rule for symplectic characters and that orthosymplectic characters and symplectic characters obey the same product rule.

Let $S_{\mathfrak{z}}(k,r)$ be the least positive integer such that for any $r$-coloring $χ: \{1,2,\dots,S_{\mathfrak{z}}(k,r)\} \longrightarrow \{1, 2, \dots, r\}$, there is a sequence $x_1, x_2, \dots, x_k$ such that $\sum_{i=1}^{k-1} x_i = x_k$, and $\sum_{i=1}^{k} χ(x_i) \equiv 0 \pmod{r}$. We show that when $k$ is greater than $r$, $kr - r - 1 \le S_{\mathfrak{z}}(k,r) \le kr - 1$, and when $r$ is an odd prime, $S_{\mathfrak{z}}(k,r)$ is in fact equal to $kr - r$.

In previous work of this author it was conjectured that the sum of power sums $p_λ,$ for partitions $λ$ ranging over an interval $[(1^n), μ]$ in reverse lexicographic order, is Schur-positive. Here we investigate this conjecture and establish its truth in the following special cases: for $μ\in [(n-4,1^4), (n)]$ or $μ\in [(1^n), (3,1^{n-3})], $ or $μ=(3, 2^k, 1^r)$ when $k\geq 1$ and $0\leq r\leq 2.$ Many new Schur positivity questions are presented.

Closed forms for $f_{λ,i} (q) := \sum_{τ\in SYT(λ) : des(τ) = i} q^{maj(τ)}$, the distribution of the major index over standard Young tableaux of given shapes and specified number of descents, are established for a large collection of $λ$ and $i$. Of particular interest is the family that gives a positive answer to a question of Sagan and collaborators. All formulas established in the paper are unimodal, most by a result of Kirillov and Reshetikhin. Many can be identified as specializations of Schur functions via the Jacobi-Trudi identities. If the number of arguments is sufficiently large, it is shown that any finite principal specialization of any Schur function $s_λ(1,q,q^2,\dots,q^{n-1})$ has a combinatorial realization as the distribution of the major index over a given set of tableaux.

The classical Schur polynomials form a natural basis for the ring of symmetric polynomials, and have geometric significance since they represent the Schubert classes in the cohomology ring of Grassmannians. Moreover, these polynomials enjoy rich combinatorial properties. In the last decade, an exact analogue of this picture has emerged in the symplectic and orthogonal Lie types, with the Schur polynomials replaced by the theta and eta polynomials of Buch, Kresch, and the author. This expository paper gives an overview of what is known to date about this correspondence, with examples.

Quasi-Yamanouchi tableaux are a subset of semistandard Young tableaux and refine standard Young tableaux. They are closely tied to the descent set of standard Young tableaux and were introduced by Assaf and Searles to tighten Gessel's fundamental quasisymmetric expansion of Schur functions. The descent set and descent statistic of standard Young tableaux repeatedly prove themselves useful to consider, and as a result, quasi-Yamanouchi tableaux make appearances in many ways outside of their original purpose. Some examples, which we present in this paper, include the Schur expansion of Jack polynomials, the decomposition of Foulkes characters, and the bigraded Frobenius image of the coinvariant algebra. While it would be nice to have a product formula enumeration of quasi-Yamanouchi tableaux in the way that semistandard and standard Young tableaux do, it has previously been shown by the author that there is little hope on that front. The goal of this paper is to address a handful of the numerous alternative enumerative approaches. In particular, we present enumerations of quasi-Yamanouchi tableaux using $q$-hit numbers, semistandard Young tableaux, weighted lattice paths, and symmetric polynomials, as well as the fundamental quasisymmetric and monomial quasisymmetric expansions of their Schur generating function.

In this paper three Schur ring are discussed, namenly: Hamming, circulant orbists and decimated circulant orbits Schur ring. By using autocorrelation function and the run structure of binary sequences we proof the relation between this Schur ring and combinatorial structures such as Hadamard matrices, periodic compatible binary sequences and perfect binary sequences. Cai proved for binary sequences that the autocorrelation function is in fact completely determined by its run structure. Also, he characterised the structure of the circulant Hadamard matrices. We characterise a more general structure, called periodic compatible binary sequences ($PComS$ for brevety), which generalises Hadamard matrices, periodic complementary binary sequences and binary sequences with $2$-level autocorrelation. Families of periodic compatibles binary sequences are presented. Also, we compute a bounds on familias $PComS$ in Hamming Schur ring. The results obtained are applied to families of $PComS$ such as circulant, with one and two circulant cores, Goethals-Seidel type and partial Hadamard matrices and perfect binary sequences.

We revisit the periodic Schur process introduced by Borodin in 2007. Our contribution is threefold. First, we provide a new simpler derivation of its correlation functions via the free fermion formalism. In particular, we shall see that the process becomes determinantal by passing to the grand canonical ensemble, which gives a physical explanation to Borodin's "shift-mixing" trick. Second, we consider the edge scaling limit in the simplest nontrivial case, corresponding to a deformation of the poissonized Plancherel measure on partitions. We show that the edge behavior is described, in a certain crossover regime different from that for the bulk, by the universal finite-temperature Airy kernel, which was previously encountered by Johansson and Le Doussal et al. in other models, and whose extreme value statistics interpolates between the Tracy-Widom GUE and the Gumbel distributions. We also define and prove convergence for a stationary extension of our model. Finally, we compute the correlation functions for a variant of the periodic Schur process involving strict partitions, Schur's P and Q functions, and neutral fermions.

We introduce a ring of noncommutative shifted symmetric functions based on an integer-indexed sequence of shift parameters. Using generating series and quasideterminants, this multiparameter approach produces deformations of the ring of noncommutative symmetric functions. Shifted versions of ribbon Schur functions are defined and form a basis for the ring. Further, we produce analogues of Jacobi-Trudi and Nägelsbach-Kostka formulas, a duality anti-algebra isomorphism, shifted quasi-Schur functions, and Giambelli's formula in this setup. In addition, an analogue of power sums is provided, satisfying versions of Wronski and Newton formulas. Finally, a realization of these noncommutative shifted symmetric functions as rational functions in noncommuting variables is given. These realizations have a shifted symmetry under exchange of the variables and are well-behaved under extension of the list of variables.