Showing 1–30 of 30 results for author: Falco, P

Comparison between Behavior Trees and Finite State Machines

Authors: Matteo Iovino, Julian Förster, Pietro Falco, Jen Jen Chung, Roland Siegwart, Christian Smith

Abstract: Behavior Trees (BTs) were first conceived in the computer games industry as a tool to model agent behavior, but they received interest also in the robotics community as an alternative policy design to Finite State Machines (FSMs). The advantages of BTs over FSMs had been highlighted in many works, but there is no thorough practical comparison of the two designs. Such a comparison is particularly r… ▽ More Behavior Trees (BTs) were first conceived in the computer games industry as a tool to model agent behavior, but they received interest also in the robotics community as an alternative policy design to Finite State Machines (FSMs). The advantages of BTs over FSMs had been highlighted in many works, but there is no thorough practical comparison of the two designs. Such a comparison is particularly relevant in the robotic industry, where FSMs have been the state-of-the-art policy representation for robot control for many years. In this work we shed light on this matter by comparing how BTs and FSMs behave when controlling a robot in a mobile manipulation task. The comparison is made in terms of reactivity, modularity, readability, and design. We propose metrics for each of these properties, being aware that while some are tangible and objective, others are more subjective and implementation dependent. The practical comparison is performed in a simulation environment with validation on a real robot. We find that although the robot's behavior during task solving is independent on the policy representation, maintaining a BT rather than an FSM becomes easier as the task increases in complexity. △ Less

Submitted 25 May, 2024; originally announced May 2024.

Comments: Submitted to IEEE Transactions on Robotics (T-RO). arXiv admin note: text overlap with arXiv:2209.07392

A Framework for Learning Behavior Trees in Collaborative Robotic Applications

Authors: Matteo Iovino, Jonathan Styrud, Pietro Falco, Christian Smith

Abstract: In modern industrial collaborative robotic applications, it is desirable to create robot programs automatically, intuitively, and time-efficiently. Moreover, robots need to be controlled by reactive policies to face the unpredictability of the environment they operate in. In this paper we propose a framework that combines a method that learns Behavior Trees (BTs) from demonstration with a method t… ▽ More In modern industrial collaborative robotic applications, it is desirable to create robot programs automatically, intuitively, and time-efficiently. Moreover, robots need to be controlled by reactive policies to face the unpredictability of the environment they operate in. In this paper we propose a framework that combines a method that learns Behavior Trees (BTs) from demonstration with a method that evolves them with Genetic Programming (GP) for collaborative robotic applications. The main contribution of this paper is to show that by combining the two learning methods we obtain a method that allows non-expert users to semi-automatically, time-efficiently, and interactively generate BTs. We validate the framework with a series of manipulation experiments. The BT is fully learnt in simulation and then transferred to a real collaborative robot. △ Less

Submitted 20 March, 2023; originally announced March 2023.

Comments: Submitted to IEEE 19th Conference on Automation Science and Engineering (CASE) 2023

On the programming effort required to generate Behavior Trees and Finite State Machines for robotic applications

Authors: Matteo Iovino, Julian Förster, Pietro Falco, Jen Jen Chung, Roland Siegwart, Christian Smith

Abstract: In this paper we provide a practical demonstration of how the modularity in a Behavior Tree (BT) decreases the effort in programming a robot task when compared to a Finite State Machine (FSM). In recent years the way to represent a task plan to control an autonomous agent has been shifting from the standard FSM towards BTs. Many works in the literature have highlighted and proven the benefits of s… ▽ More In this paper we provide a practical demonstration of how the modularity in a Behavior Tree (BT) decreases the effort in programming a robot task when compared to a Finite State Machine (FSM). In recent years the way to represent a task plan to control an autonomous agent has been shifting from the standard FSM towards BTs. Many works in the literature have highlighted and proven the benefits of such design compared to standard approaches, especially in terms of modularity, reactivity and human readability. However, these works have often failed in providing a tangible comparison in the implementation of those policies and the programming effort required to modify them. This is a relevant aspect in many robotic applications, where the design choice is dictated both by the robustness of the policy and by the time required to program it. In this work, we compare backward chained BTs with a fault-tolerant design of FSMs by evaluating the cost to modify them. We validate the analysis with a set of experiments in a simulation environment where a mobile manipulator solves an item fetching task. △ Less

Submitted 15 September, 2022; originally announced September 2022.

Comments: Submitted to 2023 IEEE International Conference on Robotics and Automation (ICRA)

