Related papers: The ladder crystal

In this thesis I lift the Curry--Howard--Lambek correspondence between the simply-typed lambda calculus and cartesian closed categories to the bicategorical setting, then use the resulting type theory to prove a coherence result for…

In a recent letter, new representations were proposed for the pair of sequences ($\gamma,\delta$), as defined formally by Bailey in his famous lemma. Here we extend and prove this result, providing pairs ($\gamma,\delta$) labelled by the…

Rigged configurations are combinatorial objects prominent in the study of solvable lattice models. Marginally large tableaux are semi-standard Young tableaux of special form that give a realization of the crystals ${\cal B}(\infty)$. We…

With any integral lattice \Lambda in n-dimensional euclidean space we associate an elementary abelian 2-group I(\lambda) whose elements represent parts of the dual lattice that are similar to \Lambda. There are corresponding involutions on…

The formal system lambda-delta is a typed lambda calculus that pursues the unification of terms, types, environments and contexts as the main goal. lambda-delta takes some features from the Automath-related lambda calculi and some from the…

The Kashiwara crystal $B(\infty)$ parametrizes a basis for the Verma module of a Kac-Moody algebra. It has a deep combinatorial structure which one seeks to understand. For each sequence $J$ of reduced decompositions of elements of the Weyl…

In this paper we derive a counterpart of the well-known Ram-Yip formula for symmetric and nonsymmetric Macdonald polynomials of arbitrary type. Our new formula is in terms of a generalization of the Lakshmibai-Seshadri paths (originating in…

Let $S(\Lambda)$ be the cyclotomic q-Schur algebra associated to the Ariki-Koike algebra $H$. We construct a certain subalgebra $S^0(\Lambda)$ of $S(\Lambda)$, and show that it is a standardly based algebra in the sense of Du and Rui.…

We use Khovanov-Lauda-Rouquier (KLR) algebras to categorify a crystal isomorphism between a fundamental crystal and the tensor product of a Kirillov-Reshetikhin crystal and another fundamental crystal, all in affine type. The nodes of the…

We analyze the W_N^l algebras according to their conjectured realization as the second Hamiltonian structure of the integrable hierarchy resulting from the interchange of x and t in the l^{th} flow of the sl(N) KdV hierarchy. The W_4^3…

The dual of a map is a fundamental construction on combinatorial maps, but many other combinatorial objects also possess their notion of duality. For instance, the Tamari lattice is isomorphic to its order dual, which induces an involution…

Let $\mathfrak{g}$ be a hyperbolic Kac-Moody algebra of rank 2, and set $\lambda=\Lambda_{1} - \Lambda_{2}$, where $\Lambda_{1}$, $\Lambda_{2}$ are the fundamental weights. Denote by $V(\lambda)$ the extremal weight module of extremal…

We develop a new approach for the computation of the Mullineux involution for the symmetric group and its Hecke algebra using the notion of crystal isomorphism and the Iwahori-Matsumoto involution for the affine Hecke algebra of type A. As…

We calculate the B-parameters for operators arising in theories of new physics beyond the standard model (BSM) using HYP-smeared improved staggered fermions on the MILC asqtad lattices with N_f = 2+1 flavors. We use three different lattice…

We introduce a logarithmic variant of the notion of $\delta$-rings, which we call $\delta_{\log}$-rings, and use it to define a logarithmic version of the prismatic site introduced by Bhatt and Scholze. In particular, this enables us to…

Let $L$ be a Lie algebra of Block type over $\C$ with basis $\{L_{\alpha,i}\,|\,\alpha,i\in\Z\}$ and brackets $[L_{\alpha,i},L_{\beta,j}]=(\beta(i+1)-\alpha(j+1))L_{\alpha+\beta,i+j}$. In this paper, we shall construct a formal distribution…

In this paper we give an arithmetical proof of the strong normalization of lambda-Sym-Prop of Berardi and Barbanera [1], which can be considered as a formulae-as-types translation of classical propositional logic in natural deduction style.…

Second-order ordinary linear differential equations appear ubiquitously across physics, describing the behavior of systems from the quantum world of atoms to the classical world of gravitating bodies. We present a unified symmetry-based…

We consider a rather general version of ladder operator $Z$ used by some authors in few recent papers, $[H_0,Z]=\lambda Z$ for some $\lambda\in\mathbb{R}$, $H_0=H_0^\dagger$, and we show that several interesting results can be deduced from…

We construct a model in which there exists a distributivity matrix of regular height $\lambda$ larger than $\mathfrak{h}$; both $\lambda = \mathfrak{c}$ and $\lambda < \mathfrak{c}$ are possible. A distributivity matrix is a refining system…