Showing 1–32 of 32 results for author: Ayyer, A

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

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

Journal ref: J. Phys. A: Math. Theor., Vol 57 no. 31, (2024) 315001, 24pp

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

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

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

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

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)

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

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

Matrix product solution of a left-permeable two-species asymmetric exclusion process

Authors: Arvind Ayyer, Caley Finn, Dipankar Roy

Abstract: We study a two-species partially asymmetric exclusion process where the left boundary is permeable for the `slower' species but the right boundary is not. We find a matrix product solution for the stationary state, and the exact stationary phase diagram for the densities and currents. By calculating the density of each species at the boundaries, we find further structure in the stationary phases.… ▽ More We study a two-species partially asymmetric exclusion process where the left boundary is permeable for the `slower' species but the right boundary is not. We find a matrix product solution for the stationary state, and the exact stationary phase diagram for the densities and currents. By calculating the density of each species at the boundaries, we find further structure in the stationary phases. In particular, we find that the slower species can reach and accumulate at the far boundary, even in phases where the bulk density of these particles approaches zero. △ Less

Submitted 15 February, 2018; v1 submitted 30 August, 2017; originally announced August 2017.

Comments: 22 pages, 6 figures, introduction improved, typos fixed, final version

Report number: LAPTH-029/17

Journal ref: Phys. Rev. E 97, 012151 (2018)

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

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

Two-point correlation function of an exclusion process with hole-dependent rates

Authors: Priyanka, Arvind Ayyer, Kavita Jain

Abstract: We consider an exclusion process on a ring in which a particle hops to an empty neighbouring site with a rate that depends on the number of vacancies $n$ in front of it. In the steady state, using the well known mapping of this model to the zero range process, we write down an exact formula for the partition function and the particle-particle correlation function in the canonical ensemble. In the… ▽ More We consider an exclusion process on a ring in which a particle hops to an empty neighbouring site with a rate that depends on the number of vacancies $n$ in front of it. In the steady state, using the well known mapping of this model to the zero range process, we write down an exact formula for the partition function and the particle-particle correlation function in the canonical ensemble. In the thermodynamic limit, we find a simple analytical expression for the generating function of the correlation function. This result is applied to the hop rate $u(n)=1+(b/n)$ for which a phase transition between high-density laminar phase and low-density jammed phase occurs for $b > 2$. For these rates, we find that at the critical density, the correlation function decays algebraically with a continuously varying exponent $b-2$. We also calculate the two-point correlation function above the critical density, and find that the correlation length diverges with a critical exponent $ν=1/(b-2)$ for $b < 3$ and $1$ for $b > 3$. These results are compared with those obtained using an exact series expansion for finite systems. △ Less

Submitted 1 December, 2014; v1 submitted 7 July, 2014; originally announced July 2014.

Comments: Accepted in Phys. Rev. E

Journal ref: Phys. Rev. E, Volume 90, no. 6, (2014) 062104, 10pp

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

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

An Inhomogeneous Multispecies TASEP on a Ring

Authors: Arvind Ayyer, Svante Linusson

Abstract: We reinterpret and generalize conjectures of Lam and Williams as statements about the stationary distribution of a multispecies exclusion process on the ring. The central objects in our study are the multiline queues of Ferrari and Martin. We make some progress on some of the conjectures in different directions. First, we prove their conjectures in two special cases by generalizing the rates of th… ▽ More We reinterpret and generalize conjectures of Lam and Williams as statements about the stationary distribution of a multispecies exclusion process on the ring. The central objects in our study are the multiline queues of Ferrari and Martin. We make some progress on some of the conjectures in different directions. First, we prove their conjectures in two special cases by generalizing the rates of the Ferrari-Martin transitions. Secondly, we define a new process on multiline queues, which have a certain minimality property. This gives another proof for one of the special cases; namely arbitrary jump rates for three species. △ Less

Submitted 15 January, 2014; v1 submitted 1 June, 2012; originally announced June 2012.

Comments: 21 pages, 1 figure. major changes in exposition; definitions clarified and terminology made more self-contained

MSC Class: 60J27; 60K25. 60K35; 82C22; 05A99

Journal ref: Advances in Applied Mathematics 57 (2014) 21-43

New enumeration formulas for alternating sign matrices and square ice partition functions

Authors: Arvind Ayyer, Dan Romik