Learning Deep Energy Sha** Policies for Stability-Guaranteed Manipulation

Authors: Shahbaz Abdul Khader, Hang Yin, Pietro Falco, Danica Kragic

Abstract: Deep reinforcement learning (DRL) has been successfully used to solve various robotic manipulation tasks. However, most of the existing works do not address the issue of control stability. This is in sharp contrast to the control theory community where the well-established norm is to prove stability whenever a control law is synthesized. What makes traditional stability analysis difficult for DRL… ▽ More Deep reinforcement learning (DRL) has been successfully used to solve various robotic manipulation tasks. However, most of the existing works do not address the issue of control stability. This is in sharp contrast to the control theory community where the well-established norm is to prove stability whenever a control law is synthesized. What makes traditional stability analysis difficult for DRL are the uninterpretable nature of the neural network policies and unknown system dynamics. In this work, stability is obtained by deriving an interpretable deep policy structure based on the $\textit{energy sha**}$ control of Lagrangian systems. Then, stability during physical interaction with an unknown environment is established based on $\textit{passivity}$. The result is a stability guaranteeing DRL in a model-free framework that is general enough for contact-rich manipulation tasks. With an experiment on a peg-in-hole task, we demonstrate, to the best of our knowledge, the first DRL with stability guarantee on a real robotic manipulator. △ Less

Submitted 24 September, 2021; v1 submitted 30 March, 2021; originally announced March 2021.

Comments: 8 pages, 8 figures

Learning Behavior Trees with Genetic Programming in Unpredictable Environments

Authors: Matteo Iovino, Jonathan Styrud, Pietro Falco, Christian Smith

Abstract: Modern industrial applications require robots to be able to operate in unpredictable environments, and programs to be created with a minimal effort, as there may be frequent changes to the task. In this paper, we show that genetic programming can be effectively used to learn the structure of a behavior tree (BT) to solve a robotic task in an unpredictable environment. Moreover, we propose to use a… ▽ More Modern industrial applications require robots to be able to operate in unpredictable environments, and programs to be created with a minimal effort, as there may be frequent changes to the task. In this paper, we show that genetic programming can be effectively used to learn the structure of a behavior tree (BT) to solve a robotic task in an unpredictable environment. Moreover, we propose to use a simple simulator for the learning and demonstrate that the learned BTs can solve the same task in a realistic simulator, reaching convergence without the need for task specific heuristics. The learned solution is tolerant to faults, making our method appealing for real robotic applications. △ Less

Submitted 6 November, 2020; originally announced November 2020.

Learning Stable Normalizing-Flow Control for Robotic Manipulation

Authors: Shahbaz Abdul Khader, Hang Yin, Pietro Falco, Danica Kragic

Abstract: Reinforcement Learning (RL) of robotic manipulation skills, despite its impressive successes, stands to benefit from incorporating domain knowledge from control theory. One of the most important properties that is of interest is control stability. Ideally, one would like to achieve stability guarantees while staying within the framework of state-of-the-art deep RL algorithms. Such a solution does… ▽ More Reinforcement Learning (RL) of robotic manipulation skills, despite its impressive successes, stands to benefit from incorporating domain knowledge from control theory. One of the most important properties that is of interest is control stability. Ideally, one would like to achieve stability guarantees while staying within the framework of state-of-the-art deep RL algorithms. Such a solution does not exist in general, especially one that scales to complex manipulation tasks. We contribute towards closing this gap by introducing $\textit{normalizing-flow}$ control structure, that can be deployed in any latest deep RL algorithms. While stable exploration is not guaranteed, our method is designed to ultimately produce deterministic controllers with provable stability. In addition to demonstrating our method on challenging contact-rich manipulation tasks, we also show that it is possible to achieve considerable exploration efficiency--reduced state space coverage and actuation efforts--without losing learning efficiency. △ Less

Submitted 2 March, 2021; v1 submitted 30 October, 2020; originally announced November 2020.

Comments: To be presented at IEEE International Conference on Robotics and Automation (ICRA) 2021

Stability-Guaranteed Reinforcement Learning for Contact-rich Manipulation

Authors: Shahbaz A. Khader, Hang Yin, Pietro Falco, Danica Kragic

