Showing 1–50 of 67 results for author: Ayyer, A

Multispecies inhomogeneous $t$-PushTASEP from antisymmetric fusion

Authors: Arvind Ayyer, Atsuo Kuniba

Abstract: We investigate the recently introduced inhomogeneous $n$-species $t$-PushTASEP, a long-range stochastic process on a periodic lattice. A Baxter-type formula is established, expressing the Markov matrix as an alternating sum of commuting transfer matrices over all the fundamental representations of $U_t(\widehat{sl}_{n+1})$. This superposition acts as an inclusion-exclusion principle, selectively e… ▽ More We investigate the recently introduced inhomogeneous $n$-species $t$-PushTASEP, a long-range stochastic process on a periodic lattice. A Baxter-type formula is established, expressing the Markov matrix as an alternating sum of commuting transfer matrices over all the fundamental representations of $U_t(\widehat{sl}_{n+1})$. This superposition acts as an inclusion-exclusion principle, selectively extracting the sequential particle transitions characteristic of the PushTASEP, while canceling forbidden channels. The homogeneous specialization connects the PushTASEP to ASEP, showing that the two models share eigenstates and a common integrability structure. △ Less

Submitted 22 March, 2025; v1 submitted 2 March, 2025; originally announced March 2025.

Comments: 22 pages, 4 figures, minor improvements

MSC Class: 60J27; 82B20; 82B23; 82B44; 81R50; 17B37

Further results for classical and universal characters twisted by roots of unity

Authors: Arvind Ayyer, Nishu Kumari

Abstract: We revisit factorizations of classical characters under various specializations, some old and some new. We first show that all characters of classical families of groups twisted by odd powers of an even primitive root of unity factorize into products of characters of smaller groups. Motivated by conjectures of Wagh and Prasad (Manuscr. Math. 2020), we then observe that certain specializations of S… ▽ More We revisit factorizations of classical characters under various specializations, some old and some new. We first show that all characters of classical families of groups twisted by odd powers of an even primitive root of unity factorize into products of characters of smaller groups. Motivated by conjectures of Wagh and Prasad (Manuscr. Math. 2020), we then observe that certain specializations of Schur polynomials factor into products of two characters of other groups. We next show, via a detour through hook Schur polynomials, that certain Schur polynomials indexed by staircase shapes factorize into linear pieces. Lastly, we consider classical and universal characters specialized at roots of unity. One of our results, in parallel with Schur polynomials, is that universal characters take values only in $\{0, \pm 1, \pm 2\}$ at roots of unity. △ Less

Submitted 31 December, 2024; originally announced January 2025.

Comments: 26 pages, dedicated to Vyjyanthi Chari on the occasion of her 65th birthday

MSC Class: 05A15; 05E05; 05E10; 20G05; 20G20

How large is the character degree sum compared to the character table sum for a finite group?

Authors: Arvind Ayyer, Hiranya Kishore Dey, Digjoy Paul

Abstract: In 1961, Solomon gave upper and lower bounds for the sum of all the entries in the character table of a finite group in terms of elementary properties of the group. In a different direction, we consider the ratio of the character table sum to the sum of the entries in the first column, also known as the character degree sum, in this work. First, we propose that this ratio is at most two for many n… ▽ More In 1961, Solomon gave upper and lower bounds for the sum of all the entries in the character table of a finite group in terms of elementary properties of the group. In a different direction, we consider the ratio of the character table sum to the sum of the entries in the first column, also known as the character degree sum, in this work. First, we propose that this ratio is at most two for many natural groups. Secondly, we extend a conjecture of Fields to postulate that this ratio is at least one with equality if and only if the group is abelian. We establish the validity of this property and conjecture for all finite irreducible Coxeter groups. In addition, we prove the conjecture for generalized symmetric groups. The main tool we use is that the sum of a column in the character table of an irreducible Coxeter group (resp. generalized symmetric group) is given by the number of square roots (resp. absolute square roots) of the corresponding conjugacy class representative. As a byproduct of our results, we show that the asymptotics of character table sums is the same as the number of involutions in symmetric, hyperoctahedral and demihyperoctahedral groups. We also derive explicit generating functions for the character table sums for these latter groups as infinite products of continued fractions. In the same spirit, we prove similar generating function formulas for the number of square roots and absolute square roots in $n$ for the generalized symmetric groups $G(r,1,n)$. △ Less

Submitted 10 June, 2024; originally announced June 2024.

Comments: 28 pages, 3 appendices

MSC Class: 20C15; 05A15; 05A16; 05A17; 05E10

The inhomogeneous $t$-PushTASEP and Macdonald polynomials

Authors: Arvind Ayyer, James Martin, Lauren Williams

Abstract: We study a multispecies $t$-PushTASEP system on a finite ring of $n$ sites with site-dependent rates $x_1,\dots,x_n$. Let $λ=(λ_1,\dots,λ_n)$ be a partition whose parts represent the species of the $n$ particles on the ring. We show that for each composition $η$ obtained by permuting the parts of $λ$, the stationary probability of being in state $η$ is proportional to the ASEP polynomial… ▽ More We study a multispecies $t$-PushTASEP system on a finite ring of $n$ sites with site-dependent rates $x_1,\dots,x_n$. Let $λ=(λ_1,\dots,λ_n)$ be a partition whose parts represent the species of the $n$ particles on the ring. We show that for each composition $η$ obtained by permuting the parts of $λ$, the stationary probability of being in state $η$ is proportional to the ASEP polynomial $F_η(x_1,\dots,x_n; q,t)$ at $q=1$; the normalizing constant (or partition function) is the Macdonald polynomial $P_λ(x_1,\dots,x_n;q,t)$ at $q=1$. Our approach involves new relations between the families of ASEP polynomials and of non-symmetric Macdonald polynomials at $q=1$. We also use multiline diagrams, showing that a single jump of the PushTASEP system is closely related to the operation of moving from one line to the next in a multiline diagram. We derive symmetry properties for the system under permutation of its jump rates, as well as a formula for the current of a single-species system. △ Less

Submitted 15 March, 2024; originally announced March 2024.

Comments: 29 pages, 4 figures, comments welcome

MSC Class: 05A10; 05A19; 05A05; 05E05; 05E10; 33D52; 60J10; 60K35

An area-bounce exchanging bijection on a large subset of Dyck paths

Authors: Arvind Ayyer, Naren Sundaravaradan

Abstract: It is a longstanding open problem to find a bijection exchanging area and bounce statistics on Dyck paths. We settle this problem for an exponentially large subset of Dyck paths via an explicit bijection. Moreover, we prove that this bijection is natural by showing that it maps what we call bounce-minimal paths to area-minimal paths. As a consequence of the proof ideas, we show combinatorially tha… ▽ More It is a longstanding open problem to find a bijection exchanging area and bounce statistics on Dyck paths. We settle this problem for an exponentially large subset of Dyck paths via an explicit bijection. Moreover, we prove that this bijection is natural by showing that it maps what we call bounce-minimal paths to area-minimal paths. As a consequence of the proof ideas, we show combinatorially that a path with area $a$ and bounce $b$ exists if and only if a path with area $b$ and bounce $a$ exists. We finally show that the number of distinct values of the sum of the area and bounce statistics is the number of nonzero coefficients in Johnson's $q$-Bell polynomial. △ Less

Submitted 21 December, 2024; v1 submitted 26 January, 2024; originally announced January 2024.

Comments: 24 pages, many figures, added references, fixed minor issues

MSC Class: 05A19; 05A15; 05A05

The inhomogeneous multispecies PushTASEP: Dynamics and symmetry

Authors: Arvind Ayyer, James B. Martin

Abstract: We introduce and study a natural multispecies variant of the inhomogeneous PushTASEP with site-dependent rates on the finite ring. We show that the stationary distribution of this process is proportional to the ASEP polynomials at $q = 1$ and $t = 0$. This is done by constructing a multiline process which projects to the multispecies PushTASEP, and identifying its stationary distribution using tim… ▽ More We introduce and study a natural multispecies variant of the inhomogeneous PushTASEP with site-dependent rates on the finite ring. We show that the stationary distribution of this process is proportional to the ASEP polynomials at $q = 1$ and $t = 0$. This is done by constructing a multiline process which projects to the multispecies PushTASEP, and identifying its stationary distribution using time-reversal arguments. We also study symmetry properties of the process under interchange of the rates associated to the sites. These results hold not just for events depending on the configuration at a single time in equilibrium, but also for systems out of equilibrium and for events depending on the path of the process over time. Lastly, we give explicit formulas for nearest-neighbour two-point correlations in terms of Schur functions. △ Less

Submitted 2 September, 2024; v1 submitted 15 October, 2023; originally announced October 2023.

Comments: 31 pages, 7 figures, minor improvements

MSC Class: 60J10; 82B20; 82B23; 82B44; 33D52; 05A10

An exactly solvable asymmetric $K$-exclusion process

Authors: Arvind Ayyer, Samarth Misra

