Source author record

Yifei He

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

hep-th cond-mat.stat-mech math-ph math.MP Computation and Language Mathematical Software

Catalog footprint

Research overview

7works

6topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

A note on the identity module in $c=0$ CFTs

It has long been understood that non-trivial Conformal Field Theories (CFTs) with vanishing central charge ( $c=0$ ) are logarithmic. So far however, the structure of the identity module -- the (left and right) Virasoro descendants of the identity field -- had not been elucidated beyond the stress-energy tensor $T$ and its logarithmic partner $t$ (the solution of the " $c\to 0$ catastrophe"). In this paper, we determine this structure together with the associated OPE of primary fields up to level $h=\bar{h}=2$ for polymers and percolation CFTs. This is done by taking the $c\to 0$ limit of $O(n)$ and Potts models and combining recent results from the bootstrap with arguments based on conformal invariance and self-duality. We find that the structure contains a rank-3 Jordan cell involving the field $T\bar{T}$ , and is identical for polymers and percolation. It is characterized in part by the common value of a non-chiral logarithmic coupling $a_0=-{25\over 48}$ .

preprint2022arXiv

FFTc: An MLIR Dialect for Developing HPC Fast Fourier Transform Libraries

Discrete Fourier Transform (DFT) libraries are one of the most critical software components for scientific computing. Inspired by FFTW, a widely used library for DFT HPC calculations, we apply compiler technologies for the development of HPC Fourier transform libraries. In this work, we introduce FFTc, a domain-specific language, based on Multi-Level Intermediate Representation (MLIR), for expressing Fourier Transform algorithms. We present the initial design, implementation, and preliminary results of FFTc.

preprint2022arXiv

From conformal correlators to analytic S-matrices: CFT $_1$ /QFT $_2$

We study families of one-dimensional CFTs relevant for describing gapped QFTs in AdS $_2$ . Using the Polyakov bootstrap as our main tool, we explain how S-matrices emerge from the flat space limit of CFT correlators. In this limit we prove that the CFT OPE density matches that of a generalized free field, and that this implies unitarity of the S-matrix. We establish a CFT dispersion formula for the S-matrix, proving its analyticity except for singularities on the real axis which we characterize in terms of the CFT data. In particular positivity of the OPE establishes that any such S-matrix must satisfy extended unitarity conditions. We also carefully prove that for physical kinematics the S-matrix may be more directly described by a phase shift formula. Our results crucially depend on the assumption of a certain gap in the spectrum of operators. We bootstrap perturbative AdS bubble, triangle and box diagrams and find that the presence of anomalous thresholds in S-matrices are precisely signaled by an unbounded OPE arising from violating this assumption. Finally we clarify the relation between unitarity saturating S-matrices and extremal CFTs, establish a mapping between the dual S-matrix and CFT bootstraps, and discuss how our results help understand UV completeness or lack thereof for specific S-matrices.

preprint2021arXiv

The action of the Virasoro algebra in the two-dimensional Potts and loop models at generic $Q$

The spectrum of conformal weights for the CFT describing the two-dimensional critical $Q$ -state Potts model (or its close cousin, the dense loop model) has been known for more than 30 years. However, the exact nature of the corresponding $\hbox{Vir}\otimes\overline{\hbox{Vir}}$ representations has remained unknown up to now. Here, we solve the problem for generic values of $Q$ . This is achieved by a mixture of different techniques: a careful study of "Koo--Saleur generators" [arXiv:hep-th/9312156], combined with measurements of four-point amplitudes, on the numerical side, and OPEs and the four-point amplitudes recently determined using the "interchiral conformal bootstrap" in [arXiv:2005.07258] on the analytical side. We find that null-descendants of diagonal fields having weights $(h_{r,1},h_{r,1})$ (with $r\in \mathbb{N}^*$ ) are truly zero, so these fields come with simple $\hbox{Vir}\otimes\overline{\hbox{Vir}}$ ("Kac") modules. Meanwhile, fields with weights $(h_{r,s},h_{r,-s})$ and $(h_{r,-s},h_{r,s})$ (with $r,s\in\mathbb{N}^*$ ) come in indecomposable but not fully reducible representations mixing four simple $\hbox{Vir}\otimes\overline{\hbox{Vir}}$ modules with a familiar "diamond" shape. The "top" and "bottom" fields in these diamonds have weights $(h_{r,-s},h_{r,-s})$ , and form a two-dimensional Jordan cell for $L_0$ and $\bar{L}_0$ . This establishes, among other things, that the Potts-model CFT is logarithmic for $Q$ generic. Unlike the case of non-generic (root of unity) values of $Q$ , these indecomposable structures are not present in finite size, but we can nevertheless show from the numerical study of the lattice model how the rank-two Jordan cells build up in the infinite-size limit.