Abstract: Reinforcement learning (RL) has had its fair share of success in contact-rich manipulation tasks but it still lags behind in benefiting from advances in robot control theory such as impedance control and stability guarantees. Recently, the concept of variable impedance control (VIC) was adopted into RL with encouraging results. However, the more important issue of stability remains unaddressed. To… ▽ More Reinforcement learning (RL) has had its fair share of success in contact-rich manipulation tasks but it still lags behind in benefiting from advances in robot control theory such as impedance control and stability guarantees. Recently, the concept of variable impedance control (VIC) was adopted into RL with encouraging results. However, the more important issue of stability remains unaddressed. To clarify the challenge in stable RL, we introduce the term all-the-time-stability that unambiguously means that every possible rollout will be stability certified. Our contribution is a model-free RL method that not only adopts VIC but also achieves all-the-time-stability. Building on a recently proposed stable VIC controller as the policy parameterization, we introduce a novel policy search algorithm that is inspired by Cross-Entropy Method and inherently guarantees stability. Our experimental studies confirm the feasibility and usefulness of stability guarantee and also features, to the best of our knowledge, the first successful application of RL with all-the-time-stability on the benchmark problem of peg-in-hole. △ Less

Submitted 27 September, 2020; v1 submitted 22 April, 2020; originally announced April 2020.

Comments: Accepted at Robotics and Automation Letters

A Transfer Learning Approach to Cross-Modal Object Recognition: From Visual Observation to Robotic Haptic Exploration

Authors: Pietro Falco, Shuang Lu, Ciro Natale, Salvatore Pirozzi, Dongheui Lee

Abstract: In this work, we introduce the problem of cross-modal visuo-tactile object recognition with robotic active exploration. With this term, we mean that the robot observes a set of objects with visual perception and, later on, it is able to recognize such objects only with tactile exploration, without having touched any object before. Using a machine learning terminology, in our application we have a… ▽ More In this work, we introduce the problem of cross-modal visuo-tactile object recognition with robotic active exploration. With this term, we mean that the robot observes a set of objects with visual perception and, later on, it is able to recognize such objects only with tactile exploration, without having touched any object before. Using a machine learning terminology, in our application we have a visual training set and a tactile test set, or vice versa. To tackle this problem, we propose an approach constituted by four steps: finding a visuo-tactile common representation, defining a suitable set of features, transferring the features across the domains, and classifying the objects. We show the results of our approach using a set of 15 objects, collecting 40 visual examples and five tactile examples for each object. The proposed approach achieves an accuracy of 94.7%, which is comparable with the accuracy of the monomodal case, i.e., when using visual data both as training set and test set. Moreover, it performs well compared to the human ability, which we have roughly estimated carrying out an experiment with ten participants. △ Less

Submitted 18 January, 2020; originally announced January 2020.

Journal ref: IEEE Transactions on Robotics ( Volume: 35 , Issue: 4 , Aug. 2019 )

A Human Action Descriptor Based on Motion Coordination

Authors: Pietro Falco, Matteo Saveriano, Eka Gibran Hasany, Nicholas H. Kirk, Dongheui Lee

Abstract: In this paper, we present a descriptor for human whole-body actions based on motion coordination. We exploit the principle, well known in neuromechanics, that humans move their joints in a coordinated fashion. Our coordination-based descriptor (CODE) is computed by two main steps. The first step is to identify the most informative joints which characterize the motion. The second step enriches the… ▽ More In this paper, we present a descriptor for human whole-body actions based on motion coordination. We exploit the principle, well known in neuromechanics, that humans move their joints in a coordinated fashion. Our coordination-based descriptor (CODE) is computed by two main steps. The first step is to identify the most informative joints which characterize the motion. The second step enriches the descriptor considering minimum and maximum joint velocities and the correlations between the most informative joints. In order to compute the distances between action descriptors, we propose a novel correlation-based similarity measure. The performance of CODE is tested on two public datasets, namely HDM05 and Berkeley MHAD, and compared with state-of-the-art approaches, showing recognition results. △ Less

Submitted 20 November, 2019; originally announced November 2019.

On Policy Learning Robust to Irreversible Events: An Application to Robotic In-Hand Manipulation

Authors: Pietro Falco, Abdallah Attawia, Matteo Saveriano, Dongheui Lee

