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 307 records · Page 17
All sourcesNASA NTRSDOE OSTI
DOE OSTI2021

Exact-WKB, complete resurgent structure, and mixed anomaly in quantum mechanics on S 1

We investigate the exact-WKB analysis for quantum mechanics in a periodic potential, with N minima on S 1 . We describe the Stokes graphs of a general potential problem as a network of Airy-type or degenerate Weber-type building blocks, and provide a dictionary between the two. The two formulations are equivalent, but with their own pros and cons. Exact-WKB produces the quantization condition consistent with the known conjectures and mixed anomaly. The quantization condition for the case of N-minima on the circle factorizes over the Hilbert sub-spaces labeled by discrete theta angle (or Bloch momenta), and is consistent with ’t Hooft anomaly for even N and global inconsistency for odd N. By using Delabaere-Dillinger-Pham formula, we prove that the resurgent structure is closed in these Hilbert subspaces, built on discrete theta vacua, and by a transformation, this implies that fixed topological sectors (columns of resurgence triangle) are also closed under resurgence.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2021

Sharp boundaries for the swampland

We reconsider the problem of bounding higher derivative couplings in consistent weakly coupled gravitational theories, starting from general assumptions about analyticity and Regge growth of the S-matrix. Higher derivative couplings are expected to be of order one in the units of the UV cutoff. Our approach justifies this expectation and allows to prove precise bounds on the order one coefficients. Our main tool are dispersive sum rules for the S-matrix. We overcome the difficulties presented by the graviton pole by measuring couplings at small impact parameter, rather than in the forward limit. We illustrate the method in theories containing a massless scalar coupled to gravity, and in theories with maximal supersymmetry.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2021

Fishnet four-point integrals: integrable representations and thermodynamic limits

In this work, we consider four-point integrals arising in the planar limit of the conformal “fishnet” theory in four dimensions. They define a two-parameter family of higher-loop Feynman integrals, which extend the series of ladder integrals and were argued, based on integrability and analyticity, to admit matrix-model-like integral and determinantal representations. In this paper, we prove the equivalence of all these representations using exact summation and integration techniques. We then analyze the large-order behaviour, corresponding to the thermodynamic limit of a large fishnet graph. The saddle-point equations are found to match known two-cut singular equations arising in matrix models, enabling us to obtain a concise parametric expression for the free-energy density in terms of complete elliptic integrals. Interestingly, the latter depends non-trivially on the fishnet aspect ratio and differs from a scaling formula due to Zamolodchikov for large periodic fishnets, suggesting a strong sensitivity to the boundary conditions. We also find an intriguing connection between the saddle-point equation and the equation describing the Frolov-Tseytlin spinning string in AdS 3 × S 1 , in a generalized scaling combining the thermodynamic and short-distance limits.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2023

Emergent unitarity, all-loop cuts and integrations from the ABJM amplituhedron

We elaborate on aspects of a new positive geometry proposed recently, which was conjectured to be the four-point amplituhedron for ABJM theory. We study generalized unitarity cuts from the geometry, and in particular we prove that (1) the four-point integrand satisfies perturbative unitarity (or optical theorem) to all loops, which follows directly from the geometry, and (2) vanishing cuts involving odd-point amplitudes follow from the “bipartite” nature of the associated “negative geometries”, which justifies their appearance in ABJM theory. We also take a first step in integrating the forms of these negative geometries and obtain an infrared-finite quantity up to two loops, from which we extract the cusp anomalous dimension at leading order.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2023

Constraints on sequential discontinuities from the geometry of on-shell spaces

We present several classes of constraints on the discontinuities of Feynman integrals that go beyond the Steinmann relations. These constraints follow from a geometric formulation of the Landau equations that was advocated by Pham, in which the singularities of Feynman integrals correspond to critical points of maps between on-shell spaces. To establish our results, we review elements of Picard-Lefschetz theory, which connect the homotopy properties of the space of complexified external momenta to the homology of the combined space of on-shell internal and external momenta. An important concept that emerges from this analysis is the question of whether or not a pair of Landau singularities is compatible — namely, whether or not the Landau equations for the two singularities can be satisfied simultaneously. Under conditions we describe, sequential discontinuities with respect to non-compatible Landau singularities must vanish. Although we only rigorously prove results for Feynman integrals with generic masses in this paper, we expect the geometric and algebraic insights that we gain will also assist in the analysis of more general Feynman integrals.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2025

