Showing 1–49 of 49 results for author: Scrimshaw, T

Free fermionic probability theory and K-theoretic Schubert calculus

Authors: Shinsuke Iwao, Kohei Motegi, Travis Scrimshaw

Abstract: For each of the four particle processes given by Dieker and Warren [arXiv:0707.1843], we show the $n$-step transition kernels are given by the (dual) (weak) refined symmetric Grothendieck functions up to a simple overall factor. We do so by encoding the particle dynamics as the basis of free fermions first introduced by the first author, which we translate into deformed Schur operators acting on p… ▽ More For each of the four particle processes given by Dieker and Warren [arXiv:0707.1843], we show the $n$-step transition kernels are given by the (dual) (weak) refined symmetric Grothendieck functions up to a simple overall factor. We do so by encoding the particle dynamics as the basis of free fermions first introduced by the first author, which we translate into deformed Schur operators acting on partitions. We provide a direct combinatorial proof of this relationship in each case, where the defining tableaux naturally describe the particle motions. △ Less

Submitted 2 November, 2023; originally announced November 2023.

Comments: 52 pages, 5 figures, 2 tables

MSC Class: 05E05; 60K35; 14M15; 82B23; 05A19; 60B20

Crystals for shifted key polynomials

Authors: Eric Marberg, Travis Scrimshaw

Abstract: This article continues our study of $P$- and $Q$-key polynomials, which are (non-symmetric) "partial" Schur $P$- and $Q$-functions as well as "shifted" versions of key polynomials. Our main results provide a crystal interpretation of $P$- and $Q$-key polynomials, namely, as the characters of certain connected subcrystals of normal crystals associated to the queer Lie superalgebra $\mathfrak{q}_n$.… ▽ More This article continues our study of $P$- and $Q$-key polynomials, which are (non-symmetric) "partial" Schur $P$- and $Q$-functions as well as "shifted" versions of key polynomials. Our main results provide a crystal interpretation of $P$- and $Q$-key polynomials, namely, as the characters of certain connected subcrystals of normal crystals associated to the queer Lie superalgebra $\mathfrak{q}_n$. In the $P$-key case, the ambient normal crystals are the $\mathfrak{q}_n$-crystals studied by Grantcharov et al., while in the $Q$-key case, these are replaced by the extended $\mathfrak{q}_n$-crystals recently introduced by the first author and Tong. Using these constructions, we propose a crystal-theoretic lift of several conjectures about the decomposition of involution Schubert polynomials into $P$- and $Q$-key polynomials. We verify these generalized conjectures in a few special cases. Along the way, we establish some miscellaneous results about normal $\mathfrak{q}_n$-crystals and Demazure $\mathfrak{gl}_n$-crystals. △ Less

Submitted 1 June, 2023; originally announced June 2023.

Comments: 60 pages, 6 figures

Key and Lascoux polynomials for symmetric orbit closures

Authors: Eric Marberg, Travis Scrimshaw

Abstract: We introduce shifted analogues of key polynomials related to symplectic and orthogonal orbit closures in the complete flag variety. Our definitions are given by applying isobaric divided difference operators to the analogues of Schubert polynomials for orbit closures that correspond to dominant involutions. We show that our shifted key polynomials are linear combinations of key polynomials with no… ▽ More We introduce shifted analogues of key polynomials related to symplectic and orthogonal orbit closures in the complete flag variety. Our definitions are given by applying isobaric divided difference operators to the analogues of Schubert polynomials for orbit closures that correspond to dominant involutions. We show that our shifted key polynomials are linear combinations of key polynomials with nonnegative integer coefficients. We also prove that they are partial versions of the classical Schur $P$- and $Q$-polynomials. Finally, we examine $K$-theoretic generalizations of these functions, which give shifted forms of Lascoux polynomials. In the symplectic case, these generalizations are partial versions of the $GP$-polynomials introduced by Ikeda and Naruse. Besides develo** basic properties, we identify a number of conjectures and open problems. △ Less

Submitted 8 February, 2023; originally announced February 2023.

Comments: 44 pages

On the structure and representation theory of $q$-deformed Clifford algebras

Authors: Willie Aboumrad, Travis Scrimshaw

Abstract: We provide a generalized definition for the quantized Clifford algebra introduced by Hayashi using another parameter $k$ that we call the twist. For a field of characteristic not equal to $2$, we provide a basis for our quantized Clifford algebra, show that it can be decomposed into rank $1$ components, and compute its center to show it is a classical Clifford algebra over the group algebra of a p… ▽ More We provide a generalized definition for the quantized Clifford algebra introduced by Hayashi using another parameter $k$ that we call the twist. For a field of characteristic not equal to $2$, we provide a basis for our quantized Clifford algebra, show that it can be decomposed into rank $1$ components, and compute its center to show it is a classical Clifford algebra over the group algebra of a product of cyclic groups of order $2k$. In addition, we characterize the semisimplicity of our quantum Clifford algebra in terms of the semisimplicity of a cyclic group of order $2k$ and give a complete set of irreducible representations. We construct morphisms from quantum groups and explain various relationships between the classical and quantum Clifford algebras. By changing our generators, we provide a further generalization to allow $k$ to be a half integer, where we recover certain quantum Clifford algebras introduced by Fadeev, Reshetikhin, and Takhtajan as a special case. △ Less

Submitted 6 December, 2022; originally announced December 2022.

Journal ref: Math. Z., 306 (2024) article 10

Limit shapes for skew Howe duality

Authors: Dan Betea, Anton Nazarov, Travis Scrimshaw

Abstract: We study large random partitions boxed into a rectangle and coming from skew Howe duality, or alternatively from dual Schur measures. As the sides of the rectangle go to infinity, we obtain: 1) limit shape results for the profiles generalizing the Vershik--Kerov--Logan--Shepp curve; and 2) universal edge asymptotic results for the first parts in the form of the Tracy--Widom distribution, as well a… ▽ More We study large random partitions boxed into a rectangle and coming from skew Howe duality, or alternatively from dual Schur measures. As the sides of the rectangle go to infinity, we obtain: 1) limit shape results for the profiles generalizing the Vershik--Kerov--Logan--Shepp curve; and 2) universal edge asymptotic results for the first parts in the form of the Tracy--Widom distribution, as well as less-universal critical regime results introduced by Gravner, Tracy and Widom. We do this for a large class of Schur parameters going beyond the Plancherel or principal specializations previously studied in the literature, parametrized by two real valued functions $f$ and $g$. Connections to a Bernoulli model of (last passage) percolation are explored. △ Less

Submitted 24 November, 2022; originally announced November 2022.

Comments: 12 pages, 3 figures, extended abstract

Cellular subalgebras of the partition algebra

Authors: Travis Scrimshaw

Abstract: We describe various diagram algebras and their representation theory using cellular algebras of Graham and Lehrer and the decomposition into half diagrams. In particular, we show the diagram algebras surveyed here are all cellular algebras and parameterize their cell modules. We give a new construction to build new cellular algebras from a general cellular algebra and subalgebras of the rook Braue… ▽ More We describe various diagram algebras and their representation theory using cellular algebras of Graham and Lehrer and the decomposition into half diagrams. In particular, we show the diagram algebras surveyed here are all cellular algebras and parameterize their cell modules. We give a new construction to build new cellular algebras from a general cellular algebra and subalgebras of the rook Brauer algebra that we call the cellular wreath product. △ Less

Submitted 19 November, 2023; v1 submitted 16 November, 2022; originally announced November 2022.

Comments: 43 pages, 4 tables; v2, added additional references, expanded proof of Theorem 3.2, other improvements

MSC Class: 05E10; 16G99; 05E16; 05A19

Journal ref: J. Combin. Algebra, online first (2023)

Free-fermions and canonical Grothendieck polynomials

Authors: Shinsuke Iwao, Kohei Motegi, Travis Scrimshaw

