Showing 1–50 of 54 results for author: Bengtsson, I

SIC-POVMs from Stark Units: Dimensions n^2+3=4p, p prime

Authors: Ingemar Bengtsson, Markus Grassl, Gary McConnell

Abstract: The existence problem for maximal sets of equiangular lines (or SICs) in complex Hilbert space of dimension $d$ remains largely open. In a previous publication (arXiv:2112.05552) we gave a conjectural algorithm for how to construct a SIC if $d = n^2+3 = p$, a prime number. Perhaps the most surprising number-theoretical aspect of that algorithm is the appearance of Stark units in a key role: a sing… ▽ More The existence problem for maximal sets of equiangular lines (or SICs) in complex Hilbert space of dimension $d$ remains largely open. In a previous publication (arXiv:2112.05552) we gave a conjectural algorithm for how to construct a SIC if $d = n^2+3 = p$, a prime number. Perhaps the most surprising number-theoretical aspect of that algorithm is the appearance of Stark units in a key role: a single Stark unit from a ray class field extension of a real quadratic field serves as a seed from which the SIC is constructed. The algorithm can be modified to apply to all dimensions $d = n^2+3$. Here we focus on the case when $d= n^2+3 = 4p$, $p$ prime, for two reasons. First, special measures have to be taken on the Hilbert space side of the problem when the dimension is even. Second, the degrees of the relevant ray class fields are `smooth' in a sense that facilitates exact calculations. As a result the algorithm becomes easier to explain. We give solutions for seventeen different dimensions of this form, reaching $d = 39604$. Several improvements relative to our previous publication are reported, but we cannot offer a proof that the algorithm works for any dimensions where it has not been tested. △ Less

Submitted 5 March, 2024; originally announced March 2024.

Comments: 50 pages, 2 figures, 4 tables

Lars Brink and SIC_POVMs

Authors: Ingemar Bengtsson

Abstract: The notion of SIC-POVMs comes from quantum information theory, and they were not on the horizon when I was Lars Brink's student in the early 80s. In the summer of 2022 I told Lars that I know how to use number theoretical insights to construct SIC-POVMs in any Hilbert space of dimension $n^2+3$, and that the construction provides a geometric setting for some deep number theoretical conjectures. I… ▽ More The notion of SIC-POVMs comes from quantum information theory, and they were not on the horizon when I was Lars Brink's student in the early 80s. In the summer of 2022 I told Lars that I know how to use number theoretical insights to construct SIC-POVMs in any Hilbert space of dimension $n^2+3$, and that the construction provides a geometric setting for some deep number theoretical conjectures. I will give a sketch of this development, of what it was like to be Lars' student, and of what his reaction to our construction was. △ Less

Submitted 26 August, 2023; originally announced August 2023.

Comments: For the Memorial Volume for Lars Brink, to be published by World Scientific; 15 pages, one picture

Göran Lindblad in memoriam

Authors: Ingemar Bengtsson

Abstract: This is a brief account of the life and work of Göran Lindblad. This is a brief account of the life and work of Göran Lindblad. △ Less

Submitted 20 July, 2023; originally announced July 2023.

Comments: 11 pages, one picture

Journal ref: Open Sys. Inf. Dyn 30 (2023) 2370001

Bogdan Mielnik, geometry and quanta

Authors: Ingemar Bengtsson, Karol Zyczkowski

Abstract: We review selected achievements of the late Bogdan Mielnik in the field of theoretical physics, with an emphasis on his attempts to go beyond quantum mechanics. Some of his original views on the problems of contemporary society and organization of science are also recalled. We review selected achievements of the late Bogdan Mielnik in the field of theoretical physics, with an emphasis on his attempts to go beyond quantum mechanics. Some of his original views on the problems of contemporary society and organization of science are also recalled. △ Less

Submitted 22 August, 2022; originally announced August 2022.

Comments: 7 pages, 3 figures

Journal ref: Postepy Fizyki 73 (2022) p. 11

Dimension towers of SICs. II. Some constructions

Authors: Ingemar Bengtsson, Basudha Srivastava

Abstract: A SIC is a maximal equiangular tight frame in a finite dimensional Hilbert space. Given a SIC in dimension $d$, there is good evidence that there always exists an aligned SIC in dimension $d(d-2)$, having predictable symmetries and smaller equiangular tight frames embedded in them. We provide a recipe for how to calculate sets of vectors in dimension $d(d-2)$ that share these properties. They cons… ▽ More A SIC is a maximal equiangular tight frame in a finite dimensional Hilbert space. Given a SIC in dimension $d$, there is good evidence that there always exists an aligned SIC in dimension $d(d-2)$, having predictable symmetries and smaller equiangular tight frames embedded in them. We provide a recipe for how to calculate sets of vectors in dimension $d(d-2)$ that share these properties. They consist of maximally entangled vectors in certain subspaces defined by the numbers entering the $d$ dimensional SIC. However, the construction contains free parameters and we have not proven that they can always be chosen so that one of these sets of vectors is a SIC. We give some worked examples that, we hope, may suggest to the reader how our construction can be improved. For simplicity we restrict ourselves to the case of odd dimensions. △ Less

Submitted 1 February, 2022; originally announced February 2022.

Comments: 23 pages

SIC-POVMs from Stark units: Prime dimensions n^2+3

Authors: Marcus Appleby, Ingemar Bengtsson, Markus Grassl, Michael Harrison, Gary McConnell

Abstract: We propose a recipe for constructing a SIC fiducial vector in complex Hilbert space of dimension of the form $d=n^2+3$, focussing on prime dimensions $d=p$. Such structures are shown to exist in thirteen prime dimensions of this kind, the highest being $p=19603$. The real quadratic base field $K$ (in the standard SIC terminology) attached to such dimensions has fundamental units $u_K$ of norm… ▽ More We propose a recipe for constructing a SIC fiducial vector in complex Hilbert space of dimension of the form $d=n^2+3$, focussing on prime dimensions $d=p$. Such structures are shown to exist in thirteen prime dimensions of this kind, the highest being $p=19603$. The real quadratic base field $K$ (in the standard SIC terminology) attached to such dimensions has fundamental units $u_K$ of norm $-1$. Let $\mathbb{Z}_K$ denote the ring of integers of $K$, then $p\mathbb{Z}_K$ splits into two ideals $\mathfrak{p}$ and $\mathfrak{p}'$. The initial entry of the fiducial is the square $ξ^2$ of a geometric scaling factor $ξ$, which lies in one of the fields $K(\sqrt{u_K})$. Strikingly, the other $p-1$ entries of the fiducial vector are each the product of $ξ$ and the square root of a Stark unit. These Stark units are obtained via the Stark conjectures from the value at $s=0$ of the first derivatives of partial $L$ functions attached to the characters of the ray class group of $\mathbb{Z}_K$ with modulus $\mathfrak{p}\infty_1$, where $\infty_1$ is one of the real places of $K$. △ Less

Submitted 10 August, 2022; v1 submitted 10 December, 2021; originally announced December 2021.

Comments: 54 pages, 3 tables; subtitle added, some parts restructured/rewritten, additional solution for dimension 2503

Journal ref: J. Math. Phys. 63, 112205 (2022)

Compounds of symmetric informationally complete measurements and their application in quantum key distribution

Authors: Armin Tavakoli, Ingemar Bengtsson, Nicolas Gisin, Joseph M. Renes

Abstract: Symmetric informationally complete measurements (SICs) are elegant, celebrated and broadly useful discrete structures in Hilbert space. We introduce a more sophisticated discrete structure compounded by several SICs. A SIC-compound is defined to be a collection of $d^3$ vectors in $d$-dimensional Hilbert space that can be partitioned in two different ways: into $d$ SICs and into $d^2$ orthonormal… ▽ More Symmetric informationally complete measurements (SICs) are elegant, celebrated and broadly useful discrete structures in Hilbert space. We introduce a more sophisticated discrete structure compounded by several SICs. A SIC-compound is defined to be a collection of $d^3$ vectors in $d$-dimensional Hilbert space that can be partitioned in two different ways: into $d$ SICs and into $d^2$ orthonormal bases. While a priori their existence may appear unlikely when $d>2$, we surprisingly answer it in the positive through an explicit construction for $d=4$. Remarkably this SIC-compound admits a close relation to mutually unbiased bases, as is revealed through quantum state discrimination. Going beyond fundamental considerations, we leverage these exotic properties to construct a protocol for quantum key distribution and analyze its security under general eavesdropping attacks. We show that SIC-compounds enable secure key generation in the presence of errors that are large enough to prevent the success of the generalisation of the six-state protocol. △ Less

Submitted 2 July, 2020; originally announced July 2020.

Journal ref: Phys. Rev. Research 2, 043122 (2020)

SICs: Some explanations

Authors: Ingemar Bengtsson

Abstract: The problem of constructing maximal equiangular tight frames or SICs was raised by Zauner in 1998. Four years ago it was realized that the problem is closely connected to a major open problem in number theory. We discuss why such a connection was perhaps to be expected, and give a simplified sketch of some developments that have taken place in the past four years. The aim, so far unfulfilled, is t… ▽ More The problem of constructing maximal equiangular tight frames or SICs was raised by Zauner in 1998. Four years ago it was realized that the problem is closely connected to a major open problem in number theory. We discuss why such a connection was perhaps to be expected, and give a simplified sketch of some developments that have taken place in the past four years. The aim, so far unfulfilled, is to prove existence of SICs in an infinite sequence of dimensions. △ Less

Submitted 17 April, 2020; originally announced April 2020.

Comments: 20 pages, 2 figures. Based on talks in Växjö and at Jerzy Lewandowski's birthday

Algebraic units, anti-unitary symmetries, and a small catalogue of SICs

Authors: Ingemar Bengtsson

Abstract: In complex vector spaces maximal sets of equiangular lines, known as SICs, are related to real quadratic number fields in a dimension dependent way. If the dimension is of the form $n^2+3$ the base field has a fundamental unit of negative norm, and there exists a SIC with anti-unitary symmetry. We give eight examples of exact solutions of this kind, for which we have endeavoured to make them as si… ▽ More In complex vector spaces maximal sets of equiangular lines, known as SICs, are related to real quadratic number fields in a dimension dependent way. If the dimension is of the form $n^2+3$ the base field has a fundamental unit of negative norm, and there exists a SIC with anti-unitary symmetry. We give eight examples of exact solutions of this kind, for which we have endeavoured to make them as simple as we can---as a belated reply to the referee of an earlier publication, who claimed that our exact solution in dimension 28 was too complicated to be fit to print. An interesting feature of the simplified solutions is that the components of the fiducial vectors largely consist of algebraic units. △ Less

Submitted 22 May, 2020; v1 submitted 23 January, 2020; originally announced January 2020.

Comments: 18 pages, 2 figures; minor corrections in version 2

Journal ref: Quantum Information and Computation, Vol. 20, 0400-0417 (2020)

Tight Frames, Hadamard Matrices and Zauner's Conjecture

Authors: Marcus Appleby, Ingemar Bengtsson, Steven Flammia, Dardo Goyeneche

Abstract: We show that naturally associated to a SIC (symmetric informationally complete positive operator valued measure or SIC-POVM) in dimension d there are a number of higher dimensional structures: specifically a projector and a complex Hadamard matrix in dimension d squared and a pair of ETFs (equiangular tight frames) in dimensions d(d-1)/2, d(d+1)/2. We also show that a WH (Weyl Heisenberg covariant… ▽ More We show that naturally associated to a SIC (symmetric informationally complete positive operator valued measure or SIC-POVM) in dimension d there are a number of higher dimensional structures: specifically a projector and a complex Hadamard matrix in dimension d squared and a pair of ETFs (equiangular tight frames) in dimensions d(d-1)/2, d(d+1)/2. We also show that a WH (Weyl Heisenberg covariant) SIC in odd dimension d is naturally associated to a pair of symmetric tight fusion frames in dimension d. We deduce two relaxations of the WH SIC existence problem. We also find a reformulation of the problem in which the number of equations is fewer than the number of variables. Finally, we show that in at least four cases the structures associated to a SIC lie on continuous manifolds of such structures. In two of these cases the manifolds are non-linear. Restricted defect calculations are consistent with this being true for the structures associated to every known SIC with d between 3 and 16, suggesting it may be true for all d greater than 2. △ Less

Submitted 20 August, 2019; v1 submitted 15 March, 2019; originally announced March 2019.

Comments: 20 pages, no figures. Replaced with published version

Journal ref: J. Phys. A 52 (2019) 295301

Simplified exact SICs

Authors: Marcus Appleby, Ingemar Bengtsson

Abstract: In the standard basis exact expressions for the components of SIC vectors (belonging to a symmetric informationally complete POVM) are typically very complicated. We show that a simple transformation to a basis adapted to the symmetries of a fiducial SIC vector can result in a massive reduction in complexity. We rely on a conjectural number theoretic connection between SICs in dimension $d_j$ and… ▽ More In the standard basis exact expressions for the components of SIC vectors (belonging to a symmetric informationally complete POVM) are typically very complicated. We show that a simple transformation to a basis adapted to the symmetries of a fiducial SIC vector can result in a massive reduction in complexity. We rely on a conjectural number theoretic connection between SICs in dimension $d_j$ and SICs in dimension $d_{j+1} = d_j(d_j-2)$. We focus on the sequence 5, 15, 195, ... . We rewrite Zauner's exact solution for the SIC in dimension 5 to make its simplicity manifest, and use our adapted basis to convert numerical solutions in dimensions 15 and 195 to exact solutions. Comparing to the known exact solutions in dimension 15 we find that the simplification achieved is dramatic. The proof that the exact vectors are indeed SIC fiducial vectors, also in dimension 195, is a long calculation guided by the standard ray class hypothesis about the algebraic number fields generated by the SICs. We conjecture that our result generalizes to every dimension in the particular sequence we consider. △ Less

Submitted 7 August, 2019; v1 submitted 2 November, 2018; originally announced November 2018.

Comments: 20 pages; one section improved in version 2

Journal ref: J. Math. Phys. 60 (2019) 062203

Dimension towers of SICs. I. Aligned SICs and embedded tight frames

Authors: Marcus Appleby, Ingemar Bengtsson, Irina Dumitru, Steven Flammia

Abstract: Algebraic number theory relates SIC-POVMs in dimension $d>3$ to those in dimension $d(d-2)$. We define a SIC in dimension $d(d-2)$ to be aligned to a SIC in dimension $d$ if and only if the squares of the overlap phases in dimension $d$ appear as a subset of the overlap phases in dimension $d(d-2)$ in a specified way. We give 19 (mostly numerical) examples of aligned SICs. We conjecture that given… ▽ More Algebraic number theory relates SIC-POVMs in dimension $d>3$ to those in dimension $d(d-2)$. We define a SIC in dimension $d(d-2)$ to be aligned to a SIC in dimension $d$ if and only if the squares of the overlap phases in dimension $d$ appear as a subset of the overlap phases in dimension $d(d-2)$ in a specified way. We give 19 (mostly numerical) examples of aligned SICs. We conjecture that given any SIC in dimension $d$ there exists an aligned SIC in dimension $d(d-2)$. In all our examples the aligned SIC has lower dimensional equiangular tight frames embedded in it. If $d$ is odd so that a natural tensor product structure exists, we prove that the individual vectors in the aligned SIC have a very special entanglement structure, and the existence of the embedded tight frames follows as a theorem. If $d-2$ is an odd prime number we prove that a complete set of mutually unbiased bases can be obtained by reducing an aligned SIC to this dimension. △ Less

Submitted 31 July, 2017; originally announced July 2017.

Comments: 24 pages, 2 figures

Journal ref: J. Math. Phys. 58 (2017) 122201

Self-testing properties of Gisin's elegant Bell inequality

Authors: Ole Andersson, Piotr Badziąg, Ingemar Bengtsson, Irina Dumitru, Adán Cabello

Abstract: An experiment in which the Clauser-Horne-Shimony-Holt inequality is maximally violated is self-testing (i.e., it certifies in a device-independent way both the state and the measurements). We prove that an experiment maximally violating Gisin's elegant Bell inequality is not similarly self-testing. The reason can be traced back to the problem of distinguishing an operator from its complex conjugat… ▽ More An experiment in which the Clauser-Horne-Shimony-Holt inequality is maximally violated is self-testing (i.e., it certifies in a device-independent way both the state and the measurements). We prove that an experiment maximally violating Gisin's elegant Bell inequality is not similarly self-testing. The reason can be traced back to the problem of distinguishing an operator from its complex conjugate. We provide a complete and explicit characterization of all scenarios in which the elegant Bell inequality is maximally violated. This enables us to see exactly how the problem plays out. △ Less

Submitted 5 October, 2017; v1 submitted 7 June, 2017; originally announced June 2017.

Comments: 6 pages, 1 figure, v2: modified title and improved presentation

Journal ref: Phys. Rev. A 96, 032119 (2017)

On discrete structures in finite Hilbert spaces

Authors: Ingemar Bengtsson, Karol Zyczkowski

Abstract: We present a brief review of discrete structures in a finite Hilbert space, relevant for the theory of quantum information. Unitary operator bases, mutually unbiased bases, Clifford group and stabilizer states, discrete Wigner function, symmetric informationally complete measurements, projective and unitary t--designs are discussed. Some recent results in the field are covered and several importan… ▽ More We present a brief review of discrete structures in a finite Hilbert space, relevant for the theory of quantum information. Unitary operator bases, mutually unbiased bases, Clifford group and stabilizer states, discrete Wigner function, symmetric informationally complete measurements, projective and unitary t--designs are discussed. Some recent results in the field are covered and several important open questions are formulated. We advocate a geometric approach to the subject and emphasize numerous links to various mathematical problems. △ Less

Submitted 26 January, 2017; originally announced January 2017.

Comments: 30 pages with 5 figures. Preprint based on a new chapter written to the second edition of the book "Geometry of Quantum States. An introduction to Quantum Entanglement", CUP, Cambridge, to appear in 2017

A brief introduction to multipartite entanglement

Authors: Ingemar Bengtsson, Karol Zyczkowski

Abstract: A concise introduction to quantum entanglement in multipartite systems is presented. We review entanglement of pure quantum states of three--partite systems analyzing the classes of GHZ and W states and discussing the monogamy relations. Special attention is paid to equivalence with respect to local unitaries and stochastic local operations, invariants along these orbits, momentum map and spectra… ▽ More A concise introduction to quantum entanglement in multipartite systems is presented. We review entanglement of pure quantum states of three--partite systems analyzing the classes of GHZ and W states and discussing the monogamy relations. Special attention is paid to equivalence with respect to local unitaries and stochastic local operations, invariants along these orbits, momentum map and spectra of partial traces. We discuss absolutely maximally entangled states and their relation to quantum error correction codes. An important case of a large number of parties is also analysed and entanglement in spin systems is briefly reviewed. △ Less

Submitted 22 December, 2016; originally announced December 2016.

Comments: 37 pages with 13 figures. Preprint based on a new chapter written to the second edition of the book "Geometry of Quantum States. An introduction to Quantum Entanglement", CUP, Cambridge, to appear in 2017

The Number Behind the Simplest SIC-POVM

Authors: Ingemar Bengtsson

Abstract: The simple concept of a SIC poses a very deep problem in algebraic number theory, as soon as the dimension of Hilbert space exceeds three. A detailed description of the simplest possible example is given. The simple concept of a SIC poses a very deep problem in algebraic number theory, as soon as the dimension of Hilbert space exceeds three. A detailed description of the simplest possible example is given. △ Less

Submitted 17 January, 2017; v1 submitted 28 November, 2016; originally announced November 2016.

Comments: 15 pages, 1 figure; talk at the Vaxjo conference "Quantum and Beyond", 2016; corrections to section 4 included

Geometric Phases for Mixed States of the Kitaev Chain

Authors: Ole Andersson, Ingemar Bengtsson, Marie Ericsson, Erik Sjöqvist

Abstract: The Berry phase has found applications in building topological order parameters for certain condensed matter systems. The question whether some geometric phase for mixed states can serve the same purpose has been raised, and proposals are on the table. We analyze the intricate behaviour of Uhlmann's geometric phase in the Kitaev chain at finite temperature, and then argue that it captures quite di… ▽ More The Berry phase has found applications in building topological order parameters for certain condensed matter systems. The question whether some geometric phase for mixed states can serve the same purpose has been raised, and proposals are on the table. We analyze the intricate behaviour of Uhlmann's geometric phase in the Kitaev chain at finite temperature, and then argue that it captures quite different physics from that intended. We also analyze the behaviour of a geometric phase introduced in the context of interferometry. For the Kitaev chain, this phase closely mirrors that of the Berry phase, and we argue that it merits further investigation. △ Less

Submitted 24 April, 2016; v1 submitted 2 July, 2015; originally announced July 2015.

Comments: Minor corrections; journal reference added

Journal ref: Phil. Trans. R. Soc. A 374:20150231 (2016)

Cliffordtori and unbiased vectors

Authors: Ole Andersson, Ingemar Bengtsson

Abstract: The existence problem for mutually unbiased bases is an unsolved problem in quantum information theory. A related question is whether every pair of bases admits vectors that are unbiased to both. Mathematically this translates to the question whether two Lagrangian Clifford tori intersect, and a body of results exists concerning it. These (deep!) results are however rather weak when viewed from th… ▽ More The existence problem for mutually unbiased bases is an unsolved problem in quantum information theory. A related question is whether every pair of bases admits vectors that are unbiased to both. Mathematically this translates to the question whether two Lagrangian Clifford tori intersect, and a body of results exists concerning it. These (deep!) results are however rather weak when viewed from the point of view of the first problem. We make a detailed study of how the intersections behave in the simplest non-trivial case, that of complex projective 2-space (the qutrit), for which the set of Clifford tori can be usefully parametrized by the unistochastic subset of Birkhoff's polytope. An interesting picture emerges. A foray into higher dimensions is included. △ Less

Submitted 17 January, 2017; v1 submitted 30 June, 2015; originally announced June 2015.

Comments: 25 pages, 8 figures; version 2 is the journal version

Journal ref: Rep. Math. Phys. 79 (2017) 33

States that are far from being stabilizer states

Authors: David Andersson, Ingemar Bengtsson, Kate Blanchfield, Hoan Bui Dang

Abstract: Stabilizer states are eigenvectors of maximal commuting sets of operators in a finite Heisenberg group. States that are far from being stabilizer states include magic states in quantum computation, MUB-balanced states, and SIC vectors. In prime dimensions the latter two fall under the umbrella of Minimum Uncertainty States (MUS) in the sense of Wootters and Sussman. We study the correlation betwee… ▽ More Stabilizer states are eigenvectors of maximal commuting sets of operators in a finite Heisenberg group. States that are far from being stabilizer states include magic states in quantum computation, MUB-balanced states, and SIC vectors. In prime dimensions the latter two fall under the umbrella of Minimum Uncertainty States (MUS) in the sense of Wootters and Sussman. We study the correlation between two ways in which the notion of "far from being a stabilizer state" can be quantified, and give detailed results for low dimensions. In dimension 7 we identify the MUB-balanced states as being antipodal to the SIC vectors within the set of MUS, in a sense that we make definite. In dimension 4 we show that the states that come closest to being MUS with respect to all the six stabilizer MUBs are the fiducial vectors for Alltop MUBs. △ Less

Submitted 28 December, 2014; originally announced December 2014.

Comments: 21 pages, 8 figures

Journal ref: J. Phys. A: Math. Theor. 48 (2015) 345301

Galois Unitaries, Mutually Unbiased Bases, and MUB-balanced states

Authors: D. M. Appleby, Ingemar Bengtsson, Hoan Bui Dang

Abstract: A Galois unitary is a generalization of the notion of anti-unitary operators. They act only on those vectors in Hilbert space whose entries belong to some chosen number field. For Mutually Unbiased Bases the relevant number field is a cyclotomic field. By including Galois unitaries we are able to remove a mismatch between the finite projective group acting on the bases on the one hand, and the set… ▽ More A Galois unitary is a generalization of the notion of anti-unitary operators. They act only on those vectors in Hilbert space whose entries belong to some chosen number field. For Mutually Unbiased Bases the relevant number field is a cyclotomic field. By including Galois unitaries we are able to remove a mismatch between the finite projective group acting on the bases on the one hand, and the set of those permutations of the bases that can be implemented as transformations in Hilbert space on the other hand. In particular we show that there exist transformations that cycle through all the bases in every dimension which is an odd power of an odd prime. (For even primes unitary MUB-cyclers exist.) These transformations have eigenvectors, which are MUB-balanced states (i.e. rotationally symmetric states in the original terminology of Wootters and Sussman) if and only if d = 3 modulo 4. We conjecture that this construction yields all such states in odd prime power dimension. △ Less

Submitted 31 October, 2014; v1 submitted 28 September, 2014; originally announced September 2014.

Comments: 32 pages, 2 figures, AMS Latex. Version 2: minor improvements plus a few additional references

Order 3 Symmetry in the Clifford Hierarchy

Authors: Ingemar Bengtsson, Kate Blanchfield, Earl Campbell, Mark Howard

Abstract: We investigate the action of the first three levels of the Clifford hierarchy on sets of mutually unbiased bases comprising the Ivanovic MUB and the Alltop MUBs. Vectors in the Alltop MUBs exhibit additional symmetries when the dimension is a prime number equal to 1 modulo 3 and thus the set of all Alltop vectors splits into three Clifford orbits. These vectors form configurations with so-called Z… ▽ More We investigate the action of the first three levels of the Clifford hierarchy on sets of mutually unbiased bases comprising the Ivanovic MUB and the Alltop MUBs. Vectors in the Alltop MUBs exhibit additional symmetries when the dimension is a prime number equal to 1 modulo 3 and thus the set of all Alltop vectors splits into three Clifford orbits. These vectors form configurations with so-called Zauner subspaces, eigenspaces of order 3 elements of the Clifford group highly relevant to the SIC problem. We identify Alltop vectors as the magic states that appear in the context of fault-tolerant universal quantum computing, wherein the appearance of distinct Clifford orbits implies a surprising inequivalence between some magic states. △ Less

Submitted 18 November, 2014; v1 submitted 10 July, 2014; originally announced July 2014.

Comments: 20 pages, 2 figures. Published version

Journal ref: J. Phys. A: Math. Theor. 47 (2014) 455302

Four remarks on spin coherent states

Authors: Anna Baecklund, Ingemar Bengtsson

Abstract: We discuss how to recognize the constellations seen in the Majorana representation of quantum states. Then we give explicit formulas for the metric and symplectic form on SU(2) orbits containing general number states. Their metric and symplectic areas differ unless the states are coherent. Finally we discuss some patterns that arise from the Lieb-Solovej map, and for dimensions up to nine we find… ▽ More We discuss how to recognize the constellations seen in the Majorana representation of quantum states. Then we give explicit formulas for the metric and symplectic form on SU(2) orbits containing general number states. Their metric and symplectic areas differ unless the states are coherent. Finally we discuss some patterns that arise from the Lieb-Solovej map, and for dimensions up to nine we find the location of those states that maximize the Wehrl-Lieb entropy. △ Less

Submitted 13 March, 2014; v1 submitted 9 December, 2013; originally announced December 2013.

Comments: 7 pages, 2 figures; talk at the Vaxjo conference 2013; minor polish in version 2

Journal ref: Phys. Scr. T 163 (2014) 014012

Linear Dependencies in Weyl-Heisenberg Orbits

Authors: Hoan Bui Dang, Kate Blanchfield, Ingemar Bengtsson, D. M. Appleby

Abstract: Five years ago, Lane Hughston showed that some of the symmetric informationally complete positive operator valued measures (SICs) in dimension 3 coincide with the Hesse configuration (a structure well known to algebraic geometers, which arises from the torsion points of a certain elliptic curve). This connection with elliptic curves is signalled by the presence of linear dependencies among the SIC… ▽ More Five years ago, Lane Hughston showed that some of the symmetric informationally complete positive operator valued measures (SICs) in dimension 3 coincide with the Hesse configuration (a structure well known to algebraic geometers, which arises from the torsion points of a certain elliptic curve). This connection with elliptic curves is signalled by the presence of linear dependencies among the SIC vectors. Here we look for analogous connections between SICs and algebraic geometry by performing computer searches for linear dependencies in higher dimensional SICs. We prove that linear dependencies will always emerge in Weyl-Heisenberg orbits when the fiducial vector lies in a certain subspace of an order 3 unitary matrix. This includes SICs when the dimension is divisible by 3 or equal to 8 mod 9. We examine the linear dependencies in dimension 6 in detail and show that smaller dimensional SICs are contained within this structure, potentially impacting the SIC existence problem. We extend our results to look for linear dependencies in orbits when the fiducial vector lies in an eigenspace of other elements of the Clifford group that are not order 3. Finally, we align our work with recent studies on representations of the Clifford group. △ Less

Submitted 13 September, 2013; v1 submitted 1 November, 2012; originally announced November 2012.

Comments: 29 pages, 2 figures Quantum Inf Process (2013)

Journal ref: Quantum Inf Process 12 (2013) 3449

Systems of Imprimitivity for the Clifford Group

Authors: D. M. Appleby, Ingemar Bengtsson, Stephen Brierley, Åsa Ericsson, Markus Grassl, Jan-Åke Larsson

Abstract: It is known that if the dimension is a perfect square the Clifford group can be represented by monomial matrices. Another way of expressing this result is to say that when the dimension is a perfect square the standard representation of the Clifford group has a system of imprimitivity consisting of one dimensional subspaces. We generalize this result to the case of an arbitrary dimension. Let k be… ▽ More It is known that if the dimension is a perfect square the Clifford group can be represented by monomial matrices. Another way of expressing this result is to say that when the dimension is a perfect square the standard representation of the Clifford group has a system of imprimitivity consisting of one dimensional subspaces. We generalize this result to the case of an arbitrary dimension. Let k be the square-free part of the dimension. Then we show that the standard representation of the Clifford group has a system of imprimitivity consisting of k-dimensional subspaces. To illustrate the use of this result we apply it to the calculation of SIC-POVMs (symmetric informationally complete positive operator valued measures), constructing exact solutions in dimensions 8 (hand-calculation) as well as 12 and 28 (machine-calculation). △ Less

Submitted 3 October, 2012; originally announced October 2012.

Comments: 28 pages, AMS latex

Journal ref: Quantum Information and Computation, Vol. 14, No. 3 & 4, 0339-0360 (2014)

Gleason, Kochen-Specker, and a competition that never was

Authors: Ingemar Bengtsson

Abstract: I review the two theorems referred to in the title, and then suggest that it would be interesting to know how much of Hilbert space one can use without forcing the proof of these theorems. It would also be interesting to know what parts of Hilbert space that are essential for the proofs. I go on to discuss cubes, graphs, and pentagrams. I review the two theorems referred to in the title, and then suggest that it would be interesting to know how much of Hilbert space one can use without forcing the proof of these theorems. It would also be interesting to know what parts of Hilbert space that are essential for the proofs. I go on to discuss cubes, graphs, and pentagrams. △ Less

Submitted 1 October, 2012; originally announced October 2012.

Comments: 8 pages, 2 figures; talk at the Vaxjo conference QTRF-6, 2012

Dissecting the qutrit

Authors: Gniewomir Sarbicki, Ingemar Bengtsson

Abstract: To visualize a higher dimensional object it is convenient to consider its two-dimensional cross-sections. The set of quantum states for a three level system has eight dimensions. We supplement a recent paper by Goyal et al by considering the set of all possible two-dimensional cross-sections of the qutrit. Each such cross-section is bounded by a plane cubic curve. To visualize a higher dimensional object it is convenient to consider its two-dimensional cross-sections. The set of quantum states for a three level system has eight dimensions. We supplement a recent paper by Goyal et al by considering the set of all possible two-dimensional cross-sections of the qutrit. Each such cross-section is bounded by a plane cubic curve. △ Less

Submitted 10 August, 2012; originally announced August 2012.

Comments: 12 pages, 4 figures

Journal ref: J. Phys. A: Math. Theor. 46 035306 (2013)

Proposed experiments of qutrit state-independent contextuality and two-qutrit contextuality-based nonlocality

Authors: Adan Cabello, Elias Amselem, Kate Blanchfield, Mohamed Bourennane, Ingemar Bengtsson

Abstract: Recent experiments have demonstrated ququart state-independent quantum contextuality and qutrit state-dependent quantum contextuality. So far, the most basic form of quantum contextuality pointed out by Kochen and Specker, and Bell, has eluded experimental confirmation. Here we present an experimentally feasible test to observe qutrit state-independent quantum contextuality using single photons in… ▽ More Recent experiments have demonstrated ququart state-independent quantum contextuality and qutrit state-dependent quantum contextuality. So far, the most basic form of quantum contextuality pointed out by Kochen and Specker, and Bell, has eluded experimental confirmation. Here we present an experimentally feasible test to observe qutrit state-independent quantum contextuality using single photons in a three-path setup. In addition, we show that if the same measurements are performed on two entangled qutrits, rather than sequentially on the same qutrit, then the noncontextual inequality becomes a Bell inequality. We show that this connection also applies to other recently introduced noncontextual inequalities. △ Less

Submitted 5 March, 2012; originally announced March 2012.

Comments: REVTeX4, 5 pages, 3 figures

Journal ref: Phys. Rev. A 85 (2012) 032108

How much complementarity?

Authors: Ingemar Bengtsson

Abstract: 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. 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. △ Less

Submitted 16 February, 2012; originally announced February 2012.

Comments: 6 pages; talk at the Vaxjo conference on Foundations of Probability and Physics, 2011

A remarkable representation of the Clifford group

Authors: Ingemar Bengtsson

Abstract: The finite Heisenberg group knows when the dimension of Hilbert space is a square number. Remarkably, it then admits a representation such that the entire Clifford group --- the automorphism group of the Heisenberg group --- is represented by monomial phase-permutation matrices. This has a beneficial influence on the amount of calculation that must be done to find Symmetric Informationally Complet… ▽ More The finite Heisenberg group knows when the dimension of Hilbert space is a square number. Remarkably, it then admits a representation such that the entire Clifford group --- the automorphism group of the Heisenberg group --- is represented by monomial phase-permutation matrices. This has a beneficial influence on the amount of calculation that must be done to find Symmetric Informationally Complete POVMs. I make some comments on the equations obeyed by the absolute values of the components of the SIC vectors, and on the fact that the representation partly suggests a preferred tensor product structure. △ Less

Submitted 16 February, 2012; originally announced February 2012.

Comments: 6 pages; talk at the Vaxjo conference on Advances in Quantum Theory, 2010

Geometry of the set of mixed quantum states: An apophatic approach

Authors: Ingemar Bengtsson, Stephan Weis, Karol Życzkowski

Abstract: The set of quantum states consists of density matrices of order $N$, which are hermitian, positive and normalized by the trace condition. We analyze the structure of this set in the framework of the Euclidean geometry naturally arising in the space of hermitian matrices. For N=2 this set is the Bloch ball, embedded in $\mathbb R^3$. For $N \geq 3$ this set of dimensionality $N^2-1$ has a much rich… ▽ More The set of quantum states consists of density matrices of order $N$, which are hermitian, positive and normalized by the trace condition. We analyze the structure of this set in the framework of the Euclidean geometry naturally arising in the space of hermitian matrices. For N=2 this set is the Bloch ball, embedded in $\mathbb R^3$. For $N \geq 3$ this set of dimensionality $N^2-1$ has a much richer structure. We study its properties and at first advocate an apophatic approach, which concentrates on characteristics not possessed by this set. We also apply more constructive techniques and analyze two dimensional cross-sections and projections of the set of quantum states. They are dual to each other. At the end we make some remarks on certain dimension dependent properties. △ Less

Submitted 14 December, 2011; v1 submitted 11 December, 2011; originally announced December 2011.

Comments: 13 pages, 12 figures, v2: 5 figures changed from bw to color

MSC Class: 81P16 (Primary) 52A20 (Secondary)

Journal ref: Geometric Methods in Physics. XXX Workshop 2011, Trends in Mathematics, pp 175-197 Springer Basel 2013

A Kochen-Specker inequality from a SIC

Authors: Ingemar Bengtsson, Kate Blanchfield, Adan Cabello

Abstract: Yu and Oh [1] have given a state independent proof of the Kochen-Specker theorem in three dimensions using only 13 rays. The proof consists of showing that a non-contextual hidden variable theory necessarily leads to an inequality that is violated by quantum mechanics. We give a similar proof making use of 21 rays that constitute a SIC and four Mutually Unbiased Bases. Yu and Oh [1] have given a state independent proof of the Kochen-Specker theorem in three dimensions using only 13 rays. The proof consists of showing that a non-contextual hidden variable theory necessarily leads to an inequality that is violated by quantum mechanics. We give a similar proof making use of 21 rays that constitute a SIC and four Mutually Unbiased Bases. △ Less

Submitted 6 October, 2011; v1 submitted 29 September, 2011; originally announced September 2011.

Comments: 4 pages, 2 figures; strengthened argument, new coauthor added

Journal ref: Phys. Lett. A 376 (2012) 374

From SICs and MUBs to Eddington

Authors: Ingemar Bengtsson

Abstract: This is a survey of some very old knowledge about Mutually Unbiased Bases (MUB) and Symmetric Informationally Complete POVMs (SIC). In prime dimensions the former are closely tied to an elliptic normal curve symmetric under the Heisenberg group, while the latter are believed to be orbits under the Heisenberg group in all dimensions. In dimensions 3 and 4 the SICs are understandable in terms of ell… ▽ More This is a survey of some very old knowledge about Mutually Unbiased Bases (MUB) and Symmetric Informationally Complete POVMs (SIC). In prime dimensions the former are closely tied to an elliptic normal curve symmetric under the Heisenberg group, while the latter are believed to be orbits under the Heisenberg group in all dimensions. In dimensions 3 and 4 the SICs are understandable in terms of elliptic curves, but a general statement escapes us. The geometry of the SICs in 3 and 4 dimensions is discussed in some detail. △ Less

Submitted 10 March, 2011; originally announced March 2011.

Comments: 12 pages; from the Festschrift for Tony Sudbery

Journal ref: J. Phys. Conf. Ser. 254 (2010) 012007

The monomial representations of the Clifford group

Authors: D. M. Appleby, Ingemar Bengtsson, Stephen Brierley, Markus Grassl, David Gross, Jan-Åke Larsson

Abstract: We show that the Clifford group - the normaliser of the Weyl-Heisenberg group - can be represented by monomial phase-permutation matrices if and only if the dimension is a square number. This simplifies expressions for SIC vectors, and has other applications to SICs and to Mutually Unbiased Bases. Exact solutions for SICs in dimension 16 are presented for the first time. We show that the Clifford group - the normaliser of the Weyl-Heisenberg group - can be represented by monomial phase-permutation matrices if and only if the dimension is a square number. This simplifies expressions for SIC vectors, and has other applications to SICs and to Mutually Unbiased Bases. Exact solutions for SICs in dimension 16 are presented for the first time. △ Less

Submitted 25 August, 2011; v1 submitted 7 February, 2011; originally announced February 2011.

Comments: Additional author and exact solutions to the SIC problem in dimension 16 added

Report number: Nordita-2011-16, Mittag-Leffler-2010fall

Journal ref: Quantum Information and Computation, Vol. 12 No. 5&6, 0404-0431 (2012)

On mutually unbiased bases

Authors: Thomas Durt, Berthold-Georg Englert, Ingemar Bengtsson, Karol Życzkowski

Abstract: Mutually unbiased bases for quantum degrees of freedom are central to all theoretical investigations and practical exploitations of complementary properties. Much is known about mutually unbiased bases, but there are also a fair number of important questions that have not been answered in full as yet. In particular, one can find maximal sets of ${N+1}$ mutually unbiased bases in Hilbert spaces of… ▽ More Mutually unbiased bases for quantum degrees of freedom are central to all theoretical investigations and practical exploitations of complementary properties. Much is known about mutually unbiased bases, but there are also a fair number of important questions that have not been answered in full as yet. In particular, one can find maximal sets of ${N+1}$ mutually unbiased bases in Hilbert spaces of prime-power dimension ${N=p^\m}$, with $p$ prime and $\m$ a positive integer, and there is a continuum of mutually unbiased bases for a continuous degree of freedom, such as motion along a line. But not a single example of a maximal set is known if the dimension is another composite number ($N=6,10,12,...$). In this review, we present a unified approach in which the basis states are labeled by numbers ${0,1,2,...,N-1}$ that are both elements of a Galois field and ordinary integers. This dual nature permits a compact systematic construction of maximal sets of mutually unbiased bases when they are known to exist but throws no light on the open existence problem in other cases. We show how to use the thus constructed mutually unbiased bases in quantum-informatics applications, including dense coding, teleportation, entanglement swapping, covariant cloning, and state tomography, all of which rely on an explicit set of maximally entangled states (generalizations of the familiar two--q-bit Bell states) that are related to the mutually unbiased bases. There is a link to the mathematics of finite affine planes. We also exploit the one-to-one correspondence between unbiased bases and the complex Hadamard matrices that turn the bases into each other. The ultimate hope, not yet fulfilled, is that open questions about mutually unbiased bases can be related to open questions about Hadamard matrices or affine planes, in particular the ...[rest deleted] △ Less

Submitted 20 October, 2010; v1 submitted 20 April, 2010; originally announced April 2010.

Comments: Review article with 106 pages, 3 figures, 4 tables, 196 references

Journal ref: Int. J. Quantum Information 8 (2010) 535-640

Pentagrams and paradoxes

Authors: Piotr Badziag, Ingemar Bengtsson, Adan Cabello, Helena Granstrom, Jan-Åke Larsson

Abstract: Klyachko and coworkers consider an orthogonality graph in the form of a pentagram, and in this way derive a Kochen-Specker inequality for spin 1 systems. In some low-dimensional situations Hilbert spaces are naturally organised, by a magical choice of basis, into SO(N) orbits. Combining these ideas some very elegant results emerge. We give a careful discussion of the pentagram operator, and then… ▽ More Klyachko and coworkers consider an orthogonality graph in the form of a pentagram, and in this way derive a Kochen-Specker inequality for spin 1 systems. In some low-dimensional situations Hilbert spaces are naturally organised, by a magical choice of basis, into SO(N) orbits. Combining these ideas some very elegant results emerge. We give a careful discussion of the pentagram operator, and then show how the pentagram underlies a number of other quantum "paradoxes", such as that of Hardy. △ Less

Submitted 25 September, 2009; originally announced September 2009.

Comments: 14 pages, 4 figures

Journal ref: Found. Phys. vol. 41 p. 41 (2011)

All Mutually Unbiased Bases in Dimensions Two to Five

Authors: Stephen Brierley, Stefan Weigert, Ingemar Bengtsson

Abstract: All complex Hadamard matrices in dimensions two to five are known. We use this fact to derive all inequivalent sets of mutually unbiased (MU) bases in low dimensions. We find a three-parameter family of triples of MU bases in dimension four and two inequivalent classes of MU triples in dimension five. We confirm that the complete sets of (d+1) MU bases are unique (up to equivalence) in dimensions… ▽ More All complex Hadamard matrices in dimensions two to five are known. We use this fact to derive all inequivalent sets of mutually unbiased (MU) bases in low dimensions. We find a three-parameter family of triples of MU bases in dimension four and two inequivalent classes of MU triples in dimension five. We confirm that the complete sets of (d+1) MU bases are unique (up to equivalence) in dimensions below six, using only elementary arguments for d less than five. △ Less

Submitted 6 August, 2010; v1 submitted 23 July, 2009; originally announced July 2009.

Comments: As the published version with minor changes

Journal ref: Quantum Info. & Comp. Vol 10, pages 0803-0820, 2010

`Classical' quantum states