Abstract: The refined enumeration of alternating sign matrices (ASMs) of given order having prescribed behavior near one or more of their boundary edges has been the subject of extensive study, starting with the Refined Alternating Sign Matrix Conjecture of Mills-Robbins-Rumsey, its proof by Zeilberger, and more recent work on doubly-refined and triply-refined enumeration by several authors. In this paper w… ▽ More The refined enumeration of alternating sign matrices (ASMs) of given order having prescribed behavior near one or more of their boundary edges has been the subject of extensive study, starting with the Refined Alternating Sign Matrix Conjecture of Mills-Robbins-Rumsey, its proof by Zeilberger, and more recent work on doubly-refined and triply-refined enumeration by several authors. In this paper we extend the previously known results on this problem by deriving explicit enumeration formulas for the "top-left-bottom" (triply-refined) and "top-left-bottom-right" (quadruply-refined) enumerations. The latter case solves the problem of computing the full boundary correlation function for ASMs. The enumeration formulas are proved by deriving new representations, which are of independent interest, for the partition function of the square ice model with domain wall boundary conditions at the "combinatorial point" 2π/3. △ Less

Submitted 8 October, 2012; v1 submitted 16 February, 2012; originally announced February 2012.

Comments: 35 pages

Journal ref: Advances in Mathematics, Volume 235 (2013), Pages 161-186

Generalized matrix Ansatz in the multispecies exclusion process - partially asymmetric case

Authors: Chikashi Arita, Arvind Ayyer, Kirone Mallick, Sylvain Prolhac

Abstract: We investigate one of the simplest multispecies generalization of the asymmetric simple exclusion process on a ring. This process has a rich combinatorial spectral structure and a matrix product form for the stationary state. In the totally asymmetric case operators that conjugate the dynamics of systems with different numbers of species were obtained by the authors and reported recently. The exis… ▽ More We investigate one of the simplest multispecies generalization of the asymmetric simple exclusion process on a ring. This process has a rich combinatorial spectral structure and a matrix product form for the stationary state. In the totally asymmetric case operators that conjugate the dynamics of systems with different numbers of species were obtained by the authors and reported recently. The existence of such nontrivial operators was reformulated as a representation problem for a specific quadratic algebra (generalized matrix Ansatz). In the present work, we construct the family of representations explicitly for the partially asymmetric case. This solution cannot be obtained by a simple deformation of the totally asymmetric case. △ Less

Submitted 21 August, 2012; v1 submitted 1 January, 2012; originally announced January 2012.

Journal ref: 2012 J. Phys. A: Math. Theor. 45 195001

Stationary Distribution and Eigenvalues for a de Bruijn Process

Authors: Arvind Ayyer, Volker Strehl

Abstract: We define a de Bruijn process with parameters n and L as a certain continuous-time Markov chain on the de Bruijn graph with words of length L over an n-letter alphabet as vertices. We determine explicitly its steady state distribution and its characteristic polynomial, which turns out to decompose into linear factors. In addition, we examine the stationary state of two specializations in detail. I… ▽ More We define a de Bruijn process with parameters n and L as a certain continuous-time Markov chain on the de Bruijn graph with words of length L over an n-letter alphabet as vertices. We determine explicitly its steady state distribution and its characteristic polynomial, which turns out to decompose into linear factors. In addition, we examine the stationary state of two specializations in detail. In the first one, the de Bruijn-Bernoulli process, this is a product measure. In the second one, the Skin-deep de Bruin process, the distribution has constant density but nontrivial correlation functions. The two point correlation function is determined using generating function techniques. △ Less

Submitted 29 August, 2011; originally announced August 2011.

Comments: Dedicated to Herb Wilf on the occasion of his 80th birthday

MSC Class: 60J27; 60C05; 05C50; 05C81; 82C20

Journal ref: Advances in Combinatorics 2013, Waterloo Workshop in Computer Algebra, W80, May 26-29, 2011, pp 101-120, Kotsireas, Ilias S and Zima, Eugene V. (Eds.)

Recursive structures in the multispecies TASEP

Authors: Chikashi Arita, Arvind Ayyer, Kirone Mallick, Sylvain Prolhac

