Search NASA⌕ Search

SEARCH · Search NASA

Results for “Proving”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 289 records · Page 16
All sourcesNASA NTRSDOE OSTI
DOE OSTI2023

Consistent truncations and dualities

Recent progress in generalised geometry and extended field theories suggests a deep connection between consistent truncations and dualities, which is not immediately obvious. A prime example is generalised Scherk-Schwarz reductions in double field theory, which have been shown to be in one-to-one correspondence with Poisson-Lie T-duality. Here we demonstrate that this relation is only the tip of the iceberg. Currently, the most general known classes of T-dualities (excluding mirror symmetry) are based on dressing cosets. But as we discuss, they can be further extended to the even larger class of generalised cosets. We prove that the latter give rise to consistent truncations for which the ansatz can be constructed systematically. Hence, we pave the way for many new examples of T-dualities and consistent truncations. The arising structures result in covariant tensors with more than two derivatives and we argue how they might be key to understand generalised T-dualities and consistent truncations beyond the leading two derivative level.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2024

Tensionless strings on AdS 3 orbifolds

The bound state of one NS5 brane (wrapped on a T 4 ) and N NS1-branes has two dual descriptions: its low-energy dynamics is described by the symmetric orbifold of T 4 , while the near horizon geometry is captured by string theory on AdS 3 × S 3 × T 4 with one unit of NS flux. The latter theory is exactly solvable in the hybrid formalism, and this allows one to prove the equivalence of the two descriptions. In this paper we extend this duality to Z k orbifolds of this AdS 3 × S 3 background. In particular, we show that the corresponding worldsheet spectrum reproduces exactly the perturbative excitations on top of a certain non-perturbative state in the dual symmetric orbifold theory. Since the AdS/CFT duality map is exact for these models, we obtain an interesting picture of how the duality relates boundary and bulk descriptions.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2024

Crossing beyond scattering amplitudes

We find that different asymptotic measurements in quantum field theory can be related to one another through new versions of crossing symmetry. Assuming analyticity, we conjecture generalized crossing relations for multi-particle processes and the corresponding paths of analytic continuation. We prove them to all multiplicity at tree-level in quantum field theory and string theory. We illustrate how to practically perform analytic continuations on loop-level examples using different methods, including unitarity cuts and differential equations. We study the extent to which anomalous thresholds away from the usual physical region can cause an analytic obstruction to crossing when massless particles are involved. In an appendix, we review and streamline historical proofs of four-particle crossing symmetry in gapped theories.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2020

The soft quark Sudakov

There has been recent interest in understanding the all loop structure of the subleading power soft and collinear limits, with the goal of achieving a systematic resummation of subleading power infrared logarithms. Most of this work has focused on subleading power corrections to soft gluon emission, whose form is strongly constrained by symmetries. In this paper we initiate a study of the all loop structure of soft fermion emission. In N = 1 QCD we perform an operator based factorization and resummation of the associated infrared logarithms using the formalism introduced in, and prove that they exponentiate into a Sudakov due to their relation to soft gluon emission. We verify this result through explicit calculation to O($α$ $^{3}_{s}$). We show that in QCD, this simple Sudakov exponentiation is violated by endpoint contributions proportional to (C A –C F ) n which contribute at leading logarithmic order. Combining our N = 1 result and our calculation of the endpoint contributions to O($α$ $^{3}_{s}$), we conjecture a result for the soft quark Sudakov in QCD, a new all orders function first appearing at subleading power, and give evidence for its universality. Our result, which is expressed in terms of combinations of cusp anomalous dimensions in different color representations, takes an intriguingly simple form and also exhibits interesting similarities to results for large-x logarithms in the off diagonal splitting functions.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2021

Dispersion formulas in QFTs, CFTs and holography

