We relate notions of complementarity in three layers of quantum mechanics: (i) von Neumann algebras, (ii) Hilbert spaces, and (iii) orthomodular lattices. Taking a more general categorical perspective of which the above are instances, we consider dagger monoidal kernel categories for (ii), so that (i) become (sub)endohomsets and (iii) become subobject lattices. By developing a `point-free' definition of copyability we link (i) commutative von Neumann subalgebras, (ii) classical structures, and (iii) Boolean subalgebras.
Categorical quantum mechanics studies quantum theory in the framework of dagger-compact closed categories. Using this framework, we establish a tight relationship between two key quantum theoretical notions: non-locality and complementarity. In particular, we establish a direct connection between Mermin-type non-locality scenarios, which we generalise to an arbitrary number of parties, using systems of arbitrary dimension, and performing arbitrary measurements, and a new stronger notion of complementarity which we introduce here. Our derivation of the fact that strong complementarity is a nece…
We use strong complementarity to introduce dynamics and symmetries within the framework of CQM, which we also extend to infinite-dimensional separable Hilbert spaces: these were long-missing features, which open the way to a wealth of new applications. The coherent treatment presented in this work also provides a variety of novel insights into the dynamics and symmetries of quantum systems: examples include the extremely simple characterisation of symmetry-observable duality, the connection of strong complementarity with the Weyl Canonical Commutation Relations, the generalisations of Feynman'…
We show that Bohr's principle of complementarity between position and momentum descriptions can be formulated rigorously as a claim about the existence of representations of the CCRs. In particular, in any representation where the position operator has eigenstates, there is no momentum operator, and vice versa. Equivalently, if there are nonzero projections corresponding to sharp position values, all spectral projections of the momentum operator map onto the zero element.
This paper has two tightly intertwined aims: (i) To introduce an intuitive and universal graphical calculus for multi-qubit systems, the ZX-calculus, which greatly simplifies derivations in the area of quantum computation and information. (ii) To axiomatise complementarity of quantum observables within a general framework for physical theories in terms of dagger symmetric monoidal categories. We also axiomatize phase shifts within this framework. Using the well-studied canonical correspondence between graphical calculi and symmetric monoidal categories, our results provide a purely graphical f…
Toy models have been used to separate important features of quantum computation from the rich background of the standard Hilbert space model. Category theory, on the other hand, is a general tool to separate components of mathematical structures, and analyze one layer at a time. It seems natural to combine the two approaches, and several authors have already pursued this idea. We explore *categorical comprehension construction* as a tool for adding features to toy models. We use it to comprehend quantum propositions and probabilities within the basic model of finite-dimensional Hilbert spaces.…
We present a both simple and comprehensive graphical calculus for quantum computing. In particular, we axiomatize the notion of an environment, which together with the earlier introduced axiomatic notion of classical structure enables us to define classical channels, quantum measurements and classical control. If we moreover adjoin the earlier introduced axiomatic notion of complementarity, we obtain sufficient structural power for constructive representation and correctness derivation of typical quantum informatic protocols.
Complementarity principle is one of the central concepts in quantum mechanics which restricts joint measurement for certain observables. Of course, later development shows that joint measurement could be possible for such observables with the introduction of a certain degree of unsharpness or fuzziness in the measurement. In this paper, we show that the optimal degree of unsharpness, which guarantees the joint measurement of all possible pairs of dichotomic observables, determines the degree of nonlocality in quantum mechanics as well as in more general no-signaling theories.
After introducing sketchily Bohr's wave-particle complementarity principle in his own words, a derivation of an extended form of the principle from standard quantum mechanics is performed. Reality-evaluation of each step is given. The derived theory is applied to simple examples and the extended entities are illustrated in a thought experiment. Assessment of the approach of Bohr and of this article is taken up again with a rather negative conclusion as far as reflecting reality is concerned. The paper ends with selected incisive opinions on Bohr's dogmatic attitude and with some comments by th…
We review the notion of complementarity of observables in quantum mechanics, as formulated and studied by Paul Busch and his colleagues over the years. In addition, we provide further clarification on the operational meaning of the concept, and present several characterisations of complementarity - some of which new - in a unified manner, as a consequence of a basic factorisation lemma for quantum effects. We work out several applications, including the canonical cases of position-momentum, position-energy, number-phase, as well as periodic observables relevant to spatial interferometry. We cl…
This is the first paper in a series where we generalize the Categorical Quantum Mechanics program (due to Abramsky, Coecke, et al) to braided systems. In our view a uniform description of quantum information for braided systems has not yet emerged. The picture is complicated by a diversity of examples that lacks a unifying framework for proving theorems and discovering new protocols. We use category theory to construct a high-level language that abstracts the quantum mechanical properties of braided systems. We exploit this framework to propose an axiomatic description of braided quantum infor…
A central theme in current work in quantum information and quantum foundations is to see quantum mechanics as occupying one point in a space of possible theories, and to use this perspective to understand the special features and properties which single it out, and the possibilities for alternative theories. Two formalisms which have been used in this context are operational theories, and categorical quantum mechanics. The aim of the present paper is to establish strong connections between these two formalisms. We show how models of categorical quantum mechanics have representations as operati…
This invited chapter in the Handbook of Quantum Logic and Quantum Structures consists of two parts: 1. A substantially updated version of quant-ph/0402130 by the same authors, which initiated the area of categorical quantum mechanics, but had not yet been published in full length; 2. An overview of the progress which has been made since then in this area.
A recent experiment performed by S. Afshar [first reported by M. Chown, New Scientist {\bf 183}, 30 (2004)] is analyzed. It was claimed that this experiment could be interpreted as a demonstration of a violation of the principle of complementarity in quantum mechanics. Instead, it is shown here that it can be understood in terms of classical wave optics and the standard interpretation of quantum mechanics. Its performance is quantified and it is concluded that the experiment is suboptimal in the sense that it does not fully exhaust the limits imposed by quantum mechanics.
What Niels Bohr called the `epistemological lesson' of `complementarity' was the result of reasoning analogically from the classical conception of a mechanical state to a new quantum mechanical conception of an `object' in a mechanical state. Bohr proposed to redefine the `objectivity' essential for scientific description in terms of the epistemological demand for unambiguously communicable descriptions of observational results, a move which has profound consequences for how we can understand the concept of the quantum mechanical state and the nature of the `system' which is `in' this state. H…
Complementarity was originally introduced as a qualitative concept for the discussion of properties of quantum mechanical objects that are classically incompatible. More recently, complementarity has become a \emph{quantitative} relation between classically incompatible properties, such as visibility of interference fringes and "which-way" information, but also between purely quantum mechanical properties, such as measures of entanglement. We discuss different complementarity relations for systems of 2-, 3-, or \textit{n} qubits. Using nuclear magnetic resonance techniques, we have experimenta…
We use non-standard analysis to define a category $^\star\!\operatorname{Hilb}$ suitable for categorical quantum mechanics in arbitrary separable Hilbert spaces, and we show that standard bounded operators can be suitably embedded in it. We show the existence of unital special commutative $\dagger$-Frobenius algebras, and we conclude $^\star\!\operatorname{Hilb}$ to be compact closed, with partial traces and a Hilbert-Schmidt inner product on morphisms. We exemplify our techniques on the textbook case of 1-dimensional wavefunctions with periodic boundary conditions: we show the momentum and po…
In this work, we use tools from non-standard analysis to introduce infinite-dimensional quantum systems and quantum fields within the framework of Categorical Quantum Mechanics. We define a dagger compact category *Hilb suitable for the algebraic manipulation of unbounded operators, Dirac deltas and plane-waves. We cover in detail the construction of quantum systems for particles in boxes with periodic boundary conditions, particles on cubic lattices, and particles in real space. Not quite satisfied with this, we show how certain non-separable Hilbert spaces can also be modelled in our non-sta…
Categorical quantum mechanics, which examines quantum theory via dagger-compact closed categories, gives satisfying high-level explanations to the quantum information procedures such as Bell-type entanglement or complementary observables (\cite{AC}, \cite{Co}, \cite{Co2}). Inspired by the fact that Quantum Game Theory can be seen as branch of quantum information, we express Quantum Game Theory procedures using the topological semantics provided by Categorical Quantum Mechanics. We also investigate Bayesian Games with correlation from this novel point of view while considering the connection be…
Recently, the author and Bob Coecke have introduced a categorical formulation of Quantum Mechanics. In the present paper, we shall use it to open up a novel perspective on No-Cloning. What we shall find, quite unexpectedly, is a link to some fundamental issues in logic, computation, and the foundations of mathematics. A striking feature of our results is that they are visibly in the same genre as a well-known result by Joyal in categorical logic showing that a `Boolean cartesian closed category' trivializes, which provides a major road-block to the computational interpretation of classical log…
We study the $S$-matrix interpretation of quantum theory in light of Categotical Quantum Mechanics. The $S$-matrix interpretation of quantum theory is shown to be a functorial semantics relating the algebras of quantum theory to the effective $S$-matrix formalism. Consequently, issues such as state reduction and entanglement generation can be depicted in a simple manner. Moreover, this categorical $S$-matrix interpretation does not have the alleged thermodynamic cost.
Niels Bohr introduced the concept of complementarity in order to give a general account of quantum mechanics, however he stressed that the idea of complementarity is related to the general difficulty in the formation of human ideas, inherent in the distinction between subject and object. The complementary descriptions approach is a framework for the interpretation of quantum mechanics, more specifically, it focuses in the development of the idea of complementarity and the concept of potentiality in the orthodox quantum formulation. In PART I of this article, we analyze the ideas of Bohr and pr…
In the present contribution we discuss the role of experimental limitations in the classical limit problem. We studied some simple models and found that Quantum Mechanics does not re-produce classical mechanical predictions, unless we consider the experimental limitations ruled by uncertainty principle. We have shown that the discrete nature of energy levels of integrable systems can be accessed by classical measurements. We have defined a precise limit for this procedure. It may be used as a tool to define the classical limit as far as the discrete spectra of integrable systems are concerned.…
Niels Bohr introduced the concept of complementarity in order to give a general account of quantum mechanics, however he stressed that the idea of complementarity is related to the general difficulty in the formation of human ideas, inherent in the distinction between subject and object. The complementary descriptions approach is a framework for the interpretation of quantum mechanics, more specifically, it focuses in the development of the idea of complementarity and the concept of potentiality in the orthodox quantum formulation. In PART I of this article, we analyze the ideas of Bohr and pr…
The uncertainty principle bounds the uncertainties about incompatible measurements, clearly setting quantum theory apart from the classical world. Its mathematical formulation via uncertainty relations, plays an irreplaceable role in quantum technologies. However, neither the uncertainty principle nor uncertainty relations can fully describe the complementarity between quantum measurements. As an attempt to advance the efforts of complementarity in quantum theories, we formally propose a complementary information principle, significantly extending the one introduced by Heisenberg. First, we bu…
The role of types in categorical models of meaning is investigated. A general scheme for how typed models of meaning may be used to compare sentences, regardless of their grammatical structure is described, and a toy example is used as an illustration. Taking as a starting point the question of whether the evaluation of such a type system 'loses information', we consider the parametrized typing associated with connectives from this viewpoint. The answer to this question implies that, within full categorical models of meaning, the objects associated with types must exhibit a simple but subtle c…
Complementarity lies at the heart of conceptual foundation of orthodox quantum mechanics. The wave-particle duality makes it impossible to tell which slit each particle passes through and still observe an interference pattern in a Young's double-slit experiment. In this paper, this duality is appraised under the standard formulation of quantum mechanics for atom interferometers. It is found that the internal freedoms like electronic states of an atom can be used to detect the which-path information of each atom while uphold the interference pattern of atoms when the center-of-mass motion of at…
This thesis develops the categorical proof theory for the non-compact multiplicative dagger linear logic, and investigates its applications to Categorical Quantum Mechanics (CQM). The existing frameworks of CQM are categorical proof theories of compact dagger linear logic, and are motivated by the interpretation of quantum systems in the category of finite dimensional Hilbert spaces. This thesis describes a new non-compact framework called Mixed Unitary Categories which can accommodate infinite dimensional systems, and develops models for the framework. To this end, it builds on linearly distr…
Niels Bohr introduced the concept of complementarity in order to give a general account of quantum mechanics, however he stressed that the idea of complementarity is related to the general dificulty in the formation of human ideas, inherent in the distinction between subject and object. Earlier, we have introduced a development of the concept of complementarity which constitutes a new approach to the interpretation of quantum mechanics. We argue that this development allows a better understanding of some of the paradigmatic interpretational problems of quantum theory. Within the scheme propose…
Bohr's interpretation of quantum mechanics has been criticized as incoherent and opportunistic, and based on doubtful philosophical premises. If so Bohr's influence, in the pre-war period of 1927-1939, is the harder to explain, and the acceptance of his approach to quantum mechanics over de Broglie's had no reasonable foundation. But Bohr's interpretation changed little from the time of its first appearance, and stood independent of any philosophical presuppositions. The principle of complementarity is itself best read as a conjecture of unusually wide scope, on the nature and future course of…
A certain class of Frobenius algebras has been used to characterize orthonormal bases and observables on finite-dimensional Hilbert spaces. The presence of units in these algebras means that they can only be realized finite-dimensionally. We seek a suitable generalization, which will allow arbitrary bases and observables to be described within categorical axiomatizations of quantum mechanics. We develop a definition of H*-algebra that can be interpreted in any symmetric monoidal dagger category, reduces to the classical notion from functional analysis in the category of (possibly infinite-dime…
We derive the category-theoretic backbone of quantum theory from a process ontology. More specifically, we treat quantum theory as a theory of systems, processes and their interactions. In this first part of a three-part overview, we first present a general theory of diagrams, and in particular, of string diagrams. We discuss why diagrams are a very natural starting point for developing scientific theories. Then we define process theories, and define a very general notion of quantum type. We show how our process ontology enables us to assert causality, that is, compatibility of quantum theory …
Uncertainty relations and complementarity relations are core issues in quantum mechanics and quantum information theory. By use of the generalized Wigner-Yanase-Dyson (GWYD) skew information, we derive several uncertainty and complementarity relations with respect to mutually unbiased measurements (MUMs), and general symmetric informationally complete positive operator valued measurements (SIC-POVMs), respectively. Our results include some existing ones as particular cases. We also exemplify our results by providing a detailed example.
We use tools from non-standard analysis to formulate the building blocks of quantum field theory within the framework of categorical quantum mechanics. Building upon previous work, we construct an object of *Hilb having quantum fields as states and we show that the usual ladder and field operators can be defined as suitable endomorphisms. We deal with relativistic normalisation and we obtain the Lorentz invariant Heisenberg picture operators. By moving to a coherent perspective -- where the classical time and momentum parameters are replaced by wavefunctions over the parameter spaces -- we sho…
Bohr's principle of complementarity lies at the central place of quantum mechanics, according to which the light is chosen to behave as a wave or particles, depending on some exclusive detecting devices. Later, intermediate cases are found, but the total information of the wave-like and particle-like behaviors are limited by some inequalities. One of them is Englert-Greenberger (EG) duality relation. This relation has been demonstrated by many experiments with the classical detecting devices. Here by introducing a quantum detecting device into the experiment, we find the limit of the duality r…
Clocks play a special role at the interface of general relativity and quantum mechanics. We analyze a clock-interferometry thought experiment and go on to theoretically derive and experimentally test a complementarity relation for quantum clocks in the context of the gravitational time lag. We study this relation in detail and discuss its application to various types of quantum clocks.
We discuss foundation of quantum mechanics (interpretations, superposition, principle of complementarity, locality, hidden variables) and quantum information theory.
Bohr placed complementary bases at the mathematical centre point of his view of quantum mechanics. On the technical side then my question translates into that of classifying complex Hadamard matrices. Recent work (with Barros e Sa) shows that the answer depends heavily on the prime number decomposition of the Hilbert space. By implication so does the geometry of quantum state space.
The complementarity experiment reported in Bertet [{\it{et al.}} (2001), {\it{Nature}} {\bf{411}}, 166.] is discussed. The role played by entanglement in reaching the classical limit is pointed out. Dissipative and thermal effects of the cavity are calculated and a simple modification of the experiment is proposed in order to observe the progressive loss of the capacity of ``quantum erasing''as a manifestation of the classical limit of quantum mechanics.
We propose a 2-categorical formalism for describing classical information, quantum systems, and their interactions, based on the principle that classical information can be encoded as correlations between quantum systems. Applying this in the 2-category of 2-Hilbert spaces recovers ordinary quantum theory. The formalism gives a simple, graphical way to describe the specification and implementation of certain quantum procedures, which we use to investigate quantum teleportation, dense coding, complementarity and quantum erasure, verifying our results computationally using a software package.
The correlations that violate the CHSH inequality are known to have complementary contributions from signaling and local indeterminacy. This complementarity is shown to represent a strengthening of Bell's theorem, and can be used to certify randomness in a device-independent way, assuming neither the validity of quantum mechanics nor even no-signaling. We obtain general nonlocal resources that can simulate the statistics of the singlet state, encompassing existing results. We prove a conjecture due to Hall (2010) and Kar et al. (2011) on the complementarity for such resources.
In this paper we present a new categorical approach which attempts to provide an original understanding of QM. Our logos categorical approach attempts to consider the main features of the quantum formalism as the standpoint to develop a conceptual representation that explains what the theory is really talking about --rather than as problems that need to be bypassed in order to allow a restoration of a classical "common sense" understanding of what there is. In particular, we discuss a solution to Kochen-Specker contextuality through the generalization of the meaning of global valuation. This i…
Since the beginning of quantum mechanics, many puzzling phenomena which distinguish the quantum from the classical world, have appeared such as complementarity, entanglement or contextuality. All of these phenomena are based on the existence of non-commuting observables in quantum mechanics. Furthermore, theses effects generate advantages which allow quantum technologies to surpass classical technologies. In this lecture note, we investigate two prominent examples of these phenomenons: complementarity and entanglement. We discuss some of their basic properties and introduce general methods for…
The unification of Quantum Mechanics and General Relativity remains the primary goal of Theoretical Physics, with string theory appearing as the only plausible unifying scheme. In the present work, in a search of the conceptual foundations of string theory, we analyze the relational logic developed by C. S. Peirce in the late nineteenth century. The Peircean logic has the mathematical structure of a category with the relation $R_{ij}$ among two individual terms $S_i$ and $S_j$, serving as an arrow (or morphism). We introduce a realization of the corresponding categorical algebra of composition…
Consideration of the von Neumann measurement process underlying interference experiments shows that the uncertainty in the incoming wave, responsible for its interference, translates during measurement into an uncertainty at the measuring apparatus. However, subsequent measurement on the apparatus does not reveal any new information about the interfering wave. This observation, in the context of recent advances in quantum information, suggests an argument for an information theoretic interpretation of quantum mechanics.
Federal University of Santa Maria（圣玛丽亚联邦大学）；State University of Campinas（坎皮纳斯州立大学）；Centre for Theoretical Physics, Jamia Millia Islamia（贾米亚米利亚伊斯兰大学理论物理中心）
In the Copenhagen interpretation the Heisenberg uncertainty relation is interpreted as the mathematical expression of the concept of complementarity, quantifying the mutual disturbance necessarily taking place in a simultaneous or joint measurement of incompatible observables. This interpretation has already been criticized by Ballentine a long time ago, and has recently been challenged in an experimental way. These criticisms can be substantiated by using the generalized formalism of positive operator-valued measures, from which a new inequality can be derived, precisely illustrating the Cope…
The Copenhagen interpretation of quantum mechanics, which first took shape in Bohr's landmark 1928 paper on complementarity, remains an enigma. Although many physicists are skeptical about the necessity of Bohr's philosophical conclusions, his pragmatic message about the importance of the whole experimental arrangement is widely accepted. It is, however, generally also agreed that the Copenhagen interpretation has no direct consequences for the mathematical structure of quantum mechanics. Here I show that the application of Bohr's main concepts of complementarity to the subsystems of a closed …
This is the second part of a three-part overview, in which we derive the category-theoretic backbone of quantum theory from a process ontology, treating quantum theory as a theory of systems, processes and their interactions. In this part we focus on classical-quantum interaction. Classical and quantum systems are treated as distinct types, of which the respective behavioural properties are specified in terms of processes and their compositions. In particular, classicality is witnessed by 'spiders' which fuse together whenever they connect. We define mixedness and show that pure processes are …
Effect algebras are one of the generalizations of Boolean algebras proposed in the quest for a quantum logic. Frobenius algebras are a tool of categorical quantum mechanics, used to present various families of observables in abstract, often nonstandard frameworks. Both effect algebras and Frobenius algebras capture their respective fragments of quantum mechanics by elegant and succinct axioms; and both come with their conceptual mysteries. A particularly elegant and mysterious constraint, imposed on Frobenius algebras to characterize a class of tripartite entangled states, is the antispecial l…
The two-slit experiment with quantum particles provides many insights into the behaviour of quantum mechanics, including Bohr's complementarity principle. Here we analyze Einstein's recoiling slit version of the experiment and show how the inevitable entanglement between the particle and the recoiling slit as a which-way detector is responsible for complementarity. We derive the Englert-Greenberger-Yasin duality from this entanglement, which can also be thought of as a consequence of sum-uncertainty relations between certain complementary observables of the recoiling slit. Thus, entanglement i…
Applying ideas from monadic dynamics to the well-established framework of categorical quantum mechanics, we provide a novel toolbox for the simulation of finite-dimensional quantum dynamics. We use strongly complementary structures to give a graphical characterisation of quantum clocks, their action on systems and the relevant energy observables, and we proceed to formalise the connection between unitary dynamics and projection-valued spectra. We identify the Weyl canonical commutation relations in the axioms of strong complementarity, and conclude the existence of a dual pair of time/energy o…
In a recent paper [12], we discussed the serious inconsistency present within the operational and mathematical definition(s) of the notion of pure state. Continuing this analysis, in this work we attempt to address the role of 'purity' and 'mixtures' within two different categorical approaches to QM, namely, the topos approach originally presented by Chris Isham and Jeremy Butterfield [27, 28, 29] and the more recent logos categorical approach presented by the authors of this article [10, 11, 13]. While the first approach exposes the difficulties to produce a consistent understanding of pure s…
An experimental test of quantum complementarity principle based on single neutral atom trapped in a blue detuned bottle trap was here performed. A Ramsey interferometer was used to assess the wavelike behavior or particle-like behavior with second $π/2$-rotation on or off. The wavelike behavior or particle-like behavior is characterized by the visibility $V$ of the interference or the predictability $P$ of which-path information, respectively. The measured results fulfill the complementarity relation $P^2+V^2\leq1$. Imbalance losses were deliberately introduced to the stem and find the complem…
A recent experiment performed by S. S. Afshar et al. has been interpreted as a violation of Bohr's complementarity principle between interference visibility and which-path information in a two-path interferometer. We have reproduced this experiment, using true single-photon pulses propagating in a two-path wavefront- splitting interferometer realized with a Fresnel's biprism, and followed by a grating with adjustable transmitting slits. The measured values of interference visibility V and which-path information, characterized by the distinguishability parameter D, are found to obey the complem…
Reality of quantum observables, a feature of long-standing interest within foundations of quantum mechanics, has recently been quantified and deeply studied by means of entropic measures [Phys. Rev. A 97, 022107 (2018)]. However, there is no state-independent "reality trade-off" between noncommuting observables, as in certain systems all observables are real [Europhys. Lett. 112, 40005 (2015)]. We show that the entropic uncertainty relation in the presence of quantum memory [Nature Phys. 6, 659 (2010)] perfectly supplements the discussed notion of reality, rendering trade-offs between reality …
