-
Critical magnetic flux for Weyl points in the three-dimensional Hofstadter model
Authors:
Pierpaolo Fontana,
Andrea Trombettoni
Abstract:
We investigate the band structure of the three-dimensional Hofstadter model on cubic lattices, with an isotropic magnetic field oriented along the diagonal of the cube with flux $Φ=2 π\cdot m /n$, where $m,n$ are co-prime integers. Using reduced exact diagonalization in momentum space, we show that, at fixed $m$, there exists an integer $n(m)$ associated with a specific value of the magnetic flux,…
▽ More
We investigate the band structure of the three-dimensional Hofstadter model on cubic lattices, with an isotropic magnetic field oriented along the diagonal of the cube with flux $Φ=2 π\cdot m /n$, where $m,n$ are co-prime integers. Using reduced exact diagonalization in momentum space, we show that, at fixed $m$, there exists an integer $n(m)$ associated with a specific value of the magnetic flux, that we denote by $Φ_c(m) \equiv 2 π\cdot m/n(m)$, separating two different regimes. The first one, for fluxes $Φ<Φ_c(m)$, is characterized by complete band overlaps, while the second one, for $Φ>Φ_c(m)$, features isolated band touching points in the density of states and Weyl points between the $m$- and the $(m+1)$-th bands. In the Hasegawa gauge, the minimum of the $(m+1)$-th band abruptly moves at the critical flux $Φ_c(m)$ from $k_z=0$ to $k_z=π$. We then argue that the limit for large $m$ of $Φ_c(m)$ exists and it is finite: $\lim_{m\to \infty} Φ_c(m) \equiv Φ_c$. Our estimate is $Φ_c/2π=0.1296(1)$. Based on the values of $n(m)$ determined for integers $m\leq60$, we propose a mathematical conjecture for the form of $Φ_c(m)$ to be used in the large-$m$ limit. The asymptotic critical flux obtained using this conjecture is $Φ_c^{\rm (conj)}/2π=7/54$.
△ Less
Submitted 5 March, 2024;
originally announced March 2024.
-
Expressiveness Results for Timed Modal Mu-Calculi
Authors:
Rance Cleaveland,
Jeroen J. A. Keiren,
Peter Fontana
Abstract:
This paper establishes relative expressiveness results for several modal mu-calculi interpreted over timed automata. These mu-calculi combine modalities for expressing passage of (real) time with a general framework for defining formulas recursively; several variants have been proposed in the literature. We show that one logic, which we call $L^{rel}_{ν,μ}$, is strictly more expressive than the ot…
▽ More
This paper establishes relative expressiveness results for several modal mu-calculi interpreted over timed automata. These mu-calculi combine modalities for expressing passage of (real) time with a general framework for defining formulas recursively; several variants have been proposed in the literature. We show that one logic, which we call $L^{rel}_{ν,μ}$, is strictly more expressive than the other mu-calculi considered. It is also more expressive than the temporal logic TCTL, while the other mu-calculi are incomparable with TCTL in the setting of general timed automata.
△ Less
Submitted 6 October, 2023;
originally announced October 2023.
-
Quantum simulator of link models using spinor dipolar ultracold atoms
Authors:
Pierpaolo Fontana,
Joao C. Pinto Barros,
Andrea Trombettoni
Abstract:
We propose a scheme for the quantum simulation of quantum link models in two-dimensional lattices. Our approach considers spinor dipolar gases on a suitably shaped lattice, where the dynamics of particles in the different hyperfine levels of the gas takes place in one-dimensional chains coupled by the dipolar interactions. We show that at least four levels are needed. The present scheme does not r…
▽ More
We propose a scheme for the quantum simulation of quantum link models in two-dimensional lattices. Our approach considers spinor dipolar gases on a suitably shaped lattice, where the dynamics of particles in the different hyperfine levels of the gas takes place in one-dimensional chains coupled by the dipolar interactions. We show that at least four levels are needed. The present scheme does not require any particular fine-tuning of the parameters. We perform the derivation of the parameters of the quantum link models by means of two different approaches, a non-perturbative one tied to angular momentum conservation, and a perturbative one. A comparison with other schemes for $(2+1)$-dimensional quantum link models present in literature is discussed. Finally, the extension to three-dimensional lattices is presented, and its subtleties are pointed out.
△ Less
Submitted 28 March, 2023; v1 submitted 26 October, 2022;
originally announced October 2022.
-
Tutela: An Open-Source Tool for Assessing User-Privacy on Ethereum and Tornado Cash
Authors:
Mike Wu,
Will McTighe,
Kaili Wang,
Istvan A. Seres,
Nick Bax,
Manuel Puebla,
Mariano Mendez,
Federico Carrone,
Tomás De Mattey,
Herman O. Demaestri,
Mariano Nicolini,
Pedro Fontana
Abstract:
A common misconception among blockchain users is that pseudonymity guarantees privacy. The reality is almost the opposite. Every transaction one makes is recorded on a public ledger and reveals information about one's identity. Mixers, such as Tornado Cash, were developed to preserve privacy through "mixing" transactions with those of others in an anonymity pool, making it harder to link deposits…
▽ More
A common misconception among blockchain users is that pseudonymity guarantees privacy. The reality is almost the opposite. Every transaction one makes is recorded on a public ledger and reveals information about one's identity. Mixers, such as Tornado Cash, were developed to preserve privacy through "mixing" transactions with those of others in an anonymity pool, making it harder to link deposits and withdrawals from the pool. Unfortunately, it is still possible to reveal information about those in the anonymity pool if users are not careful. We introduce Tutela, an application built on expert heuristics to report the true anonymity of an Ethereum address. In particular, Tutela has three functionalities: first, it clusters together Ethereum addresses based on interaction history such that for an Ethereum address, we can identify other addresses likely owned by the same entity; second, it shows Ethereum users their potentially compromised transactions; third, Tutela computes the true size of the anonymity pool of each Tornado Cash mixer by excluding potentially compromised transactions. A public implementation of Tutela can be found at https://github.com/TutelaLabs/tutela-app. To use Tutela, visit https://www.tutela.xyz.
△ Less
Submitted 18 January, 2022;
originally announced January 2022.
-
Spread balanced Wannier functions: Robust and automatable orbital localization
Authors:
Pietro F. Fontana,
Ask H. Larsen,
Thomas Olsen,
Kristian S. Thygesen
Abstract:
We introduce a new type of Wannier functions (WFs) obtained by minimizing the conventional spread functional with a penalty term proportional to the variance of the spread distribution. This modified Wannierisation scheme is less prone to produce ineffective solutions featuring one or several poorly localized orbitals, making it well suited for complex systems or high-throughput applications. Furt…
▽ More
We introduce a new type of Wannier functions (WFs) obtained by minimizing the conventional spread functional with a penalty term proportional to the variance of the spread distribution. This modified Wannierisation scheme is less prone to produce ineffective solutions featuring one or several poorly localized orbitals, making it well suited for complex systems or high-throughput applications. Furthermore, we propose an automatable protocol for selecting the initial guess and determine the optimal number of bands (or equivalently WFs) for the localization algorithm. The improved performance and robustness of the approach is demonstrated for a diverse set of test systems including the NV center in diamond, metal slabs with atomic adsorbates, spontaneous polarization of ferroelectrics and 30 inorganic monolayer materials comprising both metals and semiconductors. The methods are implemented in Python as part of the Atomic Simulation Environment (ASE).
△ Less
Submitted 7 November, 2021; v1 submitted 4 July, 2021;
originally announced July 2021.
-
Topological van Hove singularities at phase transitions in Weyl metals
Authors:
Pierpaolo Fontana,
Michele Burrello,
Andrea Trombettoni
Abstract:
We show that in three-dimensional (3D) topological metals, a subset of the van Hove singularities of the density of states sits exactly at the transitions between topological and trivial gapless phases. We may refer to these as topological van Hove singularities. By investigating two minimal models, we show that they originate from energy saddle points located between Weyl points with opposite chi…
▽ More
We show that in three-dimensional (3D) topological metals, a subset of the van Hove singularities of the density of states sits exactly at the transitions between topological and trivial gapless phases. We may refer to these as topological van Hove singularities. By investigating two minimal models, we show that they originate from energy saddle points located between Weyl points with opposite chiralities, and we illustrate their topological nature through their magnetotransport properties in the ballistic regime. We exemplify the relation between van Hove singularities and topological phase transitions in Weyl systems by analyzing the 3D Hofstadter model, which offers a simple and interesting playground to consider different kinds of Weyl metals and to understand the features of their density of states. In this model, as a function of the magnetic flux, the occurrence of topological van Hove singularities can be explicitly checked.
△ Less
Submitted 29 November, 2021; v1 submitted 10 June, 2021;
originally announced June 2021.
-
Reformulation of gauge theories in terms of gauge invariant fields
Authors:
Pierpaolo Fontana,
Joao C. Pinto Barros,
Andrea Trombettoni
Abstract:
We present a reformulation of gauge theories in terms of gauge invariant fields. Focusing on Abelian theories, we show that the gauge and matter covariant fields can be recombined to introduce new gauge invariant degrees of freedom. Starting from the $(1+1)$ dimensional case on the lattice, with both periodic and open boundary conditions, we then generalize to higher dimensions and to the continuu…
▽ More
We present a reformulation of gauge theories in terms of gauge invariant fields. Focusing on Abelian theories, we show that the gauge and matter covariant fields can be recombined to introduce new gauge invariant degrees of freedom. Starting from the $(1+1)$ dimensional case on the lattice, with both periodic and open boundary conditions, we then generalize to higher dimensions and to the continuum limit. To show explicit and physically relevant examples of the reformulation, we apply it to the Hamiltonian of a single particle in a (static) magnetic field, to pure abelian lattice gauge theories, to the Lagrangian of quantum electrodynamics in $(3+1)$ dimensions and to the Hamiltonian of the $2d$ and $3d$ Hofstadter model. In the latter, we show that the particular construction used to eliminate the the gauge covariant fields enters the definition of the magnetic Brillouin zone. Finally, we briefly comment on relevance of the presented reformulation to the study of interacting gauge theories.
△ Less
Submitted 16 December, 2021; v1 submitted 29 August, 2020;
originally announced August 2020.
-
Timed Automata Benchmark Description
Authors:
Peter Fontana,
Rance Cleaveland
Abstract:
This report contains the descriptions of the timed automata (models) and the properties (specifications) that are used as the "benchmark examples in Data structure choices for on-the-fly model checking of real-time systems" and "The power of proofs: New algorithms for timed automata model checking." The four models from those sources are: CSMA, FISCHER, LEADER, and GRC. Additionally we include in…
▽ More
This report contains the descriptions of the timed automata (models) and the properties (specifications) that are used as the "benchmark examples in Data structure choices for on-the-fly model checking of real-time systems" and "The power of proofs: New algorithms for timed automata model checking." The four models from those sources are: CSMA, FISCHER, LEADER, and GRC. Additionally we include in this report two additional models: FDDI and PATHOS. These six models are often used to benchmark timed automata model checker speed throughout timed automata model checking papers.
△ Less
Submitted 27 May, 2020;
originally announced May 2020.
-
Scaling behavior of Ising systems at first-order transitions
Authors:
Pierpaolo Fontana
Abstract:
We investigate how the scaling behavior of finite systems at magnetic first-order transitions (FOTs) with relaxational dynamics changes in correspondence of various boundary conditions. As a theoretical laboratory we consider the two-dimensional Ising model in the low-temperature phase. When the boundary conditions do not favor any specific phase of the system, we show that a dynamic finite-size s…
▽ More
We investigate how the scaling behavior of finite systems at magnetic first-order transitions (FOTs) with relaxational dynamics changes in correspondence of various boundary conditions. As a theoretical laboratory we consider the two-dimensional Ising model in the low-temperature phase. When the boundary conditions do not favor any specific phase of the system, we show that a dynamic finite-size scaling (DFSS) theory can be developed to describe the dynamic behavior in the coexistence region, where different phases coexist. When the boundary conditions at two opposite sides of the system generate a planar interface separating the phases, we show that the autocorrelation times are characterized by a power-law behavior, related to the dynamics enforced by the interface. Numerical results for a purely relaxational dynamics confirm the general picture.
△ Less
Submitted 12 May, 2019; v1 submitted 4 March, 2019;
originally announced March 2019.
-
Corrections to A Menagerie of Timed Automata
Authors:
Jeroen J. A. Keiren,
Peter Fontana,
Rance Cleaveland
Abstract:
This note corrects a technical error in the ACM Computing Surveys paper mentioned in the title. The flaw involved constructions for showing that timed automata with urgent locations have the same expressiveness as timed automata that allow false location invariants. Corrected con- structions are presented in this note, and the affected results are reproved.
This note corrects a technical error in the ACM Computing Surveys paper mentioned in the title. The flaw involved constructions for showing that timed automata with urgent locations have the same expressiveness as timed automata that allow false location invariants. Corrected con- structions are presented in this note, and the affected results are reproved.
△ Less
Submitted 23 February, 2016;
originally announced February 2016.
-
An expanded evaluation of protein function prediction methods shows an improvement in accuracy
Authors:
Yuxiang Jiang,
Tal Ronnen Oron,
Wyatt T Clark,
Asma R Bankapur,
Daniel D'Andrea,
Rosalba Lepore,
Christopher S Funk,
Indika Kahanda,
Karin M Verspoor,
Asa Ben-Hur,
Emily Koo,
Duncan Penfold-Brown,
Dennis Shasha,
Noah Youngs,
Richard Bonneau,
Alexandra Lin,
Sayed ME Sahraeian,
Pier Luigi Martelli,
Giuseppe Profiti,
Rita Casadio,
Renzhi Cao,
Zhaolong Zhong,
Jianlin Cheng,
Adrian Altenhoff,
Nives Skunca
, et al. (122 additional authors not shown)
Abstract:
Background: The increasing volume and variety of genotypic and phenotypic data is a major defining characteristic of modern biomedical sciences. At the same time, the limitations in technology for generating data and the inherently stochastic nature of biomolecular events have led to the discrepancy between the volume of data and the amount of knowledge gleaned from it. A major bottleneck in our a…
▽ More
Background: The increasing volume and variety of genotypic and phenotypic data is a major defining characteristic of modern biomedical sciences. At the same time, the limitations in technology for generating data and the inherently stochastic nature of biomolecular events have led to the discrepancy between the volume of data and the amount of knowledge gleaned from it. A major bottleneck in our ability to understand the molecular underpinnings of life is the assignment of function to biological macromolecules, especially proteins. While molecular experiments provide the most reliable annotation of proteins, their relatively low throughput and restricted purview have led to an increasing role for computational function prediction. However, accurately assessing methods for protein function prediction and tracking progress in the field remain challenging. Methodology: We have conducted the second Critical Assessment of Functional Annotation (CAFA), a timed challenge to assess computational methods that automatically assign protein function. One hundred twenty-six methods from 56 research groups were evaluated for their ability to predict biological functions using the Gene Ontology and gene-disease associations using the Human Phenotype Ontology on a set of 3,681 proteins from 18 species. CAFA2 featured significantly expanded analysis compared with CAFA1, with regards to data set size, variety, and assessment metrics. To review progress in the field, the analysis also compared the best methods participating in CAFA1 to those of CAFA2. Conclusions: The top performing methods in CAFA2 outperformed the best methods from CAFA1, demonstrating that computational function prediction is improving. This increased accuracy can be attributed to the combined effect of the growing number of experimental annotations and improved methods for function prediction.
△ Less
Submitted 2 January, 2016;
originally announced January 2016.
-
The Power of Proofs: New Algorithms for Timed Automata Model Checking (with Appendix)
Authors:
Peter Fontana,
Rance Cleaveland
Abstract:
This paper presents the first model-checking algorithm for an expressive modal mu-calculus over timed automata, $L^{\mathit{rel}, \mathit{af}}_{ν,μ}$, and reports performance results for an implementation. This mu-calculus contains extended time-modality operators and can express all of TCTL. Our algorithmic approach uses an "on-the-fly" strategy based on proof search as a means of ensuring high p…
▽ More
This paper presents the first model-checking algorithm for an expressive modal mu-calculus over timed automata, $L^{\mathit{rel}, \mathit{af}}_{ν,μ}$, and reports performance results for an implementation. This mu-calculus contains extended time-modality operators and can express all of TCTL. Our algorithmic approach uses an "on-the-fly" strategy based on proof search as a means of ensuring high performance for both positive and negative answers to model-checking questions. In particular, a set of proof rules for solving model-checking problems are given and proved sound and complete; we encode our algorithm in these proof rules and model-check a property by constructing a proof (or showing none exists) using these rules. One noteworthy aspect of our technique is that we show that verification performance can be improved with \emph{derived rules}, whose correctness can be inferred from the more primitive rules on which they are based. In this paper, we give the basic proof rules underlying our method, describe derived proof rules to improve performance, and compare our implementation of this model checker to the UPPAAL tool.
△ Less
Submitted 28 August, 2014; v1 submitted 26 August, 2014;
originally announced August 2014.
-
Equilibrium and out-of-equilibrium dynamics in a molecular layer of azopolymer floating on water studied by Interfacial Shear Rheology
Authors:
Davide Orsi,
Luigi Cristofolini,
Marco P. Fontana
Abstract:
We report the details of the construction and calibration of an ultra sensitive surface rheometer, inspired by the setup described in [C.F. Brooks et al Langmuir 15, 2450 (1999)], which makes use of high resolution video tracking of the motion of a floating magnetized needle and is capable of measuring the viscoelastic response of a Langmuir monolayer with an accuracy of 10^-5 N/m. This instrument…
▽ More
We report the details of the construction and calibration of an ultra sensitive surface rheometer, inspired by the setup described in [C.F. Brooks et al Langmuir 15, 2450 (1999)], which makes use of high resolution video tracking of the motion of a floating magnetized needle and is capable of measuring the viscoelastic response of a Langmuir monolayer with an accuracy of 10^-5 N/m. This instrument is then employed for the rheological characterization of a Langmuir monolayer of a photosensitive azobenzene polymer, which can be brought out of equilibrium by a suitable photoperturbation. The complex dynamic shear modulus G= G' + i G" is measured as a function of temperature and illumination power and wavelength. The reversible rheological ch anges induced in the film by photo-perturbation are monitored during time, observing a transition from a predominantly elastic (G' > G'') to a viscoelastic (G' \approx G'') regime. These results are confirmed by comparison with independent measurements performed by us using other rheological techniques. Finally a discussion is made, taking into account the results of a recent x-ray photon correlation spectroscopy experiment on the same polymer in equilibrium and out of equilibrium.
△ Less
Submitted 18 May, 2010;
originally announced May 2010.
-
Slow dynamics in an azopolymer molecular layer studied by x-ray photon correlation spectroscopy
Authors:
Davide Orsi,
Luigi Cristofolini,
Marco P. Fontana,
Anders Madsen,
Andrei Fluerasu
Abstract:
We report the results of X-ray photon correlation spectroscopy (XPCS) experiments on Langmuir Blodgett multilayers of a photosensitive azo-polymer. Time correlation functions have been measured at different temperatures and momentum transfers (q) and under different illumination conditions (darkness, UV or visible). The correlation functions are well described by the Kohlrausch-Williams-Watts (KWW…
▽ More
We report the results of X-ray photon correlation spectroscopy (XPCS) experiments on Langmuir Blodgett multilayers of a photosensitive azo-polymer. Time correlation functions have been measured at different temperatures and momentum transfers (q) and under different illumination conditions (darkness, UV or visible). The correlation functions are well described by the Kohlrausch-Williams-Watts (KWW) form with relaxation times that are proportional to q^-1, which in other systems have been explained in terms of intermittent rearrangements [L. Cipelletti et al., Phys. Rev. Lett. 84, 2275-2278 (2000)] or random dipolar interactions within an elastic medium [J.- P. Bouchaud and E. Pitard, Eur. Phys. J. E 6, 231-236 (2001)]. The characteristic relaxation times follow the well known Vogel-Fulcher-Tammann law describing the temperature dependence of the bulk viscosity of this polymer. UV photoperturbation accelerates the relaxation dynamics, in qualitative agreement with the fluidification effect of UV photo-perturbation previously observed by surface rheometry, and is used to drive the system out of equilibrium. Transient dynamics is characterized, by the variance chi of the two-times correlation functions. A clear peak in chi appears at a well defined time tau_C which scales with q^-1 and with the ageing time, in a similar fashion as previously reported in colloidal suspensions [O. Dauchot et al., Phys. Rev. Lett. 95, 265701 (2005)]. From an accurate analysis of the correlation functions we could demonstrate a temperature dependent cross-over from KWW compressed to simple exponential behaviour, which is modified by the fluidification due to the optical pum** of the cis-trans isomerisation of the side-chain azobenzene group.
△ Less
Submitted 7 April, 2010;
originally announced April 2010.
-
Electrochemically controlled polymeric device: a memristor (and more) found two years ago
Authors:
Victor Erokhin,
Marco P. Fontana
Abstract:
We report the fabrication and properties of a polymeric memristor, i.e. an electronic element with memory of its previous history. We show how this element can be viewed as a functional analog of a synaptic junction and how it can be used as a critical node in adaptive networks capable of bioinspired intelligent signal processing.
We report the fabrication and properties of a polymeric memristor, i.e. an electronic element with memory of its previous history. We show how this element can be viewed as a functional analog of a synaptic junction and how it can be used as a critical node in adaptive networks capable of bioinspired intelligent signal processing.
△ Less
Submitted 2 July, 2008;
originally announced July 2008.