Catalog footprint

What is connected

54works
27topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

54 published item(s)

preprint2022arXiv

Design and Development of PCN-Miner: A tool for the Analysis of Protein Contact Networks

Protein Contact Network (PCN) is a powerful tool for analysing the structure and function of proteins. In particular, PCN has been used for disclosing the molecular features of allosteric regulation through PCN clustering. Such analysis is relevant in many applications, such as the recent study of SARS-CoV-2 Spike Protein. Despite its relevance, methods for the analysis of PCN are spread into a set of different libraries and tools. Therefore, the introduction of a tool that incorporates all the function may help researchers. We present PCN-Miner a software tool implemented in the Python programming language able to import protein in the Protein Data Bank format and generate the corresponding protein contact network. Then it offers a set of algorithms for the analysis of PCS that cover a large set of applications: from clustering to embedding and subsequent analysis. Software is available at \url{https://github.com/hguzzi/ProteinContactNetworks}

preprint2022arXiv

Periodic striped states in Ising models with dipolar interactions

We review the problem of determining the ground states of 2D Ising models with nearest neighbor ferromagnetic and dipolar interactions, and prove a new result supporting the conjecture that, if the nearest neighbor coupling $J$ is sufficiently large, the ground states are periodic and `striped'. More precisely, we prove a restricted version of the conjecture, by constructing the minimizers within the variational class of states whose domain walls are arbitrary collections of horizontal and/or vertical straight lines.

preprint2022arXiv

Reconstruction of the temporal correlation network of all-cause mortality fluctuation across Italian regions: the importance of temperature and among-nodes flux

All-cause mortality is a very coarse grain, albeit very reliable, index to check the health implications of lifestyle determinants, systemic threats and socio-demographic factors. In this work we adopt a statistical-mechanics approach to the analysis of temporal fluctuations of all-cause mortality, focusing on the correlation structure of this index across different regions of Italy. The correlation network among the 20 Italian regions was reconstructed using temperature oscillations and travellers' flux (as a function of distance and region's attractiveness, based on GDP), allowing for a separation between infective and non-infective death causes. The proposed approach allows monitoring of emerging systemic threats in terms of anomalies of correlation network structure.

preprint2021arXiv

Conformal invariance and Renormalization Group

Conformal field theory (CFT) is an extremely powerful tool for explicitly computing critical exponents and correlation functions of statistical mechanics systems at a second order phase transition, or of condensed matter systems at a quantum critical point. Conformal invariance is expected to be a feature of the fixed point theory obtained from a microscopic model at criticality, under appropriate averaging and rescaling operations: the action of the Wilsonian Renormalization Group (RG). Unfortunately, an explicit connection between critical microscopic models and their conformally invariant scaling limit is still lacking in general. Nevertheless, the last decades witnessed significant progress on this topic, both from the mathematical and physics sides, where several new tools have been introduced and their ranges of applications have constantly and significantly increased: I refer here, e.g., to discrete holomorphicity, SLE, the use of lattice Ward Identities in constructive RG, the conformal bootstrap program and its recent applications to 3D CFT. In an effort to make further progress on these problems, the one-day workshop "Emergent CFTs in statistical mechanics" was organized: the goal was to bring together probabilists, mathematical physicists and theoretical physicists, working on various aspects of critical statistical mechanics systems with complementary tools, both at the discrete and the continuum level, in the hope of creating new connections between the different approaches. This paper is based on an introductory talk given at the workshop: after a summary of the main topics discussed in the meeting, I illustrate the approach to the problem based on constructive RG methods, by reviewing recent results on the existence and the explicit characterization of the scaling limit of critical 2D Ising models with finite range interactions in cylindrical geometry.

preprint2021arXiv

FootApp: an AI-Powered System for Football Match Annotation

In the last years, scientific and industrial research has experienced a growing interest in acquiring large annotated data sets to train artificial intelligence algorithms for tackling problems in different domains. In this context, we have observed that even the market for football data has substantially grown. The analysis of football matches relies on the annotation of both individual players' and team actions, as well as the athletic performance of players. Consequently, annotating football events at a fine-grained level is a very expensive and error-prone task. Most existing semi-automatic tools for football match annotation rely on cameras and computer vision. However, those tools fall short in capturing team dynamics, and in extracting data of players who are not visible in the camera frame. To address these issues, in this manuscript we present FootApp, an AI-based system for football match annotation. First, our system relies on an advanced and mixed user interface that exploits both vocal and touch interaction. Second, the motor performance of players is captured and processed by applying machine learning algorithms to data collected from inertial sensors worn by players. Artificial intelligence techniques are then used to check the consistency of generated labels, including those regarding the physical activity of players, to automatically recognize annotation errors. Notably, we implemented a full prototype of the proposed system, performing experiments to show its effectiveness in a real-world adoption scenario.

preprint2021arXiv

Gentle introduction to rigorous Renormalization Group: a worked fermionic example

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.

preprint2021arXiv

Non-integrable Ising models in cylindrical geometry: Grassmann representation and infinite volume limit

In this paper, meant as a companion to arXiv:2006.04458, we consider a class of non-integrable $2D$ Ising models in cylindrical domains, and we discuss two key aspects of the multiscale construction of their scaling limit. In particular, we provide a detailed derivation of the Grassmann representation of the model, including a self-contained presentation of the exact solution of the nearest neighbor model in the cylinder. Moreover, we prove precise asymptotic estimates of the fermionic Green's function in the cylinder, required for the multiscale analysis of the model. We also review the multiscale construction of the effective potentials in the infinite volume limit, in a form suitable for the generalization to finite cylinders. Compared to previous works, we introduce a few important simplifications in the localization procedure and in the iterative bounds on the kernels of the effective potentials, which are crucial for the adaptation of the construction to domains with boundaries.

preprint2020arXiv

Mapping active allosteric loci SARS-CoV Spike Proteins by means of Protein Contact Networks

Coronaviruses are a class of virus responsible of the recent outbreak of Human Severe Acute Respiratory Syndrome. The molecular machinery behind the viral entry and thus infectivity is based on the formation of the complex of virus spike protein with the angiotensin-converting enzyme 2 (ACE2). The detection of putative allosteric sites on the viral spike protein can trace the path to develop allosteric drugs to weaken the strength of the spike-ACE2 interface and, thus, reduce the viral infectivity. In this work we present results of the application of the Protein Contact Network (PCN) paradigm to the complex SARS-CoV spike - ACE2 relative to both 2003 SARS and the recent 2019 - CoV. Results point to a specific region, present in both structures, that is predicted to act as allosteric site modulating the binding of the spike protein with ACE2.

preprint2020arXiv

Non-integrable dimers: Universal fluctuations of tilted height profiles

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.

preprint2020arXiv

Order, disorder and phase transitions in quantum many body systems

In this paper, I give an overview of some selected results in quantum many body theory, lying at the interface between mathematical quantum statistical mechanics and condensed matter theory. In particular, I discuss some recent results on the universality of transport coefficients in lattice models of interacting electrons, with specific focus on the independence of the quantum Hall conductivity from the electron-electron interaction. In this context, the exchange of ideas between mathematical and theoretical physics proved particularly fruitful, and helped in clarifying the role played by quantum conservation laws (Ward Identities), together with the decay properties of the Euclidean current-current correlation functions, on the interaction-independence of the conductivity.

preprint2018arXiv

Plate-nematic phase in three dimensions

We consider a system of anisotropic plates in the three-dimensional continuum, interacting via purely hard core interactions. We assume that the particles have a finite number of allowed orientations. In a suitable range of densities, we prove the existence of a uni-axial nematic phase, characterized by long range orientational order (the minor axes are aligned parallel to each other, while the major axes are not) and no translational order. The proof is based on a coarse graining procedure, which allows us to map the plate model into a contour model, and in a rigorous control of the resulting contour theory, via Pirogov-Sinai methods.

preprint2018arXiv

Quantization of the interacting Hall conductivity in the critical regime

The Haldane model is a paradigmatic 2d lattice model exhibiting the integer quantum Hall effect. We consider an interacting version of the model, and prove that for short-range interactions, smaller than the bandwidth, the Hall conductivity is quantized, for all the values of the parameters outside two critical curves, across which the model undergoes a `topological' phase transition: the Hall coefficient remains integer and constant as long as we continuously deform the parameters without crossing the curves; when this happens, the Hall coefficient jumps abruptly to a different integer. Previous works were limited to the perturbative regime, in which the interaction is much smaller than the bare gap, so they were restricted to regions far from the critical lines. The non-renormalization of the Hall conductivity arises as a consequence of lattice conservation laws and of the regularity properties of the current-current correlations. Our method provides a full construction of the critical curves, which are modified (`dressed') by the electron-electron interaction. The shift of the transition curves manifests itself via apparent infrared divergences in the naive perturbative series, which we resolve via renormalization group methods.

