Showing 1–50 of 94 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

Impact of limited temporal resolution on 4D Monte Carlo dose calculation for intensity modulated proton therapy

Authors: Ivar Bengtsson, Erik Engwall, Albin Fredriksson, Lars Glimelius

Abstract: The interplay between the beam delivery time structure and the patient motion makes 4D dose calculation (4DDC) important when treating moving tumors with intensity modulated proton therapy. 4DDC based on phase sorting of a 4DCT suffers from approximation errors in the assignment of spots to phases, since the temporal image resolution of the 4DCT is much lower than that of the delivery time structu… ▽ More The interplay between the beam delivery time structure and the patient motion makes 4D dose calculation (4DDC) important when treating moving tumors with intensity modulated proton therapy. 4DDC based on phase sorting of a 4DCT suffers from approximation errors in the assignment of spots to phases, since the temporal image resolution of the 4DCT is much lower than that of the delivery time structure. In this study we investigate and address this limitation by a method which applies registration-based interpolation between phase images to increase the temporal resolution of the 4DCT. First, each phase image is deformed toward its neighbor using the deformation vector field that aligns them, scaled by the desired time step. Then Monte Carlo-based 4DDC is performed on both the original 4DCT (10 phases), and extended 4DCTs at increasingly fine temporal resolutions. The method was evaluated on seven lung cancer patients treated with three robustly optimized beams, with simulated delivery time structures. Errors resulting from limited temporal resolution were measured by comparisons of doses computed using extended 4DCTs of various resolutions. The dose differences were quantified by gamma pass rates and volumes of the CTV that had dose differences above certain thresholds. The ground truth was taken as the dose computed using 100 phase images, and was justified by considering the diminishing effects of adding more images. The effect on dose-averaged linear energy transfer was also included in the analysis. A resolution of 20 (30) phase images per breathing cycle was sufficient to bring mean CTV $γ$-pass rates for $3\%/3$mm ($2\%/2$mm) above 99$\%$. For the patients with well behaved image data, mean CTV $γ$-pass rates for $1\%/1$mm surpassed 99$\%$ at a resolution of 50 images. △ Less

Submitted 12 October, 2023; originally announced October 2023.

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

Implications of Clinical Target Distribution Weighted Radiotherapy Optimization

Authors: Ivar Bengtsson, Anders Forsgren, Albin Fredriksson

Abstract: Delineating and planning with respect to regions suspected to contain microscopic tumor cells is an inherently uncertain task in radiotherapy. The recently proposed \textit{clinical target distribution} (CTD) is an alternative to the conventional \textit{clinical target volume} (CTV), with initial promise. Previously, using the CTD in planning has primarily been evaluated in comparison to a conven… ▽ More Delineating and planning with respect to regions suspected to contain microscopic tumor cells is an inherently uncertain task in radiotherapy. The recently proposed \textit{clinical target distribution} (CTD) is an alternative to the conventional \textit{clinical target volume} (CTV), with initial promise. Previously, using the CTD in planning has primarily been evaluated in comparison to a conventionally defined CTV. We propose to compare the CTD approach against CTV margins of various sizes, dependent on the threshold at which the tumor infiltration probability is considered relevant. First, a theoretical framework is presented, concerned with optimizing the trade-off between the probability of sufficient target coverage and the penalties associated with high dose. From this framework we derive conventional CTV-based planning and contrast it with the CTD approach. The approaches are contextualized further by comparison with established methods for managing geometric uncertainties. Second, for both a one- and a three-dimensional phantom, we compare a set of CTD plans created by varying the target objective function weight against a set of plans created by varying both the target weight and the CTV margin size. The results show that CTD-based planning gives slightly inefficient trade-offs between the evaluation criteria for a case in which near-minimum target dose is the highest priority. However, in a case when sparing a proximal organ at risk is critical, the CTD is better at maintaining sufficiently high dose toward the center of the target. We conclude that CTD-based planning is a computationally efficient method for planning with respect to delineation uncertainties, but that the inevitable effects on the dose distribution should not be disregarded. △ Less

Submitted 12 October, 2022; originally announced October 2022.

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

Energy in Newtonian gravity

Authors: Ingemar Bengtsson, Tobias Eklund