Authors: Marek Kuś, Ingemar Bengtsson

Abstract: We show that several classes of mixed quantum states in finite-dimensional Hilbert spaces which can be characterized as being, in some respect, 'most classical' can be described and analyzed in a unified way. Among the states we consider are separable states of distinguishable particles, uncorrelated states of indistinguishable fermions and bosons, as well as mixed spin states decomposable into… ▽ More We show that several classes of mixed quantum states in finite-dimensional Hilbert spaces which can be characterized as being, in some respect, 'most classical' can be described and analyzed in a unified way. Among the states we consider are separable states of distinguishable particles, uncorrelated states of indistinguishable fermions and bosons, as well as mixed spin states decomposable into probabilistic mixtures of pure coherent states. The latter were the subject of the recent paper by Giraud et. al., who showed that in the lowest-dimensional, nontrivial case of spin 1, each such state can be decomposed into a mixture of eight pure states. Using our method we prove that in fact four pure states always suffice. △ Less

Submitted 6 May, 2009; originally announced May 2009.

Comments: revtex, 17 pages

Universality of state-independent violation of correlation inequalities for noncontextual theories

Authors: Piotr Badziag, Ingemar Bengtsson, Adan Cabello, Itamar Pitowsky

Abstract: We show that the state-independent violation of inequalities for noncontextual hidden variable theories introduced in [Phys. Rev. Lett. 101, 210401 (2008)] is universal, i.e., occurs for any quantum mechanical system in which noncontextuality is meaningful. We describe a method to obtain state-independent violations for any system of dimension d > 2. This universality proves that, according to q… ▽ More We show that the state-independent violation of inequalities for noncontextual hidden variable theories introduced in [Phys. Rev. Lett. 101, 210401 (2008)] is universal, i.e., occurs for any quantum mechanical system in which noncontextuality is meaningful. We describe a method to obtain state-independent violations for any system of dimension d > 2. This universality proves that, according to quantum mechanics, there are no "classical" states. △ Less

