Search results for " Algebra"

showing 10 items of 2082 documents

L 2-topological invariants of 3-manifolds

1995

We give results on theL2-Betti numbers and Novikov-Shubin invariants of compact manifolds, especially 3-manifolds. We first study the Betti numbers and Novikov-Shubin invariants of a chain complex of Hilbert modules over a finite von Neumann algebra. We establish inequalities among the Novikov-Shubin invariants of the terms in a short exact sequence of chain complexes. Our algebraic results, along with some analytic results on geometric 3-manifolds, are used to compute theL2-Betti numbers of compact 3-manifolds which satisfy a weak form of the geometrization conjecture, and to compute or estimate their Novikov-Shubin invariants.

Discrete mathematicsExact sequenceMathematics::Operator AlgebrasBetti numberGeneral MathematicsMathematics::Spectral TheoryMathematics::Algebraic TopologyManifoldsymbols.namesakeChain (algebraic topology)Von Neumann algebraGromov–Witten invariantsymbolsAlgebraic numberGeometrization conjectureMathematicsInventiones Mathematicae
researchProduct

The Alternating BWT: an algorithmic perspective

2020

Abstract The Burrows-Wheeler Transform (BWT) is a word transformation introduced in 1994 for Data Compression. It has become a fundamental tool for designing self-indexing data structures, with important applications in several areas in science and engineering. The Alternating Burrows-Wheeler Transform (ABWT) is another transformation recently introduced in Gessel et al. (2012) [21] and studied in the field of Combinatorics on Words. It is analogous to the BWT, except that it uses an alternating lexicographical order instead of the usual one. Building on results in Giancarlo et al. (2018) [23] , where we have shown that BWT and ABWT are part of a larger class of reversible transformations, …

Discrete mathematicsFOS: Computer and information sciencesSettore INF/01 - InformaticaGeneral Computer ScienceBasis (linear algebra)Computer scienceAlternating Burrows-Wheeler TransformGalois wordRank-invertibilityField (mathematics)Data structureTheoretical Computer ScienceTransformation (function)Difference cover algorithmComputer Science - Data Structures and AlgorithmsData Structures and Algorithms (cs.DS)Time complexityAlternating Burrows-Wheeler Transform; Difference cover algorithm; Galois word; Rank-invertibilityWord (computer architecture)Data compression
researchProduct

Nondeterministic operations on finite relational structures

1998

Abstract This article builds on a tutorial introduction to universal algebra for language theory (Courcelle, Theoret. Comput. Sci. 163 (1996) 1–54) and extends it in two directions. First, nondeterministic operations are considered, i.e., operations which give a set of results instead of a single one. Most of their properties concerning recognizability and equational definability carry over from the ordinary case with minor modifications. Second, inductive sets of evaluations are studied in greater detail. It seems that they are handled most naturally in the framework presented here. We consider the analogues of top-down and bottom-up tree transducers. Again, most of their closure propertie…

Discrete mathematicsFinite-state machineGeneral Computer ScienceComputer scienceLogicFormal languages (recognizable and context-free sets transducers)Unbounded nondeterminismMonad (functional programming)Symbolic computationHypergraphsFirst-order logicLogical theoryDecidabilityTheoretical Computer ScienceNondeterministic algorithmAlgebraDeterministic automatonFormal languageUniversal algebraEquivalence relationTree transducersRewritingComputer Science(all)Theoretical Computer Science
researchProduct

A natural and rigid model of quantum groups

1992

We introduce a natural (Frechet-Hopf) algebra A containing all generic Jimbo algebras U t (sl(2)) (as dense subalgebras). The Hopf structures on A extend (in a continuous way) the Hopf structures of generic U t (sl(2)). The Universal R-matrices converge in A\(\hat \otimes \)A. Using the (topological) dual of A, we recover the formalism of functions of noncommutative arguments. In addition, we show that all these Hopf structures on A are isomorphic (as bialgebras), and rigid in the category of bialgebras.

Discrete mathematicsFormalism (philosophy of mathematics)Pure mathematicsRigid modelQuantum groupMathematics::Quantum AlgebraMathematics::Rings and AlgebrasStatistical and Nonlinear PhysicsHopf algebraNoncommutative geometryQuantumMathematical PhysicsMathematicsLetters in Mathematical Physics
researchProduct

Varieties and Covarieties of Languages (Extended Abstract)

2013

AbstractBecause of the isomorphism (X×A)→X≅X→(A→X), the transition structure of a deterministic automaton with state set X and with inputs from an alphabet A can be viewed both as an algebra and as a coalgebra. This algebra-coalgebra duality goes back to Arbib and Manes, who formulated it as a duality between reachability and observability, and is ultimately based on Kalmanʼs duality in systems theory between controllability and observability. Recently, it was used to give a new proof of Brzozowskiʼs minimization algorithm for deterministic automata. Here we will use the algebra-coalgebra duality of automata as a common perspective for the study of both varieties and covarieties, which are …

