Researcher profile

Yifei He

Yifei He contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
6works
0followers
6topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

6 published item(s)

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.