an independent field guide to 23 million papers from arXiv & OpenAlex — not affiliated with arXiv.org
Author
400 papers · 1963–2026
showing 1–25 of 400 RSS
A. Fasso', A. Ferrari, S. Roesler +9 more
A description of the intermediate and high energy hadronic interaction models used in the FLUKA code is given. Benchmarking against experimental data is also reported in order to validate the model performances. Finally the most recent developments and perspectives for nucleus-nucleus interactions are described together with some comparisons with experimental data.
Gastón A. Ayubi, Jaime A. Ayubi, J. Matías Di Martino +1 more
Shape measurements by fringe projection methods require high-quality sinusoidal fringes. We present a sinusoidal fringe generation technique that utilizes slightly defocused binary fringe projection. The proposed method is a spatial version of the well-known pulse-width modulation (PWM) technique of electrical engineering. PWM is easy to implement using off-the-shelf projectors, and it allows us to overcome the gamma problem (i.e., the nonlinear projector response) in the output light intensity. We will demonstrate that, with a small defocusing level--lower than with other techniques proposed in the literature--a high-quality sinusoidal pattern is obtained. Validation experiments using a commercial video projector are presented.
Joachim Krug, Pablo A. Ferrari
We study a one-dimensional driven lattice gas model in which quenched random jump rates are associated with the particles. Under suitable conditions on the distribution of jump rates the model displays a phase transition from a high density `laminar' phase with product measure to a low density `jammed' phase in which the interparticle spacings have no stationary distribution. Using a waiting time representation the phase transition is shown to be equivalent to a pinning transition of directed polymers with columnar defects. The phenomenon is argued to have a natural realization in traffic flow.
Pablo A. Ferrari, Harry Kesten, S. Martinez +1 more
We consider Markov processes on the positive integers for which the origin is an absorbing state. Quasi-stationary distributions (qsd's) are described as fixed points of a transformation $\Phi$ in the space of probability measures. Under the assumption that the absorption time at the origin, $R,$ of the process starting from state $x$ goes to infinity in probability as $x \rightarrow \infty$, we show that the existence of a $\operatorname{qsd}$ is equivalent to $E_xe^{\lambda R} < \infty$ for some positive $\lambda$ and $x$. We also prove that a subsequence of $\Phi^n\delta_x$ converges to a minimal $\operatorname{qsd}$. For a birth and death process we prove that $\Phi^n\delta_x$ converges along the full sequence to the minimal $\operatorname{qsd}$. The method is based on the study of the renewal process with interarrival times distributed as the absorption time of the Markov process…
Pablo A. Ferrari, C. Kipnis, E. Saada
The one-dimensional nearest neighbor asymmetric simple exclusion process has been used as a microscopic approximation for the Burgers equation. This equation has travelling wave solutions. In this paper we show that those solutions have a microscopic structure. More precisely, we consider the simple exclusion process with rate $p$ (respectively, $q = 1 - p)$ for jumps to the right (left), $\frac{1}{2} < p \leq 1$, and we prove the following results: There exists a measure $\mu$ on the space of configurations approaching asymptotically the product measure with densities $\rho$ and $\lambda$ to the left and right of the origin, respectively, $\rho < \lambda$, and there exists a random position $X(t) \in \mathbb{Z}$, such that, at time $t$, the system "as seen from $X(t)$," remains distributed according to $\mu$, for all $t \geq 0$. The hydrodynamical limit for the simple exclusion process…
Pablo A. Ferrari, James B. Martin
We consider totally asymmetric simple exclusion processes with n types of particle and holes ($n$-TASEPs) on $\mathbb {Z}$ and on the cycle $\mathbb {Z}_N$. Angel recently gave an elegant construction of the stationary measures for the 2-TASEP, based on a pair of independent product measures. We show that Angel's construction can be interpreted in terms of the operation of a discrete-time $M/M/1$ queueing server; the two product measures correspond to the arrival and service processes of the queue. We extend this construction to represent the stationary measures of an n-TASEP in terms of a system of queues in tandem. The proof of stationarity involves a system of n 1-TASEPs, whose evolutions are coupled but whose distributions at any fixed time are independent. Using the queueing representation, we give quantitative results for stationary probabilities of states of the n-TASEP on…
Pablo A. Ferrari, Leandro P. R. Pimentel
The one-dimensional nearest-neighbor totally asymmetric simple exclusion process can be constructed in the same space as a last-passage percolation model in Z^2. We show that the trajectory of a second class particle in the exclusion process can be linearly mapped into the competition interface between two growing clusters in the last-passage percolation model. Using technology built up for geodesics in percolation, we show that the competition interface converges almost surely to an asymptotic random direction. As a consequence we get a new proof for the strong law of large numbers for the second class particle in the rarefaction fan and describe the distribution of the asymptotic angle of the competition interface.
Francis Comets, Roberto Fernandez, Pablo A. Ferrari
We present a perfect simulation algorithm for stationary processes indexed by Z, with summable memory decay. Depending on the decay, we construct the process on finite or semi-infinite intervals, explicitly from an i.i.d. uniform sequence. Even though the process has infinite memory, its value at time 0 depends only on a finite, but random, number of these uniform variables. The algorithm is based on a recent regenerative construction of these measures by Ferrari, Maass, Mart{\'ı}nez and Ney. As applications, we discuss the perfect simulation of binary autoregressions and Markov chains on the unit interval.
Paolo Gai, Marco Di Natale, Giuseppe Lipari +3 more
The new generation of embedded systems for automotive applications can take advantage of low-cost multiprocessor system-on a chip architectures. The real-time software applications running on these systems require realtime processor scheduling, and also require the management of the communication and synchronization of tasks executing on different processors with limited blocking time. Conventional real-time technologies, like the Rate Monotonic scheduling algorithm together with the Multiprocessor Priority Ceiling Protocol (MPCP) can be used to this purpose. In earlier work, we proposed the Multiprocessor Stack Resource Policy (MSRP) for scheduling tasks and sharing resources in multiprocessor on a chip architectures. In this paper we present an experimental evaluation that compares the performance of our algorithm with a solution based on Rate Monotonic and MPCP in the con text of the…
Pablo A. Ferrari, Luiz Renato Fontes
We compute the diffusion coefficient of the current of particles through a fixed point in the one-dimensional nearest neighbor asymmetric simple exclusion process in equilibrium. We find $D = |p - q|\rho(1 - \rho)|1 - 2\rho|$, where $p$ is the rate at which the particles jump to the right, $q$ is the jump rate to the left and $\rho$ is the density of particles. Notice that $D$ vanishes if $p = q$ or $\rho = 1/2$. Laws of large numbers and central limit theorems are also proven. Analogous results are obtained for the current of particles through a position travelling at a deterministic velocity $r$. As a corollary we get that the equilibrium density fluctuations at time $t$ are a translation of the fluctuations at time 0. We also show that the current fluctuations at time $t$ are given, in the scale $t^{1/2}$, by the initial density of particles in an interval of length $|(p - q)(1 -…
Pablo A. Ferrari, Nevena Maric
We consider an irreducible pure jump Markov process with rates Q=(q(x,y)) on Λ\cup\{0\} with Λcountable and 0 an absorbing state. A quasi-stationary distribution (qsd) is a probability measure νon Λthat satisfies: starting with ν, the conditional distribution at time t, given that at time t the process has not been absorbed, is still ν. That is, ν(x) = νP_t(x)/(\sum_{y\inΛ}νP_t(y)), with P_t the transition probabilities for the process with rates Q. A Fleming-Viot (fv) process is a system of N particles moving in Λ. Each particle moves independently with rates Q until it hits the absorbing state 0; but then instantaneously chooses one of the N-1 particles remaining in Λand jumps to its position. Between absorptions each particle moves with rates Q independently. Under the condition α:=\sum_x\inf Q(\cdot,x) > \sup Q(\cdot,0):=C we prove existence of qsd for Q; uniqueness has been proven…
Itaï Benjamini, Pablo A. Ferrari, Cláudio Landim
We study a one-dimensional nearest neighbor simple exclusion process for which the rates of jump are chosen randomly at time zero and fixed for the rest of the evolution. The ith particle's right and left jump rates are denoted pi and qi respectively; pi + qi = 1. We fix c ϵ (12, 1) and assume that pi ϵ [c, 1] is a stationary ergodic process. We show that there exists a critical density ϱ∗ depending only on the distribution of {{pi}} such that for almost all choices of the rates: (a) if ϱ ϵ [ϱ∗, 1], then there exists a product invariant distribution for the process as seen from a tagged particle with asymptotic density ϱ; (b) if ϱ ϵ [0, ϱ∗), then there are no product measures invariant for the process. We give a necessary and sufficient condition for ϱ∗ > 0 in the iid case. We also show that under a product invariant distribution, the position Xt of the tagged particle at time t can be…
P. A. Ferrari, C. Landim, H. Thorisson
We give a deterministic algorithm to construct a graph with no loops (a tree or a forest) whose vertices are the points of a d-dimensional stationary Poisson process S, subset of R^d. The algorithm is independent of the origin of coordinates. We show that (1) the graph has one topological end --that is, from any point there is exactly one infinite self-avoiding path; (2) the graph has a unique connected component if d=2 and d=3 (a tree) and it has infinitely many components if d\ge 4 (a forest); (3) in d=2 and d=3 we construct a bijection between the points of the Poisson process and Z using the preorder-traversal algorithm. To construct the graph we interpret each point in S as a space-time point (x,r)\in\R^{d-1}\times R. Then a (d-1) dimensional random walk in continuous time continuous space starts at site x at time r. The first jump of the walk is to point x', at time r'>r…
A. Ferrari, J. Ranft, S. Roesler +1 more
Based on a Monte Carlo realization of the Dual Parton Model we study the production of target associated particles and of nuclear fragments in high energy hadron-nucleus interactions. A formation zone intranuclear cascade of low energy secondaries inside the target nucleus is discussed. We calculate excitation energies of residual nuclei left after the intranuclear cascade process and treat their further disintegration by introducing models for the evaporation of protons, neutrons, and light fragments, high energy fission, and by applying a Fermi Break-up model to light nuclear fragments. The results are compared to data on target associated particle production. We furthermore calculate cross sections for the production of nuclear fragments.
Jorge L. Flores, José A. Ferrari, G. García Torales +2 more
In order to overcome the limitations of the sequential phase-shifting fringe pattern profilometry for dynamic measurements, a color-channel-based approach is presented. The proposed technique consists of projecting and acquiring a colored image formed by three sinusoidal phase-shifted patterns. Therefore, by using the conventional three-step phase-shifting algorithm, only one color image is required for phase retrieval each time. However, the use of colored fringe patterns leads to a major problem, the color crosstalk, which introduces phase errors when conventional phase-shifting algorithms with fixed phase-shift values are utilized to retrieve the phase. To overcome the crosstalk issue, we propose the use of a generalized phase-shifting algorithm with arbitrary phase-shift values. The simulations and experimental results show that the proposed algorithm can significantly reduce the…
Pablo A. Ferrari, Alejandro Maass, Servet Martinez +1 more
Consider a finite Abelian group (G,+), with |G|=p^r, p a prime number, and F: G^N -> G^N the cellular automaton given by {F(x)}_n= A x_n + B x_{n+1} for any n in N, where A and B are integers relatively primes to p. We prove that if P is a translation invariant probability measure on G^Z determining a chain with complete connections and summable decay of correlations, then for any w= (w_i:i<0) the Cesaro mean distribution of the time iterates of the automaton with initial distribution P_w --the law P conditioned to w on the left of the origin-- converges to the uniform product measure on G^N. The proof uses a regeneration representation of P.
Pablo A. Ferrari, James B. Martin, Leandro P. R. Pimentel
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…
The simple exclusion process "as seen from a tagged particle" is studied. The set of translation invariant and invariant measures for this process is determined in the translation invariant case on $\\mathbb{Z}^d$. The set of all invariant measures is determined in the nearest neighbor asymmetric case on $\\mathbb{Z}$. The domains of attraction of the invariant measures are established in the one-dimensional nearest neighbor translation invariant case.
This paper introduces a novel approach for solving the Boolean satisfiability (SAT) problem by combining software and configurable hardware. The suggested technique avoids instance-specific hardware compilation and, as a result, allows the total problem solving time to be reduced compared to other approaches that have been proposed. Moreover, the technique permits problems that exceed the resources of the available reconfigurable hardware to be solved. The paper presents the results obtained with some of the DIMACS benchmarks and a comparison of our implementation with other available SAT solvers based on reconfigurable hardware. The hardware part of the satisfier was realized on Virtex XCV812E FPGA, which has a large volume of embedded memory blocks that provide direct support for the proposed approach.
Roberto Fernández, Pablo A. Ferrari, Nancy L. Garcia
We present a probabilistic approach for the study of systems with exclusions, in the regime traditionally studied via cluster-expansion methods. In this paper we focus on its application for the gases of Peierls contours found in the study of the Ising model at low temperatures, but most of the results are general. We realize the equilibrium measure as the invariant measure of a loss-network process whose existence is ensured by a subcriticality condition of a dominant branching process. In this regime, the approach yields, besides existence and uniqueness of the measure, properties such as exponential space convergence and mixing, and a central limit theorem. The loss network converges exponentially fast to the equilibrium measure, without metastable traps. This convergence is faster at low temperatures, where it leads to the proof of an asymptotic Poisson distribution of contours. Our…
Pablo A. Ferrari, Harry Kesten, S. Martínez
We prove that certain (discrete time) probabilistic automata which can be absorbed in a "null state" have a normalized quasi-stationary distribution (when restricted to the states other than the null state). We also show that the conditional distribution of these systems, given that they are not absorbed before time n, converges to an honest probability distribution; this limit distribution is concentrated on the configurations with only finitely many "active or occupied" sites. A simple example to which our results apply is the discrete time version of the subcritical contact process on $\mathbb{Z}^d$ or oriented percolation on $\mathbb{Z}^d$ (for any $d \geq 1$) as seen from the "leftmost particle." For this and some related models we prove in addition a central limit theorem for $n^{-1/2}$ times the position of the leftmost particle (conditioned on survival until time n). The basic…
Pablo A. Ferrari, James B. Martin
We consider the discrete Hammersley-Aldous-Diaconis process (HAD) and the totally asymmetric simple exclusion process (TASEP) in Z. The basic coupling induces a multiclass process which is useful in discussing shock measures and other important properties of the processes. The invariant measures of the multiclass systems are the same for both processes, and can be constructed as the law of the output process of a system of multiclass queues in tandem; the arrival and service processes of the queueing system are a collection of independent Bernoulli product measures. The proof of invariance involves a new coupling between stationary versions of the processes called a multi-line process; this process has a collection of independent Bernoulli product measures as an invariant measure. Some of these results have appeared elsewhere and this paper is partly a review, with some proofs given…
Pablo A. Ferrari, Luiz Renato Fontes
We consider a hypersurface of dimension $d$ imbedded in a $d+1$ dimensional space. For each $x\in Z^d$, let $\eta_t(x)\in R$ be the height of the surface at site $x$ at time $t$. At rate $1$ the $x$-th height is updated to a random convex combination of the heights of the `neighbors' of $x$. The distribution of the convex combination is translation invariant and does not depend on the heights. This motion, named the random average process (RAP), is one of the linear processes introduced by Liggett (1985). Special cases of RAP are a type of smoothing process (when the convex combination is deterministic) and the voter model (when the convex combination concentrates on one site chosen at random). We start the heights located on a hyperplane passing through the origin but different from the trivial one $\eta(x)\equiv 0$. We show that, when the convex combination is neither deterministic…
M. Cassandro, P. A. Ferrari, I. Merola +1 more
Following Fröhlich and Spencer, we study one dimensional Ising spin systems with ferromagnetic, long range interactions which decay as $|x-y|^{-2+α}$, $0\leq α\leq 1/2$. We introduce a geometric description of the spin configurations in terms of triangles which play the role of contours and for which we establish Peierls bounds. This in particular yields a direct proof of the well known result by Dyson about phase transitions at low temperatures.
Pablo A. Ferrari, Claudio Landim, Valentin V. Sisko
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.