Engineering Papers⌕ Search

SEARCH · Engineering Papers

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 1,711 records · Page 95

STICAP: A linear circuit analysis program with stiff systems capability. Volume 1: Theory manual

STICAP (Stiff Circuit Analysis Program) is a FORTRAN 4 computer program written for the CDC-6400-6600 computer series and SCOPE 3.0 operating system. It provides the circuit analyst a tool for automatically computing the transient responses and frequency responses of large linear time invariant networks, both stiff and nonstiff (algorithms and numerical integration techniques are described). The circuit description and user's program input language is engineer-oriented, making simple the task of using the program. Engineering theories underlying STICAP are examined. A user's manual is included which explains user interaction with the program and gives results of typical circuit design applications. Also, the program structure from a systems programmer's viewpoint is depicted and flow charts and other software documentation are given.

Cooke, C. H.↗

BRST quantization of cosmological perturbations

BRST quantization is an elegant and powerful method to quantize theories with local symmetries. In this article we study the Hamiltonian BRST quantization of cosmological perturbations in a universe dominated by a scalar field, along with the closely related quantization method of Dirac. We describe how both formalisms apply to perturbations in a time-dependent background, and how expectation values of gauge-invariant operators can be calculated in the in-in formalism. Our analysis focuses mostly on the free theory. By appropriate canonical transformations we simplify and diagonalize the free Hamiltonian. BRST quantization in derivative gauges allows us to dramatically simplify the structure of the propagators, whereas Dirac quantization, which amounts to quantization in synchronous gauge, dispenses with the need to introduce ghosts and preserves the locality of the gauge-fixed action.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Demonstration of Quantum Energy Teleportation on Superconducting Quantum Hardware

Teleporting physical quantities to remote locations remains a key challenge for quantum information science and technology. Quantum teleportation has enabled the transfer of quantum information, but teleportation of quantum physical quantities has not yet been realized. Here we report the realization and observation of quantum energy teleportation on real superconducting quantum hardware. We achieve this by using several IBM superconducting quantum computers. The results are consistent with the exact solution of the theory and are improved by the mitigation of measurement error. Quantum energy teleportation requires only local operations and classical communication. Furthermore, our results provide a realistic benchmark that is fully achievable with current quantum computing and communication technologies.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

AMR-Wind: A Performance-Portable, High-Fidelity Flow Solver for Wind Farm Simulations

We present AMR-Wind, a verified and validated high-fidelity computational-fluid-dynamics code for wind farm flows. AMR-Wind is a block-structured, adaptive-mesh, incompressible-flow solver that enables predictive simulations of the atmospheric boundary layer and wind plants. It is a highly scalable code designed for parallel high-performance computing with a specific focus on performance portability for current and future computing architectures, including graphical processing units (GPUs). In this paper, we detail the governing equations, the numerical methods, and the turbine models. Establishing a foundation for the correctness of the code, we present the results of formal verification and validation. The verification studies, which include a novel actuator line test case, indicate that AMR-Wind is spatially and temporally second-order accurate. The validation studies demonstrate that the key physics capabilities implemented in the code, including actuator disk models, actuator line models, turbulence models, and large eddy simulation (LES) models for atmospheric boundary layers, perform well in comparison to reference data from established computational tools and theory. We conclude with a demonstration simulation of a 12-turbine wind farm operating in a turbulent atmospheric boundary layer, detailing computational performance and realistic wake interactions.

17 WIND ENERGY↗

Evolution of parton distribution functions in the short-distance factorization scheme

Lattice QCD offers the possibility of computing parton distributions from first principles, although not in the usual $\overline{MS}$ factorization scheme. Calculations are therefore matched to $\overline{MS}$ using a perturbative procedure which is the source of significant uncertainty within the currently accessible kinematics. We present the possibility of computing the z 2 evolution of non-singlet pseudo-parton distribution functions within the short factorization scheme in a numerically improvable way. The goal is to have tools to evolve a calculation to a scale where perturbative uncertainties are less pronounced. We compare a numerical extraction of the evolution operator from lattice data to the computation of z 2 dependence in perturbation theory. Finally, we discuss how this numerical work may be extended to address the two-scale problem that arises when the Ioffe time range must be made large to extend the reach of the calculation of the pseudo-PDF to smaller values of the momentum fraction.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Inclusive and differential cross-section measurements of $ t\overline{t}Z$ production in pp collisions at $\sqrt{s}$ = 13 TeV with the ATLAS detector, including EFT and spin-correlation interpretations