Abstract: We study an interacting particle process on a finite ring with $L$ sites with at most $K$ particles per site, in which particles hop to nearest neighbors with rates given in terms of $t$-deformed integers and asymmetry parameter $q$, where $t>0$ and $q \geq 0$ are parameters. This model, which we call the $(q, t)$~$K$-ASEP, reduces to the usual ASEP on the ring when $K = 1$ and to a model studied… ▽ More We study an interacting particle process on a finite ring with $L$ sites with at most $K$ particles per site, in which particles hop to nearest neighbors with rates given in terms of $t$-deformed integers and asymmetry parameter $q$, where $t>0$ and $q \geq 0$ are parameters. This model, which we call the $(q, t)$~$K$-ASEP, reduces to the usual ASEP on the ring when $K = 1$ and to a model studied by Schütz and Sandow (\emph{Phys. Rev. E}, 1994) when $t = q = 1$. This is a special case of the misanthrope process and as a consequence, the steady state does not depend on $q$ and is of product form, generalizing the same phenomena for the ASEP. What is interesting here is the steady state weights are given by explicit formulas involving $t$-binomial coefficients, and are palindromic polynomials in $t$. Interestingly, although the $(q, t)$~$K$-ASEP does not satisfy particle-hole symmetry, its steady state does. We analyze the density and calculate the most probable number of particles at a site in the steady state in various regimes of $t$. Lastly, we construct a two-dimensional exclusion process on a discrete cylinder with height $K$ and circumference $L$ which projects to the $(q, t)$~$K$-ASEP and whose steady state distribution is also of product form. We believe this model will serve as an illustrative example in constructing two-dimensional analogues of misanthrope processes. Simulations are attached as ancillary files. △ Less

Submitted 12 April, 2024; v1 submitted 5 October, 2023; originally announced October 2023.

Comments: 35 pages, 4 figures, simulations are also available at http://www.math.iisc.ac.in/~arvind/KASEP/, signification corrections, many new references

MSC Class: 82C23; 82C22; 60J10; 05A10

Cores of partitions in rectangles

Authors: Arvind Ayyer, Shubham Sinha

Abstract: For a positive integer $t \geq 2$, the $t$-core of a partition plays an important role in modular representation theory and combinatorics. We initiate the study of $t$-cores of partitions contained in an $r \times s$ rectangle. Our main results are as follows. We first give a simple formula for the number of partitions in the rectangle that are themselves $t$-cores and compute its asymptotics for… ▽ More For a positive integer $t \geq 2$, the $t$-core of a partition plays an important role in modular representation theory and combinatorics. We initiate the study of $t$-cores of partitions contained in an $r \times s$ rectangle. Our main results are as follows. We first give a simple formula for the number of partitions in the rectangle that are themselves $t$-cores and compute its asymptotics for large $r,s$. We then prove that the number of partitions inside the rectangle whose $t$-cores are a fixed partition $ρ$ is given by a product of binomial coefficients. Finally, we use this formula to compute the distribution of the $t$-core of a uniformly random partition inside the rectangle extending our previous work on all partitions of a fixed integer $n$ (Ann. Appl. Prob. 2023). In particular, we show that in the limit as $r,s \to \infty$ maintaining a fixed aspect ratio, we again obtain a Gamma distribution with the same shape parameter $α= (t-1)/2$ and rate parameter $β$ that depends on the aspect ratio. △ Less

Submitted 28 April, 2024; v1 submitted 15 November, 2022; originally announced November 2022.

Comments: 16 pages, 1 figure, minor improvements, final version

MSC Class: 05A15; 05A16; 05A17; 60C05

Journal ref: Electronic Journal of Combinatorics, Volume 31 no. 1, (2024) #P1.47, 14pp

Modified Macdonald polynomials and the multispecies zero range process: II

Authors: Arvind Ayyer, Olya Mandelshtam, James B. Martin

Abstract: In a previous part of this work, we gave a new tableau formula for the modified Macdonald polynomials $\widetilde{H}_λ(X;q,t)$, using a weight on tableaux involving the \emph{queue inversion} (quinv) statistic. In this paper we explicitly describe a connection between these combinatorial objects and a class of multispecies totally asymmetric zero range processes (mTAZRP) on a ring, with site-depen… ▽ More In a previous part of this work, we gave a new tableau formula for the modified Macdonald polynomials $\widetilde{H}_λ(X;q,t)$, using a weight on tableaux involving the \emph{queue inversion} (quinv) statistic. In this paper we explicitly describe a connection between these combinatorial objects and a class of multispecies totally asymmetric zero range processes (mTAZRP) on a ring, with site-dependent jump-rates. We construct a Markov chain on the space of tableaux of a given shape, which projects to the mTAZRP, and whose stationary distribution can be expressed in terms of quinv-weighted tableaux. We deduce that the mTAZRP has a partition function given by the modified Macdonald polynomial $\widetilde{H}_λ(X;1,t)$. The novelty here in comparison to previous works relating the stationary distribution of integrable systems to symmetric functions is that the variables $x_1,\ldots,x_n$ are explicitly present as hopping rates in the mTAZRP. We also obtain interesting symmetry properties of the mTAZRP probabilities under permutation of the jump-rates between the sites. Finally, we explore a number of interesting special cases of the mTAZRP, and give explicit formulas for particle densities and correlations of the process purely in terms of modified Macdonald polynomials. △ Less

Submitted 23 April, 2025; v1 submitted 20 September, 2022; originally announced September 2022.

Comments: 47 pages, 7 figures, improved exposition based on referee reports, final version

MSC Class: 05E05; 60K35

Journal ref: Mathematische Zeitschrift, Vol 308 no. 31, (2024) 31, 45pp

The monopole-dimer model on Cartesian products of plane graphs

Authors: Anita Arora, Arvind Ayyer

Abstract: The monopole-dimer model is a signed variant of the monomer-dimer model which has determinantal structure. We extend the monopole-dimer model for planar graphs (Math. Phys. Anal. Geom., 2015) to Cartesian products thereof and show that the partition function of this model can be expressed as a determinant of a generalised signed adjacency matrix. We then show that the partition function is indepen… ▽ More The monopole-dimer model is a signed variant of the monomer-dimer model which has determinantal structure. We extend the monopole-dimer model for planar graphs (Math. Phys. Anal. Geom., 2015) to Cartesian products thereof and show that the partition function of this model can be expressed as a determinant of a generalised signed adjacency matrix. We then show that the partition function is independent of the orientations of the planar graphs so long as the orientations are Pfaffian. When these planar graphs are bipartite, we show that the computation of the partition function becomes especially simple. We then give an explicit product formula for the partition function of three-dimensional grid graphs a la Kasteleyn and Temperley--Fischer, which turns out to be fourth power of a polynomial when all grid lengths are even. Finally, we generalise this product formula to $d$ dimensions, again obtaining an explicit product formula. We conclude with a discussion on asymptotic formulas for the free energy and monopole densities. △ Less

Submitted 28 April, 2024; v1 submitted 24 May, 2022; originally announced May 2022.

Comments: 29 pages, 11 figures, minor corrections, final version

MSC Class: 82B20; 82B23; 05A15; 05C70

Journal ref: Combinatorial Theory, Volume 3 no. 3, (2023), Article #3, 29pp

Combinatorial proofs of multivariate Cayley--Hamilton theorems

Authors: Arvind Ayyer, Naren Sundaravaradan

Abstract: We give combinatorial proofs of two multivariate Cayley--Hamilton type theorems. The first one is due to Phillips (Amer. J. Math., 1919) involving $2k$ matrices, of which $k$ commute pairwise. The second one regards the mixed discriminant, a matrix function which has generated a lot of interest in recent times. Recently, the Cayley--Hamilton theorem for mixed discriminants was proved by Bapat and… ▽ More We give combinatorial proofs of two multivariate Cayley--Hamilton type theorems. The first one is due to Phillips (Amer. J. Math., 1919) involving $2k$ matrices, of which $k$ commute pairwise. The second one regards the mixed discriminant, a matrix function which has generated a lot of interest in recent times. Recently, the Cayley--Hamilton theorem for mixed discriminants was proved by Bapat and Roy (Comb. Math. and Comb. Comp., 2017). We prove a Phillips-type generalization of the Bapat--Roy theorem involving $2nk$ matrices, where $n$ is the size of the matrices, among which $nk$ commute pairwise. Our proofs generalize the univariate proof of Straubing (Disc. Math., 1983) for the original Cayley--Hamilton theorem in a nontrivial way, and involve decorated permutations and decorated paths. △ Less

Submitted 3 January, 2023; v1 submitted 8 October, 2021; originally announced October 2021.

Comments: 20 pages, 9 figures, minor corrections, final version

MSC Class: 05A19; 05A05; 05C20; 15A15

Journal ref: Linear Algebra and its Applications Volume 661, (2023), Pages 247--269

Factorization of classical characters twisted by roots of unity

Authors: Arvind Ayyer, Nishu Kumari

