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 91 records · Page 5

Uniqueness of Addition in Lie Algebras of Chevalley Type over Rings with 1/2 and 1/3

In this paper, it is proved that Lie algebras of Chevalley type (A{sub n}, B{sub n}, C{sub n}, D{sub n}, E{sub 6}, E{sub 7}, E{sub 8}, F{sub 4}, and G{sub 2}) over associative commutative rings with 1/2 (with 1/2 and 1/3 in the case of G{sub 2}) have unique addition. As a corollary of this theorem, we note the uniqueness of addition in semisimple Lie algebras of Chevalley type over fields of characteristic ≠ 2 (≠ 2, 3 in the case of G{sub 2}).

97 MATHEMATICS AND COMPUTING↗

Quantization of the Sobolev space of half-differentiable functions

A quantization of the Sobolev space V=H{sub 0}{sup 1/2}(S{sup 1},R) of half- differentiable functions on the circle, which is closely connected with string theory, is constructed. The group QS(S{sup 1}) of quasisymmetric circle homeomorphisms acts on V by reparametrizations, but this action is not smooth. Nevertheless, a quantum infinitesimal action of QS(S{sup 1}) on V can be defined, which enables one to construct a quantum algebra of observables which is associated with the system (V,QS(S{sup 1})). Bibliography: 7 titles. (paper)

97 MATHEMATICS AND COMPUTING↗

A fast and accurate modeling approach for water and steam thermodynamics with practical applications in district heating system simulation

In U.S. district heating (DH) systems, steam is the most common heat transport medium. Industry demand for new advanced modeling capabilities of complete steam DH systems is increasing; however, the existing models for water/steam thermodynamics are too slow for large system simulations because of computationally expensive algebraic loops that require the solution to nonlinear systems of equations. For practical applications, this work presents a novel split-medium approach that implements numerically efficient liquid water models alongside various water/steam models, breaking costly algebraic loops by decoupling mass and energy balance equations. New component models for steam DH systems are also presented. We implemented the models in the equation based Modelica language and evaluated accuracy and computing speed across multiple scales: from fundamental thermodynamic properties to complete districts featuring 10 to 200 buildings. Compared to district models with the IF97 water/steam model and equipment models from the Modelica Standard Library, the new implementation improves the scaling rate for large districts from cubic to quadratic with negligible compromise to accuracy. Additionally, for an annual simulation with 180 buildings, this translates to a computing time reduction from 33 to 1-1.5 h. These results are critically important for industry practitioners to simulate steam DH systems at large scales.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗

Sufficient Condition for Consistency of Infinite Systems

Based on the theory of double series, we obtain a sufficient condition for the existence of strictly partial solutions to infinite systems of linear algebraic equations. We prove series expansion theorems for infinite determinants of Gaussian infinite matrices. Examples of application of the proposed condition are given.

97 MATHEMATICS AND COMPUTING↗

Invariants of the Cox rings of double flag varieties of low complexity for exceptional groups

We find the algebras of unipotent invariants of the Cox rings for all double flag varieties of complexity 0 and 1 for the exceptional simple algebraic groups; namely, we obtain presentations of these algebras in terms of generators and relations. It is well known that such an algebra is free in the case of complexity 0. In this paper, we show that, in the case of complexity 1, the algebra in question is either a free algebra or a hypersurface. A similar result for classical groups was previously obtained by the author. Knowing the structure of this algebra enables one to decompose tensor products of some irreducible representations effectively into irreducible summands and to obtain some branching rules. Bibliography: 10 titles. (paper)

97 MATHEMATICS AND COMPUTING↗

Bootstrap AMG for spectral clustering

