Search NASA⌕ Search

SEARCH · Search NASA

Results for “translational invariance”

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 127 records · Page 7
All sourcesNASA NTRSDOE OSTI
DOE OSTI2024

Precision Computations in Strongly Coupled Conformal Field Theories (Final Technical Report)

Conformal Field Theories (CFTs) are quantum field theories that are invariant under the conformal symmetry group (which includes translations and rotations, but also local rescalings of spacetime). They are building blocks of general quantum field theories, and appear in many areas of physics, including statistical physics, condensed matter physics, particle physics, and quantum gravity. Because of their extra symmetries, the mathematical structure of CFTs is tightly constrained, and this leads to the idea of the ``conformal bootstrap," which is to use these mathematical structures to constrain, and in some cases determine, CFT observables. A new numerical implementation of the conformal bootstrap idea appeared in 2008 with the work of Rattazzi, Rychkov, Tonni, and Vichi. Their observation was that certain bootstrap constraints (conformal symmetry and unitarity) could be combined to yield a convex optimization problem that constraints CFT data. By solving this convex optimization problem on a computer, one could obtain bounds on observables like critical exponents and operator product expansion (OPE) coefficients. Over the course of this award, the PI has improved numerical bootstrap techniques by optimizing known algorithms and finding new ones for performing the required convex optimization computations. The PI has applied these techniques to compute high-precision observables in several important strongly-coupled systems. The PI has also explored both analytical and numerical bootstrap methods for constraining the space of low energy effective field theories of quantum gravity, and developed new analytical techniques for CFT and QFT more broadly.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
NASA NTRS2002

On the validity of the double integrator approximation in deep space formation flying

Free-flying models are commonly used f o r path planning and open loop control design (i. e., guidance design) and translational feedback control design (i. e., control design) for deep space precision formation flying. The free flying model, essentially a double integrator, results from discarding small terms in the relative spacecraft equations of motion. While the magnitude of these discarded terms may be small, one must show that their dynamic effects are small as compared to the precision performance requirements. We do so by deriving a theoretical method for bounding the difference between the solution of a nonlinear truth model of the relative translational spacecraft dynamics and a Simplified linear time-invariant model. Presently, the method incorporates feedforward and static output feedback control. The method is applied to a Terrestrial Planet Finder- based example. Using only feedforward control (guidance) the free-flying model and a Hill- Clohessy- Wiltshire Equations-based model are shown to be accurate to 1 c m for up to 4 and 30 hours, respectively. Also shown is that the simplest free-flying model may not be sufficient for low-gain feedback control design-closed-loop tracking errors can be as large as 8 meters.

formation flying free flying model double integrat↗
DOE OSTI2023

Finding simplicity: unsupervised discovery of features, patterns, and order parameters via shift-invariant variational autoencoders *

Abstract Recent advances in scanning tunneling and transmission electron microscopies (STM and STEM) have allowed routine generation of large volumes of imaging data containing information on the structure and functionality of materials. The experimental data sets contain signatures of long-range phenomena such as physical order parameter fields, polarization, and strain gradients in STEM, or standing electronic waves and carrier-mediated exchange interactions in STM, all superimposed onto scanning system distortions and gradual changes of contrast due to drift and/or mis-tilt effects. Correspondingly, while the human eye can readily identify certain patterns in the images such as lattice periodicities, repeating structural elements, or microstructures, their automatic extraction and classification are highly non-trivial and universal pathways to accomplish such analyses are absent. We pose that the most distinctive elements of the patterns observed in STM and (S)TEM images are similarity and (almost-) periodicity, behaviors stemming directly from the parsimony of elementary atomic structures, superimposed on the gradual changes reflective of order parameter distributions. However, the discovery of these elements via global Fourier methods is non-trivial due to variability and lack of ideal discrete translation symmetry. To address this problem, we explore the shift-invariant variational autoencoders (shift-VAEs) that allow disentangling characteristic repeating features in the images, their variations, and shifts that inevitably occur when randomly sampling the image space. Shift-VAEs balance the uncertainty in the position of the object of interest with the uncertainty in shape reconstruction. This approach is illustrated for model 1D data, and further extended to synthetic and experimental STM and STEM 2D data. We further introduce an approach for training shift-VAEs that allows finding the latent variables that comport to known physical behavior. In this specific case, the condition is that the latent variable maps should be smooth on the length scale of the atomic lattice (as expected for physical order parameters), but other conditions can be imposed. The opportunities and limitations of the shift VAE analysis for pattern discovery are elucidated.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2022

