-
A priori bounds for 2-d generalised Parabolic Anderson Model
Authors:
Ajay Chandra,
Guilherme de Lima Feltes,
Hendrik Weber
Abstract:
We show a priori bounds for solutions to $(\partial_t - Δ) u = σ(u) ξ$ in finite volume in the framework of Hairer's Regularity Structures [Invent Math 198:269--504, 2014]. We assume $σ\in C_b^2 (\mathbb{R})$ and that $ξ$ is of negative Hölder regularity of order $- 1 - κ$ where $κ< \barκ$ for an explicit $\barκ< 1/3$, and that it can be lifted to a model in the sense of Regularity Structures. Our…
▽ More
We show a priori bounds for solutions to $(\partial_t - Δ) u = σ(u) ξ$ in finite volume in the framework of Hairer's Regularity Structures [Invent Math 198:269--504, 2014]. We assume $σ\in C_b^2 (\mathbb{R})$ and that $ξ$ is of negative Hölder regularity of order $- 1 - κ$ where $κ< \barκ$ for an explicit $\barκ< 1/3$, and that it can be lifted to a model in the sense of Regularity Structures. Our main results guarantee non-explosion of the solution in finite time and a growth which is at most polynomial in $t > 0$. Our estimates imply global well-posedness for the 2-d generalised parabolic Anderson model on the torus, as well as for the parabolic quantisation of the Sine-Gordon Euclidean Quantum Field Theory (EQFT) on the torus in the regime $β^2 \in (4 π, (1 + \barκ) 4 π)$. We also consider the parabolic quantisation of a massive Sine-Gordon EQFT and derive estimates that imply the existence of the measure for the same range of $β$. Finally, our estimates apply to Itô SPDEs in the sense of Da Prato-Zabczyk [Stochastic Equations in Infinite Dimensions, Enc. Math. App., Cambridge Univ. Press, 1992] and imply existence of a stochastic flow beyond the trace-class regime.
△ Less
Submitted 8 February, 2024;
originally announced February 2024.
-
Phase transition for invariant measures of the focusing Schrödinger equation
Authors:
Leonardo Tolomeo,
Hendrik Weber
Abstract:
We consider the Gibbs measure for the focusing nonlinear Schrödinger equation on the one-dimensional torus $\mathbb T$, that was introduced in a seminal paper by Lebowitz, Rose and Speer (1988). We show that in the large torus limit, the measure exhibits a phase transition, depending on the size of the nonlinearity. This phase transition was originally conjectured on the basis of numerical simulat…
▽ More
We consider the Gibbs measure for the focusing nonlinear Schrödinger equation on the one-dimensional torus $\mathbb T$, that was introduced in a seminal paper by Lebowitz, Rose and Speer (1988). We show that in the large torus limit, the measure exhibits a phase transition, depending on the size of the nonlinearity. This phase transition was originally conjectured on the basis of numerical simulation by Lebowitz, Rose and Speer (1988). Its existence is however striking in view of a series of negative results by McKean (1995) and Rider (2002).
△ Less
Submitted 6 June, 2024; v1 submitted 13 June, 2023;
originally announced June 2023.
-
Martingale-driven integrals and singular SPDEs
Authors:
Paolo Grazieschi,
Konstantin Matetski,
Hendrik Weber
Abstract:
We consider multiple stochastic integrals with respect to càdlàg martingales, which approximate a cylindrical Wiener process. We define a chaos expansion, analogous to the case of multiple Wiener stochastic integrals, for these integrals and use it to show moment bounds. Key tools include an iteration of the Burkholder-Davis-Gundy inequality and a multi-scale decomposition similar to the one devel…
▽ More
We consider multiple stochastic integrals with respect to càdlàg martingales, which approximate a cylindrical Wiener process. We define a chaos expansion, analogous to the case of multiple Wiener stochastic integrals, for these integrals and use it to show moment bounds. Key tools include an iteration of the Burkholder-Davis-Gundy inequality and a multi-scale decomposition similar to the one developed in arXiv:1512.07845. Our method can be combined with the recently developed discretisation framework for regularity structures arXiv:1511.06937, arXiv:1705.02836 to prove convergence of interacting particle systems to singular stochastic PDEs. A companion article titled "The dynamical Ising-Kac model in 3D converges to $Φ^4_3$" applies the results of this paper to prove convergence of a rescaled Glauber dynamics for the three-dimensional Ising-Kac model near criticality to the $Φ^4_3$ dynamics on a torus.
△ Less
Submitted 25 July, 2023; v1 submitted 17 March, 2023;
originally announced March 2023.
-
The dynamical Ising-Kac model in 3D converges to $Φ^4_3$
Authors:
Paolo Grazieschi,
Konstantin Matetski,
Hendrik Weber
Abstract:
We consider the Glauber dynamics of a ferromagnetic Ising-Kac model on a three-dimensional periodic lattice of size $(2N + 1)3$, in which the flip** rate of each spin depends on an average field in a large neighborhood of radius $\frac1γ<< N$. We study the random fluctuations of a suitably rescaled coarse-grained spin field as $N \to \infty$ and $γ\to 0$; we show that near the mean-field value o…
▽ More
We consider the Glauber dynamics of a ferromagnetic Ising-Kac model on a three-dimensional periodic lattice of size $(2N + 1)3$, in which the flip** rate of each spin depends on an average field in a large neighborhood of radius $\frac1γ<< N$. We study the random fluctuations of a suitably rescaled coarse-grained spin field as $N \to \infty$ and $γ\to 0$; we show that near the mean-field value of the critical temperature, the process converges in distribution to the solution of the dynamical $Φ^4_3$ model on a torus. Our result settles a conjectured from Giacomin, Lebowitz and Presutti (DOI:10.1090/SURV/064/03). The dynamical $Φ^4_3$ model is given by a non-linear stochastic partial differential equation (SPDE) which is driven by an additive space-time white noise and which requires renormalisation of the non-linearity. A rigorous notion of solution for this SPDE and its renormalisation is provided by the framework of regularity structures arXiv:1303.5113. As in the two-dimensional case arXiv:1410.1179, the renormalisation corresponds to a small shift of the inverse temperature of the discrete system away from its mean-field value.
△ Less
Submitted 25 July, 2023; v1 submitted 17 March, 2023;
originally announced March 2023.
-
Brownian particle in the curl of 2-d stochastic heat equations
Authors:
Guilherme L. Feltes,
Hendrik Weber
Abstract:
We study the long time behaviour of a Brownian particle evolving in a dynamic random environment. Recently, [G. Cannizzaro, L. Haunschmid-Sibitz, F. Toninelli, preprint arXiv:2106.06264] proved sharp $\sqrt{log}$-super diffusive bounds for a Brownian particle in the curl of (a regularisation of) the 2-d Gaussian Free Field (GFF) $\underlineω$. We consider a one parameter family of Markovian and Ga…
▽ More
We study the long time behaviour of a Brownian particle evolving in a dynamic random environment. Recently, [G. Cannizzaro, L. Haunschmid-Sibitz, F. Toninelli, preprint arXiv:2106.06264] proved sharp $\sqrt{log}$-super diffusive bounds for a Brownian particle in the curl of (a regularisation of) the 2-d Gaussian Free Field (GFF) $\underlineω$. We consider a one parameter family of Markovian and Gaussian dynamic environments which are reversible with respect to the law of $\underlineω$. Adapting their method, we show that if $s\ge1$, with $s=1$ corresponding to the standard stochastic heat equation, then the particle stays $\sqrt{log}$-super diffusive, whereas if $s<1$, corresponding to a fractional heat equation, then the particle becomes diffusive. In fact, for $s<1$, we show that this is a particular case of [T. Komorowski, S. Olla, J. Func. Anal., 2003], which yields an invariance principle through a Sector Condition result. Our main results agree with the Alder-Wainwright scaling argument (see [B. Alder, T. Wainright, Phys. Rev. Lett. 1967]) used originally in [B. Tóth, B. Valkó, J. Stat. Phys., 2012] to predict the $\log$-corrections to diffusivity. We also provide examples which display $log^a$-super diffusive behaviour for $a\in(0,1/2]$.
△ Less
Submitted 3 November, 2022;
originally announced November 2022.
-
Lattice uniformities inducing unbounded convergence
Authors:
Kevin Abela,
Emmanuel Chetcuti,
Hans Weber
Abstract:
A net $(x_γ)_{γ\inΓ}$ in a locally solid Riesz space $(X,τ)$ is said to be unbounded $τ$-convergent to $x$ if $|x_γ-x|\wedge u\mathop{\oversetτ{\longrightarrow}} 0$ for all $u\in X_+$. We recall that there is a locally solid linear topology $\mathfrak{u}τ$ on $X$ such that unbounded $τ$-convergence coincides with $\mathfrak{u}τ$-convergence, and moreover, $\mathfrak{u}τ$ is characterised as the we…
▽ More
A net $(x_γ)_{γ\inΓ}$ in a locally solid Riesz space $(X,τ)$ is said to be unbounded $τ$-convergent to $x$ if $|x_γ-x|\wedge u\mathop{\oversetτ{\longrightarrow}} 0$ for all $u\in X_+$. We recall that there is a locally solid linear topology $\mathfrak{u}τ$ on $X$ such that unbounded $τ$-convergence coincides with $\mathfrak{u}τ$-convergence, and moreover, $\mathfrak{u}τ$ is characterised as the weakest locally solid linear topology which coincides with $τ$ on all order bounded subsets. It is with this motivation that we introduce, for a uniform lattice $(L,u)$, the weakest lattice uniformity $u^\ast$ on $L$ that coincides with $u$ on all the order bounded subsets of $L$. It is shown that if $u$ is the uniformity induced by the topology of a locally solid Riesz space $(X,τ)$, then the $u^*$-topology coincides with $\mathfrak{u}τ$. This allows comparing the results of this paper with earlier results on unbounded $τ$-convergence. It will be seen that despite the fact that in the setup of uniform lattices most of the machinery used in the techniques of [M. A. Taylor 2019: Unbounded topologies and uo-convergence in locally solid vector spaces, J. Math. Anal. Appl. \bf{472} no.1, 981--1000] is lacking, the concept of `unbounded convergence' well fittingly generalizes to uniform lattices. We shall also answer Questions 2.13, 3.3, 5.10 of [M. A. Taylor 2019: Unbounded topologies and uo-convergence in locally solid vector spaces, J. Math. Anal. Appl. \bf{472} no.1, 981--1000] and Question 18.51 of [M. A. Taylor 2018: Unbounded convergence in vector lattices, Thesis University of Alberta].
△ Less
Submitted 20 September, 2022;
originally announced September 2022.
-
Optimal regularity in time and space for stochastic porous medium equations
Authors:
Stefano Bruno,
Benjamin Gess,
Hendrik Weber
Abstract:
We prove optimal regularity estimates in Sobolev spaces in time and space for solutions to stochastic porous medium equations. The noise term considered here is multiplicative, white in time and coloured in space. The coefficients are assumed to be Hölder continuous and the cases of smooth coefficients of at most linear growth as well as $\sqrt{u}$ are covered by our assumptions. The regularity ob…
▽ More
We prove optimal regularity estimates in Sobolev spaces in time and space for solutions to stochastic porous medium equations. The noise term considered here is multiplicative, white in time and coloured in space. The coefficients are assumed to be Hölder continuous and the cases of smooth coefficients of at most linear growth as well as $\sqrt{u}$ are covered by our assumptions. The regularity obtained is consistent with the optimal regularity derived for the deterministic porous medium equation in [Gess 2020] and [Gess, Sauer, Tadmor 2020] and the presence of the temporal white noise. The proof relies on a significant adaptation of velocity averaging techniques from their usual $L^1$ context to the natural $L^2$ setting of the stochastic case. We introduce a new mixed kinetic/mild representation of solutions to quasilinear SPDE and use $L^2$ based a priori bounds to treat the stochastic term.
△ Less
Submitted 9 May, 2022; v1 submitted 4 October, 2021;
originally announced October 2021.
-
Feature Engineering with Regularity Structures
Authors:
Ilya Chevyrev,
Andris Gerasimovics,
Hendrik Weber
Abstract:
We investigate the use of models from the theory of regularity structures as features in machine learning tasks. A model is a polynomial function of a space-time signal designed to well-approximate solutions to partial differential equations (PDEs), even in low regularity regimes. Models can be seen as natural multi-dimensional generalisations of signatures of paths; our work therefore aims to ext…
▽ More
We investigate the use of models from the theory of regularity structures as features in machine learning tasks. A model is a polynomial function of a space-time signal designed to well-approximate solutions to partial differential equations (PDEs), even in low regularity regimes. Models can be seen as natural multi-dimensional generalisations of signatures of paths; our work therefore aims to extend the recent use of signatures in data science beyond the context of time-ordered data. We provide a flexible definition of a model feature vector associated to a space-time signal, along with two algorithms which illustrate ways in which these features can be combined with linear regression. We apply these algorithms in several numerical experiments designed to learn solutions to PDEs with a given forcing and boundary data. Our experiments include semi-linear parabolic and wave equations with forcing, and Burgers' equation with no forcing. We find an advantage in favour of our algorithms when compared to several alternative methods. Additionally, in the experiment with Burgers' equation, we find non-trivial predictive power when noise is added to the observations.
△ Less
Submitted 21 November, 2023; v1 submitted 12 August, 2021;
originally announced August 2021.
-
A priori bounds for quasi-linear SPDEs in the full sub-critical regime
Authors:
Felix Otto,
Jonas Sauer,
Scott Smith,
Hendrik Weber
Abstract:
This paper is concerned with quasi-linear parabolic equations driven by an additive forcing $ξ\in C^{α-2}$, in the full sub-critical regime $α\in (0,1)$. We are inspired by Hairer's regularity structures, however we work with a more parsimonious model indexed by multi-indices rather than trees. This allows us to capture additional symmetries which play a crucial role in our analysis. Assuming boun…
▽ More
This paper is concerned with quasi-linear parabolic equations driven by an additive forcing $ξ\in C^{α-2}$, in the full sub-critical regime $α\in (0,1)$. We are inspired by Hairer's regularity structures, however we work with a more parsimonious model indexed by multi-indices rather than trees. This allows us to capture additional symmetries which play a crucial role in our analysis. Assuming bounds on this model, which is modified in agreement with the concept of algebraic renormalization, we prove local a priori estimates on solutions to the quasi-linear equations modified by the corresponding counter terms.
△ Less
Submitted 26 March, 2024; v1 submitted 19 March, 2021;
originally announced March 2021.
-
On different modes of order convergence and some applications
Authors:
Kevin Abela,
Emmanuel Chetcuti,
Hans Weber
Abstract:
Different notions for order convergence have been considered by various authors. Associated to every notion of order convergence corresponds a topology, defined by taking as the closed sets those subsets of the poset satisfying that no net in them order converges to a point that is outside of the set. We shall give a thorough overview of these different notions and provide a systematic comparison…
▽ More
Different notions for order convergence have been considered by various authors. Associated to every notion of order convergence corresponds a topology, defined by taking as the closed sets those subsets of the poset satisfying that no net in them order converges to a point that is outside of the set. We shall give a thorough overview of these different notions and provide a systematic comparison of the associated topologies. Then, in the last section we shall give an application of this study by giving a result on von Neumann algebras complementing the study started in \cite{ChHaWe}. We show that for every atomic von Neumann algebra (not necessarily $σ$-finite) the restriction of the order topology to bounded parts of $M$ coincides with the restriction of the $σ$-strong topology $s(M,M_\ast)$. We recall that the methods of \cite{ChHaWe} rest heavily on the assumption of $σ$-finiteness. Further to this, for a semi-finite measure space, we shall give a complete picture of the relations between the topologies on $L^\infty$ associated with the duality $\langle L^1, L^\infty\rangle$ and its order topology.
△ Less
Submitted 26 December, 2020;
originally announced December 2020.
-
A priori bounds for rough differential equations with a non-linear dam** term
Authors:
Timothee Bonnefoi,
Ajay Chandra,
Augustin Moinat,
Hendrik Weber
Abstract:
We consider a rough differential equation with a non-linear dam** drift term: \begin{align*} dY(t) = - |Y|^{m-1} Y(t) dt + σ(Y(t)) dX(t), \end{align*} where $X$ is a branched rough path of arbitrary regularity $α>0$, $m>1$ and where $σ$ is smooth and satisfies an $m$ and $α$-dependent growth property. We show a strong a priori bound for $Y$, which includes the "coming down from infinity" propert…
▽ More
We consider a rough differential equation with a non-linear dam** drift term: \begin{align*} dY(t) = - |Y|^{m-1} Y(t) dt + σ(Y(t)) dX(t), \end{align*} where $X$ is a branched rough path of arbitrary regularity $α>0$, $m>1$ and where $σ$ is smooth and satisfies an $m$ and $α$-dependent growth property. We show a strong a priori bound for $Y$, which includes the "coming down from infinity" property, i.e. the bound on $Y(t)$ for a fixed $t>0$ holds uniformly over all choices of initial datum $Y(0)$. The method of proof builds on recent work by Chandra, Moinat and Weber on a priori bounds for the $φ^4$ SPDE in arbitrary subcritical dimension. A key new ingredient is an extension of the algebraic framework which permits to derive an estimate on higher order conditions of a coherent controlled rough path in terms of the regularity condition at lowest level.
△ Less
Submitted 4 March, 2022; v1 submitted 12 November, 2020;
originally announced November 2020.
-
Phase transitions for $φ^4_3$
Authors:
Ajay Chandra,
Trishen S. Gunaratnam,
Hendrik Weber
Abstract:
We establish a surface order large deviation estimate for the magnetisation of low temperature $φ^4_3$. As a byproduct, we obtain a decay of spectral gap for its Glauber dynamics given by the $φ^4_3$ singular stochastic PDE. Our main technical contributions are contour bounds for $φ^4_3$, which extends 2D results by Glimm, Jaffe, and Spencer (1975). We adapt an argument by Bodineau, Velenik, and I…
▽ More
We establish a surface order large deviation estimate for the magnetisation of low temperature $φ^4_3$. As a byproduct, we obtain a decay of spectral gap for its Glauber dynamics given by the $φ^4_3$ singular stochastic PDE. Our main technical contributions are contour bounds for $φ^4_3$, which extends 2D results by Glimm, Jaffe, and Spencer (1975). We adapt an argument by Bodineau, Velenik, and Ioffe (2000) to use these contour bounds to study phase segregation. The main challenge to obtain the contour bounds is to handle the ultraviolet divergences of $φ^4_3$ whilst preserving the structure of the low temperature potential. To do this, we build on the variational approach to ultraviolet stability for $φ^4_3$ developed recently by Barashkov and Gubinelli (2019).
△ Less
Submitted 20 August, 2020; v1 submitted 29 June, 2020;
originally announced June 2020.
-
A priori bounds for the $Φ^4$ equation in the full sub-critical regime
Authors:
Ajay Chandra,
Augustin Moinat,
Hendrik Weber
Abstract:
We derive a priori bounds for the $Φ^4$ equation in the full sub-critical regime using Hairer's theory of regularity structures. The equation is formally given by \begin{equation} \label{e}(\partial_t-Δ)φ= -φ^3 + \infty φ+ξ, \tag{$\star$} \end{equation} where the term $+\infty φ$ represents infinite terms that have to be removed in a renormalisation procedure. We emulate fractional dimensions…
▽ More
We derive a priori bounds for the $Φ^4$ equation in the full sub-critical regime using Hairer's theory of regularity structures. The equation is formally given by \begin{equation} \label{e}(\partial_t-Δ)φ= -φ^3 + \infty φ+ξ, \tag{$\star$} \end{equation} where the term $+\infty φ$ represents infinite terms that have to be removed in a renormalisation procedure. We emulate fractional dimensions $d<4$ by adjusting the regularity of the noise term $ξ$, choosing $ξ\in C^{-3+δ}$. Our main result states that if $φ$ satisfies this equation on a space-time cylinder $P= (0,1) \times \{ |x| \leq 1 \}$, then away from the boundary $\partial P$ the solution $φ$ can be bounded in terms of a finite number of explicit polynomial expressions in $ξ$, and this bound holds uniformly over all possible choices of boundary data for $φ$. The derivation of this bound makes full use of the super-linear dam** effect of the non-linear term $-φ^3$. A key part of our analysis consists of an appropriate re-formulation of the theory of regularity structures in the specific context of \eqref{e}, which allows to couple the small scale control one obtains from this theory with a suitable large scale argument. Along the way we make several new observations and simplifications. Instead of a model $(Π_x)_x$ and the family of translation operators $(Γ_{x,y})_{x,y}$ we work with just a single object $(\mathbb{X}_{x, y})$ which acts on itself for translations, very much in the spirit of Gubinelli's theory of branched rough paths. Furthermore, we show that in the specific context of \eqref{e} the hierarchy of continuity conditions which constitute Hairer's definition of a \emph{modelled distribution} can be reduced to the single continuity condition on the "coefficient on the constant level".
△ Less
Submitted 4 December, 2019; v1 submitted 30 October, 2019;
originally announced October 2019.
-
Order topology on orthocomplemented posets of linear subspaces of a pre-Hilbert space
Authors:
David Buhagiar,
Emmanuel Chetcuti,
Hans Weber
Abstract:
Motivated by the Hilbert-space model for quantum mechanics, we define a pre-Hilbert space logic to be a pair $(S,\el)$, where $S$ is a pre-Hilbert space and $\el$ is an orthocomplemented poset of orthogonally closed linear subspaces of $S$, closed w.r.t. finite dimensional perturbations, (i.e. if $M\in\el$ and $F$ is a finite dimensional linear subspace of $S$, then $M+F\in \el$). We study the ord…
▽ More
Motivated by the Hilbert-space model for quantum mechanics, we define a pre-Hilbert space logic to be a pair $(S,\el)$, where $S$ is a pre-Hilbert space and $\el$ is an orthocomplemented poset of orthogonally closed linear subspaces of $S$, closed w.r.t. finite dimensional perturbations, (i.e. if $M\in\el$ and $F$ is a finite dimensional linear subspace of $S$, then $M+F\in \el$). We study the order topology $τ_o(\el)$ on $\el$ and show that completeness of $S$ can by characterized by the separation properties of the topological space $(\el,τ_o(\el))$. It will be seen that the remarkable lack of a proper probability-theory on pre-Hilbert space logics -- for an incomplete $S$ -- comes out elementarily from this topological characterization.
△ Less
Submitted 10 December, 2018;
originally announced December 2018.
-
Space-time localisation for the dynamic $Φ^4_3$ model
Authors:
Augustin Moinat,
Hendrik Weber
Abstract:
We prove an a priori bound for solutions of the dynamic $Φ^4_3$ equation. This bound provides a control on solutions on a compact space-time set only in terms of the realisation of the noise on an enlargement of this set, and it does not depend on any choice of space-time boundary conditions.
We treat the large and small scale behaviour of solutions with completely different arguments. For small…
▽ More
We prove an a priori bound for solutions of the dynamic $Φ^4_3$ equation. This bound provides a control on solutions on a compact space-time set only in terms of the realisation of the noise on an enlargement of this set, and it does not depend on any choice of space-time boundary conditions.
We treat the large and small scale behaviour of solutions with completely different arguments. For small scales we use bounds akin to those presented in Hairer's theory of regularity structures. We stress immediately that our proof is fully self-contained, but we give a detailed explanation of how our arguments relate to Hairer's. For large scales we use a PDE argument based on the maximum principle. Both regimes are connected by a solution-dependent regularisation procedure.
The fact that our bounds do not depend on space-time boundary conditions makes them useful for the analysis of large scale properties of solutions. They can for example be used in a compactness argument to construct solutions on the full space and their invariant measures.
△ Less
Submitted 14 November, 2018;
originally announced November 2018.
-
Local bounds for stochastic reaction diffusion equations
Authors:
Augustin Moinat,
Hendrik Weber
Abstract:
We prove a priori bounds for solutions of stochastic reaction diffusion equations with super-linear dam** in the reaction term. These bounds provide a control on the supremum of solutions on any compact space-time set which only depends on the specific realisation of the noise on a slightly larger set and which holds uniformly over all possible space-time boundary values. This constitutes a spac…
▽ More
We prove a priori bounds for solutions of stochastic reaction diffusion equations with super-linear dam** in the reaction term. These bounds provide a control on the supremum of solutions on any compact space-time set which only depends on the specific realisation of the noise on a slightly larger set and which holds uniformly over all possible space-time boundary values. This constitutes a space-time version of the so-called 'coming down from infinity' property. Bounds of this type are very useful to control the large scale behaviour of solutions effectively and can be used, for example, to construct solutions on the full space even if the driving noise term has no decay at infinity.
Our method shows the interplay of the large scale behaviour, dictated by the non-linearity, and the small scale oscillations, dictated by the rough driving noise. As a by-product we show that there is a close relation between the regularity of the driving noise term and the integrability of solutions.
△ Less
Submitted 21 September, 2018; v1 submitted 30 August, 2018;
originally announced August 2018.
-
Exponential loss of memory for the 2-dimensional Allen-Cahn equation with small noise
Authors:
Pavlos Tsatsoulis,
Hendrik Weber
Abstract:
We prove an asymptotic coupling theorem for the $2$-dimensional Allen--Cahn equation perturbed by a small space-time white noise. We show that with overwhelming probability two profiles that start close to the minimisers of the potential of the deterministic system contract exponentially fast in a suitable topology. In the $1$-dimensional case a similar result was shown in \cite{MS88,MOS89}.
It…
▽ More
We prove an asymptotic coupling theorem for the $2$-dimensional Allen--Cahn equation perturbed by a small space-time white noise. We show that with overwhelming probability two profiles that start close to the minimisers of the potential of the deterministic system contract exponentially fast in a suitable topology. In the $1$-dimensional case a similar result was shown in \cite{MS88,MOS89}.
It is well-known that in more than one dimension solutions of this equation are distribution-valued, and the equation has to be interpreted in a renormalised sense. Formally, this renormalisation corresponds to moving the minima of the potential infinitely far apart and making them infinitely deep. We show that despite this renormalisation, solutions behave like perturbations of the deterministic system without renormalisation: they spend large stretches of time close to the minimisers of the (un-renormalised) potential and the exponential contraction rate of different profiles is given by the second derivative of the potential in these points.
As an application we prove an Eyring--Kramers law for the transition times between the stable solutions of the deterministic system for fixed initial conditions.
△ Less
Submitted 13 August, 2018;
originally announced August 2018.
-
Quasi-invariant Gaussian measures for the nonlinear wave equation in three dimensions
Authors:
Trishen S. Gunaratnam,
Tadahiro Oh,
Nikolay Tzvetkov,
Hendrik Weber
Abstract:
We prove quasi-invariance of Gaussian measures supported on Sobolev spaces under the dynamics of the three-dimensional defocusing cubic nonlinear wave equation. As in the previous work on the two-dimensional case, we employ a simultaneous renormalization on the energy functional and its time derivative. Two new ingredients in the three-dimensional case are (i) the construction of the weighted Gaus…
▽ More
We prove quasi-invariance of Gaussian measures supported on Sobolev spaces under the dynamics of the three-dimensional defocusing cubic nonlinear wave equation. As in the previous work on the two-dimensional case, we employ a simultaneous renormalization on the energy functional and its time derivative. Two new ingredients in the three-dimensional case are (i) the construction of the weighted Gaussian measures, based on a variational formula for the partition function inspired by Barashkov and Gubinelli (2018), and (ii) an improved argument in controlling the growth of the truncated weighted Gaussian measures, where we combine a deterministic growth bound of solutions with stochastic estimates on random distributions.
△ Less
Submitted 27 July, 2021; v1 submitted 9 August, 2018;
originally announced August 2018.
-
Complementary Polynomials From Rodrigues' Representations For Confluent And Hypergeometric Functions And More
Authors:
H. J. Weber
Abstract:
Complementary polynomials of Legendre polynomials are briefly presented, as well as those for the confluent and hypergeometric functions, relativistic Hermite polynomials and corresponding new pre-Laguerre polynomials. The generating functions are all given in closed form and are much simpler than the standard ones. Some are simply polynomials in two variables. New recursions and addition formulas…
▽ More
Complementary polynomials of Legendre polynomials are briefly presented, as well as those for the confluent and hypergeometric functions, relativistic Hermite polynomials and corresponding new pre-Laguerre polynomials. The generating functions are all given in closed form and are much simpler than the standard ones. Some are simply polynomials in two variables. New recursions and addition formulas are derived.
△ Less
Submitted 28 March, 2018;
originally announced March 2018.
-
Parabolic equations with rough coefficients and singular forcing
Authors:
Felix Otto,
Jonas Sauer,
Scott Smith,
Hendrik Weber
Abstract:
This article focuses on parabolic equations with rough diffusion coefficients which are ill-posed in the classical sense of distributions due to the presence of a singular forcing. Inspired by the philosophy of rough paths and regularity structures, we introduce a notion of modelled distribution which is suitable in this context. We prove two general tools for reconstruction and integration, as we…
▽ More
This article focuses on parabolic equations with rough diffusion coefficients which are ill-posed in the classical sense of distributions due to the presence of a singular forcing. Inspired by the philosophy of rough paths and regularity structures, we introduce a notion of modelled distribution which is suitable in this context. We prove two general tools for reconstruction and integration, as well as a product lemma which is tailor made for the reconstruction of the rough diffusion operator. This yields a partially automated deterministic theory, which we apply to obtain an existence and uniqueness theory for parabolic equations with rough diffusion coefficients and a singular forcing in the negative parabolic Hölder space of order larger than $-\frac{3}{2}$.
△ Less
Submitted 26 March, 2018; v1 submitted 21 March, 2018;
originally announced March 2018.
-
Quasilinear SPDEs in divergence-form
Authors:
Felix Otto,
Hendrik Weber
Abstract:
We develop a solution theory in Hölder spaces for a quasilinear stochastic PDE driven by an additive noise. The key ingredients are two deterministic PDE Lemmas which establish a priori Hölder bounds for an equation with irregular right hand side written in divergence form. We apply these deterministic bounds to the case of a noise term which is white in time and trace class in space to obtain str…
▽ More
We develop a solution theory in Hölder spaces for a quasilinear stochastic PDE driven by an additive noise. The key ingredients are two deterministic PDE Lemmas which establish a priori Hölder bounds for an equation with irregular right hand side written in divergence form. We apply these deterministic bounds to the case of a noise term which is white in time and trace class in space to obtain stretched exponential bounds for the Hölder semi-norms of the solution for the stochastic equation.
△ Less
Submitted 5 July, 2017;
originally announced July 2017.
-
The Schr{ö}dinger equation with spatial white noise potential
Authors:
Arnaud Debussche,
Hendrik Weber
Abstract:
We consider the linear and nonlinear Schr{ö}dinger equation with a spatial white noise as a potential in dimension 2. We prove existence and uniqueness of solutions thanks to a change of unknown originally used in [8] and conserved quantities.
We consider the linear and nonlinear Schr{ö}dinger equation with a spatial white noise as a potential in dimension 2. We prove existence and uniqueness of solutions thanks to a change of unknown originally used in [8] and conserved quantities.
△ Less
Submitted 7 December, 2016;
originally announced December 2016.
-
Gaussian Approximations for Probability Measures on $\mathbf{R}^d$
Authors:
Yulong Lu,
Andrew M. Stuart,
Hendrik Weber
Abstract:
This paper concerns the approximation of probability measures on $\mathbf{R}^d$ with respect to the Kullback-Leibler divergence. Given an admissible target measure, we show the existence of the best approximation, with respect to this divergence, from certain sets of Gaussian measures and Gaussian mixtures. The asymptotic behavior of such best approximations is then studied in the small parameter…
▽ More
This paper concerns the approximation of probability measures on $\mathbf{R}^d$ with respect to the Kullback-Leibler divergence. Given an admissible target measure, we show the existence of the best approximation, with respect to this divergence, from certain sets of Gaussian measures and Gaussian mixtures. The asymptotic behavior of such best approximations is then studied in the small parameter limit where the measure concentrates; this asymptotic behaviour is characterized using $Γ$-convergence. The theory developed is then applied to understanding the frequentist consistency of Bayesian inverse problems. For a fixed realization of noise, we show the asymptotic normality of the posterior measure in the small noise limit. Taking into account the randomness of the noise, we prove a Bernstein-Von Mises type result for the posterior measure.
△ Less
Submitted 23 June, 2017; v1 submitted 25 November, 2016;
originally announced November 2016.
-
Construction of $Φ^4_3$ diagrams for pedestrians
Authors:
Jean-Christophe Mourrat,
Hendrik Weber,
Weijun Xu
Abstract:
We aim to give a pedagogic and essentially self-contained presentation of the construction of various stochastic objects appearing in the dynamical $Φ^4_3$ model. The construction presented here is based on the use of paraproducts. The emphasis is on describing the stochastic objects themselves rather than introducing a solution theory for the equation.
We aim to give a pedagogic and essentially self-contained presentation of the construction of various stochastic objects appearing in the dynamical $Φ^4_3$ model. The construction presented here is based on the use of paraproducts. The emphasis is on describing the stochastic objects themselves rather than introducing a solution theory for the equation.
△ Less
Submitted 5 February, 2017; v1 submitted 27 October, 2016;
originally announced October 2016.
-
Spectral Gap for the Stochastic Quantization Equation on the 2-dimensional Torus
Authors:
Pavlos Tsatsoulis,
Hendrik Weber
Abstract:
We study the long time behavior of the stochastic quantization equation. Extending recent results by Mourrat and Weber we first establish a strong non-linear dissipative bound that gives control of moments of solutions at all positive times independent of the initial datum. We then establish that solutions give rise to a Markov process whose transition semigroup satisfies the strong Feller propert…
▽ More
We study the long time behavior of the stochastic quantization equation. Extending recent results by Mourrat and Weber we first establish a strong non-linear dissipative bound that gives control of moments of solutions at all positive times independent of the initial datum. We then establish that solutions give rise to a Markov process whose transition semigroup satisfies the strong Feller property. Following arguments by Chouk and Friz we also prove a support theorem for the laws of the solutions. Finally all of these results are combined to show that the transition semigroup satisfies the Doeblin criterion which implies exponential convergence to equilibrium.
Along the way we give a simple direct proof of the Markov property of solutions and an independent argument for the existence of an invariant measure using the Krylov-Bogoliubov existence theorem. Our method makes no use of the reversibility of the dynamics or the explicit knowledge of the invariant measure and it is therefore in principle applicable to situations where these are not available, e.g. the vector-valued case.
△ Less
Submitted 27 September, 2016;
originally announced September 2016.
-
Glauber dynamics of 2D Kac-Blume-Capel model and their stochastic PDE limits
Authors:
Hao Shen,
Hendrik Weber
Abstract:
We study the Glauber dynamics of a two dimensional Blume-Capel model (or dilute Ising model) with Kac potential parametrized by $(β,θ)$ - the "inverse temperature" and the "chemical potential". We prove that the locally averaged spin field rescales to the solution of the dynamical $Φ^4$ equation near a curve in the $(β,θ)$ plane and to the solution of the dynamical $Φ^6$ equation near one point on…
▽ More
We study the Glauber dynamics of a two dimensional Blume-Capel model (or dilute Ising model) with Kac potential parametrized by $(β,θ)$ - the "inverse temperature" and the "chemical potential". We prove that the locally averaged spin field rescales to the solution of the dynamical $Φ^4$ equation near a curve in the $(β,θ)$ plane and to the solution of the dynamical $Φ^6$ equation near one point on this curve. Our proof relies on a discrete implementation of Da Prato-Debussche method as in a result by Mourrat-Weber but an additional coupling argument is needed to show convergence of the linearized dynamics.
△ Less
Submitted 2 April, 2018; v1 submitted 23 August, 2016;
originally announced August 2016.
-
Quasilinear SPDEs via rough paths
Authors:
Felix Otto,
Hendrik Weber
Abstract:
We are interested in (uniformly) parabolic PDEs with a nonlinear dependance of the leading-order coefficients, driven by a rough right hand side. For simplicity, we consider a space-time periodic setting with a single spatial variable: \begin{equation*} \partial_2u -P( a(u)\partial_1^2u - σ(u)f ) =0
\end{equation*} where $P$ is the projection on mean-zero functions, and $f$ is a distribution and…
▽ More
We are interested in (uniformly) parabolic PDEs with a nonlinear dependance of the leading-order coefficients, driven by a rough right hand side. For simplicity, we consider a space-time periodic setting with a single spatial variable: \begin{equation*} \partial_2u -P( a(u)\partial_1^2u - σ(u)f ) =0
\end{equation*} where $P$ is the projection on mean-zero functions, and $f$ is a distribution and only controlled in the low regularity norm of $ C^{α-2}$ for $α> \frac{2}{3}$ on the parabolic Hölder scale.
The example we have in mind is a random forcing $f$ and our assumptions allow, for example, for an $f$ which is white in the time variable $x_2$ and only mildly coloured in the space variable $x_1$; any spatial covariance operator $(1 + |\partial_1|)^{-λ_1 }$ with $λ_1 > \frac13$ is admissible.
On the deterministic side we obtain a $C^α$-estimate for $u$, assuming that we control products of the form $v\partial_1^2v$ and $vf$ with $v$ solving the constant-coefficient equation $\partial_2 v-a_0\partial_1^2v=f$. As a consequence, we obtain existence, uniqueness and stability with respect to $(f, vf, v \partial_1^2v)$ of small space-time periodic solutions for small data. We then demonstrate how the required products can be bounded in the case of a random forcing $f$ using stochastic arguments.
For this we extend the treatment of the singular product $σ(u)f$ via a space-time version of Gubinelli's notion of controlled rough paths to the product $a(u)\partial_1^2u$, which has the same degree of singularity but is more nonlinear since the solution $u$ appears in both factors. The PDE ingredient mimics the (kernel-free) Krylov-Safanov approach to ordinary Schauder theory.
△ Less
Submitted 6 November, 2018; v1 submitted 31 May, 2016;
originally announced May 2016.
-
Gaussian approximations for transition paths in Brownian dynamics
Authors:
Yulong Lu,
Andrew M. Stuart,
Hendrik Weber
Abstract:
This paper is concerned with transition paths within the framework of the overdamped Langevin dynamics model of chemical reactions. We aim to give an efficient description of typical transition paths in the small temperature regime. We adopt a variational point of view and seek the best Gaussian approximation, with respect to Kullback-Leibler divergence, of the non-Gaussian distribution of the dif…
▽ More
This paper is concerned with transition paths within the framework of the overdamped Langevin dynamics model of chemical reactions. We aim to give an efficient description of typical transition paths in the small temperature regime. We adopt a variational point of view and seek the best Gaussian approximation, with respect to Kullback-Leibler divergence, of the non-Gaussian distribution of the diffusion process. We interpret the mean of this Gaussian approximation as the "most likely path" and the covariance operator as a means to capture the typical fluctuations around this most likely path.
We give an explicit expression for the Kullback-Leibler divergence in terms of the mean and the covariance operator for a natural class of Gaussian approximations and show the existence of minimisers for the variational problem. Then the low temperature limit is studied via $Γ$-convergence of the associated variational problem. The limiting functional consists of two parts: The first part only depends on the mean and coincides with the $Γ$-limit of the Freidlin-Wentzell rate functional. The second part depends on both, the mean and the covariance operator and is minimized if the dynamics are given by a time-inhomogenous Ornstein-Uhlenbeck process found by linearization of the Langevin dynamics around the Freidlin-Wentzell minimizer.
△ Less
Submitted 26 June, 2017; v1 submitted 22 April, 2016;
originally announced April 2016.
-
An Eyring-Kramers law for the stochastic Allen-Cahn equation in dimension two
Authors:
Nils Berglund,
Giacomo Di Gesù,
Hendrik Weber
Abstract:
We study spectral Galerkin approximations of an Allen--Cahn equation over the two-dimensional torus perturbed by weak space-time white noise of strength $\sqrt{\varepsilon}$. We introduce a Wick renormalisation of the equation in order to have a system that is well-defined as the regularisation is removed. We show sharp upper and lower bounds on the transition times from a neighbourhood of the sta…
▽ More
We study spectral Galerkin approximations of an Allen--Cahn equation over the two-dimensional torus perturbed by weak space-time white noise of strength $\sqrt{\varepsilon}$. We introduce a Wick renormalisation of the equation in order to have a system that is well-defined as the regularisation is removed. We show sharp upper and lower bounds on the transition times from a neighbourhood of the stable configuration $-1$ to the stable configuration $1$ in the asymptotic regime $\varepsilon \to 0$. These estimates are uniform in the discretisation parameter $N$, suggesting an Eyring-Kramers formula for the limiting renormalised stochastic PDE. The effect of the "infinite renormalisation" is to modify the prefactor and to replace the ratio of determinants in the finite-dimensional Eyring-Kramers law by a renormalised Carleman-Fredholm determinant.
△ Less
Submitted 21 January, 2017; v1 submitted 19 April, 2016;
originally announced April 2016.
-
Sample path large deviations for Laplacian models in $(1+1)$-dimensions
Authors:
Stefan Adams,
Alexander Kister,
Hendrik Weber
Abstract:
For Laplacian models in dimension $(1+1)$ we derive sample path large deviations for the profile height function, that is, we study scaling limits of Gaussian integrated random walks and Gaussian integrated random walk bridges perturbed by an attractive force towards the zero-level, called pinning. We study in particular the regime when the rate functions of the corresponding large deviation princ…
▽ More
For Laplacian models in dimension $(1+1)$ we derive sample path large deviations for the profile height function, that is, we study scaling limits of Gaussian integrated random walks and Gaussian integrated random walk bridges perturbed by an attractive force towards the zero-level, called pinning. We study in particular the regime when the rate functions of the corresponding large deviation principles admit more than one minimiser, in our models either two, three, or five minimiser depending on the pinning strength and the boundary conditions. This study complements corresponding large deviation results for gradient systems with pinning for Gaussian random walk bridges in $ (1+1) $-dimension (\cite{FS04}) and in $(1+d) $-dimension (\cite{BFO}), and recently in higher dimensions in \cite{BCF}. In particular it turns out that the Laplacian cases, i.e., integrated random walks, show richer and more complex structures of the minimiser of the rate functions which are linked to different phases.
△ Less
Submitted 25 July, 2016; v1 submitted 6 February, 2016;
originally announced February 2016.
-
The dynamic $Φ^4_3$ model comes down from infinity
Authors:
Jean-Christophe Mourrat,
Hendrik Weber
Abstract:
We prove an a priori bound for the dynamic $Φ^4_3$ model on the torus wich is independent of the initial condition. In particular, this bound rules out the possibility of finite time blow-up of the solution. It also gives a uniform control over solutions at large times, and thus allows to construct invariant measures via the Krylov-Bogoliubov method. It thereby provides a new dynamic construction…
▽ More
We prove an a priori bound for the dynamic $Φ^4_3$ model on the torus wich is independent of the initial condition. In particular, this bound rules out the possibility of finite time blow-up of the solution. It also gives a uniform control over solutions at large times, and thus allows to construct invariant measures via the Krylov-Bogoliubov method. It thereby provides a new dynamic construction of the Euclidean $Φ^4_3$ field theory on finite volume. Our method is based on the local-in-time solution theory developed recently by Gubinelli, Imkeller, Perkowski and Catellier, Chouk. The argument relies entirely on deterministic PDE arguments (such as embeddings of Besov spaces and interpolation), which are combined to derive energy inequalities.
△ Less
Submitted 27 July, 2017; v1 submitted 6 January, 2016;
originally announced January 2016.
-
Stochastic PDEs, Regularity Structures, and Interacting Particle Systems
Authors:
Ajay Chandra,
Hendrik Weber
Abstract:
These lecture notes grew out of a series of lectures given by the second named author in short courses in Toulouse, Matsumoto, and Darmstadt. The main aim is to explain some aspects of the theory of "Regularity structures" developed recently by Hairer in arXiv:1303.5113 . This theory gives a way to study well-posedness for a class of stochastic PDEs that could not be treated previously. Prominent…
▽ More
These lecture notes grew out of a series of lectures given by the second named author in short courses in Toulouse, Matsumoto, and Darmstadt. The main aim is to explain some aspects of the theory of "Regularity structures" developed recently by Hairer in arXiv:1303.5113 . This theory gives a way to study well-posedness for a class of stochastic PDEs that could not be treated previously. Prominent examples include the KPZ equation as well as the dynamic $Φ^4_3$ model. Such equations can be expanded into formal perturbative expansions. Roughly speaking the theory of regularity structures provides a way to truncate this expansion after finitely many terms and to solve a fixed point problem for the "remainder". The key ingredient is a new notion of "regularity" which is based on the terms of this expansion.
△ Less
Submitted 11 July, 2017; v1 submitted 14 August, 2015;
originally announced August 2015.
-
Hölder regularity for a non-linear parabolic equation driven by space-time white noise
Authors:
Felix Otto,
Hendrik Weber
Abstract:
We consider the non-linear equation $T^{-1} u+\partial_tu-\partial_x^2π(u)=ξ$ driven by space-time white noise $ξ$, which is uniformly parabolic because we assume that $π'$ is bounded away from zero and infinity. Under the further assumption of Lipschitz continuity of $π'$ we show that the stationary solution is - as for the linear case - almost surely Hölder continuous with exponent $α$ for any…
▽ More
We consider the non-linear equation $T^{-1} u+\partial_tu-\partial_x^2π(u)=ξ$ driven by space-time white noise $ξ$, which is uniformly parabolic because we assume that $π'$ is bounded away from zero and infinity. Under the further assumption of Lipschitz continuity of $π'$ we show that the stationary solution is - as for the linear case - almost surely Hölder continuous with exponent $α$ for any $α<\frac{1}{2}$ w. r. t. the parabolic metric. More precisely, we show that the corresponding local Hölder norm has stretched exponential moments.
On the stochastic side, we use a combination of martingale arguments to get second moment estimates with concentration of measure arguments to upgrade to Gaussian moments. On the deterministic side, we first perform a Campanato iteration based on the De Giorgi-Nash Theorem as well as finite and infinitesimal versions of the $H^{-1}$-contraction principle, which yields Gaussian moments for a weaker Hölder norm. In a second step this estimate is improved to the optimal Hölder exponent at the expense of weakening the integrability to stretched exponential.
△ Less
Submitted 18 December, 2015; v1 submitted 4 May, 2015;
originally announced May 2015.
-
Global well-posedness of the dynamic $Φ^4$ model in the plane
Authors:
Jean-Christophe Mourrat,
Hendrik Weber
Abstract:
We show global well-posedness of the dynamic $Φ^4$ model in the plane. The model is a non-linear stochastic PDE that can only be interpreted in a "renormalised" sense. Solutions take values in suitable weighted Besov spaces of negative regularity.
We show global well-posedness of the dynamic $Φ^4$ model in the plane. The model is a non-linear stochastic PDE that can only be interpreted in a "renormalised" sense. Solutions take values in suitable weighted Besov spaces of negative regularity.
△ Less
Submitted 25 January, 2015;
originally announced January 2015.
-
On the large time behavior of the solutions of a nonlocal ordinary differential equation with mass conservation
Authors:
Danielle Hilhorst,
Hiroshi Matano,
Thanh Nam Nguyen,
Hendrik Weber
Abstract:
We consider an initial value problem for a nonlocal differential equation with a bistable nonlinearity in several space dimensions. The equation is an ordinary differential equation with respect to the time variable t, while the nonlocal term is expressed in terms of spatial integration. We discuss the large time behavior of solutions and prove, among other things, the convergence to steady-states…
▽ More
We consider an initial value problem for a nonlocal differential equation with a bistable nonlinearity in several space dimensions. The equation is an ordinary differential equation with respect to the time variable t, while the nonlocal term is expressed in terms of spatial integration. We discuss the large time behavior of solutions and prove, among other things, the convergence to steady-states. The proof that the solution orbits are relatively compact is based upon the rearrangement theory.
△ Less
Submitted 22 January, 2015; v1 submitted 21 January, 2015;
originally announced January 2015.
-
The order topology for a von Neumann algebra
Authors:
Emmanuel Chetcuti,
Jan Hamhalter,
Hans Weber
Abstract:
The order topology $τ_o(P)$ (resp. the sequential order topology $τ_{os}(P)$) on a poset $P$ is the topology that has as its closed sets those that contain the order limits of all their order convergent nets (resp. sequences). For a von Neumann algebra $M$ we consider the following three posets: the self-adjoint part $M_{sa}$, the self-adjoint part of the unit ball $M_{sa}^1$, and the projection l…
▽ More
The order topology $τ_o(P)$ (resp. the sequential order topology $τ_{os}(P)$) on a poset $P$ is the topology that has as its closed sets those that contain the order limits of all their order convergent nets (resp. sequences). For a von Neumann algebra $M$ we consider the following three posets: the self-adjoint part $M_{sa}$, the self-adjoint part of the unit ball $M_{sa}^1$, and the projection lattice $P(M)$. We study the order topology (and the corresponding sequential variant) on these posets, compare the order topology to the other standard locally convex topologies on $M$, and relate the properties of the order topology to the underlying operator-algebraic structure of $M$.
△ Less
Submitted 7 November, 2014;
originally announced November 2014.
-
Convergence of the two-dimensional dynamic Ising-Kac model to $Φ^4_2$
Authors:
Jean-Christophe Mourrat,
Hendrik Weber
Abstract:
The Ising-Kac model is a variant of the ferromagnetic Ising model in which each spin variable interacts with all spins in a neighbourhood of radius $γ^{-1}$ for $γ\ll 1$ around its base point. We study the Glauber dynamics for this model on a discrete two-dimensional torus $\mathbb{Z}^2/ (2N+1)\mathbb{Z}^2$, for a system size $N \gg γ^{-1}$ and for an inverse temperature close to the critical valu…
▽ More
The Ising-Kac model is a variant of the ferromagnetic Ising model in which each spin variable interacts with all spins in a neighbourhood of radius $γ^{-1}$ for $γ\ll 1$ around its base point. We study the Glauber dynamics for this model on a discrete two-dimensional torus $\mathbb{Z}^2/ (2N+1)\mathbb{Z}^2$, for a system size $N \gg γ^{-1}$ and for an inverse temperature close to the critical value of the mean field model. We show that the suitably rescaled coarse-grained spin field converges in distribution to the solution of a non-linear stochastic partial differential equation.
This equation is the dynamic version of the $Φ^4_2$ quantum field theory, which is formally given by a reaction diffusion equation driven by an additive space-time white noise. It is well-known that in two spatial dimensions, such equations are distribution valued and a Wick renormalisation has to be performed in order to define the non-linear term. Formally, this renormalisation corresponds to adding an infinite mass term to the equation. We show that this need for renormalisation for the limiting equation is reflected in the discrete system by a shift of the critical temperature away from its mean field value.
△ Less
Submitted 29 January, 2015; v1 submitted 5 October, 2014;
originally announced October 2014.
-
Algorithms for Kullback-Leibler Approximation of Probability Measures in Infinite Dimensions
Authors:
Frank J. Pinski,
Gideon Simpson,
Andrew M. Stuart,
Hendrik Weber
Abstract:
In this paper we study algorithms to find a Gaussian approximation to a target measure defined on a Hilbert space of functions; the target measure itself is defined via its density with respect to a reference Gaussian measure. We employ the Kullback-Leibler divergence as a distance and find the best Gaussian approximation by minimizing this distance. It then follows that the approximate Gaussian m…
▽ More
In this paper we study algorithms to find a Gaussian approximation to a target measure defined on a Hilbert space of functions; the target measure itself is defined via its density with respect to a reference Gaussian measure. We employ the Kullback-Leibler divergence as a distance and find the best Gaussian approximation by minimizing this distance. It then follows that the approximate Gaussian must be equivalent to the Gaussian reference measure, defining a natural function space setting for the underlying calculus of variations problem. We introduce a computational algorithm which is well-adapted to the required minimization, seeking to find the mean as a function, and parameterizing the covariance in two different ways: through low rank perturbations of the reference covariance; and through Schrödinger potential perturbations of the inverse reference covariance. Two applications are shown: to a nonlinear inverse problem in elliptic PDEs, and to a conditioned diffusion process. We also show how the Gaussian approximations we obtain may be used to produce improved pCN-MCMC methods which are not only well-adapted to the high-dimensional setting, but also behave well with respect to small observational noise (resp. small temperatures) in the inverse problem (resp. conditioned diffusion).
△ Less
Submitted 8 August, 2014;
originally announced August 2014.
-
Large deviations for white-noise driven, nonlinear stochastic PDEs in two and three dimensions
Authors:
Martin Hairer,
Hendrik Weber
Abstract:
We study the stochastic Allen-Cahn equation driven by a noise term with intensity $\sqrt{\varepsilon}$ and correlation length $δ$ in two and three spatial dimensions. We study diagonal limits $δ, \varepsilon \to 0$ and describe fully the large deviation behaviour depending on the relationship between $δ$ and $\varepsilon$.
The recently developed theory of regularity structures allows to fully an…
▽ More
We study the stochastic Allen-Cahn equation driven by a noise term with intensity $\sqrt{\varepsilon}$ and correlation length $δ$ in two and three spatial dimensions. We study diagonal limits $δ, \varepsilon \to 0$ and describe fully the large deviation behaviour depending on the relationship between $δ$ and $\varepsilon$.
The recently developed theory of regularity structures allows to fully analyse the behaviour of solutions for vanishing correlation length $δ$ and fixed noise intensity $\varepsilon$. One key fact is that in order to get non-trivial limits as $δ\to 0$, it is necessary to introduce diverging counterterms. The theory of regularity structures allows to rigorously analyse this renormalisation procedure for a number of interesting equations.
Our main result is a large deviation principle for these renormalised solutions. One interesting feature of this result is that the diverging renormalisation constants disappear at the level of the large deviations rate function. We apply this result to derive a sharp condition on $δ, \varepsilon$ that guarantees a large deviation principle for diagonal schemes $\varepsilon, δ\to 0$ for the equation without renormalisation.
△ Less
Submitted 16 September, 2014; v1 submitted 23 April, 2014;
originally announced April 2014.
-
Rebalancing with Linear and Quadratic Costs
Authors:
Ren Liu,
Johannes Muhle-Karbe,
Marko H. Weber
Abstract:
We consider a market consisting of one safe and one risky asset, which offer constant investment opportunities. Taking into account both proportional transaction costs and linear price impact, we derive optimal rebalancing policies for representative investors with constant relative risk aversion and a long horizon.
We consider a market consisting of one safe and one risky asset, which offer constant investment opportunities. Taking into account both proportional transaction costs and linear price impact, we derive optimal rebalancing policies for representative investors with constant relative risk aversion and a long horizon.
△ Less
Submitted 4 September, 2017; v1 submitted 21 February, 2014;
originally announced February 2014.
-
Kullback-Leibler Approximation for Probability Measures on Infinite Dimensional Spaces
Authors:
Frank Pinski,
Gideon Simpson,
Andrew Stuart,
Hendrik Weber
Abstract:
In a variety of applications it is important to extract information from a probability measure $μ$ on an infinite dimensional space. Examples include the Bayesian approach to inverse problems and possibly conditioned) continuous time Markov processes. It may then be of interest to find a measure $ν$, from within a simple class of measures, which approximates $μ$. This problem is studied in the cas…
▽ More
In a variety of applications it is important to extract information from a probability measure $μ$ on an infinite dimensional space. Examples include the Bayesian approach to inverse problems and possibly conditioned) continuous time Markov processes. It may then be of interest to find a measure $ν$, from within a simple class of measures, which approximates $μ$. This problem is studied in the case where the Kullback-Leibler divergence is employed to measure the quality of the approximation. A calculus of variations viewpoint is adopted and the particular case where $ν$ is chosen from the set of Gaussian measures is studied in detail. Basic existence and uniqueness theorems are established, together with properties of minimising sequences. Furthermore, parameterisation of the class of Gaussians through the mean and inverse covariance is introduced, the need for regularisation is explained, and a regularised minimisation is studied in detail. The calculus of variations framework resulting from this work provides the appropriate underpinning for computational algorithms.
△ Less
Submitted 28 March, 2014; v1 submitted 29 October, 2013;
originally announced October 2013.
-
Invariant measure of the stochastic Allen-Cahn equation: the regime of small noise and large system size
Authors:
Felix Otto,
Hendrik Weber,
Maria Westdickenberg
Abstract:
We study the invariant measure of the one-dimensional stochastic Allen-Cahn equation for a small noise strength and a large but finite system. We endow the system with inhomogeneous Dirichlet boundary conditions that enforce at least one transition from -1 to 1. (Our methods can be applied to other boundary conditions as well.) We are interested in the competition between the energy that should be…
▽ More
We study the invariant measure of the one-dimensional stochastic Allen-Cahn equation for a small noise strength and a large but finite system. We endow the system with inhomogeneous Dirichlet boundary conditions that enforce at least one transition from -1 to 1. (Our methods can be applied to other boundary conditions as well.) We are interested in the competition between the energy that should be minimized due to the small noise strength and the entropy that is induced by the large system size.
Our methods handle system sizes that are exponential with respect to the inverse noise strength, up to the critical exponential size predicted by the heuristics. We capture the competition between energy and entropy through upper and lower bounds on the probability of extra transitions between -1 and 1. These bounds are sharp on the exponential scale and imply in particular that the probability of having one and only one transition from -1 to +1 is exponentially close to one. In addition, we show that the position of the transition layer is uniformly distributed over the system on scales larger than the logarithm of the inverse noise strength.
Our arguments rely on local large deviation bounds, the strong Markov property, the symmetry of the potential, and measure-preserving reflections.
△ Less
Submitted 3 January, 2013;
originally announced January 2013.
-
Twin Primes and the Zeros of the Riemann Zeta Function
Authors:
H. J. Weber
Abstract:
The Legendre type relation for the counting function of ordinary twin primes is reworked in terms of the inverse of the Riemann zeta function. Its analysis sheds light on the distribution of the zeros of the Riemann zeta function in the critical strip and their links to primes and the twin prime problem.
The Legendre type relation for the counting function of ordinary twin primes is reworked in terms of the inverse of the Riemann zeta function. Its analysis sheds light on the distribution of the zeros of the Riemann zeta function in the critical strip and their links to primes and the twin prime problem.
△ Less
Submitted 2 December, 2012; v1 submitted 16 August, 2012;
originally announced August 2012.
-
Sieves for Twin Primes in Class I
Authors:
H. J. Weber
Abstract:
Sieves are constructed for twin primes in class I, which are of the form 2m+/-D, D>=3 odd. They are characterized by their twin-D-I rank m. They have no parity problem. Non-rank numbers are identified and counted using odd primes p>=5. Twin-D-I ranks and non-ranks make up the set of positive integers. Regularities of non-ranks allow obtaining the number of twin-D-I ranks. It involves considerable…
▽ More
Sieves are constructed for twin primes in class I, which are of the form 2m+/-D, D>=3 odd. They are characterized by their twin-D-I rank m. They have no parity problem. Non-rank numbers are identified and counted using odd primes p>=5. Twin-D-I ranks and non-ranks make up the set of positive integers. Regularities of non-ranks allow obtaining the number of twin-D-I ranks. It involves considerable cancellations so that the asymptotic form of its main term collapses to the expected form, but its coefficient depends on D.
△ Less
Submitted 17 May, 2012; v1 submitted 25 April, 2012;
originally announced April 2012.
-
A Sieve for Cousin Primes
Authors:
H. J. Weber
Abstract:
A sieve is constructed for twin primes at distance 4, which are of the form 3(2m+1)+/-2, and are characterized by their twin-4 rank 2m+1. It has no parity problem. Non-ranks are identified as all other odd numbers and counted using odd primes p>=5. Twin-4 ranks and non-ranks make up the set of odd numbers. Regularities of non-ranks allow gathering information on them to obtain a Legendre-type sum…
▽ More
A sieve is constructed for twin primes at distance 4, which are of the form 3(2m+1)+/-2, and are characterized by their twin-4 rank 2m+1. It has no parity problem. Non-ranks are identified as all other odd numbers and counted using odd primes p>=5. Twin-4 ranks and non-ranks make up the set of odd numbers. Regularities of non-ranks allow gathering information on them to obtain a Legendre-type sum for the number of twin-4 ranks. Due to considerable cancellations in it, the asymptotic law of its main term has the expected form and magnitude of its coefficient.
△ Less
Submitted 24 April, 2012; v1 submitted 17 April, 2012;
originally announced April 2012.
-
Twin Prime Sieve
Authors:
H. J. Weber
Abstract:
A sieve is constructed for ordinary twin primes of the form 6m+/-1 that are characterized by their twin rank m. It has no parity problem. Non-rank numbers are identified and counted using odd primes p>=5. Twin- and non-ranks make up the set of positive integers. Regularities of non-ranks allow gathering information on them to obtain a Legendre-type formula for the number of twin-ranks near primori…
▽ More
A sieve is constructed for ordinary twin primes of the form 6m+/-1 that are characterized by their twin rank m. It has no parity problem. Non-rank numbers are identified and counted using odd primes p>=5. Twin- and non-ranks make up the set of positive integers. Regularities of non-ranks allow gathering information on them to obtain a Legendre-type formula for the number of twin-ranks near primorial arguments.
△ Less
Submitted 2 December, 2012; v1 submitted 23 March, 2012;
originally announced March 2012.
-
Remarkable and Reversible Prime Number Patterns
Authors:
H. J. Weber
Abstract:
Prime number multiplet classifications and patterns are extended to negative integers. The extension from prime numbers to single prime powers is also studied. Prime number septets at equal distance are given. It is also shown that each class of generalized twin primes of the classification contains a positive fraction of all prime pairs.
Prime number multiplet classifications and patterns are extended to negative integers. The extension from prime numbers to single prime powers is also studied. Prime number septets at equal distance are given. It is also shown that each class of generalized twin primes of the classification contains a positive fraction of all prime pairs.
△ Less
Submitted 23 March, 2012;
originally announced March 2012.
-
Approximating rough stochastic PDEs
Authors:
Martin Hairer,
Jan Maas,
Hendrik Weber
Abstract:
We study approximations to a class of vector-valued equations of Burgers type driven by a multiplicative space-time white noise. A solution theory for this class of equations has been developed recently in [Hairer, Weber, Probab. Theory Related Fields, to appear]. The key idea was to use the theory of controlled rough paths to give definitions of weak / mild solutions and to set up a Picard iterat…
▽ More
We study approximations to a class of vector-valued equations of Burgers type driven by a multiplicative space-time white noise. A solution theory for this class of equations has been developed recently in [Hairer, Weber, Probab. Theory Related Fields, to appear]. The key idea was to use the theory of controlled rough paths to give definitions of weak / mild solutions and to set up a Picard iteration argument.
In this article the limiting behaviour of a rather large class of (spatial) approximations to these equations is studied. These approximations are shown to converge and convergence rates are given, but the limit may depend on the particular choice of approximation. This effect is a spatial analogue to the Itô-Stratonovich correction in the theory of stochastic ordinary differential equations, where it is well known that different approximation schemes may converge to different solutions.
△ Less
Submitted 25 February, 2013; v1 submitted 14 February, 2012;
originally announced February 2012.
-
Triviality of the 2D stochastic Allen-Cahn equation
Authors:
Martin Hairer,
Marc D. Ryser,
Hendrik Weber
Abstract:
We consider the stochastic Allen-Cahn equation driven by mollified space-time white noise. We show that, as the mollifier is removed, the solutions converge weakly to 0, independently of the initial condition. If the intensity of the noise simultaneously converges to 0 at a sufficiently fast rate, then the solutions converge to those of the deterministic equation. At the critical rate, the limitin…
▽ More
We consider the stochastic Allen-Cahn equation driven by mollified space-time white noise. We show that, as the mollifier is removed, the solutions converge weakly to 0, independently of the initial condition. If the intensity of the noise simultaneously converges to 0 at a sufficiently fast rate, then the solutions converge to those of the deterministic equation. At the critical rate, the limiting solution is still deterministic, but it exhibits an additional dam** term.
△ Less
Submitted 15 January, 2012;
originally announced January 2012.
-
Generalized Twin Prime Formulas
Authors:
H. J. Weber
Abstract:
Based on Golomb's arithmetic formulas, Dirichlet series for two classes of twin primes are constructed and related to the roots of the Riemann zeta function in the critical strip.
Based on Golomb's arithmetic formulas, Dirichlet series for two classes of twin primes are constructed and related to the roots of the Riemann zeta function in the critical strip.
△ Less
Submitted 6 June, 2011;
originally announced June 2011.