Showing 1–38 of 38 results for author: Rassoul-Agha, F

Strong existence and uniqueness of the tilt-indexed Busemann process in the planar corner growth model

Authors: Christopher Janjigian, Firas Rassoul-Agha, Timo Seppäläinen

Abstract: We show that the Busemann process indexed by tilts in the super-differential of the limit shape exists and is unique in the strong sense in the i.i.d.\ planar corner growth model. This means that every probability space that supports the field of i.i.d.~weights supports a copy of the process and any two realizations of the process are equal almost surely. We show that the Busemann process indexed by tilts in the super-differential of the limit shape exists and is unique in the strong sense in the i.i.d.\ planar corner growth model. This means that every probability space that supports the field of i.i.d.~weights supports a copy of the process and any two realizations of the process are equal almost surely. △ Less

Submitted 11 July, 2025; originally announced July 2025.

Comments: 27 pages

Shocks and instability in Brownian last-passage percolation

Authors: Firas Rassoul-Agha, Mikhail Sweeney

Abstract: For stochastic Hamilton-Jacobi (SHJ) equations, instability points are the space-time locations where two eternal solutions with the same asymptotic velocity differ. Another crucial structure in such equations is shocks, which are the space-time locations where the velocity field is discontinuous. In this work, we provide a detailed analysis of the structure and relationships between shocks, insta… ▽ More For stochastic Hamilton-Jacobi (SHJ) equations, instability points are the space-time locations where two eternal solutions with the same asymptotic velocity differ. Another crucial structure in such equations is shocks, which are the space-time locations where the velocity field is discontinuous. In this work, we provide a detailed analysis of the structure and relationships between shocks, instability, and competition interfaces in the Brownian last-passage percolation model, which serves as a prototype of a semi-discrete inviscid stochastic HJ equation in one space dimension. Among our findings, we show that the shock trees of the two unstable eternal solutions differ within the instability region and align outside of it. Furthermore, we demonstrate that one can reconstruct a skeleton of the instability region from these two shock trees. △ Less

Submitted 18 October, 2024; v1 submitted 10 July, 2024; originally announced July 2024.

Comments: 42 pages, 8 figures. Some new results concerning the density of shocks and their locations: Lemmas 7.12, 8.1, and 8.8 and Corollary 8.10

MSC Class: 60K35; 60K37; 37H05; 37H30; 37L55; 35F21; 35R60

Jointly invariant measures for the Kardar-Parisi-Zhang Equation

Authors: Sean Groathouse, Firas Rassoul-Agha, Timo Seppäläinen, Evan Sorensen

Abstract: We give an explicit description of the jointly invariant measures for the KPZ equation. These are couplings of Brownian motions with drift, and can be extended to a process defined for all drift parameters simultaneously. We term this process the KPZ horizon (KPZH). As a corollary of this description, we resolve a recent conjecture of Janjigian, and the second and third authors by showing the exis… ▽ More We give an explicit description of the jointly invariant measures for the KPZ equation. These are couplings of Brownian motions with drift, and can be extended to a process defined for all drift parameters simultaneously. We term this process the KPZ horizon (KPZH). As a corollary of this description, we resolve a recent conjecture of Janjigian, and the second and third authors by showing the existence of a random, countably infinite dense set of directions at which the Busemann process of the KPZ equation is discontinuous. This signals instability and shows the failure of the one force--one solution principle and the existence of at least two extremal semi-infinite polymer measures in the exceptional directions. As the inverse temperature parameter $β$ for the KPZ equation goes to $\infty$, the KPZH converges to the stationary horizon (SH) first introduced by Busani, and studied further by Busani and the third and fourth authors. As $β\searrow 0$, the KPZH converges to a coupling of Brownian motions that differ by linear shifts, which is a jointly invariant measure for the Edwards-Wilkinson fixed point. △ Less

Submitted 10 February, 2025; v1 submitted 29 September, 2023; originally announced September 2023.

Comments: v3: accepted version. To appear in Probability Theory and Related Fields

Journal ref: Probability Theory and Related Fields, 192 (2025), 303-372

Existence of generalized Busemann functions and Gibbs measures for random walks in random potentials

Authors: Sean Groathouse, Christopher Janjigian, Firas Rassoul-Agha

Abstract: We establish the existence of generalized Busemann functions and Gibbs-Dobrushin-Landford-Ruelle measures for a general class of lattice random walks in random potential with finitely many admissible steps. This class encompasses directed polymers in random environments, first- and last-passage percolation, and elliptic random walks in both static and dynamic random environments in all dimensions… ▽ More We establish the existence of generalized Busemann functions and Gibbs-Dobrushin-Landford-Ruelle measures for a general class of lattice random walks in random potential with finitely many admissible steps. This class encompasses directed polymers in random environments, first- and last-passage percolation, and elliptic random walks in both static and dynamic random environments in all dimensions and with minimal assumptions on the random potential. △ Less

Submitted 15 January, 2025; v1 submitted 30 June, 2023; originally announced June 2023.

Comments: 58 pages, 4 figures. Reorganized for better exposition. Added more examples and discussion

Coalescence and total-variation distance of semi-infinite inverse-gamma polymers

Authors: Firas Rassoul-Agha, Timo Seppäläinen, Xiao Shen

Abstract: We show that two semi-infinite positive temperature polymers coalesce on the scale predicted by KPZ (Kardar-Parisi-Zhang) universality. The two polymer paths have the same asymptotic direction and evolve in the same environment, independently until coalescence. If they start at distance $k$ apart, their coalescence occurs on the scale $k^{3/2}$. It follows that the total variation distance of two… ▽ More We show that two semi-infinite positive temperature polymers coalesce on the scale predicted by KPZ (Kardar-Parisi-Zhang) universality. The two polymer paths have the same asymptotic direction and evolve in the same environment, independently until coalescence. If they start at distance $k$ apart, their coalescence occurs on the scale $k^{3/2}$. It follows that the total variation distance of two semi-infinite polymer measures decays on this same scale. Our results are upper and lower bounds on probabilities and expectations that match, up to constant factors and occasional logarithmic corrections. Our proofs are done in the context of the solvable inverse-gamma polymer model, but without appeal to integrable probability. With minor modifications, our proofs give also bounds on transversal fluctuations of the polymer path. Since the free energy of a directed polymer is a discretization of a stochastically forced viscous Hamilton-Jacobi equation, our results suggest that the hyperbolicity phenomenon of such equations obeys the KPZ exponent. △ Less