Reentrant Correlated Insulators in Twisted Bilayer Graphene at 25 T ( 2 π Flux)

Twisted bilayer graphene (TBG) is remarkable for its topological flat bands, which drive strongly interacting physics at integer fillings, and its simple theoretical description facilitated by the Bistritzer-MacDonald Hamiltonian, a continuum model coupling two Dirac fermions. Because of the large moiré unit cell, TBG offers the unprecedented opportunity to observe reentrant Hofstadter phases in laboratory-strength magnetic fields near 25 T. This Letter is devoted to magic angle TBG at 2π flux where the magnetic translation group commutes. Here we use a newly developed gauge-invariant formalism to determine the exact single-particle band structure and topology. We find that the characteristic TBG flat bands reemerge at 2π flux, but, due to the magnetic field breaking C 2z T, they split and acquire Chern number ±1. We show that reentrant correlated insulating states appear at 2π flux driven by the Coulomb interaction at integer fillings, and we predict the characteristic Landau fans from their excitation spectrum.

36 MATERIALS SCIENCE↗
DOE OSTI2021

On the canonical formulation of gauge field theories and Poincaré transformations

We address the Hamiltonian formulation of classical gauge field theories while putting forward results some of which are not entirely new, though they do not appear to be well known. We refer in particular to the fact that neither the canonical energy momentum vector ( P μ ) nor the gauge invariant energy momentum vector ( P inv μ ) do generate space-time translations of the gauge field by means of the Poisson brackets: In a general gauge, one has to consider the so-called kinematical energy momentum vector and, in a specific gauge (like the radiation gauge in electrodynamics), one has to consider the Dirac brackets rather than the Poisson brackets. Similar arguments apply to rotations and to Lorentz boosts and are of direct relevance to the “nucleon spin crisis” since the spin of the proton involves a contribution which is due to the angular momentum vector of gluons and thereby requires a proper treatment of the latter. We conclude with some comments on the relationships between the different approaches to quantization (canonical quantization based on the classical Hamiltonian formulation, Gupta-Bleuler, path integrals, BRST, covariant canonical approaches).

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗
DOE OSTI2020

Searching for anisotropic cosmic birefringence with polarization data from SPTpol

In this paper, we present a search for anisotropic cosmic birefringence in 500 deg 2 of southern sky observed at 150 GHz with the SPTpol camera on the South Pole Telescope. We reconstruct a map of cosmic polarization rotation anisotropies using higher-order correlations between the observed cosmic microwave background (CMB) E and B fields. We then measure the angular power spectrum of this map, which is found to be consistent with zero. The nondetection is translated into an upper limit on the amplitude of the scale-invariant cosmic rotation power spectrum, L ( L + 1 ) C L α α / 2 π < 0.10 × 10 – 4 rad 2 ( 0.033 deg 2 , 95% C.L.). This upper limit can be used to place constraints on the strength of primordial magnetic fields, B 1 Mpc < 17 nG (95% C.L.), and on the coupling constant of the Chern-Simons electromagnetic term g a γ < 4.0 × 10 – 2 / H I (95% C.L.), where H I is the inflationary Hubble scale. For the first time, we also cross-correlate the CMB temperature fluctuations with the reconstructed rotation angle map, a signal expected to be nonvanishing in certain theoretical scenarios, and find no detectable signal. We perform a suite of systematics and consistency checks and find no evidence for contamination.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
NASA NTRS1988

Research In Optical Processing Of Data

Report describes current research in optical processing of data at NASA's Ames Research Center. Describes advanced optical feature extractor performing Fourier-Mellin transform to generate feature vector invariant under changes of scale and position and responds to rotation with simple translation. Potential advantages include high speed and low cost.

Ennis, David↗
DOE OSTI2024

Gauging staggered fermion shift symmetries

