DEKM Overview and Discussion: Advanced Nuclear Measurement Technologies for NNSA Plutonium Operations
• Theory • Modeled Results • Measurement Applications
DEKM↗
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.
Compositional Reasoning for Hierarchical State Machines
Harel statecharts and its derivatives are popular graphical languages for specifying discrete control systems via hierarchical state machines. Separately, there has been a long line of work on specifying concurrent systems with process calculi which come equipped with an algebraic theory, the ability reason compositionally about various temporal properties, and strong type systems. While these two approaches to modeling systems are tantalizingly similar, the integrated reasoning principles that exist for process calculi have not been demonstrated in hierarchical state machines. A key issue is that operational theories for process calculi do not behave like control systems, and thus, there is virtually no tool support for modeling control systems with such languages. For a control system designer, bringing the integrated, more scalable reasoning from the process calculi to state-machine languages would enable the specification of more complex systems and a more modular systems development process. Our insight is that we can recover many important results from the process calculi in hierarchical state machines with local scope. We employ a structural operational semantics, which is ubiquitous in process and 𝜆-calculi but uncommon in hierarchical statemachine formalizations, to enable inductive reasoning about behavior. Taking inspiration from the structure of process calculi metatheories, we define a calculus of refinement and equivalence that we prove sound with respect to local notion of (bi)simulation. Furthermore, we prove that the calculus preserves the behavioral properties of reactivity, observational determinism, traces, and linear temporal properties. Our results are mechanized in the Rocq proof assistant.
97 MATHEMATICS AND COMPUTING↗
Predicting Critical Transitions in Multiscale Data
Predicting the dynamics of complex nonlinear systems remains a challenging problem both in dynamical systems theory as well as real world science and engineering applications. Data-driven methods utilizing the latest advances in machine learning (ML) provide a promising new paradigm for this task. Our work centered on Reservoir Computing (RC), which has shown itself to be capable of skillfully predicting chaotic dynamics in multiscale systems. In the first part of the work, the focus is on how to improve predictions of critical transitions in a class of slow-fast metastable systems in which the equations are known. An additional goal was to determine whether a relationship exists between RC and Koopman operator theory, to improve the efficiency and broaden the applicability of the approach. In the second part of this work, a variation on the RC model known as Reconstructive Reservoir Computing (RRC) is applied to real-world data to identify anomalies.
97 MATHEMATICS AND COMPUTING↗
Absolute magneto-optical measurement of magnetic field on a long pulse high electrical current driven solenoid
We describe a direct absolute magneto-optical approach to measuring the magnetic field driven by long pulse width (>5 ms) and high electrical current (∼kA) in a solenoidal coil. The magnetic field and electrical current are among the most important operating parameters in lightning research and electrical power distribution and are essential to understanding the properties of the radiation output in pulsed energy accelerators as well as other research platforms. However, accurately measuring these magnetic fields and electrical currents using conventional electrical diagnostics is difficult due to the strength of ionizing radiation and electromagnetic interference. Our approach uses a fiber coupled laser beam with a rare earth element material sensing crystal that is highly resistant to electromagnetic interference, allows for absolute measurement, and does not require an external calibration. Here, we focus on device theory, operating parameters, magneto-optical results from an experiment on a high current solenoid, and comparison with a calculation of the magnetic field and reference electrical current flowing downstream of the solenoid.
Owens, Israel [Sandia National Laboratories (SNL-N↗
e + e – → ZH process in the SMEFT beyond leading order
We systematically study potential effects of Beyond the Standard Model physics in the e + e – → ZH process. To this end, we include all relevant dimension-6 Standard Model Effective Field Theory operators and work to next-to-leading order (NLO) accuracy in the electroweak coupling. We consider both polarized and unpolarized electron and positron beams and present results for $\sqrt {s}$ = 240, 365 and 500 GeV, emphasizing contributions where the NLO predictions differ significantly from the leading order results. At NLO, a sensitivity arises to operators that do not contribute at tree level, such as the Higgs tri-linear coupling, CP-violating operators, and dimension-6 operators involving the top quark, among many others. We compare the prospects of future e + e – colliders to explore these new physics effects with existing measurements from the LHC, electron EDMs (for CP violating operators), and Z pole measurements.
72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
Vector boson scattering and anomalous quartic couplings in final states with ℓνqq or ℓℓqq plus jets using proton-proton collisions at $\sqrt{s}=13$ TeV
A measurement is presented of the electroweak vector boson scattering production of ZV (V = W, Z) boson pairs associated with two jets in proton-proton collisions at a center-of-mass energy of 13 TeV. The data, corresponding to an integrated luminosity of 138 fb −1 , were collected at the CERN LHC with the CMS detector during the 2016–2018 data-taking period. The analysis targets final states with a pair of isolated electrons or muons from Z boson decays and three or four jets, depending on the momentum of the vector boson that decays into quarks. Signal strength is measured for events characterized by a large invariant mass of two forward jets with a wide pseudorapidity gap between them. The electroweak production of ZV in association with two jets is measured with an observed (expected) significance of 1.3 (1.8) standard deviations. A combination of the analyses of ZV channel and the previously published WV channel in the lepton plus jets final state places constraints on effective field theory parameters that describe anomalous electroweak production of WW, WZ, and ZZ boson pairs in association with two jets. Several world best limits are set on anomalous quartic gauge couplings in terms of dimension-8 standard model effective field theory operators.
Hadron-Hadron Scattering↗
Measurements of electroweak production of a photon in association with two jets in proton-proton collisions at $\sqrt{s}=13$ TeV
The first observation of electroweak production of a photon in association with two forward jets in proton-proton collisions is presented. The measurement uses data recorded by the CMS experiment at the LHC during 2016–2018 at a center-of-mass energy of 13 TeV, corresponding to an integrated luminosity of 138 fb −1 . The analysis is performed in a region enriched in photon production via vector boson fusion, with a requirement on the transverse momentum of the photon to exceed 200 GeV. The cross section is measured to be ${202}_{-32}^{+36}$ fb, at a significance with respect to the null hypothesis that exceeds five standard deviations. This is in agreement with the standard model prediction of ${177}_{-12}^{+13}$ fb. Differential cross sections are measured as a function of various observables. Limits are set on dimension-6 effective field theory operators that contribute to the WW γ interaction. The observed 95% confidence intervals for the corresponding Warsaw basis Wilson coefficients c W and c HWB are [−0.11, 0.16] and [−1.6, 1.5], respectively.
electroweak interaction↗
Interpretations of the ATLAS measurements of Higgs boson production and decay rates and differential cross-sections in pp collisions at $\sqrt{s}$ = 13 TeV
Measurements of the Higgs boson production times decay rates and differential cross-sections have recently been performed by the ATLAS experiment in several decay channels using up to 139 fb -1 of proton-proton collision data at $\sqrt{s}$ = 13 TeV recorded at the Large Hadron Collider. This paper presents multiple interpretations of these Higgs boson measurements. Measurements of production-mode cross-sections, simplified template cross-sections and fiducial differential cross-sections in different decay channels are reparameterised in terms of the impact of Standard Model effective field theory operators, and constraints are reported on the corresponding Wilson coefficients. Production and decay rate measurements are interpreted in UV-complete extensions of the Standard Model, namely the two-Higgs-doublet model (2HDM) near the alignment limit and the Minimal Supersymmetric Standard Model (MSSM) for various MSSM benchmark scenarios. The constraints on the 2HDM parameters (cos(β - α), tanβ) and the MSSM parameters (m A , tanβ) are complementary to those obtained from direct searches for additional Higgs bosons.
72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
Search for the Z Boson Decay to τ τ μ μ in Proton-Proton Collisions at s = 13 TeV
The first search for the Z boson decay to τ τ μ μ at the CERN LHC is presented, based on data collected by the CMS experiment at the LHC in proton-proton collisions at a center-of-mass energy of 13 TeV and corresponding to an integrated luminosity of 138 fb − 1 . The data are compatible with the predicted background. For the first time, an upper limit at the 95% confidence level of 6.9 times the standard model expectation is placed on the ratio of the Z → τ τ μ μ to Z → 4 μ branching fractions. Limits are also placed on the six flavor-conserving four-lepton effective-field-theory operators involving two muons and two tau leptons, for the first time testing all such operators. © 2024 CERN, for the CMS Collaboration 2024 CERN
72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
Continuous Family of Conformal Field Theories and Exactly Marginal Operators
Does a conformal manifold imply the existence of exactly marginal operators? We answer this question affirmatively under the assumption that there exists a conformal interface with certain properties connecting nearby conformal field theories. We show that the exactly marginal operator that connects the conformal field theories can be reconstructed from the interface displacement operator. Our construction is model independent and based on the general principles of conformal symmetry.
conformal field theory↗
Linear-scaling quadruple excitations in local pair natural orbital coupled-cluster theory
Here, we present a fast, asymptotically linear-scaling implementation of the perturbative quadruples energy correction in coupled-cluster theory using local natural orbitals. Our work follows the domain-based local pair natural orbital (DLPNO) approach previously applied to lower levels of excitations in coupled-cluster theory. Our DLPNO-CCSDT(Q) algorithm uses converged doubles and triples amplitudes from a preceding DLPNO-CCSDT computation to compute the quadruples amplitude and energy in the quadruples natural orbital (QNO) basis. We demonstrate the compactness of the QNO space, showing that more than 95% of the (Q) correction can be recovered using relatively loose natural orbital cutoffs, compared to the tighter cutoffs used in pair and triples natural orbitals at lower levels of coupled-cluster theory. We also highlight the accuracy of our algorithm in the computation of relative energies, which yields deviations of sub-kJ mol −1 in relative energy compared to the canonical CCSDT(Q). Timings are conducted on a series of growing linear alkanes (up to 10 carbons and 608 basis functions) and water clusters (up to 49 water molecules and 2842 basis functions) to establish the asymptotic linear-scaling of our DLPNO-(Q) algorithm.
Auxiliary functions↗
Koopman and Transfer Operator Techniques from the Perspective of Quantum Theory
Review article on connections between Koopman/transfer operator methods and quantum theory
71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
Capacitated p -hub approach for park-and-ride facility location problem under nested logit demand function: polyhedral approaches
By generalizing the unconstrained p-hub approach for the park-and-ride (P&R) facility location problem under the multinomial logit demand function, the capacitated p-hub approach for the problem under the nested logit demand function captures a broader range of real-world cases. To solve this problem optimally, we introduce a mixed-integer linear program and accelerate its solution by enhancing the branch-and-cut procedure. To address the problem at a large scale, we introduce two other polyhedral approaches: variable neighborhood search (VNS) and adaptive randomized rounding (ARR). Downtown areas in Seoul have a high modal share of public transportation and congested road traffic, yet P&R has not been widely implemented. Therefore, we apply the ARR procedure to solve a real-world problem using traffic and geographic data from the Seoul metropolitan area. ARR performs better than VNS and addresses real-world cases. The solutions obtained by ARR present a phased expansion plan that encourages policymakers to start installing a small number of P&Rs immediately.
Capacitated p-hub approach↗
Semicoherent symmetric quantum processes: Theory and applications
Discovering pragmatic and efficient approaches to construct ε-approximations of quantum operators such as real (imaginary) time-evolution propagators in terms of the basic quantum operations (gates) is challenging. Prior ε-approximations are invaluable, in that they enable the compilation of classical and quantum algorithm modeling of, e.g., dynamical and thermodynamic quantum properties. In parallel, symmetries are powerful tools concisely describing the fundamental laws of nature; the symmetric underpinnings of physical laws have consistently provided profound insights and substantially increased predictive power. In this work, we consider the interplay between the ε-approximate processes and the exact symmetries in a semicoherent context—where measurements occur at each logical clock cycle. Here we draw inspiration from Pascual Jordan's groundbreaking formulation of nonassociative, but commutative, symmetric algebraic form. Our symmetrized formalism is then applied in various domains such as quantum random walks, real-time evolutions, variational algorithm ansatzes, and efficient entanglement verification. Our work paves the way for a deeper understanding and greater appreciation of how symmetries can be used to control quantum dynamics in settings where coherence is a limited resource.
71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
Probing the flavour structure of dimension-6 EFT operators in multilepton final states in proton-proton collisions at $\sqrt{s}=13$ TeV
An analysis of the flavour structure of dimension-6 effective field theory (EFT) operators in multilepton final states is presented, focusing on the interactions of quarks with Z bosons. For the first time, the flavour structure of these operators is disentangled by simultaneously probing the interactions with different quark generations. The analysis targets the associated production of a top quark pair and a Z boson, as well as diboson processes in final states with at least three leptons, which can be electrons or muons. The data were recorded by the CMS experiment in the years 2016–2018 in proton-proton collisions at a centre-of-mass energy of 13 TeV and correspond to an integrated luminosity of 138 fb −1 . Consistency with the standard model of particle physics is observed and limits are set on the selected Wilson coefficients, split into couplings to light- and heavy-quark generations.
Flavour Physics↗
Lepton flavor violation by three units
The conservation of lepton flavor is a prediction of the Standard Model and is still an excellent approximate symmetry despite our observation of neutrino oscillations. Lepton flavor violation by one or two units has been discussed for decades, with several dedicated experiments exploring the vast model landscape but no discoveries so far. Here, we explore operators and processes that violate at least one lepton flavor by three units and identify testable signatures. In the Standard Model effective field theory, such operators already arise at mass dimension 7 and can be tested through their contributions to Michel parameters in leptonic decays. True neutrinoless charged-lepton flavor violation arises at mass dimension 10 and can realistically only be seen in the tau decay channels 𝜏 → $𝑒𝑒𝑒\bar{𝜇}\bar{𝜇}$ or 𝜏 → $𝜇𝜇𝜇\bar{𝑒}\bar{𝑒}$, for example in Belle II. Testable rates for these tau decays require light new particles and subsequently predict an avalanche of remarkably clean but so-far unconstrained collider signatures.
Feynman diagrams↗
MARIE: Software Methods & Documentation
This document describes the theory and function of the Model for the Assessment of Reprocessing and Recycle with Innovative Execution (MARIE) software developed by Oak Ridge National Laboratory (ORNL). Specifically presented are the supported unit operations, underlying theory for processes such as dissolution and generic solvent extraction, execution, and supported output capabilities
11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗
ARM Lead Mentor Selection Process
The Atmospheric Radiation Measurement (ARM) Program was created in 1989 with funding from the U.S. Department of Energy (DOE) to develop several highly instrumented ground stations to study cloud-formation processes and their influence on radiative transfer. This scientific infrastructure provides for fixed sites, mobile facilities, an aerial facility, and a data archive available for use by scientists worldwide through the ARM Climate Research Facility—a scientific user facility. The ARM Climate Research Facility currently operates more than 300 instrument systems that provide ground-based observations of the atmospheric column. To keep ARM at the forefront of climate observations, the ARM infrastructure depends heavily on instrument scientists and engineers, known as Mentors. Mentors must have an excellent understanding of instrumentation theory and operation for their instrument areas and have comprehensive knowledge of critical scale-dependent atmospheric processes. They must also possess the technical and analytical skills to develop new data retrievals that provide innovative approaches for creating research-quality data sets. The ARM Facility seeks the best overall qualified candidate, or team when appropriate, that can fulfill Mentor requirements in a timely manner. The roles and responsibilities of the ARM Instrument Operations Manager are provided in Appendix A. The key role and responsibilities and detailed responsibilities of ARM Lead Mentors are provided in Appendix B and Appendix C, respectively.
47 OTHER INSTRUMENTATION↗