Discrete mathematicsGeneral Computer ScienceCoalgebraData ScienceStructure (category theory)Duality (optimization)equationalgebraAutomataTheoretical Computer ScienceAlgebravarietyReachabilityDeterministic automatonComputingMethodologies_DOCUMENTANDTEXTPROCESSINGcoequationObservabilityIsomorphismcovarietyVariety (universal algebra)coalgebraComputer Science::Formal Languages and Automata TheoryComputer Science(all)MathematicsElectronic Notes in Theoretical Computer Science
researchProduct

Some Nonlinear Methods in Fréchet Operator Rings and Ψ*-Algebras

1995

Two different inverse function theorems, one of Nash-Moser type, the other due to H. Omori, are extended to obtain special surjectivity results in locally convex and locally pseudo-convex Frechet algebras generated by group actions and derivations. In particular, the following factorization problem is discussed. Let Ψ be a locally pseudo-convex Frechet algebra with unit e and T+ : Ψ Ψ a continuous linear operator. Does there exist a neighborhood U of 0 such that the equation where T- = IΨ- T, has a solution x ∈ Ψ for every y ∈ U?

Discrete mathematicsGroup actionPure mathematicsGeneral MathematicsOperator (physics)Regular polygonInverse functionType (model theory)Fréchet algebraUnit (ring theory)Continuous linear operatorMathematicsMathematische Nachrichten
researchProduct

QUASI *-ALGEBRAS OF OPERATORS AND THEIR APPLICATIONS

1995

The main facts of the theory of quasi*-algebras of operators acting in a rigged Hilbert space are reviewed. The particular case where the rigged Hilbert space is generated by a self-adjoint operator in Hilbert space is examined in more details. A series of applications to quantum theories are discussed.

Discrete mathematicsHilbert manifoldHilbert spaceStatistical and Nonlinear PhysicsRigged Hilbert spaceOperator spaceCompact operator on Hilbert spaceAlgebraPOVMsymbols.namesakeOperator algebraHermitian adjointsymbolsMathematical PhysicsMathematicsReviews in Mathematical Physics
researchProduct

Graded polynomial identities and codimensions: Computing the exponential growth

2010

Abstract Let G be a finite abelian group and A a G-graded algebra over a field of characteristic zero. This paper is devoted to a quantitative study of the graded polynomial identities satisfied by A. We study the asymptotic behavior of c n G ( A ) , n = 1 , 2 , … , the sequence of graded codimensions of A and we prove that if A satisfies an ordinary polynomial identity, lim n → ∞ c n G ( A ) n exists and is an integer. We give an explicit way of computing such integer by proving that it equals the dimension of a suitable finite dimension semisimple G × Z 2 -graded algebra related to A.

Discrete mathematicsHilbert series and Hilbert polynomialPolynomialMathematics(all)Mathematics::Commutative AlgebraGeneral MathematicsGraded ringZero (complex analysis)GrowthPolynomial identityGraded algebraCodimensionssymbols.namesakepolynomial identity growthIntegerDifferential graded algebrasymbolsAbelian groupAlgebra over a fieldMathematicsAdvances in Mathematics
researchProduct

Graded algebras with polynomial growth of their codimensions

2015

Abstract Let A be an algebra over a field of characteristic 0 and assume A is graded by a finite group G . We study combinatorial and asymptotic properties of the G -graded polynomial identities of A provided A is of polynomial growth of the sequence of its graded codimensions. Roughly speaking this means that the ideal of graded identities is “very large”. We relate the polynomial growth of the codimensions to the module structure of the multilinear elements in the relatively free G -graded algebra in the variety generated by A . We describe the irreducible modules that can appear in the decomposition, we show that their multiplicities are eventually constant depending on the shape obtaine…

Discrete mathematicsHilbert series and Hilbert polynomialPure mathematicsPolynomialMultilinear mapAlgebra and Number TheoryMathematics::Commutative AlgebraGraded ringGraded codimensionsymbols.namesakeSettore MAT/02 - AlgebraPI exponentDifferential graded algebrasymbolsMultipartitionGraded identitieVariety (universal algebra)Algebra over a fieldCodimension growthMathematics
researchProduct

A decomposition theorem for compact-valued Henstock integral

2006

We prove that if X is a separable Banach space, then a measurable multifunction Γ : [0, 1] → ck(X) is Henstock integrable if and only if Γ can be represented as Γ = G + f, where G : [0, 1] → ck(X) is McShane integrable and f is a Henstock integrable selection of Γ.

Discrete mathematicsIntegrable systemSelection (relational algebra)MultifunctionHenstock integralIf and only ifGeneral MathematicsBanach spacePettis integralKurzweil–Henstock–Pettis integral selectionSeparable spaceMathematicsDecomposition theorem
researchProduct