Staggered fermion shift symmetries correspond to translations of the fermion field within the unit cell of a hypercubic lattice. They satisfy an algebra and in four Euclidean dimensions can be related to a discrete subgroup of an S U ( 4 ) flavor symmetry which plays a crucial role in showing that staggered fermions lead to a theory of four degenerate Dirac fermions in the continuum limit. They are associated with the appearance of certain Z 2 valued global parameters. We propose a strategy to try to partially gauge these translation symmetries by allowing these parameters to vary locally in the lattice. To maintain invariance of the action requires the addition of Z 2 valued higher form lattice gauge fields. An analogous procedure can be carried out for reduced staggered fermions where the shifts correspond to a discrete subgroup of an S O ( 4 ) flavor symmetry. Published by the American Physical Society 2024

Catterall, Simon (ORCID:0000000327352682)↗
DOE OSTI2020

River Dynamics Control Transit Time Distributions and Biogeochemical Reactions in a Dam-Regulated River Corridor

Residence Time Distributions (RTDs) exert an important control on biogeochemical translation in the hydrological systems. Previous tracer studies have revealed that RTDs often followed time-invariant exponential, lognormal, or heavy-tailed RTDs that have power-law behavior for long tails in headwater or low-order streams. However, there is a recognition that RTDs can be more complicated and time-variable in response to dynamic hydrological forcing. Here, we use particle tracking to estimate RTDs along the Hanford Reach of the Columbia River and to quantify the influences of river stage fluctuations. Particle tracking is conducted using the velocity field from high-resolution 3D groundwater flow simulations. The effects of hydrological forcing on the residence time distribution were evaluated by varying river flow boundary conditions and releasing particles in different time windows. Our results revealed that dynamic stage fluctuations created rapidly changing losing-gaining conditions in the river and led to highly transient RTDs, which contributes to multiple modes of RTDs. Dam-induced high-frequency (sub-daily) flow variation contributes to the short-time (sub-daily) component of the RTDs. Deviation of the reactant consumption under the single-mode assumption compared to the multimodal RTDs is relatively small (~5%) and appears when the Damköhler number was close to one.More specifically, high-frequency (daily) dam-induced stage variations have higher impacts on biogeochemical reactions with faster reaction rate, and can potentially increase the reactant consumption by 26.68%. Based on these findings, we suggest that current river basin models could be improved by including bank storage and more complex RTDs influenced by both short and long term river stage fluctuations.

54 ENVIRONMENTAL SCIENCES↗
DOE OSTI2020

Comparing light-front quantization with instant-time quantization

Here in this paper we compare light-front quantization and instant-time quantization both at the level of operators and at the level of their Feynman diagram matrix elements. At the level of operators light-front quantization and instant-time quantization lead to equal light-front time commutation (or anticommutation) relations that appear to be quite different from equal instant-time commutation (or anticommutation) relations. Despite this we show that at unequal times instant-time and light-front commutation (or anticommutation) relations actually can be transformed into each other, with it only being the restriction to equal times that makes the commutation (or anticommutation) relations appear to be so different. While our results are valid for both bosons and fermions, for fermions there are subtleties associated with tip of the light cone contributions that need to be taken care of. At the level of Feynman diagrams we show for non-vacuum Feynman diagrams that the pole terms in four-dimensional light-front Feynman diagrams reproduce the widely used three-dimensional light-front on-shell Hamiltonian Fock space formulation in which the light-front energy and light-front momentum are on shell. Moreover, we show that the contributions of pole terms in non-vacuum instant-time and non-vacuum light-front Feynman diagrams are equal. However, because of circle at infinity contributions we show that this equivalence of pole terms fails for four-dimensional light-front vacuum tadpole diagrams. Then, and precisely because of these circle at infinity contributions, we show that light-front vacuum tadpole diagrams are not only nonzero, they quite remarkably are actually equal to the pure pole term instant-time vacuum tadpole diagrams. Light-front vacuum diagrams are not correctly describable by the on-shell Hamiltonian formalism, and thus not by the closely related infinite momentum frame prescription either. Thus for the light-front vacuum sector we must use the off-shell Feynman formalism as it contains information that is not accessible in the on-shell Hamiltonian Fock space approach. We show that light-front quantization is intrinsically nonlocal, and that for fermions this nonlocality is present in Ward identities. One can project fermion spinors into so-called good and bad components, and both of these components contribute in Ward identities. Central to our analysis is that the transformation from instant-time coordinates and fields to light-front coordinates and fields is a unitary, spacetime-dependent translation. Consequently, not only are instant-time quantization and light-front quantization equivalent, because of general coordinate invariance they are unitarily equivalent.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
NASA NTRS1993

Three-dimensional object recognition using similar triangles and decision trees

