Showing 1–50 of 87 results for author: Ferrari, A

$L_1(\mathfrak{psl}_{n|n})$ from BRST reductions, associated varieties and nilpotent orbits

Authors: Andrea E. V. Ferrari, Aiden Suter

Abstract: We verify a conjecture of Beem and the first author stating that a certain family of physically motivated BRST reductions of beta-gamma systems and free fermions is isomorphic to $L_1(\mathfrak{psl}_{n|n})$, and that its associated variety is isomorphic as a Poisson variety to the minimal nilpotent orbit closure $\overline{\mathbb{O}_{\mathrm{min}}(\mathfrak{sl}_n)}$. This shows in particular that… ▽ More We verify a conjecture of Beem and the first author stating that a certain family of physically motivated BRST reductions of beta-gamma systems and free fermions is isomorphic to $L_1(\mathfrak{psl}_{n|n})$, and that its associated variety is isomorphic as a Poisson variety to the minimal nilpotent orbit closure $\overline{\mathbb{O}_{\mathrm{min}}(\mathfrak{sl}_n)}$. This shows in particular that $L_1(\mathfrak{psl}_{n|n})$ is quasi-lisse. Combining this with other results in the literature (in particular work of Ballin et al.), this paper provides a concrete and important example of how one can extract two symplectic dual varieties from a rather well-known vertex operator algebra. △ Less

Submitted 19 September, 2024; originally announced September 2024.

MSC Class: 17B69 (Primary)

Difference Equations: from Berry Connections to the Coulomb Branch

Authors: Andrea E. V. Ferrari, Daniel Zhang

Abstract: In recent work, we demonstrated that a spectral variety for the Berry connection of a 2d $\mathcal{N}=(2,2)$ GLSM with Kähler vacuum moduli space $X$ and abelian flavour symmetry is the support of a sheaf induced by a certain action on the equivariant quantum cohomology of $X$. This action could be quantised to first-order matrix difference equations obeyed by brane amplitudes, and by taking the c… ▽ More In recent work, we demonstrated that a spectral variety for the Berry connection of a 2d $\mathcal{N}=(2,2)$ GLSM with Kähler vacuum moduli space $X$ and abelian flavour symmetry is the support of a sheaf induced by a certain action on the equivariant quantum cohomology of $X$. This action could be quantised to first-order matrix difference equations obeyed by brane amplitudes, and by taking the conformal limit, vortex partition functions. In this article, we elucidate how some of these results may be recovered from a 3d perspective, by placing the 2d theory at a boundary and gauging the flavour symmetry via a bulk A-twisted 3d $\mathcal{N}=4$ gauge theory (a sandwich construction). We interpret the above action as that of the bulk Coulomb branch algebra on boundary twisted chiral operators. This relates our work to recent constructions of actions of Coulomb branch algebras on quantum equivariant cohomology, providing a novel correspondence between these actions and spectral data of generalised periodic monopoles. The effective IR description of the 2d theory in terms of a twisted superpotential allows for explicit computations of these actions, which we demonstrate for abelian GLSMs. △ Less

Submitted 3 February, 2025; v1 submitted 30 August, 2024; originally announced September 2024.

Comments: 25 pages, 2 figures. v2: minor edits, to be published in SciPost Physics

Journal ref: SciPost Phys. 18, 045 (2025)

On Spectral Data for $(2,2)$ Berry Connections, Difference Equations & Equivariant Quantum Cohomology

Authors: Andrea E. V. Ferrari, Daniel Zhang

Abstract: We study supersymmetric Berry connections of 2d $\mathcal{N}=(2,2)$ gauged linear sigma models (GLSMs) quantized on a circle, which are periodic monopoles, with the aim to provide a fruitful physical arena for recent mathematical constructions related to the latter. These are difference modules encoding monopole solutions via a Hitchin-Kobayashi correspondence established by Mochizuki. We demonstr… ▽ More We study supersymmetric Berry connections of 2d $\mathcal{N}=(2,2)$ gauged linear sigma models (GLSMs) quantized on a circle, which are periodic monopoles, with the aim to provide a fruitful physical arena for recent mathematical constructions related to the latter. These are difference modules encoding monopole solutions via a Hitchin-Kobayashi correspondence established by Mochizuki. We demonstrate how the difference modules arise naturally by studying the ground states as the cohomology of a one-parameter family of supercharges. In particular, we show how they are related to one kind of monopole spectral data, a quantization of the Cherkis-Kapustin spectral curve, and relate them to the physics of the GLSM. By considering states generated by D-branes and leveraging the difference modules, we derive novel difference equations for brane amplitudes. We then show that in the conformal limit, these degenerate into novel difference equations for hemisphere partition functions, which are exactly calculable. When the GLSM flows to a nonlinear sigma model with Kähler target $X$, we show that the difference modules are related to the equivariant quantum cohomology of $X$. △ Less

Submitted 27 January, 2025; v1 submitted 3 June, 2024; originally announced June 2024.

Comments: Contribution to the proceedings of GLSM@30. v2: minor edits (one item in the bibliography updated)

Berry Connections for 2d $(2,2)$ Theories, Monopole Spectral Data & (Generalised) Cohomology Theories

Authors: Andrea E. V. Ferrari, Daniel Zhang

Abstract: We study Berry connections for supersymmetric ground states of 2d $\mathcal{N}=(2,2)$ GLSMs quantised on a circle, which are generalised periodic monopoles. Periodic monopole solutions may be encoded into difference modules, as shown by Mochizuki, or into an alternative algebraic construction given in terms of vector bundles endowed with filtrations. By studying the ground states in terms of a one… ▽ More We study Berry connections for supersymmetric ground states of 2d $\mathcal{N}=(2,2)$ GLSMs quantised on a circle, which are generalised periodic monopoles. Periodic monopole solutions may be encoded into difference modules, as shown by Mochizuki, or into an alternative algebraic construction given in terms of vector bundles endowed with filtrations. By studying the ground states in terms of a one-parameter family of supercharges, we relate these two different kinds of spectral data to the physics of the GLSMs. From the difference modules we derive novel difference equations for brane amplitudes, which in the conformal limit yield novel difference equations for hemisphere or vortex partition functions. When the GLSM flows to a nonlinear sigma model with Kähler target $X$, we show that the two kinds of spectral data are related to different (generalised) cohomology theories: the difference modules are related to the equivariant quantum cohomology of $X$, whereas the vector bundles with filtrations are related to its equivariant K-theory. △ Less

