-
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.
-
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.
-
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.
-
Lindstedt series for periodic solutions of beam equations with quadratic and velocity dependent nonlinearities
Authors:
Vieri Mastropietro,
Michela Procesi
Abstract:
We prove the existence of small amplitude periodic solutions, for a large Lebesgue measure set of frequencies, in the nonlinear beam equation with a weak quadratic and velocity dependent nonlinearity and with Dirichlet boundary conditions. Such nonlinear PDE can be regarded as a simple model describing oscillations of flexible structures like suspension bridges in presence of an uniform wind flo…
▽ More
We prove the existence of small amplitude periodic solutions, for a large Lebesgue measure set of frequencies, in the nonlinear beam equation with a weak quadratic and velocity dependent nonlinearity and with Dirichlet boundary conditions. Such nonlinear PDE can be regarded as a simple model describing oscillations of flexible structures like suspension bridges in presence of an uniform wind flow. The periodic solutions are explicitly constructed by means of a perturbative expansion which can be considered the analogue of the Lindstedt series expansion for the invariant tori in classical mechanics. The periodic solutions are not analytic but defined only in a Cantor set, and resummation techniques of divergent powers series are used in order to control the small divisors problem.
△ Less
Submitted 13 May, 2005;
originally announced May 2005.
-
Periodic solutions for completely resonant nonlinear wave equations
Authors:
Guido Gentile,
Vieri Mastropietro,
Michela Procesi
Abstract:
We consider the nonlinear string equation with Dirichlet boundary conditions $u_{xx}-u_{tt}=φ(u)$, with $φ(u)=Φu^{3} + O(u^{5})$ odd and analytic, $Φ\neq0$, and we construct small amplitude periodic solutions with frequency $ø$ for a large Lebesgue measure set of $ø$ close to 1. This extends previous results where only a zero-measure set of frequencies could be treated (the ones for which no sma…
▽ More
We consider the nonlinear string equation with Dirichlet boundary conditions $u_{xx}-u_{tt}=φ(u)$, with $φ(u)=Φu^{3} + O(u^{5})$ odd and analytic, $Φ\neq0$, and we construct small amplitude periodic solutions with frequency $ø$ for a large Lebesgue measure set of $ø$ close to 1. This extends previous results where only a zero-measure set of frequencies could be treated (the ones for which no small divisors appear). The proof is based on combining the Lyapunov-Schmidt decomposition, which leads to two separate sets of equations dealing with the resonant and nonresonant Fourier components, respectively the Q and the P equations, with resummation techniques of divergent powers series, allowing us to control the small divisors problem. The main difficulty with respect the nonlinear wave equations $u_{xx}-u_{tt}+ M u = φ(u)$, $M\neq0$, is that not only the P equation but also the Q equation is infinite-dimensional
△ Less
Submitted 16 February, 2004;
originally announced February 2004.
