-
Wick theorem for analytic functions of Gaussian fields
Authors:
Fabio Coppini,
Wioletta M. Ruszel,
Dirk Schuricht
Abstract:
We compute the correlation of analytic functions of general Gaussian fields in terms of multigraphs and Feynman diagrams on the lattice Z^d. Then, we connect its scaling limit to tensors of the correlation functionals of Fock space fields. Afterwards, we investigate the relation with fermionic Gaussian field states for even functions. For instance, we characterize the correlation functionals of th…
▽ More
We compute the correlation of analytic functions of general Gaussian fields in terms of multigraphs and Feynman diagrams on the lattice Z^d. Then, we connect its scaling limit to tensors of the correlation functionals of Fock space fields. Afterwards, we investigate the relation with fermionic Gaussian field states for even functions. For instance, we characterize the correlation functionals of the exponential of a continuous Gaussian Free Field or general analytic functions of fractional Gaussian fields as limits of quantities constructed via a sequences of discrete fields. Finally, we show that the duality between even powers of bosonic Gaussian fields and "complex" fermionic Gaussian fields can be reformulated in terms of a principal minors assignment problem of the corresponding covariance matrices.
△ Less
Submitted 7 July, 2025;
originally announced July 2025.
-
Complex abstract Wiener spaces
Authors:
Tess J. van Leeuwen,
Wioletta M. Ruszel
Abstract:
Real abstract Wiener spaces (AWS) were originally defined by Gross using measurable norms, as a generalisation of the theory of advanced integral calculus in infinite dimensions as introduced by Cameron and Martin. In this paper we present a rigorous, complete and self-contained general framework for $\mathbb{K}$-AWS, where $\mathbb{K} \in \{\mathbb{R},\mathbb{C}\}$ using the language of character…
▽ More
Real abstract Wiener spaces (AWS) were originally defined by Gross using measurable norms, as a generalisation of the theory of advanced integral calculus in infinite dimensions as introduced by Cameron and Martin. In this paper we present a rigorous, complete and self-contained general framework for $\mathbb{K}$-AWS, where $\mathbb{K} \in \{\mathbb{R},\mathbb{C}\}$ using the language of characteristic functions instead of measurable norms. In particular, we will prove that $X$ is a centred resp. proper $H$-valued Gaussian field over $\mathbb{K}$ iff the covariance function can be written in terms of some non-negative, self-adjoint trace class operator, and that the existence and uniqueness of $X$ is equivalent to the $\mathbb{K}$-AWS. Finally we will relate the $\mathbb{C}$-AWS to the $\mathbb{R}$-AWS by way of a real structure, which is a real linear, complex anti-linear involution on a complex vector space. This allows for a commutative relation between the real and complex Gaussian fields and the real and complex abstract Wiener spaces. We will construct specific examples which fall under this framework like the complex Brownian motion, complex Feynman-Kac formula and complex fractional Gaussian fields.
△ Less
Submitted 17 March, 2025;
originally announced March 2025.
-
Isoperimetric inequality for nonlocal bi-axial discrete perimeter
Authors:
V. Jacquier,
W. M. Ruszel,
C. Spitoni
Abstract:
In the present manuscript we address and solve for the first time a nonlocal discrete isoperimetric problem. We consider indeed a generalization of the classical perimeter, what we call a nonlocal bi-axial discrete perimeter, where, not only the external boundary of a polyomino $\mathcal{P}$ contributes to the perimeter, but all internal and external components of $\mathcal{P}$. Furthermore, we fi…
▽ More
In the present manuscript we address and solve for the first time a nonlocal discrete isoperimetric problem. We consider indeed a generalization of the classical perimeter, what we call a nonlocal bi-axial discrete perimeter, where, not only the external boundary of a polyomino $\mathcal{P}$ contributes to the perimeter, but all internal and external components of $\mathcal{P}$. Furthermore, we find and characterize its minimizers in the class of polyominoes with fixed area $n$. Moreover, we explain how the solution of the nonlocal discrete isoperimetric problem is related to the rigorous study of the metastable behavior of a long-range bi-axial Ising model.
△ Less
Submitted 17 December, 2024;
originally announced December 2024.
-
Absence of shift-invariant Gibbs states (delocalisation) for one-dimensional $\mathbb Z$-valued fields with Long-Range interactions
Authors:
Loren Coquille,
Aernout C. D. van Enter,
Arnaud Le Ny,
Wioletta M. Ruszel
Abstract:
We show that a modification of the proof of our paper [CvELNR18], in the spirit of [FP81], shows delocalisation in the long-range Discrete Gaussian Chain, and generalisations thereof, for any decay power $α>2$ and at all temperatures. The argument proceeds by contradiction: any shift-invariant and localised measure (in the $L^1$ sense), is a convex combination of ergodic localised measures. But th…
▽ More
We show that a modification of the proof of our paper [CvELNR18], in the spirit of [FP81], shows delocalisation in the long-range Discrete Gaussian Chain, and generalisations thereof, for any decay power $α>2$ and at all temperatures. The argument proceeds by contradiction: any shift-invariant and localised measure (in the $L^1$ sense), is a convex combination of ergodic localised measures. But the latter cannot exist: on one hand, by the ergodic theorem, the average of the field over growing boxes would be almost surely bounded ; on the other hand the measure would be absolutely continuous with respect to its height-shifted translates, as a simple relative entropy computation shows. This leads to a contradiction and answers, in a non-quantitative way, an open question stated in a recent paper [G23] of C.Garban.
△ Less
Submitted 24 June, 2024; v1 submitted 31 January, 2024;
originally announced January 2024.
-
Random field induced order in two dimensions
Authors:
Nicolas Crawford,
Wioletta M. Ruszel
Abstract:
In this article we prove that a classical $XY$ model subjected to weak i.i.d. random field pointing in a fixed direction exhibits residual magnetic order in $\mathbb{Z}^2$ and aligns perpendicular to the random field direction. The paper is a sequel to \cite{NC} where the three-dimensional case was treated. Our approach is based on a multi-scale Peierls contour argument developed in \cite{NC}. On…
▽ More
In this article we prove that a classical $XY$ model subjected to weak i.i.d. random field pointing in a fixed direction exhibits residual magnetic order in $\mathbb{Z}^2$ and aligns perpendicular to the random field direction. The paper is a sequel to \cite{NC} where the three-dimensional case was treated. Our approach is based on a multi-scale Peierls contour argument developed in \cite{NC}. On the microscopic scale we extract energetic costs from the occurrence of contours, which themselves are defined on a macroscopic scale. The technical challenges in $\mathbb{Z}^2$ stem from difficulties controlling the size and roughness of the fluctuation fields which model the short length-scale oscillations of near-optimizers of the random field Hamiltonian.
△ Less
Submitted 28 June, 2023; v1 submitted 30 October, 2021;
originally announced November 2021.
-
Odometers of Divisible Sandpile Models: Scaling Limits, iDLA and Obstacle Problems. A Survey
Authors:
Wioletta M. Ruszel
Abstract:
The divisible sandpile model is a fixed-energy continuous counterpart of the Abelian sandpile model. We start with a random initial configuration and redistribute mass deterministically. Under certain conditions the sandpile will stabilize. The associated odometer function describes the amount of mass emitted from each vertex during stabilization. In this survey we describe recent scaling limit re…
▽ More
The divisible sandpile model is a fixed-energy continuous counterpart of the Abelian sandpile model. We start with a random initial configuration and redistribute mass deterministically. Under certain conditions the sandpile will stabilize. The associated odometer function describes the amount of mass emitted from each vertex during stabilization. In this survey we describe recent scaling limit results of the odometer function depending on different initial configurations and redistribution rules. Moreover we review connections to the obstacle problem from potential theory, including the connection between odometers and limiting shapes of growth models such as iDLA. Finally we state some open problems.
△ Less
Submitted 14 October, 2019; v1 submitted 14 March, 2019;
originally announced March 2019.
-
Scaling limits in divisible sandpiles: a Fourier multiplier approach
Authors:
Alessandra Cipriani,
Jan de Graaff,
Wioletta M. Ruszel
Abstract:
In this paper we complete the investigation of scaling limits of the odometer in divisible sandpiles on $d$-dimensional tori generalising the works Chiarini et al. (2018), Cipriani et al. (2017, 2018). Relaxing the assumption of independence of the weights of the divisible sandpile, we generate generalised Gaussian fields in the limit by specifying the Fourier multiplier of their covariance kernel…
▽ More
In this paper we complete the investigation of scaling limits of the odometer in divisible sandpiles on $d$-dimensional tori generalising the works Chiarini et al. (2018), Cipriani et al. (2017, 2018). Relaxing the assumption of independence of the weights of the divisible sandpile, we generate generalised Gaussian fields in the limit by specifying the Fourier multiplier of their covariance kernel. In particular, using a Fourier multiplier approach, we can recover fractional Gaussian fields of the form $(-Δ)^{-(1+s)} W$ for $s>0$ and $W$ a spatial white noise on the $d$-dimensional unit torus.
△ Less
Submitted 14 October, 2019; v1 submitted 15 October, 2018;
originally announced October 2018.
-
Absence of Dobrushin states for $2d$ long-range Ising models
Authors:
Loren Coquille,
Aernout C. D. van Enter,
Arnaud Le Ny,
Wioletta M. Ruszel
Abstract:
We consider the two-dimensional Ising model with long-range pair interactions of the form $J_{xy}\sim|x-y|^{-α}$ with $α>2$, mostly when $J_{xy} \geq 0$. We show that Dobrushin states (i.e. extremal non-translation-invariant Gibbs states selected by mixed $\pm$-boundary conditions) do not exist. We discuss possible extensions of this result in the direction of the Aizenman-Higuchi theorem, or conc…
▽ More
We consider the two-dimensional Ising model with long-range pair interactions of the form $J_{xy}\sim|x-y|^{-α}$ with $α>2$, mostly when $J_{xy} \geq 0$. We show that Dobrushin states (i.e. extremal non-translation-invariant Gibbs states selected by mixed $\pm$-boundary conditions) do not exist. We discuss possible extensions of this result in the direction of the Aizenman-Higuchi theorem, or concerning fluctuations of interfaces. We also mention the existence of rigid interfaces in two long-range anisotropic contexts.
△ Less
Submitted 14 June, 2018; v1 submitted 13 April, 2018;
originally announced April 2018.
-
Non-criticality criteria for Abelian sandpile models with sources and sinks
Authors:
Frank Redig,
Wioletta M. Ruszel,
Ellen Saada
Abstract:
We prove that the Abelian sandpile model on a random binary and binomial tree, as introduced in \cite{rrs}, is not critical for all branching probabilities $p<1$; by estimating the tail of the annealed survival time of a random walk on the binary tree with randomly placed traps, we obtain some more information about the exponential tail of the avalanche radius. Next we study the sandpile model on…
▽ More
We prove that the Abelian sandpile model on a random binary and binomial tree, as introduced in \cite{rrs}, is not critical for all branching probabilities $p<1$; by estimating the tail of the annealed survival time of a random walk on the binary tree with randomly placed traps, we obtain some more information about the exponential tail of the avalanche radius. Next we study the sandpile model on $\mathbb{Z}^d$ with some additional dissipative sites: we provide examples and sufficient conditions for non-criticality; we also make a connection with the parabolic Anderson model. Finally we initiate the study of the sandpile model with both sources and sinks and give a sufficient condition for non-criticality in the presence of a finite number of sources, using a connection with the homogeneous pinning model.
△ Less
Submitted 30 October, 2019; v1 submitted 18 December, 2017;
originally announced December 2017.
-
Contour methods for long-range Ising models: weakening nearest-neighbor interactions and adding decaying fields
Authors:
Rodrigo Bissacot,
Eric O. Endo,
Aernout C. D. van Enter,
Bruno Kimura,
Wioletta M. Ruszel
Abstract:
We consider ferromagnetic long-range Ising models which display phase transitions. They are long-range one-dimensional Ising ferromagnets, in which the interaction is given by $J_{x,y} = J(|x-y|)\equiv \frac{1}{|x-y|^{2-α}}$ with $α\in [0, 1)$, in particular, $J(1)=1$. For this class of models one way in which one can prove the phase transition is via a kind of Peierls contour argument, using the…
▽ More
We consider ferromagnetic long-range Ising models which display phase transitions. They are long-range one-dimensional Ising ferromagnets, in which the interaction is given by $J_{x,y} = J(|x-y|)\equiv \frac{1}{|x-y|^{2-α}}$ with $α\in [0, 1)$, in particular, $J(1)=1$. For this class of models one way in which one can prove the phase transition is via a kind of Peierls contour argument, using the adaptation of the Fröhlich-Spencer contours for $α\neq 0$, proposed by Cassandro, Ferrari, Merola and Presutti. As proved by Fröhlich and Spencer for $α=0$ and conjectured by Cassandro et al for the region they could treat, $α\in (0,α_{+})$ for $α_+=\log(3)/\log(2)-1$, although in the literature dealing with contour methods for these models it is generally assumed that $J(1)\gg1$, we can show that this condition can be removed in the contour analysis. In addition, combining our theorem with a recent result of Littin and Picco we prove the persistence of the contour proof of the phase transition for any $α\in [0,1)$. Moreover, we show that when we add a magnetic field decaying to zero, given by $h_x= h_*\cdot(1+|x|)^{-γ}$ and $γ>\max\{1-α, 1-α^* \}$ where $α^*\approx 0.2714$, the transition still persists.
△ Less
Submitted 11 July, 2018; v1 submitted 9 October, 2017;
originally announced October 2017.
-
Dyson models under renormalization and in weak fields
Authors:
R. Bissacot,
E. O. Endo,
A. C. D. van Enter,
B. Kimura,
A. Le Ny,
W. M. Ruszel
Abstract:
We consider one-dimensional long-range spin models (usually called Dyson models), consisting of Ising ferromagnets with slowly decaying long-range pair potentials of the form $\frac{1}{|i-j|^α}$ mainly focusing on the range of slow decays $1 < α\leq 2$. We describe two recent results, one about renormalization and one about the effect of external fields at low temperature. The first result states…
▽ More
We consider one-dimensional long-range spin models (usually called Dyson models), consisting of Ising ferromagnets with slowly decaying long-range pair potentials of the form $\frac{1}{|i-j|^α}$ mainly focusing on the range of slow decays $1 < α\leq 2$. We describe two recent results, one about renormalization and one about the effect of external fields at low temperature. The first result states that a decimated long-range Gibbs measure in one dimension becomes non-Gibbsian, in the same vein as comparable results in higher dimensions for short-range models. The second result addresses the behaviour of such models under inhomogeneous fields, in particular external fields which decay to zero polynomially as $(|i|+1)^{- γ}$. We study how the critical decay power of the field, $γ$, for which the phase transition persists and the decay power $α$ of the Dyson model compare, extending recent results for short-range models on lattices and on trees. We also briefly point out some analogies between these results.
△ Less
Submitted 9 February, 2017;
originally announced February 2017.
-
Effect of self-interaction on the phase diagram of a Gibbs-like measure derived by a reversible Probabilistic Cellular Automata
Authors:
Emilio N. M. Cirillo,
P. -Y. Louis,
W. M. Ruszel,
C. Spitoni
Abstract:
Cellular Automata are discrete-time dynamical systems on a spatially extended discrete space which provide paradigmatic examples of nonlinear phenomena. Their stochastic generalizations, i.e., Probabilistic Cellular Automata (PCA), are discrete time Markov chains on lattice with finite single-cell states whose distinguishing feature is the \emph{parallel} character of the updating rule. We study t…
▽ More
Cellular Automata are discrete-time dynamical systems on a spatially extended discrete space which provide paradigmatic examples of nonlinear phenomena. Their stochastic generalizations, i.e., Probabilistic Cellular Automata (PCA), are discrete time Markov chains on lattice with finite single-cell states whose distinguishing feature is the \emph{parallel} character of the updating rule. We study the ground states of the Hamiltonian and the low-temperature phase diagram of the related Gibbs measure naturally associated with a class of reversible PCA, called the \textit{cross PCA}. In such a model the updating rule of a cell depends indeed only on the status of the five cells forming a cross centered at the original cell itself. In particular, it depends on the value of the center spin (\textit{self-interaction}). The goal of the paper is that of investigating the role played by the self-interaction parameter in connection with the ground states of the Hamiltonian and the low-temperature phase diagram of the Gibbs measure associated with this particular PCA.
△ Less
Submitted 27 November, 2013; v1 submitted 31 July, 2013;
originally announced July 2013.
-
Gibbs-non-Gibbs properties for n-vector lattice and mean-field models
Authors:
A. C. D. van Enter,
C. Kuelske,
A. A. Opoku,
W. M. Ruszel
Abstract:
We review some recent developments in the study of Gibbs and non-Gibbs properties of transformed n-vector lattice and mean-field models under various transformations. Also, some new results for the loss and recovery of the Gibbs property of planar rotor models during stochastic time evolution are presented.
We review some recent developments in the study of Gibbs and non-Gibbs properties of transformed n-vector lattice and mean-field models under various transformations. Also, some new results for the loss and recovery of the Gibbs property of planar rotor models during stochastic time evolution are presented.
△ Less
Submitted 9 December, 2008;
originally announced December 2008.
-
Loss and Recovery of Gibbsianness for XY models in external fields
Authors:
A. C. D. van Enter,
W. M. Ruszel
Abstract:
We consider planar rotors (XY spins) in $\mathbb{Z}^d$, starting from an initial Gibbs measure and evolving with infinite-temperature stochastic (diffusive) dynamics. At intermediate times, if the system starts at low temperature, Gibbsianness can be lost. Due to the influence of the external initial field, Gibbsianness can be recovered after large finite times. We prove some results supporting…
▽ More
We consider planar rotors (XY spins) in $\mathbb{Z}^d$, starting from an initial Gibbs measure and evolving with infinite-temperature stochastic (diffusive) dynamics. At intermediate times, if the system starts at low temperature, Gibbsianness can be lost. Due to the influence of the external initial field, Gibbsianness can be recovered after large finite times. We prove some results supporting this picture.
△ Less
Submitted 29 August, 2008;
originally announced August 2008.
-
Gibbsianness versus Non-Gibbsianness of time-evolved planar rotor models
Authors:
A. C. D. van Enter,
W. M. Ruszel
Abstract:
We study the Gibbsian character of time-evolved planar rotor systems on Z^d, d at least 2, in the transient regime, evolving with stochastic dynamics and starting with an initial Gibbs measure. We model the system by interacting Brownian diffusions, moving on circles. We prove that for small times and arbitrary initial Gibbs measures ν, or for long times and both high- or infinite-temperature me…
▽ More
We study the Gibbsian character of time-evolved planar rotor systems on Z^d, d at least 2, in the transient regime, evolving with stochastic dynamics and starting with an initial Gibbs measure. We model the system by interacting Brownian diffusions, moving on circles. We prove that for small times and arbitrary initial Gibbs measures ν, or for long times and both high- or infinite-temperature measure and dynamics, the evolved measure ν^t stays Gibbsian. Furthermore we show that for a low-temperature initial measure ν, evolving under infinite-temperature dynamics thee is a time interval (t_0, t_1) such that ν^t fails to be Gibbsian in d=2.
△ Less
Submitted 22 November, 2007;
originally announced November 2007.
-
Chaotic temperature dependence at zero temperature
Authors:
A. C. D. van Enter,
W. M. Ruszel
Abstract:
We present a class of examples of nearest-neighbour, boubded-spin models, in which the low-temperature Gibbs measures do not converge as the temperature is lowered to zero, in any dimension.
We present a class of examples of nearest-neighbour, boubded-spin models, in which the low-temperature Gibbs measures do not converge as the temperature is lowered to zero, in any dimension.
△ Less
Submitted 8 September, 2006;
originally announced September 2006.