The following paper is part of the authors' response to an invitation from
the Constitutional Affairs Committee (AFCO) of the European Parliament to
advise on mathematical methods for the allocation of Parliamentary seats
between the 27 Member States following the planned departure of the United
Kingdom in 2019. The authors were requested to propose a method that respects
the usual conditions of EU law, and with the additional property that no Member
State (other than the UK) receives fewer that its 2014 allocation. This paper
was delivered to the AFCO on 21 August 2017, for consideration by the AFCO at
its meeting in Strasbourg on 11 September 2017.
We introduce a method to determine whether a given generalised quantum
measurement is isolated or it belongs to a family of measurements having the
same prescribed symmetry. The technique proposed reduces to solving a linear
system of equations in some relevant cases. As consequence, we provide a simple
derivation of the maximal family of Symmetric Informationally Complete
measurements (SIC)-POVM in dimension 3. Furthermore, we show that the following
remarkable geometrical structures are isolated, so that free parameters cannot
be introduced: (a) maximal sets of mutually unbiased bases in prime power
dimensions from 4 to 16, (b) SIC-POVM in dimensions from 4 to 16 and (c)
contextuality Kochen-Specker sets in dimension 3, 4 and 6, composed of 13, 18
and 21 vectors, respectively.
Heterogeneous bipartite quantum pure states, composed of two subsystems with
a different number of levels, cannot have both reductions maximally mixed. In
this work, we demonstrate existence of a wide range of highly entangled states
of heterogeneous multipartite systems consisting of $N>2$ parties such that
every reduction to one and two parties is maximally mixed. Two constructions of
generating genuinely multipartite maximally entangled states of heterogeneous
systems for an arbitrary number of subsystems are presented. Such states are
related to quantum error correction codes over mixed alphabets and mixed
orthogonal arrays. Additionally, we show the advantages of considering
heterogeneous systems in practical implementations of multipartite steering.
A generalisation of the Ginibre ensemble of non-Hermitian random square
matrices is introduced. The corresponding probability measure is induced by the
ensemble of rectangular Gaussian matrices via a quadratisation procedure. We
derive the joint probability density of eigenvalues for such induced Ginibre
ensemble and study various spectral correlation functions for complex and real
matrices, and analyse universal behaviour in the limit of large dimensions. In
this limit the eigenvalues of the induced Ginibre ensemble cover uniformly a
ring in the complex plane. The real induced Ginibre ensemble is shown to be
useful to describe statistical properties of evolution operators associated
with random quantum operations, for which the dimensions of the input state and
the output state do differ.
Ensembles of random stochastic and bistochastic matrices are investigated.
While all columns of a random stochastic matrix can be chosen independently,
the rows and columns of a bistochastic matrix have to be correlated. We
evaluate the probability measure induced into the Birkhoff polytope of
bistochastic matrices by applying the Sinkhorn algorithm to a given ensemble of
random stochastic matrices. For matrices of order N=2 we derive explicit
formulae for the probability distributions induced by random stochastic
matrices with columns distributed according to the Dirichlet distribution. For
arbitrary $N$ we construct an initial ensemble of stochastic matrices which
allows one to generate random bistochastic matrices according to a distribution
locally flat at the center of the Birkhoff polytope. The value of the
probability density at this point enables us to obtain an estimation of the
volume of the Birkhoff polytope, consistent with recent asymptotic results.
We derive several bounds on fidelity between quantum states. In particular we
show that fidelity is bounded from above by a simple to compute quantity we
call super--fidelity. It is analogous to another quantity called sub--fidelity.
For any two states of a two--dimensional quantum system (N=2) all three
quantities coincide. We demonstrate that sub-- and super--fidelity are concave
functions. We also show that super--fidelity is super--multiplicative while
sub--fidelity is sub--multiplicative and design feasible schemes to measure
these quantities in an experiment. Super--fidelity can be used to define a
distance between quantum states. With respect to this metric the set of quantum
states forms a part of a $N^2-1$ dimensional hypersphere.
We analyse the problem of finding sets of quantum states that can be
deterministically discriminated. From a geometric point of view this problem is
equivalent to that of embedding a simplex of points whose distances are maximal
with respect to the Bures distance (or trace distance). We derive upper and
lower bounds for the trace distance and for the fidelity between two quantum
states, which imply bounds for the Bures distance between the unitary orbits of
both states. We thus show that when analysing minimal and maximal distances
between states of fixed spectra it is sufficient to consider diagonal states
only. Hence considering optimal discrimination, given freedom up to unitary
orbits, it is sufficient to consider diagonal states. This is illustrated
geometrically in terms of Weyl chambers.
An ensemble of random unistochastic (orthostochastic) matrices is defined by
taking squared moduli of elements of random unitary (orthogonal) matrices
distributed according to the Haar measure on U(N) (or O(N), respectively). An
ensemble of symmetric unistochastic matrices is obtained with use of unitary
symmetric matrices pertaining to the circular orthogonal ensemble. We study the
distribution of complex eigenvalues of bistochastic, unistochastic and
ortostochastic matrices in the complex plane. We compute averages (entropy,
traces) over the ensembles of unistochastic matrices and present inequalities
concerning the entropies of products of bistochastic matrices.
We show that many topological and geometrical properties of complex
projective space can be understood just by looking at a suitably constructed
picture. The idea is to view CP^n as a set of flat tori parametrized by the
positive octant of a round sphere. We pay particular attention to submanifolds
of constant entanglement in CP^3 and give a few new results concerning them.
We analyze the problem of evolution in a system with stochastic perturbation
and point out that analytic properties of the noise present in the system might
determine spectral properties of the evolution operator (Frobenius-Perron
operator). We also propose a method for approximation of the spectrum and
eigenvectors of the FP-operator by applying a suitable noise. Moreover we
demonstrate that the eigenvalues of the FP-operator located outside the
essential spectrum are robust not only against local perturbation but also
against the non local perturbation and that these stable eigenvalues have a
direct physical meaning: they determine the rate of the exponential decay of
correlation in the system.
We analyze the density of roots of random polynomials where each complex
coefficient is constructed of a random modulus and a fixed, deterministic
phase. The density of roots is shown to possess a singular component only in
the case for which the phases increase linearly with the index of coefficients.
This means that, contrary to earlier belief, eigenvectors of a typical quantum
chaotic system with some antiunitary symmetry will not display a clustering
curve in the stellar representation. Moreover, a class of time-reverse
invariant quantum systems is shown, for which spectra display fluctuations
characteristic of orthogonal ensemble, while eigenvectors confer to predictions
of unitary ensemble.