Abstract: In this letter, we present an approach for learning in-hand manipulation skills with a low-cost, underactuated prosthetic hand in the presence of irreversible events. Our approach combines reinforcement learning based on visual perception with low-level reactive control based on tactile perception, which aims to avoid slip**. The objective of the reinforcement learning level consists not only in… ▽ More In this letter, we present an approach for learning in-hand manipulation skills with a low-cost, underactuated prosthetic hand in the presence of irreversible events. Our approach combines reinforcement learning based on visual perception with low-level reactive control based on tactile perception, which aims to avoid slip**. The objective of the reinforcement learning level consists not only in fulfilling the in-hand manipulation goal, but also in minimizing the intervention of the tactile reactive control. This way, the occurrence of object slip** during the learning procedure, which we consider an irreversible event, is significantly reduced. When an irreversible event occurs, the learning process is considered failed. We show the performance in two tasks, which consist in reorienting a cup and a bottle only using the fingers. The experimental results show that the proposed architecture allows reaching the goal in the Cartesian space and reduces significantly the occurrence of object slip** during the learning procedure. Moreover, without the proposed synergy between reactive control and reinforcement learning it was not possible to avoid irreversible events and, therefore, to learn the task. △ Less

Submitted 20 November, 2019; originally announced November 2019.

Predicting popularity of EV charging infrastructure from GIS data

Authors: Milan Straka, Pasquale De Falco, Gabriella Ferruzzi, Daniela Proto, Gijs van der Poel, Shahab Khormali, Ľuboš Buzna

Abstract: The availability of charging infrastructure is essential for large-scale adoption of electric vehicles (EV). Charging patterns and the utilization of infrastructure have consequences not only for the energy demand, loading local power grids but influence the economic returns, parking policies and further adoption of EVs. We develop a data-driven approach that is exploiting predictors compiled from… ▽ More The availability of charging infrastructure is essential for large-scale adoption of electric vehicles (EV). Charging patterns and the utilization of infrastructure have consequences not only for the energy demand, loading local power grids but influence the economic returns, parking policies and further adoption of EVs. We develop a data-driven approach that is exploiting predictors compiled from GIS data describing the urban context and urban activities near charging infrastructure to explore correlations with a comprehensive set of indicators measuring the performance of charging infrastructure. The best fit was identified for the size of the unique group of visitors (popularity) attracted by the charging infrastructure. Consecutively, charging infrastructure is ranked by popularity. The question of whether or not a given charging spot belongs to the top tier is posed as a binary classification problem and predictive performance of logistic regression regularized with an l-1 penalty, random forests and gradient boosted regression trees is evaluated. Obtained results indicate that the collected predictors contain information that can be used to predict the popularity of charging infrastructure. The significance of predictors and how they are linked with the popularity are explored as well. The proposed methodology can be used to inform charging infrastructure deployment strategies. △ Less

Submitted 6 October, 2019; originally announced October 2019.

Journal ref: IEEE Access ( Volume: 8 ) 2020

Data-efficient Model Learning and Prediction for Contact-rich Manipulation Tasks

Authors: Shahbaz Abdul Khader, Hang Yin, Pietro Falco, Danica Kragic

Abstract: In this letter, we investigate learning forward dynamics models and multi-step prediction of state variables (long-term prediction) for contact-rich manipulation. The problems are formulated in the context of model-based reinforcement learning (MBRL). We focus on two aspects-discontinuous dynamics and data-efficiency-both of which are important in the identified scope and pose significant challeng… ▽ More In this letter, we investigate learning forward dynamics models and multi-step prediction of state variables (long-term prediction) for contact-rich manipulation. The problems are formulated in the context of model-based reinforcement learning (MBRL). We focus on two aspects-discontinuous dynamics and data-efficiency-both of which are important in the identified scope and pose significant challenges to State-of-the-Art methods. We contribute to closing this gap by proposing a method that explicitly adopts a specific hybrid structure for the model while leveraging the uncertainty representation and data-efficiency of Gaussian process. Our experiments on an illustrative moving block task and a 7-DOF robot demonstrate a clear advantage when compared to popular baselines in low data regimes. △ Less

Submitted 27 September, 2020; v1 submitted 11 September, 2019; originally announced September 2019.

Comments: Accepted at Robotics and Automation Letters

Critical exponents of the two dimensional Coulomb gas at the Berezinskii-Kosterlitz-Thouless transition

Authors: Pierluigi Falco

Abstract: The two dimensional Coulomb gas is the prototypical model of statistical mechanics displaying a special kind of phase transition, named after Berezinskii, Kosterlitz and Thouless. Physicists and mathematicians proposed several predictions about this system. Two of them, valid along the phase transition curve and for small activity, are: a) the long-distance decay of the "fractional charge" correla… ▽ More The two dimensional Coulomb gas is the prototypical model of statistical mechanics displaying a special kind of phase transition, named after Berezinskii, Kosterlitz and Thouless. Physicists and mathematicians proposed several predictions about this system. Two of them, valid along the phase transition curve and for small activity, are: a) the long-distance decay of the "fractional charge" correlation is power law, with a multiplicative logarithmic correction; b) in such a decay, the exponent of the power law, as well as the exponent of the logarithmic correction, have a certain precise dependence upon the charge value. In this paper we provide a proof of these two long standing conjectures. △ Less

