arXiv++ Combinatorics

We give general conditions for the existence of a Hamiltonian operator whose discrete time evolution matches the partition function of certain solvable lattice models. In particular, we examine two classes of lattice models: the classical six-vertex model and a generalized family of $(2n+4)$-vertex models for each positive integer $n$. These models depend on a statistic called charge, and are associated to the quantum group $U_q(\widehat{\mathfrak{gl}}(1|n))$. Our results show a close and unexpected connection between Hamiltonian operators and the Yang-Baxter equation. The six-vertex model can be associated with Hamiltonians from classical Fock space, and we show that such a correspondence exists precisely when the Boltzmann weights are free fermionic. This allows us to prove that the free fermionic partition function is always a (skew) supersymmetric Schur function and then use the Berele-Regev formula to correct a result from of Brubaker, Bump, and Friedberg on the free fermionic domain-wall partition function. In this context, the supersymmetric function involution takes us between two lattice models that generalize the vicious walker and osculating walker models. Then, we prove a sharp solvability criterion for the six-vertex model with charge that provides the proper analogue of the free fermion condition. Building on results by Brubaker, Buciumas, Bump, and Gustafsson, we show that this criterion exactly dictates when a charged model has a Hamiltonian operator acting on a Drinfeld twist of $q$-Fock space. The resulting partition function is then a (skew) supersymmetric LLT polynomial, and almost all supersymmetric LLT polynomials appear as partition functions of our lattice models. We also prove a Cauchy identity for skew supersymmetric LLT polynomials. (see 2024 author's note below)

Snakes are analogues of alternating permutations defined for any Coxeter group. We study these objects from the point of view of combinatorial Hopf algebras, such as noncommutative symmetric functions and their generalizations. The main purpose is to show that several properties of the generating functions of snakes, such as differential equations or closed form as trigonometric functions, can be lifted at the level of noncommutative symmetric functions or free quasi-symmetric functions. The results take the form of algebraic identities for type B noncommutative symmetric functions, noncommutative supersymmetric functions and colored free quasi-symmetric functions.

The present paper is a detailed version of math/0003031. We introduce and study a new basis in the algebra of symmetric functions. The elements of this basis are called the Frobenius-Schur functions (FS-functions, for short). Our main motivation for studying the FS-functions is the fact that they enter a formula expressing the combinatorial dimension of a skew Young diagram in terms of the Frobenius coordinates. This formula plays a key role in the asymptotic character theory of the symmetric groups. The FS-functions are inhomogeneous, and their top homogeneous components coincide with the conventional Schur functions. The FS-functions are best described in the super realization of the algebra of symmetric functions. As supersymmetric functions, the FS-functions can be characterized as a solution to an interpolation problem. Our main result is a simple determinantal formula for the transition coefficients between the FS-functions and the Schur functions. We also establish the FS analogs for a number of basic facts concerning the Schur functions: Jacobi-Trudi formula together with its dual form; combinatorial formula (expression in terms of tableaux); Giambelli formula and the Sergeev-Pragacz formula. All these results hold for a large family of bases interpolating between the FS-functions and the ordinary Schur functions.