arXiv++ Combinatorics

We study the $H_n(0)$-module $\mathbf{S}^σ_α$ due to Tewari and van Willigenburg, which was constructed using new combinatorial objects called standard permuted composition tableaux and decomposed into cyclic submodules. First, we show that every direct summand appearing in their decomposition is indecomposable and characterize when $\mathbf{S}^σ_α$ is indecomposable. Second, we find characteristic relations among $\mathbf{S}^σ_α$'s and expand the image of $\mathbf{S}^σ_α$ under the quasi characteristic in terms of quasisymmetric Schur functions. Finally, we show that the canonical submodule of $\mathbf{S}^σ_α$ appears as a homomorphic image of a projective indecomposable module.

In this article, we use Lindström Gessel Viennot Lemma to give a short, combinatorial, visualizable proof of the identity of Schur polynomials -- the sum of monomials of Young tableaux equals to the quotient of determinants. As a by-product, we have a proof of Vandermonde determinant without words. We also prove the cauchy identity. In the remarks, we discuss factorial Schur polynomials, dual Cauchy identity and the relation beteen Newton interpolation formula.

For any finite group G it is an interesting question to ask which ordinary irreducible representations of G remain irreducible in a given characteristic p. We answer this question for p=2 when G is the proper double cover of the alternating group. As a key ingredient in the proof, we prove a formula for the decomposition numbers in Rouquier blocks of double covers of symmetric groups, in terms of Schur P-functions.

This paper proves an identity between flagged Schur polynomials, giving a duality between row flags and column flags. This identity generalises both the binomial determinant duality theorem due to Gessel and Viennot and the symmetric function duality theorem due to Aitken. As corollaries we obtain the lifts of the binomial determinant duality theorem to $q$-binomial coefficients and to symmetric polynomials. Our method is a path counting argument on a novel lattice generalising that used by Gessel and Viennot.

We prove Jacobi-Trudi-type determinantal formulas for skew dual Grothendieck polynomials which are $K$-theoretic deformations of Schur polynomials. We also prove a bialternant-type formula analogous to the classical definition of Schur polynomials.

Multitriangulations, and more generally subword complexes, yield a large family of simplicial complexes that are homeomorphic to spheres. Until now, all attempts to prove or disprove that they can be realized as convex polytopes faced major obstacles. In this article, we lay out the foundations of a framework -- built upon notions from algebraic combinatorics and discrete geometry -- that allows a deeper understanding of geometric realizations of subword complexes of Coxeter groups. Namely, we describe explicitly a family of chirotopes that encapsulate the necessary information to obtain geometric realizations of subword complexes. Further, we show that the space of geometric realizations of this family covers that of subword complexes, making this combinatorially defined family into a natural object to study. The family of chirotopes is described through certain parameter matrices. That is, given a finite Coxeter group, we present matrices where certain minors have prescribed signs. Parameter matrices are universal: The existence of these matrices combined with conditions in terms of Schur functions is equivalent to the realizability of all subword complexes of this Coxeter group as chirotopes. Finally, parameter matrices provide extensions of combinatorial identities; for instance, the Vandermonde determinant and the dual Cauchy identity are recovered through suitable choices of parameters.

This paper contains a partial answer to the open problem 3.11 of \cite{[H2008]}. That is to find an explicit bijection on Schröder paths that inverts the statistics area and bounce. This paper started as an attempt to write the sum over $m$-Schröder paths with a fix number of diagonal steps into Schur functions in the variables $q$ and $t$. Some results have been generalized to parking functions, and some bijections were made with standard Young tableaux giving way to partial combinatorial formulas in the basis $s_μ(q,t)s_λ(X)$ for $\nabla(e_n)$ (respectively, $\nabla^m(e_n)$), when $μ$ and $λ$ are hooks (respectively, $μ$ is of length one). We also give an explicit algorithm that gives all the Schröder paths related to a Schur function $s_μ(q,t)$ when $μ$ is of length one. In a sense, it is a partial decomposition of Schröder paths into crystals.