Submitted 25 November, 2013; v1 submitted 9 November, 2013; originally announced November 2013.

Comments: 80 pages, 3 figures. In this revised version: corrections and extended explanations

MSC Class: 82B20; 82B27; 82B28

Correlation Critical Exponents for the Six-Vertex Model

Authors: Pierluigi Falco

Abstract: The six-vertex model on a square lattice is "exactly solvable" because an exact formula for the free energy can be obtained by Bethe Ansatz. However, exact formulas for the correlations of local bulk observables, such as the orientation of the arrow at a given edge, are in general not available. In this paper we consider the isotropic "zero-field" six-vertex model at small |Δ|. We derive the large… ▽ More The six-vertex model on a square lattice is "exactly solvable" because an exact formula for the free energy can be obtained by Bethe Ansatz. However, exact formulas for the correlations of local bulk observables, such as the orientation of the arrow at a given edge, are in general not available. In this paper we consider the isotropic "zero-field" six-vertex model at small |Δ|. We derive the large-distance asymptotic formula of the arrow-arrow correlation, which displays a power law decay and an anomalous exponent. Our method is based on an interacting fermions representation of the six-vertex model and does not use any information obtained from the exact solution. △ Less

Submitted 20 August, 2013; v1 submitted 11 July, 2013; originally announced July 2013.

Comments: 5 pages, 3 figures, correction of formula (3) and its derivation

Universality of one-dimensional Fermi systems, II. The Luttinger liquid structure

Authors: Giuseppe Benfatto, Pierluigi Falco, Vieri Mastropietro

Abstract: We complete the proof started in "Universality of one-dimensional Fermi systems, I." of the universal Luttinger liquid relations for a general model of spinning fermions on a lattice, by making use of the Ward Identities due to asymptotically emerging symmetries. This is done by introducing an effective model verifying extra symmetries and by relating its critical exponents to those of the fermion… ▽ More We complete the proof started in "Universality of one-dimensional Fermi systems, I." of the universal Luttinger liquid relations for a general model of spinning fermions on a lattice, by making use of the Ward Identities due to asymptotically emerging symmetries. This is done by introducing an effective model verifying extra symmetries and by relating its critical exponents to those of the fermion lattice gas by suitable fine tuning of the parameters. △ Less

Submitted 15 March, 2013; originally announced March 2013.

Comments: 58 pages, 15 figures

Universality of one-dimensional Fermi systems, I. Response functions and critical exponents

Authors: Giuseppe Benfatto, Pierluigi Falco, Vieri Mastropietro

Abstract: The critical behavior of one-dimensional interacting Fermi systems is expected to display universality features, called Luttinger liquid behavior. Critical exponents and certain thermodynamic quantities are expected to be related among each others by model-independent formulas. We establish such relations, the proof of which has represented a challenging mathematical problem, for a general model o… ▽ More The critical behavior of one-dimensional interacting Fermi systems is expected to display universality features, called Luttinger liquid behavior. Critical exponents and certain thermodynamic quantities are expected to be related among each others by model-independent formulas. We establish such relations, the proof of which has represented a challenging mathematical problem, for a general model of spinning fermions on a one dimensional lattice; interactions are short ranged and satisfy a positivity condition which makes the model critical at zero temperature. Proofs are reported in two papers: in the present one, we demonstrate that the zero temperature response functions in the thermodynamic limit are Borel summable and have anomalous power-law decay with multiplicative logarithmic corrections. Critical exponents are expressed in terms of convergent expansions and depend on all the model details. All results are valid for the special case of the Hubbard model. △ Less

Submitted 15 March, 2013; originally announced March 2013.

Comments: 56 pages, 2 figures. arXiv admin note: text overlap with arXiv:1106.0356

Interacting Fermions Picture for Dimer Models

Authors: Pierluigi Falco

Abstract: Recent numerical results on classical dimers with weak aligning interactions have been theoretically justified via a Coulomb Gas representation of the height random variable. Here we propose a completely different representation, the Interacting Fermions Picture, which avoids some difficulties of the Coulomb Gas approach and provides a better account of the numerical findings. Besides, we observe… ▽ More Recent numerical results on classical dimers with weak aligning interactions have been theoretically justified via a Coulomb Gas representation of the height random variable. Here we propose a completely different representation, the Interacting Fermions Picture, which avoids some difficulties of the Coulomb Gas approach and provides a better account of the numerical findings. Besides, we observe that Peierls' argument explains the behavior of the system in the strong interaction case. △ Less

