Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “General relativity formalism”

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 55 records · Page 3

Short-range correlation physics at low renormalization group resolution

Recent experiments have succeeded in isolating processes for which short-range correlation (SRC) physics is dominant and well accounted for by SRC phenomenology. But an alternative and compelling picture emerges from renormalization group (RG) evolution to low RG resolution. At high RG resolution, SRCs are identified as components in the nuclear wave function with relative pair momenta greater than the Fermi momentum. Scale separation results in wave-function factorization that can be exploited with phenomenologies such as the generalized contact formalism or the low-order correlation operator approximation. Evolution to lower resolution shifts SRC physics from nuclear structure to the reaction operators without changing the measured observables. We show how the features of SRC phenomenology manifested at high RG resolution are cleanly identified at low RG resolution using simple two-body operators and local-density approximations with uncorrelated wave functions, all of which can be systematically generalized. We verify that the experimental consequences to date follow directly at low resolution from well-established properties of nucleon-nucleon interactions such as the tensor force. Thus the RG reconciles the contrasting pictures of the same experiment and shows how to get correct results using wave functions without SRC components. Finally, our demonstration has implications for the analysis of knockout reactions for which SRC physics is not cleanly isolated.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗

Modular flow of excited states

We develop new techniques for studying the modular and the relative modular flows of general excited states. We show that the class of states obtained by acting on the vacuum (or any cyclic and separating state) with invertible operators from the algebra of a region is dense in the Hilbert space. This enables us to express the modular and the relative modular operators, as well as the relative entropies of generic excited states in terms of the vacuum modular operator and the operator that creates the state. In particular, the modular and the relative modular flows of any state can be expanded in terms of the modular flow of operators in vacuum. We illustrate the formalism with simple examples including states close to the vacuum, and coherent and squeezed states in generalized free field theory.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Data-Driven Learning for the Mori--Zwanzig Formalism: A Generalization of the Koopman Learning Framework

A theoretical framework which unifies the conventional Mori--Zwanzig formalism and the approximate Koopman learning of deterministic dynamical systems from noiseless observation is presented. In this framework, the Mori--Zwanzig formalism, developed in statistical mechanics to tackle the hard problem of construction of reduced-order dynamics for high-dimensional dynamical systems, can be considered as a natural generalization of the Koopman description of the dynamical system. We next show that, similar to the approximate Koopman learning methods, data-driven methods can be developed for the Mori--Zwanzig formalism with Mori's linear projection operator. We have developed two algorithms to extract the key operators, the Markov and the memory kernel, using time series of a reduced set of observables in a dynamical system. We have adopted the Lorenz `96 system as a test problem and solved for the above operators. These operators exhibit complex behaviors, which are unlikely to be captured by traditional modeling approaches in Mori--Zwanzig analysis. The nontrivial generalized fluctuation-dissipation relationship, which relates the memory kernel with the two-time correlation statistics of the orthogonal dynamics, was numerically verified as a validation of the solved operators. Here we present numerical evidence that the generalized Langevin equation, a key construct in the Mori--Zwanzig formalism, is more advantageous in predicting the evolution of the reduced set of observables than the conventional approximate Koopman operators.

97 MATHEMATICS AND COMPUTING↗

Lattice-Renormalized Tunneling Models for Superconducting Qubit Materials

We present a lattice-renormalized formalism for configurational tunneling two-level systems (TLS) that overcomes limitations of minimum-energy-path and light-particle models. Derived from the nuclear Hamiltonian, our formulation introduces composite phonon coordinates to capture lattice distortions between degenerate potential wells. This approach resolves deficiencies in prior models and enables accurate computation of tunnel splittings and excitation spectra for hydrogen-based TLS in bcc Nb. Our results bound experimental tunnel splittings and reveal strong anharmonic couplings between tunneling atoms and lattice phonons, establishing a direct link between TLS dynamics and phonon-mediated strain interactions. The formalism further generalizes to multi-level systems (MLS), providing insight into defect-induced decoherence in superconducting qubits and guiding strategies for materials design to suppress TLS-related loss.