Abstract: We give a presentation of refined (dual) canonical Grothendieck polynomials and their skew versions using free-fermions. Using this, we derive a number of identities, including the skew Cauchy identities, branching rules, expansion formulas, and integral formulas. We give a presentation of refined (dual) canonical Grothendieck polynomials and their skew versions using free-fermions. Using this, we derive a number of identities, including the skew Cauchy identities, branching rules, expansion formulas, and integral formulas. △ Less

Submitted 2 November, 2023; v1 submitted 9 November, 2022; originally announced November 2022.

Comments: 30 pages; v2 corrected typos and other minor changes

MSC Class: 05E05; 82B23; 14M15; 05A19

Crystal invariant theory II: Pseudo-energies

Authors: Benjamin Brubaker, Gabriel Frieden, Pavlo Pylyavskyy, Travis Scrimshaw

Abstract: The geometric crystal operators and geometric $R$-matrices (or geometric Weyl group actions) give commuting actions on the field of rational functions in $mn$ variables. We study the invariants of various combinations of these actions, which we view as "crystal analogues" of the invariants of $S_m$, ${\rm SL}_m$, $S_n \times S_m$, ${\rm SL}_n \times \, S_m$, and ${\rm SL}_n \times {\rm SL}_m$ acti… ▽ More The geometric crystal operators and geometric $R$-matrices (or geometric Weyl group actions) give commuting actions on the field of rational functions in $mn$ variables. We study the invariants of various combinations of these actions, which we view as "crystal analogues" of the invariants of $S_m$, ${\rm SL}_m$, $S_n \times S_m$, ${\rm SL}_n \times \, S_m$, and ${\rm SL}_n \times {\rm SL}_m$ acting on the polynomial ring in an $m \times n$ matrix of variables. The polynomial invariants of the $S_m$-action generated by the ${\rm GL}_m$-geometric $R$-matrices were described by Lam and the third-named author as the ring of loop symmetric functions. In a previous paper of the authors, the polynomial invariants of the ${\rm GL}_m$-geometric crystal operators were described as a subring of the ring of loop symmetric functions. In this paper, we give conjectural generating sets for the fields of rational invariants in the remaining cases, and we give formulas expressing a large class of loop symmetric functions in terms of these conjectural generators. Our results include new positive formulas for the central charge and energy function of a product of single-row geometric crystals, and a new derivation of Kirillov and Berenstein's piecewise-linear formula for cocharge. The formulas manifest the symmetries possessed by these functions. △ Less

Submitted 25 May, 2022; originally announced May 2022.

Comments: 51 pages, 12 figures

Integrable systems and crystals for edge labeled tableaux

Authors: Ajeeth Gunna, Travis Scrimshaw

Abstract: We introduce the edge Schur functions $E^λ$ that are defined as a generating series over edge labeled tableaux. We formulate $E^λ$ as the partition function for a solvable lattice model, which we use to show they are symmetric polynomials and derive a Cauchy-type identity with factorial Schur polynomials. Finally, we give a crystal structure on edge labeled tableau to give a positive Schur polynom… ▽ More We introduce the edge Schur functions $E^λ$ that are defined as a generating series over edge labeled tableaux. We formulate $E^λ$ as the partition function for a solvable lattice model, which we use to show they are symmetric polynomials and derive a Cauchy-type identity with factorial Schur polynomials. Finally, we give a crystal structure on edge labeled tableau to give a positive Schur polynomial expansion of $E^λ$ and show it intertwines with an uncrowding algorithm. △ Less

Submitted 12 February, 2022; originally announced February 2022.

Comments: 29 pages, 2 figures

MSC Class: 05A19; 05E05; 82B23; 14M15

Journal ref: J. Algebra, 644 (2024), pp. 152-190

Crystal invariant theory I: Geometric RSK

Authors: Benjamin Brubaker, Gabriel Frieden, Pavlo Pylyavskyy, Travis Scrimshaw

Abstract: Berenstein and Kazhdan's theory of geometric crystals gives rise to two commuting families of geometric crystal operators acting on the space of complex $m \times n$ matrices. These are birational actions, which we view as a crystal-theoretic analogue of the usual action of ${\rm SL}_m \times {\rm SL}_n$ on $m \times n$ matrices. We prove that the field of rational invariants (and ring of polynomi… ▽ More Berenstein and Kazhdan's theory of geometric crystals gives rise to two commuting families of geometric crystal operators acting on the space of complex $m \times n$ matrices. These are birational actions, which we view as a crystal-theoretic analogue of the usual action of ${\rm SL}_m \times {\rm SL}_n$ on $m \times n$ matrices. We prove that the field of rational invariants (and ring of polynomial invariants) of each family of geometric crystal operators is generated by a set of algebraically independent polynomials, which are generalizations of the elementary symmetric polynomials in $m$ (or $n$) variables. We also give a set of algebraically independent generators for the intersection of these fields, and we explain how these fields are situated inside the larger fields of geometric $R$-matrix invariants, which were studied by Lam and the third-named author under the name loop symmetric functions. The key tool in our proof is the geometric RSK correspondence of Noumi and Yamada, which we show to be an isomorphism of geometric crystals. In an appendix jointly written with Thomas Lam, we prove the fundamental theorem of loop symmetric functions, which says that the polynomial invariants of the geometric $R$-matrix are generated by the loop elementary symmetric functions. △ Less

Submitted 25 May, 2022; v1 submitted 1 December, 2021; originally announced December 2021.

Comments: 36 pages. v2: 39 pages, 4 figures. Added part (2) of the main theorem (Theorem 1.1), added Appendix B

MSC Class: 05E10 (Primary) 14E05; 13A50; 14R20; 05E05 (Secondary)

Skew Howe duality and limit shapes of Young diagrams

Authors: Anton Nazarov, Olga Postnova, Travis Scrimshaw

Abstract: We consider the skew Howe duality for the action of certain dual pairs of Lie groups $(G_1, G_2)$ on the exterior algebra $\bigwedge(\mathbb{C}^{n} \otimes \mathbb{C}^{k})$ as a probability measure on Young diagrams by the decomposition into the sum of irreducible representations. We prove a combinatorial version of this skew Howe for the pairs $(\mathrm{GL}_{n}, \mathrm{GL}_{k})$,… ▽ More We consider the skew Howe duality for the action of certain dual pairs of Lie groups $(G_1, G_2)$ on the exterior algebra $\bigwedge(\mathbb{C}^{n} \otimes \mathbb{C}^{k})$ as a probability measure on Young diagrams by the decomposition into the sum of irreducible representations. We prove a combinatorial version of this skew Howe for the pairs $(\mathrm{GL}_{n}, \mathrm{GL}_{k})$, $(\mathrm{SO}_{2n+1}, \mathrm{Pin}_{2k})$, $(\mathrm{Sp}_{2n}, \mathrm{Sp}_{2k})$, and $(\mathrm{Or}_{2n}, \mathrm{SO}_{k})$ using crystal bases, which allows us to interpret the skew Howe duality as a natural consequence of lattice paths on lozenge tilings of certain partial hexagonal domains. The $G_1$-representation multiplicity is given as a determinant formula using the Lindström-Gessel-Viennot lemma and as a product formula using Dodgson condensation. These admit natural $q$-analogs that we show equals the $q$-dimension of a $G_2$-representation (up to an overall factor of $q$), giving a refined version of the combinatorial skew Howe duality. Using these product formulas (at $q =1$), we take the infinite rank limit and prove the diagrams converge uniformly to the limit shape. △ Less

Submitted 22 September, 2023; v1 submitted 24 November, 2021; originally announced November 2021.

Comments: 57 pages, 15 figures, 2 tables; v3 fixed typos, added comparison to Biane's result, updated references, fixed typos; v2 fixed typos in Theorem 4.10, 4.14, shorter proof of Theorem 4.6 (thanks to C. Krattenthaler), proved of Conjecture 4.17 in v1

MSC Class: 05A19; 60C05; 22E46; 60G55; 05E05

Journal ref: J. Lond. Math. Soc., 2023

Quasi-solvable lattice models for $\mathrm{Sp}_{2n}$ and $\mathrm{SO}_{2n+1}$ Demazure atoms and characters