Abstract: For a fixed integer $t \geq 2$, we consider the irreducible characters of representations of the classical groups of types A, B, C and D, namely $\text{GL}_{tn}, \text{SO}_{2tn+1}, \text{Sp}_{2tn}$ and $\text{O}_{2tn}$, evaluated at elements $ω^k x_i$ for $0 \leq k \leq t-1$ and $1 \leq i \leq n$, where $ω$ is a primitive $t$'th root of unity. The case of $\text{GL}_{tn}$ was considered by D. J. L… ▽ More For a fixed integer $t \geq 2$, we consider the irreducible characters of representations of the classical groups of types A, B, C and D, namely $\text{GL}_{tn}, \text{SO}_{2tn+1}, \text{Sp}_{2tn}$ and $\text{O}_{2tn}$, evaluated at elements $ω^k x_i$ for $0 \leq k \leq t-1$ and $1 \leq i \leq n$, where $ω$ is a primitive $t$'th root of unity. The case of $\text{GL}_{tn}$ was considered by D. J. Littlewood (AMS press, 1950) and independently by D. Prasad (Israel J. Math., 2016). In this article, we give a uniform approach for all cases. In this article, we give a uniform approach for all cases. We also look at $\text{GL}_{tn+1}$ where we specialize the elements as before and set the last variable to $1$. In each case, we characterize partitions for which the character value is nonzero in terms of what we call $z$-asymmetric partitions, where $z$ is an integer which depends on the group. Moreover, if the character value is nonzero, we prove that it factorizes into characters of smaller classical groups. The proof uses Cauchy-type determinant formulas for these characters and involves a careful study of the beta sets of partitions. We also give product formulas for general $z$-asymmetric partitions and $z$-asymmetric $t$-cores. Lastly, we show that there are infinitely many $z$-asymmetric $t$-cores for $t \geq z+2$. △ Less

Submitted 29 July, 2022; v1 submitted 23 September, 2021; originally announced September 2021.

Comments: 40 pages, 1 figure, a few more improvements, added more references, final version

MSC Class: 05A15; 05E05; 05E10; 20G05; 20G20

Journal ref: Journal of Algebra, Volume 609 (2022), 437-483

GOE fluctuations for the maximum of the top path in alternating sign matrices

Authors: Arvind Ayyer, Sunil Chhita, Kurt Johansson

Abstract: The six-vertex model is an important toy-model in statistical mechanics for two-dimensional ice with a natural parameter $Δ$. When $Δ= 0$, the so-called free-fermion point, the model is in natural correspondence with domino tilings of the Aztec diamond. Although this model is integrable for all $Δ$, there has been very little progress in understanding its statistics in the scaling limit for other… ▽ More The six-vertex model is an important toy-model in statistical mechanics for two-dimensional ice with a natural parameter $Δ$. When $Δ= 0$, the so-called free-fermion point, the model is in natural correspondence with domino tilings of the Aztec diamond. Although this model is integrable for all $Δ$, there has been very little progress in understanding its statistics in the scaling limit for other values. In this work, we focus on the six-vertex model with domain wall boundary conditions at $Δ= 1/2$, where it corresponds to alternating sign matrices (ASMs). We consider the level lines in a height function representation of ASMs. We show that the maximum of the topmost level line for a uniformly random ASMs has the GOE Tracy--Widom distribution after appropriate rescaling. A key ingredient in our proof is Zeilberger's proof of the ASM conjecture. As far as we know, this is the first edge fluctuation result away from the tangency points for the domain-wall six-vertex model when we are not in the free fermion case. △ Less

Submitted 7 July, 2022; v1 submitted 6 September, 2021; originally announced September 2021.

Comments: 45 pages, 9 figures; Revised Version

Toppling on permutations with an extra chip

Authors: Arvind Ayyer, Beáta Bényi

Abstract: The study of toppling on permutations with an extra labeled chip was initiated by the first author with D. Hathcock and P. Tetali (arXiv:2010.11236), where the extra chip was added in the middle. We extend this to all possible locations $p$ as well as values $r$ of the extra chip and give a complete characterization of permutations which topple to the identity. Further, we classify all permutation… ▽ More The study of toppling on permutations with an extra labeled chip was initiated by the first author with D. Hathcock and P. Tetali (arXiv:2010.11236), where the extra chip was added in the middle. We extend this to all possible locations $p$ as well as values $r$ of the extra chip and give a complete characterization of permutations which topple to the identity. Further, we classify all permutations which are outcomes of the toppling process in this generality, which we call resultant permutations. Resultant permutations turn out to be certain decomposable permutations. The number of configurations toppling to a given resultant permutation is shown to depend purely on the number of left-to-right maxima (or records) of the permutation to the left of $n-p$ and the number of right-to-left minima to the right of $n-p$. The number of permutations toppling to a given resultant permutation (identity or otherwise) is shown to be the binomial transform of a poly-Bernoulli number of type B. △ Less

Submitted 6 November, 2021; v1 submitted 28 April, 2021; originally announced April 2021.

Comments: 27 pages, 1 figure, 7 tables, minor improvements, final version

MSC Class: 05A15; 05A10; 05A19

Journal ref: Electronic Journal of Combinatorics, Vol 28 no. 4, (2021), P4.18

Combinatorics of a disordered two-species ASEP on a torus

Authors: Arvind Ayyer, Philippe Nadeau

Abstract: We define a new disordered asymmetric simple exclusion process (ASEP) with two species of particles, first-class particles labelled $\bullet$ and second-class particles labelled ${\scriptstyle \Box}$, on a two-dimensional toroidal lattice. The dynamics is controlled by particles labelled $\bullet$, which only move horizontally, with forward and backward hopping rates $p_i$ and $q_i$ respectively i… ▽ More We define a new disordered asymmetric simple exclusion process (ASEP) with two species of particles, first-class particles labelled $\bullet$ and second-class particles labelled ${\scriptstyle \Box}$, on a two-dimensional toroidal lattice. The dynamics is controlled by particles labelled $\bullet$, which only move horizontally, with forward and backward hopping rates $p_i$ and $q_i$ respectively if the $\bullet$ is on row $i$. The motion of particles labelled ${\scriptstyle \Box}$ depends on the relative position of these with respect to $\bullet$'s, and can be both horizontal and vertical. We show that the stationary weight of any configuration is proportional to a monomial in the $p_i$'s and $q_i$'s. Our process projects to the disordered ASEP on a ring, and so explains combinatorially the stationary distribution of the latter first derived by Evans (Europhysics Letters, 1996). We compute the partition function, as well as densities and currents of $\bullet$'s and ${\scriptstyle \Box}$'s in the stationary state. We observe a novel mechanism we call the Scott Russell phenomenon: the current of ${\scriptstyle \Box}$'s in the vertical direction is the same as that of $\bullet$'s in the horizontal direction. △ Less

Submitted 29 January, 2022; v1 submitted 6 April, 2021; originally announced April 2021.

Comments: 29 pages, 12 figures, minor improvements in presentation, final version

MSC Class: 05A15; 60C05; 60K35; 05A18

Journal ref: European Journal of Combinatorics, Volume 103 (2022) 103511, 20pp

Correlations in totally symmetric self-complementary plane partitions

Authors: Arvind Ayyer, Sunil Chhita

Abstract: Totally symmetric self-complementary plane partitions (TSSCPPs) are boxed plane partitions with the maximum possible symmetry. We use the well-known representation of TSSCPPs as a dimer model on a honeycomb graph enclosed in one-twelfth of a hexagon with free boundary to express them as perfect matchings of a family of non-bipartite planar graphs. Our main result is that the edges of the TSSCPPs f… ▽ More Totally symmetric self-complementary plane partitions (TSSCPPs) are boxed plane partitions with the maximum possible symmetry. We use the well-known representation of TSSCPPs as a dimer model on a honeycomb graph enclosed in one-twelfth of a hexagon with free boundary to express them as perfect matchings of a family of non-bipartite planar graphs. Our main result is that the edges of the TSSCPPs form a Pfaffian point process, for which we give explicit formulas for the inverse Kasteleyn matrix. Preliminary analysis of these correlations are then used to give a precise conjecture for the limit shape of TSSCPPs in the scaling limit. △ Less

Submitted 25 October, 2021; v1 submitted 23 December, 2020; originally announced December 2020.

Comments: 38 pages, 14 figures, minor corrections, final version

MSC Class: 82B20; 60K35; 05C70; 05A17

Journal ref: Transactions of the London Mathematical Society, Vol 8 no. 1, 493--526, 2021

Modified Macdonald polynomials and the multispecies zero range process: I

Authors: Arvind Ayyer, Olya Mandelshtam, James B. Martin

Abstract: In this paper we prove a new combinatorial formula for the modified Macdonald polynomials $\widetilde{H}_λ(X;q,t)$, motivated by connections to the theory of interacting particle systems from statistical mechanics. The formula involves a new statistic called queue inversions on fillings of tableaux. This statistic is closely related to the multiline queues which were recently used to give a formul… ▽ More In this paper we prove a new combinatorial formula for the modified Macdonald polynomials $\widetilde{H}_λ(X;q,t)$, motivated by connections to the theory of interacting particle systems from statistical mechanics. The formula involves a new statistic called queue inversions on fillings of tableaux. This statistic is closely related to the multiline queues which were recently used to give a formula for the Macdonald polynomials $P_λ(X;q,t)$. In the case $q=1$ and $X=(1,1,\dots,1)$, that formula had also been shown to compute stationary probabilities for a particle system known as the multispecies ASEP on a ring, and it is natural to ask whether a similar connection exists between the modified Macdonald polynomials and a suitable statistical mechanics model. In a sequel to this work, we demonstrate such a connection, showing that the stationary probabilities of the multispecies totally asymmetric zero-range process (mTAZRP) on a ring can be computed using tableaux formulas with the queue inversion statistic. This connection extends to arbitrary $X=(x_1,\dots, x_n)$; the $x_i$ play the role of site-dependent jump rates for the mTAZRP. △ Less

Submitted 9 August, 2021; v1 submitted 11 November, 2020; originally announced November 2020.

Comments: 46 pages, 6 figures

MSC Class: Primary: 05E05; Secondary: 05A10; 05A19; 05A05; 33D52