preprint2020arXiv

Four-point geometrical correlation functions in the two-dimensional $Q$ -state Potts model: connections with the RSOS models

The "bootstrap determination" of the geometrical correlation functions in the two-dimensional Potts model proposed in a paper [arXiv:1607.07224] was later shown in [arXiv:1809.02191] to be incorrect, the actual spectrum of the model being considerably more complex than initially conjectured. We provide in this paper a geometrical interpretation of the four-point functions built in [arXiv:1607.07224], and explain why the results obtained by these authors, albeit incorrect, appeared so close to those of their numerical simulations of the Potts model. Our strategy is based on a cluster expansion of correlation functions in RSOS minimal models, and a subsequent numerical and algebraic analysis of the corresponding $s$ -channel spectrum, in full analogy with our early work on the Potts model [arXiv:1809.02191]. Remarkable properties of the lattice amplitudes are uncovered, which explain in particular the truncation of the spectrum of [arXiv:1809.02191] to the much simpler one of the RSOS models, and which will be used in a forthcoming paper to finally determine the geometric four-point functions of the Potts model itself.

preprint2019arXiv

The O(N) S-matrix Monolith

We consider the scattering matrices of massive quantum field theories with no bound states and a global $O(N)$ symmetry in two spacetime dimensions. In particular we explore the space of two-to-two S-matrices of particles of mass $m$ transforming in the vector representation as restricted by the general conditions of unitarity, crossing, analyticity and $O(N)$ symmetry. We found a rich structure in that space by using convex maximization and in particular its convex dual minimization problem. At the boundary of the allowed space special geometric points such as vertices were found to correspond to integrable models. The dual convex minimization problem provides a novel and useful approach to the problem allowing, for example, to prove that generically the S-matrices so obtained saturate unitarity and, in some cases, that they are at vertices of the allowed space.

preprint2016arXiv

Minimal area surfaces dual to Wilson loops and the Mathieu equation

The AdS/CFT correspondence relates Wilson loops in N=4 SYM to minimal area surfaces in $AdS_5\times S^5$ space. Recently, a new approach to study minimal area surfaces in $AdS_3 \subset AdS_5$ was discussed based on a Schroedinger equation with a periodic potential determined by the Schwarzian derivative of the shape of the Wilson loop. Here we use the Mathieu equation, a standard example of a periodic potential, to obtain a class of Wilson loops such that the area of the dual minimal area surface can be computed analytically in terms of eigenvalues of such equation. As opposed to previous examples, these minimal surfaces have an umbilical point (where the principal curvatures are equal) and are invariant under $λ$ -deformations. In various limits they reduce to the single and multiple wound circular Wilson loop and to the regular light-like polygons studied by Alday and Maldacena. In this last limit, the periodic potential becomes a series of deep wells each related to a light-like segment. Small corrections are described by a tight--binding approximation. In the circular limit they are well approximated by an expansion developed by A.Dekel. In the particular case of no umbilical points they reduce to a previous solution proposed by J. Toledo. The construction works both in Euclidean and Minkowski signature of $AdS_3$ .

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.

Yifei He

Research overview

Is this your work?

7 publications

A note on the identity module in $c=0$ CFTs

FFTc: An MLIR Dialect for Developing HPC Fast Fourier Transform Libraries

From conformal correlators to analytic S-matrices: CFT $_1$ /QFT $_2$

The action of the Virasoro algebra in the two-dimensional Potts and loop models at generic $Q$

Four-point geometrical correlation functions in the two-dimensional $Q$ -state Potts model: connections with the RSOS models

The O(N) S-matrix Monolith

Minimal area surfaces dual to Wilson loops and the Mathieu equation

See the researcher in context

Building this map preview

Yifei He

Research overview

Is this your work?

7 publications

A note on the identity module in c=0c=0c=0 CFTs

FFTc: An MLIR Dialect for Developing HPC Fast Fourier Transform Libraries

From conformal correlators to analytic S-matrices: CFT1_11​/QFT2_22​

The action of the Virasoro algebra in the two-dimensional Potts and loop models at generic QQQ

Four-point geometrical correlation functions in the two-dimensional QQQ-state Potts model: connections with the RSOS models

The O(N) S-matrix Monolith

Minimal area surfaces dual to Wilson loops and the Mathieu equation

See the researcher in context

Building this map preview

A note on the identity module in $c=0$ CFTs

From conformal correlators to analytic S-matrices: CFT $_1$ /QFT $_2$

The action of the Virasoro algebra in the two-dimensional Potts and loop models at generic $Q$

Four-point geometrical correlation functions in the two-dimensional $Q$ -state Potts model: connections with the RSOS models