Search NASA⌕ Search

SEARCH · Search NASA

Results for “LIE GROUPS”

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 19 records
All sourcesNASA NTRSDOE OSTI
DOE OSTI2016

A Trotter-Suzuki approximation for Lie groups with applications to Hamiltonian simulation

We present a product formula to approximate the exponential of a skew-Hermitian operator that is a sum of generators of a Lie algebra. The number of terms in the product depends on the structure factors. When the generators have large norm with respect to the dimension of the Lie algebra, or when the norm of the effective operator resulting from nested commutators is less than the product of the norms, the number of terms in the product is significantly less than that obtained from well-known results. We apply our results to construct product formulas useful for the quantum simulation of some continuous-variable and bosonic physical systems, including systems whose potential is not quadratic. For many of these systems, we show that the number of terms in the product can be sublinear or even subpolynomial in the dimension of the relevant local Hilbert spaces, where such a dimension is usually determined by the energy scale of the problem. Our results emphasize the power of quantum computers for the simulation of various quantum systems.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2023

Simultaneous Measurements of Noncommuting Observables: Positive Transformations and Instrumental Lie Groups

We formulate a general program for describing and analyzing continuous, differential weak, simultaneous measurements of noncommuting observables, which focuses on describing the measuring instrument autonomously, without states. The Kraus operators of such measuring processes are time-ordered products of fundamental differential positive transformations, which generate nonunitary transformation groups that we call instrumental Lie groups. The temporal evolution of the instrument is equivalent to the diffusion of a Kraus-operator distribution function, defined relative to the invariant measure of the instrumental Lie group. This diffusion can be analyzed using Wiener path integration, stochastic differential equations, or a Fokker-Planck-Kolmogorov equation. This way of considering instrument evolution we call the Instrument Manifold Program. We relate the Instrument Manifold Program to state-based stochastic master equations. We then explain how the Instrument Manifold Program can be used to describe instrument evolution in terms of a universal cover that we call the universal instrumental Lie group, which is independent not just of states, but also of Hilbert space. The universal instrument is generically infinite dimensional, in which case the instrument’s evolution is chaotic. Special simultaneous measurements have a finite-dimensional universal instrument, in which case the instrument is considered principal, and it can be analyzed within the differential geometry of the universal instrumental Lie group. Principal instruments belong at the foundation of quantum mechanics. We consider the three most fundamental examples: measurement of a single observable, position and momentum, and the three components of angular momentum. As these measurements are performed continuously, they converge to strong simultaneous measurements. For a single observable, this results in the standard decay of coherence between inequivalent irreducible representations. For the latter two cases, it leads to a collapse within each irreducible representation onto the classical or spherical phase space, with the phase space located at the boundary of these instrumental Lie groups.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2025

A Type II Hamiltonian Variational Principle and Adjoint Systems for Lie Groups

We present a novel Type II variational principle on the cotangent bundle of a Lie group which enforces Type II boundary conditions, i.e., fixed initial position and final momentum. In general, such Type II variational principles are only globally defined on vector spaces or locally defined on general manifolds; however, by left translation, we are able to define this variational principle globally on cotangent bundles of Lie groups. Type II boundary conditions are particularly important for adjoint sensitivity analysis, which is our motivating application. As such, we additionally discuss adjoint systems on Lie groups, their properties, and how they can be used to solve optimization problems subject to dynamics on Lie groups.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2016

Coherent states, quantum gravity, and the Born- Oppenheimer approximation. II. Compact Lie groups

In this article, the second of three, we discuss and develop the basis of a Weyl quantisation for compact Lie groups aiming at loop quantum gravity-type models. This Weyl quantisation may serve as the main mathematical tool to implement the program of space adiabatic perturbation theory in such models. As we already argued in our first article, space adiabatic perturbation theory offers an ideal framework to overcome the obstacles that hinder the direct implementation of the conventional Born-Oppenheimer approach in the canonical formulation of loop quantum gravity. Additionally, we conjecture the existence of a new form of the Segal-Bargmann-Hall “coherent state” transform for compact Lie groups G, which we prove for G = U(1){sup n} and support by numerical evidence for G = SU(2). The reason for conjoining this conjecture with the main topic of this article originates in the observation that the coherent state transform can be used as a basic building block of a coherent state quantisation (Berezin quantisation) for compact Lie groups G. But, as Weyl and Berezin quantisation for ℝ{sup 2d} are intimately related by heat kernel evolution, it is natural to ask whether a similar connection exists for compact Lie groups as well. Moreover, since the formulation of space adiabatic perturbation theory requires a (deformation) quantisation as minimal input, we analyse the question to what extent the coherent state quantisation, defined by the Segal-Bargmann-Hall transform, can serve as basis of the former.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2021

Lie group analysis of the point-reactor neutron kinetics equations for various reactivity models

