MIT Center for Theoretical Physics — a Leinweber Institute Publications

The Landau-Ginzburg-Wilson theory of phase transitions precludes a continuous transition between two phases that spontaneously break distinct symmetries. However, quantum mechanical effects can intertwine the symmetries, giving rise to an exotic phenomenon called deconfined quantum criticality (DQC). In this work, we study the ground state phase diagram of a one-dimensional array of individually trapped neutral atoms interacting strongly via Rydberg states, and demonstrate through extensive numerical simulations that it hosts a variety of symmetry-breaking phases and their transitions including DQC. We show how an enlarged, emergent continuous symmetry arises at the DQCs, which can be experimentally observed in the joint distribution of two distinct order parameters, obtained within measurement snapshots in the standard computational basis. Our findings highlight quantum simulators of Rydberg atoms not only as promising platforms to experimentally realize such exotic phenomena, but also as unique ones allowing access to physical properties not obtainable in traditional experiments.

This work presents gauge-equivariant architectures for flow-based sampling in fermionic lattice field theories using pseudofermions as stochastic estimators for the fermionic determinant. This is the default approach in state-of-the-art lattice field theory calculations, making this development critical to the practical application of flow models to theories such as QCD. Methods by which flow-based sampling approaches can be improved via standard techniques such as even/odd preconditioning and the Hasenbusch factorization are also outlined. Numerical demonstrations in two-dimensional U(1) and SU(3) gauge theories with \(N_f=2\) flavors of fermions are provided.

We introduce two exotic lattice models on a general spatial graph. The first one is a matter theory of a compact Lifshitz scalar field, while the second one is a certain rank-2 \(U(1)\) gauge theory of fractons. Both lattice models are defined via the discrete Laplacian operator on a general graph. We unveil an intriguing correspondence between the physical observables of these lattice models and graph theory quantities. For instance, the ground state degeneracy of the matter theory equals the number of spanning trees of the spatial graph, which is a common measure of complexity in graph theory (“GSD = complexity”). The discrete global symmetry is identified as the Jacobian group of the graph. In the gauge theory, superselection sectors of fractons are in one-to-one correspondence with the divisor classes in graph theory. In particular, under mild assumptions on the spatial graph, the fracton immobility is proven using a graph-theoretic Abel-Jacobi map.

We show that Dense Neural Networks can be used to accurately model the cooling of high-energy particles in the early universe, in the context of the public code package DarkHistory. DarkHistory self-consistently computes the temperature and ionization history of the early universe in the presence of exotic energy injections, such as might arise from the annihilation or decay of dark matter. The original version of DarkHistory uses large pre-computed transfer function tables to evolve photon and electron spectra in redshift steps, which require a significant amount of memory and storage space. We present a light version of DarkHistory that makes use of simple Dense Neural Networks to store and interpolate the transfer functions, which performs well on small computers without heavy memory or storage usage. This method anticipates future expansion with additional parametric dependence in the transfer functions without requiring exponentially larger data tables.

Using an effective field theory (EFT) formalism for forward scattering, we reconsider the factorization of \(2\to 2\) scattering amplitudes in the Regge limit. Expanding the amplitude in gauge invariant operators labelled by the number of Glauber exchanges, allows us to further factorize the standard impact factors into separate collinear and soft functions. The soft functions are universal, and describe radiative corrections to the Reggeized gluon states exchanged by the collinear projectiles. Remarkably, we find that the one-loop soft function for the single Reggeized gluon state is given to \(\mathcal{O}(\epsilon)\) in terms of the two-loop cusp and two-loop rapidity anomalous dimensions. We argue that this iterative structure follows from the simple action of crossing symmetry in the forward scattering limit, which in the EFT allows us to replace the divergent part of a soft loop by a much simpler Glauber loop. We use this correspondence to provide a simple calculation of the two-loop Regge trajectory using the EFT. We then explore its implications at higher perturbative orders, and derive the maximally matter dependent contributions to the Regge trajectory to all loop orders, i.e.~the terms \(\sim \alpha_s^{k+1}n_f^k\) for any \(k\), where \(n_f\) is the number of massless flavors. These simplifications suggests that the EFT approach to the Regge limit will be helpful to explore and further understand the structure of the Regge limit.

