arXiv subjects

Sébastien Designolle

Publications and source records attributed to Sébastien Designolle.

30 records · Page 2Linked to original sources

arXiv2022

Experimental relativistic zero-knowledge proofs

Protecting secrets is a key challenge in our contemporary information-based era. In common situations, however, revealing secrets appears unavoidable, for instance, when identifying oneself in a bank to retrieve money. In turn, this may have highly undesirable consequences in the unlikely, yet not unrealistic, case where the bank's security gets compromised. This naturally raises the question of whether disclosing secrets is fundamentally necessary for identifying oneself, or more generally for proving a statement to be correct. Developments in computer science provide an elegant solution via the concept of zero-knowledge proofs: a prover can convince a verifier of the validity of a certain statement without facilitating the elaboration of a proof at all. In this work, we report the experimental realisation of such a zero-knowledge protocol involving two separated verifier-prover pairs. Security is enforced via the physical principle of special relativity, and no computational assumption (such as the existence of one-way functions) is required. Our implementation exclusively relies on off-the-shelf equipment and works at both short (60 m) and long distances ($\geqslant$400 m) in about one second. This demonstrates the practical potential of multi-prover zero-knowledge protocols, promising for identification tasks and blockchain applications such as cryptocurrencies or smart contracts.

cs.CR↗

arXiv2021

Set coherence: basis-independent quantification of quantum coherence

The coherence of an individual quantum state can be meaningfully discussed only when referring to a preferred basis. This arbitrariness can however be lifted when considering sets of quantum states. Here we introduce the concept of set coherence for characterising the coherence of a set of quantum systems in a basis-independent way. We construct measures for quantifying set coherence of sets of quantum states as well as quantum measurements. These measures feature an operational meaning in terms of discrimination games and capture precisely the advantage offered by a given set over incoherent ones. Along the way, we also connect the notion of set coherence to various resource-theoretic approaches recently developed for quantum systems.

quant-ph↗

arXiv2021

Genuine high-dimensional quantum steering

High-dimensional quantum entanglement can give rise to stronger forms of nonlocal correlations compared to qubit systems, offering significant advantages for quantum information processing. Certifying these stronger correlations, however, remains an important challenge, in particular in an experimental setting. Here we theoretically formalise and experimentally demonstrate a notion of genuine high-dimensional quantum steering. We show that high-dimensional entanglement, as quantified by the Schmidt number, can lead to a stronger form of steering, provably impossible to obtain via entanglement in lower dimensions. Exploiting the connection between steering and incompatibility of quantum measurements, we derive simple two-setting steering inequalities, the violation of which guarantees the presence of genuine high-dimensional steering, and hence certifies a lower bound on the Schmidt number in a one-sided device-independent setting. We report the experimental violation of these inequalities using macro-pixel photon-pair entanglement certifying genuine high-dimensional steering. In particular, using an entangled state in dimension $d=31$, our data certifies a minimum Schmidt number of $n=15$.

quant-ph↗

arXiv2021

Quantum measurement incompatibility in subspaces

We consider the question of characterising the incompatibility of sets of high-dimensional quantum measurements. We introduce the concept of measurement incompatibility in subspaces. That is, starting from a set of measurements that is incompatible, one considers the set of measurements obtained by projection onto any strict subspace of fixed dimension. We identify three possible forms of incompatibility in subspaces: (i) incompressible incompatibility: measurements that become compatible in every subspace, (ii) fully compressible incompatibility: measurements that remain incompatible in every subspace, and (iii) partly compressible incompatibility: measurements that are compatible in some subspace and incompatible in another. For each class we discuss explicit examples. Finally, we present some applications of these ideas. First we show that joint measurability and coexistence are two inequivalent notions of incompatibility in the simplest case of qubit systems. Second we highlight the implications of our results for tests of quantum steering.

quant-ph↗

arXiv2021

Quantum entanglement in the triangle network

Beyond future applications, quantum networks open interesting fundamental perspectives, notably novel forms of quantum correlations. In this work we discuss quantum correlations in networks from the perspective of the underlying quantum states and their entanglement. We address the questions of which states can be prepared in the so-called triangle network, consisting of three nodes connected pairwise by three sources. We derive necessary criteria for a state to be preparable in such a network, considering both the cases where the sources are statistically independent and classically correlated. This shows that the network structure imposes strong and non-trivial constraints on the set of preparable states, fundamentally different from the standard characterization of multipartite quantum entanglement.

quant-ph↗

arXiv2020

Quantifying measurement incompatibility of mutually unbiased bases

Quantum measurements based on mutually unbiased bases are commonly used in quantum information processing, as they are generally viewed as being maximally incompatible and complementary. Here we quantify precisely the degree of incompatibility of mutually unbiased bases (MUB) using the notion of noise robustness. Specifically, for sets of $k$ MUB in dimension $d$, we provide upper and lower bounds on this quantity. Notably, we get a tight bound in several cases, in particular for complete sets of $k=d+1$ MUB (given $d$ is a prime power). On the way, we also derive a general upper bound on the noise robustness for an arbitrary set of quantum measurements. Moreover, we prove the existence of sets of $k$ MUB that are operationally inequivalent, as they feature different noise robustness, and we provide a lower bound on the number of such inequivalent sets up to dimension 32. Finally, we discuss applications of our results for Einstein-Podolsky-Rosen steering.