This work applies Lie Group Theory to the nonlinear point-reactor neutron kinetics equations for several reactivity feedback and reactivity insertion models. The goal of this work is to connect known analytical solutions to their corresponding Lie groups as well as to obtain new analytical solutions and the circumstances from which they arise. The reactivity models we consider are the Nordheim-Fuchs Model, an arbitrary-order polynomial reactivity insertion model, and the Fuchs Ramp-Insertion Model. In all three models, we generalize the analysis when possible and obtain analytical solutions in every case. For the first two models, we succeed in finding the Lie groups corresponding to classical solutions and find additional solutions that were otherwise unknown. Finally, for the final model, we obtain a reduced-order nonlinear kinetics equation which is not analytically solvable, but by applying a second-order truncation, we find a novel closed-form solution and demonstrate its validity with a numerical example.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗
DOE OSTI2018

Homomorphisms of Lie Groups

In this paper, the authors describe homomorphisms of Lie groups into the groups u(R) of invertible elements of rings R for a large class of rings R, which contains, in particular, subrings of matrix rings and also Noetherian rings.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2024

Lectures on Lie Group Analysis: Solving Differential Equations Using Symmetries

These notes are meant to be a supplemental reference for the beginner Lie Group Analyst. It is assumed that the reader has a basic concept of the fundamentals of Lie Group Theory (LGT), e.g. has seen the derivation of the infinitesimal generator and understands the mathematical meaning behind invariance. An excellent reference is Albright et al., “Symmetry Analysis of Differential Equations: A Primer,”. The reader is urged to read at least the first three chapters of that document to be able to follow the outset of Chapter 2 of this document. The reader should also have a general understanding of calculus, ordinary differential equations, and partial differential equations.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2010

Parabolic curves in Lie groups

To interpolate a sequence of points in Euclidean space, parabolic splines can be used. These are curves which are piecewise quadratic. To interpolate between points in a (semi-)Riemannian manifold, we could look for curves such that the second covariant derivative of the velocity is zero. We call such curves Jupp and Kent quadratics or JK-quadratics because they are a special case of the cubic curves advocated by Jupp and Kent. When the manifold is a Lie group with bi-invariant metric, we can relate JK-quadratics to null Lie quadratics which arise from another interpolation problem. We solve JK-quadratics in the Lie groups SO(3) and SO(1,2) and in the sphere and hyperbolic plane, by relating them to the differential equation for a quantum harmonic oscillator00.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2015

Correlation functions from a unified variational principle: Trial Lie groups

Time-dependent expectation values and correlation functions for many-body quantum systems are evaluated by means of a unified variational principle. It optimizes a generating functional depending on sources associated with the observables of interest. It is built by imposing through Lagrange multipliers constraints that account for the initial state (at equilibrium or off equilibrium) and for the backward Heisenberg evolution of the observables. The trial objects are respectively akin to a density operator and to an operator involving the observables of interest and the sources. We work out here the case where trial spaces constitute Lie groups. This choice reduces the original degrees of freedom to those of the underlying Lie algebra, consisting of simple observables; the resulting objects are labeled by the indices of a basis of this algebra. Explicit results are obtained by expanding in powers of the sources. Zeroth and first orders provide thermodynamic quantities and expectation values in the form of mean-field approximations, with dynamical equations having a classical Lie–Poisson structure. At second order, the variational expression for two-time correlation functions separates–as does its exact counterpart–the approximate dynamics of the observables from the approximate correlations in the initial state. Two building blocks are involved: (i) a commutation matrix which stems from the structure constants of the Lie algebra; and (ii) the second-derivative matrix of a free-energy function. The diagonalization of both matrices, required for practical calculations, is worked out, in a way analogous to the standard RPA. The ensuing structure of the variational formulae is the same as for a system of non-interacting bosons (or of harmonic oscillators) plus, at non-zero temperature, classical Gaussian variables. This property is explained by mapping the original Lie algebra onto a simpler Lie algebra. The results, valid for any trial Lie group, fulfill consistency properties and encompass several special cases: linear responses, static and time-dependent fluctuations, zero- and high-temperature limits, static and dynamic stability of small deviations.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2013

Quantization maps, algebra representation, and non-commutative Fourier transform for Lie groups

The phase space given by the cotangent bundle of a Lie group appears in the context of several models for physical systems. A representation for the quantum system in terms of non-commutative functions on the (dual) Lie algebra, and a generalized notion of (non-commutative) Fourier transform, different from standard harmonic analysis, has been recently developed, and found several applications, especially in the quantum gravity literature. We show that this algebra representation can be defined on the sole basis of a quantization map of the classical Poisson algebra, and identify the conditions for its existence. In particular, the corresponding non-commutative star-product carried by this representation is obtained directly from the quantization map via deformation quantization. We then clarify under which conditions a unitary intertwiner between such algebra representation and the usual group representation can be constructed giving rise to the non-commutative plane waves and consequently, the non-commutative Fourier transform. The compact groups U(1) and SU(2) are considered for different choices of quantization maps, such as the symmetric and the Duflo map, and we exhibit the corresponding star-products, algebra representations, and non-commutative plane waves.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2019

