Search NASA⌕ Search

SEARCH · Search NASA

Results for “Symmetry algebra”

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 163 records · Page 9

The importance of Noether's theorem for the way we think today

In the summer of 1918, German mathematician Emmy Noether published the two-part theorem that now bears her name, establishing profound connections between symmetries and conservation laws and between symmetries and interactions. These insights exert a pervasive influence in physics; they give meaning to conservation laws that elevates them beyond useful empirical rules, and they underlie all our theories of the fundamental interactions. In Noether's later career, her papers, lectures, and personal interactions with students and colleagues drove the development of abstract algebra, establishing her in the pantheon of twentieth-century mathematicians.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Bifurcation and post-buckling analysis of laminated composite plates via reduced basis technique

A reduced basis technique and a problem-adaptive computational algorithm are presented for the bifurcation and post-buckling analysis of laminated anisotropic plates. The computational algorithm can be conveniently divided into three distinct stages. The first stage is that of determining the bifurcation point. The plate is discretized by using displacement finite element (or finite difference) models. The special symmetries exhibited by the response of the anisotropic plate are used to reduce the size of the analysis region. The vector of unknown nodal parameters is expressed as a linear combination of a small number of basis vectors, and a Rayleigh-Ritz technique is used to approximate the finite element equations by a small system of algebraic equations. The reduced equations are used to determine the bifurcation point and the associated eigenmode of the panel. In the second stage of the bifurcation buckling mode is used to obtain a nonlinear solution in the vicinity of the bifurcation point and new (updated) sets of basis vectors and reduced equations are generated. In the third stage the reduced equations are used to trace the post-buckling paths. The effectiveness of the proposed technique for predicting the bifurcation and post-buckling behavior of plates is demonstrated by means of numerical examples for plates loaded by means of prescribed edge displacements.

Noor, A. K.↗

Skew-Symmetric adjacency matrices for clustering directed graphs

Graph clustering methods often critically rely on the symmetry of graph matrices. Developing analogous methods for digraphs often proves more challenging, because digraph matrices are typically asymmetric and not orthogonally diagonalizable. However, researchers have recently proposed several complex-valued Hermitian digraph matrices. In particular, one such representation has been utilized as an input to an algorithm for finding imbalanced cuts. In this work, we establish an algebraic relationship between this matrix and an associated real-valued matrix. We show using this real-valued matrix for imbalanced cut-finding algorithms is not only sufficient but advantageous. Our algorithm uses less memory and asymptotically less computation while provably preserving solution quality. We also show our method can be easily implemented using standing computational building blocks, possesses better numerical properties, and loans itself to a natural interpretation via an objective function relaxation argument. We empirically demonstrate these advantages on real world data sets and show how our algorithm can uncover meaningful cluster structure.

Hayashi, Koby↗

Non-invertible symmetries in finite-group gauge theory

We investigate the invertible and non-invertible symmetries of topological finite-group gauge theories in general spacetime dimensions, where the gauge group can be abelian or non-abelian. We focus in particular on the 0-form symmetry. The gapped domain walls that generate these symmetries are specified by boundary conditions for the gauge fields on either side of the wall. We investigate the fusion rules of these symmetries and their action on other topological defects including the Wilson lines, magnetic fluxes, and gapped boundaries. We illustrate these constructions with various novel examples, including non-invertible electric-magnetic duality symmetry in 3+1d \mathbb{Z}_2 ℤ 2 gauge theory, and non-invertible analogs of electric-magnetic duality symmetry in non-abelian finite-group gauge theories. In particular, we discover topological domain walls that obey Fibonacci fusion rules in 2+1d gauge theory with dihedral gauge group of order 8. We also generalize the Cheshire string defect to analogous defects of general codimensions and gauge groups and show that they form a closed fusion algebra.

Córdova, Clay↗

Symbolic computation of recurrence equations for the Chebyshev series solution of linear ODE's

If a linear ordinary differential equation with polynomial coefficients is converted into integrated form then the formal substitution of a Chebyshev series leads to recurrence equations defining the Chebyshev coefficients of the solution function. An explicit formula is presented for the polynomial coefficients of the integrated form in terms of the polynomial coefficients of the differential form. The symmetries arising from multiplication and integration of Chebyshev polynomials are exploited in deriving a general recurrence equation from which can be derived all of the linear equations defining the Chebyshev coefficients. Procedures for deriving the general recurrence equation are specified in a precise algorithmic notation suitable for translation into any of the languages for symbolic computation. The method is algebraic and it can therefore be applied to differential equations containing indeterminates.

Geddes, K. O.↗

Spinbox: tools for many-body quantum systems in a Monte Carlo context