We present a formulation of magnetohydrodynamics which can be used to describe the evolution of strong magnetic fields in neutron star interiors. Our approach is based on viewing magnetohydrodynamics as a theory with a one-form global symmetry and developing an effective field theory for the hydrodynamic modes associated with this symmetry. In the regime where the local velocity and temperature variations can be neglected, we derive the most general constitutive relation consistent with symmetry constraints for the electric field in the presence of a strong magnetic field. This constitutive relation not only reproduces the phenomena of Ohmic decay, ambipolar diffusion, and Hall drift derived in a phenomenological model by Goldreich and Reisenegger, but also reveals new terms in the evolution of the magnetic field which cannot easily be seen from such microscopic models. This formulation gives predictions for novel diffusion behaviors of small perturbations around a constant background magnetic field, and for the two-point correlation functions among various components of the electric and magnetic fields.

We study the D3-brane moduli dependence of the non-perturbative superpotential generated by the D7-brane gaugino condensation in a type IIB compactification on an orientifold of the elliptic Calabi-Yau threefold \(\Bbb{P}_{[1,1,1,6,9]}[18].\) Building on the work of Ganor, in the weak coupling limit, we compute the D3-brane dependent one-loop pfaffian in the flat coordinates and find that the one-loop pfaffian is written as the Jacobi theta function. We also comment on the complex structure dependence of the D3-brane dependent one-loop pfaffian.

From the nature of dark matter to the rate of expansion of our Universe, observations of distant galaxies distorted through strong gravitational lensing have the potential to answer some of the major open questions in astrophysics. Modeling galaxy-galaxy strong lensing observations presents a number of challenges as the exact configuration of both the background source and foreground lens galaxy is unknown. A timely call, prompted by a number of upcoming surveys anticipating high-resolution lensing images, demands methods that can efficiently model lenses at their full complexity. In this work, we introduce a method that uses continuous neural fields to non-parametrically reconstruct the complex morphology of a source galaxy while simultaneously inferring a distribution over foreground lens galaxy configurations. We demonstrate the efficacy of our method through experiments on simulated data targeting high-resolution lensing images similar to those anticipated in near-future astrophysical surveys.

Building on the approach of 1703.00905, we present an efficient algorithm for computing topological intersection numbers of divisors in a broad class of elliptic fibrations with the aid of a symbolic computing tool. A key part of our strategy is organizing the intersection products of divisors into a succinct analytic generating function, namely the exponential of the Kähler class. We use the methods of 1703.00905 to compute the pushforward of this function to the base of the elliptic fibration. We implement our algorithm in an accompanying Mathematica package IntersectionNumbers.m that computes generating functions of intersection products for resolutions of F-theory Tate models defined over smooth base of arbitrary complex dimension. Our algorithm appears to offer a significant reduction in computation time needed to compute intersection numbers as compared to previously explored implementations of the methods in 1703.00905; as an illustration, we explicitly compute the generating functions for all F-theory Tate models with simple classical groups of rank up to twenty and highlight the growth of the computation time with the rank of the group.

Despite an intense theoretical and experimental effort over the past decade, observations of the extragalactic radio background at multiple frequencies below 10 GHz are not understood in terms of known radio sources, and may represent a sign of new physics. In this Letter we identify a new class of dark sector models with feebly interacting particles, where dark photons oscillate into ordinary photons that contribute to the radio background. Our scenario can explain both the magnitude and the spectral index of the radio background, while being consistent with other cosmological and astrophysical constraints. These models predict new relativistic degrees of freedom and spectral distortions of the cosmic microwave background, which could be detected in the next generation of experiments.

