DOCSLIB.ORG

Arxiv:2104.06938V2 [Quant-Ph] 20 Apr 2021 to Characterize Their Several Important Features [9]

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Arxiv:2104.06938V2 [Quant-Ph] 20 Apr 2021 to Characterize Their Several Important Features [9] On the state space structure of tripartite quantum systems Hari krishnan S V,∗ Ashish Ranjan,∗ and Manik Banik School of Physics, IISER Thiruvanathapuram, Vithura, Kerala 695551, India. State space structure of tripartite quantum systems is analyzed. In particular, it has been shown that the set of states separable across all the three bipartitions [say Bint(ABC)] is a strict subset of the set of states having positive partial transposition (PPT) across the three bipartite cuts [say Pint(ABC)] d1 d2 d3 for all the tripartite Hilbert spaces CA ⊗ CB ⊗ CC with minfd1, d2, d3g ≥ 2. The claim is proved by constructing state belonging to the set Pint(ABC) but not belonging to Bint(ABC). For (Cd)⊗3 with d ≥ 3, the construction follows from specific type of multipartite unextendible product bases. However, such a construction is not possible for (C2)⊗3 since for any n the bipartite system C2 ⊗ Cn cannot have any unextendible product bases [Phys. Rev. Lett. 82, 5385 (1999)]. For the 3-qubit system we, therefore, come up with a different construction. I. INTRODUCTION arable across every possible bipartite cut and hence con- tains multipartite entanglement [11]. On the other hand, Hilbert space quantum mechanics provides an ex- for such a system the set of biseparable states is strictly tremely precise mathematical description for micro- contained within the PPT mixture set [12]. In this work, scopic phenomena. It associates tensor product Hilbert we show that the set of states that are separable across spaces with composite quantum systems and results in all possible bipartitions are strictly contained within the entangled quantum states which have no analog in clas- set of states that are PPT across all possible bipartite cuts. sical physics [1–3]. The advent of quantum information We prove this claim for an arbitrary tripartite Hilbert d d d theory [4] identifies several important applications of en- space C 1 ⊗ C 2 ⊗ C 3 with minfd1, d2, d3g ≥ 2. The tanglement (see [5, 6] and references therein). Character- proof is constructive. We construct states that are PPT ization, identification, and quantification of quantum en- across all three bipartitions but inseparable across some d ⊗3 tanglement are thus questions of great practical interest. bipartite cuts. Construction for (C ) with d ≥ 3 fol- One of the most widely used tests for bipartite states’ lows from a specific kind of unextendible product bases. entanglement verification is the positive partial trans- However, such a construction is not possible for 3-qubit position (PPT) criterion. States having negative partial Hilbert space as there cannot be any set of mutually 2 n transposition (NPT) are always entangled [7], whereas orthogonal product states in C ⊗ C that are not com- PPT implies separability only for the systems with com- pletable [13, 14]. To prove the claim for 3-qubit system posite dimensions no more than six [8]. In other words, we, therefore, come up with a different construction. being PPT is a necessary and sufficient condition for The manuscript is organized as follows: in sectionII, separability for the composite systems with dimensions we note down the notations and recall some preliminary ≤ 6. Consequently, for higher dimensional systems one results; all our findings are listed in section III; finally has several hierarchical convex-compact subsets of states in sectionIV we put our conclusions along with some within the set of allowed quantum states. Identifying open questions for further research. these subsets as well as their boundaries is essential to understand the intricacy of quantum state space struc- ture and entanglement properties of the quantum states. II. NOTATIONS AND PRELIMINARIES Having the convex-compact structures, these sets allow the classic Minkowski-Hahn–Banach separation theorem arXiv:2104.06938v2 [quant-ph] 20 Apr 2021 to characterize their several important features [9]. A quantum system S is associated with a complex The complexity of the situation increases rapidly with separable Hilbert space. HS over complex field [4, 15]. an increase in the number of component subsystems Throughout this work, we will consider only finite di- comprising the composite system [10]. For instance, mensional systems and hence HS will be isomorphic Cd separability/ PPT-ness can be considered across differ- to some complex space S, with d being the dimen- ent bipartite cuts and accordingly one ends up with sion of the complex vector space. The system’s state is different convex-compact subsets of states. Several in- described by a density operator rS (positive operator Cd triguing structures consequently emerge. For instance, a with unit trace) acting on S. Collection of density operators form a convex compact set D(S) embedded 3-qubit state may not be fully separable even if it is sep- 2 in Rd −1. We will also sometimes specify this set as D(d) to distinguish between systems with different di- mensions. The extreme points of D(S) are called pure ∗ These authors have contributed equally. 2 states, and they satisfy rS = rS. Let ED(S) denotes the 2 set of all extremal points of D(S). Such an extremal also immediately follows that, state can also be considered as a rank−1 projector, i.e. d E (AB) ⊆ E (AB) E (AB).(2) rS = jyiS hyj for some jyiS 2 CS whenever rS 2 ED(S). S P ( D States that are not pure are called mixed states and they allow convex decomposition in terms of pure states, i.e. It is important to note that a state belonging either in i i ES (AB) or in ED(AB) must be a pure state. However, 8 rS 62 ED(S), 9 sS 2 ED(S) s.t rS = ∑ pisS, where for systems with composite dimension more than 6 the pi > 0 & ∑ pi = 1. set E (AB) is strictly contained within E (AB) and con- Hilbert space CAB··· of a composite system consist- S P ing of component subsystems A, B, ··· is given by the tains ES (AB) as a proper subset. Therefore, for such tensor product of the Hilbert spaces associated with the higher dimensional systems EP (AB) must contain some d d nontrivial mixed states along with the pure product states component subsystems, i.e. Cd = C A ⊗ C B ⊗ · · · . AB··· A B belonging in E (AB). For instance, the PPT entangled Here d , d , ··· denotes the dimension of the compon- S A B state of C3 ⊗ C3 as constructed in [11] lies in E (3 ⊗ 3) ent subsystems while the dimension of the composite P [33]. Examples of such extremal states for E (n ⊗ n) system is d = d × d × · · · . While the axiomatic for- P A B with odd n & n ≥ 3 can be found in [34]. There are mulations of quantum mechanics contain this tensor in-fact some efficient methods in literature to check ex- product postulate [16–18], recent developments indicate tremality of P(AB) [35–38]. that this assumption can be logically derived from the Moving to the tripartite system, a pure state jci is state postulate and the measurement postulate [19]. ABC called fully product if it is of the form jciABC = jyiA ⊗ A bipartite state rAB 2 D(AB) is called a pure jfi ⊗ jhi for some jyi 2 CdA , jfi 2 CdB & jhi 2 product state if and only if rAB = jciAB hcj, where B C A A B B C C C dC jciAB = jyiA ⊗ jfiB for some jyiA 2 A & jfiB 2 B. CC . The convex hull of pure product states will be The convex hull of these product states will be denoted denoted as F(ABC), and a state belonging to this set is as S(AB), and the states in S(AB) are generally called generally called fully separable state. A tripartite state separable states. States that are not separable are called is called biseparable across A|BC cut if it of the form ent entangled, i.e. an entangled state rAB 2 D(AB) but jciABC = jyiA ⊗ jfiBC, where the state jfiBC is allowed ent rAB 62 S(AB). While ED(AB) consists of pure product to be entangled across B|C cut. Convex hull of the states and pure entangled states, ES (AB) consists of states biseparable across A|BC cut will be denoted as only pure product states. For a bipartite system one can B(AjBC). Similarly, one can define the sets B(BjCA) define another convex compact set, namely the Peres set and B(CjAB) that are biseparable across B|CA cut and P(AB): the set of states with positive-partial-transpose C|AB cut, respectively. A state belonging in the con- (PPT) [7]. A bipartite state rAB belongs to the set P(AB) vex hull of the sets B(AjBC), B(BjCA) & B(CjAB) is Tk whenever r ≥ 0, where Tk denotes (partial) transposi- generally called biseparable, and we denote this set as AB ch tion with respect to the kth subsystem with k 2 fA, Bg. B (ABC), i.e. The following set inclusion relations are immediate: Bch(ABC) := Convex Hull fB(AjBC), B(BjCA), S(AB) ⊆ P(AB) ( D(AB).(1) B(CjAB)g .(3) Equality between the first two sets holds only for the We can also consider the intersection of these three sets, composite system of dimension no more than 6 [8]. which we will denote as Bint(ABC), i.e. For the higher dimensions S(AB) is known to be a proper subset of P(AB) [11, 14, 20, 21]. A bipartite Bint(ABC) := B(AjBC) \B(BjCA) \B(CjAB).(4) ppt ppt state rAB is PPT-entangled whenever rAB 2 P(AB) ppt Analogously, one can define the convex sets of PPT but r 62 S(AB).
Load more

Recommended publications
  • Lecture 2: Basics of Quantum Mechanics
    Lecture 2: Basics of Quantum Mechanics Scribed by: Vitaly Feldman Department of Mathematics, MIT September 9, 2003 In this lecture we will cover the basics of Quantum Mechanics which are required to under­ stand the process of quantum computation. To simplify the discussion we assume that all the Hilbert spaces mentioned below are finite­dimensional. The process of quantum computation can be abstracted via the following four postulates. Postulate 1. Associated to any isolated physical system is a complex vector space with inner product (that is, a Hilbert space) known as the state space of the system. The state of the system is completely described by a unit vector in this space. Qubits were the example of such system that we saw in the previous lecture. In its physical realization as a polarization of a photon we have two basis vectors: |�� and |↔� representing the vertical and the horizontal polarizations respectively. In this basis vector polarized at angle θ can be expressed as cos θ |↔� − sin θ |��. An important property of a quantum system is that multiplying a quantum state by a unit complex factor (eiθ ) yields the same complex state. Therefore eiθ |�� and |�� represent essentially the same state. Notation 1. State χ is denoted by |χ� (often called a ket) is a column vector, e.g., ⎛ ⎞ √1/2 ⎝ i 3/2 ⎠ 0 † |χ� = �χ| (often √called a bra) denotes a conjugate transpose of |χ�. In the previous example we would get (1/2, −i 3/2, 0). It is easy to verify that �χ| χ� = 1 and �x|y� ≤ 1.
    [Show full text]
  • Copyright C 2020 by Robert G. Littlejohn Physics 221A Fall 2020
    Copyright c 2020 by Robert G. Littlejohn Physics 221A Fall 2020 Appendix B Classical Mechanics† 1. Introduction In this Appendix we summarize some aspects of classical mechanics that will be relevant for our course in quantum mechanics. We concentrate on the Lagrangian and Hamiltonian formulation of classical mechanics. 2. Lagrangians, Dissipation, and Entropy In this Appendix we consider exclusively classical systems that can be described by a Lagrangian. This means that we neglect friction and other dissipative processes that cause an increase in entropy. Dissipation is always present in macroscopic systems, so its neglect is an approximation that is more or less good depending on circumstances. The concept of entropy applies when making a statistical description of a system, which is often necessary when the number of degrees of freedom is large. Entropy provides a measure of our ignorance of the state of the system, that is, of the values of the dynamical variables that describe the system. In some macroscopic systems it is a good approximation to concentrate on just a few degrees of freedom that we are interested in, and to neglect interactions with a large number of other degrees of freedom that we do not care about. For example, in the motion of a planet around the sun we may wish to describe the position of the center of mass of the planet in detail while ignoring its rotations as well as the internal stresses inside the solid body of the planet, the bulk motions of fluids in its oceans and atmospheres, etc. The latter are macroscopic degrees of freedom that are in turn coupled to microscopic ones, the motions of the individual atoms and molecules that make up the planet.
    [Show full text]
  • State Spaces of Operator Algebras: Basic Theory, Orientations, and C*-Products,By Erik M
    BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 41, Number 4, Pages 535{539 S 0273-0979(04)01019-5 Article electronically published on April 28, 2004 State spaces of operator algebras: Basic theory, orientations, and C*-products,by Erik M. Alfsen and Frederic W. Shultz, Birkh¨auser Boston, Boston, MA, 2001, xii + 350 pp., $69.95, ISBN 0-8176-3890-3 Geometry of state spaces of operator algebras,byErikM.AlfsenandFredericW. Shultz, Birkh¨auser Boston, Boston, MA, 2003, xiv + 467 pp., $74.95, ISBN 0- 8176-4319-2 One of the most important auxiliary objects associated with an operator algebra is its state space. The two books under review describe the authors' solutions, obtained together with H. Hanche-Olsen and B. Iochum [1], [2], [9], to the problems: What data must be added to a state space so that the operator algebra can be recovered? and Which convex sets can arise as state spaces? As that work is now around twenty years old, they are able to present it here in a very finished form. Operator algebras come in two varieties, C*-algebras and von Neumann algebras. (My friends who work in the non self-adjoint theory will forgive me for using the term in this way for the purposes of this review.) Concretely, a C*-algebra is a linear subspace of B(H) (the space of bounded operators on a complex Hilbert space H) which is algebraically closed under operator products and adjoints and is topologically closed in norm. Concrete von Neumann algebras are defined similarly, now requiring closure in the weak* topology.
    [Show full text]
  • Geometry of State Spaces
    Geometry of State Spaces Armin Uhlmann and Bernd Crell Institut fÄurTheoretische Physik, UniversitÄatLeipzig [email protected] [email protected] In the Hilbert space description of quantum theory one has two major inputs: Firstly its linearity, expressing the superposition principle, and, secondly, the scalar product, allowing to compute transition probabilities. The scalar prod- uct de¯nes an Euclidean geometry. One may ask for the physical meaning in quantum physics of geometric constructs in this setting. As an important example we consider the length of a curve in Hilbert space and the \velocity", i. e. the length of the tangents, with which the vector runs through the Hilbert space. The Hilbert spaces are generically complex in quantum physics: There is a multiplication with complex numbers: Two linear dependent vectors rep- resent the same state. By restricting to unit vectors one can diminish this arbitrariness to phase factors. As a consequence, two curves of unit vectors represent the same curve of states if they di®er only in phase. They are physically equivalent. Thus, considering a given curve | for instance a piece of a solution of a SchrÄodinger equation { one can ask for an equivalent curve of minimal length. This minimal length is the \Fubini-Study length". The geometry, induced by the minimal length requirement in the set of vector states, is the \Fubini-Study metric". There is a simple condition from which one can read o® whether all pieces of a curve in Hilbert space ful¯ll the minimal length condition, so that their Euclidean and their Study-Fubini length coincide piecewise: It is the parallel transport condition, de¯ning the geometric (or Berry) phase of closed curves by the following mechanism: We replace the closed curve by changing its phases to a minimal length curve.
    [Show full text]
  • General Mathematical Description of a Quantum System
    Chapter 9 General Mathematical Description of a Quantum System t was shown in preceding Chapter that the mathematical description of this sum of probability I amplitudes admits an interpretation of the state of the system as being a vector in a complex vector space, the state space of the system. It is this mathematical picture that is summarized here in the general case introduced there. This idea that the state of a quantum system is to be considered a vector belonging to a complex vector space, which we have developed here in the case of a spin half system, and which has its roots in the sum over paths point of view, is the basis of all of modern quantum mechanics and is used to describe any quantum mechanical system. Below is a summary of the main points as they are used for a general quantum system whose state spaces are of arbitrary dimension (including state spaces of infinite dimension). The emphasis here is on the mathematical features of the theory. 9.1 State Space We have indicated a number of times that in quantum mechanics, the state of a physical system is represented by a vector belonging to a complex vector space known as the state space of the system. Here we will give a list of the defining conditions of a state space, though we will not be concerning ourselves too much with the formalities. The following definitions and concepts set up the state space of a quantum system. 1. Every physical state of a quantum system is specified by a symbol knonw as a ket written ..
    [Show full text]
  • 1 Introduction 2 the Density Operator
    Physics 125c Course Notes Density Matrix Formalism 040511 Frank Porter 1 Introduction In this note we develop an elegant and powerful formulation of quantum me- chanics, the “density matrix” formalism. This formalism provides a structure in which we can address such matters as: • We typically assume that it is permissible to work within an appropriate subspace of the Hilbert space for the universe. Is this all right? • In practice we often have situations involving statistical ensembles of states. We have not yet addressed how we might deal with this. 2 The Density Operator Suppose that we have a state space, with a denumerable orthonormal basis {|uni,n =1, 2,...}. If the system is in state |ψ(t)i at time t, we have the expansion in this basis: |ψ(t)i = X an(t)|uni. (1) n We’ll assume that |ψ(t)i is normalized, and hence: ∗ hψ(t)|ψ(t)i =1 = X X an(t)am(t)hum|uni n m 2 = X |an(t)| (2) n Suppose that we have an observable (self-adjoint operator) Q. The matrix elements of Q in this basis are: Qmn = hum|Quni = hQum|uni = hum|Q|uni. (3) The average (expectation) value of Q at time t, for the system in state |ψ(t)i is: ∗ hQi = hψ(t)|Qψ(t)i = X X am(t)an(t)Qmn. (4) n m 1 We see that hQi is an expansion quadratic in the {an} coefficients. Consider the operator |ψ(t)ihψ(t)|. It has matrix elements: ∗ hum|ψ(t)ihψ(t)|uni = am(t)an(t).
    [Show full text]
  • Use of Topology in Physical Problems
    Use of Topology in physical problems Somendra M Bhattacharjee Institute of Physics, Bhubaneswar 751005, India and Homi Bhabha National Institute Training School Complex, Anushakti Nagar, Mumbai 400085, India email:[email protected] November 9, 2016 Some of the basic concepts of topology are explored through known physics problems. This helps us in two ways, one, in motivating the definitions and the concepts, and two, in showing that topological analysis leads to a clearer understanding of the problem. The problems discussed are taken from classical mechanics, quantum mechanics, statistical mechanics, solid state physics, and biology (DNA), to emphasize some unity in diverse areas of physics. It is the real Euclidean space, Rd, with which we are most familiar. Intuitions can therefore be sharpened by appealing to the relevant features of this known space, and by using these as simplest examples to illustrate the abstract topological concepts. This is what is done in this chapter. Contents 4.1 Magnets . 11 4.2 Liquid crystals . 12 1 The Not-so-simple Pendulum 2 4.2.1 Nematics: RP 2 . 12 1.1 Mechanics . 2 4.2.2 Biaxial nematics . 12 1.2 Topological analysis: Teaser . 3 4.2.3 What is RP n? . 13 1.2.1 Configuration space and phase space: 4 4.3 Crystals . 14 1.2.2 Trajectories: . 4 4.4 A few Spaces in Quantum mechinics . 14 n 2 Topological analysis: details 6 4.4.1 Complex projective plane CP . 14 2.1 Configuration Space . 6 4.4.2 Two state system . 14 2.1.1 S1 as the configuration space .
    [Show full text]
  • Quantum States and Complex Projective Space
    Quantum States and Complex Projective Space Bei Jia1, 2, Xi-guo Lee1, 3 1Institute of Modern Physics, Chinese Academy of Sciences, P.O.Box 31 Lanzhou, 730000, China 2Graduate School of Chinese Academy of Sciences, Beijing, 100080, China 3Center of Theoretical Nuclear Physics, National Laboratory of Heavy Ion Collisions, P.O.Box 31 Lanzhou, 730000, China Abstract In this paper we propose the idea that there is a corresponding relation between quantum states and points of the complex projective space, given that the number of dimensions of the Hilbert space is finite. We check this idea through analyzing some of the basic principles and concepts of quantum mechanics, including the principle of superposition, representations and inner product of quantum states, and give some interesting examples. Based on our point of views we are able to generate the evolution equation of quantum states ---- the Heisenberg equation. We also discuss the act of dynamical operators on quantum states. 1 Introduction: Complex Projective Space and Quantum States It has been considered that there exists a geometry description of quantum mechanics other that the conventional description in Hilbert space [1] [2] [3] [4] [5] [6]. In these articles it is argued that the quantum state space (or quantum phase space) is a projective Hilbert space. Here we present the idea that the state space can be viewed as a complex projective space if the number of dimensions of the Hilbert space is finite, and from this point of view we are able to get some principles and dynamical features of conventional quantum mechanics. A similar idea can be found in [5] [6].
    [Show full text]
  • Multiparticle States and Tensor Products (PDF)
    MULTIPARTICLE STATES AND TENSOR PRODUCTS B. Zwiebach December 14, 2013 Contents 1 Introduction to the Tensor Product 1 2 Entangled States 8 3 Bell basis states 9 4 Quantum Teleportation 13 5 EPR and Bell Inequalities 16 1 Introduction to the Tensor Product In this section, we develop the tools needed to describe a system that contains more than one particle. Most of the required ideas appear when we consider systems with two particles. We will assume the particles are distinguishable; for indistinguishable particles quantum mechanics imposes some additional constraints on the allowed set of states. We will study those constraints later in the course (or in 8.06!) The tools we are about to develop will be needed to understand addition of angular momenta. In that problem one is adding the angular momenta of the two or more particles in the system. Consider then two particles. Below is a description of the quantum mechanics and family of operators associated with each particle: Particle 1: its quantum mechanics is described by a complex vector space V. It has associated • operators T1,T2, .... Particle 2: its quantum mechanics is described by a complex vector space W. It has associated • operators S1,S2, .... This list of operators for each particle may include some or many of the operators you are already familiar with: position, momentum, spin, Hamiltonians, projectors, etc. Once we have two particles, the two of them together form our system. We are after the description of quantum states of this two-particle system. On first thought, we may think that any state of this system should be described by giving the state v V of the first particle and the state w W of the ∈ ∈ second particle.
    [Show full text]
  • Lecture Notes
    Lecture Notes edX Quantum Cryptography: Week 0 Stephanie Wehner and Nelly Ng cbea This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International Licence. 2 Welcome to the lecture notes! Here you will find details as well as additional material for edX’ “Quantum Cryptography”. Week 0 is a - hopefully! - gentle introduction to quantum information. We will teach you all that you need to know to work with qubits and measurements mathematically. If you are curious how such qubits can be realized physically, or simply want more details than we provide here, we recommend [1] and [2]. 0.1 Mathematical notation Let us start by recallingp commonly used definitions. For a complex number c = a + ib 2 C with ∗ a;b 2 R and i = −1, we use c = a − ib to denote its complex conjugate. We will also need mathematical notation that is used throughout quantum information. First, we will write vectors in a special way known as the “bra-ket” notation. While it may look a little cumbersome at first sight, it turns out to provide a convenient way of dealing with the many operations we will perform with such vectors. Let’s start with two examples. We write jvi 2 C2 to denote a vector in a 2-dimensional vector space. For example, 1 jvi = : (1) 0 The “bra” of this vector is the conjugate transpose, which for our example looks like ∗ T T 1 hvj = (j0i)∗ = = (1 0) : (2) 0∗ The general definition of the “bra-ket” notation is as follows: Definition 0.1.1 — Ket and Bra notation.
    [Show full text]
  • Arxiv:2003.11472V3 [Quant-Ph]
    Fundamentals of Quantum Mechanics in Liouville Space Jerryman A. Gyamfi Scuola Normale Superiore di Pisa, Piazza dei Cavalieri 7, 56126 Pisa, Italy. E-mail: [email protected] June 2020 Abstract. The purpose of this paper is to articulate a coherent and easy-to- understand way of doing quantum mechanics in any finite-dimensional Liouville space, based on the use of Kronecker product and what we have termed the ‘bra- flipper’ operator. One of the greater strengths of the formalism expatiated on here is the striking similarities it bears with Dirac’s bra-ket notation. For the purpose of illustrating how the formalism can be effectively employed, we use it to solve a quantum optical master equation for a two-level quantum system and find its Kraus operator sum representation. The paper is addressed to students and researchers with some basic knowledge of linear algebra who want to acquire a deeper understanding of the Liouville space formalism. The concepts are conveyed so as to make the application of the formalism to more complex problems in quantum physics straightforward and unencumbered. Keywords: Liouville space, Hilbert space, Kronecker product, Bra-flipper operator Submitted to: European Journal of Physics. [For final peer review record, please see: Jerryman A. Gyamfi 2020 Eur. J. Phys. 41 063002. DOI: https: // doi. org/ 10. 1088/ 1361-6404/ ab9fdd ] 1. Introduction For many complex problems in quantum mechanics, the Liouville space formalism turns out to be very effective in finding solutions or mathematically characterizing the problem. This is true, for example, in solving master equations in the theory of arXiv:2003.11472v3 [quant-ph] 18 Nov 2020 open quantum systems [1, 2].
    [Show full text]
  • Postulates of Quantum Mechanics
    Lecture 3: Postulates of quantum mechanics Rajat Mittal IIT Kanpur The postulates of quantum mechanics provide us the mathematical formalism over which the physical theory is developed. For people studying quantum computing, it gives the basic laws according to which any quantum system (or a quantum computer) works. These postulates were agreed upon after a lot of trial and error. We won't be concerned about the physical motivation of these postulates. Most of the material for this lecture is taken from [1]. It is a very good reference for more details. 1 State of a system The first postulates specifies, what is meant mathematically by the state of a system. Postulate 1: A physically isolated system is associated with a Hilbert space, called the state space of the system. The system, at a particular time, is completely described by a unit vector in this Hilbert space, called the state of the system. Intuitively, Hilbert space is a vector space with enough structure so that we can apply the techniques of linear algebra and analysis on it. Exercise 1. Read more about Hilbert spaces. For this course, we will only be dealing with vector spaces over complex numbers with inner product defined over them. In particular, we will assume that our state space is Cn for some n. Here n is the dimension of this vector space. The simplest state space would be C2 (dimension being 2), the state space of a qubit. It will be spanned by two vectors, j0i and j1i. Exercise 2. Find another basis of C2.
    [Show full text]