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 55 records · Page 3

Effective regularized algebraic reconstruction technique for computed tomography

A new fast version of the reconstruction algorithm for computed tomography based on the simultaneous algebraic reconstruction technique (SART) is proposed. The algorithm iteration is asymptotically accelerated using the fast Hough transform from O(n{sup 3}) to O(n{sup 2}logn). Similarly to the algebraic reconstruction technique (RegART), which was proposed by us previously, the regularization operator is applied after each iteration. A bilateral filter plays the role of this operator. The algorithm behavior is investigated using the model experiment.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗

Hochschild Cohomology for Algebras of Semidihedral Type. VII. Algebras with a Small Parameter

The Hochschild cohomology groups are computed for algebras of semidihedral type, which are contained in the family SD(2ℬ){sub 2}(k, t, c) (from the famous K. Erdmann’s classification) in the case where k = 1. In the calculation, the beforehand construction of the minimal bimodule resolution for algebras from the subfamily under discussion is used.

97 MATHEMATICS AND COMPUTING↗

On Derived Equivalence of Algebras of Semidihedral Type with Two Simple Modules

The Hochschild cohomology groups of degrees not exceeding 3 are computed for algebras of semidihedral type that form the family SD(2B){sub 1} (from the famous K. Erdmann’s classification). In the calculation, the beforehand construction of the initial part of the minimal projective bimodule resolution is used for algebras from the family under discussion. The obtained results imply that the algebras from the families SD(2B){sub 1} and SD(2B){sub 2} with the same parameters in defining relations are not derived equivalent.

97 MATHEMATICS AND COMPUTING↗

The R-matrix of quantum doubles of Nichols algebras of diagonal type

Let H be the quantum double of a Nichols algebra of diagonal type. We compute the R-matrix of 3-tuples of modules for general finite-dimensional highest weight modules over H. We also calculate a multiplicative formula for the universal R-matrix when H is finite dimensional. We show the unicity of a PBW basis (or a Lusztig-type Poincaré-Birkhoff-Witt basis) with a given convex order.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Numerical Characteristics of Varieties of Poisson Algebras

This paper is a survey of recent results of investigations on varieties of Poisson algebras. We give constructions of varieties of Poisson algebras with extremal properties, we give equivalent conditions for the polynomial codimension growth of a variety of Poisson algebras, we study varieties of Poisson algebras whose ideals of identities contain the identity {x, y} ⋅ {z, t} = 0, and we study the interrelation between such varieties and varieties of Lie algebras.

97 MATHEMATICS AND COMPUTING↗

Group Ring Ideals Related to Reed–Muller Codes

Reed–Muller codes are one of the most well-studied families of codes; however, there are till open problems regarding their structure. Recently a new ring-theoretic approach has emerged that provides a rather intuitive construction of these codes. This approach is centered around the notion of basic Reed–Muller codes. It is known that basic Reed–Muller codes ℳ{sub π}(m, k) over a prime field are powers of the radical RS of a corresponding group algebra and over a nonprime field there are no such equalities, except for trivial ones. In this paper, we consider the ideals ℜ{sub S}ℳ{sub π}(m, k) that arise while studying the inclusions of the basic codes and radical powers.

97 MATHEMATICS AND COMPUTING↗

Security analysis of boolean algebra based on Zhang-Wang digital signature scheme

In 2005, Zhang and Wang proposed an improvement signature scheme without using one-way hash function and message redundancy. In this paper, we show that this scheme exits potential safety concerns through the analysis of boolean algebra, such as bitwise exclusive-or, and point out that mapping is not one to one between assembly instructions and machine code actually by means of the analysis of the result of the assembly program segment, and which possibly causes safety problems unknown to the software.

97 MATHEMATICS AND COMPUTING↗

pyomo.dae: a modeling and automatic discretization framework for optimization with differential and algebraic equations

We describe pyomo.dae, an open source Python-based modeling framework that enables high-level abstract specification of optimization problems with differential and algebraic equations. The pyomo.dae framework is integrated with the Pyomo open source algebraic modeling language, and is available at http://www.pyomo.org. One key feature of pyomo.dae is that it does not restrict users to standard, predefined forms of differential equations, providing a high degree of modeling flexibility and the ability to express constraints that cannot be easily specified in other modeling frameworks. Other key features of pyomo.dae are the ability to specify optimization problems with high-order differential equations and partial differential equations, defined on restricted domain types, and the ability to automatically transform high-level abstract models into finite-dimensional algebraic problems that can be solved with off-the-shelf solvers. Moreover, pyomo.dae users can leverage existing capabilities of Pyomo to embed differential equation models within stochastic and integer programming models and mathematical programs with equilibrium constraint formulations. Collectively, these features enable the exploration of new modeling concepts, discretization schemes, and the benchmarking of state-of-the-art optimization solvers.

