MIT Center for Theoretical Physics — a Leinweber Institute Publications

We present an efficient algorithm for computing the prepotential in compactifications of type II string theory on mirror pairs of Calabi-Yau threefolds in toric varieties. Applying this method, we exhibit the first systematic computation of genus-zero Gopakumar-Vafa invariants in compact threefolds with many moduli, including examples with up to 491 vector multiplets.

New physics in the rare top decays \(t \to q \ell^+\ell^-\) is currently very weakly constrained. We show that in a large class of Standard Model extensions, existing experimental constraints on new physics in flavor-conserving processes imply strong indirect bounds on new physics contributions to flavor-violating processes of the form \(t \to q \ell^+\ell^-\). These indirect bounds arise from basic principles of quantum field theory together with a few generic conditions on the UV structure of the theory, and are roughly an order of magnitude stronger than the present experimental bounds on the same processes. These constraints provide a theoretically-motivated target for experimental searches for \(t \to q \ell^+\ell^-\): violation of these bounds would exclude a large class of new physics models, and would provide nontrivial insight into the UV behavior of the new physics.

The combination of precise determinations of \(V_{us}\) and \(V_{ud}\) hints towards a violation of the CKM first row unitarity at about \(3\sigma\) level. Conversely, the recent measurement of the \(W\)-boson mass by the CDF Collaboration exhibits significant tension with the SM prediction, intensifying the conflict that may arise in models addressing the unitarity violation. We demonstrate that one vector-like \(SU(2)_L\) doublet with mass of a few TeV mixing with light quarks and the top quark can simultaneously account for the two anomalies, without conflicting with flavour-changing phenomena and electroweak observables. Moreover, another tension in the value of the Cabibbo angle is reported also at \(3\sigma\) level, between two determinations of \(V_{us}\) obtained from semi-leptonic \(K\ell3\) and leptonic \(K\mu 2\) kaon decays. We show that the vector-like doublet can be at the origin of this discrepancy and the substantial positive shift in the \(W\)-boson mass. This unique feature of the vector-like quark doublet may render it a crucial puzzle piece in new physics scenarios addressing the CKM unitarity problem. The model can be potentially probed in future colliders.

We study the interactions of systems of two and three nondegenerate mesons composed of pions and kaons at maximal isospin using lattice QCD, specifically \(\pi^+K^+\), \(\pi^+\pi^+K^+\) and \(K^+K^+\pi^+\). Utilizing the stochastic LapH method, we determine the spectrum of these systems on two CLS \(N_f=2+1\) ensembles with pion masses of \(200\) MeV and \(340\) MeV, and include many levels in different momentum frames. We constrain the K matrices describing two- and three-particle interactions by fitting the spectrum to the results predicted by the finite-volume formalism, including up to \(p\) waves. This requires also results for the \(\pi^+\pi^+\) and \(K^+ K^+\) spectrum, which have been obtained previously on the same configurations. We explore different fitting strategies, comparing fits to energy shifts with fits to energies boosted to the rest frame, and also comparing simultaneous global fits to all relevant two- and three-particle channels to those where we first fit two-particle channels and then add in the three-particle information. We provide the first determination of the three-particle K matrix in \(\pi^+\pi^+K^+\) and \(K^+ K^+ \pi^+\) systems, finding statistically significant nonzero results in most cases. We include \(s\) and \(p\) waves in the K matrix for \(\pi^+ K^+\) scattering, finding evidence for an attractive \(p\)-wave scattering length. We compare our results to Chiral Perturbation Theory, including an investigation of the impact of discretization errors, for which we provide the leading order predictions obtained using Wilson Chiral Perturbation Theory.

The determination of the string vertices of closed string field theory is shown to be a conformal field theory problem solvable by combining insights from Liouville theory, hyperbolic geometry, and conformal bootstrap. We first demonstrate how Strebel differentials arise from hyperbolic string vertices by performing a WKB approximation to the associated Fuchsian equation, which we subsequently use it to derive a Polyakov-like conjecture for Strebel differentials. This result implies that the string vertices are generated by the interactions of \(n\) zero momentum tachyons, or equivalently, a certain limit of suitably regularized on-shell Liouville action. We argue that the latter can be related to the interaction of three zero momentum tachyons on a generalized cubic vertex through classical conformal blocks. We test this claim for the quartic vertex and discuss its generalization to higher-string interactions.

