arXiv++ Combinatorics

A finite group $G$ is called a Schur group, if any Schur ring over $G$ is the transitivity module of a point stabilizer in a subgroup of $\sym(G)$ that contains all right translations. We complete a classification of abelian $2$-groups by proving that the group $\mZ_2\times\mZ_{2^n}$ is Schur. We also prove that any non-abelian Schur $2$-group of order larger than $32$ is dihedral (the Schur $2$-groups of smaller orders are known). Finally, in the dihedral case, we study Schur rings of rank at most $5$, and show that the unique obstacle here is a hypothetical S-ring of rank $5$ associated with a divisible difference set.

We prove a conjecture of Cuttler et al.~[2011] [A. Cuttler, C. Greene, and M. Skandera; \emph{Inequalities for symmetric means}. European J. Combinatorics, 32(2011), 745--761] on the monotonicity of \emph{normalized Schur functions} under the usual (dominance) partial-order on partitions. We believe that our proof technique may be helpful in obtaining similar inequalities for other symmetric functions.

In 1968 and 1969, Andrews proved two partition theorems of the Rogers-Ramanujan type which generalise Schur's celebrated partition identity (1926). Andrews' two generalisations of Schur's theorem went on to become two of the most influential results in the theory of partitions, finding applications in combinatorics, representation theory and quantum algebra. In a recent paper, the author generalised the first of these theorems to overpartitions, using a new technique which consists in going back and forth between $q$-difference equations on generating functions and recurrence equations on their coefficients. Here, using a similar method, we generalise the second theorem of Andrews to overpartitions.

A Schur ring (S-ring) over a group $G$ is called separable if every of its similaritities is induced by isomorphism. We establish a criterion for an S-ring to be separable in the case when the group $G$ is cyclic. Using this criterion, we prove that any S-ring over a cyclic $p$-group is separable and that the class of separable circulant S-rings is closed with respect to duality.

A recent paper of Bump, McNamara and Nakasuji introduced a factorial version of Tokuyama's identity, expressing the partition function of a six vertex model as the product of a t-deformed Vandermonde and a Schur function. Here we provide an extension of their result by exploiting the language of primed shifted tableaux, with its proof based on the use of non-intersecting lattice paths.

Our main result here is that the specialization at $t=1/q$ of the $Q_{km,kn}$ operators studied in [4] may be given a very simple plethystic form. This discovery yields elementary and direct derivations of several identities relating these operators at $t=1/q$ to the Rational Compositional Shuffle conjecture of [3]. In particular we show that if $m,n $ and $k$ are positive integers and $(m,n)$ is a coprime pair then $$ q^{(km-1)(kn-1)+k-1\over 2} Q_{km,kn}(-1)^{kn}\Big|_{t=1/q} \,=\, \textstyle{[k]_q\over [km]_q} e_{km}\big[ X[km]_q\big] $$ where as customarily, for any integer $s \geq 0$ and indeterminate $u$ we set $[s]_u=1+u+\cdots +u^{s-1}$. We also show that the symmetric polynomial on the right hand side is always Schur positive. Moreover, using the Rational Compositional Shuffle conjecture, we derive a precise formula expressing this polynomial in terms of Parking functions in the $km\times kn$ lattice rectangle.

For a given skew shape, we build a crystal graph on the set of all reverse plane partitions that have this shape. As a consequence, we get a simple extension of the Littlewood-Richardson rule for the expansion of the corresponding dual stable Grothendieck polynomial in terms of Schur polynomials.

Recently, Kim and Oh expressed the Selberg integral in terms of the number of Young books which are a generalization of standard Young tableaux of shifted staircase shape. In this paper the generating function for Young books according to major index statistic is considered. It is shown that this generating function can be written as a Jackson integral which gives a new $q$-Selberg integral. It is also shown that the new $q$-Selberg integral has an expression in terms of Schur functions.

Lovasz theta function and the related theta body of graphs have been in the center of the intersection of four research areas: combinatorial optimization, graph theory, information theory, and semidefinite optimization. In this paper, utilizing a modern convex optimization viewpoint, we provide a set of minimal conditions (axioms) under which certain key, desired properties are generalized, including the main equivalent characterizations of the theta function, the theta body of graphs, and the corresponding antiblocking duality relations. Our framework describes several semidefinite and polyhedral relaxations of the stable set polytope of a graph as generalized theta bodies. As a by-product of our approach, we introduce the notion of "Schur Lifting" of cones which is dual to PSD Lifting (more commonly used in SDP relaxations of combinatorial optimization problems) in our axiomatic generalization. We also generalize the notion of complements of graphs to diagonally scaling-invariant polyhedral cones. Finally, we provide a weighted generalization of the copositive formulation of the fractional chromatic number by Dukanovic and Rendl.

We use recent work of Jonah Blasiak (2012) to prove a stability result for the coefficients in the Kronecker product of two Schur functions: one indexed by a hook partition and one indexed by a rectangle partition. We also give bounds for the size of the partition starting with which the Kronecker coefficients are stable. Moreover, we show that once the bound is reached, no new Schur functions appear in the decomposition of Kronecker product, thus allowing one to recover the decomposition from the smallest case in which the stability holds.

Lascoux has given a triangular version of the Cauchy identity where Schur polynomials are replaced by Demazure characters and Demazure atoms. He has then used the staircase expansion to recover expansions for all Ferrers shapes, where the Demazure characters and Demazure atoms are under the action of Demazure operators specified by the cells above the staircase. The characterisation of the tableau-pairs in these last expansions is less explicit. We give here a bijective proof for expansions over near staircases, where the tableau-pairs are made explicit. Our analysis formulates Mason's RSK analogue, for semi-skylines augmented fillings, in terms of growth diagrams.

