skip to main content

Attention:

The NSF Public Access Repository (NSF-PAR) system and access will be unavailable from 11:00 PM ET on Thursday, October 10 until 2:00 AM ET on Friday, October 11 due to maintenance. We apologize for the inconvenience.


This content will become publicly available on January 1, 2025

Title: An exact method for bosonizing the Fermi surface in arbitrary dimensions

Inspired by the recent work by Delacretaz et. al. [Phys. Rev. Res. 4, 033131 (2022)], we rigorously derive an exact and simple method to bosonize a non-interacting fermionic system with a Fermi surface starting from a microscopic Hamiltonian. In the long-wavelength limit, we show that the derived bosonized action is exactly equivalent to the action obtained by Delacretaz et. al. In addition, we propose diagrammatic rules to evaluate correlation functions using our bosonized theory and demonstrate these rules by calculating the three- and four-point density correlation functions. We also consider a general density-density interaction and show that the simplest approximation in our bosonic theory is identical to RPA results.

 
more » « less
Award ID(s):
2116515
NSF-PAR ID:
10538921
Author(s) / Creator(s):
;
Publisher / Repository:
SciPost
Date Published:
Journal Name:
SciPost Physics
Volume:
16
Issue:
3
ISSN:
2542-4653
Page Range / eLocation ID:
069
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Abstract

    Critical statistical mechanics and Conformal Field Theory (CFT) are conjecturally connected since the seminal work of Beliavin et al. (Nucl Phys B 241(2):333–380, 1984). Both exhibit exactly solvable structures in two dimensions. A long-standing question (Itoyama and Thacker in Phys Rev Lett 58:1395–1398, 1987) concerns whether there is a direct link between these structures, that is, whether the Virasoro algebra representations of CFT, the distinctive feature of CFT in two dimensions, can be found within lattice models of statistical mechanics. We give a positive answer to this question for the discrete Gaussian free field and for the Ising model, by connecting the structures of discrete complex analysis in the lattice models with the Virasoro symmetry that is expected to describe their scaling limits. This allows for a tight connection of a number of objects from the lattice model world and the field theory one. In particular, our results link the CFT local fields with lattice local fields introduced in Gheissari et al. (Commun Math Phys 367(3):771–833, 2019) and the probabilistic formulation of the lattice model with the continuum correlation functions. Our construction is a decisive step towards establishing the conjectured correspondence between the correlation functions of the CFT fields and those of the lattice local fields. In particular, together with the upcoming (Chelkak et al. in preparation), our construction will complete the picture initiated in Hongler and Smirnov (Acta Math 211:191–225, 2013), Hongler (Conformal invariance of ising model correlations, 2012) and Chelkak et al. (Annals Math 181(3):1087–1138, 2015), where a number of conjectures relating specific Ising lattice fields and CFT correlations were proven.

     
    more » « less
  2. Abstract

    A primary goal of collective population behavior studies is to determine the rules governing crowd distributions in order to predict future behaviors in new environments. Current top-down modeling approaches describe, instead of predict, specific emergent behaviors, whereas bottom-up approaches must postulate, instead of directly determine, rules for individual behaviors. Here, we employ classical density functional theory (DFT) to quantify, directly from observations of local crowd density, the rules that predict mass behaviors under new circumstances. To demonstrate our theory-based, data-driven approach, we use a model crowd consisting of walking fruit flies and extract two functions that separately describe spatial and social preferences. The resulting theory accurately predicts experimental fly distributions in new environments and provides quantification of the crowd “mood”. Should this approach generalize beyond milling crowds, it may find powerful applications in fields ranging from spatial ecology and active matter to demography and economics.

     
    more » « less
  3. Abstract The concept of a primitive potential for the Schrödinger operator on the line was introduced in Dyachenko et al. (2016, Phys. D, 333, 148–156), Zakharov, Dyachenko et al. (2016, Lett. Math. Phys., 106, 731–740) and Zakharov, Zakharov et al. (2016, Phys. Lett. A, 380, 3881–3885). Such a potential is determined by a pair of positive functions on a finite interval, called the dressing functions, which are not uniquely determined by the potential. The potential is constructed by solving a contour problem on the complex plane. In this article, we consider a reduction where the dressing functions are equal. We show that in this case, the resulting potential is symmetric, and describe how to analytically compute the potential as a power series. In addition, we establish that if the dressing functions are both equal to one, then the resulting primitive potential is the elliptic one-gap potential. 
    more » « less
  4. We study entropy flattening: Given a circuit C_X implicitly describing an n-bit source X (namely, X is the output of C_X on a uniform random input), construct another circuit C_Y describing a source Y such that (1) source Y is nearly flat (uniform on its support), and (2) the Shannon entropy of Y is monotonically related to that of X. The standard solution is to have C_Y evaluate C_X altogether Theta(n^2) times on independent inputs and concatenate the results (correctness follows from the asymptotic equipartition property). In this paper, we show that this is optimal among black-box constructions: Any circuit C_Y for entropy flattening that repeatedly queries C_X as an oracle requires Omega(n^2) queries. Entropy flattening is a component used in the constructions of pseudorandom generators and other cryptographic primitives from one-way functions [Johan Håstad et al., 1999; John Rompel, 1990; Thomas Holenstein, 2006; Iftach Haitner et al., 2006; Iftach Haitner et al., 2009; Iftach Haitner et al., 2013; Iftach Haitner et al., 2010; Salil P. Vadhan and Colin Jia Zheng, 2012]. It is also used in reductions between problems complete for statistical zero-knowledge [Tatsuaki Okamoto, 2000; Amit Sahai and Salil P. Vadhan, 1997; Oded Goldreich et al., 1999; Vadhan, 1999]. The Theta(n^2) query complexity is often the main efficiency bottleneck. Our lower bound can be viewed as a step towards proving that the current best construction of pseudorandom generator from arbitrary one-way functions by Vadhan and Zheng (STOC 2012) has optimal efficiency. 
    more » « less
  5. The revised, regularized Tao–Mo (rregTM) exchange-correlation density functional approximation (DFA) [A. Patra, S. Jana, and P. Samal, J. Chem. Phys. 153, 184112 (2020) and Jana et al., J. Chem. Phys. 155, 024103 (2021)] resolves the order-of-limits problem in the original TM formulation while preserving its valuable essential behaviors. Those include performance on standard thermochemistry and solid data sets that is competitive with that of the most widely explored meta-generalized-gradient-approximation DFAs (SCAN and r2SCAN) while also providing superior performance on elemental solid magnetization. Puzzlingly however, rregTM proved to be intractable for de-orbitalization via the approach of Mejía-Rodríguez and Trickey [Phys. Rev. A 96, 052512 (2017)]. We report investigation that leads to diagnosis of how the regularization in rregTM of the z indicator functions (z = the ratio of the von-Weizsäcker and Kohn–Sham kinetic energy densities) leads to non-physical behavior. We propose a simpler regularization that eliminates those oddities and that can be calibrated to reproduce the good error patterns of rregTM. We denote this version as simplified, regularized Tao–Mo, sregTM. We also show that it is unnecessary to use rregTM correlation with sregTM exchange: Perdew–Burke–Ernzerhof correlation is sufficient. The subsequent paper shows how sregTM enables some progress on de-orbitalization.

     
    more » « less