Source author record

Michele Dall'Arno

Michele Dall'Arno appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

18works
2topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

18 published item(s)

preprint2022arXiv

Guesswork of a quantum ensemble

The guesswork of a quantum ensemble quantifies the minimum number of guesses needed in average to correctly guess the state of the ensemble, when only one state can be queried at a time. Here, we derive analytical solutions of the guesswork problem subject to a finite set of conditions, including the analytical solution for any qubit ensemble with uniform probability distribution. As explicit examples, we compute the guesswork for any qubit regular polygonal and polyhedral ensemble.

preprint2020arXiv

Worst-case Quantum Hypothesis Testing with Separable Measurements

For any pair of quantum states (the hypotheses), the task of binary quantum hypotheses testing is to derive the tradeoff relation between the probability $p_{01}$ of rejecting the null hypothesis and $p_{10}$ of accepting the alternative hypothesis. The case when both hypotheses are explicitly given was solved in the pioneering work by Helstrom. Here, instead, for any given null hypothesis as a pure state, we consider the worst-case alternative hypothesis that maximizes $p_{10}$ under a constraint on the distinguishability of such hypotheses. Additionally, we restrict the optimization to separable measurements, in order to describe tests that are performed locally. The case $p_{01}=0$ has been recently studied under the name of "quantum state verification". We show that the problem can be cast as a semi-definite program (SDP). Then we study in detail the two-qubit case. A comprehensive study in parameter space is done by solving the SDP numerically. We also obtain analytical solutions in the case of commuting hypotheses, and in the case where the two hypotheses can be orthogonal (in the latter case, we prove that the restriction to separable measurements generically prevents perfect distinguishability). In regards to quantum state verification, our work shows the existence of more efficient strategies for noisy measurement scenarios.

preprint2019arXiv

Knowledge by Direct Measurement versus Inference from Steering

