Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Annalen der Physik

On Causal Disjointness Relations and Causal Nets of Algebras on the Lattice ℤn+1

Hellmut Baumgaertel

Published Jan 1, 1990• 0 citations
Publisher

Abstract

Abstract This mathematical paper reviews basic facts on nets of algebras on lattices. Causal disjointness relations on the lattice ℤn+1 are represented. The relation is cleared between causal disjointness and orthogonality. A CAR‐algebra is represented.
DOI
10.1002/andp.19905020202

Related papers

ENTANGLEMENT AND ALGEBRAIC INDEPENDENCE IN FERMION SYSTEMS

Fabio Benatti, Roberto Floreanini B

In the case of systems composed of identical particles, a typical instance in quantum statistical mechanics, the standard approach to separability and entanglement ought to be reformulated and rephrased in terms of correlations between operators from subalgebras localized in spatially disjoint regions. While this algebraic approach is straightforward for bosons, in the case of fermions it is subtler since one has to distinguish between micro-causality, that is the anti-commutativity of the basic creation and annihilation operators, and algebraic independence that is the commutativity of local observables. We argue that a consistent algebraic formulation of separability and entanglement should be compatible with micro-causality rather than with algebraic independence.

•Aug 15, 2016•4 citations

Between quantum logic and concurrency

Luca Bernardinello, Carlo Ferigato, Lucia Pomello

We start from two closure operators defined on the elements of a special kind of partially ordered sets, called causal nets. Causal nets are used to model histories of concurrent processes, recording occurrences of local states and of events. If every maximal chain (line) of such a partially ordered set meets every maximal antichain (cut), then the two closure operators coincide, and generate a complete orthomodular lattice. In this paper we recall that, for any closed set in this lattice, every line meets either it or its orthocomplement in the lattice, and show that to any line, a two-valued state on the lattice can be associated. Starting from this result, we delineate a logical language whose formulas are interpreted over closed sets of a causal net, where every line induces an assignment of truth values to formulas. The resulting logic is non-classical; we show that maximal antichains in a causal net are associated to Boolean (hence “classical”) substructures of the overall quantum logic. 1

•Jan 1, 2012•1 citation

Entanglement and algebraic independence in fermion systems

Fabio Benatti, Roberto Floreanini B

In the case of systems composed of identical particles, a typical instance in quantum statistical mechanics, the standard approach to separability and entanglement ought to be reformulated and rephrased in terms of correlations between operators from subalgebras localized in spatially disjoint regions. While this algebraic approach is straightforward for bosons, in the case of fermions it is subtler since one has to distinguish between micro-causality, that is the anti-commutativity of the basic creation and annihilation operators, and algebraic independence that is the commutativity of local observables. We argue that a consistent algebraic formulation of separability and entanglement should be compatible with micro-causality rather than with algebraic independence.

arXiv:1405.5093•International Journal of Quantum Information•Mar 1, 2014•6 citations

Between quantum logic and concurrency

Luca Bernardinello, Carlo Ferigato, Lucia Pomello

We start from two closure operators defined on the elements of a special kind of partially ordered sets, called causal nets. Causal nets are used to model histories of concurrent processes, recording occurrences of local states and of events. If every maximal chain (line) of such a partially ordered set meets every maximal antichain (cut), then the two closure operators coincide, and generate a complete orthomodular lattice. In this paper we recall that, for any closed set in this lattice, every line meets either it or its orthocomplement in the lattice, and show that to any line, a two-valued state on the lattice can be associated. Starting from this result, we delineate a logical language whose formulas are interpreted over closed sets of a causal net, where every line induces an assignment of truth values to formulas. The resulting logic is non-classical; we show that maximal antichains in a causal net are associated to Boolean (hence "classical") substructures of the overall quantum logic.

arXiv:1408.0053•Electronic Proceedings in Theoretical Computer Science•Jul 29, 2014•1 citation

The Mathematical Formula Of The Causal Relationship k

Ilija Barukčić

Abstract—The deterministic relationship between cause and effect is deeply connected with our understanding of the physical sciences and their explanatory ambitions. Though progress is being made, the lack of theoretical predictions and experiments in quantum gravity makes it difficult to use empirical evidence to justify a theory of causality at quantum level in normal circumstances, i. e. by predicting the value of a well-confirmed experimental result. For a variety of reasons, the problem of the deterministic relationship between cause and effect is related to basic problems of physics as such. Despite the common belief, it is a remarkable fact that a theory of causality should be consistent with a theory of everything and is because of this linked to problems of a theory of everything. Thus far, solving the problem of causality will help us to solve the problems of the theory of everything (at quantum level).

•Jun 24, 2015•1 citation

Unitary causal decompositions: a characterisation via lattice theory

Tein van der Lugt, Robin Lorenz

