-
Decoupling and decay of two-point functions in a two-species TASEP
Authors:
Patrik L. Ferrari,
Sabrina Gernholt
Abstract:
We consider the two-species totally asymmetric simple exclusion process on $\mathbb{Z}$ with a translation-invariant stationary measure as the initial condition. We establish the asymptotic decoupling of the marginal height profiles along characteristic lines and prove the decay of the two-point functions in the large-time limit, thus confirming predictions of the nonlinear fluctuating hydrodynami…
▽ More
We consider the two-species totally asymmetric simple exclusion process on $\mathbb{Z}$ with a translation-invariant stationary measure as the initial condition. We establish the asymptotic decoupling of the marginal height profiles along characteristic lines and prove the decay of the two-point functions in the large-time limit, thus confirming predictions of the nonlinear fluctuating hydrodynamics theory. Our approach builds on the queueing construction of the stationary measure introduced in [Angel'06, Ferrari-Martin'07] and extends the theory of backwards paths for height functions developed in [Bufetov-Ferrari'22, Ferrari-Nejjar'24]. The arguments for asymptotic decoupling also apply to further homogeneous initial data.
△ Less
Submitted 1 April, 2025;
originally announced April 2025.
-
When algebra twinks system biology: a conjecture on the structure of Gröbner bases in complex chemical reaction networks
Authors:
Paola Ferrari,
Sara Sommariva,
Michele Piana,
Federico Benvenuto,
Matteo Varbaro
Abstract:
We address the challenge of identifying all real positive steady states in chemical reaction networks (CRNs) governed by mass-action kinetics. Traditional numerical methods often require specific initial guesses and may fail to find all the solutions in systems exhibiting multistability. Gröbner bases offer an algebraic framework that systematically transforms polynomial equations into simpler for…
▽ More
We address the challenge of identifying all real positive steady states in chemical reaction networks (CRNs) governed by mass-action kinetics. Traditional numerical methods often require specific initial guesses and may fail to find all the solutions in systems exhibiting multistability. Gröbner bases offer an algebraic framework that systematically transforms polynomial equations into simpler forms, facilitating comprehensive solution enumeration. In this work, we propose a conjecture that CRNs with at most pairwise interactions yield Gröbner bases possessing a near-"triangular" structure, under appropriate assumptions. We illustrate this phenomenon using examples from a gene regulatory network and the Wnt signaling pathway, where the Gröbner basis approach reliably captures all real positive solutions. Our computational experiments reveal the potential of Gröbner bases to overcome limitations of local numerical methods for finding the steady states of complex biological systems, making them a powerful tool for understanding dynamical processes across diverse biochemical models.
△ Less
Submitted 21 January, 2025;
originally announced January 2025.
-
Mixing times for the open ASEP at the triple point
Authors:
Patrik L. Ferrari,
Dominik Schmid
Abstract:
We consider mixing times for the open asymmetric simple exclusion process (ASEP) at the triple point. We show that the mixing time of the open ASEP on a segment of length $N$ for bias parameter $q$ is of order $N^{3/2+κ}$ if $1-q \asymp N^{-κ}$ for some $κ\in [0,\frac{1}{2})$, and the same result with poly-logarithmic corrections for $κ=\frac{1}{2}$. Our proof combines a fine analysis of the curre…
▽ More
We consider mixing times for the open asymmetric simple exclusion process (ASEP) at the triple point. We show that the mixing time of the open ASEP on a segment of length $N$ for bias parameter $q$ is of order $N^{3/2+κ}$ if $1-q \asymp N^{-κ}$ for some $κ\in [0,\frac{1}{2})$, and the same result with poly-logarithmic corrections for $κ=\frac{1}{2}$. Our proof combines a fine analysis of the current of the open ASEP, moderate deviations of second class particles, the censoring inequality, and various couplings and multi-species extensions of the ASEP. Moreover, we establish a comparison between moderate deviations for the current of the open ASEP and the ASEP on the integers, as well as bounds on mixing times for the open ASEP in the weakly high density phase, which are of independent interest.
△ Less
Submitted 7 January, 2025;
originally announced January 2025.
-
Quasi-geodesics in integrable and non-integrable exclusion processes
Authors:
Patrik L. Ferrari,
Min Liu
Abstract:
Backwards geodesics for TASEP were introduced in [Fer18]. We consider flat initial conditions and show that under proper scaling its end-point converges to maximizer argument of the Airy$_2$ process minus a parabola. We generalize its definition to generic non-integrable models including ASEP and speed changed ASEP (call it quasi-geodesics). We numerically verify that its end-point is universal, w…
▽ More
Backwards geodesics for TASEP were introduced in [Fer18]. We consider flat initial conditions and show that under proper scaling its end-point converges to maximizer argument of the Airy$_2$ process minus a parabola. We generalize its definition to generic non-integrable models including ASEP and speed changed ASEP (call it quasi-geodesics). We numerically verify that its end-point is universal, where the scaling coefficients are analytically computed through the KPZ scaling theory.
△ Less
Submitted 16 December, 2024;
originally announced December 2024.
-
Dense cell-by-cell systems of PDEs: approximation, spectral analysis, and preconditioning
Authors:
Pietro Benedusi,
Paola Ferrari,
Marius Causemann,
Stefano Serra-Capizzano
Abstract:
In the present study, we consider the Extra-Membrane-Intra model (EMI) for the simulation of excitable tissues at the cellular level. We provide the (possibly large) system of partial differential equations (PDEs), equipped with ad hoc boundary conditions, relevant to model portions of excitable tissues, composed of several cells. In particular, we study two geometrical settings: computational car…
▽ More
In the present study, we consider the Extra-Membrane-Intra model (EMI) for the simulation of excitable tissues at the cellular level. We provide the (possibly large) system of partial differential equations (PDEs), equipped with ad hoc boundary conditions, relevant to model portions of excitable tissues, composed of several cells. In particular, we study two geometrical settings: computational cardiology and neuroscience.
The Galerkin approximations to the considered system of PDEs lead to large linear systems of algebraic equations, where the coefficient matrices depend on the number $N$ of cells and the fineness parameters. We give a structural and spectral analysis of the related matrix-sequences with $N$ fixed and with fineness parameters tending to zero. Based on the theoretical results, we propose preconditioners and specific multilevel solvers.
Numerical experiments are presented and critically discussed, showing that a monolithic multilevel solver is efficient and robust with respect to all the problem and discretization parameters. In particular, we include numerical results increasing the number of cells $N$, both for idealized geometries (with $N$ exceeding $10^5$) and for realistic, densely populated 3D tissue reconstruction.
△ Less
Submitted 20 September, 2024;
originally announced September 2024.
-
Partial yet definite emergence of the Kardar-Parisi-Zhang class in isotropic spin chains
Authors:
Kazumasa A. Takeuchi,
Kazuaki Takasan,
Ofer Busani,
Patrik L. Ferrari,
Romain Vasseur,
Jacopo De Nardis
Abstract:
Integrable spin chains with a continuous non-Abelian symmetry, such as the one-dimensional isotropic Heisenberg model, show superdiffusive transport with little theoretical understanding. Although recent studies reported a surprising connection to the Kardar-Parisi-Zhang (KPZ) universality class in that case, this view was most recently questioned by discrepancies in full counting statistics. Here…
▽ More
Integrable spin chains with a continuous non-Abelian symmetry, such as the one-dimensional isotropic Heisenberg model, show superdiffusive transport with little theoretical understanding. Although recent studies reported a surprising connection to the Kardar-Parisi-Zhang (KPZ) universality class in that case, this view was most recently questioned by discrepancies in full counting statistics. Here, by combining extensive numerical simulations of classical and quantum integrable isotropic spin chains with a framework developed by exact studies of the KPZ class, we characterize various two-point quantities that remain hitherto unexplored in spin chains, and find full agreement with KPZ scaling laws without adjustable parameters. This establishes the partial emergence of the KPZ class in integrable isotropic spin chains. Moreover, we reveal that the KPZ scaling laws are intact in the presence of an energy current, under the appropriate Galilean boost required by the propagation of spacetime correlation.
△ Less
Submitted 6 March, 2025; v1 submitted 11 June, 2024;
originally announced June 2024.
-
Tagged particle fluctuations for TASEP with dynamics restricted by a moving wall
Authors:
Patrik L. Ferrari,
Sabrina Gernholt
Abstract:
We consider the totally asymmetric simple exclusion process on $\Z$ with step initial condition and with the presence of a rightward-moving wall that prevents the particles from jumping. This model was first studied in [Borodin-Bufetov-Ferrari'21]. We extend their work by determining the limiting distribution of a tagged particle in the case where the wall has influence on its fluctuations in neig…
▽ More
We consider the totally asymmetric simple exclusion process on $\Z$ with step initial condition and with the presence of a rightward-moving wall that prevents the particles from jumping. This model was first studied in [Borodin-Bufetov-Ferrari'21]. We extend their work by determining the limiting distribution of a tagged particle in the case where the wall has influence on its fluctuations in neighbourhoods of multiple macroscopic times.
△ Less
Submitted 8 March, 2024;
originally announced March 2024.
-
Analysis on aggregation and block smoothers in multigrid methods for block Toeplitz linear systems
Authors:
Matthias Bolten,
Marco Donatelli,
Paola Ferrari,
Isabella Furci
Abstract:
We present novel improvements in the context of symbol-based multigrid procedures for solving large block structured linear systems. We study the application of an aggregation-based grid transfer operator that transforms the symbol of a block Toeplitz matrix from matrix-valued to scalar-valued at the coarser level. Our convergence analysis of the Two-Grid Method (TGM) reveals the connection betwee…
▽ More
We present novel improvements in the context of symbol-based multigrid procedures for solving large block structured linear systems. We study the application of an aggregation-based grid transfer operator that transforms the symbol of a block Toeplitz matrix from matrix-valued to scalar-valued at the coarser level. Our convergence analysis of the Two-Grid Method (TGM) reveals the connection between the features of the scalar-valued symbol at the coarser level and the properties of the original matrix-valued one. This allows us to prove the convergence of a V-cycle multigrid with standard grid transfer operators for scalar Toeplitz systems at the coarser levels. Consequently, we extend the class of suitable smoothers for block Toeplitz matrices, focusing on the efficiency of block strategies, particularly the relaxed block Jacobi method. General conditions on smoothing parameters are derived, with emphasis on practical applications where these parameters can be calculated with negligible computational cost. We test the proposed strategies on linear systems stemming from the discretization of differential problems with $\mathbb{Q}_{d} $ Lagrangian FEM or B-spline with non-maximal regularity. The numerical results show in both cases computational advantages compared to existing methods for block structured linear systems.
△ Less
Submitted 4 March, 2024;
originally announced March 2024.
-
Flipped structured matrix-sequences in image deblurring with general boundary conditions
Authors:
Paola Ferrari,
Isabella Furci,
Stefano Serra-Capizzano
Abstract:
Motivated by a recent work on a preconditioned MINRES for flipped linear systems in imaging, in this note we extend the scope of that research for including more precise boundary conditions such as reflective and anti-reflective ones. We prove spectral results for the matrix-sequences associated to the original problem, which justify the use of the MINRES in the current setting. The theoretical sp…
▽ More
Motivated by a recent work on a preconditioned MINRES for flipped linear systems in imaging, in this note we extend the scope of that research for including more precise boundary conditions such as reflective and anti-reflective ones. We prove spectral results for the matrix-sequences associated to the original problem, which justify the use of the MINRES in the current setting. The theoretical spectral analysis is supported by a wide variety of numerical experiments, concerning the visualization of the spectra of the original matrices in various ways. We also report numerical tests regarding the convergence speed and regularization features of the associated GMRES and MINRES methods. Conclusions and open problems end the present study.
△ Less
Submitted 19 February, 2024;
originally announced February 2024.
-
Exact decay of the persistence probability in the Airy$_1$ process
Authors:
Patrik L. Ferrari,
Min Liu
Abstract:
We consider the Airy$_1$ process, which is the limit process in KPZ growth models with flat and non-random initial conditions. We study the persistence probability, namely the probability that the process stays below a given threshold $c$ for a time span of length $L$. This is expected to decay as $e^{-κ(c) L}$. We determine an analytic expression for $κ(c)$ for all $c\geq 3/2$ starting with the c…
▽ More
We consider the Airy$_1$ process, which is the limit process in KPZ growth models with flat and non-random initial conditions. We study the persistence probability, namely the probability that the process stays below a given threshold $c$ for a time span of length $L$. This is expected to decay as $e^{-κ(c) L}$. We determine an analytic expression for $κ(c)$ for all $c\geq 3/2$ starting with the continuum statistics formula for the persistence probability. As the formula is analytic only for $c>0$, we determine an analytic continuation of $κ(c)$ and numerically verify the validity for $c<0$ as well.
△ Less
Submitted 14 September, 2024; v1 submitted 16 February, 2024;
originally announced February 2024.
-
Hidden temperature in the KMP model
Authors:
Anna De Masi,
Pablo A. Ferrari,
Davide Gabrielli
Abstract:
In the Kipnis Marchioro Presutti (KMP) model a positive energy $ζ_i$ is associated with each vertex $i$ of a finite graph with a boundary. When a Poisson clock rings at an edge $ij$ with energies $ζ_i,ζ_j$, those values are substituted by $U(ζ_i+ζ_j)$ and $(1-U)(ζ_i+ζ_j)$, respectively, where $U$ is a uniform random variable in $(0,1)$. A value $T_j\ge 0$ is fixed at each boundary vertex $j$. The…
▽ More
In the Kipnis Marchioro Presutti (KMP) model a positive energy $ζ_i$ is associated with each vertex $i$ of a finite graph with a boundary. When a Poisson clock rings at an edge $ij$ with energies $ζ_i,ζ_j$, those values are substituted by $U(ζ_i+ζ_j)$ and $(1-U)(ζ_i+ζ_j)$, respectively, where $U$ is a uniform random variable in $(0,1)$. A value $T_j\ge 0$ is fixed at each boundary vertex $j$. The dynamics is defined in such way that the resulting Markov process $ζ(t)$, satisfies that $ζ_j(t)$ is exponential with mean $T_j$, for each boundary vertex $j$, for all $t$. We show that the invariant measure is the distribution of a vector $ζ$ with coordinates $ζ_i=T_i X_i$, where $X_i$ are iid exponential$(1)$ random variables, the law of $T$ is the invariant measure for an opinion random averaging/gossip model with the same boundary conditions of $ζ$, and the vectors $X$ and $T$ are independent. The result confirms a conjecture based on the large deviations of the model. When the graph is one-dimensional, we bound the correlations of the invariant measure and perform the hydrostatic limit. We show that the empirical measure of a configuration chosen with the invariant measure converges to the linear interpolation of the boundary values.
△ Less
Submitted 3 June, 2024; v1 submitted 2 October, 2023;
originally announced October 2023.
-
The second class particle process at shocks
Authors:
Patrik L. Ferrari,
Peter Nejjar
Abstract:
We consider the totally asymmetric simple exclusion process (TASEP) starting with a shock discontinuity at the origin, with asymptotic densities $λ$ to the left of the origin and $ρ$ to the right of it and $λ<ρ$. We find an exact identity for the distribution of a second class particle starting at the origin. Then we determine the limiting joint distributions of the second class particle. Bypassin…
▽ More
We consider the totally asymmetric simple exclusion process (TASEP) starting with a shock discontinuity at the origin, with asymptotic densities $λ$ to the left of the origin and $ρ$ to the right of it and $λ<ρ$. We find an exact identity for the distribution of a second class particle starting at the origin. Then we determine the limiting joint distributions of the second class particle. Bypassing the last passage percolation model, we work directly in TASEP, allowing us to extend previous one-point distribution results via a more direct and shorter ansatz.
△ Less
Submitted 23 January, 2024; v1 submitted 18 September, 2023;
originally announced September 2023.
-
Modeling excitable cells with the EMI equations: spectral analysis and iterative solution strategy
Authors:
Pietro Benedusi,
Paola Ferrari,
Marie Rognes,
Stefano Serra-Capizzano
Abstract:
In this work, we are interested in solving large linear systems stemming from the Extra-Membrane-Intra (EMI) model, which is employed for simulating excitable tissues at a cellular scale. After setting the related systems of partial differential equations (PDEs) equipped with proper boundary conditions, we provide numerical approximation schemes for the EMI PDEs and focus on the resulting large li…
▽ More
In this work, we are interested in solving large linear systems stemming from the Extra-Membrane-Intra (EMI) model, which is employed for simulating excitable tissues at a cellular scale. After setting the related systems of partial differential equations (PDEs) equipped with proper boundary conditions, we provide numerical approximation schemes for the EMI PDEs and focus on the resulting large linear systems. We first give a relatively complete spectral analysis using tools from the theory of Generalized Locally Toeplitz matrix sequences. The obtained spectral information is used for designing appropriate (preconditioned) Krylov solvers. We show, through numerical experiments, that the presented solution strategy is robust w.r.t. problem and discretization parameters, efficient and scalable.
△ Less
Submitted 23 August, 2023;
originally announced August 2023.
-
Macroscopic diffusive fluctuations for generalized hard rods dynamics
Authors:
Pablo A. Ferrari,
Stefano Olla
Abstract:
We study the fluctuations in equilibrium for a dynamics of rods with random length. This includes the classical hard rod elastic collisions, when rod lengths are constant and equal to a positive value. We prove that in the diffusive space-time scaling, an initial fluctuation of density of particles of velocity $v$, after recentering on its Euler evolution, evolve randomly shifted by a Brownian mot…
▽ More
We study the fluctuations in equilibrium for a dynamics of rods with random length. This includes the classical hard rod elastic collisions, when rod lengths are constant and equal to a positive value. We prove that in the diffusive space-time scaling, an initial fluctuation of density of particles of velocity $v$, after recentering on its Euler evolution, evolve randomly shifted by a Brownian motion of variance $\mathcal D(v)$.
△ Less
Submitted 19 November, 2024; v1 submitted 22 May, 2023;
originally announced May 2023.
-
Symmetrization Techniques in Image Deblurring
Authors:
Marco Donatelli,
Paola Ferrari,
Silvia Gazzola
Abstract:
This paper presents a couple of preconditioning techniques that can be used to enhance the performance of iterative regularization methods applied to image deblurring problems with a variety of point spread functions (PSFs) and boundary conditions. More precisely, we first consider the anti-identity preconditioner, which symmetrizes the coefficient matrix associated to problems with zero boundary…
▽ More
This paper presents a couple of preconditioning techniques that can be used to enhance the performance of iterative regularization methods applied to image deblurring problems with a variety of point spread functions (PSFs) and boundary conditions. More precisely, we first consider the anti-identity preconditioner, which symmetrizes the coefficient matrix associated to problems with zero boundary conditions, allowing the use of MINRES as a regularization method. When considering more sophisticated boundary conditions and strongly nonsymmetric PSFs, the anti-identity preconditioner improves the performance of GMRES. We then consider both stationary and iteration-dependent regularizing circulant preconditioners that, applied in connection with the anti-identity matrix and both standard and flexible Krylov subspaces, speed up the iterations. A theoretical result about the clustering of the eigenvalues of the preconditioned matrices is proved in a special case. The results of many numerical experiments are reported to show the effectiveness of the new preconditioning techniques, including when considering the deblurring of sparse images.
△ Less
Submitted 12 December, 2022;
originally announced December 2022.
-
Hard Rod Hydrodynamics and the Levy Chentsov Field
Authors:
Pablo A. Ferrari,
Chiara Franceschini,
Dante G. E. Grevino,
Herbert Spohn
Abstract:
We study the hydrodynamics of the hard rod model proposed by Boldrighini, Dobrushin and Soukhov by describing the displacement of each quasiparticle with respect to the corresponding ideal gas particle as a height difference in a related field. Starting with a family of nonhomogeneous Poisson processes contained in the position-velocity-length space $\mathbb{R}^3$, we show laws of large numbers fo…
▽ More
We study the hydrodynamics of the hard rod model proposed by Boldrighini, Dobrushin and Soukhov by describing the displacement of each quasiparticle with respect to the corresponding ideal gas particle as a height difference in a related field. Starting with a family of nonhomogeneous Poisson processes contained in the position-velocity-length space $\mathbb{R}^3$, we show laws of large numbers for the quasiparticle positions and the length fields, and the joint convergence of the quasiparticle fluctuations to a Levy Chentsov field. We allow variable rod lengths, including negative lengths.
△ Less
Submitted 20 November, 2022;
originally announced November 2022.
-
Diffusive Fluctuations in Hard Rods System
Authors:
Stefano Olla,
Pablo Ferrari
Abstract:
We examine the behaviour of density fluctuation in equilibrium under diffusive space-time scaling of a completely integrable dynamics of hard rods with variable length. This is the extended abstract of a talk given by S.Olla at the workshop 'Large Stochastic Dynamics', Oberwolfach, 12-17 September 2022
We examine the behaviour of density fluctuation in equilibrium under diffusive space-time scaling of a completely integrable dynamics of hard rods with variable length. This is the extended abstract of a talk given by S.Olla at the workshop 'Large Stochastic Dynamics', Oberwolfach, 12-17 September 2022
△ Less
Submitted 5 October, 2022;
originally announced October 2022.
-
The Airy$_2$ process and the 3D Ising model
Authors:
Patrik L. Ferrari,
Senya Shlosman
Abstract:
The Ferrari-Spohn diffusion process arises as limit process for the 2D Ising model as well as random walks with area penalty. Motivated by the 3D Ising model, we consider $M$ such diffusions conditioned not to intersect. We show that the top process converges to the Airy$_2$ process as $M\to\infty$. We then explain the relation with the 3D Ising model and present some conjectures about it.
The Ferrari-Spohn diffusion process arises as limit process for the 2D Ising model as well as random walks with area penalty. Motivated by the 3D Ising model, we consider $M$ such diffusions conditioned not to intersect. We show that the top process converges to the Airy$_2$ process as $M\to\infty$. We then explain the relation with the 3D Ising model and present some conjectures about it.
△ Less
Submitted 3 January, 2023; v1 submitted 28 September, 2022;
originally announced September 2022.
-
On the exponent governing the correlation decay of the Airy$_1$ process
Authors:
Riddhipratim Basu,
Ofer Busani,
Patrik L. Ferrari
Abstract:
We study the decay of the covariance of the Airy$_1$ process, $\mathcal{A}_1$, a stationary stochastic process on $\mathbb{R}$ that arises as a universal scaling limit in the Kardar-Parisi-Zhang (KPZ) universality class. We show that the decay is super-exponential and determine the leading order term in the exponent by showing that…
▽ More
We study the decay of the covariance of the Airy$_1$ process, $\mathcal{A}_1$, a stationary stochastic process on $\mathbb{R}$ that arises as a universal scaling limit in the Kardar-Parisi-Zhang (KPZ) universality class. We show that the decay is super-exponential and determine the leading order term in the exponent by showing that $\textrm{Cov}(\mathcal{A}_1(0),\mathcal{A}_1(u))= e^{-(\frac{4}{3}+o(1))u^3}$ as $u\to\infty$. The proof employs a combination of probabilistic techniques and integrable probability estimates. The upper bound uses the connection of $\mathcal{A}_1$ to planar exponential last passage percolation and several new results on the geometry of point-to-line geodesics in the latter model which are of independent interest; while the lower bound is primarily analytic, using the Fredholm determinant expressions for the two point function of the Airy$_1$ process together with the FKG inequality.
△ Less
Submitted 17 June, 2022;
originally announced June 2022.
-
Time-time covariance for last passage percolation in half-space
Authors:
Patrik L. Ferrari,
Alessandra Occelli
Abstract:
This article studies several properties of the half-space last passage percolation, in particular the two-time covariance. We show that, when the two end-points are at small macroscopic distance, then the first order correction to the covariance for the point-to-point model is the same as the one of the stationary model. In order to obtain the result, we first derive comparison inequalities of the…
▽ More
This article studies several properties of the half-space last passage percolation, in particular the two-time covariance. We show that, when the two end-points are at small macroscopic distance, then the first order correction to the covariance for the point-to-point model is the same as the one of the stationary model. In order to obtain the result, we first derive comparison inequalities of the last passage increments for different models. This is used to prove tightness of the point-to-point process as well as localization of the geodesics. Unlike for the full-space case, for half-space we have to overcome the difficulty that the point-to-point model in half-space with generic start and end points is not known.
△ Less
Submitted 14 April, 2022;
originally announced April 2022.
-
Symbol based convergence analysis in multigrid methods for saddle point problems
Authors:
Matthias Bolten,
Marco Donatelli,
Paola Ferrari,
Isabella Furci
Abstract:
Saddle point problems arise in a variety of applications, e.g., when solving the Stokes equations. They can be formulated such that the system matrix is symmetric, but indefinite, so the variational convergence theory that is usually used to prove multigrid convergence cannot be applied. In a 2016 paper in Numerische Mathematik Notay has presented a different algebraic approach that analyzes prope…
▽ More
Saddle point problems arise in a variety of applications, e.g., when solving the Stokes equations. They can be formulated such that the system matrix is symmetric, but indefinite, so the variational convergence theory that is usually used to prove multigrid convergence cannot be applied. In a 2016 paper in Numerische Mathematik Notay has presented a different algebraic approach that analyzes properly preconditioned saddle point problems, proving convergence of the Two-Grid method. In the present paper we analyze saddle point problems where the blocks are circulant within this framework. We are able to derive sufficient conditions for convergence and provide optimal parameters for the preconditioning of the saddle point problem and for the point smoother that is used. The analysis is based on the generating symbols of the circulant blocks. Further, we show that the structure can be kept on the coarse level, allowing for a recursive application of the approach in a W- or V-cycle and proving the "level independency" property. Numerical results demonstrate the efficiency of the proposed method in the circulant and the Toeplitz case.
△ Less
Submitted 11 March, 2022;
originally announced March 2022.
-
Asymptotic spectra of large (grid) graphs with a uniform local structure (part II): numerical applications
Authors:
Andrea Adriani,
Davide Bianchi,
Paola Ferrari,
Stefano Serra-Capizzano
Abstract:
In the current work we are concerned with sequences of graphs having a grid geometry, with a uniform local structure in a bounded domain $Ω\subset {\mathbb R}^d$, $d\ge 1$. When $Ω=[0,1]$, such graphs include the standard Toeplitz graphs and, for $Ω=[0,1]^d$, the considered class includes $d$-level Toeplitz graphs. In the general case, the underlying sequence of adjacency matrices has a canonical…
▽ More
In the current work we are concerned with sequences of graphs having a grid geometry, with a uniform local structure in a bounded domain $Ω\subset {\mathbb R}^d$, $d\ge 1$. When $Ω=[0,1]$, such graphs include the standard Toeplitz graphs and, for $Ω=[0,1]^d$, the considered class includes $d$-level Toeplitz graphs. In the general case, the underlying sequence of adjacency matrices has a canonical eigenvalue distribution, in the Weyl sense, and it has been shown in the theoretical part of this work that we can associate to it a symbol $\boldsymbol{\mathfrak{f}}$. The knowledge of the symbol and of its basic analytical features provides key information on the eigenvalue structure in terms of localization, spectral gap, clustering, and global distribution. In the present paper, many different applications are discussed and various numerical examples are presented in order to underline the practical use of the developed theory. Tests and applications are mainly obtained from the approximation of differential operators via numerical schemes such as Finite Differences (FDs), Finite Elements (FEs), and Isogeometric Analysis (IgA). Moreover, we show that more applications can be taken into account, since the results presented here can be applied as well to study the spectral properties of adjacency matrices and Laplacian operators of general large graphs and networks, whenever the involved matrices enjoy a uniform local structure.
△ Less
Submitted 27 November, 2021;
originally announced November 2021.
-
TASEP with a moving wall
Authors:
Alexei Borodin,
Alexey Bufetov,
Patrik L. Ferrari
Abstract:
We consider a totally asymmetric simple exclusion on $\mathbb{Z}$ with the step initial condition, under the additional restriction that the first particle cannot cross a deterministally moving wall. We prove that such a wall may induce asymptotic fluctuation distributions of particle positions of the form $$ \mathbb{P}\Big(\sup_{τ\in \mathbb{R}}\{\textrm{Airy}_2(τ) -g(τ)\}\leq S\Big)$$ with arbit…
▽ More
We consider a totally asymmetric simple exclusion on $\mathbb{Z}$ with the step initial condition, under the additional restriction that the first particle cannot cross a deterministally moving wall. We prove that such a wall may induce asymptotic fluctuation distributions of particle positions of the form $$ \mathbb{P}\Big(\sup_{τ\in \mathbb{R}}\{\textrm{Airy}_2(τ) -g(τ)\}\leq S\Big)$$ with arbitrary barrier functions $g$. This is the same class of distributions that arises as one-point asymptotic fluctuations of TASEPs with arbitrary initial conditions. Examples include Tracy-Widom GOE and GUE distributions, as well as a crossover between them, all arising from various particles behind a linearly moving wall.
We also prove that if the right-most particle is second class, and a linearly moving wall is shock-inducing, then the asymptotic distribution of the position of the second class particle is a mixture of the uniform distribution on a segment and the atomic measure at its right end.
△ Less
Submitted 3 November, 2021;
originally announced November 2021.
-
Symbol based Convergence Analysis in Block Multigrid Methods with Applications for Stokes Problems
Authors:
Marco Donatelli,
Matthias Bolten,
Paola Ferrari,
Isabella Furci
Abstract:
The main focus of this paper is the study of efficient multigrid methods for large linear systems with a particular saddle-point structure. Indeed, when the system matrix is symmetric, but indefinite, the variational convergence theory that is usually used to prove multigrid convergence cannot be directly applied. However, different algebraic approaches analyze properly preconditioned saddle-point…
▽ More
The main focus of this paper is the study of efficient multigrid methods for large linear systems with a particular saddle-point structure. Indeed, when the system matrix is symmetric, but indefinite, the variational convergence theory that is usually used to prove multigrid convergence cannot be directly applied. However, different algebraic approaches analyze properly preconditioned saddle-point problems, proving convergence of the Two-Grid method. In particular, this is efficient when the blocks of the coefficient matrix possess a Toeplitz or circulant structure. Indeed, it is possible to derive sufficient conditions for convergence and provide optimal parameters for the preconditioning of the saddle-point problem in terms of the associated generating symbols. In this paper, we propose a symbol-based convergence analysis for problems that have a hidden block Toeplitz structure. Then, they can be investigated focusing on the properties of the associated generating function f, which consequently is a matrix-valued function with dimension depending on the block size of the problem. As numerical tests we focus on the matrix sequence stemming from the finite element approximation of the Stokes problem. We show the efficiency of the methods studying the hidden 9-by-9 block multilevel structure of the obtained matrix sequence. Moreover, we propose an efficient algebraic multigrid method with convergence rate independent of the matrix size. Finally, we present several numerical tests comparing the results with state-of-the-art strategies.
△ Less
Submitted 29 August, 2023; v1 submitted 16 July, 2021;
originally announced July 2021.
-
A symbol based analysis for multigrid methods for Block-Circulant and Block-Toeplitz Systems
Authors:
Matthias Bolten,
Marco Donatelli,
Paola Ferrari,
Isabella Furci
Abstract:
In the literature, there exist several studies on symbol-based multigrid methods for the solution of linear systems having structured coefficient matrices. In particular, the convergence analysis for such methods has been obtained in an elegant form in the case of Toeplitz matrices generated by a scalar-valued function. In the block-Toeplitz setting, that is, in the case where the matrix entries a…
▽ More
In the literature, there exist several studies on symbol-based multigrid methods for the solution of linear systems having structured coefficient matrices. In particular, the convergence analysis for such methods has been obtained in an elegant form in the case of Toeplitz matrices generated by a scalar-valued function. In the block-Toeplitz setting, that is, in the case where the matrix entries are small generic matrices instead of scalars, some algorithms have already been proposed regarding specific applications and a first rigorous convergence analysis has been performed in [7]. However, with the existent symbol-based theoretical tools, it is still not possible to prove the convergence of many multigrid methods known in the literature. This paper aims to generalize the previous results giving more general sufficient conditions on the symbol of the grid transfer operators.In particular, we treat matrix-valued trigonometric polynomials which can be non-diagonalizable and singular at all points and we express the new conditions in terms of the eigenvectors associated with the ill-conditioned subspace. Moreover, we extend the analysis to the V-cycle method proving a linear convergence rate under stronger conditions, which resemble those given in the scalar case. In order to validate our theoretical findings, we present a classical block structured problem stemming from a FEM approximation of a second order differential problem. We focus on two multigrid strategies that use the geometric and the standard bisection grid transfer operators and we prove that both fall into the category of projectors satisfying the proposed conditions. In addition, using a tensor product argument, we provide a strategy to construct efficient V-cycle procedures in the block multilevel setting.
△ Less
Submitted 12 November, 2021; v1 submitted 16 January, 2021;
originally announced January 2021.
-
The half-space Airy stat process
Authors:
Dan Betea,
Patrik Ferrari,
Alessandra Occelli
Abstract:
We study the multipoint distribution of stationary half-space last passage percolation with exponentially weighted times. We derive both finite-size and asymptotic results for this distribution. In the latter case we observe a new one-parameter process we call half-space Airy stat. It is a one-parameter generalization of the Airy stat process of Baik-Ferrari-Péché, which is recovered far away from…
▽ More
We study the multipoint distribution of stationary half-space last passage percolation with exponentially weighted times. We derive both finite-size and asymptotic results for this distribution. In the latter case we observe a new one-parameter process we call half-space Airy stat. It is a one-parameter generalization of the Airy stat process of Baik-Ferrari-Péché, which is recovered far away from the diagonal. All these results extend the one-point results previously proven by the authors.
△ Less
Submitted 17 January, 2021; v1 submitted 18 December, 2020;
originally announced December 2020.
-
Multilevel symmetrized Toeplitz structures and spectral distribution results for the related matrix-sequences
Authors:
Paola Ferrari,
Isabella Furci,
Stefano Serra-Capizzano
Abstract:
In recent years, motivated by computational purposes, the singular value and spectral features of the symmetrization of Toeplitz matrices generated by a Lebesgue integrable function have been studied. Indeed, under the assumptions that $f$ belongs to $L^1([-π,π])$ and it has real Fourier coefficients, the spectral and singular value distribution of the matrix-sequence $\{Y_nT_n[f]\}_n$ has been id…
▽ More
In recent years, motivated by computational purposes, the singular value and spectral features of the symmetrization of Toeplitz matrices generated by a Lebesgue integrable function have been studied. Indeed, under the assumptions that $f$ belongs to $L^1([-π,π])$ and it has real Fourier coefficients, the spectral and singular value distribution of the matrix-sequence $\{Y_nT_n[f]\}_n$ has been identified, where $n$ is the matrix-size, $Y_n$ is the anti-identity matrix, and $T_n[f]$ is the Toeplitz matrix generated by $f$. In this note, we consider the multilevel Toeplitz matrix $T_{\bf n}[f]$ generated by $f\in L^1([-π,π]^k)$, $\bf n$ being a multi-index identifying the matrix-size, and we prove spectral and singular value distribution results for the matrix-sequence $\{Y_{\bf n}T_{\bf n}[f]\}_{\bf n}$ with $Y_{\bf n}$ being the corresponding tensorization of the anti-identity matrix.
△ Less
Submitted 21 November, 2020;
originally announced November 2020.
-
Universality of the geodesic tree in last passage percolation
Authors:
Ofer Busani,
Patrik Ferrari
Abstract:
In this paper we consider the geodesic tree in exponential last passage percolation. We show that for a large class of initial conditions around the origin, the line-to-point geodesic that terminates in a cylinder of width $o(N^{2/3})$ and length $o(N)$ agrees in the cylinder, with the stationary geodesic sharing the same end point. In the case of the point-to-point model, we consider width…
▽ More
In this paper we consider the geodesic tree in exponential last passage percolation. We show that for a large class of initial conditions around the origin, the line-to-point geodesic that terminates in a cylinder of width $o(N^{2/3})$ and length $o(N)$ agrees in the cylinder, with the stationary geodesic sharing the same end point. In the case of the point-to-point model, we consider width $δN^{2/3}$ and length up to $δ^{3/2} N/(\log(δ^{-1}))^3$ and provide lower and upper bound for the probability that the geodesics agree in that cylinder.
△ Less
Submitted 18 August, 2020;
originally announced August 2020.
-
Upper tail decay of KPZ models with Brownian initial conditions
Authors:
Patrik L. Ferrari,
Bálint Vető
Abstract:
In this paper we consider the limiting distribution of KPZ growth models with random but not stationary initial conditions introduced in [Chhita-Ferrari-Spohn 2018]. The one-point distribution of the limit is given in terms of a variational problem. By directly studying it, we deduce the right tail asymptotic of the distribution function. This gives a rigorous proof and extends the results obtaine…
▽ More
In this paper we consider the limiting distribution of KPZ growth models with random but not stationary initial conditions introduced in [Chhita-Ferrari-Spohn 2018]. The one-point distribution of the limit is given in terms of a variational problem. By directly studying it, we deduce the right tail asymptotic of the distribution function. This gives a rigorous proof and extends the results obtained in [Meerson-Schmidt 2017].
△ Less
Submitted 3 March, 2021; v1 submitted 27 July, 2020;
originally announced July 2020.
-
Group testing with nested pools
Authors:
Inés Armendáriz,
Pablo A. Ferrari,
Daniel Fraiman,
José M. Martínez,
Silvina Ponce Dawson
Abstract:
In order to identify the infected individuals of a population, their samples are divided in equally sized groups called pools and a single laboratory test is applied to each pool. Individuals whose samples belong to pools that test negative are declared healthy, while each pool that tests positive is divided into smaller, equally sized pools which are tested in the next stage. In the $(k+1)$-th st…
▽ More
In order to identify the infected individuals of a population, their samples are divided in equally sized groups called pools and a single laboratory test is applied to each pool. Individuals whose samples belong to pools that test negative are declared healthy, while each pool that tests positive is divided into smaller, equally sized pools which are tested in the next stage. In the $(k+1)$-th stage all remaining samples are tested. If $p<1-3^{-1/3}$, we minimize the expected number of tests per individual as a function of the number $k+1$ of stages, and of the pool sizes in the first $k$ stages. We show that for each $p\in (0, 1-3^{-1/3})$ the optimal choice is one of four possible schemes, which are explicitly described. We conjecture that for each $p$, the optimal choice is one of the two sequences of pool sizes $(3^k\text{ or }3^{k-1}4,3^{k-1},\dots,3^2,3 )$, with a precise description of the range of $p$'s where each is optimal. The conjecture is supported by overwhelming numerical evidence for $p>2^{-51}$. We also show that the cost of the best among the schemes $(3^k,\dots,3)$ is of order $O\big(p\log(1/p)\big)$, comparable to the information theoretical lower bound $p\log_2(1/p)+(1-p)\log_2(1/(1-p))$, the entropy of a Bernoulli$(p)$ random variable.
△ Less
Submitted 4 October, 2021; v1 submitted 27 May, 2020;
originally announced May 2020.
-
The Preisach graph and longest increasing subsequences
Authors:
Patrik L. Ferrari,
Muhittin Mungan,
M. Mert Terzi
Abstract:
The Preisach graph is a directed graph associated with a permutation $ρ\in{\cal S}_N$. We give an explicit bijection between its vertices and increasing subsequences of $ρ$ with the property that the length of a subsequence equals to the degree of nesting of the corresponding vertex inside a hierarchy of cycles and sub-cycles of the graph. As a consequence, the nesting degree of the Preisach graph…
▽ More
The Preisach graph is a directed graph associated with a permutation $ρ\in{\cal S}_N$. We give an explicit bijection between its vertices and increasing subsequences of $ρ$ with the property that the length of a subsequence equals to the degree of nesting of the corresponding vertex inside a hierarchy of cycles and sub-cycles of the graph. As a consequence, the nesting degree of the Preisach graph equals the length of the longest increasing subsequence.
△ Less
Submitted 24 July, 2021; v1 submitted 7 April, 2020;
originally announced April 2020.
-
Shock fluctuations in TASEP under a variety of time scalings
Authors:
Alexey Bufetov,
Patrik L. Ferrari
Abstract:
We consider the totally asymmetric simple exclusion process (TASEP) with two different initial conditions with shock discontinuities formed by blocks of fully packed particles. Initially a second class particle is at the left of a shock discontinuity. Using multicolored TASEP we derive exact formulas for the distribution of the second class particle and colored height functions. These are given in…
▽ More
We consider the totally asymmetric simple exclusion process (TASEP) with two different initial conditions with shock discontinuities formed by blocks of fully packed particles. Initially a second class particle is at the left of a shock discontinuity. Using multicolored TASEP we derive exact formulas for the distribution of the second class particle and colored height functions. These are given in terms of the height function at different positions of a single TASEP configuration. We study the limiting distributions of second class particles (and colored height functions). The result depends on how the width blocks of particles scale with the observation time; we study a variety of such scalings.
△ Less
Submitted 18 May, 2021; v1 submitted 27 March, 2020;
originally announced March 2020.
-
Slow-to-Start Traffic Model: Condensation, Saturation and Scaling Limits
Authors:
Pablo A. Ferrari,
Leonardo T. Rolla
Abstract:
We consider a one-dimensional traffic model with a slow-to-start rule. The initial position of the cars in $\mathbb R$ is a Poisson process of parameter $λ$. Cars have speed 0 or 1 and travel in the same direction. At time zero the speed of all cars is 0; each car waits an exponential time to switch speed from $0$ to $1$ and stops when it collides with a stopped car. When the car is no longer bloc…
▽ More
We consider a one-dimensional traffic model with a slow-to-start rule. The initial position of the cars in $\mathbb R$ is a Poisson process of parameter $λ$. Cars have speed 0 or 1 and travel in the same direction. At time zero the speed of all cars is 0; each car waits an exponential time to switch speed from $0$ to $1$ and stops when it collides with a stopped car. When the car is no longer blocked, it waits a new exponential time to assume speed one, and so on. We study the emergence of condensation for the saturated regime $λ>1$ and the critical regime $λ=1$, showing that in both regimes all cars collide infinitely often and each car has asymptotic mean velocity $1/λ$. In the saturated regime the moving cars form a point process whose intensity tends to 1. The remaining cars condensate in a set of points whose intensity tends to zero as $1/\sqrt t$. We study the scaling limit of the traffic jam evolution in terms of a collection of coalescing Brownian motions.
△ Less
Submitted 16 January, 2020;
originally announced January 2020.
-
Statistics of TASEP with three merging characteristics
Authors:
Patrik L. Ferrari,
Peter Nejjar
Abstract:
In this paper we consider the totally asymmetric simple exclusion process, with non-random initial condition having three regions of constant densities of particles. From left to right, the densities of the three regions are increasing. Consequently, there are three characteristics which meet, i.e. two shocks merge. We study the particle fluctuations at this merging point and show that they are gi…
▽ More
In this paper we consider the totally asymmetric simple exclusion process, with non-random initial condition having three regions of constant densities of particles. From left to right, the densities of the three regions are increasing. Consequently, there are three characteristics which meet, i.e. two shocks merge. We study the particle fluctuations at this merging point and show that they are given by a product of three (properly scaled) GOE Tracy-Widom distribution functions. We work directly in TASEP without relying on the connection to last passage percolation.
△ Less
Submitted 20 November, 2019; v1 submitted 30 October, 2019;
originally announced October 2019.
-
Multigrid methods for block-Toeplitz linear systems: convergence analysis and applications
Authors:
Marco Donatelli,
Paola Ferrari,
Isabella Furci,
Stefano Serra Capizzano,
Debora Sesana
Abstract:
In the past decades, multigrid methods for linear systems having multilevel Toeplitz coefficient matrices with scalar entries have been largely studied. On the other hand, only few papers have investigated the case of block entries, where the entries are small generic matrices instead of scalars. In that case the efforts of the researchers have been mainly devoted to specific applications, focusin…
▽ More
In the past decades, multigrid methods for linear systems having multilevel Toeplitz coefficient matrices with scalar entries have been largely studied. On the other hand, only few papers have investigated the case of block entries, where the entries are small generic matrices instead of scalars. In that case the efforts of the researchers have been mainly devoted to specific applications, focusing on algorithmic proposals but with very marginal theoretical results.
In this paper, we propose a general two-grid convergence analysis proving an optimal convergence rate independent of the matrix size, in the case of positive definite block Toeplitz matrices with generic blocks. In particular, the proof of the approximation property has not a straightforward generalization of the scalar case and in fact we have to require a specific commutativity condition on the block symbol of the grid transfer operator. Furthermore, we define a class of grid transfer operators satisfying the previous theoretical conditions and we propose a strategy to insure fast multigrid convergence even for more than two grids.
Among the numerous applications that lead to the block Toeplitz structure, high order Lagrangian finite element methods and staggered discontinuous Galerkin methods are considered in the numerical results, confirming the effectiveness of our proposal and the correctness of the proposed theoretical analysis.
△ Less
Submitted 30 October, 2019;
originally announced October 2019.
-
Fluctuations of the Arctic curve in the tilings of the Aztec diamond on restricted domains
Authors:
Patrik L. Ferrari,
Bálint Vető
Abstract:
We consider uniform random domino tilings of the restricted Aztec diamond which is obtained by cutting off an upper triangular part of the Aztec diamond by a horizontal line. The restriction line asymptotically touches the arctic circle that is the limit shape of the north polar region in the unrestricted model. We prove that the rescaled boundary of the north polar region in the restricted domain…
▽ More
We consider uniform random domino tilings of the restricted Aztec diamond which is obtained by cutting off an upper triangular part of the Aztec diamond by a horizontal line. The restriction line asymptotically touches the arctic circle that is the limit shape of the north polar region in the unrestricted model. We prove that the rescaled boundary of the north polar region in the restricted domain converges to the Airy$_2$ process conditioned to stay below a parabola with explicit continuous statistics and the finite dimensional distribution kernels. The limit is the hard-edge tacnode process which was first discovered in the framework of non-intersecting Brownian bridges. The proof relies on a random walk representation of the correlation kernel of the non-intersecting line ensemble which corresponds to a random tiling.
△ Less
Submitted 27 July, 2020; v1 submitted 24 September, 2019;
originally announced September 2019.
-
Gaussian random permutation and the boson point process
Authors:
Inés Armendáriz,
Pablo A. Ferrari,
Sergio Yuhjtman
Abstract:
We construct an infinite volume spatial random permutation $(\mathsf X,σ)$, where $\mathsf X\subset\mathbb R^d$ is locally finite and $σ:\mathsf X\to \mathsf X$ is a permutation, associated to the formal Hamiltonian
$$
H(\mathsf X,σ) = \sum_{x\in \mathsf X} \|x-σ(x)\|^2.
$$
The measures are parametrized by the point density $ρ$ and the temperature $α$. Spatial random permutations are natur…
▽ More
We construct an infinite volume spatial random permutation $(\mathsf X,σ)$, where $\mathsf X\subset\mathbb R^d$ is locally finite and $σ:\mathsf X\to \mathsf X$ is a permutation, associated to the formal Hamiltonian
$$
H(\mathsf X,σ) = \sum_{x\in \mathsf X} \|x-σ(x)\|^2.
$$
The measures are parametrized by the point density $ρ$ and the temperature $α$. Spatial random permutations are naturally related to boson systems through a representation originally due to Feynman (1953). Let $ρ_c=ρ_c(α)$ be the critical density for Bose-Einstein condensation in Feynman's representation. Each finite cycle of $σ$ induces a loop of points of~$\mathsf X$.
For $ρ\le ρ_c$ we define $(\mathsf X, σ)$ as a Poisson process of finite unrooted loops of a random walk with Gaussian increments that we call Gaussian loop soup, analogous to the Brownian loop soup of Lawler and Werner (2004). We also construct Gaussian random interlacements, a Poisson process of doubly infinite trajectories of random walks with Gaussian increments analogous to the Brownian random interlacements of Sznitman (2010).
For $d\ge 3$ and $ρ>ρ_c$ we define $(\mathsf X,σ)$ as the superposition of independent realizations of the Gaussian loop soup at density $ρ_c$ and the Gaussian random interlacements at density $ρ-ρ_c$. In either case we call $(\mathsf X, σ)$ a Gaussian random permutation at density $ρ$ and temperature $α$. The resulting measure satisfies a Markov property and it is Gibbs for the Hamiltonian $H$. Its point marginal $\mathsf X$ has the same distribution as the boson point process introduced by Shirai-Takahashi (2003) in the subcritical case, and by Tamura-Ito (2007) in the supercritical case.
△ Less
Submitted 31 August, 2021; v1 submitted 26 June, 2019;
originally announced June 2019.
-
Box-ball system: soliton and tree decomposition of excursions
Authors:
Pablo A Ferrari,
Davide Gabrielli
Abstract:
We review combinatorial properties of solitons of the Box-Ball system introduced by Takahashi and Satsuma in 1990. Starting with several definitions of the system, we describe ways to identify solitons and review a proof of the conservation of the solitons under the dynamics. Ferrari, Nguyen, Rolla and Wang 2018 proposed a soliton decomposition of a configuration into a family of vectors, one for…
▽ More
We review combinatorial properties of solitons of the Box-Ball system introduced by Takahashi and Satsuma in 1990. Starting with several definitions of the system, we describe ways to identify solitons and review a proof of the conservation of the solitons under the dynamics. Ferrari, Nguyen, Rolla and Wang 2018 proposed a soliton decomposition of a configuration into a family of vectors, one for each soliton size. Based on this decompositions, the authors have proposed a family of measures on the set of excursions which induces invariant distributions for the Box-Ball System. In this paper, we propose a new soliton decomposition which is equivalent to a branch decomposition of the tree associated to the excursion, see Le Gall 2005. A ball configuration distributed as independent Bernoulli variables of parameter $λ<1/2$ is in correspondence with a simple random walk with negative drift $2λ-1$ and infinitely many excursions over the local minima. In this case the authors have proven that the soliton decomposition of the walk consists on independent double-infinite vectors of iid geometric random variables. We show that this property is shared by the branch decomposition of the excursion trees of the random walk and discuss a corresponding construction of a Geometric branching process with independent but not identically distributed Geometric random variables.
△ Less
Submitted 2 May, 2020; v1 submitted 14 June, 2019;
originally announced June 2019.
-
Stationary half-space last passage percolation
Authors:
Dan Betea,
Patrik L. Ferrari,
Alessandra Occelli
Abstract:
In this paper we study stationary last passage percolation (LPP) in half-space geometry. We determine the limiting distribution of the last passage time in a critical window close to the origin. The result is a new two-parameter family of distributions: one parameter for the strength of the diagonal bounding the half-space (strength of the source at the origin in the equivalent TASEP language) and…
▽ More
In this paper we study stationary last passage percolation (LPP) in half-space geometry. We determine the limiting distribution of the last passage time in a critical window close to the origin. The result is a new two-parameter family of distributions: one parameter for the strength of the diagonal bounding the half-space (strength of the source at the origin in the equivalent TASEP language) and the other for the distance of the point of observation from the origin. It should be compared with the one-parameter family giving the Baik--Rains distributions for full-space geometry. We finally show that far enough away from the characteristic line, our distributions indeed converge to the Baik--Rains family. We derive our results using a related integrable model having Pfaffian structure together with careful analytic continuation and steepest descent analysis.
△ Less
Submitted 17 January, 2021; v1 submitted 21 May, 2019;
originally announced May 2019.
-
Gibbs measures over permutations of point processes with low density
Authors:
Inés Armendáriz,
Pablo A. Ferrari,
Nicolás Frevenza
Abstract:
We study a model of spatial random permutations over a discrete set of points. Formally, a permutation $σ$ is sampled proportionally to the weight $\exp\{-α\sum_x V(σ(x)-x)\},$ where $α>0$ is the temperature and $V$ is a non-negative and continuous potential. The most relevant case for physics is when $V(x)=\|x\|^2$, since it is related to Bose-Einstein condensation through a representation introd…
▽ More
We study a model of spatial random permutations over a discrete set of points. Formally, a permutation $σ$ is sampled proportionally to the weight $\exp\{-α\sum_x V(σ(x)-x)\},$ where $α>0$ is the temperature and $V$ is a non-negative and continuous potential. The most relevant case for physics is when $V(x)=\|x\|^2$, since it is related to Bose-Einstein condensation through a representation introduced by Feynman in 1953. In the context of statistical mechanics, the weights define a probability when the set of points is finite, but the construction associated to an infinite set is not trivial and may fail without appropriate hypotheses. The first problem is to establish conditions for the existence of such a measure at infinite volume when the set of points is infinite. Once existence is derived, we are interested in establishing its uniqueness and the cycle structure of a typical permutation. We here consider the large temperature regime when the set of points is a Poisson point process in $\mathbb{Z}^d$ with intensity $ρ\in(0,1/2)$, and the potential verifies some regularity conditions. In particular, we prove that if $α$ is large enough, for almost every realization of the point process, there exists a unique Gibbs measure that concentrates on finite cycle permutations. We then extend these results to the continuous setting, when the set of points is given by a Poisson point process in $\mathbb{R}^d$ with low enough intensity.
△ Less
Submitted 8 April, 2019;
originally announced April 2019.
-
BBS invariant measures with independent soliton components
Authors:
Pablo A. Ferrari,
Davide Gabrielli
Abstract:
The Box-Ball System (BBS) is a one-dimensional cellular automaton in $\{0,1\}^\Z$ introduced by Takahashi and Satsuma \cite{TS}, who also identified conserved sequences called \emph{solitons}. Integers are called boxes and a ball configuration indicates the boxes occupied by balls. For each integer $k\ge1$, a $k$-soliton consists of $k$ boxes occupied by balls and $k$ empty boxes (not necessarily…
▽ More
The Box-Ball System (BBS) is a one-dimensional cellular automaton in $\{0,1\}^\Z$ introduced by Takahashi and Satsuma \cite{TS}, who also identified conserved sequences called \emph{solitons}. Integers are called boxes and a ball configuration indicates the boxes occupied by balls. For each integer $k\ge1$, a $k$-soliton consists of $k$ boxes occupied by balls and $k$ empty boxes (not necessarily consecutive). Ferrari, Nguyen, Rolla and Wang \cite{FNRW} define the $k$-slots of a configuration as the places where $k$-solitons can be inserted. Labeling the $k$-slots with integer numbers, they define the $k$-component of a configuration as the array $\{ζ_k(j)\}_{j\in \mathbb Z}$ of elements of $\Z_{\ge0}$ giving the number $ζ_k(j)$ of $k$-solitons appended to $k$-slot $j\in \mathbb Z$. They also show that if the Palm transform of a translation invariant distribution $μ$ has independent soliton components, then $μ$ is invariant for the automaton. We show that for each $λ\in[0,1/2)$ the Palm transform of a product Bernoulli measure with parameter $λ$ has independent soliton components and that its $k$-component is a product measure of geometric random variables with parameter $1-q_k(λ)$, an explicit function of $λ$. The construction is used to describe a large family of invariant measures with independent components under the Palm transformation, including Markov measures.
△ Less
Submitted 8 November, 2019; v1 submitted 6 December, 2018;
originally announced December 2018.
-
Higher-order approximate confidence intervals
Authors:
Eliane C. Pinheiro,
Silvia L. P. Ferrari,
Francisco M. C. Medeiros
Abstract:
Standard confidence intervals employed in applied statistical analysis are usually based on asymptotic approximations. Such approximations can be considerably inaccurate in small and moderate sized samples. We derive accurate confidence intervals based on higher-order approximate quantiles of the score function. The coverage approximation error is $O(n^{-3/2})$ while the approximation error of con…
▽ More
Standard confidence intervals employed in applied statistical analysis are usually based on asymptotic approximations. Such approximations can be considerably inaccurate in small and moderate sized samples. We derive accurate confidence intervals based on higher-order approximate quantiles of the score function. The coverage approximation error is $O(n^{-3/2})$ while the approximation error of confidence intervals based on the asymptotic normality of MLEs is $O(n^{-1/2})$. Monte Carlo simulations confirm the theoretical findings. An implementation for regression models and real data applications are provided.
△ Less
Submitted 10 December, 2020; v1 submitted 27 November, 2018;
originally announced November 2018.
-
The eigenvalue distribution of special $2$-by-$2$ block matrix sequences, with applications to the case of symmetrized Toeplitz structures
Authors:
Paola Ferrari,
Isabella Furci,
Sean Hon,
Mohammad Ayman Mursaleen,
Stefano Serra-Capizzano
Abstract:
Given a Lebesgue integrable function $f$ over $[0,2π]$, we consider the sequence of matrices $\{Y_nT_n[f]\}_n$, where $T_n[f]$ is the $n$-by-$n$ Toeplitz matrix generated by $f$ and $Y_n$ is the flip permutation matrix, also called the anti-identity matrix. Because of the unitary character of $Y_n$, the singular values of $T_n[f]$ and $Y_n T_n[f]$ coincide. However, the eigenvalues are affected su…
▽ More
Given a Lebesgue integrable function $f$ over $[0,2π]$, we consider the sequence of matrices $\{Y_nT_n[f]\}_n$, where $T_n[f]$ is the $n$-by-$n$ Toeplitz matrix generated by $f$ and $Y_n$ is the flip permutation matrix, also called the anti-identity matrix. Because of the unitary character of $Y_n$, the singular values of $T_n[f]$ and $Y_n T_n[f]$ coincide. However, the eigenvalues are affected substantially by the action of the matrix $Y_n$. Under the assumption that the Fourier coefficients are real, we prove that $\{Y_nT_n[f]\}_n$ is distributed in the eigenvalue sense as
\[
φ_g(θ)=\left\{
\begin{array}{cc}
g(θ), & θ\in [0,2π],
-g(-θ), & θ\in [-2π,0),
\end{array}
\right.\,
\] with $g(θ)=|f(θ)|$. We also consider the preconditioning introduced by Pestana and Wathen and, by using the same arguments, we prove that the preconditioned sequence is distributed in the eigenvalue sense as $φ_1$, under the mild assumption that $f$ is sparsely vanishing. We emphasize that the mathematical tools introduced in this setting have a general character and in fact can be potentially used in different contexts. A number of numerical experiments are provided and critically discussed.
△ Less
Submitted 8 October, 2018;
originally announced October 2018.
-
Time-time covariance for last passage percolation with generic initial profile
Authors:
Patrik L. Ferrari,
Alessandra Occelli
Abstract:
We consider time correlation for KPZ growth in 1+1 dimensions in a neighborhood of a characteristics. We prove convergence of the covariance with droplet, flat and stationary initial profile. In particular, this provides a rigorous proof of the exact formula of the covariance for the stationary case obtained in [SIGMA 12 (2016), 074]. Furthermore, we prove the universality of the first order corre…
▽ More
We consider time correlation for KPZ growth in 1+1 dimensions in a neighborhood of a characteristics. We prove convergence of the covariance with droplet, flat and stationary initial profile. In particular, this provides a rigorous proof of the exact formula of the covariance for the stationary case obtained in [SIGMA 12 (2016), 074]. Furthermore, we prove the universality of the first order correction when the two observation times are close and provide a rigorous bound of the error term. This result holds also for random initial profiles which are not necessarily stationary.
△ Less
Submitted 20 December, 2018; v1 submitted 9 July, 2018;
originally announced July 2018.
-
Soliton decomposition of the Box-Ball System
Authors:
Pablo A. Ferrari,
Chi Nguyen,
Leonardo T. Rolla,
Minmin Wang
Abstract:
The Box-Ball System, shortly BBS, was introduced by Takahashi and Satsuma as a discrete counterpart of the KdV equation. Both systems exhibit solitons whose shape and speed are conserved after collision with other solitons. We introduce a slot decomposition of ball configurations, each component being an infinite vector describing the number of size $k$ solitons in each $k$-slot. The dynamics of t…
▽ More
The Box-Ball System, shortly BBS, was introduced by Takahashi and Satsuma as a discrete counterpart of the KdV equation. Both systems exhibit solitons whose shape and speed are conserved after collision with other solitons. We introduce a slot decomposition of ball configurations, each component being an infinite vector describing the number of size $k$ solitons in each $k$-slot. The dynamics of the components is linear: the $k$-th component moves rigidly at speed $k$. Let $ζ$ be a translation invariant family of independent random vectors under a summability condition and $η$ the ball configuration with components $ζ$. We show that the law of $η$ is translation invariant and invariant for the BBS. This recipe allows us to construct a big family of invariant measures, including product measures and stationary Markov chains with ball density less than $\frac12$. We also show that starting BBS with an ergodic measure, the position of a tagged $k$-soliton at time $t$, divided by $t$ converges as $t\to\infty$ to an effective speed $v_k$. The vector of speeds satisfies a system of linear equations related with the Generalized Gibbs Ensemble of conservative laws.
△ Less
Submitted 13 April, 2021; v1 submitted 7 June, 2018;
originally announced June 2018.
-
Phase transition for infinite systems of spiking neurons
Authors:
P. A. Ferrari,
A. Galves,
I. Grigorescu,
E. Löcherbach
Abstract:
We prove the existence of a phase transition for a stochastic model of interacting neurons. The spiking activity of each neuron is represented by a point process having rate $1 $ whenever its membrane potential is larger than a threshold value. This membrane potential evolves in time and integrates the spikes of all {\it presynaptic neurons} since the last spiking time of the neuron. When a neuron…
▽ More
We prove the existence of a phase transition for a stochastic model of interacting neurons. The spiking activity of each neuron is represented by a point process having rate $1 $ whenever its membrane potential is larger than a threshold value. This membrane potential evolves in time and integrates the spikes of all {\it presynaptic neurons} since the last spiking time of the neuron. When a neuron spikes, its membrane potential is reset to $0$ and simultaneously, a constant value is added to the membrane potentials of its postsynaptic neurons. Moreover, each neuron is exposed to a leakage effect leading to an abrupt loss of potential occurring at random times driven by an independent Poisson point process of rate $γ> 0 .$ For this process we prove the existence of a value $γ_c$ such that the system has one or two extremal invariant measures according to whether $γ> γ_c $ or not.
△ Less
Submitted 28 June, 2018; v1 submitted 21 February, 2018;
originally announced February 2018.
-
Finite GUE distribution with cut-off at a shock
Authors:
P. L. Ferrari
Abstract:
We consider the totally asymmetric simple exclusion process with initial conditions generating a shock. The fluctuations of particle positions are asymptotically governed by the randomness around the two characteristic lines joining at the shock. Unlike in previous papers, we describe the correlation in space-time \emph{without} employing the mapping to the last passage percolation, which fails to…
▽ More
We consider the totally asymmetric simple exclusion process with initial conditions generating a shock. The fluctuations of particle positions are asymptotically governed by the randomness around the two characteristic lines joining at the shock. Unlike in previous papers, we describe the correlation in space-time \emph{without} employing the mapping to the last passage percolation, which fails to exists already for the partially asymmetric model. We then consider a special case, where the asymptotic distribution is a cut-off of the distribution of the largest eigenvalue of a finite GUE matrix. Finally we discuss the strength of the probabilistic and physically motivated approach and compare it with the mathematical difficulties of a direct computation.
△ Less
Submitted 2 March, 2018; v1 submitted 30 November, 2017;
originally announced December 2017.
-
Non local branching Brownians with annihilation and free boundary problems
Authors:
A. De Masi,
P. A. Ferrari,
E. Presutti,
N. Soprano-Loto
Abstract:
We study a system of branching Brownian motions on $\mathbb R$ with annihilation: at each branching time a new particle is created and the leftmost one is deleted. In [7] it has been studied the case of strictly local creations (the new particle is put exactly at the same position of the branching particle), in [10] instead the position $y$ of the new particle has a distribution $p(x,y)dy$, $x$ th…
▽ More
We study a system of branching Brownian motions on $\mathbb R$ with annihilation: at each branching time a new particle is created and the leftmost one is deleted. In [7] it has been studied the case of strictly local creations (the new particle is put exactly at the same position of the branching particle), in [10] instead the position $y$ of the new particle has a distribution $p(x,y)dy$, $x$ the position of the branching particle, however particles in between branching times do not move. In this paper we consider Brownian motions as in [7] and non local branching as in [10] and prove convergence in the continuum limit (when the number $N$ of particles diverges) to a limit density which satisfies a free boundary problem when this has classical solutions, local in time existence of classical solution has been proved recently in [13]. We use in the convergence a stronger topology than in [7] and [10] and have explicit bounds on the rate of convergence.
△ Less
Submitted 24 November, 2017; v1 submitted 16 November, 2017;
originally announced November 2017.
-
Limit law of a second class particle in TASEP with non-random initial condition
Authors:
Patrik L. Ferrari,
Peter Nejjar,
Promit Ghosal
Abstract:
We consider the totally asymmetric simple exclusion process (TASEP) with non-random initial condition having density $ρ$ on $\mathbb{Z}_-$ and $λ$ on $\mathbb{Z}_+$, and a second class particle initially at the origin. For $ρ<λ$, there is a shock and the second class particle moves with speed $1-λ-ρ$. For large time $t$, we show that the position of the second class particle fluctuates on a…
▽ More
We consider the totally asymmetric simple exclusion process (TASEP) with non-random initial condition having density $ρ$ on $\mathbb{Z}_-$ and $λ$ on $\mathbb{Z}_+$, and a second class particle initially at the origin. For $ρ<λ$, there is a shock and the second class particle moves with speed $1-λ-ρ$. For large time $t$, we show that the position of the second class particle fluctuates on a $t^{1/3}$ scale and determine its limiting law. We also obtain the limiting distribution of the number of steps made by the second class particle until time $t$.
△ Less
Submitted 22 May, 2018; v1 submitted 6 October, 2017;
originally announced October 2017.
-
Hydrodynamics of the $N$-BBM process
Authors:
Anna De Masi,
Pablo A. Ferrari,
Errico Presutti,
Nahuel Soprano-Loto
Abstract:
The Branching Brownian Motions (BBM) are particles performing independent Brownian motions in $\mathbb R$ and each particle at rate 1 creates a new particle at her current position; the newborn particle increments and branchings are independent of the other particles. The $N$-BBM starts with $N$ particles and at each branching time, the leftmost particle is removed so that the total number of part…
▽ More
The Branching Brownian Motions (BBM) are particles performing independent Brownian motions in $\mathbb R$ and each particle at rate 1 creates a new particle at her current position; the newborn particle increments and branchings are independent of the other particles. The $N$-BBM starts with $N$ particles and at each branching time, the leftmost particle is removed so that the total number of particles is $N$ for all times. The $N$-BBM was proposed by Maillard and belongs to a family of processes introduced by Brunet and Derrida. We fix a density $ρ$ with a left boundary $L=\sup\{r\in\mathbb R: \int_r^\infty ρ(x)dx=1\}>-\infty$ and let the initial particle positions be iid continuous random variables with density $ρ$. We show that the empirical measure associated to the particle positions at a fixed time $t$ converges to an absolutely continuous measure with density $ψ(\cdot,t)$, as $N\to\infty$. The limit $ψ$ is solution of a free boundary problem (FBP) when this solution exists. The existence of solutions for finite time-intervals has been recently proved by Lee.
△ Less
Submitted 3 July, 2017;
originally announced July 2017.