Measurements of both the inclusive and differential production cross sections of a top-quark-top-antiquark pair in association with a Z boson ($t\overline{t}Z$) are presented. Final states with two, three or four isolated leptons (electrons or muons) are targeted. The measurements use the data recorded by the ATLAS detector in pp collisions at $\sqrt{s}$ = 13 TeV at the Large Hadron Collider during the years 2015–2018, corresponding to an integrated luminosity of 140 fb -1 . The inclusive cross section is measured to be ${\sigma}_{t\overline{t}Z}$ = 0.86 ± 0.04 (stat.) ± 0.04 (syst.) pb and found to be in agreement with the most advanced Standard Model predictions. The differential measurements are presented as a function of a number of observables that probe the kinematics of the $t\overline{t}Z$ system. Both the absolute and normalised differential cross-section measurements are performed at particle level and parton level for specific fiducial volumes, and are compared with NLO+NNLL theoretical predictions. The results are interpreted in the framework of Standard Model effective field theory and used to set limits on a large number of dimension-6 operators involving the top quark. The first measurement of spin correlations in $t\overline{t}Z$ events is presented: the results are in agreement with the Standard Model expectations, and the null hypothesis of no spin correlations is disfavoured with a significance of 1.8 standard deviations.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Twisted Supergravity and Koszul Duality: A Case Study in AdS 3

In this note, we study a simplified variant of the familiar holographic duality between supergravity on AdS 3 × S 3 × T 4 and the SCFT (on the moduli space of) the symmetric orbifold theory Sym N (T 4 ) as N → ∞. This variant arises conjecturally from a twist proposed by the first author and Si Li. We recover a number of results concerning protected subsectors of the original duality working directly in the twisted bulk theory. Moreover, we identify the symmetry algebra arising in the N → ∞ limit of the twisted gravitational theory. Further, we emphasize the role of Koszul duality—a ubiquitous mathematical notion to which we provide a friendly introduction—in field theory and string theory. After illustrating the appearance of Koszul duality in the “toy” example of holomorphic Chern-Simons theory, we describe how (a deformation of) Koszul duality relates bulk and boundary operators in our twisted setup, and explain how one can compute algebra OPEs diagrammatically using this notion. Further details, results, and computations will appear in a companion paper.

97 MATHEMATICS AND COMPUTING↗

Relativistic spin precession in homogeneous background fields

The Bargmann-Michel-Telegdi equation, which describes the precession of the spin of a charged Dirac particle moving in a homogeneous electromagnetic field, is generalized to include also other homogeneous background fields. The treatment incorporates observable coefficients that govern operators of mass dimensions three through six in the underlying Dirac effective field theory. A relativistic formulation valid in arbitrary inertial frames is obtained. The results are applicable to searches for new physics beyond the Standard Model, including searches for Lorentz and CPT violation.