preprint2016arXiv

A Pfaffian formula for monomer-dimer partition functions

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.

preprint2016arXiv

Topological phase transitions and universality in the Haldane-Hubbard model

We study the Haldane-Hubbard model by exact Renormalization Group techniques. We construct the topological phase diagram, for weak interactions. We predict that many-body interactions induce a shift of the transition line. The presence of new intermediate phases, absent in the non interacting case, is rigorously excluded at weak coupling. Despite the nontrivial renormalization of the wave function and of the Fermi velocity, the conductivity is universal: at the renormalized critical line, both the discontinuity of the transverse conductivity and the longitudinal conductivity do not depend on the interaction, thanks to remarkable cancellations due to lattice Ward Identities.

preprint2016arXiv

Universality of charge transport in weakly interacting fermionic systems

We review two rigorous results on the transport properties of weakly interacting fermionic systems on $2d$ lattices, in the linear response regime. First, we discuss the universality of the longitudinal conductivity for interacting graphene. Then, we focus on the transverse conductivity of general weakly interacting gapped fermionic systems, and we establish its universality. This last result proves the stability of the integer quantum Hall effect against weak interactions. The proofs are based on combinations of fermionic cluster expansion techniques, renormalization group and lattice Ward identities.

preprint2016arXiv

Universality of the Hall conductivity in interacting electron systems