We define a solitary game, the Yamanouchi toppling game, on any connected graph of n vertices. The game arises from the well-known chip-firing game when the usual relation of equivalence defined on the set of all configurations is replaced by a suitable partial order. The set all firing sequences of length m that the player is allowed to perform in the Yamanouchi toppling game is shown to be in bijection with all standard Young tableaux whose shape is a partition of the integer m with at most n-1 parts. The set of all configurations that a player can obtain from a starting configuration is encoded in a suitable formal power series. When the graph is the simple path and each monomial of the series is replaced by a suitable Schur polynomial, we prove that such a series reduces to Hall-Littlewod symmetric polynomials. The same series provides a combinatorial description of orthogonal polynomials when the monomials are replaced by products of moments suitably modified.

Let $G$ be a finite group. If $Γ$ is a permutation group with $G_{right}\leqΓ\leq Sym(G)$ and $\mathcal{S}$ is the set of orbits of the stabilizer of the identity $e=e_{G}$ in $Γ$, then the $\mathbb{Z}$-submodule $\mathcal{A}(Γ,G)=Span_{\mathbb{Z}}\{\underline{X}:\ X\in\mathcal{S}\}$ of the group ring $\mathbb{Z} G$ is an $S$-ring as it was observed by Schur. Following Pöschel an $S$-ring $\mathcal{A}$ over $G$ is said to be schurian if there exists a suitable permutation group $Γ$ such that $\mathcal{A}=\mathcal{A}(Γ,G)$. A finite group $G$ is called a Schur group if every $S$-ring over $G$ is schurian. We prove that the groups $M_{3^n}=\langle a,b\;|\:a^{3^{n-1}}=b^3=e,a^b=a^{3^{n-2}+1}\rangle$, where $n\geq3$, are not Schur. Modulo previously obtained results, it follows that every Schur $p$-group is abelian whenever $p$ is an odd prime.

We give an interpretation of the boson-fermion correspondence as a direct consequence of Jacobi-Trudi identity. This viewpoint enables us to construct from a generalized version of the Jacobi-Trudi identity the action of Clifford algebra on polynomial algebras that arrives as analogues of the algebra of symmetric functions. A generalized Giambelli identity is also proved to follow from that identity. As applications, we obtain explicit formulas for vertex operators corresponding to characters of the classical Lie algebras, shifted Schur functions, and generalized Schur symmetric functions associated to linear recurrence relations.

We define a D_0 graph to be a graph whose vertex set is a subset of permutations of n, with edges of the form ...bac... <--> ...bca... or ...acb... <--> ...cab... (Knuth transformations), or ...bac... <--> ...acb... or ...bca... <--> ...cab... (rotation transformations), such that whenever the Knuth and rotation transformations at positions i-1, i, i+1 are available at a vertex, exactly one of these is an edge. The generating function of such a graph is the sum of the quasisymmetric functions associated to the descent sets of its vertices. Assaf studied D_0 graphs in the paper *Dual equivalence and Schur positivity* and showed that they provide a rich source of examples of the D graphs defined in the paper *Dual equivalence graphs and a combinatorial proof of LLT and Macdonald positivity*. A key construction of Assaf expresses the coefficient of q^t in an LLT polynomial as the generating function of a certain D_0 graph. LLT polynomials are known to be Schur positive by work of Grojnowski-Haiman, and experimentation shows that many D_0 graphs have Schur positive generating functions, which suggests a vast generalization of LLT positivity in this setting. As part of a series of papers, we study D_0 graphs using the Fomin-Greene theory of noncommutative Schur functions. We construct a D_0 graph whose generating function is not Schur positive by solving a linear program related to a certain noncommutative Schur function. We go on to construct a D graph on the same vertex set as this D_0 graph.

We prove a positive combinatorial formula for the Schur expansion of LLT polynomials indexed by a 3-tuple of skew shapes. This verifies a conjecture of Haglund. The proof requires expressing a noncommutative Schur function as a positive sum of monomials in Lam's algebra of ribbon Schur operators. Combining this result with the expression of Haglund, Haiman, and Loehr for transformed Macdonald polynomials in terms of LLT polynomials then yields a positive combinatorial rule for transformed Macdonald polynomials indexed by a shape with 3 columns.

Based on the shifted Schensted correspondence and the shifted Knuth equivalence, a shifted analog of the Poirier-Reutenauer algebra as a higher lift of Schur's P-functions and a right coideal subalgebra of the Poirier-Reutenauer algebra is constructed. Its close relations with the peak subalgebra and the Stembridge algebra of peak functions are also uncovered.

We use Young's raising operators to introduce and study double theta polynomials, which specialize to both the theta polynomials of Buch, Kresch, and Tamvakis, and to double (or factorial) Schur S-polynomials and Q-polynomials. These double theta polynomials give Giambelli formulas which represent the equivariant Schubert classes in the torus-equivariant cohomology ring of symplectic Grassmannians, and we employ them to obtain a new presentation of this ring in terms of intrinsic generators and relations.

We prove new determinantal identities for a family of flagged Schur polynomials. As a corollary of these identities we obtain determinantal expressions of Schubert polynomials for certain vexillary permutations.

Rigged configurations are known to provide action-angle variables for remarkable discrete dynamical systems known as box-ball systems. We conjecture an explicit piecewise-linear formula to obtain the shapes of a rigged configuration from a tensor product of one-row crystals. We introduce cylindric loop Schur functions and show that they are invariants of the geometric R-matrix. Our piecewise-linear formula is obtained as the tropicalization of ratios of cylindric loop Schur functions. We prove our conjecture for the first shape of a rigged configuration, thus giving a piecewise-linear formula for the lengths of the solitons of a box-ball system.