Journal ref: Algebraic Combinatorics, Volume 6, issue 1 (2023), p. 243-284

Toppleable Permutations, Excedances and Acyclic Orientations

Authors: Arvind Ayyer, Daniel Hathcock, Prasad Tetali

Abstract: Recall that an excedance of a permutation $π$ is any position $i$ such that $π_i > i$. Inspired by the work of Hopkins, McConville and Propp (Elec. J. Comb., 2017) on sorting using toppling, we say that a permutation is toppleable if it gets sorted by a certain sequence of toppling moves. One of our main results is that the number of toppleable permutations on $n$ letters is the same as those for… ▽ More Recall that an excedance of a permutation $π$ is any position $i$ such that $π_i > i$. Inspired by the work of Hopkins, McConville and Propp (Elec. J. Comb., 2017) on sorting using toppling, we say that a permutation is toppleable if it gets sorted by a certain sequence of toppling moves. One of our main results is that the number of toppleable permutations on $n$ letters is the same as those for which excedances happen exactly at $\{1,\dots, \lfloor (n-1)/2 \rfloor\}$. Additionally, we show that the above is also the number of acyclic orientations with unique sink (AUSOs) of the complete bipartite graph $K_{\lceil n/2 \rceil, \lfloor n/2 \rfloor + 1}$. We also give a formula for the number of AUSOs of complete multipartite graphs. We conclude with observations on an extremal question of Cameron et al. concerning maximizers of (the number of) acyclic orientations, given a prescribed number of vertices and edges for the graph. △ Less

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

Comments: 33 pages, 2 figures, error in the proof of Prop. 2.1 fixed, minor improvements, references added

MSC Class: 05A19 (Primary) 05A05; 05C30 (Secondary)

Stationary States of the One-dimensional Facilitated Asymmetric Exclusion Process

Authors: A. Ayyer, S. Goldstein, J. L. Lebowitz, E. R. Speer

Abstract: We describe the translation invariant stationary states (TIS) of the one-dimensional facilitated asymmetric exclusion process in continuous time, in which a particle at site $i\in\mathbb{Z}$ jumps to site $i+1$ (respectively $i-1$) with rate $p$ (resp. $1-p$), provided that site $i-1$ (resp. $i+1$) is occupied and site $i+1$ (resp. $i-1$) is empty. All TIS states with density $ρ\le1/2$ are support… ▽ More We describe the translation invariant stationary states (TIS) of the one-dimensional facilitated asymmetric exclusion process in continuous time, in which a particle at site $i\in\mathbb{Z}$ jumps to site $i+1$ (respectively $i-1$) with rate $p$ (resp. $1-p$), provided that site $i-1$ (resp. $i+1$) is occupied and site $i+1$ (resp. $i-1$) is empty. All TIS states with density $ρ\le1/2$ are supported on trapped configurations in which no two adjacent sites are occupied; we prove that if in this case the initial state is i.i.d.~Bernoulli then the final state is independent of $p$. This independence also holds for the system on a finite ring. For $ρ>1/2$ there is only one TIS. It is the infinite volume limit of the probability distribution that gives uniform weight to all configurations in which no two holes are adjacent, and is isomorphic to the Gibbs measure for hard core particles with nearest neighbor exclusion. △ Less

Submitted 30 December, 2021; v1 submitted 14 October, 2020; originally announced October 2020.

Comments: 32 pages, 4 figures. Version 2:Various revisions throughout; results unchanged. Version 3: date correction

MSC Class: 60K35 (Primary) 82C22; 82C23; 82C26 (Secondary)

Journal ref: Annales de l'Institut Henri Poincare - Probabilites et Statistiques 2023, Vol. 59, No. 2, 726--742

Limiting directions for random walks in classical affine Weyl groups

Authors: Erik Aas, Arvind Ayyer, Svante Linusson, Samu Potka

Abstract: Let $W$ be a finite Weyl group and $\widetilde W$ the corresponding affine Weyl group. A random element of $\widetilde W$ can be obtained as a reduced random walk on the alcoves of $\widetilde W$. By a theorem of Lam (Ann. Prob. 2015), such a walk almost surely approaches one of $|W|$ many directions. We compute these directions when $W$ is $B_n$, $C_n$ and $D_n$ and the random walk is weighted by… ▽ More Let $W$ be a finite Weyl group and $\widetilde W$ the corresponding affine Weyl group. A random element of $\widetilde W$ can be obtained as a reduced random walk on the alcoves of $\widetilde W$. By a theorem of Lam (Ann. Prob. 2015), such a walk almost surely approaches one of $|W|$ many directions. We compute these directions when $W$ is $B_n$, $C_n$ and $D_n$ and the random walk is weighted by Kac and dual Kac labels. This settles Lam's questions for types $B$ and $C$ in the affirmative and for type $D$ in the negative. The main tool is a combinatorial two row model for a totally asymmetric simple exclusion process called the $D^*$-TASEP, with four parameters. By specializing the parameters in different ways, we obtain TASEPs for each of the Weyl groups mentioned above. Computing certain correlations in these TASEPs gives the desired limiting directions. △ Less

Submitted 7 December, 2021; v1 submitted 28 April, 2020; originally announced April 2020.

Comments: 45 pages, 9 figures, minor improvements, final version

MSC Class: 60K35; 05A05; 05A19; 82C23; 20F55

A simple symmetric exclusion process driven by an asymmetric tracer particle

Authors: Arvind Ayyer

Abstract: We consider an exclusion process on a periodic one-dimensional lattice where all particles perform simple symmetric exclusion at rate $1$ except for a single tracer particle, which performs partially simple asymmetric exclusion with rate $p$ to the right and rate $q$ to the left. This model was first considered by Ferrari, Goldstein and Lebowitz (Progr. Phys., 1985) as a test for the validity of t… ▽ More We consider an exclusion process on a periodic one-dimensional lattice where all particles perform simple symmetric exclusion at rate $1$ except for a single tracer particle, which performs partially simple asymmetric exclusion with rate $p$ to the right and rate $q$ to the left. This model was first considered by Ferrari, Goldstein and Lebowitz (Progr. Phys., 1985) as a test for the validity of the Einstein relation in microscopic systems. The main thrust of this work is an exact solution for the steady state of this exclusion process. We show that the stationary probabilities factorize and give an exact formula for the nonequilibrium partition function. Perhaps surprisingly, we find that the nonequilibrium free energy in the steady state is not well-defined for this system in the thermodynamic limit for any values of $p$ and $q$ if $p \neq q$. We provide formulas for the current and two-point correlations. When the tracer particle performs asymmetric exclusion ($q=0$), the results are shown to simplify significantly and we find an unexpected connection with the combinatorics of set partitions. Finally, we study the system from the point of view of the tracer particle, the so-called environment process. In the environment process, we show that the density of particles decays exponentially with the scaled position in front of the tracer particle in the thermodynamic limit. △ Less

Submitted 15 December, 2022; v1 submitted 8 January, 2020; originally announced January 2020.

Comments: 28 pages, 3 figures, minor improvements, final version

MSC Class: 82C05; 82C22; 82C23; 60J27; 05A15; 05A18

Journal ref: Annales de l'Institut Henri Poincare D, 10 no. 4, (2023) 687--713

A character relationship between symmetric group and hyperoctahedral group

Authors: Frank Lübeck, Dipendra Prasad, Arvind Ayyer

Abstract: We relate character theory of the symmetric groups $S_{2n}$ and $S_{2n+1}$ with that of the hyperoctahedral group $B_n = ({\mathbb Z}/2)^n \rtimes S_n$, as part of the expectation that the character theory of reductive groups with diagram automorphism and their Weyl groups, is related to the character theory of the fixed subgroup of the diagram automorphism. We relate character theory of the symmetric groups $S_{2n}$ and $S_{2n+1}$ with that of the hyperoctahedral group $B_n = ({\mathbb Z}/2)^n \rtimes S_n$, as part of the expectation that the character theory of reductive groups with diagram automorphism and their Weyl groups, is related to the character theory of the fixed subgroup of the diagram automorphism. △ Less

Submitted 21 March, 2020; v1 submitted 18 December, 2019; originally announced December 2019.

Comments: This version contains an appendix by Arvind Ayyer

MSC Class: 11F70 22E55

The size of $t$-cores and hook lengths of random cells in random partitions

Authors: Arvind Ayyer, Shubham Sinha

Abstract: Fix $t \geq 2$. We first give an asymptotic formula for certain sums of the number of $t$-cores. We then use this result to compute the distribution of the size of the $t$-core of a uniformly random partition of an integer $n$. We show that this converges weakly to a gamma distribution after dividing by $\sqrt{n}$. As a consequence, we find that the size of the $t$-core is of the order of… ▽ More Fix $t \geq 2$. We first give an asymptotic formula for certain sums of the number of $t$-cores. We then use this result to compute the distribution of the size of the $t$-core of a uniformly random partition of an integer $n$. We show that this converges weakly to a gamma distribution after dividing by $\sqrt{n}$. As a consequence, we find that the size of the $t$-core is of the order of $\sqrt{n}$ in expectation. We then apply this result to show that the probability that $t$ divides the hook length of a uniformly random cell in a uniformly random partition equals $1/t$ in the limit. Finally, we extend this result to all modulo classes of $t$ using abacus representations for cores and quotients. △ Less

Submitted 26 February, 2023; v1 submitted 8 November, 2019; originally announced November 2019.