Submitted 28 July, 2009; v1 submitted 2 September, 2008; originally announced September 2008.

Comments: REVTeX4, 4 pages

Journal ref: Phys. Rev. Lett. 103 (2009) 050401

The Frame Potential, on Average

Authors: Ingemar Bengtsson, Helena Granstrom

Abstract: A SIC consists of N^2 equiangular unit vectors in an N dimensional Hilbert space. The frame potential is a function of N^2 unit vectors. It has a unique global minimum if the vectors form a SIC, and this property has been made use of in numerical searches for SICs. When the vectors form an orbit of the Heisenberg group the frame potential becomes a function of a single fiducial vector. We analyt… ▽ More A SIC consists of N^2 equiangular unit vectors in an N dimensional Hilbert space. The frame potential is a function of N^2 unit vectors. It has a unique global minimum if the vectors form a SIC, and this property has been made use of in numerical searches for SICs. When the vectors form an orbit of the Heisenberg group the frame potential becomes a function of a single fiducial vector. We analytically compute the average of this function over Hilbert space. We also compute averages when the fiducial vector is placed in certain special subspaces defined by the Clifford group. △ Less

Submitted 24 October, 2008; v1 submitted 21 August, 2008; originally announced August 2008.

Comments: 15 pages. Major mistake corrected in version 2