Authors: Valentin Buciumas, Travis Scrimshaw

Abstract: We construct colored lattice models whose partition functions represent symplectic and odd orthogonal Demazure characters and atoms. We show that our lattice models are not solvable, but we are able to show the existence of sufficiently many solutions of the Yang--Baxter equation that allows us to compute functional equations for the corresponding partition functions. From these functional equatio… ▽ More We construct colored lattice models whose partition functions represent symplectic and odd orthogonal Demazure characters and atoms. We show that our lattice models are not solvable, but we are able to show the existence of sufficiently many solutions of the Yang--Baxter equation that allows us to compute functional equations for the corresponding partition functions. From these functional equations, we determine that the partition function of our models are the Demazure atoms and characters for the symplectic and odd orthogonal Lie groups. We coin our lattice models as quasi-solvable. We use the natural bijection of admissible states in our models with Proctor patterns to give a right key algorithm for reverse King tableaux and Sundaram tableaux. △ Less

Submitted 8 May, 2021; v1 submitted 21 January, 2021; originally announced January 2021.

Comments: 36 pages, 12 figures; v2, updates to Section 3.4

MSC Class: 05E10; 16T25; 22E46; 82B23

Journal ref: Forum Math. Sigma 10 (2022) e53

Refined dual Grothendieck polynomials, integrability, and the Schur measure

Authors: Kohei Motegi, Travis Scrimshaw

Abstract: We construct a vertex model whose partition function is a refined dual Grothendieck polynomial, where the states are interpreted as nonintersecting lattice paths. Using this, we show refined dual Grothendieck polynomials are multi-Schur functions and give a number of identities, including a Littlewood and Cauchy(-Littlewood) identity. We then refine Yeliussizov's connection between dual Grothendie… ▽ More We construct a vertex model whose partition function is a refined dual Grothendieck polynomial, where the states are interpreted as nonintersecting lattice paths. Using this, we show refined dual Grothendieck polynomials are multi-Schur functions and give a number of identities, including a Littlewood and Cauchy(-Littlewood) identity. We then refine Yeliussizov's connection between dual Grothendieck polynomials and the last passage percolation (LPP) stochastic process discussed by Johansson. By refining algebraic techniques of Johansson, we show Jacobi-Trudi formulas for skew refined dual Grothendieck polynomials conjectured by Grinberg and recover a relation between LPP and the Schur process due to Baik and Rains. Lastly, we extend our vertex model techniques to show some identities for refined Grothendieck polynomials, including a Jacobi-Trudi formula. △ Less

Submitted 29 December, 2020; originally announced December 2020.

Comments: 55 pages, 5 tables

MSC Class: 05E05; 82B23; 14M15; 05A19; 60B20

Double Grothendieck polynomials and colored lattice models

Authors: Valentin Buciumas, Travis Scrimshaw

Abstract: We construct an integrable colored six-vertex model whose partition function is a double Grothendieck polynomial. This gives an integrable systems interpretation of bumpless pipe dreams and recent results of Weigandt [arXiv:2003.07342] relating double Grothendieck polynomias with bumpless pipe dreams. For vexillary permutations, we then construct a new model that we call the semidual version model… ▽ More We construct an integrable colored six-vertex model whose partition function is a double Grothendieck polynomial. This gives an integrable systems interpretation of bumpless pipe dreams and recent results of Weigandt [arXiv:2003.07342] relating double Grothendieck polynomias with bumpless pipe dreams. For vexillary permutations, we then construct a new model that we call the semidual version model. We use our semidual model and the five-vertex model of Motegi and Sakai to given a new proof that double Grothendieck polynomials for vexillary permutations are equal to flagged factorial Grothendieck polynomials. Taking the stable limit of double Grothendieck polynomials, we obtain a new proof that the stable limit is a factorial Grothendieck polynomial as defined by McNamara. The states of our semidual model naturally correspond to families of nonintersecting lattice paths, where we can then use the Lindström-Gessel-Viennot lemma to give a determinant formula for double Schubert polynomials corresponding to vexillary permutations. △ Less

Submitted 26 October, 2020; v1 submitted 8 July, 2020; originally announced July 2020.

Comments: 24 pages, 10 figures; v2 minor corrections from referee reports

MSC Class: 05E05; 82B23; 14M15; 05A19

Journal ref: Int. Math. Res. Not. IMRN; art. ID rnaa327 (2020)

Simplicity of tensor products of Kirillov--Reshetikhin modules: nonexceptional affine and G types

Authors: Se-** Oh, Travis Scrimshaw

Abstract: We show the denominator formulas for the normalized $R$-matrix involving two arbitrary Kirillov--Reshetikhin (KR) modules $W^{(k)}_{m,a}$ and $W^{(l)}_{p,b}$ in all nonexceptional affine types, $D_4^{(3)}$, and $G_2^{(1)}$. To achieve our goal, we prove the existence of homomorphisms, which can be understood as generalization of Dorey rule to KR modules. We also conjecture a uniform denominator fo… ▽ More We show the denominator formulas for the normalized $R$-matrix involving two arbitrary Kirillov--Reshetikhin (KR) modules $W^{(k)}_{m,a}$ and $W^{(l)}_{p,b}$ in all nonexceptional affine types, $D_4^{(3)}$, and $G_2^{(1)}$. To achieve our goal, we prove the existence of homomorphisms, which can be understood as generalization of Dorey rule to KR modules. We also conjecture a uniform denominator formulas for all simply-laced types; in particular, type $E_n^{(1)}$. With the denominator formulas, we determine the simplicity of tensor product of KR modules and degrees of poles of normalized $R$-matrices between two KR modules completely in nonexceptional affine types, $D_4^{(3)}$, and $G_2^{(1)}$. As an application, we prove that the certain sets of KR modules for the untwisted affine types, suggested by Hernandez and Leclerc as clusters, form strongly commuting families, which implies that all cluster monomials in the clusters are real simple modules. △ Less

Submitted 21 December, 2020; v1 submitted 23 October, 2019; originally announced October 2019.

Comments: We fixed some typos and errors in the previous version

MSC Class: 81R50; 17B37; 17B65; 16T25

Colored five-vertex models and Lascoux polynomials and atoms

Authors: Valentin Buciumas, Travis Scrimshaw, Katherine Weber

Abstract: We construct an integrable colored five-vertex model whose partition function is a Lascoux atom based on the five-vertex model of Motegi and Sakai [arXiv:1305.3030] and the colored five-vertex model of Brubaker, the first author, Bump, and Gustafsson [arXiv:1902.01795]. We then modify this model in two different ways to construct a Lascoux polynomial, yielding the first known combinatorial interpr… ▽ More We construct an integrable colored five-vertex model whose partition function is a Lascoux atom based on the five-vertex model of Motegi and Sakai [arXiv:1305.3030] and the colored five-vertex model of Brubaker, the first author, Bump, and Gustafsson [arXiv:1902.01795]. We then modify this model in two different ways to construct a Lascoux polynomial, yielding the first known combinatorial interpretation of a Lascoux polynomial and atom. Using this, we prove a conjectured combinatorial interpretation in terms of set-valued tableaux of a Lascoux polynomial and atom due to Pechenik and the second author [arXiv:1904.09674]. We also prove the combinatorial interpretation of the Lascoux atom using set-valued skyline tableaux of Monical [arXiv:1611.08777]. △ Less

Submitted 31 March, 2020; v1 submitted 20 August, 2019; originally announced August 2019.

Comments: 23 pages, 7 figures; added examples and other changes from referee report

MSC Class: 05E05; 82B23; 14M15; 05A19

Crystal structures for canonical Grothendieck functions

Authors: Graham Hawkes, Travis Scrimshaw