Comments: 29 pages, 3 figures, minor changes, final version

MSC Class: 60B10; 60C05; 05A15; 05A17; 05E10; 11P82

Journal ref: Annals of Applied Probability (2023), Vol. 33, No. 1, 85-106

Bijective proofs of skew Schur polynomial factorizations

Authors: Arvind Ayyer, Ilse Fischer

Abstract: In a recent paper, Ayyer and Behrend present for a wide class of partitions factorizations of Schur polynomials with an even number of variables where half of the variables are the reciprocals of the others into symplectic and/or orthogonal group characters, thereby generalizing results of Ciucu and Krattenthaler for rectangular shapes. Their proofs proceed by manipulations of determinants underly… ▽ More In a recent paper, Ayyer and Behrend present for a wide class of partitions factorizations of Schur polynomials with an even number of variables where half of the variables are the reciprocals of the others into symplectic and/or orthogonal group characters, thereby generalizing results of Ciucu and Krattenthaler for rectangular shapes. Their proofs proceed by manipulations of determinants underlying the characters. The purpose of the current paper is to provide bijective proofs of such factorizations. The quantities involved have known combinatorial interpretations in terms of Gelfand-Tsetlin patterns of various types or half Gelfand-Tsetlin patterns, which can in turn be transformed into perfect matchings of weighted trapezoidal honeycomb graphs. An important ingredient is then Ciucu's theorem for graphs with reflective symmetry. However, before being able to apply it, we need to employ a certain averaging procedure in order to achieve symmetric edge weights. This procedure is based on a "randomized" bijection, which can however also be turned into a classical bijection. For one type of Schur polynomial factorization, we also need an additional graph operation that almost doubles the underlying graph. Finally, our combinatorial proofs reveal that the factorizations under consideration can in fact also be generalized to skew shapes as discussed at the end of the paper. △ Less

Submitted 30 March, 2020; v1 submitted 13 May, 2019; originally announced May 2019.

Comments: 33 pages, 17 figures, final version

MSC Class: 05A19; 05A17; 05E05; 05E10; 20C12

Journal ref: Journal of Combinatorial Theory, Series A Volume 174, August 2020, 105241, 40pp

The exact phase diagram for a semipermeable TASEP with nonlocal boundary jumps

Authors: Erik Aas, Arvind Ayyer, Svante Linusson, Samu Potka

Abstract: We consider a finite one-dimensional totally asymmetric simple exclusion process (TASEP) with four types of particles, $\{1,0,\bar{1},*\}$, in contact with reservoirs. Particles of species $0$ can neither enter nor exit the lattice, and those of species $*$ are constrained to lie at the first and last site. Particles of species $1$ enter from the left reservoir into either the first or second site… ▽ More We consider a finite one-dimensional totally asymmetric simple exclusion process (TASEP) with four types of particles, $\{1,0,\bar{1},*\}$, in contact with reservoirs. Particles of species $0$ can neither enter nor exit the lattice, and those of species $*$ are constrained to lie at the first and last site. Particles of species $1$ enter from the left reservoir into either the first or second site, move rightwards, and leave from either the last or penultimate site. Conversely, particles of species $\bar{1}$ enter from the right reservoir into either the last or penultimate site, move leftwards, and leave from either the first or last site. This dynamics is motivated by a natural random walk on the Weyl group of type D. We compute the exact nonequilibrium steady state distribution using a matrix ansatz building on earlier work of Arita. We then give explicit formulas for the nonequilibrium partition function as well as densities and currents of all species in the steady state, and derive the phase diagram. △ Less

Submitted 9 August, 2019; v1 submitted 5 February, 2019; originally announced February 2019.

Comments: 19 pages, 1 figure, final version

MSC Class: 82C22; 82C23; 82C26; 60J27

Journal ref: J. Phys. A: Math. Theor. 52 (2019) 355001 (19pp)

Macdonald trees and determinants of representations for finite Coxeter groups

Authors: Arvind Ayyer, Amritanshu Prasad, Steven Spallone

Abstract: Every irreducible odd dimensional representation of the $n$'th symmetric or hyperoctahedral group, when restricted to the $(n-1)$'th, has a unique irreducible odd-dimensional constituent. Furthermore, the subgraph induced by odd-dimensional representations in the Bratteli diagram of symmetric and hyperoctahedral groups is a binary tree with a simple recursive description. We survey the description… ▽ More Every irreducible odd dimensional representation of the $n$'th symmetric or hyperoctahedral group, when restricted to the $(n-1)$'th, has a unique irreducible odd-dimensional constituent. Furthermore, the subgraph induced by odd-dimensional representations in the Bratteli diagram of symmetric and hyperoctahedral groups is a binary tree with a simple recursive description. We survey the description of this tree, known as the Macdonald tree, for symmetric groups, from our earlier work. We describe analogous results for hyperoctahedral groups. A partition $λ$ of $n$ is said to be chiral if the corresponding irreducible representation $V_λ$ of $S_n$ has non-trivial determinant. We review our previous results on the structure and enumeration of chiral partitions, and subsequent extension to all Coxeter groups by Ghosh and Spallone. Finally we show that the numbers of odd and chiral partitions track each other closely. △ Less

Submitted 3 December, 2018; originally announced December 2018.

Comments: 17 pages, 8 figures. This article is a review article; mostly a survey of results in arXiv:1601.01776, arXiv:1604.08837, and arXiv:1710.03039

MSC Class: 05E10; 20C30; 05A17; 05A15

Journal ref: Indian J. Discrete Math., Vol. 5, No. 1 (2019), pp. 1-22

The phase diagram for a multispecies left-permeable asymmetric exclusion process

Authors: Arvind Ayyer, Caley Finn, Dipankar Roy

Abstract: We study a multispecies generalization of a left-permeable asymmetric exclusion process (LPASEP) in one dimension with open boundaries. We determine all phases in the phase diagram using an exact projection to the LPASEP solved by us in a previous work. In most phases, we observe the phenomenon of dynamical expulsion of one or more species. We explain the density profiles in each phase using inter… ▽ More We study a multispecies generalization of a left-permeable asymmetric exclusion process (LPASEP) in one dimension with open boundaries. We determine all phases in the phase diagram using an exact projection to the LPASEP solved by us in a previous work. In most phases, we observe the phenomenon of dynamical expulsion of one or more species. We explain the density profiles in each phase using interacting shocks. This explanation is corroborated by simulations. △ Less

Submitted 10 November, 2018; v1 submitted 17 August, 2018; originally announced August 2018.

Comments: 19 pages, 11 figures, minor improvements, references added

MSC Class: 82C22; 82C23; 82C26; 60J27

Journal ref: Journal of Statistical Physics, Volume 174, Issue 3, pp 605-621, 2019

Random motion on finite rings, II: Noncommutative rings

Authors: Arvind Ayyer, Pooja Singla

Abstract: We extend our previous study of Markov chains on finite commutative rings (arXiv:1605.05089) to arbitrary finite rings with identity. At each step, we either add or multiply by a randomly chosen element of the ring, where the addition (resp. multiplication) distribution is uniform (resp. conjugacy invariant). We prove explicit formulas for some of the eigenvalues of the transition matrix and give… ▽ More We extend our previous study of Markov chains on finite commutative rings (arXiv:1605.05089) to arbitrary finite rings with identity. At each step, we either add or multiply by a randomly chosen element of the ring, where the addition (resp. multiplication) distribution is uniform (resp. conjugacy invariant). We prove explicit formulas for some of the eigenvalues of the transition matrix and give lower bounds on their multiplicities. We also give recursive formulas for the stationary distribution and prove that the mixing time is bounded by an absolute constant. For the matrix rings $M_2(\mathbb F_q),$ we compute the entire spectrum explicitly using the representation theory of $\text{GL}_2(\mathbb F_q),$ as well as the stationary probabilities. △ Less

Submitted 12 January, 2019; v1 submitted 11 July, 2018; originally announced July 2018.

Comments: 19 pages, 4 tables. Significant revisions. The result on the spectrum (Thm 2.3) has been weakened. An error in the proof of the mixing time result (Thm 4.1) has been fixed. Minor typos corrected

MSC Class: 20C05; 20C15; 16P10; 16W22; 60J10

Factorization theorems for classical group characters, with applications to alternating sign matrices and plane partitions

Authors: Arvind Ayyer, Roger E. Behrend

Abstract: We show that, for a certain class of partitions and an even number of variables of which half are reciprocals of the other half, Schur polynomials can be factorized into products of odd and even orthogonal characters. We also obtain related factorizations involving sums of two Schur polynomials, and certain odd-sized sets of variables. Our results generalize the factorization identities proved by… ▽ More We show that, for a certain class of partitions and an even number of variables of which half are reciprocals of the other half, Schur polynomials can be factorized into products of odd and even orthogonal characters. We also obtain related factorizations involving sums of two Schur polynomials, and certain odd-sized sets of variables. Our results generalize the factorization identities proved by Ciucu and Krattenthaler (Advances in combinatorial mathematics, 39-59, 2009) for partitions of rectangular shape. We observe that if, in some of the results, the partitions are taken to have rectangular or double-staircase shapes and all of the variables are set to 1, then factorization identities for numbers of certain plane partitions, alternating sign matrices and related combinatorial objects are obtained. △ Less

Submitted 6 February, 2019; v1 submitted 12 April, 2018; originally announced April 2018.