Abstract: In Newtonian gravity it is a moot question whether energy should be localized in the field or inside matter. An argument from relativity suggests a compromise in which the contribution from the field in vacuum is positive definite. We show that the same compromise is implied by Noether's theorem applied to a variational principle for perfect fluids, if we assume Dirichlet boundary conditions on th… ▽ More In Newtonian gravity it is a moot question whether energy should be localized in the field or inside matter. An argument from relativity suggests a compromise in which the contribution from the field in vacuum is positive definite. We show that the same compromise is implied by Noether's theorem applied to a variational principle for perfect fluids, if we assume Dirichlet boundary conditions on the potential. We then analyse a thought experiment due to Bondi and McCrea that gives a clean example of inductive energy transfer by gravity. Some history of the problem is included △ Less

Submitted 4 December, 2022; v1 submitted 13 December, 2021; originally announced December 2021.

Comments: Version 2 has 18 pages, and was much improved by referees

Journal ref: Found. Phys. 53 (2023) 15

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 eavesdrop** 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

The Hawking energy on photon surfaces

Authors: Ingemar Bengtsson

Abstract: The Hawking energy has a monotonicity property under the inverse mean curvature flow on totally umbilic hypersurfaces with constant scalar curvature in Einstein spaces. It grows if the hypersurface is spacelike, and decreases if it is timelike. Timelike examples include Minkowski and de Sitter hyperboloids, and photon surfaces in Schwarzschild. The Hawking energy has a monotonicity property under the inverse mean curvature flow on totally umbilic hypersurfaces with constant scalar curvature in Einstein spaces. It grows if the hypersurface is spacelike, and decreases if it is timelike. Timelike examples include Minkowski and de Sitter hyperboloids, and photon surfaces in Schwarzschild. △ Less

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

Comments: 9 pages; improved by two referees

Journal ref: Gen. Relativ. Gravit. (2020) 52:52

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

Black Hole Lattices Under the Microscope

Authors: Ingemar Bengtsson, Irina Galstyan

Abstract: It is known how to choose initial data for Einstein's equations describing an arbitrary number of black holes at a moment of time symmetry. This idea has been used to give insight into the cosmological averaging problem. We study the local curvature of the initial data space, for configurations of 8, 120, or 600 black holes obtained by choosing points either regularly or randomly on the 3-sphere.… ▽ More It is known how to choose initial data for Einstein's equations describing an arbitrary number of black holes at a moment of time symmetry. This idea has been used to give insight into the cosmological averaging problem. We study the local curvature of the initial data space, for configurations of 8, 120, or 600 black holes obtained by choosing points either regularly or randomly on the 3-sphere. We conclude that the asymptotic regions are remarkably close to that of Schwarzschild, while the region in between shows interesting behaviour. The cosmological back reaction as defined in the recent literature is actually a bit smaller for the random configurations. △ Less

Submitted 28 February, 2018; originally announced February 2018.

Comments: 17 pages, 6 figures

Journal ref: Class. Quantum Grav. 35 (2018) 145004

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

A Toy Penrose Inequality and its Proof

Authors: Ingemar Bengtsson, Emma Jakobsson

Abstract: We formulate and prove a toy version of the Penrose inequality. The formulation mimics the original Penrose inequality in which the scenario is the following: A shell of null dust collapses in Minkowski space and a marginally trapped surface forms on it. Through a series of arguments relying on established assumptions, an inequality relating the area of this surface to the total energy of the shel… ▽ More We formulate and prove a toy version of the Penrose inequality. The formulation mimics the original Penrose inequality in which the scenario is the following: A shell of null dust collapses in Minkowski space and a marginally trapped surface forms on it. Through a series of arguments relying on established assumptions, an inequality relating the area of this surface to the total energy of the shell is formulated. Then a further reformulation turns the inequality into a statement relating the area and the outer null expansion of a class of surfaces in Minkowski space itself. The inequality has been proven to hold true in many special cases, but there is no proof in general. In the toy version here presented, an analogous inequality in (2+1)-dimensional anti-de Sitter space turns out to hold true. △ Less

Submitted 8 November, 2016; v1 submitted 22 August, 2016; originally announced August 2016.

Comments: 12 pages

Journal ref: Gen. Relativ. Gravit. (2016) 48:156

Thermodynamic Metrics and Black Hole Physics

Authors: Jan Åman, Ingemar Bengtsson, Narit Pidokrajt

Abstract: We give a brief survey of thermodynamic metrics, in particular the Hessian of the entropy function, and how they apply to black hole thermodynamics. We then provide a detailed discussion of the Gibbs surface of Kerr black holes. In particular we analyze its global properties, and extend it to take the entropy of the inner horizon into account. A brief discussion of Kerr-Newman black holes is inclu… ▽ More We give a brief survey of thermodynamic metrics, in particular the Hessian of the entropy function, and how they apply to black hole thermodynamics. We then provide a detailed discussion of the Gibbs surface of Kerr black holes. In particular we analyze its global properties, and extend it to take the entropy of the inner horizon into account. A brief discussion of Kerr-Newman black holes is included. △ Less