Abstract: We give a $U_q(\mathfrak{sl}_n)$-crystal structure on multiset-valued tableaux, hook-valued tableaux, and valued-set tableaux, whose generating functions are the weak symmetric, canonical, and dual weak symmetric Grothendieck functions, respectively. We show the result is isomorphic to a (generally infinite) direct sum of highest weight crystals, and for multiset-valued tableaux and valued-set tab… ▽ More We give a $U_q(\mathfrak{sl}_n)$-crystal structure on multiset-valued tableaux, hook-valued tableaux, and valued-set tableaux, whose generating functions are the weak symmetric, canonical, and dual weak symmetric Grothendieck functions, respectively. We show the result is isomorphic to a (generally infinite) direct sum of highest weight crystals, and for multiset-valued tableaux and valued-set tableaux, we provide an explicit bijection. As a consequence, these generating functions are Schur positive; in particular, the canonical Grothendieck functions, which was not previously known. We also give an extension of Hecke insertion to express a dual stable Grothendieck function as a sum of Schur functions. △ Less

Submitted 18 October, 2019; v1 submitted 26 July, 2019; originally announced July 2019.

Comments: 30 pages, 1 figure; v2 fixed uncrowding map, added inflation map and some additional details to proofs

MSC Class: 05E05; 05A19; 14M15; 17B37

Journal ref: Algebraic Combin., volume 3, issue 3, (2020), p. 727--755

K-theoretic crystals for set-valued tableaux of rectangular shapes

Authors: Oliver Pechenik, Travis Scrimshaw

Abstract: In earlier work with C.~Monical, we introduced the notion of a K-crystal, with applications to K-theoretic Schubert calculus and the study of Lascoux polynomials. We conjectured that such a K-crystal structure existed on the set of semistandard set-valued tableaux of any fixed rectangular shape. Here, we establish this conjecture by explicitly constructing the K-crystal operators. As a consequence… ▽ More In earlier work with C.~Monical, we introduced the notion of a K-crystal, with applications to K-theoretic Schubert calculus and the study of Lascoux polynomials. We conjectured that such a K-crystal structure existed on the set of semistandard set-valued tableaux of any fixed rectangular shape. Here, we establish this conjecture by explicitly constructing the K-crystal operators. As a consequence, we establish the first combinatorial formula for Lascoux polynomials $L_{wλ}$ when $λ$ is a multiple of a fundamental weight as the sum over flagged set-valued tableaux. Using this result, we then prove corresponding cases of conjectures of Ross--Yong (2015) and Monical (2016) by constructing bijections with the respective combinatorial objects. △ Less

Submitted 5 January, 2022; v1 submitted 21 April, 2019; originally announced April 2019.

Comments: 23 pages, 2 figures; v2 changed the statement of Conjecture 6.1; v3 corrections to K-crystal operators and other changes from comments

MSC Class: 05E05; 05A19; 14M15; 17B37

Journal ref: Algebraic Combinatorics 5(3), 2022, 515-536

Hook-content formula using excited Young diagrams

Authors: Anatol N. Kirillov, Travis Scrimshaw

Abstract: We construct a hook-content formula and its $q$-analog using excited Young diagrams analogous to Naruse's hook-length formula for skew shapes. Furthermore, we show that our hook-content formula has a simple factorization and give some conjectures and questions related to its $q$-analog. We construct a hook-content formula and its $q$-analog using excited Young diagrams analogous to Naruse's hook-length formula for skew shapes. Furthermore, we show that our hook-content formula has a simple factorization and give some conjectures and questions related to its $q$-analog. △ Less

Submitted 31 March, 2019; originally announced April 2019.

Comments: 6 pages

MSC Class: 05A17; 05A10; 05E10

Existence of Kirillov-Reshetikhin crystals for near adjoint nodes in exceptional types

Authors: Katsuyuki Naoi, Travis Scrimshaw

Abstract: We prove that, in types $E_{6,7,8}^{(1)}$, $F_4^{(1)}$ and $E_6^{(2)}$, every Kirillov--Reshetikhin module associated with the node adjacent to the adjoint one (near adjoint node) has a crystal pseudobase, by applying the criterion introduced by Kang et.al. In order to apply the criterion, we need to prove some statements concerning values of a bilinear form. We achieve this by using the global ba… ▽ More We prove that, in types $E_{6,7,8}^{(1)}$, $F_4^{(1)}$ and $E_6^{(2)}$, every Kirillov--Reshetikhin module associated with the node adjacent to the adjoint one (near adjoint node) has a crystal pseudobase, by applying the criterion introduced by Kang et.al. In order to apply the criterion, we need to prove some statements concerning values of a bilinear form. We achieve this by using the global bases of extremal weight modules. △ Less

Submitted 15 October, 2020; v1 submitted 27 March, 2019; originally announced March 2019.

Comments: 39 pages. In version 1 the main theorem is proved in type $E_6^{(1)}$ only, but in version 2 and 3 we generalize the result in types $E_{6,7,8}^{(1)}$, $F_4^{(1)}$ and $E_6^{(2)}$. In version 3, some minor corrections are made

MSC Class: 81R50; 17B37

Journal ref: J. Pure Appl. Algebra, 225(5) (2021) 106593

Candidate for the crystal $B(-\infty)$ for the queer Lie superalgebra

Authors: Ben Salisbury, Travis Scrimshaw

Abstract: It is shown that the direct limit of the semistandard decomposition tableau model for polynomial representations of the queer Lie superalgebra exists, which is believed to be the crystal for the upper half of the corresponding quantum group. An extension of this model to describe the direct limit combinatorially is given. Furthermore, it is shown that the polynomial representations may be recovere… ▽ More It is shown that the direct limit of the semistandard decomposition tableau model for polynomial representations of the queer Lie superalgebra exists, which is believed to be the crystal for the upper half of the corresponding quantum group. An extension of this model to describe the direct limit combinatorially is given. Furthermore, it is shown that the polynomial representations may be recovered from the limit in most cases. △ Less

Submitted 20 February, 2020; v1 submitted 7 March, 2019; originally announced March 2019.

Comments: 25 pages, 3 figures

MSC Class: 05E10; 17B37

Journal ref: Kyoto J. Math. 62, no. 2 (2022), 377-401

Existence of Kirillov--Reshetikhin crystals for multiplicity free nodes

Authors: Rekha Biswal, Travis Scrimshaw

Abstract: We show that the Kirillov--Reshetikhin crystal $B^{r,s}$ exists when $r$ is a node such that the Kirillov--Reshetikhin module $W^{r,s}$ has a multiplicity free classical decomposition. We show that the Kirillov--Reshetikhin crystal $B^{r,s}$ exists when $r$ is a node such that the Kirillov--Reshetikhin module $W^{r,s}$ has a multiplicity free classical decomposition. △ Less

Submitted 2 February, 2019; originally announced February 2019.

Comments: 12 pages, 1 figure, 1 table

MSC Class: 81R50; 17B37

Journal ref: Publ. Res. inst. Math. Sci. 56(4) (2020) pp. 761-778

Kirillov-Reshetikhin crystals $B^{7,s}$ for type $E_7^{(1)}$

Authors: Rekha Biswal, Travis Scrimshaw

Abstract: We construct a combinatorial crystal structure on the Kirillov-Reshetikhin crystal $B^{7,s}$ in type $E_7^{(1)}$, where $7$ is the unique node in the orbit of $0$ in the affine Dynkin diagram. We then describe the combinatorial $R$-matrix $R \colon B^{7,s} \otimes B^{7,s'} \to B^{7,s'} \otimes B^{7,s}$. We construct a combinatorial crystal structure on the Kirillov-Reshetikhin crystal $B^{7,s}$ in type $E_7^{(1)}$, where $7$ is the unique node in the orbit of $0$ in the affine Dynkin diagram. We then describe the combinatorial $R$-matrix $R \colon B^{7,s} \otimes B^{7,s'} \to B^{7,s'} \otimes B^{7,s}$. △ Less

Submitted 5 October, 2021; v1 submitted 1 January, 2019; originally announced January 2019.

Comments: 17 pages, 4 figures; v2 added R-matrix description, misc. improvements

MSC Class: 05E10; 17B37

Rigged configurations and the $\ast$-involution for generalized Kac--Moody algebras

Authors: Ben Salisbury, Travis Scrimshaw

