-
A new provably stable weighted state redistribution algorithm
Authors:
Marsha Berger,
Andrew Giuliani
Abstract:
We propose a practical finite volume method on cut cells using state redistribution. Our algorithm is provably monotone, total variation diminishing, and GKS stable in many situations, and shuts off continuously as the cut cell size approaches a target value. Our analysis reveals why original state redistribution works so well: it results in a monotone scheme for most configurations, though at tim…
▽ More
We propose a practical finite volume method on cut cells using state redistribution. Our algorithm is provably monotone, total variation diminishing, and GKS stable in many situations, and shuts off continuously as the cut cell size approaches a target value. Our analysis reveals why original state redistribution works so well: it results in a monotone scheme for most configurations, though at times subject to a slightly smaller CFL condition. Our analysis also explains why a pre-merging step is beneficial. We show computational experiments in two and three dimensions.
△ Less
Submitted 2 April, 2024; v1 submitted 30 August, 2023;
originally announced August 2023.
-
Low temperature asymptotic expansion for classical $O(N)$ vector models
Authors:
Alessandro Giuliani,
Sébastien Ott
Abstract:
We consider classical $O(N)$ vector models in dimension three and higher and investigate the nature of the low-temperature expansions for their multipoint spin correlations. We prove that such expansions define asymptotic series, and derive explicit estimates on the error terms associated with their finite order truncations. The result applies, in particular, to the spontaneous magnetization of th…
▽ More
We consider classical $O(N)$ vector models in dimension three and higher and investigate the nature of the low-temperature expansions for their multipoint spin correlations. We prove that such expansions define asymptotic series, and derive explicit estimates on the error terms associated with their finite order truncations. The result applies, in particular, to the spontaneous magnetization of the 3D Heisenberg model. The proof combines a priori bounds on the moments of the local spin observables, following from reflection positivity and the infrared bound, with an integration-by-parts method applied systematically to a suitable integral representation of the correlation functions. Our method generalizes an approach, proposed originally by Bricmont and collaborators [6] in the context of the rotator model, to the case of non-abelian symmetry and non-gradient observables.
△ Less
Submitted 14 February, 2023;
originally announced February 2023.
-
Upper bound for the ground state energy of a dilute Bose gas of hard spheres
Authors:
Giulia Basti,
Serena Cenatiempo,
Alessandro Giuliani,
Alessandro Olgiati,
Giulio Pasqualetti,
Benjamin Schlein
Abstract:
We consider a gas of bosons interacting through a hard-sphere potential with radius $\frak{a}$ in the thermodynamic limit. We derive a simple upper bound for the ground state energy per particle at low density. Our bound captures the leading term $4πρ\frak{a}$ and shows that corrections are smaller than $C ρ\frak{a} (ρ\frak{a}^3)^{1/2}$, for a sufficiently large constant $C > 0$. In combination wi…
▽ More
We consider a gas of bosons interacting through a hard-sphere potential with radius $\frak{a}$ in the thermodynamic limit. We derive a simple upper bound for the ground state energy per particle at low density. Our bound captures the leading term $4πρ\frak{a}$ and shows that corrections are smaller than $C ρ\frak{a} (ρ\frak{a}^3)^{1/2}$, for a sufficiently large constant $C > 0$. In combination with a known lower bound, our result implies that the first sub-leading term to the ground state energy is, in fact, of the order $ρ\frak{a} (ρ\frak{a}^3)^{1/2}$, in agreement with the Lee-Huang-Yang prediction.
△ Less
Submitted 31 January, 2023; v1 submitted 8 December, 2022;
originally announced December 2022.
-
Direct stellarator coil optimization for nested magnetic surfaces with precise quasi-symmetry
Authors:
Andrew Giuliani,
Florian Wechsung,
Antoine Cerfon,
Matt Landreman,
Georg Stadler
Abstract:
We present a robust optimization algorithm for the design of electromagnetic coils that generate vacuum magnetic fields with nested flux surfaces and precise quasi-symmetry. The method is based on a bilevel optimization problem, where the outer coil optimization is constrained by a set of inner least-squares optimization problems whose solutions describe magnetic surfaces. The outer optimization o…
▽ More
We present a robust optimization algorithm for the design of electromagnetic coils that generate vacuum magnetic fields with nested flux surfaces and precise quasi-symmetry. The method is based on a bilevel optimization problem, where the outer coil optimization is constrained by a set of inner least-squares optimization problems whose solutions describe magnetic surfaces. The outer optimization objective targets coils that generate a field with nested magnetic surfaces and good quasi-symmetry. The inner optimization problems identify magnetic surfaces when they exist, and approximate surfaces in the presence of magnetic islands or chaos. We show that this formulation can be used to heal islands and chaos, thus producing coils that result in magnetic fields with precise quasi-symmetry. We show that the method can be initialized with coils from the traditional two stage coil design process, as well as coils from a near axis expansion optimization. We present a numerical example where island chains are healed and quasi-symmetry is optimized up to surfaces with aspect ratio 6. Another numerical example illustrates that the aspect ratio of nested flux surfaces with optimized quasi-symmetry can be decreased from 6 to approximately 4. The last example shows that our approach is robust and a cold-start using coils from a near-axis expansion optimization.
△ Less
Submitted 13 March, 2023; v1 submitted 6 October, 2022;
originally announced October 2022.
-
Weakly non-planar dimers
Authors:
Alessandro Giuliani,
Bruno Renzi,
Fabio Toninelli
Abstract:
We study a model of fully-packed dimer configurations (or perfect matchings) on a bipartite periodic graph that is two-dimensional but not planar. The graph is obtained from $\mathbb Z^2$ via the addition of an extensive number of extra edges that break planarity (but not bipartiteness). We prove that, if the weight $λ$ of the non-planar edges is small enough, a suitably defined height function sc…
▽ More
We study a model of fully-packed dimer configurations (or perfect matchings) on a bipartite periodic graph that is two-dimensional but not planar. The graph is obtained from $\mathbb Z^2$ via the addition of an extensive number of extra edges that break planarity (but not bipartiteness). We prove that, if the weight $λ$ of the non-planar edges is small enough, a suitably defined height function scales on large distances to the Gaussian Free Field with a $λ$-dependent amplitude, that coincides with the anomalous exponent of dimer-dimer correlations. Because of non-planarity, Kasteleyn's theory does not apply: the model is not integrable. Rather, we map the model to a system of interacting lattice fermions in the Luttinger universality class, which we then analyze via fermionic Renormalization Group methods.
△ Less
Submitted 19 August, 2023; v1 submitted 21 July, 2022;
originally announced July 2022.
-
Stochastic and a posteriori optimization to mitigate coil manufacturing errors in stellarator design
Authors:
Florian Wechsung,
Andrew Giuliani,
Matt Landreman,
Antoine Cerfon,
Georg Stadler
Abstract:
It was recently shown in [Wechsung et. al., Proc. Natl. Acad. Sci. USA, 2022] that there exist electromagnetic coils that generate magnetic fields which are excellent approximations to quasi-symmetric fields and have very good particle confinement properties. Using a Gaussian process based model for coil perturbations, we investigate the impact of manufacturing errors on the performance of these c…
▽ More
It was recently shown in [Wechsung et. al., Proc. Natl. Acad. Sci. USA, 2022] that there exist electromagnetic coils that generate magnetic fields which are excellent approximations to quasi-symmetric fields and have very good particle confinement properties. Using a Gaussian process based model for coil perturbations, we investigate the impact of manufacturing errors on the performance of these coils. We show that even fairly small errors result in noticeable performance degradation. While stochastic optimization yields minor improvements, it is not able to mitigate these errors significantly. As an alternative to stochastic optimization, we then formulate a new optimization problem for computing optimal adjustments of the coil positions and currents without changing the shapes of the coil. These a-posteriori adjustments are able to reduce the impact of coil errors by an order of magnitude, providing a new perspective for dealing with manufacturing tolerances in stellarator design.
△ Less
Submitted 30 July, 2022; v1 submitted 18 March, 2022;
originally announced March 2022.
-
A Weighted State Redistribution Algorithm for Embedded Boundary Grids
Authors:
Andrew Giuliani,
Ann S. Almgren,
John B. Bell,
Marsha J. Berger,
Marc T. Henry de Frahan,
Deepak Rangarajan
Abstract:
State redistribution is an algorithm that stabilizes cut cells for embedded boundary grid methods. This work extends the earlier algorithm in several important ways. First, state redistribution is extended to three spatial dimensions. Second, we discuss several algorithmic changes and improvements motivated by the more complicated cut cell geometries that can occur in higher dimensions. In particu…
▽ More
State redistribution is an algorithm that stabilizes cut cells for embedded boundary grid methods. This work extends the earlier algorithm in several important ways. First, state redistribution is extended to three spatial dimensions. Second, we discuss several algorithmic changes and improvements motivated by the more complicated cut cell geometries that can occur in higher dimensions. In particular, we introduce a weighted version with less dissipation in an easily generalizable framework. Third, we demonstrate that state redistribution can also stabilize a solution update that includes both advective and diffusive contributions. The stabilization algorithm is shown to be effective for incompressible as well as compressible reacting flows. Finally, we discuss the implementation of the algorithm for several exascale-ready simulation codes based on AMReX, demonstrating ease of use in combination with domain decomposition, hybrid parallelism and complex physics.
△ Less
Submitted 11 May, 2022; v1 submitted 22 December, 2021;
originally announced December 2021.
-
Single-stage gradient-based stellarator coil design: stochastic optimization
Authors:
Florian Wechsung,
Andrew Giuliani,
Matt Landreman,
Antoine Cerfon,
Georg Stadler
Abstract:
We extend the single-stage stellarator coil design approach for quasi-symmetry on axis from [Giuliani et al, 2020] to additionally take into account coil manufacturing errors. By modeling coil errors independently from the coil discretization, we have the flexibility to consider realistic forms of coil errors. The corresponding stochastic optimization problems are formulated using a risk-neutral a…
▽ More
We extend the single-stage stellarator coil design approach for quasi-symmetry on axis from [Giuliani et al, 2020] to additionally take into account coil manufacturing errors. By modeling coil errors independently from the coil discretization, we have the flexibility to consider realistic forms of coil errors. The corresponding stochastic optimization problems are formulated using a risk-neutral approach and risk-averse approaches. We present an efficient, gradient-based descent algorithm which relies on analytical derivatives to solve these problems. In a comprehensive numerical study, we compare the coil designs resulting from deterministic and risk-neutral stochastic optimization and find that the risk-neutral formulation results in more robust configurations and reduces the number of local minima of the optimization problem. We also compare deterministic and risk-neutral approaches in terms of quasi-symmetry on and away from the magnetic axis, and in terms of the confinement of particles released close to the axis. Finally, we show that for the optimization problems we consider, a risk-averse objective using the Conditional Value-at-Risk leads to results which are similar to the risk-neutral objective.
△ Less
Submitted 22 June, 2021;
originally announced June 2021.
-
A two-dimensional stabilized discontinuous Galerkin method on curvilinear embedded boundary grids
Authors:
Andrew Giuliani
Abstract:
We propose a state redistribution method for high order discontinuous Galerkin methods on curvilinear embedded boundary grids. State redistribution relaxes the overly restrictive CFL condition that results from arbitrarily small cut cells and explicit time step**. Thus, the scheme can take time steps that are proportional to the size of cells in the background grid. The discontinuous Galerkin sc…
▽ More
We propose a state redistribution method for high order discontinuous Galerkin methods on curvilinear embedded boundary grids. State redistribution relaxes the overly restrictive CFL condition that results from arbitrarily small cut cells and explicit time step**. Thus, the scheme can take time steps that are proportional to the size of cells in the background grid. The discontinuous Galerkin scheme is stabilized by postprocessing the numerical solution after each stage or step of an explicit time step** method. This is done by temporarily merging the small cells into larger, possibly overlap** neighborhoods using a special weighted inner product. Then, the numerical solution on the neighborhoods is returned to the base grid in a conservative fashion. The advantage of this approach is that it uses only basic mesh information that is already available in many cut cell codes and does not require complex geometric manipulations. Finally, we present a number of test problems that demonstrate the encouraging potential of this technique for applications on curvilinear embedded geometries. Numerical experiments reveal that our scheme converges with order $p+1$ in $L_1$ and between $p$ and $p+1$ in $L_\infty$ for problems with smooth solutions. We also demonstrate that state redistribution is capable of capturing shocks.
△ Less
Submitted 5 December, 2021; v1 submitted 2 February, 2021;
originally announced February 2021.
-
Single-stage gradient-based stellarator coil design: Optimization for near-axis quasi-symmetry
Authors:
Andrew Giuliani,
Florian Wechsung,
Antoine Cerfon,
Georg Stadler,
Matt Landreman
Abstract:
We present a new coil design paradigm for magnetic confinement in stellarators. Our approach directly optimizes coil shapes and coil currents to produce a vacuum quasi-symmetric magnetic field with a target rotational transform on the magnetic axis. This approach differs from the traditional two-stage approach in which first a magnetic configuration with desirable physics properties is found, and…
▽ More
We present a new coil design paradigm for magnetic confinement in stellarators. Our approach directly optimizes coil shapes and coil currents to produce a vacuum quasi-symmetric magnetic field with a target rotational transform on the magnetic axis. This approach differs from the traditional two-stage approach in which first a magnetic configuration with desirable physics properties is found, and then coils to approximately realize this magnetic configuration are designed. The proposed single-stage approach allows us to find a compromise between confinement and engineering requirements, i.e., find easy-to-build coils with good confinement properties. Using forward and adjoint sensitivities, we derive derivatives of the physical quantities in the objective, which is constrained by a nonlinear periodic differential equation. In two numerical examples, we compare different gradient-based descent algorithms and find that incorporating approximate second-order derivative information through a quasi-Newton method is crucial for convergence. We also explore the optimization landscape in the neighborhood of a minimizer and find many directions in which the objective is mostly flat, indicating ample freedom to find simple and thus easy-to-build coils.
△ Less
Submitted 15 March, 2022; v1 submitted 1 October, 2020;
originally announced October 2020.
-
Gentle introduction to rigorous Renormalization Group: a worked fermionic example
Authors:
Alessandro Giuliani,
Vieri Mastropietro,
Slava Rychkov
Abstract:
Much of our understanding of critical phenomena is based on the notion of Renormalization Group (RG), but the actual determination of its fixed points is usually based on approximations and truncations, and predictions of physical quantities are often of limited accuracy. The RG fixed points can be however given a fully rigorous and non-perturbative characterization, and this is what is presented…
▽ More
Much of our understanding of critical phenomena is based on the notion of Renormalization Group (RG), but the actual determination of its fixed points is usually based on approximations and truncations, and predictions of physical quantities are often of limited accuracy. The RG fixed points can be however given a fully rigorous and non-perturbative characterization, and this is what is presented here in a model of symplectic fermions with a nonlocal ("long-range") kinetic term depending on a parameter $\varepsilon$ and a quartic interaction. We identify the Banach space of interactions, which the fixed point belongs to, and we determine it via a convergent approximation scheme. The Banach space is not limited to relevant interactions, but it contains all possible irrelevant terms with short-ranged kernels, decaying like a stretched exponential at large distances. As the model shares a number of features in common with $φ^4$ or Ising models, the result can be used as a benchmark to test the validity of truncations and approximations in RG studies. The analysis is based on results coming from Constructive RG to which we provide a tutorial and self-contained introduction. In addition, we prove that the fixed point is analytic in $\varepsilon$, a somewhat surprising fact relying on the fermionic nature of the problem.
△ Less
Submitted 30 January, 2021; v1 submitted 10 August, 2020;
originally announced August 2020.
-
A state redistribution algorithm for finite volume schemes on cut cell meshes
Authors:
Marsha Berger,
Andrew Giuliani
Abstract:
In this paper we develop a new technique, called \textit{state redistribution}, that allows the use of explicit time step** when approximating solutions to hyperbolic conservation laws on embedded boundary grids. State redistribution is a postprocessing technique applied after each time step or stage of the base finite volume scheme, using a time step that is proportional to the volume of the fu…
▽ More
In this paper we develop a new technique, called \textit{state redistribution}, that allows the use of explicit time step** when approximating solutions to hyperbolic conservation laws on embedded boundary grids. State redistribution is a postprocessing technique applied after each time step or stage of the base finite volume scheme, using a time step that is proportional to the volume of the full cells. The idea is to stabilize the cut cells by temporarily merging them into larger, possibly overlap** neighborhoods, then replacing the cut cell values with a stabilized value that maintains conservation and accuracy. We present examples of state redistribution using two base schemes: MUSCL and a second order Method of Lines finite volume scheme. State redistribution is used to compute solutions to several standard test problems in gas dynamics on cut cell meshes, with both smooth and discontinuous solutions. We show that our method does not reduce the accuracy of the base scheme and that it successfully captures shocks in a non-oscillatory manner.
△ Less
Submitted 12 May, 2020;
originally announced May 2020.
-
Long range order in atomistic models for solids
Authors:
Alessandro Giuliani,
Florian Theil
Abstract:
The emergence of long-range order at low temperatures in atomistic systems with continuous symmetry is a fundamental, yet poorly understood phenomenon in Physics. To address this challenge we study a discrete microscopic model for an elastic crystal with dislocations in three dimensions, previously introduced by Ariza and Ortiz. The model is rich enough to support some realistic features of three-…
▽ More
The emergence of long-range order at low temperatures in atomistic systems with continuous symmetry is a fundamental, yet poorly understood phenomenon in Physics. To address this challenge we study a discrete microscopic model for an elastic crystal with dislocations in three dimensions, previously introduced by Ariza and Ortiz. The model is rich enough to support some realistic features of three-dimensional dislocation theory, most notably grains and the Read-Shockley law for grain boundaries, which we rigorously derive in a simple, explicit, geometry. We analyze the model at positive temperatures, in terms of a Gibbs distribution with energy function given by the Ariza-Ortiz Hamiltonian plus a contribution from the dislocation cores. Our main result is that the model exhibits long range positional order at low temperatures. The proof is based on the tools of discrete exterior calculus, together with cluster expansion techniques.
△ Less
Submitted 2 November, 2021; v1 submitted 18 July, 2019;
originally announced July 2019.
-
Non-integrable dimer models: universality and scaling relations
Authors:
Alessandro Giuliani,
Fabio Lucio Toninelli
Abstract:
In the last few years, the methods of constructive Fermionic Renormalization Group have been successfully applied to the study of the scaling limit of several two-dimensional statistical mechanics models at the critical point, including: weakly non-integrable 2D Ising models, Ashkin-Teller, 8-Vertex, and close-packed interacting dimer models. In this note, we will focus on the illustrative example…
▽ More
In the last few years, the methods of constructive Fermionic Renormalization Group have been successfully applied to the study of the scaling limit of several two-dimensional statistical mechanics models at the critical point, including: weakly non-integrable 2D Ising models, Ashkin-Teller, 8-Vertex, and close-packed interacting dimer models. In this note, we will focus on the illustrative example of the interacting dimer model and review some of the universality results derived in this context. In particular, we will discuss the massless Gaussian free field (GFF) behavior of the height fluctuations. It turns out that GFF behavior is connected with a remarkable identity (`Haldane' or 'Kadanoff relation') between an amplitude and an anomalous critical exponent, characterizing the large distance behavior of the dimer-dimer correlations.
△ Less
Submitted 10 May, 2019;
originally announced May 2019.
-
Non-integrable dimers: Universal fluctuations of tilted height profiles
Authors:
Alessandro Giuliani,
Vieri Mastropietro,
Fabio Lucio Toninelli
Abstract:
We study a class of close-packed dimer models on the square lattice, in the presence of small but extensive perturbations that make them non-determinantal. Examples include the 6-vertex model close to the free-fermion point, and the dimer model with plaquette interaction previously analyzed in \cite{A,AL,GMT17a,GMT17b}. By tuning the edge weights, we can impose a non-zero average tilt for the heig…
▽ More
We study a class of close-packed dimer models on the square lattice, in the presence of small but extensive perturbations that make them non-determinantal. Examples include the 6-vertex model close to the free-fermion point, and the dimer model with plaquette interaction previously analyzed in \cite{A,AL,GMT17a,GMT17b}. By tuning the edge weights, we can impose a non-zero average tilt for the height function, so that the considered models are in general not symmetric under discrete rotations and reflections. In the determinantal case, height fluctuations in the massless (or `liquid') phase scale to a Gaussian log-correlated field and their amplitude is a universal constant, independent of the tilt. When the perturbation strength $λ$ is sufficiently small we prove, by fermionic constructive Renormalization Group methods, that log-correlations survive, with amplitude $A$ that, generically, depends non-trivially and non-universally on $λ$ and on the tilt. On the other hand, $A$ satisfies a universal scaling relation (`Haldane' or `Kadanoff' relation), saying that it equals the anomalous exponent of the dimer-dimer correlation.
△ Less
Submitted 13 March, 2020; v1 submitted 16 April, 2019;
originally announced April 2019.
-
Haldane relation for interacting dimers
Authors:
Alessandro Giuliani,
Vieri Mastropietro,
Fabio Lucio Toninelli
Abstract:
We consider a model of weakly interacting, close-packed, dimers on the two-dimensional square lattice. In a previous paper, we computed both the multipoint dimer correlations, which display non-trivial critical exponents, continuously varying with the interaction strength; and the height fluctuations, which, after proper coarse graining and rescaling, converge to the massless Gaussian field with a…
▽ More
We consider a model of weakly interacting, close-packed, dimers on the two-dimensional square lattice. In a previous paper, we computed both the multipoint dimer correlations, which display non-trivial critical exponents, continuously varying with the interaction strength; and the height fluctuations, which, after proper coarse graining and rescaling, converge to the massless Gaussian field with a suitable interaction-dependent pre-factor (`amplitude'). In this paper, we prove the identity between the critical exponent of the two-point dimer correlation and the amplitude of this massless Gaussian field. This identity is the restatement, in the context of interacting dimers, of one of the Haldane universality relations, part of his Luttinger liquid conjecture, originally formulated in the context of one-dimensional interacting Fermi systems. Its validity is a strong confirmation of the effective massless Gaussian field description of the interacting dimer model, which was guessed on the basis of formal bosonization arguments. We also conjecture that a certain discrete curve defined at the lattice level via the Temperley bijection converges in the scaling limit to an SLE$_κ$ process, with $κ$ depending non-trivially on the interaction and related in a simple way to the amplitude of the limiting Gaussian field.
△ Less
Submitted 5 December, 2016;
originally announced December 2016.
-
A Pfaffian formula for monomer-dimer partition functions
Authors:
Alessandro Giuliani,
Ian Jauslin,
Elliott H. Lieb
Abstract:
We consider the monomer-dimer partition function on arbitrary finite planar graphs and arbitrary monomer and dimer weights, with the restriction that the only non-zero monomer weights are those on the boundary. We prove a Pfaffian formula for the corresponding partition function. As a consequence of this result, multipoint boundary monomer correlation functions at close packing are shown to satisf…
▽ More
We consider the monomer-dimer partition function on arbitrary finite planar graphs and arbitrary monomer and dimer weights, with the restriction that the only non-zero monomer weights are those on the boundary. We prove a Pfaffian formula for the corresponding partition function. As a consequence of this result, multipoint boundary monomer correlation functions at close packing are shown to satisfy fermionic statistics. Our proof is based on the celebrated Kasteleyn theorem, combined with a theorem on Pfaffians proved by one of the authors, and a careful labeling and directing procedure of the vertices and edges of the graph.
△ Less
Submitted 22 August, 2016; v1 submitted 16 October, 2015;
originally announced October 2015.
-
Height fluctuations in interacting dimers
Authors:
Alessandro Giuliani,
Vieri Mastropietro,
Fabio Lucio Toninelli
Abstract:
We consider a non-integrable model for interacting dimers on the two-dimensional square lattice. Configurations are perfect matchings of $\mathbb Z^2$, i.e. subsets of edges such that each vertex is covered exactly once ("close-packing" condition). Dimer configurations are in bijection with discrete height functions, defined on faces $\boldsymbolξ$ of $\mathbb Z^2$. The non-interacting model is "i…
▽ More
We consider a non-integrable model for interacting dimers on the two-dimensional square lattice. Configurations are perfect matchings of $\mathbb Z^2$, i.e. subsets of edges such that each vertex is covered exactly once ("close-packing" condition). Dimer configurations are in bijection with discrete height functions, defined on faces $\boldsymbolξ$ of $\mathbb Z^2$. The non-interacting model is "integrable" and solvable via Kasteleyn theory; it is known that all the moments of the height difference $h_{\boldsymbolξ}-h_{\boldsymbolη}$ converge to those of the massless Gaussian Free Field (GFF), asymptotically as $|{\boldsymbolξ}-{\boldsymbolη}|\to \infty$. We prove that the same holds for small non-zero interactions, as was conjectured in the theoretical physics literature. Remarkably, dimer-dimer correlation functions are instead not universal and decay with a critical exponent that depends on the interaction strength. Our proof is based on an exact representation of the model in terms of lattice interacting fermions, which are studied by constructive field theory methods. In the fermionic language, the height difference $h_{\boldsymbolξ}-h_{\boldsymbolη}$ takes the form of a non-local operator, consisting of a sum of monomials along an {\it arbitrary} path connecting $\boldsymbolξ$ and $\boldsymbolη$. As in the non-interacting case, this path-independence plays a crucial role in the proof.
△ Less
Submitted 4 December, 2016; v1 submitted 30 June, 2014;
originally announced June 2014.
-
Uniqueness of Invariant Lagrangian Graphs in a Homology or a Cohomology Class
Authors:
Albert Fathi,
Alessandro Giuliani,
Alfonso Sorrentino
Abstract:
Given a smooth compact Riemannian manifold $M$ and a Hamiltonian $H$ on the cotangent space $T^*M$, strictly convex and superlinear in the momentum variables, we prove uniqueness of certain ergodic invariant Lagrangian graphs within a given homology or cohomology class. In particular, in the context of quasi-integrable Hamiltonian systems, our result implies global uniqueness of Lagrangian KAM tor…
▽ More
Given a smooth compact Riemannian manifold $M$ and a Hamiltonian $H$ on the cotangent space $T^*M$, strictly convex and superlinear in the momentum variables, we prove uniqueness of certain ergodic invariant Lagrangian graphs within a given homology or cohomology class. In particular, in the context of quasi-integrable Hamiltonian systems, our result implies global uniqueness of Lagrangian KAM tori with rotation vector $ρ$. This result extends generically to the $C^0$-closure of KAM tori.
△ Less
Submitted 10 December, 2010; v1 submitted 23 January, 2008;
originally announced January 2008.
-
Fractional Lindstedt series
Authors:
Giovanni Gallavotti,
Guido Gentile,
Alessandro Giuliani
Abstract:
The parametric equations of the surfaces on which highly resonant quasi-periodic motions develop (lower-dimensional tori) cannot be analytically continued, in general, in the perturbation parameter, i.e. they are not analytic functions of the perturbation parameter. However rather generally quasi-periodic motions whose frequencies satisfy only one rational relation ("resonances of order 1") admi…
▽ More
The parametric equations of the surfaces on which highly resonant quasi-periodic motions develop (lower-dimensional tori) cannot be analytically continued, in general, in the perturbation parameter, i.e. they are not analytic functions of the perturbation parameter. However rather generally quasi-periodic motions whose frequencies satisfy only one rational relation ("resonances of order 1") admit formal perturbation expansions in terms of a fractional power of the perturbation parameter, depending on the degeneration of the resonance. We find conditions for this to happen, and in such a case we prove that the formal expansion is convergent after suitable resummation.
△ Less
Submitted 26 September, 2005;
originally announced September 2005.