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