Submitted 27 January, 2025; v1 submitted 14 November, 2023; originally announced November 2023.

Comments: 54 pages + appendix. v3: Minor edits, to be published in the Journal of Geometry and Physics

Boundary vertex algebras for 3d $\mathcal{N}=4$ rank-0 SCFTs

Authors: Andrea E. V. Ferrari, Niklas Garner, Heeyeon Kim

Abstract: We initiate the study of boundary Vertex Operator Algebras (VOAs) of topologically twisted 3d $\mathcal{N}=4$ rank-0 SCFTs. This is a recently introduced class of $\mathcal{N}=4$ SCFTs that by definition have zero-dimensional Higgs and Coulomb branches. We briefly explain why it is reasonable to obtain rational VOAs at the boundary of their topological twists. When a rank-0 SCFT is realized as the… ▽ More We initiate the study of boundary Vertex Operator Algebras (VOAs) of topologically twisted 3d $\mathcal{N}=4$ rank-0 SCFTs. This is a recently introduced class of $\mathcal{N}=4$ SCFTs that by definition have zero-dimensional Higgs and Coulomb branches. We briefly explain why it is reasonable to obtain rational VOAs at the boundary of their topological twists. When a rank-0 SCFT is realized as the IR fixed point of a $\mathcal{N}=2$ Lagrangian theory, we propose a technique for the explicit construction of its topological twists and boundary VOAs based on deformations of the holomorphic-topological twist of the $\mathcal{N}=2$ microscopic description. We apply this technique to the $B$ twist of a newly discovered family of 3d $\mathcal{N}=4$ rank-0 SCFTs ${\mathcal T}_r$ and argue that they admit the simple affine VOAs $L_r(\mathfrak{osp}(1|2))$ at their boundary. In the simplest case, this leads to a novel level-rank duality between $L_1(\mathfrak{osp}(1|2))$ and the minimal model $M(2,5)$. As an aside, we present a TQFT obtained by twisting a 3d $\mathcal{N}=2$ QFT that admits the $M(3,4)$ minimal model as a boundary VOA and briefly comment on the classical freeness of VOAs at the boundary of 3d TQFTs. △ Less

Submitted 27 June, 2024; v1 submitted 8 November, 2023; originally announced November 2023.

Comments: minor revision

