Search NASA⌕ Search

SEARCH · Search NASA

Results for “Operator theory”

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 199 records · Page 11

Application of machine learning interatomic potentials in heterogeneous catalysis

Heterogeneous catalysts are crucial in modern societies as they promote sustainability by enabling lower-energy pathways for various chemical reactions. While Density Functional Theory (DFT) computations can provide critical insights into how heterogeneous catalysts operate at the atomic level, they are limited by computational costs and unfavorable scaling with system size. Recently, machine learning interatomic potentials (MLIPs) have emerged as a promising alternative to DFT, offering near-DFT accuracy at significantly reduced cost. Here, in this perspective, we discuss the application of MLIPs in heterogeneous catalyst modeling as a surrogate for DFT. We detail how MLIPs have been applied in thermal catalysis to probe active sites, enable studying complex metallic and nanoporous catalysts, and investigate the reconstruction of catalytic surfaces. We review the use of MLIPs in electrocatalysis and photocatalysis, emphasizing their capabilities in studying transition metal oxide surfaces and solid–liquid interfaces. We also discuss the current limitations of MLIPs, particularly their challenges with transferability and description of non-local interactions. Finally, we conclude by identifying promising and underexplored domains in which MLIPs can further advance our understanding of heterogeneous catalysts.

Catalytic surfaces↗

Observation of VVZ production at $\sqrt{s}$ = 13 TeV with the ATLAS detector

A search for the production of three massive vector bosons, VVZ(V = W, Z) , in proton-proton collisions at $\sqrt{s}$ = 13 TeV is performed using data with an integrated luminosity of 140 fb -1 recorded by the ATLAS detector at the Large Hadron Collider. Events produced in the leptonic final states WWZ → ℓvℓvℓℓ (ℓ = e,μ), WZZ → ℓvℓℓℓℓ, ZZZ → ℓℓℓℓℓ, and the semileptonic final states WWZ → qq ℓvℓℓ and WZZ → ℓv qq ℓℓ, are analysed. The measured cross section for the pp → VVZ process is 660$^{+93}_{-90}$(stat.)$^{+80}_{-81}$(syst.) fb, and the observed (expected) significance is 6.4 (4.7) standard deviations, representing the observation of VVZ production. In addition, the measured cross section for the pp → WWZ process is 442 ± 94(stat.)$^{+60}_{-52}$(syst.) fb, and the observed (expected) significance is 4.4 (3.6) standard deviations, representing evidence of WWZ production. The measured cross sections are consistent with the Standard Model predictions. Constraints on physics beyond the Standard Model are also derived in the effective field theory framework by setting limits on Wilson coefficients for dimension-8 operators describing anomalous quartic gauge boson couplings.

Aad, G. (ORCID:0000000266654934)↗

Revisiting the connection of baryon number, lepton number, and operator dimension

The effects of heavy new particles beyond the Standard Model can be conveniently captured through higher-dimensional effective operators. As noted long ago by Weinberg, the amount of baryon and lepton number an operator can carry is intricately connected to its mass dimension. We derive an improved inequality for this connection and compare it to explicit operator constructions up to mass dimension 25. For the effective field theory of Standard Model plus right-handed neutrinos, our relationship is even an equality up to high mass dimension.

Baryon number violation↗

A percolating path to green iron

About 1.9 gigatons of steel is produced every year, emitting 8% (3.6 gigatons) of global CO 2 in the process. More than 50% of the CO 2 emissions come from a single step of steel production, known as ironmaking. Hydrogen- based direct reduction (HyDR) of iron oxide to iron has emerged as an emission-free ironmaking alternative. However, multiple physical and chemical phenomena ranging from nanometers to meters inside HyDR reactors alter the microstructure and pore networks in iron oxide pellets, in ways that resist gaseous transport of H 2 /H 2 O, slow reaction rates, and disrupt continuous reactor operation. Using synchrotron nano X-ray computed tomography and percolation theory, we quantify the evolution of pores in iron oxide pellets and demonstrate how nanoscale pore connectivity influences micro- and macroscale flow properties such as permeability, diffusivity, and tortuosity. Our modeling framework connects disparate scales and offers opportunities to accelerate HyDR.

hydrogen↗

Efficient Hybrid Attack Graph Generation for Cyber-Physical System Resilience Experimentation (Final Project Report)

HAGEN project has developed theory, algorithms, and capabilities to assist cyber physical system modelers and operators to perform system and device-level vulnerability assessment, risk assessment, impact assessment, and mitigation planning. The project generates hybrid attack graphs for Cyber-Physical System (CPS) resilience experimentation at desired scale and speed. The project will produce composite attack datasets, algorithms, and demonstrable prototypical tools, and a library of high-impact attack sequences for a given CPS of interest. This report provided overall summary of research and development performed between FY22-24.