Comments: 22 pages; v2: minor changes, published version

MSC Class: 05A15; 05E05; 05E10

Journal ref: J. Combin. Theory Ser. A 165 (2019) 78-105

Extensions of partial cyclic orders and consecutive coordinate polytopes

Authors: Arvind Ayyer, Matthieu Josuat-Vergès, Sanjay Ramassamy

Abstract: We introduce several classes of polytopes contained in $[0,1]^n$ and cut out by inequalities involving sums of consecutive coordinates. We show that the normalized volumes of these polytopes enumerate circular extensions of certain partial cyclic orders. Among other things this gives a new point of view on a question popularized by Stanley. We also provide a combinatorial interpretation of the Ehr… ▽ More We introduce several classes of polytopes contained in $[0,1]^n$ and cut out by inequalities involving sums of consecutive coordinates. We show that the normalized volumes of these polytopes enumerate circular extensions of certain partial cyclic orders. Among other things this gives a new point of view on a question popularized by Stanley. We also provide a combinatorial interpretation of the Ehrhart $h^*$-polynomials of some of these polytopes in terms of descents of total cyclic orders. The Euler numbers, the Eulerian numbers and the Narayana numbers appear as special cases. △ Less

Submitted 29 June, 2019; v1 submitted 27 March, 2018; originally announced March 2018.

Comments: 26 pages, 6 figures. Minor notation changes

Journal ref: Ann. Henri Lebesgue, 3, 275-297, 2020

The number of inversions of permutations with fixed shape

Authors: Arvind Ayyer, Naya Banerjee

Abstract: The Robinson-Schensted correspondence can be viewed as a map from permutations to partitions. In this work, we study the number of inversions of permutations corresponding to a fixed partition $λ$ under this map. Hohlweg characterized permutations having shape $λ$ with the minimum number of inversions. Here, we give the first results in this direction for higher numbers of inversions. We give expl… ▽ More The Robinson-Schensted correspondence can be viewed as a map from permutations to partitions. In this work, we study the number of inversions of permutations corresponding to a fixed partition $λ$ under this map. Hohlweg characterized permutations having shape $λ$ with the minimum number of inversions. Here, we give the first results in this direction for higher numbers of inversions. We give explicit conjectures for both the structure and the number of permutations associated to $λ$ where the extra number of inversions is less than the length of the smallest column of $λ$. We prove the result when $λ$ has two columns. △ Less

Submitted 6 November, 2021; v1 submitted 29 December, 2017; originally announced December 2017.

Comments: 20 pages, 2 figures, several minor improvements, final version

MSC Class: 05A05; 05A15; 05A17

Journal ref: Journal of Enumerative Combinatorics, Vol. 2 no. 4, (2022) S4PP1, 14pp

The Hilbert-Galton board

Authors: Arvind Ayyer, Sanjay Ramassamy

Abstract: We introduce the Hilbert-Galton board as a variant of the classical Galton board. Balls fall into a row of bins at a rate depending on the bin, and at random times, each bin gets shifted one unit to the right and an empty bin is added to the left. We compute the stationary distribution of this Markov chain and show the existence of an enriched Markov chain on triangular arrays of numbers which pro… ▽ More We introduce the Hilbert-Galton board as a variant of the classical Galton board. Balls fall into a row of bins at a rate depending on the bin, and at random times, each bin gets shifted one unit to the right and an empty bin is added to the left. We compute the stationary distribution of this Markov chain and show the existence of an enriched Markov chain on triangular arrays of numbers which projects down to the Hilbert-Galton board. We also define finite-ball projections of the Hilbert-Galton board, for which we compute the stationary distribution, the full spectrum and the grand coupling time. △ Less

Submitted 29 November, 2017; v1 submitted 22 November, 2017; originally announced November 2017.

Comments: 24 pages, 4 figures, minor improvements

MSC Class: 60J27; 60C05

Journal ref: ALEA - Latin American Journal of Probability and Mathematical Statistics, 15(2), 755-774, 2018

Random walks on rings and modules

Authors: Arvind Ayyer, Benjamin Steinberg

Abstract: We consider two natural models of random walks on a module $V$ over a finite commutative ring $R$ driven simultaneously by addition of random elements in $V$, and multiplication by random elements in $R$. In the coin-toss walk, either one of the two operations is performed depending on the flip of a coin. In the affine walk, random elements $a \in R,b \in V$ are sampled independently, and the curr… ▽ More We consider two natural models of random walks on a module $V$ over a finite commutative ring $R$ driven simultaneously by addition of random elements in $V$, and multiplication by random elements in $R$. In the coin-toss walk, either one of the two operations is performed depending on the flip of a coin. In the affine walk, random elements $a \in R,b \in V$ are sampled independently, and the current state $x$ is taken to $ax+b$. For both models, we obtain the complete spectrum of the transition matrix from the representation theory of the monoid of all affine maps on $V$ under a suitable hypothesis on the measure on $V$ (the measure on $R$ can be arbitrary). △ Less

Submitted 21 September, 2019; v1 submitted 14 August, 2017; originally announced August 2017.

Comments: 26 pages, 1 figure, minor improvements, final version

MSC Class: 60J10; 20M30; 13M99; 05E10; 60C05

Journal ref: Algebraic Combinatorics, Volume 3 (2020) no. 2, pp. 309-329

Reverse juggling processes

Authors: Arvind Ayyer, Svante Linusson

Abstract: Knutson introduced two families of reverse juggling Markov chains (single and multispecies) motivated by the study of random semi-infinite matrices over $\mathbb{F}_q$. We present natural generalizations of both chains by placing generic weights that still lead to simple combinatorial expressions for the stationary distribution. For permutations, this is a seemingly new multivariate generalization… ▽ More Knutson introduced two families of reverse juggling Markov chains (single and multispecies) motivated by the study of random semi-infinite matrices over $\mathbb{F}_q$. We present natural generalizations of both chains by placing generic weights that still lead to simple combinatorial expressions for the stationary distribution. For permutations, this is a seemingly new multivariate generalization of the inversion polynomial. △ Less

Submitted 8 November, 2018; v1 submitted 13 June, 2017; originally announced June 2017.

Comments: 17 pages, 1 figure, minor stylistic improvements

MSC Class: 60J10; 60C05; 05A05

Journal ref: Random Structures & Algorithms, 55 no. 1 (2019), 56-72

Extreme diagonally and antidiagonally symmetric alternating sign matrices of odd order

Authors: Arvind Ayyer, Roger E. Behrend, Ilse Fischer

Abstract: For each $α\in \{0,1,-1 \}$, we count diagonally and antidiagonally symmetric alternating sign matrices (DASASMs) of fixed odd order with a maximal number of $α$'s along the diagonal and the antidiagonal, as well as DASASMs of fixed odd order with a minimal number of $0$'s along the diagonal and the antidiagonal. In these enumerations, we encounter product formulas that have previously appeared in… ▽ More For each $α\in \{0,1,-1 \}$, we count diagonally and antidiagonally symmetric alternating sign matrices (DASASMs) of fixed odd order with a maximal number of $α$'s along the diagonal and the antidiagonal, as well as DASASMs of fixed odd order with a minimal number of $0$'s along the diagonal and the antidiagonal. In these enumerations, we encounter product formulas that have previously appeared in plane partition or alternating sign matrix counting, namely for the number of all alternating sign matrices, the number of cyclically symmetric plane partitions in a given box, and the number of vertically and horizontally symmetric ASMs. We also prove several refinements. For instance, in the case of DASASMs with a maximal number of $-1$'s along the diagonal and the antidiagonal, these considerations lead naturally to the definition of alternating sign triangles. These are new objects that are equinumerous with ASMs, and we are able to prove a two parameter refinement of this fact, involving the number of $-1$'s and the inversion number on the ASM side. To prove our results, we extend techniques to deal with triangular six-vertex configurations that have recently successfully been applied to settle Robbins' conjecture on the number of all DASASMs of odd order. Importantly, we use a general solution of the reflection equation to prove the symmetry of the partition function in the spectral parameters. In all of our cases, we derive determinant or Pfaffian formulas for the partition functions, which we then specialize in order to obtain the product formulas for the various classes of extreme odd DASASMs under consideration. △ Less

Submitted 10 September, 2020; v1 submitted 11 November, 2016; originally announced November 2016.

Comments: 41 pages, several minor improvements in response to referee's comments. Final version. Matches published version except for very minor changes

MSC Class: 05A05; 05A15; 05A19; 15B35; 82B20; 82B23

Journal ref: Advances in Mathematics, Volume 367 (2020) 107125, 56pp

The exact phase diagram for a class of multispecies asymmetric exclusion processes

Authors: Arvind Ayyer, Dipankar Roy

Abstract: The asymmetric exclusion process is an idealised stochastic model of transport, whose exact solution has given important insight into a general theory of nonequilibrium statistical physics. In this work, we consider a totally asymmetric exclusion process with multiple species of particles on a one-dimensional lattice in contact with reservoirs. We derive the exact nonequilibrium phase diagram for… ▽ More The asymmetric exclusion process is an idealised stochastic model of transport, whose exact solution has given important insight into a general theory of nonequilibrium statistical physics. In this work, we consider a totally asymmetric exclusion process with multiple species of particles on a one-dimensional lattice in contact with reservoirs. We derive the exact nonequilibrium phase diagram for the system in the long time limit. We find two new phenomena in certain regions of the phase diagram: when the density of a species becomes zero throughout the system, and dynamical localisation when the density of a species is nonzero only within an interval far from the boundaries. We give a complete explanation of the macroscopic features of the phase diagram using what we call nested fat shocks. △ Less