Recently Okada defined algebraically ninth variation skew Q-functions, in parallel to Macdonald's ninth variation skew Schur functions. Here we introduce a skew shifted tableaux definition of these ninth variation skew Q-functions, and prove by means of a non-intersecting lattice path model a Pfaffian outside decomposition result in the form of a ninth variation version of Hamel's Pfaffian outside decomposition identity. As corollaries to this we derive Pfaffian identities generalizing those of Josefiak-Pragacz, Nimmo, and most recently Okada. As a preamble to this we present a parallel development based on (unshifted) semistandard tableaux that leads to a ninth variation version of the outside decomposition determinantal identity of Hamel and Goulden. In this case the corollaries we offer include determinantal identities generalizing the Schur and skew Schur function identities of Jacobi-Trudi, Giambelli, Lascoux-Pragacz, Stembridge, and Okada.

The ring of symmetric functions has a basis of dual Grothendieck polynomials that are inhomogeneous $K$-theoretic deformations of Schur polynomials. We prove that dual Grothendieck polynomials determine column distributions for a directed last-passage percolation model.

Schur decompositions and the corresponding Schur forms of a single matrix, a pair of matrices, or a collection of matrices associated with the periodic eigenvalue problem are frequently used and studied. These forms are upper-triangular complex matrices or quasi-upper-triangular real matrices that are equivalent to the original matrices via unitary or, respectively, orthogonal transformations. In general, for theoretical and numerical purposes we often need to reduce, by admissible transformations, a collection of matrices to the Schur form. Unfortunately, such a reduction is not always possible. In this paper we describe all collections of complex (real) matrices that can be reduced to the Schur form by the corresponding unitary (orthogonal) transformations and explain how such a reduction can be done. We prove that this class consists of the collections of matrices associated with pseudoforest graphs. In other words, we describe when the Schur form of a collection of matrices exists and how to find it.

We present an explicit formula for the transition matrix $\mathcal{C}$ from the type $BC_n$ Koornwinder polynomials $P_{(1^r)}(x|a,b,c,d|q,t)$ with one column diagrams, to the type $BC_n$ monomial symmetric polynomials $m_{(1^{r})}(x)$. The entries of the matrix $\mathcal{C}$ enjoy a set of four terms recursion relations. These recursions provide us with the branching rules for the Koornwinder polynomials with one column diagrams, namely the restriction rules from $BC_n$ to $BC_{n-1}$. To have a good description of the transition matrices involved, we introduce the following degeneration scheme of the Koornwinder polynomials: $P_{(1^r)}(x|a,b,c,d|q,t) \longleftrightarrow P_{(1^r)}(x|a,-a,c,d|q,t)\longleftrightarrow P_{(1^r)}(x|a,-a,c,-c|q,t) \longleftrightarrow P_{(1^r)}\big(x|t^{1/2}c,-t^{1/2}c,c,-c|q,t\big) \longleftrightarrow P_{(1^r)}\big(x|t^{1/2},-t^{1/2},1,-1|q,t\big)$. We prove that the transition matrices associated with each of these degeneration steps are given in terms of the matrix inversion formula of Bressoud. As an application, we give an explicit formula for the Kostka polynomials of type $B_n$, namely the transition matrix from the Schur polynomials $P^{(B_n,B_n)}_{(1^r)}(x|q;q,q)$ to the Hall-Littlewood polynomials $P^{(B_n,B_n)}_{(1^r)}(x|t;0,t)$. We also present a conjecture for the asymptotically free eigenfunctions of the $B_n$ $q$-Toda operator, which can be regarded as a branching formula from the $B_n$ $q$-Toda eigenfunction restricted to the $A_{n-1}$ $q$-Toda eigenfunctions.

The symmetric Grothendieck polynomials generalize Schur polynomials and are Schur-positive by degree. Combinatorially this is manifested as the generalization of semistandard Young tableaux by set-valued tableaux. We define a (weak) symmetric $P$-Grothendieck polynomial which generalizes $P$-Schur polynomials in the same way. Combinatorially this is manifested as the generalization of shifted semistandard Young tableaux by a new type of tableaux which we call shifted multiset tableaux.

We show that the symplectic and orthogonal character analogues of Okounkov's Schur measure (on integer partitions) are determinantal, with explicit correlation kernels. We apply this to prove certain Borodin-Okounkov-Gessel-type results concerning Toeplitz+Hankel and Fredholm determinants; a Szegő-type limit theorem; an edge Baik-Deift-Johansson-type asymptotical result for certain symplectic and orthogonal analogues of the poissonized Plancherel measure; and a similar result for actual poissonized Plancherel measures supported on "almost symmetric" partitions.

