-
Phase transitions for the $XY$ model in non-uniformly elliptic and Poisson-Voronoi environments
Authors:
Paul Dario,
Christophe Garban
Abstract:
The goal of this paper is to analyze how the celebrated phase transitions of the $XY$ model are affected by the presence of a non-elliptic quenched disorder.
In dimension $d=2$, we prove that if one considers an $XY$ model on the infinite cluster of a supercritical percolation configuration, the Berezinskii-Kosterlitz-Thouless (BKT) phase transition still occurs despite the presence of quenched…
▽ More
The goal of this paper is to analyze how the celebrated phase transitions of the $XY$ model are affected by the presence of a non-elliptic quenched disorder.
In dimension $d=2$, we prove that if one considers an $XY$ model on the infinite cluster of a supercritical percolation configuration, the Berezinskii-Kosterlitz-Thouless (BKT) phase transition still occurs despite the presence of quenched disorder. The proof works for all $p>p_c$ (site or edge). We also show that the $XY$ model defined on a planar Poisson-Voronoi graph also undergoes a BKT phase transition.
When $d\geq 3$, we show in a similar fashion that the continuous symmetry breaking of the $XY$ model at low enough temperature is not affected by the presence of quenched disorder such as supercritical percolation (in $\mathbb{Z}^d$) or Poisson-Voronoi (in $\mathbb{R}^d$).
Adapting either Fröhlich-Spencer's proof of existence of a BKT phase transition or the more recent proofs of Lammers, van Engelenburg-Lis and Aizenman-Harel-Peled-Shapiro to such non-uniformly elliptic disorders appears to be non-trivial. Instead, our proofs rely on a relatively little known correlation inequality called Wells' inequality.
△ Less
Submitted 28 November, 2023;
originally announced November 2023.
-
Rigidity of harmonic functions on the supercritical percolation cluster
Authors:
Ahmed Bou-Rabee,
William Cooperman,
Paul Dario
Abstract:
We use ideas from quantitative homogenization to show that nonconstant harmonic functions on the percolation cluster cannot satisfy certain structural constraints, for example, a Lipschitz bound. These unique-continuation-type results are false on the full lattice and hence the disorder is utilized in an essential way.
We use ideas from quantitative homogenization to show that nonconstant harmonic functions on the percolation cluster cannot satisfy certain structural constraints, for example, a Lipschitz bound. These unique-continuation-type results are false on the full lattice and hence the disorder is utilized in an essential way.
△ Less
Submitted 29 March, 2024; v1 submitted 8 March, 2023;
originally announced March 2023.
-
Upper bounds on the fluctuations for a class of degenerate convex $\nabla φ$-interface models
Authors:
Paul Dario
Abstract:
We derive upper bounds on the fluctuations of a class of random surfaces of the $\nabla φ$-type with convex interaction potentials. The Brascamp-Lieb concentration inequality provides an upper bound on these fluctuations for uniformly convex potentials. We extend these results to twice continuously differentiable convex potentials whose second derivative grows asymptotically like a polynomial and…
▽ More
We derive upper bounds on the fluctuations of a class of random surfaces of the $\nabla φ$-type with convex interaction potentials. The Brascamp-Lieb concentration inequality provides an upper bound on these fluctuations for uniformly convex potentials. We extend these results to twice continuously differentiable convex potentials whose second derivative grows asymptotically like a polynomial and may vanish on an (arbitrarily large) interval. Specifically, we prove that, when the underlying graph is the $d$-dimensional torus of side length $L$, the variance of the height is smaller than $C \ln L$ in two dimensions and remains bounded in dimension $d \geq 3$.
The proof makes use of the Helffer-Sjöstrand representation formula (originally introduced by Helffer and Sjöstrand (1994) and used by Naddaf and Spencer (1997) and Giacomin, Olla Spohn (2001) to identify the scaling limit of the model), the anchored Nash inequality (and the corresponding on-diagonal heat kernel upper bound) established by Mourrat and Otto (2016) and Efron's monotonicity theorem for log-concave measures (Efron (1965)).
△ Less
Submitted 22 January, 2024; v1 submitted 1 February, 2023;
originally announced February 2023.
-
Quantitative hydrodynamic limits of the Langevin dynamics for gradient interface models
Authors:
Scott Armstrong,
Paul Dario
Abstract:
We study the Langevin dynamics corresponding to the $\nablaφ$ (or Ginzburg-Landau) interface model with a uniformly convex interaction potential. We interpret these Langevin dynamics as a nonlinear parabolic equation forced by white noise, which turns the problem into a nonlinear homogenization problem. Using quantitative homogenization methods, we prove a quantitative hydrodynamic limit, obtain t…
▽ More
We study the Langevin dynamics corresponding to the $\nablaφ$ (or Ginzburg-Landau) interface model with a uniformly convex interaction potential. We interpret these Langevin dynamics as a nonlinear parabolic equation forced by white noise, which turns the problem into a nonlinear homogenization problem. Using quantitative homogenization methods, we prove a quantitative hydrodynamic limit, obtain the $C^2$ regularity of the surface tension, prove a large-scale Lipschitz-type estimate for the trajectories of the dynamics, and show that the fluctuation-dissipation relation can be seen as a commutativity of homogenization and linearization. Finally, we explain why we believe our techniques can be adapted to the setting of degenerate (non-uniformly) convex interaction potentials.
△ Less
Submitted 28 December, 2023; v1 submitted 28 March, 2022;
originally announced March 2022.
-
Convergence to the thermodynamic limit for random-field random surfaces
Authors:
Paul Dario
Abstract:
We study random surfaces with a uniformly convex gradient interaction in the presence of quenched disorder taking the form of a random independent external field. Previous work on the model has focused on proving existence and uniqueness of infinite-volume gradient Gibbs measures with a given tilt and on studying the fluctuations of the surface and its discrete gradient.
In this work we focus on…
▽ More
We study random surfaces with a uniformly convex gradient interaction in the presence of quenched disorder taking the form of a random independent external field. Previous work on the model has focused on proving existence and uniqueness of infinite-volume gradient Gibbs measures with a given tilt and on studying the fluctuations of the surface and its discrete gradient.
In this work we focus on the convergence of the thermodynamic limit, establishing convergence of the finite-volume distributions with Dirichlet boundary conditions to translation-covariant (gradient) Gibbs measures. Specifically, it is shown that, when the law of the random field has finite second moment and is symmetric, the distribution of the gradient of the surface converges in dimensions $d\geq4$ while the distribution of the surface itself converges in dimensions $d\geq 5$. Moreover, a power-law upper bound on the rate of convergence in Wasserstein distance is obtained. The results partially answer a question discussed by Cotar and Külske
△ Less
Submitted 5 May, 2022; v1 submitted 9 May, 2021;
originally announced May 2021.
-
Control for autonomous vehicles in collision avoidance maneuvers : LPV modeling and static feedback controller
Authors:
Penco Dario,
Davins-Valldaura Joan,
Godoy Emmanuel,
Kvieska Pedro,
Valmorbida Giorgio
Abstract:
This article presents a state feedback control design strategy for the stabilization of a vehicle along a reference collision avoidance maneuver. The stabilization of the vehicle is achieved through a combination of steering, acceleration and braking. A Linear Parameter-Varying (LPV) model is obtained from the linearization of a non-linear model along the reference trajectory. A robust state feedb…
▽ More
This article presents a state feedback control design strategy for the stabilization of a vehicle along a reference collision avoidance maneuver. The stabilization of the vehicle is achieved through a combination of steering, acceleration and braking. A Linear Parameter-Varying (LPV) model is obtained from the linearization of a non-linear model along the reference trajectory. A robust state feedback control law is computed for the LPV model. Finally, simulation results illustrate the stabilization of the vehicle along the reference trajectory.
△ Less
Submitted 15 February, 2021;
originally announced February 2021.
-
Towards a Computed-Aided Diagnosis System in Colonoscopy: Automatic Polyp Segmentation Using Convolution Neural Networks
Authors:
Patrick Brandao,
Odysseas Zisimopoulos,
Evangelos Mazomenos,
Gastone Ciuti,
Jorge Bernal,
Marco Visentini-Scarzanella,
Arianna Menciassi,
Paolo Dario,
Anastasios Koulaouzidis,
Alberto Arezzo,
David J Hawkes,
Danail Stoyanov
Abstract:
Early diagnosis is essential for the successful treatment of bowel cancers including colorectal cancer (CRC) and capsule endoscopic imaging with robotic actuation can be a valuable diagnostic tool when combined with automated image analysis. We present a deep learning rooted detection and segmentation framework for recognizing lesions in colonoscopy and capsule endoscopy images. We restructure est…
▽ More
Early diagnosis is essential for the successful treatment of bowel cancers including colorectal cancer (CRC) and capsule endoscopic imaging with robotic actuation can be a valuable diagnostic tool when combined with automated image analysis. We present a deep learning rooted detection and segmentation framework for recognizing lesions in colonoscopy and capsule endoscopy images. We restructure established convolution architectures, such as VGG and ResNets, by converting them into fully-connected convolution networks (FCNs), fine-tune them and study their capabilities for polyp segmentation and detection. We additionally use Shape from-Shading (SfS) to recover depth and provide a richer representation of the tissue's structure in colonoscopy images. Depth is incorporated into our network models as an additional input channel to the RGB information and we demonstrate that the resulting network yields improved performance. Our networks are tested on publicly available datasets and the most accurate segmentation model achieved a mean segmentation IU of 47.78% and 56.95% on the ETIS-Larib and CVC-Colon datasets, respectively. For polyp detection, the top performing models we propose surpass the current state of the art with detection recalls superior to 90% for all datasets tested. To our knowledge, we present the first work to use FCNs for polyp segmentation in addition to proposing a novel combination of SfS and RGB that boosts performance
△ Less
Submitted 15 January, 2021;
originally announced January 2021.
-
Random-field random surfaces
Authors:
Paul Dario,
Matan Harel,
Ron Peled
Abstract:
We study how the typical gradient and typical height of a random surface are modified by the addition of quenched disorder in the form of a random independent external field. The results provide quantitative estimates, sharp up to multiplicative constants, in the following cases.
It is shown that for real-valued disordered random surfaces of the $\nabla φ$ type with a uniformly convex interactio…
▽ More
We study how the typical gradient and typical height of a random surface are modified by the addition of quenched disorder in the form of a random independent external field. The results provide quantitative estimates, sharp up to multiplicative constants, in the following cases.
It is shown that for real-valued disordered random surfaces of the $\nabla φ$ type with a uniformly convex interaction potential: (i) The gradient of the surface delocalizes in dimensions $1\le d\le 2$ and localizes in dimensions $d\ge3$. (ii) The surface delocalizes in dimensions $1\le d\le 4$ and localizes in dimensions $d\ge 5$.
It is further shown that for the integer-valued disordered Gaussian free field: (i) The gradient of the surface delocalizes in dimensions $d=1,2$ and localizes in dimensions $d\ge3$. (ii) The surface delocalizes in dimensions $d=1,2$. (iii) The surface localizes in dimensions $d\ge 3$ at weak disorder strength. The behavior in dimensions $d\ge 3$ at strong disorder is left open.
The proofs rely on several tools: explicit identities satisfied by the expectation of the random surface, the Efron--Stein concentration inequality, a coupling argument for Langevin dynamics (originally due to Funaki and Spohn) and the Nash--Aronson estimate.
△ Less
Submitted 15 February, 2023; v1 submitted 6 January, 2021;
originally announced January 2021.
-
Quantitative disorder effects in low-dimensional spin systems
Authors:
Paul Dario,
Matan Harel,
Ron Peled
Abstract:
The Imry-Ma phenomenon, predicted in 1975 by Imry and Ma and rigorously established in 1989 by Aizenman and Wehr, states that first-order phase transitions of low-dimensional spin systems are `rounded' by the addition of a quenched random field to the quantity undergoing the transition. The phenomenon applies to a wide class of spin systems in dimensions $d\le 2$ and to spin systems possessing a c…
▽ More
The Imry-Ma phenomenon, predicted in 1975 by Imry and Ma and rigorously established in 1989 by Aizenman and Wehr, states that first-order phase transitions of low-dimensional spin systems are `rounded' by the addition of a quenched random field to the quantity undergoing the transition. The phenomenon applies to a wide class of spin systems in dimensions $d\le 2$ and to spin systems possessing a continuous symmetry in dimensions $d\le 4$.
This work provides quantitative estimates for the Imry--Ma phenomenon: In a cubic domain of side length $L$, we study the effect of the boundary conditions on the spatial and thermal average of the quantity coupled to the random field. We show that the boundary effect diminishes at least as fast as an inverse power of $\log\log L$ for general two-dimensional spin systems and for four-dimensional spin systems with continuous symmetry, and at least as fast as an inverse power of $L$ for two- and three-dimensional spin systems with continuous symmetry. Specific models of interest for the obtained results include the two-dimensional random-field $q$-state Potts and Edwards-Anderson spin glass models, and the $d$-dimensional random-field spin $O(n)$ models ($n\ge 2$) in dimensions $d\le 4$.
△ Less
Submitted 2 September, 2023; v1 submitted 5 January, 2021;
originally announced January 2021.
-
A Galois approach to Kaplansky Radical $\times$ Hilbert's Theorem 90
Authors:
Ronie Peterson Dario
Abstract:
This paper aims to prove a version of the Hilbert's Theorem 90 for a field with non-trivial Kaplansky radical and the Galois group of its maximal $2$-extension as a finitely generated elementary type pro-2 group.
This paper aims to prove a version of the Hilbert's Theorem 90 for a field with non-trivial Kaplansky radical and the Galois group of its maximal $2$-extension as a finitely generated elementary type pro-2 group.
△ Less
Submitted 1 April, 2024; v1 submitted 2 June, 2020;
originally announced June 2020.
-
Massless Phases for the Villain model in $d\geq 3$
Authors:
Paul Dario,
Wei Wu
Abstract:
We consider the classical Villain rotator model in $\mathbb{Z}^d, d\geq 3$ at sufficiently low temperature, and prove that the truncated two-point function decays asymptotically as $|x|^{2-d}$, with an algebraic rate of convergence. We also obtain the same asymptotic decay separately for the transversal two-point functions. This quantifies the spontaneous magnetization result for the Villain model…
▽ More
We consider the classical Villain rotator model in $\mathbb{Z}^d, d\geq 3$ at sufficiently low temperature, and prove that the truncated two-point function decays asymptotically as $|x|^{2-d}$, with an algebraic rate of convergence. We also obtain the same asymptotic decay separately for the transversal two-point functions. This quantifies the spontaneous magnetization result for the Villain model at low temperature, and rigorously establishes the Gaussian spin-wave conjecture in dimension $d\ge 3$. We believe that our method extends to finite range interactions and to other abelian spin systems and abelian gauge theory in $d\geq 3$.
△ Less
Submitted 7 February, 2020;
originally announced February 2020.
-
Quantitative homogenization of the parabolic and elliptic Green's functions on percolation clusters
Authors:
Paul Dario,
Chenlin Gu
Abstract:
We study the heat kernel and the Green's function on the infinite supercritical percolation cluster in dimension $d \geq 2$ and prove a quantitative homogenization theorem for these functions with an almost optimal rate of convergence. These results are a quantitative version of the local central limit theorem proved by Barlow and Hambly. The proof relies on a structure of renormalization for the…
▽ More
We study the heat kernel and the Green's function on the infinite supercritical percolation cluster in dimension $d \geq 2$ and prove a quantitative homogenization theorem for these functions with an almost optimal rate of convergence. These results are a quantitative version of the local central limit theorem proved by Barlow and Hambly. The proof relies on a structure of renormalization for the infinite percolation cluster introduced by Armstrong and the first author, Gaussian bounds on the heat kernel established by Barlow and tools of the theory of quantitative stochastic homogenization. An important step in the proof is to establish a $C^{0,1}$-large-scale regularity theory for caloric functions on the infinite cluster and is of independent interest.
△ Less
Submitted 21 April, 2021; v1 submitted 23 September, 2019;
originally announced September 2019.
-
Quantitative homogenization of the disordered $\nabla φ$ model
Authors:
Paul Dario
Abstract:
We study the $\nabla φ$ model with uniformly convex Hamiltonian $\mathcal{H} (φ) := \sum V(\nabla φ)$ and prove a quantitative rate of convergence for the finite-volume surface tension as well as a quantitative rate estimate for the $L^2$-norm for the field subject to affine boundary condition. One of our motivations is to develop a new toolbox for studying this problem that does not rely on the H…
▽ More
We study the $\nabla φ$ model with uniformly convex Hamiltonian $\mathcal{H} (φ) := \sum V(\nabla φ)$ and prove a quantitative rate of convergence for the finite-volume surface tension as well as a quantitative rate estimate for the $L^2$-norm for the field subject to affine boundary condition. One of our motivations is to develop a new toolbox for studying this problem that does not rely on the Helffer-Sjöstrand representation. Instead, we make use of the variational formulation of the partition function, the notion of displacement convexity from the theory of optimal transport, and the recently developed theory of quantitative stochastic homogenization.
△ Less
Submitted 24 July, 2019; v1 submitted 15 October, 2018;
originally announced October 2018.
-
Quantitative Homogenization of Differential Forms
Authors:
Paul Dario
Abstract:
We develop a quantitative theory of stochastic homogenization in the more general framework of differential forms. Inspired by recent progress in the uniformly elliptic setting, the analysis relies on the study of certain subadditive quantities. We establish an algebraic rate of convergence from these quantities and deduce from this an algebraic error estimate for the homogenization of the Dirichl…
▽ More
We develop a quantitative theory of stochastic homogenization in the more general framework of differential forms. Inspired by recent progress in the uniformly elliptic setting, the analysis relies on the study of certain subadditive quantities. We establish an algebraic rate of convergence from these quantities and deduce from this an algebraic error estimate for the homogenization of the Dirichlet problem. Most of the ideas needed in this article comes from two distinct theory, the theory of quantitative stochastic homogenization, and the generalization of the main results of functional analysis and of the regularity theory of second-order elliptic equations to the setting of differential forms.
△ Less
Submitted 28 December, 2020; v1 submitted 20 June, 2018;
originally announced June 2018.
-
Optimal corrector estimates on percolation clusters
Authors:
Paul Dario
Abstract:
We prove optimal quantitative estimates on the first-order correctors on supercritical percolation clusters: we show that they are bounded in $d\geq 3$ and have logarithmic growth in $d = 2$, in the sense of stretched exponential moments. The main ingredients are a renormalization scheme of the supercritical percolation cluster, following the works of Pisztora and Barlow; large-scale regularity es…
▽ More
We prove optimal quantitative estimates on the first-order correctors on supercritical percolation clusters: we show that they are bounded in $d\geq 3$ and have logarithmic growth in $d = 2$, in the sense of stretched exponential moments. The main ingredients are a renormalization scheme of the supercritical percolation cluster, following the works of Pisztora and Barlow; large-scale regularity estimates developed in the previous paper; and a nonlinear concentration inequality of Efron-Stein type which is used to transfer quantitative information from the environment to the correctors.
△ Less
Submitted 14 May, 2020; v1 submitted 2 May, 2018;
originally announced May 2018.
-
Elliptic regularity and quantitative homogenization on percolation clusters
Authors:
Scott Armstrong,
Paul Dario
Abstract:
We establish quantitative homogenization, large-scale regularity and Liouville results for the random conductance model on a supercritical (Bernoulli bond) percolation cluster. The results are also new in the case that the conductivity is constant on the cluster. The argument passes through a series of renormalization steps: first, we use standard percolation results to find a large scale above wh…
▽ More
We establish quantitative homogenization, large-scale regularity and Liouville results for the random conductance model on a supercritical (Bernoulli bond) percolation cluster. The results are also new in the case that the conductivity is constant on the cluster. The argument passes through a series of renormalization steps: first, we use standard percolation results to find a large scale above which the geometry of the percolation cluster behaves (in a sense made precise) like that of Euclidean space. Then, following the work of Barlow, we find a succession of larger scales on which certain functional and elliptic estimates hold. This gives us the analytic tools to adapt the quantitative homogenization program of Armstrong and Smart to estimate the yet larger scale on which solutions on the cluster can be well-approximated by harmonic functions on $\mathbb{R}^d$. This is the first quantitative homogenization result in a porous medium and the harmonic approximation allows us to estimate the scale on which a higher-order regularity theory holds. The size of each of these random scales is shown to have at least a stretched exponential moment. As a consequence of this regularity theory, we obtain a Liouville-type result that states that, for each $k\in\mathbb{N}$, the vector space of solutions growing at most like $o(|x|^{k+1})$ as $|x|\to \infty$ has the same dimension as the set of harmonic polynomials of degree at most $k$, generalizing a result of Benjamini, Duminil-Copin, Kozma, and Yadin from $k\le1$ to $k\in\mathbb{N}$.
△ Less
Submitted 3 February, 2017; v1 submitted 29 September, 2016;
originally announced September 2016.
-
A soft-lithographed chaotic electrokinetic micromixer for efficient chemical reactions in lab-on-chips
Authors:
M. Campisi,
D. Accoto,
F. Damiani,
P. Dario
Abstract:
Mixing is one of the basic functions which automated lab-on-chips require for the effective management of liquid samples. In this paper we report on the working principle, design, fabrication and experimental characterization of a soft-lithographed micromixer for microfluidic applications. The device effectively mixes two liquids by means of chaotic advection obtained as an implementation of a L…
▽ More
Mixing is one of the basic functions which automated lab-on-chips require for the effective management of liquid samples. In this paper we report on the working principle, design, fabrication and experimental characterization of a soft-lithographed micromixer for microfluidic applications. The device effectively mixes two liquids by means of chaotic advection obtained as an implementation of a Linked Twisted Map (LTM). In this sense it is chaotic. The liquids are electrokinetically displaced by generating rolls through AC electroosmosis on co-planar electrodes. The device performance has been tested on dyed DI-water for several voltages, frequencies and flow-rates, displaying good mixing properties in the range of $10 ÷100$kHz, at low peak-to-peak voltages ($\sim15 ÷20$ volts). Low voltage supply, small dimensions and possibility of fabrication via standard lithographic techniques make the device highly integrable in lab-on-a-chip platforms.
△ Less
Submitted 8 May, 2007;
originally announced May 2007.
