Search NASA⌕ Search

SEARCH · Search NASA

Results for “Computer 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 145 records · Page 8

Fundamental length from algebra

Advances in physics have required the application of more and more sophisticated mathematics. I present arguments supporting the contention that the next advance beyond quantum field theory will require the application of a non-associative algebra. The principle observable effect would be the appearance of a fundamental length. An experimental search for such an effect may be feasible.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

G-equivariant {phi}-coordinated quasi modules for quantum vertex algebras

This is a paper in a series to study quantum vertex algebras and their relations with various quantum algebras. In this paper, we introduce a notion of T-type quantum vertex algebra and a notion of G-equivariant {phi}-coordinated quasi module for a T-type quantum vertex algebra with an automorphism group G. We refine and extend several previous results and we obtain a commutator formula for G-equivariant {phi}-coordinated quasi modules. As an illustrating example, we study a special case of the deformed Virasoro algebra Vir{sub p,q} with q=-1, to which we associate a Clifford vertex superalgebra and its G-equivariant {phi}-coordinated quasi modules.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Existence of standard models of conic fibrations over non-algebraically-closed fields

We prove an analogue of Sarkisov's theorem on the existence of a standard model of a conic fibration over an algebraically closed field of characteristic different from two for three-dimensional conic fibrations over an arbitrary field of characteristic zero with an action of a finite group. Bibliography: 16 titles.

97 MATHEMATICS AND COMPUTING↗

A NASA Perspective on Quantum Computing, with Ties to Operator Algebras

The talk will survey work done by the NASA Quantum Artificial Intelligence Laboratory (QuAIL), particularly algorithms and protocols in which operator algebras may play a role. The talk will focus on recent work advancing quantum error correction and error mitigation, and will touch on other topics related to quantum algorithms and funda- mental quantum physics.

Quantum Computing↗

Algebras of Projectors and Mutually Unbiased Bases in Dimension 7

We apply methods of the representation theory, combinatorial algebra, and noncommutative geometry to various problems of quantum tomography. We introduce the algebra of projectors that satisfy a certain commutation relation, examine this relation by combinatorial methods, and develop the representation theory of this algebra. We also present a geometrical interpretation of our problem and apply the results obtained to the description of the Petrescu family of mutually unbiased bases in dimension 7.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

The Kostrikin Radical and Similar Radicals of Lie Algebras

The existing notion of the Kostrikin radical as a radical in the Kurosh–Amitsur sense on classes of Mal’tsev algebras over rings with 1/6 is not completely justified. More precisely, to the fullest extent it is true for classes of Lie algebras over fields of characteristic zero and, as shown in the given paper, classes of algebraic Lie algebras of degree not greater than n over rings with 1/n! at all n ≥ 1. Similar conclusions are obtained in the paper also for the Jordan, regular, and extremal radicals constructed analogously to the Kostrikin radical.

97 MATHEMATICS AND COMPUTING↗

Quartic Poisson algebras and quartic associative algebras and realizations as deformed oscillator algebras

We introduce the most general quartic Poisson algebra generated by a second and a fourth order integral of motion of a 2D superintegrable classical system. We obtain the corresponding quartic (associative) algebra for the quantum analog, extend Daskaloyannis construction obtained in context of quadratic algebras, and also obtain the realizations as deformed oscillator algebras for this quartic algebra. We obtain the Casimir operator and discuss how these realizations allow to obtain the finite-dimensional unitary irreducible representations of quartic algebras and obtain algebraically the degenerate energy spectrum of superintegrable systems. We apply the construction and the formula obtained for the structure function on a superintegrable system related to type I Laguerre exceptional orthogonal polynomials introduced recently.

97 MATHEMATICS AND COMPUTING↗

Classifying photonic topology using the spectral localizer and numerical K -theory

Recently, the spectral localizer framework has emerged as an efficient approach for classifying topology in photonic systems featuring local nonlinearities and radiative environments. In nonlinear systems, this framework provides rigorous definitions for concepts such as topological solitons and topological dynamics, where a system’s occupation induces a local change in its topology due to nonlinearity. For systems embedded in radiative environments that do not possess a shared bulk spectral gap, this framework enables the identification of local topology and shows that local topological protection is preserved despite the lack of a common gap. However, as the spectral localizer framework is rooted in the mathematics of C*-algebras, and not vector bundles, understanding and using this framework requires developing intuition for a somewhat different set of underlying concepts than those that appear in traditional approaches for classifying material topology. In this tutorial, we introduce the spectral localizer framework from a ground-up perspective and provide physically motivated arguments for understanding its local topological markers and associated local measure of topological protection. In doing so, we provide numerous examples of the framework’s application to a variety of topological classes, including crystalline and higher-order topology. We then show how Maxwell’s equations can be reformulated to be compatible with the spectral localizer framework, including the possibility of radiative boundary conditions. To aid in this introduction, we also provide a physics-oriented introduction to multi-operator pseudospectral methods and numerical K-theory, two mathematical concepts that form the foundation for the spectral localizer framework. Finally, we provide some mathematically oriented comments on the C*-algebraic origins of this framework, including a discussion of real C*-algebras and graded C*-algebras that are necessary for incorporating physical symmetries. Looking forward, we hope that this tutorial will serve as an approachable starting point for learning the foundations of the spectral localizer framework.

97 MATHEMATICS AND COMPUTING↗

Estimates in the Problem of Ideals in the Algebra H{sup ∞}

By using the fixed-point approach due to D. Rutsky, the problem of ideals in H{sup ∞} is solved for “data sequences” in H{sup ∞}(l{sup 1}) (instead of H{sup ∞}(l{sup 2}) in the traditional setting). Bibliography: 7 titles.