If Alice and Bob start out with an entangled state $|Ψ_{AB}\rangle$, Bob may update his state to $|φ_B\rangle$ either by performing a suitable measurement himself, or by receiving the information that a measurement by Alice has steered that state. While Bob's update on his state is identical, his update on Alice's state differs: if Bob has performed the measurement, he has steered the state $|χ_{\leftarrow}(φ)\rangle_A$ of Alice; if Alice has made the measurement, to steer $|φ\rangle_B$ on Bob she must have found a different state $|χ_{\rightarrow}(φ)\rangle_A$. Based on this observation, a consequence of the well-known `Hardy's ladder', we show that information from direct measurement must trump inference from steering. The erroneous belief that both paths should lead to identical conclusions can be traced to the usual prejudice that measurements should reveal a pre-existing state of affairs. We also prove a technical result on Hardy's ladder: the minimum overlap between the steered and the steering state is $2\sqrt{p_{0}p_{n-1}}/(p_0+p_{n-1})$, where $p_0$ and $p_{n-1}$ are the smallest (non-zero) and the largest Schmidt coefficients of $|Ψ\rangle_{AB}$.

preprint2016arXiv

Communication capacity of mixed quantum t designs

We operationally introduce mixed quantum t-designs as the most general arbitrary-rank extension of projective quantum t-designs which preserves indistinguishability from the uniform distribution for t copies. First, we derive upper bounds on the classical communication capacity of any mixed t-design measurement for t in [1,5]. Second, we explicitly compute the classical communication capacity of several mixed t-design measurements, including the depolarized version of any qubit and qutrit symmetric, informationally complete (SIC) measurement and complete mutually unbiased bases, the qubit icosahedral measurement, the Hoggar SIC measurement, any anti-SIC (where each element is proportional to the projector on the subspace orthogonal to one of the elements of the original SIC), and the uniform distribution over pure effects.

preprint2016arXiv

Quantum conditional operations

An essential element of classical computation is the "if-then" construct, that accepts a control bit and an arbitrary gate, and provides conditional execution of the gate depending on the value of the controlling bit. On the other hand, quantum theory prevents the existence of an analogous universal construct accepting a control qubit and an arbitrary quantum gate as its input. Nevertheless, there are controllable sets of quantum gates for which such a construct exists. Here we provide a necessary and sufficient condition for a set of unitary transformations to be controllable, and we give a complete characterization of controllable sets in the two dimensional case. This result reveals an interesting connection between the problem of controllability and the problem of extracting information from an unknown quantum gate while using it.

preprint2015arXiv

Detection loophole attacks on semi-device-independent quantum and classical protocols

Semi-device-independent quantum protocols realize information tasks - e.g. secure key distribution, random access coding, and randomness generation - in a scenario where no assumption on the internal working of the devices used in the protocol is made, except their dimension. These protocols offer two main advantages: first, their implementation is often less demanding than fully-device-independent protocols. Second, they are more secure than their device-dependent counterparts. Their classical analogous is represented by random access codes, which provide a general framework for describing one-sided classical communication tasks. We discuss conditions under which detection inefficiencies can be exploited by a malicious provider to fake the performance of semi-device-independent quantum and classical protocols - and how to prevent it.

preprint2015arXiv

Hierarchy of Bounds on Accessible Information and Informational Power

Quantum theory imposes fundamental limitations to the amount of information that can be carried by any quantum system. On the one hand, Holevo bound rules out the possibility to encode more information in a quantum system than in its classical counterpart, comprised of perfectly distinguishable states. On the other hand, when states are uniformly distributed in the state space, the so-called subentropy lower bound is saturated. How uniform quantum systems are can be naturally quantified by characterizing them as $t$-designs, with $t = \infty$ corresponding to the uniform distribution. Here we show the existence of a trade-off between the uniformity of a quantum system and the amount of information it can carry. To this aim, we derive a hierarchy of informational bounds as a function of $t$ and prove their tightness for qubits and qutrits. By deriving asymptotic formulae for large dimensions, we also show that the statistics generated by any $t$-design with $t > 1$ contains no more than a single bit of information, and this amount decreases with $t$. Holevo and subentropy bounds are recovered as particular cases for $t = 1$ and $t = \infty$, respectively.

preprint2015arXiv

How much a Quantum Measurement is Informative?

The informational power of a quantum measurement is the maximum amount of classical information that the measurement can extract from any ensemble of quantum states. We discuss its main properties. Informational power is an additive quantity, being equivalent to the classical capacity of a quantum-classical channel. The informational power of a quantum measurement is the maximum of the accessible information of a quantum ensemble that depends on the measurement. We present some examples where the symmetry of the measurement allows to analytically derive its informational power.

preprint2015arXiv

Quantum Reading of Unitary Optical Devices

We address the problem of quantum reading of optical memories, namely the retrieving of classical information stored in the optical properties of a media with minimum energy. We present optimal strategies for ambiguous and unambiguous quantum reading of unitary optical memories, namely when one's task is to minimize the probability of errors in the retrieved information and when perfect retrieving of information is achieved probabilistically, respectively. A comparison of the optimal strategy with coherent probes and homodyne detection shows that the former saves orders of magnitude of energy when achieving the same performances. Experimental proposals for quantum reading which are feasible with present quantum optical technology are reported.

preprint2014arXiv

Accessible Information and Informational Power of Quantum 2-designs

The accessible information and the informational power quantify the amount of information extractable from a quantum ensemble and by a quantum measurement, respectively. So-called spherical quantum 2-designs constitute a class of ensembles and measurements relevant in testing entropic uncertainty relations, quantum cryptography, and quantum tomography. We provide lower bounds on the entropy of 2-design ensembles and measurements, from which upper bounds on their accessible information and informational power follow, as a function of the dimension only. We show that the statistics generated by 2-designs, although optimal for the abovementioned protocols, never contains more than one bit of information. Finally, we specialize our results to the relevant cases of symmetric informationally complete (SIC) sets and maximal sets of mutually unbiased bases (MUBs), and we generalize them to the arbitrary-rank case.

preprint2014arXiv

Tight Bounds on the Accessible Information and the Informational Power

The accessible information quantifies the amount of classical information that can be extracted from an ensemble of quantum states. Analogously, the informational power quantifies the amount of classical information that can be extracted by a quantum measurement. For both quantities, we provide upper and lower bounds that depend only on the dimension of the system, and we prove their tightness. In the case of symmetric informationally complete (SIC) ensembles and measurements, stronger bounds are provided and their tightness proved for qubits and qutrits. From our upper bounds, we notice, perhaps surprisingly, that the statistics generated by SIC ensembles or measurements in arbitrary dimension, though optimal for tomographic purposes, in fact never contains more than just one bit of information, the rest being constituted by completely random bits. On the other hand, from our lower bounds, we obtain an explicit strategy beating the so-called "pretty-good" one for the extraction of mutual information in the case of SIC ensembles and measurements.

preprint2014arXiv

Universal Optimal Quantum Correlator

Recently, a novel operational strategy to access quantum correlation functions of the form Tr[A rho B] was provided in [F. Buscemi, M. Dall'Arno, M. Ozawa, and V. Vedral, arXiv:1312.4240]. Here we propose a realization scheme, that we call partial expectation values, implementing such strategy in terms of a unitary interaction with an ancillary system followed by the measurement of an observable on the ancilla. Our scheme is universal, being independent of rho, A, and B, and it is optimal in a statistical sense. Our scheme is suitable for implementation with present quantum optical technology, and provides a new way to test uncertainty relations.

preprint2013arXiv

Direct observation of any two-point quantum correlation function

The existence of noncompatible observables in quantum theory makes a direct operational interpretation of two-point correlation functions problematic. Here we challenge such a view by explicitly constructing a measuring scheme that, independently of the input state $ρ$ and observables $A$ and $B$, performs an unbiased optimal estimation of the two-point correlation function $\operatorname{Tr}[A \ ρ\ B]$. This shows that, also in quantum theory, two-point correlation functions are as operational as any other expectation value. A very simple probabilistic implementation of our proposal is presented.

preprint2013arXiv

Gaussian Quantum Reading beyond the Standard Quantum Limit

Quantum reading aims at retrieving classical information stored in an optical memory with low energy and high accuracy by exploiting the inherently quantum properties of light. We provide an optimal Gaussian strategy for quantum reading with phase-shift keying encoding that makes use of squeezed coherent light and homodyne detectors to largely outperform the Standard Quantum Limit, even in the presence of loss. This strategy, being feasible with current quantum optical technology, represents a viable prototype for a highly efficient and reliable quantum-enhanced optical reader.

preprint2012arXiv

Robustness of Device Independent Dimension Witnesses

Device independent dimension witnesses provide a lower bound on the dimensionality of classical and quantum systems in a "black box" scenario where only correlations between preparations, measurements and outcomes are considered. We address the problem of the robustness of dimension witnesses, namely that to witness the dimension of a system or to discriminate between its quantum or classical nature, even in the presence of loss. We consider the case when shared randomness is allowed between preparations and measurements and we provide a threshold in the detection efficiency such that dimension witnessing can still be performed.

preprint2011arXiv

Informational power of quantum measurements

We introduce the informational power of a quantum measurement as the maximum amount of classical information that the measurement can extract from any ensemble of quantum states. We prove the additivity by showing that the informational power corresponds to the classical capacity of a quantum-classical channel. We restate the problem of evaluating the informational power as the maximization of the accessible information of a suitable ensemble. We provide a numerical algorithm to find an optimal ensemble, and quantify the informational power.

preprint2011arXiv

Tradeoff between energy and error in the discrimination of quantum-optical devices

We address the problem of energy-error tradeoff in the discrimination between two linear passive quantum optical devices with a single use. We provide an analytical derivation of the optimal strategy for beamsplitters and an iterative algorithm converging to the optimum in the general case. We then compare the optimal strategy with a simpler strategy using coherent input states and homodyne detection. It turns out that the former requires much less energy in order to achieve the same performances.