arXiv subjects

Johan Henriksson

Publications and source records attributed to Johan Henriksson.

At least 19 recordsLinked to original sources

arXiv2026

Positivity in energy correlators and the event distribution formula

Energy correlators are universal observables, well defined across a wide range of theories and spacetime dimensions, from gauge theory and conformal field theory to string theory. Energy correlators are constrained by three fundamental properties: pointwise positivity of the energy flux, global positivity originating from their interpretation as state norms in a unitary theory, and energy conservation organizing multi-point energy correlators into an infinite consistent hierarchy. We argue that the most general solution to the infinite hierarchy positivity problem of energy correlators is given by the event distribution formula, which expresses energy correlators as moments of the measure on the space of probability measures on the celestial sphere. We work out in detail implications of positivity for two- and three-point energy correlators and show that it implies nontrivial two-sided bounds on their multipole expansion coefficients. The bounds obtained by requiring consistency of the infinite hierarchy of energy correlators are strictly stronger than those obtained by imposing positivity of the two- and three-point correlators alone. For the low-spin multipole coefficients studied in the paper, the derived bounds are optimal in the sense that their extrema are realized by finite mixtures of finite-particle events. We further demonstrate consequences of positivity in energy correlators in collider physics and conformal field theories.

hep-th↗

arXiv2026

Static analysis-guided agentic AI translation enables Rust as a full stack bioinformatics language

The field of bioinformatics struggles with legacy code - old code that is commonly used but may no longer have a maintainer, or may be written in an now-unfamiliar language (e.g. Perl, Fortran). This incurs maintenance cost (technical debt), but dynamically typed languages also negatively impacts the environment and fail to make use of modern hardware. Legacy code may also have security or safety problems that make it unsuited for use in clinical settings. Here we show that agentic AI, combined with static analysis, can be used to translate legacy code to the modern language Rust. We provide prompts and supporting software to aid systematic translation, and evaluate it on common software for NGS and imaging. We showcase the result on our software Bascet: Size was reduced by ~80x, build time decreased by ~10x, and performance of key steps improved >3x. Unix dependencies were also removed, making Bascet the only single-cell pipeline able to run on native Windows, without a container. Large-scale refactoring of bioinformatics software is thus now possible at a limited budget, enabling more complex tools to be developed.

q-bio.GN↗

arXiv2025

EFT meets CFT: Multiloop renormalization of higher-dimensional operators in general $\phi^4$ theories

The renormalization of composite operators is a fundamental aspect of quantum field theory, relevant for the description of phase transitions and high energy phenomenology. We calculate the anomalous dimensions of a large set of operators in any scalar $\phi^4$ theory in $d=4-\varepsilon$ dimensions, up to five loops in most cases. The results have applications in both effective field theory (EFT) and conformal field theory (CFT). As an EFT application, we extract the five-loop renormalization group (RG) equations of the Higgs sector of the Standard Model EFT at dimension six, and up to two loops at dimension eight, aligning our operator basis with custodial symmetry violation. Additionally, for CFT, by resumming the $\varepsilon$-expanded results at the fixed-point, we determine the entire low-lying spectrum (i.e. up to dimension six and Lorentz rank two) of the Ising, $O(n)$ and hypercubic scalar CFTs. Our work enables future conformal bootstrap studies for numerous theories of interest. We include introductions to EFT and CFT, and we illustrate our method and the structure in RG mixing matrices in several illuminating examples, which may also be of general interest. All results in the general theory are publicly available and we describe a systematic path towards applying them to more complicated CFTs.

hep-th↗

arXiv2025

Multi-loop spectra in general scalar EFTs and CFTs

We consider the most general effective field theory (EFT) Lagrangian with scalar fields and derivatives, and renormalise it to substantially higher loop order than existing results in the literature. EFT Lagrangians have phenomenological applications, for example by encoding corrections to the Standard Model from unknown new physics. At the same time, scalar EFTs capture the spectrum of Wilson--Fisher conformal field theories (CFTs) in $4-\varepsilon$ dimensions. Our results are enabled by a more efficient version of the $R^*$ method for renormalisation, in which the IR divergences are subtracted via a small-momentum asymptotic expansion. In particular, we renormalise the most general set of composite operators up to engineering dimension six and Lorentz rank two. We exhibit direct applications of our results to Ising ($Z_2$), $O(n)$, and hypercubic ($S_n \ltimes (Z_2)^n$) CFTs, relevant for a plethora of real-world critical phenomena. The computed scaling dimensions agree well with known non-perturbative results, and they lead to new predictions where such results do not yet exist. We thereby expand the understanding of generic EFTs and open new possibilities in diverse fields, such as the numerical conformal bootstrap.