Journal ref: Open Sys. & Information Dyn. 16 (2009) 145

Spectra of phase point operators in odd prime dimensions and the extended Clifford group

Authors: D. M. Appleby, Ingemar Bengtsson, S. Chaturvedi

Abstract: We analyse the role of the Extended Clifford group in classifying the spectra of phase point operators within the framework laid out by Gibbons et al for setting up Wigner distributions on discrete phase spaces based on finite fields. To do so we regard the set of all the discrete phase spaces as a symplectic vector space over the finite field. Auxiliary results include a derivation of the conju… ▽ More We analyse the role of the Extended Clifford group in classifying the spectra of phase point operators within the framework laid out by Gibbons et al for setting up Wigner distributions on discrete phase spaces based on finite fields. To do so we regard the set of all the discrete phase spaces as a symplectic vector space over the finite field. Auxiliary results include a derivation of the conjugacy classes of ${\rm ESL}(2, \mathbb{F}_N)$. △ Less

Submitted 16 October, 2007; originally announced October 2007.

Comments: Latex, 19pages

A Curious Geometrical Fact About Entanglement

Authors: Ingemar Bengtsson

Abstract: I sketch how the set of pure quantum states forms a phase space, and then point out a curiousity concerning maximally entangled pure states: they form a minimal Lagrangian submanifold of the set of all pure states. I suggest that this curiousity should have an interesting physical interpretation. I sketch how the set of pure quantum states forms a phase space, and then point out a curiousity concerning maximally entangled pure states: they form a minimal Lagrangian submanifold of the set of all pure states. I suggest that this curiousity should have an interesting physical interpretation. △ Less