Spinbox is a piece of software that facilitates quantum mechanical calculations relevant to Monte Carlo simulation of atomic nuclei. At the front lines of research on the nuclear many-body problem are a large number of supercomputer-scale simulation codes. These codes produce valuable results but can be hard to understand, especially for those without intimate knowledge of the relevant theoretical methods. Thus, tools that fill pedagogical roles are extremely valuable. Spinbox makes it easy for one to replicate and analyze the computational processes relevant to a Quantum Monte Carlo (QMC) simulation that may be difficult to understand/debug/analyze due to the scale of the corresponding simulation software. Spinbox is written in Python using other state-of-the-art Python modules for numerical calculations. While a number of Python libraries exist that are suited to general quantum many-body calculations, the motivation of Spinbox is quite particular. In Diffusion Monte Carlo methods (DMC, GFMC, AFDMC), the central calculation is the imaginary-time propagation of individual samples of the many-body wavefunction. Although quantum wavefunctions generally must be described by a probability distribution over a basis, DMC imbues particles (within one sample) with classical spatial coordinates. This method is unusual, so other Python packages are typically not set up to do this easily. Furthermore, the software has built-in options for nuclear systems assuming isospin symmetry, which can be set up with other libraries but is a nontrivial process to do so. Features: - numerical representation of samples of the many-body wavefunctions, including tensor-product states (used in AFDMC) - numerical representation of many-body operators, including tensor-product operators: general, spin, imaginary-time propagation, etc. - the correct associated arithmetic and algebra, implemented as class methods - classes for representing realistic nuclear two- and three-body Hamiltonians (e.g. Argonne V18, Illinois NNN) - large-scale parallel integration over random variables, crucial for the AFDMC method My goal is to make this package open source so that anyone may use it and contribute to it, particularly other researchers doing AFDMC calculations

Fox, Jordan↗

Noncompact atomic insulators

Here we study the conditions for Bloch bands to be spanned by symmetric and strictly compact Wannier states that have zero overlap with all lattice sites beyond a certain range. Similar to the characterization of topological insulators in terms of an algebraic (rather than exponential) localization of Wannier states, we find that there may be impediments to the compact localization even of topologically “trivial” obstructed atomic insulators. These insulators admit exponentially localized Wannier states centered at unoccupied orbitals of the crystalline lattice. First, we establish a sufficient condition for an insulator to have a compact representative. Second, for $\mathscr{C}_2$ rotational symmetry, we prove that the complement of fragile topological bands cannot be compact, even if it is an atomic insulator. Third, for $\mathscr{C}_4$ symmetry, our findings imply that there exist fragile bands with zero correlation length. Fourth, for a $\mathscr{C}_3$-symmetric atomic insulator, we explicitly derive that there are no compact Wannier states overlapping with less than 18 lattice sites. We conjecture that this obstruction generalizes to all finite Wannier sizes. Our results can be regarded as the stepping stone to a generalized theory of Wannier states beyond dipole or quadrupole polarization.

36 MATERIALS SCIENCE↗

Introducing a Degree of Freedom in the Family of Generalized Logarithmic Spirals

The versatility of the family of generalized logarithmic spirals is improved by introducing a degree of freedom in the solution. The low-thrust acceleration profile now includes a control term that affects both the magnitude and the direction of the thrust. Exact and fully analytic solutions to the trajectory, the velocity, the time of flight, etc. are made available. Two integrals of motion are preserved. The first one is a generalization of the equation of the energy and depends on the values of the control parameter. The second one relates to the equation of the angular momentum. The problem of finding spiral transfers between two arbitrary state vectors reduces to solving one algebraic equation with one unknown. The degree of freedom allows fixing the time of flight of the transfer. If the time of flight is fixed, then there are two equations with two unknowns. No other iterative procedures are required. Coast arcs can be introduced in the solution naturally. An explicit expression for the maximum acceleration reached along the transfer is provided. Thanks to the symmetry properties of the solution a simple algorithm for generating periodic orbits is presented. An arbitrary number of intermediate nodes can be introduced to improve the flexibility of the solution when facing optimization problems. An example of a low-thrust gravity-assist Earth-Mars-Ceres trajectory shows that the solution is comparable to that obtained with other preliminary design techniques.

Roa, Javier↗

Supersymmetry and the celestial Jacobi identity

In this paper we study the simplifying effects of supersymmetry on celestial OPEs at both tree and loop level. We find at tree level that theories with unbroken supersymmetry around a stable vacuum have celestial soft current algebras satisfying the Jacobi identity, and we show at one loop that celestial OPEs in these theories have no double poles.

Supersymmetric Gauge Theory↗

Universal spin dynamics in infinite-temperature one-dimensional quantum magnets

Here, we address the nature of spin dynamics in various integrable and non-integrable, isotropic and anisotropic quantum spin-$S$ chains, beyond the paradigmatic $S=1/2$ Heisenberg model. In particular, we investigate the algebraic long-time decay $\propto t^{-1/z}$ of the spin-spin correlation function at infinite temperature, using state-of-the-art simulations based on tensor network methods. We identify three universal regimes for the spin transport, independent of the exact microscopic model: (i) superdiffusive with $z=3/2$, as in the Kardar-Parisi-Zhang universality class, when the model is integrable with extra symmetries such as spin isotropy that drive the Drude weight to zero, (ii) ballistic with $z=1$ when the model is integrable with a finite Drude weight, and (iii) diffusive with $z=2$ with easy-axis anisotropy or without integrability, at variance with previous observations.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