Submitted 17 May, 2023; originally announced May 2023.

Comments: 48 pages, 16 figures

MSC Class: 60K35; 60K37

Ergodicity and synchronization of the Kardar-Parisi-Zhang equation

Authors: Christopher Janjigian, Firas Rassoul-Agha, Timo Seppäläinen

Abstract: The Kardar-Parisi-Zhang (KPZ) equation on the real line is well-known to admit Brownian motion with a linear drift as a stationary distribution (modulo additive constants). We show that these solutions are attractive, a result known as a one force--one solution (1F1S) principle or synchronization: the solution to the KPZ equation started in the distant past from an initial condition with a given s… ▽ More The Kardar-Parisi-Zhang (KPZ) equation on the real line is well-known to admit Brownian motion with a linear drift as a stationary distribution (modulo additive constants). We show that these solutions are attractive, a result known as a one force--one solution (1F1S) principle or synchronization: the solution to the KPZ equation started in the distant past from an initial condition with a given slope will converge almost surely to a Brownian motion with that drift, which shows in particular that these invariant measures are totally ergodic. Our proof constructs the Busemann process for the equation, which gives the natural jointly stationary coupling of all of these stationary solutions. Synchronization then holds simultaneously (on a single full probability event) for all but an at most countable random set of asymptotic slopes. This set of exceptional slopes of instability for which synchronization fails is either almost surely empty or almost surely dense. Along the way, we prove a shape theorem which implies almost sure stochastic homogenization of the KPZ equation, for which the Busemann process gives the process of correctors. We also show that the forward and backward point-to-point and point-to-line continuum polymers converge to semi-infinite continuum polymers whose transitions are Doob transforms via Busemann functions of the transitions of the finite length polymers. △ Less

Submitted 12 November, 2022; originally announced November 2022.

Comments: 94 pages

MSC Class: 60H15; 60K35; 60K37; 37H15; 37L55; 35R60

The Green's function of the parabolic Anderson model and the continuum directed polymer

Authors: Tom Alberts, Christopher Janjigian, Firas Rassoul-Agha, Timo Seppäläinen

Abstract: We build a regular version of the field $Z_β(t,x|s,y)$ which describes the Green's function, or fundamental solution, of the parabolic Anderson model (PAM) with white noise forcing on $\mathbb{R}^{1+1}$: $\partial_t Z_β(t,x | s,y) =$ $\frac{1}{2}\partial_{xx} Z_β(t,x|s,y) + βZ_β(t,x | s,y)W(t,x)$, $Z_β(s,x | s,y) = δ(x-y)$ for all $-\infty < s \leq t < \infty$, all $x,y \in \mathbb{R}$, and all… ▽ More We build a regular version of the field $Z_β(t,x|s,y)$ which describes the Green's function, or fundamental solution, of the parabolic Anderson model (PAM) with white noise forcing on $\mathbb{R}^{1+1}$: $\partial_t Z_β(t,x | s,y) =$ $\frac{1}{2}\partial_{xx} Z_β(t,x|s,y) + βZ_β(t,x | s,y)W(t,x)$, $Z_β(s,x | s,y) = δ(x-y)$ for all $-\infty < s \leq t < \infty$, all $x,y \in \mathbb{R}$, and all $β\in \mathbb{R}$ simultaneously. Through the superposition principle, our construction gives a pointwise coupling of all solutions to the PAM with initial or terminal conditions satisfying sharp growth assumptions, for all initial and terminal times. Using this coupling, we show that the PAM with a (sub-)exponentially growing initial condition admits conserved quantities given by the limits $\displaystyle \lim_{x\to \pm\infty} x^{-1}\log Z_β(t,x)$, in addition to proving many new basic properties of solutions to the PAM with general initial conditions. These properties are then connected to the existence, regularity, and continuity of the quenched continuum polymer measures. Through the polymer connection, we also show that the kernel $(x,y) \mapsto Z_β(t,x | s,y)$ is strictly totally positive for all $t>s$ and $β\in \mathbb{R}$. △ Less

Submitted 14 November, 2022; v1 submitted 23 August, 2022; originally announced August 2022.

Comments: Some presentation improvements over the previous version and a few slightly strengthened results. 71 pages, 3 figures

Non-existence of non-trivial bi-infinite geodesics in Geometric Last Passage Percolation

Authors: Sean Groathouse, Christopher Janjigian, Firas Rassoul-Agha

Abstract: We show non-existence of non-trivial bi-infinite geodesics in the solvable last-passage percolation model with i.i.d. geometric weights. This gives the first example of a model with discrete weights where non-existence of non-trivial bi-infinite geodesics has been proven. Our proofs rely on the structure of the increment-stationary versions of the model, following the approach recently introduced… ▽ More We show non-existence of non-trivial bi-infinite geodesics in the solvable last-passage percolation model with i.i.d. geometric weights. This gives the first example of a model with discrete weights where non-existence of non-trivial bi-infinite geodesics has been proven. Our proofs rely on the structure of the increment-stationary versions of the model, following the approach recently introduced by Balázs, Busani, and Seppäläinen. Most of our results work for a general weights distribution and we identify the two properties of the stationary distributions which would need to be shown in order to generalize the main result to a non-solvable setting. △ Less

Submitted 30 November, 2021; originally announced December 2021.

Comments: 37 pages, 4 figures

MSC Class: 60K35; 60K37

Geodesic length and shifted weights in first-passage percolation

Authors: Arjun Krishnan, Firas Rassoul-Agha, Timo Seppäläinen