Submitted 24 July, 2007; originally announced July 2007.

Comments: Talk at the Vaxjo conference on Quantum Theory: Reconsideration of Foundations - 4

Three ways to look at mutually unbiased bases

Authors: Ingemar Bengtsson

Abstract: This is a review of the problem of Mutually Unbiased Bases in finite dimensional Hilbert spaces, real and complex. Also a geometric measure of "mubness" is introduced, and applied to some recent calculations in six dimensions (partly done by Bjorck and by Grassl). Although this does not yet solve any problem, some appealing structures emerge. This is a review of the problem of Mutually Unbiased Bases in finite dimensional Hilbert spaces, real and complex. Also a geometric measure of "mubness" is introduced, and applied to some recent calculations in six dimensions (partly done by Bjorck and by Grassl). Although this does not yet solve any problem, some appealing structures emerge. △ Less

Submitted 25 October, 2006; originally announced October 2006.

Comments: 18 pages. Talk at the Vaxjo Conference on Foundations of Probability and Physics, June 2006

Mubs and Hadamards of Order Six

Authors: Ingemar Bengtsson, Wojciech Bruzda, Asa Ericsson, Jan-Åke Larsson, Wojciech Tadej, Karol Zyczkowski

Abstract: We report on a search for mutually unbiased bases (MUBs) in 6 dimensions. We find only triplets of MUBs, and thus do not come close to the theoretical upper bound 7. However, we point out that the natural habitat for sets of MUBs is the set of all complex Hadamard matrices of the given order, and we introduce a natural notion of distance between bases in Hilbert space. This allows us to draw a d… ▽ More We report on a search for mutually unbiased bases (MUBs) in 6 dimensions. We find only triplets of MUBs, and thus do not come close to the theoretical upper bound 7. However, we point out that the natural habitat for sets of MUBs is the set of all complex Hadamard matrices of the given order, and we introduce a natural notion of distance between bases in Hilbert space. This allows us to draw a detailed map of where in the landscape the MUB triplets are situated. We use available tools, such as the theory of the discrete Fourier transform, to organise our results. Finally we present some evidence for the conjecture that there exists a four dimensional family of complex Hadamard matrices of order 6. If this conjecture is true the landscape in which one may search for MUBs is much larger than previously thought. △ Less