97 MATHEMATICS AND COMPUTING↗

Deformed $w_{1+\infty}$ Algebras in the Celestial CFT

We compute the modification of the w 1+∞ algebra of soft graviton, gluon and scalar currents in the celestial CFT due to non-minimal couplings. We find that the Jacobi identity is satisfied only when the spectrum and couplings of the theory obey certain constraints. We comment on the similarities and essential differences of this algebra to W 1+∞ .

97 MATHEMATICS AND COMPUTING↗

Abstract Interpolating Fraction of the Thiele Type

We construct an abstract continued fraction of the Thiele type as an interpolating fraction for a nonlinear operator acting from a linear topological space X to an algebra Y with identity. In some special cases, this fraction transforms either into a classical Thiele fraction or into a matrix-valued fraction of the Thiele type depending on many variables.

97 MATHEMATICS AND COMPUTING↗

Dedekind η-Function in Modern Research

In this paper, we describe properties of the Dedekind η-function, constructions arising from it, and their applications in various topics of the number theory and algebra. We discuss connections with the group representation theory and the study of the structure of spaces of modular forms. Special attention is paid to the special class of modular forms, namely, η-functions with multiplicative coefficients.

97 MATHEMATICS AND COMPUTING↗

Magnetic Schrödinger Operator from the Point of View of Noncommutative Geometry

We give an interpretation of the magnetic Schrödinger operator in terms of noncommutative geometry. In particular, spectral properties of this operator are reformulated in terms of C*-algebras. Using this reformulation, one can employ the machinery of noncommutative geometry, such as Hochschild cohomology, to study the properties of the magnetic Schrödinger operator. We show how this idea can be applied to the integer quantum Hall effect.

97 MATHEMATICS AND COMPUTING↗

Diagonal and circulant or skew-circulant splitting preconditioners for spatial fractional diffusion equations

We propose three new preconditioners: diagonal and optimal-circulant splitting preconditioner, diagonal and skew-circulant splitting preconditioner, and diagonal and optimal-skew-circulant splitting preconditioner for solving the diagonal-plus-Toeplitz linear system discretized from the spatial fractional diffusion equations. Theoretical analysis shows that these three preconditioners can make the eigenvalues of the preconditioned matrices be clustered around 1, especially when the grids of the discretizations are refined. These results coincide with the one about the diagonal and circulant splitting preconditioner constructed recently by Bai et al. (Numer Linear Algebra Appl 24:e2093, 2017). Numerical experiments exhibit that the proposed preconditioners can significantly improve the convergence of the Krylov subspace iteration methods like GMRES and BiCGSTAB, and they outperform the diagonal and circulant splitting preconditioner as well.

97 MATHEMATICS AND COMPUTING↗

Operator approach to quantization of semigroups

The paper is devoted to the construction of compact quantum semigroups from semigroup C{sup ∗}-algebras generated by the 'deformation' of algebras of continuous functions on compact Abelian groups. The dual space of such a C{sup ∗}-algebra is endowed with the structure of a Banach *-algebra containing the algebra of measures on a compact group. We construct a weak Hopf *-algebra that is dense in such a compact quantum semigroup. We show that there exists an injective functor from the constructed category of compact quantum semigroups into the category of Abelian semigroups. Bibliography: 25 titles.

97 MATHEMATICS AND COMPUTING↗

A matrix dependent/algebraic multigrid approach for extruded meshes with applications to ice sheet modeling

A multigrid method is proposed that combines ideas from matrix dependent multigrid for structured grids and algebraic multigrid for unstructured grids. It targets problems where a three-dimensional mesh can be viewed as an extrusion of a two-dimensional, unstructured mesh in a third dimension. Our motivation comes from the modeling of thin structures via finite elements and, more specifically, the modeling of ice sheets. Extruded meshes are relatively common for thin structures and often give rise to anisotropic problems when the thin direction mesh spacing is much smaller than the broad direction mesh spacing. Within our approach, the first few multigrid hierarchy levels are obtained by applying matrix dependent multigrid to semicoarsen in a structured thin direction fashion. After sufficient structured coarsening, the resulting mesh contains only a single layer corresponding to a two-dimensional, unstructured mesh. Algebraic multigrid can then be employed in a standard manner to create further coarse levels, as the anisotropic phenomena is no longer present in the single layer problem. The overall approach remains fully algebraic, with the minor exception that some additional information is needed to determine the extruded direction. Furthermore, this facilitates integration of the solver with a variety of different extruded mesh applications.

97 MATHEMATICS AND COMPUTING↗

Finite Combinatorial Generation of Metabelian T-Ideal

In this work, we develop our idea on the construction of a system of combinatorial generators in a T-ideal of a free associative algebra, which is a full analogy of a Gröbner–Shirshov basis in a polynomial ideal. We prove a theorem on multilinear monomials that enables us to establish the existence of a finite set of combinatorial generators in a metabelian T-ideal.

97 MATHEMATICS AND COMPUTING↗

On One Integrable Discrete System

In this paper, we study a system of nonlinear equations on a square graph related to the affine algebra A{sup (1)}{sub 1} . This system is the simplest representative of the class of discrete systems corresponding to affine Lie algebras. We find the Lax representation and construct hierarchies of higher symmetries. In neighborhoods of singular points ⋋ = 0 and ⋋ = ∞, we construct formal asymptotic expansions of eigenfunctions of the Lax pair and, based on these expansions, find series of local conservation laws for the system considered.

97 MATHEMATICS AND COMPUTING↗