English
Related papers

Related papers: Effect algebras with state operator

200 papers

Convolution is a ubiquitous operation in mathematics and computing. The Kripke semantics for substructural and interval logics motivates its study for quantale-valued functions relative to ternary relations. The resulting notion of…

Logic in Computer Science · Computer Science 2023-06-22 Brijesh Dongol , Ian J. Hayes , Georg Struth

Some consequences of promoting the object of noncommutativity ${\mathbf \theta}^{ij}$ to an operator in Hilbert space are explored. Consequently, a consistent algebra involving the enlarged set of canonical operators is obtained, which…

High Energy Physics - Theory · Physics 2008-11-26 Ricardo Amorim

In this document we consider the prime and maximal spectra of an MV-algebra with certain natural operations. Several new MV-algebras are constructed in this fashion.

Rings and Algebras · Mathematics 2009-07-21 Colin G. Bailey

We discuss many-body states and the algebra of creation and annihilation operators for particles obeying exclusion statistics.

Condensed Matter · Physics 2009-10-22 Dimitra Karabali , V. P. Nair

In the present paper, we study bundle convergence in $JW$- algebra and prove certain ergodic theorems with respect to such convergence. Moreover, conditional expectations of reversible $JW$-algebras are considered. Using such expectations,…

Operator Algebras · Mathematics 2012-01-24 Abdusalom Karimov , Farrukh Mukhamedov

In this paper, we introduce operator geodesically convex and operator convex-log functions and characterize some properties of them. Then apply these classes of functions to present several operator Azc\'{e}l and Minkowski type inequalities…

Functional Analysis · Mathematics 2020-04-07 V. Kaleibary , M. R. Jabbarzadeh , S. Furuichi

In this paper we use the Lie algebra of space-time symmetries to construct states which are solutions to the time-dependent Schr\"odinger equation for systems with potentials $V(x,\tau)=g^{(2)}(\tau)x^2+g^{(1)}(\tau)x +g^{(0)}(\tau)$. We…

Quantum Physics · Physics 2016-09-08 Michael Martin Nieto , D. Rodney Truax

A non-associative algebra of observables cannot be represented as operators on a Hilbert space, but it may appear in certain physical situations. This article employs algebraic methods in order to derive uncertainty relations and…

High Energy Physics - Theory · Physics 2015-03-31 Martin Bojowald , Suddhasattwa Brahma , Umut Buyukcam , Thomas Strobl

In this article we give a short and informal overview of some aspects of the theory of C*- and von Neumann algebras. We also mention some classical results and applications of these families of operator algebras.

Operator Algebras · Mathematics 2013-04-12 Fernando Lledó

Algebraic effects and handlers support composable and structured control-flow abstraction. However, existing designs of algebraic effects often require effects to be executed sequentially. This paper studies parallel algebraic effect…

Programming Languages · Computer Science 2021-10-15 Ningning Xie , Daniel D. Johnson , Dougal Maclaurin , Adam Paszke

We derive bounds relating Renegar's condition number to quantities that govern the statistical performance of convex regularization in settings that include the $\ell_1$-analysis setting. Using results from conic integral geometry, we show…

Numerical Analysis · Mathematics 2019-09-30 Dennis Amelunxen , Martin Lotz , Jake Walvin

A Markov operator $P$ acting on $C(X)$, where $X$ is compact, gives rise to a natural topological quiver. We use the theory of such quivers to attach a $C^{*}$-algebra to $P$ in a fashion that reflects some of the probabilistic properties…

Operator Algebras · Mathematics 2010-04-20 Marius Ionescu , Paul S. Muhly , Victor Vega

In this paper we consider the two major computational effects of states and exceptions, from the point of view of diagrammatic logics. We get a surprising result: there exists a symmetry between these two effects, based on the well-known…

Logic in Computer Science · Computer Science 2011-05-23 Jean-Guillaume Dumas , Dominique Duval , Laurent Fousse , Jean-Claude Reynaud

In this master thesis, I discuss how the theory of operator algebras, also called operator theory, can be applied in quantum computer science.

Logic in Computer Science · Computer Science 2015-10-23 Mathys Rennela

We describe the role of algebraic extensions in the theory of commutative, unital normed algebras, with special attention to uniform algebras. We shall also compare these constructions and show how they are related to each other.

Functional Analysis · Mathematics 2007-05-23 Thomas William Dawson

In this paper we introduce operator s-convex func- tions and establish some Hermite-Hadamard type inequalities in which some operator s-convex functions of positive operators in Hilbert spaces are involved.

Functional Analysis · Mathematics 2014-07-10 Amir Ghasem Ghazanfari

In this paper, we characterize the closures of convex hulls of unitary orbits of self-adjoint operators in unital, separable, simple C$^*$-algebras with non-trivial tracial simplex, real rank zero, stable rank one, and strict comparison of…

Operator Algebras · Mathematics 2019-02-08 Ping Wong Ng , Paul Skoufranis

Let $\mathcal{T}_{+}(E)$ be the tensor algebra of a $W^{*}$-correspondence $E$ over a $W^{*}$-algebra $M$. In earlier work, we showed that the completely contractive representations of $\mathcal{T}_{+}(E)$, whose restrictions to $M$ are…

Operator Algebras · Mathematics 2015-07-09 Paul S. Muhly , Baruch Solel

In this note devoted to some aspects of the inverse problem of representation theory the attention is concentrated on the interrelations between various algebraic structures (algebras with operators) unraveled by different solutions of the…

q-alg · Mathematics 2008-02-03 Denis V. Juriev

The aim of our paper is twofold. First, we thoroughly study the set of meager elements Mea(E) and the set of hypermeager elements HMea(E) in the setting of homogeneous effect algebras E. Second, we study the property (W+) and the maximality…

Logic · Mathematics 2012-03-28 Josef Niederle , Jan Paseka