We prove the quantization of the Hall conductivity for general weakly interacting gapped fermionic systems on two-dimensional periodic lattices. The proof is based on fermionic cluster expansion techniques combined with lattice Ward identities, and on a reconstruction theorem that allows us to compute the Kubo conductivity as the analytic continuation of its imaginary time counterpart.

preprint2015arXiv

A generative model for protein contact networks

In this paper we present a generative model for protein contact networks. The soundness of the proposed model is investigated by focusing primarily on mesoscopic properties elaborated from the spectra of the graph Laplacian. To complement the analysis, we study also classical topological descriptors, such as statistics of the shortest paths and the important feature of modularity. Our experiments show that the proposed model results in a considerable improvement with respect to two suitably chosen generative mechanisms, mimicking with better approximation real protein contact networks in terms of diffusion properties elaborated from the Laplacian spectra. However, as well as the other considered models, it does not reproduce with sufficient accuracy the shortest paths structure. To compensate this drawback, we designed a second step involving a targeted edge reconfiguration process. The ensemble of reconfigured networks denotes improvements that are statistically significant. As a byproduct of our study, we demonstrate that modularity, a well-known property of proteins, does not entirely explain the actual network architecture characterizing protein contact networks. In fact, we conclude that modularity, intended as a quantification of an underlying community structure, should be considered as an emergent property of the structural organization of proteins. Interestingly, such a property is suitably optimized in protein contact networks together with the feature of path efficiency.

preprint2015arXiv

Analysis of heat kernel highlights the strongly modular and heat-preserving structure of proteins

In this paper, we study the structure and dynamical properties of protein contact networks with respect to other biological networks, together with simulated archetypal models acting as probes. We consider both classical topological descriptors, such as the modularity and statistics of the shortest paths, and different interpretations in terms of diffusion provided by the discrete heat kernel, which is elaborated from the normalized graph Laplacians. A principal component analysis shows high discrimination among the network types, either by considering the topological and heat kernel based vector characterizations. Furthermore, a canonical correlation analysis demonstrates the strong agreement among those two characterizations, providing thus an important justification in terms of interpretability for the heat kernel. Finally, and most importantly, the focused analysis of the heat kernel provides a way to yield insights on the fact that proteins have to satisfy specific structural design constraints that the other considered networks do not need to obey. Notably, the heat trace decay of an ensemble of varying-size proteins denotes subdiffusion, a peculiar property of proteins.

preprint2015arXiv

Characterization of graphs for protein structure modeling and recognition of solubility

This paper deals with the relations among structural, topological, and chemical properties of the E.Coli proteome from the vantage point of the solubility/aggregation propensity of proteins. Each E.Coli protein is initially represented according to its known folded 3D shape. This step consists in representing the available E.Coli proteins in terms of graphs. We first analyze those graphs by considering pure topological characterizations, i.e., by analyzing the mass fractal dimension and the distribution underlying both shortest paths and vertex degrees. Results confirm the general architectural principles of proteins. Successively, we focus on the statistical properties of a representation of such graphs in terms of vectors composed of several numerical features, which we extracted from their structural representation. We found that protein size is the main discriminator for the solubility, while however there are other factors that help explaining the solubility degree. We finally analyze such data through a novel one-class classifier, with the aim of discriminating among very and poorly soluble proteins. Results are encouraging and consolidate the potential of pattern recognition techniques when employed to describe complex biological systems.

preprint2015arXiv

Columnar Phase in Quantum Dimer Models

The quantum dimer model, relevant for short-range resonant valence bond physics, is rigorously shown to have long range order in a crystalline phase in the attractive case at low temperature and not too large flipping term. This term flips horizontal dimer pairs to vertical pairs (and vice versa) and is responsible for the word `quantum' in the title. In addition to the dimers, monomers are also allowed. The mathematical method used is `reflection positivity'. The model and proof can easily be generalized to dimers or plaquettes in 3-dimensions.