We study momentum space dispersion formulas in general QFTs and their applications for CFT correlation functions. We show, using two independent methods, that QFT dispersion formulas can be written in terms of causal commutators. The first derivation uses analyticity properties of retarded correlators in momentum space. The second derivation uses the largest time equation and the defining properties of the time-ordered product. At four points we show that the momentum space QFT dispersion formula depends on the same causal double-commutators as the CFT dispersion formula. At n -points, the QFT dispersion formula depends on a sum of nested advanced commutators. For CFT four-point functions, we show that the momentum space dispersion formula is equivalent to the CFT dispersion formula, up to possible semi-local terms. We also show that the Polyakov-Regge expansions associated to the momentum space and CFT dispersion formulas are related by a Fourier transform. In the process, we prove that the momentum space conformal blocks of the causal double-commutator are equal to cut Witten diagrams. Finally, by combining the momentum space dispersion formulas with the AdS Cutkosky rules, we find a complete, bulk unitarity method for AdS/CFT correlators in momentum space.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2022

On the differential representation and color-kinematics duality of AdS boundary correlators

The AdS boundary correlators and their dual correlation functions of boundary operators have been the main dynamic observables of the holographic duality relating a bulk AdS theory and a boundary conformal field theory. We show that tree-level AdS boundary correlators for generic states can be expressed as nonlocal differential operators of a certain structure acting on contact Witten diagrams. We further write the boundary correlators in a form that is very similar to flat space amplitudes, with Mandelstam variables replaced by certain combinations of single-state conformal generators, prove that all tree-level AdS boundary correlators have a differential representation, and detail the conversion of such differential expressions to position space. We illustrate the construction through the computation of the boundary correlators of scalars coupled to gluons and gravitons; when converted to position space, they reproduce known results. Color-kinematics duality and BCJ relations can be defined in analogy with their flat space counterparts, and are respected by the scalar correlators with a gluon exchange. We also discuss potential approaches to the double copy and find that its direct generalization may require nontrivial extensions.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2022

Magic zeroes and hidden symmetries

Selection rules arising from accidental or broken symmetries may be sufficiently obscure that their agency is hidden, leading to the appearance of “magic zeroes” — quantities that are suppressed without apparent recourse to a symmetry explanation. Magic zeroes and their corresponding hidden symmetries may shed new light on parametric hierarchies in the Standard Model and beyond. We identify the hidden symmetry responsible for a recently-discovered magic zero, the vanishing of the putative leading contribution to the anomalous dipole moments of the muon upon integrating out weak doublet and singlet vector-like fermions. Some of the tools involved — spurion analysis leveraging discrete symmetries of the free theory, field redefinitions, spectator fields, and non-supersymmetric non-renormalization theorems — may prove useful in the hunt for new magic zeroes and their hidden symmetries.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2023

Causality constraints on corrections to Einstein gravity

We study constraints from causality and unitarity on 2 → 2 graviton scattering in four-dimensional weakly-coupled effective field theories. Together, causality and unitarity imply dispersion relations that connect low-energy observables to high-energy data. Using such dispersion relations, we derive two-sided bounds on gravitational Wilson coefficients in terms of the mass M of new higher-spin states. Our bounds imply that gravitational interactions must shut off uniformly in the limit G → 0, and prove the scaling with M expected from dimensional analysis (up to an infrared logarithm). We speculate that causality, together with the non-observation of gravitationally-coupled higher spin states at colliders, severely restricts modifications to Einstein gravity that could be probed by experiments in the near future.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2024

On the intermediate Jacobian of M5-branes

Abstract We study Euclidean M5-branes wrapping vertical divisors in elliptic Calabi-Yau fourfold compactifications of M/F-theory that admit a Sen limit. We construct these Calabi-Yau fourfolds as elliptic fibrations over coordinate flip O3/O7 orientifolds of toric hypersurface Calabi-Yau threefolds. We devise a method to analyze the Hodge structure (and hence the dimension of the intermediate Jacobian) of vertical divisors in these fourfolds, using only the data available from a type IIB compactification on the O3/O7 Calabi-Yau orientifold. Our method utilizes simple combinatorial formulae (that we prove) for the equivariant Hodge numbers of the Calabi-Yau orientifolds and their prime toric divisors, along with a formula for the Euler characteristic of vertical divisors in the corresponding elliptic Calabi-Yau fourfold. Our formula for the Euler characteristic includes a conjectured correction term that accounts for the contributions of pointlike terminal ℤ 2 singularities corresponding to perturbative O3-planes. We check our conjecture in a number of explicit examples and find perfect agreement with the results of direct computations.

