arXiv subjects

Claudio Carmeli

Publications and source records attributed to Claudio Carmeli.

At least 19 recordsLinked to original sources

arXiv2021

Experimentally determining the incompatibility of two qubit measurements

We describe and realize an experimental procedure for assessing the incompatibility of two qubit measurements. The experiment consists in a state discrimination task where either measurement is used according to some partial intermediate information. The success statistics of the task provides an upper bound for the amount of incompatibility of the two measurements, as it is quantified by means of their incompatibility robustness. For a broad class of unbiased and possibly noisy qubit measurements, one can make this upper bound coincide with the true value of the robustness by suitably tuning the preparation of the experiment. We demonstrate this fact in an optical setup, where the qubit states are encoded into the photons' polarization degrees of freedom, and incompatibility is directly accessed by virtue of a refined control on the amplitude, phase and purity of the final projection stage of the measurements. Our work thus establishes the practical feasibility of a recently proposed method for the detection of quantum incompatibility.

quant-ph↗

arXiv2021

Quantum guessing games with posterior information

Quantum guessing games form a versatile framework for studying different tasks of information processing. A quantum guessing game with posterior information uses quantum systems to encode messages and classical communication to give partial information after a quantum measurement has been performed. We present a general framework for quantum guessing games with posterior information and derive structure and reduction theorems that enable to analyze any such game. We formalize symmetry of guessing games and characterize the optimal measurements in cases where the symmetry is related to an irreducible representation. The application of guessing games to incompatibility detection is reviewed and clarified. All the presented main concepts and results are demonstrated with examples.

quant-ph↗

arXiv2019

Quantum random access codes and incompatibility of measurements

We prove that quantum random access code (QRAC) performs better than its classical counterpart only when incompatible quantum measurements are used in the decoding task. As a consequence, evaluating the average success probability for QRAC provides a semi-device independent test for the detection of quantum incompatibility. We further demonstrate that any incompatible pair of projective measurements gives an advantage over all classical strategies. Finally, we establish a connection between the maximal average success probability for QRAC and earlier quantities introduced to assess incompatibility.

quant-ph↗

arXiv2019

Witnessing incompatibility of quantum channels

We introduce the notion of incompatibility witness for quantum channels, defined as an affine functional that is non-negative on all pairs of compatible channels and strictly negative on some incompatible pair. This notion extends the recent definition of incompatibility witnesses for quantum measurements. We utilize the general framework of channels acting on arbitrary finite dimensional von Neumann algebras, thus allowing us to investigate incompatibility witnesses on measurement-measurement, measurement-channel and channel-channel pairs. We prove that any incompatibility witness can be implemented as a state discrimination task in which some intermediate classical information is obtained before completing the task. This implies that any incompatible pair of channels gives an advantage over compatible pairs in some such state discrimination task.

quant-ph↗

arXiv2019

Noise-disturbance relation and the Galois connection of quantum measurements

The relation between noise and disturbance is investigated within the general framework of Galois connections. Within this framework, we introduce the notion of leak of information, mathematically defined as one of the two closure maps arising from the observable-channel compatibility relation. We provide a physical interpretation for it, and we give a comparison with the analogous closure maps associated with joint measurability and simulability for quantum observables.

quant-ph↗

arXiv2019

Constructing extremal compatible quantum observables by means of two mutually unbiased bases

We describe a particular class of pairs of quantum observables which are extremal in the convex set of all pairs of compatible quantum observables. The pairs in this class are constructed as uniformly noisy versions of two mutually unbiased bases (MUB) with possibly different noise intensities affecting each basis. We show that not all pairs of MUB can be used in this construction, and we provide a criterion for determiniing those MUB that actually do yield extremal compatible observables. We apply our criterion to all pairs of Fourier conjugate MUB, and we prove that in this case extremality is achieved if and only if the quantum system Hilbert space is odd-dimensional. Remarkably, this fact is no longer true for general non-Fourier conjugate MUB, as we show in an example. Therefore, the presence or the absence of extremality is a concrete geometric manifestation of MUB inequivalence, that already materializes by comparing sets of no more than two bases at a time.

quant-ph↗

arXiv2019

Quantum Incompatibility Witnesses