97 MATHEMATICS AND COMPUTING↗

Radical Properties of Lattice 𝜅-Ordered Algebras

Kopytov’s 𝜅-order for any algebras over a field is considered. Some results concerning relationships between l-prime radicals and prime radicals in lattice 𝜅-ordered algebras over partially ordered fields are obtained. Also, the notion of a saturated system in an l-algebra is introduced and some properties of saturated systems of lattice 𝜅-ordered algebras are presented.

97 MATHEMATICS AND COMPUTING↗

The complete Heyting algebra of subsystems and contextuality

The finite set of subsystems of a finite quantum system with variables in Z(n), is studied as a Heyting algebra. The physical meaning of the logical connectives is discussed. It is shown that disjunction of subsystems is more general concept than superposition. Consequently, the quantum probabilities related to commuting projectors in the subsystems, are incompatible with associativity of the join in the Heyting algebra, unless if the variables belong to the same chain. This leads to contextuality, which in the present formalism has as contexts, the chains in the Heyting algebra. Logical Bell inequalities, which contain “Heyting factors,” are discussed. The formalism is also applied to the infinite set of all finite quantum systems, which is appropriately enlarged in order to become a complete Heyting algebra.

97 MATHEMATICS AND COMPUTING↗

Algebraically Compact Abelian Groups with UA-Rings of Endomorphisms

A ring K is said to be a unique addition ring (UA-ring) if on its multiplicative semigroup (K, ·) it is possible to set only one binary operation of + turning (K, ·, +) into a ring. We call an Abelian group an End-UA-group if its endomorphism ring is a UA-ring. In this paper, End-UA-groups are found in a class of algebraically compact Abelian groups.

97 MATHEMATICS AND COMPUTING↗

Affine Kac-Moody symmetric spaces related with A{sub 1}{sup (1)}, A{sub 2}{sup (1)}, A{sub 2}{sup (2)}

Symmetric spaces associated with Lie algebras and Lie groups which are Riemannian manifolds have recently got a lot of attention in various branches of Physics for their role in classical/quantum integrable systems, transport phenomena, etc. Their infinite dimensional counter parts have recently been discovered which are affine Kac-Moody symmetric spaces. In this paper we have (algebraically) explicitly computed the affine Kac-Moody symmetric spaces associated with affine Kac-Moody algebras A{sub 1}{sup (1)},A{sub 2}{sup (1)},A{sub 2}{sup (2)}. We hope these types of spaces will play similar roles as that of symmetric spaces in many physical systems.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Lie-algebraic classical simulations for quantum computing

The classical simulation of quantum dynamics plays an important role in our understanding of quantum complexity and in the development of quantum technologies. Efficient techniques such as those based on the Gottesman-Knill theorem for Clifford circuits, tensor networks for low entanglement-generating circuits, or Wick's theorem for fermionic Gaussian states have become central tools in quantum computing. In this work, we contribute to this body of knowledge by presenting a framework for classical simulations, dubbed “𝔤-sim”, which is based on the underlying Lie algebraic structure of the dynamical process. When the dimension of the algebra grows at most polynomially in the system size, there exist observables for which the simulation is efficient. Indeed, we show that 𝔤-sim enables new regimes for classical simulations, is able to deal with certain forms of noise in the evolution, as well as can be used to tackle several paradigmatic variational and nonvariational quantum computing tasks. For the former, we perform Lie-algebraic simulations to train and optimize parametrized quantum circuits (thus effectively showing that some variational models can be dequantized), design enhanced parameter initialization strategies, solve tasks of quantum circuit synthesis, and train a quantum-phase classifier. For the latter, we report large-scale noiseless and noisy simulations on benchmark problems. By comparing the limitations of 𝔤-sim and certain Wick's theorem-based simulations, we find that the two methods become inefficient for different types of states or observables, hinting at the existence of distinct, nonequivalent resources for classical simulation.

97 MATHEMATICS AND COMPUTING↗

Algebraic Bethe Circuits

The Algebraic Bethe Ansatz (ABA) is a highly successful analytical method used to exactly solve several physical models in both statistical mechanics and condensed-matter physics. Here we bring the ABA into unitary form, for its direct implementation on a quantum computer. This is achieved by distilling the non-unitary R matrices that make up the ABA into unitaries using the QR decomposition. Our algorithm is deterministic and works for both real and complex roots of the Bethe equations. We illustrate our method on the spin-$\frac{1}{2}$ XX and XXZ models. We show that using this approach one can efficiently prepare eigenstates of the XX model on a quantum computer with quantum resources that match previous state-of-the-art approaches. We run small-scale error mitigated implementations on the IBM quantum computers, including the preparation of the ground state for the XX and XXZ models on 4 sites. Finally, we derive a new form of the Yang-Baxter equation using unitary matrices, and also verify it on a quantum computer.

97 MATHEMATICS AND COMPUTING↗