Nonrenormalization theorem for $\mathcal{N}$ = (4, 4) interface entropy

We derive a formula for the half-BPS interface entropy between any pair of $\mathcal{N}$ = (4, 4) theories on the same conformal manifold. This generalizes the diastasis formula derived in [1] for $\mathcal{N}$ = (2, 2) theories, which is restricted to the conformal submanifolds generated by either chiral or twisted chiral multiples of $\mathcal{N}$ = (2, 2) supersymmetry. To derive the $\mathcal{N}$ = (4, 4) formula, we use the fact that the conformal manifold of $\mathcal{N}$ = (4, 4) theories is symmetric and quaternionic-Kähler and that its isotropy group contains the SU(2) ⊗ SU(2) external automorphism of the $\mathcal{N}$ = (4, 4) superconformal algebra. As an application of the formula, we prove a supersymmetric non-renormalization theorem, which explains the observation in [2] that the interface entropy for half-BPS Janus solutions in type IIB supergravity on AdS 3 × S 3 × T 4 coincides with the corresponding quantity in their free conformal field limits.

AdS-CFT correspondence↗
DOE OSTI2025

A universal inequality on the unitary 2D CFT partition function

We prove the conjecture proposed by Hartman, Keller and Stoica (HKS) [1]: the grand-canonical free energy of a unitary 2D CFT with a sparse spectrum below the scaling dimension $\frac{c}{12}$ + ϵ and below the twist $\frac{c}{12}$ is universal in the large c limit for all β L β R ≠ 4π 2 . The technique of the proof allows us to derive a one-parameter (with parameter α ∈ (0, 1]) family of universal inequalities on the unitary 2D CFT partition function with general central charge c ⩾ 0, using analytical modular bootstrap. We derive an iterative equation for the domain of validity of the inequality on the (β L , β R ) plane. The infinite iteration of this equation gives the boundary of maximal-validity domain, which depends on the parameter α in the inequality.

AdS-CFT Correspondence↗
DOE OSTI2020

High energy modular bootstrap, global symmetries and defects

We derive Cardy-like formulas for the growth of operators in different sectors of unitary 2 dimensional CFT in the presence of topological defect lines by putting an upper and lower bound on the number of states with scaling dimension in the interval [Δ – δ, Δ + δ] for large Δ at fixed δ. Consequently we prove that given any unitary modular invariant 2D CFT symmetric under finite global symmetry G (acting faithfully), all the irreducible representations of G appear in the spectra of the untwisted sector; the growth of states is Cardy like and proportional to the “square” of the dimension of the irrep. In the Schwarzian limit, the result matches onto that of JT gravity with a bulk gauge theory. If the symmetry is non-anomalous, the result applies to any sector twisted by a group element. For c > 1, the statements are true for Virasoro primaries. Furthermore, the results are applicable to large c CFTs. We also extend our results for the continuous U(1) group.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2020

Quantum maximin surfaces

We formulate a quantum generalization of maximin surfaces and show that a quantum maximin surface is identical to the minimal quantum extremal surface, introduced in the EW prescription. We discuss various subtleties and complications associated to a maximinimization of the bulk von Neumann entropy due to corners and unboundedness and present arguments that nonetheless a maximinimization of the UV-finite generalized entropy should be well-defined. We give the first general proof that the EW prescription satisfies entanglement wedge nesting and the strong subadditivity inequality. In addition, we apply the quantum maximin technology to prove that recently proposed generalizations of the EW prescription to nonholographic subsystems (including the so-called “quantum extremal islands”) also satisfy entanglement wedge nesting and strong subadditivity. Our results hold in the regime where backreaction of bulk quantum fields can be treated perturbatively in G N h, but we emphasize that they are valid even when gradients of the bulk entropy are of the same order as variations in the area, a regime recently investigated in new models of black hole evaporation in AdS/CFT.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2021

Distributions in CFT. Part II. Minkowski space

