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 451 records · Page 25

Learning Nonlinear Reduced Models from Data with Operator Inference

This review discusses Operator Inference, a nonintrusive reduced modeling approach that incorporates physical governing equations by defining a structured polynomial form for the reduced model, and then learns the corresponding reduced operators from simulated training data. The polynomial model form of Operator Inference is sufficiently expressive to cover a wide range of nonlinear dynamics found in fluid mechanics and other fields of science and engineering, while still providing efficient reduced model computations. The learning steps of Operator Inference are rooted in classical projection-based model reduction; thus, some of the rich theory of model reduction can be applied to models learned with Operator Inference. This connection to projection-based model reduction theory offers a pathway toward deriving error estimates and gaining insights to improve predictions. Furthermore, through formulations of Operator Inference that preserve Hamiltonian and other structures, important physical properties such as energy conservation can be guaranteed in the predictions of the reduced model beyond the training horizon. This review illustrates key computational steps of Operator Inference through a large-scale combustion example.

Mechanics↗

An Experimental Study of Pressure Oscillation in a Capillary Pumped Loop with Multiple Evaporators and Condensers

The heat transport capability of a capillary pumped loop (CPL) is limited by the pressure drop that its evaporator wick can sustain. The pressure drop in a CPL is not constant even under seemingly steady operation, but rather exhibits an oscillatory behavior. A hydrodynamic theory based on a mass-spring-dashpot model was previously developed to predict the pressure oscillation in a CPL with a single evaporator and a single condenser. The theory states that the pressure oscillation is a function of physical dimensions of the CPL components and operating conditions. Experimental data agreed very well with theoretical predictions. The hydrodynamic stability theory has recently been extended to predict the pressure oscillations in CPLs with multiple evaporators and multiple condensers. Concurrently, an experimental study was conducted to verify the theory and to investigate the effects of various parameters on the pressure oscillation. Four evaporators with different wick properties were tested using a test loop containing two condenser plates. The test loop allowed the four evaporators to be tested in a single-pump, two-pump or four-pump configuration, and the two condenser plates to be plumbed either in parallel or in series. Test conditions included varying the power input, the reservoir set point temperature, the condenser sink temperature, and the flow resistance between the reservoir and the loop. Experimental results agreed well with theoretical predictions.

Ku, Jen-Tung↗

Generation and Exploitation of Aggregation Abstractions for Scheduling and Resource Allocation

Our research is investigating abstraction of computational theories for scheduling and resource allocation. These theories are represented in a variant of first order predicate calculus, parameterized multisorted logic, that facilitates specification of large problems. A particular problem is conceptually stated as a set of ground sentences that are consistent with a quantified theory. We are mainly investigating the automated generation of aggregation abstractions and approximations in which detailed resource allocation constraints are replaced by constraints between aggregate demand and capacity. We are also investigating the interaction of aggregation abstractions with the more thoroughly investigated abstractions of weakening operator preconditions. The purpose of the theories for aggregated demand/capacity is threefold: first, to answer queries about aggregate properties, such as gross feasibility; second, to reduce computational costs by using the solution of aggregate problems to guide the solution of detailed problems; and third, to facilitate reformulating theories to approximate problems for which there are efficient problem solving methods. We also describe novel methods for exploiting aggregation abstractions.

Linden, Theodore A.↗

Cross-Cap Defects and Fault-Tolerant Logical Gates in the Surface Code and the Honeycomb Floquet Code

