Algorithms for Greechie diagrams

DOI10.1023/A:1026476701774MaRDI QIDQ5928533zbMATH OpenFDO

Authors Brendan D. McKay, Norman D. Megill, Mladen Pavičić

Publication date 29 March 2001

Published in International Journal of Theoretical Physics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/quant-ph/0009039

zbMATH Keywords

Greechie diagramsHilbert latticesorthomodular lattices

Mathematics Subject Classification ID

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

Abstract: We give a new algorithm for generating Greechie diagrams with arbitrary chosen number of atoms or blocks (with 2,3,4,... atoms) and provide a computer program for generating the diagrams. The results show that the previous algorithm does not produce every diagram and that it is at least 100,000 times slower. We also provide an algorithm and programs for checking of Greechie diagram passage by equations defining varieties of orthomodular lattices and give examples from Hilbert lattices. At the end we discuss some additional characteristics of Greechie diagrams.

Recommendations

• Greechie diagrams of orthomodular partial algebras
• Greechie diagrams, nonexistence of measures in quantum logics, and Kochen–Specker-type constructions
• PARTIAL GREECHIE DIAGRAMS FOR MODULAR ORTHOLATTICES
• There are orthomodular lattices without non-trivial group-valued states: A computer-based construction
• scientific article; zbMATH DE number 4045807

Cited in

(15)

• Generalized Greenberger-Horne-Zeilinger arguments from quantum logical analysis
• Stateless quantum structures and extremal graph theory
• Small orthomodular partial algebras.
• Algorithms for Necklace Maps
• scientific article; zbMATH DE number 5006801 (Why is no real title available?)
• scientific article; zbMATH DE number 4045807 (Why is no real title available?)
• PARTIAL GREECHIE DIAGRAMS FOR MODULAR ORTHOLATTICES
• New Kochen-Specker sets in four dimensions
• Greechie diagrams, nonexistence of measures in quantum logics, and Kochen–Specker-type constructions
• Classical logic and quantum logic with multiple and common lattice models
• Graph approach to quantum systems
• Noncontextual coloring of orthogonality hypergraphs
• Hilbert lattice equations
• Kochen-Specker sets and generalized orthoarguesian equations
• Exhaustive generation of orthomodular lattices with exactly one nonquantum state

Describes a project that uses

Uses Software

• nauty

This page was built for publication: Algorithms for Greechie diagrams

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