Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Rules”

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 379 records · Page 21

Uncertainty analysis of correlated parameters in automated reaction mechanism generation

Abstract Uncertainty analysis is a useful tool for inspecting and improving detailed kinetic mechanisms because it can identify the greatest sources of model output error. Owing to the very nonlinear relationship between kinetic and thermodynamic parameters and computed concentrations, model predictions can be extremely sensitive to uncertainties in some parameters while uncertainties in other parameters can be irrelevant. Error propagation becomes even more convoluted in automatically generated kinetic models, where input uncertainties are correlated through kinetic rate rules and thermodynamic group values. Local and global uncertainty analyses were implemented and used to analyze error propagation in Reaction Mechanism Generator (RMG), an open‐source software for generating kinetic models. A framework for automatically assigning parameter uncertainties to estimated thermodynamics and kinetics was created, enabling tracking of correlated uncertainties. Local first‐order uncertainty propagation was implemented using sensitivities computed natively within RMG. Global uncertainty analysis was implemented using adaptive Smolyak pseudospectral approximations as implemented in the MIT Uncertainty Quantification Library to efficiently compute and construct polynomial chaos expansions to approximate the dependence of outputs on a subset of uncertain inputs. Cantera was used as a backend for simulating the reactor system in the global analysis. Analyses were performed for a phenyldodecane pyrolysis model. Local and global methods demonstrated similar trends; however, many uncertainties were significantly overestimated by the local analysis. Both local and global analyses show that correlated uncertainties based on kinetic rate rules and thermochemical groups drastically reduce a model's degrees of freedom and have a large impact on the determination of the most influential input parameters. These results highlight the necessity of incorporating uncertainty analysis in the mechanism generation workflow.

Gao, Connie W.↗

The Branes Behind Generalized Symmetry Operators

The modern approach to m-form global symmetries in a d-dimensional quantum field theory (QFT) entails specifying dimension d–m–1 topological generalized symmetry operators which non-trivially link with m-dimensional defect operators. In QFTs engineered via string constructions on a non-compact geometry X, these defects descend from branes wrapped on non-compact cycles which extend from a localized source / singularity to the boundary ∂X. The generalized symmetry operators which link with these defects arise from magnetic dual branes wrapped on cycles in ∂X. This provides a systematic way to read off various properties of such topological operators, including their worldvolume topological field theories, and the resulting fusion rules. We illustrate these general features in the context of 6D superconformal field theories, where we use the F-theory realization of these theories to read off the worldvolume theory on the generalized symmetry operators. Defects of dimension 3 which are charged under a suitable 3-form symmetry detect a non-invertible fusion rule for these operators. We also sketch how similar considerations hold for related systems.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Geometric secret sharing in a model of Hawking radiation

We consider a black hole in three dimensional AdS space entangled with an auxiliary radiation system. We model the microstates of the black hole in terms of a field theory living on an end of the world brane behind the horizon, and allow this field theory to itself have a holographic dual geometry. This geometry is also a black hole since entanglement of the microstates with the radiation leaves them in a mixed state. This “inception black hole” can be purified by entanglement through a wormhole with an auxiliary system which is naturally identified with the external radiation, giving a realization of the ER=EPR scenario. In this context, we propose an extension of the Ryu-Takayanagi (RT) formula, in which extremal surfaces computing entanglement entropy are allowed to pass through the brane into its dual geometry. This new rule reproduces the Page curve for evaporating black holes, consistently with the recently proposed “island formula”. We then separate the radiation system into pieces. Our extended RT rule shows that the entanglement wedge of the union of radiation subsystems covers the black hole interior at late times, but the union of entanglement wedges of the subsystems may not. This result points to a secret sharing scheme in Hawking radiation wherein reconstruction of certain regions in the interior is impossible with any subsystem of the radiation, but possible with all of it.

79 ASTRONOMY AND ASTROPHYSICS↗

Semi-Abelian gauge theories, non-invertible symmetries, and string tensions beyond N -ality