Ding, Yunhua [Ohio Wesleyan Univ., Delaware, OH (U↗

Reduction of plasma density in the Helicity Injected Torus with Steady Inductance experiment by using a helicon pre-ionization source

A helicon based pre-ionization source has been developed and installed on the Helicity Injected Torus with Steady Inductance (HIT-SI) spheromak. The source initiates plasma breakdown by injecting impurity-free, unmagnetized plasma into the HIT-SI confinement volume. Typical helium spheromaks have electron density reduced from (2–3) × 10{sup 19} m{sup −3} to 1 × 10{sup 19} m{sup −3}. Deuterium spheromak formation is possible with density as low as 2 × 10{sup 18} m{sup −3}. The source also enables HIT-SI to be operated with only one helicity injector at injector frequencies above 14.5 kHz. A theory explaining the physical mechanism driving the reduction of breakdown density is presented.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗

Functional differentiability in time-dependent quantum mechanics

In this work, we investigate the functional differentiability of the time-dependent many-body wave function and of derived quantities with respect to time-dependent potentials. For properly chosen Banach spaces of potentials and wave functions, Fréchet differentiability is proven. From this follows an estimate for the difference of two solutions to the time-dependent Schrödinger equation that evolve under the influence of different potentials. Such results can be applied directly to the one-particle density and to bounded operators, and present a rigorous formulation of non-equilibrium linear-response theory where the usual Lehmann representation of the linear-response kernel is not valid. Further, the Fréchet differentiability of the wave function provides a new route towards proving basic properties of time-dependent density-functional theory.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

On D-brane -anti D-brane effective actions and their all order bulk singularity structures

All four point functions of brane anti brane system including their correct all order α{sup ′} corrections have been addressed. All five point functions of one closed string Ramond-Ramond (RR), two real tachyons and either one gauge field or the scalar field in both symmetric and asymmetric pictures have also been explored. The entire analysis of is carried out. Not only does it fix the vertex operator of RR in asymmetric picture and in higher point functions of string theory amplitudes but also it confirms the fact that there is no issue of picture dependence of the mixed closed RR, gauge fields, tachyons and fermion fields in all symmetric or anti symmetric ones. We compute S-matrix in the presence of a transverse scalar field, two real tachyons and that reveals two different kinds of bulk singularity structures, involving an infinite number of u-channel gauge field and (u+s{sup ′}+t{sup ′})-channel scalar bulk poles. In order to produce all those bulk singularity structures, we define various couplings at the level of the effective field theory that involve the mixing term of Chern-Simons coupling (with C-potential field) and a covariant derivative of the scalar field that comes from the pull-back of brane. Eventually we explore their all order α{sup ′} corrections in the presence of brane anti brane system where various remarks will be also pointed out.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Nearly Quantum-Limited Josephson-Junction Frequency-Comb Synthesizer

While coherently driven Kerr microcavities have rapidly matured as a platform for frequency-comb formation, such microresonators generally possess weak Kerr coefficients; consequently, triggering comb generation requires millions of photons to be circulating inside the cavity. This suppresses the role of quantum fluctuations in the dynamics of the comb. In this paper, we realize a minimal version of coherently driven Kerr-mediated microwave-frequency combs in the circuit quantum electrodynamics (cQED) architecture, where the fluctuations of the quantum vacuum are the primary limitation on comb coherence. We achieve a comb phase coherence of up to 35 μs, approaching the theoretical device quantum limit of 55 μs and vastly longer than the inherent lifetimes of the modes, of 13 ns. The ability within cQED to engineer stronger nonlinearities than optical microresonators, together with operation at cryogenic temperatures, and the excellent agreement of comb dynamics with quantum theory indicates a promising platform for the study of complex dynamics of quantum nonlinear systems.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Baryon-Number Violation by Two Units and the Deuteron Lifetime

We calculate the lifetime of the deuteron with dimension-nine quark operators that violate baryon number by two units. We construct an effective field theory for |ΔB| = 2 interactions that give rise to neutron-antineutron (n– n¯) oscillations and dinucleon decay within a consistent power counting. We calculate the ratio of the deuteron lifetime to the square of the n– n¯ oscillation time up to next-to-leading order. Our result, which is analytical and has a quantified uncertainty, is smaller by a factor ≃2.5 than earlier estimates based on nuclear models, which impacts the indirect bound on the n– n¯ oscillation time and future experiments. We discuss how combined measurements of n– n¯ oscillations and deuteron decay can help to identify the sources of baryon-number violation.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗

Stochastic Strategic Participation of Active Distribution Networks With High-Penetration DERs in Wholesale Electricity Markets

With the increasing penetration of distributed energy resources (DERs), traditional distribution networks as load-serving entities in wholesale electricity markets, now evolve towards active distribution networks (ADNs) which can proactively participate in wholesale markets by optimally controlling the DERs in their networks. A stochastic bilevel optimization model is proposed in this paper for the strategic participation of ADNs and DERs to provide energy and grid services in wholesale electricity markets. The bilevel optimization model can capture the interactions between the ADN and the wholesale energy and ancillary service markets, considering the uncertainties of DERs in the ADN. In the upper-level model, the ADN makes optimal decisions on energy and reserve bidding considering the availability, uncertainties, and flexibility of DERs. The joint energy and reserve market-clearing of the independent system operator (ISO) is modeled as the lower-level problem. Using strong duality theory and Karush-Kuhn Tucker (KKT) conditions, the proposed bilevel optimization problem is reformulated as mathematical programming with equilibrium constraints (MPEC) problem and further converted into a computationally-solvable mixed-integer second-order-cone programming (MISOCP) model. The simulation results demonstrate the effectiveness of the model and the interactions between an ADN and wholesale electricity markets.

active distribution network↗

Stability and boundedness in AdS/CFT with double trace deformations

Scalar fields on the bulk side of AdS/CFT correspondence can be assigned unconventional boundary conditions related to the conventional one by Legendre transform. One can further perform double trace deformations which relate the two boundary conditions via renormalization group flow. Thinking of these operators as S and T transformations, respectively, we explore the SL(2, R) family of models which naively emerges from repeatedly applying these operations. Depending on the parameters, the effective masses vary and can render the theory unstable. However, unlike in the SL(2, Z) structure previously seen in the context of vector fields in AdS 4 , some of the features arising from this exercise, such as the vacuum susceptibility, turns out to be scheme dependent. We explain how scheme independent physical content can be extracted in spite of some degree of scheme dependence in certain quantities.

Astronomy & Astrophysics↗

An investigation into the potential for wind turbines to cause barotrauma in bats

The high rates of bat mortality caused by operating wind turbines is a concern for wind energy and wildlife stakeholders. One theory that explains the mortality is that bats are not only killed by impact trauma, but also by barotrauma that results from exposure to the pressure variations caused by rotating turbine blades. To date, no published research has calculated the pressure changes that bats may be exposed to when flying near wind turbines and then used these data to estimate the likelihood that turbines cause barotrauma in bats. To address this shortcoming, we performed computational fluid dynamics simulations of a wind turbine and analytical calculations of blade-tip vortices to estimate the characteristics of the sudden pressure changes bats may experience when flying near a utility-scale wind turbine. Because there are no data available that characterize the pressure changes that cause barotrauma in bats, we compared our results to changes in pressure levels that cause barotrauma and mortality in other mammals of similar size. This comparison shows that the magnitude of the low-pressures bats experience when flying near wind turbines is approximately 8 times smaller than the pressure that causes mortality in rats, the smallest mammal for which data are available. The magnitude of the high-pressures that bats may experience are approximately 80 times smaller than the exposure level that causes 50% mortality in mice, which have a body mass similar to several bat species that are killed by wind turbines. Further, our results show that for a bat to experience the largest possible magnitude of low- and high-pressures, they must take very specific and improbable flight paths that skim the surface of the blades. Even a small change in the flight path results in the bat being hit by the blade or experiencing a much smaller pressure change. Accordingly, if bats have a physiological response to rapid low- and high-pressure exposure that is similar to other mammals, we conclude that it is unlikely that barotrauma is responsible for a significant number of turbine-related bat fatalities, and that impact trauma is the likely cause of the majority of wind-turbine-related bat fatalities.

17 WIND ENERGY↗

The University of Virginia Experimental and Theoretical High Energy Physics Final Closeout Report

The work covered in this report includes a joint project on using gauge-gravity duality to discover qualitatively new results on jet quenching in strongly-coupled QCD-like plasmas. Other topics addressed by the theoretical work include jet stopping and energy loss in weakly-coupled plasmas, perturbative QCD amplitudes, AdS/CMT, dynamical electroweak symmetry breaking with a heavy fourth generation, electroweak-scale ν R model, vacuum topological structure and chiral dynamics in strongly coupled gauge theory. Effort committed to the CMS experiment is reported, particularly the management, maintenance, operation and upgrade of the CMS electromagnetic detector (ECAL). Activities in various physics analyses including Supersymmetry, Higgs, Top, and QCD analyses are reported. Physics projects covering wide areas of physics at the LHC are reported. CY2010 saw the accumulation of a data sample corresponding to approximately 36 pb -1 ; in CY 2011 the data sample swelled to more than 5 fb -1 . The UVa CMS analysis efforts are focused on this large 2011 data sample in a suite of crucial measurements and searches. KTeV physics activities are reported. Efforts are reported pertaining to several experiments, including: HyperCP, CKM, MIPP, D, NO νA, and Mu2e.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

STOMP Subsurface Transport Over Multiple Phases: STOMP-CO2 and STOMP-CO2e Guide: Version 1.0

This STOMP (Subsurface Transport Over Multiple Phases) guide document describes the theory, use, and application of the STOMP-CO2 and STOMP-CO2e operational modes. These operational modes of the STOMP simulator are configured to solve problems involving the sequestration of CO2 in geologic saline reservoirs. STOMP-CO2 is the isothermal version and STOMP-CO2e is the nonisothermal version. These core operational modes solve the governing conservation equations for component flow and transport through geologic media; where, the STOMP-CO2 components are water, CO2 and salt and the STOMP-CO2e operational mode also includes an energy conservation equation. Geochemistry can be included in the problem solution via the ECKEChem (Equilibrium-Conservation-Kinetic-Equation Chemistry) module, and geomechanics via the EPRMech (Elastic-Plastic-Rock Mechanics) module. This addendum is designed to provide the new user with a full guide for the core capabilities of the STOMP-CO2 and -CO2e simulators, and to provide the experienced user with a quick reference on implementing features. Several benchmark problems are provided in this addendum, which serve as starting points for developing inputs for more complex problems and as demonstrations of the simulator’s capabilities.

Carbon Dioxide↗