Abstract: We study first-passage percolation through related optimization problems over paths of restricted length. The path length variable is in duality with a shift of the weights. This puts into a convex duality framework old observations about the convergence of the normalized Euclidean length of geodesics due to Hammersley and Welsh, Smythe and Wierman, and Kesten, and leads to new results about geode… ▽ More We study first-passage percolation through related optimization problems over paths of restricted length. The path length variable is in duality with a shift of the weights. This puts into a convex duality framework old observations about the convergence of the normalized Euclidean length of geodesics due to Hammersley and Welsh, Smythe and Wierman, and Kesten, and leads to new results about geodesic length and the regularity of the shape function as a function of the weight shift. For points far enough away from the origin, the ratio of the geodesic length and the $\ell^1$ distance to the endpoint is uniformly bounded away from one. The shape function is a strictly concave function of the weight shift. Atoms of the weight distribution generate singularities, that is, points of nondifferentiability, in this function. We generalize to all distributions, directions and dimensions an old singularity result of Steele and Zhang for the planar Bernoulli case. When the weight distribution has two or more atoms, a dense set of shifts produce singularities. The results come from a combination of the convex duality, the shape theorems of the different first-passage optimization problems, and modification arguments. △ Less

Submitted 17 February, 2023; v1 submitted 28 January, 2021; originally announced January 2021.

Comments: 74 pages, 10 figures

MSC Class: 60K35; 60K37

A shape theorem and a variational formula for the quenched Lyapunov exponent of random walk in a random potential

Authors: Christopher Janjigian, Sergazy Nurbavliyev, Firas Rassoul-Agha

Abstract: We prove a shape theorem and derive a variational formula for the limiting quenched Lyapunov exponent and the Green's function of random walk in a random potential on a square lattice of arbitrary dimension and with an arbitrary finite set of steps. The potential is a function of a stationary environment and the step of the walk. This potential is subject to a moment assumption whose strictness is… ▽ More We prove a shape theorem and derive a variational formula for the limiting quenched Lyapunov exponent and the Green's function of random walk in a random potential on a square lattice of arbitrary dimension and with an arbitrary finite set of steps. The potential is a function of a stationary environment and the step of the walk. This potential is subject to a moment assumption whose strictness is tied to the mixing of the environment. Our setting includes directed and undirected polymers, random walk in static and dynamic random environment, and, when the temperature is taken to zero, our results also give a shape theorem and a variational formula for the time constant of both site and edge directed last-passage percolation and standard first-passage percolation. △ Less

Submitted 18 June, 2020; originally announced June 2020.

Comments: 33 pages

MSC Class: 60K35; 60K37

Geometry of geodesics through Busemann measures in directed last-passage percolation

Authors: Christopher Janjigian, Firas Rassoul-Agha, Timo Seppäläinen

Abstract: We consider planar directed last-passage percolation on the square lattice with general i.i.d. weights and study the geometry of the full set of semi-infinite geodesics in a typical realization of the random environment. The structure of the geodesics is studied through the properties of the Busemann functions viewed as a stochastic process indexed by the asymptotic direction. Our results are furt… ▽ More We consider planar directed last-passage percolation on the square lattice with general i.i.d. weights and study the geometry of the full set of semi-infinite geodesics in a typical realization of the random environment. The structure of the geodesics is studied through the properties of the Busemann functions viewed as a stochastic process indexed by the asymptotic direction. Our results are further connected to the ergodic program for and stability properties of random Hamilton-Jacobi equations. In the exactly solvable exponential model, our results specialize to give the first complete characterization of the uniqueness and coalescence structure of the entire family of semi-infinite geodesics for any model of this type. Furthermore, we compute statistics of locations of instability, where we discover an unexpected connection to simple symmetric random walk. △ Less

Submitted 3 September, 2021; v1 submitted 23 August, 2019; originally announced August 2019.

Comments: Fixed a few typos. Page layout changed. 59 pages, 13 figures

MSC Class: 37H99; 37L55; 49L99; 60G57; 60K35; 60K37; 82C23; 82C43

Journal ref: Journal of the European Mathematical Society vol. 25 no. 7 pp. 2573-2639, 2023

Busemann functions and semi-infinite O'Connell-Yor polymers

Authors: Tom Alberts, Firas Rassoul-Agha, Mackenzie Simper

Abstract: We prove that given any fixed asymptotic velocity, the finite length O'Connell-Yor polymer has an infinite length limit satisfying the law of large numbers with this velocity. By a Markovian property of the quenched polymer this reduces to showing the existence of Busemann functions: almost sure limits of ratios of random point-to-point partition functions. The key ingredients are the Burke proper… ▽ More We prove that given any fixed asymptotic velocity, the finite length O'Connell-Yor polymer has an infinite length limit satisfying the law of large numbers with this velocity. By a Markovian property of the quenched polymer this reduces to showing the existence of Busemann functions: almost sure limits of ratios of random point-to-point partition functions. The key ingredients are the Burke property of the O'Connell-Yor polymer and a comparison lemma for the ratios of partition functions. We also show the existence of infinite length limits in the Brownian last passage percolation model. △ Less

Submitted 30 November, 2019; v1 submitted 30 May, 2019; originally announced May 2019.

Comments: 22 pages, 1 figure, version accepted for publication at Bernoulli

MSC Class: 60J27; 60J65; 60K35

Uniqueness and ergodicity of stationary directed polymers on $\mathbb Z^2$

Authors: Christopher Janjigian, Firas Rassoul-Agha

Abstract: We study the ergodic theory of stationary directed nearest-neighbor polymer models on $\mathbb Z^2$, with i.i.d. weights. Such models are equivalent to specifying a stationary distribution on the space of weights and correctors that satisfy certain consistency conditions. We show that for prescribed weight distribution and corrector mean, there is at most one stationary polymer distribution which… ▽ More We study the ergodic theory of stationary directed nearest-neighbor polymer models on $\mathbb Z^2$, with i.i.d. weights. Such models are equivalent to specifying a stationary distribution on the space of weights and correctors that satisfy certain consistency conditions. We show that for prescribed weight distribution and corrector mean, there is at most one stationary polymer distribution which is ergodic under the $e_1$ or $e_2$ shift. Further, if the weights have more than two moments and the corrector mean vector is an extreme point of the superdifferential of the limiting free energy, then the corrector distribution is ergodic under each of the $e_1$ and $e_2$ shifts. △ Less

Submitted 12 April, 2019; v1 submitted 20 December, 2018; originally announced December 2018.