Submitted 22 June, 2018; v1 submitted 7 November, 2016; originally announced November 2016.

Comments: Scientific Reports document style, 9 pages, 5 figures. Stylistic changes made, typos corrected, supplementary material added in the ancillary directory, final version

MSC Class: 82C22; 82C23; 60J27

Journal ref: Scientific Reports 7, Article number: 13555 (2017)

Squareness for the Monopole-Dimer model

Authors: Arvind Ayyer

Abstract: The monopole-dimer model introduced recently is an exactly-solvable signed generalisation of the dimer model. We show that the partition function of the monopole-dimer model on a graph invariant under a fixed-point free involution is a perfect square. We give a combinatorial interpretation of the square-root of the partition function for such graphs in terms of a monopole-dimer model on a new kind… ▽ More The monopole-dimer model introduced recently is an exactly-solvable signed generalisation of the dimer model. We show that the partition function of the monopole-dimer model on a graph invariant under a fixed-point free involution is a perfect square. We give a combinatorial interpretation of the square-root of the partition function for such graphs in terms of a monopole-dimer model on a new kind of graph with two types of edges which we call a dicot. The partition function of the latter can be written as a determinant, this time of a complex adjacency matrix. This formulation generalises T. T. Wu's assignment of imaginary orientation for the grid graph to planar dicots. As an application, we compute the partition function for a family of non-planar dicots with positive weights. △ Less

Submitted 1 January, 2020; v1 submitted 10 August, 2016; originally announced August 2016.

Comments: 21 pages, 7 figures, minor improvements, final version

Journal ref: Annals of Combinatorics, Volume 24, Issue 2 (2020), 237-255

Random motion on finite rings, I: commutative rings

Authors: Arvind Ayyer, Pooja Singla

Abstract: We consider irreversible Markov chains on finite commutative rings randomly generated using both addition and multiplication. We restrict ourselves to the case where the addition is uniformly random and multiplication is arbitrary. We first prove formulas for eigenvalues and multiplicities of the transition matrices of these chains using the character theory of finite abelian groups. The example… ▽ More We consider irreversible Markov chains on finite commutative rings randomly generated using both addition and multiplication. We restrict ourselves to the case where the addition is uniformly random and multiplication is arbitrary. We first prove formulas for eigenvalues and multiplicities of the transition matrices of these chains using the character theory of finite abelian groups. The examples of principal ideal rings (such as $\mathbb{Z}_{n}$) and finite chain rings (such as $\mathbb{Z}_{p^k}$) are particularly illuminating and are treated separately. We then prove a recursive formula for the stationary probabilities for any ring, and use it to prove explicit formulas for the probabilities for finite chain rings when multiplication is also uniformly random. Finally, we prove constant mixing time for our chains using coupling. △ Less

Submitted 11 February, 2019; v1 submitted 17 May, 2016; originally announced May 2016.

Comments: 24 pages, 2 figures, minor changes, published version

MSC Class: 20C05; 13M05; 16W22; 60J10

Journal ref: Algebras and Representation Theory, volume 23, pages 583-604 (2020)

Representations of symmetric groups with non-trivial determinant

Authors: Arvind Ayyer, Amritanshu Prasad, Steven Spallone

Abstract: 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 a… ▽ More 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. △ Less

Submitted 29 April, 2016; originally announced April 2016.

Comments: 22 pages, 4 figures

MSC Class: 05E10; 20C30; 05A17; 05A15

Journal ref: Journal of Combinatorial Theory, Series A 150 (2017) 208-232

Odd partitions in Young's lattice

Authors: Arvind Ayyer, Amritanshu Prasad, Steven Spallone

Abstract: We show that the subgraph induced in Young's graph by the set of partitions with an odd number of standard Young tableaux is a binary tree. This tree exhibits self-similarities at all scales, and has a simple recursive description. We show that the subgraph induced in Young's graph by the set of partitions with an odd number of standard Young tableaux is a binary tree. This tree exhibits self-similarities at all scales, and has a simple recursive description. △ Less

Submitted 6 June, 2016; v1 submitted 8 January, 2016; originally announced January 2016.

Comments: 13 pages, 3 figures, available from http://www.mat.univie.ac.at/~slc/wpapers/s75prasad.html

MSC Class: 05A15; 05A17; 05E10; 20C30

Journal ref: Séminaire Lotharingien de Combinatoire, vol. 75, Article B75g, 2016

Full Current Statistics for a Disordered Open Exclusion Process

Authors: Arvind Ayyer

Abstract: We consider the nonabelian sandpile model defined on directed trees by Ayyer, Schilling, Steinberg and Thiéry (Commun. Math. Phys, 2013) and restrict it to the special case of a one-dimensional lattice of $n$ sites which has open boundaries and disordered hopping rates. We focus on the joint distribution of the integrated currents across each bond simultaneously, and calculate its cumulant generat… ▽ More We consider the nonabelian sandpile model defined on directed trees by Ayyer, Schilling, Steinberg and Thiéry (Commun. Math. Phys, 2013) and restrict it to the special case of a one-dimensional lattice of $n$ sites which has open boundaries and disordered hopping rates. We focus on the joint distribution of the integrated currents across each bond simultaneously, and calculate its cumulant generating function exactly. Surprisingly, the process conditioned on seeing specified currents across each bond turns out to be a renormalised version of the same process. We also remark on a duality property of the large deviation function. Lastly, all eigenvalues and both Perron eigenvectors of the tilted generator are determined. △ Less

Submitted 22 December, 2015; v1 submitted 3 December, 2015; originally announced December 2015.

Comments: 14 pages, minor clarifications

MSC Class: 82C23; 82C41; 82C44; 60K35; 60J27; 20M30

Journal ref: Journal of Physics A: Mathematical and Theoretical, Volume 49, Number 15, Article 155003, 2016

Bumping sequences and multispecies juggling

Authors: Arvind Ayyer, Jérémie Bouttier, Sylvie Corteel, Svante Linusson, François Nunzi

Abstract: Building on previous work by four of us (ABCN), we consider further generalizations of Warrington's juggling Markov chains. We first introduce "multispecies" juggling, which consist in having balls of different weights: when a ball is thrown it can possibly bump into a lighter ball that is then sent to a higher position, where it can in turn bump an even lighter ball, etc. We both study the case w… ▽ More Building on previous work by four of us (ABCN), we consider further generalizations of Warrington's juggling Markov chains. We first introduce "multispecies" juggling, which consist in having balls of different weights: when a ball is thrown it can possibly bump into a lighter ball that is then sent to a higher position, where it can in turn bump an even lighter ball, etc. We both study the case where the number of balls of each species is conserved and the case where the juggler sends back a ball of the species of its choice. In this latter case, we actually discuss three models: add-drop, annihilation and overwriting. The first two are generalisations of models presented in (ABCN) while the third one is new and its Markov chain has the ultra fast convergence property. We finally consider the case of several jugglers exchanging balls. In all models, we give explicit product formulas for the stationary probability and closed form expressions for the normalisation factor if known. △ Less

Submitted 28 March, 2018; v1 submitted 10 April, 2015; originally announced April 2015.

Comments: 25 pages, 9 figures (v3: final version, several typos and figures fixed)

Report number: IPhT-t15/059 MSC Class: 60C05; 60J10; 05A05; 82C23

Journal ref: Advances in Applied Mathematics 98 (2018) 100-126

A finite variant of the Toom Model

Authors: Arvind Ayyer

Abstract: We present results for a finite variant of the one-dimensional Toom model with closed boundaries. We show that the steady state distribution is not of product form, but is nonetheless simple. In particular, we give explicit formulas for the densities and some nearest neighbour correlation functions. We also give exact results for eigenvalues and multiplicities of the transition matrix using the th… ▽ More We present results for a finite variant of the one-dimensional Toom model with closed boundaries. We show that the steady state distribution is not of product form, but is nonetheless simple. In particular, we give explicit formulas for the densities and some nearest neighbour correlation functions. We also give exact results for eigenvalues and multiplicities of the transition matrix using the theory of ${\mathscr R}$-trivial monoids in joint work with A. Schilling, B. Steinberg and N. M. Thiéry. △ Less

Submitted 24 April, 2015; v1 submitted 28 February, 2015; originally announced March 2015.

Comments: Journal of Physics: Conference Series stylefile, 8 pages, 1 figure; minor changes and clarifications

MSC Class: 82C22; 60J27; 60C05; 60K35; 05A05

Journal ref: J. Phys.: Conf. Ser. Vol. 638 (2015) 012005, 9pp

Spectral gap for random-to-random shuffling on linear extensions

Authors: Arvind Ayyer, Anne Schilling, Nicolas M. Thiéry

Abstract: In this paper, we propose a new Markov chain which generalizes random-to-random shuffling on permutations to random-to-random shuffling on linear extensions of a finite poset of size $n$. We conjecture that the second largest eigenvalue of the transition matrix is bounded above by $(1+1/n)(1-2/n)$ with equality when the poset is disconnected. This Markov chain provides a way to sample the linear e… ▽ More In this paper, we propose a new Markov chain which generalizes random-to-random shuffling on permutations to random-to-random shuffling on linear extensions of a finite poset of size $n$. We conjecture that the second largest eigenvalue of the transition matrix is bounded above by $(1+1/n)(1-2/n)$ with equality when the poset is disconnected. This Markov chain provides a way to sample the linear extensions of the poset with a relaxation time bounded above by $n^2/(n+2)$ and a mixing time of $O(n^2 \log n)$. We conjecture that the mixing time is in fact $O(n \log n)$ as for the usual random-to-random shuffling. △ Less