Physics↗
DOE OSTI2025

Two-loop MHV form factors from the periodic Wilson loop

We discuss how to compute maximal-helicity-violating (MHV) form factors for the chiral part of the stress-tensor supermultiplet from periodic light-like polygon Wilson loops in planar $\mathcal{N}$ = 4 super Yang-Mills theory beyond the one-loop level. We show that the periodicity imposes path ordering on points on different edges, which explains the appearance of square roots coming from non-planar Feynman diagrams. Taking such diagrams into account, we provide the integrand of the two-loop n-particle MHV form factor, compute all diagrams, prove the cancellation of divergences and finally compute the two-loop 5-particle and 6-particle form factors as examples.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2020

Sterile neutrinos and neutrinoless double beta decay in effective field theory

We investigate neutrinoless double beta decay (0νββ) in the presence of sterile neutrinos with Majorana mass terms. These gauge-singlet fields are allowed to interact with Standard-Model (SM) fields via renormalizable Yukawa couplings as well as higher-dimensional gauge-invariant operators up to dimension seven in the Standard Model Effective Field Theory extended with sterile neutrinos. At the GeV scale, we use Chiral effective field theory involving sterile neutrinos to connect the operators at the level of quarks and gluons to hadronic interactions involving pions and nucleons. This allows us to derive an expression for 0νββ rates for various isotopes in terms of phase-space factors, hadronic low-energy constants, nuclear matrix elements, the neutrino masses, and the Wilson coefficients of higher-dimensional operators. The required hadronic low-energy constants and nuclear matrix elements depend on the neutrino masses, for which we obtain interpolation formulae grounded in QCD and chiral perturbation theory that improve existing formulae that are only valid in a small regime of neutrino masses. The resulting framework can be used directly to assess the impact of 0νββ experiments on scenarios with light sterile neutrinos and should prove useful in global analyses of sterile-neutrino searches. We per- form several phenomenological studies of 0νββ in the presence of sterile neutrinos with and without higher-dimensional operators. We find that non-standard interactions involving sterile neutrinos have a dramatic impact on 0νββ phenomenology, and next-generation experiments can probe such interactions up to scales of $\mathcal O$ (100) TeV.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2023

von Neumann algebras in JT gravity

We quantize JT gravity with matter on the spatial interval with two asymptotically AdS boundaries. We consider the von Neumann algebra generated by the right Hamiltonian and the gravitationally dressed matter operators on the right boundary. We prove that the commutant of this algebra is the analogously defined left boundary algebra and that both algebras are type II ∞ factors. These algebras provide a precise notion of the entanglement wedge away from the semiclassical limit. We comment on how the factorization problem differs between pure JT gravity and JT gravity with matter.

2D Gravity↗
DOE OSTI2024

On amplitudes and field redefinitions

We derive an off-shell recursion relation for correlators that holds at all loop orders. This allows us to prove how generalized amplitudes transform under generic field redefinitions, starting from an assumed behavior of the one-particle-irreducible effective action. The form of the recursion relation resembles the operation of raising the rank of a tensor by acting with a covariant derivative. This inspires a geometric interpretation, whose features and flaws we investigate.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2025

Global bases for nonplanar loop integrands, generalized unitarity, and the double copy to all loop orders

