-
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.
-
Sorting permutations using a pop stack with a bypass
Authors:
Lapo Cioni,
Luca Ferrari,
Rebecca Smith
Abstract:
We introduce a new sorting device for permutations which makes use of a pop stack augmented with a bypass operation. This results in a sorting machine, which is more powerful than the usual Popstacksort algorithm and seems to have never been investigated previously. In the present paper, we give a characterization of sortable permutations in terms of forbidden patterns and reinterpret the resultin…
▽ More
We introduce a new sorting device for permutations which makes use of a pop stack augmented with a bypass operation. This results in a sorting machine, which is more powerful than the usual Popstacksort algorithm and seems to have never been investigated previously. In the present paper, we give a characterization of sortable permutations in terms of forbidden patterns and reinterpret the resulting enumerating sequence using a class of restricted Motzkin paths. Moreover, we describe an algorithm to compute the set of all preimages of a given permutation, thanks to which we characterize permutations having a small number of preimages. Finally, we provide a full description of the preimages of principal classes of permutations, and we discuss the device consisting of two pop stacks in parallel, again with a bypass operation.
△ Less
Submitted 11 March, 2025;
originally announced March 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.
-
Nonstandard analysis of asymptotic points of expansive systems
Authors:
Alfonso Artigue,
Luis Ferrari,
Jorge Groisman
Abstract:
In this paper we apply techniques from nonstandard analysis to study expansive dynamical systems. Among other results, we provide a necessary and sufficient condition for an expansive homeomorphism on a compact metric space to admit doubly-asymptotic points in terms of the decay of expansivity constants of the powers of the system.
In this paper we apply techniques from nonstandard analysis to study expansive dynamical systems. Among other results, we provide a necessary and sufficient condition for an expansive homeomorphism on a compact metric space to admit doubly-asymptotic points in terms of the decay of expansivity constants of the powers of the system.
△ Less
Submitted 13 December, 2024;
originally announced December 2024.
-
On the enumeration of permutation-invariant and complete Naples parking functions
Authors:
Luca Ferrari,
Francesco Verciani
Abstract:
Naples parking functions were introduced as a generalization of classical parking functions, in which cars are allowed to park backwards, by checking up to a fixed number of previous slots, before proceedings forward as usual. In our previous work (arXiv:2405.07522, 2024) we have provided a characterization of Naples parking functions in terms of the new notion of \emph{complete parking preference…
▽ More
Naples parking functions were introduced as a generalization of classical parking functions, in which cars are allowed to park backwards, by checking up to a fixed number of previous slots, before proceedings forward as usual. In our previous work (arXiv:2405.07522, 2024) we have provided a characterization of Naples parking functions in terms of the new notion of \emph{complete parking preference}. Our result also allowed us to describe a new characterization of permutation-invariant Naples parking functions, equivalent (but much simpler) to the one given by Carvalho et al.(arXiv:2109.01735, 2021) but using a completely different approach (and language).
In the present article we address some natural enumerative issues concerning the above mentioned objects. We propose an effective approach to enumerate permutation-invariant Naples parking functions and complete Naples parking functions which is based on some natural combinatorial decompositions. We thus obtain formulas depending on some (generally simpler) quantities, which are of interest in their own right, and that can be described in a recursive fashion.
△ Less
Submitted 11 November, 2024;
originally announced November 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.
-
Between weak and Bruhat: the middle order on permutations
Authors:
Mathilde Bouvel,
Luca Ferrari,
Bridget Eileen Tenner
Abstract:
We define a partial order $\mathcal{P}_n$ on permutations of any given size $n$, which is the image of a natural partial order on inversion sequences. We call this the ``middle order''. We demonstrate that the poset $\mathcal{P}_n$ refines the weak order on permutations and admits the Bruhat order as a refinement, justifying the terminology. These middle orders are distributive lattices and we est…
▽ More
We define a partial order $\mathcal{P}_n$ on permutations of any given size $n$, which is the image of a natural partial order on inversion sequences. We call this the ``middle order''. We demonstrate that the poset $\mathcal{P}_n$ refines the weak order on permutations and admits the Bruhat order as a refinement, justifying the terminology. These middle orders are distributive lattices and we establish some of their combinatorial properties, including characterization and enumeration of intervals and boolean intervals (in general, or of any given rank), and a combinatorial interpretation of their Euler characteristic. We further study the (not so well-behaved) restriction of this poset to involutions, obtaining a simple formula for the Möbius function of principal order ideals there. Finally, we offer further directions of research, initiating the study of the canonical Heyting algebra associated with $\mathcal{P}_n$, and defining a parking function analogue of $\mathcal{P}_n$.
△ Less
Submitted 29 August, 2024; v1 submitted 14 May, 2024;
originally announced May 2024.
-
A new approach to Naples parking functions through complete parking preferences
Authors:
Luca Ferrari,
Francesco Verciani
Abstract:
Naples parking functions were introduced as a generalization of classical parking functions, in which cars are allowed to park backwards, by checking up to a fixed number of previous spots, before proceeding forward as usual. In this work we introduce the notion of a complete parking preference, through which we are able to give some information on the combinatorics of Naples parking functions. Ro…
▽ More
Naples parking functions were introduced as a generalization of classical parking functions, in which cars are allowed to park backwards, by checking up to a fixed number of previous spots, before proceeding forward as usual. In this work we introduce the notion of a complete parking preference, through which we are able to give some information on the combinatorics of Naples parking functions. Roughly speaking, a complete parking preference is a parking preference such that, for any index $j$, there are more cars with preference at least $j$ than spots available from $j$ onward. We provide a characterization of Naples parking functions in terms of certain complete subsequences of them. As a consequence of this result we derive a characterization of permutation-invariant Naples parking functions which turns out to be equivalent to the one given by (Carvalho et al., 2021), but using a totally different approach (and language).
△ Less
Submitted 13 May, 2024;
originally announced May 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.
-
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.
-
Geometric Bordisms of the Accola-Maclachlan, Kulkarni and Wiman Type II Surfaces
Authors:
Leonardo Ferrari
Abstract:
In this paper, we prove that the Accola-Maclachlan surface of genus $g$ bounds geometrically an orientable compact hyperbolic $3$-manifold for every genus. For infinitely many genera, this is an explicit example of non-arithmetic surface that bounds geometrically a non-arithmetic manifold. We also provide explicit geodesic embeddings to the Wiman type II and Kulkarni surfaces of every genus, and p…
▽ More
In this paper, we prove that the Accola-Maclachlan surface of genus $g$ bounds geometrically an orientable compact hyperbolic $3$-manifold for every genus. For infinitely many genera, this is an explicit example of non-arithmetic surface that bounds geometrically a non-arithmetic manifold. We also provide explicit geodesic embeddings to the Wiman type II and Kulkarni surfaces of every genus, and prove that these surfaces bound geometrically a compact, orientable manifold for $g\equiv 1 \,( \text{mod} \, 2)$ or $g \equiv 3 \,( \text{mod} \, 8)$, respectively.
△ Less
Submitted 28 December, 2023; v1 submitted 4 December, 2023;
originally announced December 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.
-
A topological model for partial equivariance in deep learning and data analysis
Authors:
Lucia Ferrari,
Patrizio Frosini,
Nicola Quercioli,
Francesca Tombari
Abstract:
In this article, we propose a topological model to encode partial equivariance in neural networks. To this end, we introduce a class of operators, called P-GENEOs, that change data expressed by measurements, respecting the action of certain sets of transformations, in a non-expansive way. If the set of transformations acting is a group, then we obtain the so-called GENEOs. We then study the spaces…
▽ More
In this article, we propose a topological model to encode partial equivariance in neural networks. To this end, we introduce a class of operators, called P-GENEOs, that change data expressed by measurements, respecting the action of certain sets of transformations, in a non-expansive way. If the set of transformations acting is a group, then we obtain the so-called GENEOs. We then study the spaces of measurements, whose domains are subject to the action of certain self-maps, and the space of P-GENEOs between these spaces. We define pseudo-metrics on them and show some properties of the resulting spaces. In particular, we show how such spaces have convenient approximation and convexity properties.
△ Less
Submitted 25 August, 2023;
originally announced August 2023.
-
Mixed Integer Linear Program model for optimized scheduling of a vanadium redox flow battery with variable efficiencies, capacity fade, and electrolyte maintenance
Authors:
Diana Cremoncini,
Guido Francesco Frate,
Aldo Bischi,
Lorenzo Ferrari
Abstract:
Redox Flow Batteries are a promising option for large-scale stationary energy storage. The vanadium redox flow battery is the most widely commercialized system thanks to its chemical stability and performance. This work aims to optimize the scheduling of a vanadium flow battery that stores energy produced by a renewable power plant, keeping into account a thorough characterization of the battery p…
▽ More
Redox Flow Batteries are a promising option for large-scale stationary energy storage. The vanadium redox flow battery is the most widely commercialized system thanks to its chemical stability and performance. This work aims to optimize the scheduling of a vanadium flow battery that stores energy produced by a renewable power plant, keeping into account a thorough characterization of the battery performance, with variable efficiencies and capacity fade effects. A detailed characterization of the battery performance improves the calculation of the optimal number of cycles and revenue associated with the battery use if compared to the results obtained using simpler models, which take into account constant efficiencies and no capacity fade effects. The presented problem is nonlinear due to the functions of the battery efficiency, which depend upon charging and discharging powers and state of charge with nonlinear, non-convex correlations. The problem is linearized using convex hulls. The optimization program also calculates the progressive battery capacity fade due to undesired secondary electrochemical reactions and the economic impact of capacity restoration through periodic maintenance. The final problem is solved as a Mixed-Integer Linear Program (MILP) to guarantee the global optimality of the linearized problem. The proposed optimization model has been applied to two different case studies: a case of energy arbitrage and a case of load-shifting. The optimization results have been compared to those obtained with constant battery efficiency models, which do not consider the capacity fade effects. Results show that simpler models overestimate the optimal number of cycles of the battery and the revenue by up to 15% if they do not take into account the degradation model of the battery, and respectively up to 32% and 42% if they also assume constant efficiency for the battery.
△ Less
Submitted 3 January, 2023; v1 submitted 22 November, 2022;
originally announced November 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.
-
Dodecahedral L-spaces and hyperbolic 4-manifolds
Authors:
Ludovico Battista,
Leonardo Ferrari,
Diego Santoro
Abstract:
We prove that exactly 6 out of the 29 rational homology 3-spheres tessellated by four or less right-angled hyperbolic dodecahedra are L-spaces. The algorithm used is based on the L-space census provided by Dunfield in arXiv:1904.04628, and relies on a result by Rasmussen-Rasmussen arXiv:1508.05900. We use the existence of these manifolds together with a result of Martelli arXiv:1510.06325 to const…
▽ More
We prove that exactly 6 out of the 29 rational homology 3-spheres tessellated by four or less right-angled hyperbolic dodecahedra are L-spaces. The algorithm used is based on the L-space census provided by Dunfield in arXiv:1904.04628, and relies on a result by Rasmussen-Rasmussen arXiv:1508.05900. We use the existence of these manifolds together with a result of Martelli arXiv:1510.06325 to construct explicit examples of hyperbolic 4-manifolds containing separating L-spaces, and therefore having vanishing Seiberg-Witten invariants. This answers a question asked by Agol and Lin in arXiv:1812.06536.
△ Less
Submitted 28 April, 2023; v1 submitted 2 August, 2022;
originally announced August 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.
-
Coloured symmetries of rational homology 3-spheres that cover right-angled polytopes
Authors:
Leonardo Ferrari
Abstract:
In the present paper we study hyperbolic manifolds that are rational homology 3-spheres obtained by colouring of right--angled polytopes. We study the existence (or absence) of different kinds of symmetries of rational homology spheres that preserve the tessellation of the manifold into polytopes. We also describe how to create colourings with given symmetries.
In the present paper we study hyperbolic manifolds that are rational homology 3-spheres obtained by colouring of right--angled polytopes. We study the existence (or absence) of different kinds of symmetries of rational homology spheres that preserve the tessellation of the manifold into polytopes. We also describe how to create colourings with given symmetries.
△ Less
Submitted 2 May, 2022;
originally announced May 2022.
-
Preimages under the bubblesort operator
Authors:
Mathilde Bouvel,
Lapo Cioni,
Luca Ferrari
Abstract:
We study preimages of permutations under the bubblesort operator $\mathbf{B}$. We achieve a description of these preimages much more complete than what is known for the more complicated sorting operators $\mathbf{S}$ (stacksort) and $\mathbf{Q}$ (queuesort). We describe explicitly the set of preimages under $\mathbf{B}$ of any permutation $π$ from the left-to-right maxima of $π$, showing that ther…
▽ More
We study preimages of permutations under the bubblesort operator $\mathbf{B}$. We achieve a description of these preimages much more complete than what is known for the more complicated sorting operators $\mathbf{S}$ (stacksort) and $\mathbf{Q}$ (queuesort). We describe explicitly the set of preimages under $\mathbf{B}$ of any permutation $π$ from the left-to-right maxima of $π$, showing that there are $2^{k-1}$ such preimages if $k$ is the number of these left-to-right maxima. We further consider, for each $n$, the tree $T_n$ recording all permutations of size $n$ in its nodes, in which an edge from child to parent corresponds to an application of $\mathbf{B}$ (the root being the identity permutation), and we present several properties of these trees. In particular, for each permutation $π$, we show how the subtree of $T_n$ rooted at $π$ is determined by the number of left-to-right maxima of $π$ and the length of the longest suffix of left-to-right maxima of $π$. Building on this result, we determine the number of nodes and leaves at every height in such trees, and we recover (resp. obtain) the average height of nodes (resp. leaves) in $T_n$.
△ Less
Submitted 27 April, 2022;
originally announced April 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.
-
Infinitely many arithmetic hyperbolic rational homology 3-spheres that bound geometrically
Authors:
Leonardo Ferrari,
Alexander Kolpakov,
Alan W. Reid
Abstract:
In this paper we provide the first examples of arithmetic hyperbolic 3-manifolds that are rational homology spheres and bound geometrically either compact or cusped hyperbolic 4-manifolds.
In this paper we provide the first examples of arithmetic hyperbolic 3-manifolds that are rational homology spheres and bound geometrically either compact or cusped hyperbolic 4-manifolds.
△ Less
Submitted 10 May, 2022; v1 submitted 3 March, 2022;
originally announced March 2022.
-
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.
-
On the generating functions of pattern-avoiding Motzkin paths
Authors:
Christian Bean,
Antonio Bernini,
Matteo Cervetti,
Luca Ferrari
Abstract:
Using a recursive approach, we show that the generating function for sets of Motzkin paths avoiding a single (not necessarily consecutive) pattern is rational over $x$ and the Catalan generating function $C(x) = \frac{1-\sqrt{1-4x^2}}{2x^2}$, where $x$ keeps track of the length of the path. Moreover, an algorithm is provided for finding the generating function in the more general case of an arbitr…
▽ More
Using a recursive approach, we show that the generating function for sets of Motzkin paths avoiding a single (not necessarily consecutive) pattern is rational over $x$ and the Catalan generating function $C(x) = \frac{1-\sqrt{1-4x^2}}{2x^2}$, where $x$ keeps track of the length of the path. Moreover, an algorithm is provided for finding the generating function in the more general case of an arbitrary set of patterns. In addition, this algorithm allows us to find a combinatorial specification for pattern-avoiding Motzkin paths, which can be used not only for enumeration, but also for exhaustive and random generation.
△ Less
Submitted 25 February, 2022; v1 submitted 6 August, 2021;
originally announced August 2021.
-
Preimages under the Queuesort algorithm
Authors:
Lapo Cioni,
Luca Ferrari
Abstract:
Following the footprints of what have been done with the algorithm Stacksort, we investigate the preimages of the map associated with a slightly less well known algorithm, called Queuesort. After having described an equivalent version of Queuesort, we provide a recursive description of the set of all preimages of a given permutation, which can be also translated into a recursive procedure to effec…
▽ More
Following the footprints of what have been done with the algorithm Stacksort, we investigate the preimages of the map associated with a slightly less well known algorithm, called Queuesort. After having described an equivalent version of Queuesort, we provide a recursive description of the set of all preimages of a given permutation, which can be also translated into a recursive procedure to effectively find such preimages. We then deal with some enumerative issues. More specifically, we investigate the cardinality of the set of preimages of a given permutation, showing that all cardinalities are possible, except for 3. We also give exact enumeration results for the number of permutations having 0,1 and 2 preimages. Finally, we consider the special case of those permutations $π$ whose set of left-to-right maxima is the disjoint union of a prefix and a suffix of $π$: we determine a closed formula for the number of preimages of such permutations, which involves two different incarnations of ballot numbers, and we show that our formula can be expressed as a linear combination of Catalan numbers.
△ Less
Submitted 15 February, 2021;
originally announced February 2021.
-
Nonstandard Expansiveness
Authors:
Luis Ferrari
Abstract:
Let $(X,d)$ be a metric space and $f: X \rightarrow X$ be a homeomorphism. We say that a dynamical system $(X,f)$ is \emph{expansive}, with constant of expansivity $c \in \mathbb{R{^+}}$, if for all $x,y \in X$ , $x \neq y$, exists $n \in \mathbb{Z}$, such that $d(f^n(x), f^n(y)) >c$. In this paper we will use the theory of Nonstandard Analysis to study a subfamily of these dynamics, which verify…
▽ More
Let $(X,d)$ be a metric space and $f: X \rightarrow X$ be a homeomorphism. We say that a dynamical system $(X,f)$ is \emph{expansive}, with constant of expansivity $c \in \mathbb{R{^+}}$, if for all $x,y \in X$ , $x \neq y$, exists $n \in \mathbb{Z}$, such that $d(f^n(x), f^n(y)) >c$. In this paper we will use the theory of Nonstandard Analysis to study a subfamily of these dynamics, which verify that for all $x,y \in X$, if $x\neq y$ then the set $\lbrace n \in \mathbb{Z} : d(f^n(x), f^n(y) > c \rbrace$ is infinite.
△ Less
Submitted 2 January, 2021;
originally announced January 2021.
-
Cusps of hyperbolic 4-manifolds and rational homology spheres
Authors:
Leonardo Ferrari,
Alexander Kolpakov,
Leone Slavich
Abstract:
In the present paper, we construct a cusped hyperbolic $4$-manifold with all cusp sections homeomorphic to the Hantzsche-Wendt manifold, which is a rational homology sphere. By a result of Golénia and Moroianu, the Laplacian on $2$-forms on such a manifold has purely discrete spectrum. This shows that one of the main results of Mazzeo and Phillips from 1990 cannot hold without additional assumptio…
▽ More
In the present paper, we construct a cusped hyperbolic $4$-manifold with all cusp sections homeomorphic to the Hantzsche-Wendt manifold, which is a rational homology sphere. By a result of Golénia and Moroianu, the Laplacian on $2$-forms on such a manifold has purely discrete spectrum. This shows that one of the main results of Mazzeo and Phillips from 1990 cannot hold without additional assumptions on the homology of the cusps. This also answers a question by Golénia and Moroianu from 2012. We also correct and refine the incomplete classification of compact orientable flat $3$-manifolds arising from cube colourings provided earlier by the last two authors.
△ Less
Submitted 11 June, 2021; v1 submitted 21 September, 2020;
originally announced September 2020.
-
Asymptotic Pairs for Interval Exchange Transformations
Authors:
Ethan Akin,
Alfonso Artigue,
Luis Ferrari
Abstract:
We provide a simple description of asymptotic pairs in the subshift associated with an interval exchange transformation and show that, under reasonably general conditions, doubly asymptotic pairs do not occur.
We provide a simple description of asymptotic pairs in the subshift associated with an interval exchange transformation and show that, under reasonably general conditions, doubly asymptotic pairs do not occur.
△ Less
Submitted 26 October, 2020; v1 submitted 5 September, 2020;
originally announced September 2020.
-
Pattern avoidance in the matching pattern poset
Authors:
Matteo Cervetti,
Luca Ferrari
Abstract:
A matching of the set $[2n]=\{ 1,2,\ldots ,2n\}$ is a partition of $[2n]$ into blocks with two elements, i.e. a graph on $[2n]$ such that every vertex has degree one. Given two matchings $σ$ and $τ$ , we say that $σ$ is a pattern of $τ$ when $σ$ can be obtained from $τ$ by deleting some of its edges and consistently relabelling the remaining vertices. This is a partial order relation turning the s…
▽ More
A matching of the set $[2n]=\{ 1,2,\ldots ,2n\}$ is a partition of $[2n]$ into blocks with two elements, i.e. a graph on $[2n]$ such that every vertex has degree one. Given two matchings $σ$ and $τ$ , we say that $σ$ is a pattern of $τ$ when $σ$ can be obtained from $τ$ by deleting some of its edges and consistently relabelling the remaining vertices. This is a partial order relation turning the set of all matchings into a poset, which will be called the matching pattern poset. In this paper, we continue the study of classes of pattern avoiding matchings, initiated by Chen, Deng, Du, Stanley and Yan (2007), Jelinek and Mansour (2010), Bloom and Elizalde (2012). In particular, we work out explicit formulas to enumerate the class of matchings avoiding two new patterns, obtained by juxtaposition of smaller patterns, and we describe a recursive formula for the generating function of the class of matchings avoiding the lifting of a pattern and two additional patterns. Finally, we introduce the notion of unlabeled pattern, as a combinatorial way to collect patterns, and we provide enumerative formulas for two classes of matchings avoiding an unlabeled pattern of order three. In one case, the enumeration follows from an interesting bijection between the matchings of the class and ternary trees.
△ Less
Submitted 2 September, 2020;
originally announced September 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.
-
Sorting with pattern-avoiding stacks: the $132$-machine
Authors:
Giulio Cerbai,
Anders Claesson,
Luca Ferrari,
Einar Steingrímsson
Abstract:
This paper continues the analysis of the pattern-avoiding sorting machines recently introduced by Cerbai, Claesson and Ferrari [CCF]. These devices consist of two stacks, through which a permutation is passed in order to sort it, where the content of each stack must at all times avoid a certain pattern. Here we characterize and enumerate the set of permutations that can be sorted when the first st…
▽ More
This paper continues the analysis of the pattern-avoiding sorting machines recently introduced by Cerbai, Claesson and Ferrari [CCF]. These devices consist of two stacks, through which a permutation is passed in order to sort it, where the content of each stack must at all times avoid a certain pattern. Here we characterize and enumerate the set of permutations that can be sorted when the first stack is $132$-avoiding, solving one of the open problems proposed in [CCF]. To that end we present several connections with other well known combinatorial objects, such as lattice paths and restricted growth functions (which encode set partitions). We also provide new proofs for the enumeration of some sets of pattern-avoiding restricted growth functions and we expect that the tools introduced can be fruitfully employed to get further similar results.
△ Less
Submitted 10 June, 2020;
originally announced June 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.
-
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.
-
Stack Sorting with Increasing and Decreasing Stacks
Authors:
Giulio Cerbai,
Lapo Cioni,
Luca Ferrari
Abstract:
We introduce a sorting machine consisting of $k+1$ stacks in series: the first $k$ stacks can only contain elements in decreasing order from top to bottom, while the last one has the opposite restriction. This device generalizes \cite{SM}, which studies the case $k=1$. Here we show that, for $k=2$, the set of sortable permutations is a class with infinite basis, by explicitly finding an antichain…
▽ More
We introduce a sorting machine consisting of $k+1$ stacks in series: the first $k$ stacks can only contain elements in decreasing order from top to bottom, while the last one has the opposite restriction. This device generalizes \cite{SM}, which studies the case $k=1$. Here we show that, for $k=2$, the set of sortable permutations is a class with infinite basis, by explicitly finding an antichain of minimal nonsortable permutations. This construction can easily be adapted to each $k \ge 3$. Next we describe an optimal sorting algorithm, again for the case $k=2$. We then analyze two types of left-greedy sorting procedures, obtaining complete results in one case and only some partial results in the other one. We close the paper by discussing a few open questions.
△ Less
Submitted 8 October, 2019;
originally announced October 2019.
-
Enumerative combinatorics of intervals in the Dyck pattern poset
Authors:
Antonio Bernini,
Matteo Cervetti,
Luca Ferrari,
Einar Steingrimsson
Abstract:
We initiate the study of the enumerative combinatorics of the intervals in the Dyck pattern poset. More specifically, we find some closed formulas to express the size of some specific intervals, as well as the number of their covering relations. In most of the cases, we are also able to refine our formulas by rank. We also provide the first results on the Möbius function of the Dyck pattern poset,…
▽ More
We initiate the study of the enumerative combinatorics of the intervals in the Dyck pattern poset. More specifically, we find some closed formulas to express the size of some specific intervals, as well as the number of their covering relations. In most of the cases, we are also able to refine our formulas by rank. We also provide the first results on the Möbius function of the Dyck pattern poset, giving for instance a closed expression for the Möbius function of initial intervals whose maximum is a Dyck path having exactly two peaks.
△ Less
Submitted 1 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.
-
Stack sorting with restricted stacks
Authors:
Giulio Cerbai,
Anders Claesson,
Luca Ferrari
Abstract:
The (classical) problem of characterizing and enumerating permutations that can be sorted using two stacks connected in series is still largely open. In the present paper we address a related problem, in which we impose restrictions both on the procedure and on the stacks. More precisely, we consider a greedy algorithm where we perform the rightmost legal operation (here "rightmost" refers to the…
▽ More
The (classical) problem of characterizing and enumerating permutations that can be sorted using two stacks connected in series is still largely open. In the present paper we address a related problem, in which we impose restrictions both on the procedure and on the stacks. More precisely, we consider a greedy algorithm where we perform the rightmost legal operation (here "rightmost" refers to the usual representation of stack sorting problems). Moreover, the first stack is required to be $σ$-avoiding, for some permutation $σ$, meaning that, at each step, the elements maintained in the stack avoid the pattern $σ$ when read from top to bottom. Since the set of permutations which can be sorted by such a device (which we call $σ$-machine) is not always a class, it would be interesting to understand when it happens. We will prove that the set of $σ$-machines whose associated sortable permutations are not a class is counted by Catalan numbers. Moreover, we will analyze two specific $σ$-machines in full details (namely when $σ=321$ and $σ=123$), providing for each of them a complete characterization and enumeration of sortable permutations.
△ Less
Submitted 18 July, 2019;
originally announced July 2019.
-
Enhancing the connections between patterns in permutations and forbidden configurations in restricted elections
Authors:
Luca Ferrari
Abstract:
We investigate the connections between patterns in permutations and forbidden configurations in restricted elections, first discovered by Lackner and Lackner, in order to enhance the approach initiated by the two mentioned authors. More specifically, our achievements are essentially two. First, we define a new type of domain restriction, called enriched group-separable. Enriched group-separable el…
▽ More
We investigate the connections between patterns in permutations and forbidden configurations in restricted elections, first discovered by Lackner and Lackner, in order to enhance the approach initiated by the two mentioned authors. More specifically, our achievements are essentially two. First, we define a new type of domain restriction, called enriched group-separable. Enriched group-separable elections are a subset of group-separable elections, which describe a special, still natural, situation that can arise in the context of group-separability. The exact enumeration of group-separable elections has been very recently determined by Karpov. Here we give a recursive characterization for enriched group-separable elections, from which we are able to find a recurrence relation and a closed formula expressing their number. Our second achievement is a generalization of a result of Lackner and Lackner, concerning the connection between permutation patterns and forbidden configurations with 3 voters. Our result relates forbidden configurations with the strong order on pairs of permutations, a notion which is still largely undeveloped, and suggests a potential approach for the determination of upper bounds for restricted elections whose forbidden configurations contains at least one configuration with 3 voters.
△ Less
Submitted 27 August, 2019; v1 submitted 25 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.
-
Permutation patterns in genome rearrangement problems: the reversal model
Authors:
Giulio Cerbai,
Luca Ferrari
Abstract:
In the context of the genome rearrangement problem, we analyze two well known models, namely the reversal and the prefix reversal models, by exploiting the connection with the notion of permutation pattern. More specifically, for any $k$, we provide a characterization of the set of permutations having distance $\leq k$ from the identity (which is known to be a permutation class) in terms of what w…
▽ More
In the context of the genome rearrangement problem, we analyze two well known models, namely the reversal and the prefix reversal models, by exploiting the connection with the notion of permutation pattern. More specifically, for any $k$, we provide a characterization of the set of permutations having distance $\leq k$ from the identity (which is known to be a permutation class) in terms of what we call generating peg permutations and we describe some properties of its basis, which allow to compute such a basis for small values of $k$.
△ Less
Submitted 20 March, 2019;
originally announced March 2019.
-
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.
-
Permutation patterns in genome rearrangement problems
Authors:
Giulio Cerbai,
Luca Ferrari
Abstract:
In the context of the genome rearrangement problem, we analyze two well known models, namely the block transposition and the prefix block transposition models, by exploiting the connection with the notion of permutation pattern. More specifically, for any $k$, we provide a characterization of the set of permutations having distance $\leq k$ from the identity (which is known to be a permutation cla…
▽ More
In the context of the genome rearrangement problem, we analyze two well known models, namely the block transposition and the prefix block transposition models, by exploiting the connection with the notion of permutation pattern. More specifically, for any $k$, we provide a characterization of the set of permutations having distance $\leq k$ from the identity (which is known to be a permutation class) in terms of what we call generating permutations and we describe some properties of its basis, which allow to compute such a basis for small values of $k$.
△ Less
Submitted 8 August, 2018;
originally announced August 2018.
-
Enumerative Results on the Schröder Pattern Poset
Authors:
Lapo Cioni,
Luca Ferrari
Abstract:
The set of Schröder words (Schröder language) is endowed with a natural partial order, which can be conveniently described by interpreting Schröder words as lattice paths. The resulting poset is called the Schröder pattern poset. We find closed formulas for the number of Schröder words covering/covered by a given Schröder word in terms of classical parameters of the associated Schröder path. We al…
▽ More
The set of Schröder words (Schröder language) is endowed with a natural partial order, which can be conveniently described by interpreting Schröder words as lattice paths. The resulting poset is called the Schröder pattern poset. We find closed formulas for the number of Schröder words covering/covered by a given Schröder word in terms of classical parameters of the associated Schröder path. We also enumerate several classes of Schröder avoiding words (with respect to the length), i.e. sets of Schröder words which do not contain a given Schröder word.
△ Less
Submitted 23 July, 2018;
originally announced July 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.
-
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.
-
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.
-
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.
-
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.
-
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.