CFTs in Euclidean signature satisfy well-accepted rules, such as the convergent Euclidean OPE. It is nowadays common to assume that CFT correlators exist and have various properties also in Lorentzian signature. Some of these properties may represent extra assumptions, and it is an open question if they hold for familiar statistical-physics CFTs such as the critical 3d Ising model. Here we consider Wightman 4-point functions of scalar primaries in Lorentzian signature. We derive a minimal set of their properties solely from the Euclidean unitary CFT axioms, without using extra assumptions. We establish all Wightman axioms (temperedness, spectral property, local commutativity, clustering), Lorentzian conformal invariance, and distributional convergence of the s-channel Lorentzian OPE. This is done constructively, by analytically continuing the 4-point functions using the s-channel OPE expansion in the radial cross-ratios ρ, ρ¯. We prove a key fact that |ρ|, |ρ¯| < 1 inside the forward tube, and set bounds on how fast |ρ|, |ρ¯| may tend to 1 when approaching the Minkowski space.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2023

Information loss, mixing and emergent type III 1 factors

A manifestation of the black hole information loss problem is that the two-point function of probe operators in a large Anti-de Sitter black hole decays in time, whereas, on the boundary CFT, it is expected to be an almost periodic function of time. We point out that the decay of the two-point function (clustering in time) holds important clues to the nature of observable algebras, states, and dynamics in quantum gravity. We call operators that cluster in time “mixing” and explore the necessary and sufficient conditions for mixing. The information loss problem is a special case of the statement that in type I algebras, there exists no mixing operators. We prove that, in a thermofield double state (KMS state), if mixing operators form an algebra (close under multiplication), the resulting algebra must be a von Neumann type III 1 factor. In other words, the physically intuitive requirement that all nonconserved operators should exponentially mix is so strong that it fixes the observable algebra to be an exotic algebra called a type III1 factor. More generally, for an arbitrary out-of-equilibrium state of a general quantum system (von Neumann algebra), we show that if the set of operators that mix under modular flow forms an algebra, it is a type III1 von Neumann factor.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2025

Towards a general subtraction formula for NNLO QCD corrections to processes at hadron colliders: final states with quarks and gluons

We describe the calculation of integrated subtraction terms in the nested soft-collinear subtraction scheme for hadron collider processes with quarks and gluons, thereby extending the results presented in ref. [1]. Although this extension eventually proves to be straightforward, it requires a more careful treatment of certain collinear limits to achieve a compact and physically-transparent final result. We also show that the cancellation of infrared divergences can be organized in such a way that, once soft contributions are removed, it occurs independently for each of the external partons. We consider these results to be important stepping stones on the way to deriving finite remainders of the integrated subtraction terms for fully-general hadron collider processes in the context of the nested soft-collinear subtraction scheme.

NNLO calculations↗
DOE OSTI2020

The dual of non-extremal area: differential entropy in higher dimensions

The Ryu-Takayanagi formula relates entanglement entropy in a field theory to the area of extremal surfaces anchored to the boundary of a dual AdS space. It is interesting to ask if there is also an information theoretic interpretation of the areas of non-extremal surfaces that are not necessarily boundary-anchored. In general, the physics outside such surfaces is associated to observers restricted to a time-strip in the dual boundary field theory. When the latter is two-dimensional, it is known that the differential entropy associated to the strip computes the length of the dual bulk curve, and has an interpretation in terms of the information cost in Bell pairs of restoring correlations inaccessible to observers in the strip. A general realization of this formalism in higher dimensions is unknown. We first prove a no-go theorem eliminating candidate expressions for higher dimensional differential entropy based on entropic c-theorems. Then we propose a new formula in terms of an integral of shape derivatives of the entanglement entropy of ball shaped regions. Our proposal stems from the physical requirement that differential entropy must be locally finite and conformally invariant. Demanding cancelation of the well-known UV divergences of entanglement entropy in field theory guides us to our conjecture, which we test for surfaces in AdS 4 . Our results suggest a candidate c-function for field theories in arbitrary dimensions.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2020

Fully coherent energy loss effects on light hadron production in pA collisions

We single out the role of fully coherent induced gluon radiation on light hadron production in pA collisions. The effect has the same general features as for quarkonium production, however with a richer color structure as the induced radiation depends on the global color charge of the partonic subprocess final state. Baseline predictions for light hadron nuclear suppression in pPb collisions at the LHC are provided, taking into account only the effect of fully coherent energy loss, which proves to be of the same order of magnitude as gluon shadowing or saturation. This underlines the need to include fully coherent energy loss in phenomenological studies of hadron production in pA collisions.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗
DOE OSTI2022

The holographic entropy cone from marginal independence