We introduce a constructive method for defining a global loop-integrand basis for scattering amplitudes, encompassing both planar and nonplanar contributions. Our approach utilizes a graph-based framework to establish a well-defined, non-redundant basis of integrands. This basis, constructed from a chosen set of non-redundant graphs together with a selection of irreducible scalar products, provides clear insights into various physical properties of scattering amplitudes and proves useful in multiple contexts, such as on-shell Ward identities and manifesting gauge-choice independence. A key advantage of our integrand basis is its ability to streamline the generalized unitarity method. Specifically, we can directly read off the coefficients of basis elements without resorting to ansätze or solving linear equations. This novel approach allows us to lift generalized unitarity cuts — expressed as products of tree amplitudes — to loop-level integrands, facilitating the use of the tree-level double copy to generate complete gravitational integrands at any loop order. This method circumvents the difficulties in identifying complete higher-loop-order gauge-theory integrands that adhere to the color-kinematics duality. Additionally, our cut-based organization is well-suited for expansion in hard or soft limits, aiding in the exploration of ultraviolet or classical limits of scattering amplitudes.

Effective Field Theories↗
DOE OSTI2026

Exploring the holographic entropy cone via reinforcement learning

We develop a reinforcement learning algorithm to study the holographic entropy cone. Given a target entropy vector, our algorithm searches for a graph realization whose min-cut entropies match the target vector. If the target vector does not admit such a graph realization, it must lie outside the cone, in which case the algorithm finds a graph whose corresponding entropy vector most nearly approximates the target and allows us to probe the location of the facets. For the N = 3 cone, we confirm that our algorithm successfully rediscovers monogamy of mutual information beginning with a target vector outside the holographic entropy cone. We then apply the algorithm to the N = 6 cone, analyzing the 6 mystery extreme rays of the subadditivity cone from [1] that satisfy all known holographic entropy inequalities yet lacked graph realizations. We found realizations for 3 of them, proving they are genuine extreme rays of the holographic entropy cone, while providing evidence that the remaining 3 are not realizable, implying unknown holographic inequalities exist for N = 6.

AdS-CFT correspondence↗
DOE OSTI2020

Spontaneously broken boosts and the Goldstone continuum

The spontaneous breaking of boost invariance is ubiquitous in nature, yet the associated Goldstone bosons are nowhere to be seen. We discuss why some subtleties are to be expected in the Goldstone phenomenon for spontaneously broken boosts, and derive the corresponding quantum mechanical, non-perturbative Goldstone theorem. Despite similarities with more standard Goldstone theorems, we show by examples that ours can be obeyed by quite unusual spectra of low-energy excitations. In particular, for non- relativistic Fermi liquids, we prove that it is obeyed by the particle-hole continuum . To the best of our knowledge, this is the first example of a Goldstone theorem obeyed by a continuum rather than by (approximately stable) single-particle Goldstone boson states in an interacting theory at zero temperature.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2020

Superbalance of holographic entropy inequalities

The domain of allowed von Neumann entropies of a holographic field theory carves out a polyhedral cone — the holographic entropy cone — in entropy space. Such polyhedral cones are characterized by their extreme rays. For an arbitrary number of parties, it is known that the so-called perfect tensors are extreme rays. In this work, we constrain the form of the remaining extreme rays by showing that they correspond to geometries with vanishing mutual information between any two parties, ensuring the absence of Bell pair type entanglement between them. This is tantamount to proving that besides subadditivity, all non-redundant holographic entropy inequalities are superbalanced, i.e. not only do UV divergences cancel in the inequality itself (assuming smooth entangling surfaces), but also in the purification thereof.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2021

Holography abhors visible trapped surfaces

We prove that consistency of the holographic dictionary implies a hallmark prediction of the weak cosmic censorship conjecture: that in classical gravity, trapped surfaces lie behind event horizons. In particular, the existence of a trapped surface implies the existence of an event horizon, and that furthermore this event horizon must be outside of the trapped surface. More precisely, we show that the formation of event horizons outside of a strong gravity region is a direct consequence of causal wedge inclusion, which is required by entanglement wedge reconstruction. We make few assumptions beyond the absence of evaporating singularities in strictly classical gravity. We comment on the implication that spacetimes with naked trapped surfaces do not admit a holographic dual, note a possible application to holographic complexity, and speculate on the dual CFT interpretation of a trapped surface.

79 ASTRONOMY AND ASTROPHYSICS↗