We study a 3d lattice gauge theory with gauge group U(1) N– 1 ⋉ S N , which is obtained by gauging the S N global symmetry of a pure U(1) N– 1 gauge theory, and we call it the semi-Abelian gauge theory. We compute mass gaps and string tensions for both theories using the monopole-gas description. We find that the effective potential receives equal contributions at leading order from monopoles associated with the entire SU( N ) root system. Even though the center symmetry of the semi-Abelian gauge theory is given by ℤ N , we observe that the string tensions do not obey the N -ality rule and carry more detailed information on the representations of the gauge group. We find that this refinement is due to the presence of non-invertible topological lines as a remnant of U(1) N– 1 one-form symmetry in the original Abelian lattice theory. Upon adding charged particles corresponding to W -bosons, such non-invertible symmetries are explicitly broken so that the N -ality rule should emerge in the deep infrared regime.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

The non-relativistic effective field theory of dark matter-electron interactions

Electronic excitations in atomic, molecular, and crystal targets are at the forefront of the ongoing search for light, sub-GeV dark matter (DM). In many light DM-electron interactions the energy and momentum deposited is much smaller than the electron mass, motivating a non-relativistic (NR) description of the electron. Thus, for any target, light DM-electron phenomenology relies on understanding the interactions between the DM and electron in the NR limit. In this work we derive the NR effective field theory (EFT) of general DM-electron interactions from a top-down perspective, starting from general high-energy DM-electron interaction Lagrangians. This provides an explicit connection between high-energy theories and their low-energy phenomenology in electron excitation based experiments. Furthermore, we derive Feynman rules for the DM-electron NR EFT, allowing observables to be computed diagrammatically, which can systematically explain the presence of in-medium screening effects in general DM models. We use these Feynman rules to compute absorption, scattering, and dark Thomson scattering rates for a wide variety of high-energy DM models.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Comments on the quantum field theory of the Coulomb gas formalism

The holomorphic Coulomb gas formalism, as developed by Feigin-Fuchs, Dotsenko-Fateev and Felder, is a set of rules for computing minimal model observables using free field techniques. We attempt to derive and clarify these rules using standard techniques of quantum field theory. We begin with a careful examination of the timelike linear dilaton. Although the background charge of the model breaks the scalar field’s continuous shift symmetry, the exponential of the action remains invariant under a discrete shift because the background charge is imaginary. Gauging this symmetry makes the dilaton compact and introduces winding modes into the spectrum. One of these winding operators corresponds to the anti-holomorphic completion of the BRST current first introduced by Felder, and the full left/right cohomology of this BRST charge isolates the irreducible representations of the Virasoro algebra within the degenerate Fock space of the linear dilaton. The “supertrace” in the BRST complex reproduces the minimal model partition function and exhibits delicate cancellations between states with both momentum and winding. The model at the radius $R=\sqrt{pp^{\prime }}$ has two marginal operators corresponding to the Dotsenko-Fateev “screening charges”. Deforming by them, we obtain a model that might be called a “BRST quotiented compact timelike Liouville theory”. The Hamiltonian of the zero-mode quantum mechanics of this model is not Hermitian, but it is PT -symmetric and exactly solvable. Its eigenfunctions have support on an infinite number of plane waves, suggesting an infinite reduction in the number of independent states in the full quantum field theory. Applying conformal perturbation theory to the exponential interactions reproduces the Coulomb gas calculations of minimal model correlation functions. In contrast to spacelike Liouville, these “resonance correlators” are finite because the zero mode is compact. We comment on subtleties regarding the reflection operator identification, as well as naive violations of truncation in correlators with multiple reflection operators inserted. This work is part of an attempt to understand the relationship between the JT model of two dimen- sional gravity and the worldsheet description of the (2 , p ) minimal string as suggested by Seiberg and Stanford.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

On observers in holographic maps