Submitted 13 October, 2015; v1 submitted 23 December, 2014; originally announced December 2014.

Comments: 16 pages, 10 figures; v2: typos fixed plus extra information in figures; v3: added explicit conjecture 2.2 + Section 3.6 on the diameter of the Markov Chain as evidence + misc minor improvements; v4: fixed bibliography

MSC Class: 60J10; 05C81; 06A07

Journal ref: Experimental Math. 26(1) (2017) 22-30

Correlations in the Multispecies TASEP and a Conjecture by Lam

Authors: Arvind Ayyer, Svante Linusson

Abstract: We study correlations in the multispecies TASEP on a ring. Results on correlation of two adjacent points prove two conjectures by Thomas Lam on (a) the limiting direction of a reduced random walk in $\tilde A_{n-1}$ and (b) the asymptotic shape of a random integer partition with no hooks of length $n$, a so called $n$-core. We further investigate two-point correlations far apart and three-po… ▽ More We study correlations in the multispecies TASEP on a ring. Results on correlation of two adjacent points prove two conjectures by Thomas Lam on (a) the limiting direction of a reduced random walk in $\tilde A_{n-1}$ and (b) the asymptotic shape of a random integer partition with no hooks of length $n$, a so called $n$-core. We further investigate two-point correlations far apart and three-point nearest neighbour correlations and prove explicit formulas in almost all cases. These results can be seen as a finite strengthening of correlations in the TASEP speed process by Amir, Angel and Valkó. We also give conjectures for certain higher order nearest neighbour correlations. We find an unexplained independence property (provably for two points, conjecturally for more points) between points that are closer in position than in value that deserves more study. △ Less

Submitted 26 April, 2014; originally announced April 2014.

Comments: 31 pages

MSC Class: 60K35; 05A05; 82C22; 20F55; 05A17

Journal ref: Transactions of the AMS 369 (2017), 1097-1125

Multivariate Juggling Probabilities

Authors: Arvind Ayyer, Jérémie Bouttier, Sylvie Corteel, François Nunzi

Abstract: We consider refined versions of Markov chains related to juggling introduced by Warrington. We further generalize the construction to juggling with arbitrary heights as well as infinitely many balls, which are expressed more succinctly in terms of Markov chains on integer partitions. In all cases, we give explicit product formulas for the stationary probabilities. The normalization factor in one c… ▽ More We consider refined versions of Markov chains related to juggling introduced by Warrington. We further generalize the construction to juggling with arbitrary heights as well as infinitely many balls, which are expressed more succinctly in terms of Markov chains on integer partitions. In all cases, we give explicit product formulas for the stationary probabilities. The normalization factor in one case can be explicitly written as a homogeneous symmetric polynomial. We also refine and generalize enriched Markov chains on set partitions. Lastly, we prove that in one case, the stationary distribution is attained in bounded time. △ Less

Submitted 16 January, 2015; v1 submitted 15 February, 2014; originally announced February 2014.

Comments: 28 pages, 5 figures, final version

Report number: IPhT-t14/044 MSC Class: 60C05; 60J10 (Primary); 05A17; 05A18; 82C23 (Secondary)

Journal ref: Electron. J. Probab. 20 (2015), no. 5, 1-29

Markov chains, $\mathscr R$-trivial monoids and representation theory

Authors: Arvind Ayyer, Anne Schilling, Benjamin Steinberg, Nicolas M. Thiery

Abstract: We develop a general theory of Markov chains realizable as random walks on $\mathscr R$-trivial monoids. It provides explicit and simple formulas for the eigenvalues of the transition matrix, for multiplicities of the eigenvalues via Möbius inversion along a lattice, a condition for diagonalizability of the transition matrix and some techniques for bounding the mixing time. In addition, we discuss… ▽ More We develop a general theory of Markov chains realizable as random walks on $\mathscr R$-trivial monoids. It provides explicit and simple formulas for the eigenvalues of the transition matrix, for multiplicities of the eigenvalues via Möbius inversion along a lattice, a condition for diagonalizability of the transition matrix and some techniques for bounding the mixing time. In addition, we discuss several examples, such as Toom-Tsetlin models, an exchange walk for finite Coxeter groups, as well as examples previously studied by the authors, such as nonabelian sandpile models and the promotion Markov chain on posets. Many of these examples can be viewed as random walks on quotients of free tree monoids, a new class of monoids whose combinatorics we develop. △ Less

Submitted 2 September, 2014; v1 submitted 17 January, 2014; originally announced January 2014.

Comments: Dedicated to Stuart Margolis on the occasion of his sixtieth birthday; 71 pages; final version to appear in IJAC

MSC Class: 60J10; 05E10; 20M30; 47D03; 60C05

Journal ref: International Journal of Algebra and Computation, Volume 25, Issue 01n02, 169 (2015)

A Statistical Model of Current Loops and Magnetic Monopoles

Authors: Arvind Ayyer

Abstract: We formulate a natural model of current loops and magnetic monopoles for arbitrary planar graphs, which we call the monopole-dimer model, and express the partition function of this model as a determinant. We then extend the method of Kasteleyn and Temperley-Fisher to calculate the partition function exactly in the case of rectangular grids. This partition function turns out to be a square of the p… ▽ More We formulate a natural model of current loops and magnetic monopoles for arbitrary planar graphs, which we call the monopole-dimer model, and express the partition function of this model as a determinant. We then extend the method of Kasteleyn and Temperley-Fisher to calculate the partition function exactly in the case of rectangular grids. This partition function turns out to be a square of the partition function of an emergent monomer-dimer model when the grid sizes are even. We use this formula to calculate the local monopole density, free energy and entropy exactly. Our technique is a novel determinantal formula for the partition function of a model of vertices and loops for arbitrary graphs. △ Less

Submitted 7 June, 2015; v1 submitted 23 November, 2013; originally announced November 2013.

Comments: 17 pages, 5 figures, significant stylistic revisions. In particular, rewritten with a mathematical audience in mind. Numerous errors fixed. This is the final published version. Maple program file can be downloaded from the link on the right of this page

MSC Class: 82B05; 82B20; 05C70; 33C20; 33C75

Journal ref: Mathematical Physics, Analysis and Geometry (2015), Volume 18, Issue 1, Article 16

Markov chains for promotion operators

Authors: Arvind Ayyer, Steven Klee, Anne Schilling

Abstract: We consider generalizations of Schuetzenberger's promotion operator on the set L of linear extensions of a finite poset. This gives rise to a strongly connected graph on L. In earlier work (arXiv:1205.7074), we studied promotion-based Markov chains on these linear extensions which generalizes results on the Tsetlin library. We used the theory of R-trivial monoids in an essential way to obtain expl… ▽ More We consider generalizations of Schuetzenberger's promotion operator on the set L of linear extensions of a finite poset. This gives rise to a strongly connected graph on L. In earlier work (arXiv:1205.7074), we studied promotion-based Markov chains on these linear extensions which generalizes results on the Tsetlin library. We used the theory of R-trivial monoids in an essential way to obtain explicitly the eigenvalues of the transition matrix in general when the poset is a rooted forest. We first survey these results and then present explicit bounds on the mixing time and conjecture eigenvalue formulas for more general posets. We also present a generalization of promotion to arbitrary subsets of the symmetric group. △ Less

Submitted 29 July, 2013; originally announced July 2013.

Comments: 17 pages, includes review of results of arXiv:1205.7074

MSC Class: 06A07; 20M32; 20M30; 47D03; 60J10

Journal ref: Algebraic Monoids, Group Embeddings, and Algebraic Combinatorics, Fields Institute Communications, Volume 71, 2014, pp 285-304

Directed nonabelian sandpile models on trees

Authors: Arvind Ayyer, Anne Schilling, Benjamin Steinberg, Nicolas M. Thiery

Abstract: We define two general classes of nonabelian sandpile models on directed trees (or arborescences) as models of nonequilibrium statistical phenomena. These models have the property that sand grains can enter only through specified reservoirs, unlike the well-known abelian sandpile model. In the Trickle-down sandpile model, sand grains are allowed to move one at a time. For this model, we show that… ▽ More We define two general classes of nonabelian sandpile models on directed trees (or arborescences) as models of nonequilibrium statistical phenomena. These models have the property that sand grains can enter only through specified reservoirs, unlike the well-known abelian sandpile model. In the Trickle-down sandpile model, sand grains are allowed to move one at a time. For this model, we show that the stationary distribution is of product form. In the Landslide sandpile model, all the grains at a vertex topple at once, and here we prove formulas for all eigenvalues, their multiplicities, and the rate of convergence to stationarity. The proofs use wreath products and the representation theory of monoids. △ Less

Submitted 28 February, 2015; v1 submitted 7 May, 2013; originally announced May 2013.

Comments: 43 pages, 5 figures; introduction improved

MSC Class: 60J10; 05E10; 20M30

Journal ref: Communications in Mathematical Physics, 2015, Volume 335, Issue 3, pp 1065-1098