A system, TRIDEC, that is capable of distinguishing between a set of objects despite changes in the objects' positions in the input field, their size, or their rotational orientation in 3D space is described. TRIDEC combines very simple yet effective features with the classification capabilities of inductive decision tree methods. The feature vector is a list of all similar triangles defined by connecting all combinations of three pixels in a coarse coded 127 x 127 pixel input field. The classification is accomplished by building a decision tree using the information provided from a limited number of translated, scaled, and rotated samples. Simulation results are presented which show that TRIDEC achieves 94 percent recognition accuracy in the 2D invariant object recognition domain and 98 percent recognition accuracy in the 3D invariant object recognition domain after training on only a small sample of transformed views of the objects.

Spirkovska, Lilly↗
DOE OSTI2020

Solidity without inhomogeneity: perfectly homogeneous, weakly coupled, UV-complete solids

Solid-like behavior at low energies and long distances is usually associated with the spontaneous breaking of spatial translations at microscopic scales, as in the case of a lattice of atoms. We exhibit three quantum field theories that are renormalizable, Poincaré invariant, and weakly coupled, and that admit states that on the one hand are perfectly homogeneous down to arbitrarily short scales, and on the other hand have the same infrared dynamics as isotropic solids. All three examples presented here lead to the same peculiar solid at low energies, featuring very constrained interactions and transverse phonons that always propagate at the speed of light. In particular, they violate the well known c$^2_L$>$\frac{4}{3}$c$^2_T$ bound, thus showing that it is possible to have a healthy renormalizable theory that at low energies exhibits a negative bulk modulus (we discuss how the associated instabilities are absent in the presence of suitable boundary conditions). We do not know whether such peculiarities are unavoidable features of large scale solid-like behavior in the absence of short scale inhomogeneities, or whether they simply reflect the limits of our imagination.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2022

Enforcing detailed balance in the Borgnakke–Larsen redistribution method with temperature dependent relaxation models

For decades, it has been observed that the commonly used Borgnakke–Larsen method for energy redistribution in Direct Simulation Monte Carlo codes fails to satisfy the principle of detailed balance when coupled to a wide variety of temperature dependent relaxation models, while seemingly satisfying detailed balance when coupled to others. Many attempts have been made to remedy the issue, yet much ambiguity remains, and no consensus appears in the literature regarding the root cause of the intermittent compatibility of the Borgnakke–Larsen method with temperature dependent relaxation models. This paper alleviates that ambiguity by presenting a rigorous theoretical derivation of the Borgnakke–Larsen method's requirement for satisfying detailed balance. Specifically, it is shown that the Borgnakke–Larsen method maintains detailed balance if and only if the probability of internal-energy exchange during a collision depends only on collision invariants (e.g., total energy). Here, the consequences of this result are explored in the context of several published definitions of relaxation temperature, including translational, total, and cell-averaged temperatures. Of particular note, it is shown that cell-averaged temperatures, which have been widely discussed in the literature as a way to ensure equilibrium is reached, also fail in a similar, although less dramatic, fashion when the aforementioned relationship is not enforced. The developed theory can be used when implementing existing or new relaxation models and will ensure that detailed balance is satisfied.

74 ATOMIC AND MOLECULAR PHYSICS↗
DOE OSTI2021

Gauge-symmetrization method for energy-momentum tensors in high-order electromagnetic field theories

For electromagnetic field theories, canonical energy-momentum conservation laws can be derived from the underpinning spacetime translation symmetry according to the Noether procedure. However, the canonical energy-momentum tensors (EMTs) are neither symmetric nor gauge-symmetric (gauge invariant). The Belinfante-Rosenfeld (BR) method is a well-known procedure to symmetrize the EMTs, which also renders them gauge symmetric for first-order field theories. High-order electromagnetic field theories appear in the study of gyrokinetic systems for magnetized plasmas and the Podolsky system for the radiation reaction of classical charged particles. For these high-order field theories, gauge-symmetric EMTs are not necessarily symmetric and vice versa. In the present study, we develop a new gauge-symmetrization method for EMTs in high-order electromagnetic field theories. The Noether procedure is carried out using the Faraday tensor $F_{μν}$, instead of the 4-potential $A_{μ}$, to derive a canonical EMT $T^{μν}_{N}$. We show that the gauge-dependent part of $T^{μν}_{N}$ can be removed using the displacement-potential tensor $F^{σμν}$ ≡ $D^{σμ}A^{ν}/4π$, where $D^{σμ}$ is the antisymmetric electric displacement tensor. This method gauge-symmetrizes the EMT without necessarily making it symmetric, which is adequate for applications not involving general relativity. For first-order electromagnetic field theories, such as the standard Maxwell system, $F^{σμν}$ reduces to the familiar BR superpotential $S^{σμν}$, and the method developed can be used as a simpler procedure to calculate $S^{σμν}$ without employing the angular momentum tensor in 4D spacetime. When the electromagnetic system is coupled to classical charged particles, the gauge-symmetrization method for EMTs is shown to be effective as well.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗
NASA NTRS1999

