q-deformed conformal and Poincare algebras on quantum 4-spinors

International Nuclear Information System (INIS)

Kobayashi, Tatsuo; Uematsu, Tsuneo

1993-01-01

We investigate quantum deformation of conformal algebras by constructing the quantum space for sl q (4). The differential calculus on the quantum space and the action of the quantum generators are studied. We derive deformed su(2, 2) algebra from the deformed sl(4) algebra using the quantum 4-spinor and its conjugate spinor. The quantum 6-vector in so q (4, 2) is constructed as a tensor product of two sets of 4-spinors. We obtain the q-deformed conformal algebra with the suitable assignment of the generators which satisfy the reality condition. The deformed Poincare algebra is derived through a contraction procedure. (orig.)

Quasi-superconformal algebras in two dimensions and hamiltonian reduction

International Nuclear Information System (INIS)

Romans, L.J.

1991-01-01

In the standard quantum hamiltonian reduction, constraining the SL(3, R) WZNW model leads to a model of Zamolodchikov's W 3 -symmetry. In recent work, Polyakov and Bershadsky have considered an alternative reduction which leads to a new algebra, W 3 2 , a nonlinear extension of the Virasoro algebra by a spin-1 current and two bosonic spin-3/2 currents. Motivated by this result, we display two new infinite series of nonlinear extended conformal algebras, containing 2N bosonic spin-3/2 currents and spin-1 Kac-Moody currents for either U(N) or Sp(2 N); the W 3 2 algebra appears as the N = 1 member of the U(N) series. We discuss the relationship between these algebras and the Knizhnik-Bershadsky superconformal algebras, and provide realisations in terms of free fields coupled to Kac-Moody currents. We propose a specific procedure for obtaining the algebras for general N through hamiltonian reduction. (orig.)

Some results on the eigenfunctions of the quantum trigonometric Calogero-Sutherland model related to the Lie algebra D4

International Nuclear Information System (INIS)

Fernandez Nunez, J.; Garcia Fuertes, W.; Perelomov, A.M.

2003-01-01

We express the Hamiltonian of the quantum trigonometric Calogero-Sutherland model related to the Lie algebra D 4 in terms of a set of Weyl-invariant variables, namely, the characters of the fundamental representations of the Lie algebra. This parametrization allows us to solve for the energy eigenfunctions of the theory and to study properties of the system of orthogonal polynomials associated with them such as recurrence relations and generating functions

Exact boson mappings for nuclear neutron (proton) shell-model algebras having SU(3) subalgebras

International Nuclear Information System (INIS)

Bonatsos, D.; Klein, A.

1986-01-01

In this paper the commutation relations of the fermion pair operators of identical nucleons coupled to spin zero are given for the general nuclear major shell in LST coupling. The associated Lie algebras are the unitary symplectic algebras Sp(2M). The corresponding multipole subalgebras are the unitary algebras U(M), which possess SU(3) subalgebras. Number conserving exact boson mappings of both the Dyson and hermitian form are given for the nuclear neutron (proton) s--d, p--f, s--d--g, and p--f--h shells, and their group theoretical structure is emphasized. The results are directly applicable in the case of the s--d shell, while in higher shells the experimentally plausible pseudo-SU(3) symmetry makes them applicable. The final purpose of this work is to provide a link between the shell model and the Interacting Boson Model (IBM) in the deformed limit. As already implied in the work of Draayer and Hecht, it is difficult to associate the boson model developed here with the conventional IBM model. The differences between the two approaches (due mainly to the effects of the Pauli principle) as well as their physical implications are extensively discussed

Coherent states and classical limit of algebraic quantum models

International Nuclear Information System (INIS)

Scutaru, H.

1983-01-01

The algebraic models for collective motion in nuclear physics belong to a class of theories the basic observables of which generate selfadjoint representations of finite dimensional, real Lie algebras, or of the enveloping algebras of these Lie algebras. The simplest and most used for illustrations model of this kind is the Lipkin model, which is associated with the Lie algebra of the three dimensional rotations group, and which presents all characteristic features of an algebraic model. The Lipkin Hamiltonian is the image, of an element of the enveloping algebra of the algebra SO under a representation. In order to understand the structure of the algebraic models the author remarks that in both classical and quantum mechanics the dynamics is associated to a typical algebraic structure which we shall call a dynamical algebra. In this paper he shows how the constructions can be made in the case of the algebraic quantum systems. The construction of the symplectic manifold M can be made in this case using a quantum analog of the momentum map which he defines

Non-freely generated W-algebras and construction of N=2 super W-algebras

International Nuclear Information System (INIS)

Blumenhagen, R.

1994-07-01

Firstly, we investigate the origin of the bosonic W-algebras W(2, 3, 4, 5), W(2, 4, 6) and W(2, 4, 6) found earlier by direct construction. We present a coset construction for all three examples leading to a new type of finitely, non-freely generated quantum W-algebras, which we call unifying W-algebras. Secondly, we develop a manifest covariant formalism to construct N = 2 super W-algebras explicitly on a computer. Applying this algorithm enables us to construct the first four examples of N = 2 super W-algebras with two generators and the N = 2 super W 4 algebra involving three generators. The representation theory of the former ones shows that all examples could be divided into four classes, the largest one containing the N = 2 special type of spectral flow algebras. Besides the W-algebra of the CP(3) Kazama-Suzuki coset model, the latter example with three generators discloses a second solution which could also be explained as a unifying W-algebra for the CP(n) models. (orig.)

Multiple multi-orbit fermionic and bosonic pairing and rotational SU(3) algebras

International Nuclear Information System (INIS)

Kota, V.K.B.

2017-01-01

In nuclei with valence nucleons that are identical nucleons and occupy r number of j-orbits, there will be 2 r-1 number of multiple pairing (quasi-spin) SU(2) algebras with the generalized pair creation operator S + being a sum of single-j pair creation operators with arbitrary phases. Also, for each set of phases there will be a corresponding Sp(2Ω) algebra in U(2Ω) ⊃ Sp(2Ω); Ω = ∑ (2j+1)/2. Using this correspondence, derived is the condition for a general one-body operator of angular momentum rank k to be a quasi-spin scalar or a vector vis-a-vis the phases in S + . These will give special seniority selection rules for electromagnetic transitions. We found that the phase choice advocated by Arvieu and Moszkowski gives pairing Hamiltonians having maximum correlation with well known effective interactions. All the results derived for identical fermion systems are shown to extend to identical boson systems such as sd, sp, sdg and sdpf interacting boson models (IBM's) with SU(2) → SU(1,1) and Sp(2/Omega) → SO(2Ω). Going beyond pairing, for a given set of oscillator orbits, there are multiple rotational SU(3) algebras both in shell model and IBM's. Different SU(3) algebras in IBM's are shown, using sdg IBM as an example, to give different geometric shapes.

A new class of infinite-dimensional Lie algebras: an analytical continuation of the arbitrary finite-dimensional semisimple Lie algebra

International Nuclear Information System (INIS)

Fradkin, E.S.; Linetsky, V.Ya.

1990-06-01

With any semisimple Lie algebra g we associate an infinite-dimensional Lie algebra AC(g) which is an analytic continuation of g from its root system to its root lattice. The manifest expressions for the structure constants of analytic continuations of the symplectic Lie algebras sp2 n are obtained by Poisson-bracket realizations method and AC(g) for g=sl n and so n are discussed. The representations, central extension, supersymmetric and higher spin generalizations are considered. The Virasoro theory is a particular case when g=sp 2 . (author). 9 refs

The Relative Lie Algebra Cohomology of the Weil Representation

Science.gov (United States)

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 BMR], this author wrote with his advisor John Millson and Nicolas Bergeron of the University of Paris.

Toda theories, W-algebras, and minimal models

International Nuclear Information System (INIS)

Mansfield, P.; Spence, B.

1991-01-01

We discuss the classical W-algebra symmetries of Toda field theories in terms of the pseudo-differential Lax operator associated with the Toda Lax pair. We then show how the W-algebra transformations can be understood as the non-abelian gauge transformations which preserve the form of the Lax pair. This provides a new understanding of the W-algebras, and we discuss their closure and co-cycle structure using this approach. The quantum Lax operator is investigated, and we show that this operator, which generates the quantum W-algebra currents, is conserved in the conformally extended Toda theories. The W-algebra minimal model primary fields are shown to arise naturally in these theories, leading to the conjecture that the conformally extended Toda theories provide a lagrangian formulation of the W-algebra minimal models. (orig.)

On an extension of the Weil algebra

International Nuclear Information System (INIS)

Palev, Ch.

An extension of the Weil algebra Wsub(n), generated by an appropriate topology is considered. The topology is introduced in such a way that algebraic operations in Wsub(n) to be continuous. The algebraic operations in Wsub(n) are extended by a natural way to a complement, which is noted as an extended Weil algebra. It turns out that the last algebra contains isomorphically the Heisenberg group. By the same way an arbitrary enveloping algebra of a Lie group may be extended. The extended algebra will contain the initial Lie group. (S.P.)

On the algebraic realization of SU(4) symmetry

International Nuclear Information System (INIS)

Asatryan, G.M.; Zaslavsky, A.N.

1976-01-01

A possibility of nonlinear realization of the symmetry with linearization on the SU(4)xYxC group is discussed. Algebraic properties of SU(4) are restored from the Weinberg condition: amplitudes of goldstone scattering on particles should have a reasonable (as in the Regge theory) asymptotic behaviour. In this case the breaking appears to be minimal. Large values of psi meson masses lead to high-lying charmed trajectories in the SU(4) algebraic realization

Modeling digital switching circuits with linear algebra

CERN Document Server

Thornton, Mitchell A

2014-01-01

Modeling Digital Switching Circuits with Linear Algebra describes an approach for modeling digital information and circuitry that is an alternative to Boolean algebra. While the Boolean algebraic model has been wildly successful and is responsible for many advances in modern information technology, the approach described in this book offers new insight and different ways of solving problems. Modeling the bit as a vector instead of a scalar value in the set {0, 1} allows digital circuits to be characterized with transfer functions in the form of a linear transformation matrix. The use of transf

Invariant differential operators and characters of the AdS4 algebra

International Nuclear Information System (INIS)

Dobrev, V K

2006-01-01

The aim of this paper is to apply systematically to AdS 4 some modern tools in the representation theory of Lie algebras which are easily generalized to the supersymmetric and quantum group settings and necessary for applications to string theory and integrable models. Here we introduce the necessary representations of the AdS 4 algebra and group. We give explicitly all singular (null) vectors of the reducible AdS 4 Verma modules. These are used to obtain the AdS 4 invariant differential operators. Using this we display a new structure-a diagram involving four partially equivalent reducible representations one of which contains all finite-dimensional irreps of the AdS 4 algebra. We study in more detail the cases involving UIRs, in particular, the Di and the Rac singletons, and the massless UIRs. In the massless case, we discover the structure of sets of 2s 0 - 1 conserved currents for each spin s 0 UIR, s 0 = 1, 3/2,.... All massless cases are contained in a one-parameter subfamily of the quartet diagrams mentioned above, the parameter being the spin s 0 . Further we give the classification of the so(5,C) irreps presented in a diagrammatic way which makes easy the derivation of all character formulae. The paper concludes with a speculation on the possible applications of the character formulae to integrable models

W algebra in the SU(3) parafermion model

International Nuclear Information System (INIS)

Ding, X.; Fan, H.; Shi, K.; Wang, P.; Zhu, C.

1993-01-01

A construction of W 3 algebra for the SU(3) parafermion model is proposed, in which a Z algebra technique is used instead of the popular free-field realization. The central charge of the underlying algebra is different from known W algebras

Algebraic formulation of collective models. I. The mass quadrupole collective model

International Nuclear Information System (INIS)

Rosensteel, G.; Rowe, D.J.

1979-01-01

This paper is the first in a series of three which together present a microscopic formulation of the Bohr--Mottelson (BM) collective model of the nucleus. In this article the mass quadrupole collective (MQC) model is defined and shown to be a generalization of the BM model. The MQC model eliminates the small oscillation assumption of BM and also yields the rotational and CM (3) submodels by holonomic constraints on the MQC configuration space. In addition, the MQC model is demonstrated to be an algebraic model, so that the state space of the MQC model carries an irrep of a Lie algebra of microscopic observables, the MQC algebra. An infinite class of new collective models is then given by the various inequivalent irreps of this algebra. A microscopic embedding of the BM model is achieved by decomposing the representation of the MQC algebra on many-particle state space into its irreducible components. In the second paper this decomposition is studied in detail. The third paper presents the symplectic model, which provides the realization of the collective model in the harmonic oscillator shell model

An algebraic model for three-cluster giant molecules

International Nuclear Information System (INIS)

Hess, P.O.; Bijker, R.; Misicu, S.

2001-01-01

After an introduction to the algebraic U(7) model for three bodies, we present a relation of a geometrical description of three-cluster molecule to the algebraic U(7) model. Stiffness parameters of oscillations between each of two clusters are calculated and translated to the model parameter values of the algebraic model. The model is applied to the trinuclear system l32 Sn+ α + ll6 Pd which occurs in the ternary cold fission of 252 Cf. (Author)

Category-theoretic models of algebraic computer systems

Science.gov (United States)

Kovalyov, S. P.

2016-01-01

A computer system is said to be algebraic if it contains nodes that implement unconventional computation paradigms based on universal algebra. A category-based approach to modeling such systems that provides a theoretical basis for mapping tasks to these systems' architecture is proposed. The construction of algebraic models of general-purpose computations involving conditional statements and overflow control is formally described by a reflector in an appropriate category of algebras. It is proved that this reflector takes the modulo ring whose operations are implemented in the conventional arithmetic processors to the Łukasiewicz logic matrix. Enrichments of the set of ring operations that form bases in the Łukasiewicz logic matrix are found.

The Hopf algebra structure of the character rings of classical groups

International Nuclear Information System (INIS)

Fauser, Bertfried; Jarvis, Peter D; King, Ronald C

2013-01-01

The character ring Char-GL of covariant irreducible tensor representations of the general linear group admits a Hopf algebra structure isomorphic to the Hopf algebra Symm-Λ of symmetric functions. Here we study the character rings Char-O and Char-Sp of the orthogonal and symplectic subgroups of the general linear group within the same framework of symmetric functions. We show that Char-O and Char-Sp also admit natural Hopf algebra structures that are isomorphic to that of Char-GL, and hence to Symm-Λ. The isomorphisms are determined explicitly, along with the specification of standard bases for Char-O and Char-Sp analogous to those used for Symm-Λ. A major structural change arising from the adoption of these bases is the introduction of new orthogonal and symplectic Schur–Hall scalar products. Significantly, the adjoint with respect to multiplication no longer coincides, as it does in the Char-GL case, with a Foulkes derivative or skew operation. The adjoint and Foulkes derivative now require separate definitions, and their properties are explored here in the orthogonal and symplectic cases. Moreover, the Hopf algebras Char-O and Char-Sp are not self-dual. The dual Hopf algebras Char-O * and Char-Sp are identified. Finally, the Hopf algebra of the universal rational character ring Char-GLrat of mixed irreducible tensor representations of the general linear group is introduced and its structure maps identified. (paper)

Fusion algebras of logarithmic minimal models

International Nuclear Information System (INIS)

Rasmussen, Joergen; Pearce, Paul A

2007-01-01