Pritchard, P. G. [Northwestern U.]↗

Generalizing the relativistic quantization condition to include all three-pion isospin channels

We present a generalization of the relativistic, finite-volume, three-particle quantization condition for non-identical pions in isosymmetric QCD. The resulting formalism allows one to use discrete finite-volume energies, determined using lattice QCD, to constrain scattering amplitudes for all possible values of two- and three-pion isospin. As for the case of identical pions considered previously, the result splits into two steps: the first defines a non-perturbative function with roots equal to the allowed energies, E n (L), in a given cubic volume with side-length L. This function depends on an intermediate three-body quantity, denoted K d f , 3 , which can thus be constrained from lattice QCD in- put. The second step is a set of integral equations relating K d f , 3 to the physical scattering amplitude, M 3 . Both of the key relations, En(L) ↔ K d f , 3 and K d f , 3 &#x2194;<!-- ↔ --> M 3 , are shown to be block-diagonal in the basis of definite three-pion isospin, Iπππ , so that one in fact recovers four independent relations, corresponding to Iπππ = 0, 1, 2, 3. We also provide the generalized threshold expansion of K d f , 3 for all channels, as well as parameterizations for all three-pion resonances present for Iπππ = 0 and Iπππ = 1. As an example of the utility of the generalized formalism, we present a toy implementation of the quantization condition for Iπππ = 0, focusing on the quantum numbers of the ω and h 1 resonances.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Convex optimization of contour deformations

We discuss various formal aspects of contour deformations used to alleviate sign problems; most importantly, relating these contour deformations to a certain convex optimization problem. As a consequence of this connection we describe a general method for proving upper bounds on the average phase achievable by the contour deformation method. Using this method we show that Abelian lattice Yang-Mills in two spacetime dimensions possesses, for many values of the complex coupling, an exponential sign problem that cannot be removed via any contour deformation. Published by the American Physical Society 2024

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Software Verification Toolkit (SVT): Survey on Available Software Verification Tools and Future Direction

Writing software is difficult. However, writing complex, well tested and designed, and functionally correct software is incredibly difficult. An entire field of study is devoted to the validation and verification of software to address this problem, and in this paper we analyze the landscape of currently available third party software. We have divided our analyses into three separate subsections with regards to software validation: formal methods, static analysis, and test generation. Formal verification is the most complex method in which to validate software correctness, but also the most thorough as it truly validates the mathematical validity of the source code. Static analysis generally is relegated to abstract syntax tree traversal techniques to find errors related to faulty software such as memory leaks or stack overflow issues. Automatic test generation is similar in implementation to static analysis, but pushes a bit further in verifying the boundedness of function inputs and outputs with regards to annotated or parsed criteria. The crux of this report is to analyze and describe the software tools that implement these techniques to validate and verify software. Pros and cons related to installation, utilization, and capabilities of the frameworks are described, and reproducible examples are provided with a focus on usability. The initial survey concluded that the most interesting tools of note are Z3, Isabelle/HOL, and TLA+ with regards to formal verification; and Infer, Frama-C, and SonarQube with regards to static analysis. With these tools in mind, a final conjecture is provided that describes future avenues of utilizing these tools for developing a verification framework to assist in validating existing software at Sandia National Laboratories.

97 MATHEMATICS AND COMPUTING↗