Abstract: We consider a multi-species generalization of the totally asymmetric simple exclusion process (TASEP) with the simple hopping rule: for x and yth-class particles (x<y), the transition xy -> yx occurs with a rate independent from the values x and y. P. A. Ferrari and J. Martin (2007) obtained the stationary state of this model thanks to a combinatorial algorithm, which was subsequently interpreted… ▽ More We consider a multi-species generalization of the totally asymmetric simple exclusion process (TASEP) with the simple hopping rule: for x and yth-class particles (x<y), the transition xy -> yx occurs with a rate independent from the values x and y. P. A. Ferrari and J. Martin (2007) obtained the stationary state of this model thanks to a combinatorial algorithm, which was subsequently interpreted as a matrix product representation by Evans et al. (2009). This `matrix ansatz' shows that the stationary state of the multi-species TASEP with N classes of particles (N-TASEP) can be constructed algebraically by the action of an operator on the (N-1)-TASEP stationary state. Besides, Arita et al. (2009) analyzed the spectral structure of the Markov matrix: they showed that the set of eigenvalues of the N-TASEP contains those of the (N-1)-TASEP and that the various spectral inclusions can be encoded in a hierarchical set-theoretic structure known as the Hasse diagram. Inspired by these works, we define nontrivial operators that allow us to construct eigenvectors of the N-TASEP by lifting the eigenvectors of the (N-1)-TASEP. This goal is achieved by generalizing the matrix product representation and the Ferrari-Martin algorithm. In particular, we show that the matrix ansatz is not only a convenient tool to write the stationary state but in fact intertwines Markov matrices of different values of N. △ Less

Submitted 19 April, 2011; originally announced April 2011.

Journal ref: J. Phys. A: Math. Theor. 44 (2011) 335004

Algebraic Properties of a Disordered Asymmetric Glauber Model

Authors: Arvind Ayyer

Abstract: We consider a variant of Glauber dynamics of Ising spins on a one-dimensional lattice, where each spin flips according to the relative state of the spin to its left. Moreover, each bond allows for two rates; flips which equalize nearest neighbor spins, and flips which "unequalize" them. In addition, the leftmost spin flips depending on the spin at that site. We explicitly calculate all eigenvalues… ▽ More We consider a variant of Glauber dynamics of Ising spins on a one-dimensional lattice, where each spin flips according to the relative state of the spin to its left. Moreover, each bond allows for two rates; flips which equalize nearest neighbor spins, and flips which "unequalize" them. In addition, the leftmost spin flips depending on the spin at that site. We explicitly calculate all eigenvalues of the transition matrix for all system sizes and conjecture a formula for the normalization factor of the model. We then analyze two limits of this model, which are analogous to ferromagnetic and antiferromagnetic behavior in the Ising model for which we are able to prove an analogous formula for the normalization factor. △ Less

Submitted 3 December, 2010; originally announced December 2010.

Comments: 16 pages

MSC Class: 60J27; 15B34; 05A05

Journal ref: J. Stat. Mech. (2011) P02034

On Some Classes of Open Two-Species Exclusion Processes

Authors: Arvind Ayyer, Joel L. Lebowitz, Eugene R. Speer

Abstract: We investigate some properties of the nonequilibrium stationary state (NESS) of a one dimensional open system consisting of first and second class (type 1 and type 2) particles. The dynamics are totally asymmetric but the rates for the different permitted exchanges (10 -> 01, 12 -> 21, and 20 -> 02) need not be equal. The entrance and exit rates of the different species can also be different. We s… ▽ More We investigate some properties of the nonequilibrium stationary state (NESS) of a one dimensional open system consisting of first and second class (type 1 and type 2) particles. The dynamics are totally asymmetric but the rates for the different permitted exchanges (10 -> 01, 12 -> 21, and 20 -> 02) need not be equal. The entrance and exit rates of the different species can also be different. We show that for certain classes of rates one can compute the currents and phase diagram, or at least obtain some monotonicity properties. For other classes one can obtain a matrix representation of the NESS; this generalizes previous work in which second class particles can neither enter nor leave the system. We analyze a simple example of this type and establish the existence of a randomly located shock at which the typical density profiles of all three species are discontinuous. △ Less

Submitted 27 August, 2010; originally announced August 2010.

Comments: 17 pages

MSC Class: 82C22

Journal ref: Markov Processes and Related Fields, 18 no. 1, 157--176 (2012)

Exact results for an asymmetric annihilation process with open boundaries

Authors: Arvind Ayyer, Kirone Mallick

Abstract: We consider a nonequilibrium reaction-diffusion model on a finite one dimensional lattice with bulk and boundary dynamics inspired by Glauber dynamics of the Ising model. We show that the model has a rich algebraic structure that we use to calculate its properties. In particular, we show that the Markov dynamics for a system of a given size can be embedded in the dynamics of systems of higher si… ▽ More We consider a nonequilibrium reaction-diffusion model on a finite one dimensional lattice with bulk and boundary dynamics inspired by Glauber dynamics of the Ising model. We show that the model has a rich algebraic structure that we use to calculate its properties. In particular, we show that the Markov dynamics for a system of a given size can be embedded in the dynamics of systems of higher sizes. This remark leads us to devise a technique we call the transfer matrix Ansatz that allows us to determine the steady state distribution and correlation functions. Furthermore, we show that the disorder variables satisfy very simple properties and we give a conjecture for the characteristic polynomial of Markov matrices. Lastly, we compare the transfer matrix Ansatz used here with the matrix product representation of the steady state of one-dimensional stochastic models. △ Less

Submitted 3 December, 2009; v1 submitted 5 October, 2009; originally announced October 2009.

Comments: 18 pages

Journal ref: J. Phys. A: Math. Theor. 43 045003 (2010)

Phase diagram of the ABC model on an interval

Authors: A. Ayyer, E. A. Carlen, J. L. Lebowitz, P. K. Mohanty, D. Mukamel, E. Speer

Abstract: The three species asymmetric ABC model was initially defined on a ring by Evans, Kafri, Koduvely, and Mukamel, and the weakly asymmetric version was later studied by Clincy, Derrida, and Evans. Here the latter model is studied on a one-dimensional lattice of N sites with closed (zero flux) boundaries. In this geometry the local particle conserving dynamics satisfies detailed balance with respect… ▽ More The three species asymmetric ABC model was initially defined on a ring by Evans, Kafri, Koduvely, and Mukamel, and the weakly asymmetric version was later studied by Clincy, Derrida, and Evans. Here the latter model is studied on a one-dimensional lattice of N sites with closed (zero flux) boundaries. In this geometry the local particle conserving dynamics satisfies detailed balance with respect to a canonical Gibbs measure with long range asymmetric pair interactions. This generalizes results for the ring case, where detailed balance holds, and in fact the steady state measure is known only for the case of equal densities of the different species: in the latter case the stationary states of the system on a ring and on an interval are the same. We prove that in the N to infinity limit the scaled density profiles are given by (pieces of) the periodic trajectory of a particle moving in a quartic confining potential. We further prove uniqueness of the profiles, i.e., the existence of a single phase, in all regions of the parameter space (of average densities and temperature) except at low temperature with all densities equal; in this case a continuum of phases, differing by translation, coexist. The results for the equal density case apply also to the system on the ring, and there extend results of Clincy et al. △ Less

Submitted 28 August, 2009; v1 submitted 29 May, 2009; originally announced May 2009.

Comments: 52 pages, AMS-LaTeX, 8 figures from 10 eps figure files. Revision: minor changes in response to referee reports; paper to appear in J. Stat. Phys

Journal ref: JSP, Volume 137, Numbers 5-6, 1166-1204 (2009)

On the Two Species Asymmetric Exclusion Process with Semi-Permeable Boundaries

Authors: Arvind Ayyer, Joel L. Lebowitz, Eugene R. Speer

Abstract: We investigate the structure of the nonequilibrium stationary state (NESS) of a system of first and second class particles, as well as vacancies (holes), on L sites of a one-dimensional lattice in contact with first class particle reservoirs at the boundary sites; these particles can enter at site 1, when it is vacant, with rate alpha, and exit from site L with rate beta. Second class particles… ▽ More We investigate the structure of the nonequilibrium stationary state (NESS) of a system of first and second class particles, as well as vacancies (holes), on L sites of a one-dimensional lattice in contact with first class particle reservoirs at the boundary sites; these particles can enter at site 1, when it is vacant, with rate alpha, and exit from site L with rate beta. Second class particles can neither enter nor leave the system, so the boundaries are semi-permeable. The internal dynamics are described by the usual totally asymmetric exclusion process (TASEP) with second class particles. An exact solution of the NESS was found by Arita. Here we describe two consequences of the fact that the flux of second class particles is zero. First, there exist (pinned and unpinned) fat shocks which determine the general structure of the phase diagram and of the local measures; the latter describe the microscopic structure of the system at different macroscopic points (in the limit L going to infinity in terms of superpositions of extremal measures of the infinite system. Second, the distribution of second class particles is given by an equilibrium ensemble in fixed volume, or equivalently but more simply by a pressure ensemble, in which the pair potential between neighboring particles grows logarithmically with distance. We also point out an unexpected feature in the microscopic structure of the NESS for finite L: if there are n second class particles in the system then the distribution of first class particles (respectively holes) on the first (respectively last) n sites is exchangeable. △ Less

Submitted 5 August, 2008; v1 submitted 15 July, 2008; originally announced July 2008.

Comments: 28 pages, 4 figures. Changed title and introduction for clarity, added references

Journal ref: Journal of Statistical Physics, volume 135 (2009), 1009-1037

Two Dimensional Directed Lattice Walks with Boundaries

Authors: Arvind Ayyer, Doron Zeilberger

Abstract: We present general algorithms (fully implemented in Maple) for calculations of various quantities related to constrained directed walks for a general set of steps on the square lattice in two dimensions. As a special case, we rederive results of earlier works. We present general algorithms (fully implemented in Maple) for calculations of various quantities related to constrained directed walks for a general set of steps on the square lattice in two dimensions. As a special case, we rederive results of earlier works. △ Less

Submitted 25 March, 2007; v1 submitted 26 January, 2007; originally announced January 2007.

Comments: 29 pages, 10 figures, some references added. Some physical results stated more clearly

Journal ref: Contemporary Mathematics, Volume 457, 1-19, (2007)

Energy transfer and locality in magnetohydrodynamic turbulence

Authors: Mahendra K. Verma, Arvind Ayyer, Amar V. Chandra

Abstract: The shell-to-shell energy transfer rates for magnetohydrodynamic (MHD) turbulence are computed analytically, which shows local energy transfer rates from velocity to velocity, velocity to magnetic, magnetic to velocity, and magnetic to magnetic fields for nonhelical MHD in the inertial range. It is also found that for kinetic-energy dominated MHD fluid, there is a preferential shell-to-shell ene… ▽ More The shell-to-shell energy transfer rates for magnetohydrodynamic (MHD) turbulence are computed analytically, which shows local energy transfer rates from velocity to velocity, velocity to magnetic, magnetic to velocity, and magnetic to magnetic fields for nonhelical MHD in the inertial range. It is also found that for kinetic-energy dominated MHD fluid, there is a preferential shell-to-shell energy transfer from kinetic to magnetic energy; the transfer is reversed for magnetic-energy dominated MHD fluid. This property is the reason for the asymptotic value of Alfven ratio to be close to 0.5. The analytical results are in close agreement with recent numerical results. When magnetic and kinetic helicities are turned on, the helical contributions are opposite to the corresponding nonhelical contributions. The helical energy transfers have significant nonlocal components. △ Less

Submitted 19 October, 2005; v1 submitted 3 August, 2003; originally announced August 2003.

Comments: 10 pages Revtex4, 4 Figures

Journal ref: Phys. Plasmas, 12, 82307, 2005

Local shell-to-shell energy transfer via nonlocal Interactions in fluid turbulence

Authors: Mahendra K. Verma, Arvind Ayyer, Olivier Debliquy, Shishir Kumar, Amar V. Chandra

Abstract: In this paper we analytically compute the strength of nonlinear interactions in a triad, and the energy exchanges between wavenumber shells in incompressible fluid turbulence. The computation has been done using first-order perturbative field theory. In three dimension, magnitude of triad interactions is large for nonlocal triads, and small for local triads. However, the shell-to-shell energy tr… ▽ More In this paper we analytically compute the strength of nonlinear interactions in a triad, and the energy exchanges between wavenumber shells in incompressible fluid turbulence. The computation has been done using first-order perturbative field theory. In three dimension, magnitude of triad interactions is large for nonlocal triads, and small for local triads. However, the shell-to-shell energy transfer rate is found to be local and forward. This result is due to the fact that the nonlocal triads occupy much less Fourier space volume than the local ones. The analytical results on three-dimensional shell-to-shell energy transfer match with their numerical counterparts. In two-dimensional turbulence, the energy transfer rates to the near-by shells are forward, but to the distant shells are backward; the cumulative effect is an inverse cascade of energy. △ Less

Submitted 19 October, 2005; v1 submitted 14 April, 2002; originally announced April 2002.

Comments: 10 pages, Revtex4

Journal ref: Pramana, v65, 297, 2005