Lattice quantum chromodynamics has proven to be an indispensable method to determine nonperturbative strong contributions to weak decay processes. In this white paper for the Snowmass community planning process we highlight achievements and future avenues of research for lattice calculations of weak \(b\) and \(c\) quark decays, and point out how these calculations will help to address the anomalies currently in the spotlight of the particle physics community. With future increases in computational resources and algorithmic improvements, percent level (and below) lattice determinations will play a central role in constraining the standard model or identifying new physics.

Transverse-momentum-dependent parton distributions (TMDs) can be calculated from first principles by computing a related set of Euclidean lattice observables and connecting them via a factorization formula. This work focuses on the leading-power factorization formula connecting the lattice quasi-TMD and continuum Collins TMD for gluons. We calculate the one-loop gluon matching coefficient, which is known to be independent of spin and exhibits no mixing with quarks. We demonstrate that this coefficient satisfies Casimir scaling with respect to the quark matching coefficient at one-loop order. Our result facilitates reliable lattice QCD calculations of gluon TMDs.

We propose and analyze a sample-efficient protocol to estimate the fidelity between an experimentally prepared state and an ideal target state, applicable to a wide class of analog quantum simulators without advanced sophisticated spatiotemporal control. Our approach utilizes newly discovered universal fluctuations emerging from generic Hamiltonian dynamics, and it does not require any fine-tuned control over state preparation, quantum evolution, or readout capability. It only needs a small number of experimental measurements, achieving near optimal sample complexity: in ideal cases, a percent-level precision is obtained with \(\sim 10^3\) measurements independent of system size. Furthermore, the accuracy of our fidelity estimation improves with increasing system size. We numerically demonstrate our protocol for a variety of quantum simulator platforms such as itinerant particles on optical lattices, trapped ions, and Rydberg atoms. We discuss further applications of our method for advanced tasks such as multi-parameter estimation of quantum states and processes.

A novel method for the extraction of form factors of unstable particles on the lattice is proposed. The approach is based on the study of two-particle scattering in a static, spatially periodic external field by using a generalization of the Lüscher method in the presence of such a field. It is shown that the resonance form factor in the Breit frame is given by the derivative of the resonance pole position in the complex plane with respect to the coupling constant to the external field. Unlike the standard approach, this proposal does not suffer from problems caused by the presence of the triangle diagram.

Classical and quantum annealing are computing paradigms that have been proposed to solve a wide range of optimization problems. In this paper, we aim to enhance the performance of annealing algorithms by introducing the technique of degeneracy engineering, through which the relative degeneracy of the ground state is increased by modifying a subset of terms in the objective Hamiltonian. We illustrate this novel approach by applying it to the example of \(\ell_0\)-norm regularization for sparse linear regression, which is in general an NP-hard optimization problem. Specifically, we show how to cast \(\ell_0\)-norm regularization as a quadratic unconstrained binary optimization (QUBO) problem, suitable for implementation on annealing platforms. As a case study, we apply this QUBO formulation to energy flow polynomials in high-energy collider physics, finding that degeneracy engineering substantially improves the annealing performance. Our results motivate the application of degeneracy engineering to a variety of regularized optimization problems.

We develop a framework to simulate jet quenching in nuclear environments on a quantum computer. The formulation is based on the light-front Hamiltonian dynamics of QCD. The Hamiltonian consists of three parts relevant for jet quenching studies: kinetic, diffusion and splitting terms. In the basis made up of \(n\)-particle states in momentum space, the kinetic Hamiltonian is diagonal. Matrices representing the diffusion and splitting parts are sparse. The diffusion part of the Hamiltonian depends on classical background gauge fields, which need to be sampled classically before constructing quantum circuits for the time evolution. The cost of the sampling scales linearly with the time length of the evolution and the momentum grid volume. The framework automatically keeps track of quantum interference and thus it can be applied to study the Landau-Pomeranchuk-Migdal effect in cases with more than two splittings, which is beyond the scope of state-of-the-art analyses, no matter whether the medium is static or expanding, thin or thick, hot or cold. We apply this framework to study a toy model and carry out the quantum simulation by using the IBM Qiskit simulator. The Landau-Pomeranchuk-Migdal effect that suppresses the total radiation probability is observed in the quantum simulation results.