We consider the Z 2 toric code, surface code, and Floquet code defined on a nonorientable surface, which can be considered as families of codes extending Shor’s nine-qubit code. We investigate the fault-tolerant logical gates of the Z 2 toric code in this setup, which corresponds to e ↔ m exchanging symmetry of the underlying Z 2 gauge theory. We find that nonorientable geometry provides a new way for the emergent symmetry to act on the code space, and discover the new realization of the fault-tolerant Hadamard gate of the two-dimensional surface code with a single cross cap connecting the vertices nonlocally along a slit, dubbed a nonorientable surface code. This Hadamard gate can be realized by a constant-depth local unitary circuit modulo nonlocality caused by a cross cap. Via folding, the nonorientable surface code can be turned into a bilayer local quantum code, where the folded cross cap is equivalent to a bilayer twist terminated on a gapped boundary and the logical Hadamard only contains local gates with intralayer couplings when being away from the cross cap, as opposed to the interlayer couplings on each site needed in the case of the folded surface code. We further obtain the complete logical Clifford gate set for a stack of nonorientable surface codes and similarly for codes defined on Klein-bottle geometries. We then construct the honeycomb Floquet code in the presence of a single cross cap, and find that the period of the sequential Pauli measurements acts as a H Z logical gate on the single logical qubit, where the cross cap enriches the dynamics compared with the orientable case. We find that the dynamics of the honeycomb Floquet code is precisely described by a condensation operator of the Z 2 gauge theory, and illustrate the exotic dynamics of our code in terms of a condensation operator supported at a nonorientable surface. Published by the American Physical Society 2024

Physics↗

Leveraging Hamiltonian simulation techniques to compile operations on bosonic devices

Circuit quantum electrodynamics enables the combined use of qubits and oscillator modes. Despite a variety of available gate sets, many hybrid qubit-boson (i.e. qubit-oscillator) operations are realizable only through optimal control theory, which is oftentimes intractable and uninterpretable. We introduce an analytic approach with rigorously proven error bounds for realizing specific classes of operations via two matrix product formulas commonly used in Hamiltonian simulation, the Lie–Trotter–Suzuki and Baker–Campbell–Hausdorff product formulas. We show how this technique can be used to realize a number of operations of interest, including polynomials of annihilation and creation operators, namely (a) p (a † ) q for integer p, q. We show examples of this paradigm including obtaining universal control within a subspace of the entire Fock space of an oscillator, state preparation of a fixed photon number in the cavity, simulation of the Jaynes–Cummings Hamiltonian, and simulation of the Hong-Ou-Mandel effect. This work demonstrates how techniques from Hamiltonian simulation can be applied to better control hybrid qubit-boson devices.

bosonic qubits↗

The Problem of Obtaining High Lift-Drag Ratios at Supersonic Speeds

The importance of the lift to drag ratio is well known to all aircraft designers since it gives, to a great extent, the aerodynamic efficiency of the airplane. Aerodynamic efficiency, however, is only one component of the grand compromise that a completed airplane represents. At subsonic speeds, lift-drag ratios of well over 200 have been measured in wind tunnels on airfoil sections; but few powered aircraft have attained (L/D) value of 20. It is invariably true that the requirements of stability and control, structure, and flight operation all contribute to reducing the design (L/D) (sub max)) considerably below those exotic values which can be predicted from unrestricted aerodynamic theory. If, however, a certain range or operating efficiency is required, there is most certainly a minimum (L/D) (sub max)) value for which the goals are just attainable. If we examine the range equation we see that range is proportional to the lift-drag ratio, the thermopropulsive efficiency, and the logarithm of the initial to final weight ratio. The appearance of the lift-drag ratio as a linear factor in the range equation indicates that every attempt should be made to increase (L/D) (sub max)); however, the search for higher (L/D)max may lead to strange and unorthodox configurations. Most frequently, such configurations are ruled out by the adverse effects of their geometry on the weight ratios. In the present paper, we will deal with the maximum lift-drag ratio problem for conventional configurations having a wing and a body in close proximity to each other. No attempt will be made to select a particular configuration as being the best. However, the promising direction to go from the aerodynamic view will be stressed with the understanding that the other factors may outweight the aerodynamics

Brown, Clinton E.↗

Turbulent transport measurements with a laser Doppler velocimeter.