Lie groups of variable cross-section channel flow

This paper considers Lie groups of scaling transformations for the system of equations governing inviscid, compressible, quasi-one dimensional (quasi-1D) fluid flow in channels with variable cross-section. We determine the coupling between the admissibility of the group transformations and the equation of state (EOS) model used to close the system as well as the spatial and temporal dependence of the channel cross-section. The results presented extend prior group analysis performed in Ovsiannikov and Boyd et al. on the equations of gas dynamics for 1D flow. In the context of channel flow, the analysis in Ovsiannikov and Boyd et al. is only applicable for a very limited scope of channels, namely for channels possessing planar, cylindrical and spherical symmetry where the flow is truly 1D. To illustrate the extension achieved using the quasi-1D model, we consider the classical Noh problem set up in a channel with a variable area cross-section. First, a new set of canonical variables are derived using the admissible scaling transformations. Then, by re-expressing the governing equations of motion in terms of the new variables, a solvable system of ordinary differential equations (ODEs) is acquired. The resulting explicit solutions of the problem extend the previous results of Ramsey et al. to solutions of the Noh problem for quasi-1D flow.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2019

Birational Darboux Coordinates on Nilpotent Coadjoint Orbits of Classical Complex Lie Groups, the Case of 2 × 2 Jordan Blocks

We consider the problem of constructing birational Darboux coordinates on nilpotent coadjoint orbits of the complex Lie groups SO(N, ℂ) and Sp(N, ℂ). The nilpotent case is the most difficult one. Difficulties arise if the Jordan form of matrices from the orbit under consideration contains Jordan blocks of sizes of different parity. The desired coordinates have been found on orbits consisting of matrices with 1 × 1 and 2 × 2 Jordan blocks. Explicit formulas for them are given in the paper.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2019

Exact optical solitons in metamaterials with anti-cubic law of nonlinearity by Lie group method

In this paper, using Lie point symmetry analysis, we study the dynamics of the solitons for the nonlinear Schrodinger’s equation with anti-cubic nonlinearity. Some new doubly periodic solutions are obtained that degenerate to dark and bright soliton solutions. In our of best knowledge, the obtained solutions are new. Those obtained results have important applications in the understanding the nonlinear propagation theory of solitons in metamaterials.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2013

On the reflection type decomposition of the adjoint reduced phase space of a compact semisimple Lie group

We consider a system with symmetries whose configuration space is a compact Lie group, acted upon by inner automorphisms. The classical reduced phase space of this system decomposes into connected components of orbit type subsets. To investigate hypothetical quantum effects of this decomposition one has to construct the associated costratification of the Hilbert space of the quantum system in the sense of Huebschmann. In the present paper, instead of the decomposition by orbit types, we consider the related decomposition by reflection types (conjugacy classes of reflection subgroups). These two decompositions turn out to coincide, e.g., for the classical groups SU(n) and Sp(n). We derive defining relations for reflection type subsets in terms of irreducible characters and discuss how to obtain from that the corresponding costratification of the Hilbert space of the system. To illustrate the method, we give explicit results for some low rank classical groups.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2023

Deep learning symmetries and their Lie groups, algebras, and subalgebras from first principles

Abstract We design a deep-learning algorithm for the discovery and identification of the continuous group of symmetries present in a labeled dataset. We use fully connected neural networks to model the symmetry transformations and the corresponding generators. The constructed loss functions ensure that the applied transformations are symmetries and the corresponding set of generators forms a closed (sub)algebra. Our procedure is validated with several examples illustrating different types of conserved quantities preserved by symmetry. In the process of deriving the full set of symmetries, we analyze the complete subgroup structure of the rotation groups SO (2), SO (3), and SO (4), and of the Lorentz group S O ( 1 , 3 ) . Other examples include squeeze mapping, piecewise discontinuous labels, and SO (10), demonstrating that our method is completely general, with many possible applications in physics and data science. Our study also opens the door for using a machine learning approach in the mathematical study of Lie groups and their properties.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2013

Invariant differential operators for non-compact Lie groups: The main su(n, n) cases

In the present paper we continue the project of systematic construction of invariant differential operators on the example of the non-compact algebras su(n, n). Our choice of these algebras is motivated by the fact that for n = 2 this is the conformal algebra of 4-dimensional Minkowski space-time. Furthermore for general n these algebras belong to a narrow class of algebras, which we call 'conformal Lie algebras', which have very similar properties to the conformal algebras of n{sup 2}-dimensional Minkowski space-time. We give the main multiplets of indecomposable elementary representations for n = 2, 3, 4, including the necessary data for all relevant invariant differential operators.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