Abstract: We construct a uniform model for highest weight crystals and $B(\infty)$ for generalized Kac--Moody algebras using rigged configurations. We also show an explicit description of the $\ast$-involution on rigged configurations for $B(\infty)$: that the $\ast$-involution interchanges the rigging and the corigging. We do this by giving a recognition theorem for $B(\infty)$ using the $\ast$-involution.… ▽ More We construct a uniform model for highest weight crystals and $B(\infty)$ for generalized Kac--Moody algebras using rigged configurations. We also show an explicit description of the $\ast$-involution on rigged configurations for $B(\infty)$: that the $\ast$-involution interchanges the rigging and the corigging. We do this by giving a recognition theorem for $B(\infty)$ using the $\ast$-involution. As a consequence, we also characterize $B(λ)$ as a subcrystal of $B(\infty)$ using the $\ast$-involution. △ Less

Submitted 5 June, 2020; v1 submitted 18 December, 2018; originally announced December 2018.

Comments: 18 pages, 1 figure; v2, removed Section 7 since there was an error in our proof of Theorem 7.4, added isotropic imaginary roots case

MSC Class: 05E10; 17B37

Journal ref: J. Algebra, 573 (2021) pp. 148-168

The regularity of almost-commuting partial Grothendieck--Springer resolutions and parabolic analogs of Calogero--Moser varieties

Authors: Mee Seong Im, Travis Scrimshaw

Abstract: Consider the moment map $μ\colon T^*(\mathfrak{p} \times \mathbb{C}^n) \to \mathfrak{p}^*$ for a parabolic subalgebra $\mathfrak{p}$ of $\mathfrak{gl}_n(\mathbb{C})$. We prove that the preimage of $0$ under $μ$ is a complete intersection when $\mathfrak{p}$ has finitely many $P$-orbits, where $P\subseteq \operatorname{GL}_n(\mathbb{C})$ is a parabolic subgroup such that… ▽ More Consider the moment map $μ\colon T^*(\mathfrak{p} \times \mathbb{C}^n) \to \mathfrak{p}^*$ for a parabolic subalgebra $\mathfrak{p}$ of $\mathfrak{gl}_n(\mathbb{C})$. We prove that the preimage of $0$ under $μ$ is a complete intersection when $\mathfrak{p}$ has finitely many $P$-orbits, where $P\subseteq \operatorname{GL}_n(\mathbb{C})$ is a parabolic subgroup such that $\operatorname{Lie}(P) = \mathfrak{p}$, and give an explicit description of the irreducible components. This allows us to study nearby fibers of $μ$ as they are equidimensional, and one may also construct GIT quotients $μ^{-1}(0) /\!\!/_χ P$ by varying the stability condition $χ$. Finally, we study a variety analogous to the scheme studied by Wilson with connections to a Calogero--Moser phase space where only some of particles interact. △ Less

Submitted 29 July, 2020; v1 submitted 5 December, 2018; originally announced December 2018.

Comments: 18 pages, to appear in Journal of Lie Theory

MSC Class: 14M10; 53D20; 17B08; 14L30; 14L24; 20G20

Journal ref: J. Lie Theory, 31(1) (2021) pp. 127-148

Multiline queues with spectral parameters

Authors: Erik Aas, Darij Grinberg, Travis Scrimshaw

Abstract: Using the description of multiline queues as functions on words, we introduce the notion of a spectral weight of a word by defining a new weighting on multiline queues. We show that the spectral weight of a word is invariant under a natural action of the symmetric group, giving a proof of the commutativity conjecture of Arita, Ayyer, Mallick, and Prolhac. We give a determinant formula for the spec… ▽ More Using the description of multiline queues as functions on words, we introduce the notion of a spectral weight of a word by defining a new weighting on multiline queues. We show that the spectral weight of a word is invariant under a natural action of the symmetric group, giving a proof of the commutativity conjecture of Arita, Ayyer, Mallick, and Prolhac. We give a determinant formula for the spectral weight of a word, which gives a proof of a conjecture of the first author and Linusson. △ Less

Submitted 28 December, 2019; v1 submitted 18 October, 2018; originally announced October 2018.

Comments: 44 pages, 6 figures; see the ancillary file for a long version

MSC Class: 60C05; 05A19; 16T25; 05E05

Journal ref: Communications in Mathematical Physics volume 374 (2020), pp. 1743--1786

On higher level Kirillov--Reshetikhin crystals, Demazure crystals, and related uniform models

Authors: Cristian Lenart, Travis Scrimshaw

Abstract: We show that a tensor product of nonexceptional type Kirillov--Reshetikhin (KR) crystals is isomorphic to a direct sum of Demazure crystals; we do this in the mixed level case and without the perfectness assumption, thus generalizing a result of Naoi. We use this result to show that, given two tensor products of such KR crystals with the same maximal weight, after removing certain $0$-arrows, the… ▽ More We show that a tensor product of nonexceptional type Kirillov--Reshetikhin (KR) crystals is isomorphic to a direct sum of Demazure crystals; we do this in the mixed level case and without the perfectness assumption, thus generalizing a result of Naoi. We use this result to show that, given two tensor products of such KR crystals with the same maximal weight, after removing certain $0$-arrows, the two connected components containing the minimal/maximal elements are isomorphic. Based on the latter fact, we reduce a tensor product of higher level perfect KR crystals to one of single-column KR crystals, which allows us to use the uniform models available in the literature in the latter case. We also use our results to give a combinatorial interpretation of the Q-system relations. Our results are conjectured to extend to the exceptional types. △ Less

Submitted 26 August, 2019; v1 submitted 8 September, 2018; originally announced September 2018.

Comments: 15 pages, 1 figure; v2, incorporated changes from referee

MSC Class: 17B37; 05E10

Journal ref: J. Algebra 539:285-304, 2019

Crystal structures for symmetric Grothendieck polynomials

Authors: Cara Monical, Oliver Pechenik, Travis Scrimshaw

Abstract: The symmetric Grothendieck polynomials representing Schubert classes in the $K$-theory of Grassmannians are generating functions for semistandard set-valued tableaux. We construct a type $A_n$ crystal structure on these tableaux. This crystal yields a new combinatorial formula for decomposing symmetric Grothendieck polynomials into Schur polynomials. For single-columns and single-rows, we give a n… ▽ More The symmetric Grothendieck polynomials representing Schubert classes in the $K$-theory of Grassmannians are generating functions for semistandard set-valued tableaux. We construct a type $A_n$ crystal structure on these tableaux. This crystal yields a new combinatorial formula for decomposing symmetric Grothendieck polynomials into Schur polynomials. For single-columns and single-rows, we give a new combinatorial interpretation of Lascoux polynomials (K-analogs of Demazure characters) by constructing a K-theoretic analog of crystals with an appropriate analog of a Demazure crystal. We relate our crystal structure to combinatorial models using excited Young diagrams, Gelfand-Tsetlin patterns via the $5$-vertex model, and biwords via Hecke insertion to compute symmetric Grothendieck polynomials. △ Less

Submitted 22 November, 2018; v1 submitted 9 July, 2018; originally announced July 2018.

Comments: 47 pages, 7 figures; v2 weakening K-crystal structure for the general case, fixing typos

MSC Class: 05E05; 05E10; 17B37; 14M15

Journal ref: Transform. Groups 26(3):1025-1075, 2021

Identities from representation theory

Authors: Se-** Oh, Travis Scrimshaw

Abstract: We give a new Jacobi--Trudi-type formula for characters of finite-dimensional irreducible representations in type $C_n$ using characters of the fundamental representations and non-intersecting lattice paths. We give equivalent determinant formulas for the decomposition multiplicities for tensor powers of the spin representation in type $B_n$ and the exterior representation in type $C_n$. This give… ▽ More We give a new Jacobi--Trudi-type formula for characters of finite-dimensional irreducible representations in type $C_n$ using characters of the fundamental representations and non-intersecting lattice paths. We give equivalent determinant formulas for the decomposition multiplicities for tensor powers of the spin representation in type $B_n$ and the exterior representation in type $C_n$. This gives a combinatorial proof of an identity of Katz and equates such a multiplicity with the dimension of an irreducible representation in type $C_n$. By taking certain specializations, we obtain identities for $q$-Catalan triangle numbers, the $q,t$-Catalan number of Stump, $q$-triangle versions of Motzkin and Riordan numbers, and generalizations of Touchard's identity. We use (spin) rigid tableaux and crystal base theory to show some formulas relating Catalan, Motzkin, and Riordan triangle numbers. △ Less