Submitted 30 May, 2013; v1 submitted 26 December, 2012; originally announced December 2012.

Comments: 4 pages, 2 figures, revised version for Physical Review E

Two-dimensional Quantum Field Models (with applications to Statistical Mechanics)

Authors: Pierluigi Falco

Abstract: Two dimensional toy models display, in a gentler setting, manysalient aspects of Quantum Field Theory. Here I discuss a concrete two dimensional case, the Thirring model, which illustrates several important concepts of this theory: the anomalous dimension of the fields; the exact solvability; the anomalies of the Ward-Takahashi identities. Besides, I give a glimpse of the decisive role that this m… ▽ More Two dimensional toy models display, in a gentler setting, manysalient aspects of Quantum Field Theory. Here I discuss a concrete two dimensional case, the Thirring model, which illustrates several important concepts of this theory: the anomalous dimension of the fields; the exact solvability; the anomalies of the Ward-Takahashi identities. Besides, I give a glimpse of the decisive role that this model plays in the study of an apparently unrelated topic: correlation critical exponents of two dimensional lattice systems of Statistical Mechanics. △ Less

Submitted 15 April, 2013; v1 submitted 31 August, 2012; originally announced August 2012.

Comments: 10 pages; International Conference on Mathematical Physics 2012 - Topical Section: Quantum Field Theory

Universal Luttinger Liquid Relations in the 1D Hubbard Model

Authors: Giuseppe Benfatto, Pierluigi Falco, Vieri Mastropietro

Abstract: We study the 1D extended Hubbard model with a weak repulsive short-range interaction in the non-half-filled band case, using non-perturbative Renormalization Group methods and Ward Identities. At the critical temperature, T = 0, the response functions have anomalous power-law decay with multiplicative logarithmic corrections. The critical exponents, the susceptibility and the Drude weight verify t… ▽ More We study the 1D extended Hubbard model with a weak repulsive short-range interaction in the non-half-filled band case, using non-perturbative Renormalization Group methods and Ward Identities. At the critical temperature, T = 0, the response functions have anomalous power-law decay with multiplicative logarithmic corrections. The critical exponents, the susceptibility and the Drude weight verify the universal Luttinger liquid relations. Borel summability and (a weak form of) Spin-Charge separation is established. △ Less

Submitted 1 June, 2011; originally announced June 2011.

Comments: 50 pages

Kosterlitz-Thouless Transition Line for the Two Dimensional Coulomb Gas

Authors: Pierluigi Falco

Abstract: With a rigorous renormalization group approach, we study the pressure of the two dimensional Coulomb Gas along a small piece of the Kosterlitz-Thouless transition line, i.e. the boundary of the dipole region in the activity-temperature phase-space. With a rigorous renormalization group approach, we study the pressure of the two dimensional Coulomb Gas along a small piece of the Kosterlitz-Thouless transition line, i.e. the boundary of the dipole region in the activity-temperature phase-space. △ Less

Submitted 11 April, 2011; originally announced April 2011.

Comments: 61 pages, 2 figures

Vector and Axial anomaly in the Thirring-Wess model

Authors: Pierluigi Falco

Abstract: We study the 2D Vector Meson model introduced by Thirring and Wess, that is to say the Schwinger model with massive photon and massless fermion. We prove, with a renormalization group approach, that the vector and axial Ward identities are broken by the Adler-Bell-Jackiw anomaly; and we rigorously establish three widely believed consequences: a) the interacting meson-meson correlation equals a f… ▽ More We study the 2D Vector Meson model introduced by Thirring and Wess, that is to say the Schwinger model with massive photon and massless fermion. We prove, with a renormalization group approach, that the vector and axial Ward identities are broken by the Adler-Bell-Jackiw anomaly; and we rigorously establish three widely believed consequences: a) the interacting meson-meson correlation equals a free boson propagator, though the mass is additively renormalized by the anomaly; b) the anomaly is quadratic in the charge, in agreement with the Adler-Bardeen formula; c) the fermion-fermion correlation has an anomalous long-distance decay. △ Less

Submitted 24 February, 2010; v1 submitted 27 January, 2010; originally announced January 2010.