A straightforward gravitational path integral calculation implies that closed universes are trivial, described by a one dimensional Hilbert space. Two recent papers by Harlow-Usatyuk-Zhao and Abdalla-Antonini-Iliesiu-Levine have sought to ameliorate this issue by defining special rules to incorporate observers into the path integral. However, the proposed rules are different, leading to differing results for the Hilbert space dimension. Moreover, the former work offers a holographic map realized using a non-isometric code construction to complement their path integral result and clarify its physics. In this work, we propose a non-isometric code that implements the second construction, allowing thorough comparison. Our prescription may be thought of as simply removing the portion of the map that acts on the observer, while preserving the rest, creating an effective holographic boundary at the observer-environment interface. This proposal can be directly applied to general holographic maps for both open and closed universes of any dimension.

AdS-CFT correspondence↗

Wormhole calculus, replicas, and entropies

We investigate contributions of spacetime wormholes, describing baby universe emission and absorption, to calculations of entropies and correlation functions, for example those based on the replica method. We find that the rules of the “wormhole calculus”, developed in the 1980s, together with standard quantum mechanical prescriptions for computing entropies and correlators, imply definite rules for limited patterns of connection between replica factors in simple calculations. These results stand in contrast with assumptions that all topologies connecting replicas should be summed over, and call into question the explanation for the latter. In a “free” approximation baby universes introduce probability distributions for coupling constants, and we review and extend arguments that successive experiments in a “parent” universe increasingly precisely fix such couplings, resulting in ultimately pure evolution. Once this has happened, the nontrivial question remains of how topology-changing effects can modify the standard description of black hole information loss.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Celestial geometry

Celestial holography expresses S-matrix elements as correlators in a CFT living on the night sky. Poincaré invariance imposes additional selection rules on the allowed positions of operators. As a consequence, n-point correlators are only supported on certain patches of the celestial sphere, depending on the labeling of each operator as incoming/outgoing. Here we initiate a study of the celestial geometry, examining the kinematic support of celestial amplitudes for different crossing channels. We give simple geometric rules for determining this support. For n ≥ 5, we can view these channels as tiling together to form a covering of the celestial sphere. Our analysis serves as a stepping off point to better understand the analyticity of celestial correlators and illuminate the connection between the 4D kinematic and 2D CFT notions of crossing symmetry.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Differential equations for cosmological correlators

Cosmological fluctuations retain a memory of the physics that generated them in their spatial correlations. The strength of correlations varies smoothly as a function of external kinematics, which is encoded in differential equations satisfied by cosmological correlation functions. In this work, we provide a broader perspective on the origin and structure of these differential equations. As a concrete example, we study conformally coupled scalar fields in a power-law cosmology. The wavefunction coefficients in this model have integral representations, with the integrands being the product of the corresponding flat-space results and “twist factors” that depend on the cosmological evolution. Similar twisted integrals arise for loop amplitudes in dimensional regularization, and their recent study has led to the discovery of rich mathematical structures and powerful new tools for computing multi-loop Feynman integrals in quantum field theory. The integrals of interest in cosmology are also part of a finite-dimensional basis of master integrals, which satisfy a system of first-order differential equations. We develop a formalism to derive these differential equations for arbitrary tree graphs. The results can be represented in graphical form by associating the singularities of the differential equations with a set of graph tubings. Upon differentiation, these tubings grow in a local and predictive fashion. In fact, a few remarkably simple rules allow us to predict — by hand — the equations for all tree graphs. While the rules of this “kinematic flow” are defined purely in terms of data on the boundary of the spacetime, they reflect the physics of bulk time evolution. We also study the analogous structures in tr ϕ 3 theory, and see some glimpses of hidden structure in the sum over planar graphs. This suggests that there is an autonomous combinatorial or geometric construction from which cosmological correlations, and the associated spacetime, emerge.

Cosmological models↗

Next-to-$\mathrm{MHV}$ Yang-Mills kinematic algebra

