Abstract:We examine the wavefunctions and their scalar products of a one-parameter family of integrable five vertex models. At a special point of the parameter, the model investigated is related to an irreversible interacting stochastic particle system the so-called totally asymmetric simple exclusion process (TASEP). By combining the quantum inverse scattering method with a matrix product representation of the wavefunctions, the on/off-shell wavefunctions of the five vertex models are represented as a certain determinant form. Up to some normalization factors, we find the wavefunctions are given by Grothendieck polynomials, which are a one-parameter deformation of Schur polynomials. Introducing a dual version of the Grothendieck polynomials, and utilizing the determinant representation for the scalar products of the wavefunctions, we derive a generalized Cauchy identity satisfied by the Grothendieck polynomials and their duals. Several representation theoretical formulae for Grothendieck polynomials are also presented. As a byproduct, the relaxation dynamics such as Green functions for the periodic TASEP are found to be described in terms of Grothendieck polynomials.

Model Theory of Complex Numbers with Polynomial Functions

Complex solutions of polynomial equations on the unit circle

Model Complete Expansions of the Real Field by Modular Functions and Forms

Model Theory of Compact Complex Manifolds with an Automorphism

Algebraic $2-$valued group structures on $\mathbb P^1$, Kontsevich-type polynomials, and multiplication formulas, I

Geometric Combinatorics of Polynomials I: The Case of a Single Polynomial

Some properties of holomorphic Cliffordian functions in complex Clifford analysis

Finite Model Theory and Proof Complexity revisited: Distinguishing graphs in Choiceless Polynomial Time and the Extended Polynomial Calculus

Zilber's notion of logically perfect structure: Universal Covers

Model theory of algebraically closed fields

An Application of Descriptive Set Theory to Complex Analysis

Bivariate polynomial mappings associated with simple complex Lie algebras

Multicomplex Ideals, Modules and Hilbert Spaces

Vertex models, TASEP and Grothendieck polynomials

Lattice realization of complex CFTs: Two-dimensional Potts model with $Q>4$ states

Complexity of Categorical Theories with Computable Models

Model-theoretic properties of nilpotent groups and Lie algebras

Models of CM elliptic curves with a prescribed $\ell$-adic Galois image

Model Theory for Real-valued Structures

Weierstrass Polynomials And Plane Pseudo-Holomorphic Curves

A complete presentation of $(\mathbb{C}\mbox{[X]},\circ)$