In a recent paper, we generalized a partition identity stated by Siladić in his study of the level one standard module of type $A_2^{(2)}$. The proof used weighted words with an arbitrary number of primary colors and all the secondary colors obtained from these primary colors, and a brand new variant of the bijection of Bressoud for Schur's partition identity. In this paper, the first of two, we analyze this variant of Bressoud's algorithm in the framework of statistical mechanics, where an integer partition is viewed as an amount of energy shared, according to certain properties, between several states. This viewpoint allows us to generalize the previous result by considering a more general family of minimal difference conditions. For example, we generalize the Siladić identity to overpartitions. In the second paper, we connect this result to the Glaisher theorem and give some applications to level one perfect crystals.

Tutte's spring embedding theorem states that, for a three-connected planar graph, if the outer face of the graph is fixed as the complement of some convex region in the plane, and all other vertices are placed at the mass center of their neighbors, then this results in a unique embedding, and this embedding is planar. It also follows fairly quickly that this embedding minimizes the sum of squared edge lengths, conditional on the embedding of the outer face. However, it is not at all clear how to embed this outer face. We consider the minimization problem of embedding this outer face, up to some normalization, so that the sum of squared edge lengths is minimized. In this work, we show the connection between this optimization problem and the Schur complement of the graph Laplacian with respect to the interior vertices. We prove a number of discrete trace theorems, and, using these new results, show the spectral equivalence of this Schur complement with the boundary Laplacian to the one-half power for a large class of graphs. Using this result, we give theoretical guarantees for this optimization problem, which motivates an algorithm to embed the outer face of a spring embedding.

Two method for computation of the spectra of certain infinite graphs are suggested. The first one can be viewed as a reversed Gram--Schmidt orthogonalization procedure. It relies heavily on the spectral theory of Jacobi matrices. The second method is related to the Schur complement for block matrices. A number of examples including infinite graphs with tails, chains of cycles and ladders are worked out in detail.

We classify and construct all multiplicity-free plethystic products of Schur functions. We also compute many new (infinite) families of plethysm coefficients, with particular emphasis on those near maximal in the dominance ordering and those of small Durfee size.

In their 2011 paper on the AGT conjecture, Alba, Fateev, Litvinov and Tarnopolsky (AFLT) obtained a closed-form evaluation for a Selberg integral over the product of two Jack polynomials, thereby unifying the well-known Kadell and Hua--Kadell integrals. In this paper we use a variety of symmetric functions and symmetric function techniques to prove generalisations of the AFLT integral. These include (i) an $\mathrm{A}_n$ analogue of the AFLT integral, containing two Jack polynomials in the integrand; (ii) a generalisation of (i) for $γ=1$ (the Schur or GUE case), containing a product of $n+1$ Schur functions; (iii) an elliptic generalisation of the AFLT integral in which the role of the Jack polynomials is played by a pair of elliptic interpolation functions; (iv) an AFLT integral for Macdonald polynomials.

We propose periodic Macdonald processes as a $(q,t)$-deformation of periodic Schur processes and a periodic analogue of Macdonald processes. It is known that, in the theory of stochastic processes related to a family of symmetric functions, the Cauchy-like identity gives an explicit expression of a partition function. We compute the partition functions of periodic Macdonald processes relying on the free field realization of the Macdonald theory. We also study several families of observables for periodic Macdonald processes and give formulas of their moments. The technical tool is the free field realization of operators that are diagonalized by the Macdonald symmetric functions, where the operators admit expressions by means of vertex operators. We show that, when we adopt Plancherel specializations, the corresponding periodic Macdonald process is related to a Young diagram-valued periodic continuous process. It is known that, for periodic Schur processes, determinantal formulas are only available when we extend them to take into account the charge. We also consider this kind of shift-mixed periodic Macdonald processes and discuss their Schur-limit.

We give explicit combinatorial descriptions of three Schur functors arising in the theory of pre-Lie algebras. The first of them leads to a functorial description of the underlying vector space of the universal enveloping pre-Lie algebra of a given Lie algebra, strengthening the PBW theorem of Segal. The two other Schur functors provide functorial descriptions of the underlying vector spaces of the universal multiplicative enveloping algebra and of the module of Kähler differentials of a given pre-Lie algebra. An important consequence of such descriptions is an interpretation of the cohomology of a pre-Lie algebra with coefficients in a module as a derived functor for the category of modules over the universal multiplicative enveloping algebra.