-
Quasi-stationary distributions of non-absorbing Markov chains
Authors:
Roberto Fernandez,
Francesco Manzo,
Matteo Quattropani,
Elisabetta Scoppola
Abstract:
We consider reversible ergodic Markov chains with finite state space, and we introduce a new notion of quasi-stationary distribution that does not require the presence of any absorbing state. In our setting, the hitting time of the absorbing set is replaced by an optimal strong stationary time, representing the ``hitting time of the stationary distribution''. On the one hand, we show that our noti…
▽ More
We consider reversible ergodic Markov chains with finite state space, and we introduce a new notion of quasi-stationary distribution that does not require the presence of any absorbing state. In our setting, the hitting time of the absorbing set is replaced by an optimal strong stationary time, representing the ``hitting time of the stationary distribution''. On the one hand, we show that our notion of quasi-stationary distribution corresponds to the natural generalization of the \emph{Yaglom limit}. On the other hand, similarly to the classical quasi-stationary distribution, we show that it can be written in terms of the eigenvectors of the underlying Markov kernel, and it is therefore amenable of a geometric interpretation. Moreover, we recover the usual exponential behavior that characterizes quasi-stationary distributions and metastable systems. We also provide some toy examples, which show that the phenomenology is richer compared to the absorbing case. Finally, we present some counterexamples, showing that the assumption on the reversibility cannot be weakened in general.
△ Less
Submitted 28 September, 2024;
originally announced September 2024.
-
Local Central Limit Theorem for unbounded long-range potentials
Authors:
Eric O. Endo,
Roberto Fernández,
Vlad Margarint,
Nguyen Tong Xuan
Abstract:
We prove the equivalence between the integral central limit theorem and the local central limit theorem for two-body potentials with long-range interactions on the lattice $\mathbb{Z}^d$ for $d\ge 1$. The spin space can be an arbitrary, possibly unbounded subset of the real axis with a suitable a-priori measure. For general unbounded spins, our method works at high-enough temperature, but for boun…
▽ More
We prove the equivalence between the integral central limit theorem and the local central limit theorem for two-body potentials with long-range interactions on the lattice $\mathbb{Z}^d$ for $d\ge 1$. The spin space can be an arbitrary, possibly unbounded subset of the real axis with a suitable a-priori measure. For general unbounded spins, our method works at high-enough temperature, but for bounded spins our results hold for every temperature. Our proof relies on the control of the integrated characteristic function, which is achieved by dividing the integration into three different regions, following a standard approach proposed forty years ago by Campanino, Del Grosso and Tirozzi. The bounds required in the different regions are obtained through cluster-expansion techniques. For bounded spins, the arbitrariness of the temperature is achieved through a decimation ("dilution") technique, also introduced in the later reference.
△ Less
Submitted 8 August, 2024;
originally announced August 2024.
-
High-temperature cluster expansion for classical and quantum spin lattice systems with multi-body interactions
Authors:
Nguyen Tong Xuan,
Roberto Fernandez
Abstract:
We develop a novel cluster expansion for finite-spin lattice systems subject to multi-body quantum -- and, in particular, classical -- interactions. Our approach is based on the use of ``decoupling parameters", advocated by Park [34], which relates partition functions with successive additional interaction terms. Our treatment, however, leads to an explicit expansion in a $β$-dependent effective f…
▽ More
We develop a novel cluster expansion for finite-spin lattice systems subject to multi-body quantum -- and, in particular, classical -- interactions. Our approach is based on the use of ``decoupling parameters", advocated by Park [34], which relates partition functions with successive additional interaction terms. Our treatment, however, leads to an explicit expansion in a $β$-dependent effective fugacity that permits an explicit evaluation of free energy and correlation functions at small $β$. To determine its convergence region we adopt a relatively recent cluster summation scheme that replaces the traditional use of Kikwood-Salzburg-like integral equations by more precise sums in terms of particular tree-diagrams [2]. As an application we show that our lower bound of the radius of $β$-analyticity is larger than Park's for quantum systems two-body interactions.
△ Less
Submitted 20 July, 2023;
originally announced July 2023.
-
Convergence of cluster and virial expansions for repulsive classical gases
Authors:
Roberto Fernández,
Nguyen Tong Xuan
Abstract:
We study the convergence of cluster and virial expansions for systems of particles subject to positive two-body interactions. Our results strengthen and generalize existing lower bounds on the radii of convergence and on the value of the pressure. Our treatment of the cluster coefficients is based on expressing the truncated weights in terms of trees and partition schemes, and generalize to soft r…
▽ More
We study the convergence of cluster and virial expansions for systems of particles subject to positive two-body interactions. Our results strengthen and generalize existing lower bounds on the radii of convergence and on the value of the pressure. Our treatment of the cluster coefficients is based on expressing the truncated weights in terms of trees and partition schemes, and generalize to soft repulsions previous approaches for models with hard exclusions. Our main theorem holds in a very general framework that does not require translation invariance and is applicable to models in general measure spaces. For the virial coefficients we resort to an approach due to Ramawadth and Tate that uses Lagrange inversion techniques only at the level of formal power series and leads to diagrammatic expressions in terms of trees, rather than the doubly connected diagrams traditionally used. We obtain a new criterion that strengthens, for repulsive interactions, the best criterion previously available (proposed by Groenveld and proven by Ramawadth and Tate). We illustrate our results with a few applications showing noticeable improvements in the lower bound of convergence radii.
△ Less
Submitted 29 September, 2019;
originally announced September 2019.
-
Entropy Stable p-Nonconforming Discretizations with the Summation-by-Parts Property for the Compressible Euler equations
Authors:
D. C. Del Rey Fernandez,
M. H. Carpenter,
L. Dalcin,
L. Fredrich,
D. Rojas,
A. R. Winters,
G. J. Gassner,
S. Zampini,
M. Parsani
Abstract:
The entropy conservative/stable algorithm of Friedrich~\etal (2018) for hyperbolic conservation laws on nonconforming p-refined/coarsened Cartesian grids, is extended to curvilinear grids for the compressible Euler equations. The primary focus is on constructing appropriate coupling procedures across the curvilinear nonconforming interfaces. A simple and flexible approach is proposed that uses int…
▽ More
The entropy conservative/stable algorithm of Friedrich~\etal (2018) for hyperbolic conservation laws on nonconforming p-refined/coarsened Cartesian grids, is extended to curvilinear grids for the compressible Euler equations. The primary focus is on constructing appropriate coupling procedures across the curvilinear nonconforming interfaces. A simple and flexible approach is proposed that uses interpolation operators from one element to the other. On the element faces, the analytic metrics are used to construct coupling terms, while metric terms in the volume are approximated to satisfy a discretization of the geometric conservation laws. The resulting scheme is entropy conservative/stable, elementwise conservative, and freestream preserving. The accuracy and stability properties of the resulting numerical algorithm are shown to be comparable to those of the original conforming scheme (~p+1 convergence) in the context of the isentropic Euler vortex and the inviscid Taylor-Green vortex problems on manufactured high order grids.
△ Less
Submitted 27 September, 2019;
originally announced September 2019.
-
Lack of phase transitions in staggered magnetic systems. A comparison of uniqueness criteria
Authors:
Roberto Fernández,
Manuel González-Navarrete,
Eugene Pechersky,
Anatoly Yambartsev
Abstract:
We study a ferromagnetic Ising model with a staggered cell-board magnetic field previously proposed for image processing [Maruani et al., Markov Processes Relat. Fields 1 (1995) \cite{MPS}]. We complement previous results on the existence of phase transitions at low temperature [González-Navarrete et al., J. Stat. Phys. 162 (2016)] by determining bounds to the region of uniqueness of Gibbs measure…
▽ More
We study a ferromagnetic Ising model with a staggered cell-board magnetic field previously proposed for image processing [Maruani et al., Markov Processes Relat. Fields 1 (1995) \cite{MPS}]. We complement previous results on the existence of phase transitions at low temperature [González-Navarrete et al., J. Stat. Phys. 162 (2016)] by determining bounds to the region of uniqueness of Gibbs measures. We establish sufficient rigorous uniqueness conditions derived from three different criteria: (1) Dobrushin criterion [Dobrushin, Theory Probab. Appl. 13 (1968)], (2) Disagreement percolation [van den Berg and Maes, Ann. Probab. 22 (1994)] and (3) Dobrushin-Shlosman criteria [Dobrushin and Shlosman, in Statistical Physics and Dynamical Systems. Rigorous Results. (1985)]. These conditions are subsequently solved numerically and the resulting uniqueness regions compared.
△ Less
Submitted 26 October, 2021; v1 submitted 24 January, 2019;
originally announced January 2019.
-
Stability of gas measures under perturbations and discretizations
Authors:
Roberto Fernández,
Pablo Groisman,
Santiago Saglietti
Abstract:
For a general class of gas models ---which includes discrete and continuous Gibbsian models as well as contour or polymer ensembles--- we determine a \emph{diluteness condition} that implies: (1) Uniqueness of the infinite-volume equilibrium measure; (2) stability of this measure under perturbations of parameters and discretization schemes, and (3) existence of a coupled perfect-simulation scheme…
▽ More
For a general class of gas models ---which includes discrete and continuous Gibbsian models as well as contour or polymer ensembles--- we determine a \emph{diluteness condition} that implies: (1) Uniqueness of the infinite-volume equilibrium measure; (2) stability of this measure under perturbations of parameters and discretization schemes, and (3) existence of a coupled perfect-simulation scheme for the infinite-volume measure together with its perturbations and discretizations. Some of these results have previously been obtained through methods based on cluster expansions. In contrast, our treatment is purely probabilistic and its diluteness condition is weaker than existing convergence conditions for cluster expansions.
△ Less
Submitted 17 August, 2015;
originally announced August 2015.
-
Variational description of Gibbs-non-Gibbs dynamical transitions for spin-flip systems with a Kac-type interaction
Authors:
Roberto Fernández,
Frank den Hollander,
Julián Martínez
Abstract:
We continue our study of Gibbs-non-Gibbs dynamical transitions. In the present paper we consider a system of Ising spins on a large discrete torus with a Kac-type interaction subject to an independent spin-flip dynamics (infinite-temperature Glauber dynamics). We show that, in accordance with the program outlined in \cite{vEFedHoRe10}, in the thermodynamic limit Gibbs-non-Gibbs dynamical transitio…
▽ More
We continue our study of Gibbs-non-Gibbs dynamical transitions. In the present paper we consider a system of Ising spins on a large discrete torus with a Kac-type interaction subject to an independent spin-flip dynamics (infinite-temperature Glauber dynamics). We show that, in accordance with the program outlined in \cite{vEFedHoRe10}, in the thermodynamic limit Gibbs-non-Gibbs dynamical transitions are \emph{equivalent} to bifurcations in the set of global minima of the large-deviation rate function for the trajectories of the empirical density \emph{conditional} on their endpoint. More precisely, the time-evolved measure is non-Gibbs if and only if this set is not a singleton for \emph{some} value of the endpoint. A partial description of the possible scenarios of bifurcation is given, leading to a characterization of passages from Gibbs to non-Gibbs and vice versa, with sharp transition times.
Our analysis provides a conceptual step-up from our earlier work on Gibbs-non-Gibbs dynamical transitions for the Curie-Weiss model, where the mean-field interaction allowed us to focus on trajectories of the empirical magnetization rather than the empirical density.
△ Less
Submitted 14 September, 2013;
originally announced September 2013.
-
Adjoint method for a tumour growth PDE-constrained optimization problem
Authors:
D. A. Knopoff,
D. R. Fernández,
G. A. Torres,
C. V. Turner
Abstract:
In this paper we present a method for estimating unknown parameters that appear on an avascular, spheric tumour growth model. The model for the tumour is based on nutrient driven growth of a continuum of live cells, whose birth and death generate volume changes described by a velocity field.
The model consists on a coupled system of partial differential equations whose spatial domain is the tumo…
▽ More
In this paper we present a method for estimating unknown parameters that appear on an avascular, spheric tumour growth model. The model for the tumour is based on nutrient driven growth of a continuum of live cells, whose birth and death generate volume changes described by a velocity field.
The model consists on a coupled system of partial differential equations whose spatial domain is the tumour, that changes in size over time. Thus, the situation can be formulated as a free boundary problem.
After solving the forward problem properly, we use the model for the estimation of parameters by fitting the numerical solution with real data, obtained via in vitro experiments and medical imaging. We define an appropriate functional to compare both the real data and the numerical solution. We use the adjoint method for the minimization of this functional, getting a better performance than the obtained with the pattern search method.
△ Less
Submitted 13 September, 2012;
originally announced September 2012.
-
Variational description of Gibbs-non-Gibbs dynamical transitions for the Curie-Weiss model
Authors:
Roberto Fernández,
Frank den Hollander,
Julián Martínez
Abstract:
We perform a detailed study of Gibbs-non-Gibbs transitions for the Curie-Weiss model subject to independent spin-flip dynamics ("infinite-temperature" dynamics). We show that, in this setup, the program outlined in van Enter, Fernández, den Hollander and Redig can be fully completed, namely that Gibbs-non-Gibbs transitions are equivalent to bifurcations in the set of global minima of the large-dev…
▽ More
We perform a detailed study of Gibbs-non-Gibbs transitions for the Curie-Weiss model subject to independent spin-flip dynamics ("infinite-temperature" dynamics). We show that, in this setup, the program outlined in van Enter, Fernández, den Hollander and Redig can be fully completed, namely that Gibbs-non-Gibbs transitions are equivalent to bifurcations in the set of global minima of the large-deviation rate function for the trajectories of the magnetization conditioned on their endpoint. As a consequence, we show that the time-evolved model is non-Gibbs if and only if this set is not a singleton for some value of the final magnetization. A detailed description of the possible scenarios of bifurcation is given, leading to a full characterization of passages from Gibbs to non-Gibbs -and vice versa- with sharp transition times (under the dynamics Gibbsianness can be lost and can be recovered).
Our analysis expands the work of Ermolaev and Kulske who considered zero magnetic field and finite-temperature spin-flip dynamics. We consider both zero and non-zero magnetic field but restricted to infinite-temperature spin-flip dynamics. Our results reveal an interesting dependence on the interaction parameters, including the presence of forbidden regions for the optimal trajectories and the possible occurrence of overshoots and undershoots in the optimal trajectories. The numerical plots provided are obtained with the help of MATHEMATICA.
△ Less
Submitted 21 February, 2012; v1 submitted 19 February, 2012;
originally announced February 2012.
-
Regular $g$-measures are not always Gibbsian
Authors:
Roberto Fernández,
Sandro Gallo,
Grégory Maillard
Abstract:
Regular $g$-measures are discrete-time processes determined by conditional expectations with respect to the past. One-dimensional Gibbs measures, on the other hand, are fields determined by simultaneous conditioning on past and future. For the Markovian and exponentially continuous cases both theories are known to be equivalent. Its equivalence for more general cases was an open problem. We presen…
▽ More
Regular $g$-measures are discrete-time processes determined by conditional expectations with respect to the past. One-dimensional Gibbs measures, on the other hand, are fields determined by simultaneous conditioning on past and future. For the Markovian and exponentially continuous cases both theories are known to be equivalent. Its equivalence for more general cases was an open problem. We present a simple example settling this issue in a negative way: there exist $g$-measures that are continuous and non-null but are not Gibbsian. Our example belongs, in fact, to a well-studied family of processes with rather nice attributes: It is a chain with variable-length memory, characterized by the absence of phase coexistence and the existence of a visible renewal scheme.
△ Less
Submitted 21 June, 2011;
originally announced June 2011.
-
A large-deviation view on dynamical Gibbs-non-Gibbs transitions
Authors:
Aernout van Enter,
Roberto Fernández,
Frank den Hollander,
Frank Redig
Abstract:
We develop a space-time large-deviation point of view on Gibbs-non-Gibbs transitions in spin systems subject to a stochastic spin-flip dynamics. Using the general theory for large deviations of functionals of Markov processes outlined in Feng and Kurtz [11], we show that the trajectory under the spin-flip dynamics of the empirical measure of the spins in a large block in Z^d satisfies a large…
▽ More
We develop a space-time large-deviation point of view on Gibbs-non-Gibbs transitions in spin systems subject to a stochastic spin-flip dynamics. Using the general theory for large deviations of functionals of Markov processes outlined in Feng and Kurtz [11], we show that the trajectory under the spin-flip dynamics of the empirical measure of the spins in a large block in Z^d satisfies a large deviation principle in the limit as the block size tends to infinity. The associated rate function can be computed as the action functional of a Lagrangian that is the Legendre transform of a certain non-linear generator, playing a role analogous to the moment-generating function in the Gartner-Ellis theorem of large deviation theory when this is applied to finite-dimensional Markov processes. This rate function is used to define the notion of "bad empirical measures", which are the discontinuity points of the optimal trajectories (i.e., the trajectories minimizing the rate function) given the empirical measure at the end of the trajectory. The dynamical Gibbs-non-Gibbs transitions are linked to the occurrence of bad empirical measures: for short times no bad empirical measures occur, while for intermediate and large times bad empirical mea- sures are possible. A future research program is proposed to classify the various possible scenarios behind this crossover, which we refer to as a "nature-versus-nurture" transition.
△ Less
Submitted 2 May, 2010;
originally announced May 2010.
-
Partially ordered models
Authors:
Vincent Deveaux,
Roberto Fernandez
Abstract:
We provide a formal definition and study the basic properties of partially ordered chains (POC). These systems were proposed to model textures in image processing and to represent independence relations between random variables in statistics (in the later case they are known as Bayesian networks). Our chains are a generalization of probabilistic cellular automata (PCA) and their theory has featu…
▽ More
We provide a formal definition and study the basic properties of partially ordered chains (POC). These systems were proposed to model textures in image processing and to represent independence relations between random variables in statistics (in the later case they are known as Bayesian networks). Our chains are a generalization of probabilistic cellular automata (PCA) and their theory has features intermediate between that of discrete-time processes and the theory of statistical mechanical lattice fields. Its proper definition is based on the notion of partially ordered specification (POS), in close analogy to the theory of Gibbs measure. This paper contains two types of results. First, we present the basic elements of the general theory of POCs: basic geometrical issues, definition in terms of conditional probability kernels, extremal decomposition, extremality and triviality, reconstruction starting from single-site kernels, relations between POM and Gibbs fields. Second, we prove three uniqueness criteria that correspond to the criteria known as bounded uniformity, Dobrushin and disagreement percolation in the theory of Gibbs measures.
△ Less
Submitted 25 February, 2010;
originally announced February 2010.
-
On the convergence of cluster expansions for polymer gases
Authors:
Rodrigo Bissacot,
Roberto Fernández,
Aldo Procacci
Abstract:
We compare the different convergence criteria available for cluster expansions of polymer gases subjected to hard-core exclusions, with emphasis on polymers defined as finite subsets of a countable set (e.g. contour expansions and more generally high- and low-temperature expansions). In order of increasing strength, these criteria are: (i) Dobrushin criterion, obtained by a simple inductive argu…
▽ More
We compare the different convergence criteria available for cluster expansions of polymer gases subjected to hard-core exclusions, with emphasis on polymers defined as finite subsets of a countable set (e.g. contour expansions and more generally high- and low-temperature expansions). In order of increasing strength, these criteria are: (i) Dobrushin criterion, obtained by a simple inductive argument; (ii) Gruber-Kunz criterion obtained through the use of Kirkwood-Salzburg equations, and (iii) a criterion obtained by two of us via a direct combinatorial handling of the terms of the expansion. We show that for subset polymers our sharper criterion can be proven both by a suitable adaptation of Dobrushin inductive argument and by an alternative --in fact, more elementary-- handling of the Kirkwood-Salzburg equations. In addition we show that for general abstract polymers this alternative treatment leads to the same convergence region as the inductive Dobrushin argument and, furthermore, to a systematic way to improve bounds on correlations.
△ Less
Submitted 17 February, 2010;
originally announced February 2010.
-
Abrupt Convergence and Escape Behavior for Birth and Death Chains
Authors:
Javiera Barrera,
Olivier Bertoncini,
Roberto Fernández
Abstract:
We link two phenomena concerning the asymptotical behavior of stochastic processes: (i) abrupt convergence or cut-off phenomenon, and (ii) the escape behavior usually associated to exit from metastability. The former is characterized by convergence at asymptotically deterministic times, while the convergence times for the latter are exponentially distributed. We compare and study both phenomena…
▽ More
We link two phenomena concerning the asymptotical behavior of stochastic processes: (i) abrupt convergence or cut-off phenomenon, and (ii) the escape behavior usually associated to exit from metastability. The former is characterized by convergence at asymptotically deterministic times, while the convergence times for the latter are exponentially distributed. We compare and study both phenomena for discrete-time birth-and-death chains on Z with drift towards zero. In particular, this includes energy-driven evolutions with energy functions in the form of a single well. Under suitable drift hypotheses, we show that there is both an abrupt convergence towards zero and escape behavior in the other direction. Furthermore, as the evolutions are reversible, the law of the final escape trajectory coincides with the time reverse of the law of cut-off paths. Thus, for evolutions defined by one-dimensional energy wells with sufficiently steep walls, cut-off and escape behavior are related by time inversion.
△ Less
Submitted 10 March, 2009;
originally announced March 2009.
-
Airy functions over local fields
Authors:
Rahul N. Fernandez,
V. S. Varadarajan,
David Weisbart
Abstract:
Airy integrals are very classical but in recent years they have been generalized to higher dimensions and these generalizations have proved to be very useful in studying the topology of the moduli spaces of curves. We study a natural generalization of these integrals when the ground field is a non-archimedean local field such as the field of p-adic numbers. We prove that the p-adic Airy integral…
▽ More
Airy integrals are very classical but in recent years they have been generalized to higher dimensions and these generalizations have proved to be very useful in studying the topology of the moduli spaces of curves. We study a natural generalization of these integrals when the ground field is a non-archimedean local field such as the field of p-adic numbers. We prove that the p-adic Airy integrals are locally constant functions of moderate growth and present evidence that the Airy integrals associated to compact p-adic Lie groups also have these properties.
△ Less
Submitted 28 February, 2009; v1 submitted 1 January, 2009;
originally announced January 2009.
-
Airy Functions for Compact Lie Groups
Authors:
Rahul N. Fernandez,
V. S. Varadarajan
Abstract:
The classical Airy function has been generalised by Kontsevich to a function of a matrix argument, which is an integral over the space of (skew) hermitian matrices of a unitary-invariant exponential kernel. In this paper, the Kontsevich integral is generalised to integrals over the Lie algebra of an arbitrary connected compact Lie group, using exponential kernels invariant under the group. The (…
▽ More
The classical Airy function has been generalised by Kontsevich to a function of a matrix argument, which is an integral over the space of (skew) hermitian matrices of a unitary-invariant exponential kernel. In this paper, the Kontsevich integral is generalised to integrals over the Lie algebra of an arbitrary connected compact Lie group, using exponential kernels invariant under the group. The (real) polynomial defining this kernel is said to have the Airy property if the integral defines a function of moderate growth. A general sufficient criterion for a polynomial to have the Airy property is given. It is shown that an invariant polynomial on the Lie algebra has the Airy property if its restriction to a Cartan subalgebra has the Airy property. This result is used to evaluate these invariant integrals completely and explicitly on the hermitian matrices, obtaining formulae that contain those of Kontsevich as special cases.
△ Less
Submitted 21 July, 2007;
originally announced July 2007.
-
The analyticity region of the hard sphere gas. Improved bounds
Authors:
Roberto Fernandez,
Aldo Procacci,
Benedetto Scoppola
Abstract:
We find an improved estimate of the radius of analyticity of the pressure of the hard-sphere gas in $d$ dimensions. The estimates are determined by the volume of multidimensional regions that can be numerically computed. For $d=2$, for instance, our estimate is about 40% larger than the classical one.
We find an improved estimate of the radius of analyticity of the pressure of the hard-sphere gas in $d$ dimensions. The estimates are determined by the volume of multidimensional regions that can be numerically computed. For $d=2$, for instance, our estimate is about 40% larger than the classical one.
△ Less
Submitted 11 May, 2007;
originally announced May 2007.
-
How to clean a dirty floor: Probabilistic potential theory and the Dobrushin uniqueness theorem
Authors:
Thierry de la Rue,
Roberto Fernandez,
Alan D. Sokal
Abstract:
Motivated by the Dobrushin uniqueness theorem in statistical mechanics, we consider the following situation: Let αbe a nonnegative matrix over a finite or countably infinite index set X, and define the "cleaning operators" β_h = I_{1-h} + I_h αfor h: X \to [0,1] (here I_f denotes the diagonal matrix with entries f). We ask: For which "cleaning sequences" h_1, h_2, ... do we have c β_{h_1} ... β_…
▽ More
Motivated by the Dobrushin uniqueness theorem in statistical mechanics, we consider the following situation: Let αbe a nonnegative matrix over a finite or countably infinite index set X, and define the "cleaning operators" β_h = I_{1-h} + I_h αfor h: X \to [0,1] (here I_f denotes the diagonal matrix with entries f). We ask: For which "cleaning sequences" h_1, h_2, ... do we have c β_{h_1} ... β_{h_n} \to 0 for a suitable class of "dirt vectors" c? We show, under a modest condition on α, that this occurs whenever \sum_i h_i = \infty everywhere on X. More generally, we analyze the cleaning of subsets Λ\subseteq X and the final distribution of dirt on the complement of Λ. We show that when supp(h_i) \subseteq Λwith \sum_i h_i = \infty everywhere on Λ, the operators β_{h_1} ... β_{h_n} converge as n \to \infty to the "balayage operator" Π_Λ= \sum_{k=0}^\infty (I_Λα)^k I_{Λ^c). These results are obtained in two ways: by a fairly simple matrix formalism, and by a more powerful tree formalism that corresponds to working with formal power series in which the matrix elements of αare treated as noncommuting indeterminates.
△ Less
Submitted 24 April, 2007;
originally announced April 2007.
-
Regions without complex zeros for chromatic polynomials on graphs with bounded degree
Authors:
Roberto Fernandez,
Aldo Procacci
Abstract:
We prove that the chromatic polynomial $P_\mathbb{G}(q)$ of a finite graph $\mathbb{G}$ of maximal degree $\D$ is free of zeros for $\card q\ge C^*(\D)$ with $$ C^*(\D) = \min_{0<x<2^{1\over \D}-1} {(1+x)^{\D-1}\over x [2-(1+x)^\D]} $$ This improves results by Sokal (2001) and Borgs (2005). Furthermore, we present a strengthening of this condition for graphs with no triangle-free vertices.
We prove that the chromatic polynomial $P_\mathbb{G}(q)$ of a finite graph $\mathbb{G}$ of maximal degree $\D$ is free of zeros for $\card q\ge C^*(\D)$ with $$ C^*(\D) = \min_{0<x<2^{1\over \D}-1} {(1+x)^{\D-1}\over x [2-(1+x)^\D]} $$ This improves results by Sokal (2001) and Borgs (2005). Furthermore, we present a strengthening of this condition for graphs with no triangle-free vertices.
△ Less
Submitted 19 April, 2007;
originally announced April 2007.
-
Cluster expansion for abstract polymer models. New bounds from an old approach
Authors:
Roberto Fernandez,
Aldo Procacci
Abstract:
We revisit the classical approach to cluster expansions, based on tree graphs, and establish a new convergence condition that improves those by Kotecky-Preiss and Dobrushin, as we show in some examples. The two ingredients of our approach are: (i) a careful consideration of the Penrose identity for truncated functions, and (ii) the use of iterated transformations to bound tree-graph expansions.
We revisit the classical approach to cluster expansions, based on tree graphs, and establish a new convergence condition that improves those by Kotecky-Preiss and Dobrushin, as we show in some examples. The two ingredients of our approach are: (i) a careful consideration of the Penrose identity for truncated functions, and (ii) the use of iterated transformations to bound tree-graph expansions.
△ Less
Submitted 16 October, 2006; v1 submitted 12 May, 2006;
originally announced May 2006.
-
Mott transition in lattice boson models
Authors:
Roberto Fernandez,
Juerg Froehlich,
Daniel Ueltschi
Abstract:
We use mathematically rigorous perturbation theory to study the transition between the Mott insulator and the conjectured Bose-Einstein condensate in a hard-core Bose-Hubbard model. The critical line is established to lowest order in the tunneling amplitude.
We use mathematically rigorous perturbation theory to study the transition between the Mott insulator and the conjectured Bose-Einstein condensate in a hard-core Bose-Hubbard model. The critical line is established to lowest order in the tunneling amplitude.
△ Less
Submitted 19 January, 2006; v1 submitted 26 September, 2005;
originally announced September 2005.
-
Spatial birth-and-death processes in random environment
Authors:
Roberto Fernandez,
Pablo A. Ferrari,
Gustavo R. Guerberoff
Abstract:
We consider birth-and-death processes of objects (animals) defined in ${\bf Z}^d$ having unit death rates and random birth rates. For animals with uniformly bounded diameter we establish conditions on the rate distribution under which the following holds for almost all realizations of the birth rates: (i) the process is ergodic with at worst power-law time mixing; (ii) the unique invariant measu…
▽ More
We consider birth-and-death processes of objects (animals) defined in ${\bf Z}^d$ having unit death rates and random birth rates. For animals with uniformly bounded diameter we establish conditions on the rate distribution under which the following holds for almost all realizations of the birth rates: (i) the process is ergodic with at worst power-law time mixing; (ii) the unique invariant measure has exponential decay of (spatial) correlations; (iii) there exists a perfect-simulation algorithm for the invariant measure. The results are obtained by first dominating the process by a backwards oriented percolation model, and then using a multiscale analysis due to Klein to establish conditions for the absence of percolation.
△ Less
Submitted 7 October, 2004;
originally announced October 2004.
-
Chains with complete connections and one-dimensional Gibbs measures
Authors:
Roberto Fernandez,
Gregory Maillard
Abstract:
We discuss the relationship between discrete-time processes (chains) and one-dimensional Gibbs measures. We consider finite-alphabet (finite-spin) systems, possibly with a grammar (exclusion rule). We establish conditions for a stochastic process to define a Gibbs measure and vice versa. Our conditions generalize well known equivalence results between ergodic Markov chains and fields, as well as…
▽ More
We discuss the relationship between discrete-time processes (chains) and one-dimensional Gibbs measures. We consider finite-alphabet (finite-spin) systems, possibly with a grammar (exclusion rule). We establish conditions for a stochastic process to define a Gibbs measure and vice versa. Our conditions generalize well known equivalence results between ergodic Markov chains and fields, as well as the known Gibbsian character of processes with exponential continuity rate. Our arguments are purely probabilistic; they are based on the study of regular systems of conditional probabilities (specifications). Furthermore, we discuss the equivalence of uniqueness criteria for chains and fields and we establish bounds for the continuity rates of the respective systems of finite-volume conditional probabilities. As an auxiliary result we prove a (re)construction theorem for specifications starting from single-site conditioning, which applies in a more general setting (general spin space, specifications not necessarily Gibbsian).
△ Less
Submitted 22 January, 2004; v1 submitted 1 May, 2003;
originally announced May 2003.
-
Variational principle and almost quasilocality for some renormalized measures
Authors:
Roberto Fernandez,
Arnaud Le Ny,
Frank Redig
Abstract:
We restore part of the thermodynamic formalism for some renormalized measures that are known to be non-Gibbsian. We first point out that a recent theory due to Pfister implies that for block-transformed measures free energies and relative entropy densities exist and are conjugate convex functionals. We then determine a necessary and sufficient condition for consistency with a specification that…
▽ More
We restore part of the thermodynamic formalism for some renormalized measures that are known to be non-Gibbsian. We first point out that a recent theory due to Pfister implies that for block-transformed measures free energies and relative entropy densities exist and are conjugate convex functionals. We then determine a necessary and sufficient condition for consistency with a specification that is quasilocal in a fixed direction. As corollaries we obtain consistency results for models with FKG monotonicity and for models with appropriate "continuity rates". For (noisy) decimations or projections of the Ising model, these results imply almost quasilocality of the decimated "+" and "-" measures.
△ Less
Submitted 11 July, 2001;
originally announced July 2001.
-
Possible loss and recovery of Gibbsianness during the stochastic evolution of Gibbs measures
Authors:
A. C. D. van Enter,
R. Fernández,
F. den Hollander,
F. Redig
Abstract:
We consider Ising-spin systems starting from an initial Gibbs measure $ν$ and evolving under a spin-flip dynamics towards a reversible Gibbs measure $μ\not=ν$. Both $ν$ and $μ$ are assumed to have a finite-range interaction. We study the Gibbsian character of the measure $νS(t)$ at time $t$ and show the following: (1) For all $ν$ and $μ$, $νS(t)$ is Gibbs for small $t$. (2) If both $ν$ and $μ$ h…
▽ More
We consider Ising-spin systems starting from an initial Gibbs measure $ν$ and evolving under a spin-flip dynamics towards a reversible Gibbs measure $μ\not=ν$. Both $ν$ and $μ$ are assumed to have a finite-range interaction. We study the Gibbsian character of the measure $νS(t)$ at time $t$ and show the following: (1) For all $ν$ and $μ$, $νS(t)$ is Gibbs for small $t$. (2) If both $ν$ and $μ$ have a high or infinite temperature, then $νS(t)$ is Gibbs for all $t>0$. (3) If $ν$ has a low non-zero temperature and a zero magnetic field and $μ$ has a high or infinite temperature, then $νS(t)$ is Gibbs for small $t$ and non-Gibbs for large $t$. (4) If $ν$ has a low non-zero temperature and a non-zero magnetic field and $μ$ has a high or infinite temperature, then $νS(t)$ is Gibbs for small $t$, non-Gibbs for intermediate $t$, and Gibbs for large $t$. The regime where $μ$ has a low or zero temperature and $t$ is not small remains open. This regime presumably allows for many different scenarios.
△ Less
Submitted 2 May, 2001;
originally announced May 2001.
-
Non-Gibbsianness of the invariant measures of non-reversible cellular automata with totally asymmetric noise
Authors:
Roberto Fernandez,
Andre Toom
Abstract:
We present a class of random cellular automata with multiple invariant measures which are all non-Gibbsian. The automata have configuration space {0,1}^{Z^d}, with d > 1, and they are noisy versions of automata with the "eroder property". The noise is totally asymmetric in the sense that it allows random flippings of "0" into "1" but not the converse. We prove that all invariant measures assign…
▽ More
We present a class of random cellular automata with multiple invariant measures which are all non-Gibbsian. The automata have configuration space {0,1}^{Z^d}, with d > 1, and they are noisy versions of automata with the "eroder property". The noise is totally asymmetric in the sense that it allows random flippings of "0" into "1" but not the converse. We prove that all invariant measures assign to the event "a sphere with a large radius L is filled with ones" a probability μ_L that is too large for the measure to be Gibbsian. For example, for the NEC automaton -ln(μ_L) ~ L while for any Gibbs measure the corresponding value is ~ L^2.
△ Less
Submitted 15 January, 2001;
originally announced January 2001.
-
Processes with Long Memory: Regenerative Construction and Perfect Simulation
Authors:
Francis Comets,
Roberto Fernandez,
Pablo A. Ferrari
Abstract:
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 bas…
▽ More
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.
△ Less
Submitted 14 December, 2001; v1 submitted 22 September, 2000;
originally announced September 2000.
-
Perfect simulation for interacting point processes, loss networks and Ising models
Authors:
Roberto Fernandez,
Pablo A. Ferrari,
Nancy Garcia
Abstract:
We present a perfect simulation algorithm for measures that are absolutely continuous with respect to some Poisson process and can be obtained as invariant measures of birth-and-death processes. Examples include area- and perimeter-interacting point processes (with stochastic grains), invariant measures of loss networks, and the Ising contour and random cluster models. The algorithm does not inv…
▽ More
We present a perfect simulation algorithm for measures that are absolutely continuous with respect to some Poisson process and can be obtained as invariant measures of birth-and-death processes. Examples include area- and perimeter-interacting point processes (with stochastic grains), invariant measures of loss networks, and the Ising contour and random cluster models. The algorithm does not involve couplings of the process with different initial conditions and it is not tied up to monotonicity requirements. Furthermore, it directly provides perfect samples of finite windows of the infinite-volume measure, subjected to time and space ``user-impatience bias''. The algorithm is based on a two-step procedure: (i) a perfect-simulation scheme for a (finite and random) relevant portion of a (space-time) marked Poisson processes (free birth-and-death process, free loss networks), and (ii) a ``cleaning'' algorithm that trims out this process according to the interaction rules of the target process. The first step involves the perfect generation of ``ancestors'' of a given object, that is of predecessors that may have an influence on the birth-rate under the target process. The second step, and hence the whole procedure, is feasible if these ``ancestors'' form a finite set with probability one. We present a sufficiency criteria for this condition, based on the absence of infinite clusters for an associated (backwards) oriented percolation model.
△ Less
Submitted 16 August, 2002; v1 submitted 22 November, 1999;
originally announced November 1999.
-
Effective Hamiltonians and Phase Diagrams for Tight-Binding Models
Authors:
Nilanjana Datta,
Roberto Fernandez,
Juerg Froehlich
Abstract:
We present rigorous results for several variants of the Hubbard model in the strong-coupling regime. We establish a mathematically controlled perturbation expansion which shows how previously proposed effective interactions are, in fact, leading-order terms of well defined (volume-independent) unitarily equivalent interactions. In addition, in the very asymmetric (Falicov-Kimball) regime, we are…
▽ More
We present rigorous results for several variants of the Hubbard model in the strong-coupling regime. We establish a mathematically controlled perturbation expansion which shows how previously proposed effective interactions are, in fact, leading-order terms of well defined (volume-independent) unitarily equivalent interactions. In addition, in the very asymmetric (Falicov-Kimball) regime, we are able to apply recently developed phase-diagram technology (quantum Pirogov-Sinai theory) to conclude that the zero-temperature phase diagrams obtained for the leading classical part remain valid, except for thin excluded regions and small deformations, for the full-fledged quantum interaction at zero or small temperature. Moreover, the phase diagram is stable upon the addition of arbitrary, but sufficiently small, further quantum terms that do not break the ground-states symmetries. This generalizes and unifies a number of previous results on the subject; in particular published results on the zero-temperature phase diagram of the Falikov-Kimball model (with and without magnetic flux) are extended to small temperatures and/or small ionic hopping. We give explicit expressions for the first few orders, in the hopping amplitude, of these equivalent interactions, and we describe the resulting phase diagram. Our approach, however, yields algorithms to compute arbitrary high orders.
△ Less
Submitted 4 September, 1998;
originally announced September 1998.
-
Problems with the definition of renormalized Hamiltonians for momentum-space renormalization transformations
Authors:
Aernout C. D. van Enter,
Roberto Fernández
Abstract:
For classical lattice systems with finite (Ising) spins, we show that the implementation of momentum-space renormalization at the level of Hamiltonians runs into the same type of difficulties as found for real-space transformations: Renormalized Hamiltonians are ill-defined in certain regions of the phase diagram.
For classical lattice systems with finite (Ising) spins, we show that the implementation of momentum-space renormalization at the level of Hamiltonians runs into the same type of difficulties as found for real-space transformations: Renormalized Hamiltonians are ill-defined in certain regions of the phase diagram.
△ Less
Submitted 2 September, 1998;
originally announced September 1998.
-
Decay of correlations for non Hölderian dynamics. A coupling approach
Authors:
Xavier Bressaud,
Roberto Fernández,
Antonio Galves
Abstract:
We present an upper bound on the mixing rate of the equilibrium state of a dynamical systems defined by the one-sided shift and a non Hölder potential of summable variations. The bound follows from an estimation of the relaxation speed of chains with complete connections with summable decay, which is obtained via a explicit coupling between pairs of chains with different histories.
We present an upper bound on the mixing rate of the equilibrium state of a dynamical systems defined by the one-sided shift and a non Hölder potential of summable variations. The bound follows from an estimation of the relaxation speed of chains with complete connections with summable decay, which is obtained via a explicit coupling between pairs of chains with different histories.
△ Less
Submitted 23 June, 1998;
originally announced June 1998.
-
Loss network representation of Peierls contours
Authors:
Roberto Fernández,
Pablo A. Ferrari,
Nancy L. Garcia
Abstract:
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 pro…
▽ More
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 results on the mixing properties of the measure are comparable to those obtained with ``duplicated-variables expansion'', used to treat systems with disorder and coupled map lattices. It works in a larger region of validity than usual cluster-expansion formalisms, and it is not tied to the analyticity of the pressure. In fact, it does not lead to any kind of expansion for the latter, and the properties of the equilibrium measure are obtained without resorting to combinatorial or complex analysis techniques.
△ Less
Submitted 29 November, 1999; v1 submitted 23 June, 1998;
originally announced June 1998.
