English
Related papers

Related papers: From contact relations to modal operators, and bac…

200 papers

For a bi-partite quantum system defined in a finite dimensional Hilbert space we investigate in what sense entanglement change and interactions imply each other. For this purpose we introduce an entanglement operator, which is then shown to…

Quantum Physics · Physics 2009-11-07 J. Gemmer , G. Mahler

Starting from a cubic form, we give a general construction of a quasi-complete homogeneous manifold endowed with a natural contact structure. We show that it can be compactified into a projective contact manifold if and only if the cubic…

Algebraic Geometry · Mathematics 2008-12-22 Jun-Muk Hwang , Laurent Manivel

For representation by partial functions in the signature with intersection, composition and antidomain, we show that a representation is meet complete if and only if it is join complete. We show that a representation is complete if and only…

Rings and Algebras · Mathematics 2017-08-01 Brett McLean

This paper is the first in a series of papers developing a functional-analytic theory of vertex (operator) algebras and their representations. For an arbitrary Z-graded finitely-generated vertex algebra (V, Y, 1) satisfying the standard…

Quantum Algebra · Mathematics 2009-10-31 Yi-Zhi Huang

This paper studies the homotopy theory of algebras and homotopy algebras over an operad. It provides an exhaustive description of their higher homotopical properties using the more general notion of morphisms called infinity-morphisms. The…

Algebraic Topology · Mathematics 2016-02-09 Bruno Vallette

An absolute continuity approach to quasinormality which relates the operator in question to the spectral measure of its modulus is developed. Algebraic characterizations of some classes of operators that emerged in this context are…

Functional Analysis · Mathematics 2013-10-15 Zenon Jan Jablonski , Il Bong Jung , Jan Stochel

We extract a nonnegative integer-valued invariant, which we call the "order of algebraic torsion", from the Symplectic Field Theory of a closed contact manifold, and show that its finiteness gives obstructions to the existence of symplectic…

Symplectic Geometry · Mathematics 2012-03-12 Janko Latschev , Chris Wendl

In [H5] (q-alg/9512024) and [H7] (q-alg/9704008), the author introduced the notion of intertwining operator algebra, a nonmeromorphic generalization of the notion of vertex operator algebra involving monodromies. The problem of constructing…

q-alg · Mathematics 2007-05-23 Yi-Zhi Huang

A set $F$ of formulas is complete relative to a given class of logics, if every logic from this class can be axiomatized by formulas from $F$. A set of formulas $F$ is {\L}-complete relative to a given class of logics, if every logic of…

Logic · Mathematics 2014-07-23 Alex Citkin

By a pointed vertex operator algebra (VOA) we mean one whose modules are all simple currents (i.e. invertible), e.g. lattice VOAs. This paper systematically explores the interplay between their orbifolds and tensor category theory. We begin…

Quantum Algebra · Mathematics 2024-10-02 Terry Gannon , Andrew Riesen

We give a broad study of representation and module theory of Rota-Baxter algebras. Regular-singular decompositions of Rota-Baxter algebras and Rota-Baxter modules are obtained under the condition of quasi-idempotency. Representations of an…

Representation Theory · Mathematics 2019-12-09 Li Guo , Zongzhu Lin

We review a notion of completeness in QFT arising from the analysis of basic properties of the set of operator algebras attached to regions. In words, this completeness asserts that the physical observable algebras produced by local degrees…

High Energy Physics - Theory · Physics 2022-01-05 Horacio Casini , Javier M. Magan

We present a system of relational syllogistic, based on classical propositional logic, having primitives of the following form: Some A are R-related to some B; Some A are R-related to all B; All A are R-related to some B; All A are…

Logic in Computer Science · Computer Science 2015-03-19 Nikolay Ivanov , Dimiter Vakarelov

A relation algebra is called measurable when its identity is the sum of measurable atoms, and an atom is called measurable if its square is the sum of functional elements. In this paper we show that atomic measurable relation algebras have…

Logic · Mathematics 2025-02-12 S. Givant , H. Andréka

We prove, for a class of contact manifolds, that the universal cover of the group of contact diffeomorphisms carries a natural partial order. It leads to a new viewpoint on geometry and dynamics of contactomorphisms. It gives rise to…

Symplectic Geometry · Mathematics 2007-05-23 Yakov Eliashberg , Leonid Polterovich

One may obtain, using operator transformations, algebraic relations between the Fourier transforms of the causal propagators of different exactly solvable potentials. These relations are derived for the shape invariant potentials. Also,…

Quantum Physics · Physics 2008-11-26 Andrew J. Bordner

A classic result by Bass says that the class of all projective modules is covering, if and only if it is closed under direct limits. Enochs extended the if-part by showing that every class of modules $\mathcal C$, which is precovering and…

Rings and Algebras · Mathematics 2016-12-06 Lidia Angeleri Hügel , Jan Šaroch , Jan Trlifaj

The superamalgamation property is a strong form of the amalgamation property which applies to ordered structures; it has found many applications in algebraic logic. We show that superamalgamation has some interest also from the pure…

Logic · Mathematics 2023-06-13 Paolo Lipparini

Partial connections are (singular) differential systems generalizing classical connections on principal bundles, yielding analogous decompositions for manifolds with nonfree group actions. Connection forms are interpreted as maps…

Differential Geometry · Mathematics 2007-05-23 Debra Lewis , Nilima Nigam , Peter Olver

We investigate the representation and complete representation classes for algebras of partial functions with the signature of relative complement and domain restriction. We provide and prove the correctness of a finite equational…

Logic · Mathematics 2022-12-05 Célia Borlido , Brett McLean