preprint2015arXiv

Construction of the Lyapunov spectrum in a chaotic system displaying phase synchronization

We consider a three-dimensional chaotic system consisting of the suspension of Arnold's cat map coupled with a clock via a weak dissipative interaction. We show that the coupled system displays a synchronization phenomenon, in the sense that the relative phase between the suspension flow and the clock locks to a special value, thus making the motion fall onto a lower dimensional attractor. More specifically, we construct the attractive invariant manifold, of dimension smaller than three, using a convergent perturbative expansion. Moreover, we compute via convergent series the Lyapunov exponents, including notably the central one. The result generalizes a previous construction of the attractive invariant manifold in a similar but simpler model. The main novelty of the current construction relies in the computation of the Lyapunov spectrum, which consists of non-trivial analytic exponents. Some conjectures about a possible smoothening transition of the attractor as the coupling is increased are also discussed.

preprint2015arXiv

Height fluctuations in non-integrable classical dimers

We rigorously establish the asymptotic equivalence between the height function of interacting dimers on the square lattice and the massless Gaussian free field. Our theorem explains the microscopic origin of the sine-Gordon field theory description away from the free fermion point, which has previously been elusive. We use a novel technique, based on the combination of discrete holomorphicity with exact, constructive, renormalization group methods, which has the potential of being applicable to a variety of other non-integrable models at or close to criticality.

preprint2015arXiv

The ground state construction of bilayer graphene

We consider a model of half-filled bilayer graphene, in which the three dominant Slonczewski-Weiss-McClure hopping parameters are retained, in the presence of short range interactions. Under a smallness assumption on the interaction strength $U$ as well as on the inter-layer hopping $ε$, we construct the ground state in the thermodynamic limit, and prove its analyticity in $U$, uniformly in $ε$. The interacting Fermi surface is degenerate, and consists of eight Fermi points, two of which are protected by symmetries, while the locations of the other six are renormalized by the interaction, and the effective dispersion relation at the Fermi points is conical. The construction reveals the presence of different energy regimes, where the effective behavior of correlation functions changes qualitatively. The analysis of the crossover between regimes plays an important role in the proof of analyticity and in the uniform control of the radius of convergence. The proof is based on a rigorous implementation of fermionic renormalization group methods, including determinant estimates for the renormalized expansion.

preprint2015arXiv

Toward a multilevel representation of protein molecules: comparative approaches to the aggregation/folding propensity problem

This paper builds upon the fundamental work of Niwa et al. [34], which provides the unique possibility to analyze the relative aggregation/folding propensity of the elements of the entire Escherichia coli (E. coli) proteome in a cell-free standardized microenvironment. The hardness of the problem comes from the superposition between the driving forces of intra- and inter-molecule interactions and it is mirrored by the evidences of shift from folding to aggregation phenotypes by single-point mutations [10]. Here we apply several state-of-the-art classification methods coming from the field of structural pattern recognition, with the aim to compare different representations of the same proteins gathered from the Niwa et al. data base; such representations include sequences and labeled (contact) graphs enriched with chemico-physical attributes. By this comparison, we are able to identify also some interesting general properties of proteins. Notably, (i) we suggest a threshold around 250 residues discriminating "easily foldable" from "hardly foldable" molecules consistent with other independent experiments, and (ii) we highlight the relevance of contact graph spectra for folding behavior discrimination and characterization of the E. coli solubility data. The soundness of the experimental results presented in this paper is proved by the statistically relevant relationships discovered among the chemico-physical description of proteins and the developed cost matrix of substitution used in the various discrimination systems.

preprint2014arXiv

Multifractal Characterization of Protein Contact Networks

The multifractal detrended fluctuation analysis of time series is able to reveal the presence of long-range correlations and, at the same time, to characterize the self-similarity of the series. The rich information derivable from the characteristic exponents and the multifractal spectrum can be further analyzed to discover important insights about the underlying dynamical process. In this paper, we employ multifractal analysis techniques in the study of protein contact networks. To this end, initially a network is mapped to three different time series, each of which is generated by a stationary unbiased random walk. To capture the peculiarities of the networks at different levels, we accordingly consider three observables at each vertex: the degree, the clustering coefficient, and the closeness centrality. To compare the results with suitable references, we consider also instances of three well-known network models and two typical time series with pure monofractal and multifractal properties. The first result of notable interest is that time series associated to proteins contact networks exhibit long-range correlations (strong persistence), which are consistent with signals in-between the typical monofractal and multifractal behavior. Successively, a suitable embedding of the multifractal spectra allows to focus on ensemble properties, which in turn gives us the possibility to make further observations regarding the considered networks. In particular, we highlight the different role that small and large fluctuations of the considered observables play in the characterization of the network topology.