Submitted 1 June, 2007; v1 submitted 19 October, 2006; originally announced October 2006.

Comments: 33 pages, 3 figures. References added in v2

Journal ref: J. Math. Phys. 48, 052106 (2007)

An Introduction to Quantum Entanglement: a Geometric Approach

Authors: Karol Zyczkowski, Ingemar Bengtsson

Abstract: We present a concise introduction to quantum entanglement. Concentrating on bipartite systems we review the separability criteria and measures of entanglement. We focus our attention on geometry of the sets of separable and maximally entangled states. We treat in detail the two-qubit system and emphasise in what respect this case is a special one. We present a concise introduction to quantum entanglement. Concentrating on bipartite systems we review the separability criteria and measures of entanglement. We focus our attention on geometry of the sets of separable and maximally entangled states. We treat in detail the two-qubit system and emphasise in what respect this case is a special one. △ Less

Submitted 27 June, 2006; originally announced June 2006.

Comments: 41 pages with 17 figures, based on a chapter of our book "Geometry of Quantum States: An Introduction to Quantum Entanglement" published by Cambridge University Press in May 2006, see http://chaos.if.uj.edu.pl/~karol/geometry.htm

Geometrical Statistics--Classical and Quantum

Authors: Ingemar Bengtsson

Abstract: This is a review of the ideas behind the Fisher--Rao metric on classical probability distributions, and how they generalize to metrics on density matrices. As is well known, the unique Fisher--Rao metric then becomes a large family of monotone metrics. Finally I focus on the Bures--Uhlmann metric, and discuss a recent result that connects the geometric operator mean to a geodesic billiard on the… ▽ More This is a review of the ideas behind the Fisher--Rao metric on classical probability distributions, and how they generalize to metrics on density matrices. As is well known, the unique Fisher--Rao metric then becomes a large family of monotone metrics. Finally I focus on the Bures--Uhlmann metric, and discuss a recent result that connects the geometric operator mean to a geodesic billiard on the set of density matrices. △ Less