BMS symmetry via AdS/CFT

With a view to understanding extended-BMS symmetries in the framework of the AdS 4 /CFT 3 correspondence, asymptotically AdS geometries are constructed with null impulsive shockwaves involving a discontinuity in superrotation parameters. The holographic dual is proposed to be a two-dimensional Euclidean defect conformal field localized on a particular timeslice in a three-dimensional conformal field theory on de Sitter spacetime. The defect conformal field theory generates a natural action of the Virasoro algebra. The large radius of curvature limit ℓ → ∞ yields spacetimes with nontrivial extended-BMS charges corresponding to a single set of Virasoro charges.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Evaluation of expressions involving higher order derivations

The local geometric properties of a nonlinear control system defined by vector fields E(sub 1),..., E(sub M) are determined by the algebraic properties of the iterated Lie brackets of the E(sub j)'s. The problem of rewriting expressions is examined involving the E(sub j)'s in terms of the D(sub mu)'s in such a way as to handle effectively any cancellation occurring due to commuting of the D(sub mu)'s. A data structure is introduced which allows us to organize the computation to take advantage of the symmetries in the expression and reduce the operation count.

Grossman, Robert↗

Loop-level double-copy for massive fermions in the fundamental

We find that unitarity cuts and the duality between color and kinematics are sufficient constraints to bootstrap D-dimensional QCD scattering amplitudes starting from three-particle tree-level. Specifically, we calculate tree level amplitudes through six-points, as well as the four-point one-loop correction for massive fermions in the fundamental representation of the gauge group — constructing a color-dual representation of the latter for the first time. To do so we clarify a prescription for functional kinematic ansatze involving fermionic matter. The advantages of color-dual calculation, familiar from particles in the adjoint, also apply here: only a small number of basis topologies must be constrained via physical information of the theory, and algebraic relations propagate this to a full solution. As all the QCD amplitudes we construct here are color-dual, they trivially generate D-dimensional amplitudes in gravitational theories via double-copy construction.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Acoustic Energy Estimates in Inhomogeneous Moving Media

In ducted fan engine noise research, there is a need for defining a simple and easy to use acoustic energy conservation law to help in quantification of noise control techniques. There is a well known conservation law relating acoustic energy and acoustic energy flux in the case of an isentropic irrotational flow. Several different approaches have been taken to generalize this conservation law. For example, Morfey finds an identity by separating out the irrotational part of the perturbed flow. Myers is able to find a series of indentities by observing an algebraic relationship between the basic conservation of energy equation for a background flow and the underlying equations of motion. In an approximate sense, this algebraic relationship is preserved under perturbation. A third approach which seems to have not been pursued in the literature is a result known as Noether's theorem. There is a Lagrangian formulation for the Euler equation of fluid mechanics. Noether's theorem says that any group action that leaves the Lagrangian action invariant leads to a conserved quantity. This presentation will include a survey of current results regarding acoustic energy and preliminary results on the symmetries of the Lagrangian.

Farassat, F.↗

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↗

Effective field theories as Lagrange spaces

We present a formulation of scalar effective field theories in terms of the geometry of Lagrange spaces. The horizontal geometry of the Lagrange space generalizes the Riemannian geometry on the scalar field manifold, inducing a broad class of affine connections that can be used to covariantly express and simplify tree-level scattering amplitudes. Meanwhile, the vertical geometry of the Lagrange space characterizes the physical validity of the effective field theory, as a torsion component comprises strictly higher-point Wilson coefficients. Imposing analyticity, unitarity, and symmetry on the theory then constrains the signs and sizes of derivatives of the torsion component, implying that physical theories correspond to a special class of vertical geometry.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Observability and Estimation of Distributed Space Systems via Local Information-Exchange Networks

In this work, we develop an approach to formation estimation by explicitly characterizing formation's system-theoretic attributes in terms of the underlying inter-spacecraft information-exchange network. In particular, we approach the formation observer/estimator design by relaxing the accessibility to the global state information by a centralized observer/estimator- and in turn- providing an analysis and synthesis framework for formation observers/estimators that rely on local measurements. The noveltyof our approach hinges upon the explicit examination of the underlying distributed spacecraft network in the realm of guidance, navigation, and control algorithmic analysis and design. The overarching goal of our general research program, some of whose results are reported in this paper, is the development of distributed spacecraft estimation algorithms that are scalable, modular, and robust to variations inthe topology and link characteristics of the formation information exchange network. In this work, we consider the observability of a spacecraft formation from a single observation node and utilize the agreement protocol as a mechanism for observing formation states from local measurements. Specifically, we show how the symmetry structure of the network, characterized in terms of its automorphism group, directly relates to the observability of the corresponding multi-agent system The ramification of this notion of observability over networks is then explored in the context of distributed formation estimation.

observability↗