We present explicit conjectures for the chiral fusion algebras of the logarithmic minimal models LM(p,p') considering Virasoro representations with no enlarged or extended symmetry algebra. The generators of fusion are countably infinite in number but the ensuing fusion rules are quasi-rational in the sense that the fusion of a finite number of representations decomposes into a finite direct sum of representations. The fusion rules are commutative, associative and exhibit an sl(2) structure but require so-called Kac representations which are typically reducible yet indecomposable representations of rank 1. In particular, the identity of the fundamental fusion algebra p ≠ 1 is a reducible yet indecomposable Kac representation of rank 1. We make detailed comparisons of our fusion rules with the results of Gaberdiel and Kausch for p = 1 and with Eberle and Flohr for (p, p') = (2, 5) corresponding to the logarithmic Yang-Lee model. In the latter case, we confirm the appearance of indecomposable representations of rank 3. We also find that closure of a fundamental fusion algebra is achieved without the introduction of indecomposable representations of rank higher than 3. The conjectured fusion rules are supported, within our lattice approach, by extensive numerical studies of the associated integrable lattice models. Details of our lattice findings and numerical results will be presented elsewhere. The agreement of our fusion rules with the previous fusion rules lends considerable support for the identification of the logarithmic minimal models LM(p,p') with the augmented c p,p' (minimal) models defined algebraically

Computational algebraic geometry of epidemic models

Science.gov (United States)

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.

Logarithmic sℓ-hat (2) CFT models from Nichols algebras: I

International Nuclear Information System (INIS)

Semikhatov, A M; Tipunin, I Yu

2013-01-01

We construct chiral algebras that centralize rank-2 Nichols algebras with at least one fermionic generator. This gives ‘logarithmic’ W-algebra extensions of a fractional-level sℓ-hat (2) algebra. We discuss crucial aspects of the emerging general relation between Nichols algebras and logarithmic conformal field theory (CFT) models: (i) the extra input, beyond the Nichols algebra proper, needed to uniquely specify a conformal model; (ii) a relation between the CFT counterparts of Nichols algebras connected by Weyl groupoid maps; and (iii) the common double bosonization U(X) of such Nichols algebras. For an extended chiral algebra, candidates for its simple modules that are counterparts of the U(X) simple modules are proposed, as a first step toward a functorial relation between U(X) and W-algebra representation categories. (paper)

D=2 and D=4 realization of κ-conformal algebra

International Nuclear Information System (INIS)

Klimek, M.

1996-01-01

The generators of κ-conformal transformations leaving the κ-deformed d'Alembert equation invariant are described. The algebraic structure of the conformal extension of the off-shell spin zero realization of κ-Poincare algebra is discussed for D=4. The D=2 off-shell realization of κ-conformal algebra for an arbitrary spin and its commutation relations were studied. 14 refs

Division algebras with integral elements

International Nuclear Information System (INIS)

Koca, M.; Ozdes, N.

1988-06-01

Pairing two elements of a given division algebra furnished with a multiplication rule leads to an algebra of higher dimension restricted by 8. This fact is used to obtain the roots of SO(4) and SP(2) from the roots ±1 of SU(2) and the weights ±1/2 of its spinor representation. The root lattice of SO(8) described by 24 integral quaternions are obtained by pairing two sets of roots of SP(2). The root system of F 4 is constructed in terms of 24 integral and 24 ''half-integral'' quaternions. The root lattice of E 8 expressed as 240 integral octonions are obtained by pairing two sets of roots of F 4 . 24 integral quaternions of SO(8) forming a discrete subgroup of SU(2) is shown to be the automorphism group of the root lattices of SO(8), F 4 and E 8 . The roots of maximal subgroups SO(16), E 7 XSU(2), E 6 XSU(3), SU(9) and SU(5)XSU(5) of E 8 are identified with a simple method. Subsets of the discrete subgroup of SU(2) leaving maximal subgroups of E 8 are obtained. Constructions of E 8 root lattice with integral octonions in 7 distinct ways are made. Magic square of integral lattices of Goddard, Nahm, Olive, Ruegg and Schwimmer are derived. Possible physical applications are suggested. (author). 16 refs, 6 figs, 5 tabs

A new (in)finite-dimensional algebra for quantum integrable models

International Nuclear Information System (INIS)

Baseilhac, Pascal; Koizumi, Kozo

2005-01-01

A new (in)finite-dimensional algebra which is a fundamental dynamical symmetry of a large class of (continuum or lattice) quantum integrable models is introduced and studied in details. Finite-dimensional representations are constructed and mutually commuting quantities-which ensure the integrability of the system-are written in terms of the fundamental generators of the new algebra. Relation with the deformed Dolan-Grady integrable structure recently discovered by one of the authors and Terwilliger's tridiagonal algebras is described. Remarkably, this (in)finite-dimensional algebra is a 'q-deformed' analogue of the original Onsager's algebra arising in the planar Ising model. Consequently, it provides a new and alternative algebraic framework for studying massive, as well as conformal, quantum integrable models

Current algebra of WZNW models at and away from criticality

International Nuclear Information System (INIS)

Abdalla, E.; Forger, M.

1992-01-01

In this paper, the authors derive the current algebra of principal chiral models with a Wess-Zumino term. At the critical coupling where the model becomes conformally invariant (Wess-Zumino-Novikov-Witten theory), this algebra reduces to two commuting Kac-Moody algebras, while in the limit where the coupling constant is taken to zero (ordinary chiral model), we recover the current algebra of that model. In this way, the latter is explicitly realized as a deformation of the former, with the coupling constant as the deformation parameter

Algebraic computability and enumeration models recursion theory and descriptive complexity

CERN Document Server

Nourani, Cyrus F

2016-01-01

This book, Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity, presents new techniques with functorial models to address important areas on pure mathematics and computability theory from the algebraic viewpoint. The reader is first introduced to categories and functorial models, with Kleene algebra examples for languages. Functorial models for Peano arithmetic are described toward important computational complexity areas on a Hilbert program, leading to computability with initial models. Infinite language categories are also introduced to explain descriptive complexity with recursive computability with admissible sets and urelements. Algebraic and categorical realizability is staged on several levels, addressing new computability questions with omitting types realizably. Further applications to computing with ultrafilters on sets and Turing degree computability are examined. Functorial models computability is presented with algebraic trees realizing intuitionistic type...

Chiral algebras in Landau-Ginzburg models

Science.gov (United States)

Dedushenko, Mykola

2018-03-01

Chiral algebras in the cohomology of the {\\overline{Q}}+ supercharge of two-dimensional N=(0,2) theories on flat spacetime are discussed. Using the supercurrent multiplet, we show that the answer is renormalization group invariant for theories with an R-symmetry. For N=(0,2) Landau-Ginzburg models, the chiral algebra is determined by the operator equations of motion, which preserve their classical form, and quantum renormalization of composite operators. We study these theories and then specialize to the N=(2,2) models and consider some examples.

Tensor models, Kronecker coefficients and permutation centralizer algebras

Science.gov (United States)

Geloun, Joseph Ben; Ramgoolam, Sanjaye

2017-11-01

We show that the counting of observables and correlators for a 3-index tensor model are organized by the structure of a family of permutation centralizer algebras. These algebras are shown to be semi-simple and their Wedderburn-Artin decompositions into matrix blocks are given in terms of Clebsch-Gordan coefficients of symmetric groups. The matrix basis for the algebras also gives an orthogonal basis for the tensor observables which diagonalizes the Gaussian two-point functions. The centres of the algebras are associated with correlators which are expressible in terms of Kronecker coefficients (Clebsch-Gordan multiplicities of symmetric groups). The color-exchange symmetry present in the Gaussian model, as well as a large class of interacting models, is used to refine the description of the permutation centralizer algebras. This discussion is extended to a general number of colors d: it is used to prove the integrality of an infinite family of number sequences related to color-symmetrizations of colored graphs, and expressible in terms of symmetric group representation theory data. Generalizing a connection between matrix models and Belyi maps, correlators in Gaussian tensor models are interpreted in terms of covers of singular 2-complexes. There is an intriguing difference, between matrix and higher rank tensor models, in the computational complexity of superficially comparable correlators of observables parametrized by Young diagrams.

A set for relational reasoning: Facilitation of algebraic modeling by a fraction task.

Science.gov (United States)

DeWolf, Melissa; Bassok, Miriam; Holyoak, Keith J

2016-12-01

Recent work has identified correlations between early mastery of fractions and later math achievement, especially in algebra. However, causal connections between aspects of reasoning with fractions and improved algebra performance have yet to be established. The current study investigated whether relational reasoning with fractions facilitates subsequent algebraic reasoning using both pre-algebra students and adult college students. Participants were first given either a relational reasoning fractions task or a fraction algebra procedures control task. Then, all participants solved word problems and constructed algebraic equations in either multiplication or division format. The word problems and the equation construction tasks involved simple multiplicative comparison statements such as "There are 4 times as many students as teachers in a classroom." Performance on the algebraic equation construction task was enhanced for participants who had previously completed the relational fractions task compared with those who completed the fraction algebra procedures task. This finding suggests that relational reasoning with fractions can establish a relational set that promotes students' tendency to model relations using algebraic expressions. Copyright © 2016 Elsevier Inc. All rights reserved.

Algebraic Modeling of Topological and Computational Structures and Applications

CERN Document Server

Theodorou, Doros; Stefaneas, Petros; Kauffman, Louis

2017-01-01

This interdisciplinary book covers a wide range of subjects, from pure mathematics (knots, braids, homotopy theory, number theory) to more applied mathematics (cryptography, algebraic specification of algorithms, dynamical systems) and concrete applications (modeling of polymers and ionic liquids, video, music and medical imaging). The main mathematical focus throughout the book is on algebraic modeling with particular emphasis on braid groups. The research methods include algebraic modeling using topological structures, such as knots, 3-manifolds, classical homotopy groups, and braid groups. The applications address the simulation of polymer chains and ionic liquids, as well as the modeling of natural phenomena via topological surgery. The treatment of computational structures, including finite fields and cryptography, focuses on the development of novel techniques. These techniques can be applied to the design of algebraic specifications for systems modeling and verification. This book is the outcome of a w...

Sp(2) covariant quantisation of general gauge theories

Energy Technology Data Exchange (ETDEWEB)

Vazquez-Bello, J L

1994-11-01

The Sp(2) covariant quantization of gauge theories is studied. The geometrical interpretation of gauge theories in terms of quasi principal fibre bundles Q(M{sub s}, G{sub s}) is reviewed. It is then described the Sp(2) algebra of ordinary Yang-Mills theory. A consistent formulation of covariant Lagrangian quantisation for general gauge theories based on Sp(2) BRST symmetry is established. The original N = 1, ten dimensional superparticle is considered as an example of infinitely reducible gauge algebras, and given explicitly its Sp(2) BRST invariant action. (author). 18 refs.

Sp(2) covariant quantisation of general gauge theories

International Nuclear Information System (INIS)

Vazquez-Bello, J.L.

1994-11-01

The Sp(2) covariant quantization of gauge theories is studied. The geometrical interpretation of gauge theories in terms of quasi principal fibre bundles Q(M s , G s ) is reviewed. It is then described the Sp(2) algebra of ordinary Yang-Mills theory. A consistent formulation of covariant Lagrangian quantisation for general gauge theories based on Sp(2) BRST symmetry is established. The original N = 1, ten dimensional superparticle is considered as an example of infinitely reducible gauge algebras, and given explicitly its Sp(2) BRST invariant action. (author). 18 refs

Exchange algebra and exotic supersymmetry in the Chiral Potts model

International Nuclear Information System (INIS)

Bernard, D.; Pasquier, V.

1989-01-01

We obtain an exchange algebra for the Chiral Potts model, the elements of which are linear in the parameters defining the rapidity curve. This enables us to connect the Chiral Potts model to a U q (GL(2)) algebra. On the other hand, looking at the model from the S-matrix point of view relates it to a Z N generalisation of the supersymmetric algebra

Hyper-lattice algebraic model for data warehousing

CERN Document Server

Sen, Soumya; Chaki, Nabendu

2016-01-01

This book presents Hyper-lattice, a new algebraic model for partially ordered sets, and an alternative to lattice. The authors analyze some of the shortcomings of conventional lattice structure and propose a novel algebraic structure in the form of Hyper-lattice to overcome problems with lattice. They establish how Hyper-lattice supports dynamic insertion of elements in a partial order set with a partial hierarchy between the set members. The authors present the characteristics and the different properties, showing how propositions and lemmas formalize Hyper-lattice as a new algebraic structure.

Algebra for Enterprise Ontology: towards analysis and synthesis of enterprise models

Science.gov (United States)

Suga, Tetsuya; Iijima, Junichi

2018-03-01

Enterprise modeling methodologies have made enterprises more likely to be the object of systems engineering rather than craftsmanship. However, the current state of research in enterprise modeling methodologies lacks investigations of the mathematical background embedded in these methodologies. Abstract algebra, a broad subfield of mathematics, and the study of algebraic structures may provide interesting implications in both theory and practice. Therefore, this research gives an empirical challenge to establish an algebraic structure for one aspect model proposed in Design & Engineering Methodology for Organizations (DEMO), which is a major enterprise modeling methodology in the spotlight as a modeling principle to capture the skeleton of enterprises for developing enterprise information systems. The results show that the aspect model behaves well in the sense of algebraic operations and indeed constructs a Boolean algebra. This article also discusses comparisons with other modeling languages and suggests future work.

Draft genome sequences of six neonatal meningitis-causing escherichia coli isolates (SP-4, SP-5, SP-13, SP-16, SP-46, and SP-65)

Science.gov (United States)

Neonatal meningitis Escherichia coli isolates (SP-4, SP-5, SP-13, SP-16, SP-46, and SP-65) were recovered from infants in the Netherlands from 1989 to 1997. Here, we report the draft genome sequences for these six E. coli isolates, which are currently being used to validate food safety processing te...

Representations of the Virasoro algebra from lattice models

International Nuclear Information System (INIS)

Koo, W.M.; Saleur, H.

1994-01-01

We investigate in detail how the Virasoro algebra appears in the scaling limit of the simplest lattice models of XXZ or RSOS type. Our approach is straightforward but to our knowledge had never been tried so far. We simply formulate a conjecture for the lattice stress-energy tensor motivated by the exact derivation of lattice global Ward identities. We then check that the proper algebraic relations are obeyed in the scaling limit. The latter is under reasonable control thanks to the Bethe-ansatz solution. The results, which are mostly numerical for technical reasons, are remarkably precise. They are also corroborated by exact pieces of information from various sources, in particular Temperley-Lieb algebra representation theory. Most features of the Virasoro algebra (like central term, null vectors, metric properties, etc.) can thus be observed using the lattice models. This seems of general interest for lattice field theory, and also more specifically for finding relations between conformal invariance and lattice integrability, since a basis for the irreducible representations of the Virasoro algebra should now follow (at least in principle) from Bethe-ansatz computations. ((orig.))

ExaSP2

Energy Technology Data Exchange (ETDEWEB)

2017-09-08

ExaSP2 is a reference implementation of typical linear algebra algorithms and workloads for a quantum molecular dynamics (QMD) electronic structure code. The algorithm is based on a recursive second-order Fermi-Operator expansion method (SP2) and is tailored for density functional based tight-binding calculations of material systems.

Algebraic aspects of exact models

International Nuclear Information System (INIS)

Gaudin, M.

1983-01-01

Spin chains, 2-D spin lattices, chemical crystals, and particles in delta function interaction share the same underlying structures: the applicability of Bethe's superposition ansatz for wave functions, the commutativity of transfer matrices, and the existence of a ternary operator algebra. The appearance of these structures and interrelations from the eight vortex model, for delta function interreacting particles of general spin, and for spin 1/2, are outlined as follows: I. Eight Vortex Model. Equivalences to Ising model and the dimer system. Transfer matrix and symmetry of the Self Conjugate model. Relation between the XYZ Hamiltonian and the transfer matrix. One parameter family of commuting transfer matrices. A representation of the symmetric group spin. Diagonalization of the transfer matrix. The Coupled Spectrum equations. II. Identical particles with Delta Function interaction. The Bethe ansatz. Yang's representation. The Ternary Algebra and intergrability. III. Identical particles with delta function interaction: general solution for two internal states. The problem of spin 1/2 fermions. The Operator method

An algebraic approach to modeling in software engineering

International Nuclear Information System (INIS)

Loegel, C.J.; Ravishankar, C.V.

1993-09-01

Our work couples the formalism of universal algebras with the engineering techniques of mathematical modeling to develop a new approach to the software engineering process. Our purpose in using this combination is twofold. First, abstract data types and their specification using universal algebras can be considered a common point between the practical requirements of software engineering and the formal specification of software systems. Second, mathematical modeling principles provide us with a means for effectively analyzing real-world systems. We first use modeling techniques to analyze a system and then represent the analysis using universal algebras. The rest of the software engineering process exploits properties of universal algebras that preserve the structure of our original model. This paper describes our software engineering process and our experience using it on both research and commercial systems. We need a new approach because current software engineering practices often deliver software that is difficult to develop and maintain. Formal software engineering approaches use universal algebras to describe ''computer science'' objects like abstract data types, but in practice software errors are often caused because ''real-world'' objects are improperly modeled. There is a large semantic gap between the customer's objects and abstract data types. In contrast, mathematical modeling uses engineering techniques to construct valid models for real-world systems, but these models are often implemented in an ad hoc manner. A combination of the best features of both approaches would enable software engineering to formally specify and develop software systems that better model real systems. Software engineering, like mathematical modeling, should concern itself first and foremost with understanding a real system and its behavior under given circumstances, and then with expressing this knowledge in an executable form

Algebraic K-theory of generalized schemes

DEFF Research Database (Denmark)

Anevski, Stella Victoria Desiree

and geometry over the field with one element. It also permits the construction of important Arakelov theoretical objects, such as the completion \\Spec Z of Spec Z. In this thesis, we prove a projective bundle theorem for the eld with one element and compute the Chow rings of the generalized schemes Sp\\ec ZN......Nikolai Durov has developed a generalization of conventional scheme theory in which commutative algebraic monads replace commutative unital rings as the basic algebraic objects. The resulting geometry is expressive enough to encompass conventional scheme theory, tropical algebraic geometry......, appearing in the construction of \\Spec Z....

Observable algebras for the rational and trigonometric Euler-Calogero-Moser Models

International Nuclear Information System (INIS)

Avan, J.; Billey, E.

1995-01-01

We construct polynomial Poisson algebras of observables for the classical Euler-Calogero-Moser (ECM) models. Their structure connects them to flavour-indexed non-linear W ∞ algebras, albeit with qualitative differences. The conserved Hamiltonians and symmetry algebras derived in a previous work are subsets of these algebra. We define their linear, N →∞ limits, realizing W ∞ type algebras coupled to current algebras. ((orig.))

Schematic limits of rank 4 Azumaya bundles are the locally-Witt algebras

International Nuclear Information System (INIS)

Venkata Balaji, T.E.

2002-07-01

It is shown that the schematic image of the scheme of Azumaya algebra structures on a vector bundle of rank 4 over any base scheme is separated, of finite type, smooth of relative dimension 13 and geometrically irreducible over that base and that this construction base-changes well. This generalises the main theorem of Part I of an earlier work and clarifies it by showing that the algebraic operation of forming the even Clifford algebra (=Witt algebra) of a rank 3 quadratic module essentially translates to performing the geometric operation of taking the schematic image of the scheme of Azumaya algebra structures. (author)

A process algebra model of QED

International Nuclear Information System (INIS)

Sulis, William

2016-01-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. (paper)

The $W_{3}$ algebra modules, semi-infinite cohomology and BV algebras

CERN Document Server

Bouwknegt, Peter; Pilch, Krzysztof

1996-01-01

The noncritical D=4 W_3 string is a model of W_3 gravity coupled to two free scalar fields. In this paper we discuss its BRST quantization in direct analogy with that of the D=2 (Virasoro) string. In particular, we calculate the physical spectrum as a problem in BRST cohomology. The corresponding operator cohomology forms a BV-algebra. We model this BV-algebra on that of the polyderivations of a commutative ring on six variables with a quadratic constraint, or equivalently, on the BV-algebra of (polynomial) polyvector fields on the base affine space of SL(3,C). In this paper we attempt to present a complete summary of the progress made in these studies. [...

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

Science.gov (United States)

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.

SDG Fermion-Pair Algebraic SO(12) and Sp(10) Models and Their Boson Realizations

Science.gov (United States)

Navratil, P.; Geyer, H. B.; Dobes, J.; Dobaczewski, J.

1995-11-01

It is shown how the boson mapping formalism may be applied as a useful many-body tool to solve a fermion problem. This is done in the context of generalized Ginocchio models for which we introduce S-, D-, and G-pairs of fermions and subsequently construct the sdg-boson realizations of the generalized Dyson type. The constructed SO(12) and Sp(10) fermion models are solved beyond the explicit symmetry limits. Phase transitions to rotational structures are obtained also in situations where there is no underlying SU(3) symmetry.

Towards Model Checking Stochastic Process Algebra

NARCIS (Netherlands)

Hermanns, H.; Grieskamp, W.; Santen, T.; Katoen, Joost P.; Stoddart, B.; Meyer-Kayser, J.; Siegle, M.

2000-01-01

Stochastic process algebras have been proven useful because they allow behaviour-oriented performance and reliability modelling. As opposed to traditional performance modelling techniques, the behaviour- oriented style supports composition and abstraction in a natural way. However, analysis of

Current algebra of classical non-linear sigma models

International Nuclear Information System (INIS)

Forger, M.; Laartz, J.; Schaeper, U.

1992-01-01

The current algebra of classical non-linear sigma models on arbitrary Riemannian manifolds is analyzed. It is found that introducing, in addition to the Noether current j μ associated with the global symmetry of the theory, a composite scalar field j, the algebra closes under Poisson brackets. (orig.)

Algebraic Specifications, Higher-order Types and Set-theoretic Models

DEFF Research Database (Denmark)

Kirchner, Hélène; Mosses, Peter David

2001-01-01

, and power-sets. This paper presents a simple framework for algebraic specifications with higher-order types and set-theoretic models. It may be regarded as the basis for a Horn-clause approximation to the Z framework, and has the advantage of being amenable to prototyping and automated reasoning. Standard......In most algebraic  specification frameworks, the type system is restricted to sorts, subsorts, and first-order function types. This is in marked contrast to the so-called model-oriented frameworks, which provide higer-order types, interpreted set-theoretically as Cartesian products, function spaces...... set-theoretic models are considered, and conditions are given for the existence of initial reduct's of such models. Algebraic specifications for various set-theoretic concepts are considered....

SDG fermion-pair algebraic SO(12) and Sp(10) models and their boson realizations

International Nuclear Information System (INIS)

Navatil, P.; Geyer, H.B.; Dobes, J.

1995-01-01

It is shown how the boson mapping formalism may be applied as a useful many-body tool to solve a fermion problem. This is done in the context of generalized Ginocchio models for which the authors introduce S-, D-, and G-pairs of fermions and subsequently construct the sdg-boson realizations of the generalized Dyson type. The constructed SO(12) and Sp(10) fermion models are solved beyond the explicit symmetry limits. Phase transitions to rotational structures are obtained also in situations where there is no underlying SU(3) symmetry. 34 refs., 5 figs., 2 tabs

Anisotropic correlated electron model associated with the Temperley-Lieb algebra

International Nuclear Information System (INIS)

Foerster, Angela; Links, Jon; Roditi, Itzhak

1997-12-01

We present and anisotropic correlated electron model on a periodic lattice, constructed from an R-matrix associated with the Temperley-Lieb algebra. By modification of the coupling of the first and last sites we obtain a model with quantum algebra invariance. (author)

Algebraic Traveling Wave Solutions of a Non-local Hydrodynamic-type Model

International Nuclear Information System (INIS)

Chen, Aiyong; Zhu, Wenjing; Qiao, Zhijun; Huang, Wentao

2014-01-01

In this paper we consider the algebraic traveling wave solutions of a non-local hydrodynamic-type model. It is shown that algebraic traveling wave solutions exist if and only if an associated first order ordinary differential system has invariant algebraic curve. The dynamical behavior of the associated ordinary differential system is analyzed. Phase portraits of the associated ordinary differential system is provided under various parameter conditions. Moreover, we classify algebraic traveling wave solutions of the model. Some explicit formulas of smooth solitary wave and cuspon solutions are obtained

Kac-Moody algebra is not hidden symmetry of chiral models

International Nuclear Information System (INIS)

Devchand, C.; Schiff, J.

1997-01-01

A detailed examination of the infinite dimensional loop algebra of hidden symmetry transformations of the Principal Chiral Model reveals it to have a structure differing from a standard centreless Kac-Moody algebra. A new infinite dimensional Abelian symmetry algebra is shown to preserve a symplectic form on the space of solutions. (author). 15 refs

An application of the division algebras, Jordan algebras and split composition algebras

International Nuclear Information System (INIS)

Foot, R.; Joshi, G.C.

1992-01-01

It has been established that the covering group of the Lorentz group in D = 3, 4, 6, 10 can be expressed in a unified way, based on the four composition division algebras R, C, Q and O. In this paper, the authors discuss, in this framework, the role of the complex numbers of quantum mechanics. A unified treatment of quantum-mechanical spinors is given. The authors provide an explicit demonstration that the vector and spinor transformations recently constructed from a subgroup of the reduced structure group of the Jordan algebras M n 3 are indeed the Lorentz transformations. The authors also show that if the division algebras in the construction of the covering groups of the Lorentz groups in D = 3, 4, 6, 10 are replaced by the split composition algebras, then the sequence of groups SO(2, 2), SO(3, 3) and SO(5, 5) result. The analysis is presumed to be self-contained as the relevant aspects of the division algebras and Jordan algebras are reviewed. Some applications to physical theory are indicated

Non-commutative algebra of functions of 4-dimensional quantum Hall droplet

International Nuclear Information System (INIS)

Chen Yixin; Hou Boyu; Hou Boyuan

2002-01-01

We develop the description of non-commutative geometry of the 4-dimensional quantum Hall fluid's theory proposed recently by Zhang and Hu. The non-commutative structure of fuzzy S 4 , which is the base of the bundle S 7 obtained by the second Hopf fibration, i.e., S 7 /S 3 =S 4 , appears naturally in this theory. The fuzzy monopole harmonics, which are the essential elements in the non-commutative algebra of functions on S 4 , are explicitly constructed and their obeying the matrix algebra is obtained. This matrix algebra is associative. We also propose a fusion scheme of the fuzzy monopole harmonics of the coupling system from those of the subsystems, and determine the fusion rule in such fusion scheme. By products, we provide some essential ingredients of the theory of SO(5) angular momentum. In particular, the explicit expression of the coupling coefficients, in the theory of SO(5) angular momentum, are given. We also discuss some possible applications of our results to the 4-dimensional quantum Hall system and the matrix brane construction in M-theory

Algebraic approach to small-world network models

Science.gov (United States)

Rudolph-Lilith, Michelle; Muller, Lyle E.

2014-01-01

We introduce an analytic model for directed Watts-Strogatz small-world graphs and deduce an algebraic expression of its defining adjacency matrix. The latter is then used to calculate the small-world digraph's asymmetry index and clustering coefficient in an analytically exact fashion, valid nonasymptotically for all graph sizes. The proposed approach is general and can be applied to all algebraically well-defined graph-theoretical measures, thus allowing for an analytical investigation of finite-size small-world graphs.

SP(6) X SU(2) and SO(8) X SU(2) - symmetric fermion-dynamic model of multinucleon systems

International Nuclear Information System (INIS)

Baktybaev, K.

2007-01-01

In last years a new approach describing collective states of multinucleon system on the base of their fermion dynamic symmetry was developed. Such fermion model is broad and logical one in comparison with the phenomenological model of interacting bosons. In cut fermion S- and D- pair spaces complicated nucleons interactions are approximating in that way so multinucleon system Hamiltonian becomes a simple function of fermion generators forming corresponding Lie algebra. Correlation fermion pairs are structured in such form so its operators of birth and destruction together with a set multiband operators are formed Sp(6) and SO(8) algebra of these pairs and SU(2)-algebra for so named anomalous pairs. For convenience at the model practical application to concrete systems the dynamical-symmetric Hamiltonian is writing by means of independent Casimir operators of subgroup are reductions of a large group. It is revealed, that observed Hamiltonians besides the known SU 3 , and SO 6 asymptotic borders have also more complicated 'vibration-like' borders SO 7 , SO 5 XSU 2 and SU 2 XSO 3 . In the paper both advantages and disadvantages of these borders and some its applications to specific nuclear systems are discussing

Prolonged Ketamine Effects in Sp4 Hypomorphic Mice: Mimicking Phenotypes of Schizophrenia.

Directory of Open Access Journals (Sweden)

Baohu Ji

Full Text Available It has been well established that schizophrenia patients display impaired NMDA receptor (NMDAR functions as well as exacerbation of symptoms in response to NMDAR antagonists. Abnormal NMDAR signaling presumably contributes to cognitive deficits which substantially contribute to functional disability in schizophrenia. Establishing a mouse genetic model will help investigate molecular mechanisms of hypoglutmatergic neurotransmission in schizophrenia. Here, we examined the responses of Sp4 hypomorphic mice to NMDAR antagonists in electroencephalography and various behavioral paradigms. Sp4 hypomorphic mice, previously reported to have reduced NMDAR1 expression and LTP deficit in hippocampal CA1, displayed increased sensitivity and prolonged responses to NMDAR antagonists. Molecular studies demonstrated reduced expression of glutamic acid decarboxylase 67 (GAD67 in both cortex and hippocampus, consistent with abnormal gamma oscillations in Sp4 hypomorphic mice. On the other hand, human SP4 gene was reported to be deleted in schizophrenia. Several human genetic studies suggested the association of SP4 gene with schizophrenia and other psychiatric disorders. Therefore, elucidation of the Sp4 molecular pathway in Sp4 hypomorphic mice may provide novel insights to our understanding of abnormal NMDAR signaling in schizophrenia.

An algebraic formulation of level one Wess-Zumino-Witten models

International Nuclear Information System (INIS)

Boeckenhauer, J.

1995-07-01

The highest weight modules of the chiral algebra of orthogonal WZW models at level one possess a realization in fermionic representation spaces; the Kac-Moody and Virasoro generators are represented as unbounded limits of even CAR algebras. It is shown that the representation theory of the underlying even CAR algebras reproduces precisely the sectors of the chiral algebra. This fact allows to develop a theory of local von Neumann algebras on the punctured circle, fitting nicely in the Doplicher-Haag-Roberts framework. The relevant localized endomorphisms which generate the charged sectors are explicitly constructed by means of Bogoliubov transformations. Using CAR theory, the fusion rules in terms of sector equivalence classes are proven. (orig.)

Current algebra, statistical mechanics and quantum models

Science.gov (United States)

Vilela Mendes, R.

2017-11-01

Results obtained in the past for free boson systems at zero and nonzero temperatures are revisited to clarify the physical meaning of current algebra reducible functionals which are associated to systems with density fluctuations, leading to observable effects on phase transitions. To use current algebra as a tool for the formulation of quantum statistical mechanics amounts to the construction of unitary representations of diffeomorphism groups. Two mathematical equivalent procedures exist for this purpose. One searches for quasi-invariant measures on configuration spaces, the other for a cyclic vector in Hilbert space. Here, one argues that the second approach is closer to the physical intuition when modelling complex systems. An example of application of the current algebra methodology to the pairing phenomenon in two-dimensional fermion systems is discussed.

Twisted classical Poincare algebras

International Nuclear Information System (INIS)

Lukierski, J.; Ruegg, H.; Tolstoy, V.N.; Nowicki, A.

1993-11-01

We consider the twisting of Hopf structure for classical enveloping algebra U(g), where g is the inhomogeneous rotations algebra, with explicite formulae given for D=4 Poincare algebra (g=P 4 ). The comultiplications of twisted U F (P 4 ) are obtained by conjugating primitive classical coproducts by F element of U(c)xU(c), where c denotes any Abelian subalgebra of P 4 , and the universal R-matrices for U F (P 4 ) are triangular. As an example we show that the quantum deformation of Poincare algebra recently proposed by Chaichian and Demiczev is a twisted classical Poincare algebra. The interpretation of twisted Poincare algebra as describing relativistic symmetries with clustered 2-particle states is proposed. (orig.)

The algebraic curve of 1-loop planar N=4 SYM

International Nuclear Information System (INIS)

Schaefer-Nameki, S.

2004-12-01

The algebraic curve for the psu(2,2 vertical stroke 4) quantum spin chain is determined from the thermodynamic limit of the algebraic Bethe ansatz. The Hamiltonian of this spin chain has been identified with the planar 1-loop dilatation operator of N=4 SYM. In the dual AdS 5 x S 5 string theory, various properties of the data defining the curve for the gauge theory are compared to the ones obtained from semiclassical spinning-string configurations, in particular for the case of strings on AdS 5 x S 1 and the su(2,2) spin chain agreement of the curves is shown. (orig.)

Experimental Tests of the Algebraic Cluster Model

Science.gov (United States)

Gai, Moshe

2018-02-01

The Algebraic Cluster Model (ACM) of Bijker and Iachello that was proposed already in 2000 has been recently applied to 12C and 16O with much success. We review the current status in 12C with the outstanding observation of the ground state rotational band composed of the spin-parity states of: 0+, 2+, 3-, 4± and 5-. The observation of the 4± parity doublet is a characteristic of (tri-atomic) molecular configuration where the three alpha- particles are arranged in an equilateral triangular configuration of a symmetric spinning top. We discuss future measurement with electron scattering, 12C(e,e’) to test the predicted B(Eλ) of the ACM.

Kac--Moody current algebras of D = 2 massless gauge theories, their representations and applications

International Nuclear Information System (INIS)

Craigie, N.S.; Nahm, W.; Narain, K.S.

1987-01-01

We give a classification of the Kac--Moody current algebras of all the possible massless fermion-gauge theories in two dimensions. It is shown that only Kac--Moody algebras based on A/sub N/, B/sub N/, C/sub N/, and D/sub N/ in the Cartan classification with all possible central charge occur.The representation of local fermion fields and simply laced Kac--Moody algebras with minimal central charge in terms of free boson fields on a compactified space is discussed in detail, where stress is laid on the role played by the boundary conditions on the various collective modes. Fractional solitons and the possible soliton representation of certain nonsimply laced algebras is also analysed. We briefly discuss the relationship between the massless bound state sector of these two-dimensional gauge theories and the critically coupled two-dimensional nonlinear sigma model, which share the same current algebra. Finally we briefly discuss the relevance of Sp(n) Kac--Moody algebras to the physics of monopole-fermion systems. copyright 1987 Academic Press, Inc

The algebra of non-local charges in non-linear sigma models

International Nuclear Information System (INIS)

Abdalla, E.; Abdalla, M.C.B.; Brunelli, J.C.; Zadra, A.

1994-01-01

It is derived the complete Dirac algebra satisfied by non-local charges conserved in non-linear sigma models. Some examples of calculation are given for the O(N) symmetry group. The resulting algebra corresponds to a saturated cubic deformation (with only maximum order terms) of the Kac-Moody algebra. The results are generalized for when a Wess-Zumino term be present. In that case the algebra contains a minor order correction (sub-saturation). (author). 1 ref

Model Checking Processes Specified In Join-Calculus Algebra

Directory of Open Access Journals (Sweden)

Sławomir Piotr Maludziński

2014-01-01

Full Text Available This article presents a model checking tool used to verify concurrent systems specified in join-calculus algebra. The temporal properties of systems under verification are expressed in CTL logic. Join-calculus algebra with its operational semantics defined by the chemical abstract machine serves as the basic method for the specification of concurrent systems and their synchronization mechanisms, and allows the examination of more complex systems.

{kappa}-deformed realization of D=4 conformal algebra

Energy Technology Data Exchange (ETDEWEB)

Klimek, M. [Technical Univ. of Czestochowa, Inst. of Mathematics and Computer Science, Czestochowa (Poland); Lukierski, J. [Universite de Geneve, Department de Physique Theorique, Geneve (Switzerland)

1995-07-01

We describe the generators of {kappa}-conformal transformations, leaving invariant the {kappa}-deformed d`Alembert equation. In such a way one obtains the conformal extension of-shell spin spin zero realization of {kappa}-deformed Poincare algebra. Finally the algebraic structure of {kappa}-deformed conformal algebra is discussed. (author). 23 refs.

Identification of dynamical Lie algebras for finite-level quantum control systems

Energy Technology Data Exchange (ETDEWEB)

Schirmer, S.G.; Pullen, I.C.H.; Solomon, A.I. [Quantum Processes Group and Department of Applied Maths, Open University, Milton Keynes (United Kingdom)]. E-mails: S.G.Schirmer@open.ac.uk; I.C.H.Pullen@open.ac.uk; A.I.Solomon@open.ac.uk

2002-03-08

The problem of identifying the dynamical Lie algebras of finite-level quantum systems subject to external control is considered, with special emphasis on systems that are not completely controllable. In particular, it is shown that the dynamical Lie algebra for an N-level system with symmetrically coupled transitions, such as a system with equally spaced energy levels and uniform transition dipole moments, is a subalgebra of so(N) if N=2l+1, and a subalgebra of sp(l) if N=2l. General criteria for obtaining either so(2l+1) or sp(l) are established. (author)

Constraint Lie algebra and local physical Hamiltonian for a generic 2D dilatonic model

International Nuclear Information System (INIS)

Corichi, Alejandro; Karami, Asieh; Rastgoo, Saeed; Vukašinac, Tatjana

2016-01-01

We consider a class of two-dimensional dilatonic models, and revisit them from the perspective of a new set of ‘polar type’ variables. These are motivated by recently defined variables within the spherically symmetric sector of 4D general relativity. We show that for a large class of dilatonic models, including the case with matter, one can perform a series of canonical transformations in such a way that the Poisson algebra of the constraints becomes a Lie algebra. Furthermore, we construct Dirac observables and a reduced Hamiltonian that accounts for the time evolution of the system. (paper)

The algebra of non-local charges in non-linear sigma models

International Nuclear Information System (INIS)

Abdalla, E.; Abdalla, M.C.B.; Brunelli, J.C.; Zadra, A.

1993-07-01

We obtain the exact Dirac algebra obeyed by the conserved non-local charges in bosonic non-linear sigma models. Part of the computation is specialized for a symmetry group O(N). As it turns out the algebra corresponds to a cubic deformation of the Kac-Moody algebra. The non-linear terms are computed in closed form. In each Dirac bracket we only find highest order terms (as explained in the paper), defining a saturated algebra. We generalize the results for the presence of a Wess-Zumino term. The algebra is very similar to the previous one, containing now a calculable correction of order one unit lower. (author). 22 refs, 5 figs

Superspace formulation in a three-algebra approach to D=3, N=4, 5 superconformal Chern-Simons matter theories

International Nuclear Information System (INIS)

Chen Famin; Wu Yongshi

2010-01-01

We present a superspace formulation of the D=3, N=4, 5 superconformal Chern-Simons Matter theories, with matter supermultiplets valued in a symplectic 3-algebra. We first construct an N=1 superconformal action and then generalize a method used by Gaitto and Witten to enhance the supersymmetry from N=1 to N=5. By decomposing the N=5 supermultiplets and the symplectic 3-algebra properly and proposing a new superpotential term, we construct the N=4 superconformal Chern-Simons matter theories in terms of two sets of generators of a (quaternion) symplectic 3-algebra. The N=4 theories can also be derived by requiring that the supersymmetry transformations are closed on-shell. The relationship between the 3-algebras, Lie superalgebras, Lie algebras, and embedding tensors (proposed in [E. A. Bergshoeff, O. Hohm, D. Roest, H. Samtleben, and E. Sezgin, J. High Energy Phys. 09 (2008) 101.]) is also clarified. The general N=4, 5 superconformal Chern-Simons matter theories in terms of ordinary Lie algebras can be re-derived in our 3-algebra approach. All known N=4, 5 superconformal Chern-Simons matter theories can be recovered in the present superspace formulation for super-Lie algebra realization of symplectic 3-algebras.

Special set linear algebra and special set fuzzy linear algebra

OpenAIRE

Kandasamy, W. B. Vasantha; Smarandache, Florentin; Ilanthenral, K.

2009-01-01

The authors in this book introduce the notion of special set linear algebra and special set fuzzy Linear algebra, which is an extension of the notion set linear algebra and set fuzzy linear algebra. These concepts are best suited in the application of multi expert models and cryptology. This book has five chapters. In chapter one the basic concepts about set linear algebra is given in order to make this book a self contained one. The notion of special set linear algebra and their fuzzy analog...

Galilean contractions of W-algebras

Directory of Open Access Journals (Sweden)

Jørgen Rasmussen

2017-09-01

Full Text Available Infinite-dimensional Galilean conformal algebras can be constructed by contracting pairs of symmetry algebras in conformal field theory, such as W-algebras. Known examples include contractions of pairs of the Virasoro algebra, its N=1 superconformal extension, or the W3 algebra. Here, we introduce a contraction prescription of the corresponding operator-product algebras, or equivalently, a prescription for contracting tensor products of vertex algebras. With this, we work out the Galilean conformal algebras arising from contractions of N=2 and N=4 superconformal algebras as well as of the W-algebras W(2,4, W(2,6, W4, and W5. The latter results provide evidence for the existence of a whole new class of W-algebras which we call Galilean W-algebras. We also apply the contraction prescription to affine Lie algebras and find that the ensuing Galilean affine algebras admit a Sugawara construction. The corresponding central charge is level-independent and given by twice the dimension of the underlying finite-dimensional Lie algebra. Finally, applications of our results to the characterisation of structure constants in W-algebras are proposed.

Polynomial algebra of discrete models in systems biology.

Science.gov (United States)

Veliz-Cuba, Alan; Jarrah, Abdul Salam; Laubenbacher, Reinhard

2010-07-01

An increasing number of discrete mathematical models are being published in Systems Biology, ranging from Boolean network models to logical models and Petri nets. They are used to model a variety of biochemical networks, such as metabolic networks, gene regulatory networks and signal transduction networks. There is increasing evidence that such models can capture key dynamic features of biological networks and can be used successfully for hypothesis generation. This article provides a unified framework that can aid the mathematical analysis of Boolean network models, logical models and Petri nets. They can be represented as polynomial dynamical systems, which allows the use of a variety of mathematical tools from computer algebra for their analysis. Algorithms are presented for the translation into polynomial dynamical systems. Examples are given of how polynomial algebra can be used for the model analysis. alanavc@vt.edu Supplementary data are available at Bioinformatics online.

Non-relativistic Bondi-Metzner-Sachs algebra

Science.gov (United States)

Batlle, Carles; Delmastro, Diego; Gomis, Joaquim

2017-09-01

We construct two possible candidates for non-relativistic bms4 algebra in four space-time dimensions by contracting the original relativistic bms4 algebra. bms4 algebra is infinite-dimensional and it contains the generators of the Poincaré algebra, together with the so-called super-translations. Similarly, the proposed nrbms4 algebras can be regarded as two infinite-dimensional extensions of the Bargmann algebra. We also study a canonical realization of one of these algebras in terms of the Fourier modes of a free Schrödinger field, mimicking the canonical realization of relativistic bms4 algebra using a free Klein-Gordon field.

Generalized algebra-valued models of set theory

NARCIS (Netherlands)

Löwe, B.; Tarafder, S.

2015-01-01

We generalize the construction of lattice-valued models of set theory due to Takeuti, Titani, Kozawa and Ozawa to a wider class of algebras and show that this yields a model of a paraconsistent logic that validates all axioms of the negation-free fragment of Zermelo-Fraenkel set theory.

Radioiodinate labeling of atherosclerotic plaque imaging agent SP-4 and preliminary experiments

International Nuclear Information System (INIS)

Zhang, Y.; Wu, Z.

2000-01-01

SP-4 was oligopeptide contained 18 amino-acid. It was a part of apolipoprotein B. To study labeling SP-4 with 131 I and its clinical prospect as an atherosclerotic plaque imaging agent. SP-4 was synthesized by solid phase method and identified by amino acid analysis after purification with preparation-model HPLC. SP-4 was labeled with 131 I by the Chloramine-T method and purified through Sephadex G-25, then the radiochemical purity of 131 SP-4 and its stability in vitro were analyzed. 12 New Zealand rabbits were divided into atherosclerosis group (n=7, group A) and control group (n=5, group B). All of them were administrated with bovine serum albumen through i.v., then the rabbits of group A were fed on high cholesterol and high fat diet and group B, on normal diet. Purified 131 I-SP-4 was injected intravenously. %ID/g in blood and thoracic aorta and abdominal aorta at 4 hrs after injection and biodistribution of 131 I-SP-4 was investigated. The amino acid formation of the pure product was identified to be correct through amino-acid analysis. The radiochemical purity of 131 I-SP-4 was 96.2% after being purified, but less than 90% after being stored for 20 hrs. One of 7 rabbits in group A died after being fed for three weeks, the others were alive and atherosclerotic lesions were found after being fed for two mon. On the contrary, 5 rabbits in group B were visualized not to have atherosclerotic lesions. The uptakes of group A and group B at 4 hr after injection were 0.0378±0.0028 and 0.0371±0.038 in blood (p>0.05), 0.0882 ±0.0101 and 0.0276 ±0.0044 in abdominal aorta (p 131 I-SP-4 was mainly excreted through kidneys. SP-4 remained its biological activity after radioiodination and was located at atherosclerotic lesions. It was potentially useful as an atherosclerotic plaque imaging agent

Phase Transitions in Algebraic Cluster Models

International Nuclear Information System (INIS)

Yepez-Martinez, H.; Cseh, J.; Hess, P.O.

2006-01-01

same, and the states are said to form a (soft) band. The phase-transitions, as well as the persistence of the quasidynamical symmetries in the algebraic models of quadrupole collectivity have extensively been studied. In a recent work [1] we have addressed these questions in relation with another important collectivity of nuclei, i.e. clusterization. Two models were considered, a phenomenological one, containing no Pauli-principle, and a semimicroscopic one, which is based on a microscopically determined model space, being free from the Pauli-forbidden states. The interactions were treated in a phenomenologic and algebraic way in both cases. In this respect the two models have a similar group-structure. We have studied the SU(3) - SO(4) phase transition, related to the description of the relative motion in terms of the vibron model (in its simplest form in the phenomenological model and in a properly truncated form in the semimicroscopic description). The analytical study of the large-N limit of both models shows a first order phase transition. We have carried out numerical calculations as well. Three binary cluster systems were chosen, in which the number of open-shell clusters were zero, one and two, respectively. The numerical studies show that the phase transition is smoothed out for finite N systems, but some fingerprints of it still can be seen. The appearance of the quasidynamical SU(3) symmetry has also been studied, when moving away from the limit of the real SU(3) dynamical symmetry. It turned out that in each case, when there is a real dynamical symmetry in the limiting case (in the sense that a well-defined SU(3) quantum number can be associated to a band), this symmetry survives as quasidynamical symmetry at least up to the critical value of the control parameter. (author)

A Structural Model of Algebra Achievement: Computational Fluency and Spatial Visualisation as Mediators of the Effect of Working Memory on Algebra Achievement

Science.gov (United States)

Tolar, Tammy Daun; Lederberg, Amy R.; Fletcher, Jack M.

2009-01-01

The goal of this study was to develop and evaluate a structural model of the relations among cognitive abilities and arithmetic skills and college students' algebra achievement. The model of algebra achievement was compared to a model of performance on the Scholastic Assessment in Mathematics (SAT-M) to determine whether the pattern of relations…

Mathematical modelling in engineering: A proposal to introduce linear algebra concepts

Directory of Open Access Journals (Sweden)

Andrea Dorila Cárcamo

2016-03-01

Full Text Available The modern dynamic world requires that basic science courses for engineering, including linear algebra, emphasize the development of mathematical abilities primarily associated with modelling and interpreting, which aren´t limited only to calculus abilities. Considering this, an instructional design was elaborated based on mathematic modelling and emerging heuristic models for the construction of specific linear algebra concepts:  span and spanning set. This was applied to first year engineering students. Results suggest that this type of instructional design contributes to the construction of these mathematical concepts and can also favour first year engineering students understanding of key linear algebra concepts and potentiate the development of higher order skills.

Soliton surfaces associated with sigma models: differential and algebraic aspects

International Nuclear Information System (INIS)

Goldstein, P P; Grundland, A M; Post, S

2012-01-01

In this paper, we consider both differential and algebraic properties of surfaces associated with sigma models. It is shown that surfaces defined by the generalized Weierstrass formula for immersion for solutions of the CP N-1 sigma model with finite action, defined in the Riemann sphere, are themselves solutions of the Euler–Lagrange equations for sigma models. On the other hand, we show that the Euler–Lagrange equations for surfaces immersed in the Lie algebra su(N), with conformal coordinates, that are extremals of the area functional, subject to a fixed polynomial identity, are exactly the Euler–Lagrange equations for sigma models. In addition to these differential constraints, the algebraic constraints, in the form of eigenvalues of the immersion functions, are systematically treated. The spectrum of the immersion functions, for different dimensions of the model, as well as its symmetry properties and its transformation under the action of the ladder operators are discussed. Another approach to the dynamics is given, i.e. description in terms of the unitary matrix which diagonalizes both the immersion functions and the projectors constituting the model. (paper)

Lie algebras and applications

CERN Document Server

Iachello, Francesco

2015-01-01

This course-based primer provides an introduction to Lie algebras and some of their applications to the spectroscopy of molecules, atoms, nuclei and hadrons. In the first part, it concisely presents the basic concepts of Lie algebras, their representations and their invariants. The second part includes a description of how Lie algebras are used in practice in the treatment of bosonic and fermionic systems. Physical applications considered include rotations and vibrations of molecules (vibron model), collective modes in nuclei (interacting boson model), the atomic shell model, the nuclear shell model, and the quark model of hadrons. One of the key concepts in the application of Lie algebraic methods in physics, that of spectrum generating algebras and their associated dynamic symmetries, is also discussed. The book highlights a number of examples that help to illustrate the abstract algebraic definitions and includes a summary of many formulas of practical interest, such as the eigenvalues of Casimir operators...

2D sigma models and differential Poisson algebras

International Nuclear Information System (INIS)

Arias, Cesar; Boulanger, Nicolas; Sundell, Per; Torres-Gomez, Alexander

2015-01-01

We construct a two-dimensional topological sigma model whose target space is endowed with a Poisson algebra for differential forms. The model consists of an equal number of bosonic and fermionic fields of worldsheet form degrees zero and one. The action is built using exterior products and derivatives, without any reference to a worldsheet metric, and is of the covariant Hamiltonian form. The equations of motion define a universally Cartan integrable system. In addition to gauge symmetries, the model has one rigid nilpotent supersymmetry corresponding to the target space de Rham operator. The rigid and local symmetries of the action, respectively, are equivalent to the Poisson bracket being compatible with the de Rham operator and obeying graded Jacobi identities. We propose that perturbative quantization of the model yields a covariantized differential star product algebra of Kontsevich type. We comment on the resemblance to the topological A model.

Novikov algebras with associative bilinear forms

Energy Technology Data Exchange (ETDEWEB)

Zhu Fuhai; Chen Zhiqi [School of Mathematical Sciences and LPMC, Nankai University, Tianjin 300071 (China)

2007-11-23

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.

The Virasoro algebra from harmonic superspace

International Nuclear Information System (INIS)

Saidi, E.H.; Zakkari, M.

1990-08-01

Using harmonic superspace techniques, we construct a new field realization of the Virasoro algebra. The main conformal objects are U(1) Cartan tensors instead of the U(1) Lorentz ones. The new conformal model, which admits moreover a d=2 (4,0) global supersymmetry is constructed out of the infinitely relaxed HST and FS hypermultiplets. The conformal current T 4+ together with the harmonic superspace OPE rules are given. The Virasoro algebra and the harmonic superspace Schwarzian derivative S 4+ are also derived. (author). 14 refs

The bubble algebra: structure of a two-colour Temperley-Lieb Algebra

International Nuclear Information System (INIS)

Grimm, Uwe; Martin, Paul P

2003-01-01

We define new diagram algebras providing a sequence of multiparameter generalizations of the Temperley-Lieb algebra, suitable for the modelling of dilute lattice systems of two-dimensional statistical mechanics. These algebras give a rigorous foundation to the various 'multi-colour algebras' of Grimm, Pearce and others. We determine the generic representation theory of the simplest of these algebras, and locate the nongeneric cases (at roots of unity of the corresponding parameters). We show by this example how the method used (Martin's general procedure for diagram algebras) may be applied to a wide variety of such algebras occurring in statistical mechanics. We demonstrate how these algebras may be used to solve the Yang-Baxter equations

Quantum deformed su(mvertical stroke n) algebra and superconformal algebra on quantum superspace

International Nuclear Information System (INIS)

Kobayashi, Tatsuo

1993-01-01

We study a deformed su(mvertical stroke n) algebra on a quantum superspace. Some interesting aspects of the deformed algebra are shown. As an application of the deformed algebra we construct a deformed superconformal algebra. From the deformed su(1vertical stroke 4) algebra, we derive deformed Lorentz, translation of Minkowski space, iso(2,2) and its supersymmetric algebras as closed subalgebras with consistent automorphisms. (orig.)

Four-parametric two-layer algebraic model of transition boundary layer at a planar plate

International Nuclear Information System (INIS)

Labusov, A.N.; Lapin, Yu.V.

1996-01-01

Consideration is given to four-parametric two-layer algebraic model of transition boundary layer on a plane plate, based on generalization of one-parametric algebraic Prandtl-Loitsjansky-Klauzer-3 model. The algebraic model uses Prandtl formulas for mixing path with Loitsjansky damping multiplier in the internal region and the relation for turbulent viscosity, based on universal scales of external region and named the Klauzer-3 formula. 12 refs., 10 figs

Quantum affine algebras and deformations of the virasoro and W-algebras

International Nuclear Information System (INIS)

Frenkel, E.; Reshetikhin, N.

1996-01-01

Using the Wakimoto realization of quantum affine algebras we define new Poisson algebras, which are q-deformations of the classical W-algebras. We also define their free field realizations, i.e. homomorphisms into some Heisenberg-Poisson algebras. The formulas for these homomorphisms coincide with formulas for spectra of transfer-matrices in the corresponding quantum integrable models derived by the Bethe-Ansatz method. (orig.)

Kac and new determinants for fractional superconformal algebras

International Nuclear Information System (INIS)

Kakushadze, Z.; Tye, S.H.

1994-01-01

We derive the Kac and new determinant formulas for an arbitrary (integer) level K fractional superconformal algebra using the BRST cohomology techniques developed in conformal field theory. In particular, we reproduce the Kac determinants for the Virasoro (K=1) and superconformal (K=2) algebras. For K≥3 there always exist modules where the Kac determinant factorizes into a product of more fundamental new determinants. Using our results for general K, we sketch the nonunitarity proof for the SU(2) minimal series; as expected, the only unitary models are those already known from the coset construction. We apply the Kac determinant formulas for the spin 4/3 parafermion current algebra (i.e., the K=4 fractional superconformal algebra) to the recently constructed three-dimensional flat Minkowski space-time representation of the spin-4/3 fractional superstring

Introduction to W-algebras

International Nuclear Information System (INIS)

Takao, Masaru

1989-01-01

We review W-algebras which are generated by stress tensor and primary fields. Associativity plays an important role in determining the extended algebra and further implies the algebras to exist for special values of central charges. Explicitly constructing the algebras including primary fields of spin less than 4, we investigate the closure structure of the Jacobi identity of the extended algebras. (author)

Abstract algebra for physicists

International Nuclear Information System (INIS)

Zeman, J.

1975-06-01

Certain recent models of composite hadrons involve concepts and theorems from abstract algebra which are unfamiliar to most theoretical physicists. The algebraic apparatus needed for an understanding of these models is summarized here. Particular emphasis is given to algebraic structures which are not assumed to be associative. (2 figures) (auth)

Little strings, quasi-topological sigma model on loop group, and toroidal Lie algebras

Directory of Open Access Journals (Sweden)

Meer Ashwinkumar

2018-03-01

Full Text Available We study the ground states and left-excited states of the Ak−1 N=(2,0 little string theory. Via a theorem by Atiyah [1], these sectors can be captured by a supersymmetric nonlinear sigma model on CP1 with target space the based loop group of SU(k. The ground states, described by L2-cohomology classes, form modules over an affine Lie algebra, while the left-excited states, described by chiral differential operators, form modules over a toroidal Lie algebra. We also apply our results to analyze the 1/2 and 1/4 BPS sectors of the M5-brane worldvolume theory.

Little strings, quasi-topological sigma model on loop group, and toroidal Lie algebras

Science.gov (United States)

Ashwinkumar, Meer; Cao, Jingnan; Luo, Yuan; Tan, Meng-Chwan; Zhao, Qin

2018-03-01

We study the ground states and left-excited states of the Ak-1 N = (2 , 0) little string theory. Via a theorem by Atiyah [1], these sectors can be captured by a supersymmetric nonlinear sigma model on CP1 with target space the based loop group of SU (k). The ground states, described by L2-cohomology classes, form modules over an affine Lie algebra, while the left-excited states, described by chiral differential operators, form modules over a toroidal Lie algebra. We also apply our results to analyze the 1/2 and 1/4 BPS sectors of the M5-brane worldvolume theory.

Lectures on algebraic statistics

CERN Document Server

Drton, Mathias; Sullivant, Seth

2009-01-01

How does an algebraic geometer studying secant varieties further the understanding of hypothesis tests in statistics? Why would a statistician working on factor analysis raise open problems about determinantal varieties? Connections of this type are at the heart of the new field of "algebraic statistics". In this field, mathematicians and statisticians come together to solve statistical inference problems using concepts from algebraic geometry as well as related computational and combinatorial techniques. The goal of these lectures is to introduce newcomers from the different camps to algebraic statistics. The introduction will be centered around the following three observations: many important statistical models correspond to algebraic or semi-algebraic sets of parameters; the geometry of these parameter spaces determines the behaviour of widely used statistical inference procedures; computational algebraic geometry can be used to study parameter spaces and other features of statistical models.

Directed Abelian algebras and their application to stochastic models.

Science.gov (United States)

Alcaraz, F C; Rittenberg, V

2008-10-01

With each directed acyclic graph (this includes some D-dimensional lattices) one can associate some Abelian algebras that we call directed Abelian algebras (DAAs). On each site of the graph one attaches a generator of the algebra. These algebras depend on several parameters and are semisimple. Using any DAA, one can define a family of Hamiltonians which give the continuous time evolution of a stochastic process. The calculation of the spectra and ground-state wave functions (stationary state probability distributions) is an easy algebraic exercise. If one considers D-dimensional lattices and chooses Hamiltonians linear in the generators, in finite-size scaling the Hamiltonian spectrum is gapless with a critical dynamic exponent z=D. One possible application of the DAA is to sandpile models. In the paper we present this application, considering one- and two-dimensional lattices. In the one-dimensional case, when the DAA conserves the number of particles, the avalanches belong to the random walker universality class (critical exponent sigma_(tau)=32 ). We study the local density of particles inside large avalanches, showing a depletion of particles at the source of the avalanche and an enrichment at its end. In two dimensions we did extensive Monte-Carlo simulations and found sigma_(tau)=1.780+/-0.005 .

A note on probabilistic models over strings: the linear algebra approach.

Science.gov (United States)

Bouchard-Côté, Alexandre

2013-12-01

Probabilistic models over strings have played a key role in developing methods that take into consideration indels as phylogenetically informative events. There is an extensive literature on using automata and transducers on phylogenies to do inference on these probabilistic models, in which an important theoretical question is the complexity of computing the normalization of a class of string-valued graphical models. This question has been investigated using tools from combinatorics, dynamic programming, and graph theory, and has practical applications in Bayesian phylogenetics. In this work, we revisit this theoretical question from a different point of view, based on linear algebra. The main contribution is a set of results based on this linear algebra view that facilitate the analysis and design of inference algorithms on string-valued graphical models. As an illustration, we use this method to give a new elementary proof of a known result on the complexity of inference on the "TKF91" model, a well-known probabilistic model over strings. Compared to previous work, our proving method is easier to extend to other models, since it relies on a novel weak condition, triangular transducers, which is easy to establish in practice. The linear algebra view provides a concise way of describing transducer algorithms and their compositions, opens the possibility of transferring fast linear algebra libraries (for example, based on GPUs), as well as low rank matrix approximation methods, to string-valued inference problems.

Constraint algebra in Smolin's G →0 limit of 4D Euclidean gravity

Science.gov (United States)

Varadarajan, Madhavan

2018-05-01

Smolin's generally covariant GNewton→0 limit of 4d Euclidean gravity is a useful toy model for the study of the constraint algebra in loop quantum gravity (LQG). In particular, the commutator between its Hamiltonian constraints has a metric dependent structure function. While a prior LQG-like construction of nontrivial anomaly free constraint commutators for the model exists, that work suffers from two defects. First, Smolin's remarks on the inability of the quantum dynamics to generate propagation effects apply. Second, the construction only yields the action of a single Hamiltonian constraint together with the action of its commutator through a continuum limit of corresponding discrete approximants; the continuum limit of a product of two or more constraints does not exist. Here, we incorporate changes in the quantum dynamics through structural modifications in the choice of discrete approximants to the quantum Hamiltonian constraint. The new structure is motivated by that responsible for propagation in an LQG-like quantization of paramatrized field theory and significantly alters the space of physical states. We study the off shell constraint algebra of the model in the context of these structural changes and show that the continuum limit action of multiple products of Hamiltonian constraints is (a) supported on an appropriate domain of states, (b) yields anomaly free commutators between pairs of Hamiltonian constraints, and (c) is diffeomorphism covariant. Many of our considerations seem robust enough to be applied to the setting of 4d Euclidean gravity.

Solving the nuclear shell model with an algebraic method

International Nuclear Information System (INIS)

Feng, D.H.; Pan, X.W.; Guidry, M.

1997-01-01

We illustrate algebraic methods in the nuclear shell model through a concrete example, the fermion dynamical symmetry model (FDSM). We use this model to introduce important concepts such as dynamical symmetry, symmetry breaking, effective symmetry, and diagonalization within a higher-symmetry basis. (orig.)

Limits of Rank 4 Azumaya Algebras and Applications to ...

Indian Academy of Sciences (India)

It is shown that the schematic image of the scheme of Azumaya algebra structures on a vector bundle of rank 4 over any base scheme is separated, of finite type, smooth of relative dimension 13 and geometrically irreducible over that base and that this construction base-changes well. This fully generalizes Seshadri's ...

n-ary algebras: a review with applications

International Nuclear Information System (INIS)

De Azcarraga, J A; Izquierdo, J M

2010-01-01

This paper reviews the properties and applications of certain n-ary generalizations of Lie algebras in a self-contained and unified way. These generalizations are algebraic structures in which the two-entry Lie bracket has been replaced by a bracket with n entries. Each type of n-ary bracket satisfies a specific characteristic identity which plays the role of the Jacobi identity for Lie algebras. Particular attention will be paid to generalized Lie algebras, which are defined by even multibrackets obtained by antisymmetrizing the associative products of its n components and that satisfy the generalized Jacobi identity, and to Filippov (or n-Lie) algebras, which are defined by fully antisymmetric n-brackets that satisfy the Filippov identity. 3-Lie algebras have surfaced recently in multi-brane theory in the context of the Bagger-Lambert-Gustavsson model. As a result, Filippov algebras will be discussed at length, including the cohomology complexes that govern their central extensions and their deformations (it turns out that Whitehead's lemma extends to all semisimple n-Lie algebras). When the skewsymmetry of the Lie or n-Lie algebra bracket is relaxed, one is led to a more general type of n-algebras, the n-Leibniz algebras. These will be discussed as well, since they underlie the cohomological properties of n-Lie algebras. The standard Poisson structure may also be extended to the n-ary case. We shall review here the even generalized Poisson structures, whose generalized Jacobi identity reproduces the pattern of the generalized Lie algebras, and the Nambu-Poisson structures, which satisfy the Filippov identity and determine Filippov algebras. Finally, the recent work of Bagger-Lambert and Gustavsson on superconformal Chern-Simons theory will be briefly discussed. Emphasis will be made on the appearance of the 3-Lie algebra structure and on why the A 4 model may be formulated in terms of an ordinary Lie algebra, and on its Nambu bracket generalization. (topical

Chern-Simons matrix models and unoriented strings

International Nuclear Information System (INIS)

Halmagyi, Nick; Yasnov, Vadim

2004-01-01

For matrix models with measure on the Lie algebra of SO/Sp, the sub-leading free energy is given by F 1 (S) ±{1/4}({δF 0 (S)}/{δS}). Motivated by the fact that this relationship does not hold for Chern-Simons theory on S 3 , we calculate the sub-leading free energy in the matrix model for this theory, which is a Gaussian matrix model with Haar measure on the group SO/Sp. We derive a quantum loop equation for this matrix model and then find that F 1 is an integral of the leading order resolvent over the spectral curve. We explicitly calculate this integral for quadratic potential and find agreement with previous studies of SO/Sp Chern-Simons theory. (author)

The Schwinger Dyson equations and the algebra of constraints of random tensor models at all orders

International Nuclear Information System (INIS)

Gurau, Razvan

2012-01-01

Random tensor models for a generic complex tensor generalize matrix models in arbitrary dimensions and yield a theory of random geometries. They support a 1/N expansion dominated by graphs of spherical topology. Their Schwinger Dyson equations, generalizing the loop equations of matrix models, translate into constraints satisfied by the partition function. The constraints have been shown, in the large N limit, to close a Lie algebra indexed by colored rooted D-ary trees yielding a first generalization of the Virasoro algebra in arbitrary dimensions. In this paper we complete the Schwinger Dyson equations and the associated algebra at all orders in 1/N. The full algebra of constraints is indexed by D-colored graphs, and the leading order D-ary tree algebra is a Lie subalgebra of the full constraints algebra.

Inverse Modelling Problems in Linear Algebra Undergraduate Courses

Science.gov (United States)

Martinez-Luaces, Victor E.

2013-01-01

This paper will offer an analysis from a theoretical point of view of mathematical modelling, applications and inverse problems of both causation and specification types. Inverse modelling problems give the opportunity to establish connections between theory and practice and to show this fact, a simple linear algebra example in two different…

Exactly solvable model of transitional nuclei based on dual algebraic structure for the three level pairing model in the framework of sdg interacting boson model

Science.gov (United States)

Jafarizadeh, M. A.; Ranjbar, Z.; Fouladi, N.; Ghapanvari, M.

2018-01-01

In this paper, a successful algebraic method based on the dual algebraic structure for three level pairing model in the framework of sdg IBM is proposed for transitional nuclei which show transitional behavior from spherical to gamma-unstable quantum shape phase transition. In this method complicated sdg Hamiltonian, which is a three level pairing Hamiltonian is determined easily via the exactly solvable method. This description provides a better interpretation of some observables such as BE (4) in nuclei which exhibits the necessity of inclusion of g boson in the sd IBM, while BE (4) cannot be explained in the sd boson model. Some observables such as Energy levels, BE (2), BE (4), the two neutron separation energies signature splitting of the γ-vibrational band and expectation values of the g-boson number operator are calculated and examined for 46 104 - 110Pd isotopes.

Vertex algebras and algebraic curves

CERN Document Server

Frenkel, Edward

2004-01-01

Vertex algebras are algebraic objects that encapsulate the concept of operator product expansion from two-dimensional conformal field theory. Vertex algebras are fast becoming ubiquitous in many areas of modern mathematics, with applications to representation theory, algebraic geometry, the theory of finite groups, modular functions, topology, integrable systems, and combinatorics. This book is an introduction to the theory of vertex algebras with a particular emphasis on the relationship with the geometry of algebraic curves. The notion of a vertex algebra is introduced in a coordinate-independent way, so that vertex operators become well defined on arbitrary smooth algebraic curves, possibly equipped with additional data, such as a vector bundle. Vertex algebras then appear as the algebraic objects encoding the geometric structure of various moduli spaces associated with algebraic curves. Therefore they may be used to give a geometric interpretation of various questions of representation theory. The book co...

Algebraic partial Boolean algebras

International Nuclear Information System (INIS)

Smith, Derek

2003-01-01

Partial Boolean algebras, first studied by Kochen and Specker in the 1960s, provide the structure for Bell-Kochen-Specker theorems which deny the existence of non-contextual hidden variable theories. In this paper, we study partial Boolean algebras which are 'algebraic' in the sense that their elements have coordinates in an algebraic number field. Several of these algebras have been discussed recently in a debate on the validity of Bell-Kochen-Specker theorems in the context of finite precision measurements. The main result of this paper is that every algebraic finitely-generated partial Boolean algebra B(T) is finite when the underlying space H is three-dimensional, answering a question of Kochen and showing that Conway and Kochen's infinite algebraic partial Boolean algebra has minimum dimension. This result contrasts the existence of an infinite (non-algebraic) B(T) generated by eight elements in an abstract orthomodular lattice of height 3. We then initiate a study of higher-dimensional algebraic partial Boolean algebras. First, we describe a restriction on the determinants of the elements of B(T) that are generated by a given set T. We then show that when the generating set T consists of the rays spanning the minimal vectors in a real irreducible root lattice, B(T) is infinite just if that root lattice has an A 5 sublattice. Finally, we characterize the rays of B(T) when T consists of the rays spanning the minimal vectors of the root lattice E 8

Algebraic model checking for Boolean gene regulatory networks.

Science.gov (United States)

Tran, Quoc-Nam

2011-01-01

We present a computational method in which modular and Groebner bases (GB) computation in Boolean rings are used for solving problems in Boolean gene regulatory networks (BN). In contrast to other known algebraic approaches, the degree of intermediate polynomials during the calculation of Groebner bases using our method will never grow resulting in a significant improvement in running time and memory space consumption. We also show how calculation in temporal logic for model checking can be done by means of our direct and efficient Groebner basis computation in Boolean rings. We present our experimental results in finding attractors and control strategies of Boolean networks to illustrate our theoretical arguments. The results are promising. Our algebraic approach is more efficient than the state-of-the-art model checker NuSMV on BNs. More importantly, our approach finds all solutions for the BN problems.

Prediction of strongly-heated gas flows in a vertical tube using explicit algebraic stress/heat-flux models

International Nuclear Information System (INIS)

Baek, Seong Gu; Park, Seung O.

2003-01-01

This paper provides the assessment of prediction performance of explicit algebraic stress and heat-flux models under conditions of mixed convective gas flows in a strongly-heated vertical tube. Two explicit algebraic stress models and four algebraic heat-flux models are selected for assessment. Eight combinations of explicit algebraic stress and heat-flux models are used in predicting the flows experimentally studied by Shehata and McEligot (IJHMT 41(1998) p.4333) in which property variation was significant. Among the various model combinations, the Wallin and Johansson (JFM 403(2000) p. 89) explicit algebraic stress model-Abe, Kondo, and Nagano (IJHFF 17(1996) p. 228) algebraic heat-flux model combination is found to perform best. We also found that the dimensionless wall distance y + should be calculated based on the local property rather than the property at the wall for property-variation flows. When the buoyancy or the property variation effects are so strong that the flow may relaminarize, the choice of the basic platform two-equation model is a most important factor in improving the predictions

Hidden role of Maxwell superalgebras in the free differential algebras of D = 4 and D = 11 supergravity

Science.gov (United States)

Ravera, Lucrezia

2018-03-01

The purpose of this paper is to show that the so-called Maxwell superalgebra in four dimensions, which naturally involves the presence of a nilpotent fermionic generator, can be interpreted as a hidden superalgebra underlying N=1, {D}=4 supergravity extended to include a 2-form gauge potential associated to a 2-index antisymmetric tensor. In this scenario, the theory is appropriately discussed in the context of Free Differential Algebras (an extension of the Maurer-Cartan equations to involve higher-degree differential forms). The study is then extended to the Free Differential Algebra describing D = 11 supergravity, showing that, also in this case, there exists a super-Maxwell algebra underlying the theory. The same extra spinors dual to the nilpotent fermionic generators whose presence is crucial for writing a supersymmetric extension of the Maxwell algebras, both in the D = 4 and in the D = 11 case, turn out to be fundamental ingredients also to reproduce the D = 4 and D = 11 Free Differential Algebras on ordinary superspace, whose basis is given by the supervielbein. The analysis of the gauge structure of the supersymmetric Free Differential Algebras is carried on taking into account the gauge transformations from the hidden supergroup-manifold associated with the Maxwell superalgebras.

The classical exchange algebra of a Green-Schwarz sigma model on supercoset target space with Z4m grading

International Nuclear Information System (INIS)

Ke Sanmin; Yang Wenli; Shi Kangjie; Wang Chun; Jiang Kexia

2011-01-01

We investigate the classical exchange algebra of the monodromy matrix for a Green-Schwarz sigma model on supercoset target space with Z 4m grading by using a first-order Hamiltonian formulation and by adding to the Lax connection terms proportional to constraints. This enables us to show that the conserved charges of the theory are in involution in the Poisson bracket sense. Our calculation is based on a general world-sheet metric. Taking a particular case of m= 1 (and a particular choice of supergroup), our results coincide with those of the Green-Schwarz superstring theory in AdS 5 xS 5 background obtained by Magro [J. High Energy Phys. 0901, 021 (2009)].

Limits of rank 4 Azumaya algebras and applications to desingularisation

International Nuclear Information System (INIS)

Venkata Balaji, T.E.

2001-07-01

A smooth scheme structure on the space of limits of Azumaya algebra structures on a free rank 4 module over any noetherian commutative ring is shown to exist, generalizing Seshadri's theorem in that the variety of specialisations of (2x2)-matrix algebras is smooth in characteristic ≠2. As an application, a construction of Seshadri is shown in a characteristic-free way to desingularise the moduli space of rank two even degree semistable vector bundles on a complete curve. As another application, a construction of Nori over Z is extended to the case of a normal domain which is finitely generate algebra over a universally Japanese (Nagata) ring and is shown to desingularise the Artin moduli space of invariants of several matrices in rank 2. This desingularisation is shown to have a good specialisation property if the Artin moduli space has geometrically reduced fibers, for example, this happens over Z. Essential use is made of M. Kneser's concept of 'semiregular quadratic module'. For any free quadratic module of odd rank, a formula linking the half-discriminant and the values of the quadratic form on its radical is derived. (author)

N=2 current algebra and coset models

International Nuclear Information System (INIS)

Hull, C.M.; Spence, B.

1990-01-01

The N=2 supersymmetric extension of the Kac-Moody algebra and the corresponding Sugawara construction of the N=2 superconformal algebra are discussed both in components and in N=1 superspace. A formulation of the Kac-Moody algebra and Sugawara construction is given in N=2 superspace in terms of supercurrents satisfying a non-linear chiral constraint. The operator product of two supercurrents includes terms that are non-linear in the supercurrents. The N=2 generalization of the GKO coset construction is then given and the conditions found by Kazama and Suzuki are seen to arise from the non-linearity of the algebra. (orig.)

Global identifiability of linear compartmental models--a computer algebra algorithm.

Science.gov (United States)

Audoly, S; D'Angiò, L; Saccomani, M P; Cobelli, C

1998-01-01

A priori global identifiability deals with the uniqueness of the solution for the unknown parameters of a model and is, thus, a prerequisite for parameter estimation of biological dynamic models. Global identifiability is however difficult to test, since it requires solving a system of algebraic nonlinear equations which increases both in nonlinearity degree and number of terms and unknowns with increasing model order. In this paper, a computer algebra tool, GLOBI (GLOBal Identifiability) is presented, which combines the topological transfer function method with the Buchberger algorithm, to test global identifiability of linear compartmental models. GLOBI allows for the automatic testing of a priori global identifiability of general structure compartmental models from general multi input-multi output experiments. Examples of usage of GLOBI to analyze a priori global identifiability of some complex biological compartmental models are provided.

Geometric model of topological insulators from the Maxwell algebra

Science.gov (United States)

Palumbo, Giandomenico

2017-11-01

We propose a novel geometric model of time-reversal-invariant topological insulators in three dimensions in presence of an external electromagnetic field. Their gapped boundary supports relativistic quantum Hall states and is described by a Chern-Simons theory, where the gauge connection takes values in the Maxwell algebra. This represents a non-central extension of the Poincaré algebra and takes into account both the Lorentz and magnetic-translation symmetries of the surface states. In this way, we derive a relativistic version of the Wen-Zee term and we show that the non-minimal coupling between the background geometry and the electromagnetic field in the model is in agreement with the main properties of the relativistic quantum Hall states in the flat space.

Macdonald index and chiral algebra

Science.gov (United States)

Song, Jaewon

2017-08-01

For any 4d N = 2 SCFT, there is a subsector described by a 2d chiral algebra. The vacuum character of the chiral algebra reproduces the Schur index of the corresponding 4d theory. The Macdonald index counts the same set of operators as the Schur index, but the former has one more fugacity than the latter. We conjecture a prescription to obtain the Macdonald index from the chiral algebra. The vacuum module admits a filtration, from which we construct an associated graded vector space. From this grading, we conjecture a notion of refined character for the vacuum module of a chiral algebra, which reproduces the Macdonald index. We test this prescription for the Argyres-Douglas theories of type ( A 1 , A 2 n ) and ( A 1 , D 2 n+1) where the chiral algebras are given by Virasoro and \\widehat{su}(2) affine Kac-Moody algebra. When the chiral algebra has more than one family of generators, our prescription requires a knowledge of the generators from the 4d.

Linear Algebra and Smarandache Linear Algebra

OpenAIRE

Vasantha, Kandasamy

2003-01-01

The present book, on Smarandache linear algebra, not only studies the Smarandache analogues of linear algebra and its applications, it also aims to bridge the need for new research topics pertaining to linear algebra, purely in the algebraic sense. We have introduced Smarandache semilinear algebra, Smarandache bilinear algebra and Smarandache anti-linear algebra and their fuzzy equivalents. Moreover, in this book, we have brought out the study of linear algebra and vector spaces over finite p...

Matrix algebra for linear models

CERN Document Server

Gruber, Marvin H J

2013-01-01

Matrix methods have evolved from a tool for expressing statistical problems to an indispensable part of the development, understanding, and use of various types of complex statistical analyses. This evolution has made matrix methods a vital part of statistical education. Traditionally, matrix methods are taught in courses on everything from regression analysis to stochastic processes, thus creating a fractured view of the topic. Matrix Algebra for Linear Models offers readers a unique, unified view of matrix analysis theory (where and when necessary), methods, and their applications. Written f

Introduction to vertex algebras, Borcherds algebras and the Monster Lie algebras

International Nuclear Information System (INIS)

Gebert, R.W.

1993-09-01

The theory of vertex algebras constitutes a mathematically rigorous axiomatic formulation of the algebraic origins of conformal field theory. In this context Borcherds algebras arise as certain ''physical'' subspaces of vertex algebras. The aim of this review is to give a pedagogical introduction into this rapidly-developing area of mathematics. Based on the machinery of formal calculus we present the axiomatic definition of vertex algebras. We discuss the connection with conformal field theory by deriving important implications of these axioms. In particular, many explicit calculations are presented to stress the eminent role of the Jacobi identity axiom for vertex algebras. As a class of concrete examples the vertex algebras associated with even lattices are constructed and it is shown in detail how affine Lie algebras and the fake Monster Lie algebra naturally appear. This leads us to the abstract definition of Borcherds algebras as generalized Kac-Moody algebras and their basic properties. Finally, the results about the simplest generic Borcherds algebras are analysed from the point of view of symmetry in quantum theory and the construction of the Monster Lie algebra is sketched. (orig.)

ADAM: analysis of discrete models of biological systems using computer algebra.

Science.gov (United States)

Hinkelmann, Franziska; Brandon, Madison; Guang, Bonny; McNeill, Rustin; Blekherman, Grigoriy; Veliz-Cuba, Alan; Laubenbacher, Reinhard

2011-07-20

Many biological systems are modeled qualitatively with discrete models, such as probabilistic Boolean networks, logical models, Petri nets, and agent-based models, to gain a better understanding of them. The computational complexity to analyze the complete dynamics of these models grows exponentially in the number of variables, which impedes working with complex models. There exist software tools to analyze discrete models, but they either lack the algorithmic functionality to analyze complex models deterministically or they are inaccessible to many users as they require understanding the underlying algorithm and implementation, do not have a graphical user interface, or are hard to install. Efficient analysis methods that are accessible to modelers and easy to use are needed. We propose a method for efficiently identifying attractors and introduce the web-based tool Analysis of Dynamic Algebraic Models (ADAM), which provides this and other analysis methods for discrete models. ADAM converts several discrete model types automatically into polynomial dynamical systems and analyzes their dynamics using tools from computer algebra. Specifically, we propose a method to identify attractors of a discrete model that is equivalent to solving a system of polynomial equations, a long-studied problem in computer algebra. Based on extensive experimentation with both discrete models arising in systems biology and randomly generated networks, we found that the algebraic algorithms presented in this manuscript are fast for systems with the structure maintained by most biological systems, namely sparseness and robustness. For a large set of published complex discrete models, ADAM identified the attractors in less than one second. Discrete modeling techniques are a useful tool for analyzing complex biological systems and there is a need in the biological community for accessible efficient analysis tools. ADAM provides analysis methods based on mathematical algorithms as a web

Construction on the solution of osp(1/4) Toda model

International Nuclear Information System (INIS)

Yang Zhanying; Zhen Yi

2000-01-01

The Leznov-Saveliev algebraic analysis method and Drinfeld-Sokolov construction are applied to the supersymmetric case. In this approach, the authors obtained the solution of the osp(1/4) Toda model on the base of the Lie super algebra osp(1/4) and its highest weight by introducing chiral vectors. Therefore, the authors generalized this method to two rank case

Model selection for contingency tables with algebraic statistics

NARCIS (Netherlands)

Krampe, A.; Kuhnt, S.; Gibilisco, P.; Riccimagno, E.; Rogantin, M.P.; Wynn, H.P.

2009-01-01

Goodness-of-fit tests based on chi-square approximations are commonly used in the analysis of contingency tables. Results from algebraic statistics combined with MCMC methods provide alternatives to the chi-square approximation. However, within a model selection procedure usually a large number of

Lie algebra in quantum physics by means of computer algebra

OpenAIRE

Kikuchi, Ichio; Kikuchi, Akihito

2017-01-01

This article explains how to apply the computer algebra package GAP (www.gap-system.org) in the computation of the problems in quantum physics, in which the application of Lie algebra is necessary. The article contains several exemplary computations which readers would follow in the desktop PC: such as, the brief review of elementary ideas of Lie algebra, the angular momentum in quantum mechanics, the quark eight-fold way model, and the usage of Weyl character formula (in order to construct w...

Optical linear algebra processors - Noise and error-source modeling

Science.gov (United States)

Casasent, D.; Ghosh, A.

1985-01-01

The modeling of system and component noise and error sources in optical linear algebra processors (OLAPs) are considered, with attention to the frequency-multiplexed OLAP. General expressions are obtained for the output produced as a function of various component errors and noise. A digital simulator for this model is discussed.

Optical linear algebra processors: noise and error-source modeling.

Science.gov (United States)

Casasent, D; Ghosh, A

1985-06-01

The modeling of system and component noise and error sources in optical linear algebra processors (OLAP's) are considered, with attention to the frequency-multiplexed OLAP. General expressions are obtained for the output produced as a function of various component errors and noise. A digital simulator for this model is discussed.

Quantum W-algebras and elliptic algebras

International Nuclear Information System (INIS)

Feigin, B.; Kyoto Univ.; Frenkel, E.

1996-01-01

We define a quantum W-algebra associated to sl N as an associative algebra depending on two parameters. For special values of the parameters, this algebra becomes the ordinary W-algebra of sl N , or the q-deformed classical W-algebra of sl N . We construct free field realizations of the quantum W-algebras and the screening currents. We also point out some interesting elliptic structures arising in these algebras. In particular, we show that the screening currents satisfy elliptic analogues of the Drinfeld relations in U q (n). (orig.)

Recoupling Lie algebra and universal ω-algebra

International Nuclear Information System (INIS)

Joyce, William P.

2004-01-01

We formulate the algebraic version of recoupling theory suitable for commutation quantization over any gradation. This gives a generalization of graded Lie algebra. Underlying this is the new notion of an ω-algebra defined in this paper. ω-algebra is a generalization of algebra that goes beyond nonassociativity. We construct the universal enveloping ω-algebra of recoupling Lie algebras and prove a generalized Poincare-Birkhoff-Witt theorem. As an example we consider the algebras over an arbitrary recoupling of Z n graded Heisenberg Lie algebra. Finally we uncover the usual coalgebra structure of a universal envelope and substantiate its Hopf structure

The Einstein action for algebras of matrix valued functions - Toy models

International Nuclear Information System (INIS)

Hajac, P.M.

1995-10-01

Two toy models are considered within the framework of noncommutative differential geometry. In the first one, the Einstein action of the Levi-Civita connection is computed for the algebra of matrix valued functions on a torus. It is shown that, assuming some constraints on the metric, this action splits into a classical-like, a quantum-like and a mixed term. In the second model, an analogue of the Palatini method of variation is applied to obtain critical points of the Einstein action functional for M 4 (R). It is pointed out that a solution to the Palatini variational problem is not necessarily a Levi-Civita connection. In this model, no additional assumptions regarding metrics are made. (author). 14 refs

Chiral algebras for trinion theories

International Nuclear Information System (INIS)

Lemos, Madalena; Peelaers, Wolfger

2015-01-01

It was recently understood that one can identify a chiral algebra in any four-dimensional N=2 superconformal theory. In this note, we conjecture the full set of generators of the chiral algebras associated with the T n theories. The conjecture is motivated by making manifest the critical affine module structure in the graded partition function of the chiral algebras, which is computed by the Schur limit of the superconformal index for T n theories. We also explicitly construct the chiral algebra arising from the T 4 theory. Its null relations give rise to new T 4 Higgs branch chiral ring relations.

Elements of mathematics algebra

CERN Document Server

Bourbaki, Nicolas

2003-01-01

This is a softcover reprint of the English translation of 1990 of the revised and expanded version of Bourbaki's, Algèbre, Chapters 4 to 7 (1981). This completes Algebra, 1 to 3, by establishing the theories of commutative fields and modules over a principal ideal domain. Chapter 4 deals with polynomials, rational fractions and power series. A section on symmetric tensors and polynomial mappings between modules, and a final one on symmetric functions, have been added. Chapter 5 was entirely rewritten. After the basic theory of extensions (prime fields, algebraic, algebraically closed, radical extension), separable algebraic extensions are investigated, giving way to a section on Galois theory. Galois theory is in turn applied to finite fields and abelian extensions. The chapter then proceeds to the study of general non-algebraic extensions which cannot usually be found in textbooks: p-bases, transcendental extensions, separability criterions, regular extensions. Chapter 6 treats ordered groups and fields and...

Comments on two-loop Kac-Moody algebras

Energy Technology Data Exchange (ETDEWEB)

Ferreira, L A; Gomes, J F; Zimerman, A H [Instituto de Fisica Teorica (IFT), Sao Paulo, SP (Brazil); Schwimmer, A [Istituto Nazionale di Fisica Nucleare, Trieste (Italy)

1991-10-01

It is shown that the two-loop Kac-Moody algebra is equivalent to a two variable loop algebra and a decouple {beta}-{gamma} system. Similarly WZNW and CSW models having as algebraic structure the Kac-Moody algebra are equivalent to an infinity to versions of the corresponding ordinary models and decoupled Abelian fields. (author). 15 refs.

Vertex algebras and mirror symmetry

International Nuclear Information System (INIS)

Borisov, L.A.

2001-01-01

Mirror Symmetry for Calabi-Yau hypersurfaces in toric varieties is by now well established. However, previous approaches to it did not uncover the underlying reason for mirror varieties to be mirror. We are able to calculate explicitly vertex algebras that correspond to holomorphic parts of A and B models of Calabi-Yau hypersurfaces and complete intersections in toric varieties. We establish the relation between these vertex algebras for mirror Calabi-Yau manifolds. This should eventually allow us to rewrite the whole story of toric mirror symmetry in the language of sheaves of vertex algebras. Our approach is purely algebraic and involves simple techniques from toric geometry and homological algebra, as well as some basic results of the theory of vertex algebras. Ideas of this paper may also be useful in other problems related to maps from curves to algebraic varieties.This paper could also be of interest to physicists, because it contains explicit description of holomorphic parts of A and B models of Calabi-Yau hypersurfaces and complete intersections in terms of free bosons and fermions. (orig.)

Null fields realizations of W3 from W (sl(4), sl(3)) and W (sl(3/1), sl(3)) algebras

International Nuclear Information System (INIS)

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

1995-09-01

It is considered the nonlinear algebras W(sl(4), sl(3)) and W(sl(3/1), sl(3)) and it is found their realizations in terms of currents spanning conformal linearizing algebras. The specific structure of these algebras, allows to construct realizations modulo null fields of the W 3 algebra that lies in the cosets W(sl(4), sl(3))/u(1) and W(sl(3/1), sl(3))/u(1). Such realizations exist for the following values of the W 3 algebra central charge: cw=-30, -40/7, -98/5, -2. The first two values are listed for the first time, whereas for the remaining values the new realizations get in terms of an arbitrary stress tensor and u(1) x sl(2) affine currents

Differential Hopf algebra structures on the universal enveloping algebra ofa Lie algebra

NARCIS (Netherlands)

N.W. van den Hijligenberg; R. Martini

1995-01-01

textabstractWe discuss a method to construct a De Rham complex (differential algebra) of Poincar'e-Birkhoff-Witt-type on the universal enveloping algebra of a Lie algebra $g$. We determine the cases in which this gives rise to a differential Hopf algebra that naturally extends the Hopf algebra

Counting equations in algebraic attacks on block ciphers

DEFF Research Database (Denmark)

Knudsen, Lars Ramkilde; Miolane, Charlotte Vikkelsø

2010-01-01

This paper is about counting linearly independent equations for so-called algebraic attacks on block ciphers. The basic idea behind many of these approaches, e.g., XL, is to generate a large set of equations from an initial set of equations by multiplication of existing equations by the variables...... in the system. One of the most difficult tasks is to determine the exact number of linearly independent equations one obtain in the attacks. In this paper, it is shown that by splitting the equations defined over a block cipher (an SP-network) into two sets, one can determine the exact number of linearly...... independent equations which can be generated in algebraic attacks within each of these sets of a certain degree. While this does not give us a direct formula for the success of algebraic attacks on block ciphers, it gives some interesting bounds on the number of equations one can obtain from a given block...

Entanglement in a model for Hawking radiation: An application of quadratic algebras

International Nuclear Information System (INIS)

Bambah, Bindu A.; Mukku, C.; Shreecharan, T.; Siva Prasad, K.

2013-01-01

Quadratic polynomially deformed su(1,1) and su(2) algebras are utilized in model Hamiltonians to show how the gravitational system consisting of a black hole, infalling radiation and outgoing (Hawking) radiation can be solved exactly. The models allow us to study the long-time behaviour of the black hole and its outgoing modes. In particular, we calculate the bipartite entanglement entropies of subsystems consisting of (a) infalling plus outgoing modes and (b) black hole modes plus the infalling modes, using the Janus-faced nature of the model. The long-time behaviour also gives us glimpses of modifications in the character of Hawking radiation. Finally, we study the phenomenon of superradiance in our model in analogy with atomic Dicke superradiance. - Highlights: ► We examine a toy model for Hawking radiation with quantized black hole modes. ► We use quadratic polynomially deformed su(1,1) algebras to study its entanglement properties. ► We study the “Dicke Superradiance” in black hole radiation using quadratically deformed su(2) algebras. ► We study the modification of the thermal character of Hawking radiation due to quantized black hole modes.

The Yoneda algebra of a K2 algebra need not be another K2 algebra

OpenAIRE

Cassidy, T.; Phan, C.; Shelton, B.

2010-01-01

The Yoneda algebra of a Koszul algebra or a D-Koszul algebra is Koszul. K2 algebras are a natural generalization of Koszul algebras, and one would hope that the Yoneda algebra of a K2 algebra would be another K2 algebra. We show that this is not necessarily the case by constructing a monomial K2 algebra for which the corresponding Yoneda algebra is not K2.

Basic notions of algebra

CERN Document Server

Shafarevich, Igor Rostislavovich

2005-01-01

This book is wholeheartedly recommended to every student or user of mathematics. Although the author modestly describes his book as 'merely an attempt to talk about' algebra, he succeeds in writing an extremely original and highly informative essay on algebra and its place in modern mathematics and science. From the fields, commutative rings and groups studied in every university math course, through Lie groups and algebras to cohomology and category theory, the author shows how the origins of each algebraic concept can be related to attempts to model phenomena in physics or in other branches

Process Algebra and Markov Chains

NARCIS (Netherlands)

Brinksma, Hendrik; Hermanns, H.; Brinksma, Hendrik; Hermanns, H.; Katoen, Joost P.

This paper surveys and relates the basic concepts of process algebra and the modelling of continuous time Markov chains. It provides basic introductions to both fields, where we also study the Markov chains from an algebraic perspective, viz. that of Markov chain algebra. We then proceed to study

Process algebra and Markov chains

NARCIS (Netherlands)

Brinksma, E.; Hermanns, H.; Brinksma, E.; Hermanns, H.; Katoen, J.P.

2001-01-01

This paper surveys and relates the basic concepts of process algebra and the modelling of continuous time Markov chains. It provides basic introductions to both fields, where we also study the Markov chains from an algebraic perspective, viz. that of Markov chain algebra. We then proceed to study

su(1,2) Algebraic Structure of XYZ Antiferromagnetic Model in Linear Spin-Wave Frame

International Nuclear Information System (INIS)

Jin Shuo; Xie Binghao; Yu Zhaoxian; Hou Jingmin

2008-01-01

The XYZ antiferromagnetic model in linear spin-wave frame is shown explicitly to have an su(1,2) algebraic structure: the Hamiltonian can be written as a linear function of the su(1,2) algebra generators. Based on it, the energy eigenvalues are obtained by making use of the similar transformations, and the algebraic diagonalization method is investigated. Some numerical solutions are given, and the results indicate that only one group solution could be accepted in physics

The Lie algebra of the N=2-string

International Nuclear Information System (INIS)

Kugel, K.

2006-01-01

The theory of generalized Kac-Moody algebras is a generalization of the theory of finite dimensional simple Lie algebras. The physical states of some compactified strings give realizations of generalized Kac-Moody algebras. For example the physical states of a bosonic string moving on a 26 dimensional torus form a generalized Kac-Moody algebra and the physical states of a N=1 string moving on a 10 dimensional torus form a generalized Kac-Moody superalgebra. A natural question is whether the physical states of the compactified N=2-string also realize such an algebra. In this thesis we construct the Lie algebra of the compactified N=2-string, study its properties and show that it is not a generalized Kac-Moody algebra. The Fock space of a N=2-string moving on a 4 dimensional torus can be described by a vertex algebra constructed from a rational lattice of signature (8,4). Here 6 coordinates with signature (4,2) come from the matter part and 6 coordinates with signature (4,2) come from the ghost part. The physical states are represented by the cohomology of the BRST-operator. The vertex algebra induces a product on the vector space of physical states that defines the structure of a Lie algebra on this space. This Lie algebra shares many properties with generalized Kac-Moody algebra but we will show that it is not a generalized Kac-Moody algebra. (orig.)

The Lie algebra of the N=2-string

Energy Technology Data Exchange (ETDEWEB)

Kugel, K

2006-07-01

The theory of generalized Kac-Moody algebras is a generalization of the theory of finite dimensional simple Lie algebras. The physical states of some compactified strings give realizations of generalized Kac-Moody algebras. For example the physical states of a bosonic string moving on a 26 dimensional torus form a generalized Kac-Moody algebra and the physical states of a N=1 string moving on a 10 dimensional torus form a generalized Kac-Moody superalgebra. A natural question is whether the physical states of the compactified N=2-string also realize such an algebra. In this thesis we construct the Lie algebra of the compactified N=2-string, study its properties and show that it is not a generalized Kac-Moody algebra. The Fock space of a N=2-string moving on a 4 dimensional torus can be described by a vertex algebra constructed from a rational lattice of signature (8,4). Here 6 coordinates with signature (4,2) come from the matter part and 6 coordinates with signature (4,2) come from the ghost part. The physical states are represented by the cohomology of the BRST-operator. The vertex algebra induces a product on the vector space of physical states that defines the structure of a Lie algebra on this space. This Lie algebra shares many properties with generalized Kac-Moody algebra but we will show that it is not a generalized Kac-Moody algebra. (orig.)

An application of vector coherent state theory to the SO95) proton-neutron quasi-spin algebra

International Nuclear Information System (INIS)

Berej, W.

2002-01-01

Vector coherent state theory (VCS), developed for computing Lie group and Lie algebra representations and coupling coefficients, has been used for many groups of interest an actual physics applications. It is shown that VCS construction of a rotor type can be performed for the SO(5) ∼ Sp(4) quasi-spin group where the relevant physical subgroup SU(2) x U(1) is generalized by the isospin operators and the number of particle operators [ru

The Hamiltonian of the quantum trigonometric Calogero-Sutherland model in the exceptional algebra E8

International Nuclear Information System (INIS)

Fernandez Nunez, J; Garcia Fuertes, W; Perelomov, A M

2009-01-01

We express the Hamiltonian of the quantum trigonometric Calogero-Sutherland model for the Lie algebra E 8 and coupling constant κ by using the fundamental irreducible characters of the algebra as dynamical independent variables

Cylindric-like algebras and algebraic logic

CERN Document Server

Ferenczi, Miklós; Németi, István

2013-01-01

Algebraic logic is a subject in the interface between logic, algebra and geometry, it has strong connections with category theory and combinatorics. Tarski’s quest for finding structure in logic leads to cylindric-like algebras as studied in this book, they are among the main players in Tarskian algebraic logic. Cylindric algebra theory can be viewed in many ways:  as an algebraic form of definability theory, as a study of higher-dimensional relations, as an enrichment of Boolean Algebra theory, or, as logic in geometric form (“cylindric” in the name refers to geometric aspects). Cylindric-like algebras have a wide range of applications, in, e.g., natural language theory, data-base theory, stochastics, and even in relativity theory. The present volume, consisting of 18 survey papers, intends to give an overview of the main achievements and new research directions in the past 30 years, since the publication of the Henkin-Monk-Tarski monographs. It is dedicated to the memory of Leon Henkin.

Quantum algebra of N superspace

International Nuclear Information System (INIS)

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

2007-01-01

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 κ-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

The Einstein action for algebras of matrix valued functions - Toy models

Energy Technology Data Exchange (ETDEWEB)

Hajac, P M

1995-10-01

Two toy models are considered within the framework of noncommutative differential geometry. In the first one, the Einstein action of the Levi-Civita connection is computed for the algebra of matrix valued functions on a torus. It is shown that, assuming some constraints on the metric, this action splits into a classical-like, a quantum-like and a mixed term. In the second model, an analogue of the Palatini method of variation is applied to obtain critical points of the Einstein action functional for M{sub 4}(R). It is pointed out that a solution to the Palatini variational problem is not necessarily a Levi-Civita connection. In this model, no additional assumptions regarding metrics are made. (author). 14 refs.

Predicting NonInertial Effects with Algebraic Stress Models which Account for Dissipation Rate Anisotropies

Science.gov (United States)

Jongen, T.; Machiels, L.; Gatski, T. B.

1997-01-01

Three types of turbulence models which account for rotational effects in noninertial frames of reference are evaluated for the case of incompressible, fully developed rotating turbulent channel flow. The different types of models are a Coriolis-modified eddy-viscosity model, a realizable algebraic stress model, and an algebraic stress model which accounts for dissipation rate anisotropies. A direct numerical simulation of a rotating channel flow is used for the turbulent model validation. This simulation differs from previous studies in that significantly higher rotation numbers are investigated. Flows at these higher rotation numbers are characterized by a relaminarization on the cyclonic or suction side of the channel, and a linear velocity profile on the anticyclonic or pressure side of the channel. The predictive performance of the three types of models are examined in detail, and formulation deficiencies are identified which cause poor predictive performance for some of the models. Criteria are identified which allow for accurate prediction of such flows by algebraic stress models and their corresponding Reynolds stress formulations.

Gauge constructs and immersions of four-dimensional spacetimes in (4 + k)-dimensional flat spaces: algebraic evaluation of gravity fields

International Nuclear Information System (INIS)

Edelen, Dominic G B

2003-01-01

Local action of the fundamental group SO(a, 4 + k - a) is used to show that any solution of an algebraically closed differential system, that is generated from matrix Lie algebra valued 1-forms on a four-dimensional parameter space, will generate families of immersions of four-dimensional spacetimes R 4 in flat (4 + k)-dimensional spaces M 4+k with compatible signature. The algorithm is shown to work with local action of SO(a, 4 + k - a) replaced by local action of GL(4 + k). Immersions generated by local action of the Poincare group on the target spacetime are also obtained. Evaluations of the line elements, immersion loci and connection and curvature forms of these immersions are algebraic. Families of immersions that depend on one or more arbitrary functions are calculated for 1 ≤ k ≤ 4. Appropriate sections of graphs of the conformal factor for two and three interacting line singularities immersed in M 6 are given in appendix A. The local immersion theorem given in appendix B shows that all local solutions of the immersion problem are obtained by use of this method and an algebraic extension in exceptional cases

Radioiodine labelled SP-4 as an imaging agent for atherosclerotic plaques

International Nuclear Information System (INIS)

Zhang Yongxue; Wu Zhijian; Cao Wei

2000-01-01

The clinical prospect of radioiodinated SP-4 as an atherosclerotic plaque imaging agent was studied. The SP-4 was synthesized by a solid phase method and identified by an amino acid analysis after purification with HPLC. SP-4 was labelled with 131 I and 125 I by the Chloramine-T method and purified through Sephadex G-25 column. Twelve New Zealand rabbits were divided into an atherosclerotic group (n = 7, AR) and a control group (n = 5, NR). All of the atherosclerotic rabbits were intravenous administrated with bovine serum albumin, then feb with high cholesterol and fat diet. 125 I-SP-4 was intravenous administrated to the rabbits of both groups. The biodistribution of 125 I-SP-4 in rabbits was investigated. The uptakes (% ID/g) in blood and thoracic aorta and abdominal aorta were calculated 4 hours postinjection. Macro-autoradiography and micro-autoradiography were performed in 2 AR atherosclerotic abdominal aortas. The clearance of radioactivity from plasma was very rapid. 125 I-SP-4 was mainly excreted through kidneys. The radioactive uptakes of abdominal aorta and thoracic aorta of AR at 4 hours postinjection were significantly higher than that of NR. The films of macro-autoradiography showed focal accumulation of the radioactivity in the areas of a newly formed edges of atherosclerotic plaques. On the slices of micro-autoradiography, the obvious radioactive accumulation could be found in the atherosclerotic plaques. Thus it was seen that the SP-4 remained its biological activity after radioiodination and was located at atherosclerotic lesions, it is potentially useful as an atherosclerotic plaque imaging agent

Differential Hopf algebra structures on the universal enveloping algebra of a Lie algebra

NARCIS (Netherlands)

van den Hijligenberg, N.W.; van den Hijligenberg, N.W.; Martini, Ruud

1995-01-01

We discuss a method to construct a De Rham complex (differential algebra) of Poincar'e-Birkhoff-Witt-type on the universal enveloping algebra of a Lie algebra $g$. We determine the cases in which this gives rise to a differential Hopf algebra that naturally extends the Hopf algebra structure of

Bosonic construction of the Lie algebras of some non-compact groups appearing in supergravity theories and their oscillator-like unitary representations

International Nuclear Information System (INIS)

Guenaydin, M.; Saclioglu, C.

1981-06-01

We give a construction of the Lie algebras of the non-compact groups appearing in four dimensional supergravity theories in terms of boson operators. Our construction parallels very closely their emergence in supergravity and is an extension of the well-known construction of the Lie algebras of the non-compact groups Sp(2n,IR) and SO(2n) from boson operators transforming like a fundamental representation of their maximal compact subgroup U(n). However this extension is non-trivial only for n >= 4 and stops at n = 8 leading to the Lie algebras of SU(4) x SU(1,1), SU(5,1), SO(12) and Esub(7(7)). We then give a general construction of an infinite class of unitary irreducible representations of the respective non-compact groups (except for Esub(7(7)) and SO(12) obtained from the extended construction). We illustrate our construction with the examples of SU(5,1) and SO(12). (orig.)

Using computer algebra and SMT-solvers to analyze a mathematical model of cholera propagation

Science.gov (United States)

Trujillo Arredondo, Mariana

2014-06-01

We analyze a mathematical model for the transmission of cholera. The model is already defined and involves variables such as the pathogen agent, which in this case is the bacterium Vibrio cholera, and the human population. The human population is divided into three classes: susceptible, infectious and removed. Using Computer Algebra, specifically Maple we obtain two equilibrium states: the disease free state and the endemic state. Using Maple it is possible to prove that the disease free state is locally asymptotically stable if and only if R0 1. Using the package Red-Log of the Computer algebra system Reduce and the SMT-Solver Z3Py it is possible to obtain numerical conditions for the model. The formula for the basic reproductive number makes a synthesis with all epidemic parameters in the model. Also it is possible to make numerical simulations which are very illustrative about the epidemic patters that are expected to be observed in real situations. We claim that these kinds of software are very useful in the analysis of epidemic models given that the symbolic computation provides algebraic formulas for the basic reproductive number and such algebraic formulas are very useful to derive control measures. For other side, computer algebra software is a powerful tool to make the stability analysis for epidemic models given that the all steps in the stability analysis can be made automatically: finding the equilibrium points, computing the jacobian, computing the characteristic polynomial for the jacobian, and applying the Routh-Hurwitz theorem to the characteristic polynomial. Finally, using SMT-Solvers is possible to make automatically checks of satisfiability, validity and quantifiers elimination being these computations very useful to analyse complicated epidemic models.

Off-critical W∞ and Virasoro algebras as dynamical symmetries of the integrable models

International Nuclear Information System (INIS)

Sotkov, G.; Stanishkov, M.

1993-01-01

An infinite set of new non commuting conserved charges in a specific class of perturbed CFT's is founded and a criterion for their existence is presented. They appear to be higher momenta of the already known commuting conserved currents. The algebra they close consists of two non commuting W ∞ algebras. Various Virasoro subalgebras of the full symmetry algebra are founded. It is shown on the examples of the perturbed Ising and Potts models that one of them plays an essential role in the computation of the correlation functions of the fields of the theory. (author)

Algebraic Bethe ansatz for 19-vertex models with reflection conditions

International Nuclear Information System (INIS)

Utiel, Wagner

2003-01-01

In this work we solve the 19-vertex models with the use of algebraic Bethe ansatz for diagonal reflection matrices (Sklyanin K-matrices). The eigenvectors, eigenvalues and Bethe equations are given in a general form. Quantum spin chains of spin one derived from the 19-vertex models were also discussed

Geometric Model of Topological Insulators from the Maxwell Algebra

Science.gov (United States)

Palumbo, Giandomenico

I propose a novel geometric model of time-reversal-invariant topological insulators in three dimensions in presence of an external electromagnetic field. Their gapped boundary supports relativistic quantum Hall states and is described by a Chern-Simons theory, where the gauge connection takes values in the Maxwell algebra. This represents a non-central extension of the Poincare' algebra and takes into account both the Lorentz and magnetic-translation symmetries of the surface states. In this way, I derive a relativistic version of the Wen-Zee term and I show that the non-minimal coupling between the background geometry and the electromagnetic field in the model is in agreement with the main properties of the relativistic quantum Hall states in the flat space. This work is part of the DITP consortium, a program of the Netherlands Organisation for Scientific Research (NWO) that is funded by the Dutch Ministry of Education, Culture and Science (OCW).

Donaldson invariants in algebraic geometry

International Nuclear Information System (INIS)

Goettsche, L.

2000-01-01

In these lectures I want to give an introduction to the relation of Donaldson invariants with algebraic geometry: Donaldson invariants are differentiable invariants of smooth compact 4-manifolds X, defined via moduli spaces of anti-self-dual connections. If X is an algebraic surface, then these moduli spaces can for a suitable choice of the metric be identified with moduli spaces of stable vector bundles on X. This can be used to compute Donaldson invariants via methods of algebraic geometry and has led to a lot of activity on moduli spaces of vector bundles and coherent sheaves on algebraic surfaces. We will first recall the definition of the Donaldson invariants via gauge theory. Then we will show the relation between moduli spaces of anti-self-dual connections and moduli spaces of vector bundles on algebraic surfaces, and how this makes it possible to compute Donaldson invariants via algebraic geometry methods. Finally we concentrate on the case that the number b + of positive eigenvalues of the intersection form on the second homology of the 4-manifold is 1. In this case the Donaldson invariants depend on the metric (or in the algebraic geometric case on the polarization) via a system of walls and chambers. We will study the change of the invariants under wall-crossing, and use this in particular to compute the Donaldson invariants of rational algebraic surfaces. (author)

The N=2 super-W3 algebra

International Nuclear Information System (INIS)

Romans, L.J.

1992-01-01

We present the complete structure of the N=2 super-W 3 algebra, a non-linear extended conformal algebra containing the usual N=2 superconformal algebra (with generators of spins 1, 3/2, 3/2 and 2) and a higher-spin multiplet of generators with spins 2, 5/2, 5/2 and 3. We investigate various sub-algebras and related algebras, and find necessary conditions upon possible unitary representations of the algebra. In particular, the central charge c is restricted to two discrete series, one ascending and one descending to a common accumulation point c=6. The results suggest that the algebra is realised in certain (compact or non-compact) Kazama-Suzuki coset models, including a c=9 model proposed by Bars based on SU(2, 1)/U(2). (orig.)

Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes

NARCIS (Netherlands)

Cloth, L.; de Alfaro, L.; Gilmore, S.; Bohnenkamp, H.C.; Haverkort, Boudewijn R.H.M.

2001-01-01

In this paper, the concept of complete finite prefixes for process algebra expressions is extended to stochastic models. Events are supposed to happen after a delay that is determined by random variables assigned to the preceding conditions. Max-plus algebra expressions are shown to provide an

The algebras of higher order currents of the fermionic Gross-Neveu model

International Nuclear Information System (INIS)

Saltini, Luis Eduardo

1996-01-01

Results are reported from our studies on the following 2-dimensional field theories: the supersymmetric non-linear sigma model and the fermionic Gross-Neveu model. About the supersymmetric non-linear sigma model, an attempt is made to solve the the algebraic problem of finding the non-local conserved charges and the corresponding algebra, extending the methods described in a previous article for the case of the purely bosonic non linear sigma model. For the fermionic Gross-Neveu model, we intend to construct the conserved currents and the respective charges, related to the abelian U(1) symmetry and non-abelian SU(n) symmetry, at the conformal point and calculate the correlation functions between them. From these results at the conformal point, we want to study the effects of perturbation to get a massive but integral theory

Introduction to relation algebras relation algebras

CERN Document Server

Givant, Steven

2017-01-01

The first volume of a pair that charts relation algebras from novice to expert level, this text offers a comprehensive grounding for readers new to the topic. Upon completing this introduction, mathematics students may delve into areas of active research by progressing to the second volume, Advanced Topics in Relation Algebras; computer scientists, philosophers, and beyond will be equipped to apply these tools in their own field. The careful presentation establishes first the arithmetic of relation algebras, providing ample motivation and examples, then proceeds primarily on the basis of algebraic constructions: subalgebras, homomorphisms, quotient algebras, and direct products. Each chapter ends with a historical section and a substantial number of exercises. The only formal prerequisite is a background in abstract algebra and some mathematical maturity, though the reader will also benefit from familiarity with Boolean algebra and naïve set theory. The measured pace and outstanding clarity are particularly ...

Algebraic Structure of tt * Equations for Calabi-Yau Sigma Models

Science.gov (United States)

Alim, Murad

2017-08-01

The tt * equations define a flat connection on the moduli spaces of {2d, \\mathcal{N}=2} quantum field theories. For conformal theories with c = 3 d, which can be realized as nonlinear sigma models into Calabi-Yau d-folds, this flat connection is equivalent to special geometry for threefolds and to its analogs in other dimensions. We show that the non-holomorphic content of the tt * equations, restricted to the conformal directions, in the cases d = 1, 2, 3 is captured in terms of finitely many generators of special functions, which close under derivatives. The generators are understood as coordinates on a larger moduli space. This space parameterizes a freedom in choosing representatives of the chiral ring while preserving a constant topological metric. Geometrically, the freedom corresponds to a choice of forms on the target space respecting the Hodge filtration and having a constant pairing. Linear combinations of vector fields on that space are identified with the generators of a Lie algebra. This Lie algebra replaces the non-holomorphic derivatives of tt * and provides these with a finer and algebraic meaning. For sigma models into lattice polarized K3 manifolds, the differential ring of special functions on the moduli space is constructed, extending known structures for d = 1 and 3. The generators of the differential rings of special functions are given by quasi-modular forms for d = 1 and their generalizations in d = 2, 3. Some explicit examples are worked out including the case of the mirror of the quartic in {\\mathbbm{P}^3}, where due to further algebraic constraints, the differential ring coincides with quasi modular forms.

Smarandache hyper BCC-algebra

OpenAIRE

Ahadpanah, A.; Borumand Saeid, A.

2011-01-01

In this paper, we define the Smarandache hyper BCC-algebra, and Smarandache hyper BCC-ideals of type 1, 2, 3 and 4. We state and prove some theorems in Smarandache hyper BCC -algebras, and then we determine the relationships between these hyper ideals.

Fusion rules of chiral algebras

International Nuclear Information System (INIS)

Gaberdiel, M.

1994-01-01

Recently we showed that for the case of the WZW and the minimal models fusion can be understood as a certain ring-like tensor product of the symmetry algebra. In this paper we generalize this analysis to arbitrary chiral algebras. We define the tensor product of conformal field theory in the general case and prove that it is associative and symmetric up to equivalence. We also determine explicitly the action of the chiral algebra on this tensor product. In the second part of the paper we demonstrate that this framework provides a powerful tool for calculating restrictions for the fusion rules of chiral algebras. We exhibit this for the case of the W 3 algebra and the N=1 and N=2 NS superconformal algebras. (orig.)

Extensions of Scott's Graph Model and Kleene's Second Algebra

NARCIS (Netherlands)

van Oosten, J.; Voorneveld, Niels

We use a way to extend partial combinatory algebras (pcas) by forcing them to represent certain functions. In the case of Scott’s Graph Model, equality is computable relative to the complement function. However, the converse is not true. This creates a hierarchy of pcas which relates to similar

Quantitative Algebraic Reasoning

DEFF Research Database (Denmark)

Mardare, Radu Iulian; Panangaden, Prakash; Plotkin, Gordon

2016-01-01

We develop a quantitative analogue of equational reasoning which we call quantitative algebra. We define an equality relation indexed by rationals: a =ε b which we think of as saying that “a is approximately equal to b up to an error of ε”. We have 4 interesting examples where we have a quantitative...... equational theory whose free algebras correspond to well known structures. In each case we have finitary and continuous versions. The four cases are: Hausdorff metrics from quantitive semilattices; pWasserstein metrics (hence also the Kantorovich metric) from barycentric algebras and also from pointed...

Located actions in process algebra with timing

NARCIS (Netherlands)

Bergstra, J.A.; Middelburg, C.A.

2004-01-01

We propose a process algebra obtained by adapting the process algebra with continuous relative timing from Baeten and Middelburg [Process Algebra with Timing, Springer, 2002, Chap. 4] to spatially located actions. This process algebra makes it possible to deal with the behaviour of systems with a

Microfibril-associated Protein 4 Binds to Surfactant Protein A (SP-A) and Colocalizes with SP-A in the Extracellular Matrix of the Lung

DEFF Research Database (Denmark)

Schlosser, Anders; Thomsen, Theresa H.; Shipley, J. Michael

2006-01-01

for phagocytes. Here we describe the molecular interaction between the extracellular matrix protein microfibril-associated protein 4 (MFAP4) and SP-A. MFAP4 is a collagen-binding molecule containing a C-terminal fibrinogen-like domain and a N-terminal located integrin-binding motif. We produced recombinant MFAP4......-A composed of the neck region and carbohydrate recognition domain of SP-A indicating that the interaction between MFAP4 and SP-A is mediated via the collagen domain of SP-A. Monoclonal antibodies directed against MFAP4 and SP-A were used for immunohistochemical analysis, which demonstrates that the two...... molecules colocalize both on the elastic fibres in the interalveolar septum and in elastic lamina of pulmonary arteries of chronically inflamed lung tissue. We conclude, that MFAP4 interacts with SP-A via the collagen region in vitro, and that MFAP4 and SP-A colocates in different lung compartments...

From Rota-Baxter algebras to pre-Lie algebras

International Nuclear Information System (INIS)

An Huihui; Ba, Chengming

2008-01-01

Rota-Baxter algebras were introduced to solve some analytic and combinatorial problems and have appeared in many fields in mathematics and mathematical physics. Rota-Baxter algebras provide a construction of pre-Lie algebras from associative algebras. In this paper, we give all Rota-Baxter operators of weight 1 on complex associative algebras in dimension ≤3 and their corresponding pre-Lie algebras

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

International Nuclear Information System (INIS)

Marquette, Ian

2013-01-01

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

Galois Connections for Flow Algebras

DEFF Research Database (Denmark)

Filipiuk, Piotr; Terepeta, Michal Tomasz; Nielson, Hanne Riis

2011-01-01

to the approach taken by Monotone Frameworks and other classical analyses. We present a generic framework for static analysis based on flow algebras and program graphs. Program graphs are often used in Model Checking to model concurrent and distributed systems. The framework allows to induce new flow algebras...

Yoneda algebras of almost Koszul algebras

Indian Academy of Sciences (India)

Abstract. Let k be an algebraically closed field, A a finite dimensional connected. (p,q)-Koszul self-injective algebra with p, q ≥ 2. In this paper, we prove that the. Yoneda algebra of A is isomorphic to a twisted polynomial algebra A![t; β] in one inde- terminate t of degree q +1 in which A! is the quadratic dual of A, β is an ...

Quantum cluster algebras and quantum nilpotent algebras

Science.gov (United States)

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

Mathematical Modelling in Engineering: A Proposal to Introduce Linear Algebra Concepts

Science.gov (United States)

Cárcamo Bahamonde, Andrea; Gómez Urgelles, Joan; Fortuny Aymemí, Josep

2016-01-01

The modern dynamic world requires that basic science courses for engineering, including linear algebra, emphasise the development of mathematical abilities primarily associated with modelling and interpreting, which are not exclusively calculus abilities. Considering this, an instructional design was created based on mathematical modelling and…

An introduction to algebraic geometry and algebraic groups

CERN Document Server

Geck, Meinolf

2003-01-01

An accessible text introducing algebraic geometries and algebraic groups at advanced undergraduate and early graduate level, this book develops the language of algebraic geometry from scratch and uses it to set up the theory of affine algebraic groups from first principles.Building on the background material from algebraic geometry and algebraic groups, the text provides an introduction to more advanced and specialised material. An example is the representation theory of finite groups of Lie type.The text covers the conjugacy of Borel subgroups and maximal tori, the theory of algebraic groups

Kac-Moody algebras and string theory

International Nuclear Information System (INIS)

Cleaver, G.B.

1993-01-01

The focus of this thesis is on (1) the role of Kac-Moody algebras in string theory and the development of techniques for systematically building string theory models based on a higher level (K ≥ 2) KM algebras and (2) fractional superstrings, a new class of solutions based on SU(2) K /U(1) conformal field theories. The content of this thesis is as follows. In chapter two they review KM algebras and their role in string theory. In the next chapter they present two results concerning the construction of modular invariant partition functions for conformal field theories build by tensoring together other conformal field theories. First they show how the possible modular invariants for the tensor product theory are constrained if the allowed modular invariants of the individuals conformal field theory factors have been classified. They illustrate the use of these constraints for theories of the type SU(2) KA direct-product SU(2) KB , finding all consistent theories for K A and K B odd. Second they show how known diagonal modular invariants can be used to construct inherently asymmetric invariants where the holomorphic and anti-holomorphic theories do not share the same chiral algebra. Explicit examples are given. Next, in chapter four they investigate some issues relating to recently proposed fractional superstring theories with D critical K/4 K/4 , as source of spacetime fermions, is demonstrated

Infinite-parametric extension of the conformal algebra in D>2 space-time dimension

International Nuclear Information System (INIS)

Fradkin, E.S.; Linetsky, V.Ya.

1990-09-01

On the basis of the analytic continuations of semisimple Lie algebras discovered recently by us we construct manifestly quasiconformal infinite-dimensional algebras AC(so(4,1)) and PAC(so(3,2)) extending the conformal algebras in three-dimensional Euclidean and Minkowski space-time like the Virasoro algebra extends so(2,1). Their higher spin generalizations are also constructed. A counterpart of the central extension for D>2 and possible applications in exactly solvable conformal quantum field models in D>2 are discussed. (author). 31 refs, 2 figs

Algebraic characterizations of measure algebras

Czech Academy of Sciences Publication Activity Database

Jech, Thomas

2008-01-01

Roč. 136, č. 4 (2008), s. 1285-1294 ISSN 0002-9939 R&D Projects: GA AV ČR IAA100190509 Institutional research plan: CEZ:AV0Z10190503 Keywords : Von - Neumann * sequential topology * Boolean-algebras * Souslins problem * Submeasures Subject RIV: BA - General Mathematics Impact factor: 0.584, year: 2008

Higgs compositeness in Sp(2N) gauge theories — The pure gauge model

Science.gov (United States)

Bennett, Ed; Ki Hong, Deog; Lee, Jong-Wan; David Lin, C.-J.; Lucini, Biagio; Piai, Maurizio; Vadacchino, Davide

2018-03-01

As a first step in the study of Sp(2N) composite Higgs models, we obtained a set of novel numerical results for the pure gauge Sp(4) lattice theory in 3+1 space-time dimensions. Results for the continuum extrapolations of the string tension and the glueball mass spectrum are presented and their values are compared with the same quantities in neighbouring SU(N) models.

Applications of Computer Algebra Conference

CERN Document Server

Martínez-Moro, Edgar

2017-01-01

The Applications of Computer Algebra (ACA) conference covers a wide range of topics from Coding Theory to Differential Algebra to Quantam Computing, focusing on the interactions of these and other areas with the discipline of Computer Algebra. This volume provides the latest developments in the field as well as its applications in various domains, including communications, modelling, and theoretical physics. The book will appeal to researchers and professors of computer algebra, applied mathematics, and computer science, as well as to engineers and computer scientists engaged in research and development.

Homotopy Theory of C*-Algebras

CERN Document Server

Ostvaer, Paul Arne

2010-01-01

Homotopy theory and C* algebras are central topics in contemporary mathematics. This book introduces a modern homotopy theory for C*-algebras. One basic idea of the setup is to merge C*-algebras and spaces studied in algebraic topology into one category comprising C*-spaces. These objects are suitable fodder for standard homotopy theoretic moves, leading to unstable and stable model structures. With the foundations in place one is led to natural definitions of invariants for C*-spaces such as homology and cohomology theories, K-theory and zeta-functions. The text is largely self-contained. It

Transcription factor SP4 is a susceptibility gene for bipolar disorder.

Directory of Open Access Journals (Sweden)

Xianjin Zhou

Full Text Available The Sp4 transcription factor plays a critical role for both development and function of mouse hippocampus. Reduced expression of the mouse Sp4 gene results in a variety of behavioral abnormalities relevant to human psychiatric disorders. The human SP4 gene is therefore examined for its association with both bipolar disorder and schizophrenia in European Caucasian and Chinese populations respectively. Out of ten SNPs selected from human SP4 genomic locus, four displayed significant association with bipolar disorder in European Caucasian families (rs12668354, p = 0.022; rs12673091, p = 0.0005; rs3735440, p = 0.019; rs11974306, p = 0.018. To replicate the genetic association, the same set of SNPs was examined in a Chinese bipolar case control sample. Four SNPs displayed significant association (rs40245, p = 0.009; rs12673091, p = 0.002; rs1018954, p = 0.001; rs3735440, p = 0.029, and two of them (rs12673091, rs3735440 were shared with positive SNPs from European Caucasian families. Considering the genetic overlap between bipolar disorder and schizophrenia, we extended our studies in Chinese trios families for schizophrenia. The SNP7 (rs12673091, p = 0.012 also displayed a significant association. The SNP7 (rs12673091 was therefore significantly associated in all three samples, and shared the same susceptibility allele (A across all three samples. On the other hand, we found a gene dosage effect for mouse Sp4 gene in the modulation of sensorimotor gating, a putative endophenotype for both schizophrenia and bipolar disorder. The deficient sensorimotor gating in Sp4 hypomorphic mice was partially reversed by the administration of dopamine D2 antagonist or mood stabilizers. Both human genetic and mouse pharmacogenetic studies support Sp4 gene as a susceptibility gene for bipolar disorder or schizophrenia. The studies on the role of Sp4 gene in hippocampal development may provide novel insights for the contribution of hippocampal abnormalities in these

Lie n-algebras of BPS charges

Energy Technology Data Exchange (ETDEWEB)

Sati, Hisham [University of Pittsburgh,Pittsburgh, PA, 15260 (United States); Mathematics Program, Division of Science and Mathematics, New York University Abu Dhabi,Saadiyat Island, Abu Dhabi (United Arab Emirates); Schreiber, Urs [Mathematics Institute of the Academy,Žitna 25, Praha 1, 115 67 (Czech Republic)

2017-03-16

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.

INPUT-OUTPUT STRUCTURE OF LINEAR-DIFFERENTIAL ALGEBRAIC SYSTEMS

NARCIS (Netherlands)

KUIJPER, M; SCHUMACHER, JM

Systems of linear differential and algebraic equations occur in various ways, for instance, as a result of automated modeling procedures and in problems involving algebraic constraints, such as zero dynamics and exact model matching. Differential/algebraic systems may represent an input-output

Super-Galilean conformal algebra in AdS/CFT

International Nuclear Information System (INIS)

Sakaguchi, Makoto

2010-01-01

Galilean conformal algebra (GCA) is an Inoenue-Wigner (IW) contraction of a conformal algebra, while Newton-Hooke string algebra is an IW contraction of an Anti-de Sitter (AdS) algebra, which is the isometry of an AdS space. It is shown that the GCA is a boundary realization of the Newton-Hooke string algebra in the bulk AdS. The string lies along the direction transverse to the boundary, and the worldsheet is AdS 2 . The one-dimensional conformal symmetry so(2,1) and rotational symmetry so(d) contained in the GCA are realized as the symmetry on the AdS 2 string worldsheet and rotational symmetry in the space transverse to the AdS 2 in AdS d+2 , respectively. It follows from this correspondence that 32 supersymmetric GCAs can be derived as IW contractions of superconformal algebras, psu(2,2|4), osp(8|4), and osp(8*|4). We also derive less supersymmetric GCAs from su(2,2|2), osp(4|4), osp(2|4), and osp(8*|2).

The Das-Popowicz Moyal momentum algebra

International Nuclear Information System (INIS)

Boulahoual, A.; Sedra, M.B.

2002-08-01

We introduce in this short note some aspects of the Moyal momentum algebra that we call the Das-Popowicz Mm algebra. Our interest on this algebra is motivated by the central role that it can play in the formulation of integrable models and in higher conformal spin theories. (author)

Continual Lie algebras and noncommutative counterparts of exactly solvable models

Science.gov (United States)

Zuevsky, A.

2004-01-01

Noncommutative counterparts of exactly solvable models are introduced on the basis of a generalization of Saveliev-Vershik continual Lie algebras. Examples of noncommutative Liouville and sin/h-Gordon equations are given. The simplest soliton solution to the noncommutative sine-Gordon equation is found.

Algebraic approach to q-deformed supersymmetric variants of the Hubbard model with pair hoppings

International Nuclear Information System (INIS)

Arnaudon, D.

1997-01-01

Two quantum spin chains Hamiltonians with quantum sl(2/1) invariance are constructed. These spin chains define variants of the Hubbard model and describe electron models with pair hoppings. A cubic algebra that admits the Birman-Wenzl-Murakami algebra as a quotient allows exact solvability of the periodic chain. The two Hamiltonians, respectively built using the distinguished and the fermionic bases of U q (sl(2/1)) differ only in the boundary terms. They are actually equivalent, but the equivalence is non local. Reflection equations are solved to get exact solvability on open chains with non trivial boundary conditions. Two families of diagonal solutions are found. The centre and the s-Casimir of the quantum enveloping algebra of sl(2/1) appear as tools for the construction of exactly solvable Hamiltonians. (author)

The Role of S P2, SP3 AND SP4 in The Transcriptional Regulation of The Promoter of Nuclear Encoded Mitochondrial Genes

International Nuclear Information System (INIS)

Zaid, A.; Salem, Gh.

2012-01-01

The GC-box is an important transcriptional regulatory element present in the promoters of many mammalian genes, and is found in most, if not all, oxidative phosphorylation (OXPHOS) promoters. In the present study we examine the effects of three Spl family members (Sp2, Sp3, and Sp4) on the adenine nucleotide translocase 2, cytochrome cl, Fl-ATPase β-subunit, and the mitochondria transcription factor (mtTFA) promoters in Drosophila SL2 cell line. Sp3, like Spl, strongly activates transcription all four promoters. SP4 stimulates, moderately, but Sp2 had no effect. In addition, Sp3 can, like Spl, inhibit transcription from the proximal promoter of the ANT2 gene through binding to the Cbox GC element. By contrast, Sp4 and Sp2 do not repress promoter activity. Furthermore, since Sp4 and Sp2 bind to the Cbox repression element on the ANT2 promoter, but do not repress transcription, inhibition of transcription cannot be explained by steric hindrance of pre-initiation complex assembly. These data suggest that different Spl family members differentially affect transcription from the OXPHOS promoters.

Differential Hopf algebra structures on the Universal Enveloping Algebra of a Lie Algebra

NARCIS (Netherlands)

van den Hijligenberg, N.W.; van den Hijligenberg, N.; Martini, Ruud

1995-01-01

We discuss a method to construct a De Rham complex (differential algebra) of Poincaré–Birkhoff–Witt type on the universal enveloping algebra of a Lie algebra g. We determine the cases in which this gives rise to a differential Hopf algebra that naturally extends the Hopf algebrastructure of U(g).

More on the linearization of W-algebras

International Nuclear Information System (INIS)

Krivonos, S.; Sorin, A.

1995-01-01

We show that a wide class of W-(super)algebras, including W N (N-1) , U(N)-superconformal as well as W N nonlinear algebras, can be linearized by embedding them as subalgebras into some linear (super)conformal algebras with finite sets of currents. The general construction is illustrated by the example of W 4 algebra. 16 refs

The Virasoro algebra in integrable hierarchies and the method of matrix models

International Nuclear Information System (INIS)

Semikhatov, A.M.

1992-01-01

The action of the Virasoro algebra on hierarchies of nonlinear integrable equations, and also the structure and consequences of Virasoro constraints on these hierarchies, are studied. It is proposed that a broad class of hierarchies, restricted by Virasoro constraints, can be defined in terms of dressing operators hidden in the structure of integrable systems. The Virasoro-algebra representation constructed on the dressing operators displays a number of analogies with structures in conformal field theory. The formulation of the Virasoro constraints that stems from this representation makes it possible to translate into the language of integrable systems a number of concepts from the method of the 'matrix models' that describe nonperturbative quantum gravity, and, in particular, to realize a 'hierarchical' version of the double scaling limit. From the Virasoro constraints written in terms of the dressing operators generalized loop equations are derived, and this makes it possible to do calculations on a reconstruction of the field-theoretical description. The reduction of the Kadomtsev-Petviashvili (KP) hierarchy, subject to Virasoro constraints, to generalized Korteweg-deVries (KdV) hierarchies is implemented, and the corresponding representation of the Virasoro algebra on these hierarchies is found both in the language of scalar differential operators and in the matrix formalism of Drinfel'd and Sokolov. The string equation in the matrix formalism does not replicate the structure of the scalar string equation. The symmetry algebras of the KP and N-KdV hierarchies restricted by Virasoro constraints are calculated: A relationship is established with algebras from the family W ∞ (J) of infinite W-algebras

The relation between quantum W algebras and Lie algebras

International Nuclear Information System (INIS)

Boer, J. de; Tjin, T.

1994-01-01

By quantizing the generalized Drinfeld-Sokolov reduction scheme for arbitrary sl 2 embeddings we show that a large set W of quantum W algebras can be viewed as (BRST) cohomologies of affine Lie algebras. The set W contains many known W algebras such as W N and W 3 (2) . Our formalism yields a completely algorithmic method for calculating the W algebra generators and their operator product expansions, replacing the cumbersome construction of W algebras as commutants of screening operators. By generalizing and quantizing the Miura transformation we show that any W algebra in W can be embedded into the universal enveloping algebra of a semisimple affine Lie algebra which is, up to shifts in level, isomorphic to a subalgebra of the original affine algebra. Therefore any realization of this semisimple affine Lie algebra leads to a realization of the W algebra. In particular, one obtains in this way a general and explicit method for constructing the free field realizations and Fock resolutions for all algebras in W. Some examples are explicitly worked out. (orig.)

2-Local derivations on matrix algebras over semi-prime Banach algebras and on AW*-algebras

International Nuclear Information System (INIS)

Ayupov, Shavkat; Kudaybergenov, Karimbergen

2016-01-01

The paper is devoted to 2-local derivations on matrix algebras over unital semi-prime Banach algebras. For a unital semi-prime Banach algebra A with the inner derivation property we prove that any 2-local derivation on the algebra M 2 n (A), n ≥ 2, is a derivation. We apply this result to AW*-algebras and show that any 2-local derivation on an arbitrary AW*-algebra is a derivation. (paper)

Introduction to algebraic quantum field theory

International Nuclear Information System (INIS)

Horuzhy, S.S.

1990-01-01

This volume presents a systematic introduction to the algebraic approach to quantum field theory. The structure of the contents corresponds to the way the subject has advanced. It is shown how the algebraic approach has developed from the purely axiomatic theory of observables via superselection rules into the dynamical formalism of fields and observables. Chapter one discusses axioms and their consequences -many of which are now classical theorems- and deals, in general, with the axiomatic theory of local observable algebras. The absence of field concepts makes this theory incomplete and, in chapter two, superselection rules are shown to be the key to the reconstruction of fields from observables. Chapter three deals with the algebras of Wightman fields, first unbounded operator algebras, then Von Neumann field algebras (with a special section on wedge region algebras) and finally local algebras of free and generalised free fields. (author). 447 refs.; 4 figs

From the topological development of matrix models to the topological string theory: arrangement of surfaces through algebraic geometry

International Nuclear Information System (INIS)

Orantin, N.

2007-09-01

The 2-matrix model has been introduced to study Ising model on random surfaces. Since then, the link between matrix models and arrangement of discrete surfaces has strongly tightened. This manuscript aims to investigate these deep links and extend them beyond the matrix models, following my work's evolution. First, I take care to define properly the hermitian 2 matrix model which gives rise to generating functions of discrete surfaces equipped with a spin structure. Then, I show how to compute all the terms in the topological expansion of any observable by using algebraic geometry tools. They are obtained as differential forms on an algebraic curve associated to the model: the spectral curve. In a second part, I show how to define such differentials on any algebraic curve even if it does not come from a matrix model. I then study their numerous symmetry properties under deformations of the algebraic curve. In particular, I show that these objects coincide with the topological expansion of the observable of a matrix model if the algebraic curve is the spectral curve of this model. Finally, I show that the fine tuning of the parameters ensures that these objects can be promoted to modular invariants and satisfy the holomorphic anomaly equation of the Kodaira-Spencer theory. This gives a new hint that the Dijkgraaf-Vafa conjecture is correct. (author)

Quantum cluster algebra structures on quantum nilpotent algebras

CERN Document Server

Goodearl, K R

2017-01-01

All algebras in a very large, axiomatically defined class of quantum nilpotent algebras are proved to possess quantum cluster algebra structures under mild conditions. Furthermore, it is shown that these quantum cluster algebras always equal the corresponding upper quantum cluster algebras. Previous approaches to these problems for the construction of (quantum) cluster algebra structures on (quantized) coordinate rings arising in Lie theory were done on a case by case basis relying on the combinatorics of each concrete family. The results of the paper have a broad range of applications to these problems, including the construction of quantum cluster algebra structures on quantum unipotent groups and quantum double Bruhat cells (the Berenstein-Zelevinsky conjecture), and treat these problems from a unified perspective. All such applications also establish equality between the constructed quantum cluster algebras and their upper counterparts.

Q-systems as cluster algebras

International Nuclear Information System (INIS)

Kedem, Rinat

2008-01-01

Q-systems first appeared in the analysis of the Bethe equations for the XXX model and generalized Heisenberg spin chains (Kirillov and Reshetikhin 1987 Zap. Nauchn. Sem. Leningr. Otd. Mat. Inst. Steklov. 160 211-21, 301). Such systems are known to exist for any simple Lie algebra and many other Kac-Moody algebras. We formulate the Q-system associated with any simple, simply-laced Lie algebras g in the language of cluster algebras (Fomin and Zelevinsky 2002 J. Am. Math. Soc. 15 497-529), and discuss the relation of the polynomiality property of the solutions of the Q-system in the initial variables, which follows from the representation-theoretical interpretation, to the Laurent phenomenon in cluster algebras (Fomin and Zelevinsky 2002 Adv. Appl. Math. 28 119-44)

Higher-spin algebras, holography and flat space

Energy Technology Data Exchange (ETDEWEB)

Sleight, C. [Max-Planck-Institut für Physik (Werner-Heisenberg-Institut),Föhringer Ring 6, D-80805 Munich (Germany); Université Libre de Bruxelles and International Solvay Institutes,ULB-Campus Plaine CP231, 1050 Brussels (Belgium); Taronna, M. [Université Libre de Bruxelles and International Solvay Institutes,ULB-Campus Plaine CP231, 1050 Brussels (Belgium)

2017-02-20

In this article we study the higher-spin algebra behind the type-A cubic couplings recently extracted from the free O(N) model in generic dimensions, demonstrating that they coincide with the known structure constants for the unique higher-spin algebra in generic dimensions. This provides an explicit check of the holographic reconstruction and of the duality between higher-spin theories and the free O(N) model in generic dimensions, generalising the result of Giombi and Yin in AdS{sub 4}. For completeness, we also address the same problem in the flat space for the cubic couplings derived by Metsaev in 1991, which are recovered from the flat limit of the AdS type-A cubic couplings. We observe that both flat and AdS{sub 4} higher-spin Lorentz subalgebras coincide, hinting towards the existence of a full higher-spin symmetry behind the flat-space cubic couplings of Metsaev.

Kac-Moody algebras and controlled chaos

International Nuclear Information System (INIS)

Wesley, Daniel H

2007-01-01

Compactification can control chaotic Mixmaster behaviour in gravitational systems with p-form matter: we consider this in light of the connection between supergravity models and Kac-Moody algebras. We show that different compactifications define 'mutations' of the algebras associated with the noncompact theories. We list the algebras obtained in this way, and find novel examples of wall systems determined by Lorentzian (but not hyperbolic) algebras. Cosmological models with a smooth pre-big bang phase require that chaos is absent: we show that compactification alone cannot eliminate chaos in the simplest compactifications of the heterotic string on a Calabi-Yau, or M theory on a manifold of G 2 holonomy. (fast track communication)

Quantum algebras in nuclear structure

International Nuclear Information System (INIS)

Bonatsos, D.; Daskaloyannis, C.

1995-01-01

Quantum algebras is a mathematical tool which provides us with a class of symmetries wider than that of Lie algebras, which are contained in the former as a special case. After a self-contained introduction through the necessary mathematical tools (q-numbers, q-analysis, q-oscillators, q-algebras), the su q (2) rotator model and its extensions, the construction of deformed exactly soluble models (Interacting Boson Model, Moszkowski model), the use of deformed bosons in the description of pairing correlations, and the symmetries of the anisotropic quantum harmonic oscillator with rational ratios of frequencies, which underline the structure of superdeformed and hyperdeformed nuclei are discussed in some details. A brief description of similar applications to molecular structure and an outlook are also given. (author) 2 Tabs., 324 Refs

Characteristic Dynkin diagrams and W algebras

International Nuclear Information System (INIS)

Ragoucy, E.

1993-01-01

We present a classification of characteristic Dynkin diagrams for the A N , B N , C N and D N algebras. This classification is related to the classification of W(G, K) algebras arising from non-abelian Toda models, and we argue that it can give new insight on the structure of W algebras. (orig.)

On Elementary and Algebraic Cellular Automata

Science.gov (United States)

Gulak, Yuriy

In this paper we study elementary cellular automata from an algebraic viewpoint. The goal is to relate the emergent complex behavior observed in such systems with the properties of corresponding algebraic structures. We introduce algebraic cellular automata as a natural generalization of elementary ones and discuss their applications as generic models of complex systems.

Quadratic algebras

CERN Document Server

Polishchuk, Alexander

2005-01-01

Quadratic algebras, i.e., algebras defined by quadratic relations, often occur in various areas of mathematics. One of the main problems in the study of these (and similarly defined) algebras is how to control their size. A central notion in solving this problem is the notion of a Koszul algebra, which was introduced in 1970 by S. Priddy and then appeared in many areas of mathematics, such as algebraic geometry, representation theory, noncommutative geometry, K-theory, number theory, and noncommutative linear algebra. The book offers a coherent exposition of the theory of quadratic and Koszul algebras, including various definitions of Koszulness, duality theory, Poincar�-Birkhoff-Witt-type theorems for Koszul algebras, and the Koszul deformation principle. In the concluding chapter of the book, they explain a surprising connection between Koszul algebras and one-dependent discrete-time stochastic processes.

Regularity of C*-algebras and central sequence algebras

DEFF Research Database (Denmark)

Christensen, Martin S.

The main topic of this thesis is regularity properties of C*-algebras and how these regularity properties are re ected in their associated central sequence algebras. The thesis consists of an introduction followed by four papers [A], [B], [C], [D]. In [A], we show that for the class of simple...... Villadsen algebra of either the rst type with seed space a nite dimensional CW complex, or the second type, tensorial absorption of the Jiang-Su algebra is characterized by the absence of characters on the central sequence algebra. Additionally, in a joint appendix with Joan Bosa, we show that the Villadsen...... algebra of the second type with innite stable rank fails the corona factorization property. In [B], we consider the class of separable C*-algebras which do not admit characters on their central sequence algebra, and show that it has nice permanence properties. We also introduce a new divisibility property...

Real division algebras and other algebras motivated by physics

International Nuclear Information System (INIS)

Benkart, G.; Osborn, J.M.

1981-01-01

In this survey we discuss several general techniques which have been productive in the study of real division algebras, flexible Lie-admissible algebras, and other nonassociative algebras, and we summarize results obtained using these methods. The principal method involved in this work is to view an algebra A as a module for a semisimple Lie algebra of derivations of A and to use representation theory to study products in A. In the case of real division algebras, we also discuss the use of isotopy and the use of a generalized Peirce decomposition. Most of the work summarized here has appeared in more detail in various other papers. The exceptions are results on a class of algebras of dimension 15, motivated by physics, which admit the Lie algebra sl(3) as an algebra of derivations

Contractions of quantum algebraic structures

International Nuclear Information System (INIS)

Doikou, A.; Sfetsos, K.

2010-01-01

A general framework for obtaining certain types of contracted and centrally extended algebras is reviewed. The whole process relies on the existence of quadratic algebras, which appear in the context of boundary integrable models. (Abstract Copyright [2010], Wiley Periodicals, Inc.)

Hom-Novikov algebras

International Nuclear Information System (INIS)

Yau, Donald

2011-01-01

We study a twisted generalization of Novikov algebras, called Hom-Novikov algebras, in which the two defining identities are twisted by a linear map. It is shown that Hom-Novikov algebras can be obtained from Novikov algebras by twisting along any algebra endomorphism. All algebra endomorphisms on complex Novikov algebras of dimensions 2 or 3 are computed, and their associated Hom-Novikov algebras are described explicitly. Another class of Hom-Novikov algebras is constructed from Hom-commutative algebras together with a derivation, generalizing a construction due to Dorfman and Gel'fand. Two other classes of Hom-Novikov algebras are constructed from Hom-Lie algebras together with a suitable linear endomorphism, generalizing a construction due to Bai and Meng.

The quantum Rabi model and Lie algebra representations of sl2

International Nuclear Information System (INIS)

Wakayama, Masato; Yamasaki, Taishi

2014-01-01

The aim of the present paper is to understand the spectral problem of the quantum Rabi model in terms of Lie algebra representations of sl 2 (R). We define a second order element of the universal enveloping algebra U(sl 2 ) of sl 2 (R), which, through the image of a principal series representation of sl 2 (R), provides a picture equivalent to the quantum Rabi model drawn by confluent Heun differential equations. By this description, in particular, we give a representation theoretic interpretation of the degenerate part of the spectrum (i.e., Judd's eigenstates) of the Rabi Hamiltonian due to Kuś in 1985, which is a part of the exceptional spectrum parameterized by integers. We also discuss the non-degenerate part of the exceptional spectrum of the model, in addition to the Judd eigenstates, from a viewpoint of infinite dimensional irreducible submodules (or subquotients) of the non-unitary principal series such as holomorphic discrete series representations of sl 2 (R). (paper)

Rationality problem for algebraic tori

CERN Document Server

Hoshi, Akinari

2017-01-01

The authors give the complete stably rational classification of algebraic tori of dimensions 4 and 5 over a field k. In particular, the stably rational classification of norm one tori whose Chevalley modules are of rank 4 and 5 is given. The authors show that there exist exactly 487 (resp. 7, resp. 216) stably rational (resp. not stably but retract rational, resp. not retract rational) algebraic tori of dimension 4, and there exist exactly 3051 (resp. 25, resp. 3003) stably rational (resp. not stably but retract rational, resp. not retract rational) algebraic tori of dimension 5. The authors make a procedure to compute a flabby resolution of a G-lattice effectively by using the computer algebra system GAP. Some algorithms may determine whether the flabby class of a G-lattice is invertible (resp. zero) or not. Using the algorithms, the suthors determine all the flabby and coflabby G-lattices of rank up to 6 and verify that they are stably permutation. The authors also show that the Krull-Schmidt theorem for G-...

Linear algebra meets Lie algebra: the Kostant-Wallach theory

OpenAIRE

Shomron, Noam; Parlett, Beresford N.

2008-01-01

In two languages, Linear Algebra and Lie Algebra, we describe the results of Kostant and Wallach on the fibre of matrices with prescribed eigenvalues of all leading principal submatrices. In addition, we present a brief introduction to basic notions in Algebraic Geometry, Integrable Systems, and Lie Algebra aimed at specialists in Linear Algebra.

Krichever-Novikov type algebras theory and applications

CERN Document Server

Schlichenmaier, Martin

2014-01-01

Krichever and Novikov introduced certain classes of infinite dimensionalLie algebrasto extend the Virasoro algebra and its related algebras to Riemann surfaces of higher genus. The author of this book generalized and extended them toa more general setting needed by the applications. Examples of applications are Conformal Field Theory, Wess-Zumino-Novikov-Witten models, moduli space problems, integrable systems, Lax operator algebras, and deformation theory of Lie algebra. Furthermore they constitute an important class of infinite dimensional Lie algebras which due to their geometric origin are

Isovectorial pairing in solvable and algebraic models

International Nuclear Information System (INIS)

Lerma, Sergio; Vargas, Carlos E; Hirsch, Jorge G

2011-01-01

Schematic interactions are useful to gain some insight in the behavior of very complicated systems such as the atomic nuclei. Prototypical examples are, in this context, the pairing interaction and the quadrupole interaction of the Elliot model. In this contribution the interplay between isovectorial pairing, spin-orbit, and quadrupole terms in a harmonic oscillator shell (the so-called pairing-plus-quadrupole model) is studied by algebraic methods. The ability of this model to provide a realistic description of N = Z even-even nuclei in the fp-shell is illustrated with 44 Ti. Our calculations which derive from schematic and simple terms confirm earlier conclusions obtained by using realistic interactions: the SU(3) symmetry of the quadrupole term is broken mainly by the spin-orbit term, but the energies depends strongly on pairing.

Division algebras and extended N = 2, 4, 8 super KdVs

International Nuclear Information System (INIS)

Carrion, H.L.; Rojas, M.; Toppan, F.

2001-09-01

The first example of an N = 8 supersymmetric extension of the KdV equation is here explicitly constructed. It involves 8 bosonic and 8 fermionic fields. It corresponds to the unique N = 8 solution based a generalized hamiltonian dynamics with (generalized) Poisson brackets given by the Non-associate N = 8 Superconformal Algebra. The complete list of inequivalent classes of parametric-dependent N = 3 and N = 4 superKdVs obtained from the 'Non-associative N= 8 SCA' is also furnished. Furthermore, a fundamental domain characterizing the class of inequivalent N = 4 superKdVs based on the 'minimal N = 4 SCA' is given. (author)

A type of loop algebra and the associated loop algebras

International Nuclear Information System (INIS)

Tam Honwah; Zhang Yufeng

2008-01-01

A higher-dimensional twisted loop algebra is constructed. As its application, a new Lax pair is presented, whose compatibility gives rise to a Liouville integrable hierarchy of evolution equations by making use of Tu scheme. One of the reduction cases of the hierarchy is an analogous of the well-known AKNS system. Next, the twisted loop algebra, furthermore, is extended to another higher dimensional loop algebra, from which a hierarchy of evolution equations with 11-potential component functions is obtained, whose reduction is just standard AKNS system. Especially, we prove that an arbitrary linear combination of the four Hamiltonian operators directly obtained from the recurrence relations is still a Hamiltonian operator. Therefore, the hierarchy with 11-potential functions possesses 4-Hamiltonian structures. Finally, an integrable coupling of the hierarchy is worked out

Filiform Lie algebras of order 3

Science.gov (United States)

Navarro, R. M.

2014-04-01

The aim of this work is to generalize a very important type of Lie algebras and superalgebras, i.e., filiform Lie (super)algebras, into the theory of Lie algebras of order F. Thus, the concept of filiform Lie algebras of order F is obtained. In particular, for F = 3 it has been proved that by using infinitesimal deformations of the associated model elementary Lie algebra it can be obtained families of filiform elementary lie algebras of order 3, analogously as that occurs into the theory of Lie algebras [M. Vergne, "Cohomologie des algèbres de Lie nilpotentes. Application à l'étude de la variété des algèbres de Lie nilpotentes," Bull. Soc. Math. France 98, 81-116 (1970)]. Also we give the dimension, using an adaptation of the {sl}(2,{C})-module Method, and a basis of such infinitesimal deformations in some generic cases.

SU(4): algebraic approach to new resonances. Technical report No. 76-139

International Nuclear Information System (INIS)

Oneda, S.; Takasugi, E.

1976-01-01

Present status of algebraic approach (including the conventional group theoretical method) to new boson resonances in SU(4) is reviewed. The mass formulas, intermultiplet mass relations and the derivation of selection rules for the new resonances are discussed. It is stressed that one does not need to subscribe to the perturbation theoretic point of view towards SU(4) breaking. A possible relation between the SU(3) and SU(4) world is demonstrated. Some crude discussion is given to the new possible P-wave states in the 3.4 to 3.5 GeV region and the problems associated with the X

Extended Virasoro algebra and algebra of area preserving diffeomorphisms

International Nuclear Information System (INIS)

Arakelyan, T.A.

1990-01-01

The algebra of area preserving diffeomorphism plays an important role in the theory of relativistic membranes. It is pointed out that the relation between this algebra and the extended Virasoro algebra associated with the generalized Kac-Moody algebras G(T 2 ). The highest weight representation of these infinite-dimensional algebras as well as of their subalgebras is studied. 5 refs

Interactions Between Representation Ttheory, Algebraic Topology and Commutative Algebra

CERN Document Server

Pitsch, Wolfgang; Zarzuela, Santiago

2016-01-01

This book includes 33 expanded abstracts of selected talks given at the two workshops "Homological Bonds Between Commutative Algebra and Representation Theory" and "Brave New Algebra: Opening Perspectives," and the conference "Opening Perspectives in Algebra, Representations, and Topology," held at the Centre de Recerca Matemàtica (CRM) in Barcelona between January and June 2015. These activities were part of the one-semester intensive research program "Interactions Between Representation Theory, Algebraic Topology and Commutative Algebra (IRTATCA)." Most of the abstracts present preliminary versions of not-yet published results and cover a large number of topics (including commutative and non commutative algebra, algebraic topology, singularity theory, triangulated categories, representation theory) overlapping with homological methods. This comprehensive book is a valuable resource for the community of researchers interested in homological algebra in a broad sense, and those curious to learn the latest dev...

An introduction to Kac-Moody algebras and their physical applications

International Nuclear Information System (INIS)

Goddard, P.; Olive, D.

1986-01-01

Kac-Moody algebras, the physical applications and results on their representation theory are surveyed. The Sugawara construction of the Virasoro algebra associated with a Kac-Moody algebra is described and it is used to produce the full discrete series of representations of the Virasoro algebra. The quark model construction of representations of Kac-Moody algebras is also described. Conditions necessary for the equivalence of two-dimensional σ-models to free fermion theories are derived

Structure of the 2, 4′-dihydroxyacetophenone dioxygenase from Alcaligenes sp. 4HAP

Energy Technology Data Exchange (ETDEWEB)

Keegan, R.; Lebedev, A. [RAL, Harwell Oxford, Didcot OX11 0FA (United Kingdom); Erskine, P.; Guo, J.; Wood, S. P. [UCL Division of Medicine (Royal Free Campus), Rowland Hill Street, London NW3 2PF (United Kingdom); Hopper, D. J. [Aberystwyth University, Penglais, Aberystwyth SY23 3DA Wales (United Kingdom); Rigby, S. E. J. [University of Manchester, 131 Princess Street, Manchester M1 7DN (United Kingdom); Cooper, J. B., E-mail: jon.cooper@ucl.ac.uk [UCL Division of Medicine (Royal Free Campus), Rowland Hill Street, London NW3 2PF (United Kingdom); RAL, Harwell Oxford, Didcot OX11 0FA (United Kingdom)

2014-09-01

The first X-ray structure of a 2, 4′-dihydroxyacetophenone dioxygenase from Alcaligenes sp. 4HAP at a resolution of 2.2 Å is reported. This structure establishes that the enzyme adopts the cupin-fold, forming compact dimers with a pronounced hydrophobic interface between the monomers. Each monomer possesses a catalytic ferrous iron that is coordinated by three histidines (76, 78 and 114) and an additional ligand which has been putatively assigned as a carbonate, although formate and acetate are possibilities. The enzyme 2, 4′-dihydroxyacetophenone dioxygenase (DAD) catalyses the conversion of 2, 4′-dihydroxyacetophenone to 4-hydroxybenzoic acid and formic acid with the incorporation of molecular oxygen. Whilst the vast majority of dioxygenases cleave within the aromatic ring of the substrate, DAD is very unusual in that it is involved in C—C bond cleavage in a substituent of the aromatic ring. There is evidence that the enzyme is a homotetramer of 20.3 kDa subunits, each containing nonhaem iron, and its sequence suggests that it belongs to the cupin family of dioxygenases. In this paper, the first X-ray structure of a DAD enzyme from the Gram-negative bacterium Alcaligenes sp. 4HAP is reported, at a resolution of 2.2 Å. The structure establishes that the enzyme adopts a cupin fold, forming dimers with a pronounced hydrophobic interface between the monomers. The catalytic iron is coordinated by three histidine residues (76, 78 and 114) within a buried active-site cavity. The iron also appears to be tightly coordinated by an additional ligand which was putatively assigned as a carbonate dianion since this fits the electron density optimally, although it might also be the product formate. The modelled carbonate is located in a position which is highly likely to be occupied by the α-hydroxyketone group of the bound substrate during catalysis. Modelling of a substrate molecule in this position indicates that it will interact with many conserved amino acids in

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

Science.gov (United States)

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.

Filiform Lie algebras of order 3

International Nuclear Information System (INIS)

Navarro, R. M.

2014-01-01

The aim of this work is to generalize a very important type of Lie algebras and superalgebras, i.e., filiform Lie (super)algebras, into the theory of Lie algebras of order F. Thus, the concept of filiform Lie algebras of order F is obtained. In particular, for F = 3 it has been proved that by using infinitesimal deformations of the associated model elementary Lie algebra it can be obtained families of filiform elementary lie algebras of order 3, analogously as that occurs into the theory of Lie algebras [M. Vergne, “Cohomologie des algèbres de Lie nilpotentes. Application à l’étude de la variété des algèbres de Lie nilpotentes,” Bull. Soc. Math. France 98, 81–116 (1970)]. Also we give the dimension, using an adaptation of the sl(2,C)-module Method, and a basis of such infinitesimal deformations in some generic cases

Current algebras and many-body physics

International Nuclear Information System (INIS)

Albertin, U.K.

1989-01-01

Several applications of current algebras in many body physics are examined. The first is the interacting Bose gas in three dimensions. Theories for phonons, vortices and rotons are all described within the current algebra formalism. Next the one dimensional electron gas is examined within the approximation of linear dispersion so that relativistic current algebra techniques may be used. The relation with Thirring strings and compactified boson models is examined, and points of enhanced symmetry in the compactified boson models are shown to lie on phase transition lines for the electron gas. Finally, mathematical aspects of the current algebra are studied. The theory of induced representations of the diffeomorphism group are used to describe the Aharanov-Bohm effect, the thermodynamics of the Bose gas, and the Bose gas in the presence of vortex filaments

Supersymmetry in physics: an algebraic overview

International Nuclear Information System (INIS)

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

Current algebra

International Nuclear Information System (INIS)

Jacob, M.

1967-01-01

The first three chapters of these lecture notes are devoted to generalities concerning current algebra. The weak currents are defined, and their main properties given (V-A hypothesis, conserved vector current, selection rules, partially conserved axial current,...). The SU (3) x SU (3) algebra of Gell-Mann is introduced, and the general properties of the non-leptonic weak Hamiltonian are discussed. Chapters 4 to 9 are devoted to some important applications of the algebra. First one proves the Adler- Weisberger formula, in two different ways, by either the infinite momentum frame, or the near-by singularities method. In the others chapters, the latter method is the only one used. The following topics are successively dealt with: semi leptonic decays of K mesons and hyperons, Kroll- Ruderman theorem, non leptonic decays of K mesons and hyperons ( ΔI = 1/2 rule), low energy theorems concerning processes with emission (or absorption) of a pion or a photon, super-convergence sum rules, and finally, neutrino reactions. (author) [fr

Monomial algebras

CERN Document Server

Villarreal, Rafael

2015-01-01

The book stresses the interplay between several areas of pure and applied mathematics, emphasizing the central role of monomial algebras. It unifies the classical results of commutative algebra with central results and notions from graph theory, combinatorics, linear algebra, integer programming, and combinatorial optimization. The book introduces various methods to study monomial algebras and their presentation ideals, including Stanley-Reisner rings, subrings and blowup algebra-emphasizing square free quadratics, hypergraph clutters, and effective computational methods.

Algebra

CERN Document Server

Tabak, John

2004-01-01

Looking closely at algebra, its historical development, and its many useful applications, Algebra examines in detail the question of why this type of math is so important that it arose in different cultures at different times. The book also discusses the relationship between algebra and geometry, shows the progress of thought throughout the centuries, and offers biographical data on the key figures. Concise and comprehensive text accompanied by many illustrations presents the ideas and historical development of algebra, showcasing the relevance and evolution of this branch of mathematics.

Iwahori-Hecke algebras and Schur algebras of the symmetric group

CERN Document Server

Mathas, Andrew

1999-01-01

This volume presents a fully self-contained introduction to the modular representation theory of the Iwahori-Hecke algebras of the symmetric groups and of the q-Schur algebras. The study of these algebras was pioneered by Dipper and James in a series of landmark papers. The primary goal of the book is to classify the blocks and the simple modules of both algebras. The final chapter contains a survey of recent advances and open problems. The main results are proved by showing that the Iwahori-Hecke algebras and q-Schur algebras are cellular algebras (in the sense of Graham and Lehrer). This is proved by exhibiting natural bases of both algebras which are indexed by pairs of standard and semistandard tableaux respectively. Using the machinery of cellular algebras, which is developed in Chapter 2, this results in a clean and elegant classification of the irreducible representations of both algebras. The block theory is approached by first proving an analogue of the Jantzen sum formula for the q-Schur algebras. T...

Color Algebras

Science.gov (United States)

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. The difficulty addressed here is the fact that, because of metamerism, we cannot know with certainty the spectrum that produced a particular color solely on the basis of sensory data. Knowledge of the spectrum is not required to compute additive mixture of colors, but is critical for subtractive (multiplicative) mixture. Therefore, we cannot predict with certainty the multiplicative interactions between colors based solely on sensory data. There are two potential applications of a color algebra: first, to aid modeling phenomena of human visual perception, such as color constancy and transparency; and, second, to provide better models of the interactions of lights and surfaces for computer graphics rendering.

Algebra of pseudo-differential operators over C*-algebra

International Nuclear Information System (INIS)

Mohammad, N.

1982-08-01

Algebras of pseudo-differential operators over C*-algebras are studied for the special case when in Hormander class Ssub(rho,delta)sup(m)(Ω) Ω = Rsup(n); rho = 1, delta = 0, m any real number, and the C*-algebra is infinite dimensional non-commutative. The space B, i.e. the set of A-valued C*-functions in Rsup(n) (or Rsup(n) x Rsup(n)) whose derivatives are all bounded, plays an important role. A denotes C*-algebra. First the operator class Ssub(phi,0)sup(m) is defined, and through it, the class Lsub(1,0)sup(m) of pseudo-differential operators. Then the basic asymptotic expansion theorems concerning adjoint and product of operators of class Ssub(1,0)sup(m) are stated. Finally, proofs are given of L 2 -continuity theorem and the main theorem, which states that algebra of all pseudo-differential operators over C*-algebras is itself C*-algebra

Commutative algebra with a view toward algebraic geometry

CERN Document Server

Eisenbud, David

1995-01-01

Commutative Algebra is best understood with knowledge of the geometric ideas that have played a great role in its formation, in short, with a view towards algebraic geometry. The author presents a comprehensive view of commutative algebra, from basics, such as localization and primary decomposition, through dimension theory, differentials, homological methods, free resolutions and duality, emphasizing the origins of the ideas and their connections with other parts of mathematics. Many exercises illustrate and sharpen the theory and extended exercises give the reader an active part in complementing the material presented in the text. One novel feature is a chapter devoted to a quick but thorough treatment of Grobner basis theory and the constructive methods in commutative algebra and algebraic geometry that flow from it. Applications of the theory and even suggestions for computer algebra projects are included. This book will appeal to readers from beginners to advanced students of commutative algebra or algeb...

The algebras of large N matrix mechanics

Energy Technology Data Exchange (ETDEWEB)

Halpern, M.B.; Schwartz, C.

1999-09-16

Extending early work, we formulate the large N matrix mechanics of general bosonic, fermionic and supersymmetric matrix models, including Matrix theory: The Hamiltonian framework of large N matrix mechanics provides a natural setting in which to study the algebras of the large N limit, including (reduced) Lie algebras, (reduced) supersymmetry algebras and free algebras. We find in particular a broad array of new free algebras which we call symmetric Cuntz algebras, interacting symmetric Cuntz algebras, symmetric Bose/Fermi/Cuntz algebras and symmetric Cuntz superalgebras, and we discuss the role of these algebras in solving the large N theory. Most important, the interacting Cuntz algebras are associated to a set of new (hidden!) local quantities which are generically conserved only at large N. A number of other new large N phenomena are also observed, including the intrinsic nonlocality of the (reduced) trace class operators of the theory and a closely related large N field identification phenomenon which is associated to another set (this time nonlocal) of new conserved quantities at large N.

Discrete event systems in dioid algebra and conventional algebra

CERN Document Server

Declerck, Philippe

2013-01-01

This book concerns the use of dioid algebra as (max, +) algebra to treat the synchronization of tasks expressed by the maximum of the ends of the tasks conditioning the beginning of another task - a criterion of linear programming. A classical example is the departure time of a train which should wait for the arrival of other trains in order to allow for the changeover of passengers.The content focuses on the modeling of a class of dynamic systems usually called "discrete event systems" where the timing of the events is crucial. Events are viewed as sudden changes in a process which i

Jordan algebras versus C*- algebras

International Nuclear Information System (INIS)

Stormer, E.

1976-01-01

The axiomatic formulation of quantum mechanics and the problem of whether the observables form self-adjoint operators on a Hilbert space, are discussed. The relation between C*- algebras and Jordan algebras is studied using spectral theory. (P.D.)

Algebraic Systems and Pushdown Automata

Science.gov (United States)

Petre, Ion; Salomaa, Arto

We concentrate in this chapter on the core aspects of algebraic series, pushdown automata, and their relation to formal languages. We choose to follow here a presentation of their theory based on the concept of properness. We introduce in Sect. 2 some auxiliary notions and results needed throughout the chapter, in particular the notions of discrete convergence in semirings and C-cycle free infinite matrices. In Sect. 3 we introduce the algebraic power series in terms of algebraic systems of equations. We focus on interconnections with context-free grammars and on normal forms. We then conclude the section with a presentation of the theorems of Shamir and Chomsky-Schützenberger. We discuss in Sect. 4 the algebraic and the regulated rational transductions, as well as some representation results related to them. Section 5 is dedicated to pushdown automata and focuses on the interconnections with classical (non-weighted) pushdown automata and on the interconnections with algebraic systems. We then conclude the chapter with a brief discussion of some of the other topics related to algebraic systems and pushdown automata.

Biodegradation of 4-nitroaniline by plant-growth promoting Acinetobacter sp. AVLB2 and toxicological analysis of its biodegradation metabolites

Energy Technology Data Exchange (ETDEWEB)

Silambarasan, Sivagnanam [Department of Biochemistry, Faculty of Science, Chulalongkorn University, Bangkok 10330 (Thailand); Vangnai, Alisa S., E-mail: alisa.v@chula.ac.th [Department of Biochemistry, Faculty of Science, Chulalongkorn University, Bangkok 10330 (Thailand); Center of Excellence on Hazardous Substance Management (HSM), Chulalongkorn University, Bangkok 10330 (Thailand)

2016-01-25

Highlights: • Acinetobacter sp. AVLB2 is a PGPB able to degrade high concentration of 4-NA. • Growth and degradation kinetics for 4-NA removal by AVLB2 were studied. • A novel biodegradation pathway for 4-nitroaniline has been proposed. • Toxicological studies revealed non-toxic nature of 4-NA biodegraded metabolites. • Acinetobacter sp. AVLB2 could maintain PGP traits under 4-NA stress. - Abstract: 4-nitroaniline (4-NA) is one of the major priority pollutants generated from industrial productions and pesticide transformation; however very limited biodegradation details have been reported. This work is the first to report 4-NA biodegradation kinetics and toxicity reduction using a newly isolated plant-growth promoting bacterium, Acinetobacter sp. AVLB2. The 4-NA-dependent growth kinetics parameters: μ{sub max}, K{sub s} and K{sub i}, were determined to be 0.039 h{sup −1}, 6.623 mg L{sup −1} and 25.57 mg L{sup −1}, respectively using Haldane inhibition model, while the maximum biodegradation rate (V{sub max}) of 4-NA was at 0.541 mg L{sup −1} h{sup −1} and 0.551 mg L{sup −1} h{sup −1}, following Michaelis–Menten and Hanes–Woolf models, respectively. Biodegradation pathway of 4-NA by Acinetobacter sp. AVLB2 was proposed, and successfully led to the reduction of 4-NA toxicity according to the following toxicity assessments: microbial toxicity using Escherichia coli DH5α, phytotoxicity with Vigna radiata and Crotalaria juncea, and cytogenotoxicity with Allium cepa root-tip cells. In addition, Acinetobacter sp. AVLB2 possess important plant-growth promoting traits, both in the presence and absence of 4-NA. This study has provided a new insight into 4-NA biodegradation ability and concurrent plant-growth promoting activities of Acinetobacter sp. AVLB2, which may indicate its potential role for rhizoremediation, while sustaining crop production even under 4-NA stressed environment.

Complex algebraic geometry

CERN Document Server

Kollár, János

1997-01-01

This volume contains the lectures presented at the third Regional Geometry Institute at Park City in 1993. The lectures provide an introduction to the subject, complex algebraic geometry, making the book suitable as a text for second- and third-year graduate students. The book deals with topics in algebraic geometry where one can reach the level of current research while starting with the basics. Topics covered include the theory of surfaces from the viewpoint of recent higher-dimensional developments, providing an excellent introduction to more advanced topics such as the minimal model program. Also included is an introduction to Hodge theory and intersection homology based on the simple topological ideas of Lefschetz and an overview of the recent interactions between algebraic geometry and theoretical physics, which involve mirror symmetry and string theory.

An algebraic stress/flux model for two-phase turbulent flow

International Nuclear Information System (INIS)

Kumar, R.

1995-12-01

An algebraic stress model (ASM) for turbulent Reynolds stress and a flux model for turbulent heat flux are proposed for two-phase bubbly and slug flows. These mathematical models are derived from the two-phase transport equations for Reynolds stress and turbulent heat flux, and provide C μ , a turbulent constant which defines the level of eddy viscosity, as a function of the interfacial terms. These models also include the effect of heat transfer. When the interfacial drag terms and the interfacial momentum transfer terms are absent, the model reduces to a single-phase model used in the literature

Virasoro algebra action on integrable hierarchies and Virasoro contraints in matrix models

International Nuclear Information System (INIS)

Semikhatov, A.M.

1991-01-01

The action of the Virasoro algebra on integrable hierarchies of non-linear equations and on related objects ('Schroedinger' differential operators) is investigated. The method consists in pushing forward the Virasoro action to the wave function of a hierarchy, and then reconstructing its action on the dressing and Lax operators. This formulation allows one to observe a number of suggestive similarities between the structures involved in the description of the Virasoro algebra on the hierarchies and the structure of conformal field theory on the world-sheet. This includes, in particular, an 'off-shell' hierarchy version of operator products and of the Cauchy kernel. In relation to matrix models, which have been observed to be effectively described by integrable hierarchies subjected to Virasoro constraints, I propose to define general Virasoro-constrained hierarchies also in terms of dressing operators, by certain equations which carry the information of the hierarchy and the Virasoro algebra simultaneously and which suggest an interpretation as operator versions of recursion/loop equations in topological theories. These same equations provide a relation with integrable hierarchies with quantized spectral parameter introduced recently. The formulation in terms of dressing operators allows a scaling (continuum limit) of discrete (i.e. lattice) hierarchies with the Virasoro constraints into 'continuous' Virasoro-constrained hierarchies. In particular, the KP hierarchy subjected to the Virasoro constraints is recovered as a scaling limit of the Virasoro-constrained Toda hierarchy. The dressing operator method also makes is straightforward to identify the full symmetry algebra of Virasoro-constrained hierarchies, which is related to the family of W ∞ (J) algebras introduced recently. (orig./HS)

Implicative Algebras

African Journals Online (AJOL)

Tadesse

In this paper we introduce the concept of implicative algebras which is an equivalent definition of lattice implication algebra of Xu (1993) and further we prove that it is a regular Autometrized. Algebra. Further we remark that the binary operation → on lattice implicative algebra can never be associative. Key words: Implicative ...

Model Checking Process Algebra of Communicating Resources for Real-time Systems

DEFF Research Database (Denmark)

Boudjadar, Jalil; Kim, Jin Hyun; Larsen, Kim Guldstrand

2014-01-01

This paper presents a new process algebra, called PACOR, for real-time systems which deals with resource constrained timed behavior as an improved version of the ACSR algebra. We define PACOR as a Process Algebra of Communicating Resources which allows to express preemptiveness, urgent ness...

Open algebraic surfaces

CERN Document Server

Miyanishi, Masayoshi

2000-01-01

Open algebraic surfaces are a synonym for algebraic surfaces that are not necessarily complete. An open algebraic surface is understood as a Zariski open set of a projective algebraic surface. There is a long history of research on projective algebraic surfaces, and there exists a beautiful Enriques-Kodaira classification of such surfaces. The research accumulated by Ramanujan, Abhyankar, Moh, and Nagata and others has established a classification theory of open algebraic surfaces comparable to the Enriques-Kodaira theory. This research provides powerful methods to study the geometry and topology of open algebraic surfaces. The theory of open algebraic surfaces is applicable not only to algebraic geometry, but also to other fields, such as commutative algebra, invariant theory, and singularities. This book contains a comprehensive account of the theory of open algebraic surfaces, as well as several applications, in particular to the study of affine surfaces. Prerequisite to understanding the text is a basic b...

Hecke algebraic properties of dynamical R-matrices. Application to related quantum matrix algebras

International Nuclear Information System (INIS)

Khadzhiivanov, L.K.; Todorov, I.T.; Isaev, A.P.; Pyatov, P.N.; Ogievetskij, O.V.

1998-01-01

The quantum dynamical Yang-Baxter (or Gervais-Neveu-Felder) equation defines an R-matrix R cap (p), where p stands for a set of mutually commuting variables. A family of SL (n)-type solutions of this equation provides a new realization of the Hecke algebra. We define quantum antisymmetrizers, introduce the notion of quantum determinant and compute the inverse quantum matrix for matrix algebras of the type R cap (p) a 1 a 2 = a 1 a 2 R cap. It is pointed out that such a quantum matrix algebra arises in the operator realization of the chiral zero modes of the WZNW model

Linear operators in Clifford algebras

International Nuclear Information System (INIS)

Laoues, M.

1991-01-01

We consider the real vector space structure of the algebra of linear endomorphisms of a finite-dimensional real Clifford algebra (2, 4, 5, 6, 7, 8). A basis of that space is constructed in terms of the operators M eI,eJ defined by x→e I .x.e J , where the e I are the generators of the Clifford algebra and I is a multi-index (3, 7). In particular, it is shown that the family (M eI,eJ ) is exactly a basis in the even case. (orig.)

Separable algebras

CERN Document Server

Ford, Timothy J

2017-01-01

This book presents a comprehensive introduction to the theory of separable algebras over commutative rings. After a thorough introduction to the general theory, the fundamental roles played by separable algebras are explored. For example, Azumaya algebras, the henselization of local rings, and Galois theory are rigorously introduced and treated. Interwoven throughout these applications is the important notion of étale algebras. Essential connections are drawn between the theory of separable algebras and Morita theory, the theory of faithfully flat descent, cohomology, derivations, differentials, reflexive lattices, maximal orders, and class groups. The text is accessible to graduate students who have finished a first course in algebra, and it includes necessary foundational material, useful exercises, and many nontrivial examples.

Model checking process algebra of communicating resources for real-time systems

DEFF Research Database (Denmark)

Boudjadar, Jalil; Kim, Jin Hyun; Larsen, Kim Guldstrand

2014-01-01

This paper presents a new process algebra, called PACoR, for real-time systems which deals with resource- constrained timed behavior as an improved version of the ACSR algebra. We define PACoR as a Process Algebra of Communicating Resources which allows to explicitly express preemptiveness...

Forward error correction based on algebraic-geometric theory

CERN Document Server

A Alzubi, Jafar; M Chen, Thomas

2014-01-01

This book covers the design, construction, and implementation of algebraic-geometric codes from Hermitian curves. Matlab simulations of algebraic-geometric codes and Reed-Solomon codes compare their bit error rate using different modulation schemes over additive white Gaussian noise channel model. Simulation results of Algebraic-geometric codes bit error rate performance using quadrature amplitude modulation (16QAM and 64QAM) are presented for the first time and shown to outperform Reed-Solomon codes at various code rates and channel models. The book proposes algebraic-geometric block turbo codes. It also presents simulation results that show an improved bit error rate performance at the cost of high system complexity due to using algebraic-geometric codes and Chase-Pyndiah’s algorithm simultaneously. The book proposes algebraic-geometric irregular block turbo codes (AG-IBTC) to reduce system complexity. Simulation results for AG-IBTCs are presented for the first time.

Mathematical Modelling in Engineering: An Alternative Way to Teach Linear Algebra

Science.gov (United States)

Domínguez-García, S.; García-Planas, M. I.; Taberna, J.

2016-01-01

Technological advances require that basic science courses for engineering, including Linear Algebra, emphasize the development of mathematical strengths associated with modelling and interpretation of results, which are not limited only to calculus abilities. Based on this consideration, we have proposed a project-based learning, giving a dynamic…

Algebraic limit cycles in polynomial systems of differential equations

International Nuclear Information System (INIS)

Llibre, Jaume; Zhao Yulin

2007-01-01

Using elementary tools we construct cubic polynomial systems of differential equations with algebraic limit cycles of degrees 4, 5 and 6. We also construct a cubic polynomial system of differential equations having an algebraic homoclinic loop of degree 3. Moreover, we show that there are polynomial systems of differential equations of arbitrary degree that have algebraic limit cycles of degree 3, as well as give an example of a cubic polynomial system of differential equations with two algebraic limit cycles of degree 4

Generalized EMV-Effect Algebras

Science.gov (United States)

Borzooei, R. A.; Dvurečenskij, A.; Sharafi, A. H.

2018-04-01

Recently in Dvurečenskij and Zahiri (2017), new algebraic structures, called EMV-algebras which generalize both MV-algebras and generalized Boolean algebras, were introduced. We present equivalent conditions for EMV-algebras. In addition, we define a partial algebraic structure, called a generalized EMV-effect algebra, which is close to generalized MV-effect algebras. Finally, we show that every generalized EMV-effect algebra is either an MV-effect algebra or can be embedded into an MV-effect algebra as a maximal ideal.

Quantum trigonometric Calogero-Sutherland model, irreducible characters and Clebsch-Gordan series for the exceptional algebra E7

International Nuclear Information System (INIS)

Fernandez Nunez, J.; Garcia Fuertes, W.; Perelomov, A.M.

2005-01-01

We reexpress the quantum Calogero-Sutherland model for the Lie algebra E 7 and the particular value of the coupling constant κ=1 by using the fundamental irreducible characters of the algebra as dynamical variables. For that, we need to develop a systematic procedure to obtain all the Clebsch-Gordan series required to perform the change of variables. We describe how the resulting quantum Hamiltonian operator can be used to compute more characters and Clebsch-Gordan series for this exceptional algebra

Enlarged symmetry algebras of spin chains, loop models, and S-matrices

International Nuclear Information System (INIS)

Read, N.; Saleur, H.

2007-01-01

The symmetry algebras of certain families of quantum spin chains are considered in detail. The simplest examples possess m states per site (m>=2), with nearest-neighbor interactions with U(m) symmetry, under which the sites transform alternately along the chain in the fundamental m and its conjugate representation m-bar. We find that these spin chains, even with arbitrary coefficients of these interactions, have a symmetry algebra A m much larger than U(m), which implies that the energy eigenstates fall into sectors that for open chains (i.e., free boundary conditions) can be labeled by j=0,1,...,L, for the 2L-site chain such that the degeneracies of all eigenvalues in the jth sector are generically the same and increase rapidly with j. For large j, these degeneracies are much larger than those that would be expected from the U(m) symmetry alone. The enlarged symmetry algebra A m (2L) consists of operators that commute in this space of states with the Temperley-Lieb algebra that is generated by the set of nearest-neighbor interaction terms; A m (2L) is not a Yangian. There are similar results for supersymmetric chains with gl(m+n|n) symmetry of nearest-neighbor interactions, and a richer representation structure for closed chains (i.e., periodic boundary conditions). The symmetries also apply to the loop models that can be obtained from the spin chains in a spacetime or transfer matrix picture. In the loop language, the symmetries arise because the loops cannot cross. We further define tensor products of representations (for the open chains) by joining chains end to end. The fusion rules for decomposing the tensor product of representations labeled j 1 and j 2 take the same form as the Clebsch-Gordan series for SU(2). This and other structures turn the symmetry algebra A m into a ribbon Hopf algebra, and we show that this is 'Morita equivalent' to the quantum group U q (sl 2 ) for m=q+q -1 . The open-chain results are extended to the cases vertical bar m vertical

Banach Synaptic Algebras

Science.gov (United States)

Foulis, David J.; Pulmannov, Sylvia

2018-04-01

Using a representation theorem of Erik Alfsen, Frederic Schultz, and Erling Størmer for special JB-algebras, we prove that a synaptic algebra is norm complete (i.e., Banach) if and only if it is isomorphic to the self-adjoint part of a Rickart C∗-algebra. Also, we give conditions on a Banach synaptic algebra that are equivalent to the condition that it is isomorphic to the self-adjoint part of an AW∗-algebra. Moreover, we study some relationships between synaptic algebras and so-called generalized Hermitian algebras.

Traditional vectors as an introduction to geometric algebra

International Nuclear Information System (INIS)

Carroll, J E

2003-01-01

The 2002 Oersted Medal Lecture by David Hestenes concerns the many advantages for education in physics if geometric algebra were to replace standard vector algebra. However, such a change has difficulties for those who have been taught traditionally. A new way of introducing geometric algebra is presented here using a four-element array composed of traditional vector and scalar products. This leads to an explicit 4 x 4 matrix representation which contains key requirements for three-dimensional geometric algebra. The work can be extended to include Maxwell's equations where it is found that curl and divergence appear naturally together. However, to obtain an explicit representation of space-time algebra with the correct behaviour under Lorentz transformations, an 8 x 8 matrix representation has to be formed. This leads to a Dirac representation of Maxwell's equations showing that space-time algebra has hidden within its formalism the symmetry of 'parity, charge conjugation and time reversal'

A new family of N dimensional superintegrable double singular oscillators and quadratic algebra Q(3) ⨁ so(n) ⨁ so(N-n)

Science.gov (United States)

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

2015-11-01

We introduce a new family of N dimensional quantum superintegrable models consisting of double singular oscillators of type (n, N-n). The special cases (2,2) and (4,4) have previously been identified as the duals of 3- and 5-dimensional deformed Kepler-Coulomb systems with u(1) and su(2) monopoles, respectively. The models are multiseparable and their wave functions are obtained in (n, N-n) double-hyperspherical coordinates. We obtain the integrals of motion and construct the finitely generated polynomial algebra that is the direct sum of a quadratic algebra Q(3) involving three generators, so(n), so(N-n) (i.e. Q(3) ⨁ so(n) ⨁ so(N-n)). The structure constants of the quadratic algebra itself involve the Casimir operators of the two Lie algebras so(n) and so(N-n). Moreover, we obtain the finite dimensional unitary representations (unirreps) of the quadratic algebra and present an algebraic derivation of the degenerate energy spectrum of the superintegrable model.

Grassmann algebras

International Nuclear Information System (INIS)

Garcia, R.L.

1983-11-01

The Grassmann algebra is presented briefly. Exponential and logarithm of matrices functions, whose elements belong to this algebra, are studied with the help of the SCHOONSCHIP and REDUCE 2 algebraic manipulators. (Author) [pt

Applied linear algebra and matrix analysis

CERN Document Server

Shores, Thomas S

2018-01-01

In its second edition, this textbook offers a fresh approach to matrix and linear algebra. Its blend of theory, computational exercises, and analytical writing projects is designed to highlight the interplay between these aspects of an application. This approach places special emphasis on linear algebra as an experimental science that provides tools for solving concrete problems. The second edition’s revised text discusses applications of linear algebra like graph theory and network modeling methods used in Google’s PageRank algorithm. Other new materials include modeling examples of diffusive processes, linear programming, image processing, digital signal processing, and Fourier analysis. These topics are woven into the core material of Gaussian elimination and other matrix operations; eigenvalues, eigenvectors, and discrete dynamical systems; and the geometrical aspects of vector spaces. Intended for a one-semester undergraduate course without a strict calculus prerequisite, Applied Linear Algebra and M...

Algebraic geometry

CERN Document Server

Lefschetz, Solomon

2005-01-01

An introduction to algebraic geometry and a bridge between its analytical-topological and algebraical aspects, this text for advanced undergraduate students is particularly relevant to those more familiar with analysis than algebra. 1953 edition.

Helmholtz algebraic solitons

Energy Technology Data Exchange (ETDEWEB)

Christian, J M; McDonald, G S [Joule Physics Laboratory, School of Computing, Science and Engineering, Materials and Physics Research Centre, University of Salford, Salford M5 4WT (United Kingdom); Chamorro-Posada, P, E-mail: j.christian@salford.ac.u [Departamento de Teoria de la Senal y Comunicaciones e Ingenieria Telematica, Universidad de Valladolid, ETSI Telecomunicacion, Campus Miguel Delibes s/n, 47011 Valladolid (Spain)

2010-02-26

We report, to the best of our knowledge, the first exact analytical algebraic solitons of a generalized cubic-quintic Helmholtz equation. This class of governing equation plays a key role in photonics modelling, allowing a full description of the propagation and interaction of broad scalar beams. New conservation laws are presented, and the recovery of paraxial results is discussed in detail. The stability properties of the new solitons are investigated by combining semi-analytical methods and computer simulations. In particular, new general stability regimes are reported for algebraic bright solitons.

Helmholtz algebraic solitons

International Nuclear Information System (INIS)

Christian, J M; McDonald, G S; Chamorro-Posada, P

2010-01-01

We report, to the best of our knowledge, the first exact analytical algebraic solitons of a generalized cubic-quintic Helmholtz equation. This class of governing equation plays a key role in photonics modelling, allowing a full description of the propagation and interaction of broad scalar beams. New conservation laws are presented, and the recovery of paraxial results is discussed in detail. The stability properties of the new solitons are investigated by combining semi-analytical methods and computer simulations. In particular, new general stability regimes are reported for algebraic bright solitons.

Quantum deformations of conformal algebras with mass-like deformation parameters

International Nuclear Information System (INIS)

Frydryszak, Andrzej; Lukierski, Jerzy; Mozrzymas, Marek; Minnaert, Pierre

1998-01-01

We recall the mathematical apparatus necessary for the quantum deformation of Lie algebras, namely the notions of coboundary Lie algebras, classical r-matrices, classical Yang-Baxter equations (CYBE), Froebenius algebras and parabolic subalgebras. Then we construct the quantum deformation of D=1, D=2 and D=3 conformal algebras, showing that this quantization introduce fundamental mass parameters. Finally we consider with more details the quantization of D=4 conformal algebra. We build three classes of sl(4,C) classical r-matrices, satisfying CYBE and depending respectively on 8, 10 and 12 generators of parabolic subalgebras. We show that only the 8-dimensional r-matrices allow to impose the D=4 conformal o(4,2)≅su(2,2) reality conditions. Weyl reflections and Dynkin diagram automorphisms for o(4,2) define the class of admissible bases for given classical r-matrices

Converting nested algebra expressions into flat algebra expressions

NARCIS (Netherlands)

Paredaens, J.; Van Gucht, D.

1992-01-01

Nested relations generalize ordinary flat relations by allowing tuple values to be either atomic or set valued. The nested algebra is a generalization of the flat relational algebra to manipulate nested relations. In this paper we study the expressive power of the nested algebra relative to its

Integrability in three dimensions: Algebraic Bethe ansatz for anyonic models

Directory of Open Access Journals (Sweden)

Sh. Khachatryan

2015-10-01

Full Text Available We extend basic properties of two dimensional integrable models within the Algebraic Bethe Ansatz approach to 2+1 dimensions and formulate the sufficient conditions for the commutativity of transfer matrices of different spectral parameters, in analogy with Yang–Baxter or tetrahedron equations. The basic ingredient of our models is the R-matrix, which describes the scattering of a pair of particles over another pair of particles, the quark-anti-quark (meson scattering on another quark-anti-quark state. We show that the Kitaev model belongs to this class of models and its R-matrix fulfills well-defined equations for integrability.

Fibered F-Algebra

OpenAIRE

Kleyn, Aleks

2007-01-01

The concept of F-algebra and its representation can be extended to an arbitrary bundle. We define operations of fibered F-algebra in fiber. The paper presents the representation theory of of fibered F-algebra as well as a comparison of representation of F-algebra and of representation of fibered F-algebra.

Construction of the K=8 fractional superconformal algebras

International Nuclear Information System (INIS)

Argyres, P.C.; Grochocinski, J.M.; Tye, S.H.H.

1993-01-01

We construct the K=8 fractional superconformal algebras. There are two such extended Virasoro algebras, one of which was constructed earlier, involving a fractional spin (equivalently, conformal dimension) 6/5 current. The new algebra involves two additional fractional spin currents with spin 13/5. Both algebras are non-local and satisfy non-abelian braiding relations. The construction of the algebras uses the ismorphism between the Z 8 parafermion theory and the tensor product of two tricritical Ising models. For the special value of the central charge c=52/55, corresponding to the eighth member of the unitary minimal series, the 13/5 currents of the new algebra decouple, while two spin 23/5 currents (level-2 current algebra descendants of the 13/5 currents) emerge. In addition, it is shown that the K=8 algebra involving the spin 13/5 currents at central charge c=12/5 is the appropriate algebra for the construction of the K=8 (four-dimensional) fractional superstring. (orig.)

On representations of Higher Spin symmetry algebras for mixed-symmetry HS fields on AdS-spaces. Lagrangian formulation

International Nuclear Information System (INIS)

Burdík, C; Reshetnyak, A

2012-01-01

We derive non-linear commutator HS symmetry algebra, which encode unitary irreducible representations of AdS group subject to Young tableaux Y(s 1 ,..., s k ) with κ ≥ 2 rows on d-dimensional anti-de-Sitter space. Auxiliary representations for specially deformed non-linear HS symmetry algebra in terms of generalized Verma module in order to additively convert a subsystem of second-class constraints in the HS symmetry algebra into one with first-class constraints are found explicitly for the case of HS fields for κ = 2 Young tableaux. The oscillator realization over Heisenberg algebra for obtained Verma module is constructed. The results generalize the method of auxiliary representations construction for symplectic sp(2κ) algebra used for mixed-symmetry HS fields on a flat spaces and can be extended on a case of arbitrary HS fields in AdS-space. Gauge-invariant unconstrained reducible Lagrangian formulation for free bosonic HS fields with generalized spin (s 1 , s 2 ) is derived.

Construction Example for Algebra System Using Harmony Search Algorithm

Directory of Open Access Journals (Sweden)

FangAn Deng

2015-01-01

Full Text Available The construction example of algebra system is to verify the existence of a complex algebra system, and it is a NP-hard problem. In this paper, to solve this kind of problems, firstly, a mathematical optimization model for construction example of algebra system is established. Secondly, an improved harmony search algorithm based on NGHS algorithm (INGHS is proposed to find as more solutions as possible for the optimization model; in the proposed INGHS algorithm, to achieve the balance between exploration power and exploitation power in the search process, a global best strategy and parameters dynamic adjustment method are present. Finally, nine construction examples of algebra system are used to evaluate the optimization model and performance of INGHS. The experimental results show that the proposed algorithm has strong performance for solving complex construction example problems of algebra system.

Algebraic monoids, group embeddings, and algebraic combinatorics

CERN Document Server

Li, Zhenheng; Steinberg, Benjamin; Wang, Qiang

2014-01-01

This book contains a collection of fifteen articles and is dedicated to the sixtieth birthdays of Lex Renner and Mohan Putcha, the pioneers of the field of algebraic monoids.   Topics presented include:   v  structure and representation theory of reductive algebraic monoids v  monoid schemes and applications of monoids v  monoids related to Lie theory v  equivariant embeddings of algebraic groups v  constructions and properties of monoids from algebraic combinatorics v  endomorphism monoids induced from vector bundles v  Hodge–Newton decompositions of reductive monoids   A portion of these articles are designed to serve as a self-contained introduction to these topics, while the remaining contributions are research articles containing previously unpublished results, which are sure to become very influential for future work. Among these, for example, the important recent work of Michel Brion and Lex Renner showing that the algebraic semigroups are strongly π-regular.   Graduate students as well a...

Applied matrix algebra in the statistical sciences

CERN Document Server

Basilevsky, Alexander

2005-01-01

This comprehensive text offers teachings relevant to both applied and theoretical branches of matrix algebra and provides a bridge between linear algebra and statistical models. Appropriate for advanced undergraduate and graduate students. 1983 edition.

Generalized space-time supersymmetries, division algebras and octonionic M-theory

International Nuclear Information System (INIS)

Lukierski, Jerzy; Toppan, Francesco

2002-03-01

We describe the set of generalized Poincare and conformal superalgebras in D= 4,5 and 7 dimensions as two sequences of superalgebraic structures, taking values in the division algebras R, C and H. The generalized conformal superalgebras are described for D = 4 by OSp(1;8|R), for D = 5 by SU(4,4;1) and for D = 7 by U α U (8;1|H). The relation with other schemes, in particular the framework of conformal spin (super) algebras and Jordan (super) algebras is discussed. By extending the division-algebra-valued super-algebras to octonions we get in D= 11 an octonionic generalized Poincare superalgebra, which we call octonionic M-algebra, describing the octonionic M-theory. It contains 32 real supercharges but, due to the octonionic structure only 52 real bosonic generators remain independent in place of the 528 bosonic charges of standard M-algebra. In octonionic M-theory there is a sort of equivalence between the octonionic M2 (supermembrane) and the octonionic M5 (super-5-brane) sectors. We also define the octonionic generalized conformal M-superalgebra with 239 bosonic generators. (author)

A division algebra classification of generalized supersymmetries

International Nuclear Information System (INIS)

Toppan, Francesco

2004-10-01

Generalized supersymmetries admitting bosonic tensor central charges are classified in accordance with their division algebra properties. Division algebra consistent constraints lead (in the complex and quaternionic cases) to the classes of hermitian and holomorphic generalized supersymmetries. Applications to the analytic continuation of the M-algebra to the Euclidean and the systematic investigation of certain classes of models in generic space-times are briefly mentioned. (author)

Leavitt path algebras

CERN Document Server

Abrams, Gene; Siles Molina, Mercedes

2017-01-01

This book offers a comprehensive introduction by three of the leading experts in the field, collecting fundamental results and open problems in a single volume. Since Leavitt path algebras were first defined in 2005, interest in these algebras has grown substantially, with ring theorists as well as researchers working in graph C*-algebras, group theory and symbolic dynamics attracted to the topic. Providing a historical perspective on the subject, the authors review existing arguments, establish new results, and outline the major themes and ring-theoretic concepts, such as the ideal structure, Z-grading and the close link between Leavitt path algebras and graph C*-algebras. The book also presents key lines of current research, including the Algebraic Kirchberg Phillips Question, various additional classification questions, and connections to noncommutative algebraic geometry. Leavitt Path Algebras will appeal to graduate students and researchers working in the field and related areas, such as C*-algebras and...

SpF: Enabling Petascale Performance for Pseudospectral Dynamo Models

Science.gov (United States)

Jiang, W.; Clune, T.; Vriesema, J.; Gutmann, G.

2013-12-01

Pseudospectral (PS) methods possess a number of characteristics (e.g., efficiency, accuracy, natural boundary conditions) that are extremely desirable for dynamo models. Unfortunately, dynamo models based upon PS methods face a number of daunting challenges, which include exposing additional parallelism, leveraging hardware accelerators, exploiting hybrid parallelism, and improving the scalability of global memory transposes. Although these issues are a concern for most models, solutions for PS methods tend to require far more pervasive changes to underlying data and control structures. Further, improvements in performance in one model are difficult to transfer to other models, resulting in significant duplication of effort across the research community. We have developed an extensible software framework for pseudospectral methods called SpF that is intended to enable extreme scalability and optimal performance. High-level abstractions provided by SpF unburden applications of the responsibility of managing domain decomposition and load balance while reducing the changes in code required to adapt to new computing architectures. The key design concept in SpF is that each phase of the numerical calculation is partitioned into disjoint numerical 'kernels' that can be performed entirely in-processor. The granularity of domain-decomposition provided by SpF is only constrained by the data-locality requirements of these kernels. SpF builds on top of optimized vendor libraries for common numerical operations such as transforms, matrix solvers, etc., but can also be configured to use open source alternatives for portability. SpF includes several alternative schemes for global data redistribution and is expected to serve as an ideal testbed for further research into optimal approaches for different network architectures. In this presentation, we will describe the basic architecture of SpF as well as preliminary performance data and experience with adapting legacy dynamo codes

Open-closed homotopy algebra in mathematical physics

International Nuclear Information System (INIS)

Kajiura, Hiroshige; Stasheff, Jim

2006-01-01

In this paper we discuss various aspects of open-closed homotopy algebras (OCHAs) presented in our previous paper, inspired by Zwiebach's open-closed string field theory, but that first paper concentrated on the mathematical aspects. Here we show how an OCHA is obtained by extracting the tree part of Zwiebach's quantum open-closed string field theory. We clarify the explicit relation of an OCHA with Kontsevich's deformation quantization and with the B-models of homological mirror symmetry. An explicit form of the minimal model for an OCHA is given as well as its relation to the perturbative expansion of open-closed string field theory. We show that our open-closed homotopy algebra gives us a general scheme for deformation of open string structures (A ∞ algebras) by closed strings (L ∞ algebras)

Current algebra for parafields

International Nuclear Information System (INIS)

Palev, Ch.D.

1976-01-01

Within the framework of the Lagrangean QFT a generalization of canonical commutation and anticommutation relations in terms of three-linear commutation relations, corresponding to the parastatistics, s discussed. A detailed derivation of these three-linear relations for a set of parafermi fields is presented. Then for a Lagrangean, depending of a family of parabose fields and a family of paraferm fields, is shown that the fundamental hypothesis of current algebra is valid. In other words, the currents corresponding to the linear gauge transformations are found to meet the commutation relation: [Jsub(f)sup(0)(x), Jsub(g)sup(0)]sub(x 0 =y 0 ) = -idelta(x vector - y vector)Jsub([f,g])sup(0) (x), where Jsub(f)sup(0) is a time component of the current, corresponding to transformation f. (S.P.)

A process algebra software engineering environment

NARCIS (Netherlands)

Diertens, B.

2008-01-01

In previous work we described how the process algebra based language PSF can be used in software engineering, using the ToolBus, a coordination architecture also based on process algebra, as implementation model. In this article we summarize that work and describe the software development process

Form factors in sinh- and sine-Gordon models, deformed Virasoro algebra, Macdonald polynomials and resonance identities

International Nuclear Information System (INIS)

Lashkevich, Michael; Pugai, Yaroslav

2013-01-01

We continue the study of form factors of descendant operators in the sinh- and sine-Gordon models in the framework of the algebraic construction proposed in [1]. We find the algebraic construction to be related to a particular limit of the tensor product of the deformed Virasoro algebra and a suitably chosen Heisenberg algebra. To analyze the space of local operators in the framework of the form factor formalism we introduce screening operators and construct singular and cosingular vectors in the Fock spaces related to the free field realization of the obtained algebra. We show that the singular vectors are expressed in terms of the degenerate Macdonald polynomials with rectangular partitions. We study the matrix elements that contain a singular vector in one chirality and a cosingular vector in the other chirality and find them to lead to the resonance identities already known in the conformal perturbation theory. Besides, we give a new derivation of the equation of motion in the sinh-Gordon theory, and a new representation for conserved currents

Approximation of complex algebraic numbers by algebraic numbers of bounded degree

OpenAIRE

Bugeaud, Yann; Evertse, Jan-Hendrik

2007-01-01

We investigate how well complex algebraic numbers can be approximated by algebraic numbers of degree at most n. We also investigate how well complex algebraic numbers can be approximated by algebraic integers of degree at most n+1. It follows from our investigations that for every positive integer n there are complex algebraic numbers of degree larger than n that are better approximable by algebraic numbers of degree at most n than almost all complex numbers. As it turns out, these numbers ar...

Operadic formulation of topological vertex algebras and gerstenhaber or Batalin-Vilkovisky algebras

International Nuclear Information System (INIS)

Huang Yizhi

1994-01-01

We give the operadic formulation of (weak, strong) topological vertex algebras, which are variants of topological vertex operator algebras studied recently by Lian and Zuckerman. As an application, we obtain a conceptual and geometric construction of the Batalin-Vilkovisky algebraic structure (or the Gerstenhaber algebra structure) on the cohomology of a topological vertex algebra (or of a weak topological vertex algebra) by combining this operadic formulation with a theorem of Getzler (or of Cohen) which formulates Batalin-Vilkovisky algebras (or Gerstenhaber algebras) in terms of the homology of the framed little disk operad (or of the little disk operad). (orig.)

F4 quantum integrable, rational and trigonometric models: space-of-orbits view

International Nuclear Information System (INIS)

Turbiner, A V; Vieyra, J C Lopez

2014-01-01

Algebraic-rational nature of the four-dimensional, F 4 -invariant integrable quantum Hamiltonians, both rational and trigonometric, is revealed and reviewed. It was shown that being written in F 4 Weyl invariants, polynomial and exponential, respectively, both similarity-transformed Hamiltonians are in algebraic form, they are quite similar the second order differential operators with polynomial coefficients; the flat metric in the Laplace-Beltrami operator has polynomial (in invariants) matrix elements. Their potentials are calculated for the first time: they are meromorphic (rational) functions with singularities at the boundaries of the configuration space. Ground state eigenfunctions are algebraic functions in a form of polynomials in some degrees. Both Hamiltonians preserve the same infinite flag of polynomial spaces with characteristic vector (1, 2, 2, 3), it manifests exact solvability. A particular integral common for both models is derived. The first polynomial eigenfunctions are presented explicitly.

Bootstrapping non-commutative gauge theories from L∞ algebras

Science.gov (United States)

Blumenhagen, Ralph; Brunner, Ilka; Kupriyanov, Vladislav; Lüst, Dieter

2018-05-01

Non-commutative gauge theories with a non-constant NC-parameter are investigated. As a novel approach, we propose that such theories should admit an underlying L∞ algebra, that governs not only the action of the symmetries but also the dynamics of the theory. Our approach is well motivated from string theory. We recall that such field theories arise in the context of branes in WZW models and briefly comment on its appearance for integrable deformations of AdS5 sigma models. For the SU(2) WZW model, we show that the earlier proposed matrix valued gauge theory on the fuzzy 2-sphere can be bootstrapped via an L∞ algebra. We then apply this approach to the construction of non-commutative Chern-Simons and Yang-Mills theories on flat and curved backgrounds with non-constant NC-structure. More concretely, up to the second order, we demonstrate how derivative and curvature corrections to the equations of motion can be bootstrapped in an algebraic way from the L∞ algebra. The appearance of a non-trivial A∞ algebra is discussed, as well.

The Moyal momentum algebra applied to θ-deformed 2d conformal models and KdV-hierarchies

International Nuclear Information System (INIS)

Boulahoual, A.; Sedra, M.B.

2002-08-01

The properties of the Das-Popowicz Moyal momentum algebra that we introduce in hep-th/0207242 are reexamined in detail and used to discuss some aspects of integrable models and 2d conformal field theories. Among the results presented we setup some useful convention notations which lead to extract some non trivial properties of the Moyal momentum algebra. We use the particular sub-algebra sl n -Σ-tilde n (0,n) to construct the sl 2 -Liouville conformal model δδ-barΦ=2/θe -1/θΦ and its sl 3 -Toda extension δδ-bar 1 =Ae -1/2θ(Φ 1 +1/2Φ 2 ) and δδ-barΦ 2 =Be -1/2 / θ (Φ 1 +2Φ 2 ) . We also show that the central charge, a la Feigin-Fuchs, associated to the spin-2 conformal current of the θ-Liouville model is given by c θ =(1+24θ 2 ). Moreover, the results obtained for the Das-Popowicz Mm algebra are applied to study systematically some properties of the Moyal KdV and Boussinesq hierarchies generalizing some known results. We also discuss the primarily condition of conformal w θ -currents and interpret this condition as being a dressing gauge symmetry in the Moyal momentum space. Some computations related to the dressing gauge group are explicitly presented. (author)

Boundary Lax pairs from non-ultra-local Poisson algebras

International Nuclear Information System (INIS)

Avan, Jean; Doikou, Anastasia

2009-01-01

We consider non-ultra-local linear Poisson algebras on a continuous line. Suitable combinations of representations of these algebras yield representations of novel generalized linear Poisson algebras or 'boundary' extensions. They are parametrized by a boundary scalar matrix and depend, in addition, on the choice of an antiautomorphism. The new algebras are the classical-linear counterparts of the known quadratic quantum boundary algebras. For any choice of parameters, the non-ultra-local contribution of the original Poisson algebra disappears. We also systematically construct the associated classical Lax pair. The classical boundary principal chiral model is examined as a physical example.

Thin-layer approximation and algebraic model for separated turbulent flows

Science.gov (United States)

Baldwin, B.; Lomax, H.

1978-01-01

An algebraic turbulence model for two- and three-dimensional separated flows is specified that avoids the necessity for finding the edge of the boundary layer. Properties of the model are determined and comparisons made with experiment for an incident shock on a flat plate, separated flow over a compression corner, and transonic flow over an airfoil. Separation and reattachment points from numerical Navier-Stokes solutions agree with experiment within one boundary-layer thickness. Use of law-of-the-wall boundary conditions does not alter the predictions significantly. Applications of the model to other cases are contained in companion papers.

Remarks on finite W algebras

International Nuclear Information System (INIS)

Barbarin, F.; Sorba, P.; Ragoucy, E.

1996-01-01

The property of some finite W algebras to be the commutant of a particular subalgebra of a simple Lie algebra G is used to construct realizations of G. When G ≅ so (4,2), unitary representations of the conformal and Poincare algebras are recognized in this approach, which can be compared to the usual induced representation technique. When G approx=(2, R), the anyonic parameter can be seen as the eigenvalue of a W generator in such W representations of G. The generalization of such properties to the affine case is also discussed in the conclusion, where an alternative of the Wakimoto construction for sl(2) k is briefly presented. (authors)

Wn(2) algebras

International Nuclear Information System (INIS)

Feigin, B.L.; Semikhatov, A.M.

2004-01-01

We construct W-algebra generalizations of the sl-circumflex(2) algebra-W algebras W n (2) generated by two currents E and F with the highest pole of order n in their OPE. The n=3 term in this series is the Bershadsky-Polyakov W 3 (2) algebra. We define these algebras as a centralizer (commutant) of the Uqs-bar (n vertical bar 1) quantum supergroup and explicitly find the generators in a factored, 'Miura-like' form. Another construction of the W n (2) algebras is in terms of the coset sl-circumflex(n vertical bar 1)/sl-circumflex(n). The relation between the two constructions involves the 'duality' (k+n-1)(k'+n-1)=1 between levels k and k' of two sl-circumflex(n) algebras

Drinfeld currents of dynamical elliptic algebra

International Nuclear Information System (INIS)

Hou Boyu; Fan Heng; Yang Wenli; Cao Junpeng

2000-01-01

From the generalized Yang-Baxter relations RLL=LLR*, where R and R* are the dynamical R-matrix of A n-1 (1) type face model with the elliptic module shifted by the center of the algebra, using the Ding-Frenkel correspondence, the authors obtain the Drinfeld currents of dynamical elliptic algebra

The vacuum preserving Lie algebra of a classical W-algebra

International Nuclear Information System (INIS)

Feher, L.; Tsutsui, I.

1993-07-01

We simplify and generalize an argument due to Bowcock and Watts showing that one can associate a finite Lie algebra (the 'classical vacuum preserving algebra') containing the Moebius sl(2) subalgebra to any classical W-algebra. Our construction is based on a kinematical analysis of the Poisson brackets of quasi-fields. In the case of the W S G -subalgebra S of a simple Lie algebra G, we exhibit a natural isomorphism between this finite Lie algebra and G whereby the Moebius sl(2) is identified with S. (orig.)

Nonflexible Lie-admissible algebras

International Nuclear Information System (INIS)

Myung, H.C.

1978-01-01

We discuss the structure of Lie-admissible algebras which are defined by nonflexible identities. These algebras largely arise from the antiflexible algebras, 2-varieties and associator dependent algebras. The nonflexible Lie-admissible algebras in our discussion are in essence byproducts of the study of nonassociative algebras defined by identities of degree 3. The main purpose is to discuss the classification of simple Lie-admissible algebras of nonflexible type

On 2-Banach algebras

International Nuclear Information System (INIS)

Mohammad, N.; Siddiqui, A.H.

1987-11-01

The notion of a 2-Banach algebra is introduced and its structure is studied. After a short discussion of some fundamental properties of bivectors and tensor product, several classical results of Banach algebras are extended to the 2-Banach algebra case. A condition under which a 2-Banach algebra becomes a Banach algebra is obtained and the relation between algebra of bivectors and 2-normed algebra is discussed. 11 refs

SATA II - Stochastic Algebraic Topology and Applications

Science.gov (United States)

2017-01-30

AFRL-AFOSR-UK-TR-2017-0018 SATA II - Stochastic Algebraic Topology and Applications 150032 Robert Adler TECHNION ISRAEL INSTITUTE OF TECHNOLOGY Final...REPORT TYPE Final 3. DATES COVERED (From - To) 15 Dec 2014 to 14 Dec 2016 4. TITLE AND SUBTITLE SATA II - Stochastic Algebraic Topology and Applications... Topology and Applications Continuation of, and associated with SATA: Stochastic Algebraic Topology and Applications FA8655-11-1-3039, 09/1/2011–08/31/2014

The Model Method: Singapore Children's Tool for Representing and Solving Algebraic Word Problems

Science.gov (United States)

Ng, Swee Fong; Lee, Kerry

2009-01-01

Solving arithmetic and algebraic word problems is a key component of the Singapore elementary mathematics curriculum. One heuristic taught, the model method, involves drawing a diagram to represent key information in the problem. We describe the model method and a three-phase theoretical framework supporting its use. We conducted 2 studies to…

Algebra

CERN Document Server

Flanders, Harley

1975-01-01

Algebra presents the essentials of algebra with some applications. The emphasis is on practical skills, problem solving, and computational techniques. Topics covered range from equations and inequalities to functions and graphs, polynomial and rational functions, and exponentials and logarithms. Trigonometric functions and complex numbers are also considered, together with exponentials and logarithms.Comprised of eight chapters, this book begins with a discussion on the fundamentals of algebra, each topic explained, illustrated, and accompanied by an ample set of exercises. The proper use of a

Representation theory of lattice current algebras

International Nuclear Information System (INIS)

Alekseev, A.Yu.; Eidgenoessische Technische Hochschule, Zurich; Faddeev, L.D.; Froehlich, L.D.; Schomerus, V.; Kyoto Univ.

1996-04-01

Lattice current algebras were introduced as a regularization of the left-and right moving degrees of freedom in the WZNW model. They provide examples of lattice theories with a local quantum symmetry U q (G). Their representation theory is studied in detail. In particular, we construct all irreducible representations along with a lattice analogue of the fusion product for representations of the lattice current algebra. It is shown that for an arbitrary number of lattice sites, the representation categories of the lattice current algebras agree with their continuum counterparts. (orig.)

An extended algebraic variational multiscale-multigrid-multifractal method (XAVM4) for large-eddy simulation of turbulent two-phase flow

Science.gov (United States)

Rasthofer, U.; Wall, W. A.; Gravemeier, V.

2018-04-01

A novel and comprehensive computational method, referred to as the eXtended Algebraic Variational Multiscale-Multigrid-Multifractal Method (XAVM4), is proposed for large-eddy simulation of the particularly challenging problem of turbulent two-phase flow. The XAVM4 involves multifractal subgrid-scale modeling as well as a Nitsche-type extended finite element method as an approach for two-phase flow. The application of an advanced structural subgrid-scale modeling approach in conjunction with a sharp representation of the discontinuities at the interface between two bulk fluids promise high-fidelity large-eddy simulation of turbulent two-phase flow. The high potential of the XAVM4 is demonstrated for large-eddy simulation of turbulent two-phase bubbly channel flow, that is, turbulent channel flow carrying a single large bubble of the size of the channel half-width in this particular application.

Methods of mathematical modeling using polynomials of algebra of sets

Science.gov (United States)

Kazanskiy, Alexandr; Kochetkov, Ivan

2018-03-01

The article deals with the construction of discrete mathematical models for solving applied problems arising from the operation of building structures. Security issues in modern high-rise buildings are extremely serious and relevant, and there is no doubt that interest in them will only increase. The territory of the building is divided into zones for which it is necessary to observe. Zones can overlap and have different priorities. Such situations can be described using formulas algebra of sets. Formulas can be programmed, which makes it possible to work with them using computer models.

Equations of motion for a spectrum-generating algebra: Lipkin-Meshkov-Glick model

International Nuclear Information System (INIS)

Rosensteel, G; Rowe, D J; Ho, S Y

2008-01-01

For a spectrum-generating Lie algebra, a generalized equations-of-motion scheme determines numerical values of excitation energies and algebra matrix elements. In the approach to the infinite particle number limit or, more generally, whenever the dimension of the quantum state space is very large, the equations-of-motion method may achieve results that are impractical to obtain by diagonalization of the Hamiltonian matrix. To test the method's effectiveness, we apply it to the well-known Lipkin-Meshkov-Glick (LMG) model to find its low-energy spectrum and associated generator matrix elements in the eigenenergy basis. When the dimension of the LMG representation space is 10 6 , computation time on a notebook computer is a few minutes. For a large particle number in the LMG model, the low-energy spectrum makes a quantum phase transition from a nondegenerate harmonic vibrator to a twofold degenerate harmonic oscillator. The equations-of-motion method computes critical exponents at the transition point

Lukasiewicz-Moisil algebras

CERN Document Server

Boicescu, V; Georgescu, G; Rudeanu, S

1991-01-01

The Lukasiewicz-Moisil algebras were created by Moisil as an algebraic counterpart for the many-valued logics of Lukasiewicz. The theory of LM-algebras has developed to a considerable extent both as an algebraic theory of intrinsic interest and in view of its applications to logic and switching theory.This book gives an overview of the theory, comprising both classical results and recent contributions, including those of the authors. N-valued and &THgr;-valued algebras are presented, as well as &THgr;-algebras with negation.Mathematicians interested in lattice theory or symbolic logic, and computer scientists, will find in this monograph stimulating material for further research.

Identification of control targets in Boolean molecular network models via computational algebra.

Science.gov (United States)

Murrugarra, David; Veliz-Cuba, Alan; Aguilar, Boris; Laubenbacher, Reinhard

2016-09-23

Many problems in biomedicine and other areas of the life sciences can be characterized as control problems, with the goal of finding strategies to change a disease or otherwise undesirable state of a biological system into another, more desirable, state through an intervention, such as a drug or other therapeutic treatment. The identification of such strategies is typically based on a mathematical model of the process to be altered through targeted control inputs. This paper focuses on processes at the molecular level that determine the state of an individual cell, involving signaling or gene regulation. The mathematical model type considered is that of Boolean networks. The potential control targets can be represented by a set of nodes and edges that can be manipulated to produce a desired effect on the system. This paper presents a method for the identification of potential intervention targets in Boolean molecular network models using algebraic techniques. The approach exploits an algebraic representation of Boolean networks to encode the control candidates in the network wiring diagram as the solutions of a system of polynomials equations, and then uses computational algebra techniques to find such controllers. The control methods in this paper are validated through the identification of combinatorial interventions in the signaling pathways of previously reported control targets in two well studied systems, a p53-mdm2 network and a blood T cell lymphocyte granular leukemia survival signaling network. Supplementary data is available online and our code in Macaulay2 and Matlab are available via http://www.ms.uky.edu/~dmu228/ControlAlg . This paper presents a novel method for the identification of intervention targets in Boolean network models. The results in this paper show that the proposed methods are useful and efficient for moderately large networks.

Abstract Algebra for Algebra Teaching: Influencing School Mathematics Instruction

Science.gov (United States)

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…

The R-matrix of the Uq(d4(3)) algebra and g2(1) affine Toda field theory

International Nuclear Information System (INIS)

Takacs, G.

1997-01-01

The R-matrix of the U q (d 4 (3) ) algebra is constructed in the 8-dimensional fundamental representation. Using this result, an exact S-matrix is conjectured for the imaginary coupled g 2 (1) affine Toda field theory, the structure of which is found to be very similar to the previously investigated S-matrix of d 4 (3) Toda theory. It is shown that this S-matrix is consistent with the results for the case of real coupling using the breather-particle correspondence. For q a root of unity it is argued that the theory can be restricted to yield Φ(11 vertical stroke 12) perturbations of WA 2 minimal models. (orig.)

Mathematical Modelling and the Learning Trajectory: Tools to Support the Teaching of Linear Algebra

Science.gov (United States)

Cárcamo Bahamonde, Andrea Dorila; Fortuny Aymemí, Josep Maria; Gómez i Urgellés, Joan Vicenç

2017-01-01

In this article we present a didactic proposal for teaching linear algebra based on two compatible theoretical models: emergent models and mathematical modelling. This proposal begins with a problematic situation related to the creation and use of secure passwords, which leads students toward the construction of the concepts of spanning set and…

The Boolean algebra and central Galois algebras

Directory of Open Access Journals (Sweden)

George Szeto

2001-01-01

Full Text Available Let B be a Galois algebra with Galois group G, Jg={b∈B∣bx=g(xb   for all   x∈B} for g∈G, and BJg=Beg for a central idempotent eg. Then a relation is given between the set of elements in the Boolean algebra (Ba,≤ generated by {0,eg∣g∈G} and a set of subgroups of G, and a central Galois algebra Be with a Galois subgroup of G is characterized for an e∈Ba.

Wavelets and quantum algebras

International Nuclear Information System (INIS)

Ludu, A.; Greiner, M.

1995-09-01

A non-linear associative algebra is realized in terms of translation and dilation operators, and a wavelet structure generating algebra is obtained. We show that this algebra is a q-deformation of the Fourier series generating algebra, and reduces to this for certain value of the deformation parameter. This algebra is also homeomorphic with the q-deformed su q (2) algebra and some of its extensions. Through this algebraic approach new methods for obtaining the wavelets are introduced. (author). 20 refs

Algebraic special functions and SO(3,2)

International Nuclear Information System (INIS)

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

2013-01-01

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 2 functions defined on (−1,1)×Z and on the sphere S 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 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 2 functions

Hopf algebras and topological recursion

International Nuclear Information System (INIS)

Esteves, João N

2015-01-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). (paper)

Novikov-Jordan algebras

OpenAIRE

Dzhumadil'daev, A. S.

2002-01-01

Algebras with identity $(a\\star b)\\star (c\\star d) -(a\\star d)\\star(c\\star b)$ $=(a,b,c)\\star d-(a,d,c)\\star b$ are studied. Novikov algebras under Jordan multiplication and Leibniz dual algebras satisfy this identity. If algebra with such identity has unit, then it is associative and commutative.

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

Science.gov (United States)

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)

(Quasi-)Poisson enveloping algebras

OpenAIRE

Yang, Yan-Hong; Yao, Yuan; Ye, Yu

2010-01-01

We introduce the quasi-Poisson enveloping algebra and Poisson enveloping algebra for a non-commutative Poisson algebra. We prove that for a non-commutative Poisson algebra, the category of quasi-Poisson modules is equivalent to the category of left modules over its quasi-Poisson enveloping algebra, and the category of Poisson modules is equivalent to the category of left modules over its Poisson enveloping algebra.

Iterated Leavitt Path Algebras

International Nuclear Information System (INIS)

Hazrat, R.

2009-11-01

Leavitt path algebras associate to directed graphs a Z-graded algebra and in their simplest form recover the Leavitt algebras L(1,k). In this note, we introduce iterated Leavitt path algebras associated to directed weighted graphs which have natural ± Z grading and in their simplest form recover the Leavitt algebras L(n,k). We also characterize Leavitt path algebras which are strongly graded. (author)

Algebraic geometry and effective lagrangians

International Nuclear Information System (INIS)

Martinec, E.J.; Chicago Univ., IL

1989-01-01

N=2 supersymmetric Landau-Ginsburg fixed points describe nonlinear models whose target spaces are algebraic varieties in certain generalized projective spaces; the defining equation is precisely the zero set of the superpotential, considered as a condition in the projective space. The ADE classification of modular invariants arises as the classification of projective descriptions of P 1 ; in general, the hierarchy of fixed points is conjectured to be isomorphic to the classification of quasihomogeneous singularities. The condition of vanishing first Chern class is an integrality condition on the Virasoro central charge; the central charge is determined by the superpotential. The operator algebra is given by the algebra of Wick contractions of perturbations of the superpotential. (orig.)

The algebra of the energy-momentum tensor and the Noether currents in classical non-linear sigma models

International Nuclear Information System (INIS)

Forger, M.; Mannheim Univ.; Laartz, J.; Schaeper, U.

1994-01-01

The recently derived current algrbra of classical non-linear sigma models on arbitrary Riemannian manifolds is extended to include the energy-momentum tensor. It is found that in two dimensions the energy-momentum tensor θ μv , the Noether current j μ associated with the global symmetry of the theory and the composite field j appearing as the coefficient of the Schwinger term in the current algebra, together with the derivatives of j μ and j, generte a closed algebra. The subalgebra generated by the light-cone components of the energy-momentum tensor consists of two commuting copies of the Virasoro algebra, with central charge c=0, reflecting the classical conformal invariance of the theory, but the current algebra part and the semidirect product structure are quite different from the usual Kac-Moody/Sugawara type contruction. (orig.)

Automatic generation of Fortran programs for algebraic simulation models

International Nuclear Information System (INIS)

Schopf, W.; Rexer, G.; Ruehle, R.

1978-04-01

This report documents a generator program by which econometric simulation models formulated in an application-orientated language can be transformed automatically in a Fortran program. Thus the model designer is able to build up, test and modify models without the need of a Fortran programmer. The development of a computer model is therefore simplified and shortened appreciably; in chapter 1-3 of this report all rules are presented for the application of the generator to the model design. Algebraic models including exogeneous and endogeneous time series variables, lead and lag function can be generated. In addition, to these language elements, Fortran sequences can be applied to the formulation of models in the case of complex model interrelations. Automatically the generated model is a module of the program system RSYST III and is therefore able to exchange input and output data with the central data bank of the system and in connection with the method library modules can be used to handle planning problems. (orig.) [de

Algebraic topological entropy

International Nuclear Information System (INIS)

Hudetz, T.

1989-01-01

As a 'by-product' of the Connes-Narnhofer-Thirring theory of dynamical entropy for (originally non-Abelian) nuclear C * -algebras, the well-known variational principle for topological entropy is eqivalently reformulated in purly algebraically defined terms for (separable) Abelian C * -algebras. This 'algebraic variational principle' should not only nicely illustrate the 'feed-back' of methods developed for quantum dynamical systems to the classical theory, but it could also be proved directly by 'algebraic' methods and could thus further simplify the original proof of the variational principle (at least 'in principle'). 23 refs. (Author)

Linearizing W-algebras

International Nuclear Information System (INIS)

Krivonos, S.O.; Sorin, A.S.

1994-06-01

We show that the Zamolodchikov's and Polyakov-Bershadsky nonlinear algebras W 3 and W (2) 3 can be embedded as subalgebras into some linear algebras with finite set of currents. Using these linear algebras we find new field realizations of W (2) 3 and W 3 which could be a starting point for constructing new versions of W-string theories. We also reveal a number of hidden relationships between W 3 and W (2) 3 . We conjecture that similar linear algebras can exist for other W-algebra as well. (author). 10 refs

Algebraic structure of chiral anomalies

International Nuclear Information System (INIS)

Stora, R.

1985-09-01

I will describe first the algebraic aspects of chiral anomalies, exercising however due care about the topological delicacies. I will illustrate the structure and methods in the context of gauge anomalies and will eventually make contact with results obtained from index theory. I will go into two sorts of generalizations: on the one hand, generalizing the algebraic set up yields e.g. gravitational and mixed gauge anomalies, supersymmetric gauge anomalies, anomalies in supergravity theories; on the other hand most constructions applied to the cohomologies which characterize anomalies easily extend to higher cohomologies. Section II is devoted to a description of the general set up as it applies to gauge anomalies. Section III deals with a number of algebraic set ups which characterize more general types of anomalies: gravitational and mixed gauge anomalies, supersymmetric gauge anomalies, anomalies in supergravity theories. It also includes brief remarks on σ models and a reminder on the full BRST algebra of quantized gauge theories

Algebra of orthofermions and equivalence of their thermodynamics to the infinite U Hubbard model

International Nuclear Information System (INIS)

Kishore, R.; Mishra, A.K.

2006-01-01

The equivalence of thermodynamics of independent orthofermions to the infinite U Hubbard model, shown earlier for the one-dimensional infinite lattice, has been extended to a finite system of two lattice sites. Regarding the algebra of orthofermions, the algebraic expressions for the number operator for a given spin and the spin raising (lowering) operators in the form of infinite series are rearranged in such a way that the ith term, having the form of an infinite series, of the number (spin raising (lowering)) operator represents the number (spin raising (lowering)) operator at the ith lattice site

Path operator algebras in conformal quantum field theories

International Nuclear Information System (INIS)

Roesgen, M.

2000-10-01

Two different kinds of path algebras and methods from noncommutative geometry are applied to conformal field theory: Fusion rings and modular invariants of extended chiral algebras are analyzed in terms of essential paths which are a path description of intertwiners. As an example, the ADE classification of modular invariants for minimal models is reproduced. The analysis of two-step extensions is included. Path algebras based on a path space interpretation of character identities can be applied to the analysis of fusion rings as well. In particular, factorization properties of character identities and therefore of the corresponding path spaces are - by means of K-theory - related to the factorization of the fusion ring of Virasoro- and W-algebras. Examples from nonsupersymmetric as well as N=2 supersymmetric minimal models are discussed. (orig.)

Biotransformation of 2,4-dinitroanisole by a fungal Penicillium sp.

Science.gov (United States)

Schroer, Hunter W; Langenfeld, Kathryn L; Li, Xueshu; Lehmler, Hans-Joachim; Just, Craig L

2017-02-01

Insensitive munitions explosives are new formulations that are less prone to unintended detonation compared to traditional explosives. While these formulations have safety benefits, the individual constituents, such as 2,4-dinitroanisole (DNAN), have an unknown ecosystem fate with potentially toxic impacts to flora and fauna exposed to DNAN and/or its metabolites. Fungi may be useful in remediation and have been shown to degrade traditional nitroaromatic explosives, such as 2,4,6-trinitrotoluene and 2,4-dinitrotoluene, that are structurally similar to DNAN. In this study, a fungal Penicillium sp., isolated from willow trees and designated strain KH1, was shown to degrade DNAN in solution within 14 days. Stable-isotope labeled DNAN and an untargeted metabolomics approach were used to discover 13 novel transformation products. Penicillium sp. KH1 produced DNAN metabolites resulting from ortho- and para-nitroreduction, demethylation, acetylation, hydroxylation, malonylation, and sulfation. Incubations with intermediate metabolites such as 2-amino-4-nitroanisole and 4-amino-2-nitroanisole as the primary substrates confirmed putative metabolite isomerism and pathways. No ring-cleavage products were observed, consistent with other reports that mineralization of DNAN is an uncommon metabolic outcome. The production of metabolites with unknown persistence and toxicity suggests further study will be needed to implement remediation with Penicillium sp. KH1. To our knowledge, this is the first report on the biotransformation of DNAN by a fungus.

Linear algebraic groups

CERN Document Server

Springer, T A

1998-01-01

"[The first] ten chapters...are an efficient, accessible, and self-contained introduction to affine algebraic groups over an algebraically closed field. The author includes exercises and the book is certainly usable by graduate students as a text or for self-study...the author [has a] student-friendly style… [The following] seven chapters... would also be a good introduction to rationality issues for algebraic groups. A number of results from the literature…appear for the first time in a text." –Mathematical Reviews (Review of the Second Edition) "This book is a completely new version of the first edition. The aim of the old book was to present the theory of linear algebraic groups over an algebraically closed field. Reading that book, many people entered the research field of linear algebraic groups. The present book has a wider scope. Its aim is to treat the theory of linear algebraic groups over arbitrary fields. Again, the author keeps the treatment of prerequisites self-contained. The material of t...

Extended conformal algebras

International Nuclear Information System (INIS)

Goddard, Peter

1990-01-01

The algebra of the group of conformal transformations in two dimensions consists of two commuting copies of the Virasoro algebra. In many mathematical and physical contexts, the representations of ν which are relevant satisfy two conditions: they are unitary and they have the ''positive energy'' property that L o is bounded below. In an irreducible unitary representation the central element c takes a fixed real value. In physical contexts, the value of c is a characteristic of a theory. If c < 1, it turns out that the conformal algebra is sufficient to ''solve'' the theory, in the sense of relating the calculation of the infinite set of physically interesting quantities to a finite subset which can be handled in principle. For c ≥ 1, this is no longer the case for the algebra alone and one needs some sort of extended conformal algebra, such as the superconformal algebra. It is these algebras that this paper aims at addressing. (author)

Generalized symmetry algebras

International Nuclear Information System (INIS)

Dragon, N.

1979-01-01

The possible use of trilinear algebras as symmetry algebras for para-Fermi fields is investigated. The shortcomings of the examples are argued to be a general feature of such generalized algebras. (author)

Current algebra and differential geometry

International Nuclear Information System (INIS)

Alekseev, Anton; Strobl, Thomas

2005-01-01

We show that symmetries and gauge symmetries of a large class of 2-dimensional sigma models are described by a new type of a current algebra. The currents are labeled by pairs of a vector field and a 1-form on the target space of the sigma model. We compute the current-current commutator and analyse the anomaly cancellation condition, which can be interpreted geometrically in terms of Dirac structures, previously studied in the mathematical literature. Generalized complex structures correspond to decompositions of the current algebra into pairs of anomaly free subalgebras. Sigma models that we can treat with our method include both physical and topological examples, with and without Wess-Zumino type terms. (author)

Lie algebra symmetries and quantum phase transitions in nuclei

Indian Academy of Sciences (India)

2014-04-05

Apr 5, 2014 ... 743–755. Lie algebra symmetries and quantum phase transitions in nuclei .... Applications of this CS to QPT in sdgIBM model will be briefly ..... as a linear combination of ˆC2, ˆC3 and ˆC4 of SUsdg(5) and similarly also for the.

Rota-Baxter algebras and the Hopf algebra of renormalization

Energy Technology Data Exchange (ETDEWEB)

Ebrahimi-Fard, K.

2006-06-15

Recently, the theory of renormalization in perturbative quantum field theory underwent some exciting new developments. Kreimer discovered an organization of Feynman graphs into combinatorial Hopf algebras. The process of renormalization is captured by a factorization theorem for regularized Hopf algebra characters. Hereby the notion of Rota-Baxter algebras enters the scene. In this work we develop in detail several mathematical aspects of Rota-Baxter algebras as they appear also in other sectors closely related to perturbative renormalization, to wit, for instance multiple-zeta-values and matrix differential equations. The Rota-Baxter picture enables us to present the algebraic underpinning for the Connes-Kreimer Birkhoff decomposition in a concise way. This is achieved by establishing a general factorization theorem for filtered algebras. Which in turn follows from a new recursion formula based on the Baker-Campbell-Hausdorff formula. This allows us to generalize a classical result due to Spitzer to non-commutative Rota-Baxter algebras. The Baker-Campbell-Hausdorff based recursion turns out to be a generalization of Magnus' expansion in numerical analysis to generalized integration operators. We will exemplify these general results by establishing a simple representation of the combinatorics of renormalization in terms of triangular matrices. We thereby recover in the presence of a Rota-Baxter operator the matrix representation of the Birkhoff decomposition of Connes and Kreimer. (orig.)

Rota-Baxter algebras and the Hopf algebra of renormalization

International Nuclear Information System (INIS)

Ebrahimi-Fard, K.

2006-06-01

Recently, the theory of renormalization in perturbative quantum field theory underwent some exciting new developments. Kreimer discovered an organization of Feynman graphs into combinatorial Hopf algebras. The process of renormalization is captured by a factorization theorem for regularized Hopf algebra characters. Hereby the notion of Rota-Baxter algebras enters the scene. In this work we develop in detail several mathematical aspects of Rota-Baxter algebras as they appear also in other sectors closely related to perturbative renormalization, to wit, for instance multiple-zeta-values and matrix differential equations. The Rota-Baxter picture enables us to present the algebraic underpinning for the Connes-Kreimer Birkhoff decomposition in a concise way. This is achieved by establishing a general factorization theorem for filtered algebras. Which in turn follows from a new recursion formula based on the Baker-Campbell-Hausdorff formula. This allows us to generalize a classical result due to Spitzer to non-commutative Rota-Baxter algebras. The Baker-Campbell-Hausdorff based recursion turns out to be a generalization of Magnus' expansion in numerical analysis to generalized integration operators. We will exemplify these general results by establishing a simple representation of the combinatorics of renormalization in terms of triangular matrices. We thereby recover in the presence of a Rota-Baxter operator the matrix representation of the Birkhoff decomposition of Connes and Kreimer. (orig.)

Automorphisms of W-algebras and extended rational conformal field theories

International Nuclear Information System (INIS)

Honecker, A.

1992-11-01

Many extended conformal algebras with one generator in addition to the Virasoro field as well as Casimir algebras have non-trivial outer automorphisms which enables one to impose 'twisted' boundary conditions on the chiral fields. We study their effect on the highest weight representations. We give formulae for the enlarged rational conformal field theories in both series of W-algebras with two generators and conjecture a general formula for the additional models in the minimal series of Casimir algebras. A third series of W-algebras with two generators which includes the spin three algebra at c = -2 also has finitely many additional fields in the twisted sector although the model itself is apparently not rational. The additional fields in the twisted sector have applications in statistical mechanics as we demonstrate for Z n -quantum spin chains with a particular type of boundary conditions. (orig.)

Algebraic entropy for algebraic maps

International Nuclear Information System (INIS)

Hone, A N W; Ragnisco, Orlando; Zullo, Federico

2016-01-01

We propose an extension of the concept of algebraic entropy, as introduced by Bellon and Viallet for rational maps, to algebraic maps (or correspondences) of a certain kind. The corresponding entropy is an index of the complexity of the map. The definition inherits the basic properties from the definition of entropy for rational maps. We give an example with positive entropy, as well as two examples taken from the theory of Bäcklund transformations. (letter)

On hyper BCC-algebras

OpenAIRE

Borzooei, R. A.; Dudek, W. A.; Koohestani, N.

2006-01-01

We study hyper BCC-algebras which are a common generalization of BCC-algebras and hyper BCK-algebras. In particular, we investigate different types of hyper BCC-ideals and describe the relationship among them. Next, we calculate all nonisomorphic 22 hyper BCC-algebras of order 3 of which only three are not hyper BCK-algebras.

Planar Algebra of the Subgroup-Subfactor

Indian Academy of Sciences (India)

The crucial step in this identification is an exhibition of a model for the basic construction tower, and thereafter of the standard invariant of R ⋊ H ⊂ R ⋊ G in terms of operator matrices. We also obtain an identification between the planar algebra of the fixed algebra subfactor R G ⊂ R H and the -invariant planar subalgebra ...

Enzymic Dehalogenation of 4-Chlorobenzoyl Coenzyme A in Acinetobacter sp. Strain 4-CB1

OpenAIRE

Copley, Shelley D.; Crooks, Gwen P.

1992-01-01

4-Chlorobenzoate degradation in cell extracts of Acinetobacter sp. strain 4-CB1 occurs by initial synthesis of 4-chlorobenzoyl coenzyme A (4-chlorobenzoyl CoA) from 4-chlorobenzoate, CoA, and ATP. 4-Chlorobenzoyl CoA is dehalogenated to 4-hydroxybenzoyl CoA. Following the dehalogenation reaction, 4-hydroxybenzoyl CoA is hydrolyzed to 4-hydroxybenzoate and CoA. Possible roles for the CoA moiety in the dehalogenation reaction are discussed.

Enzymic Dehalogenation of 4-Chlorobenzoyl Coenzyme A in Acinetobacter sp. Strain 4-CB1

Science.gov (United States)

Copley, Shelley D.; Crooks, Gwen P.

1992-01-01

4-Chlorobenzoate degradation in cell extracts of Acinetobacter sp. strain 4-CB1 occurs by initial synthesis of 4-chlorobenzoyl coenzyme A (4-chlorobenzoyl CoA) from 4-chlorobenzoate, CoA, and ATP. 4-Chlorobenzoyl CoA is dehalogenated to 4-hydroxybenzoyl CoA. Following the dehalogenation reaction, 4-hydroxybenzoyl CoA is hydrolyzed to 4-hydroxybenzoate and CoA. Possible roles for the CoA moiety in the dehalogenation reaction are discussed. PMID:16348702

Cluster algebras in mathematical physics

International Nuclear Information System (INIS)

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

2014-01-01

identities in conformal field theory and so forth. It is remarkable that the key ingredients in such a variety of theories and models are captured and described universally in the common language of cluster algebras. This special issue provides a bird's-eye view of the known and latest results in various topics in mathematical physics where cluster algebras have played an essential role. The contributed articles are themselves an eloquent illustration of the breadth and depth of the subject of cluster algebras. We are confident that the issue will stimulate both newcomers and experts, since the applications to physics still seem to be growing

XAL: An algebra for XML query optimization

NARCIS (Netherlands)

Frasincar, F.; Houben, G.J.P.M.; Pau, C.D.; Zhou, Xiaofang

2002-01-01

This paper proposes XAL, an XML ALgebra. Its novelty is based on the simplicity of its data model and its well-defined logical operators, which makes it suitable for composability, optimizability, and semantics definition of a query language for XML data. At the heart of the algebra resides the

On hyper BCC-algebras

Directory of Open Access Journals (Sweden)

R. A. Borzooei

2006-01-01

Full Text Available We study hyper BCC-algebras which are a common generalization of BCC-algebras and hyper BCK-algebras. In particular, we investigate different types of hyper BCC-ideals and describe the relationship among them. Next, we calculate all nonisomorphic 22 hyper BCC-algebras of order 3 of which only three are not hyper BCK-algebras.

Quartic trace identity for exceptional Lie algebras

International Nuclear Information System (INIS)

Okubo, S.

1979-01-01

Let X be a representation matrix of generic element x of a simple Lie algebra in generic irreducible representation ]lambda] of the Lie algebra. Then, for all exceptional Lie algebras as well as A 1 and A 2 , we can prove the validity of a quartic trace identity Tr(X 4 ) =K (lambda)[Tr(X 2 )] 2 , where the constant K (lambda) depends only upon the irreducible representation ]lambda], and its explicit form is calculated. Some applications of second and fourth order indices have also been discussed

Algebraic theory of numbers

CERN Document Server

Samuel, Pierre

2008-01-01

Algebraic number theory introduces students not only to new algebraic notions but also to related concepts: groups, rings, fields, ideals, quotient rings and quotient fields, homomorphisms and isomorphisms, modules, and vector spaces. Author Pierre Samuel notes that students benefit from their studies of algebraic number theory by encountering many concepts fundamental to other branches of mathematics - algebraic geometry, in particular.This book assumes a knowledge of basic algebra but supplements its teachings with brief, clear explanations of integrality, algebraic extensions of fields, Gal

Effective quark-diquark supersymmetry an algebraic approach

International Nuclear Information System (INIS)

Catto, S.

1989-01-01

Effective hadronic supersymmetries and color algebra, where extended Miyazawa U(6/21) supersymmetry between mesons and baryons are derived from QCD under some assumptions and within some approximation, also using a dynamical suppression of color-symmetric states. This shows the hadronic origin of supersymmetry as well as the underlying structure of exceptional algebras to the quark model. Supergroups, and infinite groups like Virasoro algebra, then emerge as useful descriptions of certain properties of the hadronic spectrum. Applications to exotic mesons and baryons are discussed

A rigorous approach to investigating common assumptions about disease transmission: Process algebra as an emerging modelling methodology for epidemiology.

Science.gov (United States)

McCaig, Chris; Begon, Mike; Norman, Rachel; Shankland, Carron

2011-03-01

Changing scale, for example, the ability to move seamlessly from an individual-based model to a population-based model, is an important problem in many fields. In this paper, we introduce process algebra as a novel solution to this problem in the context of models of infectious disease spread. Process algebra allows us to describe a system in terms of the stochastic behaviour of individuals, and is a technique from computer science. We review the use of process algebra in biological systems, and the variety of quantitative and qualitative analysis techniques available. The analysis illustrated here solves the changing scale problem: from the individual behaviour we can rigorously derive equations to describe the mean behaviour of the system at the level of the population. The biological problem investigated is the transmission of infection, and how this relates to individual interactions.

The BRS algebra of a free differential algebra

International Nuclear Information System (INIS)

Boukraa, S.

1987-04-01

We construct in this work, the Weil and the universal BRS algebras of theories that can have as a gauge symmetry a free differential (Sullivan) algebra, the natural extension of Lie algebras allowing the definition of p-form gauge potentials (p>1). The finite gauge transformations of these potentials are deduced from the infinitesimal ones and the group structure is shown. The geometrical meaning of these p-form gauge potentials is given by the notion of a Quillen superconnection. (author). 19 refs

Genetic coding and united-hypercomplex systems in the models of algebraic biology.

Science.gov (United States)

Petoukhov, Sergey V

2017-08-01

Structured alphabets of DNA and RNA in their matrix form of representations are connected with Walsh functions and a new type of systems of multidimensional numbers. This type generalizes systems of complex numbers and hypercomplex numbers, which serve as the basis of mathematical natural sciences and many technologies. The new systems of multi-dimensional numbers have interesting mathematical properties and are called in a general case as "systems of united-hypercomplex numbers" (or briefly "U-hypercomplex numbers"). They can be widely used in models of multi-parametrical systems in the field of algebraic biology, artificial life, devices of biological inspired artificial intelligence, etc. In particular, an application of U-hypercomplex numbers reveals hidden properties of genetic alphabets under cyclic permutations in their doublets and triplets. A special attention is devoted to the author's hypothesis about a multi-linguistic in DNA-sequences in a relation with an ensemble of U-numerical sub-alphabets. Genetic multi-linguistic is considered as an important factor to provide noise-immunity properties of the multi-channel genetic coding. Our results attest to the conformity of the algebraic properties of the U-numerical systems with phenomenological properties of the DNA-alphabets and with the complementary device of the double DNA-helix. It seems that in the modeling field of algebraic biology the genetic-informational organization of living bodies can be considered as a set of united-hypercomplex numbers in some association with the famous slogan of Pythagoras "the numbers rule the world". Copyright © 2017 Elsevier B.V. All rights reserved.

Cadmium biosorption by Streptomyces sp. F4 isolated from former uranium mine.

Science.gov (United States)

Siñeriz, Manuel Louis; Kothe, Erika; Abate, Carlos Mauricio

2009-09-01

46 actinomycetes were isolated from two polluted sites and one unpolluted site. One strain, F4, was selected through primary qualitative screening assays because of its cadmium resistance, and physiologically and taxonomically characterized. F4 was able to grow at 7.5% NaCl and 100 microg/ml lysozyme and at a pH between 6 and 10. 16S rDNA sequence analysis showed that F4 was closely related to Streptomyces tendae. Growth of Streptomyces sp. F4 on culture medium with 8 mg/l Cd(2+) for 8 days showed 80% inhibition. Maximum specific biosorption was 41.7 mg Cd(2+)/g dry weight after 7 days of growth and highest Cd(2+ )concentration was found in the cell wall (41.2%). The exopolysaccharide layer only contained 7.4%, whereas 39.4% of Cd(2+) was found in the cytosolic fraction. Twelve % was found in the ribosomes and membrane fraction. This was verified with TEM, showing Streptomyces sp. F4 cytoplasm with dark granulate appearance. This study could present the potential capacity of Streptomyces sp. F4 for Cd(2+) bioremediation. Copyright 2009 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.

Pseudo-Riemannian Novikov algebras

Energy Technology Data Exchange (ETDEWEB)

Chen Zhiqi; Zhu Fuhai [School of Mathematical Sciences and LPMC, Nankai University, Tianjin 300071 (China)], E-mail: chenzhiqi@nankai.edu.cn, E-mail: zhufuhai@nankai.edu.cn

2008-08-08

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.

On the PR-algebras

International Nuclear Information System (INIS)

Lebedenko, V.M.

1978-01-01

The PR-algebras, i.e. the Lie algebras with commutation relations of [Hsub(i),Hsub(j)]=rsub(ij)Hsub(i)(i< j) type are investigated. On the basis of former results a criterion for the membership of 2-solvable Lie algebras to the PR-algebra class is given. The conditions imposed by the criterion are formulated in the linear algebra language

Using Student Work to Develop Teachers' Knowledge of Algebra

Science.gov (United States)

Herbel-Eisenmann, Beth A.; Phillips, Elizabeth Difanis

2005-01-01

This article describes a set of learning activities that use algebraic problems and written student work to help preservice and in-service teachers understand students' algebraic thinking. (Contains 4 figures.)

Fermion current algebras and Schwinger terms in (3+1)-dimensions

International Nuclear Information System (INIS)

Langmann, E.

1994-01-01

We discuss the restricted linear group in infinite dimensions modeled by the Schatten class of rank 2p=4 which contains the (3+1)-dimensional analogs of the loop groups and is closely related to Yang-Mills theory with fermions in (3+1)-dimensions. We give an alternative to the construction of the ''highest weight'' representation of this group found by Mickelsson and Rajeev. Our approach is close to quantum field theory, with the elements of this group regarded as Bogoliubov transformations for fermions in an external Yang-Mills field. Though these cannot be unitarily implemented in the physically relevant representation of the fermion field algebra, we argue that they can be implemented by sesquilinear forms, and that there is a (regularized) product of forms providing an appropriate group structure. On the Lie algebra level, this gives an explicit, non-perturbative construction of fermion current algebras in (3+1) space-time dimensions which explicitly shows that the ''wave function renormalization'' required for a consistent definition of the currents and their Lie bracket naturally leads to the Schwinger term identical with the Mickelsson-Rajeev cocycle. Though the explicit form of the Schwinger term is given only for the case p=2, our arguments apply also to the restricted linear groups modeled by Schatten classes of rank 2p=6, 8, .. corresponding to current algebras in (d+1)-dimensions, d=5, 7, .. (orig.)

(Modular Effect Algebras are Equivalent to (Frobenius Antispecial Algebras

Directory of Open Access Journals (Sweden)

Dusko Pavlovic

2017-01-01

Full Text Available Effect algebras are one of the generalizations of Boolean algebras proposed in the quest for a quantum logic. Frobenius algebras are a tool of categorical quantum mechanics, used to present various families of observables in abstract, often nonstandard frameworks. Both effect algebras and Frobenius algebras capture their respective fragments of quantum mechanics by elegant and succinct axioms; and both come with their conceptual mysteries. A particularly elegant and mysterious constraint, imposed on Frobenius algebras to characterize a class of tripartite entangled states, is the antispecial law. A particularly contentious issue on the quantum logic side is the modularity law, proposed by von Neumann to mitigate the failure of distributivity of quantum logical connectives. We show that, if quantum logic and categorical quantum mechanics are formalized in the same framework, then the antispecial law of categorical quantum mechanics corresponds to the natural requirement of effect algebras that the units are each other's unique complements; and that the modularity law corresponds to the Frobenius condition. These correspondences lead to the equivalence announced in the title. Aligning the two formalisms, at the very least, sheds new light on the concepts that are more clearly displayed on one side than on the other (such as e.g. the orthogonality. Beyond that, it may also open up new approaches to deep and important problems of quantum mechanics (such as the classification of complementary observables.

An algorithm to construct the basic algebra of a skew group algebra

NARCIS (Netherlands)

Horobeţ, E.

2016-01-01

We give an algorithm for the computation of the basic algebra Morita equivalent to a skew group algebra of a path algebra by obtaining formulas for the number of vertices and arrows of the new quiver Qb. We apply this algorithm to compute the basic algebra corresponding to all simple quaternion

Living on the edge: a toy model for holographic reconstruction of algebras with centers

Energy Technology Data Exchange (ETDEWEB)

Donnelly, William; Marolf, Donald; Michel, Ben; Wien, Jason [Department of Physics, University of California,Santa Barbara, CA 93106 (United States)

2017-04-18

We generalize the Pastawski-Yoshida-Harlow-Preskill (HaPPY) holographic quantum error-correcting code to provide a toy model for bulk gauge fields or linearized gravitons. The key new elements are the introduction of degrees of freedom on the links (edges) of the associated tensor network and their connection to further copies of the HaPPY code by an appropriate isometry. The result is a model in which boundary regions allow the reconstruction of bulk algebras with central elements living on the interior edges of the (greedy) entanglement wedge, and where these central elements can also be reconstructed from complementary boundary regions. In addition, the entropy of boundary regions receives both Ryu-Takayanagi-like contributions and further corrections that model the ((δArea)/(4G{sub N})) term of Faulkner, Lewkowycz, and Maldacena. Comparison with Yang-Mills theory then suggests that this ((δArea)/(4G{sub N})) term can be reinterpreted as a part of the bulk entropy of gravitons under an appropriate extension of the physical bulk Hilbert space.

Living on the edge: a toy model for holographic reconstruction of algebras with centers

International Nuclear Information System (INIS)

Donnelly, William; Marolf, Donald; Michel, Ben; Wien, Jason

2017-01-01

We generalize the Pastawski-Yoshida-Harlow-Preskill (HaPPY) holographic quantum error-correcting code to provide a toy model for bulk gauge fields or linearized gravitons. The key new elements are the introduction of degrees of freedom on the links (edges) of the associated tensor network and their connection to further copies of the HaPPY code by an appropriate isometry. The result is a model in which boundary regions allow the reconstruction of bulk algebras with central elements living on the interior edges of the (greedy) entanglement wedge, and where these central elements can also be reconstructed from complementary boundary regions. In addition, the entropy of boundary regions receives both Ryu-Takayanagi-like contributions and further corrections that model the ((δArea)/(4G N )) term of Faulkner, Lewkowycz, and Maldacena. Comparison with Yang-Mills theory then suggests that this ((δArea)/(4G N )) term can be reinterpreted as a part of the bulk entropy of gravitons under an appropriate extension of the physical bulk Hilbert space.

Compact quantum group C*-algebras as Hopf algebras with approximate unit

International Nuclear Information System (INIS)

Do Ngoc Diep; Phung Ho Hai; Kuku, A.O.

1999-04-01

In this paper, we construct and study the representation theory of a Hopf C*-algebra with approximate unit, which constitutes quantum analogue of a compact group C*-algebra. The construction is done by first introducing a convolution-product on an arbitrary Hopf algebra H with integral, and then constructing the L 2 and C*-envelopes of H (with the new convolution-product) when H is a compact Hopf *-algebra. (author)

Intervals in Generalized Effect Algebras and their Sub-generalized Effect Algebras

Directory of Open Access Journals (Sweden)

Zdenka Riečanová

2013-01-01

Full Text Available We consider subsets G of a generalized effect algebra E with 0∈G and such that every interval [0, q]G = [0, q]E ∩ G of G (q ∈ G , q ≠ 0 is a sub-effect algebra of the effect algebra [0, q]E. We give a condition on E and G under which every such G is a sub-generalized effect algebra of E.

Variants of bosonization in parabosonic algebra: the Hopf and super-Hopf structures in parabosonic algebra

International Nuclear Information System (INIS)

Kanakoglou, K; Daskaloyannis, C

2008-01-01

Parabosonic algebra in finite or infinite degrees of freedom is considered as a Z 2 -graded associative algebra, and is shown to be a Z 2 -graded (or super) Hopf algebra. The super-Hopf algebraic structure of the parabosonic algebra is established directly without appealing to its relation to the osp(1/2n) Lie superalgebraic structure. The notion of super-Hopf algebra is equivalently described as a Hopf algebra in the braided monoidal category CZ 2 M. The bosonization technique for switching a Hopf algebra in the braided monoidal category H M (where H is a quasitriangular Hopf algebra) into an ordinary Hopf algebra is reviewed. In this paper, we prove that for the parabosonic algebra P B , beyond the application of the bosonization technique to the original super-Hopf algebra, a bosonization-like construction is also achieved using two operators, related to the parabosonic total number operator. Both techniques switch the same super-Hopf algebra P B to an ordinary Hopf algebra, thus producing two different variants of P B , with an ordinary Hopf structure

Priority in Process Algebras

Science.gov (United States)

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.

New insights in the standard model of quantum physics in Clifford algebra

CERN Document Server

Daviau, Claude

2013-01-01

Why Clifford algebra is the true mathematical frame of the standard model of quantum physics. Why the time is everywhere oriented and why the left side shall never become the right side. Why positrons have also a positive proper energy. Why there is a Planck constant. Why a mass is not a charge. Why a system of particles implies the existence of the inverse of the individual wave function. Why a fourth neutrino should be a good candidate for black matter. Why concepts as “parity” and “reverse” are essential. Why the electron of a H atom is in only one bound state. Plus 2 very remarkable identities, and the invariant wave equations that they imply. Plus 3 generations and 4 neutrinos. Plus 5 dimensions in the space and 6 dimensions in space-time…

The C*-algebra of a vector bundle and fields of Cuntz algebras

OpenAIRE

Vasselli, Ezio

2004-01-01

We study the Pimsner algebra associated with the module of continuous sections of a Hilbert bundle, and prove that it is a continuous bundle of Cuntz algebras. We discuss the role of such Pimsner algebras w.r.t. the notion of inner endomorphism. Furthermore, we study bundles of Cuntz algebras carrying a global circle action, and assign to them a class in the representable KK-group of the zero-grade bundle. We compute such class for the Pimsner algebra of a vector bundle.

Twist deformations leading to κ-Poincaré Hopf algebra and their application to physics

International Nuclear Information System (INIS)

Jurić, Tajron; Meljanac, Stjepan; Samsarov, Andjelo

2016-01-01

We consider two twist operators that lead to kappa-Poincaré Hopf algebra, the first being an Abelian one and the second corresponding to a light-like kappa-deformation of Poincaré algebra. The adventage of the second one is that it is expressed solely in terms of Poincaré generators. In contrast to this, the Abelian twist goes out of the boundaries of Poincaré algebra and runs into envelope of the general linear algebra. Some of the physical applications of these two different twist operators are considered. In particular, we use the Abelian twist to construct the statistics flip operator compatible with the action of deformed symmetry group. Furthermore, we use the light-like twist operator to define a star product and subsequently to formulate a free scalar field theory compatible with kappa-Poincaré Hopf algebra and appropriate for considering the interacting ϕ 4 scalar field model on kappa-deformed space. (paper)

Bicovariant quantum algebras and quantum Lie algebras

International Nuclear Information System (INIS)

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

1993-01-01

A bicovariant calculus of differential operators on a quantum group is constructed in a natural way, using invariant maps from Fun(G q ) to U q g, given by elements of the pure braid group. These operators - the 'reflection matrix' Y= triple bond 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). (orig.)

Shape Optimization for Navier-Stokes Equations with Algebraic Turbulence Model: Existence Analysis

Czech Academy of Sciences Publication Activity Database

Bulíček, M.; Haslinger, J.; Málek, J.; Stebel, Jan

2009-01-01

Roč. 60, č. 2 (2009), s. 185-212 ISSN 0095-4616 R&D Projects: GA MŠk LC06052 Institutional research plan: CEZ:AV0Z10190503 Keywords : optimal shape design * paper machine headbox * incompressible non-Newtonian fluid * algebraic turbulence model * outflow boundary condition Subject RIV: BA - General Mathematics Impact factor: 0.757, year: 2009

Simple relation algebras

CERN Document Server

Givant, Steven

2017-01-01

This monograph details several different methods for constructing simple relation algebras, many of which are new with this book. By drawing these seemingly different methods together, all are shown to be aspects of one general approach, for which several applications are given. These tools for constructing and analyzing relation algebras are of particular interest to mathematicians working in logic, algebraic logic, or universal algebra, but will also appeal to philosophers and theoretical computer scientists working in fields that use mathematics. The book is written with a broad audience in mind and features a careful, pedagogical approach; an appendix contains the requisite background material in relation algebras. Over 400 exercises provide ample opportunities to engage with the material, making this a monograph equally appropriate for use in a special topics course or for independent study. Readers interested in pursuing an extended background study of relation algebras will find a comprehensive treatme...

A 3-factor model for the FACIT-Sp.

Science.gov (United States)

Canada, Andrea L; Murphy, Patricia E; Fitchett, George; Peterman, Amy H; Schover, Leslie R

2008-09-01

The 12-item Functional Assessment of Chronic Illness Therapy-Spiritual Well-being Scale (FACIT-Sp) is a popular measure of the religious/spiritual (R/S) components of quality of life (QoL) in patients with cancer. The original factor analyses of the FACIT-Sp supported two factors: Meaning/Peace and Faith. Because Meaning suggests a cognitive aspect of R/S and Peace an affective component, we hypothesized a 3-factor solution: Meaning, Peace, and Faith. Participants were 240 long-term female survivors of cancer who completed the FACIT-Sp, the SF-12, and the BSI 18. We used confirmatory factor analysis to compare the 2- and 3-factor models of the FACIT-Sp and subsequently assessed associations between the resulting solutions and QoL domains. Survivors averaged 44 years of age and 10 years post-diagnosis. A 3-factor solution of the FACIT-Sp significantly improved the fit of the model to the data over the original 2-factor structure (Delta chi(2)=72.36, df=2, p<0.001). Further adjustments to the 3-factor model resulted in a final solution with even better goodness-of-fit indices (chi(2)=59.11, df=1, p=0.13, CFI=1.00, SMRM=0.05).The original Meaning/Peace factor controlling for Faith was associated with mental (r=0.63, p<0.000) and physical (r=0.22, p<0.01) health on the SF-12, and the original Faith factor controlling for Meaning/Peace was negatively associated with mental health (r=-0.15, p<0.05). The 3-factor model was more informative. Specifically, using partial correlations, the Peace factor was only related to mental health (r=0.53, p<0.001); Meaning was related to both physical (r=0.18, p<0.01) and mental (r=0.17, p<0.01) health; and Faith was negatively associated with mental health (r=-0.17, p<0.05). The results of this study support a 3-factor solution of the FACIT-Sp. The new solution not only represents a psychometric improvement over the original, but also enables a more detailed examination of the contribution of different dimensions of R/S to QoL. (c

Boolean algebra

CERN Document Server

Goodstein, R L

2007-01-01

This elementary treatment by a distinguished mathematician employs Boolean algebra as a simple medium for introducing important concepts of modern algebra. Numerous examples appear throughout the text, plus full solutions.

Geometric approach to the (BRS-) differential algebras of supersymmetric YM-theories

International Nuclear Information System (INIS)

Gieres, F.

1987-01-01

The (BRS-) differential algebra of susy YM-theories is defined in terms of superfields and forms on rigid U(N)-superspace. For d = 4 and N = 1.2 we show that it projects to the ''BRS-component field algebra in the WZ-gauge'' without any supergauge fixing. In this process the supergeometry is destroyed with the result that the final algebra becomes a prototype for a differential algebra which cannot be associated with an ordinary Lie algebra

Combinatorial commutative algebra

CERN Document Server

Miller, Ezra

2005-01-01

Offers an introduction to combinatorial commutative algebra, focusing on combinatorial techniques for multigraded polynomial rings, semigroup algebras, and determined rings. The chapters in this work cover topics ranging from homological invariants of monomial ideals and their polyhedral resolutions, to tools for studying algebraic varieties.

Algebraic Bethe ansatz for U(1) invariant integrable models: Compact and non-compact applications

International Nuclear Information System (INIS)

Martins, M.J.; Melo, C.S.

2009-01-01

We apply the algebraic Bethe ansatz developed in our previous paper [C.S. Melo, M.J. Martins, Nucl. Phys. B 806 (2009) 567] to three different families of U(1) integrable vertex models with arbitrary N bond states. These statistical mechanics systems are based on the higher spin representations of the quantum group U q [SU(2)] for both generic and non-generic values of q as well as on the non-compact discrete representation of the SL(2,R) algebra. We present for all these models the explicit expressions for both the on-shell and the off-shell properties associated to the respective transfer matrices eigenvalue problems. The amplitudes governing the vectors not parallel to the Bethe states are shown to factorize in terms of elementary building blocks functions. The results for the non-compact SL(2,R) model are argued to be derived from those obtained for the compact systems by taking suitable N→∞ limits. This permits us to study the properties of the non-compact SL(2,R) model starting from systems with finite degrees of freedom.

Algebraic Bethe ansatz for U(1) invariant integrable models: Compact and non-compact applications

Science.gov (United States)

Martins, M. J.; Melo, C. S.

2009-10-01

We apply the algebraic Bethe ansatz developed in our previous paper [C.S. Melo, M.J. Martins, Nucl. Phys. B 806 (2009) 567] to three different families of U(1) integrable vertex models with arbitrary N bond states. These statistical mechanics systems are based on the higher spin representations of the quantum group U[SU(2)] for both generic and non-generic values of q as well as on the non-compact discrete representation of the SL(2,R) algebra. We present for all these models the explicit expressions for both the on-shell and the off-shell properties associated to the respective transfer matrices eigenvalue problems. The amplitudes governing the vectors not parallel to the Bethe states are shown to factorize in terms of elementary building blocks functions. The results for the non-compact SL(2,R) model are argued to be derived from those obtained for the compact systems by taking suitable N→∞ limits. This permits us to study the properties of the non-compact SL(2,R) model starting from systems with finite degrees of freedom.

Topological أ-algebras with Cأ-enveloping algebras II

Indian Academy of Sciences (India)

necessarily complete) pro-Cأ-topology which coincides with the relative uniform .... problems in Cأ-algebras, Phillips introduced more general weakly Cأ- .... Banach أ-algebra obtained by completing A=Np in the norm jjxpjjp ¼ pًxق where.

SP@CE - An SP-based programming model for consumer electronics streaming applications

NARCIS (Netherlands)

Varbanescu, Ana Lucia; Nijhuis, Maik; Escribano, Arturo González; Sips, Henk; Bos, Herbert; Bal, Henri

2007-01-01

Efficient programming of multimedia streaming applications for Consumer Electronics (CE) devices is not trivial. As a solution for this problem, we present SP@CE, a novel programming model designed to balance the specific requirements of CE streaming applications with the simplicity and efficiency

C*-algebras by example

CERN Document Server

Davidson, Kenneth R

1996-01-01

The subject of C*-algebras received a dramatic revitalization in the 1970s by the introduction of topological methods through the work of Brown, Douglas, and Fillmore on extensions of C*-algebras and Elliott's use of K-theory to provide a useful classification of AF algebras. These results were the beginning of a marvelous new set of tools for analyzing concrete C*-algebras. This book is an introductory graduate level text which presents the basics of the subject through a detailed analysis of several important classes of C*-algebras. The development of operator algebras in the last twenty yea

On central ideals of finitely generated binary (-1,1)-algebras

International Nuclear Information System (INIS)

Pchelintsev, S V

2002-01-01

In 1975 the author proved that the centre of a free finitely generated (-1,1)-algebra contains a non-zero ideal of the whole algebra. Filippov proved that in a free alternative algebra of rank ≥4 there exists a trivial ideal contained in the associative centre. Il'tyakov established that the associative nucleus of a free alternative algebra of rank 3 coincides with the ideal of identities of the Cayley-Dickson algebra. In the present paper the above-mentioned theorem of the author is extended to free finitely generated binary (-1,1)-algebras. Theorem. The centre of a free finitely generated binary (-1,1)-algebra of rank ≥3 over a field of characteristic distinct from 2 and 3 contains a non-zero ideal of the whole algebra. As a by-product, we shall prove that the T-ideal generated by the function (z,x,(x,x,y)) in a free binary (-1,1)-algebra of finite rank is soluble. We deduce from this that the basis rank of the variety of binary (-1,1)-algebras is infinite

Quantum walks, deformed relativity and Hopf algebra symmetries.

Science.gov (United States)

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. © 2016 The Author(s).

An algebraic model for quark mass matrices with heavy top

International Nuclear Information System (INIS)

Krolikowski, W.; Warsaw Univ.

1991-01-01

In terms of an intergeneration U(3) algebra, a numerical model is constructed for quark mass matrices, predicting the top-quark mass around 170 GeV and the CP-violating phase around 75 deg. The CKM matrix is nonsymmetric in moduli with |V ub | being very small. All moduli are consistent with their experimental limits. The model is motivated by the author's previous work on three replicas of the Dirac particle, presumably resulting into three generations of leptons and quarks. The paper may be also viewed as an introduction to a new method of intrinsic dynamical description of lepton and quark mass matrices. (author)

Division algebras, extended supersymmetries and applications

International Nuclear Information System (INIS)

Toppan, F.

2001-01-01

I present here some new results which make explicit the role of the division algebras R, C, H, O in the construction and classification of, respectively, N = 1, 2, 4, 8 global supersymmetric quantum mechanical and classical dynamical systems. In particular an N = 8 Malcev superaffine algebra is introduced and its relation to the non-associative N = 8 SCA is discussed. A list of present and possible future applications is given

Algebraic conformal field theory

International Nuclear Information System (INIS)

Fuchs, J.; Nationaal Inst. voor Kernfysica en Hoge-Energiefysica

1991-11-01

Many conformal field theory features are special versions of structures which are present in arbitrary 2-dimensional quantum field theories. So it makes sense to describe 2-dimensional conformal field theories in context of algebraic theory of superselection sectors. While most of the results of the algebraic theory are rather abstract, conformal field theories offer the possibility to work out many formulae explicitly. In particular, one can construct the full algebra A-bar of global observables and the endomorphisms of A-bar which represent the superselection sectors. Some explicit results are presented for the level 1 so(N) WZW theories; the algebra A-bar is found to be the enveloping algebra of a Lie algebra L-bar which is an extension of the chiral symmetry algebra of the WZW theory. (author). 21 refs., 6 figs

Boolean algebra essentials

CERN Document Server

Solomon, Alan D

2012-01-01

REA's Essentials provide quick and easy access to critical information in a variety of different fields, ranging from the most basic to the most advanced. As its name implies, these concise, comprehensive study guides summarize the essentials of the field covered. Essentials are helpful when preparing for exams, doing homework and will remain a lasting reference source for students, teachers, and professionals. Boolean Algebra includes set theory, sentential calculus, fundamental ideas of Boolean algebras, lattices, rings and Boolean algebras, the structure of a Boolean algebra, and Boolean

Division algebras and extended super KdVs

International Nuclear Information System (INIS)

Toppan, F.

2001-05-01

The division algebras R, C, H, O are used to construct and analyze the N = 1, 2, 4, 8 supersymmetric extensions of the KdV hamiltonian equation. In particular a global N = 8 super-KdV system is introduced and shown to admit a Poisson bracket structure given by the 'Non-Associate N = 8 Superconformal Algebra'. (author)

q-deformed Poincare algebra

International Nuclear Information System (INIS)

Ogievetsky, O.; Schmidke, W.B.; Wess, J.; Muenchen Univ.; Zumino, B.; Lawrence Berkeley Lab., CA

1992-01-01

The q-differential calculus for the q-Minkowski space is developed. The algebra of the q-derivatives with the q-Lorentz generators is found giving the q-deformation of the Poincare algebra. The reality structure of the q-Poincare algebra is given. The reality structure of the q-differentials is also found. The real Laplaacian is constructed. Finally the comultiplication, counit and antipode for the q-Poincare algebra are obtained making it a Hopf algebra. (orig.)

Generalizing the bms3 and 2D-conformal algebras by expanding the Virasoro algebra

Science.gov (United States)

Caroca, Ricardo; Concha, Patrick; Rodríguez, Evelyn; Salgado-Rebolledo, Patricio

2018-03-01

By means of the Lie algebra expansion method, the centrally extended conformal algebra in two dimensions and the bms3 algebra are obtained from the Virasoro algebra. We extend this result to construct new families of expanded Virasoro algebras that turn out to be infinite-dimensional lifts of the so-called Bk, Ck and Dk algebras recently introduced in the literature in the context of (super)gravity. We also show how some of these new infinite-dimensional symmetries can be obtained from expanded Kač-Moody algebras using modified Sugawara constructions. Applications in the context of three-dimensional gravity are briefly discussed.

On prime ideals and associated spectrum of BCK-algebras

International Nuclear Information System (INIS)

Ahsan, J.; Thaheem, A.B.; Deeba, E.Y.

1989-07-01

In this paper we study prime ideals and define the spectrum of a bounded commutative BCK-algebra. We also obtain a characterization of minimal prime (lattice) ideals of these algebras. (author). 8 refs, 4 tabs

Introduction to quantum algebras

International Nuclear Information System (INIS)

Kibler, M.R.

1992-09-01

The concept of a quantum algebra is made easy through the investigation of the prototype algebras u qp (2), su q (2) and u qp (1,1). The latter quantum algebras are introduced as deformations of the corresponding Lie algebras; this is achieved in a simple way by means of qp-bosons. The Hopf algebraic structure of u qp (2) is also discussed. The basic ingredients for the representation theory of u qp (2) are given. Finally, in connection with the quantum algebra u qp (2), the qp-analogues of the harmonic oscillator are discussed and of the (spherical and hyperbolical) angular momenta. (author) 50 refs

Continuum analogues of contragredient Lie algebras

International Nuclear Information System (INIS)

Saveliev, M.V.; Vershik, A.M.

1989-03-01

We present an axiomatic formulation of a new class of infinite-dimensional Lie algebras - the generalizations of Z-graded Lie algebras with, generally speaking, an infinite-dimensional Cartan subalgebra and a contiguous set of roots. We call such algebras ''continuum Lie algebras''. The simple Lie algebras of constant growth are encapsulated in our formulation. We pay particular attention to the case when the local algebra is parametrized by a commutative algebra while the Cartan operator (the generalization of the Cartan matrix) is a linear operator. Special examples of these algebras are the Kac-Moody algebras, algebras of Poisson brackets, algebras of vector fields on a manifold, current algebras, and algebras with differential or integro-differential Cartan operator. The nonlinear dynamical systems associated with the continuum contragredient Lie algebras are also considered. (author). 9 refs

Quiver W-algebras

Science.gov (United States)

Kimura, Taro; Pestun, Vasily

2018-06-01

For a quiver with weighted arrows, we define gauge-theory K-theoretic W-algebra generalizing the definition of Shiraishi et al. and Frenkel and Reshetikhin. In particular, we show that the qq-character construction of gauge theory presented by Nekrasov is isomorphic to the definition of the W-algebra in the operator formalism as a commutant of screening charges in the free field representation. Besides, we allow arbitrary quiver and expect interesting applications to representation theory of generalized Borcherds-Kac-Moody Lie algebras, their quantum affinizations and associated W-algebras.

Max plus at work modeling and analysis of synchronized systems a course on max-plus algebra and its applications

CERN Document Server

Heidergott, Bernd; van der Woude, Jacob

2014-01-01

Trains pull into a railroad station and must wait for each other before leaving again in order to let passengers change trains. How do mathematicians then calculate a railroad timetable that accurately reflects their comings and goings? One approach is to use max-plus algebra, a framework used to model Discrete Event Systems, which are well suited to describe the ordering and timing of events. This is the first textbook on max-plus algebra, providing a concise and self-contained introduction to the topic. Applications of max-plus algebra abound in the world around us. Traffic systems, compu

Applications of an anti-symmetry loop algebra and its expanding forms

International Nuclear Information System (INIS)

Zhang Yufeng; Yan Qingyou

2004-01-01

Constructing an anti-symmetry subalgebra A-tilde 2 of loop algebra A-tilde 2 gives the well-known Jaulent-Miodek (JM) hierarchy, the JM equation and its new Lax pair. Further, the Darboux transformation of the JM equation is deduced by anstaz method. By making use of a high-order loop algebra and Tu scheme, an expanding integrable model of the JM hierarchy is obtained. A direct expansion A-macron 2 * of loop algebra A-tilde 2 by considering the definition of Lie algebra is presented, which is used to establish two isospectral problems. It follows that corresponding two new integrable systems are engendered, which possess bi-Hamiltonian structures, respectively. Furthermore, a scalar transformation is applied to turn the loop algebra A-bar 2 * into its equivalent subalgebra A-tilde 1 of loop algebra A-tilde 1 . With the help of A-tilde 1 , another new high-order loop algebra G-bar is constructed, which is used to obtain an expanding integrable model of one of two integrable systems presented

Symmetric linear systems - An application of algebraic systems theory

Science.gov (United States)

Hazewinkel, M.; Martin, C.

1983-01-01

Dynamical systems which contain several identical subsystems occur in a variety of applications ranging from command and control systems and discretization of partial differential equations, to the stability augmentation of pairs of helicopters lifting a large mass. Linear models for such systems display certain obvious symmetries. In this paper, we discuss how these symmetries can be incorporated into a mathematical model that utilizes the modern theory of algebraic systems. Such systems are inherently related to the representation theory of algebras over fields. We will show that any control scheme which respects the dynamical structure either implicitly or explicitly uses the underlying algebra.

Abstract algebra

CERN Document Server

Garrett, Paul B

2007-01-01

Designed for an advanced undergraduate- or graduate-level course, Abstract Algebra provides an example-oriented, less heavily symbolic approach to abstract algebra. The text emphasizes specifics such as basic number theory, polynomials, finite fields, as well as linear and multilinear algebra. This classroom-tested, how-to manual takes a more narrative approach than the stiff formalism of many other textbooks, presenting coherent storylines to convey crucial ideas in a student-friendly, accessible manner. An unusual feature of the text is the systematic characterization of objects by universal

College algebra

CERN Document Server

Kolman, Bernard

1985-01-01

College Algebra, Second Edition is a comprehensive presentation of the fundamental concepts and techniques of algebra. The book incorporates some improvements from the previous edition to provide a better learning experience. It provides sufficient materials for use in the study of college algebra. It contains chapters that are devoted to various mathematical concepts, such as the real number system, the theory of polynomial equations, exponential and logarithmic functions, and the geometric definition of each conic section. Progress checks, warnings, and features are inserted. Every chapter c

A Cohomological Perspective on Algebraic Quantum Field Theory

Science.gov (United States)

Hawkins, Eli

2018-05-01

Algebraic quantum field theory is considered from the perspective of the Hochschild cohomology bicomplex. This is a framework for studying deformations and symmetries. Deformation is a possible approach to the fundamental challenge of constructing interacting QFT models. Symmetry is the primary tool for understanding the structure and properties of a QFT model. This perspective leads to a generalization of the algebraic quantum field theory framework, as well as a more general definition of symmetry. This means that some models may have symmetries that were not previously recognized or exploited. To first order, a deformation of a QFT model is described by a Hochschild cohomology class. A deformation could, for example, correspond to adding an interaction term to a Lagrangian. The cohomology class for such an interaction is computed here. However, the result is more general and does not require the undeformed model to be constructed from a Lagrangian. This computation leads to a more concrete version of the construction of perturbative algebraic quantum field theory.

A Cohomological Perspective on Algebraic Quantum Field Theory

Science.gov (United States)

Hawkins, Eli

2018-02-01

Algebraic quantum field theory is considered from the perspective of the Hochschild cohomology bicomplex. This is a framework for studying deformations and symmetries. Deformation is a possible approach to the fundamental challenge of constructing interacting QFT models. Symmetry is the primary tool for understanding the structure and properties of a QFT model. This perspective leads to a generalization of the algebraic quantum field theory framework, as well as a more general definition of symmetry. This means that some models may have symmetries that were not previously recognized or exploited. To first order, a deformation of a QFT model is described by a Hochschild cohomology class. A deformation could, for example, correspond to adding an interaction term to a Lagrangian. The cohomology class for such an interaction is computed here. However, the result is more general and does not require the undeformed model to be constructed from a Lagrangian. This computation leads to a more concrete version of the construction of perturbative algebraic quantum field theory.

Homotopy Lie algebras associated with a proto-bialgebra

International Nuclear Information System (INIS)

Bangoura, Momo

2003-10-01

Motivated by the search for examples of homotopy Lie algebras, to any Lie proto-bialgebra structure on a finite-dimensional vector space F, we associate two homotopy Lie algebra structures defined on the suspension of the exterior algebra of F and that of its dual F*, respectively, with a 0-ary map corresponding to the image of the empty set. In these algebras, all n-ary brackets for n ≥ 4 vanish. More generally, to any element of odd degree in Λ(F*+F), we associate a set of n-ary skew-symmetric mappings on the suspension of ΛF (resp. Λ F*), which satisfy the generalized Jacobi identities if the given element is of square zero. (author)

Using process algebra to develop predator-prey models of within-host parasite dynamics.

Science.gov (United States)

McCaig, Chris; Fenton, Andy; Graham, Andrea; Shankland, Carron; Norman, Rachel

2013-07-21

As a first approximation of immune-mediated within-host parasite dynamics we can consider the immune response as a predator, with the parasite as its prey. In the ecological literature of predator-prey interactions there are a number of different functional responses used to describe how a predator reproduces in response to consuming prey. Until recently most of the models of the immune system that have taken a predator-prey approach have used simple mass action dynamics to capture the interaction between the immune response and the parasite. More recently Fenton and Perkins (2010) employed three of the most commonly used prey-dependent functional response terms from the ecological literature. In this paper we make use of a technique from computing science, process algebra, to develop mathematical models. The novelty of the process algebra approach is to allow stochastic models of the population (parasite and immune cells) to be developed from rules of individual cell behaviour. By using this approach in which individual cellular behaviour is captured we have derived a ratio-dependent response similar to that seen in the previous models of immune-mediated parasite dynamics, confirming that, whilst this type of term is controversial in ecological predator-prey models, it is appropriate for models of the immune system. Copyright © 2013 Elsevier Ltd. All rights reserved.

An algebraic interpretation of PSP composition.

Science.gov (United States)