The power spectrum of phototube current from a laser Doppler velocimeter operating in the heterodyne mode has been computed. The spectral width and shape predicted by the theory are in agreement with experiment. For normal operating parameters the time-average spectrum contains information only for times shorter than the Lagrangian-integral time scale of the turbulence. To examine the long-time behavior, one must use either extremely small scattering angles, much-longer-wavelength radiation, or a different mode of signal analysis, e.g., FM detection.

Edwards, R. V.↗

Metric isometries, holography, and continuous symmetry operators

In the AdS/CFT correspondence, a topological symmetry operator of the boundary conformal field theory (CFT) is dual to a dynamical brane in the gravitational bulk. Said differently, this predicts a dynamical brane for every global symmetry of the boundary CFT. We analyze this correspondence for continuous symmetries which arise from a consistent truncation of isometries on the “internal” factor 𝑋 of AdS × 𝑋. In the extra-dimensional geometry, these branes are associated with various metric singularities and do not arise from wrapped D-branes. Boosts relate configurations interpreted as topological symmetry operators and heavy defects in the CFT. From the perspective of the AdS factor, with gravity and bulk gauge fields, these are codimension-2 Gukov-Witten-like vortex configurations which are the gravity duals of 0-form symmetry operators. These effective branes come with an asymptotic tension and size which is also fully fixed by bulk dynamics. We use this higher-dimensional perspective to determine properties of the worldvolume theory for these branes. We also discuss how these considerations generalize to more general quantum field theories engineered via string theory which need not possess a semiclassical gravity dual.

anomalies↗

Theory of plane, symmetrical intake diffusers

The present report ties in with the investigations on the inlet diffusers by P. Ruden. The theory developed by Ruden had produced results which found excellent confirmation in wind-tunnel tests and in spite of certain still-existing defects, are technically very promising. The reasons for the new theory of the diffuser forms indicated by Ruden are twofold: first, the arguments adduced in Ruden's theory deal only with one specific operating condition, that is, a certain ratio of mean velocity within the diffuser to flying speed, while in the present report any desired velocity ratios are involved; second, a different choice of parameters and the increased possibilities of variation result in diffuser forms which cannot be reconciled at once with Ruden's theory. The first enables a theoretical check of the measurements made with Ruden's diffusers at variable velocity ratio, the second permits the calculation of diffuser types which in many respects are superior to Ruden's diffusers.

FLOW - CONFORMAL TRANSFORMATION - HODOGRAPH METHOD↗

Test Outline for Flutter Analysis of Rectangular Panels in Rarefied Flow Conditions

Jet plume impingement forces acting on large flexible space structures may precipitate dynamically unstable behavior during space flights. Typical operating conditions in space involve rarefied gas flow regimes which are intrinsically distinct from continuum gas flow and are normally modeled using the kinetic theory of gas flow. Docking and undocking operations of the Space Shuttle with the Russian Mir space laboratory represent a scenario in which the stability boundaries of solar panels may be of interest. Extensive literature review of research work on the dynamic stability of rectangular panels in rarefied gas flow conditions indicated the lack of published reports dealing with this phenomenon. A recently completed preliminary study for NASA JSC dealing with the mathematical analysis of the stability of two-degree-of-freedom elastically supported rigid panels under the effect of rarefied gas flow was reviewed. A test plan outline is prepared for the purpose of conducting a series of experiments on four rectangular rigid test articles in a vacuum chamber under the effect of continuous and pulsating Nitrogen jet plumes. The purpose of the test plan is to gather enough data related to a number of key parameters to allow the validation of the two-degree-of-freedom mathematical model. The hardware required careful design to select a very lightweight material while satisfying rigidity and frequency requirements within the constraints of the test environment. The data to be obtained from the vacuum chamber tests can be compared with the predicted behavior of the theoretical two-degree-of-freedom model. Using the data obtained in this study, further research can identify the limitations of the mathematical model. In addition modifications to the mathematical model can be made, if warranted, to accurately predict the behavior of rigid panels under rarefied gas flow regimes.

Akl, Fred A.↗

Paralleling power MOSFETs in their active region: Extended range of passively forced current sharing

