Orthocomplemented weak tensor products

DOI10.1007/S00012-011-0108-5MaRDI QIDQ535098zbMATH OpenOpenAlexFDO

Authors Boris Ischi

Publication date 11 May 2011

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1109.1658

zbMATH Keywords

complete atomistic ortholatticequantum logictensor product

Mathematics Subject Classification ID

Complemented lattices, orthocomplemented lattices and posets (06C15) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Abstract: Let L_1 and L_2 be complete atomistic lattices. In a previous paper, we have defined a set S=S(L_1,L_2) of complete atomistic lattices, the elements of which are called weak tensor products of L_1 and L_2. S is defined by means of three axioms, natural regarding the description of some compound systems in quantum logic. It has been proved that S is a complete lattice. The top element of S, denoted by L_1 v L_2, is the tensor product of Fraser whereas the bottom element, denoted by L_1 ^ L_2, is the box product of Graetzer and Wehrung. With some additional hypotheses on L_1 and L_2 (true for instance if L_1 and L_2 are moreover orthomodular with the covering property) we prove that S is a singleton if and only if L_1 or L_2 is distributive, if and only if L_1 v L_2 has the covering property. Our main result reads: L in S admits an orthocomplementation if and only if L=L_1 ^ L_2. At the end, we construct an example in S which has the covering property.

Review text

Let \(S\) be the set of weak tensor products of complete atomistic lattices \(L_1, L_2\). It is proved that, under some assumptions, \(S\) is a singleton if and only if \(L_1\) or \(L_2\) are distributive if and only if the top element of \(S\) (the tensor product of Fraser) has the covering property. Moreover, it is shown that, under some assumptions, an element of \(S\) admits an orthocomplementation if and ownly if it is the bottom element of \(S\) (the box product of Grätzer and Wehrung). An example of a weak tensor product with a covering property is given.

Recommendations

• Tensor products of orthoalgebras
• On the tensor product of weakly compact operators
• Weak tensor products for von Neumann algebras
• ON WEYL'S THEOREM FOR TENSOR PRODUCTS
• Tensor products, multiplications and Weyl's theorem
• Tensor products of operator spaces
• Tensor products of operator systems
• scientific article; zbMATH DE number 1923181
• WEYLS THEOREM FOR TENSOR PRODUCTS
• Strongly and weakly separable operators on tensor product spaces

Cites work

• scientific article; zbMATH DE number 3521027 (Why is no real title available?)
• scientific article; zbMATH DE number 3227853 (Why is no real title available?)
• scientific article; zbMATH DE number 3348150 (Why is no real title available?)
• Orthocomplementation and compound systems
• Tensor product of quantum logics
• Weak tensor products of complete atomistic lattices

Cited in

(5)

• Tensor products and relation quantales
• Weak tensor products of complete atomistic lattices
• scientific article; zbMATH DE number 7691462 (Why is no real title available?)
• A characterization of the Aerts product of Hilbertian lattices
• Orthocomplementation and compound systems

This page was built for publication: Orthocomplemented weak tensor products

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q535098)