hep-ph↗

arXiv2025

Holographic duality from Howe duality: Chern-Simons gravity as an ensemble of code CFTs

We discuss the holographic correspondence between 3d "Chern-Simons gravity" and an ensemble of 2d Narain code CFTs. Starting from 3d abelian Chern-Simons theory, we construct an ensemble of boundary CFTs defined by gauging all possible maximal subgroups of the bulk one-form symmetry. Each maximal non-anomalous subgroup is isomorphic to a classical even self-dual error-correcting code over $\mathbb Z_p\times \mathbb Z_p$, providing a way to define a boundary "code CFT." The average over the ensemble of such theories is holographically dual to Chern-Simons gravity, a bulk theory summed over 3d topologies sharing the same boundary. In the case of prime $p$, the sum reduces to that over handlebodies, i.e. becomes the Poincar\'e series akin to that in semiclassical gravity. As the main result of the paper, we show that the mathematical identity underlying this holographic duality can be understood and rigorously proven using the framework of Howe duality over finite fields. This framework is concerned with the representation theory of two commuting groups forming a dual pair: the symplectic group of modular transformations of the boundary, and an orthogonal group mapping codes to each other. Finally, we reformulate the holographic duality as an identity between different averages over quantum stabilizer states, providing an interpretation in terms of quantum information theory.

hep-th↗

arXiv2025

The tricritical Ising CFT and conformal bootstrap