45 MILITARY TECHNOLOGY, WEAPONRY, AND NATIONAL DEF↗

What is the geometry of effective field theories?

We elaborate on a recently proposed geometric framework for scalar effective field theories. Starting from the action, a metric can be identified that enables the construction of geometric quantities on the associated functional manifold. These objects transform covariantly under general field redefinitions that relate different operator bases, including those involving derivatives. We present a novel geometric formula for the amplitudes of the theory, where the vertices in Feynman diagrams are replaced by their geometrized counterparts. This makes the on-shell covariance of amplitudes manifest, providing the link between functional geometry and effective field theories.

effective field theory↗

First constraints on WIMP-nucleon effective field theory couplings in an extended energy region from LUX-ZEPLIN

Following the first science results of the LUX-ZEPLIN (LZ) experiment, a dual-phase xenon time projection chamber operating from the Sanford Underground Research Facility in Lead, South Dakota, USA, we report the initial limits on a model-independent nonrelativistic effective field theory describing the complete set of possible interactions of a weakly interacting massive particle (WIMP) with a nucleon. These results utilize the same 5.5 t fiducial mass and 60 live days of exposure collected for the LZ spin-independent and spin-dependent analyses while extending the upper limit of the energy region of interest by a factor of 7.5 to 270 keV. No significant excess in this high energy region is observed. Using a profile-likelihood ratio analysis, we report 90% confidence level exclusion limits on the coupling of each individual nonrelativistic WIMP-nucleon operator for both elastic and inelastic interactions in the isoscalar and isovector bases. Published by the American Physical Society 2024

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Delay-resolved spectroscopy in terahertz photonic circuits

Photonic integrated circuits incorporating intersubband transitions are ideal for mid-infrared and terahertz nanophotonics. However, the design of epitaxies has long been inhibited by two factors: the modest predictivity of ab initio theory and the absence of absolute intersubband gain and loss measurements under operating conditions. Existing measurements either yield inaccurate gain profiles or do not accurately assess dependence on frequency, bias, and temperature. Here, we present a delay-resolved absolute-referencing method for accurate gain evaluation without these limitations, addressing a long-standing challenge. By creating a photonic circuit that allows broadband pulses to traverse different lengths of a gain medium, we measure the absolute transmission of intersubband structures. Gain profiles match theoretical predictions at lower temperatures, with gain and dispersion clamping after lasing, and faster-than-expected degradation occurs at higher temperatures. Our approach provides a precise experimental evaluation of temperature-dependent gain performance and gives insight into optimizing temperature performance and frequency comb designs.

Optical spectroscopy↗

Exponential Improvements in the Simulation of Lattice Gauge Theories Using Near-Optimal Techniques

We report a first-of-its-kind analysis on post-Trotter simulation of U(1), SU(2), and SU(3) lattice gauge theories including fermions in arbitrary spatial dimension. We provide explicit circuit constructions as well as T-gate counts and logical qubit counts for Hamiltonian simulation. We find a reduction of up to 25 orders of magnitude in space-time volume over Trotter methods for simulations of non-Abelian lattice gauge theories relevant to the standard model. This improvement results from our algorithm having polynomial scaling with the number of colors in the gauge theory, achieved by utilizing oracle constructions relying on the sparsity of physical operators, in contrast to the exponential scaling seen in state-of-the-art Trotter methods, which employ explicit mappings onto Pauli operators. Our work demonstrates that the use of advanced algorithmic techniques leads to dramatic reductions in the cost of simulating fundamental interactions, bringing it in step with resources required for first-principles quantum simulation of chemistry.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Neural Scaling Laws of Deep ReLU and Deep Operator Network: A Theoretical Study

Neural scaling laws play a pivotal role in the performance of deep neural networks and have been observed in a wide range of tasks. However, a complete theoretical framework for understanding these scaling laws remains underdeveloped. In this paper, we explore the neural scaling laws for deep operator networks, which involve learning mappings between function spaces, with a focus on the Chen and Chen style architecture. These approaches, which include the popular Deep Operator Network (DeepONet), approximate the output functions using a linear combination of learnable basis functions and coefficients that depend on the input functions. We establish a theoretical framework to quantify the neural scaling laws by analyzing its approximation and generalization errors. We articulate the relationship between the approximation and generalization errors of deep operator networks and key factors such as network model size and training data size. Moreover, we address cases where input functions exhibit low-dimensional structures, allowing us to derive tighter error bounds. These results also hold for deep ReLU networks and other similar structures. Our results offer a partial explanation of the neural scaling laws in operator learning and provide a theoretical foundation for their applications.