preprint2014arXiv

Renormalization theory of a two dimensional Bose gas: quantum critical point and quasi-condensed state

We present a renormalization group construction of a weakly interacting Bose gas at zero temperature in the two-dimensional continuum, both in the quantum critical regime and in the presence of a condensate fraction. The construction is performed within a rigorous renormalization group scheme, borrowed from the methods of constructive field theory, which allows us to derive explicit bounds on all the orders of renormalized perturbation theory. Our scheme allows us to construct the theory of the quantum critical point completely, both in the ultraviolet and in the infrared regimes, thus extending previous heuristic approaches to this phase. For the condensate phase, we solve completely the ultraviolet problem and we investigate in detail the infrared region, up to length scales of the order $(λ^3 ρ_0)^{-1/2}$ (here $λ$ is the interaction strength and $ρ_0$ the condensate density), which is the largest length scale at which the problem is perturbative in nature. We exhibit violations to the formal Ward Identities, due to the momentum cutoff used to regularize the theory, which suggest that previous proposals about the existence of a non-perturbative non-trivial fixed point for the infrared flow should be reconsidered.

preprint2014arXiv

Validity of spin wave theory for the quantum Heisenberg model

Spin wave theory is a key ingredient in our comprehension of quantum spin systems, and is used successfully for understanding a wide range of magnetic phenomena, including magnon condensation and stability of patterns in dipolar systems. Nevertheless, several decades of research failed to establish the validity of spin wave theory rigorously, even for the simplest models of quantum spins. A rigorous justification of the method for the three-dimensional quantum Heisenberg ferromagnet at low temperatures is presented here. We derive sharp bounds on its free energy by combining a bosonic formulation of the model introduced by Holstein and Primakoff with probabilistic estimates and operator inequalities.

preprint2013arXiv

Formation of stripes and slabs near the ferromagnetic transition

We consider Ising models in d=2 and d=3 dimensions with nearest neighbor ferromagnetic and long-range antiferromagnetic interactions, the latter decaying as (distance)^(-p), p>2d, at large distances. If the strength J of the ferromagnetic interaction is larger than a critical value J_c, then the ground state is homogeneous. It has been conjectured that when J is smaller than but close to J_c the ground state is periodic and striped, with stripes of constant width h=h(J), and h tends to infinity as J tends to J_c from below. (In d=3 stripes mean slabs, not columns.) Here we rigorously prove that, if we normalize the energy in such a way that the energy of the homogeneous state is zero, then the ratio e_0(J)/e_S(J) tends to 1 as J tends to J_c from below, with e_S(J) being the energy per site of the optimal periodic striped/slabbed state and e_0(J) the actual ground state energy per site of the system. Our proof comes with explicit bounds on the difference e_0(J)-e_S(J) at small but finite J_c-J, and also shows that in this parameter range the ground state is striped/slabbed in a certain sense: namely, if one looks at a randomly chosen window, of suitable size l (very large compared to the optimal stripe size h(J)), one finds a striped/slabbed state with high probability.

preprint2013arXiv

Realization of stripes and slabs in two and three dimensions

We consider Ising models in two and three dimensions with nearest neighbor ferromagnetic interactions and long range, power law decaying, antiferromagnetic interactions. If the strength of the ferromagnetic coupling J is larger than a critical value J_c, then the ground state is homogeneous and ferromagnetic. As the critical value is approached from smaller values of J, it is believed that the ground state consists of a periodic array of stripes (d=2) or slabs (d=3), all of the same size and alternating magnetization. Here we prove rigorously that the ground state energy per site converges to that of the optimal periodic striped/slabbed state, in the limit that J tends to the ferromagnetic transition point. While this theorem does not prove rigorously that the ground state is precisely striped/slabbed, it does prove that in any suitably large box the ground state is striped/slabbed with high probability.

preprint2012arXiv

Froth-like minimizers of a non local free energy functional with competing interactions

We investigate the ground and low energy states of a one dimensional non local free energy functional describing at a mean field level a spin system with both ferromagnetic and antiferromagnetic interactions. In particular, the antiferromagnetic interaction is assumed to have a range much larger than the ferromagnetic one. The competition between these two effects is expected to lead to the spontaneous emergence of a regular alternation of long intervals on which the spin profile is magnetized either up or down, with an oscillation scale intermediate between the range of the ferromagnetic and that of the antiferromagnetic interaction. In this sense, the optimal or quasi-optimal profiles are "froth-like": if seen on the scale of the antiferromagnetic potential they look neutral, but if seen at the microscope they actually consist of big bubbles of two different phases alternating among each other. In this paper we prove the validity of this picture, we compute the oscillation scale of the quasi-optimal profiles and we quantify their distance in norm from a reference periodic profile. The proof consists of two main steps: we first coarse grain the system on a scale intermediate between the range of the ferromagnetic potential and the expected optimal oscillation scale; in this way we reduce the original functional to an effective "sharp interface" one. Next, we study the latter by reflection positivity methods, which require as a key ingredient the exact locality of the short range term. Our proof has the conceptual interest of combining coarse graining with reflection positivity methods, an idea that is presumably useful in much more general contexts than the one studied here.