Submitted 28 October, 2015; v1 submitted 22 July, 2015; originally announced July 2015.

Comments: 21 pages, new figures added

Journal ref: Entropy 2015, 17(9), 6503-6518

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

Black holes: Their large interiors

Authors: Ingemar Bengtsson, Emma Jakobsson

Abstract: Christodoulou and Rovelli have remarked on the large interiors possessed by static black holes. We amplify their remarks, and extend them to the spinning case. Christodoulou and Rovelli have remarked on the large interiors possessed by static black holes. We amplify their remarks, and extend them to the spinning case. △ Less

Submitted 20 March, 2015; v1 submitted 6 February, 2015; originally announced February 2015.

Comments: 6 pages, 2 figures. To appear in Modern Physics Letters A

Journal ref: Mod. Phys. Lett. A, Vol. 30, No. 21 (2015) 1550103

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

Classics Illustrated: Limits of Spacetimes

Authors: Ingemar Bengtsson, Sören Holst, Emma Jakobsson

Abstract: We carefully study the $e \rightarrow m$ and $e \rightarrow 0$ limits of the Reissner-Nordström spacetime using Geroch's definition of limits of spacetimes. This is implemented by embedding the one-parameter family of spacetimes in anti-de Sitter space, and as a result we obtain metrically correct Penrose diagrams. For $e \rightarrow m$ two distinct limits are studied. We carefully study the $e \rightarrow m$ and $e \rightarrow 0$ limits of the Reissner-Nordström spacetime using Geroch's definition of limits of spacetimes. This is implemented by embedding the one-parameter family of spacetimes in anti-de Sitter space, and as a result we obtain metrically correct Penrose diagrams. For $e \rightarrow m$ two distinct limits are studied. △ Less

Submitted 6 October, 2014; v1 submitted 17 June, 2014; originally announced June 2014.

Comments: 23 pages, 13 figures

Journal ref: Class. Quantum Grav. 31 (2014) 205008

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

Trapped surfaces in Oppenheimer-Snyder black holes

Authors: Ingemar Bengtsson, Emma Jakobsson, José M. M. Senovilla

Abstract: The Oppenheimer-Snyder solution models a homogeneous round dust cloud collapsing to a black hole. Inside its event horizon there is a region through which trapped surfaces pass. We try to determine exactly where the boundary of this region meets the centre of the cloud. We present explicit examples of the relevant trapped (topological) spheres; they extend into the exterior vacuum region, and are… ▽ More The Oppenheimer-Snyder solution models a homogeneous round dust cloud collapsing to a black hole. Inside its event horizon there is a region through which trapped surfaces pass. We try to determine exactly where the boundary of this region meets the centre of the cloud. We present explicit examples of the relevant trapped (topological) spheres; they extend into the exterior vacuum region, and are carefully matched at the junction between the cloud and the vacuum. △ Less

Submitted 27 June, 2013; originally announced June 2013.

Comments: 34 pages, 7 figures

Journal ref: Phys. Rev. D 88 (2013) 064012

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)

What are extremal Kerr Killing vectors up to?

Authors: Jan E. Aman, Ingemar Bengtsson, Helgi F. Runarsson

Abstract: In the extremal Kerr spacetime the horizon Killing vector field is null on a timelike hypersurface crossing the horizon at a fixed latitude, and spacelike on both sides of the horizon in the equatorial plane. We explain in some detail how this behaviour is consistent with the existence of timelike Killing vectors everywhere off the horizon, and how it arises in a limit from the Kerr spacetime wher… ▽ More In the extremal Kerr spacetime the horizon Killing vector field is null on a timelike hypersurface crossing the horizon at a fixed latitude, and spacelike on both sides of the horizon in the equatorial plane. We explain in some detail how this behaviour is consistent with the existence of timelike Killing vectors everywhere off the horizon, and how it arises in a limit from the Kerr spacetime where there is a similar hypersurface strictly outside the horizon. △ Less

Submitted 27 June, 2012; originally announced June 2012.

Comments: 12 pages, 3 figures

Journal ref: Class. Quantum Grav. 29 215017 (2012)

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

Families of complex Hadamard matrices

Authors: Nuno Barros e Sa, Ingemar Bengtsson