Kinematic numerators of Yang-Mills scattering amplitudes possess a rich Lie algebraic structure that suggest the existence of a hidden infinite-dimensional kinematic algebra. Explicitly realizing such a kinematic algebra is a longstanding open problem that only has had partial success for simple helicity sectors. In past work, we introduced a framework using tensor currents and fusion rules to generate BCJ numerators of a special subsector of NMHV amplitudes in Yang-Mills theory. Here we enlarge the scope and explicitly realize a kinematic algebra for all NMHV amplitudes. Master numerators are obtained directly from the algebraic rules and through commutators and kinematic Jacobi identities other numerators can be generated. Inspecting the output of the algebra, we conjecture a closed-form expression for the master BCJ numerator up to any multiplicity. We also introduce a new method, based on group algebra of the permutation group, to solve for the generalized gauge freedom of BCJ numerators. It uses the recently introduced binary BCJ relations to provide a complete set of NMHV kinematic numerators that consist of pure gauge.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Shocks, superconvergence, and a stringy equivalence principle

We study propagation of a probe particle through a series of closely situated gravitational shocks. We argue that in any UV-complete theory of gravity the result does not depend on the shock ordering — in other words, coincident gravitational shocks commute. Shock commutativity leads to nontrivial constraints on low-energy effective theories. In particular, it excludes non-minimal gravitational couplings unless extra degrees of freedom are judiciously added. In flat space, these constraints are encoded in the vanishing of a certain “superconvergence sum rule.” In AdS, shock commutativity becomes the statement that average null energy (ANEC) operators commute in the dual CFT. We prove commutativity of ANEC operators in any unitary CFT and establish sufficient conditions for commutativity of more general light-ray operators. Superconvergence sum rules on CFT data can be obtained by inserting complete sets of states between light-ray operators.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

An infeasible-start framework for convex quadratic optimization, with application to constraint-reduced interior-point and other methods

A framework is proposed for solving general convex quadratic programs (CQPs) from an infeasible starting point by invoking an existing feasible-start algorithm tailored for inequality-constrained CQPs. The central tool is an exact penalty function scheme equipped with a penalty-parameter updating rule. The feasible-start algorithm merely has to satisfy certain general requirements, and so is the updating rule. Under mild assumptions, the framework is proved to converge on CQPs with both inequality and equality constraints and, at a negligible additional cost per iteration, produces an infeasibility certificate, together with a feasible point for an (approximately) ℓ 1 -least relaxed feasible problem, when the given problem does not have a feasible solution. The framework is applied to a feasible-start constraint-reduced interior-point algorithm previously proved to be highly performant on problems with many more inequality constraints than variables (“imbalanced”). Numerical comparison with popular codes (OSQP, qpOASES, MOSEK) is reported on both randomly generated problems and support-vector machine classifier training problems. The results show that the former typically outperforms the latter on imbalanced problems. Finally, application of the proposed infeasible-start framework to other feasible-start algorithms is briefly considered, and is tested on a simplex iteration.

97 MATHEMATICS AND COMPUTING↗

Space Mission Options for Reconnaissance and Mitigation of Asteroid 2024 YR4

Near-Earth asteroid 2024 YR 4 was discovered on 2024-12-27 and its probability of Earth impact in December 2032 peaked at ~3% on 2025-02-18. Additional observations ruled out Earth impact by 2025-02-23. However, the probability of lunar impact in December 2032 then rose, reaching ~4% by the end of the apparition in May 2025. James Webb Space Telescope (JWST) observations on 2025-03-26 estimated the asteroid’s diameter at 60 ± 7 m. Studies of 2024 YR 4 ’s potential lunar impact effects suggest lunar ejecta could increase micrometeoroid debris flux in low Earth orbit up to 1000 times above background levels over just a few days, possibly threatening astronauts and spacecraft. In this work, we present options for space missions to 2024 YR 4 that could be utilized if lunar impact is confirmed. Here, we cover flyby & rendezvous reconnaissance, deflection, and robust disruption of the asteroid. We examine both rapid-response and delayed launch options through 2032. We evaluate chemical and solar electric propulsion, various launch vehicles, optimized deep space maneuvers, and gravity assists. Re-tasking extant spacecraft and using built spacecraft not yet launched are also considered. The best reconnaissance mission options launch in late 2028, leaving only approximately three years for development at the time of this writing in August 2025. Deflection missions were assessed and appear impractical. However, kinetic robust disruption missions are available with launches between April 2030 and April 2032. Nuclear robust disruption missions are also available with launches between late 2029 and late 2031. Finally, even if lunar impact is ruled out there is significant potential utility in deploying a reconnaissance mission to characterize the asteroid.

