DOCSLIB.ORG

Geometry of Entangled States, Bloch Spheres and Hopf Fibrations

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Geometry of Entangled States, Bloch Spheres and Hopf Fibrations INSTITUTE OF PHYSICS PUBLISHING JOURNAL OF PHYSICS A: MATHEMATICAL AND GENERAL J. Phys. A: Math. Gen. 34 (2001) 10243–10252 PII: S0305-4470(01)28619-3 Geometry of entangled states, Bloch spheres and Hopf fibrations Remy´ Mosseri1 and Rossen Dandoloff2 1 Groupe de Physique des Solides (CNRS UMR 7588), Universites´ Pierre et Marie Curie Paris 6 et Denis Diderot Paris 7, 2 Place Jussieu, 75251 Paris, Cedex 05, France 2 Laboratoire de Physique Theorique et Modelisation (CNRS-ESA 8089), Universite de Cergy-Pontoise, Site de Neuville 3, 5 Mail Gay-Lussac, F-95031 Cergy-Pontoise Cedex, France E-mail: [email protected] and [email protected] Received 3 September 2001 Published 16 November 2001 Online at stacks.iop.org/JPhysA/34/10243 Abstract We discuss a generalization of the standard Bloch sphere representation for a single qubit to two qubits, in the framework of Hopf fibrations of high- dimensional spheres by lower dimensional spheres. The single-qubit Hilbert space is the three-dimensional sphere S3.TheS2 base space of a suitably oriented S3 Hopf fibration is nothing but the Bloch sphere, while the circular fibres represent the overall qubit phase degree of freedom. For the two-qubits case, the Hilbert space is a seven-dimensional sphere S7, which also allows for a Hopf fibration, with S3 fibres and a S4 base. The most striking result is that suitably oriented S7 Hopf fibrations are entanglement sensitive. The relation with the standard Schmidt decomposition is also discussed. PACS numbers: 03.65., 03.65.Ta, 03.67.−a, 42.50.−p 1. Introduction The interest in two-level systems, or coupled two-level systems, is as old as in quantum mechanics itself, with the analysis of the electron spin sector in the helium atom. The ubiquitous two-level systems have gained a renewed interest in the past ten years, owing to the fascinating perspectives in quantum manipulation of information and quantum computation [1]. These two-level quantum systems are now called qubits, grouped and coupled into q-registers, and manipulated by sophisticated means. It is of interest to describe their quantum evolution in a suitable representation space, in order to get some insight into the subtleties of this complicated problem. A well known tool in quantum optics is the Bloch sphere representation, where the simple qubit state is faithfully represented, up to its 0305-4470/01/4710243+10$30.00 © 2001 IOP Publishing Ltd Printed in the UK 10243 10244 R Mosseri and R Dandoloff overall phase, by a point on a standard sphere S2, whose coordinates are expectation values of physically interesting operators for the given quantum state. Our aim here is to build an adequate representation space for bipartite systems. We are guided by the relation of the standard Bloch sphere to a geometric object called the Hopf fibration of the S3 hypersphere 1 (identified to the spin 2 Hilbert space). Since the two-qubits Hilbert space is the seven- dimensional sphere S7, which also allows for a Hopf fibration, it is tempting to mimic the Bloch sphere representation in this case. An aprioriunexpected result is that the S7 Hopf fibration is entanglement sensitive and therefore provides a kind of ‘stratification’ for the two-qubit states with respect to their entanglement content. This paper is organized as follows. We first briefly recall known facts about the Bloch sphere representation and its relation to the S3 Hopf fibration. We then proceed to the two- qubits states and recall what entanglement and Schmidt decomposition consist in. The S7 Hopf fibration is then introduced and related to the two-qubits Hilbert space. Although several papers have appeared (especially in the recent period) which aimed at a geometrical analysis of qubits Hilbert space [2], we are not aware of an alternative use of the S7 Hopf fibration in this context. As far as computation is concerned, going from the S3 to the S7 fibration merely amounts to replacing complex numbers by quaternions. This is why we give a brief introduction to quaternion numbers in the appendix. Note that using quaternions is not strictly necessary here, but they provide an elegant way to put the calculations into a compact form, and have (by nature) an easy geometrical interpretation. 2. Single qubit, Bloch sphere and the S3 Hopf fibration 2.1. The Bloch sphere representation A (single) qubit state reads |=α|0 + β|1 α, β ∈ C |α|2 + |β|2 = 1. (1) 1 {| , | } In the spin 2 context, the orthonormal basis 0 1 is composed of two eigenvectors of the (say) σz (Pauli spin) operator. A convenient way to represent | (up to a global phase) is then provided by the Bloch sphere. The set of states exp iϕ|(ϕ ∈ [0, 2π[) is mapped onto a point on S2 (the usual sphere in R3) with coordinates (X,Y,Z) X =σx = 2Re(αβ)¯ Y =σy = 2Im(αβ)¯ (2) 2 2 Z = σz = |α| − |β| whereα ¯ is the complex conjugate of α. Recall also the relation between Bloch sphere coordinates and the pure state density matrix ρ|: ZX− Y 1 1+ i ρ| = ρ ϕ| = || = . (3) exp i 2 X +iY 1 − Z For mixed states, the density matrices are in one-to-one correspondence with points in the Bloch ‘ball’, the interior of the pure state Bloch sphere. 3 4 The single qubit Hilbert space is the unit sphere S embedded in R . Indeed, writing 2 α = x1 +ix2 and β = x3 +ix4, the state normalization condition translates into xl = 1 defining the S3 sphere. In this space, the set of states exp iϕ| is a circle parametrized by ϕ. The projective Hilbert space is such that all states differing by a global phase are identified, Geometry of entangled states, Bloch spheres and Hopf fibrations 10245 and therefore corresponds to the above Bloch sphere. It can also be identified to the Hopf fibration basis as follows. 2.2. The S3 Hopf fibration In brief, a space is fibred if it has a subspace (the fibre) which can be shifted by a displacement, so that any point of the space belongs to one and only one fibre. For example, the Euclidean space R3 can be seen not only as a fibre bundle of parallel straight lines, but also of parallel planes (the fibre need not be one dimensional). More precisely, a fibred space E is defined by a (many-to-one) map from E to the so-called ‘base space’ B, all points of a given fibre F being mapped onto a single base point. In the preceding R3 example, the base is either a plane cutting the whole set of parallel lines or, in the second case, a line cutting the set of parallel planes. Here, we are facing ‘trivial fibrations’, in the sense that the base B is embedded in the fibred space E, the latter being faithfully described as the direct product of the base and the fibre: R3 = R2 × R or R3 = R × R2. The simplest, and the most famous, example of a non-trivial fibration is the Hopf fibration of S3 by great circles S1 and base space S2. For the qubit Hilbert space, the fibre represents the global phase degree of freedom, and the base S2 is identified as the Bloch sphere. The F S1 standard notation for a fibred space is that of a map E → B, which here reads S3 → S2. Its non-trivial character implies that S3 = S2 × S1. This non-trivial character translates into the known failure in ascribing consistently a definite phase to each representing point on the Bloch sphere. To describe this fibration in an analytical form, we go back to the definition of S3 as pairs of complex numbers (α, β) which satisfy |α|2 + |β|2 = 1. The Hopf map is defined as the 3 2 composition of a map h1 from S to R (+∞), followed by an inverse stereographic map from R2 to S2: S3 −→ R2 + {∞} h : α, β ∈ C 1 (α, β) −→ C = αβ −1 (4) R2 {∞} −→ S2 h + X2 Y 2 Z2 = 2: C −→ M(X,Y,Z) + + 1 3 The first map h1 clearly shows that the full S great circle, parametrized by (α exp iϕ,β exp iϕ) is mapped on the same single point with a complex coordinate C.Note that the complex conjugation, in the above definition for the Hopf map, h1, is not necessary to represent a great circle fibration. It is used here on purpose to get an exact one-to-one relation with the above Bloch sphere coordinates and prepare the generalization to higher dimension discussed below. It is indeed a simple exercise to show that with R2 cutting the unit radius S2 along the equator and the north pole as the stereographic projection pole, the S2 Hopf fibration base coordinates coincide with the above S2 Bloch sphere coordinates. Although there is nothing really new in this correspondence [3], it is probably poorly known in both communities (quantum optics and geometry). It is striking that the simplest non-trivial object of quantum physics, the two-level system, bears an intimate relation with the simplest non-trivial fibred space. It is tempting to try to visualize the full (S3) Hilbert space with its fibre structure. This can be achieved by doing a (direct) stereographic map from S3 to R3 (nice pictures can be found in [3, 4]). Each S3circular fibre is mapped onto a circle in R3, with an exceptional straight line, image of the unique S3 great circle passing through the projection pole. The great circle arrangement is intricate, since each circular fibre threads all others in S3.
Load more

Recommended publications
  • Maps That Take Lines to Circles, in Dimension 4
    Maps That Take Lines to Circles, in Dimension 4 V. Timorin Abstract. We list all analytic diffeomorphisms between an open subset of the 4-dimen- sional projective space and an open subset of the 4-dimensional sphere that take all line segments to arcs of round circles. These are the following: restrictions of the quaternionic Hopf fibrations and projections from a hyperplane to a sphere from some point. We prove this by finding the exact solutions of the corresponding system of partial differential equations. 1 Introduction Let U be an open subset of the 4-dimensional real projective space RP4 and V an open subset of the 4-dimensional sphere S4. We study diffeomorphisms f : U → V that take all line segments lying in U to arcs of round circles lying in V . For the sake of brevity we will always say in the sequel that f takes all lines to circles. The purpose of this article is to give the complete list of such analytic diffeomorphisms. Remark. Given a diffeomorphism f : U → V that takes lines to circles, we can compose it with a projective transformation in the preimage (which takes lines to lines) and a conformal transformation in the image (which takes circles to circles). The result will be another diffeomorphism taking lines to circles. Example 1. For example, suppose that S4 is embedded in R5 as a Euclidean sphere and take an arbitrary hyperplane and an arbitrary point in R5. Obviously, the pro- jection of the hyperplane to S4 form the given point takes all lines to circles.
    [Show full text]
  • Projective Hilbert Space Structures at Exceptional Points
    IOP PUBLISHING JOURNAL OF PHYSICS A: MATHEMATICAL AND THEORETICAL J. Phys. A: Math. Theor. 40 (2007) 8815–8833 doi:10.1088/1751-8113/40/30/014 Projective Hilbert space structures at exceptional points Uwe Gunther¨ 1, Ingrid Rotter2 and Boris F Samsonov3 1 Research Center Dresden-Rossendorf, PO 510119, D-01314 Dresden, Germany 2 Max Planck Institute for the Physics of Complex Systems, D-01187 Dresden, Germany 3 Physics Department, Tomsk State University, 36 Lenin Avenue, 634050 Tomsk, Russia E-mail: [email protected], [email protected] and [email protected] Received 23 April 2007, in final form 6 June 2007 Published 12 July 2007 Online at stacks.iop.org/JPhysA/40/8815 Abstract A non-Hermitian complex symmetric 2 × 2-matrix toy model is used to study projective Hilbert space structures in the vicinity of exceptional points (EPs). The bi-orthogonal eigenvectors of a diagonalizable matrix are Puiseux- expanded in terms of the root vectors at the EP. It is shown that the apparent contradiction between the two incompatible normalization conditions with finite and singular behaviour in the EP-limit can be resolved by projectively extending the original Hilbert space. The complementary normalization conditions correspond then to two different affine charts of this enlarged projective Hilbert space. Geometric phase and phase-jump behaviour are analysed, and the usefulness of the phase rigidity as measure for the distance to EP configurations is demonstrated. Finally, EP-related aspects of PT - symmetrically extended quantum mechanics are discussed and a conjecture concerning the quantum brachistochrone problem is formulated. PACS numbers: 03.65.Fd, 03.65.Vf, 03.65.Ca, 02.40.Xx 1.
    [Show full text]
  • C-Star Algebras
    C∗ Algebras Prof. Marc Rieffel notes by Theo Johnson-Freyd UC-Berkeley Mathematics Department Spring Semester 2008 Contents 1: Introduction 4 2: January 23{28, 20084 3: January 30, 20084 3.1 The positive cone......................................5 4: February 1, 20086 4.1 Ideals............................................7 5: February 4, 20089 5.1 Quotient C∗ algebras....................................9 5.2 Beginnings of non-commutative measure theory..................... 10 6: February 6, 2008 11 6.1 Positive Linear Functionals................................ 11 7: February 8, 2008 13 7.1 GNS Construction..................................... 13 8: February 11, 2008 14 9: February 13, 2008 16 9.1 We continue the discussion from last time........................ 17 9.2 Irreducible representations................................. 18 10:Problem Set 1: \Preventive Medicine" Due February 20, 2008 18 1 11:February 15, 2008 19 12:February 20, 2008 20 13:February 22, 2008 22 13.1 Compact operators..................................... 24 14:February 25, 2008 25 15:February 27, 2008 27 15.1 Continuing from last time................................. 27 15.2 Relations between irreducible representations and two-sided ideal........... 28 16:February 29, 2008 29 17:March 3, 2008 31 17.1 Some topology and primitive ideals............................ 31 18:March 5, 2008 32 18.1 Examples.......................................... 32 19:March 7, 2008 35 19.1 Tensor products....................................... 35 20:Problem Set 2: Due March 14, 2008 37 Fields of C∗-algebras....................................... 37 An important extension theorem................................ 38 The non-commutative Stone-Cechˇ compactification...................... 38 Morphisms............................................ 39 21:March 10, 2008 39 21.1 C∗-dynamical systems................................... 39 22:March 12, 2008 41 23:March 14, 2008 41 23.1 Twisted convolution, approximate identities, etc....................
    [Show full text]
  • The Hopf Fibration
    THE HOPF FIBRATION The Hopf fibration is an important object in fields of mathematics such as topology and Lie groups and has many physical applications such as rigid body mechanics and magnetic monopoles. This project will introduce the Hopf fibration from the points of view of the quaternions and of the complex numbers. n n+1 Consider the standard unit sphere S ⊂ R to be the set of points (x0; x1; : : : ; xn) that satisfy the equation 2 2 2 x0 + x1 + ··· + xn = 1: One way to define the Hopf fibration is via the mapping h : S3 ! S2 given by (1) h(a; b; c; d) = (a2 + b2 − c2 − d2; 2(ad + bc); 2(bd − ac)): You should check that this is indeed a map from S3 to S2. 3 (1) First, we will use the quaternions to study rotations in R . As a set and as a 4 vector space, the set of quaternions is identical to R . There are 3 distinguished coordinate vectors{(0; 1; 0; 0); (0; 0; 1; 0); (0; 0; 0; 1){which are given the names i; j; k respectively. We write the vector (a; b; c; d) as a + bi + cj + dk. The multiplication rules for quaternions can be summarized via the following: i2 = j2 = k2 = −1; ij = k; jk = i; ki = j: Is quaternion multiplication commutative? Is it associative? We can define several other notions associated with quaternions. The conjugate of a quaternionp r = a + bi + cj + dk isr ¯ = a − bi − cj − dk. The norm of r is jjrjj = a2 + b2 + c2 + d2.
    [Show full text]
  • Limit on Time-Energy Uncertainty with Multipartite Entanglement
    Limit on Time-Energy Uncertainty with Multipartite Entanglement Manabendra Nath Bera, R. Prabhu, Arun Kumar Pati, Aditi Sen(De), Ujjwal Sen Harish-Chandra Research Institute, Chhatnag Road, Jhunsi, Allahabad 211 019, India We establish a relation between the geometric time-energy uncertainty and multipartite entan- glement. In particular, we show that the time-energy uncertainty relation is bounded below by the geometric measure of multipartite entanglement for an arbitrary quantum evolution of any multi- partite system. The product of the time-averaged speed of the quantum evolution and the time interval of the evolution is bounded below by the multipartite entanglement of the target state. This relation holds for pure as well as for mixed states. We provide examples of physical systems for which the bound reaches close to saturation. I. INTRODUCTION of quantum evolution? Or, more generally, can the geo- metric quantum uncertainty relation be connected, quan- titatively, with the multipartite entanglement present in In the beginning of the last century, the geometry of the system? This question is important not only due space-time has played an important role in the reformu- to its fundamental nature, but also because of its prac- lation of classical mechanics. Similarly, it is hoped that tical relevance in quantum information. We establish a a geometric formulation of quantum theory, and an un- relationship between the multipartite entanglement in a derstanding of the geometry of quantum state space can many-body quantum system and the total distance trav- provide new insights into the nature of quantum world eled by the state (pure or mixed) during its evolution.
    [Show full text]
  • Hopf Fibration and Clifford Translation* of the 3-Sphere See Clifford Tori
    Hopf Fibration and Clifford Translation* of the 3-sphere See Clifford Tori and their discussion first. Most rotations of the 3-dimensional sphere S3 are quite different from what we might expect from familiarity with 2-sphere rotations. To begin with, most of them have no fixed points, and in fact, certain 1-parameter subgroups of rotations of S3 resemble translations so much, that they are referred to as Clifford translations. The description by formulas looks nicer in complex notation. For this we identify R2 with C, as usual, and multiplication by i in C 0 1 represented in 2 by matrix multiplication by . R 1 −0 µ ∂ Then the unit sphere S3 in R4 is given by: 3 2 2 2 S := p = (z1, z2) C ; z1 + z2 = 1 { ∈ | | | | } 4 2 (x1, x2, x3, x4) R ; (xk) = 1 . ∼ { ∈ } X And for ϕ R we define the Clifford Translation Cϕ : 3 3 ∈ iϕ iϕ S S by Cϕ(z1, z2) := (e z1, e z2). → The orbits of the one-parameter group Cϕ are all great circles, and they are equidistant from each other in analogy to a family of parallel lines; it is because of this behaviour that the Cϕ are called Clifford translations. * This file is from the 3D-XplorMath project. Please see: http://3D-XplorMath.org/ 29 But in another respect the behaviour of the Cϕ is quite different from a translation – so different that it is diffi- cult to imagine in R3. At each point p S3 we have one ∈ 2-dimensional subspace of the tangent space of S3 which is orthogonal to the great circle orbit through p.
    [Show full text]
  • Geometric Spinors, Relativity and the Hopf Fibration
    Geometric Spinors, Relativity and the Hopf Fibration Garret Sobczyk Universidad de las Americas-Puebla´ Departamento de F´ısico-Matematicas´ 72820 Puebla, Pue., Mexico´ http://www.garretstar.com September 26, 2015 Abstract This article explores geometric number systems that are obtained by extending the real number system to include new anticommuting square roots of ±1, each such new square root representing the direction of a unit vector along orthogonal coordinate axes of a Euclidean or pesudoEuclidean space. These new number systems can be thought of as being nothing more than a geometric basis for tables of numbers, called matrices. At the same time, the consistency of matrix algebras prove the consistency of our geometric number systems. The flexibility of this new concept of geometric numbers opens the door to new understanding of the nature of spacetime, the concept of Pauli and Dirac spinors, and the famous Hopf fibration. AMS Subject Classification: 15A66, 81P16 Keywords: geometric algebra, spacetime algebra, Riemann sphere, relativity, spinor, Hopf fibration. 1 Introduction The concept of number has played a decisive role in the ebb and flow of civilizations across centuries. Each more advanced civilization has made its singular contributions to the further development, starting with the natural “counting numbers” of ancient peoples, to the quest of the Pythagoreans’ idea that (rational) numbers are everything, to the heroic development of the “imaginary” numbers to gain insight into the solution of cubic and quartic polynomials, which underlies much of modern mathematics, used extensively by engineers, physicists and mathematicians of today [4]. I maintain that the culmination of this development is the geometrization of the number concept: Axiom: The real number system can be geometrically extended to include new, anti-commutative square roots of ±1, each new such square root rep- resenting the direction of a unit vector along orthogonal coordinate axes 1 of a Euclidean or pseudo-Euclidean space Rp;q.
    [Show full text]
  • Puzzling the 120–Cell
    Puzzling the 120–Cell Saul Schleimer and Henry Segerman called the 6-piece burrs [5]. Another well-known burr, the star burr, is more closely related to our work. Unlike the 6-piece burrs, the six sticks of the star burr are all identical, as shown in Figure 2A. The solution is unique, and, once solved, the star burr has no internal voids. The solved puzzle is a copy of the first stellation of the rhombic dodecahedron; see Figure 2B. The goal of this paper is to describe Quintessence: a new family of burr puzzles based on the 120-cell, a regular four-dimensional polytope. The puzzles are built from collections of six kinds of sticks, shown in Figure 3; we call these ribs, as they are gently curving chains of distorted dodecahedra. In the following sections we review regular polytopes in low dimensions, sketch a construction of the dodecahedron, and discuss the three-sphere, Figure 1. The Dc30 Ring, one of the simpler puzzles in Quintessence. burr puzzle is a collection of notched wooden sticks [2, page xi] that fit to- gether to form a highly symmetric design, often based on one of the Platonic solids. The assembled puzzle (A) (B) Amay have zero, one, or more internal voids; it may also have multiple solutions. Ideally, no force is Figure 2. The star burr. required. Of course, a puzzle may violate these rules in various ways and still be called a burr. The best known, and certainly largest, family inner six outer six of burr puzzles comprises what are collectively spine Saul Schleimer is professor of mathematics at the University of Warwick.
    [Show full text]
  • 2006 Lecture Notes on Hilbert Spaces and Quantum Mechanics
    2006 Lecture Notes on Hilbert Spaces and Quantum Mechanics Draft: December 22, 2006 N.P. Landsman Institute for Mathematics, Astrophysics, and Particle Physics Radboud University Nijmegen Toernooiveld 1 6525 ED NIJMEGEN THE NETHERLANDS email: [email protected] website: http://www.math.ru.nl/ landsman/HSQM.html tel.: 024-3652874∼ office: HG03.078 2 Chapter I Historical notes and overview I.1 Introduction The concept of a Hilbert space is seemingly technical and special. For example, the reader has probably heard of the space ℓ2 (or, more precisely, ℓ2(Z)) of square-summable sequences of real or complex numbers.1 That is, ℓ2 consists of all infinite sequences ...,c ,c ,c ,c ,c ,... , { −2 −1 0 1 2 } ck K, for which ∈ ∞ c 2 < . | k| ∞ k=X−∞ Another example of a Hilbert space one might have seen is the space L2(R) of square-integrable complex-valued functions on R, that is, of all functions2 f : R K for which → ∞ dx f(x) 2 < . | | ∞ Z−∞ In view of their special nature, it may therefore come as a surprise that Hilbert spaces play a central role in many areas of mathematics, notably in analysis, but also including (differential) geometry, group theory, stochastics, and even number theory. In addition, the notion of a Hilbert space provides the mathematical foundation of quantum mechanics. Indeed, the definition of a Hilbert space was first given by von Neumann (rather than Hilbert!) in 1927 precisely for the latter purpose. However, despite his exceptional brilliance, even von Neumann would probably not have been able to do so without the preparatory work in pure mathematics by Hilbert and others, which produced numerous constructions (like the ones mentioned above) that are now regarded as examples of the abstract notion of a Hilbert space.
    [Show full text]
  • Arxiv:1511.08894V2 [Math.AT] 1 Dec 2015  N−P R with Pairwise Skew Affine fibers
    AFFINE HOPF FIBRATIONS VALENTIN OVSIENKO AND SERGE TABACHNIKOV 1. Introduction There exist four fiber bundles, called the Hopf fibrations, whose fibers, total spaces, and bases are spheres: (1) S0 / S1 S1 / S3 S3 / S7 S7 / S15 S1 S2 S4 S8: The vertical arrows denote projections whose fibers, i.e., inverse images of points, are represented by the horizontal arrows. The term “fibration” means that, locally, the total space is the product of the base and the fiber, hence the bigger spheres are filed with smaller ones. For instance, through every point of S3 there passes one circle, S1, and different circles do not intersect. The construction of Hopf fibrations is very simple (we recall it below) and is based on the algebras R; C; H; O; according to a famous theorem of Adams [1], that there are no such fibrations in other dimensions. Note that the \magic" numbers 1; 2; 4; 8 appear twice: as the dimensions of the bases, and also, this time shifted by 1, as the dimensions of the fibers. In a sense, contemporary algebraic topology has grown up with the Hopf fibrations: the development of the theory of characteristic classes, homotopy theory, and K-theory was much influenced by the study of Hopf fibrations; see [4, 5, 8, 13, 15]. This note, based on a recent work [18], concerns a similar problem: for which pairs (p; n), n p is R foliated by pairwise skew affine subspaces R ? Two disjoint affine subspaces are pairwise skew if they do not contain parallel lines.1 In other words, we consider fiber bundles p n (2) R / R arXiv:1511.08894v2 [math.AT] 1 Dec 2015 n−p R with pairwise skew affine fibers.
    [Show full text]
  • The Intrinsic Structure of Quantum Mechanics
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Philsci-Archive The Intrinsic Structure of Quantum Mechanics Eddy Keming Chen∗ October 10, 2018 Abstract The wave function in quantum mechanics presents an interesting challenge to our understanding of the physical world. In this paper, I show that the wave function can be understood as four intrinsic relations on physical space. My account has three desirable features that the standard account lacks: (1) it does not refer to any abstract mathematical objects, (2) it is free from the usual arbitrary conventions, and (3) it explains why the wave function has its gauge degrees of freedom, something that are usually put into the theory by hand. Hence, this account has implications for debates in philosophy of mathematics and philosophy of science. First, by removing references to mathematical objects, it provides a framework for nominalizing quantum mechanics. Second, by excising superfluous structure such as overall phase, it reveals the intrinsic structure postulated by quantum mechanics. Moreover, it also removes a major obstacle to “wave function realism.” Keywords: quantum mechanics, wave function, structural realism, phase structure, mathematical nominalism vs. platonism, foundations of measurement, intrinsic physical theory, Quine-Putnam indispensability argument, metaphysics of science. ∗Department of Philosophy, 106 Somerset Street, Rutgers University, New Brunswick, NJ 08901, USA. Website: www.eddykemingchen.net. Email: [email protected] 1 Contents 1 Introduction 2 2 The Two Visions and the Quantum Obstacle 4 2.1 The Intrinsicalist Vision . .5 2.2 The Nominalist Vision . .6 2.3 Obstacles From Quantum Theory .
    [Show full text]
  • Grover's Algorithm and the Secant Varieties
    Grover’s Algorithm and the Secant Varieties Frédéric Holweck,∗ Hamza Jaffali,y Ismaël Nounouhz IRTES/UTBM, Université de Bourgogne-Franche-Comté, 90010 Belfort Cedex, France November 6, 2018 Abstract In this paper we investigate the entanglement nature of quantum states generated by Grover’s search algorithm by means of algebraic geometry. More precisely we establish a link between entanglement of states generated by the algorithm and auxiliary algebraic varieties built from the set of separable states. This new perspective enables us to propose qualitative interpretations of earlier numerical results obtained by M. Rossi et al. We also illustrate our purpose with a couple of examples investigated in details. 1 Introduction Grover’s quantum search algorithm is a quantum algorithm which provides a quadratic speed-up when compared to the optimal classical search algorithms for unsorted database. When implemented on a multipartite quantum system (n-qudit), it generates an entangled state after its first iteration (the advantage of implementing Grover’s algorithm on a multipartite quantum system instead of a single N-dit Hilbert space is discussed by Meyer [21]). The nature of this entanglement has been investigated numerically by various authors [6,7, 23, 26] by computing different measures of entanglement. For instance in the work of Rossi et al [26, 27] one can find numerical computations of the Geometric Measure of Entanglement (GME) either as a function of the number of iterations for a fixed number of qubits [26] or as a function of the number of qubits when we only consider the first iteration of the algorithm [27].
    [Show full text]