Submitted 30 April, 2018; originally announced May 2018.

Comments: 68 pages, 8 figures

MSC Class: 05E10; 05A19

Journal ref: Discrete Math., 342(9) (2019), pp. 2493-2541

Categorical relations between Langlands dual quantum affine algebras: Exceptional cases

Authors: Se-** Oh, Travis Scrimshaw

Abstract: We first compute the denominator formulas for quantum affine algebras of all exceptional types. Then we prove the isomorphisms among Grothendieck rings of categories $C_Q^{(t)}$ $(t=1,2,3)$, $\mathscr{C}_{\mathscr{Q}}^{(1)}$ and $\mathscr{C}_{\mathfrak{Q}}^{(1)}$. These results give Dorey's rule for all exceptional affine types, prove the conjectures of Kashiwara-Kang-Kim and Kashiwara-Oh, and pro… ▽ More We first compute the denominator formulas for quantum affine algebras of all exceptional types. Then we prove the isomorphisms among Grothendieck rings of categories $C_Q^{(t)}$ $(t=1,2,3)$, $\mathscr{C}_{\mathscr{Q}}^{(1)}$ and $\mathscr{C}_{\mathfrak{Q}}^{(1)}$. These results give Dorey's rule for all exceptional affine types, prove the conjectures of Kashiwara-Kang-Kim and Kashiwara-Oh, and provides the partial answers of Frenkel-Hernandez on Langlands duality for finite dimensional representations of quantum affine algebras of exceptional types. △ Less

Submitted 17 August, 2019; v1 submitted 26 February, 2018; originally announced February 2018.

Comments: 67 pages, 1 figure; v2 incorporated changes from referee report; v3 incorporated an addendum that removes ambiguities

MSC Class: 17B37; 17B65; 05E10; 17B10

Journal ref: Comm. Math. Phys., 368(1) (2019), pp. 295-367

Hall-Littlewood polynomials and a Hecke action on ordered set partitions

Authors: Jia Huang, Brendon Rhoades, Travis Scrimshaw

Abstract: We construct an action of the Hecke algebra $H_n(q)$ on a quotient of the polynomial ring $F[x_1, \dots, x_n]$, where $F = \mathbb{Q}(q)$. The dimension of our quotient ring is the number of $k$-block ordered set partitions of $\{1, 2, \dots, n \}$. This gives a quantum analog of a construction of Haglund-Rhoades-Shimozono and interpolates between their result at $q = 1$ and work of Huang-Rhoades… ▽ More We construct an action of the Hecke algebra $H_n(q)$ on a quotient of the polynomial ring $F[x_1, \dots, x_n]$, where $F = \mathbb{Q}(q)$. The dimension of our quotient ring is the number of $k$-block ordered set partitions of $\{1, 2, \dots, n \}$. This gives a quantum analog of a construction of Haglund-Rhoades-Shimozono and interpolates between their result at $q = 1$ and work of Huang-Rhoades at $q = 0$. △ Less

Submitted 13 March, 2018; v1 submitted 22 September, 2017; originally announced September 2017.

Comments: 11 pages

Journal ref: Proc. Amer. Math. Soc., 147(5) (2019) pp. 1839-1850

Virtual Crystals and Nakajima Monomials

Authors: Ben Salisbury, Travis Scrimshaw

Abstract: An explicit description of the virtualization map for the (modified) Nakajima monomial model for crystals is given. We give an explicit description of the Lusztig data for modified Nakajima monomials in type $A_n$. An explicit description of the virtualization map for the (modified) Nakajima monomial model for crystals is given. We give an explicit description of the Lusztig data for modified Nakajima monomials in type $A_n$. △ Less

Submitted 26 September, 2018; v1 submitted 30 July, 2017; originally announced July 2017.

MSC Class: 05E10; 17B37

Journal ref: SIGMA 14 (2018), 103, 19 pages

Rigged configuration bijection and proof of the $X=M$ conjecture for nonexceptional affine types

Authors: Masato Okado, Anne Schilling, Travis Scrimshaw

Abstract: We establish a bijection between rigged configurations and highest weight elements of a tensor product of Kirillov-Reshetikhin crystals for all nonexceptional types. A key idea for the proof is to embed both objects into bigger sets for simply-laced types $A_n^{(1)}$ or $D_n^{(1)}$, whose bijections have already been established. As a consequence we settle the $X=M$ conjecture in full generality f… ▽ More We establish a bijection between rigged configurations and highest weight elements of a tensor product of Kirillov-Reshetikhin crystals for all nonexceptional types. A key idea for the proof is to embed both objects into bigger sets for simply-laced types $A_n^{(1)}$ or $D_n^{(1)}$, whose bijections have already been established. As a consequence we settle the $X=M$ conjecture in full generality for nonexceptional types. Furthermore, the bijection extends to a classical crystal isomorphism and sends the combinatorial $R$-matrix to the identity map on rigged configurations. △ Less

Submitted 6 September, 2018; v1 submitted 16 July, 2017; originally announced July 2017.

Comments: 30 pages, 2 figures; v2 Referenced Naoi's work in the introduction, clarified some notation; v3 Various additions for more self-containment (e.g., the signature rule) and typos fixed

MSC Class: Primary 17B37; Secondary: 05A19; 81R50; 82B23

Journal ref: J. Algebra, 516 (2018), pp. 1--37

A uniform approach to soliton cellular automata using rigged configurations

Authors: Xuan Liu, Travis Scrimshaw

Abstract: For soliton cellular automata, we give a uniform description and proofs of the solitons, the scattering rule of two solitons, and the phase shift using rigged configurations in a number of special cases. In particular, we prove these properties for the soliton cellular automata using $B^{r,1}$ when $r$ is adjacent to $0$ in the Dynkin diagram or there is a Dynkin diagram automorphism sending $r$ t… ▽ More For soliton cellular automata, we give a uniform description and proofs of the solitons, the scattering rule of two solitons, and the phase shift using rigged configurations in a number of special cases. In particular, we prove these properties for the soliton cellular automata using $B^{r,1}$ when $r$ is adjacent to $0$ in the Dynkin diagram or there is a Dynkin diagram automorphism sending $r$ to $0$. △ Less

Submitted 11 February, 2019; v1 submitted 7 June, 2017; originally announced June 2017.

Comments: 37 pages, 3 figures, 4 tables

MSC Class: 17B37; 05E10; 82B23; 37B15

Journal ref: Ann. Henri Poincaré, 20(4) (2019) pp. 1175-1215

Uniform description of the rigged configuration bijection

Authors: Travis Scrimshaw

Abstract: We give a uniform description of the bijection $Φ$ from rigged configurations to tensor products of Kirillov--Reshetikhin crystals of the form $\bigotimes_{i=1}^N B^{r_i,1}$ in dual untwisted types: simply-laced types and types $A_{2n-1}^{(2)}$, $D_{n+1}^{(2)}$, $E_6^{(2)}$, and $D_4^{(3)}$. We give a uniform proof that $Φ$ is a bijection and preserves statistics. We describe $Φ$ uniformly using v… ▽ More We give a uniform description of the bijection $Φ$ from rigged configurations to tensor products of Kirillov--Reshetikhin crystals of the form $\bigotimes_{i=1}^N B^{r_i,1}$ in dual untwisted types: simply-laced types and types $A_{2n-1}^{(2)}$, $D_{n+1}^{(2)}$, $E_6^{(2)}$, and $D_4^{(3)}$. We give a uniform proof that $Φ$ is a bijection and preserves statistics. We describe $Φ$ uniformly using virtual crystals for all remaining types, but our proofs are type-specific. We also give a uniform proof that $Φ$ is a bijection for $\bigotimes_{i=1}^N B^{r_i,s_i}$ when $r_i$, for all $i$, map to $0$ under an automorphism of the Dynkin diagram. Furthermore, we give a description of the Kirillov--Reshetikhin crystals $B^{r,1}$ using tableaux of a fixed height $k_r$ depending on $r$ in all affine types. Additionally, we are able to describe crystals $B^{r,s}$ using $k_r \times s$ shaped tableaux that are conjecturally the crystal basis for Kirillov--Reshetikhin modules for various nodes $r$. △ Less

