Results 1  10
of
79
The octonions
 Bull. Amer. Math. Soc
, 2002
"... Abstract. The octonions are the largest of the four normed division algebras. While somewhat neglected due to their nonassociativity, they stand at the crossroads of many interesting fields of mathematics. Here we describe them and their relation to Clifford algebras and spinors, Bott periodicity, p ..."
Abstract

Cited by 111 (2 self)
 Add to MetaCart
Abstract. The octonions are the largest of the four normed division algebras. While somewhat neglected due to their nonassociativity, they stand at the crossroads of many interesting fields of mathematics. Here we describe them and their relation to Clifford algebras and spinors, Bott periodicity, projective and Lorentzian geometry, Jordan algebras, and the exceptional Lie groups. We also touch upon their applications in quantum logic, special relativity and supersymmetry. 1.
Modular localization and Wigner particles
 Rev. Math. Phys
"... Dedicated to Huzihiro Araki on the occasion of his seventieth birthday Abstract. We propose a framework for the free field construction of algebras of local observables which uses as an input the BisognanoWichmann relations and a representation of the Poincaré group on the oneparticle Hilbert spac ..."
Abstract

Cited by 22 (4 self)
 Add to MetaCart
Dedicated to Huzihiro Araki on the occasion of his seventieth birthday Abstract. We propose a framework for the free field construction of algebras of local observables which uses as an input the BisognanoWichmann relations and a representation of the Poincaré group on the oneparticle Hilbert space. The abstract real Hilbert subspace version of the TomitaTakesaki theory enables us to bypass some limitations of the Wigner formalism by introducing an intrinsic spacetime localization. Our approach works also for continuous spin representations to which we associate a net of von Neumann algebras on spacelike cones with the ReehSchlieder property. The positivity of the energy in the representation turns out to be equivalent to the isotony of the net, in the spirit of Borchers theorem. Our procedure extends to other spacetimes homogeneous under a group of geometric transformations as in the case of conformal symmetries and de Sitter spacetime. 1.
The BisognanoWichmann theorem for massive theories
 Annales Henri Poincaré 2, 907 (2001), [arXiv: hepth/0101227
"... Abstract. The geometric action of modular groups for wedge regions (BisognanoWichmann property) is derived from the principles of local quantum physics for a large class of Poincaré covariant models in d = 4. As a consequence, the CPT theorem holds for this class. The models must have a complete in ..."
Abstract

Cited by 19 (4 self)
 Add to MetaCart
Abstract. The geometric action of modular groups for wedge regions (BisognanoWichmann property) is derived from the principles of local quantum physics for a large class of Poincaré covariant models in d = 4. As a consequence, the CPT theorem holds for this class. The models must have a complete interpretation in terms of massive particles. The corresponding charges need not be localizable in compact regions: The most general case is admitted, namely localization in spacelike cones. Introduction. In local relativistic quantum theory [23], a model is specified in terms of a net of local observable algebras and a representation of the Poincaré group, under which the net is covariant. The BisognanoWichmann theorem [2, 3] intimately connects these two, algebraic and geometric, aspects. Namely, it asserts that under certain conditions modular covariance
Physical traces: Quantum vs. classical information processing
 In Proceedings of Category Theory and Computer Science 2002 (CTCS’02), volume 69 of Electronic Notes in Theoretical Computer Science. Elsevier Science
, 2003
"... a setting that enables qualitative differences between classical and quantum processes to be explored. The key construction is the physical interpretation/realization of the traced monoidal categories of finitedimensional vector spaces with tensor product as monoidal structure and of finite sets an ..."
Abstract

Cited by 17 (5 self)
 Add to MetaCart
a setting that enables qualitative differences between classical and quantum processes to be explored. The key construction is the physical interpretation/realization of the traced monoidal categories of finitedimensional vector spaces with tensor product as monoidal structure and of finite sets and relations with Cartesian product as monoidal structure, both of them providing a socalled wavestyle GoI. The developments in this paper reveal that envisioning state update due to quantum measurement as a process provides a powerful tool for developing highlevel approaches to quantum information processing.
Linear logic for generalized quantum mechanics
 In Proc. Workshop on Physics and Computation (PhysComp'92
, 1993
"... Quantum logic is static, describing automata having uncertain states but no state transitions and no Heisenberg uncertainty tradeoff. We cast Girard’s linear logic in the role of a dynamic quantum logic, regarded as an extension of quantum logic with time nonstandardly interpreted over a domain of l ..."
Abstract

Cited by 16 (2 self)
 Add to MetaCart
Quantum logic is static, describing automata having uncertain states but no state transitions and no Heisenberg uncertainty tradeoff. We cast Girard’s linear logic in the role of a dynamic quantum logic, regarded as an extension of quantum logic with time nonstandardly interpreted over a domain of linear automata and their dual linear schedules. In this extension the uncertainty tradeoff emerges via the “structure veil. ” When VLSI shrinks to where quantum effects are felt, their computeraided design systems may benefit from such logics of computational behavior having a strong connection to quantum mechanics. 1
Semantic Vector Products: Some Initial Investigations
"... Semantic vector models have proven their worth in a number of natural language applications whose goals can be accomplished by modelling individual semantic concepts and measuring similarities between them. By comparison, the area of semantic compositionality in these models has so far remained unde ..."
Abstract

Cited by 16 (0 self)
 Add to MetaCart
Semantic vector models have proven their worth in a number of natural language applications whose goals can be accomplished by modelling individual semantic concepts and measuring similarities between them. By comparison, the area of semantic compositionality in these models has so far remained underdeveloped. This will be a crucial hurdle for semantic vector models: in order to play a fuller part in the modelling of human language, these models will need some way of modelling the way in which single concepts are put together to form more complex conceptual structures. This paper explores some of the opportunities for using vector product operations to model compositional phenomena in natural language. These vector operations
Quantum informationflow, concretely, abstractly
 PROC. QPL 2004
, 2004
"... These ‘lecture notes ’ are based on joint work with Samson Abramsky. I will survey and informally discuss the results of [3, 4, 5, 12, 13] in a pedestrian not too technical way. These include: • ‘The logic of entanglement’, that is, the identification and abstract axiomatization of the ‘quantum info ..."
Abstract

Cited by 10 (4 self)
 Add to MetaCart
These ‘lecture notes ’ are based on joint work with Samson Abramsky. I will survey and informally discuss the results of [3, 4, 5, 12, 13] in a pedestrian not too technical way. These include: • ‘The logic of entanglement’, that is, the identification and abstract axiomatization of the ‘quantum informationflow ’ which enables protocols such as quantum teleportation. 1 To this means we defined strongly compact closed categories which abstractly capture the behavioral properties of quantum entanglement. • ‘Postulates for an abstract quantum formalism ’ in which classical informationflow (e.g. token exchange) is part of the formalism. As an example, we provided a purely formal description of quantum teleportation and proved correctness in abstract generality. 2 In this formalism types reflect kinds, contra the essentially typeless von Neumann formalism [25]. Hence even concretely this formalism manifestly improves on the usual one. • ‘A highlevel approach to quantum informatics’. 3 Indeed, the above discussed work can be conceived as aiming to solve: von Neumann quantum formalism � highlevel language lowlevel language. I also provide a brief discussion on how classical and quantum uncertainty can be mixed in the above formalism (cf. density matrices). 4
A Topos for Algebraic Quantum Theory
 COMMUNICATIONS IN MATHEMATICAL PHYSICS
, 2009
"... The aim of this paper is to relate algebraic quantum mechanics to topos theory, so as to construct new foundations for quantum logic and quantum spaces. Motivated by Bohr’s idea that the empirical content of quantum physics is accessible only through classical physics, we show how a noncommutative C ..."
Abstract

Cited by 9 (1 self)
 Add to MetaCart
The aim of this paper is to relate algebraic quantum mechanics to topos theory, so as to construct new foundations for quantum logic and quantum spaces. Motivated by Bohr’s idea that the empirical content of quantum physics is accessible only through classical physics, we show how a noncommutative C*algebra of observables A induces a topos T (A) in which the amalgamation of all of its commutative subalgebras comprises a single commutative C*algebra A. According to the constructive Gelfand duality theorem of Banaschewski and Mulvey, the latter has an internal spectrum �(A) in T (A), which in our approach plays the role of the quantum phase space of the system. Thus we associate a locale (which is the topostheoretical notion of a space and which intrinsically carries the intuitionistic logical structure of a Heyting algebra) to a C*algebra (which is the noncommutative notion of a space). In this setting, states on A become probability measures (more precisely, valuations) on �, and selfadjoint elements of A define continuous functions (more precisely, locale maps) from � to Scott’s interval domain. Noting that open subsets of �(A) correspond to propositions about the system, the pairing map that assigns a (generalized) truth value to a state and a proposition assumes an extremely simple categorical form. Formulated in this way, the quantum theory defined by A is essentially turned into a classical theory, internal to the topos T (A). These results were inspired by the topostheoretic approach to quantum physics proposed by Butterfield and Isham, as recently generalized by Döring and Isham.
Crossed products by C0(X)actions
 J. Funct. Anal
, 1998
"... Dedicated to Professor E. Kaniuth on the occasion of his 60 th birthday Abstract. Suppose that G has a representation group H, that Gab: = G/[G, G] is compactly generated, and that A is a C ∗algebra for which the complete regularization of Prim(A) is a locally compact Hausdorff space X. In a previo ..."
Abstract

Cited by 7 (4 self)
 Add to MetaCart
Dedicated to Professor E. Kaniuth on the occasion of his 60 th birthday Abstract. Suppose that G has a representation group H, that Gab: = G/[G, G] is compactly generated, and that A is a C ∗algebra for which the complete regularization of Prim(A) is a locally compact Hausdorff space X. In a previous article, we showed that there is a bijection α ↦ → (Zα, fα) between the collection of exterior equivalence classes of locally inner actions α: G → Aut(A), and the collection of principal ̂ Gabbundles Zα together with continuous functions fα: X → H 2 (G, T). In this paper, we compute the crossed products A ⋊α G in terms of the data Zα, fα, and C ∗ (H). 1.
State Spaces of Orthomodular Structures
 EXPOSITIONES MATH
, 1999
"... We present several known and one new description of orthomodular structures (orthomodular lattices, orthomodular posets and orthoalgebras). Originally, orthomodular structures were viewed as pasted families of Boolean algebras. Here we introduce semipasted families of Boolean algebras as an alter ..."
Abstract

Cited by 6 (6 self)
 Add to MetaCart
We present several known and one new description of orthomodular structures (orthomodular lattices, orthomodular posets and orthoalgebras). Originally, orthomodular structures were viewed as pasted families of Boolean algebras. Here we introduce semipasted families of Boolean algebras as an alternative description which is not as detailed, but substantially simpler. Semipasted families of Boolean algebras correspond to orthomodular structures in such a way that states and evaluation functionals are preserved. As semipasted families of Boolean algebras are quite general, they allow an easy construction of orthomodular structures with given state space properties. Based on this technique, we give a simplied proof of Shultz's Theorem on characterization of spaces of nitely additive states on orthomodular lattices. We also put some other results into the new context. We give a detailed exposition of the construction techniques as a tool for further applications, especially for...