Asteroid deflection↗

Chapter 7: Learning Stable Local Volt/Var Controllers in Distribution Grids

This chapter describes a framework to synthesize provably stable local Volt/Var controllers for distributed energy resources (DERs) in power distribution grids (DGs). The goal is to control the reactive power injections of DERs to improve the system performance as quantified by a generic optimal reactive power flow (ORPF) problem. To achieve this, we jointly design for each DER the control function, which prescribes the reactive power update rule, and the equilibrium function, which approximates the ORPF solutions from local measurements of voltages and powers. We provide conditions on the equilibrium functions and the control parameters ensuring the stability of the closed-loop system. In particular, we discuss the trade-offs between each set of conditions accounting for practical considerations, like fully exploiting the DERs' generation capabilities and reducing the optimality gap. These conditions are then translated into learning constraints on the neural networks' parameters that are enforced in the training phase. We validate our framework with numerical simulations on the IEEE 37-bus network and through a comparison with an optimized version of standard piece wise linear control rules.

closed-loop asymptotic stability↗

Designing shape-memory-like microstructures in intercalation materials

During the reversible insertion of ions, lattices in intercalation materials undergo structural transformations. These lattice transformations generate misfit strains and volume changes that, in turn, contribute to the structural decay of intercalation materials and limit their reversible cycling. In this paper, we draw on insights from shape-memory alloys, another class of phase transformation materials, that also undergo large lattice transformations but do so with negligible macroscopic volume changes and internal stresses. We develop a theoretical framework to predict structural transformations in intercalation compounds and identify crystallographic design rules necessary for forming shape-memory-like microstructures in intercalation materials. We use our approach to systematically screen open-source structural databases comprising $n$ > 5000 pairs of intercalation compounds. We identify candidate compounds, such as Li x Mn 2 O 4 (Spinel), Li x Ti 2 (PO 4 ) 3 (NASICON), that approximately satisfy the crystallographic design rules and can be precisely doped to form shape-memory-like microstructures. Throughout, we compare our analytical results with experimental measurements of intercalation compounds. We find a direct correlation between structural transformations, microstructures, and increased capacity retention in these materials. These results, more generally, show that crystallographic designing of intercalation materials could be a novel route to discovering compounds that do not decay with continuous usage.

36 MATERIALS SCIENCE↗

Theory of strain phase equilibria and diagrams

Chemical phase equilibria and phase diagrams are well established and have served as indispensable guides for designing materials through chemical tuning. However, a general thermodynamic theory for strain phase equilibria remains elusive despite extensive studies which have revealed dramatic impacts of mechanical strain on the stability of phases and domain states in solid-state materials. Here, we establish the thermodynamic theory of strain equilibria and a general framework for efficiently constructing multidomain and multiphase diagrams of arbitrarily strained solids under incoherent conditions. As examples, we obtain temperature-strain phase diagrams of ferroelectric PbTiO 3 , strongly correlated VO 2 , and unconventional ferroelectric Hf 0.5 Zr 0.5 O 2 . We reveal the analogs of the Gibbs phase rules, multiple- and multi-critical points, common-tangent construction, and level rule in strain equilibria to those in the familiar chemical phase equilibria. Finally, our strain equilibria theory offers a powerful framework for predicting the thermodynamic stability of structural phases and domains in strained solids and for guiding the strain engineering of their functional properties.

36 MATERIALS SCIENCE↗