representation ↗ reference
4143 papers tagged with this keyword
Lectures on Integrable probability: Stochastic vertex models and symmetric functions
Published
• View Publication
• BIB
We consider a homogeneous stochastic higher spin six vertex model in a quadrant. For this model we derive concise integral representations for multi-point q-moments of the height function and for the q-correlation functions. At least in the case of the step initial condition, our formulas degenerate in appropriate limits to many known formulas of such type for integrable probabilistic systems in the (1+1)d KPZ universality class, including the stochastic six vertex model, ASEP, various q-TASEPs, and associated zero range processes.
Our arguments are largely based on properties of a family of symmetric rational functions (introduced in arXiv:1410.0976) that can be defined as partition functions of the higher spin six vertex model for suitable domains; they generalize classical Hall-Littlewood and Schur polynomials. A key role is played by Cauchy-like summation identities for these functions, which are obtained as a direct corollary of the Yang-Baxter equation for the higher spin six vertex model.
These are lecture notes for a course given by A.B. at the Ecole de Physique des Houches in July of 2015. All the results and proofs presented here generalize to the setting of the fully inhomogeneous higher spin six vertex model, see arXiv:1601.05770 for a detailed exposition of the inhomogeneous case.
Permutations and the combinatorics of gauge invariants for general N
Published
• View Publication
• BIB
Group algebras of permutations have proved highly useful in solving a number of problems in large N gauge theories. I review the use of permutations in classifying gauge invariants in one-matrix and multi-matrix models and computing their correlators. These methods are also applicable to tensor models and have revealed a link between tensor models and the counting of branched covers. The key idea is to parametrize $U(N)$ gauge invariants using permutations, subject to equivalences. Correlators are related to group theoretic properties of these equivalence classes. Fourier transformation on symmetric groups by means of representation theory offers nice bases of functions on these equivalence classes. This has applications in AdS/CFT in identifying CFT duals of giant gravitons and their perturbations. It has also lead to general results on quiver gauge theory correlators, uncovering links to two dimensional topological field theory and the combinatorics of trace monoids.
Symbolic-Numeric Tools for Analytic Combinatorics in Several Variables
Published
• View Publication
• BIB
Analytic combinatorics studies the asymptotic behaviour of sequences through the analytic properties of their generating functions. This article provides effective algorithms required for the study of analytic combinatorics in several variables, together with their complexity analyses. Given a multivariate rational function we show how to compute its smooth isolated critical points, with respect to a polynomial map encoding asymptotic behaviour, in complexity singly exponential in the degree of its denominator. We introduce a numerical Kronecker representation for solutions of polynomial systems with rational coefficients and show that it can be used to decide several properties (0 coordinate, equal coordinates, sign conditions for real solutions, and vanishing of a polynomial) in good bit complexity. Among the critical points, those that are minimal---a property governed by inequalities on the moduli of the coordinates---typically determine the dominant asymptotics of the diagonal coefficient sequence. When the Taylor expansion at the origin has all non-negative coefficients (known as the `combinatorial case') and under regularity conditions, we utilize this Kronecker representation to determine probabilistically the minimal critical points in complexity singly exponential in the degree of the denominator, with good control over the exponent in the bit complexity estimate. Generically in the combinatorial case, this allows one to automatically and rigorously determine asymptotics for the diagonal coefficient sequence. Examples obtained with a preliminary implementation show the wide applicability of this approach.
Representations of symmetric groups with non-trivial determinant
Published in Journal of Combinatorial Theory, Series A 150 (2017) 208-232
• View Publication
• BIB
We give a closed formula for the number of partitions $λ$ of $n$ such that the corresponding irreducible representation $V_λ$ of $S_n$ has non-trivial determinant. We determine how many of these partitions are self-conjugate and how many are hooks. This is achieved by characterizing the $2$-core towers of such partitions. We also obtain a formula for the number of partitions of $n$ such that the associated permutation representation of $S_n$ has non-trivial determinant.
Vertices of FFLV polytopes
Published
• View Publication
• BIB
FFLV polytopes describe monomial bases in irreducible representations of $\mathfrak{sl}_n$ and $\mathfrak{sp}_{2n}$. We study various sets of vertices of FFLV polytopes. First, we consider the special linear case. We prove the locality of the set of vertices with respect to the type $A$ Dynkin diagram. Then we describe all the permutation vertices and after that we describe all the simple vertices and prove that their number is equal to the large Schröder number. Finally, we derive analogous results for symplectic algebras.
Lattice structure of Weyl groups via representation theory of preprojective algebras
Published in Compositio Math. 154 (2018) 1269-1305
• View Publication
• BIB
This paper studies the combinatorics of lattice congruences of the weak order on a finite Weyl group $W$, using representation theory of the corresponding preprojective algebra $Π$. Natural bijections are constructed between important objects including join-irreducible congruences, join-irreducible (respectively, meet-irreducible) elements of $W$, indecomposable $τ$-rigid (respectively, $τ^-$-rigid) modules and layers of $Π$. The lattice-theoretically natural labeling of the Hasse quiver by join-irreducible elements of $W$ is shown to coincide with the algebraically natural labelling by layers of $Π$. We show that layers of $Π$ are nothing but bricks (or equivalently stones, or 2-spherical modules). The forcing order on join-irreducible elements of $W$ (arising from the study of lattice congruences) is described algebraically in terms of the doubleton extension order. We give a combinatorial description of indecomposable $τ^-$-rigid modules for type $A$ and $D$.
p-Saturations of Welter's Game and the Irreducible Representations of Symmetric Groups
Published
• View Publication
• BIB
We establish a relation between the Sprague-Grundy function $\text{sg}$ of a $p$-saturation of Welter's game and the degrees of the ordinary irreducible representations of symmetric groups. In this game, a position can be viewed as a partition $λ$. Let $ρ^λ$ be the irreducible representation of $\text{Sym}(|λ|)$ indexed by $λ$. For every prime $p$, we show the following results: (1) the degree of $ρ^λ$ is prime to $p$ if and only if $\text{sg}(λ) = |λ|$; (2) the restriction of $ρ^λ$ to $\text{Sym}(\text{sg}(λ))$ has an irreducible component with degree prime to $p$. Further, for every integer $p$ greater than 1, we obtain an explicit formula for $\text{sg}(λ)$.
Toric braids and $(m,n)$-parking functions
Published in Duke Math. J. 170, no. 18 (2021), 4123-4169
• View Publication
• BIB
The Dyck path algebra construction of Carlsson and Mellit from arXiv:1508.06239 is interpreted as a representation of "the positive part" of the group of toric braids. Then certain sums over $(m,n)$-parking functions are related to evaluations of this representation on some special braids. The compositional $(km,kn)$-shuffle conjecture of Bergeron, Garsia, Leven and Xin from arXiv:1404.4616 is then shown to be a corollary of this relation.
On Boolean intervals of finite groups
Published in Journal of Combinatorial Theory, Series A, 157 (2018), 49-69
• View Publication
• BIB
We prove a dual version of Øystein Ore's theorem on distributive intervals in the subgroup lattice of finite groups, having a nonzero dual Euler totient $\hat{\varphi}$. For any Boolean group-complemented interval, we observe that $\hat{\varphi} = \varphi \neq 0$ by the original Ore's theorem. We also discuss some applications in representation theory. We conjecture that $\hat{\varphi}$ is always nonzero for Boolean intervals. In order to investigate it, we prove that for any Boolean group-complemented interval $[H,G]$, the graded coset poset $\hat{P} = \hat{C}(H,G)$ is Cohen-Macaulay and the nontrivial reduced Betti number of the order complex $Δ(P)$ is $\hat{\varphi}$, so nonzero. We deduce that these results are true beyond the group-complemented case with $|G:H|<32$. One observes that they are also true when $H$ is a Borel subgroup of $G$.
Infinite rank spinor and oscillator representations
Published in J. Comb. Algebra 1 (2017), no. 2, 145-183
• View Publication
• BIB
We develop a functorial theory of spinor and oscillator representations parallel to the theory of Schur functors for general linear groups. This continues our work on developing orthogonal and symplectic analogues of Schur functors. As such, there are a few main points in common. We define a category of representations of what might be thought of as the infinite rank pin and metaplectic groups, and give three models of this category in terms of: multilinear algebra, diagram categories, and twisted Lie algebras. We also define specialization functors to the finite rank groups and calculate the derived functors.
Convergence criteria for FI$_\mathcal{W}$-algebras and polynomial statistics on maximal tori in type B/C
Published in Advances in Mathematics 310 (2017): 121-158
• View Publication
• BIB
A result of Lehrer describes a beautiful relationship between topological and combinatorial data on certain families of varieties with actions of finite reflection groups. His formula relates the cohomology of complex varieties to point counts on associated varieties over finite fields. Church, Ellenberg, and Farb use their representation stability results on the cohomology of flag manifolds, together with classical results on the cohomology rings, to prove asymptotic stability for "polynomial" statistics on associated varieties over finite fields. In this paper we investigate the underlying algebraic structure of these families' cohomology rings that makes the formulas convergent. We prove that asymptotic stability holds in general for subquotients of FI$_\mathcal{W}$-algebras finitely generated in degree at most one, a result that is in a sense sharp. As a consequence, we obtain convergence results for polynomial statistics on the set of maximal tori in $\mathrm{Sp}_{2n}(\overline{F_q})$ and $\mathrm{SO}_{2n+1}(\overline{F_q})$ that are invariant under the Frobenius morphism. Our results also give a new proof of the stability theorem for invariant maximal tori in $\mathrm{GL}_n(\overline{F_q})$ due to Church-Ellenberg-Farb.
Algebra of linear recurrence relations in arbitrary characteristic
The goal of this paper is to present an algebraic approach to the basic results of the theory of linear recurrence relations. This approach is based on the ideas from the theory of representations of one endomorphisms (a special case of which is well known as the theory of the Jordan normal form of matrices). The notion of the divided derivatives, an analogue of the divided powers, turned out to be crucial for proving the results in a natural way and in their natural generality. The final form of our methods was influenced by the the umbral calculus of G.-C. Rota.
Polynomial splitting measures and cohomology of the pure braid group
Published in Arnold Mathematical Journal 3, no. 2, 219--249 (2017)
• View Publication
• BIB
We study for each $n$ a one-parameter family of complex-valued measures on the symmetric group $S_n$, which interpolate the probability of a monic, degree $n$, square-free polynomial in $\mathbb{F}_q[x]$ having a given factorization type. For a fixed factorization type, indexed by a partition $λ$ of $n$, the measure is known to be a Laurent polynomial. We express the coefficients of this polynomial in terms of characters associated to $S_n$-subrepresentations of the cohomology of the pure braid group $H^{\bullet}(P_n, \mathbb{Q})$. We deduce that the splitting measures for all parameter values $z= -\frac{1}{m}$ (resp. $z= \frac{1}{m}$), after rescaling, are characters of $S_n$-representations (resp. virtual $S_n$-representations.)
The tropicalization of the moduli space of curves II: Topology and applications
We study the topology of the tropical moduli space parametrizing stable tropical curves of genus g with n marked points in which the bounded edges have total length 1, and prove that it is highly connected. Using the identification of this space with the dual complex of the boundary in the moduli space of stable algebraic curves, we give a simple expression for the top weight cohomology of M_{1,n} as a representation of the symmetric group and describe an explicit dual basis in homology consisting of abelian cycles for the pure mapping class group.
Fluctuations of particle systems determined by Schur generating functions
Published in Advances in Mathematics, 338 (2018), 702-781
• View Publication
• BIB
We develop a new toolbox for the analysis of the global behavior of stochastic discrete particle systems. We introduce and study the notion of the Schur generating function of a random discrete configuration. Our main result provides a Central Limit Theorem (CLT) for such a configuration given certain conditions on the Schur generating function. As applications of this approach, we prove CLT's for several probabilistic models coming from asymptotic representation theory and statistical physics, including random lozenge and domino tilings, non-intersecting random walks, decompositions of tensor products of representations of unitary groups.
On local structures of cubicity 2 graphs
Published
• View Publication
• BIB
A 2-stab unit interval graph (2SUIG) is an axes-parallel unit square intersection graph where the unit squares intersect either of the two fixed lines parallel to the $X$-axis, distance $1 + ε$ ($0 < ε< 1$) apart. This family of graphs allow us to study local structures of unit square intersection graphs, that is, graphs with cubicity 2. The complexity of determining whether a tree has cubicity 2 is unknown while the graph recognition problem for unit square intersection graph is known to be NP-hard. We present a polynomial time algorithm for recognizing trees that admit a 2SUIG representation.
Complete Homogeneous Varieties via Representation Theory
Given an algebraic variety $X\subset\mathbb{P}^N$ with stabilizer $H$, the quotient $PGL_{N+1}/H$ can be interpreted a parameter space for all $PGL_{N+1}$-translates of $X$. We define $X$ to be a $\textit{homogeneous variety}$ if $H$ acts on it transitively, and satisfies a few other properties, such as $H$ being semisimple. Some examples of homogeneous varieties are quadric hypersurfaces, rational normal curves, and Veronese and Segre embeddings. In this case, we construct new compactifications of the parameter spaces $PGL_{N+1}/H$, obtained compactifying $PGL_{N+1}$ to the classically known space of \textit{complete collineations}, and taking the G.I.T. quotient by $H$, and we will call the result space of \textit{complete homogeneous varieties}; this extends the same construction for quadric hypersurfaces in [36]. We establish a few properties of these spaces: in particular, we find a formula for the volume of divisors that depends only on the dimension of $H$-invariants in irreducible representations of $SL_{N+1}$. We then develop some tools in invariant theory, combinatorics and spline approximation to calculate such invariants, and carry out the entire calculations for the case of $SL_2$-invariants in irreducible representations of $SL_4$, that gives us explicit values for the volume function in the case of $X$ being a twisted cubic. Afterwards, we focus our attention on the case of twisted cubics, giving a more explicit description of these compactifications, including the relation with the previously known moduli spaces. In the end, we make some conjectures about how the volume function might be used in solving some enumerative problems.
Geometric representation of the infimax S-adic family
Published
• View Publication
• BIB
We construct geometric realizations for the infimax family of substitutions by generalizing the Rauzy-Canterini-Siegel method for a single substitution to the S-adic case. The composition of each countably infinite subcollection of substitutions from the family has an asymptotic fixed sequence whose shift orbit closure is an infimax minimal set $Δ^+$. The subcollection of substitutions also generates an infinite Bratteli-Vershik diagram with prefix-suffix labeled edges. Paths in the diagram give the Dumont-Thomas expansion of sequences in $Δ^+$ which in turn gives a projection onto the asymptotic stable direction of the infinite product of the Abelianization matrices. The projections of all sequences from $Δ^+$ is the generalized Rauzy fractal which has subpieces corresponding to the images of symbolic cylinder sets. The intervals containing these subpieces are shown to be disjoint except at endpoints, and thus the induced map derived from the symbolic shift translates them. Therefore the process yields an Interval Translation Map, and the Rauzy fractal is proved to be its attractor.
All $SL_2$-tilings come from infinite triangulations
Published in Advances in Mathematics 315 (2017), 194-245
• View Publication
• BIB
An $SL_2$-tiling is a bi-infinite matrix of positive integers such that each adjacent 2 by 2 submatrix has determinant 1. Such tilings are infinite analogues of Conway-Coxeter friezes, and they have strong links to cluster algebras, combinatorics, mathematical physics, and representation theory.
We show that, by means of so-called Conway-Coxeter counting, every $SL_2$-tiling arises from a triangulation of the disc with two, three or four accumulation points.
This improves earlier results which only discovered $SL_2$-tilings with infinitely many entries equal to 1. Indeed, our methods show that there are large classes of tilings with only finitely many entries equal to 1, including a class of tilings with no 1's at all. In the latter case, we show that the minimal entry of a tiling is unique.
New identities for binary Krawtchouk polynomials, binomial coefficients and Catalan numbers
We obtain new combinatorial identities for integral values of binary Krawtchouk polynomials $K^{2m}_p(x)$, $0\le p\le 2m$, by computing the characters of the $p$-exterior representations on certain elements of order 2 of $\mathrm{SO}(2m)$. From this identities, we deduce several new relations for binomial coefficients and Catalan numbers.