Comments: 35 pages, 9 figures, minor changes in the discussion of the references

Universal Relations for Non Solvable Statistical Models

Authors: G. Benfatto, P. Falco, V. Mastropietro

Abstract: We present the first rigorous derivation of a number of universal relations for a class of models with continuously varying indices (among which are interacting planar Ising models, quantum spin chains and 1D Fermi systems), for which an exact solution is not known, except in a few special cases. Most of these formulas were conjectured by Luther and Peschel, Kadanoff, Haldane, but only checked i… ▽ More We present the first rigorous derivation of a number of universal relations for a class of models with continuously varying indices (among which are interacting planar Ising models, quantum spin chains and 1D Fermi systems), for which an exact solution is not known, except in a few special cases. Most of these formulas were conjectured by Luther and Peschel, Kadanoff, Haldane, but only checked in the special solvable models; one of them, related to the anisotropic Ashkin-Teller model, is novel. △ Less

Submitted 14 September, 2009; originally announced September 2009.

Comments: 4 pages, no figure, letter

Extended scaling relations for planar lattice models

Authors: G. Benfatto, P. Falco, V. Mastropietro

Abstract: It is widely believed that the critical properties of several planar lattice models, like the Eight Vertex or the Ashkin-Teller models, are well described by an effective Quantum Field Theory obtained as formal scaling limit. On the basis of this assumption several extended scaling relations among their indices were conjectured. We prove the validity of some of them, among which the ones by Kada… ▽ More It is widely believed that the critical properties of several planar lattice models, like the Eight Vertex or the Ashkin-Teller models, are well described by an effective Quantum Field Theory obtained as formal scaling limit. On the basis of this assumption several extended scaling relations among their indices were conjectured. We prove the validity of some of them, among which the ones by Kadanoff, [K], and by Luther and Peschel, [LP]. △ Less

Submitted 19 November, 2008; originally announced November 2008.

Comments: 32 pages, 7 fig

Massless Sine-Gordon and Massive Thirring Models: proof of the Coleman's equivalence

Authors: G. Benfatto, P. Falco, V. Mastropietro

Abstract: We prove the Coleman's conjecture on the equivalence between the massless Sine-Gordon model with finite volume interaction and the Thirring model with a finite volume mass term. We prove the Coleman's conjecture on the equivalence between the massless Sine-Gordon model with finite volume interaction and the Thirring model with a finite volume mass term. △ Less

Submitted 17 December, 2007; v1 submitted 30 November, 2007; originally announced November 2007.

Comments: 55 pages, 1 figure minor corrections

Journal ref: Commun.Math.Phys.285:713-762,2009

Renormalization Group and Asymptotic Spin--Charge separation for Chiral Luttinger liquids

Authors: P. Falco, V. Mastropietro

Abstract: The phenomenon of Spin-Charge separation in non-Fermi liquids is well understood only in certain solvable d=1 fermionic systems. In this paper we furnish the first example of asymptotic Spin-Charge separation in a d=1 non solvable model. This goal is achieved using Renormalization Group approach combined with Ward-Identities and Schwinger-Dyson equations, corrected by the presence of a bandwidth… ▽ More The phenomenon of Spin-Charge separation in non-Fermi liquids is well understood only in certain solvable d=1 fermionic systems. In this paper we furnish the first example of asymptotic Spin-Charge separation in a d=1 non solvable model. This goal is achieved using Renormalization Group approach combined with Ward-Identities and Schwinger-Dyson equations, corrected by the presence of a bandwidth cut-offs. Such methods, contrary to bosonization, could be in principle applied also to lattice or higher dimensional systems. △ Less

Submitted 19 July, 2007; originally announced July 2007.

Comments: 45 pages, 11 figures

Rigorous construction of the Thirring model: Ward-Takahashi Identities, Schwinger-Dyson Equations and New Anomalies

Authors: Pierluigi Falco

Abstract: We provide a rigorous construction of the Schwinger functions for the massive and massless Thirring models. We use the renormalization group approach, controlling its flow through the Ward-Takahashi identities combined with the Schwinger-Dyson equation. The role of the anomalies is discussed. We provide a rigorous construction of the Schwinger functions for the massive and massless Thirring models. We use the renormalization group approach, controlling its flow through the Ward-Takahashi identities combined with the Schwinger-Dyson equation. The role of the anomalies is discussed. △ Less

Submitted 29 March, 2007; originally announced March 2007.

Comments: PhD thesis - 2 March 2006. 121 pages

Analyticity of the SRB measure for a class of simple Anosov flows