We demonstrate that quantum incompatibility can always be detected by means of a state discrimination task with partial intermediate information. This is done by showing that only incompatible measurements allow for an efficient use of premeasurement information in order to improve the probability of guessing the correct state. Thus, the gap between the guessing probabilities with pre- and postmeasurement information is a witness of the incompatibility of a given collection of measurements. We prove that all linear incompatibility witnesses can be implemented as some state discrimination protocol according to this scheme. As an application, we characterize the joint measurability region of two noisy mutually unbiased bases.

quant-ph↗

arXiv2018

State discrimination with post-measurement information and incompatibility of quantum measurements

We discuss the following variant of the standard minimum error state discrimination problem: Alice picks the state she sends to Bob among one of several disjoint state ensembles, and she communicates him the chosen ensemble only at a later time. Two different scenarios then arise: either Bob is allowed to arrange his measurement set-up after Alice has announced him the chosen ensemble, or he is forced to perform the measurement before of Alice's announcement. In the latter case, he can only post-process his measurement outcome when Alice's extra information becomes available. We compare the optimal guessing probabilities in the two scenarios, and we prove that they are the same if and only if there exist compatible optimal measurements for all of Alice's state ensembles. When this is the case, post-processing any of the corresponding joint measurements is Bob's optimal strategy in the post-measurement information scenario. Furthermore, we establish a connection between discrimination with post-measurement information and the standard state discrimination. By means of this connection and exploiting the presence of symmetries, we are able to compute the various guessing probabilities in many concrete examples.

quant-ph↗

arXiv2017

Determining quantum coherence with minimal resources

We characterize minimal measurement setups for validating the quantum coherence of an unknown quantum state. We show that for a $d$-level system, the optimal strategy consists of measuring $d$ orthonormal bases such that each measured basis is mutually unbiased with respect to the reference basis, and together with the reference basis they form an informationally complete set of measurements. We show that, in general, any strategy capable of validating quantum coherence allows one to evaluate also the exact value of coherence. We then give an explicit construction of the optimal measurements for arbitrary dimensions. Finally, we show that the same measurement setup is also optimal for the modified task of verifying if the coherence is above or below a given threshold value.

quant-ph↗

arXiv2017

Probing quantum state space: does one have to learn everything to learn something?

Determining the state of a quantum system is a consuming procedure. For this reason, whenever one is interested only in some particular property of a state, it would be desirable to design a measurement setup that reveals this property with as little effort as possible. Here we investigate whether, in order to successfully complete a given task of this kind, one needs an informationally complete measurement, or if something less demanding would suffice. The first alternative means that in order to complete the task, one needs a measurement which fully determines the state. We formulate the task as a membership problem related to a partitioning of the quantum state space and, in doing so, connect it to the geometry of the state space. For a general membership problem we prove various sufficient criteria that force informational completeness, and we explicitly treat several physically relevant examples. For the specific cases that do not require informational completeness, we also determine bounds on the minimal number of measurement outcomes needed to ensure success in the task.

quant-ph↗

arXiv2016

Maximally symmetric stabilizer MUBs in even prime-power dimensions

One way to construct a maximal set of mutually unbiased bases (MUBs) in a prime-power dimensional Hilbert space is by means of finite phase-space methods. MUBs obtained in this way are covariant with respect to some subgroup of the group of all affine symplectic phase-space transformations. However, this construction is not canonical: as a consequence, many different choices of covariance sugroups are possible. In particular, when the Hilbert space is $2^n$ dimensional, it is known that covariance with respect to the full group of affine symplectic phase-space transformations can never be achieved. Here we show that in this case there exist two essentially different choices of maximal subgroups admitting covariant MUBs. For both of them, we explicitly construct a family of $2^n$ covariant MUBs. We thus prove that, contrary to the odd dimensional case, maximally covariant MUBs are very far from being unique.

math-ph↗

arXiv2016

Quantum incompatibility in collective measurements

We study the compatibility (or joint measurability) of quantum observables in a setting where the experimenter has access to multiple copies of a given quantum system, rather than performing the experiments on each individual copy separately. We introduce the index of incompatibility as a quantifier of incompatibility in this multi-copy setting, as well as the notion of compatibility stack representing the various compatibility relations present in a given set of observables. We then prove a general structure theorem for multi-copy joint observables, and use it to prove that all abstract compatibility stacks with three vertices have realizations in terms of quantum observables.

quant-ph↗

arXiv2016

Efficient Pure State Quantum Tomography from Five Orthonormal Bases