The identification of interesting substructures within jets is an important tool for searching for new physics and probing the Standard Model at colliders. Many of these substructure tools have previously been shown to take the form of optimal transport problems, in particular the Energy Mover's Distance (EMD). In this work, we show that the EMD is in fact the natural structure for comparing collider events, which accounts for its recent success in understanding event and jet substructure. We then present a Shape Hunting Algorithm using Parameterized Energy Reconstruction (SHAPER), which is a general framework for defining and computing shape-based observables. SHAPER generalizes N-jettiness from point clusters to any extended, parametrizable shape. This is accomplished by efficiently minimizing the EMD between events and parameterized manifolds of energy flows representing idealized shapes, implemented using the dual-potential Sinkhorn approximation of the Wasserstein metric. We show how the geometric language of observables as manifolds can be used to define novel observables with built-in infrared-and-collinear safety. We demonstrate the efficacy of the SHAPER framework by performing empirical jet substructure studies using several examples of new shape-based observables.

Studying the dynamics of open quantum systems holds the potential to enable breakthroughs both in fundamental physics and applications to quantum engineering and quantum computation. Due to the high-dimensional nature of the problem, customized deep generative neural networks have been instrumental in modeling the high-dimensional density matrix \(\rho\), which is the key description for the dynamics of such systems. However, the complex-valued nature and normalization constraints of \(\rho\), as well as its complicated dynamics, prohibit a seamless connection between open quantum systems and the recent advances in deep generative modeling. Here we lift that limitation by utilizing a reformulation of open quantum system dynamics to a partial differential equation (PDE) for a corresponding probability distribution \(Q\), the Husimi Q function. Thus, we model the Q function seamlessly with off-the-shelf deep generative models such as normalizing flows. Additionally, we develop novel methods for learning normalizing flow evolution governed by high-dimensional PDEs, based on the Euler method and the application of the time-dependent variational principle. We name the resulting approach Q-Flow and demonstrate the scalability and efficiency of Q-Flow on open quantum system simulations, including the dissipative harmonic oscillator and the dissipative bosonic model. Q-Flow is superior to conventional PDE solvers and state-of-the-art physics-informed neural network solvers, especially in high-dimensional systems.

To compute the string one-loop correction to the Kahler potential of moduli fields of string compactifications in Einstein-frame, one must compute: the string one-loop correction to the Einstein-Hilbert action, the string one-loop correction to the moduli kinetic terms, the string one-loop correction to the definition of the holomorphic coordinates. In this note, we compute the string one-loop correction to the Einstein-Hilbert action of type II string theory compactified on orientifolds of Calabi-Yau threefolds. We find that the one-loop correction is determined by the new supersymmetric index studied by Cecotti, Fendley, Intriligator, and Vafa. As a simple application, we apply our results to estimate the size of the one-loop corrections around a conifold point in the Kahler moduli space.

We investigate the performance of the variational quantum eigensolver (VQE) for the optimal flight gate assignment problem. This problem is a combinatorial optimization problem that aims at finding an optimal assignment of flights to the gates of an airport, in order to minimize the passenger travel time. To study the problem, we adopt a qubit-efficient binary encoding with a cyclic mapping, which is suitable for a digital quantum computer. Using this encoding in conjunction with the Conditional Value at Risk (CVaR) as an aggregation function, we systematically explore the performance of the approach by classically simulating the CVaR-VQE. Our results indicate that the method allows for finding a good solution with high probability, and the method significantly outperforms the naive VQE approach. We examine the role of entanglement for the performance, and find that ansätze with entangling gates allow for better results than pure product states. Studying the problem for various sizes, our numerical data show that the scaling of the number of cost function calls for obtaining a good solution is not exponential for the regimes we investigate in this work.

By explicit counterexample, we show that the "reflected entropy" defined by Dutta and Faulkner is not monotonically decreasing under partial trace, and so is not a measure of physical correlations. In fact, our counterexamples show that none of the Rényi reflected entropies \(S_{R}^{(\alpha)}\) for \(0 < \alpha < 2\) is a correlation measure; the usual reflected entropy is realized as the \(\alpha=1\) member of this family. The counterexamples are given by quantum states that correspond to classical probability distributions, so reflected entropy fails to measure correlations even at the classical level.