Graph Laplacian is a popular tool for analyzing graphs, particularly in graph partitioning and clustering. Given a notion of similarity (via an adjacency matrix), graph clustering refers to identifying different groups such that vertices in the same group are more similar compared to vertices across different groups. Data clustering can be reformulated in terms of a graph clustering problem when the given set of data is represented as a graph, also known as similarity graph. In this context, eigenvectors of the graph Laplacian are often used to obtain a new geometric representation of the original data set that generally enhances cluster properties and improves cluster detection. Here, we apply a bootstrap algebraic multigrid (AMG) method that constructs a set of vectors associated with the graph Laplacian. These vectors, referred to as algebraically smooth ones, span a low-dimensional Euclidean space, which we use to represent the data, enabling cluster detection both in synthetic and in realistic well-clustered graphs. We show that, in the case of a good quality bootstrap AMG, the computed smooth vectors employed in the construction of the final AMG operator, which by construction is spectrally equivalent to the originally given graph Laplacian, accurately approximate the space in the lower portion of the spectrum of the preconditioned operator. Thus, our approach can be viewed as a spectral clustering technique associated with the generalized spectral problem (Laplace operator versus the final AMG operator), and hence, it can be seen as an extension of the classical spectral clustering that employs a standard eigenvalue problem.

97 MATHEMATICS AND COMPUTING↗

Topological field theory with Haagerup symmetry

Here, we construct a (1 + 1)d topological field theory (TFT) whose topological defect lines (TDLs) realize the transparent Haagerup $\mathscr{H}$ 3 fusion category. This TFT has six vacua, and each of the three non-invertible simple TDLs hosts three defect operators, giving rise to a total of 15 point-like operators. The TFT data, including the three-point coefficients and lasso diagrams, are determined by solving all the sphere four-point crossing equations and torus one-point modular invariance equations. We further verify that the Cardy states furnish a non-negative integer matrix representation under TDL fusion. While many of the constraints we derive are not limited to this particular TFT with six vacua, we leave open the construction of TFTs with two or four vacua. Finally, TFTs realizing the Haagerup $\mathscr{H}$ 1 and $\mathscr{H}$ 2 fusion categories can be obtained by gauging algebra objects. This article makes a modest offering in our pursuit of exotica and the quest for their eventual conformity.

97 MATHEMATICS AND COMPUTING↗

On Volterra quadratic stochastic operators with continual state space

Let (X,F) be a measurable space, and S(X,F) be the set of all probability measures on (X,F) where X is a state space and F is σ - algebraon X. We consider a nonlinear transformation (quadratic stochastic operator) defined by (Vλ)(A) = ∫{sub X}∫{sub X}P(x,y,A)dλ(x)dλ(y), where P(x, y, A) is regarded as a function of two variables x and y with fixed A ∈ F . A quadratic stochastic operator V is called a regular, if for any initial measure the strong limit lim{sub n→∞} V{sup n }(λ) is exists. In this paper, we construct a family of quadratic stochastic operators defined on the segment X = [0,1] with Borel σ - algebra F on X , prove their regularity and show that the limit measure is a Dirac measure.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

The phase topology of a special case of Goryachev integrability in rigid body dynamics

The phase topology of a special case of Goryachev integrability in the problem of motion of a rigid body in a fluid is investigated using the method of Boolean functions, which was developed by Kharlamov for algebraically separated systems. The bifurcation diagram of the moment map is found and the Fomenko invariant, which classifies the systems up to rough Liouville equivalence, is specified. Bibliography: 15 titles. (paper)

97 MATHEMATICS AND COMPUTING↗

On centres of relatively free associative algebras with a Lie nilpotency identity

We study central polynomials of a relatively free Lie nilpotent algebra F{sup (n)} of degree n. We prove a product theorem, which generalizes the well-known results of Latyshev and Volichenko. We construct generalized Hall polynomials, by using which we prove that the core centre of the algebra F{sup (n)} is nontrivial for any n⩾5. We obtain a number of special results when n=5 and 6. Bibliography: 27 titles.

97 MATHEMATICS AND COMPUTING↗

R-matrix and Mickelsson algebras for orthosymplectic quantum groups

Let g be a complex orthogonal or symplectic Lie algebra and g′ ⊂ g the Lie subalgebra of rank rk g′ = rk g − 1 of the same type. We give an explicit construction of generators of the Mickelsson algebra Z{sub q}(g, g′) in terms of Chevalley generators via the R-matrix of U{sub q}(g)

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

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↗

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↗