If a unitary transformation has a circuit representation with no directed path from input a to output b , then a does not influence b through the overall unitary. Conversely, if a unitary satisfies a number of no-influence conditions, it is natural to wonder whether a circuit decomposition exists in which all of them are represented by absences of paths. Such decompositions are known as causal decompositions; determining their existence in general is a central open problem in the study of causal structure in quantum theory. We present progress towards a general solution by considering the special case of unitary causal decompositions, i.e. decompositions in terms of unitary circuits in the traditional quantum circuit formalism that do not require the generalisation to 'extended' or 'routed' quantum circuits prompted by earlier research on this topic. We identify a combinatorial condition that characterises precisely those sets of no-influence constraints G for which any unitary transformation satisfying G admits a unitary causal decomposition representing the constraints. Our approach is systematic, grounded in lattice theory and finite-dimensional operator algebra, and offers hope for extensions to more general (e.g. routed unitary) causal decompositions in the future.

arXiv:2508.11762•Quantum•Sep 30, 2026•0 citations
In the case of systems composed of identical particles, a typical instance in quantum statistical mechanics, the standard approach to separability and entanglement ought to be reformulated and rephrased in terms of correlations between operators from subalgebras localized in spatially disjoint regions. While this algebraic approach is straightforward for bosons, in the case of fermions it is subtler since one has to distinguish between micro-causality, that is the anti-commutativity of the basic creation and annihilation operators, and algebraic independence that is the commutativity of local observables. We argue that a consistent algebraic formulation of separability and entanglement should be compatible with micro-causality rather than with algebraic independence.
We start from two closure operators defined on the elements of a special kind of partially ordered sets, called causal nets. Causal nets are used to model histories of concurrent processes, recording occurrences of local states and of events. If every maximal chain (line) of such a partially ordered set meets every maximal antichain (cut), then the two closure operators coincide, and generate a complete orthomodular lattice. In this paper we recall that, for any closed set in this lattice, every line meets either it or its orthocomplement in the lattice, and show that to any line, a two-valued state on the lattice can be associated. Starting from this result, we delineate a logical language whose formulas are interpreted over closed sets of a causal net, where every line induces an assignment of truth values to formulas. The resulting logic is non-classical; we show that maximal antichains in a causal net are associated to Boolean (hence “classical”) substructures of the overall quantum logic. 1
In the case of systems composed of identical particles, a typical instance in quantum statistical mechanics, the standard approach to separability and entanglement ought to be reformulated and rephrased in terms of correlations between operators from subalgebras localized in spatially disjoint regions. While this algebraic approach is straightforward for bosons, in the case of fermions it is subtler since one has to distinguish between micro-causality, that is the anti-commutativity of the basic creation and annihilation operators, and algebraic independence that is the commutativity of local observables. We argue that a consistent algebraic formulation of separability and entanglement should be compatible with micro-causality rather than with algebraic independence.
We start from two closure operators defined on the elements of a special kind of partially ordered sets, called causal nets. Causal nets are used to model histories of concurrent processes, recording occurrences of local states and of events. If every maximal chain (line) of such a partially ordered set meets every maximal antichain (cut), then the two closure operators coincide, and generate a complete orthomodular lattice. In this paper we recall that, for any closed set in this lattice, every line meets either it or its orthocomplement in the lattice, and show that to any line, a two-valued state on the lattice can be associated. Starting from this result, we delineate a logical language whose formulas are interpreted over closed sets of a causal net, where every line induces an assignment of truth values to formulas. The resulting logic is non-classical; we show that maximal antichains in a causal net are associated to Boolean (hence "classical") substructures of the overall quantum logic.
Abstract—The deterministic relationship between cause and effect is deeply connected with our understanding of the physical sciences and their explanatory ambitions. Though progress is being made, the lack of theoretical predictions and experiments in quantum gravity makes it difficult to use empirical evidence to justify a theory of causality at quantum level in normal circumstances, i. e. by predicting the value of a well-confirmed experimental result. For a variety of reasons, the problem of the deterministic relationship between cause and effect is related to basic problems of physics as such. Despite the common belief, it is a remarkable fact that a theory of causality should be consistent with a theory of everything and is because of this linked to problems of a theory of everything. Thus far, solving the problem of causality will help us to solve the problems of the theory of everything (at quantum level).
If a unitary transformation has a circuit representation with no directed path from input a to output b , then a does not influence b through the overall unitary. Conversely, if a unitary satisfies a number of no-influence conditions, it is natural to wonder whether a circuit decomposition exists in which all of them are represented by absences of paths. Such decompositions are known as causal decompositions; determining their existence in general is a central open problem in the study of causal structure in quantum theory. We present progress towards a general solution by considering the special case of unitary causal decompositions, i.e. decompositions in terms of unitary circuits in the traditional quantum circuit formalism that do not require the generalisation to 'extended' or 'routed' quantum circuits prompted by earlier research on this topic. We identify a combinatorial condition that characterises precisely those sets of no-influence constraints G for which any unitary transformation satisfying G admits a unitary causal decomposition representing the constraints. Our approach is systematic, grounded in lattice theory and finite-dimensional operator algebra, and offers hope for extensions to more general (e.g. routed unitary) causal decompositions in the future.