Abstract: What is the dimension of a smooth family of complex Hadamard matrices including the Fourier matrix? We address this problem with a power series expansion. Studying all dimensions up to 100 we find that the first order result is misleading unless the dimension is 6, or a power of a prime. In general the answer depends critically on the prime number decomposition of the dimension. Our results sugges… ▽ More What is the dimension of a smooth family of complex Hadamard matrices including the Fourier matrix? We address this problem with a power series expansion. Studying all dimensions up to 100 we find that the first order result is misleading unless the dimension is 6, or a power of a prime. In general the answer depends critically on the prime number decomposition of the dimension. Our results suggest that a general theory is possible. We discuss the case of dimension 12 in detail, and argue that the solution consists of two 13-dimensional families intersecting in a previously known 9-dimensional family. A precise conjecture for all dimensions equal to a prime times another prime squared is formulated. △ Less

Submitted 8 November, 2012; v1 submitted 6 February, 2012; originally announced February 2012.

Comments: Version 2 46 pages and 3 figures, in response to a referee report of 51 pages

Journal ref: Lin. Alg. Appl. 438 (2013) 2929

Some examples of trapped surfaces

Authors: Ingemar Bengtsson

Abstract: We present some simple pen and paper examples of trapped surfaces in order to help visualising this key concept of the theory of gravitational collapse. We collect these examples from time-symmetric initial data, 2+1 dimensions, collapsing null shells, and the Vaidya solution. We present some simple pen and paper examples of trapped surfaces in order to help visualising this key concept of the theory of gravitational collapse. We collect these examples from time-symmetric initial data, 2+1 dimensions, collapsing null shells, and the Vaidya solution. △ Less

Submitted 22 December, 2011; originally announced December 2011.

Comments: 21 pages, 8 figures; contribution to "Black Holes: New Horizons", edited by S. Hayward

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)

The region with trapped surfaces in spherical symmetry, its core, and their boundaries

Authors: Ingemar Bengtsson, José M. M. Senovilla

Abstract: We consider the region $\mathscr{T}$ in spacetime containing future-trapped closed surfaces and its boundary $\B$, and derive some of their general properties. We then concentrate on the case of spherical symmetry, but the methods we use are general and applicable to other situations. We argue that closed trapped surfaces have a non-local property, "clairvoyance", which is inherited by $\B$. We pr… ▽ More We consider the region $\mathscr{T}$ in spacetime containing future-trapped closed surfaces and its boundary $\B$, and derive some of their general properties. We then concentrate on the case of spherical symmetry, but the methods we use are general and applicable to other situations. We argue that closed trapped surfaces have a non-local property, "clairvoyance", which is inherited by $\B$. We prove that $\B$ is not a marginally trapped tube in general, and that it can have portions in regions whose whole past is flat. For asymptotically flat black holes, we identify a general past barrier, well inside the event horizon, to the location of $\B$ under physically reasonable conditions. We also define the core $\mathscr{Z}$ of the trapped region as that part of $\mathscr{T}$ which is indispensable to sustain closed trapped surfaces. We prove that the unique spherically symmetric dynamical horizon is the boundary of such a core, and we argue that this may serve to single it out. To illustrate the results, some explicit examples are discussed, namely Robertson-Walker geometries and the imploding Vaidya spacetime. △ Less

Submitted 18 January, 2011; v1 submitted 1 September, 2010; originally announced September 2010.

Comments: 70 pages, 14 figures. Figure 6 has been replaced, and corrected. Minor changes around Propositions 10.3 and 10.4, and some typos corrected

Journal ref: Phys.Rev.D83:044012,2011

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 swap**, 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

Where are the trapped surfaces?

Authors: Jan E. Aman, Ingemar Bengtsson, José M. M. Senovilla

Abstract: We discuss the boundary of the spacetime region through each point of which a trapped surface passes, first in some simple soluble examples, and then in the self-similar Vaidya solution. For the latter the boundary must lie strictly inside the event horizon. We present a class of closed trapped surfaces extending strictly outside the apparent horizon. We discuss the boundary of the spacetime region through each point of which a trapped surface passes, first in some simple soluble examples, and then in the self-similar Vaidya solution. For the latter the boundary must lie strictly inside the event horizon. We present a class of closed trapped surfaces extending strictly outside the apparent horizon. △ Less

Submitted 18 December, 2009; originally announced December 2009.

Comments: 6 pages, 1 figure; talk at the Spanish Relativity Meeting ERE09 in Bilbao

Journal ref: J.Phys.Conf.Ser.229:012004,2010

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)