WorldWideScience

Sample records for algebraic topology foundations

  1. Algebraic Topology

    OpenAIRE

    2013-01-01

    The chapter provides an introduction to the basic concepts of Algebraic Topology with an emphasis on motivation from applications in the physical sciences. It finishes with a brief review of computational work in algebraic topology, including persistent homology.

  2. Algebraic Topology

    CERN Document Server

    Oliver, Bob; Pawałowski, Krzystof

    1991-01-01

    As part of the scientific activity in connection with the 70th birthday of the Adam Mickiewicz University in Poznan, an international conference on algebraic topology was held. In the resulting proceedings volume, the emphasis is on substantial survey papers, some presented at the conference, some written subsequently.

  3. Boundedly controlled topology foundations of algebraic topology and simple homotopy theory

    CERN Document Server

    Anderson, Douglas R

    1988-01-01

    Several recent investigations have focused attention on spaces and manifolds which are non-compact but where the problems studied have some kind of "control near infinity". This monograph introduces the category of spaces that are "boundedly controlled" over the (usually non-compact) metric space Z. It sets out to develop the algebraic and geometric tools needed to formulate and to prove boundedly controlled analogues of many of the standard results of algebraic topology and simple homotopy theory. One of the themes of the book is to show that in many cases the proof of a standard result can be easily adapted to prove the boundedly controlled analogue and to provide the details, often omitted in other treatments, of this adaptation. For this reason, the book does not require of the reader an extensive background. In the last chapter it is shown that special cases of the boundedly controlled Whitehead group are strongly related to lower K-theoretic groups, and the boundedly controlled theory is compared to Sie...

  4. Algebraic topology and concurrency

    DEFF Research Database (Denmark)

    Fajstrup, Lisbeth; Raussen, Martin; Goubault, Eric

    2006-01-01

    We show in this article that some concepts from homotopy theory, in algebraic topology,are relevant for studying concurrent programs. We exhibit a natural semantics of semaphore programs, based on partially ordered topological spaces, which are studied up to “elastic deformation” or homotopy...

  5. Algebraic Topology Foundations of Supersymmetry and Symmetry Breaking in Quantum Field Theory and Quantum Gravity: A Review

    Directory of Open Access Journals (Sweden)

    Ion C. Baianu

    2009-04-01

    Full Text Available A novel algebraic topology approach to supersymmetry (SUSY and symmetry breaking in quantum field and quantum gravity theories is presented with a view to developing a wide range of physical applications. These include: controlled nuclear fusion and other nuclear reaction studies in quantum chromodynamics, nonlinear physics at high energy densities, dynamic Jahn-Teller effects, superfluidity, high temperature superconductors, multiple scattering by molecular systems, molecular or atomic paracrystal structures, nanomaterials, ferromagnetism in glassy materials, spin glasses, quantum phase transitions and supergravity. This approach requires a unified conceptual framework that utilizes extended symmetries and quantum groupoid, algebroid and functorial representations of non-Abelian higher dimensional structures pertinent to quantized spacetime topology and state space geometry of quantum operator algebras. Fourier transforms, generalized Fourier-Stieltjes transforms, and duality relations link, respectively, the quantum groups and quantum groupoids with their dual algebraic structures; quantum double constructions are also discussed in this context in relation to quasi-triangular, quasi-Hopf algebras, bialgebroids, Grassmann-Hopf algebras and higher dimensional algebra. On the one hand, this quantum algebraic approach is known to provide solutions to the quantum Yang-Baxter equation. On the other hand, our novel approach to extended quantum symmetries and their associated representations is shown to be relevant to locally covariant general relativity theories that are consistent with either nonlocal quantum field theories or local bosonic (spin models with the extended quantum symmetry of entangled, 'string-net condensed' (ground states.

  6. Algebraic Topology, Rational Homotopy

    CERN Document Server

    1988-01-01

    This proceedings volume centers on new developments in rational homotopy and on their influence on algebra and algebraic topology. Most of the papers are original research papers dealing with rational homotopy and tame homotopy, cyclic homology, Moore conjectures on the exponents of the homotopy groups of a finite CW-c-complex and homology of loop spaces. Of particular interest for specialists are papers on construction of the minimal model in tame theory and computation of the Lusternik-Schnirelmann category by means articles on Moore conjectures, on tame homotopy and on the properties of Poincaré series of loop spaces.

  7. Topological Foundations of Electromagnetism

    CERN Document Server

    Barrett, Terrence W

    2008-01-01

    Topological Foundations of Electromagnetism seeks a fundamental understanding of the dynamics of electromagnetism; and marshals the evidence that in certain precisely defined topological conditions, electromagnetic theory (Maxwell's theory) must be extended or generalized in order to provide an explanation and understanding of, until now, unusual electromagnetic phenomena. Key to this generalization is an understanding of the circumstances under which the so-called A potential fields have physical effects. Basic to the approach taken is that the topological composition of electromagnetic field

  8. A Relational Localisation Theory for Topological Algebras

    OpenAIRE

    2012-01-01

    In this thesis, we develop a relational localisation theory for topological algebras, i.e., a theory that studies local approximations of a topological algebra’s relational counterpart. In order to provide an appropriate framework for our considerations, we first introduce a general Galois theory between continuous functions and closed relations on an arbitrary topological space. Subsequently to this rather foundational discussion, we establish the desired localisation theory comprising the i...

  9. Topological convolution algebras

    CERN Document Server

    Alpay, Daniel

    2012-01-01

    In this paper we introduce a new family of topological convolution algebras of the form $\\bigcup_{p\\in\\mathbb N} L_2(S,\\mu_p)$, where $S$ is a Borel semi-group in a locally compact group $G$, which carries an inequality of the type $\\|f*g\\|_p\\le A_{p,q}\\|f\\|_q\\|g\\|_p$ for $p > q+d$ where $d$ pre-assigned, and $A_{p,q}$ is a constant. We give a sufficient condition on the measures $\\mu_p$ for such an inequality to hold. We study the functional calculus and the spectrum of the elements of these algebras, and present two examples, one in the setting of non commutative stochastic distributions, and the other related to Dirichlet series.

  10. Foundations of combinatorial topology

    CERN Document Server

    Pontryagin, L S

    2015-01-01

    Hailed by The Mathematical Gazette as ""an extremely valuable addition to the literature of algebraic topology,"" this concise but rigorous introductory treatment focuses on applications to dimension theory and fixed-point theorems. The lucid text examines complexes and their Betti groups, including Euclidean space, application to dimension theory, and decomposition into components; invariance of the Betti groups, with consideration of the cone construction and barycentric subdivisions of a complex; and continuous mappings and fixed points. Proofs are presented in a complete, careful, and eleg

  11. On closed embeddings of free topological algebras

    OpenAIRE

    2012-01-01

    Let $\\mathcal K$ be a complete quasivariety of completely regular universal topological algebras of continuous signature $\\mathcal E$ (which means that $\\mathcal K$ is closed under taking subalgebras, Cartesian products, and includes all completely regular topological $\\mathcal E$-algebras algebraically isomorphic to members of $\\mathcal K$). For a topological space $X$ by $F(X)$ we denote the free universal $\\mathcal E$-algebra over $X$ in the class $\\mathcal K$. Using some extension propert...

  12. Controlled algebra and topology

    OpenAIRE

    Pedersen, Erik K.

    1997-01-01

    Surgery and Geometric Topology : Proceedings of the conference held at Josai University 17-20 September, 1996 / edited by Andrew Ranicki and Masayuki Yamasaki. 本文データは許諾を得てeditorのHPサイトhttp://surgery.matrix.jp/math/josai96/proceedings.html から複製再利用したものである。

  13. International Conference on Algebraic Topology

    CERN Document Server

    Cohen, Ralph; Miller, Haynes; Ravenel, Douglas

    1989-01-01

    These are proceedings of an International Conference on Algebraic Topology, held 28 July through 1 August, 1986, at Arcata, California. The conference served in part to mark the 25th anniversary of the journal Topology and 60th birthday of Edgar H. Brown. It preceded ICM 86 in Berkeley, and was conceived as a successor to the Aarhus conferences of 1978 and 1982. Some thirty papers are included in this volume, mostly at a research level. Subjects include cyclic homology, H-spaces, transformation groups, real and rational homotopy theory, acyclic manifolds, the homotopy theory of classifying spaces, instantons and loop spaces, and complex bordism.

  14. Algebraic topology a first course

    CERN Document Server

    Fulton, William

    1995-01-01

    To the Teacher. This book is designed to introduce a student to some of the important ideas of algebraic topology by emphasizing the re­ lations of these ideas with other areas of mathematics. Rather than choosing one point of view of modem topology (homotopy theory, simplicial complexes, singular theory, axiomatic homology, differ­ ential topology, etc.), we concentrate our attention on concrete prob­ lems in low dimensions, introducing only as much algebraic machin­ ery as necessary for the problems we meet. This makes it possible to see a wider variety of important features of the subject than is usual in a beginning text. The book is designed for students of mathematics or science who are not aiming to become practicing algebraic topol­ ogists-without, we hope, discouraging budding topologists. We also feel that this approach is in better harmony with the historical devel­ opment of the subject. What would we like a student to know after a first course in to­ pology (assuming we reject the answer: ...

  15. Topological ∗-algebras with *-enveloping Algebras II

    Indian Academy of Sciences (India)

    S J Bhatt

    2001-02-01

    Universal *-algebras *() exist for certain topological ∗-algebras called algebras with a *-enveloping algebra. A Frechet ∗-algebra has a *-enveloping algebra if and only if every operator representation of maps into bounded operators. This is proved by showing that every unbounded operator representation , continuous in the uniform topology, of a topological ∗-algebra , which is an inverse limit of Banach ∗-algebras, is a direct sum of bounded operator representations, thereby factoring through the enveloping pro-* algebra () of . Given a *-dynamical system (, , ), any topological ∗-algebra containing (, ) as a dense ∗-subalgebra and contained in the crossed product *-algebra *(, , ) satisfies ()=*(, , ). If $G = \\mathbb{R}$, if is an -invariant dense Frechet ∗-subalgebra of such that () = , and if the action on is -tempered, smooth and by continuous ∗-automorphisms: then the smooth Schwartz crossed product $S(\\mathbb{R}, B, )$ satisfies $E(S(\\mathbb{R}, B, )) = C^*(\\mathbb{R}, A, )$. When is a Lie group, the ∞-elements ∞(), the analytic elements () as well as the entire analytic elements () carry natural topologies making them algebras with a *-enveloping algebra. Given a non-unital *-algebra , an inductive system of ideals is constructed satisfying $A = C^*-\\mathrm{ind} \\lim I_$; and the locally convex inductive limit $\\mathrm{ind}\\lim I_$ is an -convex algebra with the *-enveloping algebra and containing the Pedersen ideal of . Given generators with weakly Banach admissible relations , we construct universal topological ∗-algebra (, ) and show that it has a *-enveloping algebra if and only if (, ) is *-admissible.

  16. Basic algebraic topology and its applications

    CERN Document Server

    Adhikari, Mahima Ranjan

    2016-01-01

    This book provides an accessible introduction to algebraic topology, a field at the intersection of topology, geometry and algebra, together with its applications. Moreover, it covers several related topics that are in fact important in the overall scheme of algebraic topology. Comprising eighteen chapters and two appendices, the book integrates various concepts of algebraic topology, supported by examples, exercises, applications and historical notes. Primarily intended as a textbook, the book offers a valuable resource for undergraduate, postgraduate and advanced mathematics students alike. Focusing more on the geometric than on algebraic aspects of the subject, as well as its natural development, the book conveys the basic language of modern algebraic topology by exploring homotopy, homology and cohomology theories, and examines a variety of spaces: spheres, projective spaces, classical groups and their quotient spaces, function spaces, polyhedra, topological groups, Lie groups and cell complexes, etc. T...

  17. 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...

  18. An introduction to algebraic topology

    CERN Document Server

    Rotman, Joseph J

    1988-01-01

    There is a canard that every textbook of algebraic topology either ends with the definition of the Klein bottle or is a personal communication to J. H. C. Whitehead. Of course, this is false, as a glance at the books of Hilton and Wylie, Maunder, Munkres, and Schubert reveals. Still, the canard does reflect some truth. Too often one finds too much generality and too little attention to details. There are two types of obstacle for the student learning algebraic topology. The first is the formidable array of new techniques (e. g. , most students know very little homological algebra); the second obstacle is that the basic defini­ tions have been so abstracted that their geometric or analytic origins have been obscured. I have tried to overcome these barriers. In the first instance, new definitions are introduced only when needed (e. g. , homology with coeffi­ cients and cohomology are deferred until after the Eilenberg-Steenrod axioms have been verified for the three homology theories we treat-singular, sim­ ...

  19. On closed embeddings of free topological algebras

    CERN Document Server

    Banakh, T

    2012-01-01

    Let $\\mathcal K$ be a complete quasivariety of completely regular universal topological algebras of continuous signature $\\mathcal E$ (which means that $\\mathcal K$ is closed under taking subalgebras, Cartesian products, and includes all completely regular topological $\\mathcal E$-algebras algebraically isomorphic to members of $\\mathcal K$). For a topological space $X$ by $F(X)$ we denote the free universal $\\mathcal E$-algebra over $X$ in the class $\\mathcal K$. Using some extension properties of the Hartman-Mycielski construction we prove that for a closed subspace $X$ of a metrizable (more generally, stratifiable) space $Y$ the induced homomorphism $F(X)\\to F(Y)$ between the respective free universal algebras is a closed topological embedding. This generalizes one result of V.Uspenskii concerning embeddings of free topological groups.

  20. Continuous C*-algebras over topological spaces

    CERN Document Server

    Takeori, Mitsuharu

    2010-01-01

    We define continuous C*-algebras over a topological space X and establish some basic results. If X is a locally compact Hausdorff space, continuous C*-algebras over X are equivalent to ordinary continuous C_0(X)-algebras. The main purpose of our study is to prove that every continuous, full, separable, nuclear C*-algebra over X is KK(X)-equivalent to a stable Kirchberg algebra over X. (Here a Kirchberg algebra over X is a separable, nuclear, and strongly purely infinite C*-algebra over X with primitive ideal space homeomorphic to X.) In the case that X is a one-point space, this result is known as that every separable nuclear C*-algebra is KK-equivalent to a stable Kirchberg algebra. Moreover, as an intermediate result, we obtain the X-equivariant exact embedding result for continuous C*-algebras over X.

  1. Algebra and topology for applications to physics

    Science.gov (United States)

    Rozhkov, S. S.

    1987-01-01

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

  2. FOUNDATION OF NUCLEAR ALGEBRAIC MODELS

    Institute of Scientific and Technical Information of China (English)

    周孝谦

    1990-01-01

    Based upon Tomonoga-Rowe's many body theory, we find that the algebraic models, including IBM and FDSM are simplest extension of Rowe-Rosensteel's sp(3R).Dynkin-Gruber's subalgebra embedding method is applied to find an appropriate algebra and it's reduction chains conforming to physical requirement. The separated cases sp(6) and so(8) now appear as two branches stemming from the same root D6-O(12). Transitional ease between sp(6) and so(8) is inherently include.

  3. Algebraic topology of finite topological spaces and applications

    CERN Document Server

    Barmak, Jonathan A

    2011-01-01

    This volume deals with the theory of finite topological spaces and its relationship with the homotopy and simple homotopy theory of polyhedra. The interaction between their intrinsic combinatorial and topological structures makes finite spaces a useful tool for studying problems in Topology, Algebra and Geometry from a new perspective. In particular, the methods developed in this manuscript are used to study Quillen’s conjecture on the poset of p-subgroups of a finite group and the Andrews-Curtis conjecture on the 3-deformability of contractible two-dimensional complexes. This self-contained work constitutes the first detailed exposition on the algebraic topology of finite spaces. It is intended for topologists and combinatorialists, but it is also recommended for advanced undergraduate students and graduate students with a modest knowledge of Algebraic Topology.

  4. Notes on noncommutative algebraic topology

    CERN Document Server

    Nikolaev, Igor

    2010-01-01

    An operator (AF-) algebra A_f is assigned to each Anosov diffeomorphism f of a manifold M. The assignment is a functor on the category of (mapping tori of) all such diffeomorphisms, which sends continuous maps between the manifolds to the stable homomorphisms of the corresponding AF-algebras. We use the functor to prove non-existence of continuous maps between the hyperbolic torus bundles, an obstruction being the so-called Galois group of algebra A_f.

  5. Topics in algebraic and topological K-theory

    CERN Document Server

    Baum, Paul Frank; Meyer, Ralf; Sánchez-García, Rubén; Schlichting, Marco; Toën, Bertrand

    2011-01-01

    This volume is an introductory textbook to K-theory, both algebraic and topological, and to various current research topics within the field, including Kasparov's bivariant K-theory, the Baum-Connes conjecture, the comparison between algebraic and topological K-theory of topological algebras, the K-theory of schemes, and the theory of dg-categories.

  6. C*-algebras over topological spaces

    DEFF Research Database (Denmark)

    Meyer, Ralf; Nest, Ryszard

    2012-01-01

    We define the filtrated K-theory of a C*-algebra over a finite topological space X and explain how to construct a spectral sequence that computes the bivariant Kasparov theory over X in terms of filtrated K-theory. For finite spaces with a totally ordered lattice of open subsets, this spectral...

  7. Topologically Left Invariant Means on Semigroup Algebras

    Indian Academy of Sciences (India)

    Ali Ghaffari

    2005-11-01

    Let $M(S)$ be the Banach algebra of all bounded regular Borel measures on a locally compact Hausdorff semitopological semigroup with variation norm and convolution as multiplication. We obtain necessary and sufficient conditions for $M(S)^∗$ to have a topologically left invariant mean.

  8. C*-Algebras over Topological Spaces: The Bootstrap Class

    CERN Document Server

    Meyer, Ralf

    2007-01-01

    We carefully define and study C*-algebras over topological spaces, possibly non-Hausdorff, and review some relevant results from point-set topology along the way. We explain the triangulated category structure on the bivariant Kasparov theory over a topological space. We introduce and describe an analogue of the bootstrap class for C*-algebras over a finite topological space.

  9. An ideal topology type convergent theorem on scale effect algebras

    Institute of Scientific and Technical Information of China (English)

    WU JunDe; ZHOU XuanChang; Minhyung CHO

    2007-01-01

    The famous Antosik-Mikusinski convergent theorem on the Abel topological groups has very extensive applications in measure theory, summation theory and other analysis fields. In this paper, we establish the theorem on a class of effect algebras equipped with the ideal topology. This paper shows also that the ideal topology of effect algebras is a useful topology in studying the quantum logic theory.

  10. Algebraic Geometry of Topological Spaces I

    CERN Document Server

    Cortiñas, Guillermo

    2009-01-01

    We use techniques from both real and complex algebraic geometry to study K-theoretic and related invariants of the algebra C(X) of continuous complex-valued functions on a compact Hausdorff topological space X. For example, we prove a parametrized version of a theorem of Joseph Gubeladze; we show that if M is a countable, abelian, cancellative, torsion-free, seminormal monoid, and X is contractible, then every finitely generated projective module over C(X)[M] is free. The particular case when M=N^n gives a parametrized version of the celebrated theorem proved independently by Daniel Quillen and Andrei Suslin that finitely generated projective modules over a polynomial ring over a field are free. The conjecture of Jonathan Rosenberg which predicts the homotopy invariance of the negative algebraic K-theory of C(X) follows from the particular case when M=Z^n. We also give algebraic conditions for a functor from commutative algebras to abelian groups to be homotopy invariant on C*-algebras, and for a homology the...

  11. Topological isomorphisms for some universal operator algebras

    CERN Document Server

    Hartz, Michael

    2012-01-01

    Let $I$ be a radical homogeneous ideal of complex polynomials in $d$ variables, and let $\\mathcal A_I$ be the norm-closed non-selfadjoint algebra generated by the compressions of the $d$-shift on Drury-Arveson space $H^2_d$ to the co-invariant subspace $H^2_d \\ominus I$. Then $\\mathcal A_I$ is the universal operator algebra for commuting row contractions subject to the relations in $I$. In this note, we study the question, under which conditions there are topological isomorphisms between two such algebras $\\mathcal A_I$ and $\\mathcal A_J$. We provide a positive answer to a conjecture of Davdison, Ramsey and Shalit: that $\\mathcal A_I$ and $\\mathcal A_J$ are topologically isomorphic if and only if there is an invertible linear map $A$ on $\\mathbb C^d$ which maps the vanishing locus of $J$ isometrically onto the vanishing locus of $I$. Most of the proof is devoted to showing that finite algebraic sums of full Fock spaces over subspaces of $\\mathbb C^d$ are closed. This allows us to show that the map $A$ induces...

  12. Barcelona Conference on Algebraic Topology

    CERN Document Server

    Castellet, Manuel; Cohen, Frederick

    1992-01-01

    The papers in this collection, all fully refereed, original papers, reflect many aspects of recent significant advances in homotopy theory and group cohomology. From the Contents: A. Adem: On the geometry and cohomology of finite simple groups.- D.J. Benson: Resolutions and Poincar duality for finite groups.- C. Broto and S. Zarati: On sub-A*-algebras of H*V.- M.J. Hopkins, N.J. Kuhn, D.C. Ravenel: Morava K-theories of classifying spaces and generalized characters for finite groups.- K. Ishiguro: Classifying spaces of compact simple lie groups and p-tori.- A.T. Lundell: Concise tables of James numbers and some homotopyof classical Lie groups and associated homogeneous spaces.- J.R. Martino: Anexample of a stable splitting: the classifying space of the 4-dim unipotent group.- J.E. McClure, L. Smith: On the homotopy uniqueness of BU(2) at the prime 2.- G. Mislin: Cohomologically central elements and fusion in groups.

  13. Algebraically contractible topological tensor network states

    CERN Document Server

    Denny, S J; Jaksch, D; Clark, S R

    2011-01-01

    We adapt the bialgebra and Hopf relations to expose internal structure in the ground state of a Hamiltonian with $Z_2$ topological order. Its tensor network description allows for exact contraction through simple diagrammatic rewrite rules. The contraction property does not depend on specifics such as geometry, but rather originates from the non-trivial algebraic properties of the constituent tensors. We then generalise the resulting tensor network from a spin-half lattice to a class of exactly contractible states on spin-S degrees of freedom, yielding the most efficient tensor network description of finite Abelian lattice gauge theories. We gain a new perspective on these states as examples of two-dimensional quantum states with algebraically contractible tensor network representations. The introduction of local perturbations to the network is shown to reduce the von Neumann entropy of string-like regions, creating an unentangled sub-system within the bulk in a certain limit. We also show how perturbations l...

  14. Computational algebraic topology-based video restoration

    Science.gov (United States)

    Rochel, Alban; Ziou, Djemel; Auclair-Fortier, Marie-Flavie

    2005-03-01

    This paper presents a scheme for video denoising by diffusion of gray levels, based on the Computational Algebraic Topology (CAT) image model. The diffusion approach is similar to the one used to denoise static images. Rather than using the heat transfer partial differential equation, discretizing it and solving it by a purely mathematical process, the CAT approach considers the global expression of the heat transfer and decomposes it into elementary physical laws. Some of these laws describe conservative relations, leading to error-free expressions, whereas others depend on metric quantities and require approximation. This scheme allows for a physical interpretation for each step of the resolution process. We propose a nonlinear and an anisotropic diffusion algorithms based on the extension to video of an existing 2D algorithm thanks to the flexibility of the topological support. Finally it is validated with experimental results.

  15. Topology and Foundations of Quantum Algorithms

    Science.gov (United States)

    2005-07-01

    9500 Gilman Drive, Mail Code 0934 La Jolla, CA 92093 -0934 Topology and Foundations of Quantum Algorithms REPORT DOCUMENTATION PAGE 18. SECURITY...Freedman, with an appendix by F. Goodman and H. Wenzl, “A magnetic model with a possible Chern-Simons phase”, Commun. Math. Phys. 234 (2003) 129–183. [9

  16. Topological algebras of rapidly decreasing matrices and generalizations

    CERN Document Server

    Glockner, Helge

    2010-01-01

    It is a folklore fact that the rapidly decreasing matrices of countable size form an associative topological algebra whose set of quasi-invertible elements is open, and such that the quasi-inversion map is continuous. We provide a direct proof, which applies more generally to a large class of algebras of weighted matrices with entries in a Banach algebra.

  17. Universal arrows to forgetful functors from categories of topological algebra

    CERN Document Server

    Pestov, V G

    1992-01-01

    We survey the present trends in theory of universal arrows to forgetful functors from various categories of topological algebra and functional analysis to categories of topology and topological algebra. Among them are free topological groups, free locally convex spaces, free Banach-Lie algebras, and much more. An accent is put on relationship of those constructions with other areas of mathematics and their possible applications. A number of open problems is discussed; some of them belong to universal arrow theory, and others may hopefully become amenable to methods of this theory.

  18. Birman—Wenzl—Murakami Algebra and Topological Basis

    Science.gov (United States)

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

    2012-02-01

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

  19. Build an Early Foundation for Algebra Success

    Science.gov (United States)

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

    2016-01-01

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

  20. Algebraically contractible topological tensor network states

    Energy Technology Data Exchange (ETDEWEB)

    Denny, S J; Jaksch, D; Clark, S R [Clarendon Laboratory, University of Oxford, Parks Road, Oxford OX1 3PU (United Kingdom); Biamonte, J D, E-mail: s.denny1@physics.ox.ac.uk [Centre for Quantum Technologies, National University of Singapore, 3 Science Drive 2, Singapore 117543 (Singapore)

    2012-01-13

    We adapt the bialgebra and Hopf relations to expose internal structure in the ground state of a Hamiltonian with Z{sub 2} topological order. Its tensor network description allows for exact contraction through simple diagrammatic rewrite rules. The contraction property does not depend on specifics such as geometry, but rather originates from the non-trivial algebraic properties of the constituent tensors. We then generalise the resulting tensor network from a spin-1/2 lattice to a class of exactly contractible states on spin-S degrees of freedom, yielding the most efficient tensor network description of finite Abelian lattice gauge theories. We gain a new perspective on these states as examples of two-dimensional quantum states with algebraically contractible tensor network representations. The introduction of local perturbations to the network is shown to reduce the von Neumann entropy of string-like regions, creating an unentangled sub-system within the bulk in a certain limit. We also show how local perturbations induce finite-range correlations in this system. This class of tensor networks is readily translated onto any lattice, and we differentiate between the physical consequences of bipartite and non-bipartite lattices on the properties of the corresponding quantum states. We explicitly show this on the hexagonal, square, kagome and triangular lattices. (paper)

  1. Global computational algebraic topology approach for diffusion

    Science.gov (United States)

    Auclair-Fortier, Marie-Flavie; Ziou, Djemel; Allili, Madjid

    2004-05-01

    One physical process involved in many computer vision problems is the heat diffusion process. Such Partial differential equations are continuous and have to be discretized by some techniques, mostly mathematical processes like finite differences or finite elements. The continuous domain is subdivided into sub-domains in which there is only one value. The diffusion equation comes from the energy conservation then it is valid on a whole domain. We use the global equation instead of discretize the PDE obtained by a limit process on this global equation. To encode these physical global values over pixels of different dimensions, we use a computational algebraic topology (CAT)-based image model. This model has been proposed by Ziou and Allili and used for the deformation of curves and optical flow. It introduces the image support as a decomposition in terms of points, edges, surfaces, volumes, etc. Images of any dimensions can then be handled. After decomposing the physical principles of the heat transfer into basic laws, we recall the CAT-based image model and use it to encode the basic laws. We then present experimental results for nonlinear graylevel diffusion for denoising, ensuring thin features preservation.

  2. Birman-Wenzl-Murakami Algebra and Topological Basist

    Institute of Scientific and Technical Information of China (English)

    周成城; 薛康; 王刚成; 孙春芳; 都桂娇

    2012-01-01

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

  3. Relational Lattice Foundation For Algebraic Logic

    CERN Document Server

    Tropashko, Vadim

    2009-01-01

    Relational Lattice is a succinct mathematical model for Relational Algebra. It reduces the set of six classic relational algebra operators to two: natural join and inner union. In this paper we push relational lattice theory in two directions. First, we uncover a pair of complementary lattice operators, and organize the model into a bilattice of four operations and four distinguished constants. We take a notice a peculiar way bilattice symmetry is broken. Then, we give axiomatic introduction of unary negation operation and prove several laws, including double negation and De Morgan. Next we reduce the model back to two basic binary operations and twelve axioms, and exhibit a convincing argument that the resulting system is complete in model-theoretic sense. The final part of the paper casts relational lattice perspective onto database dependency theory.

  4. Experimental and Theoretical Methods in Algebra, Geometry and Topology

    CERN Document Server

    Veys, Willem; Bridging Algebra, Geometry, and Topology

    2014-01-01

    Algebra, geometry and topology cover a variety of different, but intimately related research fields in modern mathematics. This book focuses on specific aspects of this interaction. The present volume contains refereed papers which were presented at the International Conference “Experimental and Theoretical Methods in Algebra, Geometry and Topology”, held in Eforie Nord (near Constanta), Romania, during 20-25 June 2013. The conference was devoted to the 60th anniversary of the distinguished Romanian mathematicians Alexandru Dimca and Ştefan Papadima. The selected papers consist of original research work and a survey paper. They are intended for a large audience, including researchers and graduate students interested in algebraic geometry, combinatorics, topology, hyperplane arrangements and commutative algebra. The papers are written by well-known experts from different fields of mathematics, affiliated to universities from all over the word, they cover a broad range of topics and explore the research f...

  5. E-Theory for C*-algebras over topological spaces

    CERN Document Server

    Dadarlat, Marius

    2009-01-01

    We define E-theory for separable C*-algebras over second countable topological spaces and establish its basic properties. This includes an approximation theorem that relates the E-theory over a general space to the E-theories over finite approximations to this space. We obtain effective criteria for determining the invertibility of E-theory elements over possibly infinite-dimensional spaces. Furthermore, we prove a Universal Multicoefficient Theorem for C*-algebras over totally disconnected metrisable compact spaces.

  6. Noncommutative Topological Entropy of Endomorphisms of Cuntz Algebras

    Science.gov (United States)

    Skalski, Adam; Zacharias, Joachim

    2008-12-01

    Noncommutative topological entropy estimates are obtained for polynomial gauge invariant endomorphisms of Cuntz algebras, generalising known results for the canonical shift endomorphisms. Exact values for the entropy are computed for a class of permutative endomorphisms related to branching function systems introduced and studied by Bratteli, Jorgensen and Kawamura.

  7. Noncommutative topological entropy of endomorphisms of Cuntz algebras

    CERN Document Server

    Skalski, Adam

    2008-01-01

    Noncommutative topological entropy estimates are obtained for `finite range' endomorphisms of Cuntz algebras, generalising known results for the canonical shift endomorphisms. Exact values are computed for a class of polynomial endomorphisms related to branching function systems introduced and studied by Bratteli, Jorgensen and Kawamura.

  8. Determinant Formula for the Topological N=2 Superconformal Algebra

    CERN Document Server

    Dörrzapf, M; Dörrzapf, Matthias; Gato-Rivera, Beatriz

    1999-01-01

    The Kac determinant for the Topological N=2 superconformal algebra is presented as well as a detailed analysis of the singular vectors detected by the roots of the determinants. In addition we identify the standard Verma modules containing `no-label' singular vectors (which are not detected directly by the roots of the determinants). We show that in standard Verma modules there are (at least) four different types of submodules, regarding size and shape. We also review the chiral determinant formula, for chiral Verma modules, adding new insights. Finally we transfer the results obtained to the Verma modules and singular vectors of the Ramond N=2 algebra, which have been very poorly studied so far. This work clarifies several misconceptions and confusing claims appeared in the literature about the singular vectors, Verma modules and submodules of the Topological N=2 superconformal algebra.

  9. Determinant formula for the topological N = 2 superconformal algebra

    CERN Document Server

    Doerrzapf, M

    1999-01-01

    The Kac determinant for the topological N = 2 superconformal algebra is presented as well as a detailed analysis of the singular vectors detected by the roots of the determinants. In addition we identify the standard Verma modules containing 'no-label' singular vectors (which are not detected directly by the roots of the determinants). We show that in standard Verma modules there are (at least) four different types of submodules, regarding size and shape. We also review the chiral determinant formula, for chiral Verma modules, adding new insights. Finally we transfer the results obtained to the Verma modules and singular vectors of the Ramond N = 2 algebra, which have been very poorly studied so far. This work clarifies several misconceptions and confusing claims appeared in the literature about the singular vectors, Verma modules and submodules of the topological N = 2 superconformal algebra.

  10. On the topology of real algebraic plane curves

    DEFF Research Database (Denmark)

    Cheng, Jinsan; Lazard, Sylvain; Peñaranda, Luis

    2010-01-01

    We revisit the problem of computing the topology and geometry of a real algebraic plane curve. The topology is of prime interest but geometric information, such as the position of singular and critical points, is also relevant. A challenge is to compute efficiently this information for the given...... also induces a new approach for computing an arrangement of polylines isotopic to the input curve. We also present an analysis of the complexity of our algorithm. An implementation of our algorithm demonstrates its efficiency, in particular on high-degree non-generic curves....

  11. On String Topology Operations and Algebraic Structures on Hochschild Complexes

    Science.gov (United States)

    Rivera, Manuel

    The field of string topology is concerned with the algebraic structure of spaces of paths and loops on a manifold. It was born with Chas and Sullivan's observation of the fact that the intersection product on the homology of a smooth manifold M can be combined with the concatenation product on the homology of the based loop space on M to obtain a new product on the homology of LM, the space of free loops on M. Since then, a vast family of operations on the homology of LM have been discovered. In this thesis we focus our attention on a non trivial coproduct of degree 1--dim(M) on the homology of LM modulo constant loops. This coproduct was described by Sullivan on chains on general position and by Goresky and Hingston in a Morse theory context. We give a Thom-Pontryagin type description for the coproduct. Using this description we show that the resulting coalgebra is an invariant on the oriented homotopy type of the underlying manifold. The coproduct together with the loop product induce an involutive Lie bialgebra structure on the S 1-equivariant homology of LM modulo constant loops. It follows from our argument that this structure is an oriented homotopy invariant as well. There is also an algebraic theory of string topology which is concerned with the structure of Hochschild complexes of DG Frobenius algebras and their homotopy versions. We make several observations about the algebraic theory around products, coproducts and their compatibilities. In particular, we describe a BV-coalgebra structure on the coHochschild complex of a DG cocommutative Frobenius coalgebra. Some conjectures and partial results regarding homotopy versions of this structure are discussed. Finally, we explain how Poincare duality may be incorporated into Chen's theory of iterated integrals to relate the geometrically constructed string topology operations to algebraic structures on Hochschild complexes.

  12. Birman-Wenzl-Murakami algebra, topological parameter and Berry phase

    Science.gov (United States)

    Zhou, Chengcheng; Xue, Kang; Gou, Lidan; Sun, Chunfang; Wang, Gangcheng; Hu, Taotao

    2012-12-01

    In this paper, a 3 × 3-matrix representation of Birman-Wenzl-Murakami (BWM) algebra has been presented. Based on which, unitary matrices A( θ, φ 1, φ 2) and B( θ, φ 1, φ 2) are generated via Yang-Baxterization approach. A Hamiltonian is constructed from the unitary B( θ, φ) matrix. Then we study Berry phase of the Yang-Baxter system, and obtain the relationship between topological parameter and Berry phase.

  13. Chiral topological insulator on Nambu 3-algebraic geometry

    Directory of Open Access Journals (Sweden)

    Kazuki Hasebe

    2014-09-01

    Full Text Available Chiral topological insulator (AIII-class with Landau levels is constructed based on the Nambu 3-algebraic geometry. We clarify the geometric origin of the chiral symmetry of the AIII-class topological insulator in the context of non-commutative geometry of 4D quantum Hall effect. The many-body groundstate wavefunction is explicitly derived as a (l,l,l−1 Laughlin–Halperin type wavefunction with unique K-matrix structure. Fundamental excitation is identified with anyonic string-like object with fractional charge 1/(2(l−12+1. The Hall effect of the chiral topological insulators turns out be a color version of Hall effect, which exhibits a dual property of the Hall and spin-Hall effects.

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

    Science.gov (United States)

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

    2015-04-01

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

  15. Batalin-Vilkovisky algebras and two-dimensional topological field theories

    CERN Document Server

    Getzler, E

    1994-01-01

    Batalin-Vilkovisky algebras are a new type of algebraic structure on graded vector spaces, which first arose in the work of Batalin and Vilkovisky on gauge fixing in quantum field theory. In this article, we show that there is a natural structure of a Batalin-Vilkovisky algebra on the cohomology of a topological field theory in two dimensions. Lian and Zuckerman have constructed this Batalin-Vilkovisky structure, in the setting of topological chiral field theories, and shown that the structure is non-trivial in two-dimensional string theory. Our approach is to use algebraic topology, whereas their proofs have a more algebraic character.

  16. Quantum field theory on toroidal topology: Algebraic structure and applications

    Science.gov (United States)

    Khanna, F. C.; Malbouisson, A. P. C.; Malbouisson, J. M. C.; Santana, A. E.

    2014-05-01

    The development of quantum theory on a torus has a long history, and can be traced back to the 1920s, with the attempts by Nordström, Kaluza and Klein to define a fourth spatial dimension with a finite size, being curved in the form of a torus, such that Einstein and Maxwell equations would be unified. Many developments were carried out considering cosmological problems in association with particle physics, leading to methods that are useful for areas of physics, in which size effects play an important role. This interest in finite size effect systems has been increasing rapidly over the last decades, due principally to experimental improvements. In this review, the foundations of compactified quantum field theory on a torus are presented in a unified way, in order to consider applications in particle and condensed matter physics. The theory on a torus ΓDd=(S1)d×RD-d is developed from a Lie-group representation and c*c*-algebra formalisms. As a first application, the quantum field theory at finite temperature, in its real- and imaginary-time versions, is addressed by focusing on its topological structure, the torus Γ41. The toroidal quantum-field theory provides the basis for a consistent approach of spontaneous symmetry breaking driven by both temperature and spatial boundaries. Then the superconductivity in films, wires and grains are analyzed, leading to some results that are comparable with experiments. The Casimir effect is studied taking the electromagnetic and Dirac fields on a torus. In this case, the method of analysis is based on a generalized Bogoliubov transformation, that separates the Green function into two parts: one is associated with the empty space-time, while the other describes the impact of compactification. This provides a natural procedure for calculating the renormalized energy-momentum tensor. Self interacting four-fermion systems, described by the Gross-Neveu and Nambu-Jona-Lasinio models, are considered. Then finite size effects on

  17. Geometric Model of Topological Insulators from the Maxwell Algebra

    CERN Document Server

    Palumbo, Giandomenico

    2016-01-01

    We propose a novel geometric model of three-dimensional topological insulators in presence of an external electromagnetic field. The gapped boundary of these systems supports relativistic quantum Hall states and is described by a Chern-Simons theory with a gauge connection that takes values in the Maxwell algebra. This represents a non-central extension of the Poincar\\'e 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.

  18. Noncommutative topological entropy of endomorphisms of Cuntz algebras II

    CERN Document Server

    Skalski, Adam

    2010-01-01

    A study of noncommutative topological entropy of gauge invariant endomorphisms of Cuntz algebras began in our earlier work with Joachim Zacharias is continued and extended to endomorphisms which are not necessarily of permutation type. In particular it is shown that if H is an N-dimensional Hilbert space, V is an irreducible multiplicative unitary on the tensor product of H with itself and F is the tensor flip, then the Voiculescu entropy of the Longo's canonical endomorphism associated with the unitary VF is equal to log N.

  19. Algebraic Topology : New Trends in Localization and Periodicity : Barcelona Conference

    CERN Document Server

    Casacuberta, Carles; Mislin, Guido

    1996-01-01

    Central to this collection of papers are new developments in the general theory of localization of spaces. This field has undergone tremendous change of late and is yielding new insight into the mysteries of classical homotopy theory. The present volume comprises the refereed articles submitted at the Conference on Algebraic Topology held in Sant Feliu de Guíxols, Spain, in June 1994. Several comprehensive articles on general localization clarify the basic tools and give a report on the state of the art in the subject matter. The text is therefore accessible not only to the professional mathematician but also to the advanced student.

  20. Topological topics articles on algebra and topology presented to professor P. J. Hilton in celebration of his sixtieth birthday

    CERN Document Server

    James, I M

    1983-01-01

    Professor Peter Hilton is one of the best known mathematicians of his generation. He has published almost 300 books and papers on various aspects of topology and algebra. The present volume is to celebrate the occasion of his sixtieth birthday. It begins with a bibliography of his work, followed by reviews of his contributions to topology and algebra. These are followed by eleven research papers concerned with various topics of current interest in algebra and topology. The articles are contributed by some of the many mathematicians with whom he has worked at one time or another. This book will

  1. C*-Algebras over Topological Spaces: Filtrated K-Theory

    CERN Document Server

    Meyer, Ralf

    2008-01-01

    We define the filtrated K-theory of a C*-algebra over a finite topological space X and explain how to construct a spectral sequence that computes the bivariant Kasparov theory over X in terms of filtrated K-theory. For finite spaces with totally ordered lattice of open subsets, this spectral sequence becomes an exact sequence as in the Universal Coefficient Theorem, with the same consequences for classification. We also exhibit an example where filtrated K-theory is not yet a complete invariant. We describe a space with four points and two C*-algebras over this space in the bootstrap class that have isomorphic filtrated K-theory but are not KK(X)-equivalent. For this particular space, we enrich filtrated K-theory by another K-theory functor, so that there is again a Universal Coefficient Theorem. Thus the enriched filtrated K-theory is a complete invariant for purely infinite, stable C*-algebras with this particular spectrum and belonging to the appropriate bootstrap class.

  2. Construction Formulae for Singular Vectors of the Topological and of the Ramond N=2 Superconformal Algebras

    CERN Document Server

    Gato-Rivera, Beatriz

    2001-01-01

    We write down one-to-one mappings between the singular vectors of the Neveu-Schwarz N=2 superconformal algebra and $16 + 16$ types of singular vectors of the Topological and of the Ramond N=2 superconformal algebras. As a result one obtains construction formulae for the latter using the construction formulae for the Neveu-Schwarz singular vectors due to D\\"orrzapf. The indecomposable singular vectors of the Topological and of the Ramond N=2 algebras (`no-label' and `no-helicity' singular vectors) cannot be mapped to singular vectors of the Neveu-Schwarz N=2 algebra, but to {\\it subsingular} vectors, for which no construction formulae exist.

  3. INdAM conference "CoMeTA 2013 - Combinatorial Methods in Topology and Algebra"

    CERN Document Server

    Delucchi, Emanuele; Moci, Luca

    2015-01-01

    Combinatorics plays a prominent role in contemporary mathematics, due to the vibrant development it has experienced in the last two decades and its many interactions with other subjects. This book arises from the INdAM conference "CoMeTA 2013 - Combinatorial Methods in Topology and Algebra,'' which was held in Cortona in September 2013. The event brought together emerging and leading researchers at the crossroads of Combinatorics, Topology and Algebra, with a particular focus on new trends in subjects such as: hyperplane arrangements; discrete geometry and combinatorial topology; polytope theory and triangulations of manifolds; combinatorial algebraic geometry and commutative algebra; algebraic combinatorics; and combinatorial representation theory. The book is divided into two parts. The first expands on the topics discussed at the conference by providing additional background and explanations, while the second presents original contributions on new trends in the topics addressed by the conference.

  4. The universal C*-algebra of the electromagnetic field II. Topological charges and spacelike linear fields

    Science.gov (United States)

    Buchholz, Detlev; Ciolli, Fabio; Ruzzi, Giuseppe; Vasselli, Ezio

    2017-02-01

    Conditions for the appearance of topological charges are studied in the framework of the universal C*-algebra of the electromagnetic field, which is represented in any theory describing electromagnetism. It is shown that non-trivial topological charges, described by pairs of fields localised in certain topologically non-trivial spacelike separated regions, can appear in regular representations of the algebra only if the fields depend non-linearly on the mollifying test functions. On the other hand, examples of regular vacuum representations with non-trivial topological charges are constructed, where the underlying field still satisfies a weakened form of "spacelike linearity". Such representations also appear in the presence of electric currents. The status of topological charges in theories with several types of electromagnetic fields, which appear in the short distance (scaling) limit of asymptotically free non-abelian gauge theories, is also briefly discussed.

  5. Computing the topology of an arrangement of implicitly defined real algebraic plane curves

    Institute of Scientific and Technical Information of China (English)

    Jorge CARAVANTES; Laureano GONZALEZ-VEGA

    2008-01-01

    We introduce a new algebraic approach dealing with the problem of computing the topology of an arrangement of a finite set of real algebraic plane curves presented implicitly. The main achievement of the presented method is a complete avoidance of irrational numbers that appear when using the sweeping method in the classical way for solving the problem at hand. Therefore,it is worth mentioning that the efficiency of the proposed method is only assured for low-degree curves.

  6. Diagonal Invariant Ideals of Topologically Graded C*-algebras%拓扑分次C*-代数中的对角不变理想

    Institute of Scientific and Technical Information of China (English)

    许庆祥; 张小波

    2005-01-01

    We study diagonal invariant ideals of topologically graded C*-algebras over discrete groups. Since all Toeplitz algebras defined on discrete groups are topologically graded, the results in this paper have improved the first author's previous works on this topic.

  7. Topology of algebraic curves an approach via dessins d'enfants

    CERN Document Server

    Degtyarev, Alex

    2012-01-01

    The book summarizes the state and new results on the topology of trigonal curves in geometrically ruled surfaces. Emphasis is placed upon various applications of the theory to related areas, most notably singularplane curves of small degree, elliptic surfaces, and Lefschetz fibrations (both complex and real), and Hurwitz equivalence of braid monodromy factorizations. The monograph conveys recent knowledge about related objects and is of interest to researchers and graduate students in the fields of topology and of complex and real algebraic varieties.

  8. Topological properties of real algebraic varieties: du cote de chez Rokhlin

    Energy Technology Data Exchange (ETDEWEB)

    Degtyarev, A I [Bilkent University, Ankara (Turkey); Kharlamov, V M [Institut de Recherche Matematique Avanee, Universite Louis Pasteur et CNRS 7, rue Rene Descartes (France)

    2000-08-31

    The survey covers results in the topology of real algebraic varieties in the direction initiated in the early seventies by V.I. Arnol'd and V.A. Rokhlin. We make an attempt to systematize the principal achievements in the subject. After presenting general tools and results, we pay special attention to surfaces and curves on surfaces.

  9. Open and Closed String field theory interpreted in classical Algebraic Topology

    OpenAIRE

    Sullivan, Dennis

    2003-01-01

    There is an interpretation of open string field theory in algebraic topology. An interpretation of closed string field theory can be deduced from this open string theory to obtain as well the interpretation of open and closed string field theory combined.

  10. Topology

    CERN Document Server

    Hocking, John G

    1988-01-01

    ""As textbook and reference work, this is a valuable addition to the topological literature."" - Mathematical ReviewsDesigned as a text for a one-year first course in topology, this authoritative volume offers an excellent general treatment of the main ideas of topology. It includes a large number and variety of topics from classical topology as well as newer areas of research activity.There are four set-theoretic chapters, followed by four primarily algebraic chapters. Chapter I covers the fundamentals of topological and metrical spaces, mappings, compactness, product spaces, the Tychonoff t

  11. Topology

    CERN Document Server

    Manetti, Marco

    2015-01-01

    This is an introductory textbook on general and algebraic topology, aimed at anyone with a basic knowledge of calculus and linear algebra. It provides full proofs and includes many examples and exercises. The covered topics include: set theory and cardinal arithmetic; axiom of choice and Zorn's lemma; topological spaces and continuous functions; connectedness and compactness; Alexandrov compactification; quotient topologies; countability and separation axioms; prebasis and Alexander's theorem; the Tychonoff theorem and paracompactness; complete metric spaces and function spaces; Baire spaces; homotopy of maps; the fundamental group; the van Kampen theorem; covering spaces; Brouwer and Borsuk's theorems; free groups and free product of groups; and basic category theory. While it is very concrete at the beginning, abstract concepts are gradually introduced. It is suitable for anyone needing a basic, comprehensive introduction to general and algebraic topology and its applications.

  12. Topological basis associated with B-M-W algebra: Two-spin-1/2 realization

    Science.gov (United States)

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

    2015-01-01

    In this letter, we study the two-spin-1/2 realization for the Birman-Murakami-Wenzl (B-M-W) algebra and the corresponding Yang-Baxter R ˘ (θ , ϕ) matrix. Based on the two-spin-1/2 realization for the B-M-W algebra, the three-dimensional topological space, which is spanned by topological basis, is investigated. By means of such topological basis realization, the four-dimensional Yang-Baxter R ˘ (θ , ϕ) can be reduced to Wigner DJ function with J = 1. The entanglement and Berry phase in the spectral parameter space are also explored. The results show that one can obtain a set of entangled basis via Yang-Baxter R ˘ (θ , ϕ) matrix acting on the standard basis, and the entanglement degree is maximum when the R˘i (θ , ϕ) turns to the braiding operator.

  13. Construction Formulae for Singular Vectors of the Topological N=2 Superconformal Algebra

    CERN Document Server

    Gato-Rivera, Beatriz

    1998-01-01

    The Topological N=2 Superconformal algebra has 29 different types of singular vectors (in complete Verma modules) distinguished by the relative U(1) charge and the BRST-invariance properties of the vector and of the primary on which it is built. Whereas one of these types only exists at level zero, the remaining 28 types exist for general levels and can be constructed already at level 1. In this paper we write down one-to-one mappings between 16 of these types of topological singular vectors and the singular vectors of the Antiperiodic NS algebra. As a result one obtains construction formulae for these 16 types of topological singular vectors using the construction formulae for the NS singular vectors due to Doerrzapf.

  14. Higher discriminants and the topology of algebraic maps

    OpenAIRE

    Migliorini, Luca; Shende, Vivek

    2013-01-01

    We show that the way in which Betti cohomology varies in a proper family of complex algebraic varieties is controlled by certain "higher discriminants" in the base. These discriminants are defined in terms of transversality conditions, which in the case of a morphism between smooth varieties can be checked by a tangent space calculation. They control the variation of cohomology in the following two senses: (1) the support of any summand of the pushforward of the IC sheaf along a projective ma...

  15. Topological charge algebra of optical vortices in nonlinear interactions.

    Science.gov (United States)

    Zhdanova, Alexandra A; Shutova, Mariia; Bahari, Aysan; Zhi, Miaochan; Sokolov, Alexei V

    2015-12-28

    We investigate the transfer of orbital angular momentum among multiple beams involved in a coherent Raman interaction. We use a liquid crystal light modulator to shape pump and Stokes beams into optical vortices with various integer values of topological charge, and cross them in a Raman-active crystal to produce multiple Stokes and anti-Stokes sidebands. We measure the resultant vortex charges using a tilted-lens technique. We verify that in every case the generated beams' topological charges obey a simple relationship, resulting from angular momentum conservation for created and annihilated photons, or equivalently, from phase-matching considerations for multiple interacting beams.

  16. The Algebraic versus the Topological Approach to Additive Representations

    NARCIS (Netherlands)

    P.P. Wakker (Peter)

    1988-01-01

    textabstractIt is proved that, under a nontriviality assumption, an additive function on a Cartesian product of connected topological spaces is continuous, whenever the preference relation, represented by this function, is continuous. The result is used to generalize a theorem of Debreu ((1960). Mat

  17. The Algebraic versus the Topological Approach to Additive Representations

    NARCIS (Netherlands)

    Wakker, P.P.

    1988-01-01

    It is proved that, under a nontriviality assumption, an additive function on a Cartesian product of connected topological spaces is continuous, whenever the preference relation, represented by this function, is continuous. The result is used to generalize a theorem of Debreu (1960) on additive repre

  18. Topological basis associated with B–M–W algebra: Two-spin-1/2 realization

    Energy Technology Data Exchange (ETDEWEB)

    Wang, Gangcheng, E-mail: wanggc000@163.com [School of Physics, Northeast Normal University, Changchun 130024 (China); Sun, Chunfang [School of Physics, Northeast Normal University, Changchun 130024 (China); Centre for Quantum Technologies, National University of Singapore, 3 Science Drive 2, Singapore 117543 (Singapore); Liu, Bo; Liu, Ying; Zhang, Yan [School of Physics, Northeast Normal University, Changchun 130024 (China); Xue, Kang, E-mail: xuekang@nenu.edu.cn [School of Physics, Northeast Normal University, Changchun 130024 (China)

    2015-01-02

    In this letter, we study the two-spin-1/2 realization for the Birman–Murakami–Wenzl (B–M–W) algebra and the corresponding Yang–Baxter Ř(θ,ϕ) matrix. Based on the two-spin-1/2 realization for the B–M–W algebra, the three-dimensional topological space, which is spanned by topological basis, is investigated. By means of such topological basis realization, the four-dimensional Yang–Baxter Ř(θ,ϕ) can be reduced to Wigner D{sup J} function with J=1. The entanglement and Berry phase in the spectral parameter space are also explored. The results show that one can obtain a set of entangled basis via Yang–Baxter Ř(θ,ϕ) matrix acting on the standard basis, and the entanglement degree is maximum when the Ř{sub i}(θ,ϕ) turns to the braiding operator. - Highlights: • We study a two-spin-1/2 realization of Birman–Murakami–Wenzl algebra. • Topological basis for this model is constructed in this paper. • The reduced representation is related with Wigner D matrix.

  19. Topology

    CERN Document Server

    Kuratowski, Kazimierz

    1966-01-01

    Topology, Volume I deals with topology and covers topics ranging from operations in logic and set theory to Cartesian products, mappings, and orderings. Cardinal and ordinal numbers are also discussed, along with topological, metric, and complete spaces. Great use is made of closure algebra. Comprised of three chapters, this volume begins with a discussion on general topological spaces as well as their specialized aspects, including regular, completely regular, and normal spaces. Fundamental notions such as base, subbase, cover, and continuous mapping, are considered, together with operations

  20. Topological twist of osp(2|2) + osp(2|2) conformal super algebra in two dimensions

    CERN Document Server

    Ano, N

    1995-01-01

    A Lagrangian of the topological field theory is found in the twisted osp(2|2)\\oplus osp(2|2)conformal super algebra. The reduction on a moduli space is then elaborated through the vanishing Noether current.

  1. A CLASS OF INFINITE MATRIX TOPOLOGICAL ALGEBRAS%一类无限矩阵拓扑代数

    Institute of Scientific and Technical Information of China (English)

    武俊德

    2000-01-01

    Let γ and μ be sequence spaces and have both the signed-weak gliding hump property, (γ,μ) the algebra of the infinite matrix operators which transform γ into μ. In this paper, it is proved that if γ and μ are β-spaces and γβ and μβ have also the signed-weak gliding hump property, then for any polar topology τ, ((γ,μ),τ) is always sequentially complete locally convex topological algebra.

  2. Topological Membranes, Current Algebras and H-flux - R-flux Duality based on Courant Algebroids

    CERN Document Server

    Bessho, Taiki; Ikeda, Noriaki; Watamura, Satoshi

    2015-01-01

    We construct a topological sigma model and a current algebra based on a Courant algebroid structure on a Poisson manifold. In order to construct models, we reformulate the Poisson Courant algebroid by supergeometric construction on a QP-manifold. A new duality of Courant algebroids which transforms H-flux and R-flux is proposed, where the transformation is interpreted as a canonical transformation of a graded symplectic manifold.

  3. Quantum field theory on toroidal topology: algebraic structure and applications

    CERN Document Server

    Khanna, F C; Malbouisson, J M C; Santana, A E

    2014-01-01

    The development of quantum theory on a torus has a long history, and can be traced back to the 1920s, with the attempts by Nordstr\\"om, Kaluza and Klein to define a fourth spatial dimension with a finite size, being curved in the form of a torus, such that Einstein and Maxwell equations would be unified. Many developments were carried out considering cosmological problems in association with particles physics, leading to methods that are useful for areas of physics, in which size effects play an important role. This interest in finite size effect systems has been increasing rapidly over the last decades, due principally to experimental improvements. In this review, the foundations of compactified quantum field theory on a torus are presented in a unified way, in order to consider applications in particle and condensed matted physics.

  4. An algebraic topological method for multimodal brain networks comparison

    Directory of Open Access Journals (Sweden)

    Tiago eSimas

    2015-07-01

    Full Text Available Understanding brain connectivity is one of the most important issues in neuroscience. Nonetheless, connectivity data can reflect either functional relationships of brain activities or anatomical connections between brain areas. Although both representations should be related, this relationship is not straightforward. We have devised a powerful method that allows different operations between networks that share the same set of nodes, by embedding them in a common metric space, enforcing transitivity to the graph topology. Here, we apply this method to construct an aggregated network from a set of functional graphs, each one from a different subject. Once this aggregated functional network is constructed, we use again our method to compare it with the structural connectivity to identify particular brain regions that differ in both modalities (anatomical and functional. Remarkably, these brain regions include functional areas that form part of the classical resting state networks. We conclude that our method -based on the comparison of the aggregated functional network- reveals some emerging features that could not be observed when the comparison is performed with the classical averaged functional network.

  5. Fans and their applications in General Topology, Functional Analysis and Topological Algebra

    OpenAIRE

    Banakh, Taras

    2016-01-01

    A family of closed subsets of a topological space $X$ is called a (strict) $Cld$-fan in $X$ if this family is (strictly) compact-finite but not locally finite in $X$. Applications of (strict) $Cld$-fans are based on a simple observation that $k$-spaces contain no $Cld$-fan and Ascoli spaces contain no strict $Cld$-fan. In this paper we develop the machinery of (strict) fans and apply it to detecting the $k$-space and Ascoli properties in spaces that naturally appear in General Topology, Funct...

  6. Simple-current algebra constructions of 2+1-dimensional topological orders

    Science.gov (United States)

    Schoutens, Kareljan; Wen, Xiao-Gang

    2016-01-01

    Self-consistent (non-)Abelian statistics in 2+1 dimensions (2+1D) are classified by modular tensor categories (MTCs). In recent works, a simplified axiomatic approach to MTCs, based on fusion coefficients Nki j and spins si, was proposed. A numerical search based on these axioms led to a list of possible (non-)Abelian statistics, with rank up to N =7 . However, there is no guarantee that all solutions to the simplified axioms are consistent and can be realized by bosonic physical systems. In this paper, we use simple-current algebra to address this issue. We explicitly construct many-body wave functions, aiming to realize the entries in the list (i.e., realize their fusion coefficients Nki j and spins si). We find that all entries can be constructed by simple-current algebra plus conjugation under time-reversal symmetry. This supports the conjecture that simple-current algebra is a general approach that allows us to construct all (non-)Abelian statistics in 2+1D. It also suggests that the simplified theory based on (Nki j,si) is a classifying theory at least for simple bosonic 2+1D topological orders (up to invertible topological orders).

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

  8. Families of Singular and Subsingular Vectors of the Topological N=2 Superconformal Algebra

    CERN Document Server

    Gato-Rivera, Beatriz; Gato-Rivera, Beatriz; Rosado, Jose Ignacio

    1998-01-01

    We analyze several issues concerning the singular vectors of the Topological N=2 Superconformal algebra. First we propose an algebraic mechanism to decide which types of singular vectors exist, regarding the relative U(1) charge and the BRST-invariance properties, finding four different types in chiral (incomplete) Verma modules and thirty-three different types in complete Verma modules. Then we investigate the family structure of the singular vectors, every member of a family being mapped to any other member by a chain of simple transformations involving the spectral flows. The families of singular vectors in chiral Verma modules follow a unique pattern (four vectors) and contain subsingular vectors. We write down these families until level 3, identifying the subsingular vectors. The families of singular vectors in complete Verma modules follow infinitely many different patterns, grouped roughly in six main kinds. We present a particularly interesting twelve-member family at levels 3 and 4, as well as the co...

  9. Some New Algebraic and Topological Properties of the Minkowski Inverse in the Minkowski Space

    Directory of Open Access Journals (Sweden)

    Hanifa Zekraoui

    2013-01-01

    Full Text Available We introduce some new algebraic and topological properties of the Minkowski inverse A⊕ of an arbitrary matrix A∈Mm,n (including singular and rectangular in a Minkowski space μ. Furthermore, we show that the Minkowski inverse A⊕ in a Minkowski space and the Moore-Penrose inverse A+ in a Hilbert space are different in many properties such as the existence, continuity, norm, and SVD. New conditions of the Minkowski inverse are also given. These conditions are related to the existence, continuity, and reverse order law. Finally, a new representation of the Minkowski inverse A⊕ is also derived.

  10. Calculating three loop ladder and V-topologies for massive operator matrix elements by computer algebra

    Science.gov (United States)

    Ablinger, J.; Behring, A.; Blümlein, J.; De Freitas, A.; von Manteuffel, A.; Schneider, C.

    2016-05-01

    Three loop ladder and V-topology diagrams contributing to the massive operator matrix element AQg are calculated. The corresponding objects can all be expressed in terms of nested sums and recurrences depending on the Mellin variable N and the dimensional parameter ε. Given these representations, the desired Laurent series expansions in ε can be obtained with the help of our computer algebra toolbox. Here we rely on generalized hypergeometric functions and Mellin-Barnes representations, on difference ring algorithms for symbolic summation, on an optimized version of the multivariate Almkvist-Zeilberger algorithm for symbolic integration, and on new methods to calculate Laurent series solutions of coupled systems of differential equations. The solutions can be computed for general coefficient matrices directly for any basis also performing the expansion in the dimensional parameter in case it is expressible in terms of indefinite nested product-sum expressions. This structural result is based on new results of our difference ring theory. In the cases discussed we deal with iterative sum- and integral-solutions over general alphabets. The final results are expressed in terms of special sums, forming quasi-shuffle algebras, such as nested harmonic sums, generalized harmonic sums, and nested binomially weighted (cyclotomic) sums. Analytic continuations to complex values of N are possible through the recursion relations obeyed by these quantities and their analytic asymptotic expansions. The latter lead to a host of new constants beyond the multiple zeta values, the infinite generalized harmonic and cyclotomic sums in the case of V-topologies.

  11. Enhanced gauge groups in N=4 topological amplitudes and Lorentzian Borcherds algebras

    Science.gov (United States)

    Hohenegger, Stefan; Persson, Daniel

    2011-11-01

    We continue our study of algebraic properties of N=4 topological amplitudes in heterotic string theory compactified on T2, initiated in arXiv:1102.1821. In this work we evaluate a particular one-loop amplitude for any enhanced gauge group h⊂e8⊕e8, i.e. for arbitrary choice of Wilson line moduli. We show that a certain analytic part of the result has an infinite product representation, where the product is taken over the positive roots of a Lorentzian Kac-Moody algebra g++. The latter is obtained through double extension of the complement g=(e8⊕e8)/h. The infinite product is automorphic with respect to a finite index subgroup of the full T-duality group SO(2,18;Z) and, through the philosophy of Borcherds-Gritsenko-Nikulin, this defines the denominator formula of a generalized Kac-Moody algebra G(g++), which is an ’automorphic correction’ of g++. We explicitly give the root multiplicities of G(g++) for a number of examples.

  12. Enhanced Gauge Groups in N=4 Topological Amplitudes and Lorentzian Borcherds Algebras

    CERN Document Server

    Hohenegger, Stefan

    2011-01-01

    We continue our study of algebraic properties of N=4 topological amplitudes in heterotic string theory compactified on T^2, initiated in arXiv:1102.1821. In this work we evaluate a particular one-loop amplitude for any enhanced gauge group h \\subset e_8 + e_8, i.e. for arbitrary choice of Wilson line moduli. We show that a certain analytic part of the result has an infinite product representation, where the product is taken over the positive roots of a Lorentzian Kac-Moody algebra g^{++}. The latter is obtained through double extension of the complement g= (e_8 + e_8)/h. The infinite product is automorphic with respect to a finite index subgroup of the full T-duality group SO(2,18;Z) and, through the philosophy of Borcherds-Gritsenko-Nikulin, this defines the denominator formula of a generalized Kac-Moody algebra G(g^{++}), which is an 'automorphic correction' of g^{++}. We explicitly give the root multiplicities of G(g^{++}) for a number of examples.

  13. The Effects of Funding Changes upon the Rate of Knowledge Growth in Algebraic and Differential Topology, 1955-75.

    Science.gov (United States)

    Cohn, Steven F.

    1986-01-01

    Discusses effects of funding variations upon the rate of knowledge growth in algebraic and differential topology. Results based on a marginal productivity model indicated that funding variations had little or no effect upon the rate of knowledge growth. Lists 150 of the field's most highly rated papers. (ML)

  14. Symplectic and Poisson Geometry in Interaction with Analysis, Algebra and Topology & Symplectic Geometry, Noncommutative Geometry and Physics

    CERN Document Server

    Eliashberg, Yakov; Maeda, Yoshiaki; Symplectic, Poisson, and Noncommutative geometry

    2014-01-01

    Symplectic geometry originated in physics, but it has flourished as an independent subject in mathematics, together with its offspring, symplectic topology. Symplectic methods have even been applied back to mathematical physics. Noncommutative geometry has developed an alternative mathematical quantization scheme based on a geometric approach to operator algebras. Deformation quantization, a blend of symplectic methods and noncommutative geometry, approaches quantum mechanics from a more algebraic viewpoint, as it addresses quantization as a deformation of Poisson structures. This volume contains seven chapters based on lectures given by invited speakers at two May 2010 workshops held at the Mathematical Sciences Research Institute: Symplectic and Poisson Geometry in Interaction with Analysis, Algebra and Topology (honoring Alan Weinstein, one of the key figures in the field) and Symplectic Geometry, Noncommutative Geometry and Physics. The chapters include presentations of previously unpublished results and ...

  15. Calculating Three Loop Ladder and V-Topologies for Massive Operator Matrix Elements by Computer Algebra

    CERN Document Server

    Ablinger, J; Blümlein, J; De Freitas, A; von Manteuffel, A; Schneider, C

    2015-01-01

    Three loop ladder and $V$-topology diagrams contributing to the massive operator matrix element $A_{Qg}$ are calculated. The corresponding objects can all be expressed in terms of nested sums and recurrences depending on the Mellin variable $N$ and the dimensional parameter $\\varepsilon$. Given these representations, the desired Laurent series expansions in $\\varepsilon$ can be obtained with the help of our computer algebra toolbox. Here we rely on generalized hypergeometric functions and Mellin-Barnes representations, on difference ring algorithms for symbolic summation, on an optimized version of the multivariate Almkvist-Zeilberger algorithm for symbolic integration, and on new methods to calculate Laurent series solutions of coupled systems of differential equations. The solutions can be computed for general coefficient matrices directly for any basis also performing the expansion in the dimensional parameter in case it is expressible in terms of indefinite nested product-sum expressions. This structural ...

  16. Summary of the CSRI Workshop on Combinatorial Algebraic Topology (CAT): Software, Applications, & Algorithms

    Energy Technology Data Exchange (ETDEWEB)

    Bennett, Janine Camille [Sandia National Lab. (SNL-CA), Livermore, CA (United States). Visualization and Scientific Computing Dept.; Day, David Minot [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States). Applied Mathematics and Applications Dept.; Mitchell, Scott A. [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States). Computer Science and Informatics Dept.

    2009-11-20

    This report summarizes the Combinatorial Algebraic Topology: software, applications & algorithms workshop (CAT Workshop). The workshop was sponsored by the Computer Science Research Institute of Sandia National Laboratories. It was organized by CSRI staff members Scott Mitchell and Shawn Martin. It was held in Santa Fe, New Mexico, August 29-30. The CAT Workshop website has links to some of the talk slides and other information, http://www.cs.sandia.gov/CSRI/Workshops/2009/CAT/index.html. The purpose of the report is to summarize the discussions and recap the sessions. There is a special emphasis on technical areas that are ripe for further exploration, and the plans for follow-up amongst the workshop participants. The intended audiences are the workshop participants, other researchers in the area, and the workshop sponsors.

  17. Calculating three loop ladder and V-topologies for massive operator matrix elements by computer algebra

    Energy Technology Data Exchange (ETDEWEB)

    Ablinger, J.; Schneider, C. [Johannes Kepler Univ., Linz (Austria). Research Inst. for Symbolic Computation; Behring, A.; Bluemlein, J.; Freitas, A. de [Deutsches Elektronen-Synchrotron (DESY), Zeuthen (Germany); Manteuffel, A. von [Mainz Univ. (Germany). Inst. fuer Physik

    2015-09-15

    Three loop ladder and V-topology diagrams contributing to the massive operator matrix element A{sub Qg} are calculated. The corresponding objects can all be expressed in terms of nested sums and recurrences depending on the Mellin variable N and the dimensional parameter ε. Given these representations, the desired Laurent series expansions in ε can be obtained with the help of our computer algebra toolbox. Here we rely on generalized hypergeometric functions and Mellin-Barnes representations, on difference ring algorithms for symbolic summation, on an optimized version of the multivariate Almkvist-Zeilberger algorithm for symbolic integration, and on new methods to calculate Laurent series solutions of coupled systems of differential equations. The solutions can be computed for general coefficient matrices directly for any basis also performing the expansion in the dimensional parameter in case it is expressible in terms of indefinite nested product-sum expressions. This structural result is based on new results of our difference ring theory. In the cases discussed we deal with iterative sum- and integral-solutions over general alphabets. The final results are expressed in terms of special sums, forming quasi-shuffle algebras, such as nested harmonic sums, generalized harmonic sums, and nested binomially weighted (cyclotomic) sums. Analytic continuations to complex values of N are possible through the recursion relations obeyed by these quantities and their analytic asymptotic expansions. The latter lead to a host of new constants beyond the multiple zeta values, the infinite generalized harmonic and cyclotomic sums in the case of V-topologies.

  18. Algebra V homological algebra

    CERN Document Server

    Shafarevich, I

    1994-01-01

    This book, the first printing of which was published as volume 38 of the Encyclopaedia of Mathematical Sciences, presents a modern approach to homological algebra, based on the systematic use of the terminology and ideas of derived categories and derived functors. The book contains applications of homological algebra to the theory of sheaves on topological spaces, to Hodge theory, and to the theory of modules over rings of algebraic differential operators (algebraic D-modules). The authors Gelfand and Manin explain all the main ideas of the theory of derived categories. Both authors are well-known researchers and the second, Manin, is famous for his work in algebraic geometry and mathematical physics. The book is an excellent reference for graduate students and researchers in mathematics and also for physicists who use methods from algebraic geometry and algebraic topology.

  19. 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.

  20. Nonlinear functional analysis in Banach spaces and Banach algebras fixed point theory under weak topology for nonlinear operators and block operator matrices with applications

    CERN Document Server

    Jeribi, Aref

    2015-01-01

    Uncover the Useful Interactions of Fixed Point Theory with Topological StructuresNonlinear Functional Analysis in Banach Spaces and Banach Algebras: Fixed Point Theory under Weak Topology for Nonlinear Operators and Block Operator Matrices with Applications is the first book to tackle the topological fixed point theory for block operator matrices with nonlinear entries in Banach spaces and Banach algebras. The book provides researchers and graduate students with a unified survey of the fundamental principles of fixed point theory in Banach spaces and algebras. The authors present several exten

  1. Algebra

    Institute of Scientific and Technical Information of China (English)

    2004-01-01

    Through most of Greek history, mathematicians concentrated on geometry, although Euclid considered the theory of numbers. The Greek mathematician Diophantus (3rd century),however, presented problems that had to be solved by what we would today call algebra. His book is thus the first algebra text.

  2. Topological analysis corresponding to the Borisov-Mamaev-Sokolov integrable system on the Lie algebra so(4)

    Science.gov (United States)

    Akbarzadeh, Rasoul

    2016-01-01

    In 2001, A. V. Borisov, I. S. Mamaev, and V. V. Sokolov discovered a new integrable case on the Lie algebra so(4). This is a Hamiltonian system with two degrees of freedom, where both the Hamiltonian and the additional integral are homogenous polynomials of degrees 2 and 4, respectively. In this paper, the topology of isoenergy surfaces for the integrable case under consideration on the Lie algebra so(4) and the critical points of the Hamiltonian under consideration for different values of parameters are described and the bifurcation values of the Hamiltonian are constructed. Also, a description of bifurcation complexes and typical forms of the bifurcation diagram of the system are presented.

  3. 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

  4. The topology of the Liouville foliation for the Kovalevskaya integrable case on the Lie algebra so(4)

    Energy Technology Data Exchange (ETDEWEB)

    Kozlov, I K [M. V. Lomonosov Moscow State University, Faculty of Mechanics and Mathematics, Moscow (Russian Federation)

    2014-04-30

    In this paper we study topological properties of an integrable case for Euler's equations on the Lie algebra so(4), which can be regarded as an analogue of the classical Kovalevskaya case in rigid body dynamics. In particular, for all values of the parameters of the system under consideration, the bifurcation diagrams of the momentum mapping are constructed, the types of critical points of rank 0 are determined, the bifurcations of Liouville tori are described, and the loop molecules are computed for all singular points of the bifurcation diagrams. It follows from the obtained results that some topological properties of the classical Kovalevskaya case can be obtained from the corresponding properties of the considered integrable case on the Lie algebra so(4) by taking a natural limit. Bibliography: 21 titles.

  5. Basic Research in the Mathematical Foundations of Stability Theory, Control Theory and Numerical Linear Algebra.

    Science.gov (United States)

    1979-09-01

    without determinantal divisors, Linear and Multilinear Algebra 7(1979), 107-109. 4. The use of integral operators in number theory (with C. Ryavec and...Gersgorin revisited, to appear in Letters in Linear Algebra. 15. A surprising determinantal inequality for real matrices (with C.R. Johnson), to appear in...Analysis: An Essay Concerning the Limitations of Some Mathematical Methods in the Social , Political and Biological Sciences, David Berlinski, MIT Press

  6. The topology of Liouville foliation for the Borisov-Mamaev-Sokolov integrable case on the Lie algebra so(4)

    Science.gov (United States)

    Akbarzadeh, Rasoul; Haghighatdoost, Ghorbanali

    2015-05-01

    In 2001, A.V. Borisov, I. S.Mamaev, and V.V. Sokolov discovered a new integrable case on the Lie algebra so(4). This system coincides with the Poincaré equations on the Lie algebra so(4), which describe the motion of a body with cavities filled with an incompressible vortex fluid. Moreover, the Poincaré equations describe the motion of a four-dimensional gyroscope. In this paper topological properties of this system are studied. In particular, for the system under consideration the bifurcation diagrams of the momentum mapping are constructed and all Fomenko invariants are calculated. Thereby, a classification of isoenergy surfaces for this system up to the rough Liouville equivalence is obtained.

  7. Real Algebraic Geometry

    CERN Document Server

    Mahé, Louis; Roy, Marie-Françoise

    1992-01-01

    Ten years after the first Rennes international meeting on real algebraic geometry, the second one looked at the developments in the subject during the intervening decade - see the 6 survey papers listed below. Further contributions from the participants on recent research covered real algebra and geometry, topology of real algebraic varieties and 16thHilbert problem, classical algebraic geometry, techniques in real algebraic geometry, algorithms in real algebraic geometry, semialgebraic geometry, real analytic geometry. CONTENTS: Survey papers: M. Knebusch: Semialgebraic topology in the last ten years.- R. Parimala: Algebraic and topological invariants of real algebraic varieties.- Polotovskii, G.M.: On the classification of decomposing plane algebraic curves.- Scheiderer, C.: Real algebra and its applications to geometry in the last ten years: some major developments and results.- Shustin, E.L.: Topology of real plane algebraic curves.- Silhol, R.: Moduli problems in real algebraic geometry. Further contribu...

  8. Noncommutative spectral synthesis for the involutive Banach algebra associated with a topological dynamical system

    CERN Document Server

    de Jeu, Marcel

    2012-01-01

    If X is a compact Hausdorff space, supplied with a homeomorphism, then a crossed product involutive Banach algebra is naturally associated with these data. If X consists of one point, then this algebra is the group algebra of the integers. In this paper, we study spectral synthesis for the closed ideals of this associated algebra in two versions, one modeled after C(X), and one modeled after the group algebra of the integers. We identify the closed ideals which are equal to (what is the analogue of) the kernel of their hull, and determine when this holds for all closed ideals, i.e., when spectral synthesis holds. In both models, this is the case precisely when the homeomorphism has no periodic points.

  9. Structural regularities of helicoidally-like biopolymers in the framework of algebraic topology: II. {alpha}-Helix and DNA structures

    Energy Technology Data Exchange (ETDEWEB)

    Samoylovich, M. I., E-mail: samoylovich@technomash.ru [Central Research Technological Institute ' Technomash' (Russian Federation); Talis, A. L. [Russian Academy of Sciences, Nesmeyanov Institute of Organoelement Compounds (Russian Federation)

    2013-09-15

    The developed apparatus of the 'structural application' of algebraic geometry and topology makes it possible to determine topologically stable helicoidally-like packings of polyhedra (clusters). A packing found is limited by a minimal surface with zero instability index; this surface is set by the Weierstrass representation and corresponds to the bifurcation point. The symmetries of the packings under consideration are determined by four-dimensional polyhedra (polytopes) from a closed sequence, which begins with diamondlike polytope (240). One example of these packings is a packing of tetrahedra, which arises as a result of the multiplication of a peculiar starting aggregation of tetrahedra by a fractional 40/11 axis with an angle of helical rotation of 99 Degree-Sign . The arrangement of atoms in particular positions of this starting aggregation allows one to obtain a model of the {alpha}-helix. This apparatus makes it possible to determine a priori the symmetry parameters of DNA double helices.

  10. Additive Representations of Preferences, A New Foundation of Decision Analysis; The Algebraic Approach

    NARCIS (Netherlands)

    P.P. Wakker (Peter)

    1991-01-01

    textabstractIn Wakker (1989, "Additive Representations of Preferences, A New Foundation of Decision Analysis"), a new foundation of decision analysis was given. The main tool was a way to derive comparisons of "tradeoffs" from ordinal preferences, with comparisons of tradeoffs revealing orderings of

  11. Additive reprensentations of preferences, a new foundation of decision analysis: the algebraic approach

    NARCIS (Netherlands)

    Wakker, P.P.; Doignon, J.P.; Falmagne, J.C.

    1991-01-01

    In Wakker (1989, "Additive Representations of Preferences, A New Foundation of Decision Analysis"), a new foundation of decision analysis was given. The main tool was a way to derive comparisons of "tradeoffs" from ordinal preferences, with comparisons of tradeoffs revealing orderings of utility dif

  12. Correspondence between the contracted BTZ solution of cosmological topological massive gravity and two-dimensional Galilean conformal algebra

    Energy Technology Data Exchange (ETDEWEB)

    Setare, M R; Kamali, V, E-mail: rezakord@ipm.ir, E-mail: vkamali1362@gmail.com [Department of Science, Payame Noor University, Bijar (Iran, Islamic Republic of)

    2011-11-07

    We show that a BTZ black hole solution of cosmological topological massive gravity has a hidden conformal symmetry. In this regard, we consider the wave equation of a massless scalar field propagating in BTZ spacetime and find that the wave equation could be written in terms of the SL(2, R) quadratic Casimir. From the conformal coordinates, the temperatures of the dual conformal field theories (CFTs) could be read directly. Moreover, we compute the microscopic entropy of the dual CFT by the Cardy formula and find a perfect match to the Bekenstein-Hawking entropy of a BTZ black hole. Then, we consider Galilean conformal algebras (GCA), which arises as a contraction of relativistic conformal algebras (x {yields} {epsilon}x, t {yields} t, {epsilon} {yields} 0). We show that there is a correspondence between GCA{sub 2} on the boundary and contracted BTZ in the bulk. For this purpose we obtain the central charges and temperatures of GCA{sub 2}. Then, we compute the microscopic entropy of the GCA{sub 2} by the Cardy formula and find a perfect match to the Bekenstein-Hawking entropy of a BTZ black hole in a non-relativistic limit. The absorption cross section of a near-region scalar field also matches the microscopic absorption cross section of the dual GCA{sub 2}. So we find further evidence that shows correspondence between a contracted BTZ black hole and two-dimensional GCA.

  13. Geometrical and topological foundations of theoretical physics: from gauge theories to string program

    Directory of Open Access Journals (Sweden)

    Luciano Boi

    2004-07-01

    Full Text Available We study the role of geometrical and topological concepts in the recent developments of theoretical physics, notably in non-Abelian gauge theories and superstring theory, and further we show the great significance of these concepts for a deeper understanding of the dynamical laws of physics. This work aims to demonstrate that the global topological properties of the manifold's model of spacetime play a major role in quantum field theory and that, therefore, several physical quantum effects arise from the nonlocal metrical and topological structure of this manifold. We mathematically argue the need for building new structures of space with different topology. This means, in particular, that the “hidden” symmetries of fundamental physics can be related to the phenomenon of topological change of certain classes of (presumably nonsmooth manifolds.

  14. The crossed-product structure of C*-algebras arising from topological dynamical systems

    CERN Document Server

    Farthing, Cynthia; Willis, Paulette N

    2011-01-01

    We show that every topological k-graph constructed from a locally compact Hausdorff space {\\Omega} and a family of pairwise commuting local homeomorphisms on {\\Omega} satisfying a uniform boundedness condition on the cardinalities of inverse images may be realized as a semigroup crossed product in the sense of Larsen.

  15. Equivariant Semi-topological Invariants, Atiyah's KR-theory, and Real Algebraic Cycles

    CERN Document Server

    Heller, Jeremiah

    2010-01-01

    We establish an Atiyah-Hirzebruch type spectral sequence relating real morphic cohomology and real semi-topological K-theory and prove it to be compatible with the Atiyah-Hirzebruch spectral sequence relating Bredon cohomology and Atiyah's KR-theory constructed by Dugger. An equivariant and a real version of Suslin's conjecture on morphic cohomology are formulated, proved to come from the complex version of Suslin conjecture and verified for certain real varieties. In conjunction with the spectral sequences constructed here this allows the computation of the real semi-topological K-theory of some real varieties. As another application of this spectral sequence we give an alternate proof of the Lichtenbaum-Quillen conjecture over $\\R$, extending an earlier proof of Karoubi and Weibel.

  16. Topological theory of dynamical systems recent advances

    CERN Document Server

    Aoki, N

    1994-01-01

    This monograph aims to provide an advanced account of some aspects of dynamical systems in the framework of general topology, and is intended for use by interested graduate students and working mathematicians. Although some of the topics discussed are relatively new, others are not: this book is not a collection of research papers, but a textbook to present recent developments of the theory that could be the foundations for future developments. This book contains a new theory developed by the authors to deal with problems occurring in diffentiable dynamics that are within the scope of general topology. To follow it, the book provides an adequate foundation for topological theory of dynamical systems, and contains tools which are sufficiently powerful throughout the book. Graduate students (and some undergraduates) with sufficient knowledge of basic general topology, basic topological dynamics, and basic algebraic topology will find little difficulty in reading this book.

  17. Topological features of the Sokolov integrable case on the Lie algebra so(3,1)

    Science.gov (United States)

    Novikov, D. V.

    2014-08-01

    The integrable Sokolov case on {so}(3,1)\\star is investigated. This is a Hamiltonian system with two degrees of freedom, in which the Hamiltonian and the additional integral are homogeneous polynomials of degrees 2 and 4, respectively. It is an interesting feature of this system that connected components of common level surfaces of the Hamiltonian and the additional integral turn out to be noncompact. The critical points of the moment map and their indices are found, the bifurcation diagram is constructed, and the topology of noncompact level surfaces is determined, that is, the closures of solutions of the Sokolov system on {so}(3,1) are described. Bibliography: 24 titles.

  18. Foundations of relational realism a topological approach to quantum mechanics and the philosophy of nature

    CERN Document Server

    Epperson, Michael

    2013-01-01

    This book presents an intuitive interpretation of quantum mechanics, based on a revised decoherent histories interpretation, structured within a category theoretic topological formalism. More broadly, as a philosophical enterprise, the authors propose this conceptual framework as a speculative ontological program that includes a rigorous mathematical formalism, providing a coherent and intuitive ontological scheme that is both novel and applicable practically to the physical sciences.

  19. Three-dimensional topological field theory and symplectic algebraic geometry I

    Energy Technology Data Exchange (ETDEWEB)

    Kapustin, Anton [California Institute of Technology, 1200 E. California Blvd., Pasadena, CA (United States)], E-mail: kapustin@theory.caltech.edu; Rozansky, Lev [University of North Carolina (United States)], E-mail: rozansky@math.unc.edu; Saulina, Natalia [California Institute of Technology, 1200 E. California Blvd., Pasadena, CA (United States)], E-mail: saulina@theory.caltech.edu

    2009-08-01

    We study boundary conditions and defects in a three-dimensional topological sigma-model with a complex symplectic target space X (the Rozansky-Witten model). We show that boundary conditions correspond to complex Lagrangian submanifolds in X equipped with complex fibrations. The set of boundary conditions has the structure of a 2-category; morphisms in this 2-category are interpreted physically as one-dimensional defect lines separating parts of the boundary with different boundary conditions. This 2-category is a categorification of the Z{sub 2}-graded derived category of X; it is also related to categories of matrix factorizations and a categorification of deformation quantization (quantization of symmetric monoidal categories). In Appendix B we describe a deformation of the B-model and the associated category of branes by forms of arbitrary even degree.

  20. Topological features of the Sokolov integrable case on the Lie algebra so(3,1)

    Energy Technology Data Exchange (ETDEWEB)

    Novikov, D V [M. V. Lomonosov Moscow State University, Faculty of Mechanics and Mathematics, Moscow (Russian Federation)

    2014-08-31

    The integrable Sokolov case on so(3,1){sup ⋆} is investigated. This is a Hamiltonian system with two degrees of freedom, in which the Hamiltonian and the additional integral are homogeneous polynomials of degrees 2 and 4, respectively. It is an interesting feature of this system that connected components of common level surfaces of the Hamiltonian and the additional integral turn out to be noncompact. The critical points of the moment map and their indices are found, the bifurcation diagram is constructed, and the topology of noncompact level surfaces is determined, that is, the closures of solutions of the Sokolov system on so(3,1) are described. Bibliography: 24 titles.

  1. Conceptual Foundations of Soliton Versus Particle Dualities Toward a Topological Model for Matter

    Science.gov (United States)

    Kouneiher, Joseph

    2016-06-01

    The idea that fermions could be solitons was actually confirmed in theoretical models in 1975 in the case when the space-time is two-dimensional and with the sine-Gordon model. More precisely S. Coleman showed that two different classical models end up describing the same fermions particle, when the quantum theory is constructed. But in one model the fermion is a quantum excitation of the field and in the other model the particle is a soliton. Hence both points of view can be reconciliated.The principal aim in this paper is to exhibit a solutions of topological type for the fermions in the wave zone, where the equations of motion are non-linear field equations, i.e. using a model generalizing sine- Gordon model to four dimensions, and describe the solutions for linear and circular polarized waves. In other words, the paper treat fermions as topological excitations of a bosonic field.

  2. 向量优化中集合的一些相对代数性质和相对拓扑性质%Some relative algebraical properties and relative topological properties of sets in vector optimization

    Institute of Scientific and Technical Information of China (English)

    张万里; 林安

    2014-01-01

    In this paper, the Assumption B1 and B2 are proposed basing on the idea of Flores-Baz´an et al. The relative algebraic interior of the sum for two sets is equal to the sum of the relative algebraic interior for these sets, the sum of the algebraic closure of a set and the relative algebraic interior of a set is equal to the sum of the relative algebraic interior for the two sets, the relative topological interior of the sum for two sets is equal to the sum of the relative topological interior for these sets, the sum of topological closure of set and the relative topological interior of set is equal to the sum of the relative topological interior for the two sets are proved. Furthermore, the equivalent relations between equality of the algebraic closure and the equality of algebraic interior are established. We also obtain the similar equivalent relations for the topological closure and the relative topological interior.%基于 Flores-Baz´an 等人的思想,提出了假设 B1和假设 B2,证明了集合和的相对代数内部等于相对代数内部的和;集合代数闭包与相对代数内部的和等于和的相对代数内部;集合和的相对拓扑内部等于相对拓扑内部的和;集合拓扑闭包与相对拓扑内部的和等于和的相对拓扑内部,建立了集合代数闭包相等与代数内部相等,拓扑闭包相等与拓扑内部相等之间的一些等价关系。

  3. The universal C*-algebra of the electromagnetic field II. Topological charges and spacelike linear fields - Dedicated to Karl-Henning Rehren on the occasion of his 60th birthday

    Science.gov (United States)

    Buchholz, Detlev; Ciolli, Fabio; Ruzzi, Giuseppe; Vasselli, Ezio

    2017-01-01

    Conditions for the appearance of topological charges are studied in the framework of the universal C*-algebra of the electromagnetic field, which is represented in any theory describing electromagnetism. It is shown that non-trivial topological charges, described by pairs of fields localised in certain topologically non-trivial spacelike separated regions, can appear in regular representations of the algebra only if the fields depend non-linearly on the mollifying test functions. On the other hand, examples of regular vacuum representations with non-trivial topological charges are constructed, where the underlying field still satisfies a weakened form of "spacelike linearity". Such representations also appear in the presence of electric currents. The status of topological charges in theories with several types of electromagnetic fields, which appear in the short distance (scaling) limit of asymptotically free non-abelian gauge theories, is also briefly discussed.

  4. Algebraic cobordism theory attached to algebraic equivalence

    CERN Document Server

    Krishna, Amalendu

    2012-01-01

    After the algebraic cobordism theory of Levine-Morel, we develop a theory of algebraic cobordism modulo algebraic equivalence. We prove that this theory can reproduce Chow groups modulo algebraic equivalence and the zero-th semi-topological K-groups. We also show that with finite coefficients, this theory agrees with the algebraic cobordism theory. We compute our cobordism theory for some low dimensional or special types of varieties. The results on infinite generation of some Griffiths groups by Clemens and on smash-nilpotence by Voevodsky and Voisin are also lifted and reinterpreted in terms of this cobordism theory.

  5. Evolution algebras and their applications

    CERN Document Server

    Tian, Jianjun Paul

    2008-01-01

    Behind genetics and Markov chains, there is an intrinsic algebraic structure. It is defined as a type of new algebra: as evolution algebra. This concept lies between algebras and dynamical systems. Algebraically, evolution algebras are non-associative Banach algebras; dynamically, they represent discrete dynamical systems. Evolution algebras have many connections with other mathematical fields including graph theory, group theory, stochastic processes, dynamical systems, knot theory, 3-manifolds, and the study of the Ihara-Selberg zeta function. In this volume the foundation of evolution algebra theory and applications in non-Mendelian genetics and Markov chains is developed, with pointers to some further research topics.

  6. Topological fields

    CERN Document Server

    Warner, S

    1989-01-01

    Aimed at those acquainted with basic point-set topology and algebra, this text goes up to the frontiers of current research in topological fields (more precisely, topological rings that algebraically are fields).The reader is given enough background to tackle the current literature without undue additional preparation. Many results not in the text (and many illustrations by example of theorems in the text) are included among the exercises. Sufficient hints for the solution of the exercises are offered so that solving them does not become a major research effort for the reader. A comprehensive bibliography completes the volume.

  7. Uniform Frechet algebras

    CERN Document Server

    Goldmann, H

    1990-01-01

    The first part of this monograph is an elementary introduction to the theory of Fréchet algebras. Important examples of Fréchet algebras, which are among those considered, are the algebra of all holomorphic functions on a (hemicompact) reduced complex space, and the algebra of all continuous functions on a suitable topological space.The problem of finding analytic structure in the spectrum of a Fréchet algebra is the subject of the second part of the book. In particular, the author pays attention to function algebraic characterizations of certain Stein algebras (= algebras of holomorphic functions on Stein spaces) within the class of Fréchet algebras.

  8. Topological vector spaces

    CERN Document Server

    Narici, Lawrence

    2011-01-01

    BackgroundTopology Valuation Theory Algebra Linear Functionals Hyperplanes Measure Theory Normed SpacesCommutative Topological GroupsElementary ConsiderationsSeparation and Compactness Bases at 0 for Group Topologies Subgroups and Products Quotients S-Topologies Metrizability CompletenessCompleteness Function Groups Total BoundednessCompactness and Total Boundedness Uniform Continuity Extension of Uniformly Continuous Maps CompletionTopological Vector SpacesAbsorbent and Balanced Sets Convexity-AlgebraicBasic PropertiesConvexity-Topological Generating Vector Topologies A Non-Locally Convex Spa

  9. Algebraic renormalization perturbative twisted considerations on topological Yang-Mills theory and on N=2 supersymmetric gauge theories

    Energy Technology Data Exchange (ETDEWEB)

    Fucito, F.; Tanzini, A. [Rome Univ. 2 (Italy). Dipt. di Fisica; Vilar, L.C.Q.; Ventura, O.S.; Sasaki, C.A.G. [Centro Brasileiro de Pesquisas Fisicas (CBPF), Rio de Janeiro, RJ (Brazil); Sorella, S.P. [Universidade do Estado (UERJ), Rio de Janeiro, RJ (Brazil). Inst. de Fisica

    1997-07-01

    The aim of these notes is to provide a simple and pedagogical (as much as possible) introduction to what is nowadays commonly called Algebraic Renormalization. As the same itself let it understand, the Algebraic Renormalization gives a systematic set up in order to analyse the quantum extension of a given set of classical symmetries. The framework is purely algebraic, yielding a complete characterization of all possible anomalies and invariant counterterms without making use of any explicit computation of the Feynman diagrams. This goal is achieved by collecting, with the introduction of suitable ghost fields, all the symmetries into a unique operation summarized by a generalized Slavnov-Taylor (or master equation) identity which is the starting point for the quantum analysis. The Slavnov-Taylor identity allows to define a nilpotent operator whose cohomology classes in the space of the integrated local polynomials in the fields and their derivatives with dimensions bounded by power counting give all nontrivial anomalies and counterterms. I other words, the proof of the renormalizability is reduced to the computation of some cohomology classes. (author) 28 refs., 2 figs.

  10. Differential topology

    CERN Document Server

    Mukherjee, Amiya

    2015-01-01

    This book presents a systematic and comprehensive account of the theory of differentiable manifolds and provides the necessary background for the use of fundamental differential topology tools. The text includes, in particular, the earlier works of Stephen Smale, for which he was awarded the Fields Medal. Explicitly, the topics covered are Thom transversality, Morse theory, theory of handle presentation, h-cobordism theorem, and the generalised Poincaré conjecture. The material is the outcome of lectures and seminars on various aspects of differentiable manifolds and differential topology given over the years at the Indian Statistical Institute in Calcutta, and at other universities throughout India. The book will appeal to graduate students and researchers interested in these topics. An elementary knowledge of linear algebra, general topology, multivariate calculus, analysis, and algebraic topology is recommended.

  11. Categorical Algebra and its Applications

    CERN Document Server

    1988-01-01

    Categorical algebra and its applications contain several fundamental papers on general category theory, by the top specialists in the field, and many interesting papers on the applications of category theory in functional analysis, algebraic topology, algebraic geometry, general topology, ring theory, cohomology, differential geometry, group theory, mathematical logic and computer sciences. The volume contains 28 carefully selected and refereed papers, out of 96 talks delivered, and illustrates the usefulness of category theory today as a powerful tool of investigation in many other areas.

  12. Algebraic extensions of fields

    CERN Document Server

    McCarthy, Paul J

    1991-01-01

    ""...clear, unsophisticated and direct..."" - MathThis textbook is intended to prepare graduate students for the further study of fields, especially algebraic number theory and class field theory. It presumes some familiarity with topology and a solid background in abstract algebra. Chapter 1 contains the basic results concerning algebraic extensions. In addition to separable and inseparable extensions and normal extensions, there are sections on finite fields, algebraically closed fields, primitive elements, and norms and traces. Chapter 2 is devoted to Galois theory. Besides the fundamenta

  13. An algebra of reversible computation.

    Science.gov (United States)

    Wang, Yong

    2016-01-01

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

  14. An algebra of reversible computation

    OpenAIRE

    2016-01-01

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

  15. Two's company, three (or more) is a simplex : Algebraic-topological tools for understanding higher-order structure in neural data.

    Science.gov (United States)

    Giusti, Chad; Ghrist, Robert; Bassett, Danielle S

    2016-08-01

    The language of graph theory, or network science, has proven to be an exceptional tool for addressing myriad problems in neuroscience. Yet, the use of networks is predicated on a critical simplifying assumption: that the quintessential unit of interest in a brain is a dyad - two nodes (neurons or brain regions) connected by an edge. While rarely mentioned, this fundamental assumption inherently limits the types of neural structure and function that graphs can be used to model. Here, we describe a generalization of graphs that overcomes these limitations, thereby offering a broad range of new possibilities in terms of modeling and measuring neural phenomena. Specifically, we explore the use of simplicial complexes: a structure developed in the field of mathematics known as algebraic topology, of increasing applicability to real data due to a rapidly growing computational toolset. We review the underlying mathematical formalism as well as the budding literature applying simplicial complexes to neural data, from electrophysiological recordings in animal models to hemodynamic fluctuations in humans. Based on the exceptional flexibility of the tools and recent ground-breaking insights into neural function, we posit that this framework has the potential to eclipse graph theory in unraveling the fundamental mysteries of cognition.

  16. Cohomology of Effect Algebras

    Directory of Open Access Journals (Sweden)

    Frank Roumen

    2017-01-01

    Full Text Available We will define two ways to assign cohomology groups to effect algebras, which occur in the algebraic study of quantum logic. The first way is based on Connes' cyclic cohomology. The resulting cohomology groups are related to the state space of the effect algebra, and can be computed using variations on the Kunneth and Mayer-Vietoris sequences. The second way involves a chain complex of ordered abelian groups, and gives rise to a cohomological characterization of state extensions on effect algebras. This has applications to no-go theorems in quantum foundations, such as Bell's theorem.

  17. Algebra II workbook for dummies

    CERN Document Server

    Sterling, Mary Jane

    2014-01-01

    To succeed in Algebra II, start practicing now Algebra II builds on your Algebra I skills to prepare you for trigonometry, calculus, and a of myriad STEM topics. Working through practice problems helps students better ingest and retain lesson content, creating a solid foundation to build on for future success. Algebra II Workbook For Dummies, 2nd Edition helps you learn Algebra II by doing Algebra II. Author and math professor Mary Jane Sterling walks you through the entire course, showing you how to approach and solve the problems you encounter in class. You'll begin by refreshing your Algebr

  18. The theory of algebraic numbers

    CERN Document Server

    Pollard, Harry

    1998-01-01

    An excellent introduction to the basics of algebraic number theory, this concise, well-written volume examines Gaussian primes; polynomials over a field; algebraic number fields; and algebraic integers and integral bases. After establishing a firm introductory foundation, the text explores the uses of arithmetic in algebraic number fields; the fundamental theorem of ideal theory and its consequences; ideal classes and class numbers; and the Fermat conjecture. 1975 edition. References. List of Symbols. Index.

  19. Representations of fundamental groups of algebraic varieties

    CERN Document Server

    Zuo, Kang

    1999-01-01

    Using harmonic maps, non-linear PDE and techniques from algebraic geometry this book enables the reader to study the relation between fundamental groups and algebraic geometry invariants of algebraic varieties. The reader should have a basic knowledge of algebraic geometry and non-linear analysis. This book can form the basis for graduate level seminars in the area of topology of algebraic varieties. It also contains present new techniques for researchers working in this area.

  20. The foundations of statistics

    CERN Document Server

    Savage, Leonard J

    1972-01-01

    Classic analysis of the foundations of statistics and development of personal probability, one of the greatest controversies in modern statistical thought. Revised edition. Calculus, probability, statistics, and Boolean algebra are recommended.

  1. Foundations of factor analysis

    CERN Document Server

    Mulaik, Stanley A

    2009-01-01

    Introduction Factor Analysis and Structural Theories Brief History of Factor Analysis as a Linear Model Example of Factor AnalysisMathematical Foundations for Factor Analysis Introduction Scalar AlgebraVectorsMatrix AlgebraDeterminants Treatment of Variables as Vectors Maxima and Minima of FunctionsComposite Variables and Linear Transformations Introduction Composite Variables Unweighted Composite VariablesDifferentially Weighted Composites Matrix EquationsMulti

  2. Summing Boolean Algebras

    Institute of Scientific and Technical Information of China (English)

    Antonio AIZPURU; Antonio GUTI(E)RREZ-D(A)VILA

    2004-01-01

    In this paper we will study some families and subalgebras ( ) of ( )(N) that let us characterize the unconditional convergence of series through the weak convergence of subseries ∑i∈A xi, A ∈ ( ).As a consequence, we obtain a new version of the Orlicz-Pettis theorem, for Banach spaces. We also study some relationships between algebraic properties of Boolean algebras and topological properties of the corresponding Stone spaces.

  3. Left Artinian Algebraic Algebras

    Institute of Scientific and Technical Information of China (English)

    S. Akbari; M. Arian-Nejad

    2001-01-01

    Let R be a left artinian central F-algebra, T(R) = J(R) + [R, R],and U(R) the group of units of R. As one of our results, we show that, if R is algebraic and char F = 0, then the number of simple components of -R = R/J(R)is greater than or equal to dimF R/T(R). We show that, when char F = 0 or F is uncountable, R is algebraic over F if and only if [R, R] is algebraic over F. As another approach, we prove that R is algebraic over F if and only if the derived subgroup of U(R) is algebraic over F. Also, we present an elementary proof for a special case of an old question due to Jacobson.

  4. Topological rings

    CERN Document Server

    Warner, S

    1993-01-01

    This text brings the reader to the frontiers of current research in topological rings. The exercises illustrate many results and theorems while a comprehensive bibliography is also included. The book is aimed at those readers acquainted with some very basic point-set topology and algebra, as normally presented in semester courses at the beginning graduate level or even at the advanced undergraduate level. Familiarity with Hausdorff, metric, compact and locally compact spaces and basic properties of continuous functions, also with groups, rings, fields, vector spaces and modules, and with Zorn''s Lemma, is also expected.

  5. Algebraic partial Boolean algebras

    Energy Technology Data Exchange (ETDEWEB)

    Smith, Derek [Math Department, Lafayette College, Easton, PA 18042 (United States)

    2003-04-04

    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{sub 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{sub 8}.

  6. Algebraic Statistics

    OpenAIRE

    Norén, Patrik

    2013-01-01

    Algebraic statistics brings together ideas from algebraic geometry, commutative algebra, and combinatorics to address problems in statistics and its applications. Computer algebra provides powerful tools for the study of algorithms and software. However, these tools are rarely prepared to address statistical challenges and therefore new algebraic results need often be developed. This way of interplay between algebra and statistics fertilizes both disciplines. Algebraic statistics is a relativ...

  7. Twin TQFTs and Frobenius Algebras

    Directory of Open Access Journals (Sweden)

    Carmen Caprau

    2013-01-01

    Full Text Available We introduce the category of singular 2-dimensional cobordisms and show that it admits a completely algebraic description as the free symmetric monoidal category on a twin Frobenius algebra, by providing a description of this category in terms of generators and relations. A twin Frobenius algebra (C,W,z,z∗ consists of a commutative Frobenius algebra C, a symmetric Frobenius algebra W, and an algebra homomorphism z:C→W with dual z∗:W→C, satisfying some extra conditions. We also introduce a generalized 2-dimensional Topological Quantum Field Theory defined on singular 2-dimensional cobordisms and show that it is equivalent to a twin Frobenius algebra in a symmetric monoidal category.

  8. Constructive version of Boolean algebra

    CERN Document Server

    Ciraulo, Francesco; Toto, Paola

    2012-01-01

    The notion of overlap algebra introduced by G. Sambin provides a constructive version of complete Boolean algebra. Here we first show some properties concerning overlap algebras: we prove that the notion of overlap morphism corresponds classically to that of map preserving arbitrary joins; we provide a description of atomic set-based overlap algebras in the language of formal topology, thus giving a predicative characterization of discrete locales; we show that the power-collection of a set is the free overlap algebra join-generated from the set. Then, we generalize the concept of overlap algebra and overlap morphism in various ways to provide constructive versions of the category of Boolean algebras with maps preserving arbitrary existing joins.

  9. Topological and geometrical quantum computation in cohesive Khovanov homotopy type theory

    Science.gov (United States)

    Ospina, Juan

    2015-05-01

    The recently proposed Cohesive Homotopy Type Theory is exploited as a formal foundation for central concepts in Topological and Geometrical Quantum Computation. Specifically the Cohesive Homotopy Type Theory provides a formal, logical approach to concepts like smoothness, cohomology and Khovanov homology; and such approach permits to clarify the quantum algorithms in the context of Topological and Geometrical Quantum Computation. In particular we consider the so-called "open-closed stringy topological quantum computer" which is a theoretical topological quantum computer that employs a system of open-closed strings whose worldsheets are open-closed cobordisms. The open-closed stringy topological computer is able to compute the Khovanov homology for tangles and for hence it is a universal quantum computer given than any quantum computation is reduced to an instance of computation of the Khovanov homology for tangles. The universal algebra in this case is the Frobenius Algebra and the possible open-closed stringy topological quantum computers are forming a symmetric monoidal category which is equivalent to the category of knowledgeable Frobenius algebras. Then the mathematical design of an open-closed stringy topological quantum computer is involved with computations and theorem proving for generalized Frobenius algebras. Such computations and theorem proving can be performed automatically using the Automated Theorem Provers with the TPTP language and the SMT-solver Z3 with the SMT-LIB language. Some examples of application of ATPs and SMT-solvers in the mathematical setup of an open-closed stringy topological quantum computer will be provided.

  10. A note on transport of algebraic structures

    DEFF Research Database (Denmark)

    Holm, Henrik Granau

    2015-01-01

    We study transport of algebraic structures and prove a theorem which subsumes results of Comfort and Ross on topological group structures on Stone-Cech compactifications, of Chevalley and of Gil de Lamadrid and Jans on topological group and ring structures on universal covering spaces......, and of Gleason on topological group structures on universal locally connected refinements....

  11. A bigraded version of the Weil algebra and of the Weil homomorphism for Donaldson invariants. Elementary algebra and cohomology behind the Baulieu-Singer approach to Witten's topological Yang-Mills quantum field theory

    Science.gov (United States)

    Dubois-Violette, Michel

    1996-05-01

    We describe a bigraded generalization of the Weil algebra, of its basis and of the characteristic homomorphism which besides ordinary characteristic classes also maps on cohomology classes leading to Donaldson invariants in the appropriate context. Furthermore these cohomology classes exhaust the image of the generalized characteristic homomorphisms.

  12. Completely Positive Definite Maps on σ-C*-algebras

    Institute of Scientific and Technical Information of China (English)

    许天周; 段培超; 郑庆琳

    2003-01-01

    @@ Recently, there has been increased interest [1-8] in topological *-algebras that are inverselimits of C*-algebras, called Pro-C*-algebras. These algebras were introduced in [5] as a gene-ralization of C*-algebras were called locally C*-algebras. The same objects have been studiedvarious term, in [1-8], it is shown in [6-7] that they arise naturally in certain aspects of C*-algebraslike the tangent algebras of C*-algebras, multipliers of Pedersen's ideal, non-commutative ana-logues of classical Lie groups and K-theory.

  13. Relation and Application between Degree of Continuous Functions in Differential Topology and Degree in Algebraic Topology%球面到球面的连续映射的微分拓扑度与代数拓扑度的关系以及应用

    Institute of Scientific and Technical Information of China (English)

    金亚东; 施俊

    2013-01-01

      In this paper, we studied degree of functions in differential topology() to be equal to degree of functions in algebraic topology (). It showed that the proposition about one of two degrees is true if the proposition about another is true. Under this result, we get some applications.%  研究了球面到球面的连续映射 f 在微分拓扑的映射度等于在代数拓扑的映射度 degAf。这就表明凡是与两种度中其中一种度有关的命题成立,那么与另一种度有关的命题也成立。在此结论下,给出了一些它的应用。

  14. Algebraic Theories over Nominal Sets

    CERN Document Server

    Kurz, Alexander; Velebil, Jiří

    2010-01-01

    We investigate the foundations of a theory of algebraic data types with variable binding inside classical universal algebra. In the first part, a category-theoretic study of monads over the nominal sets of Gabbay and Pitts leads us to introduce new notions of finitary based monads and uniform monads. In a second part we spell out these notions in the language of universal algebra, show how to recover the logics of Gabbay-Mathijssen and Clouston-Pitts, and apply classical results from universal algebra.

  15. Computational topology an introduction

    CERN Document Server

    Edelsbrunner, Herbert

    2010-01-01

    Combining concepts from topology and algorithms, this book delivers what its title promises: an introduction to the field of computational topology. Starting with motivating problems in both mathematics and computer science and building up from classic topics in geometric and algebraic topology, the third part of the text advances to persistent homology. This point of view is critically important in turning a mostly theoretical field of mathematics into one that is relevant to a multitude of disciplines in the sciences and engineering. The main approach is the discovery of topology through alg

  16. Topics in general topology

    CERN Document Server

    Morita, K

    1989-01-01

    Being an advanced account of certain aspects of general topology, the primary purpose of this volume is to provide the reader with an overview of recent developments.The papers cover basic fields such as metrization and extension of maps, as well as newly-developed fields like categorical topology and topological dynamics. Each chapter may be read independently of the others, with a few exceptions. It is assumed that the reader has some knowledge of set theory, algebra, analysis and basic general topology.

  17. Topology theory on rough sets.

    Science.gov (United States)

    Wu, QingE; Wang, Tuo; Huang, YongXuan; Li, JiSheng

    2008-02-01

    For further studying the theories and applications of rough sets (RS), this paper proposes a new theory on RS, which mainly includes topological space, topological properties, homeomorphism, and its properties on RS by some new definitions and theorems given. The relationship between partition and countable open covering is discussed, and some applications based on the topological rough space and its topological properties are introduced. Moreover, some perspectives for future research are given. Throughout this paper, the advancements of the new theory on RS and topological algebra not only represent an important theoretical value but also exhibit significant applications of RS and topology.

  18. Very true operators on MTL-algebras

    Directory of Open Access Journals (Sweden)

    Wang Jun Tao

    2016-01-01

    Full Text Available The main goal of this paper is to investigate very true MTL-algebras and prove the completeness of the very true MTL-logic. In this paper, the concept of very true operators on MTL-algebras is introduced and some related properties are investigated. Also, conditions for an MTL-algebra to be an MV-algebra and a Gödel algebra are given via this operator. Moreover, very true filters on very true MTL-algebras are studied. In particular, subdirectly irreducible very true MTL-algebras are characterized and an analogous of representation theorem for very true MTL-algebras is proved. Then, the left and right stabilizers of very true MTL-algebras are introduced and some related properties are given. As applications of stabilizer of very true MTL-algebras, we produce a basis for a topology on very true MTL-algebras and show that the generated topology by this basis is Baire, connected, locally connected and separable. Finally, the corresponding logic very true MTL-logic is constructed and the soundness and completeness of this logic are proved based on very true MTL-algebras.

  19. Topological freeness for Hilbert bimodules

    DEFF Research Database (Denmark)

    Kwasniewski, Bartosz

    2014-01-01

    It is shown that topological freeness of Rieffel’s induced representation functor implies that any C*-algebra generated by a faithful covariant representation of a Hilbert bimodule X over a C*-algebra A is canonically isomorphic to the crossed product A ⋊ X ℤ. An ideal lattice description and a s...

  20. Algebraic totality, towards completeness

    CERN Document Server

    Tasson, Christine

    2009-01-01

    Finiteness spaces constitute a categorical model of Linear Logic (LL) whose objects can be seen as linearly topologised spaces, (a class of topological vector spaces introduced by Lefschetz in 1942) and morphisms as continuous linear maps. First, we recall definitions of finiteness spaces and describe their basic properties deduced from the general theory of linearly topologised spaces. Then we give an interpretation of LL based on linear algebra. Second, thanks to separation properties, we can introduce an algebraic notion of totality candidate in the framework of linearly topologised spaces: a totality candidate is a closed affine subspace which does not contain 0. We show that finiteness spaces with totality candidates constitute a model of classical LL. Finally, we give a barycentric simply typed lambda-calculus, with booleans ${\\mathcal{B}}$ and a conditional operator, which can be interpreted in this model. We prove completeness at type ${\\mathcal{B}}^n\\to{\\mathcal{B}}$ for every n by an algebraic metho...

  1. Computer Algebra.

    Science.gov (United States)

    Pavelle, Richard; And Others

    1981-01-01

    Describes the nature and use of computer algebra and its applications to various physical sciences. Includes diagrams illustrating, among others, a computer algebra system and flow chart of operation of the Euclidean algorithm. (SK)

  2. Fall Foliage Topology Seminars

    CERN Document Server

    1990-01-01

    This book demonstrates the lively interaction between algebraic topology, very low dimensional topology and combinatorial group theory. Many of the ideas presented are still in their infancy, and it is hoped that the work here will spur others to new and exciting developments. Among the many techniques disussed are the use of obstruction groups to distinguish certain exact sequences and several graph theoretic techniques with applications to the theory of groups.

  3. On sequential countably compact topological semigroups

    CERN Document Server

    Gutik, Oleg V; Repovš, Dušan

    2008-01-01

    We study topological and algebraic properties of sequential countably compact topological semigroups similar to compact topological semigroups. We prove that a sequential countably compact topological semigroup does not contain the bicyclic semigroup. Also we show that the closure of a subgroup in a sequential countably compact topological semigroup is a topological group, that the inversion in a Clifford sequential countably compact topological semigroup is continuous and we prove the analogue of the Rees-Suschkewitsch Theorem for simple regular sequential countably compact topological semigroups.

  4. Lower and Upper Fuzzy Topological Subhypergroups

    Institute of Scientific and Technical Information of China (English)

    Irina CRISTEA; Jian Ming ZHAN

    2013-01-01

    This paper provides a new connection between algebraic hyperstructures and fuzzy sets.More specifically,using both properties of fuzzy topological spaces and those of fuzzy subhypergroups,we define the notions of lower (upper) fuzzy topological subhypergroups of a hypergroup endowed with a fuzzy topology.Some results concerning the image and the inverse image of a lower (upper) topological subhypergroup under a very good homomorphism of hypergroups (endowed with fuzzy topologies) are pointed out.

  5. Algebraic circuits

    CERN Document Server

    Lloris Ruiz, Antonio; Parrilla Roure, Luis; García Ríos, Antonio

    2014-01-01

    This book presents a complete and accurate study of algebraic circuits, digital circuits whose performance can be associated with any algebraic structure. The authors distinguish between basic algebraic circuits, such as Linear Feedback Shift Registers (LFSRs) and cellular automata, and algebraic circuits, such as finite fields or Galois fields. The book includes a comprehensive review of representation systems, of arithmetic circuits implementing basic and more complex operations, and of the residue number systems (RNS). It presents a study of basic algebraic circuits such as LFSRs and cellular automata as well as a study of circuits related to Galois fields, including two real cryptographic applications of Galois fields.

  6. Differential topology an introduction

    CERN Document Server

    Gauld, David B

    2006-01-01

    Offering classroom-proven results, Differential Topology presents an introduction to point set topology via a naive version of nearness space. Its treatment encompasses a general study of surgery, laying a solid foundation for further study and greatly simplifying the classification of surfaces.This self-contained treatment features 88 helpful illustrations. Its subjects include topological spaces and properties, some advanced calculus, differentiable manifolds, orientability, submanifolds and an embedding theorem, and tangent spaces. Additional topics comprise vector fields and integral curv

  7. Perturbative Topological Field Theory

    Science.gov (United States)

    Dijkgraaf, Robbert

    We give a review of the application of perturbative techniques to topological quantum field theories, in particular three-dimensional Chern-Simons-Witten theory and its various generalizations. To this end we give an introduction to graph homology and homotopy algebras and the work of Vassiliev and Kontsevich on perturbative knot invariants.

  8. Elementary topology problem textbook

    CERN Document Server

    Viro, O Ya; Netsvetaev, N Yu; Kharlamov, V M

    2008-01-01

    This textbook on elementary topology contains a detailed introduction to general topology and an introduction to algebraic topology via its most classical and elementary segment centered at the notions of fundamental group and covering space. The book is tailored for the reader who is determined to work actively. The proofs of theorems are separated from their formulations and are gathered at the end of each chapter. This makes the book look like a pure problem book and encourages the reader to think through each formulation. A reader who prefers a more traditional style can either find the pr

  9. Colimits, Stanley-Reisner algebras, and loop spaces

    OpenAIRE

    Panov, Taras; RAY, NIGEL; Vogt, Rainer

    2002-01-01

    We study diagrams associated with a finite simplicial complex K, in various algebraic and topological categories. We relate their colimits to familiar structures in algebra, combinatorics, geometry and topology. These include: right-angled Artin and Coxeter groups (and their complex analogues, which we call circulation groups); Stanley-Reisner algebras and coalgebras; Davis and Januszkiewicz's spaces DJ(K) associated with toric manifolds and their generalisations; and coordinate subspace arra...

  10. Introduction to algebra and trigonometry

    CERN Document Server

    Kolman, Bernard

    1981-01-01

    Introduction to Algebra and Trigonometry provides a complete and self-contained presentation of the fundamentals of algebra and trigonometry.This book describes an axiomatic development of the foundations of algebra, defining complex numbers that are used to find the roots of any quadratic equation. Advanced concepts involving complex numbers are also elaborated, including the roots of polynomials, functions and function notation, and computations with logarithms. This text also discusses trigonometry from a functional standpoint. The angles, triangles, and applications involving triangles are

  11. Algebras with actions and automata

    Directory of Open Access Journals (Sweden)

    W. Kühnel

    1982-01-01

    Full Text Available In the present paper we want to give a common structure theory of left action, group operations, R-modules and automata of different types defined over various kinds of carrier objects: sets, graphs, presheaves, sheaves, topological spaces (in particular: compactly generated Hausdorff spaces. The first section gives an axiomatic approach to algebraic structures relative to a base category B, slightly more powerful than that of monadic (tripleable functors. In section 2 we generalize Lawveres functorial semantics to many-sorted algebras over cartesian closed categories. In section 3 we treat the structures mentioned in the beginning as many-sorted algebras with fixed “scalar” or “input” object and show that they still have an algebraic (or monadic forgetful functor (theorem 3.3 and hence the general theory of algebraic structures applies. These structures were usually treated as one-sorted in the Lawvere-setting, the action being expressed by a family of unary operations indexed over the scalars. But this approach cannot, as the one developed here, describe continuity of the action (more general: the action to be a B-morphism, which is essential for the structures mentioned above, e.g. modules for a sheaf of rings or topological automata. Finally we discuss consequences of theorem 3.3 for the structure theory of various types of automata. The particular case of algebras with fixed “natural numbers object” has been studied by the authors in [23].

  12. Hom-Akivis algebras

    CERN Document Server

    Issa, A Nourou

    2010-01-01

    Non-Hom-associative algebras and Hom-Akivis algebras are introduced. The commutator-Hom-associator algebra of a non-Hom-associative algebra is a Hom-Akivis algebra. It is shown that non-Hom-associative algebras can be obtained from nonassociative algebras by twisting along algebra automorphisms while Hom-Akivis algebras can be obtained from Akivis algebras by twisting along algebra endomorphisms.

  13. Elliptic algebras

    Energy Technology Data Exchange (ETDEWEB)

    Odesskii, A V [L.D. Landau Institute for Theoretical Physics, Russian Academy of Sciences, Moscow (Russian Federation)

    2002-12-31

    This survey is devoted to associative Z{sub {>=}}{sub 0}-graded algebras presented by n generators and n(n-1)/2 quadratic relations and satisfying the so-called Poincare-Birkhoff-Witt condition (PBW-algebras). Examples are considered of such algebras, depending on two continuous parameters (namely, on an elliptic curve and a point on it), that are flat deformations of the polynomial ring in n variables. Diverse properties of these algebras are described, together with their relations to integrable systems, deformation quantization, moduli spaces, and other directions of modern investigations.

  14. PRIMITIVE IDEALS OF TOEPLITZ ALGEBRA OF ORDERED GROUPS

    Directory of Open Access Journals (Sweden)

    Rizky Rosjanuardi

    2012-06-01

    Full Text Available The topology on primitive ideal space of Toeplitz algebras of totally ordered abelian groups can be identified through the upwards-looking topology if and only if the chain of order ideals is well-ordered. We describe the topology on primitive ideal space of Toeplitz algebra of totally ordered abelian groups when the chain of order ideals is not well ordered.

  15. 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 ve...

  16. Algebraic Thinking through Koch Snowflake Constructions

    Science.gov (United States)

    Ghosh, Jonaki B.

    2016-01-01

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

  17. Focus on Fractions to Scaffold Algebra

    Science.gov (United States)

    Ooten, Cheryl Thomas

    2013-01-01

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

  18. Kiddie Algebra

    Science.gov (United States)

    Cavanagh, Sean

    2009-01-01

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

  19. Stable Recursive Subhomogeneous Algebras

    CERN Document Server

    Liang, Hutian

    2011-01-01

    In this paper, we introduce stable recursive subhomogeneous algebras (SRSHAs), which is analogous to recursive subhomogeneous algebras (RSHAs) introduced by N. C. Phillips in the studies of free minimal integer actions on compact metric spaces. The difference between the stable version and the none stable version is that the irreducible representations of SRSHAs are infinite dimensional, but the irreducible representations of the RSHAs are finite dimensional. While RSHAs play an important role in the study of free minimal integer actions on compact metric spaces, SRSHAs play an analogous role in the study of free minimal actions by the group of the real numbers on compact metric spaces. In this paper, we show that simple inductive limits of SRSHAs with no dimension growth in which the connecting maps are injective and non-vanishing have topological stable rank one.

  20. Real algebraic geometry

    CERN Document Server

    Bochnak, Jacek; Roy, Marie-Françoise

    1998-01-01

    This book is a systematic treatment of real algebraic geometry, a subject that has strong interrelation with other areas of mathematics: singularity theory, differential topology, quadratic forms, commutative algebra, model theory, complexity theory etc. The careful and clearly written account covers both basic concepts and up-to-date research topics. It may be used as text for a graduate course. The present edition is a substantially revised and expanded English version of the book "Géometrie algébrique réelle" originally published in French, in 1987, as Volume 12 of ERGEBNISSE. Since the publication of the French version the theory has made advances in several directions. Many of these are included in this English version. Thus the English book may be regarded as a completely new treatment of the subject.

  1. Combinatorics and commutative algebra

    CERN Document Server

    Stanley, Richard P

    1996-01-01

    Some remarkable connections between commutative algebra and combinatorics have been discovered in recent years. This book provides an overview of two of the main topics in this area. The first concerns the solutions of linear equations in nonnegative integers. Applications are given to the enumeration of integer stochastic matrices (or magic squares), the volume of polytopes, combinatorial reciprocity theorems, and related results. The second topic deals with the face ring of a simplicial complex, and includes a proof of the Upper Bound Conjecture for Spheres. An introductory chapter giving background information in algebra, combinatorics and topology broadens access to this material for non-specialists. New to this edition is a chapter surveying more recent work related to face rings, focusing on applications to f-vectors. Included in this chapter is an outline of the proof of McMullen's g-conjecture for simplicial polytopes based on toric varieties, as well as a discussion of the face rings of such special ...

  2. Algebra-Geometry of Piecewise Algebraic Varieties

    Institute of Scientific and Technical Information of China (English)

    Chun Gang ZHU; Ren Hong WANG

    2012-01-01

    Algebraic variety is the most important subject in classical algebraic geometry.As the zero set of multivariate splines,the piecewise algebraic variety is a kind generalization of the classical algebraic variety.This paper studies the correspondence between spline ideals and piecewise algebraic varieties based on the knowledge of algebraic geometry and multivariate splines.

  3. Geometric Algebra

    CERN Document Server

    Chisolm, Eric

    2012-01-01

    This is an introduction to geometric algebra, an alternative to traditional vector algebra that expands on it in two ways: 1. In addition to scalars and vectors, it defines new objects representing subspaces of any dimension. 2. It defines a product that's strongly motivated by geometry and can be taken between any two objects. For example, the product of two vectors taken in a certain way represents their common plane. This system was invented by William Clifford and is more commonly known as Clifford algebra. It's actually older than the vector algebra that we use today (due to Gibbs) and includes it as a subset. Over the years, various parts of Clifford algebra have been reinvented independently by many people who found they needed it, often not realizing that all those parts belonged in one system. This suggests that Clifford had the right idea, and that geometric algebra, not the reduced version we use today, deserves to be the standard "vector algebra." My goal in these notes is to describe geometric al...

  4. Spectral flows and twisted topological theories

    CERN Document Server

    Gato-Rivera, Beatriz; Gato-Rivera, Beatriz; Rosado, Jose Ignacio

    1995-01-01

    We analyze the action of the spectral flows on N=2 twisted topological theories. We show that they provide a useful mapping between the two twisted topological theories associated to a given N=2 superconformal theory. This mapping can also be viewed as a topological algebra automorphism. In particular null vectors are mapped into null vectors, considerably simplifying their computation. We give the level 2 results. Finally we discuss the spectral flow mapping in the case of the DDK and KM realizations of the topological algebra.

  5. 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

  6. 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

  7. Foundations of predictive analytics

    CERN Document Server

    Wu, James

    2012-01-01

    Drawing on the authors' two decades of experience in applied modeling and data mining, Foundations of Predictive Analytics presents the fundamental background required for analyzing data and building models for many practical applications, such as consumer behavior modeling, risk and marketing analytics, and other areas. It also discusses a variety of practical topics that are frequently missing from similar texts. The book begins with the statistical and linear algebra/matrix foundation of modeling methods, from distributions to cumulant and copula functions to Cornish--Fisher expansion and o

  8. Topology Explains Why Automobile Sunshades Fold Oddly

    Science.gov (United States)

    Feist, Curtis; Naimi, Ramin

    2009-01-01

    Automobile sunshades always fold into an "odd" number of loops. The explanation why involves elementary topology (braid theory and linking number, both explained in detail here with definitions and examples), and an elementary fact from algebra about symmetric group.

  9. Algebraic aspects of gauge theories

    Science.gov (United States)

    Zharinov, V. V.

    2014-08-01

    Gauge theories are primary tools in modern elementary particle physics. The generally recognized mathematical foundations of these theories are in differential geometry, namely, in the theory of connections in a principal fiber bundle. We propose another approach to the mathematical description of gauge theories based on a combination of algebraic and geometric methods.

  10. Brans–Dicke gravity theory from topological gravity

    Energy Technology Data Exchange (ETDEWEB)

    Inostroza, C.; Salazar, A.; Salgado, P.

    2014-06-27

    We consider a model that suggests a mechanism by which the four dimensional Brans–Dicke gravity theory may emerge from the topological gravity action. To achieve this goal, both the Lie algebra and the symmetric invariant tensor that define the topological gravity Lagrangian are constructed by means of the Lie algebra S-expansion procedure with an appropriate abelian semigroup S.

  11. Homology theory on algebraic varieties

    CERN Document Server

    Wallace, Andrew H

    2014-01-01

    Concise and authoritative, this monograph is geared toward advanced undergraduate and graduate students. The main theorems whose proofs are given here were first formulated by Lefschetz and have since turned out to be of fundamental importance in the topological aspects of algebraic geometry. The proofs are fairly elaborate and involve a considerable amount of detail; therefore, some appear in separate chapters that include geometrical descriptions and diagrams.The treatment begins with a brief introduction and considerations of linear sections of an algebraic variety as well as singular and h

  12. Fracton topological order, generalized lattice gauge theory, and duality

    Science.gov (United States)

    Vijay, Sagar; Haah, Jeongwan; Fu, Liang

    2016-12-01

    We introduce a generalization of conventional lattice gauge theory to describe fracton topological phases, which are characterized by immobile, pointlike topological excitations, and subextensive topological degeneracy. We demonstrate a duality between fracton topological order and interacting spin systems with symmetries along extensive, lower-dimensional subsystems, which may be used to systematically search for and characterize fracton topological phases. Commutative algebra and elementary algebraic geometry provide an effective mathematical tool set for our results. Our work paves the way for identifying possible material realizations of fracton topological phases.

  13. Computational Topology for Regular Closed Sets

    OpenAIRE

    project, The I-TANGO; :; Peters, T J; Bisceglio, J.; Ferguson, D. R.; Hoffmann, C.M.; Maekawa, T.; Patrikalakis, N.M.; Sakkalis, T.; N F Stewart

    2004-01-01

    The Boolean algebra of regular closed sets is prominent in topology, particularly as a dual for the Stone-Cech compactification. This algebra is also central for the theory of geometric computation, as a representation for combinatorial operations on geometric sets. However, the issue of computational approximation introduces unresolved subtleties that do not occur within "pure" topology. One major effort towards reconciling this mathematical theory with computational practice is our ongoing ...

  14. Elementary algebra

    CERN Document Server

    McKeague, Charles P

    1981-01-01

    Elementary Algebra 2e, Second Edition focuses on the basic principles, operations, and approaches involved in elementary algebra. The book first tackles the basics, linear equations and inequalities, and graphing and linear systems. Discussions focus on the substitution method, solving linear systems by graphing, solutions to linear equations in two variables, multiplication property of equality, word problems, addition property of equality, and subtraction, addition, multiplication, and division of real numbers. The manuscript then examines exponents and polynomials, factoring, and rational e

  15. Elementary algebra

    CERN Document Server

    McKeague, Charles P

    1986-01-01

    Elementary Algebra, Third Edition focuses on the basic principles, operations, and approaches involved in elementary algebra. The book first ponders on the basics, linear equations and inequalities, and graphing and linear systems. Discussions focus on the elimination method, solving linear systems by graphing, word problems, addition property of equality, solving linear equations, linear inequalities, addition and subtraction of real numbers, and properties of real numbers. The text then takes a look at exponents and polynomials, factoring, and rational expressions. Topics include reducing ra

  16. Topological methods in Galois representation theory

    CERN Document Server

    Snaith, Victor P

    2013-01-01

    An advanced monograph on Galois representation theory by one of the world's leading algebraists, this volume is directed at mathematics students who have completed a graduate course in introductory algebraic topology. Topics include abelian and nonabelian cohomology of groups, characteristic classes of forms and algebras, explicit Brauer induction theory, and much more. 1989 edition.

  17. Alternative algebraic approaches in quantum chemistry

    Science.gov (United States)

    Mezey, Paul G.

    2015-01-01

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

  18. Topological characterizations of S-Linearity

    Directory of Open Access Journals (Sweden)

    Carfi', David

    2007-10-01

    Full Text Available We give several characterizations of basic concepts of S-linear algebra in terms of weak duality on topological vector spaces. On the way, some classic results of Functional Analysis are reinterpreted in terms of S-linear algebra, by an application-oriented fashion. The results are required in the S-linear algebra formulation of infinite dimensional Decision Theory and in the study of abstract evolution equations in economical and physical Theories.

  19. Duality theories for Boolean algebras with operators

    CERN Document Server

    Givant, Steven

    2014-01-01

    In this new text, Steven Givant—the author of several acclaimed books, including works co-authored with Paul Halmos and Alfred Tarski—develops three theories of duality for Boolean algebras with operators. Givant addresses the two most recognized dualities (one algebraic and the other topological) and introduces a third duality, best understood as a hybrid of the first two. This text will be of interest to graduate students and researchers in the fields of mathematics, computer science, logic, and philosophy who are interested in exploring special or general classes of Boolean algebras with operators. Readers should be familiar with the basic arithmetic and theory of Boolean algebras, as well as the fundamentals of point-set topology.

  20. Advanced linear algebra

    CERN Document Server

    Cooperstein, Bruce

    2015-01-01

    Advanced Linear Algebra, Second Edition takes a gentle approach that starts with familiar concepts and then gradually builds to deeper results. Each section begins with an outline of previously introduced concepts and results necessary for mastering the new material. By reviewing what students need to know before moving forward, the text builds a solid foundation upon which to progress. The new edition of this successful text focuses on vector spaces and the maps between them that preserve their structure (linear transformations). Designed for advanced undergraduate and beginning graduate stud

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

  2. Piecewise algebraic varieties

    Institute of Scientific and Technical Information of China (English)

    WANG Renhong; ZHU Chungang

    2004-01-01

    The piecewise algebraic variety is a generalization of the classical algebraic variety. This paper discusses some properties of piecewise algebraic varieties and their coordinate rings based on the knowledge of algebraic geometry.

  3. On the Supercyclicity and Hypercyclicity of the Operator Algebra

    Institute of Scientific and Technical Information of China (English)

    B.YOUSEFI; H.REZAEI

    2008-01-01

    Let B(X) be the operator algebra for a separable infinite dimensional Hilbert space H,endowed with the strong operator topology or *-strong topology.We give sufficient conditions for a continuous linear mapping L:B(X) → B(X) to be supercyclic or *-supercyclic.In particular our condition implies the existence of an infinite dimensional subspace of supercyclic vectors for a mapping T on H.Hypercyclicity of the operator algebra with strong operator topology was studied by Chan and here we obtain an analogous result in the case of *-strong operator topology.

  4. A Metric Conceptual Space Algebra

    Science.gov (United States)

    Adams, Benjamin; Raubal, Martin

    The modeling of concepts from a cognitive perspective is important for designing spatial information systems that interoperate with human users. Concept representations that are built using geometric and topological conceptual space structures are well suited for semantic similarity and concept combination operations. In addition, concepts that are more closely grounded in the physical world, such as many spatial concepts, have a natural fit with the geometric structure of conceptual spaces. Despite these apparent advantages, conceptual spaces are underutilized because existing formalizations of conceptual space theory have focused on individual aspects of the theory rather than the creation of a comprehensive algebra. In this paper we present a metric conceptual space algebra that is designed to facilitate the creation of conceptual space knowledge bases and inferencing systems. Conceptual regions are represented as convex polytopes and context is built in as a fundamental element. We demonstrate the applicability of the algebra to spatial information systems with a proof-of-concept application.

  5. Generalized exterior algebras

    OpenAIRE

    Marchuk, Nikolay

    2011-01-01

    Exterior algebras and differential forms are widely used in many fields of modern mathematics and theoretical physics. In this paper we define a notion of $N$-metric exterior algebra, which depends on $N$ matrices of structure constants. The usual exterior algebra (Grassmann algebra) can be considered as 0-metric exterior algebra. Clifford algebra can be considered as 1-metric exterior algebra. $N$-metric exterior algebras for $N\\geq2$ can be considered as generalizations of the Grassmann alg...

  6. Linear algebra

    CERN Document Server

    Edwards, Harold M

    1995-01-01

    In his new undergraduate textbook, Harold M Edwards proposes a radically new and thoroughly algorithmic approach to linear algebra Originally inspired by the constructive philosophy of mathematics championed in the 19th century by Leopold Kronecker, the approach is well suited to students in the computer-dominated late 20th century Each proof is an algorithm described in English that can be translated into the computer language the class is using and put to work solving problems and generating new examples, making the study of linear algebra a truly interactive experience Designed for a one-semester course, this text adopts an algorithmic approach to linear algebra giving the student many examples to work through and copious exercises to test their skills and extend their knowledge of the subject Students at all levels will find much interactive instruction in this text while teachers will find stimulating examples and methods of approach to the subject

  7. Algebraic Groups

    DEFF Research Database (Denmark)

    2007-01-01

    of algebraic groups (in a broad sense) has seen important developments in several directions, also related to representation theory and algebraic geometry. The workshop aimed at presenting some of these developments in order to make them accessible to a "general audience" of algebraic group......-theorists, and to stimulate contacts between participants. Each of the first four days was dedicated to one area of research that has recently seen decisive progress: \\begin{itemize} \\item structure and classification of wonderful varieties, \\item finite reductive groups and character sheaves, \\item quantum cohomology...... of homogeneous varieties, \\item representation categories and their connections to orbits and flag varieties. \\end{itemize} The first three days started with survey talks that will help to make the subject accessible to the next generation. The talks on the last day introduced to several recent advances...

  8. Linear algebra

    CERN Document Server

    Liesen, Jörg

    2015-01-01

    This self-contained textbook takes a matrix-oriented approach to linear algebra and presents a complete theory, including all details and proofs, culminating in the Jordan canonical form and its proof. Throughout the development, the applicability of the results is highlighted. Additionally, the book presents special topics from applied linear algebra including matrix functions, the singular value decomposition, the Kronecker product and linear matrix equations. The matrix-oriented approach to linear algebra leads to a better intuition and a deeper understanding of the abstract concepts, and therefore simplifies their use in real world applications. Some of these applications are presented in detailed examples. In several ‘MATLAB-Minutes’ students can comprehend the concepts and results using computational experiments. Necessary basics for the use of MATLAB are presented in a short introduction. Students can also actively work with the material and practice their mathematical skills in more than 300 exerc...

  9. Boolean Algebra of C-Algebras

    Directory of Open Access Journals (Sweden)

    G.C. Rao

    2012-11-01

    Full Text Available A C- algebra is the algebraic form of the 3-valued conditional logic, which was introduced by F. Guzman and C. C. Squier in 1990. In this paper, some equivalent conditions for a C- algebra to become a boolean algebra in terms of congruences are given. It is proved that the set of all central elements B(A is isomorphic to the Boolean algebra of all C-algebras Sa, where a B(A. It is also proved that B(A is isomorphic to the Boolean algebra of all C-algebras Aa, where a B(A.

  10. Computations in finite-dimensional Lie algebras

    Directory of Open Access Journals (Sweden)

    A. M. Cohen

    1997-12-01

    Full Text Available This paper describes progress made in context with the construction of a general library of Lie algebra algorithms, called ELIAS (Eindhoven Lie Algebra System, within the computer algebra package GAP. A first sketch of the package can be found in Cohen and de Graaf[1]. Since then, in a collaborative effort with G. Ivanyos, the authors have continued to develop algorithms which were implemented in ELIAS by the second author. These activities are part of a bigger project, called ACELA and financed by STW, the Dutch Technology Foundation, which aims at an interactive book on Lie algebras (cf. Cohen and Meertens [2]. This paper gives a global description of the main ways in which to present Lie algebras on a computer. We focus on the transition from a Lie algebra abstractly given by an array of structure constants to a Lie algebra presented as a subalgebra of the Lie algebra of n×n matrices. We describe an algorithm typical of the structure analysis of a finite-dimensional Lie algebra: finding a Levi subalgebra of a Lie algebra.

  11. Linear algebra

    CERN Document Server

    Allenby, Reg

    1995-01-01

    As the basis of equations (and therefore problem-solving), linear algebra is the most widely taught sub-division of pure mathematics. Dr Allenby has used his experience of teaching linear algebra to write a lively book on the subject that includes historical information about the founders of the subject as well as giving a basic introduction to the mathematics undergraduate. The whole text has been written in a connected way with ideas introduced as they occur naturally. As with the other books in the series, there are many worked examples.Solutions to the exercises are available onlin

  12. Basic algebra

    CERN Document Server

    Jacobson, Nathan

    2009-01-01

    A classic text and standard reference for a generation, this volume and its companion are the work of an expert algebraist who taught at Yale for two decades. Nathan Jacobson's books possess a conceptual and theoretical orientation, and in addition to their value as classroom texts, they serve as valuable references.Volume I explores all of the topics typically covered in undergraduate courses, including the rudiments of set theory, group theory, rings, modules, Galois theory, polynomials, linear algebra, and associative algebra. Its comprehensive treatment extends to such rigorous topics as L

  13. Lie algebras

    CERN Document Server

    Jacobson, Nathan

    1979-01-01

    Lie group theory, developed by M. Sophus Lie in the 19th century, ranks among the more important developments in modern mathematics. Lie algebras comprise a significant part of Lie group theory and are being actively studied today. This book, by Professor Nathan Jacobson of Yale, is the definitive treatment of the subject and can be used as a textbook for graduate courses.Chapter I introduces basic concepts that are necessary for an understanding of structure theory, while the following three chapters present the theory itself: solvable and nilpotent Lie algebras, Carlan's criterion and its

  14. Linear algebra

    CERN Document Server

    Stoll, R R

    1968-01-01

    Linear Algebra is intended to be used as a text for a one-semester course in linear algebra at the undergraduate level. The treatment of the subject will be both useful to students of mathematics and those interested primarily in applications of the theory. The major prerequisite for mastering the material is the readiness of the student to reason abstractly. Specifically, this calls for an understanding of the fact that axioms are assumptions and that theorems are logical consequences of one or more axioms. Familiarity with calculus and linear differential equations is required for understand

  15. Ordered Algebraic Structures : the 1991 Conrad Conference

    CERN Document Server

    Holland, C

    1993-01-01

    This volume contains a selection of papers presented at the 1991 Conrad Conference, held in Gainesville, Florida, USA, in December, 1991. Together, these give an overview of some recent advances in the area of ordered algebraic structures. The first part of the book is devoted to ordered permutation groups and universal, as well as model-theoretic, aspects. The second part deals with material variously connected to general topology and functional analysis. Collectively, the contents of the book demonstrate the wide applicability of order-theoretic methods, and how ordered algebraic structures have connections with many research disciplines. For researchers and graduate students whose work involves ordered algebraic structures.

  16. Algebraic Stacks

    Indian Academy of Sciences (India)

    Tomás L Gómez

    2001-02-01

    This is an expository article on the theory of algebraic stacks. After introducing the general theory, we concentrate in the example of the moduli stack of vector bundles, giving a detailed comparison with the moduli scheme obtained via geometric invariant theory.

  17. Mathematical foundations of thermodynamics

    CERN Document Server

    Giles, R; Stark, M; Ulam, S

    2013-01-01

    Mathematical Foundations of Thermodynamics details the core concepts of the mathematical principles employed in thermodynamics. The book discusses the topics in a way that physical meanings are assigned to the theoretical terms. The coverage of the text includes the mechanical systems and adiabatic processes; topological considerations; and equilibrium states and potentials. The book also covers Galilean thermodynamics; symmetry in thermodynamics; and special relativistic thermodynamics. The book will be of great interest to practitioners and researchers of disciplines that deal with thermodyn

  18. Extending Characters on Fix Algebras

    CERN Document Server

    Wagner, Stefan

    2011-01-01

    A dynamical system is a triple $(A,G,\\alpha)$, consisting of a unital locally convex algebra $A$, a topological group $G$ and a group homomorphism $\\alpha:G\\rightarrow\\Aut(A)$, which induces a continuous action of $G$ on $A$. Further, a unital locally convex algebra $A$ is called continuous inverse algebra, or CIA for short, if its group of units $A^{\\times}$ is open in $A$ and the inversion $\\iota:A^{\\times}\\rightarrow A^{\\times},\\,\\,\\,a\\mapsto a^{-1}$ is continuous at $1_A$. For a compact manifold $M$, the Fr\\'echet algebra of smooth functions $C^{\\infty}(M)$ is the prototype of such a continuous inverse algebra. We show that if $A$ is a complete commutative CIA, $G$ a compact group and $(A,G,\\alpha)$ a dynamical system, then each character of $B:=A^G$ can be extended to a character of $A$. In particular, the natural map on the level of the corresponding spectra $\\Gamma_A\\rightarrow\\Gamma_B$, $\\chi\\mapsto\\chi_{\\mid B}$ is surjective.

  19. Embedding the bicyclic semigroup into countably compact topological semigroups

    CERN Document Server

    Banakh, Taras; Gutik, Oleg

    2008-01-01

    We study algebraic and topological properties of topological semigroups containing a copy of the bicyclic semigroup $C(p,q)$. We prove that each topological semigroup $S$ with pseudocompact square contains no dense copy of $C(p,q)$. On the other hand, we construct a consistent example of a Tychonov countably compact semigroup containing a copy of $C(p,q)$.

  20. Central simple Poisson algebras

    Institute of Scientific and Technical Information of China (English)

    SU Yucai; XU Xiaoping

    2004-01-01

    Poisson algebras are fundamental algebraic structures in physics and symplectic geometry. However, the structure theory of Poisson algebras has not been well developed. In this paper, we determine the structure of the central simple Poisson algebras related to locally finite derivations, over an algebraically closed field of characteristic zero.The Lie algebra structures of these Poisson algebras are in general not finitely-graded.

  1. SATA: Stochastic Algebraic Topology and Applications

    Science.gov (United States)

    2012-09-01

    on a significance test for the LASSO . [7] This paper describes a testing procedure that can be used to decided when to stop regularizing in a...machine learning algorithm such as the LASSO . The test explicitly adapts to the searching through model space, hence its null distribution is properly... regression , which is ongoing work with a student (Joshua Loftus, Ph. D. Stanford). The approach also generalizes to arbitrary seminorm penalties such

  2. Algebraic Topology and Neuroscientific Data - Neovision 2

    Science.gov (United States)

    2009-02-01

    We selected from them a much smaller set of high activity neurons. From the spike trains attached to these neurons, we built point clouds using various...metrics on the space of spike trains. Finally, we applied the PLEX software for computing persistent homology on point clouds , using many different

  3. Foundations of Galois theory

    CERN Document Server

    Postnikov, MM; Stark, M; Ulam, S

    1962-01-01

    Foundations of Galois Theory is an introduction to group theory, field theory, and the basic concepts of abstract algebra. The text is divided into two parts. Part I presents the elements of Galois Theory, in which chapters are devoted to the presentation of the elements of field theory, facts from the theory of groups, and the applications of Galois Theory. Part II focuses on the development of general Galois Theory and its use in the solution of equations by radicals. Equations that are solvable by radicals; the construction of equations solvable by radicals; and the unsolvability by radica

  4. C*-algebras and operator theory

    CERN Document Server

    Murphy, Gerald J

    1990-01-01

    This book constitutes a first- or second-year graduate course in operator theory. It is a field that has great importance for other areas of mathematics and physics, such as algebraic topology, differential geometry, and quantum mechanics. It assumes a basic knowledge in functional analysis but no prior acquaintance with operator theory is required.

  5. Nonmonotonic logics and algebras

    Institute of Scientific and Technical Information of China (English)

    CHAKRABORTY Mihir Kr; GHOSH Sujata

    2008-01-01

    Several nonmonotonie logic systems together with their algebraic semantics are discussed. NM-algebra is defined.An elegant construction of an NM-algebra starting from a Boolean algebra is described which gives rise to a few interesting algebraic issues.

  6. Algebraic theory of molecules

    CERN Document Server

    Iachello, F

    1995-01-01

    1. The Wave Mechanics of Diatomic Molecules. 2. Summary of Elements of Algebraic Theory. 3. Mechanics of Molecules. 4. Three-Body Algebraic Theory. 5. Four-Body Algebraic Theory. 6. Classical Limit and Coordinate Representation. 8. Prologue to the Future. Appendices. Properties of Lie Algebras; Coupling of Algebras; Hamiltonian Parameters

  7. On discrete Zariski-dense subgroups of algebraic groups

    CERN Document Server

    Winkelmann, J

    1993-01-01

    We investigate for which linear-algebraic groups (over the complex numbers or any local field) there exists subgroups which are dense in the Zariski topology, but discrete in the Hausdorff topology. For instance, such subgroups exist for every non-solvable complex group.

  8. Differential geometry and mathematical physics part II fibre bundles, topology and gauge fields

    CERN Document Server

    Rudolph, Gerd

    2017-01-01

    The book is devoted to the study of the geometrical and topological structure of gauge theories. It consists of the following three building blocks:- Geometry and topology of fibre bundles,- Clifford algebras, spin structures and Dirac operators,- Gauge theory.Written in the style of a mathematical textbook, it combines a comprehensive presentation of the mathematical foundations with a discussion of a variety of advanced topics in gauge theory.The first building block includes a number of specific topics, like invariant connections, universal connections, H-structures and the Postnikov approximation of classifying spaces.Given the great importance of Dirac operators in gauge theory, a complete proof of the Atiyah-Singer Index Theorem is presented. The gauge theory part contains the study of Yang-Mills equations (including the theory of instantons and the classical stability analysis), the discussion of various models with matter fields (including magnetic monopoles, the Seiberg-Witten model and dimensional r...

  9. Topological and geometric measurements of force chain structure

    CERN Document Server

    Giusti, Chad; Owens, Eli T; Daniels, Karen E; Bassett, Danielle S

    2016-01-01

    Developing quantitative methods for characterizing structural properties of force chains in densely packed granular media is an important step toward understanding or predicting large-scale physical properties of a packing. A promising framework in which to develop such methods is network science, which can be used to translate particle locations and force contacts to a graph in which particles are represented by nodes and forces between particles are represented by weighted edges. Applying network-based community-detection techniques to extract force chains opens the door to developing statistics of force chain structure, with the goal of identifying shape differences across packings, and providing a foundation on which to build predictions of bulk material properties from mesoscale network features. Here, we discuss a trio of related but fundamentally distinct measurements of mesoscale structure of force chains in arbitrary 2D packings, including a novel statistic derived using tools from algebraic topology...

  10. Noncommutative Lattices and the Algebras of Their Continuous Functions

    Science.gov (United States)

    Ercolessi, Elisa; Landi, Giovanni; Teotonio-Sobrinho, Paulo

    Recently a new kind of approximation to continuum topological spaces has been introduced, the approximating spaces being partially ordered sets (posets) with a finite or at most a countable number of points. The partial order endows a poset with a nontrivial non-Hausdorff topology. Their ability to reproduce important topological information of the continuum has been the main motivation for their use in quantum physics. Posets are truly noncommutative spaces, or noncommutative lattices, since they can be realized as structure spaces of noncommutative C*-algebras. These noncommutative algebras play the same rôle as the algebra of continuous functions { C}(M) on a Hausdorff topological space M and can be thought of as algebras of operator valued functions on posets. In this article, we will review some mathematical results that establish a duality between finite posets and a certain class of C*-algebras. We will see that the algebras in question are all postliminal approximately finite dimensional (AF) algebras.

  11. Multi-Matrix Models and Noncommutative Frobenius Algebras Obtained from Symmetric Groups and Brauer Algebras

    Science.gov (United States)

    Kimura, Yusuke

    2015-07-01

    It has been understood that correlation functions of multi-trace operators in SYM can be neatly computed using the group algebra of symmetric groups or walled Brauer algebras. On the other hand, such algebras have been known to construct 2D topological field theories (TFTs). After reviewing the construction of 2D TFTs based on symmetric groups, we construct 2D TFTs based on walled Brauer algebras. In the construction, the introduction of a dual basis manifests a similarity between the two theories. We next construct a class of 2D field theories whose physical operators have the same symmetry as multi-trace operators constructed from some matrices. Such field theories correspond to non-commutative Frobenius algebras. A matrix structure arises as a consequence of the noncommutativity. Correlation functions of the Gaussian complex multi-matrix models can be translated into correlation functions of the two-dimensional field theories.

  12. Multi-matrix models and Noncommutative Frobenius algebras obtained form symmetric groups and Brauer algebras

    CERN Document Server

    Kimura, Yusuke

    2014-01-01

    It has been understood that correlation functions of multi-trace operators in N=4 SYM can be neatly computed using the group algebra of symmetric groups or walled Brauer algebras. On the other hand such algebras have been known to construct 2D topological field theories (TFTs). After reviewing the construction of 2D TFTs based on symmetric groups, we construct 2D TFTs based on walled Brauer algebras. In the construction, the introduction of a dual basis manifests a similarity between the two theories. We next construct a class of 2D field theories whose physical operators have the same symmetry as multi-trace operators constructed from some matrices. Such field theories correspond to non-commutative Frobenius algebras. A matrix structure arises as a consequence of the noncommutativity. Correlation functions of the Gaussian complex multi-matrix models can be translated into correlation functions of the two-dimensional field theories.

  13. Quantum teleportation and Birman-Murakami-Wenzl algebra

    Science.gov (United States)

    Zhang, Kun; Zhang, Yong

    2017-02-01

    In this paper, we investigate the relationship of quantum teleportation in quantum information science and the Birman-Murakami-Wenzl (BMW) algebra in low-dimensional topology. For simplicity, we focus on the two spin-1/2 representation of the BMW algebra, which is generated by both the Temperley-Lieb projector and the Yang-Baxter gate. We describe quantum teleportation using the Temperley-Lieb projector and the Yang-Baxter gate, respectively, and study teleportation-based quantum computation using the Yang-Baxter gate. On the other hand, we exploit the extended Temperley-Lieb diagrammatical approach to clearly show that the tangle relations of the BMW algebra have a natural interpretation of quantum teleportation. Inspired by this interpretation, we construct a general representation of the tangle relations of the BMW algebra and obtain interesting representations of the BMW algebra. Therefore, our research sheds a light on a link between quantum information science and low-dimensional topology.

  14. Remarks on the continuous L^2-cohomology of von Neumann algebras

    CERN Document Server

    Alekseev, Vadim

    2011-01-01

    We prove that norm continuous derivations from a von Neumann algebra into the algebra of operators affiliated with its tensor square are automatically continuous for the strong operator topology as well. From this we rederive previously known computational results regarding the first continuous L^2-Betti number for von Neumann algebras, and furthermore prove that it vanishes whenever the von Neumann algebra in question is a property (T) factor.

  15. Noncommutative correspondence categories, simplicial sets and pro $C^*$-algebras

    CERN Document Server

    Mahanta, Snigdhayan

    2009-01-01

    We show that a $KK$-equivalence between two unital $C^*$-algebras produces a correspondence between their DG categories of finitely generated projective modules which is a $\\mathbf{K}_*$-equivalence, where $\\mathbf{K}_*$ is Waldhausen's $K$-theory. We discuss some connections with strong deformations of $C^*$-algebras and homological dualities. Motivated by a construction of Cuntz we associate a pro $C^*$-algebra to any simplicial set. We show that this construction is functorial with respect to proper maps of simplicial sets, that we define, and also respects proper homotopy equivalences. We propose to develop a noncommutative proper homotopy theory in the context of topological algebras.

  16. Three Hopf algebras and their common simplicial and categorical background

    CERN Document Server

    Gálvez-Carrillo, Imma; Tonks, Andrew

    2016-01-01

    We consider three a priori totally different setups for Hopf algebras from number theory, mathematical physics and algebraic topology. These are the Hopf algebras of Goncharov for multiple zeta values, that of Connes--Kreimer for renormalization, and a Hopf algebra constructed by Baues to study double loop spaces. We show that these examples can be successively unified by considering simplicial objects, cooperads with multiplication and Feynman categories at the ultimate level. These considerations open the door to new constructions and reinterpretation of known constructions in a large common framework.

  17. Solvable quadratic Lie algebras

    Institute of Scientific and Technical Information of China (English)

    ZHU; Linsheng

    2006-01-01

    A Lie algebra endowed with a nondegenerate, symmetric, invariant bilinear form is called a quadratic Lie algebra. In this paper, the author investigates the structure of solvable quadratic Lie algebras, in particular, the solvable quadratic Lie algebras whose Cartan subalgebras consist of semi-simple elements, the author presents a procedure to construct a class of quadratic Lie algebras from the point of view of cohomology and shows that all solvable quadratic Lie algebras can be obtained in this way.

  18. Symmetric Boolean Algebras

    OpenAIRE

    DÍaz, R.; Rivas, M.

    2010-01-01

    In order to study Boolean algebras in the category of vector spaces we introduce a prop whose algebras in set are Boolean algebras. A probabilistic logical interpretation for linear Boolean algebras is provided. An advantage of defining Boolean algebras in the linear category is that we are able to study its symmetric powers. We give explicit formulae for products in symmetric and cyclic Boolean algebras of various dimensions and formulate symmetric forms of the inclusion-exclusion principle.

  19. Higher algebraic K-theory an overview

    CERN Document Server

    Lluis-Puebla, Emilio; Gillet, Henri; Soulé, Christophe; Snaith, Victor

    1992-01-01

    This book is a general introduction to Higher Algebraic K-groups of rings and algebraic varieties, which were first defined by Quillen at the beginning of the 70's. These K-groups happen to be useful in many different fields, including topology, algebraic geometry, algebra and number theory. The goal of this volume is to provide graduate students, teachers and researchers with basic definitions, concepts and results, and to give a sampling of current directions of research. Written by five specialists of different parts of the subject, each set of lectures reflects the particular perspective ofits author. As such, this volume can serve as a primer (if not as a technical basic textbook) for mathematicians from many different fields of interest.

  20. Piecewise-Koszul algebras

    Institute of Scientific and Technical Information of China (English)

    2007-01-01

    It is a small step toward the Koszul-type algebras. The piecewise-Koszul algebras are,in general, a new class of quadratic algebras but not the classical Koszul ones, simultaneously they agree with both the classical Koszul and higher Koszul algebras in special cases. We give a criteria theorem for a graded algebra A to be piecewise-Koszul in terms of its Yoneda-Ext algebra E(A), and show an A∞-structure on E(A). Relations between Koszul algebras and piecewise-Koszul algebras are discussed. In particular, our results are related to the third question of Green-Marcos.

  1. Putting Algebra Progress Monitoring into Practice: Insights from the Field

    Science.gov (United States)

    Foegen, Anne; Morrison, Candee

    2010-01-01

    Algebra progress monitoring is a research-based practice that extends a long history of research in curriculum-based measurement (CBM). This article describes the theoretical foundations and research evidence for algebra progress monitoring, along with critical features of the practice. A detailed description of one practitioner's implementation…

  2. Corporate Foundations

    DEFF Research Database (Denmark)

    Herlin, Heidi; Thusgaard Pedersen, Janni

    2013-01-01

    This paper aims to explore the potential of Danish corporate foundations as boundary organizations facilitating relationships between their founding companies and non-governmental organizations (NGOs). Hitherto, research has been silent about the role of corporate foundations in relation to cross......-sector partnerships. The results of this paper are based on interviews, participant observations, and organizational documents from a 19-month empirical study of a Danish corporate foundation. Findings suggest that corporate foundations have potential to act as boundary organizations and facilitate collaborative...... action between business and NGOs through convening, translation, collaboration, and mediation. Our study provides valuable insights into the tri-part relationship of company foundation NGO by discussing the implications of corporate foundations taking an active role in the realm of corporate social...

  3. Universal algebra

    CERN Document Server

    Grätzer, George

    1979-01-01

    Universal Algebra, heralded as ". . . the standard reference in a field notorious for the lack of standardization . . .," has become the most authoritative, consistently relied on text in a field with applications in other branches of algebra and other fields such as combinatorics, geometry, and computer science. Each chapter is followed by an extensive list of exercises and problems. The "state of the art" account also includes new appendices (with contributions from B. Jónsson, R. Quackenbush, W. Taylor, and G. Wenzel) and a well-selected additional bibliography of over 1250 papers and books which makes this a fine work for students, instructors, and researchers in the field. "This book will certainly be, in the years to come, the basic reference to the subject." --- The American Mathematical Monthly (First Edition) "In this reviewer's opinion [the author] has more than succeeded in his aim. The problems at the end of each chapter are well-chosen; there are more than 650 of them. The book is especially sui...

  4. Yoneda algebras of almost Koszul algebras

    Indian Academy of Sciences (India)

    Zheng Lijing

    2015-11-01

    Let be an algebraically closed field, a finite dimensional connected (, )-Koszul self-injective algebra with , ≥ 2. In this paper, we prove that the Yoneda algebra of is isomorphic to a twisted polynomial algebra $A^!$ [ ; ] in one indeterminate of degree +1 in which $A^!$ is the quadratic dual of , is an automorphism of $A^!$, and = () for each $t \\in A^!$. As a corollary, we recover Theorem 5.3 of [2].

  5. Generalized exterior algebras

    CERN Document Server

    Marchuk, Nikolay

    2011-01-01

    Exterior algebras and differential forms are widely used in many fields of modern mathematics and theoretical physics. In this paper we define a notion of $N$-metric exterior algebra, which depends on $N$ matrices of structure constants. The usual exterior algebra (Grassmann algebra) can be considered as 0-metric exterior algebra. Clifford algebra can be considered as 1-metric exterior algebra. $N$-metric exterior algebras for $N\\geq2$ can be considered as generalizations of the Grassmann algebra and Clifford algebra. Specialists consider models of gravity that based on a mathematical formalism with two metric tensors. We hope that the considered in this paper 2-metric exterior algebra can be useful for development of this model in gravitation theory. Especially in description of fermions in presence of a gravity field.

  6. WEAKLY ALGEBRAIC REFLEXIVITY AND STRONGLY ALGEBRAIC REFLEXIVITY

    Institute of Scientific and Technical Information of China (English)

    TaoChangli; LuShijie; ChenPeixin

    2002-01-01

    Algebraic reflexivity introduced by Hadwin is related to linear interpolation. In this paper, the concepts of weakly algebraic reflexivity and strongly algebraic reflexivity which are also related to linear interpolation are introduced. Some properties of them are obtained and some relations between them revealed.

  7. Rigidification of algebras over essentially algebraic theories

    CERN Document Server

    Rosicky, J

    2012-01-01

    Badzioch and Bergner proved a rigidification theorem saying that each homotopy simplicial algebra is weakly equivalent to a simplicial algebra. The question is whether this result can be extended from algebraic theories to finite limit theories and from simplicial sets to more general monoidal model categories. We will present some answers to this question.

  8. On the topological interpretation of gravitational anomalies

    Science.gov (United States)

    Perrot, Denis

    2001-07-01

    We consider the mixed gravitational Yang-Mills anomaly as the coupling between the K-theory and K-homology of a C ∗-algebra crossed product. The index theorem of Connes-Moscovici allows to compute the Chern character of the K-cycle by local formulae involving connections and curvatures. It gives a topological interpretation to the anomaly, in the sense of noncommutative algebras.

  9. The Yoneda algebra of a K_2 algebra need not be another K_2 algebra

    OpenAIRE

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

    2008-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.

  10. Monotone complete C*-algebras and generic dynamics

    CERN Document Server

    Saitô, Kazuyuki

    2015-01-01

    This monograph is about monotone complete C*-algebras, their properties and the new classification theory. A self-contained introduction to generic dynamics is also included because of its important connections to these algebras. Our knowledge and understanding of monotone complete C*-algebras has been transformed in recent years. This is a very exciting stage in their development, with much discovered but with many mysteries to unravel. This book is intended to encourage graduate students and working mathematicians to attack some of these difficult questions. Each bounded, upward directed net of real numbers has a limit. Monotone complete algebras of operators have a similar property. In particular, every von Neumann algebra is monotone complete but the converse is false. Written by major contributors to this field, Monotone Complete C*-algebras and Generic Dynamics takes readers from the basics to recent advances. The prerequisites are a grounding in functional analysis, some point set topology and an eleme...

  11. Workshop on Commutative Algebra

    CERN Document Server

    Simis, Aron

    1990-01-01

    The central theme of this volume is commutative algebra, with emphasis on special graded algebras, which are increasingly of interest in problems of algebraic geometry, combinatorics and computer algebra. Most of the papers have partly survey character, but are research-oriented, aiming at classification and structural results.

  12. Probabilistic Concurrent Kleene Algebra

    Directory of Open Access Journals (Sweden)

    Annabelle McIver

    2013-06-01

    Full Text Available We provide an extension of concurrent Kleene algebras to account for probabilistic properties. The algebra yields a unified framework containing nondeterminism, concurrency and probability and is sound with respect to the set of probabilistic automata modulo probabilistic simulation. We use the resulting algebra to generalise the algebraic formulation of a variant of Jones' rely/guarantee calculus.

  13. Generalized Quantum Current Algebras

    Institute of Scientific and Technical Information of China (English)

    ZHAO Liu

    2001-01-01

    Two general families of new quantum-deformed current algebras are proposed and identified both as infinite Hopf family of algebras, a structure which enables one to define "tensor products" of these algebras. The standard quantum affine algebras turn out to be a very special case of the two algebra families, in which case the infinite Hopf family structure degenerates into a standard Hopf algebra. The relationship between the two algebraic families as well as thefr various special examples are discussed, and the free boson representation is also considered.

  14. The Onsager Algebra

    CERN Document Server

    El-Chaar, Caroline

    2012-01-01

    In this thesis, four realizations of the Onsager algebra are explored. We begin with its original definition as introduced by Lars Onsager. We then examine how the Onsager algebra can be presented as a Lie algebra with two generators and two relations. The third realization of the Onsager algebra consists of viewing it as an equivariant map algebra which then gives us the tools to classify its closed ideals. Finally, we examine the Onsager algebra as a subalgebra of the tetrahedron algebra. Using this fourth realization, we explicitly describe all its ideals.

  15. Modal Logics and Topological Semantics for Hybrid Systems

    Science.gov (United States)

    1997-06-01

    Propositional S4 in Cantor Space", manuscript, August 1995. [MT44] J. C. C. McKinsey and Alfred Tarski, "The Algebra of Topology", Annals of Mathematics 45...1944) 141-191. [MT46] J. C. C. McKinsey and Alfred Tarski, "On Closed Elements in Closure Algebras", Annals of Mathematics 47 (1946) 122

  16. Topological Completeness of First-Order Modal Logic

    NARCIS (Netherlands)

    S. Awodey; K. Kishida

    2012-01-01

    As McKinsey and Tarski [20] showed, the Stone representation theorem for Boolean algebras extends to algebras with operators to give topological semantics for (classical) propositional modal logic, in which the "necessity" operation is modeled by taking the interior of an arbitrary subset of a topol

  17. Geometric Algebra

    CERN Document Server

    Artin, E

    2011-01-01

    This classic text, written by one of the foremost mathematicians of the 20th century, is now available in a low-priced paperback edition. Exposition is centered on the foundations of affine geometry, the geometry of quadratic forms, and the structure of the general linear group. Context is broadened by the inclusion of projective and symplectic geometry and the structure of symplectic and orthogonal groups.

  18. Perturbations of planar algebras

    CERN Document Server

    Das, Paramita; Gupta, Ved Prakash

    2010-01-01

    We introduce the concept of {\\em weight} of a planar algebra $P$ and construct a new planar algebra referred as the {\\em perturbation of $P$} by the weight. We establish a one-to-one correspondence between pivotal structures on 2-categories and perturbations of planar algebras by weights. To each bifinite bimodule over $II_1$-factors, we associate a {\\em bimodule planar algebra} bimodule corresponds naturally with sphericality of the bimodule planar algebra. As a consequence of this, we reproduce an extension of Jones' theorem (of associating 'subfactor planar algebras' to extremal subfactors). Conversely, given a bimodule planar algebra, we construct a bifinite bimodule whose associated bimodule planar algebra is the one which we start with using perturbations and Jones-Walker-Shlyakhtenko-Kodiyalam-Sunder method of reconstructing an extremal subfactor from a subfactor planar algebra. We show that the perturbation class of a bimodule planar algebra contains a unique spherical unimodular bimodule planar algeb...

  19. Topological nodal line semimetals

    Science.gov (United States)

    Fang, Chen; Weng, Hongming; Dai, Xi; Fang, Zhong

    2016-11-01

    We review the recent, mainly theoretical, progress in the study of topological nodal line semimetals in three dimensions. In these semimetals, the conduction and the valence bands cross each other along a one-dimensional curve in the three-dimensional Brillouin zone, and any perturbation that preserves a certain symmetry group (generated by either spatial symmetries or time-reversal symmetry) cannot remove this crossing line and open a full direct gap between the two bands. The nodal line(s) is hence topologically protected by the symmetry group, and can be associated with a topological invariant. In this review, (i) we enumerate the symmetry groups that may protect a topological nodal line; (ii) we write down the explicit form of the topological invariant for each of these symmetry groups in terms of the wave functions on the Fermi surface, establishing a topological classification; (iii) for certain classes, we review the proposals for the realization of these semimetals in real materials; (iv) we discuss different scenarios that when the protecting symmetry is broken, how a topological nodal line semimetal becomes Weyl semimetals, Dirac semimetals, and other topological phases; and (v) we discuss the possible physical effects accessible to experimental probes in these materials. Project partially supported by the National Key Research and Development Program of China (Grant Nos. 2016YFA0302400 and 2016YFA0300604), partially by the National Natural Science Foundation of China (Grant Nos. 11274359 and 11422428), the National Basic Research Program of China (Grant No. 2013CB921700), and the “Strategic Priority Research Program (B)” of the Chinese Academy of Sciences (Grant No. XDB07020100).

  20. Chiral Determinant Formulae and Subsingular Vectors for the N=2 Superconformal Algebras

    CERN Document Server

    Gato-Rivera, Beatriz; Gato-Rivera, Beatriz; Rosado, Jose Ignacio

    1997-01-01

    We derive conjectures for the N=2 "chiral" determinant formulae of the Topological algebra, the Antiperiodic NS algebra, and the Periodic R algebra, corresponding to incomplete Verma modules built on chiral topological primaries, chiral and antichiral NS primaries, and Ramond ground states, respectively. Our method is based on the analysis of the singular vectors in chiral Verma modules and their spectral flow symmetries, together with some computer exploration and some consistency checks. In addition, and as a consequence, we uncover the existence of subsingular vectors in these algebras, giving examples (subsingular vectors are non-highest-weight null vectors which are not descendants of any highest-weight singular vectors).

  1. e-FILTERS OF MS-ALGEBRAS

    Institute of Scientific and Technical Information of China (English)

    M.Sambasiva RAO

    2013-01-01

    The notion of e-filters is introduced in an MS-algebra and characterized.The concept of D-filters is introduced and a set of equivalent conditions under which every D-filter is an e-filter are given.The properties of the space of all prime e-filters of an MS-algebra are observed.The concept of D-prime filters is introduced and then a set of equivalent conditions are derived for a prime e-filter to become a D-prime filter in topological terms.

  2. Yangians and transvector algebras

    OpenAIRE

    Molev, A. I.

    1998-01-01

    Olshanski's centralizer construction provides a realization of the Yangian for the Lie algebra gl(n) as a subalgebra in the projective limit of a chain of centralizers in the universal enveloping algebras. We give a modified version of this construction based on a quantum analog of Sylvester's theorem. We then use it to get an algebra homomorphism from the Yangian to the transvector algebra associated with the general linear Lie algebras. The results are applied to identify the elementary rep...

  3. Foundation Structure

    DEFF Research Database (Denmark)

    2009-01-01

    Method of installing a bucket foundation structure comprising one, two, three or more skirts, into soils in a controlled manner. The method comprises two stages: a first stage being a design phase and the second stage being an installation phase. In the first stage, design parameters are determined...... relating to the loads on the finished foundation structure; soil profile on the location; allowable installation tolerances, which parameters are used to estimate the minimum diameter and length of the skirts of the bucket. The bucket size is used to simulate load situations and penetration into foundation...

  4. Wronski's Foundations of Mathematics.

    Science.gov (United States)

    Wagner, Roi

    2016-09-01

    Argument This paper reconstructs Wronski's philosophical foundations of mathematics. It uses his critique of Lagrange's algebraic analysis as a vignette to introduce the problems that he raised, and argues that these problems have not been properly appreciated by his contemporaries and subsequent commentators. The paper goes on to reconstruct Wronski's mathematical law of creation and his notions of theory and techne, in order to put his objections to Lagrange in their philosophical context. Finally, Wronski's proof of his universal law (the expansion of a given function by any series of functions) is reviewed in terms of the above reconstruction. I argue that Wronski's philosophical approach poses an alternative to the views of his contemporary mainstream mathematicians, which brings up the contingency of their choices, and bridges the foundational concerns of early modernity with those of the twentieth-century foundations crisis. I also argue that Wronski's views may be useful to contemporary philosophy of mathematical practice, if they are read against their metaphysical grain.

  5. Glaucoma Foundation

    Science.gov (United States)

    ... IMPORTANT RESEARCH FINDING First Cellular Model of Exfoliation Glaucoma Research is advancing in the quest to find ... cure for exfoliation syndrome and its associated exfoliation glaucoma, the current focus of The Glaucoma Foundation. Exfoliation ...

  6. Piecewise-Koszul algebras

    Institute of Scientific and Technical Information of China (English)

    Jia-feng; Lü

    2007-01-01

    [1]Priddy S.Koszul resolutions.Trans Amer Math Soc,152:39-60 (1970)[2]Beilinson A,Ginszburg V,Soergel W.Koszul duality patterns in representation theory.J Amer Math Soc,9:473-525 (1996)[3]Aquino R M,Green E L.On modules with linear presentations over Koszul algebras.Comm Algebra,33:19-36 (2005)[4]Green E L,Martinez-Villa R.Koszul and Yoneda algebras.Representation theory of algebras (Cocoyoc,1994).In:CMS Conference Proceedings,Vol 18.Providence,RI:American Mathematical Society,1996,247-297[5]Berger R.Koszulity for nonquadratic algebras.J Algebra,239:705-734 (2001)[6]Green E L,Marcos E N,Martinez-Villa R,et al.D-Koszul algebras.J Pure Appl Algebra,193:141-162(2004)[7]He J W,Lu D M.Higher Koszul Algebras and A-infinity Algebras.J Algebra,293:335-362 (2005)[8]Green E L,Marcos E N.δ-Koszul algebras.Comm Algebra,33(6):1753-1764 (2005)[9]Keller B.Introduction to A-infinity algebras and modules.Homology Homotopy Appl,3:1-35 (2001)[10]Green E L,Martinez-Villa R,Reiten I,et al.On modules with linear presentations.J Algebra,205(2):578-604 (1998)[11]Keller B.A-infinity algebras in representation theory.Contribution to the Proceedings of ICRA Ⅸ.Beijing:Peking University Press,2000[12]Lu D M,Palmieri J H,Wu Q S,et al.A∞-algebras for ring theorists.Algebra Colloq,11:91-128 (2004)[13]Weibel C A.An Introduction to homological algebra.Cambridge Studies in Avanced Mathematics,Vol 38.Cambridge:Cambridge University Press,1995

  7. Perspectives in Analysis, Geometry, and Topology

    CERN Document Server

    Itenberg, I V; Passare, Mikael

    2012-01-01

    The articles in this volume are invited papers from the Marcus Wallenberg symposium and focus on research topics that bridge the gap between analysis, geometry, and topology. The encounters between these three fields are widespread and often provide impetus for major breakthroughs in applications. Topics include new developments in low dimensional topology related to invariants of links and three and four manifolds; Perelman's spectacular proof of the Poincare conjecture; and the recent advances made in algebraic, complex, symplectic, and tropical geometry.

  8. Foundation Structure

    OpenAIRE

    Schakenda, Bruno; Nielsen, Søren Andreas; Ibsen, Lars Bo

    2009-01-01

    Method of installing a bucket foundation structure comprising one, two, three or more skirts, into soils in a controlled manner. The method comprises two stages: a first stage being a design phase and the second stage being an installation phase. In the first stage, design parameters are determined relating to the loads on the finished foundation structure; soil profile on the location; allowable installation tolerances, which parameters are used to estimate the minimum diameter and length of...

  9. Topological insulators and topological superconductors

    CERN Document Server

    Bernevig, Andrei B

    2013-01-01

    This graduate-level textbook is the first pedagogical synthesis of the field of topological insulators and superconductors, one of the most exciting areas of research in condensed matter physics. Presenting the latest developments, while providing all the calculations necessary for a self-contained and complete description of the discipline, it is ideal for graduate students and researchers preparing to work in this area, and it will be an essential reference both within and outside the classroom. The book begins with simple concepts such as Berry phases, Dirac fermions, Hall conductance and its link to topology, and the Hofstadter problem of lattice electrons in a magnetic field. It moves on to explain topological phases of matter such as Chern insulators, two- and three-dimensional topological insulators, and Majorana p-wave wires. Additionally, the book covers zero modes on vortices in topological superconductors, time-reversal topological superconductors, and topological responses/field theory and topolo...

  10. Calculations on Lie Algebra of the Group of Affine Symplectomorphisms

    Directory of Open Access Journals (Sweden)

    Zuhier Altawallbeh

    2017-01-01

    Full Text Available We find the image of the affine symplectic Lie algebra gn from the Leibniz homology HL⁎(gn to the Lie algebra homology H⁎Lie(gn. The result shows that the image is the exterior algebra ∧⁎(wn generated by the forms wn=∑i=1n(∂/∂xi∧∂/∂yi. Given the relevance of Hochschild homology to string topology and to get more interesting applications, we show that such a map is of potential interest in string topology and homological algebra by taking into account that the Hochschild homology HH⁎-1(U(gn is isomorphic to H⁎-1Lie(gn,U(gnad. Explicitly, we use the alternation of multilinear map, in our elements, to do certain calculations.

  11. Topological Methods for Visualization

    Energy Technology Data Exchange (ETDEWEB)

    Berres, Anne Sabine [Los Alamos National Lab. (LANL), Los Alamos, NM (United Stat

    2016-04-07

    This slide presentation describes basic topological concepts, including topological spaces, homeomorphisms, homotopy, betti numbers. Scalar field topology explores finding topological features and scalar field visualization, and vector field topology explores finding topological features and vector field visualization.

  12. Anyons and matrix product operator algebras

    Science.gov (United States)

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

    2017-03-01

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

  13. 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

  14. Linear associative algebras

    CERN Document Server

    Abian, Alexander

    1973-01-01

    Linear Associative Algebras focuses on finite dimensional linear associative algebras and the Wedderburn structure theorems.The publication first elaborates on semigroups and groups, rings and fields, direct sum and tensor product of rings, and polynomial and matrix rings. The text then ponders on vector spaces, including finite dimensional vector spaces and matrix representation of vectors. The book takes a look at linear associative algebras, as well as the idempotent and nilpotent elements of an algebra, ideals of an algebra, total matrix algebras and the canonical forms of matrices, matrix

  15. Clifford Algebra with Mathematica

    CERN Document Server

    Aragon-Camarasa, G; Aragon, J L; Rodriguez-Andrade, M A

    2008-01-01

    The Clifford algebra of a n-dimensional Euclidean vector space provides a general language comprising vectors, complex numbers, quaternions, Grassman algebra, Pauli and Dirac matrices. In this work, a package for Clifford algebra calculations for the computer algebra program Mathematica is introduced through a presentation of the main ideas of Clifford algebras and illustrative examples. This package can be a useful computational tool since allows the manipulation of all these mathematical objects. It also includes the possibility of visualize elements of a Clifford algebra in the 3-dimensional space.

  16. Normed BCI-algebras

    Institute of Scientific and Technical Information of China (English)

    PENG Jia-yin

    2011-01-01

    The notions of norm and distance in BCI-algebras are introduced,and some basic properties in normed BCI-algebras are given.It is obtained that the isomorphic(homomorphic)image and inverse image of a normed BCI-algebra are still normed BCI-algebras.The relations of normaled properties between BCI-algebra and Cartesian product of BCIalgebras are investigated.The limit notion of sequence of points in normed BCI-algebras is introduced,and its related properties are investigated.

  17. 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.

  18. The universal envelope of the topological closed string BRST-complex

    CERN Document Server

    Grosse, H; Grosse, Harald; Schlesinger, Karl-Georg

    2004-01-01

    We construct a universal envelope for any Poisson- and Gerstenhaber algebra. While the deformation theory of Poisson algebras seems to be partially trivial, results from string- and M-theory suggest a rich deformation theory of Gerstenhaber algebras. We apply our construction in this case to well known questions on the topological closed string BRST-complex. Finally, we find a similar algebraic structure, as for the universal envelope, in the SU(2)-WZW model.

  19. Quasi hope algebras, group cohomology and orbifold models

    Science.gov (United States)

    Dijkgraaf, R.; Pasquier, V.; Roche, P.

    1991-01-01

    We construct non trivial quasi Hopf algebras associated to any finite group G and any element of H3( G, U(1)). We analyze in details the set of representations of these algebras and show that we recover the main interesting datas attached to particular orbifolds of Rational Conformal Field Theory or equivalently to the topological field theories studied by R. Dijkgraaf and E. Witten. This leads us to the construction of the R-matrix structure in non abelian RCFT orbifold models.

  20. Pawlak algebra and approximate structure on fuzzy lattice.

    Science.gov (United States)

    Zhuang, Ying; Liu, Wenqi; Wu, Chin-Chia; Li, Jinhai

    2014-01-01

    The aim of this paper is to investigate the general approximation structure, weak approximation operators, and Pawlak algebra in the framework of fuzzy lattice, lattice topology, and auxiliary ordering. First, we prove that the weak approximation operator space forms a complete distributive lattice. Then we study the properties of transitive closure of approximation operators and apply them to rough set theory. We also investigate molecule Pawlak algebra and obtain some related properties.

  1. Hom-alternative algebras and Hom-Jordan algebras

    CERN Document Server

    Makhlouf, Abdenacer

    2009-01-01

    The purpose of this paper is to introduce Hom-alternative algebras and Hom-Jordan algebras. We discuss some of their properties and provide construction procedures using ordinary alternative algebras or Jordan algebras. Also, we show that a polarization of Hom-associative algebra leads to Hom-Jordan algebra.

  2. Cellularity of diagram algebras as twisted semigroup algebras

    CERN Document Server

    Wilcox, Stewart

    2010-01-01

    The Temperley-Lieb and Brauer algebras and their cyclotomic analogues, as well as the partition algebra, are all examples of twisted semigroup algebras. We prove a general theorem about the cellularity of twisted semigroup algebras of regular semigroups. This theorem, which generalises a recent result of East about semigroup algebras of inverse semigroups, allows us to easily reproduce the cellularity of these algebras.

  3. Arrangement Computation for Planar Algebraic Curves

    CERN Document Server

    Berberich, Eric; Kobel, Alexander; Sagraloff, Michael

    2011-01-01

    We present a new certified and complete algorithm to compute arrangements of real planar algebraic curves. Our algorithm provides a geometric-topological analysis of the decomposition of the plane induced by a finite number of algebraic curves in terms of a cylindrical algebraic decomposition of the plane. Compared to previous approaches, we improve in two main aspects: Firstly, we significantly reduce the amount of exact operations, that is, our algorithms only uses resultant and gcd as purely symbolic operations. Secondly, we introduce a new hybrid method in the lifting step of our algorithm which combines the usage of a certified numerical complex root solver and information derived from the resultant computation. Additionally, we never consider any coordinate transformation and the output is also given with respect to the initial coordinate system. We implemented our algorithm as a prototypical package of the C++-library CGAL. Our implementation exploits graphics hardware to expedite the resultant and gcd...

  4. Renormalization Hopf algebras and combinatorial groups

    OpenAIRE

    Frabetti, Alessandra

    2008-01-01

    International audience; These are the notes of five lectures given at the Summer School {\\em Geometric and Topological Methods for Quantum Field Theory}, held in Villa de Leyva (Colombia), July 2--20, 2007. The lectures are meant for graduate or almost graduate students in physics or mathematics. They include references, many examples and some exercices. The content is the following. The first lecture is a short introduction to algebraic and proalgebraic groups, based on some examples of grou...

  5. Foundations of software technology and theoretical computer science

    Energy Technology Data Exchange (ETDEWEB)

    Madhavan, C.E.V. (Indian Inst. of Science, Bangalore (IN))

    1990-01-01

    The papers in this book report on foundations of software technology and theoretical computer science project research results. The authors report on algorithmics: design and analysis of graph, geometric, algebraic and VLSI algorithms; data structures; average analysis; complexity theory; parallel parsing; concurrency; algebraic semantics, event structures; logic programming; algebraic properties, semantics; and software technology: program transformations, algebraic methods. These results together with the formal techniques employed to present them reflect current trends pursued by research groups around the world. The papers treat their topics by reviewing existing results, developing and demonstrating new techniques and suggesting further directions for research.

  6. Topological Rankings in Communication Networks

    DEFF Research Database (Denmark)

    Aabrandt, Andreas; Hansen, Vagn Lundsgaard; Træholt, Chresten

    2015-01-01

    In the theory of communication the central problem is to study how agents exchange information. This problem may be studied using the theory of connected spaces in topology, since a communication network can be modelled as a topological space such that agents can communicate if and only...... if they belong to the same path connected component of that space. In order to study combinatorial properties of such a communication network, notions from algebraic topology are applied. This makes it possible to determine the shape of a network by concrete invariants, e.g. the number of connected components....... Elements of a network may then be ranked according to how essential their positions are in the network by considering the effect of removing them. Defining a ranking of a network which takes the individual position of each entity into account has the purpose of assigning different roles to the entities, e...

  7. Schwinger Algebra for Quaternionic Quantum Mechanics

    CERN Document Server

    Horwitz, L P

    1997-01-01

    It is shown that the measurement algebra of Schwinger, a characterization of the properties of Pauli measurements of the first and second kinds, forming the foundation of his formulation of quantum mechanics over the complex field, has a quaternionic generalization. In this quaternionic measurement algebra some of the notions of quaternionic quantum mechanics are clarified. The conditions imposed on the form of the corresponding quantum field theory are studied, and the quantum fields are constructed. It is shown that the resulting quantum fields coincide with the fermion or boson annihilation-creation operators obtained by Razon and Horwitz in the limit in which the number of particles in physical states $N \\to \\infty$.

  8. Topological descendants DDK and KM realizations

    CERN Document Server

    Gato-Rivera, Beatriz; Gato-Rivera, Beatriz; Rosado, Jose Ignacio

    1994-01-01

    The "minimal matter + scalar" system can be embedded into the twisted N=2 topological algebra in two ways: a la DDK or a la KM. Here we present some results concerning the topological descendants and their DDK and KM realizations. In particular, we prove four "no-ghost" theorems (two for null states) regarding the reduction of the topological descendants into secon- daries of the "minimal matter + scalar" conformal field theory. We write down the relevant expressions for the case of level 2 descendants.

  9. Introduction to set theory and topology

    CERN Document Server

    Kuratowski, Kazimierz; Stark, M

    1972-01-01

    Introduction to Set Theory and Topology describes the fundamental concepts of set theory and topology as well as its applicability to analysis, geometry, and other branches of mathematics, including algebra and probability theory. Concepts such as inverse limit, lattice, ideal, filter, commutative diagram, quotient-spaces, completely regular spaces, quasicomponents, and cartesian products of topological spaces are considered. This volume consists of 21 chapters organized into two sections and begins with an introduction to set theory, with emphasis on the propositional calculus and its applica

  10. On 2-dimensional topological field theories

    CERN Document Server

    Dumitrescu, Florin

    2010-01-01

    In this paper we give a characterization of 2-dimensional topological field theories over a space $X$ as Frobenius bundles with connections over $LX$, the free loop space of $X$. This is a generalization of the folk theorem stating that 2-dimensional topological field theories (over a point) are described by finite-dimensional commutative Frobenius algebras. In another direction, this result extends the description of 1-dimensional topological field theories over a space $X$ as vector bundles with connections over $X$, cf. \\cite{DST}.

  11. 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.

  12. Lie Algebra of Noncommutative Inhomogeneous Hopf Algebra

    CERN Document Server

    Lagraa, M

    1997-01-01

    We construct the vector space dual to the space of right-invariant differential forms construct from a first order differential calculus on inhomogeneous quantum group. We show that this vector space is equipped with a structure of a Hopf algebra which closes on a noncommutative Lie algebra satisfying a Jacobi identity.

  13. Categories and Commutative Algebra

    CERN Document Server

    Salmon, P

    2011-01-01

    L. Badescu: Sur certaines singularites des varietes algebriques.- D.A. Buchsbaum: Homological and commutative algebra.- S. Greco: Anelli Henseliani.- C. Lair: Morphismes et structures algebriques.- B.A. Mitchell: Introduction to category theory and homological algebra.- R. Rivet: Anneaux de series formelles et anneaux henseliens.- P. Salmon: Applicazioni della K-teoria all'algebra commutativa.- M. Tierney: Axiomatic sheaf theory: some constructions and applications.- C.B. Winters: An elementary lecture on algebraic spaces.

  14. A generalization of the Virasoro algebra to arbitrary dimensions

    Energy Technology Data Exchange (ETDEWEB)

    Gurau, Razvan, E-mail: rgurau@perimeterinstitute.ca [Perimeter Institute for Theoretical Physics, 31 Caroline St. N, ON N2L 2Y5, Waterloo (Canada)

    2011-11-21

    Colored tensor models generalize matrix models in higher dimensions. They admit a 1/N expansion dominated by spherical topologies and exhibit a critical behavior strongly reminiscent of matrix models. In this paper we generalize the colored tensor models to colored models with generic interaction, derive the Schwinger Dyson equations in the large N limit and analyze the associated algebra of constraints satisfied at leading order by the partition function. We show that the constraints form a Lie algebra (indexed by trees) yielding a generalization of the Virasoro algebra in arbitrary dimensions.

  15. Applied Foundations

    DEFF Research Database (Denmark)

    Kohlenbach, Ulrich

    2002-01-01

    A central theme in the foundations of mathematics, dating back to D. Hilbert, can be paraphrased by the following question "How is it that abstract methods (`ideal elements´) can be used to prove `real´ statements e.g. about the natural numbers and is this use necessary in principle?"...

  16. Bucket foundations

    DEFF Research Database (Denmark)

    Foglia, Aligi; Ibsen, Lars Bo

    In this report, bearing behaviour and installation of bucket foundations are reviewed. Different methods and standards are compared with the experimental data presented in Foglia and Ibsen (2014a). The most important studies on these topics are suggested. The review is focused on the response...

  17. Algebraic statistics computational commutative algebra in statistics

    CERN Document Server

    Pistone, Giovanni; Wynn, Henry P

    2000-01-01

    Written by pioneers in this exciting new field, Algebraic Statistics introduces the application of polynomial algebra to experimental design, discrete probability, and statistics. It begins with an introduction to Gröbner bases and a thorough description of their applications to experimental design. A special chapter covers the binary case with new application to coherent systems in reliability and two level factorial designs. The work paves the way, in the last two chapters, for the application of computer algebra to discrete probability and statistical modelling through the important concept of an algebraic statistical model.As the first book on the subject, Algebraic Statistics presents many opportunities for spin-off research and applications and should become a landmark work welcomed by both the statistical community and its relatives in mathematics and computer science.

  18. On the C*-algebras of foliations in the plane

    CERN Document Server

    Wang, Xiaolu

    1987-01-01

    The main result of this original research monograph is the classification of C*-algebras of ordinary foliations of the plane in terms of a class of -trees. It reveals a close connection between some most recent developments in modern analysis and low-dimensional topology. It introduces noncommutative CW-complexes (as the global fibred products of C*-algebras), among other things, which adds a new aspect to the fast-growing field of noncommutative topology and geometry. The reader is only required to know basic functional analysis. However, some knowledge of topology and dynamical systems will be helpful. The book addresses graduate students and experts in the area of analysis, dynamical systems and topology.

  19. Connecting Arithmetic to Algebra

    Science.gov (United States)

    Darley, Joy W.; Leapard, Barbara B.

    2010-01-01

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

  20. Algebra of timed frames

    NARCIS (Netherlands)

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

    2008-01-01

    Timed frames are introduced as objects that can form a basis of a model theory for discrete time process algebra. An algebraic setting for timed frames is proposed and results concerning its connection with discrete time process algebra are given. The presented theory of timed frames captures the ba

  1. Deficiently Extremal Gorenstein Algebras

    Indian Academy of Sciences (India)

    Pavinder Singh

    2011-08-01

    The aim of this article is to study the homological properties of deficiently extremal Gorenstein algebras. We prove that if / is an odd deficiently extremal Gorenstein algebra with pure minimal free resolution, then the codimension of / must be odd. As an application, the structure of pure minimal free resolution of a nearly extremal Gorenstein algebra is obtained.

  2. REAL PIECEWISE ALGEBRAIC VARIETY

    Institute of Scientific and Technical Information of China (English)

    Ren-hong Wang; Yi-sheng Lai

    2003-01-01

    We give definitions of real piecewise algebraic variety and its dimension. By using the techniques of real radical ideal, P-radical ideal, affine Hilbert polynomial, Bernstein-net form of polynomials on simplex, and decomposition of semi-algebraic set, etc., we deal with the dimension of the real piecewise algebraic variety and real Nullstellensatz in Cμ spline ring.

  3. Bases of Schur algebras associated to cellularly stratified diagram algebras

    CERN Document Server

    Bowman, C

    2011-01-01

    We examine homomorphisms between induced modules for a certain class of cellularly stratified diagram algebras, including the BMW algebra, Temperley-Lieb algebra, Brauer algebra, and (quantum) walled Brauer algebra. We define the `permutation' modules for these algebras, these are one-sided ideals which allow us to study the diagrammatic Schur algebras of Hartmann, Henke, Koenig and Paget. We construct bases of these Schur algebras in terms of modified tableaux. On the way we prove that the (quantum) walled Brauer algebra and the Temperley-Lieb algebra are both cellularly stratified and therefore have well-defined Specht filtrations.

  4. Capacity theory on algebraic curves

    CERN Document Server

    Rumely, Robert S

    1989-01-01

    Capacity is a measure of size for sets, with diverse applications in potential theory, probability and number theory. This book lays foundations for a theory of capacity for adelic sets on algebraic curves. Its main result is an arithmetic one, a generalization of a theorem of Fekete and Szegö which gives a sharp existence/finiteness criterion for algebraic points whose conjugates lie near a specified set on a curve. The book brings out a deep connection between the classical Green's functions of analysis and Néron's local height pairings; it also points to an interpretation of capacity as a kind of intersection index in the framework of Arakelov Theory. It is a research monograph and will primarily be of interest to number theorists and algebraic geometers; because of applications of the theory, it may also be of interest to logicians. The theory presented generalizes one due to David Cantor for the projective line. As with most adelic theories, it has a local and a global part. Let /K be a smooth, complet...

  5. Mathematical foundations of biomechanics.

    Science.gov (United States)

    Niederer, Peter F

    2010-01-01

    The aim of biomechanics is the analysis of the structure and function of humans, animals, and plants by means of the methods of mechanics. Its foundations are in particular embedded in mathematics, physics, and informatics. Due to the inherent multidisciplinary character deriving from its aim, biomechanics has numerous connections and overlapping areas with biology, biochemistry, physiology, and pathophysiology, along with clinical medicine, so its range is enormously wide. This treatise is mainly meant to serve as an introduction and overview for readers and students who intend to acquire a basic understanding of the mathematical principles and mechanics that constitute the foundation of biomechanics; accordingly, its contents are limited to basic theoretical principles of general validity and long-range significance. Selected examples are included that are representative for the problems treated in biomechanics. Although ultimate mathematical generality is not in the foreground, an attempt is made to derive the theory from basic principles. A concise and systematic formulation is thereby intended with the aim that the reader is provided with a working knowledge. It is assumed that he or she is familiar with the principles of calculus, vector analysis, and linear algebra.

  6. Exposition on affine and elliptic root systems and elliptic Lie algebras

    CERN Document Server

    Azam, Saeid; Yousofzadeh, Malihe

    2009-01-01

    This is an exposition in order to give an explicit way to understand (1) a non-topological proof for an existence of a base of an affine root system, (2) a Serre-type definition of an elliptic Lie algebra with rank =>2, and (3) the isotropic root multiplicities of those elliptic Lie algebras.

  7. On the Iwasawa Algebra Associated to a Normal Element of $\\mathbb{C}_p$

    Indian Academy of Sciences (India)

    V Alexandru; N Popescu; M Vâjâitu; A Zaharescu

    2010-02-01

    Given a prime number and the Galois orbit $O(x)$ of a normal element of $\\mathbb{C}_p$, the topological completion of the algebraic closure of the field of -adic numbers, we study the Iwasawa algebra of $O(x)$ with scalars drawn from $\\mathbb{Q}_p$ and relate it with $\\mathbb{Q}_p$-distributions and functionals.

  8. A Characterization of Principal Congruences of De Morgan Algebras and its Applications

    OpenAIRE

    1980-01-01

    p. 341–349 In this paper a characterization of principal congruences of De Morgan algebras is given and from it we derive that the variety of De Morgan algebras has DPC and CEP. The characterization is then applied to give a new proof of Kalman's characterization of subdirectly irreducibles in this variety and thus to obtain the representation theorem for DeMorgan algebras first proved by Kalman and independently, using topological methods, by Bialynicki-Birula and Rasiowa. From this repre...

  9. Computer algebra and operators

    Science.gov (United States)

    Fateman, Richard; Grossman, Robert

    1989-01-01

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

  10. Split Malcev Algebras

    Indian Academy of Sciences (India)

    Antonio J Calderón Martín; Manuel Forero Piulestán; José M Sánchez Delgado

    2012-05-01

    We study the structure of split Malcev algebras of arbitrary dimension over an algebraically closed field of characteristic zero. We show that any such algebras is of the form $M=\\mathcal{U}+\\sum_jI_j$ with $\\mathcal{U}$ a subspace of the abelian Malcev subalgebra and any $I_j$ a well described ideal of satisfying $[I_j, I_k]=0$ if ≠ . Under certain conditions, the simplicity of is characterized and it is shown that is the direct sum of a semisimple split Lie algebra and a direct sum of simple non-Lie Malcev algebras.

  11. Algorithms in Algebraic Geometry

    CERN Document Server

    Dickenstein, Alicia; Sommese, Andrew J

    2008-01-01

    In the last decade, there has been a burgeoning of activity in the design and implementation of algorithms for algebraic geometric computation. Some of these algorithms were originally designed for abstract algebraic geometry, but now are of interest for use in applications and some of these algorithms were originally designed for applications, but now are of interest for use in abstract algebraic geometry. The workshop on Algorithms in Algebraic Geometry that was held in the framework of the IMA Annual Program Year in Applications of Algebraic Geometry by the Institute for Mathematics and Its

  12. 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.

  13. Topological Manifolds

    Directory of Open Access Journals (Sweden)

    Pąk Karol

    2015-02-01

    Full Text Available Let us recall that a topological space M is a topological manifold if M is second-countable Hausdorff and locally Euclidean, i.e. each point has a neighborhood that is homeomorphic to an open ball of E n for some n. However, if we would like to consider a topological manifold with a boundary, we have to extend this definition. Therefore, we introduce here the concept of a locally Euclidean space that covers both cases (with and without a boundary, i.e. where each point has a neighborhood that is homeomorphic to a closed ball of En for some n.

  14. Topological insulators

    CERN Document Server

    Franz, Marcel

    2013-01-01

    Topological Insulators, volume six in the Contemporary Concepts of Condensed Matter Series, describes the recent revolution in condensed matter physics that occurred in our understanding of crystalline solids. The book chronicles the work done worldwide that led to these discoveries and provides the reader with a comprehensive overview of the field. Starting in 2004, theorists began to explore the effect of topology on the physics of band insulators, a field previously considered well understood. However, the inclusion of topology brings key new elements into this old field. Whereas it was

  15. Comprehensible Presentation of Topological Information

    Energy Technology Data Exchange (ETDEWEB)

    Weber, Gunther H. [Lawrence Berkeley National Lab. (LBNL), Berkeley, CA (United States); Beketayev, Kenes [Lawrence Berkeley National Lab. (LBNL), Berkeley, CA (United States); Bremer, Peer-Timo [Lawrence Berkeley National Lab. (LBNL), Berkeley, CA (United States); Hamann, Bernd [Lawrence Berkeley National Lab. (LBNL), Berkeley, CA (United States); Haranczyk, Maciej [Lawrence Berkeley National Lab. (LBNL), Berkeley, CA (United States); Hlawitschka, Mario [Lawrence Berkeley National Lab. (LBNL), Berkeley, CA (United States); Pascucci, Valerio [Lawrence Berkeley National Lab. (LBNL), Berkeley, CA (United States)

    2012-03-05

    Topological information has proven very valuable in the analysis of scientific data. An important challenge that remains is presenting this highly abstract information in a way that it is comprehensible even if one does not have an in-depth background in topology. Furthermore, it is often desirable to combine the structural insight gained by topological analysis with complementary information, such as geometric information. We present an overview over methods that use metaphors to make topological information more accessible to non-expert users, and we demonstrate their applicability to a range of scientific data sets. With the increasingly complex output of exascale simulations, the importance of having effective means of providing a comprehensible, abstract overview over data will grow. The techniques that we present will serve as an important foundation for this purpose.

  16. 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.

  17. The Algebraic Properties of Concept Lattice

    Institute of Scientific and Technical Information of China (English)

    KaisheQu; JiyeLiang; JunhongWang; ZhongzhiShi

    2004-01-01

    Concept lattice is a powerful tool for data analysis. It has been applied widely to machine learning, knowledge discovery and software engineering and so on. Some aspects of concept lattice have been studied widely such as building lattice and rules extraction, as for its algebraic properties, there has not been discussed systematically. The paper suggests a binary operation between the elements for the set of all concepts in formal context. This turns the concept lattice in general significance into those with operators. We also proved that the concept lattice is a lattice in algebraic significance and studied its algebraic properties.These results provided theoretical foundation and a new method for further study of concept lattice.

  18. Fuzzy logic of quasi-truth an algebraic treatment

    CERN Document Server

    Di Nola, Antonio; Turunen, Esko

    2016-01-01

    This book presents the first algebraic treatment of quasi-truth fuzzy logic and covers the algebraic foundations of many-valued logic. It offers a comprehensive account of basic techniques and reports on important results showing the pivotal role played by perfect many-valued algebras (MV-algebras). It is well known that the first-order predicate Łukasiewicz logic is not complete with respect to the canonical set of truth values. However, it is complete with respect to all linearly ordered MV –algebras. As there are no simple linearly ordered MV-algebras in this case, infinitesimal elements of an MV-algebra are allowed to be truth values. The book presents perfect algebras as an interesting subclass of local MV-algebras and provides readers with the necessary knowledge and tools for formalizing the fuzzy concept of quasi true and quasi false. All basic concepts are introduced in detail to promote a better understanding of the more complex ones. It is an advanced and inspiring reference-guide for graduate s...

  19. Topological Amenability

    CERN Document Server

    Antonio, Terra

    2011-01-01

    Let G be a locally compact topological group and X a compact space with continuous G-action. The main result of this essay states that the following statements are equivalent : 1) The action of G on X is topologically amenable ; 2) Every dual (G, X)-module of type C is a relatively injective Banach G-module ; 3) There is a G-invariant element in the double dual of C(X, L1(G)).

  20. 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.

  1. The Hall Algebra of Cyclic Serial Algebra

    Institute of Scientific and Technical Information of China (English)

    郭晋云

    1994-01-01

    In this paper, orders <1 and <2 on ((Z)+)nm are introduced and also regarded as orders on the isomorphism classes of finite modules of finite .cyclic algebra R with n simple modules and all the indecomposable projective modules have length m through a one-to-one correspondence between ((Z)+)nm and the isomorphism classes of finite R modules. Using this we prove that the Hall algebra of a cyclic serial algebra is identified with its Loewy subalgebra, and its rational extension has a basis of BPW type, and is a (((Z)+)nm, <2) filtered ring with the associated graded ring as an iterated skew polynomial ring. These results are also generalized to the Hall algebra of a tube over a finite field.

  2. Solving the Unknown with Algebra: Poster/Teaching Guide for Pre-Algebra Students. Expect the Unexpected with Math[R

    Science.gov (United States)

    Actuarial Foundation, 2013

    2013-01-01

    "Solving the Unknown with Algebra" is a new math program aligned with the National Council of Teachers of Mathematics (NCTM) standards and designed to help students practice pre-algebra skills including using formulas, solving for unknowns, and manipulating equations. Developed by The Actuarial Foundation with Scholastic, this program provides…

  3. Topological Strings and Integrable Hierarchies

    CERN Document Server

    Aganagic, M; Klemm, A D; Marino, M; Vafa, C; Aganagic, Mina; Dijkgraaf, Robbert; Klemm, Albrecht; Marino, Marcos; Vafa, Cumrun

    2006-01-01

    We consider the topological B-model on local Calabi-Yau geometries. We show how one can solve for the amplitudes by using W-algebra symmetries which encodes the symmetries of holomorphic diffeomorphisms of the Calabi-Yau. In the highly effective fermionic/brane formulation this leads to a free fermion description of the amplitudes. Furthermore we argue that topological strings on Calabi-Yau geometries provide a unifying picture connecting non-critical (super)strings, integrable hierarchies, and various matrix models. In particular we show how the ordinary matrix model, the double scaling limit of matrix models, and Kontsevich-like matrix model are all related and arise from studying branes in specific local Calabi-Yau three-folds. We also show how A-model topological string on P^1 and local toric threefolds (and in particular the topological vertex) can be realized and solved as B-model topological string amplitudes on a Calabi-Yau manifold.

  4. Topological Strings and Integrable Hierarchies

    Science.gov (United States)

    Aganagic, Mina; Dijkgraaf, Robbert; Klemm, Albrecht; Mariño, Marcos; Vafa, Cumrun

    2006-01-01

    We consider the topological B-model on local Calabi-Yau geometries. We show how one can solve for the amplitudes by using -algebra symmetries which encode the symmetries of holomorphic diffeomorphisms of the Calabi-Yau. In the highly effective fermionic/brane formulation this leads to a free fermion description of the amplitudes. Furthermore we argue that topological strings on Calabi-Yau geometries provide a unifying picture connecting non-critical (super)strings, integrable hierarchies, and various matrix models. In particular we show how the ordinary matrix model, the double scaling limit of matrix models, and Kontsevich-like matrix model are all related and arise from studying branes in specific local Calabi-Yau three-folds. We also show how an A-model topological string on P1 and local toric threefolds (and in particular the topological vertex) can be realized and solved as B-model topological string amplitudes on a Calabi-Yau manifold.

  5. G-sequentially connectedness for topological groups with operations

    Science.gov (United States)

    Mucuk, Osman; Cakalli, Huseyin

    2016-08-01

    It is a well-known fact that for a Hausdorff topological group X, the limits of convergent sequences in X define a function denoted by lim from the set of all convergent sequences in X to X. This notion has been modified by Connor and Grosse-Erdmann for real functions by replacing lim with an arbitrary linear functional G defined on a linear subspace of the vector space of all real sequences. Recently some authors have extended the concept to the topological group setting and introduced the concepts of G-sequential continuity, G-sequential compactness and G-sequential connectedness. In this work, we present some results about G-sequentially closures, G-sequentially connectedness and fundamental system of G-sequentially open neighbourhoods for topological group with operations which include topological groups, topological rings without identity, R-modules, Lie algebras, Jordan algebras, and many others.

  6. Singular dimensions of the N=2 superconformal algebras, 1

    CERN Document Server

    Dörrzapf, M; Doerrzapf, Matthias; Gato-Rivera, Beatriz

    1999-01-01

    Verma modules of superconfomal algebras can have singular vector spaces with dimensions greater than 1. Following a method developed for the Virasoro algebra by Kent, we introduce the concept of adapted orderings on superconformal algebras. We prove several general results on the ordering kernels associated to the adapted orderings and show that the size of an ordering kernel implies an upper limit for the dimension of a singular vector space. We apply this method to the topological N=2 algebra and obtain the maximal dimensions of the singular vector spaces in the topological Verma modules: 0, 1, 2 or 3 depending on the type of Verma module and the type of singular vector. As a consequence we prove the conjecture of Gato-Rivera and Rosado on the possible existing types of topological singular vectors (4 in chiral Verma modules and 29 in complete Verma modules). Interestingly, we have found two-dimensional spaces of singular vectors at level 1. Finally, by using the topological twists and the spectral flows, w...

  7. Finite-dimensional (*)-serial algebras

    Institute of Scientific and Technical Information of China (English)

    2010-01-01

    Let A be a finite-dimensional associative algebra with identity over a field k. In this paper we introduce the concept of (*)-serial algebras which is a generalization of serial algebras. We investigate the properties of (*)-serial algebras, and we obtain suficient and necessary conditions for an associative algebra to be (*)-serial.

  8. 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.

  9. 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.

  10. On the Toroidal Leibniz Algebras

    Institute of Scientific and Technical Information of China (English)

    Dong LIU; Lei LIN

    2008-01-01

    Toroidal Leibniz algebras are the universal central extensions of the iterated loop algebras gOC[t±11 ,...,t±v1] in the category of Leibniz algebras. In this paper, some properties and representations of toroidal Leibniz algebras are studied. Some general theories of central extensions of Leibniz algebras are also obtained.

  11. On automorphisms of C*-algebras whose Voiculescu entropy is genuinely noncommutative

    CERN Document Server

    Skalski, Adam

    2009-01-01

    We use the results of Neshveyev and Stormer to show that for a generic shift on a C*-algebra associated to a bitstream the Voiculescu topological entropy is strictly larger that the supremum of topological entropies of its classical subsystems.

  12. 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...

  13. Developable algebraic surfaces

    Institute of Scientific and Technical Information of China (English)

    CHEN Dongren; WANG Guojin

    2004-01-01

    An algebraic surface can be defined by an implicit polynomial equation F(x,y,z)=0. In this paper, general characterizations of developable algebraic surfaces of arbitrary degree are presented. Using the shift operators of the subscripts of Bézier ordinates, the uniform apparent discriminants of developable algebraic surfaces to their Bézier ordinates are given directly. To degree 2 algebraic surfaces, which are widely used in computer aided geometric design and graphics, all possible developable surface types are obtained. For more conveniently applying algebraic surfaces of high degree to computer aided geometric design, the notion of ε-quasi-developable surfaces is introduced, and an example of using a quasi-developable algebraic surface of degree 3 to interpolate three curves of degree 2 is given.

  14. Algebraic Geometry over C-infinity rings

    CERN Document Server

    Joyce, Dominic

    2010-01-01

    If X is a smooth manifold then the R-algebra C^\\infty(X) of smooth functions c : X --> R is a "C-infinity ring". That is, for each smooth function f : R^n --> R there is an n-fold operation \\Phi_f : C^\\infty(X)^n --> C^\\infty(X) acting by \\Phi_f: (c_1,...,c_n) |--> f(c_1,...,c_n), and these operations \\Phi_f satisfy many natural identities. Thus, C^\\infty(X) actually has a far richer structure than the obvious R-algebra structure. We explain the foundations of a version of Algebraic Geometry in which rings or algebras are replaced by C-infinity rings. As schemes are the basic objects in Algebraic Geometry, the new basic objects are "C-infinity schemes", a category of geometric objects which generalize smooth manifolds, and whose morphisms generalize smooth maps. We also study quasicoherent and coherent sheaves on C-infinity schemes, and "C-infinity stacks", in particular Deligne-Mumford C-infinity stacks, a 2-category of geometric objects generalizing orbifolds. Many of these ideas are not new: C-infinity rin...

  15. Algebra Automorphisms of Quantized Enveloping Algebras Uq(■)

    Institute of Scientific and Technical Information of China (English)

    查建国

    1994-01-01

    The algebra automorphisms of the quantized enveloping algebra Uq(g) are discussed, where q is generic. To some extent, all quantum deformations of automorphisms of the simple Lie algebra g have been determined.

  16. Cayley-Dickson and Clifford Algebras as Twisted Group Algebras

    CERN Document Server

    Bales, John W

    2011-01-01

    The effect of some properties of twisted groups on the associated algebras, particularly Cayley-Dickson and Clifford algebras. It is conjectured that the Hilbert space of square-summable sequences is a Cayley-Dickson algebra.

  17. Symmetric Extended Ockham Algebras

    Institute of Scientific and Technical Information of China (English)

    T.S. Blyth; Jie Fang

    2003-01-01

    The variety eO of extended Ockham algebras consists of those algealgebra with an additional endomorphism k such that the unary operations f and k commute. Here, we consider the cO-algebras which have a property of symmetry. We show that there are thirty two non-isomorphic subdirectly irreducible symmetric extended MS-algebras and give a complete description of them.2000 Mathematics Subject Classification: 06D15, 06D30

  18. Lax operator algebras

    OpenAIRE

    Krichever, Igor M.; Sheinman, Oleg K.

    2007-01-01

    In this paper we develop a general concept of Lax operators on algebraic curves introduced in [1]. We observe that the space of Lax operators is closed with respect to their usual multiplication as matrix-valued functions. We construct the orthogonal and symplectic analogs of Lax operators, prove that they constitute almost graded Lie algebras and construct local central extensions of those Lie algebras.

  19. Prediction of Algebraic Instabilities

    Science.gov (United States)

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

    2016-11-01

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

  20. On coalgebras over algebras

    CERN Document Server

    Balan, Adriana

    2010-01-01

    We extend Barr's well-known characterization of the final coalgebra of a $Set$-endofunctor as the completion of its initial algebra to the Eilenberg-Moore category of algebras for a $Set$-monad $\\mathbf{M}$ for functors arising as liftings. As an application we introduce the notion of commuting pair of endofunctors with respect to the monad $\\mathbf{M}$ and show that under reasonable assumptions, the final coalgebra of one of the endofunctors involved can be obtained as the free algebra generated by the initial algebra of the other endofunctor.

  1. Lectures in general algebra

    CERN Document Server

    Kurosh, A G; Stark, M; Ulam, S

    1965-01-01

    Lectures in General Algebra is a translation from the Russian and is based on lectures on specialized courses in general algebra at Moscow University. The book starts with the basics of algebra. The text briefly describes the theory of sets, binary relations, equivalence relations, partial ordering, minimum condition, and theorems equivalent to the axiom of choice. The text gives the definition of binary algebraic operation and the concepts of groups, groupoids, and semigroups. The book examines the parallelism between the theory of groups and the theory of rings; such examinations show the

  2. Fundamentals of Hopf algebras

    CERN Document Server

    Underwood, Robert G

    2015-01-01

    This text aims to provide graduate students with a self-contained introduction to topics that are at the forefront of modern algebra, namely, coalgebras, bialgebras, and Hopf algebras.  The last chapter (Chapter 4) discusses several applications of Hopf algebras, some of which are further developed in the author’s 2011 publication, An Introduction to Hopf Algebras.  The book may be used as the main text or as a supplementary text for a graduate algebra course.  Prerequisites for this text include standard material on groups, rings, modules, algebraic extension fields, finite fields, and linearly recursive sequences. The book consists of four chapters. Chapter 1 introduces algebras and coalgebras over a field K; Chapter 2 treats bialgebras; Chapter 3 discusses Hopf algebras and Chapter 4 consists of three applications of Hopf algebras. Each chapter begins with a short overview and ends with a collection of exercises which are designed to review and reinforce the material. Exercises range from straightforw...

  3. 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

  4. Relations Between BZMVdM-Algebra and Other Algebras

    Institute of Scientific and Technical Information of China (English)

    高淑萍; 邓方安; 刘三阳

    2003-01-01

    Some properties of BZMVdM-algebra are proved, and a new operator is introduced. It is shown that the substructure of BZMVdM-algebra can produce a quasi-lattice implication algebra. The relations between BZMVdM-algebra and other algebras are discussed in detail. A pseudo-distance function is defined in linear BZMVdM-algebra, and its properties are derived.

  5. Transmutations between Singular and Subsingular Vectors of the N=2 Superconformal Algebras

    CERN Document Server

    Dörrzapf, M; Dörrzapf, Matthias; Gato-Rivera, Beatriz

    1999-01-01

    We present subsingular vectors of the N=2 superconformal algebras other than the ones which become singular in chiral Verma modules, reported recently by Gato-Rivera and Rosado. We show that two large classes of singular vectors of the Topological algebra become subsingular vectors of the Antiperiodic NS algebra under the topological untwistings. These classes consist of BRST- invariant singular vectors with relative charges q=-2,-1 and zero conformal weight, and no-label singular vectors with q=-1, 0. In turn the resulting NS subsingular vectors are transformed by the spectral flows into subsingular and singular vectors of the Periodic R algebra. We write down these singular and subsingular vectors starting from the topological singular vectors at levels 1 and 2.

  6. Transmutations between singular and subsingular vectors of the N = 2 superconformal algebras

    CERN Document Server

    Doerrzapf, M

    1999-01-01

    We present subsingular vectors of the N = 2 superconformal algebras other than the ones which become singular in chiral Verma modules, reported recently by Gato-Rivera and Rosado. We show that two large classes of singular vectors of the topological algebra become subsingular vectors of the antiperiodic NS algebra under the topological untwistings. These classes consist of BRST-invariant singular vectors with relative charges q = -2, -1 and zero conformal weight, and nolabel singular vectors with q = 0, -1. In turn the resulting NS subsingular vectors are transformed by the spectral flows into subsingular and singular vectors of the periodic R algebra. We write down these singular and subsingular vectors starting from the topological singular vectors at levels 1 and 2.

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

    NARCIS (Netherlands)

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

    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 $U(g

  8. A natural history of mathematics: George Peacock and the making of English algebra.

    Science.gov (United States)

    Lambert, Kevin

    2013-06-01

    In a series of papers read to the Cambridge Philosophical Society through the 1820s, the Cambridge mathematician George Peacock laid the foundation for a natural history of arithmetic that would tell a story of human progress from counting to modern arithmetic. The trajectory of that history, Peacock argued, established algebraic analysis as a form of universal reasoning that used empirically warranted operations of mind to think with symbols on paper. The science of counting would suggest arithmetic, arithmetic would suggest arithmetical algebra, and, finally, arithmetical algebra would suggest symbolic algebra. This philosophy of suggestion provided the foundation for Peacock's "principle of equivalent forms," which justified the practice of nineteenth-century English symbolic algebra. Peacock's philosophy of suggestion owed a considerable debt to the early Cambridge Philosophical Society culture of natural history. The aim of this essay is to show how that culture of natural history was constitutively significant to the practice of nineteenth-century English algebra.

  9. Quantum field theory in topology changing spacetimes; Quantenfeldtheorie auf Raumzeiten mit Topologieaenderungen

    Energy Technology Data Exchange (ETDEWEB)

    Bauer, W.

    2007-03-15

    The goal of this diploma thesis is to present an overview of how to reduce the problem of topology change of general spacetimes to the investigation of elementary cobordisms. In the following we investigate the possibility to construct quantum fields on elementary cobordisms, in particular we discuss the trousers topology. Trying to avoid the problems occuring at spacetimes with instant topology change we use a model for simulating topology change. We construct the algebra of observables for a free scalar field with the algebraic approach to quantum field theory. Therefore we determine a fundamental solution of the eld equation. (orig.)

  10. Tubular algebras and affine Kac-Moody algebras

    Institute of Scientific and Technical Information of China (English)

    2007-01-01

    The purpose of this paper is to construct quotient algebras L(A)1C/I(A) of complex degenerate composition Lie algebras L(A)1C by some ideals, where L(A)1C is defined via Hall algebras of tubular algebras A, and to prove that the quotient algebras L(A)1C/I(A) are isomorphic to the corresponding affine Kac-Moody algebras. Moreover, it is shown that the Lie algebra Lre(A)1C generated by A-modules with a real root coincides with the degenerate composition Lie algebra L(A)1C generated by simple A-modules.

  11. Tubular algebras and affine Kac-Moody algebras

    Institute of Scientific and Technical Information of China (English)

    Zheng-xin CHEN; Ya-nan LIN

    2007-01-01

    The purpose of this paper is to construct quotient algebras L(A)C1/I(A) of complex degenerate composition Lie algebras L(A)C1 by some ideals, where L(A)C1 is defined via Hall algebras of tubular algebras A, and to prove that the quotient algebras L(A)C1/I(A) are isomorphic to the corresponding affine Kac-Moody algebras. Moreover, it is shown that the Lie algebra Lre(A)C1 generated by A-modules with a real root coincides with the degenerate composition Lie algebra L(A)C1 generated by simple A-modules.

  12. A Brief Introduction to Fibrewise Topological Spaces Theory

    Institute of Scientific and Technical Information of China (English)

    Baolin GUO; Yingzhao HAN

    2012-01-01

    Fibrewise topological spaces theory,presented in the recent 20 years,is a new branch of mathematics developed on the basis of General Topology,Algebra topology and Fibrewise spaces theory.It is associated with differential geometry,Lie groups and dynamical systems theory. From the perspective of Category theory,it is in the higher category of general topological space,so the discussion of new properties and characteristics of the variety of fibre topological space has more important significance.This paper introduces the process of the origin and development of Fibrewise topological spaces theory.Then,we study the main contents and important results in this branch.Finally,we review the research status of Fibrewise topological spaces theory and some important topics.

  13. Fields and Forms on -Algebras

    Indian Academy of Sciences (India)

    Cătălin Ciupală

    2005-02-01

    In this paper we introduce non-commutative fields and forms on a new kind of non-commutative algebras: -algebras. We also define the Frölicher–Nijenhuis bracket in the non-commutative geometry on -algebras.

  14. The Topological "Shape" of Brexit

    CERN Document Server

    Stolz, Bernadette J; Porter, Mason A

    2016-01-01

    Persistent homology is a method from computational algebraic topology that can be used to study the "shape" of data. We illustrate two filtrations --- the weight rank clique filtration and the Vietoris--Rips (VR) filtration --- that are commonly used in persistent homology, and we apply these filtrations to a pair of data sets that are both related to the 2016 European Union "Brexit" referendum in the United Kingdom. These examples consider a topical situation and give useful illustrations of the strengths and weaknesses of these methods.

  15. Topology Optimization

    DEFF Research Database (Denmark)

    A. Kristensen, Anders Schmidt; Damkilde, Lars

    2007-01-01

    . A way to solve the initial design problem namely finding a form can be solved by so-called topology optimization. The idea is to define a design region and an amount of material. The loads and supports are also fidefined, and the algorithm finds the optimal material distribution. The objective function...... dictates the form, and the designer can choose e.g. maximum stiness, maximum allowable stresses or maximum lowest eigenfrequency. The result of the topology optimization is a relatively coarse map of material layout. This design can be transferred to a CAD system and given the necessary geometrically...... refinements, and then remeshed and reanalysed in other to secure that the design requirements are met correctly. The output of standard topology optimization has seldom well-defined, sharp contours leaving the designer with a tedious interpretation, which often results in less optimal structures. In the paper...

  16. Transportation Network Topologies

    Science.gov (United States)

    Holmes, Bruce J.; Scott, John

    2004-01-01

    A discomforting reality has materialized on the transportation scene: our existing air and ground infrastructures will not scale to meet our nation's 21st century demands and expectations for mobility, commerce, safety, and security. The consequence of inaction is diminished quality of life and economic opportunity in the 21st century. Clearly, new thinking is required for transportation that can scale to meet to the realities of a networked, knowledge-based economy in which the value of time is a new coin of the realm. This paper proposes a framework, or topology, for thinking about the problem of scalability of the system of networks that comprise the aviation system. This framework highlights the role of integrated communication-navigation-surveillance systems in enabling scalability of future air transportation networks. Scalability, in this vein, is a goal of the recently formed Joint Planning and Development Office for the Next Generation Air Transportation System. New foundations for 21st thinking about air transportation are underpinned by several technological developments in the traditional aircraft disciplines as well as in communication, navigation, surveillance and information systems. Complexity science and modern network theory give rise to one of the technological developments of importance. Scale-free (i.e., scalable) networks represent a promising concept space for modeling airspace system architectures, and for assessing network performance in terms of scalability, efficiency, robustness, resilience, and other metrics. The paper offers an air transportation system topology as framework for transportation system innovation. Successful outcomes of innovation in air transportation could lay the foundations for new paradigms for aircraft and their operating capabilities, air transportation system architectures, and airspace architectures and procedural concepts. The topology proposed considers air transportation as a system of networks, within which

  17. Topology essentials

    CERN Document Server

    Milewski, Emil G

    2013-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. Topology includes an overview of elementary set theory, relations and functions, ordinals and cardinals, topological spaces, continuous functions, metric spaces and normed spaces, co

  18. An invitation to general algebra and universal constructions

    CERN Document Server

    Bergman, George M

    2015-01-01

    Rich in examples and intuitive discussions, this book presents General Algebra using the unifying viewpoint of categories and functors. Starting with a survey, in non-category-theoretic terms, of many familiar and not-so-familiar constructions in algebra (plus two from topology for perspective), the reader is guided to an understanding and appreciation of the general concepts and tools unifying these constructions. Topics include: set theory, lattices, category theory, the formulation of universal constructions in category-theoretic terms, varieties of algebras, and adjunctions. A large number of exercises, from the routine to the challenging, interspersed through the text, develop the reader's grasp of the material, exhibit applications of the general theory to diverse areas of algebra, and in some cases point to outstanding open questions. Graduate students and researchers wishing to gain fluency in important mathematical constructions will welcome this carefully motivated book.

  19. Exact Symbolic-Numeric Computation of Planar Algebraic Curves

    CERN Document Server

    Berberich, Eric; Kobel, Alexander; Sagraloff, Michael

    2012-01-01

    We present a novel certified and complete algorithm to compute arrangements of real planar algebraic curves. It provides a geometric-topological analysis of the decomposition of the plane induced by a finite number of algebraic curves in terms of a cylindrical algebraic decomposition. From a high-level perspective, the overall method splits into two main subroutines, namely an algorithm denoted Bisolve to isolate the real solutions of a zero-dimensional bivariate system, and an algorithm denoted GeoTop to analyze a single algebraic curve. Compared to existing approaches based on elimination techniques, we considerably improve the corresponding lifting steps in both subroutines. As a result, generic position of the input system is never assumed, and thus our algorithm never demands for any change of coordinates. In addition, we significantly limit the types of involved exact operations, that is, we only use resultant and gcd computations as purely symbolic operations. The latter results are achieved by combini...

  20. Automorphism groups of some algebras

    Institute of Scientific and Technical Information of China (English)

    PARK; Hong; Goo; LEE; Jeongsig; CHOI; Seul; Hee; NAM; Ki-Bong

    2009-01-01

    The automorphism groups of algebras are found in many papers. Using auto-invariance, we find the automorphism groups of the Laurent extension of the polynomial ring and the quantum n-plane (respectively, twisting polynomial ring) in this work. As an application of the results of this work, we can find the automorphism group of a twisting algebra. We define a generalized Weyl algebra and show that the generalized Weyl algebra is simple. We also find the automorphism group of a generalized Weyl algebra. We show that the generalized Weyl algebra Am,m+n is the universal enveloping algebra of the generalized Witt algebra W(m,m + n).

  1. Automorphism groups of some algebras

    Institute of Scientific and Technical Information of China (English)

    PARK Hong Goo; LEE Jeongsig; CHOI Seul Hee; CHEN XueQing; NAM Ki-Bong

    2009-01-01

    The automorphism groups of algebras are found in many papers. Using auto-invariance, we find the automorphism groups of the Laurent extension of the polynomial ring and the quantum n-plane (respectively, twisting polynomial ring) in this work. As an application of the results of this work, we can find the automorphism group of a twisting algebra. We define a generalized Weyl algebra and show that the generalized Weyl algebra is simple. We also find the automorphism group of a generalized Weyl algebra. We show that the generalized Weyl algebra Am,m+n is the universal enveloping algebra of the generalized Witt algebra W(m, m+n).

  2. Topological features in cancer gene expression data.

    Science.gov (United States)

    Lockwood, S; Krishnamoorthy, B

    2015-01-01

    We present a new method for exploring cancer gene expression data based on tools from algebraic topology. Our method selects a small relevant subset from tens of thousands of genes while simultaneously identifying nontrivial higher order topological features, i.e., holes, in the data. We first circumvent the problem of high dimensionality by dualizing the data, i.e., by studying genes as points in the sample space. Then we select a small subset of the genes as landmarks to construct topological structures that capture persistent, i.e., topologically significant, features of the data set in its first homology group. Furthermore, we demonstrate that many members of these loops have been implicated for cancer biogenesis in scientific literature. We illustrate our method on five different data sets belonging to brain, breast, leukemia, and ovarian cancers.

  3. Topological modular forms (aftern Hopkins, Miller, and Lurie)

    CERN Document Server

    Goerss, Paul G

    2009-01-01

    This is the companion article to the Bourbaki talk of the same name given in March 2009. The main theme of the talk and the article is to explain the interplay between homotopy theory and algebraic geometry through the Hopkins-Miller-Lurie theorem on topological modular forms, from which we learn that the Deligne-Mumford moduli stack for elliptic curves is canonically realized as an object in derived algebraic geometry.

  4. Opening a Gateway to College Access: Algebra at the Right Time. Research Brief

    Science.gov (United States)

    Snipes, Jason; Finkelstein, Neal

    2015-01-01

    Four years of math in high school, with a strong foundation in algebra that builds from middle school, is key to higher education access. Therefore, ensuring that middle and high school students succeed in math--and in algebra in particular--is an important issue for policy and practice. This research brief examines three recent Regional…

  5. Derived equivalence of algebras

    Institute of Scientific and Technical Information of China (English)

    杜先能

    1997-01-01

    The derived equivalence and stable equivalence of algebras RmA and RmB are studied It is proved, using the tilting complex, that RmA and RmB are derived-equivalent whenever algebras A and B are derived-equivalent

  6. Ready, Set, Algebra?

    Science.gov (United States)

    Levy, Alissa Beth

    2012-01-01

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

  7. Linear-Algebra Programs

    Science.gov (United States)

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

    1982-01-01

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

  8. Who Takes College Algebra?

    Science.gov (United States)

    Herriott, Scott R.; Dunbar, Steven R.

    2009-01-01

    The common understanding within the mathematics community is that the role of the college algebra course is to prepare students for calculus. Though exceptions are emerging, the curriculum of most college algebra courses and the content of most textbooks on the market both reflect that assumption. This article calls that assumption into question…

  9. Ready, Set, Algebra?

    Science.gov (United States)

    Levy, Alissa Beth

    2012-01-01

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

  10. Foliation theory in algebraic geometry

    CERN Document Server

    McKernan, James; Pereira, Jorge

    2016-01-01

    Featuring a blend of original research papers and comprehensive surveys from an international team of leading researchers in the thriving fields of foliation theory, holomorphic foliations, and birational geometry, this book presents the proceedings of the conference "Foliation Theory in Algebraic Geometry," hosted by the Simons Foundation in New York City in September 2013.  Topics covered include: Fano and del Pezzo foliations; the cone theorem and rank one foliations; the structure of symmetric differentials on a smooth complex surface and a local structure theorem for closed symmetric differentials of rank two; an overview of lifting symmetric differentials from varieties with canonical singularities and the applications to the classification of AT bundles on singular varieties; an overview of the powerful theory of the variety of minimal rational tangents introduced by Hwang and Mok; recent examples of varieties which are hyperbolic and yet the Green-Griffiths locus is the whole of X; and a classificati...

  11. Universal Bundle, Generalized Russian Formula and Non-Abelian Anomaly in Topological Yang-Mills Theory

    CERN Document Server

    Park, J S

    1992-01-01

    We re-examine the geometry and algebraic structure of BRST's of Topological Yang-Mills theory based on the universal bundle formalism of Atiyah and Singer. This enables us to find a natural generalization of the {\\it Russian formula and descent equations\\/}, which can be used as algebraic method to find the non-Abelian anomalies counterparts in Topological Yang-Mills theory. We suggest that the presence of the non-Abelian anomaly obstructs the proper definition of Donaldson's invariants.

  12. Representation Theory of Analytic Holonomy C* Algebras

    CERN Document Server

    Ashtekar, Abhay

    2008-01-01

    Integral calculus on the space of gauge equivalent connections is developed. Loops, knots, links and graphs feature prominently in this description. The framework is well--suited for quantization of diffeomorphism invariant theories of connections. The general setting is provided by the abelian C* algebra of functions on the quotient space of connections generated by Wilson loops (i.e., by the traces of holonomies of connections around closed loops). The representation theory of this algebra leads to an interesting and powerful "duality" between gauge-equivalence classes of connections and certain equivalence classes of closed loops. In particular, regular measures on (a suitable completion of) connections/gauges are in 1-1 correspondence with certain functions of loops and diffeomorphism invariant measures correspond to (generalized) knot and link invariants. By carrying out a non-linear extension of the theory of cylindrical measures on topological vector spaces, a faithful, diffeomorphism invariant measure...

  13. Equivariant characteristic classes of complex algebraic varieties

    CERN Document Server

    Cappell, Sylvain E; Schuermann, Joerg; Shaneson, Julius L

    2010-01-01

    Homology Hirzebruch characteristic classes for singular varieties have been recently defined by Brasselet-Schuermann-Yokura as an attempt to unify previously known characteristic class theories for singular spaces (e.g., MacPherson-Chern classes, Baum-Fulton-MacPherson Todd classes, and Goresky-MacPherson L-classes, respectively). In this note we define equivariant analogues of these classes for quasi-projective varieties acted upon by a finite group of algebraic automorphisms, and show how these can be used to calculate the homology Hirzebruch classes of global orbifolds. We also compute the new classes in the context of monodromy problems, e.g., for varieties that fiber equivariantly (in the complex topology) over a connected algebraic manifold.

  14. RNA topology

    OpenAIRE

    Frank-Kamenetskii, Maxim D.

    2013-01-01

    A new variety on non-coding RNA has been discovered by several groups: circular RNA (circRNA). This discovery raises intriguing questions about the possibility of the existence of knotted RNA molecules and the existence of a new class of enzymes changing RNA topology, RNA topoisomerases.

  15. Topology optimization

    DEFF Research Database (Denmark)

    Bendsøe, Martin P.; Sigmund, Ole

    2007-01-01

    Taking as a starting point a design case for a compliant mechanism (a force inverter), the fundamental elements of topology optimization are described. The basis for the developments is a FEM format for this design problem and emphasis is given to the parameterization of design as a raster image...

  16. Research on Modulation Strategies Based on Multilevel Inverter Universal Hybrid Topology

    Institute of Scientific and Technical Information of China (English)

    Zhou Jinghua; Su Yanmin; Shen Chuanwen; Zhang Lin

    2005-01-01

    Based on multi-module-cascaded inverter topology, this study presented a universal multilevel inverter hybrid topology and unified the researches on multilevel inverter topology. According to the freedom of this universal topology, several new hybrid topologies were constructed. Also, based on conventional modulation strategies- multi-carrier SPWM (Sinusoidal Pulse Width Modulation), hybrid modulation strategies were introduced corresponding to hybrid topologies, and a multilevel SVPWM (Space Vector Pulse Width Modulation) technique based on phase-shifted theory was naturally produced. Simulation and experiment results prove that hybrid topologies and corresponding modulation strategies are valid, which lay a foundation for practical application of hybrid multilevel inverter topologies.

  17. Introduction to noncommutative algebra

    CERN Document Server

    Brešar, Matej

    2014-01-01

    Providing an elementary introduction to noncommutative rings and algebras, this textbook begins with the classical theory of finite dimensional algebras. Only after this, modules, vector spaces over division rings, and tensor products are introduced and studied. This is followed by Jacobson's structure theory of rings. The final chapters treat free algebras, polynomial identities, and rings of quotients. Many of the results are not presented in their full generality. Rather, the emphasis is on clarity of exposition and simplicity of the proofs, with several being different from those in other texts on the subject. Prerequisites are kept to a minimum, and new concepts are introduced gradually and are carefully motivated. Introduction to Noncommutative Algebra is therefore accessible to a wide mathematical audience. It is, however, primarily intended for beginning graduate and advanced undergraduate students encountering noncommutative algebra for the first time.

  18. 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...

  19. The Even and the Odd Spectral Flows on the N=2 Superconformal Algebras

    CERN Document Server

    Gato-Rivera, Beatriz

    1998-01-01

    There are two different spectral flows on the N=2 superconformal algebras (four in the case of the Topological algebra). The usual spectral flow, first considered by Schwimmer and Seiberg, is an even transformation, whereas the spectral flow previously considered by the author and Rosado is an odd transformation. We show that the even spectral flow is generated by the odd spectral flow, and therefore only the latter is fundamental. We also analyze thoroughly the four ``topological'' spectral flows, writing two of them here for the first time. Whereas the even and the odd spectral flows have quasi-mirrored properties acting on the Antiperiodic or the Periodic algebras, the topological even and odd spectral flows have drastically different properties acting on the Topological algebra. The other two topological spectral flows have mixed even and odd properties. We show that the even and the even-odd topological spectral flows are generated by the odd and the odd-even topological spectral flows, and therefore onl...

  20. On the number of finite topological spaces

    Directory of Open Access Journals (Sweden)

    Lucio R. Berrone

    1993-05-01

    Full Text Available In this paper we deal with the problem of enumerating the finite topological spaces, studying the enumeration of a restrictive class of them. By employing simple techniques, we obtain a recursive lower bound for the number of topological spaces on a set of n elements. Besides we prove some collateral results, among which we can bring a new proof (Cor. 1.5 of the fact that p(n – the number of partitions of the integer n – is the number of non-isomorphic Boolean algebras on a set of n elements.

  1. Topological transformation groups and Dugundji compacta

    Science.gov (United States)

    Kozlov, Konstantin L.; Chatyrko, Vitalii A.

    2010-02-01

    The presence of an algebraic structure on a space, which is compatible with its topology, in many cases imposes very strong restrictions on the properties of the space itself. Conditions are found which must be satisfied by the actions in order for the phase space to be a d-space (Dugundji compactum). This investigation allows the range of G-spaces that are d-spaces (Dugundji compacta) to be substantially widened. It is shown that all the cases known to the authors where a G-space (a topological group, one of its quotient spaces) is a d-space can be realized using equivariant maps. Bibliography: 39 titles.

  2. The Planar Algebra of a Semisimple and Cosemisimple Hopf Algebra

    Indian Academy of Sciences (India)

    Vijay Kodiyalam; V S Sunder

    2006-11-01

    To a semisimple and cosemisimple Hopf algebra over an algebraically closed field, we associate a planar algebra defined by generators and relations and show that it is a connected, irreducible, spherical, non-degenerate planar algebra with non-zero modulus and of depth two. This association is shown to yield a bijection between (the isomorphism classes, on both sides, of) such objects.

  3. Graded Lie Algebra Generating of Parastatistical Algebraic Relations

    Institute of Scientific and Technical Information of China (English)

    JING Si-Cong; YANG Wei-Min; LI Ping

    2001-01-01

    A new kind of graded Lie algebra (We call it Z2,2 graded Lie algebra) is introduced as a framework for formulating parasupersymmetric theories. By choosing suitable Bose subspace of the Z2,2 graded Lie algebra and using relevant generalized Jacobi identities, we generate the whole algebraic structure of parastatistics.

  4. Analysing bone regeneration using topological optimisation

    Directory of Open Access Journals (Sweden)

    Diego Alexander Garzón Alvarado

    2010-04-01

    Full Text Available The present article's object is to present the mathematical foundations of topological optimisation aimed at carrying out a study of bone regeneration. Bone structure can be economically adopted to different mechanical demands responding to topological optimisation models (having "minimum" mass and "high" resistance. Such analysis is essential for formulating physical therapy in patients needing partial or total strengthening of a particular bone's tissue structure. A mathematical model is formulated, as are the methods for resolving it.

  5. Topological String Theory Revisited I: The Stage

    CERN Document Server

    Jia, Bei

    2016-01-01

    In these expository notes we reformulate topological string theory using supermanifolds and supermoduli spaces, following the approach worked out by Witten for superstring perturbation theory in arXiv:1209.5461. We intend to make the construction geometrical in nature, by using supergeometry techniques extensively. The goal is to establish the foundation of studying topological string amplitudes in terms of integration over appropriate supermoduli spaces.

  6. Introduction to Banach spaces and algebras

    CERN Document Server

    Allan, Graham

    2010-01-01

    Banach spaces and algebras are a key topic of pure mathematics. Graham Allan's careful and detailed introductory account will prove essential reading for anyone wishing to specialise in functional analysis and is aimed at final year undergraduates or masters level students. Based on the author's lectures to fourth year students at Cambridge University, the book assumes knowledge typical of first degrees in mathematics, including metric spaces, analytic topology, and complexanalysis. However, readers are not expected to be familiar with the Lebesgue theory of measure and integration.The text be

  7. Leibniz algebras associated with representations of filiform Lie algebras

    Science.gov (United States)

    Ayupov, Sh. A.; Camacho, L. M.; Khudoyberdiyev, A. Kh.; Omirov, B. A.

    2015-12-01

    In this paper we investigate Leibniz algebras whose quotient Lie algebra is a naturally graded filiform Lie algebra nn,1. We introduce a Fock module for the algebra nn,1 and provide classification of Leibniz algebras L whose corresponding Lie algebra L / I is the algebra nn,1 with condition that the ideal I is a Fock nn,1-module, where I is the ideal generated by squares of elements from L. We also consider Leibniz algebras with corresponding Lie algebra nn,1 and such that the action I ×nn,1 → I gives rise to a minimal faithful representation of nn,1. The classification up to isomorphism of such Leibniz algebras is given for the case of n = 4.

  8. On Linear Algebra Education

    Directory of Open Access Journals (Sweden)

    Sinan AYDIN

    2009-04-01

    Full Text Available Linear algebra is a basic course followed in mathematics, science, and engineering university departments.Generally, this course is taken in either the first or second year but there have been difficulties in teachingand learning. This type of active algebra has resulted in an increase in research by mathematics educationresearchers. But there is insufficient information on this subject in Turkish and therefore it has not beengiven any educational status. This paper aims to give a general overview of this subject in teaching andlearning. These education studies can be considered quadruple: a the history of linear algebra, b formalismobstacles of linear algebra and cognitive flexibility to improve teaching and learning, c the relation betweenlinear algebra and geometry, d using technology in the teaching and learning linear algebra.Mathematicseducation researchers cannot provide an absolute solution to overcome the teaching and learning difficultiesof linear algebra. Epistemological analyses and experimental teaching have shown the learning difficulties.Given these results, further advice and assistance can be offered locally.

  9. 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...

  10. Configuration spaces geometry, topology and representation theory

    CERN Document Server

    Cohen, Frederick; Concini, Corrado; Feichtner, Eva; Gaiffi, Giovanni; Salvetti, Mario

    2016-01-01

    This book collects the scientific contributions of a group of leading experts who took part in the INdAM Meeting held in Cortona in September 2014. With combinatorial techniques as the central theme, it focuses on recent developments in configuration spaces from various perspectives. It also discusses their applications in areas ranging from representation theory, toric geometry and geometric group theory to applied algebraic topology.

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

    Energy Technology Data Exchange (ETDEWEB)

    Gurau, Razvan, E-mail: rgurau@perimeterinstitute.ca [Perimeter Institute for Theoretical Physics, 31 Caroline St. N, ON N2L 2Y5, Waterloo (Canada)

    2012-12-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.

  12. On dibaric and evolution algebras

    CERN Document Server

    Ladra, M; Rozikov, U A

    2011-01-01

    We find conditions on ideals of an algebra under which the algebra is dibaric. Dibaric algebras have not non-zero homomorphisms to the set of the real numbers. We introduce a concept of bq-homomorphism (which is given by two linear maps $f, g$ of the algebra to the set of the real numbers) and show that an algebra is dibaric if and only if it admits a non-zero bq-homomorphism. Using the pair $(f,g)$ we define conservative algebras and establish criteria for a dibaric algebra to be conservative. Moreover, the notions of a Bernstein algebra and an algebra induced by a linear operator are introduced and relations between these algebras are studied. For dibaric algebras we describe a dibaric algebra homomorphism and study their properties by bq-homomorphisms of the dibaric algebras. We apply the results to the (dibaric) evolution algebra of a bisexual population. For this dibaric algebra we describe all possible bq-homomorphisms and find conditions under which the algebra of a bisexual population is induced by a ...

  13. Classification of Noncommutative Domain Algebras

    CERN Document Server

    Arias, Alvaro

    2012-01-01

    Noncommutative domain algebras are noncommutative analogues of the algebras of holomorphic functions on domains of $\\C^n$ defined by holomorphic polynomials, and they generalize the noncommutative Hardy algebras. We present here a complete classification of these algebras based upon techniques inspired by multivariate complex analysis, and more specifically the classification of domains in hermitian spaces up to biholomorphic equivalence.

  14. Process algebra for Hybrid systems

    NARCIS (Netherlands)

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

    2008-01-01

    We propose a process algebra obtained by extending a combination of the process algebra with continuous relative timing from Baeten and Middelburg [Process Algebra with Timing, Springer, Chap. 4, 2002] and the process algebra with propositional signals from Baeten and Bergstra [Theoretical Computer

  15. Process algebra for hybrid systems

    NARCIS (Netherlands)

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

    2005-01-01

    We propose a process algebra obtained by extending a combination of the process algebra with continuous relative timing from Baeten and Middelburg (Process Algebra with Timing, Springer,Berlin, 2002, Chapter 4), and the process algebra with propositional signals from Baeten and Bergstra(Theoret. Com

  16. Brauer algebras of type B

    NARCIS (Netherlands)

    Cohen, A.M.; Liu, S.

    2015-01-01

    For each n ≥ 1, we define an algebra having many properties that one might expect to hold for a Brauer algebra of type Bn. It is defined by means of a presentation by generators and relations. We show that this algebra is a subalgebra of the Brauer algebra of type Dn+1 and point out a cellular struc

  17. Homotopical topology

    CERN Document Server

    Fomenko, Anatoly

    2016-01-01

    This classic text of the renowned Moscow mathematical school equips the aspiring mathematician with a solid grounding in the core of topology, from a homotopical perspective. Its comprehensiveness and depth of treatment are unmatched among topology textbooks: in addition to covering the basics—the fundamental notions and constructions of homotopy theory, covering spaces and the fundamental group, CW complexes, homology and cohomology, homological algebra—the book treats essential advanced topics, such as obstruction theory, characteristic classes, Steenrod squares, K-theory and cobordism theory, and, with distinctive thoroughness and lucidity, spectral sequences. The organization of the material around the major achievements of the golden era of topology—the Adams conjecture, Bott periodicity, the Hirzebruch–Riemann–Roch theorem, the Atiyah–Singer index theorem, to name a few—paints a clear picture of the canon of the subject. Grassmannians, loop spaces, and classical groups play a central role ...

  18. Symplectic algebraic dynamics algorithm

    Institute of Scientific and Technical Information of China (English)

    2007-01-01

    Based on the algebraic dynamics solution of ordinary differential equations andintegration of  ,the symplectic algebraic dynamics algorithm sn is designed,which preserves the local symplectic geometric structure of a Hamiltonian systemand possesses the same precision of the na ve algebraic dynamics algorithm n.Computer experiments for the 4th order algorithms are made for five test modelsand the numerical results are compared with the conventional symplectic geometric algorithm,indicating that sn has higher precision,the algorithm-inducedphase shift of the conventional symplectic geometric algorithm can be reduced,and the dynamical fidelity can be improved by one order of magnitude.

  19. Bundles of Banach algebras

    Directory of Open Access Journals (Sweden)

    J. W. Kitchen

    1994-01-01

    Full Text Available We study bundles of Banach algebras π:A→X, where each fiber Ax=π−1({x} is a Banach algebra and X is a compact Hausdorff space. In the case where all fibers are commutative, we investigate how the Gelfand representation of the section space algebra Γ(π relates to the Gelfand representation of the fibers. In the general case, we investigate how adjoining an identity to the bundle π:A→X relates to the standard adjunction of identities to the fibers.

  20. Matrices and linear algebra

    CERN Document Server

    Schneider, Hans

    1989-01-01

    Linear algebra is one of the central disciplines in mathematics. A student of pure mathematics must know linear algebra if he is to continue with modern algebra or functional analysis. Much of the mathematics now taught to engineers and physicists requires it.This well-known and highly regarded text makes the subject accessible to undergraduates with little mathematical experience. Written mainly for students in physics, engineering, economics, and other fields outside mathematics, the book gives the theory of matrices and applications to systems of linear equations, as well as many related t

  1. Topological microstructure analysis using persistence landscapes

    Science.gov (United States)

    Dłotko, Paweł; Wanner, Thomas

    2016-11-01

    Phase separation mechanisms can produce a variety of complicated and intricate microstructures, which often can be difficult to characterize in a quantitative way. In recent years, a number of novel topological metrics for microstructures have been proposed, which measure essential connectivity information and are based on techniques from algebraic topology. Such metrics are inherently computable using computational homology, provided the microstructures are discretized using a thresholding process. However, while in many cases the thresholding is straightforward, noise and measurement errors can lead to misleading metric values. In such situations, persistence landscapes have been proposed as a natural topology metric. Common to all of these approaches is the enormous data reduction, which passes from complicated patterns to discrete information. It is therefore natural to wonder what type of information is actually retained by the topology. In the present paper, we demonstrate that averaged persistence landscapes can be used to recover central system information in the Cahn-Hilliard theory of phase separation. More precisely, we show that topological information of evolving microstructures alone suffices to accurately detect both concentration information and the actual decomposition stage of a data snapshot. Considering that persistent homology only measures discrete connectivity information, regardless of the size of the topological features, these results indicate that the system parameters in a phase separation process affect the topology considerably more than anticipated. We believe that the methods discussed in this paper could provide a valuable tool for relating experimental data to model simulations.

  2. On Convergence in L-Valued Fuzzy Topological Spaces

    Directory of Open Access Journals (Sweden)

    A. A. Ramadan

    2015-01-01

    Full Text Available We introduce the concept of L-fuzzy neighborhood systems using complete MV-algebras and present important links with the theory of L-fuzzy topological spaces. We investigate the relationships among the degrees of L-fuzzy r-adherent points (r-convergent, r-cluster, and r-limit, resp. in an L-fuzzy topological spaces. Also, we investigate the concept of LF-continuous functions and their properties.

  3. Topological Combinatorics of a Quantized String Gravitational Metric

    OpenAIRE

    Lundberg, Wayne R.

    1997-01-01

    A string-theoretic structure of the standard model is defined having a 4-D quantum gravity metric consistent with topological and algebraic first principles. Unique topological diagrams of string states, strong and weak interactions and quark families are evolved from this metric (but published separately). The theoretical structure includes known static and dynamic symmetries. A philosophical perspective on modern physics originates numerous opportunities for formal mathematical discussion.

  4. An algebraic geometric approach to separation of variables

    CERN Document Server

    Schöbel, Konrad

    2015-01-01

    Konrad Schöbel aims to lay the foundations for a consequent algebraic geometric treatment of variable separation, which is one of the oldest and most powerful methods to construct exact solutions for the fundamental equations in classical and quantum physics. The present work reveals a surprising algebraic geometric structure behind the famous list of separation coordinates, bringing together a great range of mathematics and mathematical physics, from the late 19th century theory of separation of variables to modern moduli space theory, Stasheff polytopes and operads. "I am particularly impressed by his mastery of a variety of techniques and his ability to show clearly how they interact to produce his results.”   (Jim Stasheff)   Contents The Foundation: The Algebraic Integrability Conditions The Proof of Concept: A Complete Solution for the 3-Sphere The Generalisation: A Solution for Spheres of Arbitrary Dimension The Perspectives: Applications and Generalisations   Target Groups Scientists in the fie...

  5. Homology for higher-rank graphs and twisted C*-algebras

    CERN Document Server

    Kumjian, Alex; Sims, Aidan

    2011-01-01

    We introduce a homology theory for k-graphs and explore its fundamental properties. We establish connections with algebraic topology by showing that the homology of a k-graph coincides with the homology of its topological realisation as described by Kaliszewski et al. We exhibit combinatorial versions of a number of standard topological constructions, and show that they are compatible, from a homological point of view, with their topological counterparts. We show how to twist the C*-algebra of a k-graph by a T-valued 2-cocycle and demonstrate that examples include all noncommutative tori. In the appendices, we construct a cubical set \\tilde{Q}(\\Lambda) from a k-graph {\\Lambda} and demonstrate that the homology and topological realisation of {\\Lambda} coincide with those of \\tilde{Q}(\\Lambda) as defined by Grandis.

  6. Essential linear algebra with applications a problem-solving approach

    CERN Document Server

    Andreescu, Titu

    2014-01-01

    This textbook provides a rigorous introduction to linear algebra in addition to material suitable for a more advanced course while emphasizing the subject’s interactions with other topics in mathematics such as calculus and geometry. A problem-based approach is used to develop the theoretical foundations of vector spaces, linear equations, matrix algebra, eigenvectors, and orthogonality. Key features include: • a thorough presentation of the main results in linear algebra along with numerous examples to illustrate the theory;  • over 500 problems (half with complete solutions) carefully selected for their elegance and theoretical significance; • an interleaved discussion of geometry and linear algebra, giving readers a solid understanding of both topics and the relationship between them.   Numerous exercises and well-chosen examples make this text suitable for advanced courses at the junior or senior levels. It can also serve as a source of supplementary problems for a sophomore-level course.    ...

  7. Quasi Hopf algebras, group cohomology and orbifold models

    Energy Technology Data Exchange (ETDEWEB)

    Dijkgraaf, R. (Princeton Univ., NJ (USA). Joseph Henry Labs.); Pasquier, V. (CEA Centre d' Etudes Nucleaires de Saclay, 91 - Gif-sur-Yvette (France). Inst. de Recherche Fondamentale (IRF)); Roche, P. (Ecole Polytechnique, 91 - Palaiseau (France). Centre de Physique Theorique)

    1991-01-01

    We construct non trivial quasi Hopf algebras associated to any finite group G and any element of H{sup 3}(G,U)(1). We analyze in details the set of representations of these algebras and show that we recover the main interesting datas attached to particular orbifolds of Rational Conformal Field Theory or equivalently to the topological field theories studied by R. Dijkgraaf and E. Witten. This leads us to the construction of the R-matrix structure in non abelian RCFT orbifold models. (orig.).

  8. Large N duality, lagrangian cycles, and algebraic knots

    CERN Document Server

    Diaconescu, D -E; Vafa, C

    2011-01-01

    We consider knot invariants in the context of large $N$ transitions of topological strings. In particular we consider aspects of Lagrangian cycles associated to knots in the conifold geometry. We show how these can be explicity constructed in the case of algebraic knots. We use this explicit construction to explain a recent conjecture relating study of stable pairs on algebraic curves with HOMFLY polynomials. Furthermore, for torus knots, using the explicit construction of the Lagrangian cycle, we also give a direct A-model computation and recover the HOMFLY polynomial for this case.

  9. Large N Duality, Lagrangian Cycles, and Algebraic Knots

    Science.gov (United States)

    Diaconescu, D.-E.; Shende, V.; Vafa, C.

    2013-05-01

    We consider knot invariants in the context of large N transitions of topological strings. In particular we consider aspects of Lagrangian cycles associated to knots in the conifold geometry. We show how these can be explicitly constructed in the case of algebraic knots. We use this explicit construction to explain a recent conjecture relating study of stable pairs on algebraic curves with HOMFLY polynomials. Furthermore, for torus knots, using the explicit construction of the Lagrangian cycle, we also give a direct A-model computation and recover the HOMFLY polynomial for this case.

  10. On isomorphisms of integral table algebras

    Institute of Scientific and Technical Information of China (English)

    FAN; Yun(樊恽); SUN; Daying(孙大英)

    2002-01-01

    For integral table algebras with integral table basis T, we can consider integral R-algebra RT over a subring R of the ring of the algebraic integers. It is proved that an R-algebra isomorphism between two integral table algebras must be an integral table algebra isomorphism if it is compatible with the so-called normalizings of the integral table algebras.

  11. Introduction to algebra

    CERN Document Server

    Cameron, Peter J

    2007-01-01

    This Second Edition of a classic algebra text includes updated and comprehensive introductory chapters,. new material on axiom of Choice, p-groups and local rings, discussion of theory and applications, and over 300 exercises. It is an ideal introductory text for all Year 1 and 2 undergraduate students in mathematics. - ;Developed to meet the needs of modern students, this Second Edition of the classic algebra text by Peter Cameron covers all the abstract algebra an undergraduate student is likely to need. Starting with an introductory overview of numbers, sets and functions, matrices, polynomials, and modular arithmetic, the text then introduces the most important algebraic structures: groups, rings and fields, and their properties. This is followed by coverage of vector spaces and modules with. applications to abelian groups and canonical forms before returning to the construction of the number systems, including the existence of transcendental numbers. The final chapters take the reader further into the th...

  12. The Algebra of -relations

    Indian Academy of Sciences (India)

    Vijay Kodiyalam; R Srinivasan; V S Sunder

    2000-08-01

    In this paper, we study a tower $\\{A^G_n(d):n≥ 1\\}$ of finite-dimensional algebras; here, represents an arbitrary finite group, denotes a complex parameter, and the algebra $A^G_n(d)$ has a basis indexed by `-stable equivalence relations' on a set where acts freely and has 2 orbits. We show that the algebra $A^G_n(d)$ is semi-simple for all but a finite set of values of , and determine the representation theory (or, equivalently, the decomposition into simple summands) of this algebra in the `generic case'. Finally we determine the Bratteli diagram of the tower $\\{A^G_n(d): n≥ 1\\}$ (in the generic case).

  13. Weyl n-Algebras

    Science.gov (United States)

    Markarian, Nikita

    2017-03-01

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

  14. Linear algebra done right

    CERN Document Server

    Axler, Sheldon

    2015-01-01

    This best-selling textbook for a second course in linear algebra is aimed at undergrad math majors and graduate students. The novel approach taken here banishes determinants to the end of the book. The text focuses on the central goal of linear algebra: understanding the structure of linear operators on finite-dimensional vector spaces. The author has taken unusual care to motivate concepts and to simplify proofs. A variety of interesting exercises in each chapter helps students understand and manipulate the objects of linear algebra. The third edition contains major improvements and revisions throughout the book. More than 300 new exercises have been added since the previous edition. Many new examples have been added to illustrate the key ideas of linear algebra. New topics covered in the book include product spaces, quotient spaces, and dual spaces. Beautiful new formatting creates pages with an unusually pleasant appearance in both print and electronic versions. No prerequisites are assumed other than the ...

  15. Parametrizing Algebraic Curves

    OpenAIRE

    Lemmermeyer, Franz

    2011-01-01

    We present the technique of parametrization of plane algebraic curves from a number theorist's point of view and present Kapferer's simple and beautiful (but little known) proof that nonsingular curves of degree > 2 cannot be parametrized by rational functions.

  16. Topology for Statistical Modeling of Petascale Data

    Energy Technology Data Exchange (ETDEWEB)

    Pascucci, Valerio [Univ. of Utah, Salt Lake City, UT (United States); Levine, Joshua [Univ. of Utah, Salt Lake City, UT (United States); Gyulassy, Attila [Univ. of Utah, Salt Lake City, UT (United States); Bremer, P. -T. [Univ. of Utah, Salt Lake City, UT (United States)

    2017-03-23

    Many commonly used algorithms for mathematical analysis do not scale well enough to accommodate the size or complexity of petascale data produced by computational simulations. The primary goal of this project is to develop new mathematical tools that address both the petascale size and uncertain nature of current data. At a high level, the approach of the entire team involving all three institutions is based on the complementary techniques of combinatorial topology and statistical modelling. In particular, we use combinatorial topology to filter out spurious data that would otherwise skew statistical modelling techniques, and we employ advanced algorithms from algebraic statistics to efficiently find globally optimal fits to statistical models. The overall technical contributions can be divided loosely into three categories: (1) advances in the field of combinatorial topology, (2) advances in statistical modelling, and (3) new integrated topological and statistical methods. Roughly speaking, the division of labor between our 3 groups (Sandia Labs in Livermore, Texas A&M in College Station, and U Utah in Salt Lake City) is as follows: the Sandia group focuses on statistical methods and their formulation in algebraic terms, and finds the application problems (and data sets) most relevant to this project, the Texas A&M Group develops new algebraic geometry algorithms, in particular with fewnomial theory, and the Utah group develops new algorithms in computational topology via Discrete Morse Theory. However, we hasten to point out that our three groups stay in tight contact via videconference every 2 weeks, so there is much synergy of ideas between the groups. The following of this document is focused on the contributions that had grater direct involvement from the team at the University of Utah in Salt Lake City.

  17. Beginning algebra a textworkbook

    CERN Document Server

    McKeague, Charles P

    1985-01-01

    Beginning Algebra: A Text/Workbook, Second Edition focuses on the principles, operations, and approaches involved in algebra. The publication first elaborates on the basics, linear equations and inequalities, and graphing and linear systems. Discussions focus on solving linear systems by graphing, elimination method, graphing ordered pairs and straight lines, linear and compound inequalities, addition and subtraction of real numbers, and properties of real numbers. The text then examines exponents and polynomials, factoring, and rational expressions. Topics include multiplication and division

  18. Intermediate algebra a textworkbook

    CERN Document Server

    McKeague, Charles P

    1985-01-01

    Intermediate Algebra: A Text/Workbook, Second Edition focuses on the principles, operations, and approaches involved in intermediate algebra. The publication first takes a look at basic properties and definitions, first-degree equations and inequalities, and exponents and polynomials. Discussions focus on properties of exponents, polynomials, sums, and differences, multiplication of polynomials, inequalities involving absolute value, word problems, first-degree inequalities, real numbers, opposites, reciprocals, and absolute value, and addition and subtraction of real numbers. The text then ex

  19. Introduction to abstract algebra

    CERN Document Server

    Nicholson, W Keith

    2012-01-01

    Praise for the Third Edition ". . . an expository masterpiece of the highest didactic value that has gained additional attractivity through the various improvements . . ."-Zentralblatt MATH The Fourth Edition of Introduction to Abstract Algebra continues to provide an accessible approach to the basic structures of abstract algebra: groups, rings, and fields. The book's unique presentation helps readers advance to abstract theory by presenting concrete examples of induction, number theory, integers modulo n, and permutations before the abstract structures are defined. Readers can immediately be

  20. Noncommutative algebra and geometry

    CERN Document Server

    De Concini, Corrado; Vavilov, Nikolai 0

    2005-01-01

    Finite Galois Stable Subgroups of Gln. Derived Categories for Nodal Rings and Projective Configurations. Crowns in Profinite Groups and Applications. The Galois Structure of Ambiguous Ideals in Cyclic Extensions of Degree 8. An Introduction to Noncommutative Deformations of Modules. Symmetric Functions, Noncommutative Symmetric Functions and Quasisymmetric Functions II. Quotient Grothendieck Representations. On the Strong Rigidity of Solvable Lie Algebras. The Role of Bergman in Invesigating Identities in Matrix Algebras with Symplectic Involution. The Triangular Structure of Ladder Functors.

  1. Generalized braided Hopf algebras

    Institute of Scientific and Technical Information of China (English)

    LU Zhong-jian; FANG Xiao-li

    2009-01-01

    The concept of (f, σ)-pair (B, H)is introduced, where B and H are Hopf algebras. A braided tensor category which is a tensor subcategory of the category HM of left H-comodules through an (f, σ)-pair is constructed. In particularly, a Yang-Baxter equation is got. A Hopf algebra is constructed as well in the Yetter-Drinfel'd category HHYD by twisting the multiplication of B.

  2. Elementary linear algebra

    CERN Document Server

    Andrilli, Stephen

    2010-01-01

    Elementary Linear Algebra develops and explains in careful detail the computational techniques and fundamental theoretical results central to a first course in linear algebra. This highly acclaimed text focuses on developing the abstract thinking essential for further mathematical study. The authors give early, intensive attention to the skills necessary to make students comfortable with mathematical proofs. The text builds a gradual and smooth transition from computational results to general theory of abstract vector spaces. It also provides flexbile coverage of practical applications, expl

  3. Intermediate algebra & analytic geometry

    CERN Document Server

    Gondin, William R

    1967-01-01

    Intermediate Algebra & Analytic Geometry Made Simple focuses on the principles, processes, calculations, and methodologies involved in intermediate algebra and analytic geometry. The publication first offers information on linear equations in two unknowns and variables, functions, and graphs. Discussions focus on graphic interpretations, explicit and implicit functions, first quadrant graphs, variables and functions, determinate and indeterminate systems, independent and dependent equations, and defective and redundant systems. The text then examines quadratic equations in one variable, system

  4. Building a Foundation for Learning Algebra in the Elementary Grades.

    Science.gov (United States)

    Carpenter, Thomas P.; Levi, Linda; Farnsworth, Valerie

    2000-01-01

    "In Brief" focuses on K-12 mathematics and science research and implications for policymakers, educators, and researchers seeking to improve student learning and achievement This brief highlights the learning gains of 240 elementary students involved in a long-term study in Madison, Wisconsin and their remarkable ability to reason with arithmetic…

  5. Skin Cancer Foundation

    Science.gov (United States)

    ... Host a Fundraising Event | About Us | Store The Skin Cancer Foundation The Skin Cancer Foundation is the ... A "Sunscreen Gene"? Skin Cancer Facts & Statistics The Skin Cancer Foundation's Champions for Change Gala 2016 Learn ...

  6. Differential Hopf algebra structures on the universal enveloping algebra of a lie algebra

    OpenAIRE

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

    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 $U(g)$. The construction of such differential structures is interpreted in terms of colour Lie superalgebras.

  7. L-o cto-algebras

    Institute of Scientific and Technical Information of China (English)

    An Hui-hui; Wang Zhi-chun

    2016-01-01

    L-octo-algebra with 8 operations as the Lie algebraic analogue of octo-algebra such that the sum of 8 operations is a Lie algebra is discussed. Any octo-algebra is an L-octo-algebra. The relationships among L-octo-algebras, L-quadri-algebras, L-dendriform algebras, pre-Lie algebras and Lie algebras are given. The close relationships between L-octo-algebras and some interesting structures like Rota-Baxter operators, classical Yang-Baxter equations and some bilinear forms satisfying certain conditions are given also.

  8. Universal Algebra Applied to Hom-Associative Algebras, and More

    OpenAIRE

    Hellström, Lars; Makhlouf, Abdenacer; Silvestrov, Sergei D.

    2014-01-01

    The purpose of this paper is to discuss the universal algebra theory of hom-algebras. This kind of algebra involves a linear map which twists the usual identities. We focus on hom-associative algebras and hom-Lie algebras for which we review the main results. We discuss the envelopment problem, operads, and the Diamond Lemma; the usual tools have to be adapted to this new situation. Moreover we study Hilbert series for the hom-associative operad and free algebra, and describe them up to total...

  9. Axis Problem of Rough 3-Valued Algebras

    Institute of Scientific and Technical Information of China (English)

    Jianhua Dai; Weidong Chen; Yunhe Pan

    2006-01-01

    The collection of all the rough sets of an approximation space has been given several algebraic interpretations, including Stone algebras, regular double Stone algebras, semi-simple Nelson algebras, pre-rough algebras and 3-valued Lukasiewicz algebras. A 3-valued Lukasiewicz algebra is a Stone algebra, a regular double Stone algebra, a semi-simple Nelson algebra, a pre-rough algebra. Thus, we call the algebra constructed by the collection of rough sets of an approximation space a rough 3-valued Lukasiewicz algebra. In this paper,the rough 3-valued Lukasiewicz algebras, which are a special kind of 3-valued Lukasiewicz algebras, are studied. Whether the rough 3-valued Lukasiewicz algebra is a axled 3-valued Lukasiewicz algebra is examined.

  10. Discovering Authorities and Hubs in Different Topological Web Graph Structures.

    Science.gov (United States)

    Meghabghab, George

    2002-01-01

    Discussion of citation analysis on the Web considers Web hyperlinks as a source to analyze citations. Topics include basic graph theory applied to Web pages, including matrices, linear algebra, and Web topology; and hubs and authorities, including a search technique called HITS (Hyperlink Induced Topic Search). (Author/LRW)

  11. Topology on locally finite metric spaces

    CERN Document Server

    Capraro, Valerio

    2011-01-01

    The necessity of a theory of General Topology and, most of all, of Algebraic Topology on locally finite metric spaces comes from many areas of research in both Applied and Pure Mathematics: Molecular Biology, Mathematical Chemistry, Computer Science, Topological Graph Theory and Metric Geometry. In this paper we propose the basic notions of such a theory and some applications: we replace the classical notions of continuous function, homeomorphism and homotopic equivalence with the notions of NPP-function, NPP-local-isomorphism and NPP-homotopy (NPP stands for Nearest Point Preserving); we also introduce the notion of NPP-isomorphism. We construct three invariants under NPP-isomorphisms and, in particular, we define the fundamental group of a locally finite metric space. As first applications, we propose the following: motivated by the longstanding question whether there is a purely metric condition which extends the notion of amenability of a group to any metric space, we propose the property SN (Small Neighb...

  12. Chain Homotopies for Object Topological Representations

    CERN Document Server

    Gonzalez-Diaz, Rocio; MEdrano, Belen; Real, Pedro; 10.1016/j.dam.2008.05.029

    2011-01-01

    This paper presents a set of tools to compute topological information of simplicial complexes, tools that are applicable to extract topological information from digital pictures. A simplicial complex is encoded in a (non-unique) algebraic-topological format called AM-model. An AM-model for a given object K is determined by a concrete chain homotopy and it provides, in particular, integer (co)homology generators of K and representative (co)cycles of these generators. An algorithm for computing an AM-model and the cohomological invariant HB1 (derived from the rank of the cohomology ring) with integer coefficients for a finite simplicial complex in any dimension is designed here. A concept of generators which are "nicely" representative cycles is also presented. Moreover, we extend the definition of AM-models to 3D binary digital images and we design algorithms to update the AM-model information after voxel set operations (union, intersection, difference and inverse).

  13. Simple algebras of Weyl type

    Institute of Scientific and Technical Information of China (English)

    2001-01-01

    Over a field F of arbitrary characteristic, we define the associative and the Lie algebras of Weyl type on the same vector space A[D]=A[D] from any pair of a commutative associative algebra A with an identity element and the polynomial algebra [D] of a commutative derivation subalgebra D of A. We prove that A[D], as a Lie algebra (modulo its center) or as an associative algebra, is simple if and only if A is D-simple and A[D] acts faithfully on A. Thus we obtain a lot of simple algebras.

  14. Simple Algebras of Invariant Operators

    Institute of Scientific and Technical Information of China (English)

    Xiaorong Shen; J.D.H. Smith

    2001-01-01

    Comtrans algebras were introduced in as algebras with two trilinear operators, a commutator [x, y, z] and a translator , which satisfy certain identities. Previously known simple comtrans algebras arise from rectangular matrices, simple Lie algebras, spaces equipped with a bilinear form having trivial radical, spaces of hermitian operators over a field with a minimum polynomial x2+1. This paper is about generalizing the hermitian case to the so-called invariant case. The main result of this paper shows that the vector space of n-dimensional invariant operators furnishes some comtrans algebra structures, which are simple provided that certain Jordan and Lie algebras are simple.

  15. On the extended and Allan spectra and topological radii

    Directory of Open Access Journals (Sweden)

    Hugo Arizmendi-Peimbert

    2012-01-01

    Full Text Available In this paper we prove that the extended spectrum \\(\\Sigma(x\\, defined by W. Żelazko, of an element \\(x\\ of a pseudo-complete locally convex unital complex algebra \\(A\\ is a subset of the spectrum \\(\\sigma_A(x\\, defined by G.R. Allan. Furthermore, we prove that they coincide when \\(\\Sigma(x\\ is closed. We also establish some order relations between several topological radii of \\(x\\, among which are the topological spectral radius \\(R_t(x\\ and the topological radius of boundedness \\(\\beta_t(x\\.

  16. An Algebraic Approach to Hough Transforms

    CERN Document Server

    Beltrametti, Mauro C

    2012-01-01

    The main purpose of this paper is to lay the foundations of a general theory which encompasses the features of the classical Hough transform and extend them to general algebraic objects such as affine schemes. The main motivation comes from problems of detection of special shapes in medical and astronomical images. The classical Hough transform has been used mainly to detect simple curves such as lines and circles. We generalize this notion using reduced Groebner bases of flat families of affine schemes. To this end we introduce and develop the theory of Hough regularity. The theory is highly effective and we give some examples computed with CoCoA.

  17. CASL- The Common Algebraic Specification Language- Summary

    DEFF Research Database (Denmark)

    Haxthausen, Anne

    1997-01-01

    This Summary is the basis for the Design Proposal [LD97b] for CASL, the Common Algebraic Specification Language, prepared by the Language Design Task Group of CoFI, the Common Framework Initiative. It gives the abstract syntax, and informally describes its intended semantics. It is accompanied...... for approval to the sponsoring IFIP Working Group on Foundations of System Specification, WG 1.3. It received tentative approval, together with a referees' report recommending the reconsideration of some elements of the design [IFI97]; a response has already been made [LD97a]. The present version...

  18. 2D sigma models and differential Poisson algebras

    Science.gov (United States)

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

    2015-08-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.

  19. 2D sigma models and differential Poisson algebras

    CERN Document Server

    Arias, Cesar; 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 any 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.

  20. Smooth Frechet subalgebras of *-algebras defined by first order differential seminorms

    Indian Academy of Sciences (India)

    Subhash J Bhatt

    2016-02-01

    The differential structure in a *-algebra defined by a dense Frechet subalgebra whose topology is defined by a sequence of differential seminorms of order 1 is investigated. This includes differential Arens–Michael decomposition, spectral invariance, closure under functional calculi as well as intrinsic spectral description. A large number of examples of such Frechet algebras are exhibited; and the smooth structure defined by an unbounded self-adjoint Hilbert space operator is discussed.

  1. Noncommutative Figa-Talamanca-Herz algebras for Schur multipliers

    CERN Document Server

    Arhancet, Cédric

    2009-01-01

    We introduce a noncommutative analogue of the Fig\\'a-Talamanca-Herz algebra $A_p(G)$ on the natural predual of the operator space $\\frak{M}_{p,cb}$ of completely bounded Schur multipliers on Schatten space $S_p$. We determine the isometric Schur multipliers and prove that the space $\\frak{M}_{p}$ of bounded Schur multipliers on Schatten space $S_p$ is the closure in the weak operator topology of the span of the isometric multipliers.

  2. The Algebraic Formulation: Why and How to Use it

    Directory of Open Access Journals (Sweden)

    Ferretti Elena

    2015-01-01

    Full Text Available Finite Element, Boundary Element, Finite Volume, and Finite Difference Analysis are all commonly used in nearly all engineering disciplines to simplify complex problems of geometry and change, but they all tend to oversimplify. This paper shows a more recent computational approach developed initially for problems in solid mechanics and electro-magnetic field analysis. It is an algebraic approach, and it offers a more accurate representation of geometric and topological features.

  3. An improved genetic algorithm with dynamic topology

    Science.gov (United States)

    Cai, Kai-Quan; Tang, Yan-Wu; Zhang, Xue-Jun; Guan, Xiang-Min

    2016-12-01

    The genetic algorithm (GA) is a nature-inspired evolutionary algorithm to find optima in search space via the interaction of individuals. Recently, researchers demonstrated that the interaction topology plays an important role in information exchange among individuals of evolutionary algorithm. In this paper, we investigate the effect of different network topologies adopted to represent the interaction structures. It is found that GA with a high-density topology ends up more likely with an unsatisfactory solution, contrarily, a low-density topology can impede convergence. Consequently, we propose an improved GA with dynamic topology, named DT-GA, in which the topology structure varies dynamically along with the fitness evolution. Several experiments executed with 15 well-known test functions have illustrated that DT-GA outperforms other test GAs for making a balance of convergence speed and optimum quality. Our work may have implications in the combination of complex networks and computational intelligence. Project supported by the National Natural Science Foundation for Young Scientists of China (Grant No. 61401011), the National Key Technologies R & D Program of China (Grant No. 2015BAG15B01), and the National Natural Science Foundation of China (Grant No. U1533119).

  4. Differential topology

    CERN Document Server

    Margalef-Roig, J

    1992-01-01

    ...there are reasons enough to warrant a coherent treatment of the main body of differential topology in the realm of Banach manifolds, which is at the same time correct and complete. This book fills the gap: whenever possible the manifolds treated are Banach manifolds with corners. Corners add to the complications and the authors have carefully fathomed the validity of all main results at corners. Even in finite dimensions some results at corners are more complete and better thought out here than elsewhere in the literature. The proofs are correct and with all details. I see this book as a reliable monograph of a well-defined subject; the possibility to fall back to it adds to the feeling of security when climbing in the more dangerous realms of infinite dimensional differential geometry. Peter W. Michor

  5. The Danish Industrial Foundations

    DEFF Research Database (Denmark)

    Thomsen, Steen

    Industrial foundations are foundations that own companies. Typically, they combine charitable and business goals. This book is about industrial foundation ownership of business companies and what we can learn about it from the Danish evidence. It is about how foundation ownership is ruled, taxed...... and governed, what role it plays in the Danish economy, and how industrial foundation-owned companies perform. The book is the result of a large collaborative research project, led by the author, on industrial foundations. Some global companies such as IKEA, Robert Bosch or the Tata Group are foundation...

  6. Structure of Solvable Quadratic Lie Algebras

    Institute of Scientific and Technical Information of China (English)

    ZHU Lin-sheng

    2005-01-01

    @@ Killing form plays a key role in the theory of semisimple Lie algebras. It is natural to extend the study to Lie algebras with a nondegenerate symmetric invariant bilinear form. Such a Lie algebra is generally called a quadratic Lie algebra which occur naturally in physics[10,12,13]. Besides semisimple Lie algebras, interesting quadratic Lie algebras include the Kac-Moody algebras and the Extended Affine Lie algebras.

  7. Algebraic orders on $K_{0}$ and approximately finite operator algebras

    CERN Document Server

    Power, S C

    1993-01-01

    This is a revised and corrected version of a preprint circulated in 1990 in which various non-self-adjoint limit algebras are classified. The principal invariant is the scaled $K_0$ group together with the algebraic order on the scale induced by partial isometries in the algebra.

  8. Approximate Preservers on Banach Algebras and C*-Algebras

    Directory of Open Access Journals (Sweden)

    M. Burgos

    2013-01-01

    Full Text Available The aim of the present paper is to give approximate versions of Hua’s theorem and other related results for Banach algebras and C*-algebras. We also study linear maps approximately preserving the conorm between unital C*-algebras.

  9. The Planar Algebra Associated to a Kac Algebra

    Indian Academy of Sciences (India)

    Vijay Kodiyalam; Zeph Landau; V S Sunder

    2003-02-01

    We obtain (two equivalent) presentations – in terms of generators and relations-of the planar algebra associated with the subfactor corresponding to (an outer action on a factor by) a finite-dimensional Kac algebra. One of the relations shows that the antipode of the Kac algebra agrees with the `rotation on 2-boxes'.

  10. 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…

  11. Derived Algebraic Geometry II: Noncommutative Algebra

    CERN Document Server

    Lurie, Jacob

    2007-01-01

    In this paper, we present an infinity-categorical version of the theory of monoidal categories. We show that the infinity category of spectra admits an essentially unique monoidal structure (such that the tensor product preserves colimits in each variable), and thereby recover the classical smash-product operation on spectra. We develop a general theory of algebras in a monoidal infinity category, which we use to (re)prove some basic results in the theory of associative ring spectra. We also develop an infinity-categorical theory of monads, and prove a version of the Barr-Beck theorem.

  12. Resonant algebras and gravity

    CERN Document Server

    Durka, R

    2016-01-01

    We explore the $S$-expansion framework to analyze freedom in closing the multiplication tables for the abelian semigroups. Including possibility of the zero element in the resonant decomposition and relating the Lorentz generator with the semigroup identity element leads to the wide class of the expanded Lie algebras introducing interesting modifications to the gauge gravity theories. Among the results we find not only all the Maxwell algebras of type $\\mathfrak{B}_m$, $\\mathfrak{C}_m$, and recently introduced $\\mathfrak{D}_m$, but we also produce new examples. We discuss some prospects concerning further enlarging the algebras and provide all necessary constituents for constructing the gravity actions based on the obtained results.

  13. Resonant algebras and gravity

    Science.gov (United States)

    Durka, R.

    2017-04-01

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

  14. Basic linear algebra

    CERN Document Server

    Blyth, T S

    2002-01-01

    Basic Linear Algebra is a text for first year students leading from concrete examples to abstract theorems, via tutorial-type exercises. More exercises (of the kind a student may expect in examination papers) are grouped at the end of each section. The book covers the most important basics of any first course on linear algebra, explaining the algebra of matrices with applications to analytic geometry, systems of linear equations, difference equations and complex numbers. Linear equations are treated via Hermite normal forms which provides a successful and concrete explanation of the notion of linear independence. Another important highlight is the connection between linear mappings and matrices leading to the change of basis theorem which opens the door to the notion of similarity. This new and revised edition features additional exercises and coverage of Cramer's rule (omitted from the first edition). However, it is the new, extra chapter on computer assistance that will be of particular interest to readers:...

  15. Adaptive Algebraic Multigrid Methods

    Energy Technology Data Exchange (ETDEWEB)

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

    2004-04-09

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

  16. Nearly projective Boolean algebras

    CERN Document Server

    Heindorf, Lutz; Shapiro, Leonid B

    1994-01-01

    The book is a fairly complete and up-to-date survey of projectivity and its generalizations in the class of Boolean algebras. Although algebra adds its own methods and questions, many of the results presented were first proved by topologists in the more general setting of (not necessarily zero-dimensional) compact spaces. An appendix demonstrates the application of advanced set-theoretic methods to the field. The intended readers are Boolean and universal algebraists. The book will also be useful for general topologists wanting to learn about kappa-metrizable spaces and related classes. The text is practically self-contained but assumes experience with the basic concepts and techniques of Boolean algebras.

  17. Algebraic number theory

    CERN Document Server

    Jarvis, Frazer

    2014-01-01

    The technical difficulties of algebraic number theory often make this subject appear difficult to beginners. This undergraduate textbook provides a welcome solution to these problems as it provides an approachable and thorough introduction to the topic. Algebraic Number Theory takes the reader from unique factorisation in the integers through to the modern-day number field sieve. The first few chapters consider the importance of arithmetic in fields larger than the rational numbers. Whilst some results generalise well, the unique factorisation of the integers in these more general number fields often fail. Algebraic number theory aims to overcome this problem. Most examples are taken from quadratic fields, for which calculations are easy to perform. The middle section considers more general theory and results for number fields, and the book concludes with some topics which are more likely to be suitable for advanced students, namely, the analytic class number formula and the number field sieve. This is the fi...

  18. Order Units in a *-Algebra

    Indian Academy of Sciences (India)

    Anil K Karn

    2003-02-01

    Order unit property of a positive element in a *-algebra is defined. It is proved that precisely projections satisfy this order theoretic property. This way, unital hereditary *-subalgebras of a *-algebra are characterized.

  19. Linear Mappings of Quaternion Algebra

    OpenAIRE

    Kleyn, Aleks

    2011-01-01

    In the paper I considered linear and antilinear automorphisms of quaternion algebra. I proved the theorem that there is unique expansion of R-linear mapping of quaternion algebra relative to the given set of linear and antilinear automorphisms.

  20. Computer Program For Linear Algebra

    Science.gov (United States)

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

    1987-01-01

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

  1. Algebra for Gifted Third Graders.

    Science.gov (United States)

    Borenson, Henry

    1987-01-01

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

  2. Algebra-Based Optimization of XML-Extended OLAP Queries

    DEFF Research Database (Denmark)

    Yin, Xuepeng; Pedersen, Torben Bach

    is desirable. This report presents a complete foundation for such OLAP-XML federations. This includes a prototypical query engine, a simplified query semantics based on previous work, and a complete physical algebra which enables precise modeling of the execution tasks of an OLAP-XML query. Effective algebra......-based and cost-based query optimization and implementation are also proposed, as well as the execution techniques. Finally, experiments with the prototypical query engine w.r.t. federation performance, optimization effectiveness, and feasibility suggest that our approach, unlike the physical integration...

  3. Automorphism groups of pointed Hopf algebras

    Institute of Scientific and Technical Information of China (English)

    YANG Shilin

    2007-01-01

    The group of Hopf algebra automorphisms for a finite-dimensional semisimple cosemisimple Hopf algebra over a field k was considered by Radford and Waterhouse. In this paper, the groups of Hopf algebra automorphisms for two classes of pointed Hopf algebras are determined. Note that the Hopf algebras we consider are not semisimple Hopf algebras.

  4. Elementary algebraic geometry

    CERN Document Server

    Kendig, Keith

    2015-01-01

    Designed to make learning introductory algebraic geometry as easy as possible, this text is intended for advanced undergraduates and graduate students who have taken a one-year course in algebra and are familiar with complex analysis. This newly updated second edition enhances the original treatment's extensive use of concrete examples and exercises with numerous figures that have been specially redrawn in Adobe Illustrator. An introductory chapter that focuses on examples of curves is followed by a more rigorous and careful look at plane curves. Subsequent chapters explore commutative ring th

  5. Algebra task & drill sheets

    CERN Document Server

    Reed, Nat

    2011-01-01

    For grades 3-5, our State Standards-based combined resource meets the algebraic concepts addressed by the NCTM standards and encourages the students to review the concepts in unique ways. The task sheets introduce the mathematical concepts to the students around a central problem taken from real-life experiences, while the drill sheets provide warm-up and timed practice questions for the students to strengthen their procedural proficiency skills. Included are opportunities for problem-solving, patterning, algebraic graphing, equations and determining averages. The combined task & drill sheets

  6. Algebra task & drill sheets

    CERN Document Server

    Reed, Nat

    2011-01-01

    For grades 6-8, our State Standards-based combined resource meets the algebraic concepts addressed by the NCTM standards and encourages the students to review the concepts in unique ways. The task sheets introduce the mathematical concepts to the students around a central problem taken from real-life experiences, while the drill sheets provide warm-up and timed practice questions for the students to strengthen their procedural proficiency skills. Included are opportunities for problem-solving, patterning, algebraic graphing, equations and determining averages. The combined task & drill sheets

  7. Recollements of extension algebras

    Institute of Scientific and Technical Information of China (English)

    CHEN; Qinghua(陈清华); LIN; Yanan(林亚南)

    2003-01-01

    Let A be a finite-dimensional algebra over arbitrary base field k. We prove: if the unbounded derived module category D-(Mod-A) admits symmetric recollement relative to unbounded derived module categories of two finite-dimensional k-algebras B and C:D-(Mod- B) ( ) D-(Mod- A) ( ) D-(Mod- C),then the unbounded derived module category D-(Mod - T(A)) admits symmetric recollement relative to the unbounded derived module categories of T(B) and T(C):D-(Mod - T(B)) ( ) D-(Mod - T(A)) ( ) D-(Mod - T(C)).

  8. Handbook of linear algebra

    CERN Document Server

    Hogben, Leslie

    2013-01-01

    With a substantial amount of new material, the Handbook of Linear Algebra, Second Edition provides comprehensive coverage of linear algebra concepts, applications, and computational software packages in an easy-to-use format. It guides you from the very elementary aspects of the subject to the frontiers of current research. Along with revisions and updates throughout, the second edition of this bestseller includes 20 new chapters.New to the Second EditionSeparate chapters on Schur complements, additional types of canonical forms, tensors, matrix polynomials, matrix equations, special types of

  9. Advanced linear algebra

    CERN Document Server

    Cooperstein, Bruce

    2010-01-01

    Vector SpacesFieldsThe Space FnVector Spaces over an Arbitrary Field Subspaces of Vector SpacesSpan and IndependenceBases and Finite Dimensional Vector SpacesBases and Infinite Dimensional Vector SpacesCoordinate VectorsLinear TransformationsIntroduction to Linear TransformationsThe Range and Kernel of a Linear TransformationThe Correspondence and Isomorphism TheoremsMatrix of a Linear TransformationThe Algebra of L(V, W) and Mmn(F)Invertible Transformations and MatricesPolynomialsThe Algebra of PolynomialsRoots of PolynomialsTheory of a Single Linear OperatorInvariant Subspaces of an Operator

  10. Linear Algebra Thoroughly Explained

    CERN Document Server

    Vujičić, Milan

    2008-01-01

    Linear Algebra Thoroughly Explained provides a comprehensive introduction to the subject suitable for adoption as a self-contained text for courses at undergraduate and postgraduate level. The clear and comprehensive presentation of the basic theory is illustrated throughout with an abundance of worked examples. The book is written for teachers and students of linear algebra at all levels and across mathematics and the applied sciences, particularly physics and engineering. It will also be an invaluable addition to research libraries as a comprehensive resource book for the subject.

  11. Division algebras and supersymmetry

    CERN Document Server

    Baez, John C

    2009-01-01

    Supersymmetry is deeply related to division algebras. Nonabelian Yang--Mills fields minimally coupled to massless spinors are supersymmetric if and only if the dimension of spacetime is 3, 4, 6 or 10. The same is true for the Green--Schwarz superstring. In both cases, supersymmetry relies on the vanishing of a certain trilinear expression involving a spinor field. The reason for this, in turn, is the existence of normed division algebras in dimensions 1, 2, 4 and 8: the real numbers, complex numbers, quaternions and octonions. Here we provide a self-contained account of how this works.

  12. Algebra & trigonometry super review

    CERN Document Server

    2012-01-01

    Get all you need to know with Super Reviews! Each Super Review is packed with in-depth, student-friendly topic reviews that fully explain everything about the subject. The Algebra and Trigonometry Super Review includes sets and set operations, number systems and fundamental algebraic laws and operations, exponents and radicals, polynomials and rational expressions, equations, linear equations and systems of linear equations, inequalities, relations and functions, quadratic equations, equations of higher order, ratios, proportions, and variations. Take the Super Review quizzes to see how much y

  13. Partially ordered algebraic systems

    CERN Document Server

    Fuchs, Laszlo

    2011-01-01

    Originally published in an important series of books on pure and applied mathematics, this monograph by a distinguished mathematician explores a high-level area in algebra. It constitutes the first systematic summary of research concerning partially ordered groups, semigroups, rings, and fields. The self-contained treatment features numerous problems, complete proofs, a detailed bibliography, and indexes. It presumes some knowledge of abstract algebra, providing necessary background and references where appropriate. This inexpensive edition of a hard-to-find systematic survey will fill a gap i

  14. Algebraic number theory

    CERN Document Server

    Weiss, Edwin

    1998-01-01

    Careful organization and clear, detailed proofs characterize this methodical, self-contained exposition of basic results of classical algebraic number theory from a relatively modem point of view. This volume presents most of the number-theoretic prerequisites for a study of either class field theory (as formulated by Artin and Tate) or the contemporary treatment of analytical questions (as found, for example, in Tate's thesis).Although concerned exclusively with algebraic number fields, this treatment features axiomatic formulations with a considerable range of applications. Modem abstract te

  15. 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.

  16. Elementary matrix algebra

    CERN Document Server

    Hohn, Franz E

    2012-01-01

    This complete and coherent exposition, complemented by numerous illustrative examples, offers readers a text that can teach by itself. Fully rigorous in its treatment, it offers a mathematically sound sequencing of topics. The work starts with the most basic laws of matrix algebra and progresses to the sweep-out process for obtaining the complete solution of any given system of linear equations - homogeneous or nonhomogeneous - and the role of matrix algebra in the presentation of useful geometric ideas, techniques, and terminology.Other subjects include the complete treatment of the structur

  17. Endomorphisms of graph algebras

    DEFF Research Database (Denmark)

    Conti, Roberto; Hong, Jeong Hee; Szymanski, Wojciech

    2012-01-01

    We initiate a systematic investigation of endomorphisms of graph C*-algebras C*(E), extending several known results on endomorphisms of the Cuntz algebras O_n. Most but not all of this study is focused on endomorphisms which permute the vertex projections and globally preserve the diagonal MASA D...... that the restriction to the diagonal MASA of an automorphism which globally preserves both D_E and the core AF-subalgebra eventually commutes with the corresponding one-sided shift. Secondly, we exhibit several properties of proper endomorphisms, investigate invertibility of localized endomorphisms both on C...

  18. Algebra & trigonometry I essentials

    CERN Document Server

    REA, Editors of

    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. Algebra & Trigonometry I includes sets and set operations, number systems and fundamental algebraic laws and operations, exponents and radicals, polynomials and rational expressions, eq

  19. Topological design of torsional metamaterials

    Science.gov (United States)

    Vitelli, Vincenzo; Paulose, Jayson; Meeussen, Anne; Topological Mechanics Lab Team

    Frameworks - stiff elements with freely hinged joints - model the mechanics of a wide range of natural and artificial structures, including mechanical metamaterials with auxetic and topological properties. The unusual properties of the structure depend crucially on the balance between degrees of freedom associated with the nodes, and the constraints imposed upon them by the connecting elements. Whereas networks of featureless nodes connected by central-force springs have been well-studied, many real-world systems such as frictional granular packings, gear assemblies, and flexible beam meshes incorporate torsional degrees of freedom on the nodes, coupled together with transverse shear forces exerted by the connecting elements. We study the consequences of such torsional constraints on the mechanics of periodic isostatic networks as a foundation for mechanical metamaterials. We demonstrate the existence of soft modes of topological origin, that are protected against disorder or small perturbations of the structure analogously to their counterparts in electronic topological insulators. We have built a lattice of gears connected by rigid beams that provides a real-world demonstration of a torsional metamaterial with topological edge modes and mechanical Weyl modes.

  20. Derivations of generalized Weyl algebras

    Institute of Scientific and Technical Information of China (English)

    SU; Yucai(苏育才)

    2003-01-01

    A class of the associative and Lie algebras A[D] = A × F[D] of Weyl type are studied, where Ais a commutative associative algebra with an identity element over a field F of characteristic zero, and F[D] isthe polynomial algebra of a finite dimensional commutative subalgebra of locally finite derivations of A suchthat A is D-simple. The derivations of these associative and Lie algebras are precisely determined.

  1. Optimal Algorithm for Algebraic Factoring

    Institute of Scientific and Technical Information of China (English)

    支丽红

    1997-01-01

    This paper presents on optimized method for factoring multivariate polynomials over algebraic extension fields defined by an irreducible ascending set. The basic idea is to convert multivariate polynomials to univariate polynomials and algebraic extension fields to algebraic number fields by suitable integer substituteions.Then factorize the univariate polynomials over the algebraic number fields.Finally,construct mulativariate factors of the original polynomial by Hensel lemma and TRUEFACTOR test.Some examples with timing are included.

  2. {theta}-Compactness in L-topological spaces

    Energy Technology Data Exchange (ETDEWEB)

    Hanafy, I.M. [Department of Mathematics, Faculty of Education, Suez Canal University, El-Arish (Egypt)], E-mail: ihanafy@hotmail.com

    2009-12-15

    Recently, El-Naschie has shown that the notion of fuzzy topology may be relevant to quantum particle physics in connection with string theory and e{sup {infinity}} theory. In 2005, Caldas and Jafari have introduced {theta}-compact fuzzy topological spaces. In this paper, the concepts of{theta}-compactness, countable{theta}-compactness and the{theta}-Lindeloef property are introduced and studied in L-topological spaces, where L is a complete de Morgan algebra. They are defined by means of{theta}-openL-sets and their inequalities. They does not rely on the structure of basis lattice L and no distributivity in L is required. They can also be characterized by{theta}-closedL-sets and their inequalities. When L is a completely de Morgan algebra, their many characterizations are presented.

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

    Science.gov (United States)

    Filip, Xenia; Filip, Claudiu

    2010-11-01

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

  4. Stochastic relations foundations for Markov transition systems

    CERN Document Server

    Doberkat, Ernst-Erich

    2007-01-01

    Collecting information previously scattered throughout the vast literature, including the author's own research, Stochastic Relations: Foundations for Markov Transition Systems develops the theory of stochastic relations as a basis for Markov transition systems. After an introduction to the basic mathematical tools from topology, measure theory, and categories, the book examines the central topics of congruences and morphisms, applies these to the monoidal structure, and defines bisimilarity and behavioral equivalence within this framework. The author views developments from the general

  5. Assessing Elementary Algebra with STACK

    Science.gov (United States)

    Sangwin, Christopher J.

    2007-01-01

    This paper concerns computer aided assessment (CAA) of mathematics in which a computer algebra system (CAS) is used to help assess students' responses to elementary algebra questions. Using a methodology of documentary analysis, we examine what is taught in elementary algebra. The STACK CAA system, http://www.stack.bham.ac.uk/, which uses the CAS…

  6. Perturbation semigroup of matrix algebras

    OpenAIRE

    Neumann, N.; Suijlekom, W.D. van

    2016-01-01

    In this article we analyze the structure of the semigroup of inner perturbations in noncommutative geometry. This perturbation semigroup is associated to a unital associative *-algebra and extends the group of unitary elements of this *-algebra. We compute the perturbation semigroup for all matrix algebras.

  7. Some Hopf algebras of trees

    NARCIS (Netherlands)

    Laan, P. van der

    2001-01-01

    In the literature several Hopf algebras that can be described in terms of trees have been studied. This paper tries to answer the question whether one can understand some of these Hopf algebras in terms of a single mathematical construction. The starting point is the Hopf algebra of rooted trees as

  8. The Expectation Monad in Quantum Foundations

    Directory of Open Access Journals (Sweden)

    Bart Jacobs

    2012-10-01

    Full Text Available The expectation monad is introduced abstractly via two composable adjunctions, but concretely captures measures. It turns out to sit in between known monads: on the one hand the distribution and ultrafilter monad, and on the other hand the continuation monad. This expectation monad is used in two probabilistic analogues of fundamental results of Manes and Gelfand for the ultrafilter monad: algebras of the expectation monad are convex compact Hausdorff spaces, and are dually equivalent to so-called Banach effect algebras. These structures capture states and effects in quantum foundations, and also the duality between them. Moreover, the approach leads to a new re-formulation of Gleason's theorem, expressing that effects on a Hilbert space are free effect modules on projections, obtained via tensoring with the unit interval.

  9. The Maximal Graded Left Quotient Algebra of a Graded Algebra

    Institute of Scientific and Technical Information of China (English)

    Gonzalo ARANDA PINO; Mercedes SILES MOLINA

    2006-01-01

    We construct the maximal graded left quotient algebra of every graded algebra A without homogeneous total right zero divisors as the direct limit of graded homomorphisms (of left A-modules)from graded dense left ideals of A into a graded left quotient algebra of A. In the case of a superalgebra,and with some extra hypothesis, we prove that the component in the neutral element of the group of the maximal graded left quotient algebra coincides with the maximal left quotient algebra of the component in the neutral element of the group of the superalgebra.

  10. A Verified Algebra for Linked Data

    Directory of Open Access Journals (Sweden)

    Ross Horne

    2011-07-01

    Full Text Available A foundation is investigated for the application of loosely structured data on the Web. This area is often referred to as Linked Data, due to the use of URIs in data to establish links. This work focuses on emerging W3C standards which specify query languages for Linked Data. The approach is to provide an abstract syntax to capture Linked Data structures and queries, which are then internalised in a process calculus. An operational semantics for the calculus specifies how queries, data and processes interact. A labelled transition system is shown to be sound with respect to the operational semantics. Bisimulation over the labelled transition system is used to verify an algebra over queries. The derived algebra is a contribution to the application domain. For instance, the algebra may be used to rewrite a query to optimise its distribution across a cluster of servers. The framework used to provide the operational semantics is powerful enough to model related calculi for the Web.

  11. Homotopy theory in toric topology

    Science.gov (United States)

    Grbić, J.; Theriault, S.

    2016-04-01

    In toric topology one associates with each simplicial complex K on m vertices two key spaces, the Davis-Januszkiewicz space DJK and the moment-angle complex \\mathscr{Z}K, which are related by a homotopy fibration \\mathscr{Z}K\\xrightarrow{\\tilde{w}}DJ_K\\to \\prodi=1m{C}P∞. A great deal of work has been done to study the properties of DJK and \\mathscr{Z}K, their generalizations to polyhedral products, and applications to algebra, combinatorics, and geometry. Chap. 1 surveys some of the main results in the homotopy theory of these spaces. Chap. 2 breaks new ground by initiating a study of the map \\tilde{w}. It is shown that, for a certain family of simplicial complexes K, the map \\tilde{w} is a sum of higher and iterated Whitehead products. Bibliography: 49 titles.

  12. Observable Algebra in Field Algebra of G-spin Models

    Institute of Scientific and Technical Information of China (English)

    蒋立宁

    2003-01-01

    Field algebra of G-spin models can provide the simplest examples of lattice field theory exhibiting quantum symmetry. Let D(G) be the double algebra of a finite group G and D(H), a sub-algebra of D(G) determined by subgroup H of G. This paper gives concrete generators and the structure of the observable algebra AH, which is a D(H)-invariant sub-algebra in the field algebra of G-spin models F, and shows that AH is a C*-algebra. The correspondence between H and AH is strictly monotonic. Finally, a duality between D(H) and AH is given via an irreducible vacuum C*-representation of F.

  13. On the simplicity of Lie algebras associated to Leavitt algebras

    CERN Document Server

    Abrams, Gene

    2009-01-01

    For any field $K$ and integer $n\\geq 2$ we consider the Leavitt algebra $L = L_K(n)$. $L$ is an associative algebra, but we view $L$ as a Lie algebra using the bracket $[a,b]=ab-ba$ for $a,b \\in L$. We denote this Lie algebra as $L^-$, and consider its Lie subalgebra $[L^-,L^-]$. In our main result, we show that $[L^-,L^-]$ is a simple Lie algebra if and only if char$(K)$ divides $n-1$. For any positive integer $d$ we let $S = M_d(L_K(n))$ be the $d\\times d$ matrix algebra over $L_K(n)$. We give sufficient conditions for the simplicity and non-simplicity of the Lie algebra $[S^-,S^-]$.

  14. 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...

  15. The topology of geology 2: Topological uncertainty

    Science.gov (United States)

    Thiele, Samuel T.; Jessell, Mark W.; Lindsay, Mark; Wellmann, J. Florian; Pakyuz-Charrier, Evren

    2016-10-01

    Uncertainty is ubiquitous in geology, and efforts to characterise and communicate it are becoming increasingly important. Recent studies have quantified differences between perturbed geological models to gain insight into uncertainty. We build on this approach by quantifying differences in topology, a property that describes geological relationships in a model, introducing the concept of topological uncertainty. Data defining implicit geological models were perturbed to simulate data uncertainties, and the amount of topological variation in the resulting model suite measured to provide probabilistic assessments of specific topological hypotheses, sources of topological uncertainty and the classification of possible model realisations based on their topology. Overall, topology was found to be highly sensitive to small variations in model construction parameters in realistic models, with almost all of the several thousand realisations defining distinct topologies. In particular, uncertainty related to faults and unconformities was found to have profound topological implications. Finally, possible uses of topology as a geodiversity metric and validation filter are discussed, and methods of incorporating topological uncertainty into physical models are suggested.

  16. The topology of geology 1: Topological analysis

    Science.gov (United States)

    Thiele, Samuel T.; Jessell, Mark W.; Lindsay, Mark; Ogarko, Vitaliy; Wellmann, J. Florian; Pakyuz-Charrier, Evren

    2016-10-01

    Topology has been used to characterise and quantify the properties of complex systems in a diverse range of scientific domains. This study explores the concept and applications of topological analysis in geology. We have developed an automatic system for extracting first order 2D topological information from geological maps, and 3D topological information from models built with the Noddy kinematic modelling system, and equivalent analyses should be possible for other implicit modelling systems. A method is presented for describing the spatial and temporal topology of geological models using a set of adjacency relationships that can be expressed as a topology network, thematic adjacency matrix or hive diagram. We define three types of spatial topology (cellular, structural and lithological) that allow us to analyse different aspects of the geology, and then apply them to investigate the geology of the Hamersley Basin, Western Australia.

  17. Simple algebras of Weyl type

    Institute of Scientific and Technical Information of China (English)

    SU; Yucai(

    2001-01-01

    [1] Kawamoto, N., Generalizations of Witt algebras over a field of characteristic zero, Hiroshima Math. J., 1986, 16: 417.[2] Osborn, J. M., New simple infinite-dimensional Lie algebras of characteristic 0, J. Alg., 1996, 185: 820.[3] Dokovic, D. Z., Zhao, K., Derivations, isomorphisms, and second cohomology of generalized Witt algebras, Trans. of Amer. Math. Soc., 1998, 350(2): 643.[4] Dokovic, D. Z., Zhao, K., Generalized Cartan type W Lie algebras in characteristic zero, J. Alg., 1997, 195: 170.[5] Osborn, J. M., Zhao, K., Generalized Poisson bracket and Lie algebras of type H in characteristic 0, Math. Z., 1999, 230: 107.[6] Osborn, J. M., Zhao, K., Generalized Cartan type K Lie algebras in characteristic 0, Comm. Alg., 1997, 25: 3325.[7] Zhao, K., Isomorphisms between generalized Cartan type W Lie algebras in characteristic zero, Canadian J. Math., 1998, 50: 210.[8] Passman, D. P., Simple Lie algebras of Witt type, J. Algebra, 1998, 206: 682.[9] Jordan, D. A., On the simplicity of Lie algebras of derivations of commutative algebras, J. Alg., 2000, 206: 682.[10] Xu, X., New generalized simple Lie algebras of Cartan type over a field with characteristic 0, J. Alg., 2000, 244: 23.[11] Su, Y., Xu, X., Zhang, H., Derivation-simple algebras and the structures of Lie algebras of generalized Witt type, J. Alg., 2000, 233: 642.[12] Dixmer, J., Enveloping Algebras, Amsterdam: North Holland, 1977.

  18. 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...

  19. Operation of Algebraic Fractions

    Institute of Scientific and Technical Information of China (English)

    2008-01-01

    <正>The first step in factorizing algebraic expressions is to take out the common factors of all the terms of the expression.For example,2x~2+14x+24=2(x~2+7x+12)=2(x+3)(x+4) The three identities are also useful in factorizing some quadratic expressions:

  20. Restructuring College Algebra

    Science.gov (United States)

    Mayes, Robert

    2004-01-01

    There is a call for change in College Algebra. The traditional focus on skill development is failing, resulting in withdrawal and failure rates that are excessive. In addition, too many students who are successful do not continue on to take a successive mathematics course. The Institute for Mathematics Learning at West Virginia University has been…