Local asymptotic normality for qubit states

We consider n identically prepared qubits and study the asymptotic properties of the joint state \rho^{\otimes n}. We show that for all individual states \rho situated in a local neighborhood of size 1/\sqrt{n} of a fixed state \rho^0, the joint state converges to a displaced thermal equilibrium state of a quantum harmonic oscillator. The precise meaning of the convergence is that there exist physical transformations T_{n} (trace preserving quantum channels) which map the qubits states asymptotically close to their corresponding oscillator state, uniformly over all states in the local neighborhood. A few consequences of the main result are derived. We show that the optimal joint measurement in the Bayesian set-up is also optimal within the pointwise approach. Moreover, this measurement converges to the heterodyne measurement which is the optimal joint measurement of position and momentum for the quantum oscillator. A problem of local state discrimination is solved using local asymptotic normality.Comment: 16 pages, 3 figures, published versio

Two quantum analogues of Fisher information from a large deviation viewpoint of quantum estimation

We discuss two quantum analogues of Fisher information, symmetric logarithmic derivative (SLD) Fisher information and Kubo-Mori-Bogoljubov (KMB) Fisher information from a large deviation viewpoint of quantum estimation and prove that the former gives the true bound and the latter gives the bound of consistent superefficient estimators. In another comparison, it is shown that the difference between them is characterized by the change of the order of limits.Comment: LaTeX with iopart.cls, iopart12.clo, iopams.st

On the volume of the set of mixed entangled states II

The problem of of how many entangled or, respectively, separable states there are in the set of all quantum states is investigated. We study to what extent the choice of a measure in the space of density matrices describing N--dimensional quantum systems affects the results obtained. We demonstrate that the link between the purity of the mixed states and the probability of entanglement is not sensitive to the measure chosen. Since the criterion of partial transposition is not sufficient to distinguish all separable states for N > 6, we develop an efficient algorithm to calculate numerically the entanglement of formation of a given mixed quantum state, which allows us to compute the volume of separable states for N=8 and to estimate the volume of the bound entangled states in this case.Comment: 14 pages in Latex, Revtex + epsf; 7 figures in .ps included (one new figure in the revised version, several minor changes

Hilbert--Schmidt volume of the set of mixed quantum states

We compute the volume of the convex N^2-1 dimensional set M_N of density matrices of size N with respect to the Hilbert-Schmidt measure. The hyper--area of the boundary of this set is also found and its ratio to the volume provides an information about the complex structure of M_N. Similar investigations are also performed for the smaller set of all real density matrices. As an intermediate step we analyze volumes of the unitary and orthogonal groups and of the flag manifolds.Comment: 13 revtex pages, ver 3: minor improvement

Unknown Quantum States: The Quantum de Finetti Representation

We present an elementary proof of the quantum de Finetti representation theorem, a quantum analogue of de Finetti's classical theorem on exchangeable probability assignments. This contrasts with the original proof of Hudson and Moody [Z. Wahrschein. verw. Geb. 33, 343 (1976)], which relies on advanced mathematics and does not share the same potential for generalization. The classical de Finetti theorem provides an operational definition of the concept of an unknown probability in Bayesian probability theory, where probabilities are taken to be degrees of belief instead of objective states of nature. The quantum de Finetti theorem, in a closely analogous fashion, deals with exchangeable density-operator assignments and provides an operational definition of the concept of an ``unknown quantum state'' in quantum-state tomography. This result is especially important for information-based interpretations of quantum mechanics, where quantum states, like probabilities, are taken to be states of knowledge rather than states of nature. We further demonstrate that the theorem fails for real Hilbert spaces and discuss the significance of this point.Comment: 30 pages, 2 figure

Bures volume of the set of mixed quantum states

We compute the volume of the N^2-1 dimensional set M_N of density matrices of size N with respect to the Bures measure and show that it is equal to that of a N^2-1 dimensional hyper-halfsphere of radius 1/2. For N=2 we obtain the volume of the Uhlmann 3-D hemisphere, embedded in R^4. We find also the area of the boundary of the set M_N and obtain analogous results for the smaller set of all real density matrices. An explicit formula for the Bures-Hall normalization constants is derived for an arbitrary N.Comment: 15 revtex pages, 2 figures in .eps; ver. 3, Eq. (4.19) correcte

Local asymptotic normality for finite dimensional quantum systems

We extend our previous results on local asymptotic normality (LAN) for qubits, to quantum systems of arbitrary finite dimension $d$. LAN means that the quantum statistical model consisting of $n$ identically prepared $d$-dimensional systems with joint state $\rho^{\otimes n}$ converges as $n\to\infty$ to a statistical model consisting of classical and quantum Gaussian variables with fixed and known covariance matrix, and unknown means related to the parameters of the density matrix $\rho$. Remarkably, the limit model splits into a product of a classical Gaussian with mean equal to the diagonal parameters, and independent harmonic oscillators prepared in thermal equilibrium states displaced by an amount proportional to the off-diagonal elements. As in the qubits case, LAN is the main ingredient in devising a general two step adaptive procedure for the optimal estimation of completely unknown $d$-dimensional quantum states. This measurement strategy shall be described in a forthcoming paper.Comment: 64 page

Quantum Iterated Function Systems

Iterated functions system (IFS) is defined by specifying a set of functions in a classical phase space, which act randomly on an initial point. In an analogous way, we define a quantum iterated functions system (QIFS), where functions act randomly with prescribed probabilities in the Hilbert space. In a more general setting a QIFS consists of completely positive maps acting in the space of density operators. We present exemplary classical IFSs, the invariant measure of which exhibits fractal structure, and study properties of the corresponding QIFSs and their invariant states.Comment: 12 pages, 1 figure include

Relations for certain symmetric norms and anti-norms before and after partial trace

Changes of some unitarily invariant norms and anti-norms under the operation of partial trace are examined. The norms considered form a two-parametric family, including both the Ky Fan and Schatten norms as particular cases. The obtained results concern operators acting on the tensor product of two finite-dimensional Hilbert spaces. For any such operator, we obtain upper bounds on norms of its partial trace in terms of the corresponding dimensionality and norms of this operator. Similar inequalities, but in the opposite direction, are obtained for certain anti-norms of positive matrices. Through the Stinespring representation, the results are put in the context of trace-preserving completely positive maps. We also derive inequalities between the unified entropies of a composite quantum system and one of its subsystems, where traced-out dimensionality is involved as well.Comment: 11 pages, no figures. A typo error in Eq. (5.15) is corrected. Minor improvements. J. Stat. Phys. (in press

Closed-loop separation control over a sharp edge ramp using Genetic Programming

We experimentally perform open and closed-loop control of a separating turbulent boundary layer downstream from a sharp edge ramp. The turbulent boundary layer just above the separation point has a Reynolds number $Re_{\theta}\approx 3\,500$ based on momentum thickness. The goal of the control is to mitigate separation and early re-attachment. The forcing employs a spanwise array of active vortex generators. The flow state is monitored with skin-friction sensors downstream of the actuators. The feedback control law is obtained using model-free genetic programming control (GPC) (Gautier et al. 2015). The resulting flow is assessed using the momentum coefficient, pressure distribution and skin friction over the ramp and stereo PIV. The PIV yields vector field statistics, e.g. shear layer growth, the backflow area and vortex region. GPC is benchmarked against the best periodic forcing. While open-loop control achieves separation reduction by locking-on the shedding mode, GPC gives rise to similar benefits by accelerating the shear layer growth. Moreover, GPC uses less actuation energy.Comment: 24 pages, 24 figures, submitted to Experiments in Fluid