preprint2012arXiv

The nematic phase of a system of long hard rods

We consider a two-dimensional lattice model for liquid crystals consisting of long rods interacting via purely hard core interactions, with two allowed orientations defined by the underlying lattice. We rigorously prove the existence of a nematic phase, i.e., we show that at intermediate densities the system exhibits orientational order, either horizontal or vertical, but no positional order. The proof is based on a two-scales cluster expansion: we first coarse grain the system on a scale comparable with the rods' length; then we express the resulting effective theory as a contour's model, which can be treated by Pirogov-Sinai methods.

preprint2012arXiv

The nematic phase of a system of long hard rods - ICMP12 talk, Aalborg, August 2012

In this talk I consider a two-dimensional lattice model for liquid crystals consisting of long rods interacting via purely hard core interactions, with two allowed orientations defined by the underlying lattice. I report a rigorous proof of the existence of a nematic phase: by this I mean that at intermediate densities the system exhibits orientational order, either horizontal or vertical, but no positional order. The proof is based on a two-scales cluster expansion: first the system is coarse-grained on a scale comparable with the rods' length; then the resulting effective theory is re-expressed as a contours' model, which can be treated by Pirogov-Sinai methods. The talk is based on joint work with Margherita Disertori.

preprint2012arXiv

The scaling limit of the energy correlations in non integrable Ising models

We obtain an explicit expression for the multipoint energy correlations of a non solvable two-dimensional Ising models with nearest neighbor ferromagnetic interactions plus a weak finite range interaction of strength $λ$, in a scaling limit in which we send the lattice spacing to zero and the temperature to the critical one. Our analysis is based on an exact mapping of the model into an interacting lattice fermionic theory, which generalizes the one originally used by Schultz, Mattis and Lieb for the nearest neighbor Ising model. The interacting model is then analyzed by a multiscale method first proposed by Pinson and Spencer. If the lattice spacing is finite, then the correlations cannot be computed in closed form: rather, they are expressed in terms of infinite, convergent, power series in $λ$. In the scaling limit, these infinite expansions radically simplify and reduce to the limiting energy correlations of the integrable Ising model, up to a finite renormalization of the parameters. Explicit bounds on the speed of convergence to the scaling limit are derived.

preprint2012arXiv

Universal finite size corrections and the central charge in non solvable Ising models

We investigate a non solvable two-dimensional ferromagnetic Ising model with nearest neighbor plus weak finite range interactions of strength λ. We rigorously establish one of the predictions of Conformal Field Theory (CFT), namely the fact that at the critical temperature the finite size corrections to the free energy are universal, in the sense that they are exactly independent of the interaction. The corresponding central charge, defined in terms of the coefficient of the first subleading term to the free energy, as proposed by Affleck and Blote-Cardy-Nightingale, is constant and equal to 1/2 for all 0<λ<λ_0 and λ_0 a small but finite convergence radius. This is one of the very few cases where the predictions of CFT can be rigorously verified starting from a microscopic non solvable statistical model. The proof uses a combination of rigorous renormalization group methods with a novel partition function inequality, valid for ferromagnetic interactions.

preprint2011arXiv

Checkerboards, stripes and corner energies in spin models with competing interactions

We study the zero temperature phase diagram of Ising spin systems in two dimensions in the presence of competing interactions, long range antiferromagnetic and nearest neighbor ferromagnetic of strength J. We first introduce the notion of a "corner energy" which shows, when the antiferromagnetic interaction decays faster than the fourth power of the distance, that a striped state is favored with respect to a checkerboard state when J is close to J_c, the transition to the ferromagnetic state, i.e., when the length scales of the uniformly magnetized domains become large. Next, we perform detailed analytic computations on the energies of the striped and checkerboard states in the cases of antiferromagnetic interactions with exponential decay and with power law decay r^{-p}, p>2, that depend on the Manhattan distance instead of the Euclidean distance. We prove that the striped phase is always favored compared to the checkerboard phase when the scale of the ground state structure is very large. This happens for J\lesssim J_c if p>3, and for J sufficiently large if 2<p<=3. Many of our considerations involving rigorous bounds carry over to dimensions greater than two and to more general short-range ferromagnetic interactions.