Submitted 18 June, 2020; v1 submitted 27 March, 2017; originally announced March 2017.

Comments: 60 pages, 5 figures, 3 tables; v2 incorporated changes from referee

MSC Class: 05E10; 17B37; 05A19; 81R50; 82B23

Journal ref: Selecta Math. (N.S.) 26(3) (2020), article 42

Alcove path model for $B(\infty)$

Authors: Arthur Lubovsky, Travis Scrimshaw

Abstract: We construct a model for $B(\infty)$ using the alcove path model of Lenart and Postnikov. We show that the continuous limit of our model recovers a dual version of the Littelmann path model for $B(\infty)$ given by Li and Zhang. Furthermore, we consider the dual version of the alcove path model and obtain analogous results for the dual model, where the continuous limit gives the Li and Zhang model… ▽ More We construct a model for $B(\infty)$ using the alcove path model of Lenart and Postnikov. We show that the continuous limit of our model recovers a dual version of the Littelmann path model for $B(\infty)$ given by Li and Zhang. Furthermore, we consider the dual version of the alcove path model and obtain analogous results for the dual model, where the continuous limit gives the Li and Zhang model. △ Less

Submitted 4 January, 2018; v1 submitted 29 November, 2016; originally announced November 2016.

Comments: 19 pages, 7 figures; improvements from comments, added more figures

MSC Class: 05E10; 17B37

Journal ref: J. Pure Appl. Algebra, 223(11) (2019) pp. 4778-4800

Kirillov-Reshetikhin crystals $B^{1,s}$ for $\widehat{\mathfrak{sl}}_n$ using Nakajima monomials

Authors: Emily Gunawan, Travis Scrimshaw

Abstract: We give a realization of the Kirillov--Reshetikhin crystal $B^{1,s}$ using Nakajima monomials for $\widehat{\mathfrak{sl}}_n$ using the crystal structure given by Kashiwara. We describe the tensor product $\bigotimes_{i=1}^N B^{1,s_i}$ in terms of a shift of indices, allowing us to recover the Kyoto path model. Additionally, we give a model for the KR crystals $B^{r,1}$ using Nakajima monomials. We give a realization of the Kirillov--Reshetikhin crystal $B^{1,s}$ using Nakajima monomials for $\widehat{\mathfrak{sl}}_n$ using the crystal structure given by Kashiwara. We describe the tensor product $\bigotimes_{i=1}^N B^{1,s_i}$ in terms of a shift of indices, allowing us to recover the Kyoto path model. Additionally, we give a model for the KR crystals $B^{r,1}$ using Nakajima monomials. △ Less

Submitted 8 July, 2019; v1 submitted 28 October, 2016; originally announced October 2016.

Comments: 24 pages, 6 figures; v2 improved introduction, added more figures, and other misc improvements; v3 changes from referee reports

MSC Class: 05E10; 17B37

Rigged configurations as tropicalizations of loop Schur functions

Authors: Travis Scrimshaw

Abstract: We conjecture an explicit formula for the image of a tensor product of Kirillov-Reshetikhin crystals $\bigotimes_{i=1}^m B^{1, s_i}$ under the Kirillov-Schilling-Shimozono bijection. Our conjectured formula is piecewise-linear, where the shapes are given by the tropicalization of cylindric loop Schur functions and the riggings are given by the tropicalization of loop Schur functions. We prove that… ▽ More We conjecture an explicit formula for the image of a tensor product of Kirillov-Reshetikhin crystals $\bigotimes_{i=1}^m B^{1, s_i}$ under the Kirillov-Schilling-Shimozono bijection. Our conjectured formula is piecewise-linear, where the shapes are given by the tropicalization of cylindric loop Schur functions and the riggings are given by the tropicalization of loop Schur functions. We prove that our formula changes the riggings by the correct amount based upon the time evolution of the corresponding box-ball system. We show that our formula is correct under the column splitting portion of the Kirillov-Schilling-Shimozono bijection and for $B^{1, s}$. △ Less

Submitted 8 March, 2017; v1 submitted 12 July, 2016; originally announced July 2016.

Comments: 19 pages, 3 figures

MSC Class: 17B37; 05E10; 37B15

Journal ref: J. Integrable Syst., 2(1) (2017)

Type $D_n^{(1)}$ rigged configuration bijection

Authors: Masato Okado, Reiho Sakamoto, Anne Schilling, Travis Scrimshaw

Abstract: We establish a bijection between the set of rigged configurations and the set of tensor products of Kirillov--Reshetikhin crystals of type $D^{(1)}_n$ in full generality. We prove the invariance of rigged configurations under the action of the combinatorial $R$-matrix on tensor products and show that the bijection preserves certain statistics (cocharge and energy). As a result, we establish the fe… ▽ More We establish a bijection between the set of rigged configurations and the set of tensor products of Kirillov--Reshetikhin crystals of type $D^{(1)}_n$ in full generality. We prove the invariance of rigged configurations under the action of the combinatorial $R$-matrix on tensor products and show that the bijection preserves certain statistics (cocharge and energy). As a result, we establish the fermionic formula for type $D_n^{(1)}$. In addition, we establish that the bijection is a classical crystal isomorphism. △ Less

Submitted 26 March, 2016; originally announced March 2016.

Comments: 54 pages

MSC Class: 17B37 (Primary) 05A19; 81R50; 82B23 (Secondary)

Journal ref: J Algebr Comb, Volume 46, Issue 2, pp 341-401 (2017)

Rigged configurations and the $*$-involution

Authors: Ben Salisbury, Travis Scrimshaw

Abstract: We give an explicit description of the $*$-involution on the rigged configuration model for $B(\infty)$. We give an explicit description of the $*$-involution on the rigged configuration model for $B(\infty)$. △ Less

Submitted 2 March, 2016; v1 submitted 22 January, 2016; originally announced January 2016.

Comments: 20 pages; updated grant information for TS

MSC Class: 05E10; 17B37

Journal ref: Lett. Math. Phys., 108(9) (2018) pp. 1985-2007

Virtualization map for the Littelmann path model

Authors: Jian** Pan, Travis Scrimshaw

Abstract: We show the natural embedding of weight lattices from a diagram folding is a virtualization map for the Littelmann path model, which recovers a result of Kashiwara. As an application, we give a type independent proof that certain Kirillov--Reshetikhin crystals respect diagram foldings, which is a known result on a special case of a conjecture given by Okado, Schilling, and Shimozono. We show the natural embedding of weight lattices from a diagram folding is a virtualization map for the Littelmann path model, which recovers a result of Kashiwara. As an application, we give a type independent proof that certain Kirillov--Reshetikhin crystals respect diagram foldings, which is a known result on a special case of a conjecture given by Okado, Schilling, and Shimozono. △ Less

Submitted 31 October, 2017; v1 submitted 27 September, 2015; originally announced September 2015.

Comments: 14 pages, 1 figure; corrected statement of Theorem 4.2 in v3; minor corrections from referee report in v4

MSC Class: 05E10; 17B37

Journal ref: Transform. Groups, 23(4) (2018) pp. 1045-1061

Rigged configurations for all symmetrizable types

Authors: Ben Salisbury, Travis Scrimshaw

