#### Sample records for algebraically special perturbations

1. Translating cosmological special relativity into geometric algebra

Horn, Martin Erik

2012-11-01

Geometric algebra and Clifford algebra are important tools to describe and analyze the physics of the world we live in. Although there is enormous empirical evidence that we are living in four dimensional spacetime, mathematical worlds of higher dimensions can be used to present the physical laws of our world in an aesthetical and didactical more appealing way. In physics and mathematics education we are therefore confronted with the question how these high dimensional spaces should be taught. But as an immediate confrontation of students with high dimensional compactified spacetimes would expect too much from them at the beginning of their university studies, it seems reasonable to approach the mathematics and physics of higher dimensions step by step. The first step naturally is the step from four dimensional spacetime of special relativity to a five dimensional spacetime world. As a toy model for this artificial world cosmological special relativity, invented by Moshe Carmeli, can be used. This five dimensional non-compactified approach describes a spacetime which consists not only of one time dimension and three space dimensions. In addition velocity is regarded as a fifth dimension. This model very probably will not represent physics correctly. But it can be used to discuss and analyze the consequences of an additional dimension in a clear and simple way. Unfortunately Carmeli has formulated cosmological special relativity in standard vector notation. Therefore a translation of cosmological special relativity into the mathematical language of Grassmann and Clifford (Geometric algebra) is given and the physics of cosmological special relativity is discussed.

2. Algebraic perturbation theory for dense liquids with discrete potentials.

PubMed

2007-06-01

A simple theory for the leading-order correction g{1}(r) to the structure of a hard-sphere liquid with discrete (e.g., square-well) potential perturbations is proposed. The theory makes use of a general approximation that effectively eliminates four-particle correlations from g{1}(r) with good accuracy at high densities. For the particular case of discrete perturbations, the remaining three-particle correlations can be modeled with a simple volume-exclusion argument, resulting in an algebraic and surprisingly accurate expression for g{1}(r). The structure of a discrete "core-softened" model for liquids with anomalous thermodynamic properties is reproduced as an application.

3. Calculation of exchange energies using algebraic perturbation theory

SciTech Connect

Burrows, B. L.; Dalgarno, A.; Cohen, M.

2010-04-15

An algebraic perturbation theory is presented for efficient calculations of localized states and hence of exchange energies, which are the differences between low-lying states of the valence electron of a molecule, formed by the collision of an ion Y{sup +} with an atom X. For the case of a homonuclear molecule these are the gerade and ungerade states and the exchange energy is an exponentially decreasing function of the internuclear distance. For such homonuclear systems the theory is used in conjunction with the Herring-Holstein technique to give accurate exchange energies for a range of intermolecular separations R. Since the perturbation parameter is essentially 1/R, this method is suitable for large R. In particular, exchange energies are calculated for X{sub 2}{sup +} systems, where X is H, Li, Na, K, Rb, or Cs.

4. Investigating a hybrid perturbation-Galerkin technique using computer algebra

NASA Technical Reports Server (NTRS)

Andersen, Carl M.; Geer, James F.

1988-01-01

A two-step hybrid perturbation-Galerkin method is presented for the solution of a variety of differential equations type problems which involve a scalar parameter. The resulting (approximate) solution has the form of a sum where each term consists of the product of two functions. The first function is a function of the independent field variable(s) x, and the second is a function of the parameter lambda. In step one the functions of x are determined by forming a perturbation expansion in lambda. In step two the functions of lambda are determined through the use of the classical Bubnov-Gelerkin method. The resulting hybrid method has the potential of overcoming some of the drawbacks of the perturbation and Bubnov-Galerkin methods applied separately, while combining some of the good features of each. In particular, the results can be useful well beyond the radius of convergence associated with the perturbation expansion. The hybrid method is applied with the aid of computer algebra to a simple two-point boundary value problem where the radius of convergence is finite and to a quantum eigenvalue problem where the radius of convergence is zero. For both problems the hybrid method apparently converges for an infinite range of the parameter lambda. The results obtained from the hybrid method are compared with approximate solutions obtained by other methods, and the applicability of the hybrid method to broader problem areas is discussed.

5. Algebraically special Einstein-Maxwell fields

Van den Bergh, Norbert

2017-01-01

The Geroch-Held-Penrose formalism is used to re-analyse algebraically special non-null Einstein-Maxwell fields, aligned as well as non-aligned, in the presence of a possible non-vanishing cosmological constant. A new invariant characterization is given of the García-Plebański and Plebański-Hacyan metrics within the family of aligned solutions and of the Griffiths metrics within the family of the non-aligned solutions. As a corollary also the double alignment of the Debever-McLenaghan class D' metrics with non-vanishing cosmological constant is shown to be equivalent with the shear-free and geodesic behavior of their Debever-Penrose vectors.

6. On special classes of n-algebras

Vainerman, L.; Kerner, R.

1996-05-01

We define n-algebras as linear spaces on which the internal composition law involves n elements: m:V⊗n■V. It is known that such algebraic structures are interesting for their applications to problems of modern mathematical physics. Using the notion of a commutant of two subalgebras of an n-algebra, we distinguish certain classes of n-algebras with reasonable properties: semisimple, Abelian, nilpotent, solvable. We also consider a few examples of n-algebras of different types, and show their properties.

7. Algebraic special functions and SO(3,2)

SciTech Connect

Celeghini, E.; Olmo, M.A. del

2013-06-15

A ladder structure of operators is presented for the associated Legendre polynomials and the sphericas harmonics. In both cases these operators belong to the irreducible representation of the Lie algebra so(3,2) with quadratic Casimir equals to −5/4. As both are also bases of square-integrable functions, the universal enveloping algebra of so(3,2) is thus shown to be homomorphic to the space of linear operators acting on the L{sup 2} functions defined on (−1,1)×Z and on the sphere S{sup 2}, respectively. The presence of a ladder structure is suggested to be the general condition to obtain a Lie algebra representation defining in this way the “algebraic special functions” that are proposed to be the connection between Lie algebras and square-integrable functions so that the space of linear operators on the L{sup 2} functions is homomorphic to the universal enveloping algebra. The passage to the group, by means of the exponential map, shows that the associated Legendre polynomials and the spherical harmonics support the corresponding unitary irreducible representation of the group SO(3,2). -- Highlights: •The algebraic ladder structure is constructed for the associated Legendre polynomials (ALP). •ALP and spherical harmonics support a unitary irreducible SO(3,2)-representation. •A ladder structure is the condition to get a Lie group representation defining “algebraic special functions”. •The “algebraic special functions” connect Lie algebras and L{sup 2} functions.

8. Perturbative quantization of Yang-Mills theory with classical double as gauge algebra

Ruiz Ruiz, F.

2016-02-01

Perturbative quantization of Yang-Mills theory with a gauge algebra given by the classical double of a semisimple Lie algebra is considered. The classical double of a real Lie algebra is a nonsemisimple real Lie algebra that admits a nonpositive definite invariant metric, the indefiniteness of the metric suggesting an apparent lack of unitarity. It is shown that the theory is UV divergent at one loop and that there are no radiative corrections at higher loops. One-loop UV divergences are removed through renormalization of the coupling constant, thus introducing a renormalization scale. The terms in the classical action that would spoil unitarity are proved to be cohomologically trivial with respect to the Slavnov-Taylor operator that controls gauge invariance for the quantum theory. Hence they do not contribute gauge invariant radiative corrections to the quantum effective action and the theory is unitary.

9. Algebraically special solutions in AdS/CFT

de Freitas, Gabriel Bernardi; Reall, Harvey S.

2014-06-01

We investigate the AdS/CFT interpretation of the class of algebraically special solutions of Einstein gravity with a negative cosmological constant. Such solutions describe a CFT living in a 2 + 1 dimensional time-dependent geometry that, generically, has no isometries. The algebraically special condition implies that the expectation value of the CFT energy-momentum tensor is a local function of the boundary metric. When such a spacetime is slowly varying, the fluid/gravity approximation is valid and one can read off the values of certain higher order transport coefficients. To do this, we introduce a formalism for studying conformal, relativistic fluids in 2 + 1 dimensions that reduces everything to the manipulation of scalar quantities.

10. Special issue on cluster algebras in mathematical physics

Di Francesco, Philippe; Gekhtman, Michael; Kuniba, Atsuo; Yamazaki, Masahito

2013-10-01

This is a call for contributions to a special issue of Journal of Physics A: Mathematical and Theoretical dedicated to cluster algebras in mathematical physics. Over the ten years since their introduction by Fomin and Zelevinsky, the theory of cluster algebras has witnessed a spectacular growth, first and foremost due to the many links that have been discovered with a wide range of subjects in mathematics and, increasingly, theoretical and mathematical physics. The main motivation of this special issue is to gather together reviews, recent developments and open problems, mainly from a mathematical physics viewpoint, into a single comprehensive issue. We expect that such a special issue will become a valuable reference for the broad scientific community working in mathematical and theoretical physics. The issue will consist of invited review articles and contributed papers containing new results on the interplays of cluster algebras with mathematical physics. Editorial policy The Guest Editors for this issue are Philippe Di Francesco, Michael Gekhtman, Atsuo Kuniba and Masahito Yamazaki. The areas and topics for this issue include, but are not limited to: discrete integrable systems arising from cluster mutations cluster structure on Poisson varieties cluster algebras and soliton interactions cluster positivity conjecture Y-systems in the thermodynamic Bethe ansatz and Zamolodchikov's periodicity conjecture T-system of transfer matrices of integrable lattice models dilogarithm identities in conformal field theory wall crossing in 4d N = 2 supersymmetric gauge theories 4d N = 1 quiver gauge theories described by networks scattering amplitudes of 4d N = 4 theories 3d N = 2 gauge theories described by flat connections on 3-manifolds integrability of dimer/Ising models on graphs. All contributions will be refereed and processed according to the usual procedure of the journal. Guidelines for preparation of contributions The deadline for contributed papers is 31 March

11. Special issue on cluster algebras in mathematical physics

Di Francesco, Philippe; Gekhtman, Michael; Kuniba, Atsuo; Yamazaki, Masahito

2013-11-01

This is a call for contributions to a special issue of Journal of Physics A: Mathematical and Theoretical dedicated to cluster algebras in mathematical physics. Over the ten years since their introduction by Fomin and Zelevinsky, the theory of cluster algebras has witnessed a spectacular growth, first and foremost due to the many links that have been discovered with a wide range of subjects in mathematics and, increasingly, theoretical and mathematical physics. The main motivation of this special issue is to gather together reviews, recent developments and open problems, mainly from a mathematical physics viewpoint, into a single comprehensive issue. We expect that such a special issue will become a valuable reference for the broad scientific community working in mathematical and theoretical physics. The issue will consist of invited review articles and contributed papers containing new results on the interplays of cluster algebras with mathematical physics. Editorial policy The Guest Editors for this issue are Philippe Di Francesco, Michael Gekhtman, Atsuo Kuniba and Masahito Yamazaki. The areas and topics for this issue include, but are not limited to: discrete integrable systems arising from cluster mutations cluster structure on Poisson varieties cluster algebras and soliton interactions cluster positivity conjecture Y-systems in the thermodynamic Bethe ansatz and Zamolodchikov's periodicity conjecture T-system of transfer matrices of integrable lattice models dilogarithm identities in conformal field theory wall crossing in 4d N = 2 supersymmetric gauge theories 4d N = 1 quiver gauge theories described by networks scattering amplitudes of 4d N = 4 theories 3d N = 2 gauge theories described by flat connections on 3-manifolds integrability of dimer/Ising models on graphs. All contributions will be refereed and processed according to the usual procedure of the journal. Guidelines for preparation of contributions The deadline for contributed papers is 31 March

12. Special issue on cluster algebras in mathematical physics

Di Francesco, Philippe; Gekhtman, Michael; Kuniba, Atsuo; Yamazaki, Masahito

2014-02-01

This is a call for contributions to a special issue of Journal of Physics A: Mathematical and Theoretical dedicated to cluster algebras in mathematical physics. Over the ten years since their introduction by Fomin and Zelevinsky, the theory of cluster algebras has witnessed a spectacular growth, first and foremost due to the many links that have been discovered with a wide range of subjects in mathematics and, increasingly, theoretical and mathematical physics. The main motivation of this special issue is to gather together reviews, recent developments and open problems, mainly from a mathematical physics viewpoint, into a single comprehensive issue. We expect that such a special issue will become a valuable reference for the broad scientific community working in mathematical and theoretical physics. The issue will consist of invited review articles and contributed papers containing new results on the interplays of cluster algebras with mathematical physics. Editorial policy The Guest Editors for this issue are Philippe Di Francesco, Michael Gekhtman, Atsuo Kuniba and Masahito Yamazaki. The areas and topics for this issue include, but are not limited to: discrete integrable systems arising from cluster mutations cluster structure on Poisson varieties cluster algebras and soliton interactions cluster positivity conjecture Y-systems in the thermodynamic Bethe ansatz and Zamolodchikov's periodicity conjecture T-system of transfer matrices of integrable lattice models dilogarithm identities in conformal field theory wall crossing in 4d N = 2 supersymmetric gauge theories 4d N = 1 quiver gauge theories described by networks scattering amplitudes of 4d N = 4 theories 3d N = 2 gauge theories described by flat connections on 3-manifolds integrability of dimer/Ising models on graphs. All contributions will be refereed and processed according to the usual procedure of the journal. Guidelines for preparation of contributions The deadline for contributed papers is 31 March

13. Special issue on cluster algebras in mathematical physics

Di Francesco, Philippe; Gekhtman, Michael; Kuniba, Atsuo; Yamazaki, Masahito

2013-12-01

This is a call for contributions to a special issue of Journal of Physics A: Mathematical and Theoretical dedicated to cluster algebras in mathematical physics. Over the ten years since their introduction by Fomin and Zelevinsky, the theory of cluster algebras has witnessed a spectacular growth, first and foremost due to the many links that have been discovered with a wide range of subjects in mathematics and, increasingly, theoretical and mathematical physics. The main motivation of this special issue is to gather together reviews, recent developments and open problems, mainly from a mathematical physics viewpoint, into a single comprehensive issue. We expect that such a special issue will become a valuable reference for the broad scientific community working in mathematical and theoretical physics. The issue will consist of invited review articles and contributed papers containing new results on the interplays of cluster algebras with mathematical physics. Editorial policy The Guest Editors for this issue are Philippe Di Francesco, Michael Gekhtman, Atsuo Kuniba and Masahito Yamazaki. The areas and topics for this issue include, but are not limited to: discrete integrable systems arising from cluster mutations cluster structure on Poisson varieties cluster algebras and soliton interactions cluster positivity conjecture Y-systems in the thermodynamic Bethe ansatz and Zamolodchikov's periodicity conjecture T-system of transfer matrices of integrable lattice models dilogarithm identities in conformal field theory wall crossing in 4d N = 2 supersymmetric gauge theories 4d N = 1 quiver gauge theories described by networks scattering amplitudes of 4d N = 4 theories 3d N = 2 gauge theories described by flat connections on 3-manifolds integrability of dimer/Ising models on graphs. All contributions will be refereed and processed according to the usual procedure of the journal. Guidelines for preparation of contributions The deadline for contributed papers is 31 March

14. Revisiting special relativity: a natural algebraic alternative to Minkowski spacetime.

PubMed

Chappell, James M; Iqbal, Azhar; Iannella, Nicolangelo; Abbott, Derek

2012-01-01

Minkowski famously introduced the concept of a space-time continuum in 1908, merging the three dimensions of space with an imaginary time dimension [Formula: see text], with the unit imaginary producing the correct spacetime distance [Formula: see text], and the results of Einstein's then recently developed theory of special relativity, thus providing an explanation for Einstein's theory in terms of the structure of space and time. As an alternative to a planar Minkowski space-time of two space dimensions and one time dimension, we replace the unit imaginary [Formula: see text], with the Clifford bivector [Formula: see text] for the plane that also squares to minus one, but which can be included without the addition of an extra dimension, as it is an integral part of the real Cartesian plane with the orthonormal basis [Formula: see text] and [Formula: see text]. We find that with this model of planar spacetime, using a two-dimensional Clifford multivector, the spacetime metric and the Lorentz transformations follow immediately as properties of the algebra. This also leads to momentum and energy being represented as components of a multivector and we give a new efficient derivation of Compton's scattering formula, and a simple formulation of Dirac's and Maxwell's equations. Based on the mathematical structure of the multivector, we produce a semi-classical model of massive particles, which can then be viewed as the origin of the Minkowski spacetime structure and thus a deeper explanation for relativistic effects. We also find a new perspective on the nature of time, which is now given a precise mathematical definition as the bivector of the plane.

15. Revisiting Special Relativity: A Natural Algebraic Alternative to Minkowski Spacetime

PubMed Central

Chappell, James M.; Iqbal, Azhar; Iannella, Nicolangelo; Abbott, Derek

2012-01-01

Minkowski famously introduced the concept of a space-time continuum in 1908, merging the three dimensions of space with an imaginary time dimension , with the unit imaginary producing the correct spacetime distance , and the results of Einstein’s then recently developed theory of special relativity, thus providing an explanation for Einstein’s theory in terms of the structure of space and time. As an alternative to a planar Minkowski space-time of two space dimensions and one time dimension, we replace the unit imaginary , with the Clifford bivector for the plane that also squares to minus one, but which can be included without the addition of an extra dimension, as it is an integral part of the real Cartesian plane with the orthonormal basis and . We find that with this model of planar spacetime, using a two-dimensional Clifford multivector, the spacetime metric and the Lorentz transformations follow immediately as properties of the algebra. This also leads to momentum and energy being represented as components of a multivector and we give a new efficient derivation of Compton’s scattering formula, and a simple formulation of Dirac’s and Maxwell’s equations. Based on the mathematical structure of the multivector, we produce a semi-classical model of massive particles, which can then be viewed as the origin of the Minkowski spacetime structure and thus a deeper explanation for relativistic effects. We also find a new perspective on the nature of time, which is now given a precise mathematical definition as the bivector of the plane. PMID:23300566

16. Absence of the Gribov ambiguity in a special algebraic gauge

Raval, Haresh

2016-11-01

The Gribov ambiguity exists in various gauges except algebraic gauges. However in general, algebraic gauges are not Lorentz invariant, which is their fundamental flaw. Here we discuss a quadratic gauge fixing, which is Lorentz invariant. We show that nontrivial copies can not occur in this gauge. We then provide an example of spherically symmetric gauge field configuration and prove that with a proper boundary condition on the configuration, this gauge removes the ambiguity on a compact manifold S^3.

17. Analysis of Errors in a Special Perturbations Satellite Orbit Propagator

SciTech Connect

Beckerman, M.; Jones, J.P.

1999-02-01

We performed an analysis of error densities for the Special Perturbations orbit propagator using data for 29 satellites in orbits of interest to Space Shuttle and International Space Station collision avoidance. We find that the along-track errors predominate. These errors increase monotonically over each 36-hour prediction interval. The predicted positions in the along-track direction progressively either leap ahead of or lag behind the actual positions. Unlike the along-track errors the radial and cross-track errors oscillate about their nearly zero mean values. As the number of observations per fit interval decline the along-track prediction errors, and amplitudes of the radial and cross-track errors, increase.

18. SU(1,1) Lie Algebra Applied to the Time-Dependent Quadratic Hamiltonian System Perturbed by a Singularity.

Choi, Jeong Ryeol; Choi, Seong Soo

We realized SU(1,1) Lie algebra in terms of the appropriate SU(1,1) generators for the time-dependent quadratic Hamiltonian system perturbed by a singularity. Exact quantum states of the system are investigated using SU(1,1) Lie algebra. Various expectation values in two kinds of the generalized SU(1,1) coherent states, that is, BG coherent states and Perelomov coherent states are derived. We applied our study to the CKOPS (Caldirola-Kanai oscillator perturbed by a singularity). Due to the damping constant γ, the probability density of the SU(1,1) coherent states for the CKOPS converged to the center with time. The time evolution of the probability density in SU(1,1) coherent states for the CKOPS are very similar to the classical trajectory.

19. Characterizing the Development of Specialized Mathematical Content Knowledge for Teaching in Algebraic Reasoning and Number Theory

ERIC Educational Resources Information Center

Bair, Sherry L.; Rich, Beverly S.

2011-01-01

This article characterizes the development of a deep and connected body of mathematical knowledge categorized by Ball and Bass' (2003b) model of Mathematical Knowledge for Teaching (MKT), as Specialized Content Knowledge for Teaching (SCK) in algebraic reasoning and number sense. The research employed multiple cases across three years from two…

20. Relations between elliptic multiple zeta values and a special derivation algebra

Broedel, Johannes; Matthes, Nils; Schlotterer, Oliver

2016-04-01

We investigate relations between elliptic multiple zeta values (eMZVs) and describe a method to derive the number of indecomposable elements of given weight and length. Our method is based on representing eMZVs as iterated integrals over Eisenstein series and exploiting the connection with a special derivation algebra. Its commutator relations give rise to constraints on the iterated integrals over Eisenstein series relevant for eMZVs and thereby allow to count the indecomposable representatives. Conversely, the above connection suggests apparently new relations in the derivation algebra. Under https://tools.aei.mpg.de/emzv we provide relations for eMZVs over a wide range of weights and lengths.

1. a Perspective on the Magic Square and the "special Unitary" Realization of Real Simple Lie Algebras

Santander, Mariano

2013-07-01

This paper contains the last part of the minicourse "Spaces: A Perspective View" delivered at the IFWGP2012. The series of three lectures was intended to bring the listeners from the more naive and elementary idea of space as "our physical Space" (which after all was the dominant one up to the 1820s) through the generalization of the idea of space which took place in the last third of the 19th century. That was a consequence of first the discovery and acceptance of non-Euclidean geometry and second, of the views afforded by the works of Riemann and Klein and continued since then by many others, outstandingly Lie and Cartan. Here we deal with the part of the minicourse which centers on the classification questions associated to the simple real Lie groups. We review the original introduction of the Magic Square "á la Freudenthal", putting the emphasis in the role played in this construction by the four normed division algebras ℝ, ℂ, ℍ, 𝕆. We then explore the possibility of understanding some simple real Lie algebras as "special unitary" over some algebras 𝕂 or tensor products 𝕂1 ⊗ 𝕂2, and we argue that the proper setting for this construction is not to confine only to normed division algebras, but to allow the split versions ℂ‧, ℍ‧, 𝕆‧ of complex, quaternions and octonions as well. This way we get a "Grand Magic Square" and we fill in all details required to cover all real forms of simple real Lie algebras within this scheme. The paper ends with the complete lists of all realizations of simple real Lie algebras as "special unitary" (or only unitary when n = 2) over some tensor product of two *-algebras 𝕂1, 𝕂2, which in all cases are obtained from ℝ, ℂ, ℂ‧, ℍ, ℍ‧, 𝕆, 𝕆‧ as sets, endowing them with a *-conjugation which usually but not always is the natural complex, quaternionic or octonionic conjugation.

2. Some algebraic, geometric, and system-theoretic properties of the Special Functions of mathematical physics

Hermann, Robert

1982-07-01

It is known that many of the Special Functions of mathematical physics appear as matrix elements of Lie group representations. This paper is concerned with a beginning attack on the converse problem, i.e., finding conditions that a given function be a matrix element. The methods used are based on a combination of ideas from system theory, functional analysis, Lie theory, differential algebra, and linear ordinary differential equation theory. A key idea is to attach a symbol as an element of a commutative algebra. In favorable cases, this symbol defines a Riemann surface, and a meromorphic differential form on that surface. The topological and analytical invariants attached to this form play a key role in system theory. The Lie algebras of the groups appear as linear differential operators on this Riemann surface. Finally, it is shown how the Picard-Vessiot-Infeld-Hull theory of factorization of linear differential operators leads to realization of many Special Functions as matrix representations of group representations.

3. Symbolic derivation of high-order Rayleigh-Schroedinger perturbation energies using computer algebra: Application to vibrational-rotational analysis of diatomic molecules

SciTech Connect

Herbert, John M.

1997-01-01

Rayleigh-Schroedinger perturbation theory is an effective and popular tool for describing low-lying vibrational and rotational states of molecules. This method, in conjunction with ab initio techniques for computation of electronic potential energy surfaces, can be used to calculate first-principles molecular vibrational-rotational energies to successive orders of approximation. Because of mathematical complexities, however, such perturbation calculations are rarely extended beyond the second order of approximation, although recent work by Herbert has provided a formula for the nth-order energy correction. This report extends that work and furnishes the remaining theoretical details (including a general formula for the Rayleigh-Schroedinger expansion coefficients) necessary for calculation of energy corrections to arbitrary order. The commercial computer algebra software Mathematica is employed to perform the prohibitively tedious symbolic manipulations necessary for derivation of generalized energy formulae in terms of universal constants, molecular constants, and quantum numbers. As a pedagogical example, a Hamiltonian operator tailored specifically to diatomic molecules is derived, and the perturbation formulae obtained from this Hamiltonian are evaluated for a number of such molecules. This work provides a foundation for future analyses of polyatomic molecules, since it demonstrates that arbitrary-order perturbation theory can successfully be applied with the aid of commercially available computer algebra software.

4. Conformal current algebra in two dimensions

Ashok, Sujay K.; Benichou, Raphael; Troost, Jan

2009-06-01

We construct a non-chiral current algebra in two dimensions consistent with conformal invariance. We show that the conformal current algebra is realized in non-linear sigma-models on supergroup manifolds with vanishing Killing form, with or without a Wess-Zumino term. The current algebra is computed using two distinct methods. First we exploit special algebraic properties of supergroups to compute the exact two- and three-point functions of the currents and from them we infer the current algebra. The algebra is also calculated by using conformal perturbation theory about the Wess-Zumino-Witten point and resumming the perturbation series. We also prove that these models realize a non-chiral Kac-Moody algebra and construct an infinite set of commuting operators that is closed under the action of the Kac-Moody generators. The supergroup models that we consider include models with applications to statistical mechanics, condensed matter and string theory. In particular, our results may help to systematically solve and clarify the quantum integrability of PSU(n|n) models and their cosets, which appear prominently in string worldsheet models on anti-deSitter spaces.

5. Numerical solvers to the stabilizing solution of perturbed algebraic Riccati equations in LQ zero-sum games

Ivanov, I. G.; Netov, N. C.; Bogdanova, B. C.

2015-10-01

This paper addresses the problem of solving a generalized algebraic Riccati equation with an indefinite sign of its quadratic term. We extend the approach introduced by Lanzon, Feng, Anderson and Rotkowitz (2008) for solving similar Riccati equations. We numerically investigate two types of iterative methods for computing the stabilizing solution. The first type of iterative methods constructs two matrix sequences, where the sum of them converges to the stabilizing solution. The second type of methods defines one matrix sequence which converges to the stabilizing solution. Computer realizations of the presented methods are numerically tested and compared on the test of family examples. Based on the experiments some conclusions are derived.

6. Non-singular orbital elements for special perturbations in the two-body problem

Baù, Giulio; Bombardelli, Claudio; Peláez, Jesús; Lorenzini, Enrico

2015-12-01

Seven spatial elements and a time element are proposed as the state variables of a new special perturbation method for the two-body problem. The new elements hold for zero eccentricity and inclination and for negative values of the total energy. They are developed by combining a spatial transformation into projective coordinates (as in the Burdet-Ferrándiz regularization) with a time transformation in which the exponent of the orbital radius is equal to one instead of two (as commonly done in the literature). By following this approach, we discover a new linearization of the two-body problem, from which the orbital elements can be generated by the variation of parameters method. The geometrical significance of the spatial quantities is revealed by a new intermediate frame which differs from a local vertical local horizontal frame by one rotation in the instantaneous orbital plane. Four elements parametrize the attitude in space of this frame, which in turn defines the orientation of the orbital plane and fixes the departure direction for the longitude of the propagated body. The remaining three elements determine the motion along the radial unit vector and the orbital longitude. The performance of the method, tested using a series of benchmark orbit propagation scenarios, is extremely good when compared to several regularized formulations, some of which have been modified and improved here for the first time.

7. Weyl n-Algebras

Markarian, Nikita

2017-03-01

We introduce Weyl n-algebras and show how their factorization complex may be used to define invariants of manifolds. In the appendix, we heuristically explain why these invariants must be perturbative Chern-Simons invariants.

8. Color Algebras

NASA Technical Reports Server (NTRS)

Mulligan, Jeffrey B.

2017-01-01

A color algebra refers to a system for computing sums and products of colors, analogous to additive and subtractive color mixtures. We would like it to match the well-defined algebra of spectral functions describing lights and surface reflectances, but an exact correspondence is impossible after the spectra have been projected to a three-dimensional color space, because of metamerism physically different spectra can produce the same color sensation. Metameric spectra are interchangeable for the purposes of addition, but not multiplication, so any color algebra is necessarily an approximation to physical reality. Nevertheless, because the majority of naturally-occurring spectra are well-behaved (e.g., continuous and slowly-varying), color algebras can be formulated that are largely accurate and agree well with human intuition. Here we explore the family of algebras that result from associating each color with a member of a three-dimensional manifold of spectra. This association can be used to construct a color product, defined as the color of the spectrum of the wavelength-wise product of the spectra associated with the two input colors. The choice of the spectral manifold determines the behavior of the resulting system, and certain special subspaces allow computational efficiencies. The resulting systems can be used to improve computer graphic rendering techniques, and to model various perceptual phenomena such as color constancy.

9. Encke's special perturbation technique associated with the KS regularized variables. I - Satellite motions in the earth's gravitational field with axial symmetry

1988-10-01

A special perturbation technique of Encke type associated with the Kustaanheimo-Stiefel (KS) regularized variables is developed for satellite motions in the earth's gravitational field with axial symmetry. Its computational algorithm is of recursive nature and could be applied to any perturbed conic motion, whatever the number of the zonal harmonic coefficients may be. Applications of the algorithm are also included.

10. Pseudo-Riemannian Novikov algebras

Chen, Zhiqi; Zhu, Fuhai

2008-08-01

Novikov algebras were introduced in connection with the Poisson brackets of hydrodynamic-type and Hamiltonian operators in formal variational calculus. Pseudo-Riemannian Novikov algebras denote Novikov algebras with non-degenerate invariant symmetric bilinear forms. In this paper, we find that there is a remarkable geometry on pseudo-Riemannian Novikov algebras, and give a special class of pseudo-Riemannian Novikov algebras.

11. Discrete Minimal Surface Algebras

Arnlind, Joakim; Hoppe, Jens

2010-05-01

We consider discrete minimal surface algebras (DMSA) as generalized noncommutative analogues of minimal surfaces in higher dimensional spheres. These algebras appear naturally in membrane theory, where sequences of their representations are used as a regularization. After showing that the defining relations of the algebra are consistent, and that one can compute a basis of the enveloping algebra, we give several explicit examples of DMSAs in terms of subsets of sln (any semi-simple Lie algebra providing a trivial example by itself). A special class of DMSAs are Yang-Mills algebras. The representation graph is introduced to study representations of DMSAs of dimension d ≤ 4, and properties of representations are related to properties of graphs. The representation graph of a tensor product is (generically) the Cartesian product of the corresponding graphs. We provide explicit examples of irreducible representations and, for coinciding eigenvalues, classify all the unitary representations of the corresponding algebras.

12. Teaching Algebra without Algebra

ERIC Educational Resources Information Center

Kalman, Richard S.

2008-01-01

Algebra is, among other things, a shorthand way to express quantitative reasoning. This article illustrates ways for the classroom teacher to convert algebraic solutions to verbal problems into conversational solutions that can be understood by students in the lower grades. Three reasonably typical verbal problems that either appeared as or…

13. Comparison of computer-algebra strong-coupling perturbation theory and dynamical mean-field theory for the Mott-Hubbard insulator in high dimensions

Paech, Martin; Apel, Walter; Kalinowski, Eva; Jeckelmann, Eric

2014-12-01

We present a large-scale combinatorial-diagrammatic computation of high-order contributions to the strong-coupling Kato-Takahashi perturbation series for the Hubbard model in high dimensions. The ground-state energy of the Mott-insulating phase is determined exactly up to the 15th order in 1 /U . The perturbation expansion is extrapolated to infinite order and the critical behavior is determined using the Domb-Sykes method. We compare the perturbative results with two dynamical mean-field theory (DMFT) calculations using a quantum Monte Carlo method and a density-matrix renormalization group method as impurity solvers. The comparison demonstrates the excellent agreement and accuracy of both extrapolated strong-coupling perturbation theory and quantum Monte Carlo based DMFT, even close to the critical coupling where the Mott insulator becomes unstable.

14. TRIP: General computer algebra system for celestial mechanics

2012-10-01

TRIP is an interactive computer algebra system that is devoted to perturbation series computations, and specially adapted to celestial mechanics. Its development started in 1988, as an upgrade of the special purpose FORTRAN routines elaborated by J. Laskar for the demonstration of the chaotic behavior of the Solar System. TRIP is a mature and efficient tool for handling multivariate generalized power series, and embeds two kernels, a symbolic and a numerical kernel. This numerical kernel communicates with Gnuplot or Grace to plot the graphics and allows one to plot the numerical evaluation of symbolic objects.

15. Bicovariant quantum algebras and quantum Lie algebras

Schupp, Peter; Watts, Paul; Zumino, Bruno

1993-10-01

A bicovariant calculus of differential operators on a quantum group is constructed in a natural way, using invariant maps from Fun(mathfrak{G}_q ) to U q g, given by elements of the pure braid group. These operators—the “reflection matrix” Y≡L + SL - being a special case—generate algebras that linearly close under adjoint actions, i.e. they form generalized Lie algebras. We establish the connection between the Hopf algebra formulation of the calculus and a formulation in compact matrix form which is quite powerful for actual computations and as applications we find the quantum determinant and an orthogonality relation for Y in SO q (N).

16. Kiddie Algebra

ERIC Educational Resources Information Center

Cavanagh, Sean

2009-01-01

As educators and policymakers search for ways to prepare students for the rigors of algebra, teachers in the Helena, Montana, school system are starting early by attempting to nurture students' algebraic-reasoning ability, as well as their basic number skills, in early elementary school, rather than waiting until middle or early high school.…

17. Hopf algebras of rooted forests, cocyles, and free Rota-Baxter algebras

Zhang, Tianjie; Gao, Xing; Guo, Li

2016-10-01

The Hopf algebra and the Rota-Baxter algebra are the two algebraic structures underlying the algebraic approach of Connes and Kreimer to renormalization of perturbative quantum field theory. In particular, the Hopf algebra of rooted trees serves as the "baby model" of Feynman graphs in their approach and can be characterized by certain universal properties involving a Hochschild 1-cocycle. Decorated rooted trees have also been applied to study Feynman graphs. We will continue the study of universal properties of various spaces of decorated rooted trees with such a 1-cocycle, leading to the concept of a cocycle Hopf algebra. We further apply the universal properties to equip a free Rota-Baxter algebra with the structure of a cocycle Hopf algebra.

18. Celestial mechanics with geometric algebra

NASA Technical Reports Server (NTRS)

Hestenes, D.

1983-01-01

Geometric algebra is introduced as a general tool for Celestial Mechanics. A general method for handling finite rotations and rotational kinematics is presented. The constants of Kepler motion are derived and manipulated in a new way. A new spinor formulation of perturbation theory is developed.

19. Mutation-induced perturbation of the special pair P840 in the homodimeric reaction center in green sulfur bacteria.

PubMed

Azai, Chihiro; Sano, Yuko; Kato, Yuki; Noguchi, Takumi; Oh-oka, Hirozo

2016-01-25

Homodimeric photosynthetic reaction centers (RCs) in green sulfur bacteria and heliobacteria are functional homologs of Photosystem (PS) I in oxygenic phototrophs. They show unique features in their electron transfer reactions; however, detailed structural information has not been available so far. We mutated PscA-Leu688 and PscA-Val689 to cysteine residues in the green sulfur bacterium Chlorobaculum tepidum; these residues were predicted to interact with the special pair P840, based on sequence comparison with PS I. Spectroelectrochemical measurements showed that the L688C and V689C mutations altered a near-infrared difference spectrum upon P840 oxidation, as well as the redox potential of P840. Light-induced Fourier transform infrared difference measurements showed that the L688C mutation induced a differential signal of the S-H stretching vibration in the P840(+)/P840 spectrum, as reported in P800(+)/P800 difference spectrum in a heliobacterial RC. Spectral changes in the 13(1)-keto C=O region, caused by both mutations, revealed corresponding changes in the electronic structure of P840 and in the hydrogen-bonding interaction at the 13(1)-keto C=O group. These results suggest that there is a common spatial configuration around the special pair sites among type 1 RCs. The data also provided evidence that P840 has a symmetric electronic structure, as expected from a homodimeric RC.

20. Anyons and matrix product operator algebras

Bultinck, N.; Mariën, M.; Williamson, D. J.; Şahinoğlu, M. B.; Haegeman, J.; Verstraete, F.

2017-03-01

Quantum tensor network states and more particularly projected entangled-pair states provide a natural framework for representing ground states of gapped, topologically ordered systems. The defining feature of these representations is that topological order is a consequence of the symmetry of the underlying tensors in terms of matrix product operators. In this paper, we present a systematic study of those matrix product operators, and show how this relates entanglement properties of projected entangled-pair states to the formalism of fusion tensor categories. From the matrix product operators we construct a C∗-algebra and find that topological sectors can be identified with the central idempotents of this algebra. This allows us to construct projected entangled-pair states containing an arbitrary number of anyons. Properties such as topological spin, the S matrix, fusion and braiding relations can readily be extracted from the idempotents. As the matrix product operator symmetries are acting purely on the virtual level of the tensor network, the ensuing Wilson loops are not fattened when perturbing the system, and this opens up the possibility of simulating topological theories away from renormalization group fixed points. We illustrate the general formalism for the special cases of discrete gauge theories and string-net models.

1. Steinberg conformal algebras

Mikhalev, A. V.; Pinchuk, I. A.

2005-06-01

The structure of Steinberg conformal algebras is studied; these are analogues of Steinberg groups (algebras, superalgebras).A Steinberg conformal algebra is defined as an abstract algebra by a system of generators and relations between the generators. It is proved that a Steinberg conformal algebra is the universal central extension of the corresponding conformal Lie algebra; the kernel of this extension is calculated.

2. Web Algebra.

ERIC Educational Resources Information Center

Capani, Antonio; De Dominicis, Gabriel

This paper proposes a model for a general interface between people and Computer Algebra Systems (CAS). The main features in the CAS interface are data navigation and the possibility of accessing powerful remote machines. This model is based on the idea of session management, in which the main engine of the tool enables interactions with the…

3. ON THE MAXIMAL DIMENSION OF IRREDUCIBLE REPRESENTATIONS OF SIMPLE LIE p-ALGEBRAS OF THE CARTAN SERIES S AND H

Krylyuk, Ya S.

1985-02-01

The maximal dimension is computed for irreducible representations of the Hamiltonian Lie p-algebra and the special Lie p-algebra of an even number of variables over an algebraically closed field of characteristic p>3.Bibliography: 11 titles.

4. Algebraic Lattices in QFT Renormalization

Borinsky, Michael

2016-07-01

The structure of overlapping subdivergences, which appear in the perturbative expansions of quantum field theory, is analyzed using algebraic lattice theory. It is shown that for specific QFTs the sets of subdivergences of Feynman diagrams form algebraic lattices. This class of QFTs includes the standard model. In kinematic renormalization schemes, in which tadpole diagrams vanish, these lattices are semimodular. This implies that the Hopf algebra of Feynman diagrams is graded by the coradical degree or equivalently that every maximal forest has the same length in the scope of BPHZ renormalization. As an application of this framework, a formula for the counter terms in zero-dimensional QFT is given together with some examples of the enumeration of primitive or skeleton diagrams.

5. A new model for algebraic Rossby solitary waves in rotation fluid and its solution

Chen, Yao-Deng; Yang, Hong-Wei; Gao, Yu-Fang; Yin, Bao-Shu; Feng, Xing-Ru

2015-09-01

A generalized Boussinesq equation that includes the dissipation effect is derived to describe a kind of algebraic Rossby solitary waves in a rotating fluid by employing perturbation expansions and stretching transformations of time and space. Using this equation, the conservation laws of algebraic Rossby solitary waves are discussed. It is found that the mass, the momentum, the energy, and the velocity of center of gravity of the algebraic solitary waves are conserved in the propagation process. Finally, the analytical solution of the equation is generated. Based on the analytical solution, the properties of the algebraic solitary waves and the dissipation effect are discussed. The results point out that, similar to classic solitary waves, the dissipation can cause the amplitude and the speed of solitary waves to decrease; however, unlike classic solitary waves, the algebraic solitary waves can split during propagation and the decrease of the detuning parameter can accelerate the occurrence of the solitary waves fission phenomenon. Project supported by the Shandong Provincial Key Laboratory of Marine Ecology and Environment and Disaster Prevention and Mitigation Project, China (Grant No. 2012010), the National Natural Science Foundation of China (Grant Nos. 41205082 and 41476019), the Special Funds for Theoretical Physics of the National Natural Science Foundation of China (Grant No. 11447205), and the Priority Academic Program Development of Jiangsu Higher Education Institutions (PAPD), China.

6. Perturbed nonlinear differential equations

NASA Technical Reports Server (NTRS)

Proctor, T. G.

1974-01-01

For perturbed nonlinear systems, a norm, other than the supremum norm, is introduced on some spaces of continuous functions. This makes possible the study of new types of behavior. A study is presented on a perturbed nonlinear differential equation defined on a half line, and the existence of a family of solutions with special boundedness properties is established. The ideas developed are applied to the study of integral manifolds, and examples are given.

7. Renormalized Lie perturbation theory

SciTech Connect

Rosengaus, E.; Dewar, R.L.

1981-07-01

A Lie operator method for constructing action-angle transformations continuously connected to the identity is developed for area preserving mappings. By a simple change of variable from action to angular frequency a perturbation expansion is obtained in which the small denominators have been renormalized. The method is shown to lead to the same series as the Lagrangian perturbation method of Greene and Percival, which converges on KAM surfaces. The method is not superconvergent, but yields simple recursion relations which allow automatic algebraic manipulation techniques to be used to develop the series to high order. It is argued that the operator method can be justified by analytically continuing from the complex angular frequency plane onto the real line. The resulting picture is one where preserved primary KAM surfaces are continuously connected to one another.

8. Algebraic trigonometry

Vaninsky, Alexander

2011-04-01

This article introduces a trigonometric field (TF) that extends the field of real numbers by adding two new elements: sin and cos - satisfying an axiom sin2 + cos2 = 1. It is shown that by assigning meaningful names to particular elements of the field, all known trigonometric identities may be introduced and proved. Two different interpretations of the TF are discussed with many others potentially possible. The main objective of this article is to introduce a broader view of trigonometry that can serve as motivation for mathematics students and teachers to study and teach abstract algebraic structures.

9. Derive Workshop Matrix Algebra and Linear Algebra.

ERIC Educational Resources Information Center

Townsley Kulich, Lisa; Victor, Barbara

This document presents the course content for a workshop that integrates the use of the computer algebra system Derive with topics in matrix and linear algebra. The first section is a guide to using Derive that provides information on how to write algebraic expressions, make graphs, save files, edit, define functions, differentiate expressions,…

10. Algebras with convergent star products and their representations in Hilbert spaces

Soloviev, M. A.

2013-07-01

We study star product algebras of analytic functions for which the power series defining the products converge absolutely. Such algebras arise naturally in deformation quantization theory and in noncommutative quantum field theory. We consider different star products in a unifying way and present results on the structure and basic properties of these algebras, which are useful for applications. Special attention is given to the Hilbert space representation of the algebras and to the exact description of their corresponding operator algebras.

11. Quantum cluster algebras and quantum nilpotent algebras

PubMed Central

Goodearl, Kenneth R.; Yakimov, Milen T.

2014-01-01

A major direction in the theory of cluster algebras is to construct (quantum) cluster algebra structures on the (quantized) coordinate rings of various families of varieties arising in Lie theory. We prove that all algebras in a very large axiomatically defined class of noncommutative algebras possess canonical quantum cluster algebra structures. Furthermore, they coincide with the corresponding upper quantum cluster algebras. We also establish analogs of these results for a large class of Poisson nilpotent algebras. Many important families of coordinate rings are subsumed in the class we are covering, which leads to a broad range of applications of the general results to the above-mentioned types of problems. As a consequence, we prove the Berenstein–Zelevinsky conjecture [Berenstein A, Zelevinsky A (2005) Adv Math 195:405–455] for the quantized coordinate rings of double Bruhat cells and construct quantum cluster algebra structures on all quantum unipotent groups, extending the theorem of Geiß et al. [Geiß C, et al. (2013) Selecta Math 19:337–397] for the case of symmetric Kac–Moody groups. Moreover, we prove that the upper cluster algebras of Berenstein et al. [Berenstein A, et al. (2005) Duke Math J 126:1–52] associated with double Bruhat cells coincide with the corresponding cluster algebras. PMID:24982197

12. Perturbed nonlinear differential equations

NASA Technical Reports Server (NTRS)

Proctor, T. G.

1972-01-01

The existence of a solution defined for all t and possessing a type of boundedness property is established for the perturbed nonlinear system y = f(t,y) + F(t,y). The unperturbed system x = f(t,x) has a dichotomy in which some solutions exist and are well behaved as t increases to infinity, and some solution exists and are well behaved as t decreases to minus infinity. A similar study is made for a perturbed nonlinear differential equation defined on a half line, R+, and the existence of a family of solutions with special boundedness properties is established. The ideas are applied to integral manifolds.

13. Quantum walks, deformed relativity and Hopf algebra symmetries.

PubMed

Bisio, Alessandro; D'Ariano, Giacomo Mauro; Perinotti, Paolo

2016-05-28

We show how the Weyl quantum walk derived from principles in D'Ariano & Perinotti (D'Ariano & Perinotti 2014Phys. Rev. A90, 062106. (doi:10.1103/PhysRevA.90.062106)), enjoying a nonlinear Lorentz symmetry of dynamics, allows one to introduce Hopf algebras for position and momentum of the emerging particle. We focus on two special models of Hopf algebras-the usual Poincaré and theκ-Poincaré algebras.

14. Profiles of Algebraic Competence

ERIC Educational Resources Information Center

Humberstone, J.; Reeve, R.A.

2008-01-01

The algebraic competence of 72 12-year-old female students was examined to identify profiles of understanding reflecting different algebraic knowledge states. Beginning algebraic competence (mapping abilities: word-to-symbol and vice versa, classifying, and solving equations) was assessed. One week later, the nature of assistance required to map…

15. Writing to Learn Algebra.

ERIC Educational Resources Information Center

Miller, L. Diane; England, David A.

1989-01-01

Describes a study in a large metropolitan high school to ascertain what influence the use of regular writing in algebra classes would have on students' attitudes towards algebra and their skills in algebra. Reports the simpler and more direct the writing topics the better. (MVL)

16. Algebraic theory of molecules

NASA Technical Reports Server (NTRS)

Iachello, Franco

1995-01-01

An algebraic formulation of quantum mechanics is presented. In this formulation, operators of interest are expanded onto elements of an algebra, G. For bound state problems in nu dimensions the algebra G is taken to be U(nu + 1). Applications to the structure of molecules are presented.

17. Applied Algebra Curriculum Modules.

ERIC Educational Resources Information Center

Texas State Technical Coll., Marshall.

This collection of 11 applied algebra curriculum modules can be used independently as supplemental modules for an existing algebra curriculum. They represent diverse curriculum styles that should stimulate the teacher's creativity to adapt them to other algebra concepts. The selected topics have been determined to be those most needed by students…

18. Connecting Arithmetic to Algebra

ERIC Educational Resources Information Center

Darley, Joy W.; Leapard, Barbara B.

2010-01-01

Algebraic thinking is a top priority in mathematics classrooms today. Because elementary school teachers lay the groundwork to develop students' capacity to think algebraically, it is crucial for teachers to have a conceptual understanding of the connections between arithmetic and algebra and be confident in communicating these connections. Many…

19. Ternary Virasoro - Witt algebra.

SciTech Connect

Zachos, C.; Curtright, T.; Fairlie, D.; High Energy Physics; Univ. of Miami; Univ. of Durham

2008-01-01

A 3-bracket variant of the Virasoro-Witt algebra is constructed through the use of su(1,1) enveloping algebra techniques. The Leibniz rules for 3-brackets acting on other 3-brackets in the algebra are discussed and verified in various situations.

20. From geometry to algebra: the Euclidean way with technology

Ferrarello, Daniela; Flavia Mammana, Maria; Pennisi, Mario

2016-05-01

In this paper, we present the results of an experimental classroom activity, history-based with a phylogenetic approach, to achieve algebra properties through geometry. In particular, we used Euclidean propositions, processed them by a dynamic geometry system and translate them into algebraic special products.

1. Chain models on hecke algebra for corner type representations

Isaev, A. P.; Ogievetsky, O. V.; Os'kin, A. F.

2008-04-01

We consider the integrable open chain models formulated in terms of generators of the Hecke algebra. The spectrum of Hamiltonians for the open Hecke chains of finite size with free boundary conditions is deduced for special (comer type) irreducible representations of the Hecke algebra.

2. Computer algebra and operators

NASA Technical Reports Server (NTRS)

Fateman, Richard; Grossman, Robert

1989-01-01

The symbolic computation of operator expansions is discussed. Some of the capabilities that prove useful when performing computer algebra computations involving operators are considered. These capabilities may be broadly divided into three areas: the algebraic manipulation of expressions from the algebra generated by operators; the algebraic manipulation of the actions of the operators upon other mathematical objects; and the development of appropriate normal forms and simplification algorithms for operators and their actions. Brief descriptions are given of the computer algebra computations that arise when working with various operators and their actions.

3. Perturbation theory in light-cone quantization

SciTech Connect

Langnau, A.

1992-01-01

A thorough investigation of light-cone properties which are characteristic for higher dimensions is very important. The easiest way of addressing these issues is by analyzing the perturbative structure of light-cone field theories first. Perturbative studies cannot be substituted for an analysis of problems related to a nonperturbative approach. However, in order to lay down groundwork for upcoming nonperturbative studies, it is indispensable to validate the renormalization methods at the perturbative level, i.e., to gain control over the perturbative treatment first. A clear understanding of divergences in perturbation theory, as well as their numerical treatment, is a necessary first step towards formulating such a program. The first objective of this dissertation is to clarify this issue, at least in second and fourth-order in perturbation theory. The work in this dissertation can provide guidance for the choice of counterterms in Discrete Light-Cone Quantization or the Tamm-Dancoff approach. A second objective of this work is the study of light-cone perturbation theory as a competitive tool for conducting perturbative Feynman diagram calculations. Feynman perturbation theory has become the most practical tool for computing cross sections in high energy physics and other physical properties of field theory. Although this standard covariant method has been applied to a great range of problems, computations beyond one-loop corrections are very difficult. Because of the algebraic complexity of the Feynman calculations in higher-order perturbation theory, it is desirable to automatize Feynman diagram calculations so that algebraic manipulation programs can carry out almost the entire calculation. This thesis presents a step in this direction. The technique we are elaborating on here is known as light-cone perturbation theory.

4. Algebraic quantum gravity (AQG): II. Semiclassical analysis

Giesel, K.; Thiemann, T.

2007-05-01

In the previous paper (Giesel and Thiemann 2006 Conceptual setup Preprint gr-qc/0607099) a new combinatorial and thus purely algebraical approach to quantum gravity, called algebraic quantum gravity (AQG), was introduced. In the framework of AQG, existing semiclassical tools can be applied to operators that encode the dynamics of AQG such as the master constraint operator. In this paper, we will analyse the semiclassical limit of the (extended) algebraic master constraint operator and show that it reproduces the correct infinitesimal generators of general relativity. Therefore, the question of whether general relativity is included in the semiclassical sector of the theory, which is still an open problem in LQG, can be significantly improved in the framework of AQG. For the calculations, we will substitute SU(2) with U(1)3. That this substitution is justified will be demonstrated in the third paper (Giesel and Thiemann 2006 Semiclassical perturbation theory Preprint gr-qc/0607101) of this series.

5. Linking Computer Algebra Systems and Paper-and-Pencil Techniques To Support the Teaching of Mathematics.

ERIC Educational Resources Information Center

van Herwaarden, Onno A.; Gielen, Joseph L. W.

2002-01-01

Focuses on students showing a lack of conceptual insight while using computer algebra systems (CAS) in the setting of an elementary calculus and linear algebra course for first year university students in social sciences. The use of a computer algebra environment has been incorporated into a more traditional course but with special attention on…

6. Direct determination of the underlying Lie algebra in nonlinear optics

Arnold, J. M.

1991-01-01

It is shown that the equations of resonant nonlinear optics can be studied entirely within the framework of an underlying Lie algebra, in which the 2x2 su(2) Hamiltonian and density matrices of the quantum mechanical description of the atomic system transform directly to the 2x2 sl(2,R) matrices of the Ablowitz-Kaup-Newell-Segur (AKNS) scheme, and the AKNS eigenvalue is introduced naturally as a free parameter. The Lie algebra sl(2,R) is also the symmetry algebra of transformations between equivalence classes of AKNS systems under SL(2,R) gauge transformations. The Lie algebra formalism condenses much algebraic manipulation, and provides a natural basis for the perturbation theory of "nearly integrable" nonlinear wave systems.

7. Prediction of Algebraic Instabilities

Zaretzky, Paula; King, Kristina; Hill, Nicole; Keithley, Kimberlee; Barlow, Nathaniel; Weinstein, Steven; Cromer, Michael

2016-11-01

A widely unexplored type of hydrodynamic instability is examined - large-time algebraic growth. Such growth occurs on the threshold of (exponentially) neutral stability. A new methodology is provided for predicting the algebraic growth rate of an initial disturbance, when applied to the governing differential equation (or dispersion relation) describing wave propagation in dispersive media. Several types of algebraic instabilities are explored in the context of both linear and nonlinear waves.

8. Computer algebra and transport theory.

SciTech Connect

Warsa, J. S.

2004-01-01

Modern symbolic algebra computer software augments and complements more traditional approaches to transport theory applications in several ways. The first area is in the development and enhancement of numerical solution methods for solving the Boltzmann transport equation. Typically, special purpose computer codes are designed and written to solve specific transport problems in particular ways. Different aspects of the code are often written from scratch and the pitfalls of developing complex computer codes are numerous and well known. Software such as MAPLE and MATLAB can be used to prototype, analyze, verify and determine the suitability of numerical solution methods before a full-scale transport application is written. Once it is written, the relevant pieces of the full-scale code can be verified using the same tools I that were developed for prototyping. Another area is in the analysis of numerical solution methods or the calculation of theoretical results that might otherwise be difficult or intractable. Algebraic manipulations are done easily and without error and the software also provides a framework for any additional numerical calculations that might be needed to complete the analysis. We will discuss several applications in which we have extensively used MAPLE and MATLAB in our work. All of them involve numerical solutions of the S{sub N} transport equation. These applications encompass both of the two main areas in which we have found computer algebra software essential.

9. Introduction to Image Algebra Ada

Wilson, Joseph N.

1991-07-01

10. Connecting Algebra and Chemistry.

ERIC Educational Resources Information Center

O'Connor, Sean

2003-01-01

Correlates high school chemistry curriculum with high school algebra curriculum and makes the case for an integrated approach to mathematics and science instruction. Focuses on process integration. (DDR)

11. Generalizing the Connes Moscovici Hopf algebra to contain all rooted trees

Agarwala, Susama; Delaney, Colleen

2015-04-01

This paper defines a generalization of the Connes-Moscovici Hopf algebra, H ( 1 ) , that contains the entire Hopf algebra of rooted trees. A relationship between the former, a much studied object in non-commutative geometry, and the latter, a much studied object in perturbative quantum field theory, has been established by Connes and Kreimer. The results of this paper open the door to study the cohomology of the Hopf algebra of rooted trees.

12. Generalizing the Connes Moscovici Hopf algebra to contain all rooted trees

SciTech Connect

Agarwala, Susama; Delaney, Colleen

2015-04-15

This paper defines a generalization of the Connes-Moscovici Hopf algebra, H(1), that contains the entire Hopf algebra of rooted trees. A relationship between the former, a much studied object in non-commutative geometry, and the latter, a much studied object in perturbative quantum field theory, has been established by Connes and Kreimer. The results of this paper open the door to study the cohomology of the Hopf algebra of rooted trees.

13. Algebraic linearization of dynamics of Calogero type for any Coxeter group

Caseiro, R.; Françoise, J.-P.; Sasaki, R.

2000-07-01

Calogero-Moser systems can be generalized for any root system (including the noncrystallographic cases). The algebraic linearization of the generalized Calogero-Moser systems and of their quadratic (respectively quartic) perturbations are discussed.

14. Riemannian manifolds as Lie-Rinehart algebras

Pessers, Victor; van der Veken, Joeri

2016-07-01

In this paper, we show how Lie-Rinehart algebras can be applied to unify and generalize the elementary theory of Riemannian geometry. We will first review some necessary theory on a.o. modules, bilinear forms and derivations. We will then translate some classical theory on Riemannian geometry to the setting of Rinehart spaces, a special kind of Lie-Rinehart algebras. Some generalized versions of classical results will be obtained, such as the existence of a unique Levi-Civita connection, inducing a Levi-Civita connection on a submanifold, and the construction of spaces with constant sectional curvature.

15. Catching Up on Algebra

ERIC Educational Resources Information Center

Cavanagh, Sean

2008-01-01

A popular humorist and avowed mathphobe once declared that in real life, there's no such thing as algebra. Kathie Wilson knows better. Most of the students in her 8th grade class will be thrust into algebra, the definitive course that heralds the beginning of high school mathematics, next school year. The problem: Many of them are about three…

16. Parastatistics Algebras and Combinatorics

Popov, T.

2005-03-01

We consider the algebras spanned by the creation parafermionic and parabosonic operators which give rise to generalized parastatistics Fock spaces. The basis of such a generalized Fock space can be labelled by Young tableaux which are combinatorial objects. By means of quantum deformations a nice combinatorial structure of the algebra of the plactic monoid that lies behind the parastatistics is revealed.

17. Algebraic Reasoning through Patterns

ERIC Educational Resources Information Center

Rivera, F. D.; Becker, Joanne Rossi

2009-01-01

This article presents the results of a three-year study that explores students' performance on patterning tasks involving prealgebra and algebra. The findings, insights, and issues drawn from the study are intended to help teach prealgebra and algebra. In the remainder of the article, the authors take a more global view of the three-year study on…

18. Learning Activity Package, Algebra.

ERIC Educational Resources Information Center

Evans, Diane

A set of ten teacher-prepared Learning Activity Packages (LAPs) in beginning algebra and nine in intermediate algebra, these units cover sets, properties of operations, number systems, open expressions, solution sets of equations and inequalities in one and two variables, exponents, factoring and polynomials, relations and functions, radicals,…

19. Linear-Algebra Programs

NASA Technical Reports Server (NTRS)

Lawson, C. L.; Krogh, F. T.; Gold, S. S.; Kincaid, D. R.; Sullivan, J.; Williams, E.; Hanson, R. J.; Haskell, K.; Dongarra, J.; Moler, C. B.

1982-01-01

The Basic Linear Algebra Subprograms (BLAS) library is a collection of 38 FORTRAN-callable routines for performing basic operations of numerical linear algebra. BLAS library is portable and efficient source of basic operations for designers of programs involving linear algebriac computations. BLAS library is supplied in portable FORTRAN and Assembler code versions for IBM 370, UNIVAC 1100 and CDC 6000 series computers.

ERIC Educational Resources Information Center

Levy, Alissa Beth

2012-01-01

The California Department of Education (CDE) has long asserted that success Algebra I by Grade 8 is the goal for all California public school students. In fact, the state's accountability system penalizes schools that do not require all of their students to take the Algebra I end-of-course examination by Grade 8 (CDE, 2009). In this dissertation,…

1. Teaching Structure in Algebra

ERIC Educational Resources Information Center

Merlin, Ethan M.

2013-01-01

This article describes how the author has developed tasks for students that address the missed "essence of the matter" of algebraic transformations. Specifically, he has found that having students practice "perceiving" algebraic structure--by naming the "glue" in the expressions, drawing expressions using…

2. Conformal manifolds in four dimensions and chiral algebras

Buican, Matthew; Nishinaka, Takahiro

2016-11-01

Any { N }=2 superconformal field theory (SCFT) in four dimensions has a sector of operators related to a two-dimensional chiral algebra containing a Virasoro sub-algebra. Moreover, there are well-known examples of isolated SCFTs whose chiral algebra is a Virasoro algebra. In this note, we consider the chiral algebras associated with interacting { N }=2 SCFTs possessing an exactly marginal deformation that can be interpreted as a gauge coupling (i.e., at special points on the resulting conformal manifolds, free gauge fields appear that decouple from isolated SCFT building blocks). At any point on these conformal manifolds, we argue that the associated chiral algebras possess at least three generators. In addition, we show that there are examples of SCFTs realizing such a minimal chiral algebra: they are certain points on the conformal manifold obtained by considering the low-energy limit of type IIB string theory on the three complex-dimensional hypersurface singularity {x}13+{x}23+{x}33+α {x}1{x}2{x}3+{w}2=0. The associated chiral algebra is the { A }(6) theory of Feigin, Feigin, and Tipunin. As byproducts of our work, we argue that (i) a collection of isolated theories can be conformally gauged only if there is a SUSY moduli space associated with the corresponding symmetry current moment maps in each sector, and (ii) { N }=2 SCFTs with a≥slant c have hidden fermionic symmetries (in the sense of fermionic chiral algebra generators).

3. Special Year on Numerical Linear Algebra

DTIC Science & Technology

1988-09-01

Beresford was able to discuss this with Kresimir Veseli during his visit. 3. exp(Bt) via Schur form for real B. This long drawn out project is...communication, before the next orthogonalization. Kresimir Veseli6 Dr. Veseli6 wrote a paper entitled, "A Note on One-sided Diagonalization Algorithms", during

4. Automatic Generation of Analytic Equations for Vibrational and Rovibrational Constants from Fourth-Order Vibrational Perturbation Theory

Matthews, Devin A.; Gong, Justin Z.; Stanton, John F.

2014-06-01

The derivation of analytic expressions for vibrational and rovibrational constants, for example the anharmonicity constants χij and the vibration-rotation interaction constants α^B_r, from second-order vibrational perturbation theory (VPT2) can be accomplished with pen and paper and some practice. However, the corresponding quantities from fourth-order perturbation theory (VPT4) are considerably more complex, with the only known derivations by hand extensively using many layers of complicated intermediates and for rotational quantities requiring specialization to orthorhombic cases or the form of Watson's reduced Hamiltonian. We present an automatic computer program for generating these expressions with full generality based on the adaptation of an existing numerical program based on the sum-over-states representation of the energy to a computer algebra context. The measures taken to produce well-simplified and factored expressions in an efficient manner are discussed, as well as the framework for automatically checking the correctness of the generated equations.

5. Cartan-Weyl 3-algebras and the BLG theory. I: classification of Cartan-Weyl 3-algebras

Chu, Chong-Sun

2010-10-01

As Lie algebras of compact connected Lie groups, semisimple Lie algebras have wide applications in the description of continuous symmetries of physical systems. Mathematically, semisimple Lie algebra admits a Cartan-Weyl basis of generators which consists of a Cartan subalgebra of mutually commuting generators H I and a number of step generators E α that are characterized by a root space of non-degenerate one-forms α. This simple decomposition in terms of the root space allows for a complete classification of semisimple Lie algebras. In this paper, we introduce the analogous concept of a Cartan-Weyl Lie 3-algebra. We analyze their structure and obtain a complete classification of them. Many known examples of metric Lie 3-algebras (e.g. the Lorentzian 3-algebras) are special cases of the Cartan-Weyl 3-algebras. Due to their elegant and simple structure, we speculate that Cartan-Weyl 3-algebras may be useful for describing some kinds of generalized symmetries. As an application, we consider their use in the Bagger-Lambert-Gustavsson (BLG) theory.

6. Algebraic Nonlinear Collective Motion

Troupe, J.; Rosensteel, G.

1998-11-01

Finite-dimensional Lie algebras of vector fields determine geometrical collective models in quantum and classical physics. Every set of vector fields on Euclidean space that generates the Lie algebra sl(3, R) and contains the angular momentum algebra so(3) is determined. The subset of divergence-free sl(3, R) vector fields is proven to be indexed by a real numberΛ. TheΛ=0 solution is the linear representation that corresponds to the Riemann ellipsoidal model. The nonlinear group action on Euclidean space transforms a certain family of deformed droplets among themselves. For positiveΛ, the droplets have a neck that becomes more pronounced asΛincreases; for negativeΛ, the droplets contain a spherical bubble of radius |Λ|1/3. The nonlinear vector field algebra is extended to the nonlinear general collective motion algebra gcm(3) which includes the inertia tensor. The quantum algebraic models of nonlinear nuclear collective motion are given by irreducible unitary representations of the nonlinear gcm(3) Lie algebra. These representations model fissioning isotopes (Λ>0) and bubble and two-fluid nuclei (Λ<0).

7. Algebraic invariants for homotopy types

Blanc, David

1999-11-01

We define a sequence of purely algebraic invariants - namely, classes in the Quillen cohomology of the [Pi]-algebra [pi][low asterisk]X - for distinguishing between different homotopy types of spaces. Another sequence of such cohomology classes allows one to decide whether a given abstract [Pi]-algebra can be realized as the homotopy [Pi]-algebra of a space.

8. A Richer Understanding of Algebra

ERIC Educational Resources Information Center

Foy, Michelle

2008-01-01

Algebra is one of those hard-to-teach topics where pupils seem to struggle to see it as more than a set of rules to learn, but this author recently used the software "Grid Algebra" from ATM, which engaged her Year 7 pupils in exploring algebraic concepts for themselves. "Grid Algebra" allows pupils to experience number,…

9. Field Theoretic Investigations in Current Algebra

Jackiw, Roman

The following sections are included: * Introduction * Canonical and Space-Time Constraints in Current Algebra * Canonical Theory of Currents * Space-Time Constraints on Commutators * Space-Time Constraints on Green's Functions * Space-Time Constraints on Ward Identities * Schwinger Terms * Discussion * The Bjorken-Johnson-Low Limit * The π 0 → 2γ Problem * Preliminaries * Sutherland-Veltman Theorem * Model Calculation * Anomalous Ward Identity * Anomalous Commutators * Anomalous Divergence of Axial Current * Discussion * Electroproduction Sum Rules * Preliminaries * Derivation of Sum Rules, Naive Method * Derivation of Sum Rules, Dispersive Method * Model Calculation * Anomalous Commutators * Discussion * Discussion of Anomalies in Current Algebra * Miscellaneous Anomalies * Non-Perturbative Arguments for Anomalies * Models without Anomalies * Discussion * Approximate Scale Symmetry * Introduction * Canonical Theory of Scale and Conformal Transformations * Ward Identities and Trace Identities * False Theorems * True Theorems * EXERCISES * SOLUTIONS

10. Invariant differential operators for non-compact Lie algebras parabolically related to conformal Lie algebras

Dobrev, V. K.

2013-02-01

In the present paper we continue the project of systematic construction of invariant differential operators for non-compact semisimple Lie groups. Our starting points is the class of algebras, which we call 'conformal Lie algebras' (CLA), which have very similar properties to the conformal algebras of Minkowski space-time, though our aim is to go beyond this class in a natural way. For this we introduce the new notion of parabolic relation between two non-compact semisimple Lie algebras G and G ' that have the same complexification and possess maximal parabolic subalgebras with the same complexification. Thus, we consider the exceptional algebra E 7(7) which is parabolically related to the CLA E 7(-25) , the parabolic subalgebras including E 6(6) and E 6(-26). Other interesting examples are the orthogonal algebras so(p, q) all of which are parabolically related to the conformal algebra so( n, 2) with p + q = n + 2, the parabolic subalgebras including the Lorentz subalgebra so( n - 1, 1) and its analogs so( p - 1, q - 1). We consider also E6(6) and E6(2) which are parabolically related to the hermitian symmetric case E6(-14) , the parabolic subalgebras including real forms of sl(6). We also give a formula for the number of representations in the main multiplets valid for CLAs and all algebras that are parabolically related to them. In all considered cases we give the main multiplets of indecomposable elementary representations including the necessary data for all relevant invariant differential operators. In the case of so( p, q) we give also the reduced multiplets. We should stress that the multiplets are given in the most economic way in pairs of shadow fields. Furthermore we should stress that the classification of all invariant differential operators includes as special cases all possible conservation laws and conserved currents, unitary or not.

11. Developing Algebraic Thinking.

ERIC Educational Resources Information Center

Alejandre, Suzanne

2002-01-01

Presents a teaching experience that resulted in students getting to a point of full understanding of the kinesthetic activity and the algebra behind it. Includes a lesson plan for a traffic jam activity. (KHR)

12. Jordan Algebraic Quantum Categories

Graydon, Matthew; Barnum, Howard; Ududec, Cozmin; Wilce, Alexander

2015-03-01

State cones in orthodox quantum theory over finite dimensional complex Hilbert spaces enjoy two particularly essential features: homogeneity and self-duality. Orthodox quantum theory is not, however, unique in that regard. Indeed, all finite dimensional formally real Jordan algebras -- arenas for generalized quantum theories with close algebraic kinship to the orthodox theory -- admit homogeneous self-dual positive cones. We construct categories wherein these theories are unified. The structure of composite systems is cast from universal tensor products of the universal C*-algebras enveloping ambient spaces for the constituent state cones. We develop, in particular, a notion of composition that preserves the local distinction of constituent systems in quaternionic quantum theory. More generally, we explicitly derive the structure of hybrid quantum composites with subsystems of arbitrary Jordan algebraic type.

13. Accounting Equals Applied Algebra.

ERIC Educational Resources Information Center

Roberts, Sondra

1997-01-01

Argues that students should be given mathematics credits for completing accounting classes. Demonstrates that, although the terminology is different, the mathematical concepts are the same as those used in an introductory algebra class. (JOW)

14. Covariant deformed oscillator algebras

NASA Technical Reports Server (NTRS)

Quesne, Christiane

1995-01-01

The general form and associativity conditions of deformed oscillator algebras are reviewed. It is shown how the latter can be fulfilled in terms of a solution of the Yang-Baxter equation when this solution has three distinct eigenvalues and satisfies a Birman-Wenzl-Murakami condition. As an example, an SU(sub q)(n) x SU(sub q)(m)-covariant q-bosonic algebra is discussed in some detail.

15. Aprepro - Algebraic Preprocessor

SciTech Connect

2005-08-01

Aprepro is an algebraic preprocessor that reads a file containing both general text and algebraic, string, or conditional expressions. It interprets the expressions and outputs them to the output file along witht the general text. Aprepro contains several mathematical functions, string functions, and flow control constructs. In addition, functions are included that, with some additional files, implement a units conversion system and a material database lookup system.

16. A quantum affine algebra for the deformed Hubbard chain

Beisert, Niklas; Galleas, Wellington; Matsumoto, Takuya

2012-09-01

The integrable structure of the one-dimensional Hubbard model is based on Shastry's R-matrix and the Yangian of a centrally extended \\mathfrak {sl}(2|2) superalgebra. Alcaraz and Bariev have shown that the model admits an integrable deformation whose R-matrix has recently been found. This R-matrix is of trigonometric type and here we derive its underlying exceptional quantum affine algebra. We also show how the algebra reduces to the above-mentioned Yangian and to the conventional quantum affine \\mathfrak {sl}(2|2) algebra in two special limits.

17. Birman—Wenzl—Murakami Algebra and Topological Basis

Zhou, Cheng-Cheng; Xue, Kang; Wang, Gang-Cheng; Sun, Chun-Fang; Du, Gui-Jiao

2012-02-01

In this paper, we use entangled states to construct 9 × 9-matrix representations of Temperley—Lieb algebra (TLA), then a family of 9 × 9-matrix representations of Birman—Wenzl—Murakami algebra (BWMA) have been presented. Based on which, three topological basis states have been found. And we apply topological basis states to recast nine-dimensional BWMA into its three-dimensional counterpart. Finally, we find the topological basis states are spin singlet states in special case.

18. An algebraic approach to the Hubbard model

de Leeuw, Marius; Regelskis, Vidas

2016-02-01

We study the algebraic structure of an integrable Hubbard-Shastry type lattice model associated with the centrally extended su (2 | 2) superalgebra. This superalgebra underlies Beisert's AdS/CFT worldsheet R-matrix and Shastry's R-matrix. The considered model specializes to the one-dimensional Hubbard model in a certain limit. We demonstrate that Yangian symmetries of the R-matrix specialize to the Yangian symmetry of the Hubbard model found by Korepin and Uglov. Moreover, we show that the Hubbard model Hamiltonian has an algebraic interpretation as the so-called secret symmetry. We also discuss Yangian symmetries of the A and B models introduced by Frolov and Quinn.

19. Hexagonal tessellations in image algebra

Eberly, David H.; Wenzel, Dennis J.; Longbotham, Harold G.

1990-11-01

In image algebra '' the concept of a coordinate set X is general in that such a set is simply a subset of ndimensional Euclidean space . The standard applications in 2-dimensional image processing use coordinate sets which are rectangular arrays X 72 x ZZm. However some applications may require other geometries for the coordinate set. We look at three such related applications in the context of image algebra. The first application is the modeling of photoreceptors in primate retinas. These receptors are inhomogeneously distributed on the retina. The largest receptor density occurs in the center of the fovea and decreases radially outwards. One can construct a hexagonal tessellation of the retina such that each hexagon contains approximately the same number of receptors. The resulting tessellation called a sunflower heart2 consists of concentric rings of hexagons whose sizes increase as the radius of the ring increases. The second application is the modeling of the primary visual . The neurons are assumed to be uniformly distributed as a regular hexagonal lattice. Cortical neural image coding is modeled by a recursive convolution of the retinal neural image using a special set of filters. The third application involves analysis of a hexagonally-tessellated image where the pixel resolution is variable .

20. Note on the semiclassicality of cosmological perturbations

Donà, Pietro; Marcianò, Antonino

2016-12-01

Moving from the consideration that matter fields must be treated in terms of their fundamental quantum counterparts, we show straightforward arguments, within the framework of ordinary quantum mechanics and quantum field theory, in order to convince readers that cosmological perturbations must be addressed in term of the semiclassical limit of the expectation value of quantum fields. We first take into account cosmological perturbations originated by a quantum scalar field, and then extend our treatment in order to account for the expectation values of bilinears of Dirac fermion fields. The latter can indeed transform as scalar quantities under diffeomorphisms, as well as all the other bilinear of the Dirac fields that belong to the Clifford algebra. This is the first of a series of works that is intended to prove that cosmological quantum perturbations can actually be accounted for in terms of Dirac fermion fields, which must be treated as fundamental quantum objects, and their dynamics.

1. Algebraic mesh quality metrics

SciTech Connect

KNUPP,PATRICK

2000-04-24

Quality metrics for structured and unstructured mesh generation are placed within an algebraic framework to form a mathematical theory of mesh quality metrics. The theory, based on the Jacobian and related matrices, provides a means of constructing, classifying, and evaluating mesh quality metrics. The Jacobian matrix is factored into geometrically meaningful parts. A nodally-invariant Jacobian matrix can be defined for simplicial elements using a weight matrix derived from the Jacobian matrix of an ideal reference element. Scale and orientation-invariant algebraic mesh quality metrics are defined. the singular value decomposition is used to study relationships between metrics. Equivalence of the element condition number and mean ratio metrics is proved. Condition number is shown to measure the distance of an element to the set of degenerate elements. Algebraic measures for skew, length ratio, shape, volume, and orientation are defined abstractly, with specific examples given. Combined metrics for shape and volume, shape-volume-orientation are algebraically defined and examples of such metrics are given. Algebraic mesh quality metrics are extended to non-simplical elements. A series of numerical tests verify the theoretical properties of the metrics defined.

2. Perturbative Methods in Path Integration

Johnson-Freyd, Theodore Paul

This dissertation addresses a number of related questions concerning perturbative "path" integrals. Perturbative methods are one of the few successful ways physicists have worked with (or even defined) these infinite-dimensional integrals, and it is important as mathematicians to check that they are correct. Chapter 0 provides a detailed introduction. We take a classical approach to path integrals in Chapter 1. Following standard arguments, we posit a Feynman-diagrammatic description of the asymptotics of the time-evolution operator for the quantum mechanics of a charged particle moving nonrelativistically through a curved manifold under the influence of an external electromagnetic field. We check that our sum of Feynman diagrams has all desired properties: it is coordinate-independent and well-defined without ultraviolet divergences, it satisfies the correct composition law, and it satisfies Schrodinger's equation thought of as a boundary-value problem in PDE. Path integrals in quantum mechanics and elsewhere in quantum field theory are almost always of the shape ∫ f es for some functions f (the "observable") and s (the "action"). In Chapter 2 we step back to analyze integrals of this type more generally. Integration by parts provides algebraic relations between the values of ∫ (-) es for different inputs, which can be packaged into a Batalin--Vilkovisky-type chain complex. Using some simple homological perturbation theory, we study the version of this complex that arises when f and s are taken to be polynomial functions, and power series are banished. We find that in such cases, the entire scheme-theoretic critical locus (complex points included) of s plays an important role, and that one can uniformly (but noncanonically) integrate out in a purely algebraic way the contributions to the integral from all "higher modes," reducing ∫ f es to an integral over the critical locus. This may help explain the presence of analytic continuation in questions like the

3. Abstract Algebra for Algebra Teaching: Influencing School Mathematics Instruction

ERIC Educational Resources Information Center

Wasserman, Nicholas H.

2016-01-01

This article explores the potential for aspects of abstract algebra to be influential for the teaching of school algebra (and early algebra). Using national standards for analysis, four primary areas common in school mathematics--and their progression across elementary, middle, and secondary mathematics--where teaching may be transformed by…

4. Double conformal space-time algebra

Easter, Robert Benjamin; Hitzer, Eckhard

2017-01-01

contraction effect of special relativity. DCSTA is an algebra for computing with quadrics and their cyclide inversions in spacetime. For applications or testing, DCSTA G 4,8 can be computed using various software packages, such as Gaalop, the Clifford Multivector Toolbox (for MATLAB), or the symbolic computer algebra system SymPy with the G Algebra module.

SciTech Connect

Brezina, M; Falgout, R; MacLachlan, S; Manteuffel, T; McCormick, S; Ruge, J

2004-04-09

Our ability to simulate physical processes numerically is constrained by our ability to solve the resulting linear systems, prompting substantial research into the development of multiscale iterative methods capable of solving these linear systems with an optimal amount of effort. Overcoming the limitations of geometric multigrid methods to simple geometries and differential equations, algebraic multigrid methods construct the multigrid hierarchy based only on the given matrix. While this allows for efficient black-box solution of the linear systems associated with discretizations of many elliptic differential equations, it also results in a lack of robustness due to assumptions made on the near-null spaces of these matrices. This paper introduces an extension to algebraic multigrid methods that removes the need to make such assumptions by utilizing an adaptive process. The principles which guide the adaptivity are highlighted, as well as their application to algebraic multigrid solution of certain symmetric positive-definite linear systems.

6. Resonant algebras and gravity

Durka, R.

2017-04-01

The S-expansion framework is analyzed in the context of a freedom in closing the multiplication tables for the abelian semigroups. Including the possibility of the zero element in the resonant decomposition, and associating the Lorentz generator with the semigroup identity element, leads to a wide class of the expanded Lie algebras introducing interesting modifications to the gauge gravity theories. Among the results, we find all the Maxwell algebras of type {{B}m} , {{C}m} , and the recently introduced {{D}m} . The additional new examples complete the resulting generalization of the bosonic enlargements for an arbitrary number of the Lorentz-like and translational-like generators. Some further prospects concerning enlarging the algebras are discussed, along with providing all the necessary constituents for constructing the gravity actions based on the obtained results.

7. On weak Lie 2-algebras

Roytenberg, Dmitry

2007-11-01

A Lie 2-algebra is a linear category equipped with a functorial bilinear operation satisfying skew-symmetry and Jacobi identity up to natural transformations which themselves obey coherence laws of their own. Functors and natural transformations between Lie 2-algebras can also be defined, yielding a 2-category. Passing to the normalized chain complex gives an equivalence of 2-categories between Lie 2-algebras and certain "up to homotopy" structures on the complex; for strictly skew-symmetric Lie 2-algebras these are L∞-algebras, by a result of Baez and Crans. Lie 2-algebras appear naturally as infinitesimal symmetries of solutions of the Maurer-Cartan equation in some differential graded Lie algebras and L∞-algebras. In particular, (quasi-) Poisson manifolds, (quasi-) Lie bialgebroids and Courant algebroids provide large classes of examples.

ERIC Educational Resources Information Center

Borenson, Henry

1987-01-01

Elementary school children who are exposed to a concrete, hands-on experience in algebraic linear equations will more readily develop a positive mind-set and expectation for success in later formal, algebraic studies. (CB)

9. A Holistic Approach to Algebra.

ERIC Educational Resources Information Center

Barbeau, Edward J.

1991-01-01

Described are two examples involving recursive mathematical sequences designed to integrate a holistic approach to learning algebra. These examples promote pattern recognition with algebraic justification, full class participation, and mathematical values that can be transferred to other situations. (MDH)

10. Computer Program For Linear Algebra

NASA Technical Reports Server (NTRS)

Krogh, F. T.; Hanson, R. J.

1987-01-01

Collection of routines provided for basic vector operations. Basic Linear Algebra Subprogram (BLAS) library is collection from FORTRAN-callable routines for employing standard techniques to perform basic operations of numerical linear algebra.

11. Topological basis realization for BMW algebra and Heisenberg XXZ spin chain model

Liu, Bo; Xue, Kang; Wang, Gangcheng; Liu, Ying; Sun, Chunfang

2015-04-01

In this paper, we study three-dimensional (3D) reduced Birman-Murakami-Wenzl (BMW) algebra based on topological basis theory. Several examples of BMW algebra representations are reviewed. We also discuss a special solution of BMW algebra, which can be used to construct Heisenberg XXZ model. The theory of topological basis provides a useful method to solve quantum spin chain models. It is also shown that the ground state of XXZ spin chain is superposition state of topological basis.

12. An algebra of reversible computation.

PubMed

Wang, Yong

2016-01-01

We design an axiomatization for reversible computation called reversible ACP (RACP). It has four extendible modules: basic reversible processes algebra, algebra of reversible communicating processes, recursion and abstraction. Just like process algebra ACP in classical computing, RACP can be treated as an axiomatization foundation for reversible computation.

13. Generalized coherent states for polynomial Weyl-Heisenberg algebras

Kibler, Maurice R.; Daoud, Mohammed

2012-08-01

It is the aim of this paper to show how to construct á la Perelomov and á la Barut-Girardello coherent states for a polynomial Weyl-Heisenberg algebra. This algebra depends on r parameters. For some special values of the parameter corresponding to r = 1, the algebra covers the cases of the su(1,1) algebra, the su(2) algebra and the ordinary Weyl-Heisenberg or oscillator algebra. For r arbitrary, the generalized Weyl-Heisenberg algebra admits finite or infinite-dimensional representations depending on the values of the parameters. Coherent states of the Perelomov type are derived in finite and infinite dimensions through a Fock-Bargmann approach based on the use of complex variables. The same approach is applied for deriving coherent states of the Barut-Girardello type in infinite dimension. In contrast, the construction of á la Barut-Girardello coherent states in finite dimension can be achieved solely at the price to replace complex variables by generalized Grassmann variables. Finally, some preliminary developments are given for the study of Bargmann functions associated with some of the coherent states obtained in this work.

14. New infinite-dimensional algebras, sine brackets, and SU (infinity)

SciTech Connect

Zachos, C.K.; Fairlie, D.B.

1989-01-01

We investigate the infinite dimensional algebras we have previously introduced, which involve trigonometric functions in their structure constants. We find a realization for them which provides a basis-independent formulation, identified with the algebra of sine brackets. A special family of them, the cyclotomic ones, contain SU(N) as invariant subalgebras. In this basis, it is evident by inspection that the algebra of SU(infinity) is equivalent to the centerless algebra of SDiff/sub 0/ on two-dimensional manifolds. Gauge theories of SU(infinity) are thus simply reformulated in terms of surface (sheet) coordinates. Spacetime-independent configurations of their gauge fields describe strings through the quadratic Schild action. 11 refs.

15. From Arithmetic to Algebra

ERIC Educational Resources Information Center

Ketterlin-Geller, Leanne R.; Jungjohann, Kathleen; Chard, David J.; Baker, Scott

2007-01-01

Much of the difficulty that students encounter in the transition from arithmetic to algebra stems from their early learning and understanding of arithmetic. Too often, students learn about the whole number system and the operations that govern that system as a set of procedures to solve addition, subtraction, multiplication, and division problems.…

16. Computers in Abstract Algebra

ERIC Educational Resources Information Center

Nwabueze, Kenneth K.

2004-01-01

The current emphasis on flexible modes of mathematics delivery involving new information and communication technology (ICT) at the university level is perhaps a reaction to the recent change in the objectives of education. Abstract algebra seems to be one area of mathematics virtually crying out for computer instructional support because of the…

17. Algebraic Thinking through Origami.

ERIC Educational Resources Information Center

Higginson, William; Colgan, Lynda

2001-01-01

Describes the use of paper folding to create a rich environment for discussing algebraic concepts. Explores the effect that changing the dimensions of two-dimensional objects has on the volume of related three-dimensional objects. (Contains 13 references.) (YDS)

18. Computer Algebra versus Manipulation

ERIC Educational Resources Information Center

Zand, Hossein; Crowe, David

2004-01-01

In the UK there is increasing concern about the lack of skill in algebraic manipulation that is evident in students entering mathematics courses at university level. In this note we discuss how the computer can be used to ameliorate some of the problems. We take as an example the calculations needed in three dimensional vector analysis in polar…

19. Syntax and Meaning as Sensuous, Visual, Historical Forms of Algebraic Thinking

ERIC Educational Resources Information Center

2007-01-01

Before the advent of symbolism, i.e. before the end of the 16th Century, algebraic calculations were made using natural language. Through a kind of metaphorical process, a few terms from everyday life (e.g. thing, root) acquired a technical mathematical status and constituted the specialized language of algebra. The introduction of letters and…

20. Primary School Students' Strategies in Early Algebra Problem Solving Supported by an Online Game

ERIC Educational Resources Information Center

van den Heuvel-Panhuizen, Marja; Kolovou, Angeliki; Robitzsch, Alexander

2013-01-01

In this study we investigated the role of a dynamic online game on students' early algebra problem solving. In total 253 students from grades 4, 5, and 6 (10-12 years old) used the game at home to solve a sequence of early algebra problems consisting of contextual problems addressing covarying quantities. Special software monitored the…

1. Maximizing algebraic connectivity in air transportation networks

Wei, Peng

In air transportation networks the robustness of a network regarding node and link failures is a key factor for its design. An experiment based on the real air transportation network is performed to show that the algebraic connectivity is a good measure for network robustness. Three optimization problems of algebraic connectivity maximization are then formulated in order to find the most robust network design under different constraints. The algebraic connectivity maximization problem with flight routes addition or deletion is first formulated. Three methods to optimize and analyze the network algebraic connectivity are proposed. The Modified Greedy Perturbation Algorithm (MGP) provides a sub-optimal solution in a fast iterative manner. The Weighted Tabu Search (WTS) is designed to offer a near optimal solution with longer running time. The relaxed semi-definite programming (SDP) is used to set a performance upper bound and three rounding techniques are discussed to find the feasible solution. The simulation results present the trade-off among the three methods. The case study on two air transportation networks of Virgin America and Southwest Airlines show that the developed methods can be applied in real world large scale networks. The algebraic connectivity maximization problem is extended by adding the leg number constraint, which considers the traveler's tolerance for the total connecting stops. The Binary Semi-Definite Programming (BSDP) with cutting plane method provides the optimal solution. The tabu search and 2-opt search heuristics can find the optimal solution in small scale networks and the near optimal solution in large scale networks. The third algebraic connectivity maximization problem with operating cost constraint is formulated. When the total operating cost budget is given, the number of the edges to be added is not fixed. Each edge weight needs to be calculated instead of being pre-determined. It is illustrated that the edge addition and the

2. Colombian ocean waves and coasts modeled by special functions

Duque Tisnés, Simón

2013-06-01

Modeling the ocean bottom and surface of both Atlantic and Pacific Oceans near the Colombian coast is a subject of increasing attention due to the possibility of finding oil deposits that haven't been discovered, and as a way of monitoring the ocean limits of Colombia with other countries not only covering the possibility of naval intrusion but as a chance to detect submarine devices that are used by illegal groups for different unwished purposes. In the development of this topic it would be necessary to use Standard Hydrodynamic Equations to model the mathematical shape of ocean waves that will take differential equations forms. Those differential equations will be solved using computer algebra software and methods. The mentioned solutions will involve the use of Special Functions such as Bessel Functions, Whittaker, Heun, and so on. Using the Special Functions mentioned above, the obtained results will be simulated by numerical methods obtaining the typical patterns around the Colombian coasts (both surface and bottom). Using this simulation as a non-perturbed state, any change in the patter could be taken as an external perturbation caused by a strange body or device in an specific area or region modeled, building this simulation as an ocean radar or an unusual object finder. It's worth mentioning that the use of stronger or more rigorous methods and more advanced Special Functions would generate better theoretical results, building a more accurate simulation model that would lead to a finest detection.

3. Algebraic connectivity and graph robustness.

SciTech Connect

Feddema, John Todd; Byrne, Raymond Harry; Abdallah, Chaouki T.

2009-07-01

Recent papers have used Fiedler's definition of algebraic connectivity to show that network robustness, as measured by node-connectivity and edge-connectivity, can be increased by increasing the algebraic connectivity of the network. By the definition of algebraic connectivity, the second smallest eigenvalue of the graph Laplacian is a lower bound on the node-connectivity. In this paper we show that for circular random lattice graphs and mesh graphs algebraic connectivity is a conservative lower bound, and that increases in algebraic connectivity actually correspond to a decrease in node-connectivity. This means that the networks are actually less robust with respect to node-connectivity as the algebraic connectivity increases. However, an increase in algebraic connectivity seems to correlate well with a decrease in the characteristic path length of these networks - which would result in quicker communication through the network. Applications of these results are then discussed for perimeter security.

4. On Dunkl angular momenta algebra

Feigin, Misha; Hakobyan, Tigran

2015-11-01

We consider the quantum angular momentum generators, deformed by means of the Dunkl operators. Together with the reflection operators they generate a subalgebra in the rational Cherednik algebra associated with a finite real reflection group. We find all the defining relations of the algebra, which appear to be quadratic, and we show that the algebra is of Poincaré-Birkhoff-Witt (PBW) type. We show that this algebra contains the angular part of the Calogero-Moser Hamiltonian and that together with constants it generates the centre of the algebra. We also consider the gl( N ) version of the subalge-bra of the rational Cherednik algebra and show that it is a non-homogeneous quadratic algebra of PBW type as well. In this case the central generator can be identified with the usual Calogero-Moser Hamiltonian associated with the Coxeter group in the harmonic confinement.

5. Anomaly freedom in perturbative loop quantum gravity

SciTech Connect

Bojowald, Martin; Hossain, Golam Mortuza; Kagan, Mikhail; Shankaranarayanan, S.

2008-09-15

A fully consistent linear perturbation theory for cosmology is derived in the presence of quantum corrections as they are suggested by properties of inverse volume operators in loop quantum gravity. The underlying constraints present a consistent deformation of the classical system, which shows that the discreteness in loop quantum gravity can be implemented in effective equations without spoiling space-time covariance. Nevertheless, nontrivial quantum corrections do arise in the constraint algebra. Since correction terms must appear in tightly controlled forms to avoid anomalies, detailed insights for the correct implementation of constraint operators can be gained. The procedures of this article thus provide a clear link between fundamental quantum gravity and phenomenology.

6. Coherent states for a polynomial su(1, 1) algebra and a conditionally solvable system

2009-09-01

In a previous paper (2007 J. Phys. A: Math. Theor. 40 11105), we constructed a class of coherent states for a polynomially deformed su(2) algebra. In this paper, we first prepare the discrete representations of the nonlinearly deformed su(1, 1) algebra. Then we extend the previous procedure to construct a discrete class of coherent states for a polynomial su(1, 1) algebra which contains the Barut-Girardello set and the Perelomov set of the SU(1, 1) coherent states as special cases. We also construct coherent states for the cubic algebra related to the conditionally solvable radial oscillator problem.

7. Perturbative Renormalisation for Not-Quite-Connected Bialgebras

Kock, Joachim

2015-10-01

We observe that the Connes-Kreimer Hopf-algebraic approach to perturbative renormalisation works not just for Hopf algebras but more generally for filtered bialgebras B with the property that B 0 is spanned by group-like elements (e.g. pointed bialgebras with the coradical filtration). Such bialgebras occur naturally both in quantum field theory, where they have some attractive features, and elsewhere in combinatorics, where they cover a comprehensive class of incidence bialgebras. In particular, the setting allows us to interpret Möbius inversion as an instance of renormalisation.

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

SciTech Connect

Marquette, Ian

2013-07-15

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.

9. Path integral quantization corresponding to the deformed Heisenberg algebra

SciTech Connect

Pramanik, Souvik; Moussa, Mohamed; Faizal, Mir; Ali, Ahmed Farag

2015-11-15

In this paper, the deformation of the Heisenberg algebra, consistent with both the generalized uncertainty principle and doubly special relativity, has been analyzed. It has been observed that, though this algebra can give rise to fractional derivative terms in the corresponding quantum mechanical Hamiltonian, a formal meaning can be given to them by using the theory of harmonic extensions of function. Depending on this argument, the expression of the propagator of the path integral corresponding to the deformed Heisenberg algebra, has been obtained. In particular, the consistent expression of the one dimensional free particle propagator has been evaluated explicitly. With this propagator in hand, it has been shown that, even in free particle case, normal generalized uncertainty principle and doubly special relativity show very much different result.

10. Nonlinear W∞ algebras from nonlinear integrable deformations of self dual gravity

Castro, Carlos

1995-02-01

A proposal for constructing a universal nonlinear Ŵ∞ algebra is made as the symmetry algebra of a rotational Killing-symmetry reduction of the nonlinear perturbations of Moyal-integrable deformations of D = 4 self dual gravity (IDSDG). This is attained upon the construction of a nonlinear bracket based on nonlinear gauge theories associated with infinite dimensional Lie algebras. A quantization and supersymmetrization program can also be carried out. The relevance to the Kadomtsev-Petviashvili hierarchy, 2D dilaton gravity, quantum gravity and black hole physics is discussed in the concluding remarks.

11. Algebraic Multigrid Benchmark

SciTech Connect

2013-05-06

AMG2013 is a parallel algebraic multigrid solver for linear systems arising from problems on unstructured grids. It has been derived directly from the Boomer AMG solver in the hypre library, a large linear solvers library that is being developed in the Center for Applied Scientific Computing (CASC) at LLNL. The driver provided in the benchmark can build various test problems. The default problem is a Laplace type problem on an unstructured domain with various jumps and an anisotropy in one part.

12. Algebra of Majorana doubling.

PubMed

Lee, Jaehoon; Wilczek, Frank

2013-11-27

Motivated by the problem of identifying Majorana mode operators at junctions, we analyze a basic algebraic structure leading to a doubled spectrum. For general (nonlinear) interactions the emergent mode creation operator is highly nonlinear in the original effective mode operators, and therefore also in the underlying electron creation and destruction operators. This phenomenon could open up new possibilities for controlled dynamical manipulation of the modes. We briefly compare and contrast related issues in the Pfaffian quantum Hall state.

13. The Algebra Artist

ERIC Educational Resources Information Center

Beigie, Darin

2014-01-01

Most people who are attracted to STEM-related fields are drawn not by a desire to take mathematics tests but to create things. The opportunity to create an algebra drawing gives students a sense of ownership and adventure that taps into the same sort of energy that leads a young person to get lost in reading a good book, building with Legos®,…

14. Minimum deformations of commutative algebra and linear group GL(n)

Zupnik, B. M.

1993-06-01

In the algebra of formal series M q ( x i ), the relations of generalized commutativity that preserve the tensor I q grading and depend on parameters q(i, k) are considered. A norm of the differential calculus on M q consistent with the I q grading is chosen. A new construction of a symmetrized tensor product of algebras of the type M q ( x i ) and a corresponding definition of the minimally deformed linear group QGL(n) and Lie algebra qgl(n) are proposed. A study is made of the connection of QGL(n) and qgl(n) with the special matrix algebra Mat( n, Q), which consists of matrices with noncommuting elements. The deformed determinant in the algebra Mat( n, Q) is defined. The exponential mapping in the algebra Mat( n, Q) is considered on the basis of the Campbell-Hausdorff formula.

15. Density perturbation theory

SciTech Connect

Palenik, Mark C.; Dunlap, Brett I.

2015-07-28

Despite the fundamental importance of electron density in density functional theory, perturbations are still usually dealt with using Hartree-Fock-like orbital equations known as coupled-perturbed Kohn-Sham (CPKS). As an alternative, we develop a perturbation theory that solves for the perturbed density directly, removing the need for CPKS. This replaces CPKS with a true Hohenberg-Kohn density perturbation theory. In CPKS, the perturbed density is found in the basis of products of occupied and virtual orbitals, which becomes ever more over-complete as the size of the orbital basis set increases. In our method, the perturbation to the density is expanded in terms of a series of density basis functions and found directly. It is possible to solve for the density in such a way that it makes the total energy stationary even if the density basis is incomplete.

16. Priority in Process Algebras

NASA Technical Reports Server (NTRS)

Cleaveland, Rance; Luettgen, Gerald; Natarajan, V.

1999-01-01

This paper surveys the semantic ramifications of extending traditional process algebras with notions of priority that allow for some transitions to be given precedence over others. These enriched formalisms allow one to model system features such as interrupts, prioritized choice, or real-time behavior. Approaches to priority in process algebras can be classified according to whether the induced notion of preemption on transitions is global or local and whether priorities are static or dynamic. Early work in the area concentrated on global pre-emption and static priorities and led to formalisms for modeling interrupts and aspects of real-time, such as maximal progress, in centralized computing environments. More recent research has investigated localized notions of pre-emption in which the distribution of systems is taken into account, as well as dynamic priority approaches, i.e., those where priority values may change as systems evolve. The latter allows one to model behavioral phenomena such as scheduling algorithms and also enables the efficient encoding of real-time semantics. Technically, this paper studies the different models of priorities by presenting extensions of Milner's Calculus of Communicating Systems (CCS) with static and dynamic priority as well as with notions of global and local pre- emption. In each case the operational semantics of CCS is modified appropriately, behavioral theories based on strong and weak bisimulation are given, and related approaches for different process-algebraic settings are discussed.

17. Clifford Algebras and Their Decomposition into Conjugate Fermionic Heisenberg Algebras

Catto, Sultan; Gürcan, Yasemin; Khalfan, Amish; Kurt, Levent; Kato La, V.

2016-10-01

We discuss a construction scheme for Clifford numbers of arbitrary dimension. The scheme is based upon performing direct products of the Pauli spin and identity matrices. Conjugate fermionic algebras can then be formed by considering linear combinations of the Clifford numbers and the Hermitian conjugates of such combinations. Fermionic algebras are important in investigating systems that follow Fermi-Dirac statistics. We will further comment on the applications of Clifford algebras to Fueter analyticity, twistors, color algebras, M-theory and Leech lattice as well as unification of ancient and modern geometries through them.

18. Proceedings of the International Conference on Algebraic Methodology and Software Technology (3rd) Held in The Netherlands on June 21 - 25, 1993

DTIC Science & Technology

1993-06-25

speaking in the library. I thumb the books. They have witty things on almost any subject, but do not mention algebra or software, let alone algebraic...We give 2 proofs: By contradiction and by authority . These proofs are specially designed to work on banquets, after a good meal with plenty of wine...parts is algebra. Thus algebra = mathematics, which is not true. The proof by authority . The famous Communist prophet Vladimir lich Lenin spoke about

19. Feynman graph generation and calculations in the Hopf algebra of Feynman graphs

Borinsky, Michael

2014-12-01

Two programs for the computation of perturbative expansions of quantum field theory amplitudes are provided. feyngen can be used to generate Feynman graphs for Yang-Mills, QED and φk theories. Using dedicated graph theoretic tools feyngen can generate graphs of comparatively high loop orders. feyncop implements the Hopf algebra of those Feynman graphs which incorporates the renormalization procedure necessary to calculate finite results in perturbation theory of the underlying quantum field theory. feyngen is validated by comparison to explicit calculations of zero dimensional quantum field theories and feyncop is validated using a combinatorial identity on the Hopf algebra of graphs.

20. Duncan F. Gregory, William Walton and the development of British algebra: 'algebraical geometry', 'geometrical algebra', abstraction.

PubMed

Verburgt, Lukas M

2016-01-01

This paper provides a detailed account of the period of the complex history of British algebra and geometry between the publication of George Peacock's Treatise on Algebra in 1830 and William Rowan Hamilton's paper on quaternions of 1843. During these years, Duncan Farquharson Gregory and William Walton published several contributions on 'algebraical geometry' and 'geometrical algebra' in the Cambridge Mathematical Journal. These contributions enabled them not only to generalize Peacock's symbolical algebra on the basis of geometrical considerations, but also to initiate the attempts to question the status of Euclidean space as the arbiter of valid geometrical interpretations. At the same time, Gregory and Walton were bound by the limits of symbolical algebra that they themselves made explicit; their work was not and could not be the 'abstract algebra' and 'abstract geometry' of figures such as Hamilton and Cayley. The central argument of the paper is that an understanding of the contributions to 'algebraical geometry' and 'geometrical algebra' of the second generation of 'scientific' symbolical algebraists is essential for a satisfactory explanation of the radical transition from symbolical to abstract algebra that took place in British mathematics in the 1830s-1840s.

1. Quantum computation using geometric algebra

Matzke, Douglas James

This dissertation reports that arbitrary Boolean logic equations and operators can be represented in geometric algebra as linear equations composed entirely of orthonormal vectors using only addition and multiplication Geometric algebra is a topologically based algebraic system that naturally incorporates the inner and anticommutative outer products into a real valued geometric product, yet does not rely on complex numbers or matrices. A series of custom tools was designed and built to simplify geometric algebra expressions into a standard sum of products form, and automate the anticommutative geometric product and operations. Using this infrastructure, quantum bits (qubits), quantum registers and EPR-bits (ebits) are expressed symmetrically as geometric algebra expressions. Many known quantum computing gates, measurement operators, and especially the Bell/magic operators are also expressed as geometric products. These results demonstrate that geometric algebra can naturally and faithfully represent the central concepts, objects, and operators necessary for quantum computing, and can facilitate the design and construction of quantum computing tools.

2. SD-CAS: Spin Dynamics by Computer Algebra System.

PubMed

Filip, Xenia; Filip, Claudiu

2010-11-01

A computer algebra tool for describing the Liouville-space quantum evolution of nuclear 1/2-spins is introduced and implemented within a computational framework named Spin Dynamics by Computer Algebra System (SD-CAS). A distinctive feature compared with numerical and previous computer algebra approaches to solving spin dynamics problems results from the fact that no matrix representation for spin operators is used in SD-CAS, which determines a full symbolic character to the performed computations. Spin correlations are stored in SD-CAS as four-entry nested lists of which size increases linearly with the number of spins into the system and are easily mapped into analytical expressions in terms of spin operator products. For the so defined SD-CAS spin correlations a set of specialized functions and procedures is introduced that are essential for implementing basic spin algebra operations, such as the spin operator products, commutators, and scalar products. They provide results in an abstract algebraic form: specific procedures to quantitatively evaluate such symbolic expressions with respect to the involved spin interaction parameters and experimental conditions are also discussed. Although the main focus in the present work is on laying the foundation for spin dynamics symbolic computation in NMR based on a non-matrix formalism, practical aspects are also considered throughout the theoretical development process. In particular, specific SD-CAS routines have been implemented using the YACAS computer algebra package (http://yacas.sourceforge.net), and their functionality was demonstrated on a few illustrative examples.

3. How Structure Sense for Algebraic Expressions or Equations Is Related to Structure Sense for Abstract Algebra

ERIC Educational Resources Information Center

Novotna, Jarmila; Hoch, Maureen

2008-01-01

Many students have difficulties with basic algebraic concepts at high school and at university. In this paper two levels of algebraic structure sense are defined: for high school algebra and for university algebra. We suggest that high school algebra structure sense components are sub-components of some university algebra structure sense…

4. Applications of algebraic grid generation

NASA Technical Reports Server (NTRS)

Eiseman, Peter R.; Smith, Robert E.

1990-01-01

Techniques and applications of algebraic grid generation are described. The techniques are univariate interpolations and transfinite assemblies of univariate interpolations. Because algebraic grid generation is computationally efficient, the use of interactive graphics in conjunction with the techniques is advocated. A flexible approach, which works extremely well in an interactive environment, called the control point form of algebraic grid generation is described. The applications discussed are three-dimensional grids constructed about airplane and submarine configurations.

5. Algebra and Algebraic Thinking in School Math: 70th YB

ERIC Educational Resources Information Center

National Council of Teachers of Mathematics, 2008

2008-01-01

Algebra is no longer just for college-bound students. After a widespread push by the National Council of Teachers of Mathematics (NCTM) and teachers across the country, algebra is now a required part of most curricula. However, students' standardized test scores are not at the level they should be. NCTM's seventieth yearbook takes a look at the…

6. Abstract Algebra to Secondary School Algebra: Building Bridges

ERIC Educational Resources Information Center

Christy, Donna; Sparks, Rebecca

2015-01-01

The authors have experience with secondary mathematics teacher candidates struggling to make connections between the theoretical abstract algebra course they take as college students and the algebra they will be teaching in secondary schools. As a mathematician and a mathematics educator, the authors collaborated to create and implement a…

7. Charge transfer in algebraic quantum field theory

Wright, Jill Dianne

We discuss aspects of the algebraic structure of quantum field theory. We take the view that the superselection structure of a theory should be determinable from the vacuum representation of the observable algebra, and physical properties of the charge. Hence one determines the nature of the charge transfer operations: the automorphisms of the observable algebra corresponding to the movement of charge along space-time paths. New superselection sectors are obtained from the vacuum sector by an automorphism which is a limit of charge transfer operations along paths with an endpoint tending to spacelike infinity. Roberts has shown that for a gauge theory of the first kind, the charge transfer operations for a given charge form a certain kind of 1-cocycle over Minkowski space. The local 1-cohomology group of their equivalence classes corresponds to the superselection structure. The exact definition of the cohomology group depends on the properties of the charge. Using displaced Fock representations of free fields, we develop model field theories which illustrate this structure. The cohomological classification of displaced Fock representations has been elucidated by Araki. For more general representations, explicit determination of the cohomology group is a hard problem. Using our models, we can illustrate ways in which fields with reasonable physical properties depart fromthe abovementioned structure. In 1+1 dimensions, we use the Streater-Wilde model to illustrate explicitly the representation-dependence of the cohomology structure, and the direction-dependence of the limiting charge transfer operation. The cohomology structure may also be representation-dependent in higher-dimensional theories without strict localization of charge, for example the electromagnetic field. The algebraic structure of the electromagnetic field has many other special features, which we discuss in relation to the concept of charge transfer. We also give some indication of the modifications

8. Automated Lattice Perturbation Theory

SciTech Connect

Monahan, Christopher

2014-11-01

I review recent developments in automated lattice perturbation theory. Starting with an overview of lattice perturbation theory, I focus on the three automation packages currently "on the market": HiPPy/HPsrc, Pastor and PhySyCAl. I highlight some recent applications of these methods, particularly in B physics. In the final section I briefly discuss the related, but distinct, approach of numerical stochastic perturbation theory.

9. Density matrix perturbation theory.

PubMed

Niklasson, Anders M N; Challacombe, Matt

2004-05-14

An orbital-free quantum perturbation theory is proposed. It gives the response of the density matrix upon variation of the Hamiltonian by quadratically convergent recursions based on perturbed projections. The technique allows treatment of embedded quantum subsystems with a computational cost scaling linearly with the size of the perturbed region, O(N(pert.)), and as O(1) with the total system size. The method allows efficient high order perturbation expansions, as demonstrated with an example involving a 10th order expansion. Density matrix analogs of Wigner's 2n+1 rule are also presented.

10. Statecharts Via Process Algebra

NASA Technical Reports Server (NTRS)

Luttgen, Gerald; vonderBeeck, Michael; Cleaveland, Rance

1999-01-01

Statecharts is a visual language for specifying the behavior of reactive systems. The Language extends finite-state machines with concepts of hierarchy, concurrency, and priority. Despite its popularity as a design notation for embedded system, precisely defining its semantics has proved extremely challenging. In this paper, a simple process algebra, called Statecharts Process Language (SPL), is presented, which is expressive enough for encoding Statecharts in a structure-preserving and semantic preserving manner. It is establish that the behavioral relation bisimulation, when applied to SPL, preserves Statecharts semantics

11. Numerical stability in problems of linear algebra.

NASA Technical Reports Server (NTRS)

Babuska, I.

1972-01-01

Mathematical problems are introduced as mappings from the space of input data to that of the desired output information. Then a numerical process is defined as a prescribed recurrence of elementary operations creating the mapping of the underlying mathematical problem. The ratio of the error committed by executing the operations of the numerical process (the roundoff errors) to the error introduced by perturbations of the input data (initial error) gives rise to the concept of lambda-stability. As examples, several processes are analyzed from this point of view, including, especially, old and new processes for solving systems of linear algebraic equations with tridiagonal matrices. In particular, it is shown how such a priori information can be utilized as, for instance, a knowledge of the row sums of the matrix. Information of this type is frequently available where the system arises in connection with the numerical solution of differential equations.

12. On Some Algebraic and Combinatorial Properties of Dunkl Elements

Kirillov, Anatol N.

2013-06-01

We introduce and study a certain class of nonhomogeneous quadratic algebras together with the special set of mutually commuting elements inside of each, the so-called Dunkl elements. We describe relations among the Dunkl elements. This result is a further generalization of similar results obtained in [S. Fomin and A. N. Kirillov, Quadratic algebras, Dunkl elements and Schubert calculus, in Advances in Geometry (eds. J.-S. Brylinski, V. Nistor, B. Tsygan and P. Xu), Progress in Math. Vol. 172 (Birkhäuser Boston, Boston, 1995), pp. 147-182, A. Postnikov, On a quantum version of Pieri's formula, in Advances in Geometry (eds. J.-S. Brylinski, R. Brylinski, V. Nistor, B. Tsygan and P. Xu), Progress in Math. Vol. 172 (Birkhäuser Boston, 1995), pp. 371-383 and A. N. Kirillov and T. Maenor, A Note on Quantum K-Theory of Flag Varieties, preprint]. As an application we describe explicitly the set of relations among the Gaudin elements in the group ring of the symmetric group, cf. [E. Mukhin, V. Tarasov and A. Varchenko, Bethe Subalgebras of the Group Algebra of the Symmetric Group, preprint arXiv:1004.4248]. Also we describe a few combinatorial properties of some special elements in the associative quasi-classical Yang-Baxter algebra in a connection with the values of the β-Grothendieck polynomials for some special permutations, and on the other hand, with the Ehrhart polynomial of the Chan-Robbins polytope.

13. On Some Algebraic and Combinatorial Properties of Dunkl Elements

Kirillov, Anatol N.

2012-11-01

We introduce and study a certain class of nonhomogeneous quadratic algebras together with the special set of mutually commuting elements inside of each, the so-called Dunkl elements. We describe relations among the Dunkl elements. This result is a further generalization of similar results obtained in [S. Fomin and A. N. Kirillov, Quadratic algebras, Dunkl elements and Schubert calculus, in Advances in Geometry (eds. J.-S. Brylinski, V. Nistor, B. Tsygan and P. Xu), Progress in Math. Vol. 172 (Birkhäuser Boston, Boston, 1995), pp. 147-182, A. Postnikov, On a quantum version of Pieri's formula, in Advances in Geometry (eds. J.-S. Brylinski, R. Brylinski, V. Nistor, B. Tsygan and P. Xu), Progress in Math. Vol. 172 (Birkhäuser Boston, 1995), pp. 371-383 and A. N. Kirillov and T. Maenor, A Note on Quantum K-Theory of Flag Varieties, preprint]. As an application we describe explicitly the set of relations among the Gaudin elements in the group ring of the symmetric group, cf. [E. Mukhin, V. Tarasov and A. Varchenko, Bethe Subalgebras of the Group Algebra of the Symmetric Group, preprint arXiv:1004.4248]. Also we describe a few combinatorial properties of some special elements in the associative quasi-classical Yang-Baxter algebra in a connection with the values of the β-Grothendieck polynomials for some special permutations, and on the other hand, with the Ehrhart polynomial of the Chan-Robbins polytope.

14. Patterns to Develop Algebraic Reasoning

ERIC Educational Resources Information Center

Stump, Sheryl L.

2011-01-01

What is the role of patterns in developing algebraic reasoning? This important question deserves thoughtful attention. In response, this article examines some differing views of algebraic reasoning, discusses a controversy regarding patterns, and describes how three types of patterns--in contextual problems, in growing geometric figures, and in…

15. Viterbi/algebraic hybrid decoder

NASA Technical Reports Server (NTRS)

Boyd, R. W.; Ingels, F. M.; Mo, C.

1980-01-01

Decoder computer program is hybrid between optimal Viterbi and optimal algebraic decoders. Tests have shown that hybrid decoder outperforms any strictly Viterbi or strictly algebraic decoder and effectively handles compound channels. Algorithm developed uses syndrome-detecting logic to direct two decoders to assume decoding load alternately, depending on real-time channel characteristics.

16. Online Algebraic Tools for Teaching

ERIC Educational Resources Information Center

Kurz, Terri L.

2011-01-01

Many free online tools exist to complement algebraic instruction at the middle school level. This article presents findings that analyzed the features of algebraic tools to support learning. The findings can help teachers select appropriate tools to facilitate specific topics. (Contains 1 table and 4 figures.)

17. Astro Algebra [CD-ROM].

ERIC Educational Resources Information Center

1997

Astro Algebra is one of six titles in the Mighty Math Series from Edmark, a comprehensive line of math software for students from kindergarten through ninth grade. Many of the activities in Astro Algebra contain a unique technology that uses the computer to help students make the connection between concrete and abstract mathematics. This software…

18. Elementary maps on nest algebras

Li, Pengtong

2006-08-01

Let , be algebras and let , be maps. An elementary map of is an ordered pair (M,M*) such that for all , . In this paper, the general form of surjective elementary maps on standard subalgebras of nest algebras is described. In particular, such maps are automatically additive.

19. Linear algebra and image processing

Allali, Mohamed

2010-09-01

We use the computing technology digital image processing (DIP) to enhance the teaching of linear algebra so as to make the course more visual and interesting. Certainly, this visual approach by using technology to link linear algebra to DIP is interesting and unexpected to both students as well as many faculty.

20. Linear Algebra and Image Processing

ERIC Educational Resources Information Center

Allali, Mohamed

2010-01-01

We use the computing technology digital image processing (DIP) to enhance the teaching of linear algebra so as to make the course more visual and interesting. Certainly, this visual approach by using technology to link linear algebra to DIP is interesting and unexpected to both students as well as many faculty. (Contains 2 tables and 11 figures.)

1. Learning Algebra from Worked Examples

ERIC Educational Resources Information Center

Lange, Karin E.; Booth, Julie L.; Newton, Kristie J.

2014-01-01

For students to be successful in algebra, they must have a truly conceptual understanding of key algebraic features as well as the procedural skills to complete a problem. One strategy to correct students' misconceptions combines the use of worked example problems in the classroom with student self-explanation. "Self-explanation" is the…

2. The Algebra of the Arches

ERIC Educational Resources Information Center

Buerman, Margaret

2007-01-01

Finding real-world examples for middle school algebra classes can be difficult but not impossible. As we strive to accomplish teaching our students how to solve and graph equations, we neglect to teach the big ideas of algebra. One of those big ideas is functions. This article gives three examples of functions that are found in Arches National…

3. The Algebra of Complex Numbers.

ERIC Educational Resources Information Center

LePage, Wilbur R.

This programed text is an introduction to the algebra of complex numbers for engineering students, particularly because of its relevance to important problems of applications in electrical engineering. It is designed for a person who is well experienced with the algebra of real numbers and calculus, but who has no experience with complex number…

4. Thermodynamics. [algebraic structure

NASA Technical Reports Server (NTRS)

Zeleznik, F. J.

1976-01-01

The fundamental structure of thermodynamics is purely algebraic, in the sense of atopological, and it is also independent of partitions, composite systems, the zeroth law, and entropy. The algebraic structure requires the notion of heat, but not the first law. It contains a precise definition of entropy and identifies it as a purely mathematical concept. It also permits the construction of an entropy function from heat measurements alone when appropriate conditions are satisfied. Topology is required only for a discussion of the continuity of thermodynamic properties, and then the weak topology is the relevant topology. The integrability of the differential form of the first law can be examined independently of Caratheodory's theorem and his inaccessibility axiom. Criteria are established by which one can determine when an integrating factor can be made intensive and the pseudopotential extensive and also an entropy. Finally, a realization of the first law is constructed which is suitable for all systems whether they are solids or fluids, whether they do or do not exhibit chemical reactions, and whether electromagnetic fields are or are not present.

5. Integrable perturbations of conformal field theories and Yetter-Drinfeld modules

SciTech Connect

Bücher, David; Runkel, Ingo

2014-11-15

In this paper we relate a problem in representation theory — the study of Yetter-Drinfeld modules over certain braided Hopf algebras — to a problem in two-dimensional quantum field theory, namely, the identification of integrable perturbations of a conformal field theory. A prescription that parallels Lusztig's construction allows one to read off the quantum group governing the integrable symmetry. As an example, we illustrate how the quantum group for the loop algebra of sl(2) appears in the integrable structure of the perturbed uncompactified and compactified free boson.

6. Symplectic Clifford Algebraic Field Theory.

Dixon, Geoffrey Moore

We develop a mathematical framework on which is built a theory of fermion, scalar, and gauge vector fields. This field theory is shown to be equivalent to the original Weinberg-Salam model of weak and electromagnetic interactions, but since the new framework is more rigid than that on which the original Weinberg-Salam model was built, a concomitant reduction in the number of assumptions lying outside of the framework has resulted. In particular, parity violation is actually hiding within our framework, and with little difficulty we are able to manifest it. The mathematical framework upon which we build our field theory is arrived at along two separate paths. The first is by the marriage of a Clifford algebra and a Lie superalgebra, the result being called a super Clifford algebra. The second is by providing a new characterization for a Clifford algebra employing its generators and a symmetric array of metric coefficients. Subsequently we generalize this characterization to the case of an antisymmetric array of metric coefficients, and we call the algebra which results a symplectic Clifford algebra. It is upon one of these that we build our field theory, and it is shown that this symplectic Clifford algebra is a particular subalgebra of a super Clifford algebra. The final ingredient is the operation of bracketing which involves treating the elements of our algebra as endomorphisms of a particular inner product space, and employing this space and its inner product to provide us with maps from our algebra to the reals. It is this operation which enables us to manifest the parity violation hiding in our algebra.

7. Noise Reduction in High-Throughput Gene Perturbation Screens

Technology Transfer Automated Retrieval System (TEKTRAN)

Motivation: Accurate interpretation of perturbation screens is essential for a successful functional investigation. However, the screened phenotypes are often distorted by noise, and their analysis requires specialized statistical analysis tools. The number and scope of statistical methods available...

8. Using Linear Algebra to Introduce Computer Algebra, Numerical Analysis, Data Structures and Algorithms (and To Teach Linear Algebra, Too).

ERIC Educational Resources Information Center

Gonzalez-Vega, Laureano

1999-01-01

Using a Computer Algebra System (CAS) to help with the teaching of an elementary course in linear algebra can be one way to introduce computer algebra, numerical analysis, data structures, and algorithms. Highlights the advantages and disadvantages of this approach to the teaching of linear algebra. (Author/MM)

9. Noncommutative algebras, nano-structures, and quantum dynamics generated by resonances. III

Karasev, M.

2006-04-01

Quantum geometry, algebras with nonlinear commutation relations, representation theory, the coherent transform, and operator averaging are used to solve the perturbation problem for wave (quantum) systems near a resonance equilibrium point or a resonance equilibrium ray in two and three-dimensional spaces.

10. Quantum algebra of N superspace

SciTech Connect

Hatcher, Nicolas; Restuccia, A.; Stephany, J.

2007-08-15

We identify the quantum algebra of position and momentum operators for a quantum system bearing an irreducible representation of the super Poincare algebra in the N>1 and D=4 superspace, both in the case where there are no central charges in the algebra, and when they are present. This algebra is noncommutative for the position operators. We use the properties of superprojectors acting on the superfields to construct explicit position and momentum operators satisfying the algebra. They act on the projected wave functions associated to the various supermultiplets with defined superspin present in the representation. We show that the quantum algebra associated to the massive superparticle appears in our construction and is described by a supermultiplet of superspin 0. This result generalizes the construction for D=4, N=1 reported recently. For the case N=2 with central charges, we present the equivalent results when the central charge and the mass are different. For the {kappa}-symmetric case when these quantities are equal, we discuss the reduction to the physical degrees of freedom of the corresponding superparticle and the construction of the associated quantum algebra.

11. Algebraic distance on graphs.

SciTech Connect

Chen, J.; Safro, I.

2011-01-01

Measuring the connection strength between a pair of vertices in a graph is one of the most important concerns in many graph applications. Simple measures such as edge weights may not be sufficient for capturing the effects associated with short paths of lengths greater than one. In this paper, we consider an iterative process that smooths an associated value for nearby vertices, and we present a measure of the local connection strength (called the algebraic distance; see [D. Ron, I. Safro, and A. Brandt, Multiscale Model. Simul., 9 (2011), pp. 407-423]) based on this process. The proposed measure is attractive in that the process is simple, linear, and easily parallelized. An analysis of the convergence property of the process reveals that the local neighborhoods play an important role in determining the connectivity between vertices. We demonstrate the practical effectiveness of the proposed measure through several combinatorial optimization problems on graphs and hypergraphs.

12. Calculus and design of discrete velocity models using computer algebra

Babovsky, Hans; Grabmeier, Johannes

2016-11-01

In [2, 3], a framework for a calculus with Discrete Velocity Models (DVM) has been derived. The rotatonal symmetry of the discrete velocities can be modelled algebraically by the action of the cyclic group C4 - or including reflections of the dihedral group D4. Taking this point of view, the linearized collision operator can be represented in a compact form as a matrix of elements in the group algebra. Or in other words, by choosing a special numbering it exhibits a certain block structure which lets it appear as a matrix with entries in a certain polynomial ring. A convenient way for approaching such a structure is the use of a computer algebra system able to treat these (predefined) algebraic structures. We used the computer algebra system FriCAS/AXIOM [4, 5] for the generation of the velocity and the collision sets and for the analysis of the structure of the collision operator. Concerning the fluid dynamic limit, the system provides the characterization of sets of collisions and their contribution to the flow parameters. It allows the design of rotationally invariant symmetric models for prescribed Prandtl numbers. The implementation in FriCAS/AXIOM is explained and its results for a 25-velocity model are presented.

13. The Perturbed Puma Model

Rong, Shu-Jun; Liu, Qiu-Yu

2012-04-01

The puma model on the basis of the Lorentz and CPT violation may bring an economical interpretation to the conventional neutrinos oscillation and part of the anomalous oscillations. We study the effect of the perturbation to the puma model. In the case of the first-order perturbation which keeps the (23) interchange symmetry, the mixing matrix element Ue3 is always zero. The nonzero mixing matrix element Ue3 is obtained in the second-order perturbation that breaks the (23) interchange symmetry.

14. Investigating Teacher Noticing of Student Algebraic Thinking

ERIC Educational Resources Information Center

Walkoe, Janet Dawn Kim

2013-01-01

Learning algebra is critical for students in the U.S. today. Algebra concepts provide the foundation for much advanced mathematical content. In addition, algebra serves as a gatekeeper to opportunities such as admission to college. Yet many students in the U.S. struggle in algebra classes. Researchers claim that one reason for these difficulties…

15. Sixth SIAM conference on applied linear algebra: Final program and abstracts. Final technical report

SciTech Connect

1997-12-31

Linear algebra plays a central role in mathematics and applications. The analysis and solution of problems from an amazingly wide variety of disciplines depend on the theory and computational techniques of linear algebra. In turn, the diversity of disciplines depending on linear algebra also serves to focus and shape its development. Some problems have special properties (numerical, structural) that can be exploited. Some are simply so large that conventional approaches are impractical. New computer architectures motivate new algorithms, and fresh ways to look at old ones. The pervasive nature of linear algebra in analyzing and solving problems means that people from a wide spectrum--universities, industrial and government laboratories, financial institutions, and many others--share an interest in current developments in linear algebra. This conference aims to bring them together for their mutual benefit. Abstracts of papers presented are included.

16. Central extensions of Lax operator algebras

Schlichenmaier, M.; Sheinman, O. K.

2008-08-01

Lax operator algebras were introduced by Krichever and Sheinman as a further development of Krichever's theory of Lax operators on algebraic curves. These are almost-graded Lie algebras of current type. In this paper local cocycles and associated almost-graded central extensions of Lax operator algebras are classified. It is shown that in the case when the corresponding finite-dimensional Lie algebra is simple the two-cohomology space is one-dimensional. An important role is played by the action of the Lie algebra of meromorphic vector fields on the Lax operator algebra via suitable covariant derivatives.

17. Aspects of QCD current algebra on a null plane

Beane, S. R.; Hobbs, T. J.

2016-09-01

Consequences of QCD current algebra formulated on a light-like hyperplane are derived for the forward scattering of vector and axial-vector currents on an arbitrary hadronic target. It is shown that current algebra gives rise to a special class of sum rules that are direct consequences of the independent chiral symmetry that exists at every point on the two-dimensional transverse plane orthogonal to the lightlike direction. These sum rules are obtained by exploiting the closed, infinite-dimensional algebra satisfied by the transverse moments of null-plane axial-vector and vector charge distributions. In the special case of a nucleon target, this procedure leads to the Adler-Weisberger, Gerasimov-Drell-Hearn, Cabibbo-Radicati and Fubini-Furlan-Rossetti sum rules. Matching to the dispersion-theoretic language which is usually invoked in deriving these sum rules, the moment sum rules are shown to be equivalent to algebraic constraints on forward S-matrix elements in the Regge limit.

18. Asymptotic aspect of derivations in Banach algebras.

PubMed

Roh, Jaiok; Chang, Ick-Soon

2017-01-01

We prove that every approximate linear left derivation on a semisimple Banach algebra is continuous. Also, we consider linear derivations on Banach algebras and we first study the conditions for a linear derivation on a Banach algebra. Then we examine the functional inequalities related to a linear derivation and their stability. We finally take central linear derivations with radical ranges on semiprime Banach algebras and a continuous linear generalized left derivation on a semisimple Banach algebra.

19. Computing Matrix Representations of Filiform Lie Algebras

Ceballos, Manuel; Núñez, Juan; Tenorio, Ángel F.

In this paper, we compute minimal faithful unitriangular matrix representations of filiform Lie algebras. To do it, we use the nilpotent Lie algebra, g_n, formed of n ×n strictly upper-triangular matrices. More concretely, we search the lowest natural number n such that the Lie algebra g_n contains a given filiform Lie algebra, also computing a representative of this algebra. All the computations in this paper have been done using MAPLE 9.5.

20. Cartooning in Algebra and Calculus

ERIC Educational Resources Information Center

Moseley, L. Jeneva

2014-01-01

This article discusses how teachers can create cartoons for undergraduate math classes, such as college algebra and basic calculus. The practice of cartooning for teaching can be helpful for communication with students and for students' conceptual understanding.

1. GCD, LCM, and Boolean Algebra?

ERIC Educational Resources Information Center

Cohen, Martin P.; Juraschek, William A.

1976-01-01

This article investigates the algebraic structure formed when the process of finding the greatest common divisor and the least common multiple are considered as binary operations on selected subsets of positive integers. (DT)

NASA Technical Reports Server (NTRS)

Klumpp, A. R.; Lawson, C. L.

1988-01-01

Routines provided for common scalar, vector, matrix, and quaternion operations. Computer program extends Ada programming language to include linear-algebra capabilities similar to HAS/S programming language. Designed for such avionics applications as software for Space Station.

3. Coherent States for Hopf Algebras

Škoda, Zoran

2007-07-01

Families of Perelomov coherent states are defined axiomatically in the context of unitary representations of Hopf algebras. A global geometric picture involving locally trivial noncommutative fibre bundles is involved in the construction. If, in addition, the Hopf algebra has a left Haar integral, then a formula for noncommutative resolution of identity in terms of the family of coherent states holds. Examples come from quantum groups.

4. Multiplier operator algebras and applications

PubMed Central

Blecher, David P.; Zarikian, Vrej

2004-01-01

The one-sided multipliers of an operator space X are a key to “latent operator algebraic structure” in X. We begin with a survey of these multipliers, together with several of the applications that they have had to operator algebras. We then describe several new results on one-sided multipliers, and new applications, mostly to one-sided M-ideals. PMID:14711990

5. Hopf algebras and topological recursion

Esteves, João N.

2015-11-01

We consider a model for topological recursion based on the Hopf algebra of planar binary trees defined by Loday and Ronco (1998 Adv. Math. 139 293-309 We show that extending this Hopf algebra by identifying pairs of nearest neighbor leaves, and thus producing graphs with loops, we obtain the full recursion formula discovered by Eynard and Orantin (2007 Commun. Number Theory Phys. 1 347-452).

6. PREFACE: Algebra, Geometry, and Mathematical Physics 2010

Stolin, A.; Abramov, V.; Fuchs, J.; Paal, E.; Shestopalov, Y.; Silvestrov, S.

2012-02-01

This proceedings volume presents results obtained by the participants of the 6th Baltic-Nordic workshop 'Algebra, Geometry, and Mathematical Physics (AGMP-6)' held at the Sven Lovén Centre for Marine Sciences in Tjärnö, Sweden on October 25-30, 2010. The Baltic-Nordic Network AGMP 'Algebra, Geometry, and Mathematical Physics' http://www.agmp.eu was created in 2005 on the initiative of two Estonian universities and two Swedish universities: Tallinn University of Technology represented by Eugen Paal (coordinator of the network), Tartu University represented by Viktor Abramov, Lund University represented by Sergei Silvestrov, and Chalmers University of Technology and the University of Gothenburg represented by Alexander Stolin. The goal was to promote international and interdisciplinary cooperation between scientists and research groups in the countries of the Baltic-Nordic region in mathematics and mathematical physics, with special emphasis on the important role played by algebra and geometry in modern physics, engineering and technologies. The main activities of the AGMP network consist of a series of regular annual international workshops, conferences and research schools. The AGMP network also constitutes an important educational forum for scientific exchange and dissimilation of research results for PhD students and Postdocs. The network has expanded since its creation, and nowadays its activities extend beyond countries in the Baltic-Nordic region to universities in other European countries and participants from elsewhere in the world. As one of the important research-dissimilation outcomes of its activities, the network has a tradition of producing high-quality research proceedings volumes after network events, publishing them with various international publishers. The PDF also contains the following: List of AGMP workshops and other AGMP activities Main topics discussed at AGMP-6 Review of AGMP-6 proceedings Acknowledgments List of Conference Participants

7. Realization theory and quadratic optimal controllers for systems defined over Banach and Frechet algebras

NASA Technical Reports Server (NTRS)

Byrnes, C. I.

1980-01-01

It is noted that recent work by Kamen (1979) on the stability of half-plane digital filters shows that the problem of the existence of a feedback law also arises for other Banach algebras in applications. This situation calls for a realization theory and stabilizability criteria for systems defined over Banach for Frechet algebra A. Such a theory is developed here, with special emphasis placed on the construction of finitely generated realizations, the existence of coprime factorizations for T(s) defined over A, and the solvability of the quadratic optimal control problem and the associated algebraic Riccati equation over A.

8. Quadratic algebra for superintegrable monopole system in a Taub-NUT space

Hoque, Md Fazlul; Marquette, Ian; Zhang, Yao-Zhong

2016-09-01

We introduce a Hartmann system in the generalized Taub-NUT space with Abelian monopole interaction. This quantum system includes well known Kaluza-Klein monopole and MIC-Zwanziger monopole as special cases. It is shown that the corresponding Schrödinger equation of the Hamiltonian is separable in both spherical and parabolic coordinates. We obtain the integrals of motion of this superintegrable model and construct the quadratic algebra and Casimir operator. This algebra can be realized in terms of a deformed oscillator algebra and has finite dimensional unitary representations (unirreps) which provide energy spectra of the system. This result coincides with the physical spectra obtained from the separation of variables.

9. Applying effective instructional strategies for teaching dyslexic students in a remedial college algebra course.

PubMed

Kitz, W R; Nash, R T

1995-01-01

For many secondary and postsecondary students with dyslexia, passing required algebra courses presents a formidable challenge. Although dyslexic students do have specific and sometimes severe learning deficits that can affect their chances of success in algebra, they can succeed if given appropriate and effective instruction that meets their special and individual needs. This article briefly describes the application of effective instructional practices to the teaching of remedial algebra that have been used with dyslexic students in the University of Wisconsin Oshkosh Project Success program.

10. Chiral nontopological solitons with perturbative quantum pions

Williams, A. G.; Dodd, L. R.

1988-04-01

We investigate chiral extensions of a broad class of nontopological soliton bag models. Chiral symmetry is restored in a nonlinear realization through the introduction of an elementary pion field. We show in particular that it is consistent to treat the pions as a perturbative quantum field, as is done in the cloudy-bag model. The cloudy-bag model is recovered as a limiting case. A careful comparison is made between predictions of chiral extensions of the Friedberg-Lee and the Nielsen-Patkos color-dielectric nontopological soliton models and the cloudy-bag model. Once the overall distance scale is fixed we find relative insensitivity to the detailed choice of nontopological soliton parameters. We investigate two versions of chiral nontopological solitons, analogous to the surface- and volume-coupled cloudy-bag model, and discuss their relation to current algebra.

11. High-order variational perturbation theory for the free energy.

PubMed

Weissbach, Florian; Pelster, Axel; Hamprecht, Bodo

2002-09-01

In this paper we introduce a generalization to the algebraic Bender-Wu recursion relation for the eigenvalues and the eigenfunctions of the anharmonic oscillator. We extend this well known formalism to the time-dependent quantum statistical Schrödinger equation, thus obtaining the imaginary-time evolution amplitude by solving a recursive set of ordinary differential equations. This approach enables us to evaluate global and local quantum statistical quantities of the anharmonic oscillator to much higher orders than by evaluating Feynman diagrams. We probe our perturbative results by deriving a perturbative expression for the free energy, which is then subject to variational perturbation theory as developed by Kleinert, yielding convergent results for the free energy for all values of the coupling strength.

12. Petrov type of linearly perturbed type-D spacetimes

Araneda, Bernardo; Dotti, Gustavo

2015-10-01

We show that a spacetime satisfying the linearized vacuum Einstein equations around a type-D background is generically of type I, and that the splittings of the principal null directions (PNDs) and of the degenerate eigenvalue of the Weyl tensor are non-analytic functions of the perturbation parameter of the metric. This provides a gauge-invariant characterization of the effect of the perturbation on the underlying geometry, without appealing to differential curvature invariants. This is of particular interest for the Schwarzschild solution, for which there are no signatures of the even perturbations on the algebraic curvature invariants. We also show that, unlike the general case, the unstable even modes of the Schwarzschild naked singularity deform the Weyl tensor into a type-II one.

13. Fifth SIAM conference on applied linear algebra. Final report

SciTech Connect

Lewis, J.G.; Gilbert, J.R.; Parlett, B.N.

1994-11-16

The SIAM Conferences on Applied Linear Algebra are the centerpiece of activities for the SIAG on Linear Algebra. They are held every three years and bring together a diverse group of applied linear algebraists, representing industry, government and academics in both matrix theory and matrix computations. This sequence of conferences has two related goals: (1) to be useful and interesting to linear algebraists of every area of specialization, and, (2) to develop and expose connections among problems in different areas. Many aspects of the 1994 conference were carefully chosen to enhance interchange between the various groups and yet still provide a solid focus on specialities. The organizing committee adopted a new meeting structure to resolve the conflict between these two goals at earlier meetings in the series. We have prepared this report for others who may wish to consider our structure as an alternative to more traditional arrangements.

14. A linear algebraic nonlinear superposition formula

Gordoa, Pilar R.; Conde, Juan M.

2002-04-01

The Darboux transformation provides an iterative approach to the generation of exact solutions for an integrable system. This process can be simplified using the Bäcklund transformation and Bianchi's theorem of permutability; in this way we construct a nonlinear superposition formula, that is, an equation relating a new solution to three previous solutions. In general this equation will be a differential equation; for some examples, such as the Korteweg-de Vries equation, it is a linear algebraic equation. This last is what happens also in the case of the system discussed in this Letter. The linear algebraic nonlinear superposition formula obtained here is a new result. As an example, we use it to construct the two soliton solution, as well as special cases of this last which give rise to solutions exhibiting combinations of fission and fusion. Solutions exhibiting repeated processes of fission and fusion are new phenomena within the area of soliton equations. We also consider obtaining solutions using a symmetry approach; in this way we obtain rational solutions and also the one soliton solution.

15. Novikov algebras with associative bilinear forms

Zhu, Fuhai; Chen, Zhiqi

2007-11-01

Novikov algebras were introduced in connection with the Poisson brackets of hydrodynamic-type and Hamiltonian operators in formal variational calculus. The goal of this paper is to study Novikov algebras with non-degenerate associative symmetric bilinear forms, which we call quadratic Novikov algebras. Based on the classification of solvable quadratic Lie algebras of dimension not greater than 4 and Novikov algebras in dimension 3, we show that quadratic Novikov algebras up to dimension 4 are commutative. Furthermore, we obtain the classification of transitive quadratic Novikov algebras in dimension 4. But we find that not every quadratic Novikov algebra is commutative and give a non-commutative quadratic Novikov algebra in dimension 6.

16. Analytical solutions for systems of partial differential-algebraic equations.

PubMed

Benhammouda, Brahim; Vazquez-Leal, Hector

2014-01-01

This work presents the application of the power series method (PSM) to find solutions of partial differential-algebraic equations (PDAEs). Two systems of index-one and index-three are solved to show that PSM can provide analytical solutions of PDAEs in convergent series form. What is more, we present the post-treatment of the power series solutions with the Laplace-Padé (LP) resummation method as a useful strategy to find exact solutions. The main advantage of the proposed methodology is that the procedure is based on a few straightforward steps and it does not generate secular terms or depends of a perturbation parameter.

17. Quantum Q systems: from cluster algebras to quantum current algebras

Di Francesco, Philippe; Kedem, Rinat

2017-02-01

This paper gives a new algebraic interpretation for the algebra generated by the quantum cluster variables of the A_r quantum Q-system (Di Francesco and Kedem in Int Math Res Not IMRN 10:2593-2642, 2014). We show that the algebra can be described as a quotient of the localization of the quantum algebra U_{√{q}}({n}[u,u^{-1}])subset U_{√{q}}(widehat{{sl}}_2), in the Drinfeld presentation. The generating current is made up of a subset of the cluster variables which satisfy the Q-system, which we call fundamental. The other cluster variables are given by a quantum determinant-type formula, and are polynomials in the fundamental generators. The conserved quantities of the discrete evolution (Di Francesco and Kedem in Adv Math 228(1):97-152, 2011) described by quantum Q-system generate the Cartan currents at level 0, in a non-standard polarization. The rest of the quantum affine algebra is also described in terms of cluster variables.

18. Non-perturbative String Theory from Water Waves

SciTech Connect

Iyer, Ramakrishnan; Johnson, Clifford V.; Pennington, Jeffrey S.; /SLAC

2012-06-14

We use a combination of a 't Hooft limit and numerical methods to find non-perturbative solutions of exactly solvable string theories, showing that perturbative solutions in different asymptotic regimes are connected by smooth interpolating functions. Our earlier perturbative work showed that a large class of minimal string theories arise as special limits of a Painleve IV hierarchy of string equations that can be derived by a similarity reduction of the dispersive water wave hierarchy of differential equations. The hierarchy of string equations contains new perturbative solutions, some of which were conjectured to be the type IIA and IIB string theories coupled to (4, 4k ? 2) superconformal minimal models of type (A, D). Our present paper shows that these new theories have smooth non-perturbative extensions. We also find evidence for putative new string theories that were not apparent in the perturbative analysis.

19. Vortex perturbation dynamics

NASA Technical Reports Server (NTRS)

Criminale, W. O.; Lasseigne, D. G.; Jackson, T. L.

1995-01-01

An initial value approach is used to examine the dynamics of perturbations introduced into a vortex under strain. Both the basic vortex considered and the perturbations are taken as fully three-dimensional. An explicit solution for the time evolution of the vorticity perturbations is given for arbitrary initial vorticity. Analytical solutions for the resulting velocity components are found when the initial vorticity is assumed to be localized. For more general initial vorticity distributions, the velocity components are determined numerically. It is found that the variation in the radial direction of the initial vorticity disturbance is the most important factor influencing the qualitative behavior of the solutions. Transient growth in the magnitude of the velocity components is found to be directly attributable to the compactness of the initial vorticity.

20. Perturbations for transient acceleration

SciTech Connect

Vargas, Cristofher Zuñiga; Zimdahl, Winfried; Hipólito-Ricaldi, Wiliam S. E-mail: hipolito@ceunes.ufes.br

2012-04-01

According to the standard ΛCDM model, the accelerated expansion of the Universe will go on forever. Motivated by recent observational results, we explore the possibility of a finite phase of acceleration which asymptotically approaches another period of decelerated expansion. Extending an earlier study on a corresponding homogeneous and isotropic dynamics, in which interactions between dark matter and dark energy are crucial, the present paper also investigates the dynamics of the matter perturbations both on the Newtonian and General Relativistic (GR) levels and quantifies the potential relevance of perturbations of the dark-energy component. In the background, the model is tested against the Supernova type Ia (SNIa) data of the Constitution set and on the perturbative level against growth rate data, among them those of the WiggleZ survey, and the data of the 2dFGRS project. Our results indicate that a transient phase of accelerated expansion is not excluded by current observations.

1. Second order density perturbations for dust cosmologies

Uggla, Claes; Wainwright, John

2014-08-01

We present simple expressions for the relativistic first and second order fractional density perturbations for Friedmann-Lemaître cosmologies with dust, in four different gauges: the Poisson, uniform curvature, total matter and synchronous-comoving gauges. We include a cosmological constant and arbitrary spatial curvature in the background. A distinctive feature of our approach is our description of the spatial dependence of the perturbations using a canonical set of quadratic differential expressions involving an arbitrary spatial function that arises as a conserved quantity. This enables us to unify, simplify and extend previous seemingly disparate results. We use the primordial matter and metric perturbations that emerge at the end of the inflationary epoch to determine the additional arbitrary spatial function that arises when integrating the second order perturbation equations. This introduces a non-Gaussianity parameter into the expressions for the second order density perturbation. In the special case of zero spatial curvature we show that the time evolution simplifies significantly, and requires the use of only two nonelementary functions, the so-called growth suppression factor at the linear level, and one new function at the second order level. We expect that the results will be useful in applications, for example, studying the effects of primordial non-Gaussianity on the large scale structure of the Universe.

2. Perturbing turbulence beyond collapse

Kühnen, Jakob; Scarselli, Davide; Hof, Björn; Nonlinear Dynamics; Turbulence Group Team

2016-11-01

Wall-bounded turbulent flows are considered to be in principle stable against perturbations and persist as long as the Reynolds number is sufficiently high. We show for the example of pipe flow that a specific perturbation of the turbulent flow field disrupts the genesis of new turbulence at the wall. This leads to an immediate collapse of the turbulent flow and causes complete relaminarisation further downstream. The annihilation of turbulence is effected by a steady manipulation of the streamwise velocity component only, greatly simplifying control efforts which usually require knowledge of the highly complex three dimensional and time dependent velocity fields. We present several different control schemes from laboratory experiments which achieve the required perturbation of the flow for total relaminarisation. Transient growth, a linear amplification mechanism measuring the efficiency of eddies in redistributing shear that quantifies the maximum perturbation energy amplification achievable over a finite time in a linearized framework, is shown to set a clear-cut threshold below which turbulence is impeded in its formation and thus permanently annihilated.

3. Cosmological perturbations in antigravity

Oltean, Marius; Brandenberger, Robert

2014-10-01

We compute the evolution of cosmological perturbations in a recently proposed Weyl-symmetric theory of two scalar fields with oppositely signed conformal couplings to Einstein gravity. It is motivated from the minimal conformal extension of the standard model, such that one of these scalar fields is the Higgs while the other is a new particle, the dilaton, introduced to make the Higgs mass conformally symmetric. At the background level, the theory admits novel geodesically complete cyclic cosmological solutions characterized by a brief period of repulsive gravity, or "antigravity," during each successive transition from a big crunch to a big bang. For simplicity, we consider scalar perturbations in the absence of anisotropies, with potential set to zero and without any radiation. We show that despite the necessarily wrong-signed kinetic term of the dilaton in the full action, these perturbations are neither ghostlike nor tachyonic in the limit of strongly repulsive gravity. On this basis, we argue—pending a future analysis of vector and tensor perturbations—that, with respect to perturbative stability, the cosmological solutions of this theory are viable.

4. Moving frames and prolongation algebras

NASA Technical Reports Server (NTRS)

Estabrook, F. B.

1982-01-01

Differential ideals generated by sets of 2-forms which can be written with constant coefficients in a canonical basis of 1-forms are considered. By setting up a Cartan-Ehresmann connection, in a fiber bundle over a base space in which the 2-forms live, one finds an incomplete Lie algebra of vector fields in the fields in the fibers. Conversely, given this algebra (a prolongation algebra), one can derive the differential ideal. The two constructs are thus dual, and analysis of either derives properties of both. Such systems arise in the classical differential geometry of moving frames. Examples of this are discussed, together with examples arising more recently: the Korteweg-de Vries and Harrison-Ernst systems.

5. Teenagers with Down syndrome study algebra in High School.

PubMed

Martinez, E M

1998-01-01

This paper deals with the adaptation of an algebra curriculum for two students with Down syndrome who were included in High School. Since the kindergarten, this boy and girl have been fully included in general education classes. This paper examines the rationale for this choice on an algebra program. The adaptation of this program was easy because all that was required was to shorten it and do some additional steps in teaching (a little bit more than in a remedial course). Also, visual prompts were provided to the students. The boy needed a calculator all the time. Both of the students learned to calculate algebraic expressions with parenthesis, with positive and negative numbers and even with powers. The boy was able to do algebraic sum of monomials. The girl performed expressions with fractions. They took written and oral tests at the same time as their classmates, but with different exercises or questions. The girl was able to do some mental arithmetic. Often she was more consistent and careful than her typical classmates. The boy had problems with the integration and he did not attend the school full time. The inclusion, even when it was not perfect, provided the motivation to teach and to learn. In both cases, the crucial point was the daily collaboration of the mathematics teacher with the special educator. Both of the students enjoyed the mathematics program, as many typical students do. Mathematics gave them the fulfilling emotion of succeeding!

6. Colored Quantum Algebra and Its Bethe State

Wang, Jin-Zheng; Jia, Xiao-Yu; Wang, Shi-Kun

2014-12-01

We investigate the colored Yang—Baxter equation. Based on a trigonometric solution of colored Yang—Baxter equation, we construct a colored quantum algebra. Moreover we discuss its algebraic Bethe ansatz state and highest wight representation.

7. Using Number Theory to Reinforce Elementary Algebra.

ERIC Educational Resources Information Center

Covillion, Jane D.

1995-01-01

Demonstrates that using the elementary number theory in algebra classes helps students to use acquired algebraic skills as well as helping them to more clearly understand concepts that are presented. Discusses factoring, divisibility rules, and number patterns. (AIM)

8. Algebraic orbifold conformal field theories

PubMed Central

Xu, Feng

2000-01-01

The unitary rational orbifold conformal field theories in the algebraic quantum field theory and subfactor theory framework are formulated. Under general conditions, it is shown that the orbifold of a given unitary rational conformal field theory generates a unitary modular category. Many new unitary modular categories are obtained. It is also shown that the irreducible representations of orbifolds of rank one lattice vertex operator algebras give rise to unitary modular categories and determine the corresponding modular matrices, which has been conjectured for some time. PMID:11106383

9. Scalable Parallel Algebraic Multigrid Solvers

SciTech Connect

Bank, R; Lu, S; Tong, C; Vassilevski, P

2005-03-23

The authors propose a parallel algebraic multilevel algorithm (AMG), which has the novel feature that the subproblem residing in each processor is defined over the entire partition domain, although the vast majority of unknowns for each subproblem are associated with the partition owned by the corresponding processor. This feature ensures that a global coarse description of the problem is contained within each of the subproblems. The advantages of this approach are that interprocessor communication is minimized in the solution process while an optimal order of convergence rate is preserved; and the speed of local subproblem solvers can be maximized using the best existing sequential algebraic solvers.

10. Symmetry algebras of linear differential equations

Shapovalov, A. V.; Shirokov, I. V.

1992-07-01

The local symmetries of linear differential equations are investigated by means of proven theorems on the structure of the algebra of local symmetries of translationally and dilatationally invariant differential equations. For a nonparabolic second-order equation, the absence of nontrivial nonlinear local symmetries is proved. This means that the local symmetries reduce to the Lie algebra of linear differential symmetry operators. For the Laplace—Beltrami equation, all local symmetries reduce to the enveloping algebra of the algebra of the conformal group.

11. Spatial-Operator Algebra For Robotic Manipulators

NASA Technical Reports Server (NTRS)

Rodriguez, Guillermo; Kreutz, Kenneth K.; Milman, Mark H.

1991-01-01

Report discusses spatial-operator algebra developed in recent studies of mathematical modeling, control, and design of trajectories of robotic manipulators. Provides succinct representation of mathematically complicated interactions among multiple joints and links of manipulator, thereby relieving analyst of most of tedium of detailed algebraic manipulations. Presents analytical formulation of spatial-operator algebra, describes some specific applications, summarizes current research, and discusses implementation of spatial-operator algebra in the Ada programming language.

12. Twining characters and orbit Lie algebras

SciTech Connect

Fuchs, Jurgen; Ray, Urmie; Schellekens, Bert; Schweigert, Christoph

1996-12-05

We associate to outer automorphisms of generalized Kac-Moody algebras generalized character-valued indices, the twining characters. A character formula for twining characters is derived which shows that they coincide with the ordinary characters of some other generalized Kac-Moody algebra, the so-called orbit Lie algebra. Some applications to problems in conformal field theory, algebraic geometry and the theory of sporadic simple groups are sketched.

13. Applications of Algebraic Logic and Universal Algebra to Computer Science

DTIC Science & Technology

1989-06-21

conference, with roughly equal representation from Mathematics and Computer Science . The conference consisted of eight invited lectures (60 minutes...each) and 26 contributed talks (20-40 minutes each). There was also a round-table discussion on the role of algebra and logic in computer science . Keywords

14. A Balancing Act: Making Sense of Algebra

ERIC Educational Resources Information Center

Gavin, M. Katherine; Sheffield, Linda Jensen

2015-01-01

For most students, algebra seems like a totally different subject than the number topics they studied in elementary school. In reality, the procedures followed in arithmetic are actually based on the properties and laws of algebra. Algebra should be a logical next step for students in extending the proficiencies they developed with number topics…

15. Algebra? A Gate! A Barrier! A Mystery!

ERIC Educational Resources Information Center

Mathematics Educatio Dialogues, 2000

2000-01-01

This issue of Mathematics Education Dialogues focuses on the nature and the role of algebra in the K-14 curriculum. Articles on this theme include: (1) "Algebra For All? Why?" (Nel Noddings); (2) "Algebra For All: It's a Matter of Equity, Expectations, and Effectiveness" (Dorothy S. Strong and Nell B. Cobb); (3) "Don't Delay: Build and Talk about…

16. Unifying the Algebra for All Movement

ERIC Educational Resources Information Center

Eddy, Colleen M.; Quebec Fuentes, Sarah; Ward, Elizabeth K.; Parker, Yolanda A.; Cooper, Sandi; Jasper, William A.; Mallam, Winifred A.; Sorto, M. Alejandra; Wilkerson, Trena L.

2015-01-01

There exists an increased focus on school mathematics, especially first-year algebra, due to recent efforts for all students to be college and career ready. In addition, there are calls, policies, and legislation advocating for all students to study algebra epitomized by four rationales of the "Algebra for All" movement. In light of this…

17. UCSMP Algebra. What Works Clearinghouse Intervention Report

ERIC Educational Resources Information Center

What Works Clearinghouse, 2007

2007-01-01

"University of Chicago School Mathematics Project (UCSMP) Algebra," designed to increase students' skills in algebra, is appropriate for students in grades 7-10, depending on the students' incoming knowledge. This one-year course highlights applications, uses statistics and geometry to develop the algebra of linear equations and inequalities, and…

18. Constraint-Referenced Analytics of Algebra Learning

ERIC Educational Resources Information Center

Sutherland, Scot M.; White, Tobin F.

2016-01-01

The development of the constraint-referenced analytics tool for monitoring algebra learning activities presented here came from the desire to firstly, take a more quantitative look at student responses in collaborative algebra activities, and secondly, to situate those activities in a more traditional introductory algebra setting focusing on…

19. Embedding Algebraic Thinking throughout the Mathematics Curriculum

ERIC Educational Resources Information Center

Vennebush, G. Patrick; Marquez, Elizabeth; Larsen, Joseph

2005-01-01

This article explores the algebra that can be uncovered in many middle-grades mathematics tasks that, on first inspection, do not appear to be algebraic. It shows connections to the other four Standards that occur in traditional algebra problems, and it offers strategies for modifying activities so that they can be used to foster algebraic…

20. Teaching Strategies to Improve Algebra Learning

ERIC Educational Resources Information Center

Zbiek, Rose Mary; Larson, Matthew R.

2015-01-01

Improving student learning is the primary goal of every teacher of algebra. Teachers seek strategies to help all students learn important algebra content and develop mathematical practices. The new Institute of Education Sciences[IES] practice guide, "Teaching Strategies for Improving Algebra Knowledge in Middle and High School Students"…

1. Build an Early Foundation for Algebra Success

ERIC Educational Resources Information Center

Knuth, Eric; Stephens, Ana; Blanton, Maria; Gardiner, Angela

2016-01-01

Research tells us that success in algebra is a factor in many other important student outcomes. Emerging research also suggests that students who are started on an algebra curriculum in the earlier grades may have greater success in the subject in secondary school. What's needed is a consistent, algebra-infused mathematics curriculum all…

2. Teacher Actions to Facilitate Early Algebraic Reasoning

ERIC Educational Resources Information Center

Hunter, Jodie

2015-01-01

In recent years there has been an increased emphasis on integrating the teaching of arithmetic and algebra in primary school classrooms. This requires teachers to develop links between arithmetic and algebra and use pedagogical actions that facilitate algebraic reasoning. Drawing on findings from a classroom-based study, this paper provides an…

3. Difficulties in Initial Algebra Learning in Indonesia

ERIC Educational Resources Information Center

Jupri, Al; Drijvers, Paul; van den Heuvel-Panhuizen, Marja

2014-01-01

Within mathematics curricula, algebra has been widely recognized as one of the most difficult topics, which leads to learning difficulties worldwide. In Indonesia, algebra performance is an important issue. In the Trends in International Mathematics and Science Study (TIMSS) 2007, Indonesian students' achievement in the algebra domain was…

4. Cyclic homology for Hom-associative algebras

2015-12-01

In the present paper we investigate the noncommutative geometry of a class of algebras, called the Hom-associative algebras, whose associativity is twisted by a homomorphism. We define the Hochschild, cyclic, and periodic cyclic homology and cohomology for this class of algebras generalizing these theories from the associative to the Hom-associative setting.

5. Primordial fluctuations from deformed quantum algebras

SciTech Connect

Day, Andrew C.; Brown, Iain A.; Seahra, Sanjeev S. E-mail: ibrown@astro.uio.no

2014-03-01

We study the implications of deformed quantum algebras for the generation of primordial perturbations from slow-roll inflation. Specifically, we assume that the quantum commutator of the inflaton's amplitude and momentum in Fourier space gets modified at energies above some threshold M{sub *}. We show that when the commutator is modified to be a function of the momentum only, the problem of solving for the post-inflationary spectrum of fluctuations is formally equivalent to solving a one-dimensional Schr and quot;odinger equation with a time dependent potential. Depending on the class of modification, we find results either close to or significantly different from nearly scale invariant spectra. For the former case, the power spectrum is characterized by step-like behaviour at some pivot scale, where the magnitude of the jump is O(H{sup 2}/M{sub *}{sup 2}). (H is the inflationary Hubble parameter.) We use our calculated power spectra to generate predictions for the cosmic microwave background and baryon acoustic oscillations, hence demonstrating that certain types of deformations are incompatible with current observations.

6. Covariant Bardeen perturbation formalism

Vitenti, S. D. P.; Falciano, F. T.; Pinto-Neto, N.

2014-05-01

In a previous work we obtained a set of necessary conditions for the linear approximation in cosmology. Here we discuss the relations of this approach with the so-called covariant perturbations. It is often argued in the literature that one of the main advantages of the covariant approach to describe cosmological perturbations is that the Bardeen formalism is coordinate dependent. In this paper we will reformulate the Bardeen approach in a completely covariant manner. For that, we introduce the notion of pure and mixed tensors, which yields an adequate language to treat both perturbative approaches in a common framework. We then stress that in the referred covariant approach, one necessarily introduces an additional hypersurface choice to the problem. Using our mixed and pure tensors approach, we are able to construct a one-to-one map relating the usual gauge dependence of the Bardeen formalism with the hypersurface dependence inherent to the covariant approach. Finally, through the use of this map, we define full nonlinear tensors that at first order correspond to the three known gauge invariant variables Φ, Ψ and Ξ, which are simultaneously foliation and gauge invariant. We then stress that the use of the proposed mixed tensors allows one to construct simultaneously gauge and hypersurface invariant variables at any order.

7. Amplitudes of Spiral Perturbations

Grosbol, P.; Patsis, P. A.

2014-03-01

It has proven very difficult to estimate the amplitudes of spiral perturbations in disk galaxies from observations due to the variation of mass-to-light ratio and extinction across spiral arms. Deep, near-infrared images of grand-design spiral galaxies obtained with HAWK-I/VLT were used to analyze the azimuthal amplitude and shape of arms, which, even in the K-band may, be significantly biased by the presence of young stellar populations. Several techniques were applied to evaluate the relative importance of young stars across the arms, such as surface brightness of the disk with light from clusters subtracted, number density of clusters detected, and texture of the disk. The modulation of the texture measurement, which correlates with the number density of faint clusters, yields amplitudes of the spiral perturbation in the range 0.1-0.2. This estimate gives a better estimate of the mass perturbation in the spiral arms, since it is dominated by old clusters.

8. Carry Groups: Abstract Algebra Projects

ERIC Educational Resources Information Center

Miller, Cheryl Chute; Madore, Blair F.

2004-01-01

Carry Groups are a wonderful collection of groups to introduce in an undergraduate Abstract Algebra course. These groups are straightforward to define but have interesting structures for students to discover. We describe these groups and give examples of in-class group projects that were developed and used by Miller.

9. Algebra, Home Mortgages, and Recessions

ERIC Educational Resources Information Center

Mariner, Jean A. Miller; Miller, Richard A.

2009-01-01

The current financial crisis and recession in the United States present an opportunity to discuss relevant applications of some topics in typical first-and second-year algebra and precalculus courses. Real-world applications of percent change, exponential functions, and sums of finite geometric sequences can help students understand the problems…

10. Exploring Algebraic Misconceptions with Technology

ERIC Educational Resources Information Center

Sakow, Matthew; Karaman, Ruveyda

2015-01-01

Many students struggle with algebra, from simplifying expressions to solving systems of equations. Students also have misconceptions about the meaning of variables. In response to the question "Can x + y + z ever equal x + p + z?" during a student interview, the student claimed, "Never . . . because p has to have a different value…

11. Easing Students' Transition to Algebra

ERIC Educational Resources Information Center

2006-01-01

Traditionally, students learn arithmetic throughout their primary schooling, and this is seen as the ideal preparation for the learning of algebra in the junior secondary school. The four operations are taught and rehearsed in the early years and from this, it is assumed, "children will induce the fundamental structure of arithmetic" (Warren &…

12. Algebra for All. Research Brief

ERIC Educational Resources Information Center

Bleyaert, Barbara

2009-01-01

The call for "algebra for all" is not a recent phenomenon. Concerns about the inadequacy of math (and science) preparation in America's high schools have been a steady drumbeat since the 1957 launch of Sputnik; a call for raising standards and the number of math (and science) courses required for graduation has been a part of countless…

13. Algebraic methods in system theory

NASA Technical Reports Server (NTRS)

Brockett, R. W.; Willems, J. C.; Willsky, A. S.

1975-01-01

Investigations on problems of the type which arise in the control of switched electrical networks are reported. The main results concern the algebraic structure and stochastic aspects of these systems. Future reports will contain more detailed applications of these results to engineering studies.

14. Inequalities, Assessment and Computer Algebra

ERIC Educational Resources Information Center

Sangwin, Christopher J.

2015-01-01

The goal of this paper is to examine single variable real inequalities that arise as tutorial problems and to examine the extent to which current computer algebra systems (CAS) can (1) automatically solve such problems and (2) determine whether students' own answers to such problems are correct. We review how inequalities arise in contemporary…

15. Adventures in Flipping College Algebra

ERIC Educational Resources Information Center

Van Sickle, Jenna

2015-01-01

This paper outlines the experience of a university professor who implemented flipped learning in two sections of college algebra courses for two semesters. It details how the courses were flipped, what technology was used, advantages, challenges, and results. It explains what students do outside of class, what they do inside class, and discusses…

16. Elementary Algebra Connections to Precalculus

ERIC Educational Resources Information Center

2013-01-01

This article examines the attitudes of some precalculus students to solve trigonometric and logarithmic equations and systems using the concepts of elementary algebra. With the goal of enticing the students to search for and use connections among mathematical topics, they are asked to solve equations or systems specifically designed to allow…

17. Math Sense: Algebra and Geometry.

ERIC Educational Resources Information Center

Howett, Jerry

This book is designed to help students gain the range of math skills they need to succeed in life, work, and on standardized tests; overcome math anxiety; discover math as interesting and purposeful; and develop good number sense. Topics covered in this book include algebra and geometry. Lessons are organized around four strands: (1) skill lessons…

18. Weaving Geometry and Algebra Together

ERIC Educational Resources Information Center

Cetner, Michelle

2015-01-01

When thinking about student reasoning and sense making, teachers must consider the nature of tasks given to students along with how to plan to use the tasks in the classroom. Students should be presented with tasks in a way that encourages them to draw connections between algebraic and geometric concepts. This article focuses on the idea that it…

19. Algebraic Activities Aid Discovery Lessons

ERIC Educational Resources Information Center

Wallace-Gomez, Patricia

2013-01-01

After a unit on the rules for positive and negative numbers and the order of operations for evaluating algebraic expressions, many students believe that they understand these principles well enough, but they really do not. They clearly need more practice, but not more of the same kind of drill. Wallace-Gomez provides three graphing activities that…

20. Teachers' Understanding of Algebraic Generalization

Hawthorne, Casey Wayne

Generalization has been identified as a cornerstone of algebraic thinking (e.g., Lee, 1996; Sfard, 1995) and is at the center of a rich conceptualization of K-8 algebra (Kaput, 2008; Smith, 2003). Moreover, mathematics teachers are being encouraged to use figural-pattern generalizing tasks as a basis of student-centered instruction, whereby teachers respond to and build upon the ideas that arise from students' explorations of these activities. Although more and more teachers are engaging their students in such generalizing tasks, little is known about teachers' understanding of generalization and their understanding of students' mathematical thinking in this domain. In this work, I addressed this gap, exploring the understanding of algebraic generalization of 4 exemplary 8th-grade teachers from multiple perspectives. A significant feature of this investigation is an examination of teachers' understanding of the generalization process, including the use of algebraic symbols. The research consisted of two phases. Phase I was an examination of the teachers' understandings of the underlying quantities and quantitative relationships represented by algebraic notation. In Phase II, I observed the instruction of 2 of these teachers. Using the lens of professional noticing of students' mathematical thinking, I explored the teachers' enacted knowledge of algebraic generalization, characterizing how it supported them to effectively respond to the needs and queries of their students. Results indicated that teachers predominantly see these figural patterns as enrichment activities, disconnected from course content. Furthermore, in my analysis, I identified conceptual difficulties teachers experienced when solving generalization tasks, in particular, connecting multiple symbolic representations with the quantities in the figures. Moreover, while the teachers strived to overcome the challenges of connecting different representations, they invoked both productive and unproductive

1. Explicit field realizations of W algebras

Wei, Shao-Wen; Liu, Yu-Xiao; Zhang, Li-Jie; Ren, Ji-Rong

2009-06-01

The fact that certain nonlinear W2,s algebras can be linearized by the inclusion of a spin-1 current can provide a simple way to realize W2,s algebras from linear W1,2,s algebras. In this paper, we first construct the explicit field realizations of linear W1,2,s algebras with double scalar and double spinor, respectively. Then, after a change of basis, the realizations of W2,s algebras are presented. The results show that all these realizations are Romans-type realizations.

2. Array algebra estimation in signal processing

Rauhala, U. A.

A general theory of linear estimators called array algebra estimation is interpreted in some terms of multidimensional digital signal processing, mathematical statistics, and numerical analysis. The theory has emerged during the past decade from the new field of a unified vector, matrix and tensor algebra called array algebra. The broad concepts of array algebra and its estimation theory cover several modern computerized sciences and technologies converting their established notations and terminology into one common language. Some concepts of digital signal processing are adopted into this language after a review of the principles of array algebra estimation and its predecessors in mathematical surveying sciences.

3. Effective Lagrangians and Current Algebra in Three Dimensions

Ferretti, Gabriele

In this thesis we study three dimensional field theories that arise as effective Lagrangians of quantum chromodynamics in Minkowski space with signature (2,1) (QCD3). In the first chapter, we explain the method of effective Langrangians and the relevance of current algebra techniques to field theory. We also provide the physical motivations for the study of QCD3 as a toy model for confinement and as a theory of quantum antiferromagnets (QAF). In chapter two, we derive the relevant effective Lagrangian by studying the low energy behavior of QCD3, paying particular attention to how the global symmetries are realized at the quantum level. In chapter three, we show how baryons arise as topological solitons of the effective Lagrangian and also show that their statistics depends on the number of colors as predicted by the quark model. We calculate mass splitting and magnetic moments of the soliton and find logarithmic corrections to the naive quark model predictions. In chapter four, we drive the current algebra of the theory. We find that the current algebra is a co -homologically non-trivial generalization of Kac-Moody algebras to three dimensions. This fact may provide a new, non -perturbative way to quantize the theory. In chapter five, we discuss the renormalizability of the model in the large-N expansion. We prove the validity of the non-renormalization theorem and compute the critical exponents in a specific limiting case, the CP^ {N-1} model with a Chern-Simons term. Finally, chapter six contains some brief concluding remarks.

PubMed

Maestre-Deusto, F Javier; Scavello, Giovanni; Pizarro, Joaquín; Galindo, Pedro L

2011-08-01

In this paper we suggest an algorithm based on the Discrete Algebraic Reconstruction Technique (DART) which is capable of computing high quality reconstructions from substantially fewer projections than required for conventional continuous tomography. Adaptive DART (ADART) goes a step further than DART on the reduction of the number of unknowns of the associated linear system achieving a significant reduction in the pixel error rate of reconstructed objects. The proposed methodology automatically adapts the border definition criterion at each iteration, resulting in a reduction of the number of pixels belonging to the border, and consequently of the number of unknowns in the general algebraic reconstruction linear system to be solved, being this reduction specially important at the final stage of the iterative process. Experimental results show that reconstruction errors are considerably reduced using ADART when compared to original DART, both in clean and noisy environments.

5. Recursion and feedback in image algebra

Ritter, Gerhard X.; Davidson, Jennifer L.

1991-04-01

Recursion and feedback are two important processes in image processing. Image algebra, a unified algebraic structure developed for use in image processing and image analysis, provides a common mathematical environment for expressing image processing transforms. It is only recently that image algebra has been extended to include recursive operations [1]. Recently image algebra was shown to incorporate neural nets [2], including a new type of neural net, the morphological neural net [3]. This paper presents the relationship of the recursive image algebra to the field of fractions of the ring of matrices, and gives the two dimensional moving average filter as an example. Also, the popular multilayer perceptron with back propagation and a morphology neural network with learning rule are presented in image algebra notation. These examples show that image algebra can express these important feedback concepts in a succinct way.

6. Deformed Kac Moody and Virasoro algebras

Balachandran, A. P.; Queiroz, A. R.; Marques, A. M.; Teotonio-Sobrinho, P.

2007-07-01

Whenever the group {\\bb R}^n acts on an algebra {\\cal A} , there is a method to twist \\cal A to a new algebra {\\cal A}_\\theta which depends on an antisymmetric matrix θ (θμν = -θνμ = constant). The Groenewold-Moyal plane {\\cal A}_\\theta({\\bb R}^{d+1}) is an example of such a twisted algebra. We give a general construction to realize this twist in terms of {\\cal A} itself and certain 'charge' operators Qμ. For {\\cal A}_\\theta({\\bb R}^{d+1}), Q_\\mu are translation generators. This construction is then applied to twist the oscillators realizing the Kac-Moody (KM) algebra as well as the KM currents. They give different deformations of the KM algebra. From one of the deformations of the KM algebra, we construct, via the Sugawara construction, the Virasoro algebra. These deformations have an implication for statistics as well.

7. Algebraic complexities and algebraic curves over finite fields

PubMed Central

Chudnovsky, D. V.; Chudnovsky, G. V.

1987-01-01

We consider the problem of minimal (multiplicative) complexity of polynomial multiplication and multiplication in finite extensions of fields. For infinite fields minimal complexities are known [Winograd, S. (1977) Math. Syst. Theory 10, 169-180]. We prove lower and upper bounds on minimal complexities over finite fields, both linear in the number of inputs, using the relationship with linear coding theory and algebraic curves over finite fields. PMID:16593816

8. Alternative algebraic approaches in quantum chemistry

SciTech Connect

Mezey, Paul G.

2015-01-22

Various algebraic approaches of quantum chemistry all follow a common principle: the fundamental properties and interrelations providing the most essential features of a quantum chemical representation of a molecule or a chemical process, such as a reaction, can always be described by algebraic methods. Whereas such algebraic methods often provide precise, even numerical answers, nevertheless their main role is to give a framework that can be elaborated and converted into computational methods by involving alternative mathematical techniques, subject to the constraints and directions provided by algebra. In general, algebra describes sets of interrelations, often phrased in terms of algebraic operations, without much concern with the actual entities exhibiting these interrelations. However, in many instances, the very realizations of two, seemingly unrelated algebraic structures by actual quantum chemical entities or properties play additional roles, and unexpected connections between different algebraic structures are often giving new insight. Here we shall be concerned with two alternative algebraic structures: the fundamental group of reaction mechanisms, based on the energy-dependent topology of potential energy surfaces, and the interrelations among point symmetry groups for various distorted nuclear arrangements of molecules. These two, distinct algebraic structures provide interesting interrelations, which can be exploited in actual studies of molecular conformational and reaction processes. Two relevant theorems will be discussed.

9. Algebraic Methods to Design Signals

DTIC Science & Technology

2015-08-27

group theory are employed to investigate the theory of their construction methods leading to new families of these arrays and some generalizations...sequences and arrays with desirable correlation properties. The methods used are very algebraic and number theoretic. Many new families of sequences...context of optical quantum computing, we prove that infinite families of anticirculant block weighing matrices can be obtained from generic weighing

10. BLAS- BASIC LINEAR ALGEBRA SUBPROGRAMS

NASA Technical Reports Server (NTRS)

Krogh, F. T.

1994-01-01

The Basic Linear Algebra Subprogram (BLAS) library is a collection of FORTRAN callable routines for employing standard techniques in performing the basic operations of numerical linear algebra. The BLAS library was developed to provide a portable and efficient source of basic operations for designers of programs involving linear algebraic computations. The subprograms available in the library cover the operations of dot product, multiplication of a scalar and a vector, vector plus a scalar times a vector, Givens transformation, modified Givens transformation, copy, swap, Euclidean norm, sum of magnitudes, and location of the largest magnitude element. Since these subprograms are to be used in an ANSI FORTRAN context, the cases of single precision, double precision, and complex data are provided for. All of the subprograms have been thoroughly tested and produce consistent results even when transported from machine to machine. BLAS contains Assembler versions and FORTRAN test code for any of the following compilers: Lahey F77L, Microsoft FORTRAN, or IBM Professional FORTRAN. It requires the Microsoft Macro Assembler and a math co-processor. The PC implementation allows individual arrays of over 64K. The BLAS library was developed in 1979. The PC version was made available in 1986 and updated in 1988.

11. Algebra: A Challenge at the Crossroads of Policy and Practice

ERIC Educational Resources Information Center

Stein, Mary Kay; Kaufman, Julia Heath; Sherman, Milan; Hillen, Amy F.

2011-01-01

The authors review what is known about early and universal algebra, including who is getting access to algebra and student outcomes associated with algebra course taking in general and specifically with universal algebra policies. The findings indicate that increasing numbers of students, some of whom are underprepared, are taking algebra earlier.…

12. Nonlinear Two-Mode Squeezed Vacuum States as Realization of SU(1,1) Lie Algebra

2008-05-01

Nonlinear extensions of the two-mode squeezed vacuum states (NTMSVS's) are constructed and special cases of these states are discussed. We have constructed the NTMSVS's realization of SU(1,1) Lie algebra. Two cases of the definition are considered for unitary and non-unitary deformation operator functions. Some nonclassical properties of these states are discussed.

13. Gifted Students' Individual Differences in Distance-Learning Computer-Based Calculus and Linear Algebra.

ERIC Educational Resources Information Center

Cope, Eric W.; Suppes, Patrick

2002-01-01

Examined student performance in distance computer-based calculus and linear algebra courses offered by Stanford University to pre-college students as part of their Education Program for Gifted youth (EPGY). Puts special emphasis on modeling student performance over time and on capturing long-term trend effects using stochastic and nonlinear…

14. Calculus structure on the Lie conformal algebra complex and the variational complex

SciTech Connect

De Sole, Alberto; Hekmati, Pedram; Kac, Victor G.

2011-05-15

We construct a calculus structure on the Lie conformal algebra cochain complex. By restricting to degree one chains, we recover the structure of a g-complex introduced in [A. De Sole and V. G. Kac, Commun. Math. Phys. 292, 667 (2009)]. A special case of this construction is the variational calculus, for which we provide explicit formulas.

15. A computer algorithm for performing interactive algebraic computation on the GE Image-100 system

NASA Technical Reports Server (NTRS)

Hart, W. D.; Kim, H. H.

1979-01-01

A subroutine which performs specialized algebraic computations upon ocean color scanner multispectral data is presented. The computed results are displayed on a video display. The subroutine exists as a component of the aircraft sensor analysis package. The user specifies the parameters of the computations by directly interacting with the computer. A description of the conversational options is also given.

16. Using an Online Tool for Learning about and Implementing Algebra Progress Monitoring

ERIC Educational Resources Information Center

Foegen, Anne; Stecker, Pamela M.; Genareo, Vincent R.; Lyons, Renée; Olson, Jeannette R.; Simpson, Amber; Romig, John Elwood; Jones, Rachel

2016-01-01

Research supports special educators' use of progress-monitoring data for instructional decision-making purposes as an evidence-based practice for improving student achievement. This article describes the Professional Development for Algebra Progress Monitoring (PD-APM) system. PD-APM, is an online system that includes two "hubs" that…

17. Bilinear forms on fermionic Novikov algebras

Chen, Zhiqi; Zhu, Fuhai

2007-05-01

Novikov algebras were introduced in connection with the Poisson brackets of hydrodynamic type and Hamiltonian operators in formal variational calculus. Fermionic Novikov algebras correspond to a certain Hamiltonian super-operator in a super-variable. In this paper, we show that there is a remarkable geometry on fermionic Novikov algebras with non-degenerate invariant symmetric bilinear forms, which we call pseudo-Riemannian fermionic Novikov algebras. They are related to pseudo-Riemannian Lie algebras. Furthermore, we obtain a procedure to classify pseudo-Riemannian fermionic Novikov algebras. As an application, we give the classification in dimension <=4. Motivated by the one in dimension 4, we construct some examples in high dimensions.

18. Special Days, Special Ways.

ERIC Educational Resources Information Center

Clarke, Jacqueline

2001-01-01

Presents unique ways to create special rituals that recognize individual students' achievements and milestones. Ideas include throwing a send-off party for a student who is moving; holding monthly birthday luncheons; choosing an ambassador to accompany new students around school; and making a lost tooth container that students can use to safely…

19. Numerical linear algebra algorithms and software

Dongarra, Jack J.; Eijkhout, Victor

2000-11-01

The increasing availability of advanced-architecture computers has a significant effect on all spheres of scientific computation, including algorithm research and software development in numerical linear algebra. Linear algebra - in particular, the solution of linear systems of equations - lies at the heart of most calculations in scientific computing. This paper discusses some of the recent developments in linear algebra designed to exploit these advanced-architecture computers. We discuss two broad classes of algorithms: those for dense, and those for sparse matrices.

20. Symbolic Lie algebras manipulations using COMMON LISP

Cecchini, R.; Tarlini, M.

1989-01-01

We present a description and an implementation of a program in COMMON LISP to perform symbolic computations in a given Lie algebra. Using the general definitions of vector space Lie algebra and enveloping algebra, the program is able to compute commutators, to evaluate similarity transformations and the general Baker-Campbell-Hausdorff formula. All the computations are exact, including numerical coefficients. For the interactive user an optional menu facility and online help are available. LISP knowledge is unnecessary.

1. Lie algebras of classical and stochastic electrodynamics

Neto, J. J. Soares; Vianna, J. D. M.

1994-03-01

The Lie algebras associated with infinitesimal symmetry transformations of third-order differential equations of interest to classical electrodynamics and stochastic electrodynamics have been obtained. The structure constants for a general case are presented and the Lie algebra for each particular application is easily achieved. By the method used here it is not necessary to know the explicit expressions of the infinitesimal generators in order to determine the structure constants of the Lie algebra.

2. Conformal symmetry algebra of the quark potential and degeneracies in the hadron spectra

Kirchbach, M.

2012-10-01

The essence of the potential algebra concept [Y. Alhassid, F. Gürsey, F. Yachello. Phys. Rev. Lett. 50 (1983)] is that quantum mechanical free motions of scalar particles on curved surfaces of given isometry algebras can be mapped on 1D Schrödinger equations with particular potentials. As long as the Laplace-Beltrami operator on a curved surface is proportional to one of the Casimir invariants of the isometry algebra, free motion on the surface is described by means of the eigenvalue problem of that very Casimir operator. In effect, the excitation modes considered are classified according to the irreducible representations of the algebra of interest and are characterized by typical degeneracies. In consequence, also the spectra of the equivalent Schrödinger operators are classified according to the same irreducible representations and carry the same typical degeneracies. A subtle point concerns the representation of the algebra elements which may or may not be unitarily equivalent to the standard one generating classical groups like SO(n), SO(p,q), etc. To be specific, any similarity transformations of an algebra that underlies, say, an orthogonal group, always conserve the commutators among the elements, but a non-unitarily transformed algebra must not generate same group. One can then consider the parameters of the non-unitary similarity transformation as group symmetry breaking scales and seek to identify them with physical observables. We here use the potential algebra concept as a guidance in the search for an interaction describing conformal degeneracies. For this purpose we subject the so(4) ⊂ so(2,4) isometry algebra of the S3 ball to a particular non-unitary similarity transformation and obtain a deformed isometry copy to S3 such that free motion on the copy is equivalent to a cotangent perturbed motion on S3, and to the 1D Schrödinger operator with the trigonometric Rosen-Morse potential as well. The latter presents itself especially well suited for

3. Algebraic logic of concepts and its machine implementation in the algebras of deontic and axiological notions

Manerowska, Anna; Nieznański, Edward; Mulawka, Jan

2013-10-01

Our aim is to present the algebra of concepts in two formal languages. First, after introducing a primary relation between concepts, which is subsumption, we shall specify in a language that uses quantifiers, the Boolean algebra of general concepts. Next, we shall note down the same algebra in simplified non-quantifying language, in order to use it as basis for two specific implementations, i.e. to create the Boolean algebras of deontic concepts and axiological concepts.

4. Perturbed effects at radiation physics

Külahcı, Fatih; Şen, Zekâi

2013-09-01

Perturbation methodology is applied in order to assess the linear attenuation coefficient, mass attenuation coefficient and cross-section behavior with random components in the basic variables such as the radiation amounts frequently used in the radiation physics and chemistry. Additionally, layer attenuation coefficient (LAC) and perturbed LAC (PLAC) are proposed for different contact materials. Perturbation methodology provides opportunity to obtain results with random deviations from the average behavior of each variable that enters the whole mathematical expression. The basic photon intensity variation expression as the inverse exponential power law (as Beer-Lambert's law) is adopted for perturbation method exposition. Perturbed results are presented not only in terms of the mean but additionally the standard deviation and the correlation coefficients. Such perturbation expressions provide one to assess small random variability in basic variables.

5. Dispersion Operators Algebra and Linear Canonical Transformations

Andriambololona, Raoelina; Ranaivoson, Ravo Tokiniaina; Hasimbola Damo Emile, Randriamisy; Rakotoson, Hanitriarivo

2017-04-01

This work intends to present a study on relations between a Lie algebra called dispersion operators algebra, linear canonical transformation and a phase space representation of quantum mechanics that we have introduced and studied in previous works. The paper begins with a brief recall of our previous works followed by the description of the dispersion operators algebra which is performed in the framework of the phase space representation. Then, linear canonical transformations are introduced and linked with this algebra. A multidimensional generalization of the obtained results is given.

6. Dispersion Operators Algebra and Linear Canonical Transformations

Andriambololona, Raoelina; Ranaivoson, Ravo Tokiniaina; Hasimbola Damo Emile, Randriamisy; Rakotoson, Hanitriarivo

2017-02-01

This work intends to present a study on relations between a Lie algebra called dispersion operators algebra, linear canonical transformation and a phase space representation of quantum mechanics that we have introduced and studied in previous works. The paper begins with a brief recall of our previous works followed by the description of the dispersion operators algebra which is performed in the framework of the phase space representation. Then, linear canonical transformations are introduced and linked with this algebra. A multidimensional generalization of the obtained results is given.

7. Banach Algebras Associated to Lax Pairs

Glazebrook, James F.

2015-04-01

Lax pairs featuring in the theory of integrable systems are known to be constructed from a commutative algebra of formal pseudodifferential operators known as the Burchnall- Chaundy algebra. Such pairs induce the well known KP flows on a restricted infinite-dimensional Grassmannian. The latter can be exhibited as a Banach homogeneous space constructed from a Banach *-algebra. It is shown that this commutative algebra of operators generating Lax pairs can be associated with a commutative C*-subalgebra in the C*-norm completion of the *-algebra. In relationship to the Bose-Fermi correspondence and the theory of vertex operators, this C*-algebra has an association with the CAR algebra of operators as represented on Fermionic Fock space by the Gelfand-Naimark-Segal construction. Instrumental is the Plücker embedding of the restricted Grassmannian into the projective space of the associated Hilbert space. The related Baker and tau-functions provide a connection between these two C*-algebras, following which their respective state spaces and Jordan-Lie-Banach algebras structures can be compared.

8. Difficulties in initial algebra learning in Indonesia

Jupri, Al; Drijvers, Paul; van den Heuvel-Panhuizen, Marja

2014-12-01

Within mathematics curricula, algebra has been widely recognized as one of the most difficult topics, which leads to learning difficulties worldwide. In Indonesia, algebra performance is an important issue. In the Trends in International Mathematics and Science Study (TIMSS) 2007, Indonesian students' achievement in the algebra domain was significantly below the average student performance in other Southeast Asian countries such as Thailand, Malaysia, and Singapore. This fact gave rise to this study which aims to investigate Indonesian students' difficulties in algebra. In order to do so, a literature study was carried out on students' difficulties in initial algebra. Next, an individual written test on algebra tasks was administered, followed by interviews. A sample of 51 grade VII Indonesian students worked the written test, and 37 of them were interviewed afterwards. Data analysis revealed that mathematization, i.e., the ability to translate back and forth between the world of the problem situation and the world of mathematics and to reorganize the mathematical system itself, constituted the most frequently observed difficulty in both the written test and the interview data. Other observed difficulties concerned understanding algebraic expressions, applying arithmetic operations in numerical and algebraic expressions, understanding the different meanings of the equal sign, and understanding variables. The consequences of these findings on both task design and further research in algebra education are discussed.

9. Multicloning and Multibroadcasting in Operator Algebras

Kaniowski, Krzysztof; Lubnauer, Katarzyna; Łuczak, Andrzej

2015-12-01

We investigate multicloning and multibroadcasting in the general operator algebra framework in arbitrary dimension, generalizing thus results obtained in this framework for simple cloning and broadcasting.

10. Prospective Teachers' Views on the Use of Calculators with Computer Algebra System in Algebra Instruction

ERIC Educational Resources Information Center

Ozgun-Koca, S. Ash

2010-01-01

Although growing numbers of secondary school mathematics teachers and students use calculators to study graphs, they mainly rely on paper-and-pencil when manipulating algebraic symbols. However, the Computer Algebra Systems (CAS) on computers or handheld calculators create new possibilities for teaching and learning algebraic manipulation. This…

11. An Arithmetic-Algebraic Work Space for the Promotion of Arithmetic and Algebraic Thinking: Triangular Numbers

ERIC Educational Resources Information Center

Hitt, Fernando; Saboya, Mireille; Cortés Zavala, Carlos

2016-01-01

This paper presents an experiment that attempts to mobilise an arithmetic-algebraic way of thinking in order to articulate between arithmetic thinking and the early algebraic thinking, which is considered a prelude to algebraic thinking. In the process of building this latter way of thinking, researchers analysed pupils' spontaneous production…

12. The Relative Lie Algebra Cohomology of the Weil Representation

Ralston, Jacob

We study the relative Lie algebra cohomology of so(p,q) with values in the Weil representation piof the dual pair Sp(2k, R) x O(p,q ). Using the Fock model defined in Chapter 2, we filter this complex and construct the associated spectral sequence. We then prove that the resulting spectral sequence converges to the relative Lie algebra cohomology and has E0 term, the associated graded complex, isomorphic to a Koszul complex, see Section 3.4. It is immediate that the construction of the spectral sequence of Chapter 3 can be applied to any reductive subalgebra g ⊂ sp(2k(p + q), R). By the Weil representation of O( p,|q), we mean the twist of the Weil representation of the two-fold cover O(pq)[special character omitted] by a suitable character. We do this to make the center of O(pq)[special character omitted] act trivially. Otherwise, all relative Lie algebra cohomology groups would vanish, see Proposition 4.10.2. In case the symplectic group is large relative to the orthogonal group (k ≥ pq), the E 0 term is isomorphic to a Koszul complex defined by a regular sequence, see 3.4. Thus, the cohomology vanishes except in top degree. This result is obtained without calculating the space of cochains and hence without using any representation theory. On the other hand, in case k < p, we know the Koszul complex is not that of a regular sequence from the existence of the class ϕkq of Kudla and Millson, see te{KM2}, a nonzero element of the relative Lie algebra cohomology of degree kq. For the case of SO0(p, 1) we compute the cohomology groups in these remaining cases, namely k < p. We do this by first computing a basis for the relative Lie algebra cochains and then splitting the complex into a sum of two complexes, each of whose E0 term is then isomorphic to a Koszul complex defined by a regular sequence. This thesis is adapted from the paper, [BMR], this author wrote with his advisor John Millson and Nicolas Bergeron of the University of Paris.

13. On angularly perturbed Laplace equations in the unit ball of IR{sup n+2} and their distributional boundary values

SciTech Connect

Massopust, P.R.

1997-08-01

All solutions of an in its angular coordinates continuously perturbed Laplace-Beltrami equation in the open unit ball IB{sup n+2} {contained_in} IR{sup n+2}, n {ge} 1, are characterized. Moreover, it is shown that such pertubations yield distributional boundary values which are different from, but algebraically and topologically equivalent to, the hyperfunctions of Lions & Magenes. This is different from the case of radially perturbed Laplace-Beltrami operators (cf. [7]) where one has stability of distributional boundary values under such perturbations.

14. Algebraic construction of the Darboux matrix revisited

Cieśliński, Jan L.

2009-10-01

We present algebraic construction of Darboux matrices for 1+1-dimensional integrable systems of nonlinear partial differential equations with a special stress on the nonisospectral case. We discuss different approaches to the Darboux-Bäcklund transformation, based on different λ-dependences of the Darboux matrix: polynomial, sum of partial fractions or the transfer matrix form. We derive symmetric N-soliton formulae in the general case. The matrix spectral parameter and dressing actions in loop groups are also discussed. We describe reductions to twisted loop groups, unitary reductions, the matrix Lax pair for the KdV equation and reductions of chiral models (harmonic maps) to SU(n) and to Grassmann spaces. We show that in the KdV case the nilpotent Darboux matrix generates the binary Darboux transformation. The paper is intended as a review of known results (usually presented in a novel context) but some new results are included as well, e.g., general compact formulae for N-soliton surfaces and linear and bilinear constraints on the nonisospectral Lax pair matrices which are preserved by Darboux transformations.

15. Evolution of perturbed dynamical systems: analytical computation with time independent accuracy

Gurzadyan, A. V.; Kocharyan, A. A.

2016-12-01

An analytical method for investigation of the evolution of dynamical systems with independent on time accuracy is developed for perturbed Hamiltonian systems. The error-free estimation using of computer algebra enables the application of the method to complex multi-dimensional Hamiltonian and dissipative systems. It also opens principal opportunities for the qualitative study of chaotic trajectories. The performance of the method is demonstrated on perturbed two-oscillator systems. It can be applied to various non-linear physical and astrophysical systems, e.g. to long-term planetary dynamics.

16. Classification of filiform Lie algebras of order 3

Navarro, Rosa María

2016-12-01

Lie algebras of order 3 constitute a generalization of Lie algebras and superalgebras. Throughout this paper the classification problem of filiform Lie algebras of order 3 is considered and therefore this work is a continuation papers seen in the literature. We approach this classification by extending Vergne's result for filiform Lie algebras and by considering algebras of order 3 of high nilindex. We find the expression of the law to which any elementary filiform Lie algebra of order 3 is isomorphic.

17. Perturbation hydrogen-atom spectrum in deformed space with minimal length

SciTech Connect

Stetsko, M. M.; Tkachuk, V. M.

2006-07-15

We studied energy spectrum for the hydrogen atom with deformed Heisenberg algebra leading to the minimal length. We developed the correct perturbation theory free of divergences. It gives a possibility to calculate analytically in the three-dimensional case the corrections to s levels of the hydrogen atom caused by the minimal length. Comparing our results with the experimental data from precision hydrogen spectroscopy an upper bound for the minimal length is obtained.

18. The Algebra of Lexical Semantics

Kornai, András

The current generative theory of the lexicon relies primarily on tools from formal language theory and mathematical logic. Here we describe how a different formal apparatus, taken from algebra and automata theory, resolves many of the known problems with the generative lexicon. We develop a finite state theory of word meaning based on machines in the sense of Eilenberg [11], a formalism capable of describing discrepancies between syntactic type (lexical category) and semantic type (number of arguments). This mechanism is compared both to the standard linguistic approaches and to the formalisms developed in AI/KR.

19. Strengthening Effect Algebras in a Logical Perspective: Heyting-Wajsberg Algebras

Konig, Martinvaldo

2014-10-01

Heyting effect algebras are lattice-ordered pseudoboolean effect algebras endowed with a pseudocomplementation that maps on the center (i.e. Boolean elements). They are the algebraic counterpart of an extension of both Łukasiewicz many-valued logic and intuitionistic logic. We show that Heyting effect algebras are termwise equivalent to Heyting-Wajsberg algebras where the two different logical implications are defined as primitive operators. We prove this logic to be decidable, to be strongly complete and to have the deduction-detachment theorem.

20. Special perturbations employing osculating reference states. [for satellite motion

NASA Technical Reports Server (NTRS)

Born, G. H.; Christensen, E. J.; Seversike, L. K.

1974-01-01

The concept of employing osculating reference position and velocity vectors in the numerical integration of the equations of motion of a satellite is examined. The choice of the reference point is shown to have a significant effect upon numerical efficiency and the class of trajectories described by the differential equations of motion. For example, when the position and velocity vectors on the osculating orbit at a fixed reference time are chosen, a universal formulation is yielded. For elliptical orbits, however, this formulation is unattractive for numerical integration purposes due to Poisson terms (mixed secular) appearing in the equations of motion. Other choices for the reference point eliminate this problem but usually at the expense of universality. A number of these formulations, including a universal one, are considered here. Comparisons of the numerical characteristics of these techniques with those of the Encke method are presented.

1. Perturbation theory in electron diffraction

Bakken, L. N.; Marthinsen, K.; Hoeier, R.

1992-12-01

The Bloch-wave approach is used for discussing multiple inelastic electron scattering and higher-order perturbation theory in inelastic high-energy electron diffraction. In contrast to previous work, the present work describes three-dimensional diffraction so that higher-order Laue zone (HOLZ) effects are incorporated. Absorption is included and eigenvalues and eigenvectors are calculated from a structure matrix with the inclusion of an absorptive potential. Centrosymmetric as well as non-centrosymmetric crystal structures are allowed. An iteration method with a defined generalized propagation function for solving the inelastic coupling equations is described. It is shown that a similar iteration method with the same propagation function can be used for obtaining higher-order perturbation terms for the wave-function when a perturbation is added to the crystal potential. Finally, perturbation theory by matrix calculations when a general perturbation is added to the structure matrix is considered.

2. Algebraic Thinking: A Problem Solving Approach

ERIC Educational Resources Information Center

Windsor, Will

2010-01-01

Algebraic thinking is a crucial and fundamental element of mathematical thinking and reasoning. It initially involves recognising patterns and general mathematical relationships among numbers, objects and geometric shapes. This paper will highlight how the ability to think algebraically might support a deeper and more useful knowledge, not only of…

3. Learning from Student Approaches to Algebraic Proofs

ERIC Educational Resources Information Center

D'Ambrosio, Beatriz S.; Kastberg, Signe E.; Viola dos Santos, Joao Ricardo

2010-01-01

Many mathematics teachers struggle to support their students' developing understanding of proof as an essential element in investigations of mathematics. The area of mathematics where the development of an understanding of proof is most challenging is algebra. In the case of algebraic proof, analysis of student written work on tasks that demand…

4. From operator algebras to superconformal field theory

SciTech Connect

Kawahigashi, Yasuyuki

2010-01-15

We survey operator algebraic approach to (super)conformal field theory. We discuss representation theory, classification results, full and boundary conformal field theories, relations to supervertex operator algebras and Moonshine, connections to subfactor theory of Jones, and certain aspects of noncommutative geometry of Connes.

5. A Technology-Intensive Approach to Algebra.

ERIC Educational Resources Information Center

Heid, M. Kathleen; Zbiek, Rose Mary

1995-01-01

Computer-Intensive Algebra (CIA) focuses on the use of technology to help develop a rich understanding of fundamental algebraic concepts in real-world settings using computing tools for easy access to numerical, graphical, and symbolic representations of mathematical ideas. (MKR)

6. Focus on Fractions to Scaffold Algebra

ERIC Educational Resources Information Center

Ooten, Cheryl Thomas

2013-01-01

Beginning algebra is a gatekeeper course into the pipeline to higher mathematics courses required for respected professions in engineering, science, statistics, mathematics, education, and technology. Beginning algebra can also be a perfect storm if the necessary foundational skills are not within a student's grasp. What skills ensure beginning…

7. Post-Lie Algebras and Isospectral Flows

Ebrahimi-Fard, Kurusch; Lundervold, Alexander; Mencattini, Igor; Munthe-Kaas, Hans Z.

2015-11-01

In this paper we explore the Lie enveloping algebra of a post-Lie algebra derived from a classical R-matrix. An explicit exponential solution of the corresponding Lie bracket flow is presented. It is based on the solution of a post-Lie Magnus-type differential equation.

8. Teaching Modeling and Axiomatization with Boolean Algebra.

ERIC Educational Resources Information Center

De Villiers, Michael D.

1987-01-01

Presented is an alternative approach to the traditional teaching of Boolean algebra for secondary school mathematics. The main aim of the approach is to use Boolean algebra to teach pupils such mathematical processes as modeling and axiomatization. A course using the approach is described. (RH)

9. Arithmetic and Cognitive Contributions to Algebra

ERIC Educational Resources Information Center

Cirino, Paul T.; Tolar, Tammy D.; Fuchs, Lynn S.

2013-01-01

Algebra is a prerequisite for access to STEM careers and occupational success (NMAP, 2008a), yet algebra is difficult for students through high school (US DOE, 2008). Growth in children's conceptual and procedural arithmetical knowledge is reciprocal, although conceptual knowledge has more impact on procedural knowledge than the reverse…

10. Algebraic Thinking through Koch Snowflake Constructions

ERIC Educational Resources Information Center

Ghosh, Jonaki B.

2016-01-01

Generalizing is a foundational mathematical practice for the algebra classroom. It entails an act of abstraction and forms the core of algebraic thinking. Kinach (2014) describes two kinds of generalization--by analogy and by extension. This article illustrates how exploration of fractals provides ample opportunity for generalizations of both…

11. Calif. Laws Shift Gears on Algebra, Textbooks

ERIC Educational Resources Information Center

Robelen, Erik W.

2012-01-01

New laws in California have set the state on a course for some potentially significant changes to the curriculum, including a measure that revisits the matter of teaching Algebra 1 in 8th grade and another that revamps the state's textbook-adoption process and hands districts greater leeway in choosing instructional materials. The algebra-related…

12. Using Students' Interests as Algebraic Models

ERIC Educational Resources Information Center

Whaley, Kenneth A.

2012-01-01

Fostering algebraic thinking is an important goal for middle-grades mathematics teachers. Developing mathematical reasoning requires that teachers cultivate students' habits of mind. Teachers develop students' understanding of algebra by engaging them in tasks that involve modeling and representation. This study was designed to investigate how…

13. An algebraic approach to the scattering equations

Huang, Rijun; Rao, Junjie; Feng, Bo; He, Yang-Hui

2015-12-01

We employ the so-called companion matrix method from computational algebraic geometry, tailored for zero-dimensional ideals, to study the scattering equations. The method renders the CHY-integrand of scattering amplitudes computable using simple linear algebra and is amenable to an algorithmic approach. Certain identities in the amplitudes as well as rationality of the final integrand become immediate in this formalism.

14. THE RADICAL OF A JORDAN ALGEBRA

PubMed Central

McCrimmon, Kevin

1969-01-01

In this paper we define a Jacobson radical for Jordan algebras analogous to that for associative algebras and show that it enjoys many of the properties of the associative radical. We then relate the corresponding notion of “semisimplicity” to the previously defined notion of “nondegeneracy” (Jacobson, N., these Proceedings, 55, 243-251 (1966)). PMID:16591736

15. Cartan calculus on quantum Lie algebras

SciTech Connect

Schupp, P.; Watts, P.; Zumino, B.

1993-12-09

A generalization of the differential geometry of forms and vector fields to the case of quantum Lie algebras is given. In an abstract formulation that incorporates many existing examples of differential geometry on quantum spaces we combine an exterior derivative, inner derivations, Lie derivatives, forms and functions au into one big algebra, the Cartan Calculus.

16. The operator algebra approach to quantum groups

PubMed Central

Kustermans, Johan; Vaes, Stefaan

2000-01-01

A relatively simple definition of a locally compact quantum group in the C*-algebra setting will be explained as it was recently obtained by the authors. At the same time, we put this definition in the historical and mathematical context of locally compact groups, compact quantum groups, Kac algebras, multiplicative unitaries, and duality theory. PMID:10639116

17. Using the Internet To Investigate Algebra.

ERIC Educational Resources Information Center

Sherwood, Walter

The lesson plans in this book engage students by using a tool they enjoy--the Internet--to explore key concepts in algebra. Working either individually or in groups, students learn to approach algebra from a problem solving perspective. Each lesson shows learners how to use the Internet as a resource for gathering facts, data, and other…

18. Teaching Algebra to Students with Learning Disabilities

ERIC Educational Resources Information Center

Impecoven-Lind, Linda S.; Foegen, Anne

2010-01-01

Algebra is a gateway to expanded opportunities, but it often poses difficulty for students with learning disabilities. Consequently, it is essential to identify evidence-based instructional strategies for these students. The authors begin by identifying three areas of algebra difficulty experienced by students with disabilities: cognitive…

19. Gary M. Klingler Algebra Teacher Assistance Packages

ERIC Educational Resources Information Center

Klingler, Gary

2005-01-01

Several packages designed by Elizabeth Marquez for mathematics teachers of grades 6-12, officially entitled the Teacher Assistance Package in Support of Better Algebra Assessment, is a series of resources developed to accompany ET's End-of-Course Algebra Assessment. It is designed to enhance teachers classroom assessment by providing examples of…

20. Just Say Yes to Early Algebra!

ERIC Educational Resources Information Center

Stephens, Ana; Blanton, Maria; Knuth, Eric; Isler, Isil; Gardiner, Angela Murphy

2015-01-01

Mathematics educators have argued for some time that elementary school students are capable of engaging in algebraic thinking and should be provided with rich opportunities to do so. Recent initiatives like the Common Core State Standards for Mathematics (CCSSM) (CCSSI 2010) have taken up this call by reiterating the place of early algebra in…

1. Symbolic Notations and Students' Achievements in Algebra

ERIC Educational Resources Information Center

Peter, Ebiendele E.; Olaoye, Adetunji A.

2013-01-01

This study focuses on symbolic notations and its impact on students' achievement in Algebra. The main reason for this study rests on the observation from personal and professional experiences on students' increasing hatred for Algebra. One hundred and fifty (150) Senior Secondary School Students (SSS) from Ojo Local Education District, Ojo, Lagos,…

2. SAYD Modules over Lie-Hopf Algebras

Rangipour, Bahram; Sütlü, Serkan

2012-11-01

In this paper a general van Est type isomorphism is proved. The isomorphism is between the Lie algebra cohomology of a bicrossed sum Lie algebra and the Hopf cyclic cohomology of its Hopf algebra. We first prove a one to one correspondence between stable-anti-Yetter-Drinfeld (SAYD) modules over the total Lie algebra and those modules over the associated Hopf algebra. In contrast to the non-general case done in our previous work, here the van Est isomorphism is proved at the first level of a natural spectral sequence, rather than at the level of complexes. It is proved that the Connes-Moscovici Hopf algebras do not admit any finite dimensional SAYD modules except the unique one-dimensional one found by Connes-Moscovici in 1998. This is done by extending our techniques to work with the infinite dimensional Lie algebra of formal vector fields. At the end, the one to one correspondence is applied to construct a highly nontrivial four dimensional SAYD module over the Schwarzian Hopf algebra. We then illustrate the whole theory on this example. Finally explicit representative cocycles of the cohomology classes for this example are calculated.

3. Algebraic Formulas for Areas between Curves.

ERIC Educational Resources Information Center

Gabai, Hyman

1982-01-01

Korean secondary school students preparing for college learn about a simple algebraic formula for area bounded by a parabola and line. The approach does not seem well-known among American students. It is noted that, while the formula derivations rely on integration, algebra students could use the formulas without proofs. (MP)

4. Some Applications of Algebraic System Solving

ERIC Educational Resources Information Center

Roanes-Lozano, Eugenio

2011-01-01

Technology and, in particular, computer algebra systems, allows us to change both the way we teach mathematics and the mathematical curriculum. Curiously enough, unlike what happens with linear system solving, algebraic system solving is not widely known. The aim of this paper is to show that, although the theory lying behind the "exact…

5. An Inquiry-Based Linear Algebra Class

ERIC Educational Resources Information Center

Wang, Haohao; Posey, Lisa

2011-01-01

Linear algebra is a standard undergraduate mathematics course. This paper presents an overview of the design and implementation of an inquiry-based teaching material for the linear algebra course which emphasizes discovery learning, analytical thinking and individual creativity. The inquiry-based teaching material is designed to fit the needs of a…

6. Practicing Algebraic Skills: A Conceptual Approach

ERIC Educational Resources Information Center

Friedlander, Alex; Arcavi, Abraham

2012-01-01

Traditionally, a considerable part of teaching and learning algebra has focused on routine practice and the application of rules, procedures, and techniques. Although today's computerized environments may have decreased the need to master algebraic skills, procedural competence is still a central component in any mathematical activity. However,…

7. Success in Algebra among Community College Students

ERIC Educational Resources Information Center

Reyes, Czarina

2010-01-01

College algebra is a required course for most majors, but is viewed by many as a gatekeeper course for degree completion by students. With almost half a million students taking college algebra each year, faculty are experimenting with new course lengths of time that might result in higher success, completion, and retention rates for college…

8. Is Algebra Really Difficult for All Students?

ERIC Educational Resources Information Center

Egodawatte, Gunawardena

2009-01-01

Research studies have shown that students encounter difficulties in transitioning from arithmetic to algebra. Errors made by high school students were analyzed for patterns and their causes. The origins of errors were: intuitive assumptions, failure to understand the syntax of algebra, analogies with other familiar symbol systems such as the…

9. MODEL IDENTIFICATION AND COMPUTER ALGEBRA.

PubMed

Bollen, Kenneth A; Bauldry, Shawn

2010-10-07

Multiequation models that contain observed or latent variables are common in the social sciences. To determine whether unique parameter values exist for such models, one needs to assess model identification. In practice analysts rely on empirical checks that evaluate the singularity of the information matrix evaluated at sample estimates of parameters. The discrepancy between estimates and population values, the limitations of numerical assessments of ranks, and the difference between local and global identification make this practice less than perfect. In this paper we outline how to use computer algebra systems (CAS) to determine the local and global identification of multiequation models with or without latent variables. We demonstrate a symbolic CAS approach to local identification and develop a CAS approach to obtain explicit algebraic solutions for each of the model parameters. We illustrate the procedures with several examples, including a new proof of the identification of a model for handling missing data using auxiliary variables. We present an identification procedure for Structural Equation Models that makes use of CAS and that is a useful complement to current methods.

10. LINPACK. Simultaneous Linear Algebraic Equations

SciTech Connect

Miller, M.A.

1990-05-01

LINPACK is a collection of FORTRAN subroutines which analyze and solve various classes of systems of simultaneous linear algebraic equations. The collection deals with general, banded, symmetric indefinite, symmetric positive definite, triangular, and tridiagonal square matrices, as well as with least squares problems and the QR and singular value decompositions of rectangular matrices. A subroutine-naming convention is employed in which each subroutine name consists of five letters which represent a coded specification (TXXYY) of the computation done by that subroutine. The first letter, T, indicates the matrix data type. Standard FORTRAN allows the use of three such types: S REAL, D DOUBLE PRECISION, and C COMPLEX. In addition, some FORTRAN systems allow a double-precision complex type: Z COMPLEX*16. The second and third letters of the subroutine name, XX, indicate the form of the matrix or its decomposition: GE General, GB General band, PO Positive definite, PP Positive definite packed, PB Positive definite band, SI Symmetric indefinite, SP Symmetric indefinite packed, HI Hermitian indefinite, HP Hermitian indefinite packed, TR Triangular, GT General tridiagonal, PT Positive definite tridiagonal, CH Cholesky decomposition, QR Orthogonal-triangular decomposition, SV Singular value decomposition. The final two letters, YY, indicate the computation done by the particular subroutine: FA Factor, CO Factor and estimate condition, SL Solve, DI Determinant and/or inverse and/or inertia, DC Decompose, UD Update, DD Downdate, EX Exchange. The LINPACK package also includes a set of routines to perform basic vector operations called the Basic Linear Algebra Subprograms (BLAS).

11. LINPACK. Simultaneous Linear Algebraic Equations

SciTech Connect

Dongarra, J.J.

1982-05-02

LINPACK is a collection of FORTRAN subroutines which analyze and solve various classes of systems of simultaneous linear algebraic equations. The collection deals with general, banded, symmetric indefinite, symmetric positive definite, triangular, and tridiagonal square matrices, as well as with least squares problems and the QR and singular value decompositions of rectangular matrices. A subroutine-naming convention is employed in which each subroutine name consists of five letters which represent a coded specification (TXXYY) of the computation done by that subroutine. The first letter, T, indicates the matrix data type. Standard FORTRAN allows the use of three such types: S REAL, D DOUBLE PRECISION, and C COMPLEX. In addition, some FORTRAN systems allow a double-precision complex type: Z COMPLEX*16. The second and third letters of the subroutine name, XX, indicate the form of the matrix or its decomposition: GE General, GB General band, PO Positive definite, PP Positive definite packed, PB Positive definite band, SI Symmetric indefinite, SP Symmetric indefinite packed, HI Hermitian indefinite, HP Hermitian indefinite packed, TR Triangular, GT General tridiagonal, PT Positive definite tridiagonal, CH Cholesky decomposition, QR Orthogonal-triangular decomposition, SV Singular value decomposition. The final two letters, YY, indicate the computation done by the particular subroutine: FA Factor, CO Factor and estimate condition, SL Solve, DI Determinant and/or inverse and/or inertia, DC Decompose, UD Update, DD Downdate, EX Exchange. The LINPACK package also includes a set of routines to perform basic vector operations called the Basic Linear Algebra Subprograms (BLAS).

12. Generalization of n-ary Nambu algebras and beyond

SciTech Connect

Ataguema, H.; Makhlouf, A.; Silvestrov, S.

2009-08-15

The aim of this paper is to introduce n-ary Hom-algebra structures generalizing the n-ary algebras of Lie type including n-ary Nambu algebras, n-ary Nambu-Lie algebras and n-ary Lie algebras, and n-ary algebras of associative type including n-ary totally associative and n-ary partially associative algebras. We provide examples of the new structures and present some properties and construction theorems. We describe the general method allowing one to obtain an n-ary Hom-algebra structure starting from an n-ary algebra and an n-ary algebra endomorphism. Several examples are derived using this process. Also we initiate investigation of classification problems for algebraic structures introduced in the article and describe all ternary three-dimensional Hom-Nambu-Lie structures with diagonal homomorphism.

13. Higher gauge theories from Lie n-algebras and off-shell covariantization

Carow-Watamura, Ursula; Heller, Marc Andre; Ikeda, Noriaki; Kaneko, Yukio; Watamura, Satoshi

2016-07-01

We analyze higher gauge theories in various dimensions using a supergeometric method based on a differential graded symplectic manifold, called a QP-manifold, which is closely related to the BRST-BV formalism in gauge theories. Extensions of the Lie 2-algebra gauge structure are formulated within the Lie n-algebra induced by the QP-structure. We find that in 5 and 6 dimensions there are special extensions of the gauge algebra. In these cases, a restriction of the gauge symmetry by imposing constraints on the auxiliary gauge fields leads to a covariantized theory. As an example we show that we can obtain an off-shell covariantized higher gauge theory in 5 dimensions, which is similar to the one proposed in [1].

14. ALGEBRA: ALgorithm for the heterogeneous dosimetry based on GEANT4 for BRAchytherapy.

PubMed

Afsharpour, H; Landry, G; D'Amours, M; Enger, S; Reniers, B; Poon, E; Carrier, J-F; Verhaegen, F; Beaulieu, L

2012-06-07

Task group 43 (TG43)-based dosimetry algorithms are efficient for brachytherapy dose calculation in water. However, human tissues have chemical compositions and densities different than water. Moreover, the mutual shielding effect of seeds on each other (interseed attenuation) is neglected in the TG43-based dosimetry platforms. The scientific community has expressed the need for an accurate dosimetry platform in brachytherapy. The purpose of this paper is to present ALGEBRA, a Monte Carlo platform for dosimetry in brachytherapy which is sufficiently fast and accurate for clinical and research purposes. ALGEBRA is based on the GEANT4 Monte Carlo code and is capable of handling the DICOM RT standard to recreate a virtual model of the treated site. Here, the performance of ALGEBRA is presented for the special case of LDR brachytherapy in permanent prostate and breast seed implants. However, the algorithm is also capable of handling other treatments such as HDR brachytherapy.

15. ALGEBRA: ALgorithm for the heterogeneous dosimetry based on GEANT4 for BRAchytherapy

Afsharpour, H.; Landry, G.; D'Amours, M.; Enger, S.; Reniers, B.; Poon, E.; Carrier, J.-F.; Verhaegen, F.; Beaulieu, L.

2012-06-01

Task group 43 (TG43)-based dosimetry algorithms are efficient for brachytherapy dose calculation in water. However, human tissues have chemical compositions and densities different than water. Moreover, the mutual shielding effect of seeds on each other (interseed attenuation) is neglected in the TG43-based dosimetry platforms. The scientific community has expressed the need for an accurate dosimetry platform in brachytherapy. The purpose of this paper is to present ALGEBRA, a Monte Carlo platform for dosimetry in brachytherapy which is sufficiently fast and accurate for clinical and research purposes. ALGEBRA is based on the GEANT4 Monte Carlo code and is capable of handling the DICOM RT standard to recreate a virtual model of the treated site. Here, the performance of ALGEBRA is presented for the special case of LDR brachytherapy in permanent prostate and breast seed implants. However, the algorithm is also capable of handling other treatments such as HDR brachytherapy.

16. Light polarization: A geometric-algebra approach

Baylis, W. E.; Bonenfant, J.; Derbyshire, J.; Huschilt, J.

1993-06-01

The geometric algebra of three-dimensional space (the Pauli algebra'') is known to provide an efficient geometric description of electromagnetic phenomena. Here, it is applied to the three-dimensional Stokes subspace to describe the polarization of an approximately monochromatic collimated beam of electromagnetic radiation. The coherency density ρ is a real element of the algebra whose components are the four Stokes parameters: a scalar representing the total photon flux density plus a three-dimensional vector whose direction and length in the Poincaré sphere give the type and degree of polarization. The detection of the radiation and the incoherent and coherent modification of the polarization by various optical elements are calculated by algebraic multiplication which has faithful representations in 2×2 matrices. One matrix representation of ρ is the coherency matrix with which Jones and Mueller matrices are related whereas another representation is the spin density matrix. However, the calculations are simplest to perform and interpret in the algebraic form independent of any particular matrix representation. It is shown that any possible change in the Stokes parameters can be treated algebraically by a combination of attenuation, depolarization, polarization, and rotation transformations of ρ. The geometric algebra thus unifies Stokes parameters, the Poincaré sphere, Jones and Mueller matrices, and the coherency and density matrices in a single, simple formalism.

17. Working memory, worry, and algebraic ability.

PubMed

Trezise, Kelly; Reeve, Robert A

2014-05-01

Math anxiety (MA)-working memory (WM) relationships have typically been examined in the context of arithmetic problem solving, and little research has examined the relationship in other math domains (e.g., algebra). Moreover, researchers have tended to examine MA/worry separate from math problem solving activities and have used general WM tasks rather than domain-relevant WM measures. Furthermore, it seems to have been assumed that MA affects all areas of math. It is possible, however, that MA is restricted to particular math domains. To examine these issues, the current research assessed claims about the impact on algebraic problem solving of differences in WM and algebraic worry. A sample of 80 14-year-old female students completed algebraic worry, algebraic WM, algebraic problem solving, nonverbal IQ, and general math ability tasks. Latent profile analysis of worry and WM measures identified four performance profiles (subgroups) that differed in worry level and WM capacity. Consistent with expectations, subgroup membership was associated with algebraic problem solving performance: high WM/low worry>moderate WM/low worry=moderate WM/high worry>low WM/high worry. Findings are discussed in terms of the conceptual relationship between emotion and cognition in mathematics and implications for the MA-WM-performance relationship.

18. Three-dimensional polarization algebra.

PubMed

R Sheppard, Colin J; Castello, Marco; Diaspro, Alberto

2016-10-01

If light is focused or collected with a high numerical aperture lens, as may occur in imaging and optical encryption applications, polarization should be considered in three dimensions (3D). The matrix algebra of polarization behavior in 3D is discussed. It is useful to convert between the Mueller matrix and two different Hermitian matrices, representing an optical material or system, which are in the literature. Explicit transformation matrices for converting the column vector form of these different matrices are extended to the 3D case, where they are large (81×81) but can be generated using simple rules. It is found that there is some advantage in using a generalization of the Chandrasekhar phase matrix treatment, rather than that based on Gell-Mann matrices, as the resultant matrices are of simpler form and reduce to the two-dimensional case more easily. Explicit expressions are given for 3D complex field components in terms of Chandrasekhar-Stokes parameters.

19. Perturbative gadgets at arbitrary orders

Jordan, Stephen P.; Farhi, Edward

2008-06-01

Adiabatic quantum algorithms are often most easily formulated using many-body interactions. However, experimentally available interactions are generally two-body. In 2004, Kempe, Kitaev, and Regev introduced perturbative gadgets, by which arbitrary three-body effective interactions can be obtained using Hamiltonians consisting only of two-body interactions. These three-body effective interactions arise from the third order in perturbation theory. Since their introduction, perturbative gadgets have become a standard tool in the theory of quantum computation. Here we construct generalized gadgets so that one can directly obtain arbitrary k -body effective interactions from two-body Hamiltonians. These effective interactions arise from the k th order in perturbation theory.

20. Inflationary perturbations in bimetric gravity

SciTech Connect

Cusin, Giulia; Durrer, Ruth; Guarato, Pietro; Motta, Mariele E-mail: ruth.durrer@unige.ch E-mail: mariele.motta@unige.ch

2015-09-01

In this paper we study the generation of primordial perturbations in a cosmological setting of bigravity during inflation. We consider a model of bigravity which can reproduce the ΛCDM background and large scale structure and a simple model of inflation with a single scalar field and a quadratic potential. Reheating is implemented with a toy-model in which the energy density of the inflaton is entirely dissipated into radiation. We present analytic and numerical results for the evolution of primordial perturbations in this cosmological setting. We find that the amplitude of tensor perturbations generated during inflation is sufficiently suppressed to avoid the effects of the tensor instability discovered in refs. [1,2] which develops during the cosmological evolution in the physical sector. We argue that from a pure analysis of the tensor perturbations this bigravity model is compatible with present observations. However, we derive rather stringent limits on inflation from the vector and scalar sectors.

1. Causal compensated perturbations in cosmology

NASA Technical Reports Server (NTRS)

Veeraraghavan, Shoba; Stebbins, Albert

1990-01-01

A theoretical framework is developed to calculate linear perturbations in the gravitational and matter fields which arise causally in response to the presence of stiff matter sources in a FRW cosmology. It is shown that, in order to satisfy energy and momentum conservation, the gravitational fields of the source must be compensated by perturbations in the matter and gravitational fields, and the role of such compensation in containing the initial inhomogeneities in their subsequent evolution is discussed. A complete formal solution is derived in terms of Green functions for the perturbations produced by an arbitrary source in a flat universe containing cold dark matter. Approximate Green function solutions are derived for the late-time density perturbations and late-time gravitational waves in a universe containing a radiation fluid. A cosmological energy-momentum pseudotensor is defined to clarify the nature of energy and momentum conservation in the expanding universe.

2. Jucys-Murphy elements for Birman-Murakami-Wenzl algebras

Isaev, A. P.; Ogievetsky, O. V.

2011-05-01

The Burman-Wenzl-Murakami algebra, considered as the quotient of the braid group algebra, possesses the commutative set of Jucys-Murphy elements. We show that the set of Jucys-Murphy elements is maximal commutative for the generic Birman-Wenzl-Murakami algebra and reconstruct the representation theory of the tower of Birman-Wenzl-Murakami algebras.

3. Kinematical superalgebras and Lie algebras of order 3

SciTech Connect

Campoamor-Stursberg, R.; Rausch de Traubenberg, M.

2008-06-15

We study and classify kinematical algebras which appear in the framework of Lie superalgebras or Lie algebras of order 3. All these algebras are related through generalized Inonue-Wigner contractions from either the orthosymplectic superalgebra or the de Sitter Lie algebra of order 3.

4. Becchi-Rouet-Stora-Tyutin operators for W algebras

SciTech Connect

Isaev, A. P.; Krivonos, S. O.; Ogievetsky, O. V.

2008-07-15

The study of quantum Lie algebras motivates a use of noncanonical ghosts and antighosts for nonlinear algebras, such as W-algebras. This leads, for the W{sub 3} and W{sub 3}{sup (2)} algebras, to the Becchi-Rouet-Stora-Tyutin operator having the conventional cubic form.

5. Robust stability under additive perturbations

NASA Technical Reports Server (NTRS)

Bhaya, A.; Desoer, C. A.

1985-01-01

A MIMO linear time-invariant feedback system 1S(P,C) is considered which is assumed to be U-stable. The plant P is subjected to an additive perturbation Delta P which is proper but not necessarily stable. It is proved that the perturbed system is U-stable if and only if Delta P(I + Q x Delta P) exp -1 is U-stable.

6. On computational complexity of Clifford algebra

Budinich, Marco

2009-05-01

After a brief discussion of the computational complexity of Clifford algebras, we present a new basis for even Clifford algebra Cl(2m) that simplifies greatly the actual calculations and, without resorting to the conventional matrix isomorphism formulation, obtains the same complexity. In the last part we apply these results to the Clifford algebra formulation of the NP-complete problem of the maximum clique of a graph introduced by Budinich and Budinich ["A spinorial formulation of the maximum clique problem of a graph," J. Math. Phys. 47, 043502 (2006)].

7. Gauged Ads-Maxwell Algebra and Gravity

Durka, R.; Kowalski-Glikman, J.; Szczachor, M.

We deform the anti-de Sitter algebra by adding additional generators {Z}ab, forming in this way the negative cosmological constant counterpart of the Maxwell algebra. We gauge this algebra and construct a dynamical model with the help of a constrained BF theory. It turns out that the resulting theory is described by the Einstein-Cartan action with Holst term, and the gauge fields associated with the Maxwell generators {Z}ab appear only in topological terms that do not influence dynamical field equations. We briefly comment on the extension of this construction, which would lead to a nontrivial Maxwell fields dynamics.

8. Applications of the DA based normal form algorithm on parameter-dependent perturbations

Many advanced models in physics use a simpler system as the foundation upon which problemspecific perturbation terms are added. There are many mathematical methods in perturbation theory which attempt to solve or at least approximate the solution for the advanced model based on the solution of the unperturbed system. The analytical approaches have the advantage that their approximation is an algebraic expression relating all involved quantities in the calculated solution up to a certain order. However, the complexity of the calculation often increases drastically with the number of iterations, variables, and parameters considered. On the other hand, the computer-based numerical approaches are fast once implemented, but their results are only numerical approximations without a symbolic form. A numerical integrator, for example, takes the initial values and integrates the ordinary differential equation up to the requested final state and yields the result as specific numbers. Therefore, no algebraic expression, much less a parameter dependence within the solution is given. The method presented in this work is based on the differential algebra (DA) framework, which was first developed to its current extent by Martin Berz et. al [3, 4, 5]. The used DA Normal Form Algorithm is an advancement by Martin Berz from the first arbitrary order algorithm by Forest, Berz, and Irwin [13], which was based on an DA-Lie approach. Both structures are already implemented in COSY INFINITY [18] documented in [7, 16, 17]. The result of the presented method is a numerically calculated algebraic expression of the solution up to an arbitrary truncation order. This method combines the effectiveness and automatic calculation of a computer-based numerical approximation and the algebraic relation between the involved quantities.

9. Homomorphisms between C*-algebras and linear derivations on C*-algebras

Park, Choonkil; Boo, Deok-Hoon; An, Jong Su

2008-01-01

It is shown that every almost unital almost linear mapping of a unital C*-algebra to a unital C*-algebra is a homomorphism when h(3nuy)=h(3nu)h(y) holds for all unitaries , all , and all , and that every almost unital almost linear continuous mapping of a unital C*-algebra of real rank zero to a unital C*-algebra is a homomorphism when h(3nuy)=h(3nu)h(y) holds for all , and v is invertible}, all , and all . Furthermore, we prove the Hyers-Ulam-Rassias stability of *-homomorphisms between unital C*-algebras, and -linear *-derivations on unital C*-algebras. The concept of Hyers-Ulam-Rassias stability originated from the Th.M. Rassias' stability theorem that appeared in his paper: On the stability of the linear mapping in Banach spaces, Proc. Amer. Math. Soc. 72 (1978) 297-300.

10. Lie algebra type noncommutative phase spaces are Hopf algebroids

Meljanac, Stjepan; Škoda, Zoran; Stojić, Martina

2016-11-01

For a noncommutative configuration space whose coordinate algebra is the universal enveloping algebra of a finite-dimensional Lie algebra, it is known how to introduce an extension playing the role of the corresponding noncommutative phase space, namely by adding the commuting deformed derivatives in a consistent and nontrivial way; therefore, obtaining certain deformed Heisenberg algebra. This algebra has been studied in physical contexts, mainly in the case of the kappa-Minkowski space-time. Here, we equip the entire phase space algebra with a coproduct, so that it becomes an instance of a completed variant of a Hopf algebroid over a noncommutative base, where the base is the enveloping algebra.

11. Relative Perturbation Theory: (I) Eigenvalue Variations

DTIC Science & Technology

1994-07-25

observaciones sobre el algebra lineal . Universidad Nacional de Tucuman Revista, Serie A, 5:147{151, 1946. [6] P. Deift, J. Demmel, L.-C. Li, and C. Tomei...Gragg. On computing accurate singular values and eigenvalues of matrices with acyclic graphs. Linear Algebra and its Application, 185:203{217, 1993. [8...21] R.-C. Li. Norms of certain matrices with applications to variations of the spectra of matrices and matrix pencils. Linear Algebra and its

12. Resummation of divergent perturbation series: Application to the vibrational states of H{sub 2}CO molecule

SciTech Connect

Duchko, A. N.; Bykov, A. D.

2015-10-21

Large-order Rayleigh–Schrödinger perturbation theory (RSPT) is applied to the calculation of anharmonic vibrational energy levels of H{sub 2}CO molecule. We use the model of harmonic oscillators perturbed by anharmonic terms of potential energy. Since the perturbation series typically diverge due to strong couplings, we apply the algebraic approximation technique because of its effectiveness shown earlier by Goodson and Sergeev [J. Chem. Phys. 110, 8205 (1999); ibid. 124, 094111 (2006)] and in our previous articles [A. D. Bykov et al. Opt. Spectrosc. 114, 396 (2013); ibid. 116, 598 (2014)]. To facilitate the resummation of terms contributing to perturbed states, when resonance mixing between states is especially strong and perturbation series diverge very quick, we used repartition of the Hamiltonian by shifting the normal mode frequencies. Energy levels obtained by algebraic approximants were compared with the results of variational calculation. It was found that for low energy states (up to ∼5000 cm{sup −1}), algebraic approximants gave accurate values of energy levels, which were in excellent agreement with the variational method. For highly excited states, strong and multiple resonances complicate series resummation, but a suitable change of normal mode frequencies allows one to reduce the resonance mixing and to get accurate energy levels. The theoretical background of the problem of RSPT series divergence is discussed along with its numerical analysis. For these purposes, the vibrational energy is considered as a function of a complex perturbation parameter. Layout and classification of its singularities allow us to model the asymptotic behavior of the perturbation series and prove the robustness of the algorithm.

13. A note on derivations of Murray–von Neumann algebras

PubMed Central

2014-01-01

A Murray–von Neumann algebra is the algebra of operators affiliated with a finite von Neumann algebra. In this article, we first present a brief introduction to the theory of derivations of operator algebras from both the physical and mathematical points of view. We then describe our recent work on derivations of Murray–von Neumann algebras. We show that the “extended derivations” of a Murray–von Neumann algebra, those that map the associated finite von Neumann algebra into itself, are inner. In particular, we prove that the only derivation that maps a Murray–von Neumann algebra associated with a factor of type II1 into that factor is 0. Those results are extensions of Singer’s seminal result answering a question of Kaplansky, as applied to von Neumann algebras: The algebra may be noncommutative and may even contain unbounded elements. PMID:24469831

14. A double commutant theorem for Murray–von Neumann algebras

PubMed Central

Liu, Zhe

2012-01-01

Murray–von Neumann algebras are algebras of operators affiliated with finite von Neumann algebras. In this article, we study commutativity and affiliation of self-adjoint operators (possibly unbounded). We show that a maximal abelian self-adjoint subalgebra of the Murray–von Neumann algebra associated with a finite von Neumann algebra is the Murray–von Neumann algebra , where is a maximal abelian self-adjoint subalgebra of and, in addition, is . We also prove that the Murray–von Neumann algebra with the center of is the center of the Murray–von Neumann algebra . Von Neumann’s celebrated double commutant theorem characterizes von Neumann algebras as those for which , where , the commutant of , is the set of bounded operators on the Hilbert space that commute with all operators in . At the end of this article, we present a double commutant theorem for Murray–von Neumann algebras. PMID:22543165

15. Highest-weight representations of Brocherds algebras

SciTech Connect

Slansky, R.

1997-01-01

General features of highest-weight representations of Borcherds algebras are described. to show their typical features, several representations of Borcherds extensions of finite-dimensional algebras are analyzed. Then the example of the extension of affine- su(2) to a Borcherd`s algebra is examined. These algebras provide a natural way to extend a Kac-Moody algebra to include the hamiltonian and number-changing operators in a generalized symmetry structure.

16. BiHom-Associative Algebras, BiHom-Lie Algebras and BiHom-Bialgebras

Graziani, Giacomo; Makhlouf, Abdenacer; Menini, Claudia; Panaite, Florin

2015-10-01

A BiHom-associative algebra is a (nonassociative) algebra A endowed with two commuting multiplicative linear maps α,β\\colon A→ A such that α (a)(bc)=(ab)β (c), for all a, b, cin A. This concept arose in the study of algebras in so-called group Hom-categories. In this paper, we introduce as well BiHom-Lie algebras (also by using the categorical approach) and BiHom-bialgebras. We discuss these new structures by presenting some basic properties and constructions (representations, twisted tensor products, smash products etc).

17. Perturbation of eigenvalues of preconditioned Navier-Stokes operators

SciTech Connect

Elman, H.C.

1996-12-31

We study the sensitivity of algebraic eigenvalue problems associated with matrices arising from linearization and discretization of the steady-state Navier-Stokes equations. In particular, for several choices of preconditioners applied to the system of discrete equations, we derive upper bounds on perturbations of eigenvalues as functions of the viscosity and discretization mesh size. The bounds suggest that the sensitivity of the eigenvalues is at worst linear in the inverse of the viscosity and quadratic in the inverse of the mesh size, and that scaling can be used to decrease the sensitivity in some cases. Experimental results supplement these results and confirm the relatively mild dependence on viscosity. They also indicate a dependence on the mesh size of magnitude smaller than the analysis suggests.

18. Using Schemas to Develop Algebraic Thinking

ERIC Educational Resources Information Center

Steele, Diana F.

2005-01-01

This article describes ways in which students develop schemas as they generalize and formalize patterns when solving related algebraic problems that involve size, shape, growth, and change. (Contains 7 figures and 3 tables.)

19. Cohomological invariants of central simple algebras

Merkurjev, A. S.

2016-10-01

We determine the indecomposable degree 3 cohomological invariants of tuples of central simple algebras with linear relations. Equivalently, we determine the degree 3 reductive cohomological invariants of all split semisimple groups of type A.

20. Cyclic Cocycles on Twisted Convolution Algebras

Angel, Eitan

2013-01-01

We give a construction of cyclic cocycles on convolution algebras twisted by gerbes over discrete translation groupoids. For proper étale groupoids, Tu and Xu (Adv Math 207(2):455-483, 2006) provide a map between the periodic cyclic cohomology of a gerbe-twisted convolution algebra and twisted cohomology groups which is similar to the construction of Mathai and Stevenson (Adv Math 200(2):303-335, 2006). When the groupoid is not proper, we cannot construct an invariant connection on the gerbe; therefore to study this algebra, we instead develop simplicial techniques to construct a simplicial curvature 3-form representing the class of the gerbe. Then by using a JLO formula we define a morphism from a simplicial complex twisted by this simplicial curvature 3-form to the mixed bicomplex computing the periodic cyclic cohomology of the twisted convolution algebras.

1. ALGEBRAIC DEPENDENCE THEOREMS ON COMPLEX PSEUDOCONCAVE SPACES

DTIC Science & Technology

The notion of pseudoconcave space is introduced and classical theorems on algebraic dependence of meromorphic functions are extended for this new class of spaces and for sections in a coherent sheaf. (Author)

2. Applications: Using Algebra in an Accounting Practice.

ERIC Educational Resources Information Center

Eisner, Gail A.

1994-01-01

Presents examples of algebra from the field of accounting including proportional ownership of stock, separation of a loan payment into principal and interest portions, depreciation methods, and salary withholdings computations. (MKR)

3. Lisa's Lemonade Stand: Exploring Algebraic Ideas.

ERIC Educational Resources Information Center

Billings, Esther M. H.; Lakatos, Tracy

2003-01-01

Presents an activity, "Lisa's Lemonade Stand," that actively engages students in algebraic thinking as they analyze change by investigating relationships between variables and gain experience describing and representing these relationships graphically. (YDS)

4. Efficient perturbation analysis of elastic network models - Application to acetylcholinesterase of T. californica

Hamacher, K.

2010-09-01

Elastic network models in their different flavors have become useful models for the dynamics and functions of biomolecular systems such as proteins and their complexes. Perturbation to the interactions occur due to randomized and fixated changes (in molecular evolution) or designed modifications of the protein structures (in bioengineering). These perturbations are modifications in the topology and the strength of the interactions modeled by the elastic network models. We discuss how a naive approach to compute properties for a large number of perturbed structures and interactions by repeated diagonalization can be replaced with an identity found in linear algebra. We argue about the computational complexity and discuss the advantages of the protocol. We apply the proposed algorithm to the acetylcholinesterase, a well-known enzyme in neurobiology, and show how one can gain insight into the "breathing dynamics" of a structural funnel necessary for the function of the protein. The computational speed-up was a 60-fold increase in this example.

5. Algebraic operator approach to gas kinetic models

Il'ichov, L. V.

1997-02-01

Some general properties of the linear Boltzmann kinetic equation are used to present it in the form ∂ tϕ = - Â†Âϕ with the operators ÂandÂ† possessing some nontrivial algebraic properties. When applied to the Keilson-Storer kinetic model, this method gives an example of quantum ( q-deformed) Lie algebra. This approach provides also a natural generalization of the “kangaroo model”.

6. Dynamical systems and quantum bicrossproduct algebras

Arratia, Oscar; del Olmo, Mariano A.

2002-06-01

We present a unified study of some aspects of quantum bicrossproduct algebras of inhomogeneous Lie algebras, such as Poincaré, Galilei and Euclidean in N dimensions. The action associated with the bicrossproduct structure allows us to obtain a nonlinear action over a new group linked to the translations. This new nonlinear action associates a dynamical system with each generator which is the object of our study.

7. Algebra and topology for applications to physics

NASA Technical Reports Server (NTRS)

Rozhkov, S. S.

1987-01-01

The principal concepts of algebra and topology are examined with emphasis on applications to physics. In particular, attention is given to sets and mapping; topological spaces and continuous mapping; manifolds; and topological groups and Lie groups. The discussion also covers the tangential spaces of the differential manifolds, including Lie algebras, vector fields, and differential forms, properties of differential forms, mapping of tangential spaces, and integration of differential forms.

8. Vague Congruences and Quotient Lattice Implication Algebras

PubMed Central

Qin, Xiaoyan; Xu, Yang

2014-01-01

The aim of this paper is to further develop the congruence theory on lattice implication algebras. Firstly, we introduce the notions of vague similarity relations based on vague relations and vague congruence relations. Secondly, the equivalent characterizations of vague congruence relations are investigated. Thirdly, the relation between the set of vague filters and the set of vague congruences is studied. Finally, we construct a new lattice implication algebra induced by a vague congruence, and the homomorphism theorem is given. PMID:25133207

9. Edge covers and independence: Algebraic approach

Kalinina, E. A.; Khitrov, G. M.; Pogozhev, S. V.

2016-06-01

In this paper, linear algebra methods are applied to solve some problems of graph theory. For ordinary connected graphs, edge coverings and independent sets are considered. Some results concerning minimum edge covers and maximum matchings are proved with the help of linear algebraic approach. The problem of finding a maximum matching of a graph is fundamental both practically and theoretically, and has numerous applications, e.g., in computational chemistry and mathematical chemistry.

10. Algebraic Sub-Structuring for Electromagnetic Applications

SciTech Connect

Yang, C.; Gao, W.G.; Bai, Z.J.; Li, X.Y.S.; Lee, L.Q.; Husbands, P.; Ng, E.G.; /LBL, Berkeley /UC, Davis /SLAC

2006-06-30

Algebraic sub-structuring refers to the process of applying matrix reordering and partitioning algorithms to divide a large sparse matrix into smaller submatrices from which a subset of spectral components are extracted and combined to form approximate solutions to the original problem. In this paper, they show that algebraic sub-structuring can be effectively used to solve generalized eigenvalue problems arising from the finite element analysis of an accelerator structure.

11. Algebraic sub-structuring for electromagnetic applications

SciTech Connect

Yang, Chao; Gao, Weiguo; Bai, Zhaojun; Li, Xiaoye; Lee, Lie-Quan; Husbands, Parry; Ng, Esmond G.

2004-09-14

Algebraic sub-structuring refers to the process of applying matrix reordering and partitioning algorithms to divide a large sparse matrix into smaller submatrices from which a subset of spectral components are extracted and combined to form approximate solutions to the original problem. In this paper, we show that algebraic sub-structuring can be effectively used to solve generalized eigenvalue problems arising from the finite element analysis of an accelerator structure.

12. Membrane Perturbation Induced by Interfacially Adsorbed Peptides

PubMed Central

Zemel, Assaf; Ben-Shaul, Avinoam; May, Sylvio

2004-01-01

The structural and energetic characteristics of the interaction between interfacially adsorbed (partially inserted) α-helical, amphipathic peptides and the lipid bilayer substrate are studied using a molecular level theory of lipid chain packing in membranes. The peptides are modeled as “amphipathic cylinders” characterized by a well-defined polar angle. Assuming two-dimensional nematic order of the adsorbed peptides, the membrane perturbation free energy is evaluated using a cell-like model; the peptide axes are parallel to the membrane plane. The elastic and interfacial contributions to the perturbation free energy of the “peptide-dressed” membrane are evaluated as a function of: the peptide penetration depth into the bilayer's hydrophobic core, the membrane thickness, the polar angle, and the lipid/peptide ratio. The structural properties calculated include the shape and extent of the distorted (stretched and bent) lipid chains surrounding the adsorbed peptide, and their orientational (C-H) bond order parameter profiles. The changes in bond order parameters attendant upon peptide adsorption are in good agreement with magnetic resonance measurements. Also consistent with experiment, our model predicts that peptide adsorption results in membrane thinning. Our calculations reveal pronounced, membrane-mediated, attractive interactions between the adsorbed peptides, suggesting a possible mechanism for lateral aggregation of membrane-bound peptides. As a special case of interest, we have also investigated completely hydrophobic peptides, for which we find a strong energetic preference for the transmembrane (inserted) orientation over the horizontal (adsorbed) orientation. PMID:15189858

13. Quantum cosmological perturbations of multiple fluids

Peter, Patrick; Pinto-Neto, N.; Vitenti, Sandro D. P.

2016-01-01

The formalism to treat quantization and evolution of cosmological perturbations of multiple fluids is described. We first construct the Lagrangian for both the gravitational and matter parts, providing the necessary relevant variables and momenta leading to the quadratic Hamiltonian describing linear perturbations. The final Hamiltonian is obtained without assuming any equations of motions for the background variables. This general formalism is applied to the special case of two fluids, having in mind the usual radiation and matter mix which made most of our current Universe history. Quantization is achieved using an adiabatic expansion of the basis functions. This allows for an unambiguous definition of a vacuum state up to the given adiabatic order. Using this basis, we show that particle creation is well defined for a suitable choice of vacuum and canonical variables, so that the time evolution of the corresponding quantum fields is unitary. This provides constraints for setting initial conditions for an arbitrary number of fluids and background time evolution. We also show that the common choice of variables for quantization can lead to an ill-defined vacuum definition. Our formalism is not restricted to the case where the coupling between fields is small, but is only required to vary adiabatically with respect to the ultraviolet modes, thus paving the way to consistent descriptions of general models not restricted to single-field (or fluid).

14. Lie n-algebras of BPS charges

Sati, Hisham; Schreiber, Urs

2017-03-01

We uncover higher algebraic structures on Noether currents and BPS charges. It is known that equivalence classes of conserved currents form a Lie algebra. We show that at least for target space symmetries of higher parameterized WZW-type sigma-models this naturally lifts to a Lie ( p + 1)-algebra structure on the Noether currents themselves. Applied to the Green-Schwarz-type action functionals for super p-brane sigma-models this yields super Lie ( p+1)-algebra refinements of the traditional BPS brane charge extensions of supersymmetry algebras. We discuss this in the generality of higher differential geometry, where it applies also to branes with (higher) gauge fields on their worldvolume. Applied to the M5-brane sigma-model we recover and properly globalize the M-theory super Lie algebra extension of 11-dimensional superisometries by 2-brane and 5-brane charges. Passing beyond the infinitesimal Lie theory we find cohomological corrections to these charges in higher analogy to the familiar corrections for D-brane charges as they are lifted from ordinary cohomology to twisted K-theory. This supports the proposal that M-brane charges live in a twisted cohomology theory.

15. Jet Perturbation by HE target

SciTech Connect

Poulsen, P; Kuklo, R M

2001-03-01

We have previously reported the degree of attenuation and perturbation by a Cu jet passing through Comp B explosive. Similar tests have now been performed with high explosive (HE) targets having CJ pressures higher than and lower than the CJ pressure of Comp B. The explosives were LX-14 and TNT, respectively. We found that the measured exit velocity of the jet where it transitions from perturbed to solid did not vary significantly as a function of HE type for each HE thickness. The radial momentum imparted to the perturbed jet segment did vary as a function of HE type, however, and we report the radial spreading of the jet and the penetration of a downstream target as a function of HE type and thickness.

16. Multi-field inflation and cosmological perturbations

Gong, Jinn-Ouk

We provide a concise review on multi-field inflation and cosmological perturbations. We discuss convenient and physically meaningful bases in terms of which perturbations can be systematically studied. We give formal accounts on the gauge fixing conditions and present the perturbation action in two gauges. We also briefly review nonlinear perturbations.

17. Thermal perturbation of the Sun

NASA Technical Reports Server (NTRS)

Twigg, L. W.; Endal, A. S.

1981-01-01

An investigation of thermal perturbations of the solar convective zone via changes in the mixing length parameter were carried out, with a view toward understanding the possible solar radius and luminosity changes cited in the literature. The results show that: (a) a single perturbation of alpha is probably not the cause of the solar radius change and (b) the parameter W = d lambda nR./d lambda nL. can not be characterized by a single value, as implied in recent work.

18. I CAN Learn[R] Pre-Algebra and Algebra. What Works Clearinghouse Intervention Report

ERIC Educational Resources Information Center

What Works Clearinghouse, 2007

2007-01-01

The "I CAN Learn[R] Pre-Algebra" and "Algebra" computerized curricula are designed to cover mathematics and problem-solving skills for ethnically diverse, inner-city students in grades 6-12. The curricula are designed to equip students with the skills they need to meet district, state, and national math objectives through an…

19. Card Games and Algebra Tic Tacmatics on Achievement of Junior Secondary II Students in Algebraic Expressions

ERIC Educational Resources Information Center

Okpube, Nnaemeka Michael; Anugwo, M. N.

2016-01-01

This study investigated the Card Games and Algebra tic-Tacmatics on Junior Secondary II Students' Achievement in Algebraic Expressions. Three research questions and three null hypotheses guided the study. The study adopted the pre-test, post-test control group design. A total of two hundred and forty (240) Junior Secondary School II students were…

20. Developing "Algebraic Thinking": Two Key Ways to Establish Some Early Algebraic Ideas in Primary Classrooms

ERIC Educational Resources Information Center

Ormond, Christine

2012-01-01

Primary teachers play a key role in their students' future mathematical success in the early secondary years. While the word "algebra" may make some primary teachers feel uncomfortable or worried, the basic arithmetic ideas underlying algebra are vitally important for older primary students as they are increasingly required to use "algebraic…

1. The Application of a Computer Algebra System as a Tool in College Algebra.

ERIC Educational Resources Information Center

Mayes, Robert L.

1995-01-01

Students (n=61) in an experimental course stressing active student involvement and the use of a computer algebra system scored higher than students (n=76) in a traditional college algebra course on final measures of inductive reasoning, visualization, and problem solving while maintaining equivalent manipulation and computation skills. (Author/MLB)

2. Algebra Is a Civil Right: Increasing Achievement for African American Males in Algebra through Collaborative Inquiry

ERIC Educational Resources Information Center

Davies Gomez, Lisa

2012-01-01

Algebra is the gatekeeper of access to higher-level math and science courses, higher education and future earning opportunities. Unequal numbers of African-American males drop out of Algebra and mathematics courses and underperform on tests of mathematical competency and are thus denied both essential skills and a particularly important pathway to…

3. Calculus structure on the Lie conformal algebra complex and the variational complex

De Sole, Alberto; Hekmati, Pedram; Kac, Victor G.

2011-05-01

We construct a calculus structure on the Lie conformal algebra cochain complex. By restricting to degree one chains, we recover the structure of a {mathfrak g}-complex introduced in [A. De Sole and V. G. Kac, Commun. Math. Phys. 292, 667 (2009), 10.1007/s00220-009-0886-1]. A special case of this construction is the variational calculus, for which we provide explicit formulas.

4. Algebraic diagrammatic construction for the polarization propagator with spin-orbit coupling

Krauter, Caroline M.; Schimmelpfennig, Bernd; Pernpointner, Markus; Dreuw, Andreas

2017-01-01

Spin-orbit coupling (SOC) effects are of great importance for understanding photochemical and -physical relaxation processes. Mean-field approaches have been shown to allow for the efficient calculation of SOC elements without significantly comprising accuracy. We have combined an atomic mean-field approach with the algebraic diagrammatic construction scheme for the polarization propagator, an ab initio excited state method based on perturbation theory. In addition to describing the details of our implementation, we show results from test calculations on the organic molecules thiophene and 1,2-dithiin and compare our computed SOC values at ADC level to known literature values.

5. Closure of the algebra of constraints for a nonprojectable Horava model

SciTech Connect

Bellorin, Jorge; Restuccia, Alvaro

2011-02-15

We perform the Hamiltonian analysis for a nonprojectable Horava model whose potential is composed of R and R{sup 2} terms. We show that Dirac's algorithm for the preservation of the constraints can be done in a closed way, hence the algebra of constraints for this model is consistent. The model has an extra, odd, scalar mode whose decoupling limit can be seen in a linear-order perturbative analysis on weakly varying backgrounds. Although our results for this model point in favor of the consistency of the Horava theory, the validity of the full nonprojectable theory still remains unanswered.

6. Resonant frequency calculations using a hybrid perturbation-Galerkin technique

NASA Technical Reports Server (NTRS)

Geer, James F.; Andersen, Carl M.

1991-01-01

A two-step hybrid perturbation Galerkin technique is applied to the problem of determining the resonant frequencies of one or several degree of freedom nonlinear systems involving a parameter. In one step, the Lindstedt-Poincare method is used to determine perturbation solutions which are formally valid about one or more special values of the parameter (e.g., for large or small values of the parameter). In step two, a subset of the perturbation coordinate functions determined in step one is used in Galerkin type approximation. The technique is illustrated for several one degree of freedom systems, including the Duffing and van der Pol oscillators, as well as for the compound pendulum. For all of the examples considered, it is shown that the frequencies obtained by the hybrid technique using only a few terms from the perturbation solutions are significantly more accurate than the perturbation results on which they are based, and they compare very well with frequencies obtained by purely numerical methods.

7. Ternary Hom-Nambu-Lie algebras induced by Hom-Lie algebras

Arnlind, Joakim; Makhlouf, Abdenacer; Silvestrov, Sergei

2010-04-01

The need to consider n-ary algebraic structures, generalizing Lie and Poisson algebras, has become increasingly important in physics, and it should therefore be of interest to study the mathematical concepts related to n-ary algebras. The purpose of this paper is to investigate ternary multiplications (as deformations of n-Lie structures) constructed from the binary multiplication of a Hom-Lie algebra, a linear twisting map, and a trace function satisfying certain compatibility conditions. We show that the relation between the kernels of the twisting maps and the trace function plays an important role in this context and provide examples of Hom-Nambu-Lie algebras obtained using this construction.

8. Cosmological perturbation theory in 1+1 dimensions

SciTech Connect

McQuinn, Matthew; White, Martin E-mail: mwhite@berkeley.edu

2016-01-01

Many recent studies have highlighted certain failures of the standard Eulerian-space cosmological perturbation theory (SPT). Its problems include (1) not capturing large-scale bulk flows [leading to an O( 1) error in the 1-loop SPT prediction for the baryon acoustic peak in the correlation function], (2) assuming that the Universe behaves as a pressureless, inviscid fluid, and (3) treating fluctuations on scales that are non-perturbative as if they were. Recent studies have highlighted the successes of perturbation theory in Lagrangian space or theories that solve equations for the effective dynamics of smoothed fields. Both approaches mitigate some or all of the aforementioned issues with SPT. We discuss these physical developments by specializing to the simplified 1D case of gravitationally interacting sheets, which allows us to substantially reduces the analytic overhead and still (as we show) maintain many of the same behaviors as in 3D. In 1D, linear-order Lagrangian perturbation theory ('the Zeldovich approximation') is exact up to shell crossing, and we prove that n{sup th}-order Eulerian perturbation theory converges to the Zeldovich approximation as narrow ∞. In no 1D cosmology that we consider (including a CDM-like case and power-law models) do these theories describe accurately the matter power spectrum on any mildly nonlinear scale. We find that theories based on effective equations are much more successful at describing the dynamics. Finally, we discuss many topics that have recently appeared in the perturbation theory literature such as beat coupling, the shift and smearing of the baryon acoustic oscillation feature, and the advantages of Fourier versus configuration space. Our simplified 1D case serves as an intuitive review of these perturbation theory results.

9. Algebra 1's Speed Trap

ERIC Educational Resources Information Center

Gupta, Neil Kenneth

2004-01-01

Students often look for real-life situations where they can apply the concepts they learn. A project of measuring the speed of moving cars demonstrates that they learn communication skills, teamwork skills, and develop patience specially when work in a group with a common purpose.

10. Exponentially and non-exponentially small splitting of separatrices for the pendulum with a fast meromorphic perturbation

Guardia, Marcel; Seara, Tere M.

2012-05-01

In this paper, we study the splitting of separatrices phenomenon which arises when one considers a Hamiltonian system of one degree of freedom with a fast periodic or quasiperiodic and meromorphic in the state variables perturbation. The obtained results are different from the previous ones in the literature, which mainly assume algebraic or trigonometric polynomial dependence on the state variables. As a model, we consider the pendulum equation with several meromorphic perturbations and we show the sensitivity of the size of the splitting on the width of the analyticity strip of the perturbation with respect to the state variables. We show that the size of the splitting is exponentially small if the strip of analyticity is wide enough. Furthermore, we see that the splitting grows as the width of the analyticity strip shrinks, even becoming non-exponentially small for very narrow strips. Our results prevent use of polynomial truncations of the meromorphic perturbation to compute the size of the splitting of separatrices.

11. Classification of central extensions of Lax operator algebras

SciTech Connect

Schlichenmaier, Martin

2008-11-18

Lax operator algebras were introduced by Krichever and Sheinman as further developments of Krichever's theory of Lax operators on algebraic curves. They are infinite dimensional Lie algebras of current type with meromorphic objects on compact Riemann surfaces (resp. algebraic curves) as elements. Here we report on joint work with Oleg Sheinman on the classification of their almost-graded central extensions. It turns out that in case that the finite-dimensional Lie algebra on which the Lax operator algebra is based on is simple there is a unique almost-graded central extension up to equivalence and rescaling of the central element.

12. Linearizing W2,4 and WB2 algebras

Bellucci, S.; Krivonos, S.; Sorin, A.

1995-02-01

It has recently been shown that the W3 and W3(2) algebras can be considered as subalgebras in some linear conformal algebras. In this paper we show that the nonlinear algebras W2,4 and WB2 as well as Zamolodchikov's spin {5}/{2} superalgebra also can be embedded as subalgebras into some linear conformal algebras with a finite set of currents. These linear algebras give rise to new realizations of the nonlinear algebras which could be suitable in the construction of W-string theories.

13. Classification of central extensions of Lax operator algebras

Schlichenmaier, Martin

2008-11-01

Lax operator algebras were introduced by Krichever and Sheinman as further developments of Krichever's theory of Lax operators on algebraic curves. They are infinite dimensional Lie algebras of current type with meromorphic objects on compact Riemann surfaces (resp. algebraic curves) as elements. Here we report on joint work with Oleg Sheinman on the classification of their almost-graded central extensions. It turns out that in case that the finite-dimensional Lie algebra on which the Lax operator algebra is based on is simple there is a unique almost-graded central extension up to equivalence and rescaling of the central element.

14. Acoustooptic linear algebra processors - Architectures, algorithms, and applications

NASA Technical Reports Server (NTRS)

Casasent, D.

1984-01-01

Architectures, algorithms, and applications for systolic processors are described with attention to the realization of parallel algorithms on various optical systolic array processors. Systolic processors for matrices with special structure and matrices of general structure, and the realization of matrix-vector, matrix-matrix, and triple-matrix products and such architectures are described. Parallel algorithms for direct and indirect solutions to systems of linear algebraic equations and their implementation on optical systolic processors are detailed with attention to the pipelining and flow of data and operations. Parallel algorithms and their optical realization for LU and QR matrix decomposition are specifically detailed. These represent the fundamental operations necessary in the implementation of least squares, eigenvalue, and SVD solutions. Specific applications (e.g., the solution of partial differential equations, adaptive noise cancellation, and optimal control) are described to typify the use of matrix processors in modern advanced signal processing.

15. Discrete Integrable Systems and Poisson Algebras From Cluster Maps

Fordy, Allan P.; Hone, Andrew

2014-01-01

We consider nonlinear recurrences generated from cluster mutations applied to quivers that have the property of being cluster mutation-periodic with period 1. Such quivers were completely classified by Fordy and Marsh, who characterised them in terms of the skew-symmetric matrix that defines the quiver. The associated nonlinear recurrences are equivalent to birational maps, and we explain how these maps can be endowed with an invariant Poisson bracket and/or presymplectic structure. Upon applying the algebraic entropy test, we are led to a series of conjectures which imply that the entropy of the cluster maps can be determined from their tropical analogues, which leads to a sharp classification result. Only four special families of these maps should have zero entropy. These families are examined in detail, with many explicit examples given, and we show how they lead to discrete dynamics that is integrable in the Liouville-Arnold sense.

16. VHS Movies: Perturbations for Morphogenesis.

ERIC Educational Resources Information Center

Holmes, Danny L.

This paper discusses the concept of a family system in terms of an interactive system of interrelated, interdependent parts and suggests that VHS movies can act as perturbations, i.e., change promoting agents, for certain dysfunctional family systems. Several distinct characteristics of a family system are defined with particular emphasis on…

17. Recent Developments in Perturbative QCD

SciTech Connect

Dixon, Lance J.; /SLAC

2005-07-11

I review recent progress in perturbative QCD on two fronts: extending next-to-next-to-leading order QCD corrections to a broader range of collider processes, and applying twistor-space methods (and related spinoffs) to computations of multi-parton scattering amplitudes.

18. Adaptation Strategies in Perturbed /s/

ERIC Educational Resources Information Center

Brunner, Jana; Hoole, Phil; Perrier, Pascal

2011-01-01

The purpose of this work is to investigate the role of three articulatory parameters (tongue position, jaw position and tongue grooving) in the production of /s/. Six normal speakers' speech was perturbed by a palatal prosthesis. The fricative was recorded acoustically and through electromagnetic articulography in four conditions: (1) unperturbed,…

19. Disformal invariance of curvature perturbation

SciTech Connect

Motohashi, Hayato; White, Jonathan E-mail: jwhite@post.kek.jp

2016-02-01

We show that under a general disformal transformation the linear comoving curvature perturbation is not identically invariant, but is invariant on superhorizon scales for any theory that is disformally related to Horndeski's theory. The difference between disformally related curvature perturbations is found to be given in terms of the comoving density perturbation associated with a single canonical scalar field. In General Relativity it is well-known that this quantity vanishes on superhorizon scales through the Poisson equation that is obtained on combining the Hamiltonian and momentum constraints, and we confirm that a similar result holds for any theory that is disformally related to Horndeski's scalar-tensor theory so long as the invertibility condition for the disformal transformation is satisfied. We also consider the curvature perturbation at full nonlinear order in the unitary gauge, and find that it is invariant under a general disformal transformation if we assume that an attractor regime has been reached. Finally, we also discuss the counting of degrees of freedom in theories disformally related to Horndeski's.

20. Basics of QCD perturbation theory

SciTech Connect

Soper, D.E.

1997-06-01

This is an introduction to the use of QCD perturbation theory, emphasizing generic features of the theory that enable one to separate short-time and long-time effects. The author also covers some important classes of applications: electron-positron annihilation to hadrons, deeply inelastic scattering, and hard processes in hadron-hadron collisions. 31 refs., 38 figs.

1. New results in perturbative QCD

SciTech Connect

Ellis, R.K.

1985-11-01

Three topics in perturbative QCD important for Super-collider physics are reviewed. The topics are: (2 2) jet phenomena calculated in O( sT); new techniques for the calculation of tree graphs; and colour coherence in jet phenomena. 31 refs., 6 figs.

2. TBGG- INTERACTIVE ALGEBRAIC GRID GENERATION

NASA Technical Reports Server (NTRS)

Smith, R. E.

1994-01-01

TBGG, Two-Boundary Grid Generation, applies an interactive algebraic grid generation technique in two dimensions. The program incorporates mathematical equations that relate the computational domain to the physical domain. TBGG has application to a variety of problems using finite difference techniques, such as computational fluid dynamics. Examples include the creation of a C-type grid about an airfoil and a nozzle configuration in which no left or right boundaries are specified. The underlying two-boundary technique of grid generation is based on Hermite cubic interpolation between two fixed, nonintersecting boundaries. The boundaries are defined by two ordered sets of points, referred to as the top and bottom. Left and right side boundaries may also be specified, and call upon linear blending functions to conform interior interpolation to the side boundaries. Spacing between physical grid coordinates is determined as a function of boundary data and uniformly spaced computational coordinates. Control functions relating computational coordinates to parametric intermediate variables that affect the distance between grid points are embedded in the interpolation formulas. A versatile control function technique with smooth cubic spline functions is also presented. The TBGG program is written in FORTRAN 77. It works best in an interactive graphics environment where computational displays and user responses are quickly exchanged. The program has been implemented on a CDC Cyber 170 series computer using NOS 2.4 operating system, with a central memory requirement of 151,700 (octal) 60 bit words. TBGG requires a Tektronix 4015 terminal and the DI-3000 Graphics Library of Precision Visuals, Inc. TBGG was developed in 1986.

3. Spinor representations of affine Lie algebras

PubMed Central

Frenkel, I. B.

1980-01-01

Let [unk] be an infinite-dimensional Kac-Moody Lie algebra of one of the types Dl+1(2), Bl(1), or Dl(1). These algebras are characterized by the property that an elimination of any endpoint of their Dynkin diagrams gives diagrams of types Bl or Dl of classical orthogonal Lie algebras. We construct two representations of a Lie algebra [unk], which we call spinor representations, following the analogy with the classical case. We obtain that every spinor representation is either irreducible or has two irreducible components. This provides us with an explicit construction of fundamental representations of [unk], two for the type Dl+1(2), three for Bl(1), and four for Dl(1). We note the profound connection of our construction with quantum field theory—in particular, with fermion fields. Comparing the character formulas of our representations with another construction of the fundamental representations of Kac-Moody Lie algebras of types Al(1), Dl(1), El(1), we obtain classical Jacobi identities and addition formulas for elliptic θ-functions. PMID:16592912

4. A process algebra model of QED

Sulis, William

2016-03-01

The process algebra approach to quantum mechanics posits a finite, discrete, determinate ontology of primitive events which are generated by processes (in the sense of Whitehead). In this ontology, primitive events serve as elements of an emergent space-time and of emergent fundamental particles and fields. Each process generates a set of primitive elements, using only local information, causally propagated as a discrete wave, forming a causal space termed a causal tapestry. Each causal tapestry forms a discrete and finite sampling of an emergent causal manifold (space-time) M and emergent wave function. Interactions between processes are described by a process algebra which possesses 8 commutative operations (sums and products) together with a non-commutative concatenation operator (transitions). The process algebra possesses a representation via nondeterministic combinatorial games. The process algebra connects to quantum mechanics through the set valued process and configuration space covering maps, which associate each causal tapestry with sets of wave functions over M. Probabilities emerge from interactions between processes. The process algebra model has been shown to reproduce many features of the theory of non-relativistic scalar particles to a high degree of accuracy, without paradox or divergences. This paper extends the approach to a semi-classical form of quantum electrodynamics.

5. ADA interpretative system for image algebra

Murillo, Juan J.; Wilson, Joseph N.

1992-06-01

An important research problem in image processing is to find appropriate tools to support algorithm development. There have been efforts to build algorithm development support systems for image algebra in several languages, but these systems still have the disadvantage of the time consuming algorithm development style associated with compilation-oriented programming. This paper starts with a description of the Run-Time Support Library (RTSL), which serves as the base for executing programs on both the Image Algebra Ada Translator (IAAT) and Image Algebra Ada Interpreter (IAAI). A presentation on the current status of IAAT and its capabilities is followed by a brief introduction to the utilization of the Image Display Manager (IDM) for image manipulation and analysis. We then discuss in detail the current development stage of IAAI and its relation with RTSL and IDM. The last section describes the design of a syntax-directed graphical user interface for IAAI. We close with an analysis of the current performance of IAAI, and future trends are discussed. Appendix A gives a brief introduction to Image Algebra (IA), and in Appendix B the reader is presented to the Image Algebra Ada (IAA) grammar.

6. Permutation centralizer algebras and multimatrix invariants

Mattioli, Paolo; Ramgoolam, Sanjaye

2016-03-01

We introduce a class of permutation centralizer algebras which underly the combinatorics of multimatrix gauge-invariant observables. One family of such noncommutative algebras is parametrized by two integers. Its Wedderburn-Artin decomposition explains the counting of restricted Schur operators, which were introduced in the physics literature to describe open strings attached to giant gravitons and were subsequently used to diagonalize the Gaussian inner product for gauge invariants of two-matrix models. The structure of the algebra, notably its dimension, its center and its maximally commuting subalgebra, is related to Littlewood-Richardson numbers for composing Young diagrams. It gives a precise characterization of the minimal set of charges needed to distinguish arbitrary matrix gauge invariants, which are related to enhanced symmetries in gauge theory. The algebra also gives a star product for matrix invariants. The center of the algebra allows efficient computation of a sector of multimatrix correlators. These generate the counting of a certain class of bicoloured ribbon graphs with arbitrary genus.

7. Convergent summation of Møller-Plesset perturbation theory

Goodson, David Z.

2000-03-01

Rational and algebraic Padé approximants are applied to Møller-Plesset (MP) perturbation expansions of energies for a representative sample of atoms and small molecules. These approximants can converge to the full configuration-interaction result even when partial summation diverges. At order MP2 (the first order beyond the Hartree-Fock approximation), the best results are obtained from the rational [0/1] Padé approximant of the total energy. At MP3 rational and quadratic approximants are about equally good, and better than partial summation. At MP4, MP5, and MP6, quadratic approximants appear to be the most dependable method. The success of the quadratic approximants is attributed to their ability to model the singularity structure in the complex plane of the perturbation parameter. Two classes of systems are distinguished according to whether the dominant singularity is in the positive half plane (class A) or the negative half plane (class B). A new kind of quadratic approximant, with a constraint on one of its constituent polynomials, gives better results than conventional approximants for class B systems at MP4, MP5, and MP6. For CH3 with the C-H distance at twice the equilibrium value the quadratic approximants yield a complex value for the ground-state electronic energy. This is interpreted as a resonance eigenvalue embedded in the ionization continuum.

8. Specialized Science

PubMed Central

Fang, Ferric C.

2014-01-01

As the body of scientific knowledge in a discipline increases, there is pressure for specialization. Fields spawn subfields that then become entities in themselves that promote further specialization. The process by which scientists join specialized groups has remarkable similarities to the guild system of the middle ages. The advantages of specialization of science include efficiency, the establishment of normative standards, and the potential for greater rigor in experimental research. However, specialization also carries risks of monopoly, monotony, and isolation. The current tendency to judge scientific work by the impact factor of the journal in which it is published may have roots in overspecialization, as scientists are less able to critically evaluate work outside their field than before. Scientists in particular define themselves through group identity and adopt practices that conform to the expectations and dynamics of such groups. As part of our continuing analysis of issues confronting contemporary science, we analyze the emergence and consequences of specialization in science, with a particular emphasis on microbiology, a field highly vulnerable to balkanization along microbial phylogenetic boundaries, and suggest that specialization carries significant costs. We propose measures to mitigate the detrimental effects of scientific specialism. PMID:24421049

9. Special Needs.

ERIC Educational Resources Information Center

Braswell, Ray, Ed.

This document contains the following papers on special needs instruction and technology: (1) "Hawaii Special Education Teacher Induction" (Kalena Oliva and Quinn Avery); (2) "The Impact of Group v Individual Use of Hypermedia-Based Instruction" (Lewis R. Johnson, Louis P. Semrau, and Gail E. Fitzgerald); (3) "Assistive…

10. Feynman identity: A special case. I

SciTech Connect

da Costa, G.A.

1997-02-01

There is an identity due to Feynman which relates graphs and closed curves on a lattice and it was used by Feynman in his combinatorial proof of Onsager{close_quote}s closed formula for the partition function of the two-dimensional Ising model. Long ago Sherman considered a special case of this identity and pointed out similarities with the Witt identity of Lie algebra theory. In this paper and following, we revisit this special case and solve some problems related with it. In particular, the weights are computed explicitly using paths and words and a direct connection with the Witt formula is found. {copyright} {ital 1997 American Institute of Physics.}

11. Bosonic and k-fermionic coherent states for a class of polynomial Weyl-Heisenberg algebras

Daoud, M.; Kibler, M. R.

2012-06-01

The aim of this paper is to construct coherent states à la Perelomov and à la Barut-Girardello for a polynomial Weyl-Heisenberg algebra. This generalized Weyl-Heisenberg algebra, denoted by { A}_{ \\lbrace \\kappa \\rbrace }, depends on r real parameters and is an extension of the { A}_{ \\kappa } one-parameter algebra (Daoud and Kibler 2010 J. Phys. A: Math. Theor. 43 115303) which covers the cases of the su(1, 1) algebra (for κ > 0), the su(2) algebra (for κ < 0) and the h4 ordinary Weyl-Heisenberg algebra (for κ = 0). For finite-dimensional representations of { A}_{ \\lbrace \\kappa \\rbrace } and { A}_{ \\lbrace \\kappa \\rbrace , s }, where { A}_{ \\lbrace \\kappa \\rbrace , s } is a truncation of order s of { A}_{ \\lbrace \\kappa \\rbrace } in the sense of Pegg-Barnett, a connection is established with k-fermionic algebras (or quon algebras). This connection makes it possible to use generalized Grassmann variables for constructing certain coherent states. Coherent states of the Perelomov type are derived for infinite-dimensional representations of { A}_{ \\lbrace \\kappa \\rbrace } and for finite-dimensional representations of { A}_{ \\lbrace \\kappa \\rbrace } and { A}_{ \\lbrace \\kappa \\rbrace , s} through a Fock-Bargmann analytical approach based on the use of complex (or bosonic) variables. The same approach is applied for deriving coherent states of the Barut-Girardello type in the case of infinite-dimensional representations of { A}_{ \\lbrace \\kappa \\rbrace }. In contrast, the construction of coherent states à la Barut-Girardello for finite-dimensional representations of { A}_{ \\lbrace \\kappa \\rbrace } and { A}_{ \\lbrace \\kappa \\rbrace , s } can be achieved solely at the price of replacing complex variables by generalized Grassmann (or k-fermionic) variables. Some of the results are applied to su(2), su(1, 1) and the harmonic oscillator (in a truncated or not truncated form). This article is part of a special issue of Journal of

12. An algebra of discrete event processes

NASA Technical Reports Server (NTRS)

Heymann, Michael; Meyer, George

1991-01-01

This report deals with an algebraic framework for modeling and control of discrete event processes. The report consists of two parts. The first part is introductory, and consists of a tutorial survey of the theory of concurrency in the spirit of Hoare's CSP, and an examination of the suitability of such an algebraic framework for dealing with various aspects of discrete event control. To this end a new concurrency operator is introduced and it is shown how the resulting framework can be applied. It is further shown that a suitable theory that deals with the new concurrency operator must be developed. In the second part of the report the formal algebra of discrete event control is developed. At the present time the second part of the report is still an incomplete and occasionally tentative working paper.

13. Operator algebra in logarithmic conformal field theory

SciTech Connect

Nagi, Jasbir

2005-10-15

For some time now, conformal field theories in two dimensions have been studied as integrable systems. Much of the success of these studies is related to the existence of an operator algebra of the theory. In this paper, some of the extensions of this machinery to the logarithmic case are studied and used. More precisely, from Moebius symmetry constraints, the generic three- and four-point functions of logarithmic quasiprimary fields are calculated in closed form for arbitrary Jordan rank. As an example, c=0 disordered systems with nondegenerate vacua are studied. With the aid of two-, three-, and four-point functions, the operator algebra is obtained and associativity of the algebra studied.

14. Computational algebraic geometry of epidemic models

Rodríguez Vega, Martín.

2014-06-01

Computational Algebraic Geometry is applied to the analysis of various epidemic models for Schistosomiasis and Dengue, both, for the case without control measures and for the case where control measures are applied. The models were analyzed using the mathematical software Maple. Explicitly the analysis is performed using Groebner basis, Hilbert dimension and Hilbert polynomials. These computational tools are included automatically in Maple. Each of these models is represented by a system of ordinary differential equations, and for each model the basic reproductive number (R0) is calculated. The effects of the control measures are observed by the changes in the algebraic structure of R0, the changes in Groebner basis, the changes in Hilbert dimension, and the changes in Hilbert polynomials. It is hoped that the results obtained in this paper become of importance for designing control measures against the epidemic diseases described. For future researches it is proposed the use of algebraic epidemiology to analyze models for airborne and waterborne diseases.

15. On some nonclassical algebraic properties of interval-valued fuzzy soft sets.

PubMed

Liu, Xiaoyan; Feng, Feng; Zhang, Hui

2014-01-01

Interval-valued fuzzy soft sets realize a hybrid soft computing model in a general framework. Both Molodtsov's soft sets and interval-valued fuzzy sets can be seen as special cases of interval-valued fuzzy soft sets. In this study, we first compare four different types of interval-valued fuzzy soft subsets and reveal the relations among them. Then we concentrate on investigating some nonclassical algebraic properties of interval-valued fuzzy soft sets under the soft product operations. We show that some fundamental algebraic properties including the commutative and associative laws do not hold in the conventional sense, but hold in weaker forms characterized in terms of the relation = L . We obtain a number of algebraic inequalities of interval-valued fuzzy soft sets characterized by interval-valued fuzzy soft inclusions. We also establish the weak idempotent law and the weak absorptive law of interval-valued fuzzy soft sets using interval-valued fuzzy soft J-equal relations. It is revealed that the soft product operations ∧ and ∨ of interval-valued fuzzy soft sets do not always have similar algebraic properties. Moreover, we find that only distributive inequalities described by the interval-valued fuzzy soft L-inclusions hold for interval-valued fuzzy soft sets.

16. Using three-dimensional spacetime diagrams in special relativity

Dray, Tevian

2013-08-01

We provide three examples of the use of geometric reasoning with three-dimensional spacetime diagrams, rather than algebraic manipulations using three-dimensional Lorentz transformations, to analyze problems in special relativity. The examples are the "rising manhole" paradox, the "moving spotlight" problem, and Einstein's light-clock derivation of time dilation.

17. Sound Off! A Dialogue between Calculator and Algebra

ERIC Educational Resources Information Center

2006-01-01

This article illustrates the fact that unless tempered by algebraic reasoning, a graphing calculator can lead one to erroneous conclusions. It also demonstrates that some problems can be solved by combining technology with algebra.

18. A new algebra core for the minimal form' problem

SciTech Connect

Purtill, M.R. . Center for Communications Research); Oliveira, J.S.; Cook, G.O. Jr. )

1991-12-20

The demands of large-scale algebraic computation have led to the development of many new algorithms for manipulating algebraic objects in computer algebra systems. For instance, parallel versions of many important algorithms have been discovered. Simultaneously, more effective symbolic representations of algebraic objects have been sought. Also, while some clever techniques have been found for improving the speed of the algebraic simplification process, little attention has been given to the issue of restructuring expressions, or transforming them into minimal forms.'' By minimal form,'' we mean that form of an expression that involves a minimum number of operations. In a companion paper, we introduce some new algorithms that are very effective at finding minimal forms of expressions. These algorithms require algebraic and combinatorial machinery that is not readily available in most algebra systems. In this paper we describe a new algebra core that begins to provide the necessary capabilities.

19. Infinitesimal deformations of naturally graded filiform Leibniz algebras

Khudoyberdiyev, A. Kh.; Omirov, B. A.

2014-12-01

In the present paper we describe infinitesimal deformations of complex naturally graded filiform Leibniz algebras. It is known that any n-dimensional filiform Lie algebra can be obtained by a linear integrable deformation of the naturally graded algebra Fn3(0) . We establish that in the same way any n-dimensional filiform Leibniz algebra can be obtained by an infinitesimal deformation of the filiform Leibniz algebras Fn1,Fn2and Fn3(α) . Moreover, we describe the linear integrable deformations of the above-mentioned algebras with a fixed basis of HL2 in the set of all n-dimensional Leibniz algebras. Among these deformations one new rigid algebra has been found.

20. Current algebra and the nonlinear σ-model

Ghosh, S.

2007-06-01

We present the current algebra of a particular form in the nonlinear σ-model. The algebra has a non-Abelian form with field-dependent structure functions. We comment on the connection of the model with noncommutative space.

1. Kac-Moody algebra and nonlinear sigma model

Ogura, Waichi; Hosoya, Akio

1985-12-01

We investigate the nonlinear sigma model over an arbitrary homogeneous space. Then it is shown that the sigma model realizes the Kac-Moody algebra as current algebra only if the homogeneous space is restricted to the group manifold.

2. Upper bound for the length of commutative algebras

Markova, Ol'ga V.

2009-12-01

By the length of a finite system of generators for a finite-dimensional associative algebra over an arbitrary field one means the least positive integer k such that the words of length not exceeding k span this algebra (as a vector space). The maximum length for the systems of generators of an algebra is referred to as the length of the algebra. In the present paper, an upper bound for the length of a commutative algebra in terms of a function of two invariants of the algebra, the dimension and the maximal degree of the minimal polynomial for the elements of the algebra, is obtained. As a corollary, a formula for the length of the algebra of diagonal matrices over an arbitrary field is obtained. Bibliography: 8 titles.

3. Rees algebras, Monomial Subrings and Linear Optimization Problems

Dupont, Luis A.

2010-06-01

In this thesis we are interested in studying algebraic properties of monomial algebras, that can be linked to combinatorial structures, such as graphs and clutters, and to optimization problems. A goal here is to establish bridges between commutative algebra, combinatorics and optimization. We study the normality and the Gorenstein property-as well as the canonical module and the a-invariant-of Rees algebras and subrings arising from linear optimization problems. In particular, we study algebraic properties of edge ideals and algebras associated to uniform clutters with the max-flow min-cut property or the packing property. We also study algebraic properties of symbolic Rees algebras of edge ideals of graphs, edge ideals of clique clutters of comparability graphs, and Stanley-Reisner rings.

4. Supersymmetry in physics: an algebraic overview

SciTech Connect

Ramond, P.

1983-01-01

In 1970, while attempting to generalize the Veneziano model (string model) to include fermions, I introduced a new algebraic structure which turned out to be a graded Lie algebra; it was used as a spectrum-generating algebra. This approach was soon after generalized to include interactions, yielding a complete model of fermions and boson (RNS model). In an unrelated work in the Soviet Union, it was shown how to generalize the Poincare group to include fermionic charges. However it was not until 1974 that an interacting field theory invariant under the Graded Poincare group in 3 + 1 dimensions was built (WZ model). Supersymmetric field theories turned out to have less divergent ultraviolet behavior than non-supersymmetric field theories. Gravity was generalized to include supersymmetry, to a theory called supergravity. By now many interacting local field theories exhibiting supersymmetry have been built and studied from 1 + 1 to 10 + 1 dimensions. Supersymmetric local field theories in less than 9 + 1 dimensions, can be understood as limits of multilocal (string) supersymmetric theories, in 9 + 1 dimensions. On the other hand, graded Lie algebras have been used in non-relativistic physics as approximate symmetries of Hamiltonians. The most striking such use so far helps comparing even and odd nuclei energy levels. It is believed that graded Lie algebras can be used whenever paired and unpaired fermions excitations can coexist. In this overview of a tremendously large field, I will only survey finite graded Lie algebras and their representations. For non-relativistic applications, all of GLA are potentially useful, while for relativistic applications, only these which include the Poincare group are to be considered.

5. Exact quasinormal modes for a special class of black holes

SciTech Connect

Oliva, Julio; Troncoso, Ricardo

2010-07-15

Analytic exact expressions for the quasinormal modes of scalar and electromagnetic perturbations around a special class of black holes are found in d{>=}3 dimensions. It is shown that the size of the black hole provides a lower bound for the angular momentum of the perturbation. Quasinormal modes appear when this bound is fulfilled; otherwise the excitations become purely damped.

6. Constraint algebra for interacting quantum systems

1988-04-01

We consider relativistic constrained systems interacting with external fields. We provide physical arguments to support the idea that the quantum constraint algebra should be the same as in the free quantum case. For systems with ordering ambiguities this principle is essential to obtain a unique quantization. This is shown explicitly in the case of a relativistic spinning particle, where our assumption about the constraint algebra plus invariance under general coordinate transformations leads to a unique S-matrix. On leave from Dipartimento di Fisica Nucleare e Teorica, Università di Pavia and INFN, I-27100 Pavia, Italy.

7. Weak Lie symmetry and extended Lie algebra

SciTech Connect

Goenner, Hubert

2013-04-15

The concept of weak Lie motion (weak Lie symmetry) is introduced. Applications given exhibit a reduction of the usual symmetry, e.g., in the case of the rotation group. In this context, a particular generalization of Lie algebras is found ('extended Lie algebras') which turns out to be an involutive distribution or a simple example for a tangent Lie algebroid. Riemannian and Lorentz metrics can be introduced on such an algebroid through an extended Cartan-Killing form. Transformation groups from non-relativistic mechanics and quantum mechanics lead to such tangent Lie algebroids and to Lorentz geometries constructed on them (1-dimensional gravitational fields).

8. Algebraic surface design and finite element meshes

NASA Technical Reports Server (NTRS)

Bajaj, Chandrajit L.

1992-01-01

Some of the techniques are summarized which are used in constructing C sup 0 and C sup 1 continuous meshes of low degree, implicitly defined, algebraic surface patches in three dimensional space. These meshes of low degree algebraic surface patches are used to construct accurate computer models of physical objects. These meshes are also used in the finite element simulation of physical phenomena (e.g., heat dissipation, stress/strain distributions, fluid flow characteristics) required in the computer prototyping of both the manufacturability and functionality of the geometric design.

9. Fréchet-algebraic deformation quantizations

Waldmann, S.

2014-09-01

In this review I present some recent results on the convergence properties of formal star products. Based on a general construction of a Fréchet topology for an algebra with countable vector space basis I discuss several examples from deformation quantization: the Wick star product on the flat phase space m2n gives a first example of a Fréchet algebraic framework for the canonical commutation relations. More interesting, the star product on the Poincare disk can be treated along the same lines, leading to a non-trivial example of a convergent star product on a curved Kahler manifold.

10. Shapes and stability of algebraic nuclear models

NASA Technical Reports Server (NTRS)

Lopez-Moreno, Enrique; Castanos, Octavio

1995-01-01

A generalization of the procedure to study shapes and stability of algebraic nuclear models introduced by Gilmore is presented. One calculates the expectation value of the Hamiltonian with respect to the coherent states of the algebraic structure of the system. Then equilibrium configurations of the resulting energy surface, which depends in general on state variables and a set of parameters, are classified through the Catastrophe theory. For one- and two-body interactions in the Hamiltonian of the interacting Boson model-1, the critical points are organized through the Cusp catastrophe. As an example, we apply this Separatrix to describe the energy surfaces associated to the Rutenium and Samarium isotopes.

11. Bohr model as an algebraic collective model

SciTech Connect

Rowe, D. J.; Welsh, T. A.; Caprio, M. A.

2009-05-15

Developments and applications are presented of an algebraic version of Bohr's collective model. Illustrative examples show that fully converged calculations can be performed quickly and easily for a large range of Hamiltonians. As a result, the Bohr model becomes an effective tool in the analysis of experimental data. The examples are chosen both to confirm the reliability of the algebraic collective model and to show the diversity of results that can be obtained by its use. The focus of the paper is to facilitate identification of the limitations of the Bohr model with a view to developing more realistic, computationally tractable models.

12. Quantum walled Brauer algebra: commuting families, Baxterization, and representations

Semikhatov, A. M.; Tipunin, I. Yu

2017-02-01

For the quantum walled Brauer algebra, we construct its Specht modules and (for generic parameters of the algebra) seminormal modules. The latter construction yields the spectrum of a commuting family of Jucys-Murphy elements. We also propose a Baxterization prescription; it involves representing the quantum walled Brauer algebra in terms of morphisms in a braided monoidal category and introducing parameters into these morphisms, which allows constructing a ‘universal transfer matrix’ that generates commuting elements of the algebra.

13. Dynamical algebras for Poeschl-Teller Hamiltonian hierarchies

SciTech Connect

Kuru, S.; Negro, J.

2009-12-15

The dynamical algebras of the trigonometric and hyperbolic symmetric Poeschl-Teller Hamiltonian hierarchies are obtained. A kind of discrete-differential realizations of these algebras are found which are isomorphic to so(3, 2) Lie algebras. In order to get them, first the relation between ladder and factor operators is investigated. In particular, the action of the ladder operators on normalized eigenfunctions is found explicitly. Then, the whole dynamical algebras are generated in a straightforward way.

14. The natural and perturbed troposphere

NASA Technical Reports Server (NTRS)

Stewart, R. W.; Hameed, S.; Pinto, J.

1978-01-01

A quantitative assessment of the chemical and climatic effects of industrial emissions into the atmosphere requires an understanding of the complex interactions of species within the atmosphere and of the atmosphere with other physical systems such as the oceans, lithosphere, and biosphere. The concentration of a particular species is determined by competition between various production and loss processes. The abundances of tropospheric gases are examined. The reactions of the members of the oxygen group are considered along with the models which have been developed to describe the involved relationships. Attention is also given to the natural carbon cycle, perturbations to the carbon cycle, the natural nitrogen cycle, perturbations to the nitrogen cycle, the hydrogen group, the sulfur group, and the halogen group.

15. BRST quantization of cosmological perturbations

Armendariz-Picon, Cristian; Şengör, Gizem

2016-11-01

BRST quantization is an elegant and powerful method to quantize theories with local symmetries. In this article we study the Hamiltonian BRST quantization of cosmological perturbations in a universe dominated by a scalar field, along with the closely related quantization method of Dirac. We describe how both formalisms apply to perturbations in a time-dependent background, and how expectation values of gauge-invariant operators can be calculated in the in-in formalism. Our analysis focuses mostly on the free theory. By appropriate canonical transformations we simplify and diagonalize the free Hamiltonian. BRST quantization in derivative gauges allows us to dramatically simplify the structure of the propagators, whereas Dirac quantization, which amounts to quantization in synchronous gauge, dispenses with the need to introduce ghosts and preserves the locality of the gauge-fixed action.

16. Cosmological perturbations in unimodular gravity

SciTech Connect

Gao, Caixia; Brandenberger, Robert H.; Cai, Yifu; Chen, Pisin E-mail: rhb@hep.physics.mcgill.ca E-mail: chen@slac.stanford.edu

2014-09-01

We study cosmological perturbation theory within the framework of unimodular gravity. We show that the Lagrangian constraint on the determinant of the metric required by unimodular gravity leads to an extra constraint on the gauge freedom of the metric perturbations. Although the main equation of motion for the gravitational potential remains the same, the shift variable, which is gauge artifact in General Relativity, cannot be set to zero in unimodular gravity. This non-vanishing shift variable affects the propagation of photons throughout the cosmological evolution and therefore modifies the Sachs-Wolfe relation between the relativistic gravitational potential and the microwave temperature anisotropies. However, for adiabatic fluctuations the difference between the result in General Relativity and unimodular gravity is suppressed on large angular scales. Thus, no strong constraints on the theory can be derived.

17. BRST quantization of cosmological perturbations

SciTech Connect

Armendariz-Picon, Cristian; Şengör, Gizem

2016-11-08

BRST quantization is an elegant and powerful method to quantize theories with local symmetries. In this article we study the Hamiltonian BRST quantization of cosmological perturbations in a universe dominated by a scalar field, along with the closely related quantization method of Dirac. We describe how both formalisms apply to perturbations in a time-dependent background, and how expectation values of gauge-invariant operators can be calculated in the in-in formalism. Our analysis focuses mostly on the free theory. By appropriate canonical transformations we simplify and diagonalize the free Hamiltonian. BRST quantization in derivative gauges allows us to dramatically simplify the structure of the propagators, whereas Dirac quantization, which amounts to quantization in synchronous gauge, dispenses with the need to introduce ghosts and preserves the locality of the gauge-fixed action.

18. R evolution: Improving perturbative QCD

SciTech Connect

Hoang, Andre H.; Jain, Ambar; Stewart, Iain W.; Scimemi, Ignazio

2010-07-01

Perturbative QCD results in the MS scheme can be dramatically improved by switching to a scheme that accounts for the dominant power law dependence on the factorization scale in the operator product expansion. We introduce the ''MSR scheme'' which achieves this in a Lorentz and gauge invariant way and has a very simple relation to MS. Results in MSR depend on a cutoff parameter R, in addition to the {mu} of MS. R variations can be used to independently estimate (i.) the size of power corrections, and (ii.) higher-order perturbative corrections (much like {mu} in MS). We give two examples at three-loop order, the ratio of mass splittings in the B*-B and D*-D systems, and the Ellis-Jaffe sum rule as a function of momentum transfer Q in deep inelastic scattering. Comparing to data, the perturbative MSR results work well even for Q{approx}1 GeV, and power corrections are reduced compared to MS.

19. Perturbation growth in accreting filaments

Clarke, S. D.; Whitworth, A. P.; Hubber, D. A.

2016-05-01

We use smoothed particle hydrodynamic simulations to investigate the growth of perturbations in infinitely long filaments as they form and grow by accretion. The growth of these perturbations leads to filament fragmentation and the formation of cores. Most previous work on this subject has been confined to the growth and fragmentation of equilibrium filaments and has found that there exists a preferential fragmentation length-scale which is roughly four times the filament's diameter. Our results show a more complicated dispersion relation with a series of peaks linking perturbation wavelength and growth rate. These are due to gravo-acoustic oscillations along the longitudinal axis during the sub-critical phase of growth. The positions of the peaks in growth rate have a strong dependence on both the mass accretion rate onto the filament and the temperature of the gas. When seeded with a multiwavelength density power spectrum, there exists a clear preferred core separation equal to the largest peak in the dispersion relation. Our results allow one to estimate a minimum age for a filament which is breaking up into regularly spaced fragments, as well as an average accretion rate. We apply the model to observations of filaments in Taurus by Tafalla & Hacar and find accretion rates consistent with those estimated by Palmeirim et al.

20. Algebraic Ricci solitons of three-dimensional Lorentzian Lie groups

Batat, W.; Onda, K.

2017-04-01

We study algebraic Ricci solitons of three-dimensional Lorentzian Lie groups. All algebraic Ricci solitons that we obtain are solvsolitons. In particular, we obtain new solitons on G2, G5, and G6, and we prove that, contrary to the Riemannian case, Lorentzian Ricci solitons need not be algebraic Ricci solitons.

1. Capability and Schur multiplier of a pair of Lie algebras

Johari, Farangis; Parvizi, Mohsen; Niroomand, Peyman

2017-04-01

The aim of this work is to find some criteria for detecting the capability of a pair of Lie algebras. We characterize the exact structure of all pairs of capable Lie algebras in the class of abelian and Heisenberg ones. Among the other results, we also give some exact sequences on the Schur multiplier and exterior product of Lie algebras.

2. The Ideas of Algebra, K-12. 1988 Yearbook.

ERIC Educational Resources Information Center

Coxford, Arthur F., Ed.; Shulte, Albert P., Ed.

This volume is organized into six parts. Chapters 1-5, which make up Part 1, first discuss the forces impinging on algebra in the curriculum and suggest possible directions for change. Chapters 6-8, Part 2, concentrate on concepts and teaching possibilities available prior to the formal introduction of algebra. The notion that algebraic ideas are…

3. The Impact of Early Algebra: Results from a Longitudinal Intervention

ERIC Educational Resources Information Center

Brizuela, Bárbara M.; Martinez, Mara V.; Cayton-Hodges, Gabrielle A.

2013-01-01

In this paper, we provide evidence of the impact of early algebra (EA) over time. We document this impact in the following ways: (a) by showing the performance over time of an experimental group of 15 children on an algebra assessment, from 3rd to 5th grade; and (b) by showing how the performance on an algebra assessment of children from an…

4. Changing Pre-Service Elementary Teachers' Attitudes to Algebra.

ERIC Educational Resources Information Center

McGowen, Mercedes A.; Davis, Gary E.

This article addresses the question: "What are the implications for the preparation of prospective elementary teachers of 'early algebra' in the elementary grades curriculum?" Part of the answer involves language aspects of algebra: in particular, how a change in pre-service teachers' attitudes to algebra, from instrumental to relational, is…

5. A Research Base Supporting Long Term Algebra Reform?

ERIC Educational Resources Information Center

Kaput, James J.

This paper discusses three dimensions of algebra reform: breadth, integration, and pedagogy. Breadth of algebra includes algebra as: generalizing and formalizing patterns and constraints; syntactically-guided manipulation of formalisms; study of structures abstracted from computations and relations; study of functions, relations, and joint…

6. Classical versus Computer Algebra Methods in Elementary Geometry

ERIC Educational Resources Information Center

Pech, Pavel

2005-01-01

Computer algebra methods based on results of commutative algebra like Groebner bases of ideals and elimination of variables make it possible to solve complex, elementary and non elementary problems of geometry, which are difficult to solve using a classical approach. Computer algebra methods permit the proof of geometric theorems, automatic…

7. Remarks on Virasoro and Kac-Moody Algebras

Grabowski, J.; Marmo, G.; Perelomov, A.; Simoni, A.

Parametric realizations of Virasoro or Kac-Moody algebras are constructed on a generic manifold carrying an appropriate vector field. It is shown that the centrally extended algebras cannot be realized as algebras of vector fields on finite-dimensional manifolds.

8. Processes Used by College Students in Understanding Basic Algebra.

ERIC Educational Resources Information Center

Rachlin, Sidney Lee

The purpose of this study was to uncover information about and gain a greater insight into the extent to which students who are successful in a basic algebra course: l) demonstrate a reversibility of reasoning processes when solving algebraic problems; 2) demonstrate a flexibility of reasoning processes when solving algebraic problems; 3)…

9. Effectiveness of Cognitive Tutor Algebra I at Scale

ERIC Educational Resources Information Center

Pane, John F.; Griffin, Beth Ann; McCaffrey, Daniel F.; Karam, Rita

2014-01-01

This article examines the effectiveness of a technology-based algebra curriculum in a wide variety of middle schools and high schools in seven states. Participating schools were matched into similar pairs and randomly assigned to either continue with the current algebra curriculum for 2 years or to adopt Cognitive Tutor Algebra I (CTAI), which…

10. Abstract Numeric Relations and the Visual Structure of Algebra

ERIC Educational Resources Information Center

Landy, David; Brookes, David; Smout, Ryan

2014-01-01

Formal algebras are among the most powerful and general mechanisms for expressing quantitative relational statements; yet, even university engineering students, who are relatively proficient with algebraic manipulation, struggle with and often fail to correctly deploy basic aspects of algebraic notation (Clement, 1982). In the cognitive tradition,…

11. Static friction, differential algebraic systems and numerical stability

Chen, Jian; Schinner, Alexander; Matuttis, Hans-Georg

We show how Differential Algebraic Systems (Ordinary Differential Equations with algebraic constraints) in mechanics are affected by stability issues and we implement Lubich's projection method to reduce the error to practically zero. Then, we explain how the "numerically exact" implementation for static friction by Differential Algebraic Systems can be stabilized. We conclude by comparing the corresponding steps in the "Contact mechanics" introduced by Moreau.

12. Pilot Study on Algebra Learning among Junior Secondary Students

ERIC Educational Resources Information Center

Poon, Kin-Keung; Leung, Chi-Keung

2010-01-01

The purpose of the study reported herein was to identify the common mistakes made by junior secondary students in Hong Kong when learning algebra and to compare teachers' perceptions of students' ability with the results of an algebra test. An algebra test was developed and administered to a sample of students (aged between 13 and 14 years). From…

13. Evolution of a Teaching Approach for Beginning Algebra

ERIC Educational Resources Information Center

Banerjee, Rakhi; Subramaniam, K.

2012-01-01

The article reports aspects of the evolution of a teaching approach over repeated trials for beginning symbolic algebra. The teaching approach emphasized the structural similarity between arithmetic and algebraic expressions and aimed at supporting students in making a transition from arithmetic to beginning algebra. The study was conducted with…

14. Should College Algebra be a Prerequisite for Taking Psychology Statistics?

ERIC Educational Resources Information Center

Sibulkin, Amy E.; Butler, J. S.

2008-01-01

In order to consider whether a course in college algebra should be a prerequisite for taking psychology statistics, we recorded students' grades in elementary psychology statistics and in college algebra at a 4-year university. Students who earned credit in algebra prior to enrolling in statistics for the first time had a significantly higher mean…

ERIC Educational Resources Information Center

Glassmeyer, David; Edwards, Belinda

2016-01-01

Algebraic reasoning is an essential habit of mind for building conceptual knowledge in K-12 mathematics, yet little is known about how middle school mathematics teachers think about algebraic reasoning. In this article we describe a research project examining how algebraic reasoning was considered by grades 6, 7, or 8 mathematics teachers in a…

16. Special Libraries

ERIC Educational Resources Information Center

Lavendel, Giuliana

1977-01-01

Discusses problems involved in maintaining special scientific or engineering libraries, including budget problems, remote storage locations, rental computer retrieval systems, protecting trade secrets, and establishing a magnetic tape library. (MLH)

17. Adaptive FEM with coarse initial mesh guarantees optimal convergence rates for compactly perturbed elliptic problems

Bespalov, Alex; Haberl, Alexander; Praetorius, Dirk

2017-04-01

We prove that for compactly perturbed elliptic problems, where the corresponding bilinear form satisfies a Garding inequality, adaptive mesh-refinement is capable of overcoming the preasymptotic behavior and eventually leads to convergence with optimal algebraic rates. As an important consequence of our analysis, one does not have to deal with the a-priori assumption that the underlying meshes are sufficiently fine. Hence, the overall conclusion of our results is that adaptivity has stabilizing effects and can overcome possibly pessimistic restrictions on the meshes. In particular, our analysis covers adaptive mesh-refinement for the finite element discretization of the Helmholtz equation from where our interest originated.

18. Effective interaction in the Rayleigh–Schrödinger perturbation theory

SciTech Connect

Takayanagi, Kazuo

2014-11-15

We present a unified description of the effective interaction v in the Rayleigh–Schrödinger perturbation theory. First, we generalize the well-known bracketing expression for the energy shift ΔE in a one-dimensional model space to express the effective interaction v in a multi-dimensional model space. Second, we show that the generalized bracketing representation has a natural graphic expression in terms of folded diagrams. The present work thus gives a unified understanding of the effective interaction (i) in one- and multi-dimensional model spaces and (ii) in algebraic (bracketing) and graphic (folded diagram) representations.

19. Comparison of uniform perturbation solutions and numerical solutions for some potential flows past slender bodies

NASA Technical Reports Server (NTRS)

Wong, T. C.; Liu, C. H.; Geer, J.

1984-01-01

Approximate solutions for potential flow past an axisymmetric slender body and past a thin airfoil are calculated using a uniform perturbation method and then compared with either the exact analytical solution or the solution obtained using a purely numerical method. The perturbation method is based upon a representation of the disturbance flow as the superposition of singularities distributed entirely within the body, while the numerical (panel) method is based upon a distribution of singularities on the surface of the body. It is found that the perturbation method provides very good results for small values of the slenderness ratio and for small angles of attack. Moreover, for comparable accuracy, the perturbation method is simpler to implement, requires less computer memory, and generally uses less computation time than the panel method. In particular, the uniform perturbation method yields good resolution near the regions of the leading and trailing edges where other methods fail or require special attention.

20. Solving Our Algebra Problem: Getting All Students through Algebra I to Improve Graduation Rates

ERIC Educational Resources Information Center

Schachter, Ron

2013-01-01

graduation as well as admission to most colleges. But taking algebra also can turn into a pathway for failure, from which some students never recover. In 2010, a national U.S. Department of Education study…

1. Algebra Reform, Resarch, and the Classroom: A Reaction to a Research Base Supporting Long Term Algebra Reform.

ERIC Educational Resources Information Center

Burrill, Gail

This paper is a reaction to a plenary address, "A Research Base Supporting Long Term Algebra Reform?" by James Kaput (SE 057 182). Three dimensions of algebra reform identified by Kaput (breadth, integration, and pedagogy) are discussed and contrasted with the draft version of the Algebra Document from the National Council of Teachers of…

2. Algebra for All: The Effect of Algebra Coursework and Classroom Peer Academic Composition on Low-Achieving Students

ERIC Educational Resources Information Center

Nomi, Takako; Raudenbush, Stephen W.

2014-01-01

Algebra is often considered as a gateway for later achievement. A recent report by the Mathematics Advisory Panel (2008) underscores the importance of improving algebra learning in secondary school. Today, a growing number of states and districts require algebra for all students in ninth grade or earlier. Chicago is at the forefront of this…

3. Regular Gleason Measures and Generalized Effect Algebras

Dvurečenskij, Anatolij; Janda, Jiří

2015-12-01

We study measures, finitely additive measures, regular measures, and σ-additive measures that can attain even infinite values on the quantum logic of a Hilbert space. We show when particular classes of non-negative measures can be studied in the frame of generalized effect algebras.

4. A Photographic Assignment for Abstract Algebra

ERIC Educational Resources Information Center

Warrington, Gregory S.

2009-01-01

We describe a simple photographic assignment appropriate for an abstract algebra (or other) course. Students take digital pictures around campus of various examples of symmetry. They then classify these pictures according to which of the 17 plane symmetry groups they belong. (Contains 2 figures.)

5. Using Group Explorer in Teaching Abstract Algebra

ERIC Educational Resources Information Center

Schubert, Claus; Gfeller, Mary; Donohue, Christopher

2013-01-01

This study explores the use of Group Explorer in an undergraduate mathematics course in abstract algebra. The visual nature of Group Explorer in representing concepts in group theory is an attractive incentive to use this software in the classroom. However, little is known about students' perceptions on this technology in learning concepts in…

6. I Teach Economics, Not Algebra and Calculus

ERIC Educational Resources Information Center

Hey, John D.

2005-01-01

Most people learn to drive without knowing how the engine works. In a similar vein, the author believes that students can learn economics without knowing the algebra and calculus underlying the results. If instructors follow the philosophy of other economics courses in using graphs to illustrate the results, and draw the graphs accurately, then…

7. Generalizing: The Core of Algebraic Thinking

ERIC Educational Resources Information Center

Kinach, Barbara M.

2014-01-01

Generalizing--along with conjecturing, representing, justifying, and refuting--are forms of mathematical reasoning important in all branches of mathematics (Lannin, Ellis, and Elliott 2011). Increasingly, however, generalizing is recognized as the essence of thinking in algebra (Mason, Graham, and Johnston-Wilder 2010; Kaput, Carraher, and Blanton…

8. Hungry for Early Spatial and Algebraic Reasoning

ERIC Educational Resources Information Center

Cross, Dionne I.; Adefope, Olufunke; Lee, Mi Yeon; Perez, Arnulfo

2012-01-01

Tasks that develop spatial and algebraic reasoning are crucial for learning and applying advanced mathematical ideas. In this article, the authors describe how two early childhood teachers used stories as the basis for a unit that supports spatial reasoning in kindergartners and first graders. Having mathematical experiences that go beyond…

9. Journal Writing: Enlivening Elementary Linear Algebra.

ERIC Educational Resources Information Center

Meel, David E.

1999-01-01

Examines the various issues surrounding the implementation of journal writing in an undergraduate linear algebra course. Identifies the benefits of incorporating journal writing into an undergraduate mathematics course, which are supported with students' comments from their journals and their reflections on the process. Contains 14 references.…

10. The geometric semantics of algebraic quantum mechanics.

PubMed

Cruz Morales, John Alexander; Zilber, Boris

2015-08-06

In this paper, we will present an ongoing project that aims to use model theory as a suitable mathematical setting for studying the formalism of quantum mechanics. We argue that this approach provides a geometric semantics for such a formalism by means of establishing a (non-commutative) duality between certain algebraic and geometric objects.

11. An Evaluation of Saxon's Algebra Test.

ERIC Educational Resources Information Center

Johnson, Dale M.; Smith, Blaine

1987-01-01

John Saxon's incremental development model has been proclaimed as a superior teaching strategy for mathematics. This study evaluated the Saxon approach and textbook using 276 Algebra I students in experimental and control groups. The groups were compared in cognitive and affective areas. Results are presented. (Author/MT)

12. Programed Instruction in Elementary Algebra: An Experiment

ERIC Educational Resources Information Center

Lial, Margaret L.

1970-01-01

Report of an experiment which investigated the use of a programed elementary algebra text as a teaching method. The method was evaluated on the basis of student evaluation of the course and the percentage of students achieving a grade of C or better. Results indicated that the use of programed texts was superior to the traditional approach using…

13. Private quantum subsystems and quasiorthogonal operator algebras

Levick, Jeremy; Jochym-O'Connor, Tomas; Kribs, David W.; Laflamme, Raymond; Pereira, Rajesh

2016-03-01

We generalize a recently discovered example of a private quantum subsystem to find private subsystems for Abelian subgroups of the n-qubit Pauli group, which exist in the absence of private subspaces. In doing so, we also connect these quantum privacy investigations with the theory of quasiorthogonal operator algebras through the use of tools from group theory and operator theory.

14. Pre-Algebra Groups. Concepts & Applications.

ERIC Educational Resources Information Center

Montgomery County Public Schools, Rockville, MD.

Discussion material and exercises related to pre-algebra groups are provided in this five chapter manual. Chapter 1 (mappings) focuses on restricted domains, order of operations (parentheses and exponents), rules of assignment, and computer extensions. Chapter 2 considers finite number systems, including binary operations, clock arithmetic,…

15. Parallel Algebraic Multigrids for Structural mechanics

SciTech Connect

Brezina, M; Tong, C; Becker, R

2004-05-11

This paper presents the results of a comparison of three parallel algebraic multigrid (AMG) preconditioners for structural mechanics applications. In particular, they are interested in investigating both the scalability and robustness of the preconditioners. Numerical results are given for a range of structural mechanics problems with various degrees of difficulty.

16. Thinking Algebraically across the Elementary School Curriculum

ERIC Educational Resources Information Center

Soares, June; Blanton, Maria L.; Kaput, James J.

2006-01-01

With testing and accountability on everyone's mind, teachers are looking for creative ways to teach "all" subjects. Literacy is on the top of the list for testing, so it seems to get top priority. But how can teachers make sure that mathematics, especially a crucial area such as algebraic thinking, is a priority as well? Integrating subject matter…

17. A Concurrent Support Course for Intermediate Algebra

ERIC Educational Resources Information Center

Cooper, Cameron I.

2011-01-01

This article summarizes the creation and implementation of a concurrent support class for TRS 92--Intermediate Algebra, a developmental mathematics course at Fort Lewis College in Durango, Colorado. The concurrent course outlined in this article demonstrates a statistically significant increase in student success rates since its inception.…

18. Using Technology to Balance Algebraic Explorations

ERIC Educational Resources Information Center

Kurz, Terri L.

2013-01-01

In 2000, the "National Council of Teachers of Mathematics" recommended that Algebra Standards, "instructional programs from prekindergarten through grade 12 should enable all students to use mathematical models to represent and understand quantitative relationships." In this article, the authors suggest the "Balance"…

19. Noise limitations in optical linear algebra processors.

PubMed

Batsell, S G; Jong, T L; Walkup, J F; Krile, T F

1990-05-10

A general statistical noise model is presented for optical linear algebra processors. A statistical analysis which includes device noise, the multiplication process, and the addition operation is undertaken. We focus on those processes which are architecturally independent. Finally, experimental results which verify the analytical predictions are also presented.

20. Lie algebras and linear differential equations.

NASA Technical Reports Server (NTRS)

Brockett, R. W.; Rahimi, A.

1972-01-01

Certain symmetry properties possessed by the solutions of linear differential equations are examined. For this purpose, some basic ideas from the theory of finite dimensional linear systems are used together with the work of Wei and Norman on the use of Lie algebraic methods in differential equation theory.

1. Constructive Learning in Undergraduate Linear Algebra

ERIC Educational Resources Information Center

Chandler, Farrah Jackson; Taylor, Dewey T.

2008-01-01

In this article we describe a project that we used in our undergraduate linear algebra courses to help our students successfully master fundamental concepts and definitions and generate interest in the course. We describe our philosophy and discuss the projects overall success.

2. Stability of Linear Equations--Algebraic Approach

ERIC Educational Resources Information Center

Cherif, Chokri; Goldstein, Avraham; Prado, Lucio M. G.

2012-01-01

This article could be of interest to teachers of applied mathematics as well as to people who are interested in applications of linear algebra. We give a comprehensive study of linear systems from an application point of view. Specifically, we give an overview of linear systems and problems that can occur with the computed solution when the…

3. On a Equation in Finite Algebraically Structures

ERIC Educational Resources Information Center

Valcan, Dumitru

2013-01-01

Solving equations in finite algebraically structures (semigroups with identity, groups, rings or fields) many times is not easy. Even the professionals can have trouble in such cases. Therefore, in this paper we proposed to solve in the various finite groups or fields, a binomial equation of the form (1). We specify that this equation has been…

4. Fundamental Theorems of Algebra for the Perplexes

ERIC Educational Resources Information Center

Poodiak, Robert; LeClair, Kevin

2009-01-01

The fundamental theorem of algebra for the complex numbers states that a polynomial of degree n has n roots, counting multiplicity. This paper explores the "perplex number system" (also called the "hyperbolic number system" and the "spacetime number system") In this system (which has extra roots of +1 besides the usual [plus or minus]1 of the…

5. Using geometric algebra to study optical aberrations

SciTech Connect

Hanlon, J.; Ziock, H.

1997-05-01

This paper uses Geometric Algebra (GA) to study vector aberrations in optical systems with square and round pupils. GA is a new way to produce the classical optical aberration spot diagrams on the Gaussian image plane and surfaces near the Gaussian image plane. Spot diagrams of the third, fifth and seventh order aberrations for square and round pupils are developed to illustrate the theory.

6. A Microcomputer Lab for Algebra & Calculus.

ERIC Educational Resources Information Center

Avery, Chris; And Others

An overview is provided of De Anza College's use of computerized instruction in its mathematics courses. After reviewing the ways in which computer technology is changing math instruction, the paper looks at the use of computers in several course sequences. The instructional model for the algebra sequence is based on a large group format of…

7. A Linear Algebra Measure of Cluster Quality.

ERIC Educational Resources Information Center

Mather, Laura A.

2000-01-01

Discussion of models for information retrieval focuses on an application of linear algebra to text clustering, namely, a metric for measuring cluster quality based on the theory that cluster quality is proportional to the number of terms that are disjoint across the clusters. Explains term-document matrices and clustering algorithms. (Author/LRW)

8. Learning Activity Package, Algebra-Trigonometry.

ERIC Educational Resources Information Center

Holland, Bill

A series of ten teacher-prepared Learning Activity Packages (LAPs) in advanced algebra and trigonometry, the units cover logic; absolute value, inequalities, exponents, and complex numbers; functions; higher degree equations and the derivative; the trigonometric function; graphs and applications of the trigonometric functions; sequences and…

9. Baxter Operator and Archimedean Hecke Algebra

Gerasimov, A.; Lebedev, D.; Oblezin, S.

2008-12-01

In this paper we introduce Baxter integral {mathcal{Q}} -operators for finite-dimensional Lie algebras {mathfrak{gl}_{ell+1}} and {mathfrak{so}_{2ell+1}} . Whittaker functions corresponding to these algebras are eigenfunctions of the {mathcal{Q}}-operators with the eigenvalues expressed in terms of Gamma-functions. The appearance of the Gamma-functions is one of the manifestations of an interesting connection between Mellin-Barnes and Givental integral representations of Whittaker functions, which are in a sense dual to each other. We define a dual Baxter operator and derive a family of mixed Mellin-Barnes-Givental integral representations. Givental and Mellin-Barnes integral representations are used to provide a short proof of the Friedberg-Bump and Bump conjectures for G = GL( ℓ + 1) proved earlier by Stade. We also identify eigenvalues of the Baxter {mathcal{Q}}-operator acting on Whittaker functions with local Archimedean L-factors. The Baxter {mathcal{Q}}-operator introduced in this paper is then described as a particular realization of the explicitly defined universal Baxter operator in the spherical Hecke algebra {mathcal {H}(G(mathbb{R}), K)} , K being a maximal compact subgroup of G. Finally we stress an analogy between {mathcal{Q}}-operators and certain elements of the non-Archimedean Hecke algebra {mathcal {H}(G(mathbb{Q}_p),G(mathbb{Z}_p))}.

10. Modern Geometric Algebra: A (Very Incomplete!) Survey

ERIC Educational Resources Information Center

Suzuki, Jeff

2009-01-01

Geometric algebra is based on two simple ideas. First, the area of a rectangle is equal to the product of the lengths of its sides. Second, if a figure is broken apart into several pieces, the sum of the areas of the pieces equals the area of the original figure. Remarkably, these two ideas provide an elegant way to introduce, connect, and…

11. Titration Calculations with Computer Algebra Software

ERIC Educational Resources Information Center

Lachance, Russ; Biaglow, Andrew

2012-01-01

This article examines the symbolic algebraic solution of the titration equations for a diprotic acid, as obtained using "Mathematica," "Maple," and "Mathcad." The equilibrium and conservation equations are solved symbolically by the programs to eliminate the approximations that normally would be performed by the student. Of the three programs,…

12. Some Unexpected Results Using Computer Algebra Systems.

ERIC Educational Resources Information Center

Alonso, Felix; Garcia, Alfonsa; Garcia, Francisco; Hoya, Sara; Rodriguez, Gerardo; de la Villa, Agustin

2001-01-01

Shows how teachers can often use unexpected outputs from Computer Algebra Systems (CAS) to reinforce concepts and to show students the importance of thinking about how they use the software and reflecting on their results. Presents different examples where DERIVE, MAPLE, or Mathematica does not work as expected and suggests how to use them as a…

13. Connecting Functions in Geometry and Algebra

ERIC Educational Resources Information Center

Steketee, Scott; Scher, Daniel

2016-01-01

One goal of a mathematics education is that students make significant connections among different branches of mathematics. Connections--such as those between arithmetic and algebra, between two-dimensional and three-dimensional geometry, between compass-and-straight-edge constructions and transformations, and between calculus and analytic…

14. Computer Algebra, Instrumentation and the Anthropological Approach

ERIC Educational Resources Information Center

Monaghan, John

2007-01-01

This article considers research and scholarship on the use of computer algebra in mathematics education following the instrumentation and the anthropological approaches. It outlines what these approaches are, positions them with regard to other approaches, examines tensions between the two approaches and makes suggestions for how work in this…

15. A Linear Algebraic Approach to Teaching Interpolation

ERIC Educational Resources Information Center

Tassa, Tamir

2007-01-01

A novel approach for teaching interpolation in the introductory course in numerical analysis is presented. The interpolation problem is viewed as a problem in linear algebra, whence the various forms of interpolating polynomial are seen as different choices of a basis to the subspace of polynomials of the corresponding degree. This approach…

16. Digital Maps, Matrices and Computer Algebra

ERIC Educational Resources Information Center

Knight, D. G.

2005-01-01

The way in which computer algebra systems, such as Maple, have made the study of complex problems accessible to undergraduate mathematicians with modest computational skills is illustrated by some large matrix calculations, which arise from representing the Earth's surface by digital elevation models. Such problems are often considered to lie in…

17. Modules as Learning Tools in Linear Algebra

ERIC Educational Resources Information Center

Cooley, Laurel; Vidakovic, Draga; Martin, William O.; Dexter, Scott; Suzuki, Jeff; Loch, Sergio

2014-01-01

This paper reports on the experience of STEM and mathematics faculty at four different institutions working collaboratively to integrate learning theory with curriculum development in a core undergraduate linear algebra context. The faculty formed a Professional Learning Community (PLC) with a focus on learning theories in mathematics and…

18. Special functions associated with SU(3) Wigner-Clebsch-Gordan coefficients

SciTech Connect

Louck, J.D.; Biedenharn, L.C.

1990-01-01

The Wigner-Clebsch-Gordan (WCG) coefficients of the unitary groups are a rich source of multivariable special functions. The general algebraic setting of these coefficients is reviewed and several special functions associated with the SU(3) WCG coefficients defined and their properties presented. 29 refs.

19. Teaching Special Relativity Without Calculus

Ruby, Lawrence

2009-04-01

I 2007 many AAPT members received a booklet that is the first chapter of a physics textbook available on a CD. This book espouses the new educational philosophy of teaching special relativity as the first item in the topic of mechanics. Traditionally, special relativity is part of one or more modern physics chapters at the end of the text,2 and very often this material is never utilized due to time constraints. From a logical standpoint, special relativity is important in satellite communications and in cosmology, as well as in modern physics applications such as atomic theory and high-energy physics. The purpose of this paper is to show that the new philosophy can be carried out in a noncalculus physics course, by demonstrating that all of the principal results of special relativity theory can be obtained by simple algebra. To accomplish this, we shall propose alternate derivations for two results that are usually obtained with calculus. Textbooks2 typically obtain the equations for time dilation and for length contraction from simple considerations based on Einstein's second postulate.3 We shall start from this point.

20. Geometric Hamiltonian structures and perturbation theory

SciTech Connect

Omohundro, S.

1984-08-01

We have been engaged in a program of investigating the Hamiltonian structure of the various perturbation theories used in practice. We describe the geometry of a Hamiltonian structure for non-singular perturbation theory applied to Hamiltonian systems on symplectic manifolds and the connection with singular perturbation techniques based on the method of averaging.

1. Systematic all-orders method to eliminate renormalization-scale and scheme ambiguities in perturbative QCD.

PubMed

Mojaza, Matin; Brodsky, Stanley J; Wu, Xing-Gang

2013-05-10

We introduce a generalization of the conventional renormalization schemes used in dimensional regularization, which illuminates the renormalization scheme and scale ambiguities of perturbative QCD predictions, exposes the general pattern of nonconformal {β(i)} terms, and reveals a special degeneracy of the terms in the perturbative coefficients. It allows us to systematically determine the argument of the running coupling order by order in perturbative QCD in a form which can be readily automatized. The new method satisfies all of the principles of the renormalization group and eliminates an unnecessary source of systematic error.

2. BALOO: A Fast and Versatile Code for Accurate Multireference Variational/Perturbative Calculations.

PubMed

Cacelli, Ivo; Ferretti, Alessandro; Prampolini, Giacomo; Barone, Vincenzo

2015-05-12

We present the new BALOO package for performing multireference variational/perturbative computations for medium- to large-size systems. To this end we have introduced a number of conceptual and technical improvements including full parallelization of the code, use and manipulation of a large panel of reference orbitals, implementation of diagrammatic perturbation treatment, and computation of properties by density matrix perturbed to the first-order. A number of test cases are analyzed with special reference to electronic transitions and magnetic properties to show the versatility, effectiveness, and accuracy of BALOO.

3. Unified algebraic method to non-Hermitian systems with Lie algebraic linear structure

Zhang, Hong-Biao; Jiang, Guang-Yuan; Wang, Gang-Cheng

2015-07-01

We suggest a generic algebraic method to solve non-Hermitian Hamiltonian systems with Lie algebraic linear structure. Such method can not only unify the non-Hermitian Hamiltonian and the Hermitian Hamiltonian with the same structure but also keep self-consistent between similarity transformation and unitary transformation. To clearly reveal the correctness and physical meaning of such algebraic method, we illustrate our method with two different types of non-Hermitian Hamiltonians: the non-Hermitian Hamiltonian with Heisenberg algebraic linear structure and the non-Hermitian Hamiltonian with su(1, 1) algebraic linear structure. We obtain energy eigenvalues and the corresponding eigenstates of non-Hermitian forced harmonic oscillator with Heisenberg algebra structure via a proper similarity transformation. We also calculate the eigen-problems of general non-Hermitian Hamiltonian with su(1, 1) structure in terms of the similarity transformation. As an application, we focus on studying the non-Hermitian single-mode squeezed and coherent harmonic oscillator system and find that such similarity transformation associated with this model is in fact gauge-like transformation for simple harmonic oscillator.

4. The Symmetric Tensor Lichnerowicz Algebra and a Novel Associative Fourier-Jacobi Algebra

Hallowell, Karl; Waldron, Andrew

2007-09-01

Lichnerowicz's algebra of differential geometric operators acting on symmetric tensors can be obtained from generalized geodesic motion of an observer carrying a complex tangent vector. This relation is based upon quantizing the classical evolution equations, and identifying wavefunctions with sections of the symmetric tensor bundle and Noether charges with geometric operators. In general curved spaces these operators obey a deformation of the Fourier-Jacobi Lie algebra of sp(2,R). These results have already been generalized by the authors to arbitrary tensor and spinor bundles using supersymmetric quantum mechanical models and have also been applied to the theory of higher spin particles. These Proceedings review these results in their simplest, symmetric tensor setting. New results on a novel and extremely useful reformulation of the rank 2 deformation of the Fourier-Jacobi Lie algebra in terms of an associative algebra are also presented. This new algebra! was originally motivated by studies of operator orderings in enveloping algebras. It provides a new method that is superior in many respects to common techniques such as Weyl or normal ordering.

5. Current algebra formulation of M-theory based on E11 Kac-Moody algebra

Sugawara, Hirotaka

2017-02-01

Quantum M-theory is formulated using the current algebra technique. The current algebra is based on a Kac-Moody algebra rather than usual finite dimensional Lie algebra. Specifically, I study the E11 Kac-Moody algebra that was shown recently1‑5 to contain all the ingredients of M-theory. Both the internal symmetry and the external Lorentz symmetry can be realized inside E11, so that, by constructing the current algebra of E11, I obtain both internal gauge theory and gravity theory. The energy-momentum tensor is constructed as the bilinear form of the currents, yielding a system of quantum equations of motion of the currents/fields. Supersymmetry is incorporated in a natural way. The so-called “field-current identity” is built in and, for example, the gravitino field is itself a conserved supercurrent. One unanticipated outcome is that the quantum gravity equation is not identical to the one obtained from the Einstein-Hilbert action.

6. Relation of deformed nonlinear algebras with linear ones

Nowicki, A.; Tkachuk, V. M.

2014-01-01

The relation between nonlinear algebras and linear ones is established. For a one-dimensional nonlinear deformed Heisenberg algebra with two operators we find the function of deformation for which this nonlinear algebra can be transformed to a linear one with three operators. We also establish the relation between the Lie algebra of total angular momentum and corresponding nonlinear one. This relation gives a possibility to simplify and to solve the eigenvalue problem for the Hamiltonian in a nonlinear case using the reduction of this problem to the case of linear algebra. It is demonstrated in an example of a harmonic oscillator.

7. Differential geometry on Hopf algebras and quantum groups

SciTech Connect

Watts, Paul

1994-12-15

The differential geometry on a Hopf algebra is constructed, by using the basic axioms of Hopf algebras and noncommutative differential geometry. The space of generalized derivations on a Hopf algebra of functions is presented via the smash product, and used to define and discuss quantum Lie algebras and their properties. The Cartan calculus of the exterior derivative, Lie derivative, and inner derivation is found for both the universal and general differential calculi of an arbitrary Hopf algebra, and, by restricting to the quasitriangular case and using the numerical R-matrix formalism, the aforementioned structures for quantum groups are determined.

8. Weak Hom-Hopf algebras and their (co)representations

Zhang, Xiaohui; Wang, Shuanhong

2015-08-01

In this paper we will introduce the notion of a weak Hom-Hopf algebra, generalizing both weak Hopf algebras and Hom-Hopf algebras. Then we study the category Rep(H) of Hom-modules with bijective Hom-structure maps over a weak Hom-Hopf algebra H and show that the tensor functor of a (weak) Hom-bialgebra is actually a (weak) bimonad on a Hom-type category. At last, we prove that if H is a quasitriangular weak Hom-bialgebra (resp. ribbon weak Hom-Hopf algebra), then Rep(H) is a braided monoidal category (resp. ribbon category).

9. A Topos for Algebraic Quantum Theory

Heunen, Chris; Landsman, Nicolaas P.; Spitters, Bas

2009-10-01

The aim of this paper is to relate algebraic quantum mechanics to topos theory, so as to construct new foundations for quantum logic and quantum spaces. Motivated by Bohr’s idea that the empirical content of quantum physics is accessible only through classical physics, we show how a noncommutative C*-algebra of observables A induces a topos {mathcal{T}(A)} in which the amalgamation of all of its commutative subalgebras comprises a single commutative C*-algebra {A} . According to the constructive Gelfand duality theorem of Banaschewski and Mulvey, the latter has an internal spectrum {\\underline{Σ}(A)} in {mathcal{T}(A)} , which in our approach plays the role of the quantum phase space of the system. Thus we associate a locale (which is the topos-theoretical notion of a space and which intrinsically carries the intuitionistic logical structure of a Heyting algebra) to a C*-algebra (which is the noncommutative notion of a space). In this setting, states on A become probability measures (more precisely, valuations) on {\\underline{Σ}} , and self-adjoint elements of A define continuous functions (more precisely, locale maps) from {\\underline{Σ}} to Scott’s interval domain. Noting that open subsets of {\\underline{Σ}(A)} correspond to propositions about the system, the pairing map that assigns a (generalized) truth value to a state and a proposition assumes an extremely simple categorical form. Formulated in this way, the quantum theory defined by A is essentially turned into a classical theory, internal to the topos {mathcal{T}(A)}. These results were inspired by the topos-theoretic approach to quantum physics proposed by Butterfield and Isham, as recently generalized by Döring and Isham.

10. Identifying Network Perturbation in Cancer

PubMed Central

Logsdon, Benjamin A.; Gentles, Andrew J.; Lee, Su-In

2016-01-01

We present a computational framework, called DISCERN (DIfferential SparsE Regulatory Network), to identify informative topological changes in gene-regulator dependence networks inferred on the basis of mRNA expression datasets within distinct biological states. DISCERN takes two expression datasets as input: an expression dataset of diseased tissues from patients with a disease of interest and another expression dataset from matching normal tissues. DISCERN estimates the extent to which each gene is perturbed—having distinct regulator connectivity in the inferred gene-regulator dependencies between the disease and normal conditions. This approach has distinct advantages over existing methods. First, DISCERN infers conditional dependencies between candidate regulators and genes, where conditional dependence relationships discriminate the evidence for direct interactions from indirect interactions more precisely than pairwise correlation. Second, DISCERN uses a new likelihood-based scoring function to alleviate concerns about accuracy of the specific edges inferred in a particular network. DISCERN identifies perturbed genes more accurately in synthetic data than existing methods to identify perturbed genes between distinct states. In expression datasets from patients with acute myeloid leukemia (AML), breast cancer and lung cancer, genes with high DISCERN scores in each cancer are enriched for known tumor drivers, genes associated with the biological processes known to be important in the disease, and genes associated with patient prognosis, in the respective cancer. Finally, we show that DISCERN can uncover potential mechanisms underlying network perturbation by explaining observed epigenomic activity patterns in cancer and normal tissue types more accurately than alternative methods, based on the available epigenomic data from the ENCODE project. PMID:27145341

11. The automorphisms of Novikov algebras in low dimensions

Bai, Chengming; Meng, Daoji

2003-07-01

Novikov algebras were introduced in connection with Poisson brackets of hydrodynamic type and Hamiltonian operators in the formal variational calculus. They also correspond to a class of vertex algebras. An automorphism of a Novikov algebra is a linear isomorphism varphi satisfying varphi(xy) = varphi(x)varphi(y) which keeps the algebraic structure. The set of automorphisms of a Novikov algebra is a Lie group whose Lie algebra is just the Novikov algebra's derivation algebra. The theory of automorphisms plays an important role in the study of Novikov algebras. In this paper, we study the automorphisms of Novikov algebras. We get some results on their properties and classification in low dimensions. These results are fundamental in a certain sense, and they will serve as a guide for further development. Moreover, we apply these results to classify Gel'fand-Dorfman bialgebras and Novikov-Poisson algebras. These results also can be used to study certain phase spaces and geometric classical r-matrices.

12. Metric Lie 3-algebras in Bagger-Lambert theory

de Medeiros, Paul; Figueroa-O'Farrill, José; Méndez-Escobar, Elena

2008-08-01

We recast physical properties of the Bagger-Lambert theory, such as shift-symmetry and decoupling of ghosts, the absence of scale and parity invariance, in Lie 3-algebraic terms, thus motivating the study of metric Lie 3-algebras and their Lie algebras of derivations. We prove a structure theorem for metric Lie 3-algebras in arbitrary signature showing that they can be constructed out of the simple and one-dimensional Lie 3-algebras iterating two constructions: orthogonal direct sum and a new construction called a double extension, by analogy with the similar construction for Lie algebras. We classify metric Lie 3-algebras of signature (2, p) and study their Lie algebras of derivations, including those which preserve the conformal class of the inner product. We revisit the 3-algebraic criteria spelt out at the start of the paper and select those algebras with signature (2, p) which satisfy them, as well as indicate the construction of more general metric Lie 3-algebras satisfying the ghost-decoupling criterion.

13. Algebraic reconstruction and postprocessing in one-step diffuse optical tomography

SciTech Connect

Konovalov, A B; Vlasov, V V; Mogilenskikh, D V; Kravtsenyuk, O V; Lyubimov, V V

2008-06-30

The photon average trajectory method is considered, which is used as an approximate method of diffuse optical tomography and is based on the solution of the Radon-like trajectory integral equation. A system of linear algebraic equations describing a discrete model of object reconstruction is once inverted by using a modified multiplicative algebraic technique. The blurring of diffusion tomograms is eliminated by using space-varying restoration and methods of nonlinear colour interpretation of data. The optical models of the breast tissue in the form of rectangular scattering objects with circular absorbing inhomogeneities are reconstructed within the framework of the numerical experiment from optical projections simulated for time-domain measurement technique. It is shown that the quality of diffusion tomograms reconstructed by this method is close to that of tomograms reconstructed by using Newton-like multistep algorithms, while the computational time is much shorter. (special issue devoted to application of laser technologies in biophotonics and biomedical studies)

14. Entropy of a generic null surface from its associated Virasoro algebra

Chakraborty, Sumanta; Bhattacharya, Sourav; Padmanabhan, T.

2016-12-01

Null surfaces act as one-way membranes, blocking information from those observers who do not cross them (e.g., in the black hole and the Rindler spacetimes) and these observers associate an entropy (and temperature) with the null surface. The black hole entropy can be computed from the central charge of an appropriately defined, local, Virasoro algebra on the horizon. We show that one can extend these ideas to a general class of null surfaces, all of which possess a Virasoro algebra and a central charge, leading to an entropy density (i.e., per unit area) which is just (1 / 4). All the previously known results of associating entropy with horizons arise as special cases of this very general property of null surfaces demonstrated here and we believe this work represents the derivation of the entropy-area law in the most general context. The implications are discussed.

15. Lie algebras for systems with mixed spectra. I. The scattering Pöschl-Teller potential

Frank, Alejandro; Wolf, Kurt Bernardo

1985-05-01

Starting from an N-body quantum space, we consider the Lie-algebraic framework where the Pöschl-Teller Hamiltonian, - 1/2 ∂2χ +c sech2 χ+s csch2 χ, is the single sp(2,R) Casimir operator. The spectrum of this system is mixed: it contains a finite number of negative-energy bound states and a positive-energy continuum of free states; it is identified with the Clebsch-Gordan series of the D+×D- representation coupling. The wave functions are the sp(2,R) Clebsch-Gordan coefficients of that coupling in the parabolic basis. Using only Lie-algebraic techniques, we find the asymptotic behavior of these wave functions; for the special pure-trough potential (s=0) we derive thus the transmission and reflection amplitudes of the scattering matrix.

16. Solving singular perturbation problem of second order ordinary differential equation using the method of matched asymptotic expansion (MMAE)

Mohamed, Firdawati binti; Karim, Mohamad Faisal bin Abd

2015-10-01

Modelling physical problems in mathematical form yields the governing equations that may be linear or nonlinear for known and unknown boundaries. The exact solution for those equations may or may not be obtained easily. Hence we seek an analytical approximation solution in terms of asymptotic expansion. In this study, we focus on a singular perturbation in second order ordinary differential equations. Solutions to several perturbed ordinary differential equations are obtained in terms of asymptotic expansion. The aim of this work is to find an approximate analytical solution using the classical method of matched asymptotic expansion (MMAE). The Mathematica computer algebra system is used to perform the algebraic computations. The details procedures will be discussed and the underlying concepts and principles of the MMAE will be clarified. Perturbation problem for linear equation that occurs at one boundary and two boundary layers are discussed. Approximate analytical solution obtained for both cases are illustrated by graph using selected parameter by showing the outer, inner and composite solution separately. Then, the composite solution will be compare to the exact solution to show their accuracy by graph. By comparison, MMAE is found to be one of the best methods to solve singular perturbation problems in second order ordinary differential equation since the results obtained are very close to the exact solution.

17. Perturbative quantization of two-dimensional space-time noncommutative QED

SciTech Connect

2010-02-15

Using the method of perturbative quantization in the first order approximation, we quantize a nonlocal QED-like theory including fermions and bosons whose interactions are described by terms containing higher order space-time derivatives. As an example, the two-dimensional space-time noncommutative QED (NC-QED) is quantized perturbatively up to O(e{sup 2},{theta}{sup 3}), where e is the NC-QED coupling constant and {theta} is the noncommutativity parameter. The resulting modified Lagrangian density is shown to include terms consisting of first order time-derivative and higher order space-derivatives of the modified field variables that satisfy the ordinary equal-time commutation relations up to O(e{sup 2},{theta}{sup 3}). Using these commutation relations, the canonical current algebra of the modified theory is also derived.

18. Superintegrability in Two Dimensions and the Racah-Wilson Algebra

Genest, Vincent X.; Vinet, Luc; Zhedanov, Alexei

2014-08-01

The analysis of the most general second-order superintegrable system in two dimensions: the generic 3-parameter model on the 2-sphere is cast in the framework of the Racah problem for the algebra. The Hamiltonian of the 3-parameter system and the generators of its quadratic symmetry algebra are seen to correspond to the total and intermediate Casimir operators of the combination of three algebras, respectively. The construction makes explicit the isomorphism between the Racah-Wilson algebra, which is the fundamental algebraic structure behind the Racah problem for , and the invariance algebra of the generic 3-parameter system. It also provides an explanation for the occurrence of the Racah polynomials as overlap coefficients in this context. The irreducible representations of the Racah-Wilson algebra are reviewed as well as their connection with the Askey scheme of classical orthogonal polynomials.

19. Generalized conformal realizations of Kac-Moody algebras

Palmkvist, Jakob

2009-01-01

We present a construction which associates an infinite sequence of Kac-Moody algebras, labeled by a positive integer n, to one single Jordan algebra. For n =1, this reduces to the well known Kantor-Koecher-Tits construction. Our generalization utilizes a new relation between different generalized Jordan triple systems, together with their known connections to Jordan and Lie algebras. Applied to the Jordan algebra of Hermitian 3×3 matrices over the division algebras R, C, H, O, the construction gives the exceptional Lie algebras f4, e6, e7, e8 for n =2. Moreover, we obtain their infinite-dimensional extensions for n ≥3. In the case of 2×2 matrices, the resulting Lie algebras are of the form so(p +n,q+n) and the concomitant nonlinear realization generalizes the conformal transformations in a spacetime of signature (p,q).

20. Perturbation analyses of intermolecular interactions