quant-ph↗

arXiv2020

Incompatibility robustness of quantum measurements: a unified framework

In quantum mechanics performing a measurement is an invasive process which generally disturbs the system. Due to this phenomenon, there exist incompatible quantum measurements, i.e., measurements that cannot be simultaneously performed on a single copy of the system. It is then natural to ask what the most incompatible quantum measurements are. To answer this question, several measures have been proposed to quantify how incompatible a set of measurements is, however their properties are not well-understood. In this work, we develop a general framework that encompasses all the commonly used measures of incompatibility based on robustness to noise. Moreover, we propose several conditions that a measure of incompatibility should satisfy, and investigate whether the existing measures comply with them. We find that some of the widely used measures do not fulfil these basic requirements. We also show that when looking for the most incompatible pairs of measurements, we obtain different answers depending on the exact measure. For one of the measures, we analytically prove that projective measurements onto two mutually unbiased bases are among the most incompatible pairs in every dimension. However, for some of the remaining measures we find that some peculiar measurements turn out to be even more incompatible.

quant-ph↗

arXiv2020

Symmetries between measurements in quantum mechanics

Symmetries are a key concept to connect mathematical elegance with physical insight. We consider measurement assemblages in quantum mechanics and show how their symmetry can be described by means of the so-called discrete bundles. It turns out that many measurement assemblages used in quantum information theory as well as for studying the foundations of quantum mechanics are entirely determined by symmetry; moreover, starting from a certain symmetry group, novel types of measurement sets can be constructed. The insight gained from symmetry allows us to easily determine whether the measurements in the set are incompatible under noisy conditions, i.e., whether they can be regarded as genuinely distinct ones. In addition, symmetry enables us to identify finite sets of measurements having a high sensitivity to reveal the quantumness of distributed quantum states.

quant-ph↗

arXiv2019

Unbounded sequence of observers exhibiting Einstein-Podolsky-Rosen steering

A sequential steering scenario is investigated, where multiple Bobs aim at demonstrating steering using successively the same half of an entangled quantum state. With isotropic entangled states of local dimension $d$, the number of Bobs that can steer Alice is found to be $N_\mathrm{Bob}\sim d/\log{d}$, thus leading to an arbitrary large number of successive instances of steering with independently chosen and unbiased inputs. This scaling is achieved when considering a general class of measurements along orthonormal bases, as well as complete sets of mutually unbiased bases. Finally, we show that similar results can be obtained in an anonymous sequential scenario, where none of the Bobs know their position in the sequence.

quant-ph↗

arXiv2018

Algorithmic construction of local models for entangled quantum states: optimization for two-qubit states

The correlations of certain entangled quantum states can be fully reproduced via a local model. We discuss in detail the practical implementation of an algorithm for constructing local models for entangled states, recently introduced by Hirsch et al. [Phys. Rev. Lett. 117, 190402 (2016)] and Cavalcanti et al. [Phys. Rev. Lett. 117, 190401 (2016)]. The method allows one to construct both local hidden state (LHS) and local hidden variable (LHV) models, and can be applied to arbitrary entangled states in principle. Here we develop an improved implementation of the algorithm, discussing the optimization of the free parameters. For the case of two-qubit states, we design a ready-to-use optimized procedure. This allows us to construct LHS models (for projective measurements) that are almost optimal, as we show for Bell diagonal states, for which the optimal model has recently been derived. Finally, we show how to construct fully analytical local models, based on the output of the convex optimization procedure.

quant-ph↗

arXiv2017

Quantification of multidimensional entanglement stored in a crystal

The use of multidimensional entanglement opens new perspectives for quantum information processing. However, an important challenge in practice is to certify and characterize multidimensional entanglement from measurement data that are typically limited. Here, we report the certification and quantification of two-photon multidimensional energy-time entanglement between many temporal modes, after one photon has been stored in a crystal. We develop a method for entanglement quantification which makes use of only sparse data obtained with limited resources. This allows us to efficiently certify an entanglement of formation of 1.18 ebits after performing quantum storage. The theoretical methods we develop can be readily extended to a wide range of experimental platforms, while our experimental results demonstrate the suitability of energy-time multidimensional entanglement for a quantum repeater architecture.

quant-ph↗

arXiv2017

Quantifying photonic high-dimensional entanglement

High-dimensional entanglement offers promising perspectives in quantum information science. In practice, however, the main challenge is to devise efficient methods to characterize high-dimensional entanglement, based on the available experimental data which is usually rather limited. Here we report the characterization and certification of high-dimensional entanglement in photon pairs, encoded in temporal modes. Building upon recently developed theoretical methods, we certify an entanglement of formation of 2.09(7) ebits in a time-bin implementation, and 4.1(1) ebits in an energy-time implementation. These results are based on very limited sets of local measurements, which illustrates the practical relevance of these methods.

quant-ph↗