-
The Pirogov-Sinai Theory for Infinite Interactions
Authors:
A. Mazel,
I. Stuhl,
Y. Suhov
Abstract:
The purpose of this note is to consider a number of straightforward generalizations of the Pirogov-Sinai theory which can be covered by minor additions to the canonical texts. These generalizations are well-known among the adepts of the Pirogov-Sinai theory but are lacking formal references.
The purpose of this note is to consider a number of straightforward generalizations of the Pirogov-Sinai theory which can be covered by minor additions to the canonical texts. These generalizations are well-known among the adepts of the Pirogov-Sinai theory but are lacking formal references.
△ Less
Submitted 3 September, 2024;
originally announced September 2024.
-
The hard-core model on $\mathbb{Z}^3$ and Kepler's conjecture
Authors:
A. Mazel,
I. Stuhl,
Y. Suhov
Abstract:
We study the hard-core model of statistical mechanics on a unit cubic lattice $\mathbb{Z}^3$, which is intrinsically related to the sphere-packing problem for spheres with centers in $\mathbb{Z}^3$. The model is defined by the sphere diameter $D>0$ which is interpreted as a Euclidean exclusion distance between point particles located at spheres centers. The second parameter of the underlying model…
▽ More
We study the hard-core model of statistical mechanics on a unit cubic lattice $\mathbb{Z}^3$, which is intrinsically related to the sphere-packing problem for spheres with centers in $\mathbb{Z}^3$. The model is defined by the sphere diameter $D>0$ which is interpreted as a Euclidean exclusion distance between point particles located at spheres centers. The second parameter of the underlying model is the particle fugacity $u$. For $u>1$ the ground states of the model are given by the dense-packings of the spheres. The identification of such dense-packings is a considerable challenge, and we solve it for $D^2=2, 3, 4, 5, 6, 8, 9, 10, 11, 12$ as well as for $D^2=2\ell^2$, where $\ell\in\mathbb{N}$. For the former family of values of $D^2$ our proofs are self-contained. For $D^2=2\ell^2$ our results are based on the proof of Kepler's conjecture. Depending on the value of $D^2$, we encounter three physically distinct situations: (i) finitely many periodic ground states, (ii) countably many layered periodic ground states and (iii) countably many not necessarily layered periodic ground states. For the first two cases we use the Pirogov-Sinai theory and identify the corresponding periodic Gibbs distributions for $D^2=2,3,5,8,9,10,12$ and $D^2=2\ell^2$, $\ell\in\mathbb{N}$, in a high-density regime $u>u_*(D^2)$, where the system is ordered and tends to fluctuate around some ground states. In particular, for $D^2=5$ only a finite number out of countably many layered periodic ground states generate pure phases.
△ Less
Submitted 17 April, 2023;
originally announced April 2023.
-
Minimal Area of a Voronoi Cell in a Packing of Unit Circles
Authors:
A. Mazel,
I. Stuhl,
Y. Suhov
Abstract:
We present a new self-contained proof of the well-known fact that the minimal area of a Voronoi cell in a unit circle packing is equal to $2\sqrt{3}$, and the minimum is achieved only on a perfect hexagon. The proof is short and, in our opinion, instructive.
We present a new self-contained proof of the well-known fact that the minimal area of a Voronoi cell in a unit circle packing is equal to $2\sqrt{3}$, and the minimum is achieved only on a perfect hexagon. The proof is short and, in our opinion, instructive.
△ Less
Submitted 6 November, 2022;
originally announced November 2022.
-
Kepler's conjecture and phase transitions in the high-density hard-core model on $\mathbb{Z}^3$
Authors:
A. Mazel,
I. Stuhl,
Y. Suhov
Abstract:
We perform a rigorous study of the identical sphere packing problem in $\mathbb{Z}^3$ and of phase transitions in the corresponding hard-core model. The sphere diameter $D>0$ and the fugacity $u\gg 1$ are the varying parameters of the model. We solve the sphere packing problem for values $D^2= 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 2\ell^2$, $\ell\in\mathbb{N}$. For values…
▽ More
We perform a rigorous study of the identical sphere packing problem in $\mathbb{Z}^3$ and of phase transitions in the corresponding hard-core model. The sphere diameter $D>0$ and the fugacity $u\gg 1$ are the varying parameters of the model. We solve the sphere packing problem for values $D^2= 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 2\ell^2$, $\ell\in\mathbb{N}$. For values $D^2=2, 3, 5, 8, 9, 10, 12, 2\ell^2$, $\ell\in\mathbb{N}$ and $u>u^0(D)$ we establish the diagram of periodic pure phases, completely or partially. For the case $D^2=2\ell^2$, $\ell\in\mathbb{N}$ we use results from Hales' proof of Kepler's conjecture.
△ Less
Submitted 13 April, 2023; v1 submitted 28 December, 2021;
originally announced December 2021.
-
DREAM Lite: Simplifying Robot Assisted Therapy for ASD
Authors:
Alexandre Mazel,
Silviu Matu
Abstract:
Robot-Assisted Therapy (RAT) has successfully been used to improve social skills in children with autism spectrum disorders (ASD). The DREAM project explores how to deliver effective RAT interventions to ASD children within a supervisedautonomy framework for controlling the robotic agent, which could decrease the burden on the clinicians delivering such interventions. In this paper we describe how…
▽ More
Robot-Assisted Therapy (RAT) has successfully been used to improve social skills in children with autism spectrum disorders (ASD). The DREAM project explores how to deliver effective RAT interventions to ASD children within a supervisedautonomy framework for controlling the robotic agent, which could decrease the burden on the clinicians delivering such interventions. In this paper we describe how to use in real life settings the experimental protocols that were developed and extensively tested in the DREAM Project, as well as their deployment and validation in a new ecological study conducted by clinicians.
△ Less
Submitted 16 April, 2021;
originally announced April 2021.
-
The hard-core model on planar lattices: the disk-packing problem and high-density phases
Authors:
A. Mazel,
I. Stuhl,
Y. Suhov
Abstract:
We study dense packings of disks and related Gibbs distributions representing high-density phases in the hard-core model on unit triangular, honeycomb and square lattices. The model is characterized by a Euclidean exclusion distance $D>0$ and a value of fugacity $u>0$. We use the Pirogov-Sinai theory to study the Gibbs distributions for a general $D$ when $u$ is large: $u>u_0(D)$. For infinite seq…
▽ More
We study dense packings of disks and related Gibbs distributions representing high-density phases in the hard-core model on unit triangular, honeycomb and square lattices. The model is characterized by a Euclidean exclusion distance $D>0$ and a value of fugacity $u>0$. We use the Pirogov-Sinai theory to study the Gibbs distributions for a general $D$ when $u$ is large: $u>u_0(D)$. For infinite sequences of values $D$ we describe a complete high-density phase diagram: it exhibits a multitude of co-existing pure phases, and their number grows as $O(D^2)$. For the remaining values of $D$, except for those with sliding, the number of co-existing pure phases is still of the form $E(D)\geq O(D^2)$; however, the exact identification of the pure phases requires an additional analysis. Such an analysis is performed for a number of typical examples, which involves computer-assisted proofs. Consequently, for all values $D>0$ where sliding does not occur, we establish the existence of a phase transition.
The crucial steps in the study are (i) the identification of periodic ground states and (ii) the verification of the Peierls bound. This is done by using connections with algebraic number theory. In particular, a complete list of so-called sliding values of $D$ has been specified. As a by-product, we solve the disk-packing problem on the lattices under consideration. The number and structure of maximally-dense packings depend on the disk-diameter $D$, unlike the case of $\mathbb{R}^2$.
△ Less
Submitted 10 October, 2022; v1 submitted 28 November, 2020;
originally announced November 2020.
-
High-density hard-core model on $\mathbb{Z}^2$ and norm equations in ring $\mathbb{Z} [{\sqrt[6]{-1}}]$
Authors:
A. Mazel,
I. Stuhl,
Y. Suhov
Abstract:
We study the Gibbs statistics of high-density hard-core configurations on a unit square lattice $\mathbb{Z}^2$, for a general Euclidean exclusion distance $D$. As a by-product, we solve the disk-packing problem on $\mathbb{Z}^2$ for disks of diameter $D$. The key point is an analysis of solutions to norm equations in $\mathbb{Z}[{\sqrt[6]{-1}}]$. We describe the ground states in terms of M-triangl…
▽ More
We study the Gibbs statistics of high-density hard-core configurations on a unit square lattice $\mathbb{Z}^2$, for a general Euclidean exclusion distance $D$. As a by-product, we solve the disk-packing problem on $\mathbb{Z}^2$ for disks of diameter $D$. The key point is an analysis of solutions to norm equations in $\mathbb{Z}[{\sqrt[6]{-1}}]$. We describe the ground states in terms of M-triangles, i.e., non-obtuse $\mathbb{Z}^2$-triangles of a minimal area with the side-lengths $\geq D$.
There is a finite class (Class S) formed by values $D^2$ generating sliding, a phenomenon leading to countable families of periodic ground states. We identify all $D^2$ with sliding. Each of the remaining classes is proven to be infinite; they are characterized by uniqueness or non-uniqueness of a minimal triangle for a given $D^2$, up to $\mathbb{Z}^2$-congruencies. For values of $D^2$ with uniqueness (Class A) we describe the periodic ground states as admissible sub-lattices in $\mathbb{Z}^2$ of maximum density. By using the Pirogov-Sinai theory, it allows us to identify the extreme Gibbs measures (pure phases) for large values of fugacity and describe symmetries between them.
Next, we analyze the values $D^2$ with non-uniqueness. For some $D^2$ all M-triangles are ${\mathbb{R}}^2$-congruent but not $\mathbb{Z}^2$-congruent (Class B0). For other values of $D^2$ there exist non-${\mathbb{R}}^2$-congruent M-triangles, with different collections of side-lengths (Class B1). Moreover, there are values $D^2$ for which both cases occur (Class B2). The large-fugacity phase diagram for Classes B0, B1, B2 is determined by dominant ground states.
Classes A, B0-B2 are described in terms of cosets in $\mathbb{Z}[{\sqrt[6]{-1}}]$ by the group of units.
△ Less
Submitted 22 June, 2023; v1 submitted 25 September, 2019;
originally announced September 2019.
-
MuMMER: Socially Intelligent Human-Robot Interaction in Public Spaces
Authors:
Mary Ellen Foster,
Bart Craenen,
Amol Deshmukh,
Oliver Lemon,
Emanuele Bastianelli,
Christian Dondrup,
Ioannis Papaioannou,
Andrea Vanzo,
Jean-Marc Odobez,
Olivier Canévet,
Yuanzhouhan Cao,
Weipeng He,
Angel Martínez-González,
Petr Motlicek,
Rémy Siegfried,
Rachid Alami,
Kathleen Belhassein,
Guilhem Buisan,
Aurélie Clodic,
Amandine Mayima,
Yoan Sallami,
Guillaume Sarthou,
Phani-Teja Singamaneni,
Jules Waldhart,
Alexandre Mazel
, et al. (5 additional authors not shown)
Abstract:
In the EU-funded MuMMER project, we have developed a social robot designed to interact naturally and flexibly with users in public spaces such as a shopping mall. We present the latest version of the robot system developed during the project. This system encompasses audio-visual sensing, social signal processing, conversational interaction, perspective taking, geometric reasoning, and motion plann…
▽ More
In the EU-funded MuMMER project, we have developed a social robot designed to interact naturally and flexibly with users in public spaces such as a shopping mall. We present the latest version of the robot system developed during the project. This system encompasses audio-visual sensing, social signal processing, conversational interaction, perspective taking, geometric reasoning, and motion planning. It successfully combines all these components in an overarching framework using the Robot Operating System (ROS) and has been deployed to a shopping mall in Finland interacting with customers. In this paper, we describe the system components, their interplay, and the resulting robot behaviours and scenarios provided at the shopping mall.
△ Less
Submitted 15 September, 2019;
originally announced September 2019.
-
High-density hard-core model on triangular and hexagonal lattices
Authors:
A. Mazel,
I. Stuhl,
Y. Suhov
Abstract:
We perform a rigorous study of the Gibbs statistics of high-density hard-core random configurations on a unit triangular lattice $\mathbb{A}_2$ and a unit honeycomb graph $\mathbb{H}_2$, for any value of the (Euclidean) repulsion diameter $D>0$. Only attainable values of $D$ are relevant, for which $D^2=a^2+b^2+ab$, $a, b \in\mathbb{Z}$ (Löschian numbers). Depending on arithmetic properties of…
▽ More
We perform a rigorous study of the Gibbs statistics of high-density hard-core random configurations on a unit triangular lattice $\mathbb{A}_2$ and a unit honeycomb graph $\mathbb{H}_2$, for any value of the (Euclidean) repulsion diameter $D>0$. Only attainable values of $D$ are relevant, for which $D^2=a^2+b^2+ab$, $a, b \in\mathbb{Z}$ (Löschian numbers). Depending on arithmetic properties of $D^2$, we identify, for large fugacities, the pure phases (extreme Gibbs measures) and specify their symmetries. The answers depend on the way(s) an equilateral triangle of side-length $D$ can be inscribed in $\mathbb{A}_2$ or $\mathbb{H}_2$. On $\mathbb{A}_2$, our approach works for all attainable $D^2$; on $\mathbb{H}_2$ we have to exclude $D^2 = 4, 7, 31, 133$, where a sliding phenomenon occurs, similar to that on a unit square lattice $\mathbb{Z}^2$. For all values $D^2$ apart from the excluded ones we prove the existence of a first-order phase transition where the number of co-existing pure phases grows at least as $O(D^2)$.
The proof is based on the Pirogov--Sinai theory which requires non-trivial verifications of key assumptions: finiteness of the set of periodic ground states and the Peierls bound. To establish the Peierls bound, we develop a general method based on the concept of a re-distributed area for Delaunay triangles. Some of the presented proofs are computer-assisted.
As a by-product of the ground state identification, we solve the disk-packing problem on $\mathbb{A}_2$ and $\mathbb{H}_2$ for any value of the disk diameter $D$.
△ Less
Submitted 21 October, 2020; v1 submitted 11 March, 2018;
originally announced March 2018.
-
Dominance of most tolerant species in multi-type lattice Widom-Rowlinson models
Authors:
A. Mazel,
Yu. Suhov,
I. Stuhl,
S. Zohren
Abstract:
We analyse equilibrium phases in a multi-type lattice Widom-Rowlinson model with (i) four particle types, (ii) varying exclusion diameters between different particle types and (iii) large values of fugacity. Contrary to an expectation, it is not the most "aggressive" species, with largest diameters, which dominates the equilibrium measure, but the "most tolerant" one, which has smallest exclusion…
▽ More
We analyse equilibrium phases in a multi-type lattice Widom-Rowlinson model with (i) four particle types, (ii) varying exclusion diameters between different particle types and (iii) large values of fugacity. Contrary to an expectation, it is not the most "aggressive" species, with largest diameters, which dominates the equilibrium measure, but the "most tolerant" one, which has smallest exclusion diameters. Results of numerical simulations are presented, showing densities of species in equilibrium phases and confirming the theoretical picture.
△ Less
Submitted 23 October, 2016; v1 submitted 23 March, 2014;
originally announced March 2014.
-
A classical WR model with $q$ particle types
Authors:
A. Mazel,
Yu. Suhov,
I. Stuhl
Abstract:
A version of the Widom--Rowlinson model is considered, where particles of $q$ types coexist, with a given collection of hard-core exclusion diameters. For $q\leq 4$, in the case of large equal fugacities, we give a complete description of the pure phase picture, based on the theory of dominant ground states.
A version of the Widom--Rowlinson model is considered, where particles of $q$ types coexist, with a given collection of hard-core exclusion diameters. For $q\leq 4$, in the case of large equal fugacities, we give a complete description of the pure phase picture, based on the theory of dominant ground states.
△ Less
Submitted 26 July, 2014; v1 submitted 31 October, 2013;
originally announced November 2013.
-
Invariant measures for Burgers equation with stochastic forcing
Authors:
Weinan E,
K. M. Khanin,
A. E. Mazel,
Ya. G. Sinai
Abstract:
In this paper we study the following Burgers equation
du/dt + d/dx (u^2/2) = epsilon d^2u/dx^2 + f(x,t)
where f(x,t)=dF/dx(x,t) is a random forcing function, which is periodic in x and white noise in t. We prove the existence and uniqueness of an invariant measure by establishing a ``one force, one solution'' principle, namely that for almost every realization of the force, there is a uniqu…
▽ More
In this paper we study the following Burgers equation
du/dt + d/dx (u^2/2) = epsilon d^2u/dx^2 + f(x,t)
where f(x,t)=dF/dx(x,t) is a random forcing function, which is periodic in x and white noise in t. We prove the existence and uniqueness of an invariant measure by establishing a ``one force, one solution'' principle, namely that for almost every realization of the force, there is a unique distinguished solution that exists for the time interval (-infty, +infty) and this solution attracts all other solutions with the same forcing. This is done by studying the so-called one-sided minimizers. We also give a detailed description of the structure and regularity properties for the stationary solutions. In particular, we prove, under some non-degeneracy conditions on the forcing, that almost surely there is a unique main shock and a unique global minimizer for the stationary solutions. Furthermore the global minimizer is a hyperbolic trajectory of the underlying system of characteristics.
△ Less
Submitted 30 April, 2000;
originally announced May 2000.
-
Improved Peierls Argument for High Dimensional Ising Models
Authors:
J. L. Lebowitz,
A. Mazel
Abstract:
We consider the low temperature expansion for the Ising model on $\Z^d$, $d \ge 2$, with ferromagnetic nearest neighbor interactions in terms of Peierls contours. We prove that the expansion converges for all temperatures smaller than $C d (\log d)^{-1}$, which is the correct order in $d$.
We consider the low temperature expansion for the Ising model on $\Z^d$, $d \ge 2$, with ferromagnetic nearest neighbor interactions in terms of Peierls contours. We prove that the expansion converges for all temperatures smaller than $C d (\log d)^{-1}$, which is the correct order in $d$.
△ Less
Submitted 10 September, 1998;
originally announced September 1998.
-
Liquid-Vapor Phase Transitions for Systems with Finite Range Interactions
Authors:
J. L. Lebowitz,
A. Mazel,
E. Presutti
Abstract:
We consider particles in $\R^d, d \geq 2$ interacting via attractive pair and repulsive four-body potentials of the Kac type. Perturbing about mean field theory, valid when the interaction range becomes infinite, we prove rigorously the existence of a liquid-gas phase transition, when the interaction range is finite but long compared to the interparticle spacing for a range of temperature.
We consider particles in $\R^d, d \geq 2$ interacting via attractive pair and repulsive four-body potentials of the Kac type. Perturbing about mean field theory, valid when the interaction range becomes infinite, we prove rigorously the existence of a liquid-gas phase transition, when the interaction range is finite but long compared to the interparticle spacing for a range of temperature.
△ Less
Submitted 9 September, 1998;
originally announced September 1998.
-
Rigorous Proof of a Liquid-Vapor Phase Transition in a Continuum Particle System
Authors:
J. L. Lebowitz,
A. E. Mazel,
E. Presutti
Abstract:
We consider particles in ${\Bbb R}^d, d \geq 2$, interacting via attractive pair and repulsive four-body potentials of the Kac type. Perturbing about mean field theory, valid when the interaction range becomes infinite, we prove rigorously the existence of a liquid-gas phase transition when the interaction range is finite but long compared to the interparticle spacing.
We consider particles in ${\Bbb R}^d, d \geq 2$, interacting via attractive pair and repulsive four-body potentials of the Kac type. Perturbing about mean field theory, valid when the interaction range becomes infinite, we prove rigorously the existence of a liquid-gas phase transition when the interaction range is finite but long compared to the interparticle spacing.
△ Less
Submitted 9 September, 1998;
originally announced September 1998.
-
Ordering and Demixing Transitions in Multicomponent Widom-Rowlinson Models
Authors:
J. L. Lebowitz,
A. Mazel,
P. Nielaba,
L. Samaj
Abstract:
We use Monte Carlo techniques and analytical methods to study the phase diagram of multicomponent Widom-Rowlinson models on a square lattice: there are M species all with the same fugacity z and a nearest neighbor hard core exclusion between unlike particles. Simulations show that for M between two and six there is a direct transition from the gas phase at z < z_d (M) to a demixed phase consisti…
▽ More
We use Monte Carlo techniques and analytical methods to study the phase diagram of multicomponent Widom-Rowlinson models on a square lattice: there are M species all with the same fugacity z and a nearest neighbor hard core exclusion between unlike particles. Simulations show that for M between two and six there is a direct transition from the gas phase at z < z_d (M) to a demixed phase consisting mostly of one species at z > z_d (M) while for M \geq 7 there is an intermediate ``crystal phase'' for z lying between z_c(M) and z_d(M). In this phase, which is driven by entropy, particles, independent of species, preferentially occupy one of the sublattices, i.e. spatial symmetry but not particle symmetry is broken. The transition at z_d(M) appears to be first order for M \geq 5 putting it in the Potts model universality class. For large M the transition between the crystalline and demixed phase at z_d(M) can be proven to be first order with z_d(M) \sim M-2 + 1/M + ..., while z_c(M) is argued to behave as μ_{cr}/M, with μ_{cr} the value of the fugacity at which the one component hard square lattice gas has a transition, and to be always of the Ising type. Explicit calculations for the Bethe lattice with the coordination number q=4 give results similar to those for the square lattice except that the transition at z_d(M) becomes first order at M>2. This happens for all q, consistent with the model being in the Potts universality class.
△ Less
Submitted 1 July, 1997;
originally announced July 1997.
-
On the uniqueness of Gibbs states in the Pirogov-Sinai theory
Authors:
J. L. Lebowitz,
A. E. Mazel
Abstract:
We prove that, for low-temperature systems considered in the Pirogov-Sinai theory, uniqueness in the class of translation-periodic Gibbs states implies global uniqueness, i.e. the absence of any non-periodic Gibbs state. The approach to this infinite volume state is exponentially fast.
We prove that, for low-temperature systems considered in the Pirogov-Sinai theory, uniqueness in the class of translation-periodic Gibbs states implies global uniqueness, i.e. the absence of any non-periodic Gibbs state. The approach to this infinite volume state is exponentially fast.
△ Less
Submitted 8 March, 1997;
originally announced March 1997.