Submitted 2 September, 2005; originally announced September 2005.

Comments: Talk at the third Vaxjo conference on Quantum Theory: Reconsideration of foundations

On the structure of the body of states with positive partial transpose

Authors: Stanislaw Szarek, Ingemar Bengtsson, Karol Zyczkowski

Abstract: We show that the convex set of separable mixed states of the 2 x 2 system is a body of constant height. This fact is used to prove that the probability to find a random state to be separable equals 2 times the probability to find a random boundary state to be separable, provided the random states are generated uniformly with respect to the Hilbert-Schmidt (Euclidean) distance. An analogous prope… ▽ More We show that the convex set of separable mixed states of the 2 x 2 system is a body of constant height. This fact is used to prove that the probability to find a random state to be separable equals 2 times the probability to find a random boundary state to be separable, provided the random states are generated uniformly with respect to the Hilbert-Schmidt (Euclidean) distance. An analogous property holds for the set of positive-partial-transpose states for an arbitrary bipartite system. △ Less

Submitted 2 December, 2005; v1 submitted 1 September, 2005; originally announced September 2005.

Comments: 10 pages, 1 figure; ver. 2 - minor changes, new proof of lemma 3

Journal ref: J. Phys. A 39 L119-L126 (2006)

Mutually Unbiased Bases and The Complementarity Polytope