97 MATHEMATICS AND COMPUTING↗

A Solution to the Hierarchy Problem with Non-Linear Quantum Mechanics

We argue that the hierarchy problem of the standard model of particle physics can be solved by adding a state-dependent term to the Higgs sector. We present an example of a scalar field with a Higgs-like potential with an additional term proportional to the expectation value of the squared Higgs field operator. We show that the mass can be parametrically lighter than the theory's energy-momentum cutoff without fine tuning. We find the Higgs mass can be technically natural, even with a Planck-scale cutoff. The simplest version of the theory may not be distinguishable from the standard model at colliders, but other versions might. In addition, some aspects of cosmological evolution can be different in this model, in some cases radically.

Kaplan, David E. [Johns Hopkins U.; Tokyo U., IPMU↗

Conservative scattering of Reissner-Nordström black holes at third post-Minkowskian order

Using a recently developed effective field theory formalism for extreme mass ratios arXiv:2308.14832, we present a calculation of charged black hole scattering at third post-Minkowskian order. The charges and masses are kept arbitrary, and the result interpolates from the scattering of Schwarzschild to extremal charged black holes, and beyond to charged particles in electrodynamics — agreeing with previously reported results in all such limits. The computation of the radial action is neatly organized in powers of the mass ratio. The probe (0SF) contributions are readily computed by direct integration of the radial momentum, and we use the effective field theory to compute the subleading (1SF) contributions via background-field Feynman rules supplemented by an operator encoding recoil of the background. Together these contributions completely determine the conservative physics at order O (G 3 ). .

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

MFANS 2024 - Formally Proving Characteristics of Cyber-Physical Systems

Cyber-physical systems (CPS) are engineered systems that rely on the smooth integration of computational algorithms and physical elements. This integration presents new challenges for verifying that systems will behave as expected. The goal of this presentation is to present current challenges and potential solutions for the formal verification of cyber-physical systems. For cyber systems, formal methods refer to systematically rigorous mathematical techniques employed in the specification, development, analysis, and verification of both software and hardware systems. Recent advancements in computer science have yielded sophisticated tools specifically designed to address challenges associated with formal methods in complex systems. These tools leverage various foundational concepts such as logic, formal languages, program semantics, type systems, type theory, and automata theory. A notable achievement in the application of formal methods is the seL4 microkernel, claimed to be the first general-purpose operating-system kernel to be verified. Its proof implies the absence of bugs and guarantees that the kernel meets specifications. For physical systems, dynamic and control theory has a history of using rigorous analytic techniques to prove functional correctness. Lyapunov, optimal, classical, modern, and robust control theories all provide rigorous mathematical methods both to analyze system performance and to design controller that can be guaranteed to meet certain objectives. Recent computational techniques like level set theory and reachability analysis provide assertions that a system's state will avoid unsafe regions. Even though success has been independently achieved for cyber systems and physical systems, the integration of such systems creates new challenges. In particular, there is an obvious discrepancy between finite-state machines and infinite-state systems, resulting in different approaches for modeling and analyzing these system. While it is possible to simulate hybrid systems, this provides only a demonstration of a performance and not proof. For hybrid systems, current formal methods and system analysis approaches typically require a workarounds to work on hybrid systems like CPS. This paper will outline the state of the art and limits of current practice for formally verifying CPS and will identify possible research directions that require attention.

97 MATHEMATICS AND COMPUTING↗

Transverse emittance growth due to rf noise in crab cavities: Theory, measurements, cure, and high luminosity LHC estimates

The High-Luminosity LHC (HL-LHC) upgrade with planned operation from 2029 onward has a goal of achieving a tenfold increase in the integrated number of recorded collisions thanks to a doubling of the intensity per bunch ( 2.2 × 10 11 protons) and a reduction of β * (the β value in the two high luminosity detectors, namely ATLAS and CMS) to 15 cm. Such an increase in recorded collisions would significantly expedite new discoveries and exploration. Crab cavities are an important component of the HL-LHC upgrade and will contribute strongly to achieving an increase in the number of recorded collisions. However, noise injected through the crab cavity radio frequency (rf) system could cause significant transverse emittance growth and limit luminosity lifetime. We presented a theoretical formalism relating transverse emittance growth to rf noise in an earlier work. In this follow-up paper, we summarize measurements in the super-proton synchrotron (SPS) at CERN that validate the theory, we present estimates of the emittance growth rates using state-of-the-art rf and low-level rf (LLRF) technologies, and we set the rf noise specifications to achieve acceptable performance. A novel dedicated feedback system acting through the crab cavities to mitigate emittance growth will be required. In this work, we develop a theoretical formalism to evaluate the performance of such a feedback system in any collider, identify limiting components, present simulation results to validate these studies, and derive key design parameters for an HL-LHC implementation of such a feedback system. Published by the American Physical Society 2024

43 PARTICLE ACCELERATORS↗

Renormalizing two-fermion operators in the SMEFT via supergeometry

We extend the geometric framework of field-space covariance for loop computations, thereby unifying the treatment of scalars, fermions, and gauge bosons in effective field theories. This allows us to derive a manifestly covariant formula for one-loop UV divergences that includes contributions from mixed boson-fermion graphs. The result is expressed in terms of geometric invariants of the field-space supermanifold. As a demonstration of this formula, we compute the renormalization group equations for two-fermion operators at the dimension-eight level in the Standard Model Effective Field Theory.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Modular flow in JT gravity and entanglement wedge reconstruction

It has been shown in recent works that JT gravity with matter with two boundaries has a type II ∞ algebra on each side. As the bulk spacetime between the two boundaries fluctuates in quantum nature, we can only define the entanglement wedge for each side in a pure algebraic sense. As we take the semiclassical limit, we will have a fixed long wormhole spacetime for a generic partially entangled thermal state (PETS), which is prepared by inserting heavy operators on the Euclidean path integral. Under this limit, with appropriate assumptions of the matter theory, geometric notions of the causal wedge and entanglement wedge emerge in this background. In particular, the causal wedge is manifestly nested in the entanglement wedge. Different PETS are orthogonal to each other, and thus the Hilbert space has a direct sum structure over sub-Hilbert spaces labeled by different Euclidean geometries. The full algebra for both sides is decomposed accordingly. From the algebra viewpoint, the causal wedge is dual to an emergent type III 1 subalgebra, which is generated by boundary light operators. To reconstruct the entanglement wedge, we consider the modular flow in a generic PETS for each boundary. We show that the modular flow acts locally and is the boost transformation around the global RT surface in the semiclassical limit. It follows that we can extend the causal wedge algebra to a larger type III 1 algebra corresponding to the entanglement wedge. Within each sub-Hilbert space, the original type II ∞ reduces to type III 1 .

2D Gravity↗

High-quality composite Pati-Salam axion

We present a composite QCD axion model where the Peccei-Quinn symmetry emerges as a high-quality, accidental symmetry. The axion potential is only modified by eight-fermion, dimension-12 operators, which if present at the Planck scale, allow for axion dark matter from misalignment while solving the strong 𝐶⁢𝑃 problem. The model is an SU⁡(𝑁 𝑐 ) gauge theory with ten flavors where the Pati-Salam unified subgroup SO⁡(6) × SO⁡(4) ⊂ SU⁢(10)𝐿 and Sp⁡(10) ⊂ SU⁢(10) 𝑅 are weakly gauged. The dynamics breaks SU⁢(10) 𝐿 × SU⁢(10) 𝑅 → SU⁢(10) 𝑉 and the weakly gauged groups to U⁡(3) × U⁡(2) ⊃ SU⁢(3) 𝑐 × SU⁢(2) 𝐿 × U⁡(1) 𝑌 , with the QCD axion identified as one of the Nambu-Goldstone bosons. This axion has a relatively large coupling to photons while a residual $\bar{𝜃}$ eff may be just below the current limit on the neutron electric dipole moment. If the dimension-12 operators are present near the grand unified theory scale, they can cause domain wall networks to decay, allowing for axion dark matter even for the postinflationary scenario.

Gherghetta, Tony [University of Minnesota, Minneap↗

Exact evaluation of large-charge correlation functions in nonrelativistic conformal field theory

The large-charge master field which generates all n -point correlation functions with an insertion of large charge Q in nonrelativistic conformal field theory is obtained. This field is used to compute Schrödinger-invariant n -point correlation functions of large-charge operators via a direct evaluation of the path integral. Conformal dimensions are found to agree with calculations based on the state-operator correspondence. The master field solution exhibits an emergent harmonic trap whose frequency is a function of the Euclidean time. The large-charge effective action with operator insertions describes a droplet of superfluid matter whose spatial size scales with the time separation of sources. The solution is used to compute Schrödinger symmetry breaking corrections in the large-charge effective field theory (EFT) due to a finite scattering length in the fundamental theory of fermions near unitarity. The scaling of these effects in the large-charge power counting scheme is established, and the size of the effects is quantified using input from quantum Monte Carlo simulations of the near-unitary gas, as well as from the large- N expansion at large charge. Published by the American Physical Society 2024

Astronomy & Astrophysics↗