A simple passive circuit that improves current balance in parallelled power MOSFETs that are not precisely matched and that are operated in their active region from a common gate drive are exhibited. A nonlinear circuit consisting of diodes and resistors generates the differential gate potential required to correct for unbalance while maintaining low losses over a range of current. Also application of a thin tape wound magnetic core to effect dynamic current balance is reviewed, and a simple theory is presented showing that for operation in the active region the branch currents tend to revert to their normal unbalanced values even if the core is not driven into saturation. Results of several comparative experiments are given.

Niedra, Janis M.↗

Wrong signs are alright

It has been shown that some Lorentz-invariant quantum field theories, such as those with higher-dimensional operators with negative coefficients, lead to superluminality on some classical backgrounds. While superluminality by itself is not logically inconsistent, these theories also predict the formation of closed time-like curves at the classical level, starting from initial conditions without such curves. This leads to the formation of a Cauchy Horizon which prevents a complete description of the time evolution of such systems. Inspired by the chronology protection arguments of General Relativity, we show that quantum mechanical effects from low energy quanta strongly backreact on such configurations, exciting unknown short-distance degrees of freedom and invalidating the classical predictions. Thus, there is no obvious low-energy obstruction to the existence of these operators.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Froggatt-Nielsen meets the SMEFT

We study the matching of Froggatt-Nielsen theories of flavour onto the Standard Model Effective Field Theory (SMEFT), upon integrating out a heavy Beyond-the-Standard-Model (BSM) scalar ‘flavon’ whose vacuum expectation value breaks an Abelian flavour symmetry at energies Λ FN well above the electroweak scale, Λ FN > Λ SM . We include matching contributions to the infrared d SM = 6 (Warsaw basis) SMEFT sourced from ultraviolet contact terms suppressed up to order 1/${\Lambda}_{\textrm{UV}}^2$ in the Froggatt-Nielsen Lagrangian, where Λ UV > Λ FN is an arbitrary ultraviolet scale where further unspecified BSM particles are dynamical. This includes tree-level (one-loop) ultraviolet diagrams with d FN = 6 (5) effective vertices. We first do so with a toy model, but then generalize our findings to arbitrary Frogatt-Nielsen charges. Our results indicate a rich and non-trivial signature of Froggatt-Nielsen theories on the (otherwise) model-independent operators of the SMEFT, and we briefly speculate on extending our analysis to broader classes of BSM flavour models, e.g. non-Abelian and/or gauged theories. We thus take an important step towards determining how to use rapidly developing theoretical and experimental SMEFT technologies to gain unambiguous insight into the SM’s longstanding fermion flavour puzzle.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Analog Systems for Edge Optimization

Over the past decade, analog computing has the subject of substantial research interest providing a path toward improved computational efficiency in the post-Dennard era. Analog matrix vector multiplication (MVM) accelerators provide a popular approach given the ubiquity of MVM operations in numerous applications. However, historically analog computing systems can struggle with applications requiring high precision due to the inherent susceptibility of these systems to analog non-idealities. Therefore, prior work on analog systems has focused either on applications known to be tolerant of limited precision (e.g., neural network inference), or using expensive techniques to emulate high-precision using many analog MVM operations. In this work, we propose an alternative approach. Motivated by recent advances in inexact nonlinear solvers and optimizers, we explore the potential of co-designing optimization algorithms which can take full advantage of the fundamentally inexact analog MVM operations. To enable these co-designed algorithms we also develop a general mathematical theory of the precision and energy efficiency of analog operations, and a new system architecture for tightly-coupled analog and digital computation. Finally, we examine the applicability of analog computing to a wider class of symmetric positive definite systems and find potential in using analog operations as a sparse approximate inverse preconditioner. With these core innovations, this project provides a path toward effectively implementing optimization algorithms on power-constrained autonomous and semi-autonomous systems.

97 MATHEMATICS AND COMPUTING↗

