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

arXiv:0904.3229 · Journal of Mathematical Physics

No-cloning theorem on quantum logics

Takayuki Miyadera, Hideki Imai

Published Oct 1, 2009• 11 citations
arXivHTMLPDF

Abstract

This paper discusses the no-cloning theorem in a logicoalgebraic approach. In this approach, an orthoalgebra is considered as a general structure for propositions in a physical theory. We proved that an orthoalgebra admits cloning operation if and only if it is a Boolean algebra. That is, only classical theory admits the cloning of states. If unsharp propositions are to be included in the theory, then a notion of effect algebra is considered. We proved that an atomic Archimedean effect algebra admitting cloning operation is a Boolean algebra. This paper also presents a partial result, indicating a relation between the cloning on effect algebras and hidden variables.

DOI
10.1063/1.3245811

Related papers

No-cloning implies unalterability of the past

Arkady Bolotin

A common way of stating the non-cloning theorem -- one of distinguishing characteristics of quantum theory -- is that one cannot make a copy of an arbitrary unknown quantum state. Even though this theorem is an important part of the ongoing discussion of the nature of a quantum state, the role of the theorem in the logical-algebraic approach to quantum theory has not yet been systematically studied. According to the standard point of view (which is in line with the logical tradition), quantum cloning amounts to two classical rules of inference, namely, monotonicity and idempotency of entailment. One can conclude then that the whole of quantum theory should be described through a logic wherein these rules do not hold, which is linear logic. However, in accordance with a supervaluational semantics (that allows one to retain all the theorems of classical logic while admitting `truth-value gaps'), quantum cloning necessitates the permanent loss of the truth values of experimental quantum propositions which violates the unalterability of the past. The present paper demonstrates this.

arXiv:1905.06766•May 16, 2019•0 citations

CLASSICAL AND QUANTUM LOGICS: TEST SPACES, BOOLEAN ALGEBRAS, AND ORTHOALGEBRAS

Jonathan Kauffman

In this paper, the connections between classical propositional logic and Boolean algebras are explored. Then, an introduction to quantum logic explains that the distributive property does not hold, which gives rise to the need for a different structure for quantum logic. One of these systems, algebraic test spaces, is described, along with their connection to orthoalgebras, which are also analyzed.

•Aug 1, 2025•0 citations

Non-classical conditional probability and the quantum no-cloning theorem

Gerd Niestegge

The quantum mechanical no-cloning theorem for pure states is generalized and transfered to the quantum logics with a conditional probability calculus. This is, on the one hand, an extension of the classical probability calculus and, on the other hand, a mathematical generalization of the Lueders - von Neumann quantum measurement process. In the non-classical case, a very special type of conditional probability emerges, describing the probability for the transition from a past event to a future event independently of any underlying state. This probability results from the algebraic structure of the quantum logic only and is invariant under algebraic morphisms, which is used to prove the generalized no-cloning theorem in a rather abstract, though simple and basic fashion without relying on a tensor product construction as required in other approaches.

•Jan 30, 2015•7 citations

Copying Quantum States

Hans Maassen, Burkhard Kümmerer

The no-broadcasting theorem in quantum information says that a set of states on a quantum system admits a common broadcasting (copying) operation if and only if their density matrices belong to a commuting family. We discuss and prove this theorem, as well as the closely related no-cloning theorem in the context of quantum probability theory, i.e. in the category of (finite dimensional) C-star-algebras with unital completely positive maps.

quant-pharXiv:2607.02408•Indian Journal of Pure and Applied Mathematics•Jul 3, 2026•0 citations

From Boolean algebras to effect algebras: Sharp and unsharp logic in classical and quantum systems

Atul Kumar Singh, Akhilesh Kumar Singh

This paper examines how logical structures represent sharp and unsharp propositions in classical and quantum systems. Classical sharp logic is modeled by Boolean algebras, where propositions have bivalent truth values, complements are globally defined, and distributivity holds. Quantum sharp logic is modeled by orthomodular lattices of closed Hilbert-space subspaces or projection operators; it retains definite yes–no outcomes for ideal measurements but rejects the Boolean assumptions of global truth valuation and distributivity. Classical unsharp logic uses fuzzy membership or probabilistic truth values to describe vagueness and incomplete information, whereas quantum unsharp logic is expressed through effects and effect algebras, which capture noisy, inefficient, and generalized measurements. The paper’s central question is which algebraic structure is appropriate for each combination of classical or quantum behavior and sharp or unsharp measurement. The analysis shows that the four cases form a coherent hierarchy: Boolean algebras describe deterministic classical events, orthomodular lattices describe ideal quantum propositions, fuzzy or probabilistic models describe classical partial truth, and effect algebras describe realistic quantum effects. This classification clarifies the mathematical and physical role of unsharpness and explains why effect algebras are needed beyond projection-based quantum logic.

Engineering and Applied Science Letters•Aug 12, 2026•0 citations

Coreflections in Algebraic Quantum Logic

Bart Jacobs, Jorik Mandemaker

Various generalizations of Boolean algebras are being studied in algebraic quantum logic, including orthomodular lattices, orthomodular po-sets, orthoalgebras and effect algebras. This paper contains a systematic study of the structure in and between categories of such algebras. It does so via a combination of totalization (of partially defined operations) and transfer of structure via coreflections.

Foundations of Physics•May 9, 2012•38 citations
This paper discusses the no-cloning theorem in a logicoalgebraic approach. In this approach, an orthoalgebra is considered as a general structure for propositions in a physical theory. We proved that an orthoalgebra admits cloning operation if and only if it is a Boolean algebra. That is, only classical theory admits the cloning of states. If unsharp propositions are to be included in the theory, then a notion of effect algebra is considered. We proved that an atomic Archimedean effect algebra admitting cloning operation is a Boolean algebra. This paper also presents a partial result, indicating a relation between the cloning on effect algebras and hidden variables.
A common way of stating the non-cloning theorem -- one of distinguishing characteristics of quantum theory -- is that one cannot make a copy of an arbitrary unknown quantum state. Even though this theorem is an important part of the ongoing discussion of the nature of a quantum state, the role of the theorem in the logical-algebraic approach to quantum theory has not yet been systematically studied. According to the standard point of view (which is in line with the logical tradition), quantum cloning amounts to two classical rules of inference, namely, monotonicity and idempotency of entailment. One can conclude then that the whole of quantum theory should be described through a logic wherein these rules do not hold, which is linear logic. However, in accordance with a supervaluational semantics (that allows one to retain all the theorems of classical logic while admitting `truth-value gaps'), quantum cloning necessitates the permanent loss of the truth values of experimental quantum propositions which violates the unalterability of the past. The present paper demonstrates this.
The quantum mechanical no-cloning theorem for pure states is generalized and transfered to the quantum logics with a conditional probability calculus. This is, on the one hand, an extension of the classical probability calculus and, on the other hand, a mathematical generalization of the Lueders - von Neumann quantum measurement process. In the non-classical case, a very special type of conditional probability emerges, describing the probability for the transition from a past event to a future event independently of any underlying state. This probability results from the algebraic structure of the quantum logic only and is invariant under algebraic morphisms, which is used to prove the generalized no-cloning theorem in a rather abstract, though simple and basic fashion without relying on a tensor product construction as required in other approaches.
This paper examines how logical structures represent sharp and unsharp propositions in classical and quantum systems. Classical sharp logic is modeled by Boolean algebras, where propositions have bivalent truth values, complements are globally defined, and distributivity holds. Quantum sharp logic is modeled by orthomodular lattices of closed Hilbert-space subspaces or projection operators; it retains definite yes–no outcomes for ideal measurements but rejects the Boolean assumptions of global truth valuation and distributivity. Classical unsharp logic uses fuzzy membership or probabilistic truth values to describe vagueness and incomplete information, whereas quantum unsharp logic is expressed through effects and effect algebras, which capture noisy, inefficient, and generalized measurements. The paper’s central question is which algebraic structure is appropriate for each combination of classical or quantum behavior and sharp or unsharp measurement. The analysis shows that the four cases form a coherent hierarchy: Boolean algebras describe deterministic classical events, orthomodular lattices describe ideal quantum propositions, fuzzy or probabilistic models describe classical partial truth, and effect algebras describe realistic quantum effects. This classification clarifies the mathematical and physical role of unsharpness and explains why effect algebras are needed beyond projection-based quantum logic.