Comments: 15 pages. Restructured the manuscript

MSC Class: 60K35; 60K37

Journal ref: J Stat Phys 179, 672-689 (2020)

Busemann functions and Gibbs measures in directed polymer models on $\mathbb{Z}^2$

Authors: Christopher Janjigian, Firas Rassoul-Agha

Abstract: We consider random walk in a space-time random potential, also known as directed random polymer measures, on the planar square lattice with nearest-neighbor steps and general i.i.d. weights on the vertices. We construct covariant cocycles and use them to prove new results on existence, uniqueness/non-uniqueness, and asymptotic directions of semi-infinite polymer measures (solutions to the Dobrushi… ▽ More We consider random walk in a space-time random potential, also known as directed random polymer measures, on the planar square lattice with nearest-neighbor steps and general i.i.d. weights on the vertices. We construct covariant cocycles and use them to prove new results on existence, uniqueness/non-uniqueness, and asymptotic directions of semi-infinite polymer measures (solutions to the Dobrushin-Lanford-Ruelle equations). We also prove non-existence of covariant or deterministically directed bi-infinite polymer measures. Along the way, we prove almost sure existence of Busemann function limits in directions where the limiting free energy has some regularity. △ Less

Submitted 9 October, 2019; v1 submitted 8 October, 2018; originally announced October 2018.

Comments: 49 pages, 2 figures. Minor typos corrected. A shorter version will appear in the Annals of Probability

MSC Class: 60K35; 60K37

Journal ref: Ann. Probab., Volume 48, Number 2 (2020), 778-816

Busemann functions, geodesics, and the competition interface for directed last-passage percolation

Authors: Firas Rassoul-Agha

Abstract: In this survey article we consider the directed last-passage percolation model on the planar square lattice with nearest-neighbor steps and general i.i.d. weights on the vertices, outside of the class of exactly solvable models. We show how stationary cocycles are constructed from queueing fixed points and how these cocycles characterize the limit shape, yield existence of Busemann functions in di… ▽ More In this survey article we consider the directed last-passage percolation model on the planar square lattice with nearest-neighbor steps and general i.i.d. weights on the vertices, outside of the class of exactly solvable models. We show how stationary cocycles are constructed from queueing fixed points and how these cocycles characterize the limit shape, yield existence of Busemann functions in directions where the shape has some regularity, describe the direction of the competition interface, and answer questions on existence, uniqueness, and coalescence of directional semi-infinite geodesics, and on nonexistence of doubly infinite geodesics. △ Less

Submitted 16 April, 2018; originally announced April 2018.

Comments: This is a chapter in a forthcoming AMS Proceedings collection of expanded notes from the AMS Short Course "Random Growth Models," which took place in Atlanta, GA, at the AMS Joint Mathematics Meetings in January 2017. Editors: Michael Damron, Firas Rassoul-Agha, Timo Seppalainen

MSC Class: 60K35; 60K37; 82B43

Large deviations and wandering exponent for random walk in a dynamic beta environment

Authors: Márton Balázs, Firas Rassoul-Agha, Timo Seppäläinen

Abstract: Random walk in a dynamic i.i.d. beta random environment, conditioned to escape at an atypical velocity, converges to a Doob transform of the original walk. The Doob-transformed environment is correlated in time, i.i.d. in space, and its marginal density function is a product of a beta density and a hypergeometric function. Under its averaged distribution the transformed walk obeys the wandering ex… ▽ More Random walk in a dynamic i.i.d. beta random environment, conditioned to escape at an atypical velocity, converges to a Doob transform of the original walk. The Doob-transformed environment is correlated in time, i.i.d. in space, and its marginal density function is a product of a beta density and a hypergeometric function. Under its averaged distribution the transformed walk obeys the wandering exponent 2/3 that agrees with Kardar-Parisi-Zhang universality. The harmonic function in the Doob transform comes from a Busemann-type limit and appears as an extremal in a variational problem for the quenched large deviation rate function. △ Less

Submitted 5 February, 2018; v1 submitted 24 January, 2018; originally announced January 2018.

Comments: 47 pages, 6 figures. Some proofs were shortened with references to the concurrent paper arXiv:1711.08432

MSC Class: 60K35; 60K37

Journal ref: Ann. Probab. 47(4): 2186-2229 (July 2019)

Averaged vs. quenched large deviations and entropy for random walk in a dynamic random environment

Authors: Firas Rassoul-Agha, Timo Seppäläinen, Atilla Yilmaz

Abstract: We consider random walk with bounded jumps on a hypercubic lattice of arbitrary dimension in a dynamic random environment. The environment is temporally independent and spatially translation invariant. We study the rate functions of the level-3 averaged and quenched large deviation principles from the point of view of the particle. In the averaged case the rate function is a specific relative entr… ▽ More We consider random walk with bounded jumps on a hypercubic lattice of arbitrary dimension in a dynamic random environment. The environment is temporally independent and spatially translation invariant. We study the rate functions of the level-3 averaged and quenched large deviation principles from the point of view of the particle. In the averaged case the rate function is a specific relative entropy, while in the quenched case it is a Donsker-Varadhan type relative entropy for Markov processes. We relate these entropies to each other and seek to identify the minimizers of the level-3 to level-1 contractions in both settings. Motivation for this work comes from variational descriptions of the quenched free energy of directed polymer models where the same Markov process entropy appears. △ Less

Submitted 24 July, 2016; originally announced July 2016.

Comments: 38 pages

MSC Class: 60K37; 60F10 (Primary) 82C41; 82C44 (Secondary)

Geodesics and the competition interface for the corner growth model

Authors: Nicos Georgiou, Firas Rassoul-Agha, Timo Seppäläinen

Abstract: We study the directed last-passage percolation model on the planar integer lattice with nearest-neighbor steps and general i.i.d. weights on the vertices, outside the class of exactly solvable models. In a previous paper we constructed stationary cocycles and Busemann functions for this model. Using these objects, we prove new results on the competition interface, on existence, uniqueness, and coa… ▽ More We study the directed last-passage percolation model on the planar integer lattice with nearest-neighbor steps and general i.i.d. weights on the vertices, outside the class of exactly solvable models. In a previous paper we constructed stationary cocycles and Busemann functions for this model. Using these objects, we prove new results on the competition interface, on existence, uniqueness, and coalescence of directional semi-infinite geodesics, and on nonexistence of doubly infinite geodesics. △ Less

Submitted 24 July, 2016; v1 submitted 3 October, 2015; originally announced October 2015.

Comments: 32 pages, 1 figure. Some additions and corrections. Appendix A on coalescence of cocycle geodesics has been omitted but can be found in version 1 of this submission. To appear in Probability Theory and Related Fields

Stationary cocycles and Busemann functions for the corner growth model

Authors: Nicos Georgiou, Firas Rassoul-Agha, Timo Seppäläinen

Abstract: We study the directed last-passage percolation model on the planar square lattice with nearest-neighbor steps and general i.i.d. weights on the vertices, outside of the class of exactly solvable models. Stationary cocycles are constructed for this percolation model from queueing fixed points. These cocycles serve as boundary conditions for stationary last-passage percolation, solve variational for… ▽ More We study the directed last-passage percolation model on the planar square lattice with nearest-neighbor steps and general i.i.d. weights on the vertices, outside of the class of exactly solvable models. Stationary cocycles are constructed for this percolation model from queueing fixed points. These cocycles serve as boundary conditions for stationary last-passage percolation, solve variational formulas that characterize limit shapes, and yield existence of Busemann functions in directions where the shape has some regularity. In a sequel to this paper the cocycles will be used to prove results about semi-infinite geodesics and the competition interface. △ Less

Submitted 24 July, 2016; v1 submitted 3 October, 2015; originally announced October 2015.

Comments: 44 pages, 4 figures. Some additions and corrections. To appear in Probability Theory and Related Fields

Variational formulas and disorder regimes of random walks in random potentials

Authors: Firas Rassoul-Agha, Timo Seppäläinen, Atilla Yilmaz

Abstract: We give two variational formulas (qVar1) and (qVar2) for the quenched free energy of a random walk in random potential (RWRP) when (i) the underlying walk is directed or undirected, (ii) the environment is stationary and ergodic, and (iii) the potential is allowed to depend on the next step of the walk which covers random walk in random environment (RWRE). In the directed i.i.d. case, we also give… ▽ More We give two variational formulas (qVar1) and (qVar2) for the quenched free energy of a random walk in random potential (RWRP) when (i) the underlying walk is directed or undirected, (ii) the environment is stationary and ergodic, and (iii) the potential is allowed to depend on the next step of the walk which covers random walk in random environment (RWRE). In the directed i.i.d. case, we also give two variational formulas (aVar1) and (aVar2) for the annealed free energy of RWRP. These four formulas are the same except that they involve infima over different sets, and the first two are modified versions of a previously known variational formula (qVar0) for which we provide a short alternative proof. Then, we show that (qVar0) always has a minimizer, (aVar2) never has any minimizers unless the RWRP is an RWRE, and (aVar1) has a minimizer if and only if the RWRP is in the weak disorder regime. In the latter case, the minimizer of (aVar1) is unique and it is also the unique minimizer of (qVar1), but (qVar2) has no minimizers except for RWRE. In the case of strong disorder, we give a sufficient condition for the nonexistence of minimizers of (qVar1) and (qVar2) which is satisfied for the log-gamma directed polymer with a sufficiently small parameter. We end with a conjecture which implies that (qVar1) and (qVar2) have no minimizers under very strong disorder. △ Less

Submitted 30 September, 2016; v1 submitted 16 October, 2014; originally announced October 2014.

Comments: Published at http://dx.doi.org/10.3150/15-BEJ747 in the Bernoulli (http://isi.cbs.nl/bernoulli/) by the International Statistical Institute/Bernoulli Society (http://isi.cbs.nl/BS/bshome.htm)

Report number: IMS-BEJ-BEJ747

Journal ref: Bernoulli 2017, Vol. 23, No. 1, 405-431

Stationary cocycles for the corner growth model

Authors: Nicos Georgiou, Firas Rassoul-Agha, Timo Seppäläinen

Abstract: We study the directed last-passage percolation model on the planar integer lattice with nearest-neighbor steps and general i.i.d. weights on the vertices, outside the class of exactly solvable models. Stationary cocycles are constructed for this percolation model from queueing fixed points. These cocycles serve as boundary conditions for stationary last-passage percolation, define solutions to var… ▽ More We study the directed last-passage percolation model on the planar integer lattice with nearest-neighbor steps and general i.i.d. weights on the vertices, outside the class of exactly solvable models. Stationary cocycles are constructed for this percolation model from queueing fixed points. These cocycles serve as boundary conditions for stationary last-passage percolation, define solutions to variational formulas that characterize limit shapes, and yield new results for Busemann functions, geodesics and the competition interface. △ Less

Submitted 6 October, 2015; v1 submitted 30 April, 2014; originally announced April 2014.

Comments: 69 pages, 10 figures. This submission has been superseded by arXiv:1510.00859 and arXiv:1510.00860 and is no longer updated

MSC Class: 60K35; 65K37

Variational formulas and cocycle solutions for directed polymer and percolation models

Authors: Nicos Georgiou, Firas Rassoul-Agha, Timo Seppäläinen

Abstract: We discuss variational formulas for the limits of certain models of motion in a random medium: namely, the limiting time constant for last-passage percolation and the limiting free energy for directed polymers. The results are valid for models in arbitrary dimension, steps of the admissible paths can be general, the environment process is ergodic under shifts, and the potential accumulated along a… ▽ More We discuss variational formulas for the limits of certain models of motion in a random medium: namely, the limiting time constant for last-passage percolation and the limiting free energy for directed polymers. The results are valid for models in arbitrary dimension, steps of the admissible paths can be general, the environment process is ergodic under shifts, and the potential accumulated along a path can depend on the environment and the next step of the path. The variational formulas come in two types: one minimizes over gradient-like cocycles, and another one maximizes over invariant measures on the space of environments and paths. Minimizing cocycles can be obtained from Busemann functions when these can be proved to exist. The results are illustrated through 1+1 dimensional exactly solvable examples, periodic examples, and polymers in weak disorder. △ Less

Submitted 21 January, 2016; v1 submitted 12 November, 2013; originally announced November 2013.

Comments: 41 pages, 2 figures. Version accepted in Communications in Mathematical Physics

MSC Class: 60K35; 60K37

Ratios of partition functions for the log-gamma polymer

Authors: Nicos Georgiou, Firas Rassoul-Agha, Timo Seppäläinen, Atilla Yilmaz

Abstract: We introduce a random walk in random environment associated to an underlying directed polymer model in $1+1$ dimensions. This walk is the positive temperature counterpart of the competition interface of percolation and arises as the limit of quenched polymer measures. We prove this limit for the exactly solvable log-gamma polymer, as a consequence of almost sure limits of ratios of partition funct… ▽ More We introduce a random walk in random environment associated to an underlying directed polymer model in $1+1$ dimensions. This walk is the positive temperature counterpart of the competition interface of percolation and arises as the limit of quenched polymer measures. We prove this limit for the exactly solvable log-gamma polymer, as a consequence of almost sure limits of ratios of partition functions. These limits of ratios give the Busemann functions of the log-gamma polymer, and furnish centered cocycles that solve a variational formula for the limiting free energy. Limits of ratios of point-to-point and point-to-line partition functions manifest a duality between tilt and velocity that comes from quenched large deviations under polymer measures. In the log-gamma case, we identify a family of ergodic invariant distributions for the random walk in random environment. △ Less

Submitted 28 October, 2015; v1 submitted 5 March, 2013; originally announced March 2013.

Comments: Published at http://dx.doi.org/10.1214/14-AOP933 in the Annals of Probability (http://www.imstat.org/aop/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AOP-AOP933

Journal ref: Annals of Probability 2015, Vol. 43, No. 5, 2282-2331

Quenched Point-to-Point Free Energy for Random Walks in Random Potentials

Authors: Firas Rassoul-Agha, Timo Seppäläinen

Abstract: We consider a random walk in a random potential on a square lattice of arbitrary dimension. The potential is a function of an ergodic environment and some steps of the walk. The potential can be unbounded, but it is subject to a moment assumption whose strictness is tied to the mixing of the environment, the best case being the i.i.d. environment. We prove that the infinite volume quenched point-t… ▽ More We consider a random walk in a random potential on a square lattice of arbitrary dimension. The potential is a function of an ergodic environment and some steps of the walk. The potential can be unbounded, but it is subject to a moment assumption whose strictness is tied to the mixing of the environment, the best case being the i.i.d. environment. We prove that the infinite volume quenched point-to-point free energy exists and has a variational formula in terms of an entropy. We establish regularity properties of the point-to-point free energy, as a function of the potential and as a function on the convex hull of the admissible steps of the walk, and link it to the infinite volume free energy and quenched large deviations of the endpoint of the walk. One corollary is a quenched large deviation principle for random walk in an ergodic random environment, with a continuous rate function. △ Less

Submitted 11 February, 2013; v1 submitted 12 February, 2012; originally announced February 2012.

Comments: 39 pages, 3 figures, minor typos fixed

MSC Class: 60F10; 60K35; 60K37; 82D60; 82B41

Independent Particles in a Dynamical Random Environment

Authors: Mathew Joseph, Firas Rassoul-Agha, Timo Seppäläinen

Abstract: We study the motion of independent particles in a dynamical random environment on the integer lattice. The environment has a product distribution. For the multidimensional case, we characterize the class of spatially ergodic invariant measures. These invariant distributions are mixtures of inhomogeneous Poisson product measures that depend on the past of the environment. We also investigate the co… ▽ More We study the motion of independent particles in a dynamical random environment on the integer lattice. The environment has a product distribution. For the multidimensional case, we characterize the class of spatially ergodic invariant measures. These invariant distributions are mixtures of inhomogeneous Poisson product measures that depend on the past of the environment. We also investigate the correlations in this measure. For dimensions one and two, we prove convergence to equilibrium from spatially ergodic initial distributions. In the one-dimensional situation we study fluctuations of the net current seen by an observer traveling at a deterministic speed. When this current is centered by its quenched mean its limit distributions are the same as for classical independent particles. △ Less

Submitted 19 September, 2018; v1 submitted 9 October, 2011; originally announced October 2011.

Comments: Final version. 41 pages

MSC Class: 60K35; 60K37

Level 1 quenched large deviation principle for random walk in dynamic random environment

Authors: David Campos, Alexander Drewitz, Alejandro F. Ramirez, Firas Rassoul-Agha, Timo Seppalainen

Abstract: Consider a random walk in a time-dependent random environment on the lattice Zd. Recently, Rassoul-Agha, Seppalainen and Yilmaz [RSY11] proved a general large deviation principle under mild ergodicity assumptions on the random environment for such a random walk, establishing first level 2 and 3 large deviation principles. Here we present two alternative short proofs of the level 1 large deviatio… ▽ More Consider a random walk in a time-dependent random environment on the lattice Zd. Recently, Rassoul-Agha, Seppalainen and Yilmaz [RSY11] proved a general large deviation principle under mild ergodicity assumptions on the random environment for such a random walk, establishing first level 2 and 3 large deviation principles. Here we present two alternative short proofs of the level 1 large deviations under mild ergodicity assumptions on the environment: one for the continuous time case and another one for the discrete time case. Both proofs provide the existence, continuity and convexity of the rate function. Our methods are based on the use of the sub-additive ergodic theorem as presented by Varadhan in 2003. △ Less

Submitted 22 August, 2012; v1 submitted 28 May, 2011; originally announced May 2011.

Comments: 18 pages. Revision of previous version

MSC Class: 60F10; 82C41

Quenched Free Energy and Large Deviations for Random Walks in Random Potentials

Authors: Firas Rassoul-Agha, Timo Seppalainen, Atilla Yilmaz

Abstract: We study quenched distributions on random walks in a random potential on integer lattices of arbitrary dimension and with an arbitrary finite set of admissible steps. The potential can be unbounded and can depend on a few steps of the walk. Directed, undirected and stretched polymers, as well as random walk in random environment, are covered. The restriction needed is on the moment of the potentia… ▽ More We study quenched distributions on random walks in a random potential on integer lattices of arbitrary dimension and with an arbitrary finite set of admissible steps. The potential can be unbounded and can depend on a few steps of the walk. Directed, undirected and stretched polymers, as well as random walk in random environment, are covered. The restriction needed is on the moment of the potential, in relation to the degree of mixing of the ergodic environment. We derive two variational formulas for the limiting quenched free energy and prove a process-level quenched large deviation principle for the empirical measure. As a corollary we obtain LDPs for types of random walk in random environment not covered by earlier results. △ Less

Submitted 14 December, 2011; v1 submitted 15 April, 2011; originally announced April 2011.

Comments: 40 pages. Minor revisions

Almost Sure Invariance Principle for Continuous-Space Random Walk in Dynamic Random Environment

Authors: Mathew Joseph, Firas Rassoul-Agha

Abstract: We consider a random walk on $\R^d$ in a polynomially mixing random environment that is refreshed at each time step. We use a martingale approach to give a necessary and sufficient condition for the almost-sure functional central limit theorem to hold. We consider a random walk on $\R^d$ in a polynomially mixing random environment that is refreshed at each time step. We use a martingale approach to give a necessary and sufficient condition for the almost-sure functional central limit theorem to hold. △ Less

Submitted 12 December, 2010; v1 submitted 6 April, 2010; originally announced April 2010.

Comments: minor typos fixed

MSC Class: 60K37; 60F17; 60J05; 82D30

Process-level quenched large deviations for random walk in random environment

Authors: Firas Rassoul-Agha, Timo Seppalainen

Abstract: We consider a bounded step size random walk in an ergodic random environment with some ellipticity, on an integer lattice of arbitrary dimension. We prove a level 3 large deviation principle, under almost every environment, with rate function related to a relative entropy. We consider a bounded step size random walk in an ergodic random environment with some ellipticity, on an integer lattice of arbitrary dimension. We prove a level 3 large deviation principle, under almost every environment, with rate function related to a relative entropy. △ Less

Submitted 28 June, 2010; v1 submitted 4 September, 2009; originally announced September 2009.

Comments: Proof of (6.2) corrected. Lemma A.2 replaced

MSC Class: 60K37; 60F10; 82D30; 82C44

Journal ref: Ann. Inst. H. Poincare Probab. Statist. 47 (2011), 214-242

Almost sure functional central limit theorem for ballistic random walk in random environment

Authors: Firas Rassoul-Agha, Timo Seppalainen

Abstract: We consider a multidimensional random walk in a product random environment with bounded steps, transience in some spatial direction, and high enough moments on the regeneration time. We prove an invariance principle, or functional central limit theorem, under almost every environment for the diffusively scaled centered walk. The main point behind the invariance principle is that the quenched mea… ▽ More We consider a multidimensional random walk in a product random environment with bounded steps, transience in some spatial direction, and high enough moments on the regeneration time. We prove an invariance principle, or functional central limit theorem, under almost every environment for the diffusively scaled centered walk. The main point behind the invariance principle is that the quenched mean of the walk behaves subdiffusively. △ Less

Submitted 15 February, 2008; v1 submitted 29 May, 2007; originally announced May 2007.

Comments: Accepted to the Annales de l'Institut Henri Poincare

MSC Class: 60K37; 60F05; 60F17; 82D30

Journal ref: Ann. Inst. H. Poincare Probab. Statist. 45 (2009) No. 2, 373-420

Almost sure functional central limit theorem for non-nestling random walk in random environment

Authors: Firas Rassoul-Agha, Timo Seppalainen

Abstract: We consider a non-nestling random walk in a product random environment. We assume an exponential moment for the step of the walk, uniformly in the environment. We prove an invariance principle (functional central limit theorem) under almost every environment for the centered and diffusively scaled walk. The main point behind the invariance principle is that the quenched mean of the walk behaves… ▽ More We consider a non-nestling random walk in a product random environment. We assume an exponential moment for the step of the walk, uniformly in the environment. We prove an invariance principle (functional central limit theorem) under almost every environment for the centered and diffusively scaled walk. The main point behind the invariance principle is that the quenched mean of the walk behaves subdiffusively. △ Less

Submitted 29 May, 2007; v1 submitted 9 April, 2007; originally announced April 2007.

Comments: 54 pages. Small edits in text

MSC Class: 60K37; 60F05; 60F17; 82D30

Quenched invariance principle for multidimensional ballistic random walk in a random environment with a forbidden direction

Authors: Firas Rassoul-Agha, Timo Seppäläinen

Abstract: We consider a ballistic random walk in an i.i.d. random environment that does not allow retreating in a certain fixed direction. We prove an invariance principle (functional central limit theorem) under almost every fixed environment. The assumptions are nonnestling, at least two spatial dimensions, and a $2+ε$ moment for the step of the walk uniformly in the environment. The main point behind t… ▽ More We consider a ballistic random walk in an i.i.d. random environment that does not allow retreating in a certain fixed direction. We prove an invariance principle (functional central limit theorem) under almost every fixed environment. The assumptions are nonnestling, at least two spatial dimensions, and a $2+ε$ moment for the step of the walk uniformly in the environment. The main point behind the invariance principle is that the quenched mean of the walk behaves subdiffusively. △ Less

Submitted 27 March, 2007; originally announced March 2007.

Comments: Published at http://dx.doi.org/10.1214/009117906000000610 in the Annals of Probability (http://www.imstat.org/aop/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AOP-AOP0180 MSC Class: 60K37; 60F17; 82D30 (Primary)

Journal ref: Annals of Probability 2007, Vol. 35, No. 1, 1-31

Existence of the zero range process and a deposition model with superlinear growth rates

Authors: M. Balázs, F. Rassoul-Agha, T. Seppäläinen, S. Sethuraman

Abstract: We give a construction of the zero range and bricklayers' processes in the totally asymmetric, attractive case. The novelty is that we allow jump rates to grow exponentially. Earlier constructions have permitted at most linearly growing rates. We also show the invariance and extremality of a natural family of i.i.d. product measures indexed by particle density. Extremality is proved with an appr… ▽ More We give a construction of the zero range and bricklayers' processes in the totally asymmetric, attractive case. The novelty is that we allow jump rates to grow exponentially. Earlier constructions have permitted at most linearly growing rates. We also show the invariance and extremality of a natural family of i.i.d. product measures indexed by particle density. Extremality is proved with an approach that is simpler than existing ergodicity proofs. △ Less

Submitted 13 August, 2007; v1 submitted 10 November, 2005; originally announced November 2005.

Comments: Published at http://dx.doi.org/10.1214/009117906000000971 in the Annals of Probability (http://www.imstat.org/aop/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AOP-AOP0213 MSC Class: 60K35 (Primary) 82C41 (Secondary)

Journal ref: Annals of Probability 2007, Vol. 35, No. 4, 1201-1249

Ballistic Random Walk in a Random Environment with a Forbidden Direction

Authors: F. Rassoul-Agha, T. Seppalainen

Abstract: We consider a ballistic random walk in an i.i.d. random environment that does not allow retreating in a certain fixed direction. Homogenization and regeneration techniques combine to prove a law of large numbers and an averaged invariance principle. The assumptions are non-nestling and $1+\e$ (resp.\ $2+\e$) moments for the step of the walk uniformly in the environment, for the law of large numb… ▽ More We consider a ballistic random walk in an i.i.d. random environment that does not allow retreating in a certain fixed direction. Homogenization and regeneration techniques combine to prove a law of large numbers and an averaged invariance principle. The assumptions are non-nestling and $1+\e$ (resp.\ $2+\e$) moments for the step of the walk uniformly in the environment, for the law of large numbers (resp. invariance principles). We also investigate invariance principles under fixed environments, and invariance principles for the environment-dependent mean of the walk. △ Less

Submitted 18 October, 2005; originally announced October 2005.

MSC Class: 60J15; 60K37; 60F17; 82D30

Journal ref: ALEA Lat. Am. J. Probab. Math. Stat. 1 (2006), 111--147 (electronic)

The random average process and random walk in a space-time random environment in one dimension

Authors: Marton Balazs, Firas Rassoul-Agha, Timo Seppalainen

Abstract: We study space-time fluctuations around a characteristic line for a one-dimensional interacting system known as the random average process. The state of this system is a real-valued function on the integers. New values of the function are created by averaging previous values with random weights. The fluctuations analyzed occur on the scale n^{1/4} where n is the ratio of macroscopic and microsco… ▽ More We study space-time fluctuations around a characteristic line for a one-dimensional interacting system known as the random average process. The state of this system is a real-valued function on the integers. New values of the function are created by averaging previous values with random weights. The fluctuations analyzed occur on the scale n^{1/4} where n is the ratio of macroscopic and microscopic scales in the system. The limits of the fluctuations are described by a family of Gaussian processes. In cases of known product-form equilibria, this limit is a two-parameter process whose time marginals are fractional Brownian motions with Hurst parameter 1/4. Along the way we study the limits of quenched mean processes for a random walk in a space-time random environment. These limits also happen at scale n^{1/4} and are described by certain Gaussian processes that we identify. In particular, when we look at a backward quenched mean process, the limit process is the solution of a stochastic heat equation. △ Less

Submitted 7 April, 2006; v1 submitted 11 July, 2005; originally announced July 2005.

Comments: 51 pages

MSC Class: 60K35; 60K37; 60F05

Journal ref: Comm. Math. Phys. 266 (2006) 499-545

An Almost Sure Invariance Principle for Additive Functionals of Markov Chains

Authors: F. Rassoul-Agha, T. Seppalainen

Abstract: We prove an invariance principle (functional central limit theorem) for a vector-valued additive functional of a Markov chain for almost every starting point with respect to an ergodic equilibrium distribution. The hypothesis is a moment bound on the resolvent. We prove an invariance principle (functional central limit theorem) for a vector-valued additive functional of a Markov chain for almost every starting point with respect to an ergodic equilibrium distribution. The hypothesis is a moment bound on the resolvent. △ Less

Submitted 18 October, 2005; v1 submitted 26 November, 2004; originally announced November 2004.

Comments: Just added MSC-classification to the previous version

MSC Class: 60F17; 60J10

Journal ref: Statist. Probab. Lett. 78 (2008), 854-860

An almost sure invariance principle for random walks in a space-time random environment

Authors: F. Rassoul-Agha, T. Seppalainen

Abstract: We consider a discrete time random walk in a space-time i.i.d. random environment. We use a martingale approach to show that the walk is diffusive in almost every fixed environment. We improve on existing results by proving an invariance principle and considering environments with an annealed $L^2$ drift. We also state an a.s. invariance principle for random walks in general random environments… ▽ More We consider a discrete time random walk in a space-time i.i.d. random environment. We use a martingale approach to show that the walk is diffusive in almost every fixed environment. We improve on existing results by proving an invariance principle and considering environments with an annealed $L^2$ drift. We also state an a.s. invariance principle for random walks in general random environments whose hypothesis requires a subdiffusive bound on the variance of the quenched mean, under an ergodic invariant measure for the environment chain. △ Less

Submitted 26 November, 2004; originally announced November 2004.

Journal ref: Probab. Th. Rel. Fields, 133(3), 299 - 314 (2005)

The Point of View of the Particle on the Law of Large Numbers for Random Walks in a Mixing Random Environment

Authors: Firas Rassoul-Agha

Abstract: The point of view of the particle is an approach that has proven very powerful in the study of many models of random motions in random media. We provide a new use of this approach to prove the law of large numbers in the case of one or higher-dimensional, finite range, transient random walks in mixing random environments. One of the advantages of this method over what has been used so far is tha… ▽ More The point of view of the particle is an approach that has proven very powerful in the study of many models of random motions in random media. We provide a new use of this approach to prove the law of large numbers in the case of one or higher-dimensional, finite range, transient random walks in mixing random environments. One of the advantages of this method over what has been used so far is that it is not restricted to i.i.d. environments. △ Less

Submitted 6 September, 2002; v1 submitted 17 June, 2002; originally announced June 2002.

Comments: 22 pages. To appear in the Annals of Probability

MSC Class: 60K40; 82D30

Journal ref: Ann. Probab. 31, no. 3 (2003), 1441--1463