We give the logical description of a new kind of quantum measurement that is a reversible operation performed by an hypothetical insider observer, or, which is the same, a quantum measurement made in a quantum space background, like the fuzzy sphere. The result is that the non-contradiction and the excluded middle principles are both invalidated, leading to a paraconsistent, symmetric logic. Our conjecture is that, in this setting, one can develop the adequate logic of quantum computing. The role of standard quantum logic is then confined to describe the projective measurement scheme.
We show that for any von Neumann measurement, we can construct a logically reversible measurement such that Shannon entropies and quantum discords induced by the two measurements have compact connections. In particular, we prove that quantum discord for the logically reversible measurement is never less than that for the von Neumann measurement.
A quantum measurement is logically reversible if the premeasurement density operator of the measured system can be calculated from the postmeasurement density operator and from the outcome of the measurement. This paper analyzes why many quantum measurements are logically irreversible, shows how to make them logically reversible, and discusses reversing measurement that returns the postmeasurement state to the premeasurement state by another measurement (physical reversibility). Reversing measurement and unitarily reversible quantum operation are compared from the viewpoint of error correction…
We consider the logical assertions of a hypothetical observer who is inside a quantum computer and performs a reversible quantum measurement, obtaining a symmetric couple of new axioms, valid only inside the quantum computer. The result is that, in this logical framework, symmetry and paraconsistency hold.
We show that any unitary transformation performed on the quantum state of a closed quantum system, describes an inner, reversible, generalized quantum measurement. We also show that under some specific conditions it is possible to perform a unitary transformation on the state of the closed quantum system by means of a collection of generalized measurement operators. In particular, given a complete set of orthogonal projectors, it is possible to implement a reversible quantum measurement that preserves the probabilities. In this context, we introduce the concept of "Truth-Observable", which is …
It has long been known that to minimise the heat emitted by a deterministic computer during it's operation it is necessary to make the computation act in a logically reversible manner\cite{Lan61}. Such logically reversible operations require a number of auxiliary bits to be stored, maintaining a history of the computation, and which allows the initial state to be reconstructed by running the computation in reverse. These auxiliary bits are wasteful of resources and may require a dissipation of energy for them to be reused. A simple procedure due to Bennett\cite{Ben73} allows these auxiliary bi…
We present a model in which, due to the quantum nature of the signals controlling the implementation time of successive unitary computational steps, \emph{physical} irreversibility appears in the execution of a \emph{logically} reversible computation.
Landauer's principle asserts that any computation has an unavoidable energy cost that grows proportionally to its degree of logical irreversibility. But even a logically reversible operation, when run on a physical processor that operates on different energy levels, requires energy. Here we quantify this energy requirement, providing upper and lower bounds that coincide up to a constant factor. We derive these bounds from a general quantum resource-theoretic argument, which implies that the initial resource requirement for implementing a unitary operation within an error~$ε$ grows like $1/\sqr…
Predictions for measurement outcomes in physical theories are usually computed by combining two distinct notions: a state, describing the physical system, and an observable, describing the measurement which is performed. In quantum theory, however, both notions are in some sense identical: outcome probabilities are given by the overlap between two state vectors - quantum theory is self-dual. In this paper, we show that this notion of self-duality can be understood from a dynamical point of view. We prove that self-duality follows from a computational primitive called bit symmetry: every logica…
The NAFL (non-Aristotelian finitary logic) interpretation of quantum mechanics requires that no `physical' reality can be ascribed to the wave nature of the photon. The NAFL theory QM, formalizing quantum mechanics, treats the superposed state ($S$) of a single photon taking two or more different paths at the same time as a logical contradiction that is formally unprovable in QM. Nevertheless, in a nonclassical NAFL model for QM in which the law of noncontradiction fails, $S$ has a meaningful metamathematical interpretation that the classical path information for the photon is not available. I…
Assumed data streams from a delayed choice gedanken experiment must satisfy a Bell's identity independently of locality assumptions. The violation of Bell's inequality by assumed correlations of identical form among these data streams implies that they cannot all result from statistically equivalent variables of a homogeneous process. This is consistent with both the requirements of arithmetic and distinctions between commuting and noncommuting observables in quantum mechanics. Neglect of these distinctions implies a logical loophole in the conventional interpretation of Bell's inequalities.
Logical inference leads to one of the major interpretations of probability theory called logical interpretation, in which the probability is seen as a measure of the plausibility of a logical statement under incomplete information. In this paper, assuming that our usual inference procedure makes sense for every set of logical propositions represented in terms of commuting projectors on a given Hilbert space, we extend the logical interpretation to quantum mechanics and derive the Born rule. Our result implies that, from the epistemological viewpoints, we can regard quantum mechanics as a natur…
We propose a scheme of a programmable quantum motherboard based on the system of three interacting high-Q resonators coupled with two-level atoms. By using the algebraic methods, we found that the investigated atomic-resonator platform can possess an equidistant spectrum of the eigenfrequencies at which simple reversible dynamics of the single photon excitation becomes possible. It was shown that such multiresonator quantum motherboard scheme allows to achieve efficient and programmable quantum state transfer between distributed atoms and generate logical qubits and qutrits. The use of the stu…
Computation is currently seen as a forward propagator that evolves (retards) a completely defined initial vector into a corresponding final vector. Initial and final vectors map the (logical) input and output of a reversible Boolean network respectively, whereas forward propagation maps a one-way propagation of logical implication, from input to output. Conversely, hard NP-complete problems are characterized by a two-way propagation of logical implication from input to output and vice versa, given that both are partly defined from the beginning. Logical implication can be propagated forward an…
Quantum computers require quantum processors. An important part of the processor of any computer is the arithmetic unit, which performs binary addition, subtraction, division and multiplication, however multiplication can be performed using repeated addition, while division can be performed using repeated subtraction. In this paper we present two designs using the reversible $R^3$ gate to perform the quantum half adder/ subtractor and the quantum full adder/subtractor. The proposed half adder/subtractor design can be used to perform different logical operations, such as $AND$, $XOR$, $NAND$, $…
We propose and develop a concept of magnonic logic gates enabling reversible computing. The gates consist of passive elements: waveguides, cross-junctions and phase shifters. Logical 0 and 1 are encoded in the relative phase of the propagating spin wave packets (0 or π). The gates contain several possible trajectories for each packet to propagate from the input to the output. Re-direction of the spin wave packets among the possible trajectories is due to the interference in the magnetic cross-junctions. Two wave packets coming to the cross-junction in-phase propagate through the junction witho…
In a recent paper, Żukowski and Markiewicz showed that Wigner's Friend (and, by extension, Schrödinger's Cat) can be eliminated as physical possibilities on purely logical grounds. I validate this result and demonstrate the source of the contradiction in a simple experiment in which a scientist S attempts to measure the position of object $|O\rangle = |A\rangle_S + |B\rangle_S$ by using measuring device M chosen so that $|A\rangle_M \approx |A\rangle_S$ and $|B\rangle_M \approx |B\rangle_S$. I assume that the measurement occurs by quantum amplification without collapse, in which M can entangle…
Quantum computational logics represent a logical abstraction from the circuit-theory in quantum computation. In these logics formulas are supposed to denote pieces of quantum information (qubits, quregisters or mixtures of quregisters), while logical connectives correspond to (quantum logical) gates that transform quantum information in a reversible way. The characteristic holistic features of the quantum theoretic formalism (which play an essential role in entanglement-phenomena) can be used in order to develop a holistic version of the quantum computational semantics. In contrast with the co…
Quantum information stored in a qubit is rapidly lost to the environment. The realization of robust qubits is one of the most important challenges in quantum computing. Herein we propose to embed a logical qubit within the manifold of a qudit as a scheme to preserve quantum information over extended periods of time. Under identical conditions (e.g. decoherence channels) the submanifold of the logical qubit exhibits extended lifetimes compared to a pure two-level system (qubit). The retention of quantum information further improves with separation between the sublevels of the logical qubit. Lif…
In this paper we analyze and discuss the historical and philosophical development of the notion of logical possibility focusing on its specific meaning in classical and quantum mechanics. Taking into account the logical structure of quantum theory we continue our discussion regarding the Aristotelian Square of Opposition in orthomodular structures enriched with a monadic quantifier. Finally, we provide an interpretation of the Orthomodular Square of Opposition exposing the fact that classical possibility and quantum possibility behave formally in radically different manners.
Modern approaches to causal modeling give a central role to interventions, which require the active input of an observer and introduces an explicit `causal arrow of time'. Causal models typically adopt a mechanistic interpretation, according to which the direction of the causal arrow is intrinsic to the process being studied. Here we investigate whether the direction of the causal arrow might be a contribution from the observer, rather than an intrinsic property of the process. Working within a counterfactual and non-mechanistic interpretation of causal modeling developed in arXiv:1806.00895, …
The common-sense view of reality is expressed logically in Boolean subset logic (each element is either definitely in or not in a subset, i.e., either definitely has or does not have a property). But quantum mechanics does not agree with this "properties all the way down" picture of micro-reality. Are there other coherent alternative views of reality? A logic of partitions, dual to the Boolean logic of subsets (partitions are dual to subsets), was recently developed along with a logical version of information theory. In view of the subset-partition duality, partition logic is the alternative t…
We propose an effective realization of the universal set of elementary quantum gates in solid state quantum computer based on macroscopic (or mesoscopic) resonance systems - multi-atomic coherent ensembles, squids or quantum dots in quantum electrodynamic cavity. We exploit an encoding of logical qubits by the pairs of the macroscopic two- or three-level atoms that is working in a Hilbert subspace of all states inherent to these atomic systems. In this subspace, logical single qubit gates are realized by the controlled reversible transfer of single atomic excitation in the pair via the exchang…
The concept of Logical Entropy, $S_L = 1- \sum_{i=1}^n p_i^2$, where the $p_i$ are normalized probabilities, was introduced by David Ellerman in a series of recent papers. Although the mathematical formula itself is not new, Ellerman provided a sound probabilistic interpretation of $S_L$ as a measure of the distinctions of a partition on a given set. The same formula comes across as a useful definition of entropy in quantum mechanics, where it is linked to the notion of purity of a quantum state. The quadratic form of the logical entropy lends itself to a generalization of the probabilities th…
Quantum mechanics under the Copenhagen interpretation is one of the most experimentally well verified formalisms. However, it is known that the interpretation makes explicit reference to external observation or "measurement." One says that the Copenhagen interpretation suffers from the measurement problem. This deficiency of the interpretation excludes it as a viable fundamental formalism and prevents the use of standard quantum mechanics in discussions of quantum cosmology. Numerous alternative interpretations have been developed with the goals of reproducing its predictive success while obvi…
We present a logical type of proof of contextuality for a two-qubit state. We formulate a paradox that cannot be verified by a two-qubit system with local measurements while it is possible by using entanglement measurements. With our scheme we achieve $p_{\rm Hardy} \approx 0.167$, which is the highest probability obtained for a system of similar dimension. Our approach uses graph theory and the global exclusivity principle to give an interpretation of logical type of proofs of quantum correlations. We review the Hardy paradox and find connection to the KCBS inequality. We apply the same metho…
In this paper I consider some logical and mathematical aspects of the discussion of the identity and individuality of quantum entities. I shall point out that for some aspects of the discussion, the logical basis cannot be put aside; on the contrary, it leads us to unavoidable conclusions which may have consequences in how we articulate certain concepts related to quantum theory. Behind the discussion, there is a general argument which suggests the possibility of a metaphysics of non-individuals, based on a reasonable interpretation of quantum basic entities. I close the paper with a suggestio…
Logical information theory is the quantitative version of the logic of partitions just as logical probability theory is the quantitative version of the dual Boolean logic of subsets. The resulting notion of information is about distinctions, differences, and distinguishability, and is formalized using the distinctions (`dits') of a partition (a pair of points distinguished by the partition). All the definitions of simple, joint, conditional, and mutual entropy of Shannon information theory are derived by a uniform transformation from the corresponding definitions at the logical level. The purp…
A measurement-induced continuous-variable logical gate is able to prepare Schrödinger cat states if the gate uses a non-Gaussian resource state, such as cubic phase state [I. V. Sokolov, Phys. Lett. A 384, 126762 (2020)]. Our scheme provides an alternative to hybrid circuits which use photon subtraction and (or) Fock resource states and photon number detectors. We reveal the conditions under which the gate conditionally prepares quantum superposition of two undistorted "copies" of an arbitrary input state that occupies a finite area in phase space. A detailed analysis of the fidelity between t…
As it is known, neither classical logical conjunction "and" nor classical logical alternative "either...or" can replace "+" representing a linear superposition of two quantum states. Therefore, to provide a logical account of the quantum superposition, one must either reconsider the standard interpretation of quantum mechanics (making it fit for classical bivalent logic) or replace the standard logic with a deviant logic suitable for describing the superposition. In the paper, a supervaluation approach to the description of the quantum superposition is considered. In accordance with this appro…
One of simplest and most widely used error model in working with quantum circuits is the Pauli Twirling Approximation (PTA). Restricting ourselves to analysis of free dynamics of qubits we show explicitly how application of PTA is equivalent to ignoring most of the quantum back action of the system and give a general argument as to why this approximation leads to low logical error rates in fault tolerant stabilizer circuits as compared to other quantum channels. We provide numerical evidence that PTA's performance in modeling noise gets worse as number of qubits increase.
The representation of numbers by product states in quantum mechanics can be extended to the representation of words and word sequences in languages by product states. This can be used to study quantum systems that generate text that has meaning. A simple example of such a system, based on an example described by Smullyan, is studied here. Based on a path interpretation for some word states, definitions of truth, validity, consistency and completeness are given and their properties studied. It is also shown that the relation between the meaning, if any, of word states and the algorithmic comple…
In the present paper, the decision problem of the Schrödinger equation (asking whether or not a given Hamiltonian operator has the nonempty solution set) is represented as a logical statement. As it is shown in the paper, the law of excluded middle would be applicable to the introduced statement if and only if quantum fundamentalism (asserting that everything in the universe is ultimately describable in quantum-mechanical terms) held. But, since the decision problem of the Schrödinger equation is in general undecidable, such a statement is allowed to be other than true or false, explicitly, it…
A notably enhanced comprehension of the underlying meaning of quantum observations is achieved via a novel premise. Assessments, from first principles, are made of unexamined presumptions that lie at the heart of both conventional conceptions of the nature of physical existence and most interpretations of Quantum Mechanics. An alternative hypothesis, termed Episodic Time Inhabitation, is proposed to resolve major Quantum quandaries, including the EPR paradox. A logical argument gedanken experiment demonstrates that the conventional presumptions appear to create causal loops, and that Episodic …
The preparation procedure, an undefined notion in quantum theory, has not had the relevance that it deserves in the interpretation of quantum mechanical formalism. Here we utilize the concepts of identical and similar preparation procedures to show the conceptual differences and mutual interconnections between the statistical and the conventional interpretation of quantum formalism. Although the statistical understanding, and its final logical consequence, hidden variables theories (this connexion being explained in the text), have a great intuitive appeal due to its fewer ontological difficul…
Universal quantum computation with group surface codes
Perimeter Institute for Theoretical Physics（理论物理前沿研究所）；Department of Physics and Astronomy, Purdue University（普渡大学物理与天文系）；Center for Quantum Mathematics & Danish Institute for Advanced Study (Danish IAS), Southern Denmark University（南丹麦大学量子数学中心与丹麦高等研究院）；Purdue Quantum Science and Engineering Institute, Purdue University（普渡大学普渡量子科学与工程研究所）