The holographic entropy cone characterizes the relations between entanglement entropies for a spatial partitioning of the boundary spacetime of a holographic CFT in any state describing a classical bulk geometry. We argue that the holographic entropy cone, for an arbitrary number of parties, can be reconstructed from more fundamental data determined solely by subadditivity of quantum entropy. We formulate certain conjectures about graph models of holographic entanglement, for which we provide strong evidence, and rigorously prove that they all imply that such a reconstruction is possible. Our conjectures (except only for the weakest) further imply that the necessary data is remarkably simple. In essence, all one needs to know to reconstruct the holographic entropy cone, is a certain subset of the extreme rays of this simpler “subadditivity cone”, namely those which can be realized in holography. This recasting of the bewildering entanglement structure of geometric states into primal building blocks paves the way to distilling the essence of holography for the emergence of a classical bulk spacetime.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2023

Transverse momentum distributions of heavy hadrons and polarized heavy quarks

We initiate the study of transverse momentum-dependent (TMD) fragmentation functions for heavy quarks, demonstrate their factorization in terms of novel nonperturbative matrix elements in heavy-quark effective theory (HQET), and prove new TMD sum rules that arise from heavy-quark spin symmetry. We discuss the phenomenology of heavy-quark TMD FFs at B factories and find that the Collins effect, in contrast to claims in the literature, is not parametrically suppressed by the heavy-quark mass. We further calculate all TMD parton distribution functions for the production of heavy quarks from polarized gluons within the nucleon and use our results to demonstrate the potential of the future EIC to resolve TMD heavy-quark fragmentation in semi-inclusive DIS, complementing the planned EIC program to use heavy quarks as probes of gluon distributions.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2024

Explicit entropic proofs of irreversibility theorems for holographic RG flows

We revisit the existence of monotonic quantities along renormalization group flows using only the Null Energy Condition and the Ryu-Takayanagi formula for the entanglement entropy of field theories with anti-de Sitter gravity duals. In particular, we consider flows within the same dimension and holographically reprove the c-, F -, and a-theorems in dimensions two, three, and four. We focus on the family of maximally spherical entangling surfaces, define a quasi-constant of motion corresponding to the breaking of conformal invariance, and use a properly defined distance between minimal surfaces to construct a holographic c-function that is monotonic along the flow. We then apply our method to the case of flows across dimensions: there, we reprove the monotonicity of flows from AdS D+1 to AdS 3 and prove the novel case of flows from AdS 5 to AdS 4 .

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2025

Precision e + e − hemisphere masses in the dijet region with power corrections

We derive high-precision results for the e + e − heavy jet mass (HJM) dσ/dρ and dihemisphere mass (DHM) d 2 σ/(ds 1 ds 2 ) distributions, for s 1 ~ s 2 , in the dijet region. New results include: i) the N 3 LL resummation for HJM of large logarithms ln n (ρ) at small ρ including the exact two-loop non-global hemisphere soft function, the 4-loop cusp anomalous dimension and the 3-loop hard and jet functions, ii) N 3 LL results for DHM with resummation of logarithms ln(s 1,2 /Q 2 ) when there is no large separation between s 1 and s 2 , iii) profile functions for HJM to give results simultaneously valid in the peak and tail regions, iv) a complete two-dimensional basis of non-perturbative functions which can be used for double differential observables, that are needed for both HJM and DHM in the peak region, and v) an implementation of renormalon subtractions for large-angle soft radiation to $\mathcal{O}$ (α$^{3}_{s}$) together with a resummation of the additional large ln(Qρ/Λ QCD ) logarithms. Here Q is the e + e − center-of-mass energy. Our resummation results are combined with known fixed-order $\mathcal{O}$ (α$^{3}_{s}$) results and we discuss the convergence and remaining perturbative uncertainty in the cross section. We also prove that, at order 1/Q, the first moment of the HJM distribution involves an additional non-perturbative parameter compared to the power correction that shifts the tail of the spectrum (where 1 ≫ ρ ≫ Λ QCD /Q). This differs from thrust where a single non-perturbative parameter at order 1/Q describes both the first moment and the tail, and it disfavors models of power corrections employing a single non-perturbative parameter, such as the low-scale effective coupling model. In this paper we focus only on the dijet region, not the far-tail distribution for ρ ≳ 0.2 beyond which the trijet factorization and resummation become important.

Factorization↗