preprint2011arXiv

Lattice quantum electrodynamics for graphene

The effects of gauge interactions in graphene have been analyzed up to now in terms of effective models of Dirac fermions. However, in several cases lattice effects play an important role and need to be taken consistently into account. In this paper we introduce and analyze a lattice gauge theory model for graphene, which describes tight binding electrons hopping on the honeycomb lattice and interacting with a three-dimensional quantum U(1) gauge field. We perform an exact Renormalization Group analysis, which leads to a renormalized expansion that is finite at all orders. The flow of the effective parameters is controlled thanks to Ward Identities and a careful analysis of the discrete lattice symmetry properties of the model. We show that the Fermi velocity increases up to the speed of light and Lorentz invariance spontaneously emerges in the infrared. The interaction produces critical exponents in the response functions; this removes the degeneracy present in the non interacting case and allow us to identify the dominant excitations. Finally we add mass terms to the Hamiltonian and derive by a variational argument the correspondent gap equations, which have an anomalous non-BCS form, due to the non trivial effects of the interaction.

preprint2010arXiv

Anomalous behavior in an effective model of graphene with Coulomb interactions

We analyze by exact Renormalization Group (RG) methods the infrared properties of an effective model of graphene, in which two-dimensional massless Dirac fermions propagating with a velocity smaller than the speed of light interact with a three-dimensional quantum electromagnetic field. The fermionic correlation functions are written as series in the running coupling constants, with finite coefficients that admit explicit bounds at all orders. The implementation of Ward Identities in the RG scheme implies that the effective charges tend to a line of fixed points. At small momenta, the quasi-particle weight tends to zero and the effective Fermi velocity tends to a finite value. These limits are approached with a power law behavior characterized by non-universal critical exponents.

preprint2010arXiv

Lattice gauge theory model for graphene

The effects of the electromagnetic (e.m.) electron-electron interactions in half-filled graphene are investigated in terms of a lattice gauge theory model. By using exact Renormalization Group methods and lattice Ward Identities, we show that the e.m. interactions amplify the responses to the excitonic pairings associated to a Kekulé distortion and to a charge density wave. The effect of the electronic repulsion on the Peierls-Kekulé instability, usually neglected, is evaluated by deriving an exact non-BCS gap equation, from which we find evidence that strong e.m. interactions among electrons facilitate the spontaneous distortion of the lattice and the opening of a gap.

preprint2010arXiv

Rigorous construction of ground state correlations in graphene: renormalization of the velocities and Ward Identities

We consider the 2D Hubbard model on the honeycomb lattice, as a model for single layer graphene with screened Coulomb interactions; at half filling and weak coupling, we construct its ground state correlations by a convergent multiscale expansion, rigorously excluding the presence of magnetic or superconducting instabilities or the formation of a mass gap. The Fermi velocity, which can be written in terms of a convergent series expansion, remains close to its non-interacting value and turns out to be isotropic. On the contrary, the interaction produces an asymmetry between the two components of the charge velocity, in contrast with the predictions based on relativistic or continuum approximations.

preprint2010arXiv

Striped periodic minimizers of a two-dimensional model for martensitic phase transitions

In this paper we consider a simplified two-dimensional scalar model for the formation of mesoscopic domain patterns in martensitic shape-memory alloys at the interface between a region occupied by the parent (austenite) phase and a region occupied by the product (martensite) phase, which can occur in two variants (twins). The model, first proposed by Kohn and Mueller, is defined by the following functional: $${\cal E}(u)=β||u(0,\cdot)||^2_{H^{1/2}([0,h])}+ \int_{0}^{L} dx \int_0^h dy \big(|u_x|^2 + ε|u_{yy}| \big)$$ where $u:[0,L]\times[0,h]\to R$ is periodic in $y$ and $u_y=\pm 1$ almost everywhere. Conti proved that if $β\gtrsimεL/h^2$ then the minimal specific energy scales like $\sim \min\{(εβ/L)^{1/2}, (ε/L)^{2/3}\}$, as $(ε/L)\to 0$. In the regime $(εβ/L)^{1/2}\ll (ε/L)^{2/3}$, we improve Conti's results, by computing exactly the minimal energy and by proving that minimizers are periodic one-dimensional sawtooth functions.

preprint2010arXiv

Uniqueness of Invariant Lagrangian Graphs in a Homology or a Cohomology Class

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.

preprint2009arXiv

Modulated phases of a 1D sharp interface model in a magnetic field

