arXiv subjects

Sarah Hoback

Publications and source records attributed to Sarah Hoback.

5 recordsLinked to original sources

arXiv2026

Monitoring a de Sitter universe through an anti-de Sitter window

We propose that AdS$_3$ gravity coupled to dS$_2$ end-of-the-world branes is dual to a unitary holographic CFT$_2$ with non-unitary conformal boundary conditions. These boundary conditions have complex $g$-functions and appear in conjugate pairs. The associated gravitational path integral admits no real saddles, but does admit complex saddles. We show that an AdS$_3$ black hole microstate with a dS$_2$ brane behind the horizon corresponds to the unitary time evolution of a pure CFT state prepared by a Euclidean path integral on a cylinder with such boundary conditions. The construction predicts a boundary-condition-changing primary with $h=-c/8$, which resides in the boundary sector rather than the bulk spectrum and is therefore compatible with unitarity of the underlying CFT. This realizes dS holography as state preparation in a unitary AdS/CFT Hilbert space.

hep-th↗

arXiv2026

Formalization of QFT

A foundational result in constructive quantum field theory is the construction of the free bosonic quantum field theory in four-dimensional Euclidean spacetime and the proof that it satisfies the Glimm-Jaffe axioms, a variant of the Osterwalder-Schrader axioms. We present a formalization of this result in the Lean 4 interactive theorem prover. The project is intended as a proof of concept that extended arguments in mathematical physics can be translated into machine-checked proofs using existing AI tools. We begin by introducing interactive theorem proving and constructive quantum field theory, then describe our formalization and the design decisions that shaped it. We also explain the methods we used, including coding assistants, and conclude by considering how AI assisted formalization may influence the future of theoretical physics. Our original release assumed three results, Minlos' theorem, the nuclear property of Schwartz space, and Goursat's theorem. In subsequent releases from our group and from contributors from the Lean community, these assumptions have been proven (or avoided), so that the OS/GJ axioms are now proven using only Lean and its library Mathlib.

hep-th↗

arXiv2022

Feynman Rules for Scalar Conformal Blocks

We complete the proof of "Feynman rules" for constructing $M$-point conformal blocks with external and internal scalars in any topology for arbitrary $M$ in any spacetime dimension by combining the rules for the blocks (based on their Witten diagram interpretation) with the rules for the construction of conformal cross ratios (based on OPE flow diagrams). The full set of Feynman rules leads to blocks as power series of the hypergeometric type in the conformal cross ratios. We then provide a proof by recursion of the Feynman rules which relies heavily on the first Barnes lemma and the decomposition of the topology of interest in comb-like structures. Finally, we provide a nine-point example to illustrate the rules.

hep-th↗

arXiv2020

Dimensional reduction of higher-point conformal blocks

Recently, with the help of Parisi-Sourlas supersymmetry an intriguing relation was found expressing the four-point scalar conformal block of a (d-2)-dimensional CFT in terms of a five-term linear combination of blocks of a d-dimensional CFT, with constant coefficients. We extend this dimensional reduction relation to all higher-point scalar conformal blocks of arbitrary topology restricted to scalar exchanges. We show that the constant coefficients appearing in the finite term higher-point dimensional reduction obey an interesting factorization property allowing them to be determined in terms of certain graphical Feynman-like rules and the associated finite set of vertex and edge factors. Notably, these rules can be fully determined by considering the explicit power-series representation of just three particular conformal blocks: the four-point block, the five-point block and the six-point block of the so-called OPE/snowflake topology. In principle, this method can be applied to obtain the arbitrary-point dimensional reduction of conformal blocks with spinning exchanges as well. We also show how to systematically extend the dimensional reduction relation of conformal partial waves to higher-points.

hep-th↗

arXiv2020

Towards Feynman rules for conformal blocks

We conjecture a simple set of "Feynman rules" for constructing $n$-point global conformal blocks in any channel in $d$ spacetime dimensions, for external and exchanged scalar operators for arbitrary $n$ and $d$. The vertex factors are given in terms of Lauricella hypergeometric functions of one, two or three variables, and the Feynman rules furnish an explicit power-series expansion in powers of cross-ratios. These rules are conjectured based on previously known results in the literature, which include four-, five- and six-point examples as well as the $n$-point comb channel blocks. We prove these rules for all previously known cases, as well as for a seven-point block in a new topology and the even-point blocks in the "OPE channel." The proof relies on holographic methods, notably the Feynman rules for Mellin amplitudes of tree-level AdS diagrams in a scalar effective field theory, and is easily applicable to any particular choice of a conformal block.

hep-th↗