Abstract: In an earlier work, the authors developed a rigged configuration model for the crystal $B(\infty)$ (which also descends to a model for irreducible highest weight crystals via a cutting procedure). However, the result obtained was only valid in finite types, affine types, and simply-laced indefinite types. In this paper, we show that the rigged configuration model proposed does indeed hold for all… ▽ More In an earlier work, the authors developed a rigged configuration model for the crystal $B(\infty)$ (which also descends to a model for irreducible highest weight crystals via a cutting procedure). However, the result obtained was only valid in finite types, affine types, and simply-laced indefinite types. In this paper, we show that the rigged configuration model proposed does indeed hold for all symmetrizable types. As an application, we give an easy combinatorial condition that gives a Littlewood-Richardson rule using rigged configurations which is valid in all symmetrizable Kac-Moody types. △ Less

Submitted 17 February, 2017; v1 submitted 25 September, 2015; originally announced September 2015.

Comments: 10 pages, 1 figure

MSC Class: 05E10; 17B37

Journal ref: Electron. J. Combin., 24(1) (2017) #P1.30

Connecting marginally large tableaux and rigged configurations via crystals

Authors: Ben Salisbury, Travis Scrimshaw

Abstract: We show that the bijection from rigged configurations to tensor products of Kirillov-Reshetikhin crystals extends to a crystal isomorphism between the $B(\infty)$ models given by rigged configurations and marginally large tableaux. We show that the bijection from rigged configurations to tensor products of Kirillov-Reshetikhin crystals extends to a crystal isomorphism between the $B(\infty)$ models given by rigged configurations and marginally large tableaux. △ Less

Submitted 26 May, 2015; originally announced May 2015.

Comments: 22 pages, 3 figures

MSC Class: 05E10; 17B37

Journal ref: Algebr. Represent. Theory 19 (2016), 523-546

A crystal to rigged configuration bijection and the filling map for type $D_4^{(3)}$

Authors: Travis Scrimshaw

Abstract: We give a bijection $Φ$ from rigged configurations to a tensor product of Kirillov--Reshetikhin crystals of the form $B^{r,1}$ and $B^{1,s}$ in type $D_4^{(3)}$. We show that the cocharge statistic is sent to the energy statistic for tensor products $\bigotimes_{i=1}^N B^{r_i,1}$ and $\bigotimes_{i=1}^N B^{1,s_i}$. We extend this bijection to a single $B^{r,s}$, show that it preserves statistics,… ▽ More We give a bijection $Φ$ from rigged configurations to a tensor product of Kirillov--Reshetikhin crystals of the form $B^{r,1}$ and $B^{1,s}$ in type $D_4^{(3)}$. We show that the cocharge statistic is sent to the energy statistic for tensor products $\bigotimes_{i=1}^N B^{r_i,1}$ and $\bigotimes_{i=1}^N B^{1,s_i}$. We extend this bijection to a single $B^{r,s}$, show that it preserves statistics, and obtain the so-called Kirillov--Reshetikhin tableaux model for $B^{r,s}$. Additionally, we show that $Φ$ commutes with the virtualization map and that $B^{1,s}$ is naturally a virtual crystal in type $D_4^{(1)}$, thus defining an affine crystal structure on rigged configurations corresponding to $B^{1,s}$. △ Less

Submitted 2 November, 2015; v1 submitted 21 May, 2015; originally announced May 2015.

Comments: 40 pages, 6 figures; various revisions from referee comments and fixed minor typos

MSC Class: 05E10; 17B37

Journal ref: J. Algebra 448C (2016), pp. 294-349

Crystal structure on rigged configurations and the filling map

Authors: Anne Schilling, Travis Scrimshaw

Abstract: In this paper, we extend work of the first author on a crystal structure on rigged configurations of simply-laced type to all non-exceptional affine types using the technology of virtual rigged configurations and crystals. Under the bijection between rigged configurations and tensor products of Kirillov-Reshetikhin crystals specialized to a single tensor factor, we obtain a new tableaux model for… ▽ More In this paper, we extend work of the first author on a crystal structure on rigged configurations of simply-laced type to all non-exceptional affine types using the technology of virtual rigged configurations and crystals. Under the bijection between rigged configurations and tensor products of Kirillov-Reshetikhin crystals specialized to a single tensor factor, we obtain a new tableaux model for Kirillov-Reshetikhin crystals. This is related to the model in terms of Kashiwara-Nakashima tableaux via a filling map, generalizing the recently discovered filling map in type $D_n^{(1)}$. △ Less

Submitted 18 April, 2015; v1 submitted 9 September, 2014; originally announced September 2014.

Comments: 45 pages

MSC Class: 17B37; 05A19; 05E10; 81R50

Journal ref: Electronic J. Combinatorics 22(1) (2015) #P1.73

A rigged configuration model for $B(\infty)$

Authors: Ben Salisbury, Travis Scrimshaw

Abstract: We describe a combinatorial realization of the crystals $B(\infty)$ and $B(λ)$ using rigged configurations in all symmetrizable Kac-Moody types up to certain conditions. This includes all simply-laced types and all non-simply-laced finite and affine types. We describe a combinatorial realization of the crystals $B(\infty)$ and $B(λ)$ using rigged configurations in all symmetrizable Kac-Moody types up to certain conditions. This includes all simply-laced types and all non-simply-laced finite and affine types. △ Less

Submitted 12 February, 2015; v1 submitted 25 April, 2014; originally announced April 2014.

MSC Class: 05E10; 17B37

Journal ref: J. Combin. Theory Ser. A 133 (2015), pp. 29-57

FindStat - the combinatorial statistics database

Authors: Chris Berg, Viviane Pons, Travis Scrimshaw, Jessica Striker, Christian Stump

Abstract: The FindStat project at www.FindStat.org provides an online platform for mathematicians, particularly for combinatorialists, to gather information about combinatorial statistics and their relations. This outline provides an overview over the project. The FindStat project at www.FindStat.org provides an online platform for mathematicians, particularly for combinatorialists, to gather information about combinatorial statistics and their relations. This outline provides an overview over the project. △ Less

Submitted 15 January, 2014; originally announced January 2014.

Comments: 2 pages, project description

Embeddings of right-angled Artin groups

Authors: Travis Scrimshaw

Abstract: We explicitly construct an embedding of a right-angled Artin group into a classical pure braid group. Using this we obtain a number of corollaries describing embeddings of arbitrary Artin groups into right-angled Artin groups and linearly independent subgroups of a right-angled Artin group. We explicitly construct an embedding of a right-angled Artin group into a classical pure braid group. Using this we obtain a number of corollaries describing embeddings of arbitrary Artin groups into right-angled Artin groups and linearly independent subgroups of a right-angled Artin group. △ Less

Submitted 27 November, 2013; v1 submitted 29 October, 2010; originally announced October 2010.

Comments: This paper has been withdrawn by the author due to the map described in Thorem 2.4 is not injective

MSC Class: 20F36

Abrams's stable equivalence for graph braid groups

Authors: Paul Prue, Travis Scrimshaw

Abstract: In his PhD thesis, Abrams proved that, for a natural number n and a graph G with at least n vertices, the n-strand configuration space of G deformation retracts to a compact subspace, the discretized n-strand configuration space, provided G satisfies two conditions: each path between distinct essential vertices (vertices of degree not equal to 2) is of length at least n+1 edges, and each path from… ▽ More In his PhD thesis, Abrams proved that, for a natural number n and a graph G with at least n vertices, the n-strand configuration space of G deformation retracts to a compact subspace, the discretized n-strand configuration space, provided G satisfies two conditions: each path between distinct essential vertices (vertices of degree not equal to 2) is of length at least n+1 edges, and each path from a vertex to itself which is not nullhomotopic is of length at least n+1 edges. Using Forman's discrete Morse theory for CW-complexes, we show the first condition can be relaxed to require only that each path between distinct essential vertices is of length at least n-1. △ Less

Submitted 6 July, 2014; v1 submitted 30 September, 2009; originally announced September 2009.

Comments: 8 pages, 3 figures

MSC Class: 20F65; 20F36 (Primary) 55R80 (Secondary)

Journal ref: Topology Appl., 178 (2014) pp. 136-145