A multidimensional study of the structure function ratio $\sigma_{LT'}$/$\sigma_0$ from hard exclusive $\pi^+$ electro-production off protons in the GPD regime

A multidimensional extraction of the structure function ratio σ LT' /σ 0 from the hard exclusive $\vec{e}$p → e'nπ+ reaction above the resonance region has been performed. The study was done based on beam-spin asymmetry measurements using a 10.6 GeV incident electron beam on a liquid-hydrogen target and the CLAS12 spectrometer at Jefferson Lab. The measurements focus on the very forward regime (t/Q 2 $\ll$ 1) with a wide kinematic range of x B in the valence regime (0.17 < x B < 0.55), and virtualities Q 2 ranging from 1.5 GeV 2 up to 6 GeV 2 . The results and their comparison to theoretical models based on Generalized Parton Distributions demonstrate the sensitivity to chiral-odd GPDs and the directly related tensor charge of the nucleon. In addition, the data is compared to an extension of a Regge formalism at high photon virtualities. It was found that the Regge model provides a better description at low Q 2 , while the GPD model is more appropriate at high Q 2 .

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

The Nontrivial Vacuum Structure of an Extended $t\bar{t}$ BEH (Higgs) Bound State

In a recent reformulation of top-quark condensation for the Brout-Englert-Higgs boson, we introduced an extended internal wave-function, $ϕ(r)$. We show how this leads to a manifestly Lorentz invariant formalism, where the absence of ``relative time'' is a gauge invariance of the bilocal field theory. This dictates a novel and nontrivial Lorentz invariant vacuum structure for the BEH boson, the relativistic generalization of a condensed matter state such as a BCS or Bose-Einstein condensate.

Hill, Christopher T. [Fermilab; Wisconsin U., Madi↗

Deformations, relaxation, and broken symmetries in liquids, solids, and glasses: A unified topological field theory

Here, we combine hydrodynamic and field theoretic methods to develop a general theory of phonons as Goldstone bosons in crystals, glasses, and liquids based on nonaffine displacements and the consequent Goldstone phase relaxation. We relate the conservation, or lack thereof, of specific higher-form currents with properties of the underlying deformation field—nonaffinity—which dictates how molecules move under an applied stress or deformation. In particular, the single-valuedness of the deformation field is associated with conservation of higher-form charges that count the number of topological defects. Our formalism predicts, from first principles, the presence of propagating shear waves above a critical wave vector in liquids, thus giving a formal derivation of the phenomenon in terms of fundamental symmetries. The same picture provides also a theoretical explanation of the corresponding “positive sound dispersion” phenomenon for longitudinal sound. Importantly, accordingly to our theory, the main collective relaxation timescale of a liquid or a glass (known as the α relaxation for the latter) is given by the phase relaxation time, which is not necessarily related to the Maxwell time. Finally, we build a nonequilibrium effective action using the in-in formalism defined on the Schwinger-Keldysh contour, that further supports the emerging picture. In summary, our work suggests that the fundamental difference between solids, fluids, and glasses has to be identified with the associated generalized higher-form global symmetries and their topological structure, and that the Burgers vector for the displacement fields serves as a suitable topological order parameter distinguishing the solid (ordered) phase and the amorphous ones (fluids, glasses).

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Casimir effect in Very Special Relativity at finite temperature

Recently a great deal of interest in field theories formulated in a Lorentz violating framework has been developed. Here the Very Special Relativity (VSR) is considered. The main aspect in the VSR proposal is that laws of physics are invariant under the subgroups of the Poincaré group preserving the basic elements of special relativity. An important point is that the photon acquires a mass. In this context, the energy–momentum tensor for the electromagnetic field is calculated. From this, the Stefan–Boltzmann law and Casimir effect at finite temperature in VSR are obtained. The effects of temperature are introduced using the Thermo Field Dynamics (TFD) formalism. A comparative analysis with the Casimir effect for the standard electromagnetic case is developed.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Developing a predictive science of the biosphere requires the integration of scientific cultures

Increasing the speed of scientific progress is urgently needed to address the many challenges associated with the biosphere in the Anthropocene. Consequently, the critical question becomes: How can science most rapidly progress to address large, complex global problems? We suggest that the lag in the development of a more predictive science of the biosphere is not only because the biosphere is so much more complex, or because we do not have enough data, or are not doing enough experiments, but, in large part, because of unresolved tension between the three dominant scientific cultures that pervade the research community. We introduce and explain the concept of the three scientific cultures and present a novel analysis of their characteristics, supported by examples and a formal mathematical definition/representation of what this means and implies. The three cultures operate, to varying degrees, across all of science. However, within the biosciences, and in contrast to some of the other sciences, they remain relatively more separated, and their lack of integration has hindered their potential power and insight. Our solution to accelerating a broader, predictive science of the biosphere is to enhance integration of scientific cultures. The process of integration—Scientific Transculturalism—recognizes that the push for interdisciplinary research, in general, is just not enough. Unless these cultures of science are formally appreciated and their thinking iteratively integrated into scientific discovery and advancement, there will continue to be numerous significant challenges that will increasingly limit forecasting and prediction efforts.

54 ENVIRONMENTAL SCIENCES↗

Role of electromagnetic gauge-field fluctuations in the selection between chiral and nematic superconductivity

Motivated by the observation of nematic superconductivity in several systems, we revisit the problem of the leading pairing instability of two-component unconventional superconductors on the triangular lattice—such as (p x , p y )-wave and (d x 2 –y 2 , d xy )-wave superconductors. Such a system has two possible superconducting states: the chiral state (e.g., p + ip or d + id), which breaks time-reversal symmetry, and the nematic state (e.g., p + p or d + d), which breaks the threefold rotational symmetry of the lattice. Weak-coupling calculations generally favor the chiral over the nematic superconducting state, raising the question of what mechanism can stabilize the latter. Here, we show that the electromagnetic field fluctuations can play a crucial role in selecting between these two states. Specifically, we derive and analyze the effective free energy for the two-component superconducting order parameter after integrating out the gauge-field fluctuations, which is formally justified if the spatial order parameter fluctuations can be neglected. A nonanalytic cubic term arises, as in the case of a conventional s -wave superconductor. However, unlike the latter, the cubic term depends on the relative phase and on the relative amplitudes between the two order parameter components, in such a way that it generally favors the nematic state. This result is a direct consequence of the fact that the stiffness of the superconducting order parameter is not isotropic. Competition with the quartic term, which favors the chiral state, leads to a renormalized phase diagram in which the nematic state displaces the chiral state over a wide region in the parameter space. Here, we analyze the stability of the fluctuation-induced nematic phase, generalize our results to tetragonal lattices, and discuss their applicability to candidate nematic superconductors, including twisted bilayer graphene.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗

Gravitational waveforms: A tale of two formalisms

We revisit the quantum-amplitude-based derivation of the gravitational waveform emitted by the scattering of two spinless massive bodies at the third order in Newton’s constant, ℎ ∼ 𝐺 + 𝐺 2 + 𝐺 3 (one-loop level), and correspondingly update its comparison with its classically derived multipolar-post-Minkowskian counterpart. A spurious-pole-free reorganization of the one-loop five-point amplitude substantially simplifies the post-Newtonian expansion. We find complete agreement between the two results up to the fifth order in the small velocity expansion after taking into account three subtle aspects of the amplitude derivation: (1) in agreement with [A. Georgoudis et al., J. High Energy Phys. 03 (2024) 089], the term quadratic in the amplitude in the observable-based formalism [D. A. Kosower et al., J. High Energy Phys. 02 (2019) 137] generates a frame rotation by half the classical scattering angle; (2) the dimensional regularization of the infrared divergences of the amplitude introduces an additional (𝑑 − 4)/(𝑑 − 4) finite term; and (3) zero-frequency gravitons are found to contribute additional terms both at order ℎ ∼ 𝐺 1 and at order ℎ ∼ 𝐺 3 when including disconnected diagrams in the observable-based formalism.

Astronomy & Astrophysics↗

Surface stress tensor and junction conditions on a rotating null horizon

The general form of the surface stress tensor of an infinitesimally thin shell located on a rotating null horizon is derived, when different interior and exterior geometries are joined there. Even though the induced metric on the surface must be the same approached from either side, the first derivatives of the metric need not be. Such discontinuities lead to a Dirac δ-distribution in the Einstein tensor localized on the horizon. For a general stationary axisymmetric geometry the surface stress tensor can be expressed in terms of two geometric invariants that characterize the surface, namely the discontinuities [κ] and [J] of the surface gravity κ and angular momentum density J. The Komar energy and angular momentum are given in coordinates adapted to the Killing symmetries, and the surface contributions to each determined in terms of [κ] and [J] . Guided by these, a simple modification of the original Israel junction conditions is verified directly from the Einstein tensor density to give the correct finite result for the surface stress, when the normal n to the surface is allowed to tend continuously to a null vector. The relation to Israel’s original junction conditions, which fail on null surfaces, is given. The modified junction conditions are suitable to the matching of a rotating “black hole” exterior to any interior geometry joined at the Kerr null horizon surface, even when the surface normal is itself discontinuous and the Barrabès-Israel formalism is also inapplicable. This joining on a rotating null horizon is purely of the matter shell type and does not contain a propagating gravitational shock wave.

79 ASTRONOMY AND ASTROPHYSICS↗

Surrogate Distributed Radiological Sources—Part II: Aerial Measurement Campaign

In this second part of a multipaper series, we present results from outdoor aerial measurements of surrogate distributed gamma-ray sources. Here we detail the design, manufacture, and testing of 300 individual ~7 mCi Cu-64 sealed sources at the Washington State University (WSU) research reactor and their deployment in various source patterns (each comprising up to 100 point sources) during the aerial measurement campaign. We show the results of two such measurements, in which approximate source shapes and qualitative source intensities can be seen from the count rate versus position plots, even without performing reconstructions. We also detail our efforts in ground-truthing the deployed sources and comparing measured gamma-ray data to model predictions. In particular, we compare measured versus expected count data using the Poisson deviance formalism of Part I to evaluate whether the fielded surrogate point-source arrays “look like” their truly continuous distributed source analogs. More generally, we find that the point-source array technique provides high source placement accuracy, relative ease of quantifying the true source configuration, scalability to source dimensions of ≲100 m, ease of reconfiguration and removal, and relatively low dose to personnel. Finally, we consider potential improvements and generalizations of the point-source array technique for future measurement campaigns.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗

Parameterization of Direct and Doorway Processes in R-Matrix Formalism

R-matrix formalism is extended beyond compound nuclear (CN) resonant reactions to include parameterization of direct as well as doorway processes. Direct processes in the R-matrix exterior are parameterized by a unitary matrix that introduces mixing among wave function coefficients of the incoming and outgoing wave function components at the R-matrix channel surface. Doorway processes are parameterized by separating the Hilbert space of the interior R-matrix region into its doorway and CN subspaces, from which doorway state eigenenergies, reduced width amplitudes, and the strengths of their coupling to CN levels appear as new R-matrix parameters. Parameterization of generalized as well as the conventional Reich–Moore approximation for eliminated capture channels in the presence of direct, doorway, and CN processes is presented along with a complex-valued scattering length with contributions from direct, doorway, and CN capture processes. Derivation of Brune’s alternative R-matrix parameters is extended to include doorway states. This work suggests how R-matrix formalism could be extended further by adopting the concepts from related reaction formalisms.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗

Computational Aspects of Single-Molecule Kinetics for Coupled Catalytic Cycles: A Spectral Analysis

Catalysis from single active sites is analyzed using methods developed from single molecule kinetics. Using a stochastic Markov state description, the observable properties of general catalytic networks of reactions are expressed using an eigenvalue decomposition of the transition matrix for the Markov process. By the use of a sensitivity analysis, the necessary eigenvalues and eigenvectors are related to the energies of controlling barriers and wells located along the reaction routes. A generalization of the energetic span theory allows the eigenvalues to be computed from several activation energies corresponding to distinct barrier-well pairings. The formalism is demonstrated accurately for model problems for a physically realistic mechanism for an alkene hydrogenation reaction on a single atom catalyst.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