Journal ref: SciPost Phys. 17, 057 (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.

Comments: 35 pages, 4 figures

MSC Class: 37B15; 37K40; 60C05

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.

MSC Class: 82C21; 82D15; 70F45

Free field realisation of boundary vertex algebras for Abelian gauge theories in three dimensions

Authors: Christopher Beem, Andrea E. V. Ferrari

Abstract: We study the boundary vertex algebras of $A$-twisted $\mathcal{N}=4$ Abelian gauge theories in three dimensions. These are identified with the BRST quotient (semi-infinite cohomology) of collections of symplectic bosons and free fermions that reflect the matter content of the corresponding gauge theory. We develop various free field realisations for these vertex algebras which we propose to interp… ▽ More We study the boundary vertex algebras of $A$-twisted $\mathcal{N}=4$ Abelian gauge theories in three dimensions. These are identified with the BRST quotient (semi-infinite cohomology) of collections of symplectic bosons and free fermions that reflect the matter content of the corresponding gauge theory. We develop various free field realisations for these vertex algebras which we propose to interpret in terms of their localisation on their associated varieties. We derive the free field realisations by bosonising the elementary symplectic bosons and free fermions and then calculating the relevant semi-infinite cohomology, which can be done systematically. An interesting feature of our construction is that for certain preferred free field realisations, the outer automorphism symmetry of the vertex algebras in question (which are identified with the symmetries of the Coulomb branch in the infrared) are made manifest. △ Less

Submitted 27 January, 2025; v1 submitted 21 April, 2023; originally announced April 2023.

Comments: 54 pages + appendices. v2: typos corrected, minor edits. Note: in the published CMP version the material is presented in a different order

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.

Comments: 35 pages, 6 figures-

MSC Class: 82C21; 82D15; 37B15; 70F45

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.

Comments: 31 pages, 2 figures

MSC Class: 62.P.10

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.

Comments: 24 pages, 12 figures

MSC Class: 60K30; 60K35; 82C22

Approximate solutions of one dimensional systems with fractional derivative

Authors: Alberto Ferrari, Manuel Gadella, Luis Lara, Eduardo Santillan Marcus

Abstract: The fractional calculus is useful to model non-local phenomena. We construct a method to evaluate the fractional Caputo derivative by means of a simple explicit quadratic segmentary interpolation. This method yields to numerical resolution of ordinary fractional differential equations. Due to the non-locality of the fractional derivative, we may establish an equivalence between fractional oscillat… ▽ More The fractional calculus is useful to model non-local phenomena. We construct a method to evaluate the fractional Caputo derivative by means of a simple explicit quadratic segmentary interpolation. This method yields to numerical resolution of ordinary fractional differential equations. Due to the non-locality of the fractional derivative, we may establish an equivalence between fractional oscillators and ordinary oscillators with a dissipative term. △ Less

Submitted 17 October, 2019; originally announced October 2019.

Comments: 17 pages, 5 figures

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.

Comments: 35 pages, 7 figures

MSC Class: 82B10; 82B21; 82B26; 60G55; 60G50; 60K35

Convergence analysis and parity conservation of a new form of a quadratic explicit spline

Authors: A. J. Ferrari, L. P. Lara, E. A. Santillan Marcus

Abstract: In this study, a new form of quadratic spline is obtained, where the coefficients are determined explicitly by variational methods. Convergence is studied and parity conservation is demonstrated. Finally, the method is applied to solve integral equations. In this study, a new form of quadratic spline is obtained, where the coefficients are determined explicitly by variational methods. Convergence is studied and parity conservation is demonstrated. Finally, the method is applied to solve integral equations. △ Less

Submitted 25 June, 2019; originally announced June 2019.

Comments: 13 pages, 0 figures

A note on sum and difference of correlated chi-squared variables

Authors: Alberto Ferrari

Abstract: Approximate distributions for sum and difference of linearly correlated $χ^{2}$ distributed random variables are derived. It is shown that they can be reduced to conveniently parametrized gamma and Variance-Gamma distributions, respectively. The proposed distributions are very flexible, and the one for sum in particular has straight-forward generalizations to cases where multiple $χ^{2}$ variables… ▽ More Approximate distributions for sum and difference of linearly correlated $χ^{2}$ distributed random variables are derived. It is shown that they can be reduced to conveniently parametrized gamma and Variance-Gamma distributions, respectively. The proposed distributions are very flexible, and the one for sum in particular has straight-forward generalizations to cases where multiple $χ^{2}$ variables with different parameters are involved. The results promptly extend to every sum of gamma variables with common scale and to every difference between gamma variables with common shape and scale. The fit of the distributions is tested on simulated data with remarkable results.The approximations presented are expected to be especially useful to researchers working on gamma-distributed variables. △ Less

Submitted 24 June, 2019; originally announced June 2019.

Tumor growth, $R$-positivity, Multitype branching and Quasistationarity

Authors: Analía Ferrari, Pablo Groisman, Krishnamurthi Ravishankar

Abstract: Motivated by tumor growth models we establish conditions for the $R-$positivity of Markov processes and positive matrices. We then apply them to obtain the asymptotic behavior of the tumors sizes in the supercritical regime. Motivated by tumor growth models we establish conditions for the $R-$positivity of Markov processes and positive matrices. We then apply them to obtain the asymptotic behavior of the tumors sizes in the supercritical regime. △ Less

Submitted 20 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.

Comments: 47 pages, 33 figures. This is the revised version after addressing referee reports. This version will be published in the special volume of the XIII Simposio de Probabilidad y Procesos Estocásticos, UNAM Mexico, by Birkhauser

MSC Class: 37B15; 37K40; 60C05; 82C23

Concentration bounds for linear Monge mapping estimation and optimal transport domain adaptation

Authors: Rémi Flamary, Karim Lounici, André Ferrari

Abstract: This article investigates the quality of the estimator of the linear Monge mapping between distributions. We provide the first concentration result on the linear mapping operator and prove a sample complexity of $n^{-1/2}$ when using empirical estimates of first and second order moments. This result is then used to derive a generalization bound for domain adaptation with optimal transport. As a co… ▽ More This article investigates the quality of the estimator of the linear Monge mapping between distributions. We provide the first concentration result on the linear mapping operator and prove a sample complexity of $n^{-1/2}$ when using empirical estimates of first and second order moments. This result is then used to derive a generalization bound for domain adaptation with optimal transport. As a consequence, this method approaches the performance of theoretical Bayes predictor under mild conditions on the covariance structure of the problem. We also discuss the computational complexity of the linear mapping estimation and show that when the source and target are stationary the mapping is a convolution that can be estimated very efficiently using fast Fourier transforms. Numerical experiments reproduce the behavior of the proven bounds on simulated and real data for mapping estimation and domain adaptation on images. △ Less

Submitted 1 December, 2020; v1 submitted 24 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.

Comments: 25 pages, Key words: Gibbs measures, permutations, finite cycles, Poisson point process

MSC Class: 60K35; 82B20

Twisted Indices of 3d ${\mathcal N} = 4$ Gauge Theories and Enumerative Geometry of Quasi-Maps

Authors: Mathew Bullimore, Andrea E. V. Ferrari, Heeyeon Kim

Abstract: We explore the geometric interpretation of the twisted index of 3d ${\mathcal N} =4$ gauge theories on $S^1\times Σ$ where $Σ$ is a closed Riemann surface. We focus on a rich class of supersymmetric quiver gauge theories that have isolated vacua under generic mass and FI parameter deformations. We show that the path integral localises to a moduli space of generalised vortex equations on $Σ$, which… ▽ More We explore the geometric interpretation of the twisted index of 3d ${\mathcal N} =4$ gauge theories on $S^1\times Σ$ where $Σ$ is a closed Riemann surface. We focus on a rich class of supersymmetric quiver gauge theories that have isolated vacua under generic mass and FI parameter deformations. We show that the path integral localises to a moduli space of generalised vortex equations on $Σ$, which can be understood algebraically as quasi-maps to the Higgs branch. We show that the twisted index reproduces the virtual Euler characteristic of the moduli spaces of twisted quasi-maps and demonstrate that this agrees with the contour integral representation introduced in previous work. Finally, we investigate 3d ${\mathcal N} = 4$ mirror symmetry in this context, which implies an equality of enumerative invariants associated to mirror pairs of Higgs branches under the exchange of equivariant and degree counting parameters. △ Less

Submitted 2 July, 2019; v1 submitted 13 December, 2018; originally announced December 2018.

Comments: 65 pages, 2 figures, minor corrections, version to appear in JHEP

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.

Comments: 30 pages. same results but different presentation, 15 figures

Strong approximation in h-mass of rectifiable currents under homological constraint

Authors: Antonin Chambolle, Luca Alberto Davide Ferrari, Benoït Merlet

Abstract: Let h : R $\rightarrow$ R+ be a lower semi-continuous subbadditive and even function such that h(0) = 0 and h($θ$) $\ge$ $α$|$θ$| for some $α$ > 0. The h-mass of a k-polyhedral chain P =$\sum$j $θ$j$σ$j in R n (0 $\le$ k $\le$ n) is defined as M h (P) := j h($θ$j) H k ($σ$j). If T = $τ$ (M, $θ$, $ξ$) is a k-rectifiable chain, the definition extends to M h (T) := M h($θ$) dH k. Given such a rectifi… ▽ More Let h : R $\rightarrow$ R+ be a lower semi-continuous subbadditive and even function such that h(0) = 0 and h($θ$) $\ge$ $α$|$θ$| for some $α$ > 0. The h-mass of a k-polyhedral chain P =$\sum$j $θ$j$σ$j in R n (0 $\le$ k $\le$ n) is defined as M h (P) := j h($θ$j) H k ($σ$j). If T = $τ$ (M, $θ$, $ξ$) is a k-rectifiable chain, the definition extends to M h (T) := M h($θ$) dH k. Given such a rectifiable flat chain T with M h (T) < $\infty$ and $\partial$T polyhedral, we prove that for every $η$ > 0, it decomposes as T = P + $\partial$V with P polyhedral, V rectifiable, M h (V) < $η$ and M h (P) < M h (T) + $η$. In short, we have a polyhedral chain P which strongly approximates T in h-mass and preserves the homological constraint $\partial$P = $\partial$T. These results are motivated by the study of approximations of M h by smoother functionals but they also provide explicit formulas for the lower semicontinuous envelope of T $\rightarrow$ M h (T) + I $\partial$S ($\partial$T) with respect to the topology of the flat norm. △ Less

Submitted 13 June, 2018; originally announced June 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 field approximations of branched transportation problems

Authors: Luca Alberto Davide Ferrari, Carolin Rossmanith, Benedikt Wirth

Abstract: In branched transportation problems mass has to be transported from a given initial distribution to a given final distribution, where the cost of the transport is proportional to the transport distance, but subadditive in the transported mass. As a consequence, mass transport is cheaper the more mass is transported together, which leads to the emergence of hierarchically branching transport networ… ▽ More In branched transportation problems mass has to be transported from a given initial distribution to a given final distribution, where the cost of the transport is proportional to the transport distance, but subadditive in the transported mass. As a consequence, mass transport is cheaper the more mass is transported together, which leads to the emergence of hierarchically branching transport networks. We here consider transport costs that are piecewise affine in the transported mass with N affine segments, in which case the resulting network can be interpreted as a street network composed of N different types of streets. In two spatial dimensions we propose a phase field approximation of this street network using N phase fields and a function approximating the mass flux through the network. We prove the corresponding $Γ$-convergence and show some numerical simulation results. △ Less

Submitted 29 May, 2018; originally announced May 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.

MSC Class: 60G55; 60K35; 92B99

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.

MSC Class: 60K35; 82C20

Variational approximation of size-mass energies for k-dimensional currents

Authors: Antonin Chambolle, Luca Alberto Davide Ferrari, Benoît Merlet

Abstract: In this paper we produce a $$Γ$$-convergence result for a class of energies $F k $ε$,a$ modeled on the Ambrosio-Tortorelli functional. For the choice k = 1 we show that $F 1 $ε$,a $Γ$$-converges to a branched transportation energy whose cost per unit length is a function $f n--1 a$ depending on a parameter $a > 0… ▽ More In this paper we produce a $$Γ$$-convergence result for a class of energies $F k $ε$,a$ modeled on the Ambrosio-Tortorelli functional. For the choice k = 1 we show that $F 1 $ε$,a $Γ$$-converges to a branched transportation energy whose cost per unit length is a function $f n--1 a$ depending on a parameter $a > 0$ and on the codimension n -- 1. The limit cost f a (m) is bounded from below by 1 + m so that the limit functional controls the mass and the length of the limit object. In the limit a $\downarrow$ 0 we recover the Steiner energy. We then generalize the approach to any dimension and codimension. The limit objects are now k-currents with prescribed boundary, the limit functional controls both their masses and sizes. In the limit $a $\downarrow$ 0$, we recover the Plateau energy defined on k-currents, $k < n$. The energies $F k $ε$,a$ then can be used for the numerical treatment of the k-Plateau problem. △ Less

Submitted 6 December, 2018; v1 submitted 24 October, 2017; originally announced October 2017.

Comments: ESAIM: Control, Optimisation and Calculus of Variations, EDP Sciences, In press

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.

Comments: 25 pages, 2 figures

MSC Class: 60K35; 82C20

Distributed Deblurring of Large Images of Wide Field-Of-View

Authors: Rahul Mourya, André Ferrari, Rémi Flamary, Pascal Bianchi, Cédric Richard

Abstract: Image deblurring is an economic way to reduce certain degradations (blur and noise) in acquired images. Thus, it has become essential tool in high resolution imaging in many applications, e.g., astronomy, microscopy or computational photography. In applications such as astronomy and satellite imaging, the size of acquired images can be extremely large (up to gigapixels) covering wide field-of-view… ▽ More Image deblurring is an economic way to reduce certain degradations (blur and noise) in acquired images. Thus, it has become essential tool in high resolution imaging in many applications, e.g., astronomy, microscopy or computational photography. In applications such as astronomy and satellite imaging, the size of acquired images can be extremely large (up to gigapixels) covering wide field-of-view suffering from shift-variant blur. Most of the existing image deblurring techniques are designed and implemented to work efficiently on centralized computing system having multiple processors and a shared memory. Thus, the largest image that can be handle is limited by the size of the physical memory available on the system. In this paper, we propose a distributed nonblind image deblurring algorithm in which several connected processing nodes (with reasonable computational resources) process simultaneously different portions of a large image while maintaining certain coherency among them to finally obtain a single crisp image. Unlike the existing centralized techniques, image deblurring in distributed fashion raises several issues. To tackle these issues, we consider certain approximations that trade-offs between the quality of deblurred image and the computational resources required to achieve it. The experimental results show that our algorithm produces the similar quality of images as the existing centralized techniques while allowing distribution, and thus being cost effective for extremely large images. △ Less

Submitted 17 May, 2017; originally announced May 2017.

Comments: 16 pages, 10 figures, submitted to IEEE Trans. on Image Processing

Perfect Necklaces

Authors: Nicolás Álvarez, Verónica Becher, Pablo A. Ferrari, Sergio A. Yuhjtman

Abstract: We introduce a variant of de Bruijn words that we call perfect necklaces. Fix a finite alphabet. Recall that a word is a finite sequence of symbols in the alphabet and a circular word, or necklace, is the equivalence class of a word under rotations. For positive integers k and n, we call a necklace (k,n)-perfect if each word of length k occurs exactly n times at positions which are different modul… ▽ More We introduce a variant of de Bruijn words that we call perfect necklaces. Fix a finite alphabet. Recall that a word is a finite sequence of symbols in the alphabet and a circular word, or necklace, is the equivalence class of a word under rotations. For positive integers k and n, we call a necklace (k,n)-perfect if each word of length k occurs exactly n times at positions which are different modulo n for any convention on the starting point. We call a necklace perfect if it is (k,k)-perfect for some k. We prove that every arithmetic sequence with difference coprime with the alphabet size induces a perfect necklace. In particular, the concatenation of all words of the same length in lexicographic order yields a perfect necklace. For each k and n, we give a closed formula for the number of (k,n)-perfect necklaces. Finally, we prove that every infinite periodic sequence whose period coincides with some (k,n)-perfect necklace for any n, passes all statistical tests of size up to k, but not all larger tests. This last theorem motivated this work. △ Less

Submitted 28 January, 2016; originally announced January 2016.

TASEP hydrodynamics using microscopic characteristics

Authors: Pablo A. Ferrari

Abstract: The convergence of the totally asymmetric simple exclusion process to the solution of the Burgers equation is a classical result. In his seminal 1981 paper, Herman Rost proved the convergence of the density fields and local equilibrium when the limiting solution of the equation is a rarefaction fan. An important tool of his proof is the subadditive ergodic theorem. We prove his results by showing… ▽ More The convergence of the totally asymmetric simple exclusion process to the solution of the Burgers equation is a classical result. In his seminal 1981 paper, Herman Rost proved the convergence of the density fields and local equilibrium when the limiting solution of the equation is a rarefaction fan. An important tool of his proof is the subadditive ergodic theorem. We prove his results by showing how second class particles transport the rarefaction-fan solution, as characteristics do for the Burgers equation, avoiding subadditivity. In the way we show laws of large numbers for tagged particles, fluxes and second class particles, and simplify existing proofs in the shock cases. The presentation is self contained. △ Less

Submitted 20 February, 2018; v1 submitted 20 January, 2016; originally announced January 2016.

Comments: 20 pages, 13 figures. This version is accepted for publication in Probability Surveys, February 20 2018

Journal ref: Probability Surveys 2018, Vol. 15, No. 0, 1-27

Separation versus diffusion in a two species system

Authors: Anna de Masi, Pablo A. Ferrari

Abstract: We consider a finite number of particles that move in $\mathbb Z$ as independent random walks. The particles are of two species that we call $a$ and $b$. The rightmost $a$ particle becomes a $b$ particle at constant rate, while the leftmost $b$ particle becomes $a$ particle at the same rate, independently. We prove that in the hydrodynamic limit the evolution is described by a non linear system of… ▽ More We consider a finite number of particles that move in $\mathbb Z$ as independent random walks. The particles are of two species that we call $a$ and $b$. The rightmost $a$ particle becomes a $b$ particle at constant rate, while the leftmost $b$ particle becomes $a$ particle at the same rate, independently. We prove that in the hydrodynamic limit the evolution is described by a non linear system of two PDE's with free boundaries. △ Less

Submitted 13 December, 2014; originally announced December 2014.

Comments: 26 pages

Yaglom Limit via Holley Inequality

Authors: Pablo A. Ferrari, Leonardo T. Rolla

Abstract: Let $S$ be a countable set provided with a partial order and a minimal element. Consider a Markov chain on $S\cup\{0\}$ absorbed at $0$ with a quasi-stationary distribution. We use Holley inequality to obtain sufficient conditions under which the following hold. The trajectory of the chain starting from the minimal state is stochastically dominated by the trajectory of the chain starting from any… ▽ More Let $S$ be a countable set provided with a partial order and a minimal element. Consider a Markov chain on $S\cup\{0\}$ absorbed at $0$ with a quasi-stationary distribution. We use Holley inequality to obtain sufficient conditions under which the following hold. The trajectory of the chain starting from the minimal state is stochastically dominated by the trajectory of the chain starting from any probability on $S$, when both are conditioned to nonabsorption until a certain time. Moreover, the Yaglom limit corresponding to this deterministic initial condition is the unique minimal quasi-stationary distribution in the sense of stochastic order. As an application, we provide new proofs to classical results in the field. △ Less

Submitted 12 June, 2018; v1 submitted 7 October, 2014; originally announced October 2014.

Journal ref: Brazilian Journal of Probability and Statistics, v. 29 (special issue celebrating Errico Presutti's 70th birthday), p. 413-426, 2015

Finite cycle Gibbs measures on permutations of $\mathbb Z^d$

Authors: Inés Armendáriz, Pablo A. Ferrari, Pablo Groisman, Florencia G. Leonardi

Abstract: We consider Gibbs distributions on the set of permutations of $\mathbb Z^d$ associated to the Hamiltonian $H(σ):=\sum_{x} V(σ(x)-x)$, where $σ$ is a permutation and $V:\mathbb Z^d\to\mathbb R$ is a strictly convex potential. Call finite-cycle those permutations composed by finite cycles only. We give conditions on $V$ ensuring that for large enough temperature $α>0$ there exists a unique infinite… ▽ More We consider Gibbs distributions on the set of permutations of $\mathbb Z^d$ associated to the Hamiltonian $H(σ):=\sum_{x} V(σ(x)-x)$, where $σ$ is a permutation and $V:\mathbb Z^d\to\mathbb R$ is a strictly convex potential. Call finite-cycle those permutations composed by finite cycles only. We give conditions on $V$ ensuring that for large enough temperature $α>0$ there exists a unique infinite volume ergodic Gibbs measure $μ^α$ concentrating mass on finite-cycle permutations; this measure is equal to the thermodynamic limit of the specifications with identity boundary conditions. We construct $μ^α$ as the unique invariant measure of a Markov process on the set of finite-cycle permutations that can be seen as a loss-network, a continuous-time birth and death process of cycles interacting by exclusion, an approach proposed by Fernández, Ferrari and Garcia. Define $τ_v$ as the shift permutation $τ_v(x)=x+v$. In the Gaussian case $V=\|\cdot\|^2$, we show that for each $v\in\mathbb Z^d$, $μ^α_v$ given by $μ^α_v(f)=μ^α[f(τ_v\cdot)]$ is an ergodic Gibbs measure equal to the thermodynamic limit of the specifications with $τ_v$ boundary conditions. For a general potential $V$, we prove the existence of Gibbs measures $μ^α_v$ when $α$ is bigger than some $v$-dependent value. △ Less

Submitted 27 November, 2014; v1 submitted 24 July, 2014; originally announced July 2014.

Phase transition for the dilute clock model

Authors: Inés Armendáriz, Pablo Augusto Ferrari, Nahuel Soprano-Loto

Abstract: We prove that phase transition occurs in the dilute ferromagnetic nearest-neighbour $q$-state clock model in $\mathbb{Z}^d$, for every $q\geq 2$ and $d\geq 2$. This follows from the fact that the Edwards-Sokal random-cluster representation of the clock model stochastically dominates a supercritical Bernoulli bond percolation probability, a technique that has been applied to show phase transition f… ▽ More We prove that phase transition occurs in the dilute ferromagnetic nearest-neighbour $q$-state clock model in $\mathbb{Z}^d$, for every $q\geq 2$ and $d\geq 2$. This follows from the fact that the Edwards-Sokal random-cluster representation of the clock model stochastically dominates a supercritical Bernoulli bond percolation probability, a technique that has been applied to show phase transition for the low-temperature Potts model. The domination involves a combinatorial lemma which is one of the main points of this article. △ Less

Submitted 9 January, 2015; v1 submitted 15 April, 2014; originally announced April 2014.

Comments: 14 pages, 2 figures

A normalized scaled gradient method to solve non-negativity and equality constrained linear inverse problem - Application to spectral mixture analysis

Authors: Céline Theys, Henri Lantéri, Nicolas Dobigeon, Cédric Richard, Jean-Yves Tourneret, André Ferrari

Abstract: This paper addresses the problem of minimizing a convex cost function under non-negativity and equality constraints, with the aim of solving the linear unmixing problem encountered in hyperspectral imagery. This problem can be formulated as a linear regression problem whose regression coefficients (abundances) satisfy sum-to-one and positivity constraints. A normalized scaled gradient iterative me… ▽ More This paper addresses the problem of minimizing a convex cost function under non-negativity and equality constraints, with the aim of solving the linear unmixing problem encountered in hyperspectral imagery. This problem can be formulated as a linear regression problem whose regression coefficients (abundances) satisfy sum-to-one and positivity constraints. A normalized scaled gradient iterative method (NSGM) is proposed for estimating the abundances of the linear mixing model. The positivity constraint is ensured by the Karush Kuhn Tucker conditions whereas the sum-to-one constraint is fulfilled by introducing normalized variables in the algorithm. The convergence is ensured by a one-dimensional search of the step size. Note that NSGM can be applied to any convex cost function with non negativity and flux constraints. In order to compare the NSGM with the well-known fully constraint least squares (FCLS) algorithm, this latter is reformulated in term of a penalized function, which reveals its suboptimality. Simulations on synthetic data illustrate the performances of the proposed algorithm in comparison with other unmixing algorithms and, more particulary, demonstrate its efficiency when compared to the popular FCLS. Finally, results on real data are given. △ Less

Submitted 2 October, 2013; originally announced October 2013.

Symmetric simple exclusion process with free boundaries

Authors: Anna De Masi, Pablo A. Ferrari, Errico Presutti

Abstract: We consider the one dimensional symmetric simple exclusion process (SSEP) with additional births and deaths restricted to a subset of configurations where there is a leftmost hole and a rightmost particle. At a fixed rate birth of particles occur at the position of the leftmost hole and at the same rate, independently, the rightmost particle dies. We prove convergence to a hydrodynamic limit and d… ▽ More We consider the one dimensional symmetric simple exclusion process (SSEP) with additional births and deaths restricted to a subset of configurations where there is a leftmost hole and a rightmost particle. At a fixed rate birth of particles occur at the position of the leftmost hole and at the same rate, independently, the rightmost particle dies. We prove convergence to a hydrodynamic limit and discuss its relation with a free boundary problem. △ Less

Submitted 4 January, 2014; v1 submitted 2 April, 2013; originally announced April 2013.

Comments: 29 pages, 4 figures

MSC Class: 60K35

Fleming-Viot selects the minimal quasi-stationary distribution: The Galton-Watson case

Authors: Amine Asselah, Pablo A. Ferrari, Pablo Groisman, Matthieu Jonckheere

Abstract: Consider N particles moving independently, each one according to a subcritical continuous-time Galton-Watson process unless it hits 0, at which time it jumps instantaneously to the position of one of the other particles chosen uniformly at random. The resulting dynamics is called Fleming-Viot process. We show that for each N there exists a unique invariant measure for the Fleming-Viot process, and… ▽ More Consider N particles moving independently, each one according to a subcritical continuous-time Galton-Watson process unless it hits 0, at which time it jumps instantaneously to the position of one of the other particles chosen uniformly at random. The resulting dynamics is called Fleming-Viot process. We show that for each N there exists a unique invariant measure for the Fleming-Viot process, and that its stationary empirical distribution converges, as N goes to infinity, to the minimal quasi-stationary distribution of the Galton-Watson process conditioned on non-extinction. △ Less

Submitted 26 June, 2012; originally announced June 2012.

Comments: 25 pages

MSC Class: 60K35; 60J25

How to squeeze the toothpaste back into the tube

Authors: Pablo A. Ferrari, James B. Martin

Abstract: We consider "bridges" for the simple exclusion process on Z, either symmetric or asymmetric, in which particles jump to the right at rate p and to the left at rate 1-p. The initial state O has all negative sites occupied and all non-negative sites empty. We study the probability that the process is again in state O at time t, and the behaviour of the process on [0,t] conditioned on being in state… ▽ More We consider "bridges" for the simple exclusion process on Z, either symmetric or asymmetric, in which particles jump to the right at rate p and to the left at rate 1-p. The initial state O has all negative sites occupied and all non-negative sites empty. We study the probability that the process is again in state O at time t, and the behaviour of the process on [0,t] conditioned on being in state O at time t. In the case p=1/2, we find that such a bridge typically goes a distance of order t (in the sense of graph distance) from the initial state. For the asymmetric systems, we note an interesting duality which shows that bridges with parameters p and 1-p have the same distribution; the maximal distance of the process from the original state behaves like c(p)log(t) for some constant c(p) depending on p. (For p>1/2, the front particle therefore travels much less far than the bridge of the corresponding random walk, even though in the unconditioned process the path of the front particle dominates a random walk.) We mention various further questions. △ Less

Submitted 1 March, 2012; originally announced March 2012.

Comments: 15 pages

Rotated Dn-lattices

Authors: Grasiele Cristiane Jorge, Agnaldo José Ferrari, Sueli Irene Rodrigues Costa

Abstract: Based on algebraic number theory we construct some families of rotated Dn-lattices with full diversity which can be good for signal transmission over both Gaussian and Rayleigh fading channels. Closed-form expressions for the minimum product distance of those lattices are obtained through algebraic properties. Based on algebraic number theory we construct some families of rotated Dn-lattices with full diversity which can be good for signal transmission over both Gaussian and Rayleigh fading channels. Closed-form expressions for the minimum product distance of those lattices are obtained through algebraic properties. △ Less

Submitted 16 November, 2011; originally announced November 2011.

Harmonic deformation of Delaunay triangulations

Authors: Pablo A. Ferrari, Rafael M. Grisi, Pablo Groisman

Abstract: We construct harmonic functions on random graphs given by Delaunay triangulations of ergodic point processes as the limit of the zero-temperature harness process. We construct harmonic functions on random graphs given by Delaunay triangulations of ergodic point processes as the limit of the zero-temperature harness process. △ Less

Submitted 16 January, 2012; v1 submitted 7 December, 2010; originally announced December 2010.

MSC Class: 60F17; 60G55; 60K37

Gibbs Random Graphs

Authors: Pablo A. Ferrari, Eugene A. Pechersky, Valentin V. Sisko, Anatoly A. Yambartsev

Abstract: Consider a discrete locally finite subset $Γ$ of $R^d$ and the complete graph $(Γ,E)$, with vertices $Γ$ and edges $E$. We consider Gibbs measures on the set of sub-graphs with vertices $Γ$ and edges $E'\subset E$. The Gibbs interaction acts between open edges having a vertex in common. We study percolation properties of the Gibbs distribution of the graph ensemble. The main results concern percol… ▽ More Consider a discrete locally finite subset $Γ$ of $R^d$ and the complete graph $(Γ,E)$, with vertices $Γ$ and edges $E$. We consider Gibbs measures on the set of sub-graphs with vertices $Γ$ and edges $E'\subset E$. The Gibbs interaction acts between open edges having a vertex in common. We study percolation properties of the Gibbs distribution of the graph ensemble. The main results concern percolation properties of the open edges in two cases: (a) when the $Γ$ is a sample from homogeneous Poisson process and (b) for a fixed $Γ$ with exponential decay of connectivity. △ Less

Submitted 16 September, 2010; v1 submitted 2 February, 2010; originally announced February 2010.

Comments: e.g.:13 pages

MSC Class: 60K35; 82C22; 05C80

Quasi-stationary distributions and Fleming-Viot processes in finite spaces

Authors: Amine Asselah, Pablo A. Ferrari, Pablo Groisman

Abstract: Consider a continuous time Markov chain with rates Q in the state space Λ\cup\{0\} with 0 as an absorbing state. In the associated Fleming-Viot process N particles evolve independently in Λwith rates Q until one of them attempts to jump to the absorbing state 0. At this moment the particle comes back to Λinstantaneously, by jumping to one of the positions of the other particles, chosen uniformly… ▽ More Consider a continuous time Markov chain with rates Q in the state space Λ\cup\{0\} with 0 as an absorbing state. In the associated Fleming-Viot process N particles evolve independently in Λwith rates Q until one of them attempts to jump to the absorbing state 0. At this moment the particle comes back to Λinstantaneously, by jumping to one of the positions of the other particles, chosen uniformly at random. When Λis finite, we show that the empirical distribution of the particles at a fixed time converges as N\to\infty to the distribution of a single particle at the same time conditioned on non absorption. Furthermore, the empirical profile of the unique invariant measure for the Fleming-Viot process with N particles converges as N\to\infty to the unique quasi-stationary distribution of the one-particle motion. A key element of the approach is to show that the two-particle correlations is of order 1/N. △ Less

Submitted 12 May, 2009; v1 submitted 20 April, 2009; originally announced April 2009.

Comments: 11 pages, changed title, added typos, references removed

MSC Class: 60K35; 60J25

Matrix representation of the stationary measure for the multispecies TASEP

Authors: Martin R. Evans, Pablo A. Ferrari, Kirone Mallick

Abstract: In this work we construct the stationary measure of the N species totally asymmetric simple exclusion process in a matrix product formulation. We make the connection between the matrix product formulation and the queueing theory picture of Ferrari and Martin. In particular, in the standard representation, the matrices act on the space of queue lengths. For N >2 the matrices in fact become tensor… ▽ More In this work we construct the stationary measure of the N species totally asymmetric simple exclusion process in a matrix product formulation. We make the connection between the matrix product formulation and the queueing theory picture of Ferrari and Martin. In particular, in the standard representation, the matrices act on the space of queue lengths. For N >2 the matrices in fact become tensor products of elements of quadratic algebras. This enables us to give a purely algebraic proof of the stationary measure which we present for N =3. △ Less

Submitted 2 July, 2008; originally announced July 2008.

Comments: 24 pages, 3 figures

MSC Class: 60K35; 82C

Collision probabilities in the rarefaction fan of asymmetric exclusion processes

Authors: Pablo A. Ferrari, Patricia Goncalves, James B. Martin

Abstract: We consider the one-dimensional asymmetric simple exclusion process (ASEP) in which particles jump to the right at rate $p\in(1/2,1]$ and to the left at rate $1-p$, interacting by exclusion. In the initial state there is a finite region such that to the left of this region all sites are occupied and to the right of it all sites are empty. Under this initial state, the hydrodynamical limit of the… ▽ More We consider the one-dimensional asymmetric simple exclusion process (ASEP) in which particles jump to the right at rate $p\in(1/2,1]$ and to the left at rate $1-p$, interacting by exclusion. In the initial state there is a finite region such that to the left of this region all sites are occupied and to the right of it all sites are empty. Under this initial state, the hydrodynamical limit of the process converges to the rarefaction fan of the associated Burgers equation. In particular suppose that the initial state has first-class particles to the left of the origin, second-class particles at sites 0 and 1, and holes to the right of site 1. We show that the probability that the two second-class particles eventually collide is $(1+p)/3p$, where a_collision_ occurs when one of the particles attempts to jump over the other. This also corresponds to the probability that two ASEP processes, started from appropriate initial states and coupled using the so-called "basic coupling", eventually reach the same state. We give various other results about the behaviour of second-class particles in the ASEP. In the totally asymmetric case ($p=1$) we explain a further representation in terms of a multi-type particle system, and also use the collision result to derive the probability of coexistence of both clusters in a two-type version of the corner growth model. △ Less

Submitted 20 August, 2008; v1 submitted 10 April, 2008; originally announced April 2008.

Comments: 17 pages. This version is substantially rewritten. In particular an error in the statement of one of the results is corrected, the notation is changed, and new results on coexistence probabilities in a multi-type version of the corner growth model are added

MSC Class: 60K35

The variance of the shock in the HAD process

Authors: Cristian F. Coletti, Pablo A. Ferrari, Leandro P. R. Pimentel

Abstract: We consider the Hammersley-Aldous-Diaconis (HAD) process with sinks and sources such that there is a microscopic shock at every time $t$; denote $Z(t)$ its position. We show that the mean and variance of $Z(t)$ are linear functions of $t$ and compute explicitely the respective constants in function of the left and right densities. Furthermore, we describe the dependence of $Z(t)$ on the initial… ▽ More We consider the Hammersley-Aldous-Diaconis (HAD) process with sinks and sources such that there is a microscopic shock at every time $t$; denote $Z(t)$ its position. We show that the mean and variance of $Z(t)$ are linear functions of $t$ and compute explicitely the respective constants in function of the left and right densities. Furthermore, we describe the dependence of $Z(t)$ on the initial configuration in the scale $\sqrt t$ and, as a corollary, prove a central limit theorem. △ Less

Submitted 16 January, 2008; originally announced January 2008.

Multiclass Hammersley-Aldous-Diaconis process and multiclass-customer queues

Authors: Pablo A. Ferrari, James B. Martin

Abstract: In the Hammersley-Aldous-Diaconis process infinitely many particles sit in R and at most one particle is allowed at each position. A particle at x$ whose nearest neighbor to the right is at y, jumps at rate y-x to a position uniformly distributed in the interval (x,y). The basic coupling between trajectories with different initial configuration induces a process with different classes of particl… ▽ More In the Hammersley-Aldous-Diaconis process infinitely many particles sit in R and at most one particle is allowed at each position. A particle at x$ whose nearest neighbor to the right is at y, jumps at rate y-x to a position uniformly distributed in the interval (x,y). The basic coupling between trajectories with different initial configuration induces a process with different classes of particles. We show that the invariant measures for the two-class process can be obtained as follows. First, a stationary M/M/1 queue is constructed as a function of two homogeneous Poisson processes, the arrivals with rate λand the (attempted) services with rate ρ>λ. Then put the first class particles at the instants of departures (effective services) and second class particles at the instants of unused services. The procedure is generalized for the n-class case by using n-1 queues in tandem with n-1 priority-types of customers. A multi-line process is introduced; it consists of a coupling (different from Liggett's basic coupling), having as invariant measure the product of Poisson processes. The definition of the multi-line process involves the dual points of the space-time Poisson process used in the graphical construction of the system. The coupled process is a transformation of the multi-line process and its invariant measure the transformation described above of the product measure. △ Less

Submitted 27 July, 2007; originally announced July 2007.

Comments: 21 pages, 6 figures

MSC Class: 60K35; 60K25; 90B22

No phase transition for Gaussian fields with bounded spins

Authors: Pablo A. Ferrari, Sebastian P. Grynberg

Abstract: Let a<b, Ω=[a,b]^{\Z^d} and H be the (formal) Hamiltonian defined on Ωby H(η) = \frac12 \sum_{x,y\in\Z^d} J(x-y) (η(x)-η(y))^2 where J:\Z^d\to\R is any summable non-negative symmetric function (J(x)\ge 0 for all x\in\Z^d, \sum_x J(x)<\infty and J(x)=J(-x)). We prove that there is a unique Gibbs measure on Ωassociated to H. The result is a consequence of the fact that the corresponding Gibbs sa… ▽ More Let a<b, Ω=[a,b]^{\Z^d} and H be the (formal) Hamiltonian defined on Ωby H(η) = \frac12 \sum_{x,y\in\Z^d} J(x-y) (η(x)-η(y))^2 where J:\Z^d\to\R is any summable non-negative symmetric function (J(x)\ge 0 for all x\in\Z^d, \sum_x J(x)<\infty and J(x)=J(-x)). We prove that there is a unique Gibbs measure on Ωassociated to H. The result is a consequence of the fact that the corresponding Gibbs sampler is attractive and has a unique invariant measure. △ Less

Submitted 26 June, 2007; originally announced June 2007.

Comments: 7 pages

MSC Class: 82B (primary); 60K35; 82C (secondary)

A phase transition for competition interfaces

Authors: Pablo A. Ferrari, James B. Martin, Leandro P. R. Pimentel

Abstract: We study the competition interface between two growing clusters in a growth model associated to last-passage percolation. When the initial unoccupied set is approximately a cone, we show that this interface has an asymptotic direction with probability 1. The behavior of this direction depends on the angle $θ$ of the cone: for $θ\geq180^{\circ}$, the direction is deterministic, while for… ▽ More We study the competition interface between two growing clusters in a growth model associated to last-passage percolation. When the initial unoccupied set is approximately a cone, we show that this interface has an asymptotic direction with probability 1. The behavior of this direction depends on the angle $θ$ of the cone: for $θ\geq180^{\circ}$, the direction is deterministic, while for $θ<180^{\circ}$, it is random, and its distribution can be given explicitly in certain cases. We also obtain partial results on the fluctuations of the interface around its asymptotic direction. The evolution of the competition interface in the growth model can be mapped onto the path of a second-class particle in the totally asymmetric simple exclusion process; from the existence of the limiting direction for the interface, we obtain a new and rather natural proof of the strong law of large numbers (with perhaps a random limit) for the position of the second-class particle at large times. △ Less

Submitted 2 March, 2009; v1 submitted 15 January, 2007; originally announced January 2007.

Comments: Published in at http://dx.doi.org/10.1214/08-AAP542 the Annals of Applied Probability (http://www.imstat.org/aap/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AAP-AAP542 MSC Class: 60K35 (Primary) 82B (Secondary)

Journal ref: Annals of Applied Probability 2009, Vol. 19, No. 1, 281-317

Condensation for a fixed number of independent random variables

Authors: Pablo A. Ferrari, Claudio Landim, Valentin V. Sisko

Abstract: A family of m independent identically distributed random variables indexed by a chemical potential φ\in[0,γ] represents piles of particles. As φincreases to γ, the mean number of particles per site converges to a maximal density ρ_c<\infty. The distribution of particles conditioned on the total number of particles equal to n does not depend on φ(canonical ensemble). For fixed m, as n goes to inf… ▽ More A family of m independent identically distributed random variables indexed by a chemical potential φ\in[0,γ] represents piles of particles. As φincreases to γ, the mean number of particles per site converges to a maximal density ρ_c<\infty. The distribution of particles conditioned on the total number of particles equal to n does not depend on φ(canonical ensemble). For fixed m, as n goes to infinity the canonical ensemble measure behave as follows: removing the site with the maximal number of particles, the distribution of particles in the remaining sites converges to the grand canonical measure with density ρ_c; the remaining particles concentrate (condensate) on a single site. △ Less

Submitted 29 December, 2006; originally announced December 2006.

Comments: 6 pages

MSC Class: 60K35;82C22

Journal ref: Journal of Statistical Physics 2007, v. 128, p. 1153-1158