Authors: A. Amaricci, F. Bonetto, P. Falco

Abstract: We consider perturbations of the Hamiltonian flow associated with the geodesic flow on a surface of constant negative curvature. We prove that, under a small perturbation, not necessarely of Hamiltonian character, the SRB measure associated to the flow exists and is analytic in the strength of the perturbation. An explicit example of "thermostatted" dissipative dynamics is constructed. We consider perturbations of the Hamiltonian flow associated with the geodesic flow on a surface of constant negative curvature. We prove that, under a small perturbation, not necessarely of Hamiltonian character, the SRB measure associated to the flow exists and is analytic in the strength of the perturbation. An explicit example of "thermostatted" dissipative dynamics is constructed. △ Less

Submitted 5 July, 2006; v1 submitted 5 July, 2006; originally announced July 2006.

Comments: 23 pages, corrected typos

Journal ref: J. Math. Phys. 48, 072701 (2007)

Non-perturbative Anomalies in $d=2$ QFT

Authors: G. Benfatto, P. Falco, V. Mastropietro

Abstract: We present the first rigorous construction of the QFT Thirring model, for any value of the mass, in a functional integral approach, by proving that a set of Grassmann integrals converges, as the cutoffs are removed, to a set of Schwinger functions verifying the Osterwalder-Schrader axioms. The massless limit is investigated and it is shown that the Schwinger functions have different properties w… ▽ More We present the first rigorous construction of the QFT Thirring model, for any value of the mass, in a functional integral approach, by proving that a set of Grassmann integrals converges, as the cutoffs are removed, to a set of Schwinger functions verifying the Osterwalder-Schrader axioms. The massless limit is investigated and it is shown that the Schwinger functions have different properties with respect to the ones of the well known exact solution: the Ward Identities have anomalies violating the anomaly non-renormalization property and additional anomalies, apparently unnoticed before, are present in the closed equation for the interacting propagator, obtained by combining a Schwinger-Dyson equation with Ward Identities. △ Less

Submitted 6 July, 2006; originally announced July 2006.

Comments: 4 pages, 1 figure, letter

Functional Integral Construction of the Thirring model: axioms verification and massless limit

Authors: G. Benfatto, P. Falco, V. Mastropietro

Abstract: We construct a QFT for the Thirring model for any value of the mass in a functional integral approach, by proving that a set of Grassmann integrals converges, as the cutoffs are removed and for a proper choice of the bare parameters, to a set of Schwinger functions verifying the Osterwalder-Schrader axioms. The corresponding Ward Identities have anomalies which are not linear in the coupling and… ▽ More We construct a QFT for the Thirring model for any value of the mass in a functional integral approach, by proving that a set of Grassmann integrals converges, as the cutoffs are removed and for a proper choice of the bare parameters, to a set of Schwinger functions verifying the Osterwalder-Schrader axioms. The corresponding Ward Identities have anomalies which are not linear in the coupling and which violate the anomaly non-renormalization property. Additional anomalies are present in the closed equation for the interacting propagator, obtained by combining a Schwinger-Dyson equation with Ward Identities. △ Less

Submitted 19 June, 2006; originally announced June 2006.

Comments: 55 pages, 9 figures

Journal ref: Commun.Math.Phys.273:67-118,2007

Analyticity of the SRB measure of a lattice of coupled Anosov diffeomorphisms of the torus

Authors: F. Bonetto, P. Falco, A. Giuliani

Abstract: We consider the "thermodynamic limit"of a d-dimensional lattice of hyperbolic dynamical systems on the 2-torus, interacting via weak and nearest neighbor coupling. We prove that the SRB measure is analytic in the strength of the coupling. The proof is based on symbolic dynamics techniques that allow us to map the SRB measure into a Gibbs measure for a spin system on a (d+1)-dimensional lattice.… ▽ More We consider the "thermodynamic limit"of a d-dimensional lattice of hyperbolic dynamical systems on the 2-torus, interacting via weak and nearest neighbor coupling. We prove that the SRB measure is analytic in the strength of the coupling. The proof is based on symbolic dynamics techniques that allow us to map the SRB measure into a Gibbs measure for a spin system on a (d+1)-dimensional lattice. This Gibbs measure can be studied by an extension (decimation) of the usual "cluster expansion" techniques. △ Less

Submitted 10 December, 2003; originally announced December 2003.

Comments: 28 pages, 2 figures

Journal ref: Jour. Math. Phys. 45, 3282-3309 (2004)