The tricritical Ising CFT is the IR fixed-point of $\lambda\phi^6$ theory. It can be seen as a one-parameter family of CFTs connecting between an $\varepsilon$-expansion near the upper critical dimension 3 and the exactly solved minimal model in $d=2$. We review what is known about the tricritical Ising CFT, and study it with the numerical conformal bootstrap for various dimensions. Using a mixed system with three external operators $\{\phi\sim\sigma,\phi^2\sim \epsilon,\phi^3\sim\sigma'\}$, we find three-dimensional "bootstrap islands" in $d=2.75$ and $d=2.5$ dimensions consistent with interpolations between the perturbative estimates and the 2d exact values. In $d=2$ and $d=2.25$ the setup is not strong enough to isolate the theory. This paper also contains a survey of the perturbative spectrum and a review of results from the literature.

hep-th↗

arXiv2024

Positivity Bounds on Massive Vectors

In this paper, we explore positivity bounds for the effective field theory~(EFT) of a single weakly coupled massive vector field. The presence of both mass and spin makes the crossing properties of the amplitudes vastly complicated -- we address this by parametrizing the amplitudes as products of a polarization matrix and a vector of appropriately chosen functions with simpler crossing properties. The resulting framework involves sum rules and null constraints that allows us to constrain any combination of low-energy observables, such as EFT amplitudes. By varying the value of the vector mass over the cutoff scale, some of our bounds asymptote to the bounds obtained in the context of photons and massless scalars. This work paves the way for future applications to e.g. non-abelian massive vectors, glueballs and theories with spin larger than one.

hep-th↗

arXiv2023

Bootstrapping mesons at large $N$: Regge trajectory from spin-two maximization

We continue the investigation of large $N$ QCD from a modern bootstrap perspective, focusing on the mesons. We make the natural spectral assumption that the $2 \to 2$ pion amplitude must contain, above the spin-one rho meson, a massive resonance of spin two. By maximizing its coupling we find a very interesting extremal solution of the dual bootstrap problem, which appears to contain at least a full Regge trajectory. Its low-lying states are in uncanny quantitative agreement with the meson masses in the real world.

hep-th↗

arXiv2023

Missing local operators, zeros, and twist-4 trajectories

The number of local operators in a CFT below a given twist grows with spin. Consistency with analyticity in spin then requires that at low spin, infinitely many Regge trajectories must decouple from local correlation functions, implying infinitely many vanishing conditions for OPE coefficients. In this paper we explain the mechanism behind this infinity of zeros. Specifically, the mechanism is related to the two-point function rather than the three-point function, explaining the vanishing of OPE coefficients in every correlator from a single condition. We illustrate our result by studying twist-4 Regge trajectories in the Wilson--Fisher CFT at one loop.

hep-th↗

arXiv2023

Representing and extracting knowledge from single cell data

Single-cell analysis is currently one of the most high-resolution techniques to study biology. The large complex datasets that have been generated have spurred numerous developments in computational biology, in particular the use of advanced statistics and machine learning. This review attempts to explain the deeper theoretical concepts that underpin current state-of-the-art analysis methods. Single-cell analysis is covered from cell, through instruments, to current and upcoming models. A minimum of mathematics and statistics has been used, but the reader is assumed to either have basic knowledge of single-cell analysis workflows, or have a solid knowledge of statistics. The aim of this review is to spread concepts which are not yet in common use, especially from topology and generative processes, and how new statistical models can be developed to capture more of biology. This opens epistemological questions regarding our ontology and models, and some pointers will be given to how natural language processing (NLP) may help overcome our cognitive limitations for understanding single-cell data.

q-bio.GN↗

arXiv2023

Anomalous Dimensions in Hypercubic Theories

We perform a comprehensive perturbative study of the operator spectrum in multi-scalar theories with hypercubic global symmetry. This includes working out symmetry representations and their corresponding tensor structures. These structures are then used to compute the anomalous dimensions of scalar operators with up to four fields and arbitrary representations to six-loop order. Moreover, we determine one-loop anomalous dimensions for a large number of low-lying operators in the spectrum which include more powers of the fundamental field and/or insertions of derivatives. As an aside we show how projectors used in the conformal bootstrap can be conveniently reused in computations of anomalous dimensions. The results of our study are of use to the conformal bootstrap. They also illuminate features of conformal perturbation theory and the large $n$ expansion. Our results may be of interest for various crossover phenomena in statistical field theory. In total, we compute the scaling dimension of more than 300 operators, of which 16 are computed to six-loops. Our analysis is exhaustive with respect to group theory up to rank 4 for any number of flavours $n$, and also exhaustive with respect to which representations exist for $n \leq 4$.

hep-th↗

arXiv2022

Averaging over codes and an $SU(2)$ modular bootstrap

Error-correcting codes are known to define chiral 2d lattice CFTs where all the $U(1)$ symmetries are enhanced to $SU(2)$. In this paper, we extend this construction to a broader class of length-$n$ codes which define full (non-chiral) CFTs with $SU(2)^n$ symmetry, where $n=c+\bar c$. We show that codes give a natural discrete ensemble of 2d theories in which one can compute averaged observables. The partition functions obtained from averaging over all codes weighted equally is found to be given by the sum over modular images of the vacuum character of the full extended symmetry group, and in this case the number of modular images is finite. This averaged partition function has a large gap, scaling linearly with $n$, in primaries of the full $SU(2)^n$ symmetry group. Using the sum over modular images, we conjecture the form of the genus-2 partition function. This exhibits the connected contributions to disconnected boundaries characteristic of wormhole solutions in a bulk dual.

hep-th↗

arXiv2022

Spectrum continuity and level repulsion: the Ising CFT from infinitesimal to finite $\boldsymbol\varepsilon$

Using numerical conformal bootstrap technology we perform a non-perturbative study of the Ising CFT and its spectrum from infinitesimal to finite values of $\varepsilon=4-d$. Exploiting the recent navigator bootstrap method in conjunction with the extremal functional method, we test various qualitative and quantitative features of the $\varepsilon$-expansion. We follow the scaling dimensions of numerous operators from the perturbatively controlled regime to finite coupling. We do this for $\mathbb Z_2$-even operators up to spin 12 and for $\mathbb Z_2$-odd operators up to spin 6 and find a good matching with perturbation theory. In the finite coupling regime we observe two operators whose dimensions approach each other and then repel, a phenomenon known as level repulsion and which can be analyzed via operator mixing. Our work improves on previous studies in both increased precision and the number of operators studied, and is the first to observe level repulsion in the conformal bootstrap.

hep-th↗

arXiv2022

Analytic bootstrap of mixed correlators in the $\boldsymbol{O(n)}$ CFT

We use large spin perturbation theory and the Lorentzian inversion formula to compute order-$\varepsilon$ corrections to mixed correlators in the $O(n)$ Wilson-Fisher CFT in $4 - \varepsilon$ dimensions. In particular, we find the scaling dimensions and averaged OPE coefficients appearing in all correlators involving $\varphi$ and $\varphi^2$, for $\varphi^2$ in both the singlet and symmetric traceless representations of $O(n)$. We extend some computations to the next order, and find order-$\varepsilon^2$ data for a number of quantities for the Ising case at $n = 1$. Along the way, we discuss several interesting technical aspects which arise, including subleading corrections to mixed conformal blocks, projections onto higher twists in the inversion formula, and multiplet recombination.

hep-th↗

arXiv2022

Narain CFTs and Quantum Codes at Higher Genus

Code CFTs are 2d conformal field theories defined by error-correcting codes. Recently, Dymarsky and Shapere generalized the construction of code CFTs to include quantum error-correcting codes. In this paper, we explore this connection at higher genus. We prove that the higher-genus partition functions take the form of polynomials of higher-weight theta functions, and that the higher-genus modular group acts as simple linear transformations on these polynomials. We explain how to solve the modular constraints explicitly, which we do for genus 2. The result is that modular invariance at genus 1 and genus 2 is much more constraining than genus 1 alone. This allows us to drastically reduce the space of possible code CFTs. We also consider a number of examples of "isospectral theories" -- CFTs with the same genus 1 partition function -- and we find that they have different genus 2 partition functions. Finally, we make connection to some 2d CFTs known from the modular bootstrap. The $n = 4$ theory conjectured to have the largest possible gap, the $SO(8)$ WZW model, is a code CFT, allowing us to give an expression for its genus 2 partition function. We also find some other known CFTs which are not code theories but whose partition functions satisfy the same simple polynomial ansatz as the code theories. This leads us to speculate about the usefulness of the code polynomial form beyond the study of code CFTs.

hep-th↗

arXiv2022

Bounding Violations of the Weak Gravity Conjecture

The black hole weak gravity conjecture (WGC) is a set of linear inequalities on the four-derivative corrections to Einstein--Maxwell theory. Remarkably, in four dimensions, these combinations appear in the $2 \to 2$ photon amplitudes, leading to the hope that the conjecture might be supported using dispersion relations. However, the presence of a pole arising in the forward limit due to graviton exchange greatly complicates the use of such arguments. In this paper, we apply recently developed numerical techniques to handle the graviton pole, and we find that standard dispersive arguments are not strong enough to imply the black hole WGC. Specifically, under a fairly typical set of assumptions, including weak coupling of the EFT and Regge boundedness, a small violation of the black hole WGC is consistent with unitarity and causality. We quantify the size of this violation, which vanishes in the limit where gravity decouples and also depends logarithmically on an infrared cutoff. We discuss the meaning of these bounds in various scenarios. We also implement a method for bounding amplitudes without manifestly positive spectral densities, which could be applied to any system of non-identical states, and we use it to improve bounds on the EFT of pure photons in absence of gravity.

hep-th↗

arXiv2022

The critical O(N) CFT: Methods and conformal data

The critical $O(N)$ CFT in spacetime dimensions $2 < d < 4$ is one of the most important examples of a conformal field theory, with the Ising CFT at $N=1$, $2 \leq d < 4$, as a notable special case. Apart from numerous physical applications, it serves frequently as a concrete testing ground for new approaches and techniques based on conformal symmetry. In the perturbative limits - the $4-\varepsilon$ expansion, the large $N$ expansion and the $2+\tilde\epsilon$ expansion - a lot of conformal data have been computed over the years. In this report, we give an overview of the critical $O(N)$ CFT, including some methods to study it, and present a large collection of conformal data. The data, extracted from the literature and supplemented by many additional computations of order $\varepsilon$ anomalous dimensions, are made available through an ancillary data file.

hep-th↗

arXiv2021

Classical Codes and Chiral CFTs at Higher Genus

Higher genus modular invariance of two-dimensional conformal field theories (CFTs) is a largely unexplored area. In this paper, we derive explicit expressions for the higher genus partition functions of a specific class of CFTs: code CFTs, which are constructed using classical error-correcting codes. In this setting, the $\mathrm{Sp}(2g,\mathbb Z)$ modular transformations of genus $g$ Riemann surfaces can be recast as a simple set of linear maps acting on $2^g$ polynomial variables, which comprise an object called the code enumerator polynomial. The CFT partition function is directly related to the enumerator polynomial, meaning that solutions of the linear constraints from modular invariance immediately give a set of seemingly consistent partition functions at a given genus. We then find that higher genus constraints, plus consistency under degeneration limits of the Riemann surface, greatly reduces the number of possible code CFTs. This work provides a step towards a full understanding of the constraints from higher genus modular invariance on 2d CFTs.

hep-th↗