Authors: Ingemar Bengtsson, Asa Ericsson

Abstract: A complete set of N+1 mutually unbiased bases (MUBs) forms a convex polytope in the N^2-1 dimensional space of NxN Hermitian matrices of unit trace. As a geometrical object such a polytope exists for all values of N, while it is unknown whether it can be made to lie within the body of density matrices unless N=p^k, where p is prime. We investigate the polytope in order to see if some values of N… ▽ More A complete set of N+1 mutually unbiased bases (MUBs) forms a convex polytope in the N^2-1 dimensional space of NxN Hermitian matrices of unit trace. As a geometrical object such a polytope exists for all values of N, while it is unknown whether it can be made to lie within the body of density matrices unless N=p^k, where p is prime. We investigate the polytope in order to see if some values of N are geometrically singled out. One such feature is found: It is possible to select N^2 facets in such a way that their centers form a regular simplex if and only if there exists an affine plane of order N. Affine planes of order N are known to exist if N=p^k; perhaps they do not exist otherwise. However, the link to the existence of MUBs--if any--remains to be found. △ Less

Submitted 15 October, 2004; originally announced October 2004.

Comments: 18 pages, 3 figures

Report number: USITP 04-7

Journal ref: Open Sys. & Information Dyn. (2005) 12: 107-120

MUBs, polytopes, and finite geometries

Authors: Ingemar Bengtsson

Abstract: A complete set of N+1 mutually unbiased bases (MUBs) exists in Hilbert spaces of dimension N = p^k, where p is a prime number. They mesh naturally with finite affine planes of order N, that exist when N = p^k. The existence of MUBs for other values of N is an open question, and the same is true for finite affine planes. I explore the question whether the existence of complete sets of MUBs is dir… ▽ More A complete set of N+1 mutually unbiased bases (MUBs) exists in Hilbert spaces of dimension N = p^k, where p is a prime number. They mesh naturally with finite affine planes of order N, that exist when N = p^k. The existence of MUBs for other values of N is an open question, and the same is true for finite affine planes. I explore the question whether the existence of complete sets of MUBs is directly related to the existence of finite affine planes. Both questions can be shown to be geometrical questions about a convex polytope, but not in any obvious way the same question. △ Less

Submitted 5 July, 2004; v1 submitted 23 June, 2004; originally announced June 2004.

Comments: 15 pages; talk at the Vaxjo conference on probability and physics

Report number: USITP 04-4

The Importance of Being Unistochastic

Authors: Ingemar Bengtsson

Abstract: A bistochastic matrix is a square matrix with positive entries such that rows and columns sum to unity. A unistochastic matrix is a bistochastic matrix whose matrix elements are the absolute values squared of a unitary matrix. We can now ask questions such as when a given bistochastic matrix is unistochastic. I review these questions: Why they are asked, why they are difficult to answer, and wha… ▽ More A bistochastic matrix is a square matrix with positive entries such that rows and columns sum to unity. A unistochastic matrix is a bistochastic matrix whose matrix elements are the absolute values squared of a unitary matrix. We can now ask questions such as when a given bistochastic matrix is unistochastic. I review these questions: Why they are asked, why they are difficult to answer, and what is known about them. △ Less

Submitted 11 March, 2004; originally announced March 2004.

Comments: 8 pages, contribution to the Second Vaxjo Conference of Quantum Theory: Reconsideration of Foundations

Report number: USITP 03-12

Birkhoff's polytope and unistochastic matrices, N=3 and N=4

Authors: Ingemar Bengtsson, Asa Ericsson, Marek Kus, Wojciech Tadej, Karol Zyczkowski

Abstract: The set of bistochastic or doubly stochastic N by N matrices form a convex set called Birkhoff's polytope, that we describe in some detail. Our problem is to characterize the set of unistochastic matrices as a subset of Birkhoff's polytope. For N=3 we present fairly complete results. For N=4 partial results are obtained. An interesting difference between the two cases is that there is a ball of… ▽ More The set of bistochastic or doubly stochastic N by N matrices form a convex set called Birkhoff's polytope, that we describe in some detail. Our problem is to characterize the set of unistochastic matrices as a subset of Birkhoff's polytope. For N=3 we present fairly complete results. For N=4 partial results are obtained. An interesting difference between the two cases is that there is a ball of unistochastic matrices around the van der Waerden matrix for N=3, while this is not the case for N=4. △ Less

Submitted 24 February, 2004; v1 submitted 19 February, 2004; originally announced February 2004.

Comments: 30 pages, 4 figures

Journal ref: Final version in Commun. Math. Phys. 259, 307-324 (2005)