Predicted and Measured Modal Sound Power Levels for a Fan Ingesting Distorted Inflow

Refinements have been made to a method for estimating the modal sound power levels of a ducted fan ingesting distorted inflow. By assuming that each propagating circumferential mode consists only of a single radial mode (the one with the highest cut-off ratio), circumferential mode sound power levels can be computed for a variety of inflow distortion patterns and operating speeds. Predictions from the refined theory have been compared to data from an experiment conducted in the Advanced Noise Control Fan at NASA Glenn Research Center. The inflow to the fan was distorted by inserting cylindrical rods radially into the inlet duct. The rods were placed at an axial location one rotor chord length upstream of the fan and arranged in both regular and irregular circumferential patterns. The fan was operated at 2000, 1800, and 1400 rpm. Acoustic pressure levels were measured in the fan inlet and exhaust ducts using the Rotating Rake fan mode measurement system. Far field sound pressure levels were also measured. It is shown that predicted trends in circumferential mode sound power levels closely match the experimental data for all operating speeds and distortion configurations tested. Insight gained through this work is being used to develop more advanced tools for predicting fan inflow distortion tone noise levels.

Koch, L. Danielle↗

Operator-assisted planning and execution of proximity operations subject to operational constraints

Future multi-vehicle operations will involve multiple scenarios that will require a planning tool for the rapid, interactive creation of fuel-efficient trajectories. The planning process must deal with higher-order, non-linear processes involving dynamics that are often counter-intuitive. The optimization of resulting trajectories can be difficult to envision. An interaction proximity operations planning system is being developed to provide the operator with easily interpreted visual feedback of trajectories and constraints. This system is hosted on an IRIS 4D graphics platform and utilizes the Clohessy-Wiltshire equations. An inverse dynamics algorithm is used to remove non-linearities while the trajectory maneuvers are decoupled and separated in a geometric spreadsheet. The operator has direct control of the position and time of trajectory waypoints to achieve the desired end conditions. Graphics provide the operator with visualization of satisfying operational constraints such as structural clearance, plume impingement, approach velocity limits, and arrival or departure corridors. Primer vector theory is combined with graphical presentation to improve operator understanding of suggested automated system solutions and to allow the operator to review, edit, or provide corrective action to the trajectory plan.

Grunwald, Arthur J.↗

Laboratory experiments in integrated circuit fabrication

The objectives of the experiment are fourfold: to provide practical experience implementing the fundamental processes and technology associated with the science and art of integrated circuit (IC) fabrication; to afford the opportunity for the student to apply the theory associated with IC fabrication and semiconductor device operation; to motivate the student to exercise engineering decisions associated with fabricating integrated circuits; and to complement the theory of n-channel MOS and diffused devices that are presented in the classroom by actually fabricating and testing them. Therefore, a balance between theory and practice can be realized in the education of young engineers, whose education is often criticized as lacking sufficient design and practical content.

Jenkins, Thomas J.↗

High-quality axion from exact SUSY chiral dynamics

We use supersymmetric chiral dynamics perturbed by anomaly-mediated supersymmetry breaking to obtain a high-quality, composite axion that solves the strong problem. The strong dynamics arises from a supersymmetric SU(10) chiral gauge theory with massless matter chiral superfields. This leads to a stable, nonsupersymmetric vacuum, calculated exactly, where a spontaneously broken global symmetry, identified with the Peccei-Quinn (PQ) symmetry, gives rise to a composite QCD axion. The chiral gauge theory also admits a discrete (or ) gauge symmetry that forbids PQ-violating operators up to dimension eight. An extension to an chiral gauge theory incorporates grand unification where the unification scale is identified with the PQ-breaking scale and PQ-violating operators are forbidden up to dimension 20. The supersymmetry breaking scale, near 100 TeV, ameliorates the Higgs hierarchy problem, while colored Nambu–Goldstone bosons may be detected at future colliders via decays to gluons or form heavy isotopes.

Gherghetta, Tony↗