In an isolated quantum many-body system undergoing unitary evolution, the entropy of a subsystem (smaller than half the system size) thermalizes if at long times, it is to leading order equal to the thermodynamic entropy of the subsystem at the same energy. In this paper, we prove entropy thermalization for a nearly integrable Sachdev-Ye-Kitaev model initialized in a pure product state. The model is obtained by adding random all-to-all \(4\)-body interactions as a perturbation to a random free-fermion model.

The concept of space-evolution (or space-time duality) has emerged as a promising approach for studying quantum dynamics. The basic idea involves exchanging the roles of space and time and evolving the system using a space transfer matrix. The infinite-volume limit is then described by the fixed points of this operator, also known as influence matrices. To evaluate the potential of this method as a numerical scheme, it is important to understand whether the influence matrices can be efficiently encoded in a classical computer. It is then natural to wonder what is the scaling of their entanglement, dubbed temporal entanglement, as a function of time. In this work we study space evolution in chaotic quantum circuits. First, we extend the concept of space-evolution to include evolution in any generic space-like direction, which enables us to use influence matrices on a generic time-like surface, or path, to describe any two-point function. Then we study their entanglement, finding that it scales linearly with time for all paths but with two interesting marginal cases: (i) vertical paths in generic chaotic systems (ii) any path in dual-unitary circuits. In these cases Rényi entropies with index larger than one are sub-linear in time, while the von Neumann entanglement entropy is linear but grows at a slower rate compared to regular state entanglement. We attribute this behaviour to the existence of a product state with large overlap with the influence matrices, similarly to what has been observed for regular entanglement in systems with conservation laws.

Topological magnetic structures are promising candidates for resilient information storage. An elementary example are spin helices in one-dimensional easy-plane quantum magnets. To quantify their stability, we numerically implement the stochastic Schrödinger equation and time-dependent perturbation theory for spin chains with fluctuating local magnetic fields. We find two classes of quantum spin helices that can reach and even exceed ground-state stability: Spin-current-maximizing helices and, for fine-tuned boundary conditions, the recently discovered "phantom helices". Beyond that, we show that the helicity itself (left- or right-rotating) is even more stable. We explain these findings by separated helical sectors and connect them to topological sectors in continuous spin systems. The resulting helical protection mechanism is a promising phenomenon towards stabilizing helical quantum structures, e.g., in ultracold atoms and solid state systems. We also identify an - up to our knowledge - previously unknown new type of phantom helices.

These notes provide an explanation of the type classification of von Neumann algebras, which has made many appearances in recent work on entanglement in quantum field theory and quantum gravity. The goal is to bridge a gap in the literature between resources that are too technical for the non-expert reader, and resources that seek to explain the broad intuition of the theory without giving precise definitions. Reading these notes will provide you with: (i) an argument for why "factors" are the fundamental von Neumann algebras that one needs to study; (ii) an intuitive explanation of the type classification of factors in terms of renormalization schemes that turn unnormalizable positive operators into "effective density matrices;" (iii) a mathematical explanation of the different types of renormalization schemes in terms of the allowed traces on a factor; (iv) an intuitive characterization of type I and II factors in terms of their "standard forms;" and (v) a list of some interesting connections between type classification and modular theory, including the argument for why type III\(_1\) factors are believed to be the relevant ones in quantum field theory. None of the material is new, but the pedagogy is different from other sources I have read; it is most similar in spirit to the recent work on gravity and the crossed product by Chandrasekaran, Longo, Penington, and Witten.

In these proceedings, we review recent advances in applying quantum computing to lattice field theory. Quantum computing offers the prospect to simulate lattice field theories in parameter regimes that are largely inaccessible with the conventional Monte Carlo approach, such as the sign-problem afflicted regimes of finite baryon density, topological terms, and out-of-equilibrium dynamics. First proof-of-concept quantum computations of lattice gauge theories in (1+1) dimensions have been accomplished, and first resource-efficient quantum algorithms for lattice gauge theories in (1+1) and (2+1) dimensions have been developed. The path towards quantum computations of (3+1)-dimensional lattice gauge theories, including Lattice QCD, requires many incremental steps of improving both quantum hardware and quantum algorithms. After reviewing these requirements and recent advances, we discuss the main challenges and future directions.

