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

Journal of Physics A Mathematical and General

On the extended characterisation theorem for quantum logics

E David, C. S. Sharma

Published Apr 21, 1983• 0 citations
Publisher

Abstract

An inaccuracy in the definition of dual automorphism of a lattice by Sharma and Mukherjee (1977) is corrected and some interesting ramifications are discussed.
DOI
10.1088/0305-4470/16/6/001

Related papers

An extended characterisation theorem for quantum logics

C. S. Sharma, M K Mukherjee

Two theorems are proved. In the first properties of an important mapping from an orthocomplemented lattice to itself are studied. In the second the authors extend the characterisation theorem of Zierler (1961) to get a very useful theorem characterising orthomodular lattices Since quantum logics are merely sigma -complete orthomodular lattices, the principal result is, for application in quantum physics, a characterisation theorem for quantum logics.

Journal of Physics A Mathematical and General•Oct 1, 1977•3 citations

Automorphisms of orthomodular lattices and symmetries of quantum logics

V ra Trnkov�

Foundations of Physics•Jul 1, 1991•3 citations

Remark on automorphisms of quantum logics

Paweł Kruszyński

Reports on Mathematical Physics•Feb 1, 1980•2 citations

Automorphism in Gauge Theories: Higher Symmetries and Transversal Non-Clifford Logical Gates

Po-Shen Hsin, Ryohei Kobayashi

Gauge theories are important descriptions for many physical phenomena and systems in quantum computation. Automorphism of gauge group naturally gives global symmetries of gauge theories. In this work we study such symmetries in gauge theories induced by automorphisms of the gauge group, when the gauge theories have nontrivial topological actions in different spacetime dimensions. We discover the automorphism symmetry can be extended, become a higher group symmetry, and/or become a non-invertible symmetry. We illustrate the discussion with various models in field theory and on the lattice. In particular, we use automorphism symmetry to construct new transversal non-Clifford logical gates in topological quantum codes. In particular, we show that 2+1d $\mathbb{Z}_N$ qudit Clifford stabilizer models can implement non-Clifford transversal logical gate in the 4th level $\mathbb{Z}_N$ qudit Clifford hierarchy for $N\geq 3$, extending the generalized Bravyi-König bound proposed in the companion paper [arXiv:2511.02900] for qubits.

cond-mat.str-elCross-listedarXiv:2511.15783•SciPost Physics•Nov 21, 2025•0 citations

Spectral automorphisms in CB-effect algebras

Dan Caragheorgheopol

Abstract Spectral automorphisms have been introduced in [IVANOV, A.—CARAGHEORGHEOPOL, D.: Spectral automorphisms in quantum logics, Internat. J. Theoret. Phys. 49 (2010), 3146–3152]_in an attempt to construct, in the abstract framework of orthomodular lattices, an analogue of the spectral theory in Hilbert spaces. We generalize spectral automorphisms to the framework of effect algebras with compression bases and study their properties. Characterizations of spectral automorphisms as well as necessary conditions for an automorphism to be spectral are given. An example of a spectral automorphism on the standard effect algebra of a finite-dimensional Hilbert space is discussed and the consequences of spectrality of an automorphism for the unitary Hilbert space operator that generates it are shown. The last section is devoted to spectral families of automorphisms and their properties, culminating with the formulation and proof of a Stone type theorem (in the sense of Stone’s theorem on strongly continuous one-parameter unitary groups — see, e.g. [REED, M.#x2014;SIMON, B.: Methods of Modern Mathematical Physics, Vol. I, Acad. Press, New York, 1975]) for a group of spectral automorphisms.

Mathematica Slovaca•Dec 1, 2012•0 citations

On the Non-existence of Two-Valued Lattice Homomorphisms of Quantum Logic

Minoru Koga

International Journal of Theoretical Physics•May 9, 2018•0 citations
Gauge theories are important descriptions for many physical phenomena and systems in quantum computation. Automorphism of gauge group naturally gives global symmetries of gauge theories. In this work we study such symmetries in gauge theories induced by automorphisms of the gauge group, when the gauge theories have nontrivial topological actions in different spacetime dimensions. We discover the automorphism symmetry can be extended, become a higher group symmetry, and/or become a non-invertible symmetry. We illustrate the discussion with various models in field theory and on the lattice. In particular, we use automorphism symmetry to construct new transversal non-Clifford logical gates in topological quantum codes. In particular, we show that 2+1d ZN\mathbb{Z}_NZN​ qudit Clifford stabilizer models can implement non-Clifford transversal logical gate in the 4th level ZN\mathbb{Z}_NZN​ qudit Clifford hierarchy for N≥3N\geq 3N≥3, extending the generalized Bravyi-König bound proposed in the companion paper [arXiv:2511.02900] for qubits.
Abstract Spectral automorphisms have been introduced in [IVANOV, A.—CARAGHEORGHEOPOL, D.: Spectral automorphisms in quantum logics, Internat. J. Theoret. Phys. 49 (2010), 3146–3152]_in an attempt to construct, in the abstract framework of orthomodular lattices, an analogue of the spectral theory in Hilbert spaces. We generalize spectral automorphisms to the framework of effect algebras with compression bases and study their properties. Characterizations of spectral automorphisms as well as necessary conditions for an automorphism to be spectral are given. An example of a spectral automorphism on the standard effect algebra of a finite-dimensional Hilbert space is discussed and the consequences of spectrality of an automorphism for the unitary Hilbert space operator that generates it are shown. The last section is devoted to spectral families of automorphisms and their properties, culminating with the formulation and proof of a Stone type theorem (in the sense of Stone’s theorem on strongly continuous one-parameter unitary groups — see, e.g. [REED, M.#x2014;SIMON, B.: Methods of Modern Mathematical Physics, Vol. I, Acad. Press, New York, 1975]) for a group of spectral automorphisms.