We investigate the ground states of 1D continuum models having short-range ferromagnetic type interactions and a wide class of competing longer-range antiferromagnetic type interactions. The model is defined in terms of an energy functional, which can be thought of as the Hamiltonian of a coarse-grained microscopic system or as a mesoscopic free energy functional describing various materials. We prove that the ground state is simple periodic whatever the prescribed total magnetization might be. Previous studies of this model of frustrated systems assumed this simple periodicity but, as in many examples in condensed matter physics, it is neither obvious nor always true that ground states do not have a more complicated, or even chaotic structure.

preprint2009arXiv

The 2D Hubbard model on the honeycomb lattice

We consider the 2D Hubbard model on the honeycomb lattice, as a model for a single layer graphene sheet in the presence of screened Coulomb interactions. At half filling and weak enough coupling, we compute the free energy, the ground state energy and we construct the correlation functions up to zero temperature in terms of convergent series; analiticity is proved by making use of constructive fermionic renormalization group methods. We show that the interaction produces a modification of the Fermi velocity and of the wave function renormalization without changing the asymptotic infrared properties of the model with respect to the unperturbed non-interacting case; this rules out the possibility of superconducting or magnetic instabilities in the ground state. We also prove that the correlations verify a Ward Identity similar to the one for massless Dirac fermions, up to asymptotically negligible corrections and a renormalization of the charge velocity.

preprint2008arXiv

Long range order for lattice dipoles

We consider a system of classical Heisenberg spins on a cubic lattice in dimensions three or more, interacting via the dipole-dipole interaction. We prove that at low enough temperature the system displays orientational long range order, as expected by spin wave theory. The proof is based on reflection positivity methods. In particular, we demonstrate a previously unproven conjecture on the dispersion relation of the spin waves, first proposed by Froehlich and Spencer, which allows one to apply infrared bounds for estimating the long distance behavior of the spin-spin correlation functions.

preprint2007arXiv

Periodic minimizers in 1D local mean field theory

Using reflection positivity techniques we prove the existence of minimizers for a class of mesoscopic free-energies representing 1D systems with competing interactions. All minimizers are either periodic, with zero average, or of constant sign. If the local term in the free energy satisfies a convexity condition, then all minimizers are either periodic or constant. Examples of both phenomena are given. This extends our previous work where such results were proved for the ground states of lattice systems with ferromagnetic nearest neighbor interactions and dipolar type antiferromagnetic long range interactions.

preprint2007arXiv

Striped phases in two dimensional dipole systems

We prove that a system of discrete 2D in-plane dipoles with four possible orientations, interacting via a 3D dipole-dipole interaction plus a nearest neighbor ferromagnetic term, has periodic striped ground states. As the strength of the ferromagnetic term is increased, the size of the stripes in the ground state increases, becoming infinite, i.e., giving a ferromagentic ground state, when the ferromagentic interaction exceeds a certain critical value. We also give a rigorous proof of the reorientation transition in the ground state of a 2D system of discrete dipoles with six possible orientations, interacting via a 3D dipole-dipole interaction plus a nearest neighbor antiferromagnetic term. As the strength of the antiferromagnetic term is increased the ground state flips from being striped and in-plane to being staggered and out-of-plane. An example of a rotator model with a sinusoidal ground state is also discussed.

preprint2006arXiv

Ising models with long-range dipolar and short-range ferromagnetic interactions

We study the ground state of a $d$--dimensional Ising model with both long range (dipole--like) and nearest neighbor ferromagnetic (FM) interactions. The long range interaction is equal to $r^{-p}$, $p>d$, while the FM interaction has strength $J$. If $p>d+1$ and $J$ is large enough the ground state is FM, while if $d<p\le d+1$ the FM state is not the ground state for any choice of $J$. In $d=1$ we show that for any $p>1$ the ground state has a series of transitions from an antiferromagnetic state of period 2 to $2h$--periodic states of blocks of sizes $h$ with alternating sign, the size $h$ growing when the FM interaction strength $J$ is increased (a generalization of this result to the case $0<p\le 1$ is also discussed). In $d\ge 2$ we prove, for $d<p\le d+1$, that the dominant asymptotic behavior of the ground state energy agrees for large $J$ with that obtained from a periodic striped state conjectured to be the true ground state. The geometry of contours in the ground state is discussed.

preprint2005arXiv

Fractional Lindstedt series

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.

preprint1998arXiv

Recurrence quantification analysis as a tool for the characterization of molecular dynamics simulations

A molecular dynamics simulation of a Lennard-Jones fluid, and a trajectory of the B1 immunoglobulin G-binding domain of streptococcal protein G (B1-IgG) simulated in water are analyzed by recurrence quantification, which is noteworthy for its independence from stationarity constraints, as well as its ability to detect transients, and both linear and nonlinear state changes. The results demonstrate the sensitivity of the technique for the discrimination of phase sensitive dynamics. Physical interpretation of the recurrence measures is also discussed.