We present an update of the Fermilab Lattice and MILC Collaborations project to compute the form factors for semileptonic \(B_{(s)}\)-meson decays. Our calculation uses the highly improved staggered quark (HISQ) action for sea and valence quarks, and ensembles with up, down, strange, and charm quarks in the sea. Using a highly improved action with the MILC Collaboration's gauge ensembles with lattice spacings down to \(a\approx0.03\) fm, allows the heavy valence quarks to be treated with the same discretization as the light and strange quarks. This unified treatment of the valence quarks allows for absolutely normalized vector currents, bypassing the need for perturbative matching, which has been a source of uncertainty in previous calculations of \(B\)-meson decay form factors by our collaboration. All preliminary form-factor results are blinded.

The intrinsic probabilistic nature of quantum systems makes error correction or mitigation indispensable for quantum computation. While current error-correcting strategies focus on correcting errors in quantum states or quantum gates, these fine-grained error-correction methods can incur significant overhead for quantum algorithms of increasing complexity. We present a first step in achieving error correction at the level of quantum algorithms by combining a unified perspective on modern quantum algorithms via quantum signal processing (QSP). An error model of under- or over-rotation of the signal processing operator parameterized by \(\epsilon < 1\) is introduced. It is shown that while Pauli \(Z\)-errors are not recoverable without additional resources, Pauli \(X\) and \(Y\) errors can be arbitrarily suppressed by coherently appending a noisy `recovery QSP.' Furthermore, it is found that a recovery QSP of length \(O(2^k c^{k^2} d)\) is sufficient to correct any length-\(d\) QSP with \(c\) unique phases to \(k^{th}\)-order in error \(\epsilon\). Allowing an additional assumption, a lower bound of \(\Omega(cd)\) is shown, which is tight for \(k = 1\), on the length of the recovery sequence. Our algorithmic-level error correction method is applied to Grover's fixed-point search algorithm as a demonstration.

With the vast data-collecting capabilities of current and future high-energy collider experiments, there is an increasing demand for computationally efficient simulations. Generative machine learning models enable fast event generation, yet so far these approaches are largely constrained to fixed data structures and rigid detector geometries. In this paper, we introduce EPiC-GAN - equivariant point cloud generative adversarial network - which can produce point clouds of variable multiplicity. This flexible framework is based on deep sets and is well suited for simulating sprays of particles called jets. The generator and discriminator utilize multiple EPiC layers with an interpretable global latent vector. Crucially, the EPiC layers do not rely on pairwise information sharing between particles, which leads to a significant speed-up over graph- and transformer-based approaches with more complex relation diagrams. We demonstrate that EPiC-GAN scales well to large particle multiplicities and achieves high generation fidelity on benchmark jet generation tasks.

In this note, we prove that the one-loop pfaffian of the non-perturbative superpotential generated by Euclidean D-branes in type II compactifications on orientifolds of Calabi-Yau threefolds is determined by the moduli integral of the new supersymmetric index defined by Cecotti, Fendley, Intriligator, and Vafa. As this quantity can be computed via topological string theory, Chern-Simons theory, matrix models, or by solving the holomorphic anomaly equation, this result provides a method to directly compute the one-loop pfaffian of the non-perturbative superpotential. The relation between the one-loop pfaffian, threshold corrections to the gauge coupling, and the one-loop partition function of open topological string theory is discussed.

One of the greatest challenges in quantum chromodynamics is understanding the hadronization mechanism, which is also crucial for carrying out precision physics with jet substructure. In this Letter, we combine recent advancements in our understanding of the field theory-based nonperturbative structure of the soft drop jet mass with precise perturbative calculations of its multi-differential variants at next-to-next-to-leading logarithmic (NNLL) accuracy. This enables a systematic study of its hadronization power corrections in a completely model-independent way. We calibrate and test hadronization models and their interplay with parton showers by comparing our universality predictions with various event generators for quark and gluon initiated jets in both lepton-lepton and hadron-hadron collisions. We find that hadronization models perform better for quark jets relative to gluon jets. Our results provide the necessary toolkit for precision studies with the soft drop jet mass motivating future analyses using real world collider data. The nontrivial constraints derived in our framework are useful for improving the modeling of hadronization and its interface with parton showers in next generation event generators.