Searcharxiv⌕ Search

arXiv subjects

Ingemar Bengtsson

Publications and source records attributed to Ingemar Bengtsson.

At least 55 records · Page 3Linked to original sources

Systems of Imprimitivity for the Clifford Group

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).

quant-ph↗

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

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.

quant-ph↗

Dissecting the qutrit

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.

quant-ph↗

What are extremal Kerr Killing vectors up to?

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.

gr-qc↗

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

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.

quant-ph↗

A remarkable representation of the Clifford group

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.

quant-ph↗

How much complementarity?

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.

quant-ph↗

Some examples of trapped surfaces

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.

gr-qc↗

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

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.

quant-ph↗

A Kochen-Specker inequality from a SIC

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.

quant-ph↗

The monomial representations of the Clifford group

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.

quant-ph↗

From SICs and MUBs to Eddington

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.

math-ph↗

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

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.

gr-qc↗

On mutually unbiased bases

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]

quant-ph↗

All Mutually Unbiased Bases in Dimensions Two to Five

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.

math-ph↗

Where are the trapped surfaces?

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.

gr-qc↗

Pentagrams and paradoxes

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.

quant-ph↗

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

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.

quant-ph↗