Power counting is a systematic strategy for organizing collider observables and their associated theoretical calculations. In this paper, we use power counting to characterize a class of jet substructure observables called energy flow polynomials (EFPs). EFPs provide an overcomplete linear basis for infrared-and-collinear safe jet observables, but it is known that in practice, a small subset of EFPs is often sufficient for specific jet analysis tasks. By applying power counting arguments, we obtain linear relationships between EFPs that hold for quark and gluon jets to a specific order in the power counting. We test these relations in the parton shower generator Pythia, finding excellent agreement. Power counting allows us to truncate the basis of EFPs without affecting performance, which we corroborate through a study of quark-gluon tagging and regression.

A near-future detection of the 21cm signal from the epoch of reionization will provide unique opportunities to probe the underlying cosmology, provided that such cosmological information can be extracted with precision. To this end, we further develop effective field theory (EFT) inspired techniques for the 21cm brightness temperature field during the epoch of reionization, incorporating renormalized bias and a treatment of redshift space distortions. Notably, we confirm that in redshift space, measures of the 21cm brightness, e.g the power spectrum, should have irreducible contributions that lack a bias coefficient and therefore contain direct, astrophysics-free information about the cosmological density field; in this work, we study this effect beyond linear order. To validate our theoretical treatment, we fit the predicted EFT Fourier-space shapes to the THESAN suite of hydrodynamical simulations of reionization at the field level, where the considerable number of modes prevents overfitting. We find agreement at the level of a few percent between the 21cm power spectrum from the EFT fits and simulations over the wavenumber range \(k \lesssim 0.8\) h/Mpc and neutral fraction \(x_\mathrm{HI} \gtrsim 0.4\), which is imminently measurable by the Hydrogen Epoch of Reionization Array (HERA) and future experiments. The ability of the EFT to describe the 21cm signal extends to simulations that have different astrophysical prescriptions for reionization as well as simulations with interacting dark matter.

We present a novel lepton-nucleus event generator: ACHILLES, A CHIcagoLand Lepton Event Simulator. The generator factorizes the primary interaction from the propagation of hadrons in the nucleus, which allows for a great deal of modularity, facilitating further improvements and interfaces with existing codes. We validate our generator against high quality electron-carbon scattering data in the quasielastic regime, including the recent CLAS/e4v reanalysis of existing data. We find good agreement in both inclusive and exclusive distributions. By varying the assumptions on the propagation of knocked out nucleons throughout the nucleus, we estimate a component of theoretical uncertainties. We also propose novel observables that will allow for further testing of lepton-nucleus scattering models. ACHILLES is readily extendable to generate neutrino-nucleus scattering events.

One of the most important properties of classical neural networks is how surprisingly trainable they are, though their training algorithms typically rely on optimizing complicated, nonconvex loss functions. Previous results have shown that unlike the case in classical neural networks, variational quantum models are often not trainable. The most studied phenomenon is the onset of barren plateaus in the training landscape of these quantum models, typically when the models are very deep. This focus on barren plateaus has made the phenomenon almost synonymous with the trainability of quantum models. Here, we show that barren plateaus are only a part of the story. We prove that a wide class of variational quantum models — which are shallow, and exhibit no barren plateus — have only a superpolynomially small fraction of local minima within any constant energy from the global minimum, rendering these models untrainable if no good initial guess of the optimal parameters is known. We also study the trainability of variational quantum algorithms from a statistical query framework, and show that noisy optimization of a wide variety of quantum models is impossible with a sub-exponential number of queries. Finally, we numerically confirm our results on a variety of problem instances. Though we exclude a wide variety of quantum algorithms here, we give reason for optimism for certain classes of variational algorithms and discuss potential ways forward in showing the practical utility of such algorithms.