A Scale-Invariant Model of Statistical Mechanics and Modified Forms of the First and the Second Laws of Thermodynamics

A scale-invariant statistical theory of fields is presented that leads to invariant definition of density, velocity, temperature, and pressure, The definition of Boltzmann constant is introduced as k(sub k) = m(sub k)v(sub k)c = 1.381 x 10(exp -23) J x K(exp -1), suggesting that the Kelvin absolute temperature scale is equivalent to a length scale. Two new state variables called the reversible heat Q(sub rev) = TS and the reversible work W(sub rev) = PV are introduced. The modified forms of the first and second law of thermodynamics are presented. The microscopic definition of heat (work) is presented as the kinetic energy due to the random (peculiar) translational, rotational, and pulsational motions. The Gibbs free energy of an element at scale Beta is identified as the total system energy at scale (Beta-1), thus leading to an invariant form of the first law of thermodynamics U(sub Beta) = Q(sub Beta) - W(sub Beta) +N(e3)U(sub Beta-1).

Sohrab, Siavash H.↗
DOE OSTI2021

Discovery of a weak topological insulating state and van Hove singularity in triclinic RhBi2

Abstract Time reversal symmetric (TRS) invariant topological insulators (TIs) fullfil a paradigmatic role in the field of topological materials, standing at the origin of its development. Apart from TRS protected strong TIs, it was realized early on that more confounding weak topological insulators (WTI) exist. WTIs depend on translational symmetry and exhibit topological surface states only in certain directions making it significantly more difficult to match the experimental success of strong TIs. We here report on the discovery of a WTI state in RhBi 2 that belongs to the optimal space group P $$\bar{1}$$ 1 ¯ , which is the only space group where symmetry indicated eigenvalues enumerate all possible invariants due to absence of additional constraining crystalline symmetries. Our ARPES, DFT calculations, and effective model reveal topological surface states with saddle points that are located in the vicinity of a Dirac point resulting in a van Hove singularity (VHS) along the (100) direction close to the Fermi energy ( E F ). Due to the combination of exotic features, this material offers great potential as a material platform for novel quantum effects.

36 MATERIALS SCIENCE↗
NASA NTRS2014

Analyzing Array Manipulating Programs by Program Transformation

We explore a transformational approach to the problem of verifying simple array-manipulating programs. Traditionally, verification of such programs requires intricate analysis machinery to reason with universally quantified statements about symbolic array segments, such as "every data item stored in the segment A[i] to A[j] is equal to the corresponding item stored in the segment B[i] to B[j]." We define a simple abstract machine which allows for set-valued variables and we show how to translate programs with array operations to array-free code for this machine. For the purpose of program analysis, the translated program remains faithful to the semantics of array manipulation. Based on our implementation in LLVM, we evaluate the approach with respect to its ability to extract useful invariants and the cost in terms of code size.

Program Transformation↗
NASA NTRS2000

Hierarchical motion organization in random dot configurations

Motion organization has 2 aspects: the extraction of a (moving) frame of reference and the hierarchical organization of moving elements within the reference frame. Using a discrimination of relative motions task, the authors found large differences between different types of motion (translation, divergence, and rotation) in the degree to which each can serve as a moving frame of reference. Translation and divergence are superior to rotation. There are, however, situations in which rotation can serve as a reference frame. This is due to the presence of a second factor, structural invariants (SIs). SIs are spatial relationships persisting among the elements within a configuration such as a collinearity among points or one point coinciding with the center of rotation for another (invariant radius). The combined effect of these 2 factors--motion type and SIs-influences perceptual motion organization.

NASA Discipline Space Human Factors↗