For any finite dimensional Hilbert space, we construct explicitly five orthonormal bases such that the corresponding measurements allow for efficient tomography of an arbitrary pure quantum state. This means that such measurements can be used to distinguish an arbitrary pure state from any other state, pure or mixed, and the pure state can be reconstructed from the outcome distribution in a feasible way. The set of measurements we construct is independent of the unknown state, and therefore our results provide a fixed scheme for pure state tomography, as opposed to the adaptive (state dependent) scheme proposed by Goyeneche et al. in [Phys. Rev. Lett. 115, 090401 (2015)]. We show that our scheme is robust with respect to noise in the sense that any measurement scheme which approximates these measurements well enough is equally suitable for pure state tomography. Finally, we present two convex programs which can be used to reconstruct the unknown pure state from the measurement outcome distributions.

quant-ph↗

arXiv2015

Verifying the quantumness of bipartite correlations

Entanglement is at the heart of most quantum information tasks, and therefore considerable effort has been made to find methods of deciding the entanglement content of a given bipartite quantum state. Here, we prove a fundamental limitation to deciding if an unknown state is entangled or not: we show that any quantum measurement which can answer this question necessarily gives enough information to identify the state completely. Therefore, only prior information regarding the state can make entanglement detection less expensive than full state tomography in terms of the demanded quantum resources. We also extend our treatment to other classes of correlated states by considering the problem of deciding if a state is NPT, discordant, or fully classically correlated. Remarkably, only the question related to quantum discord can be answered without resorting to full state tomography.

quant-ph↗

arXiv2015

Covariant mutually unbiased bases

The connection between maximal sets of mutually unbiased bases (MUBs) in a prime-power dimensional Hilbert space and finite phase-space geometries is well known. In this article we classify MUBs according to their degree of covariance with respect to the natural symmetries of a finite phase-space, which are the group of its affine symplectic transformations. We prove that there exist maximal sets of MUBs that are covariant with respect to the full group only in odd prime-power dimensional spaces, and in this case their equivalence class is actually unique. Despite this limitation, we show that in even-prime power dimension covariance can still be achieved by restricting to proper subgroups of the symplectic group, that constitute the finite analogues of the oscillator group. For these subgroups, we explicitly construct the unitary operators yielding the covariance.

math-ph↗

arXiv2015

Expanding the principle of local distinguishability

The principle of local distinguishability states that an arbitrary physical state of a bipartite system can be determined by the combined statistics of local measurements performed on the subsystems. A necessary and sufficient requirement for the local measurements is that each one must be able to distinguish between all pairs of states of the respective subsystems. We show that if the task is changed into the determination of an arbitrary bipartite pure state, then at least in certain cases it is possible to restrict to local measurements which can distintinguish all pure states but not all states. This surprising fact gives evidence that the principle of local distinguishability may be expanded beyond its usual applicability.

quant-ph↗

arXiv2015

How many orthonormal bases are needed to distinguish all pure quantum states?

We collect some recent results that together provide an almost complete answer to the question stated in the title. For the dimension d=2 the answer is three. For the dimensions d=3 and d>4 the answer is four. For the dimension d=4 the answer is either three or four. Curiously, the exact number in d=4 seems to be an open problem.

quant-ph↗

arXiv2014

Nonuniqueness of phase retrieval for three fractional Fourier transforms

We prove that, regardless of the choice of the angles $θ_1,θ_2,θ_3$, three fractional Fourier transforms $F_{θ_1}$, $F_{θ_2}$ and $F_{θ_3}$ do not solve the phase retrieval problem. That is, there do not exist three angles $θ_1$, $θ_2$, $θ_3$ such that any signal $ψ\in L^2(R)$ could be determined up to a constant phase by knowing only the three intensities $|F_{θ_1}ψ|^2$, $|F_{θ_2}ψ|^2$ and $|F_{θ_3}ψ|^2$. This provides a negative argument against a recent speculation by P. Jaming, who stated that three suitably chosen fractional Fourier transforms are good candidates for phase retrieval in infinite dimension. We recast the question in the language of quantum mechanics, where our result shows that any fixed triple of rotated quadrature observables $Q_{θ_1}$, $Q_{θ_2}$ and $Q_{θ_3}$ is not enough to determine all unknown pure quantum states. The sufficiency of four rotated quadrature observables, or equivalently fractional Fourier transforms, remains an open question.

math-ph↗