Device-independent quantum key distribution (DIQKD) is the art of using untrusted devices to distribute secret keys in an insecure network. It thus represents the ultimate form of cryptography, offering not only information-theoretic security against channel attacks, but also against attacks exploiting implementation loopholes. In recent years, much progress has been made towards realising the first DIQKD experiments, but current proposals are just out of reach of today's loophole-free Bell experiments. Here, we significantly narrow the gap between the theory and practice of DIQKD with a simple variant of the original protocol based on the celebrated Clauser-Horne-Shimony-Holt (CHSH) Bell inequality. By using two randomly chosen key generating bases instead of one, we show that our protocol significantly improves over the original DIQKD protocol, enabling positive keys in the high noise regime for the first time. We also compute the finite-key security of the protocol for general attacks, showing that approximately 1E8 to 1E10 measurement rounds are needed to achieve positive rates using state-of-the-art experimental parameters. Our proposed DIQKD protocol thus represents a highly promising path towards the first realisation of DIQKD in practice.
We show that the three-intensity protocol for measurement device independent quantum key distribution (MDI QKD) can be done with different light intensities in {\em only one} basis. Given the fact that the exact values yields of single-photon pairs in the $X$ and $Z$ bases must be the same, if we have lower bound of the value in one basis, we can also use this as the lower bound in another basis. Since in the existing set-up for MDI-QKD, the yield of sources in different bases are normally different, therefore our method can improve the key rate drastically if we choose to only use the lower b…
Photonics is a promising architecture for the realisation of quantum information processing, since the two-photon interaction, or non-linearity, necessary to build logical gates can efficiently be realised by the use of interference with ancillary photons and detection. Although single-photon sources and detectors are pivotal in realisations of such systems, clear guidelines for the required performance of realistic systems are yet to be defined. We present our detailed numerical simulation of several quantum optics circuits including sources and detectors all represented in multi-dimensional …
We analyze a basis-independent definition of quantum coherence. The maximally mixed state is used as the reference state, which allows for a way of defining coherence that is invariant under arbitrary unitary transformations. The basis-independent approach is applied to finding the distri- bution of the coherence within a multipartite system, where the contributions due to correlations between the subsystems and within each subsystem are isolated. The use of the square root of the Jensen-Shannon divergence allows for inequality relations to be derived between these quantities, giving a geometr…
In this work, we incorporate decoy-state analysis into a well-established numerical framework for key rate calculation, and apply the numerical framework to decoy-state BB84 and measurement-device-independent (MDI) QKD protocols as examples. Additionally, we combine with these decoy-state protocols what is called "fine-grained statistics", which is a variation of existing QKD protocols that makes use of originally discarded data to get a better key rate. We show that such variations can grant protocols resilience against any unknown and slowly changing rotation along one axis, similar to refer…
We study the measurement device independent quantum key distribution (MDIQKD) in practice with limited resource, when there are only 3 different states in implementing the decoy-state method and when there are basis dependent coding errors. We present general formulas for the decoy-state method for two-pulse sources with 3 different states, which can be applied to the recently proposed MDIQKD with imperfect single-photon source such as the coherent states or the heralded states from the parametric down conversion. We point out that the existing result for secure QKD with source coding errors d…
Device-independent quantum key distribution aims to provide key distribution schemes whose security is based on the laws of quantum physics but which does not require any assumptions about the internal working of the quantum devices used in the protocol. This strong form of security, unattainable with standard schemes, is possible only when using correlations that violate a Bell inequality. We provide a general security proof valid for a large class of device-independent quantum key distribution protocols in a model in which the raw key elements are generated by causally independent measuremen…
Quantum coherence is a key resource in quantum information processing scenarios, and quantifying coherence is an important task for both quantum foundation and quantum technology. However, until now, all most of coherence measures are basis-dependent that does not accord with physical reality, since the physical properties of the physical system should not be changed with the different choice of coordinate systems. Here, we propose an \textit{intrinsic basis-independent quantum coherence measure} which satisfies all conditions for quantifying coherence. This measurement not only reveals physic…
In this paper, we study the unconditional security of the so-called measurement device independent quantum key distribution (MDIQKD) with the basis-dependent flaw in the context of phase encoding schemes. We propose two schemes for the phase encoding, the first one employs a phase locking technique with the use of non-phase-randomized coherent pulses, and the second one uses conversion of standard BB84 phase encoding pulses into polarization modes. We prove the unconditional security of these schemes and we also simulate the key generation rate based on simple device models that accommodate im…
Measurement-device-independent quantum key distribution (MDIQKD) is a revolutionary protocol since it is physically immune to all attacks on the detection side. However, the protocol still keeps the strict assumptions on the source side that the four BB84-states must be perfectly prepared to ensure security. Some protocols release part of the assumptions in the encoding system to keep the practical security, but the performance would be dramatically reduced. In this work, we present a MDIQKD protocol that requires less knowledge of encoding system to combat the troublesome modulation errors an…
We propose a reference-frame-independent measurement-device-independent quantum key distribution with uncharacterized quantum bits. We show the security of the protocol. The protocol can also be useful for a channel that has a very low bit error rate but suffers a large, uncontrolled (but slow), unitary rotation.
We discuss possibility of upper-bounding dimension of quantum states device-independently. Provided that the states are pure, it is possible to generate certain four states whose dimension is bounded by two.
Certifying that quantum devices behave as intended is crucial for quantum information science. Here, methods are developed for certification of both state preparation devices and measurement devices based on prepare-and-measure experiments with independent devices. The experimenter assumes the independence of the devices and knowledge of the Hilbert space dimension. Thus no precise characterisation of any part of the experiment is required. The certification is based on a randomised version of unambiguous state discrimination and targets the class of state ensembles corresponding to quantum $t…
Device-independent protocols use nonlocality to certify that they are performing properly. This is achieved via Bell experiments on entangled quantum systems, which are kept isolated from one another during the measurements. However, with present-day technology, perfect isolation comes at the price of experimental complexity and extremely low data rates. Here we argue that for device-independent randomness generation -- and other device-independent protocols where the devices are in the same lab -- we can slightly relax the requirement of perfect isolation, and still retain most of the advanta…
We present a method to certify the entanglement of all bipartite entangled quantum states in a device-independent way. This is achieved by placing the state in a quantum network and constructing a correlation inequality based on an entanglement witness for the state. Our method is device-independent, in the sense that entanglement can be certified from the observed statistics alone, under minimal assumptions on the underlying physics. Conceptually, our results borrow ideas from the field of self-testing to bring the recently introduced measurement-device-independent entanglement witnesses into…
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 …
In the present work, we study tripartite quantum steering of quantum correlations arising from two local dichotomic measurements on each side in the two types of partially device-independent scenarios: $1$-sided device-independent scenario where one of the parties performs untrusted measurements while the other two parties perform trusted measurements and $2$-sided device-independent scenario where one of the parties performs trusted measurements while the other two parties perform untrusted measurements. We demonstrate that tripartite steering in the $2$-sided device-independent scenario is w…
In this paper we construct a semi-device-independent protocol able to certify the presence of the generalized measurements. We show robustness of the protocol and conclude that it allows for experimental realisations using current technology.
We study the the optimization of full implementation of the four-intensity decoy-state Measurement-Device-Independent Quantum Key Distribution (MDIQKD) over asymmetric and unstable quantum channel.
Bell inequality can provide a useful witness for device-independent applications with quantum (or post-quantum) eavesdroppers. This feature holds only for single entangled systems. Our goal is to explore device-independent model for quantum networks. We firstly propose a Bell inequality to verify the genuinely multipartite nonlocality of connected quantum networks including cyclic networks and universal quantum computational resources for measurement-based computation model. This is further used to construct new monogamy relation in a fully device-independent model with multisource quantum res…
In this work, we propose device independent true random numbers generation protocols based on non-inequality paradoxes such as Hardy's and Cabello's non-locality argument. The efficiency of generating randomness in our protocols are far better than any other proposed protocols certified by CHSH inequality or other non-locality test involving inequalities. Thus, highlighting non-inequality paradox as an important resource for device independent quantum information processing in particular generating true randomness. As a byproduct, we find that the non-local bound of the Cabello's argument with…
We propose an improved bound for the difference between phase and bit error rate in measurement-device-independent quantum key distribution with uncharacterized qubits. We show by simulations that the bound considerably increases the final key rates.
By testing nonlocality, the security of entanglement-based quantum key distribution (QKD) can be enhanced to being 'device-independent'. Here we ask whether such a strong form of security could also be established for one-way (prepare and measure) QKD. While fully device-independent security is impossible, we show that security can be guaranteed against individual attacks in a semi-device-independent scenario. In the latter, the devices used by the trusted parties are non-characterized, but the dimensionality of the quantum systems used in the protocol is assumed to be bounded. Our security pr…
Device independent quantum key distribution aims to provide a higher degree of security than traditional QKD schemes by reducing the number of assumptions that need to be made about the physical devices used. The previous proof of security by Pironio et al. applies only to collective attacks where the state is identical and independent and the measurement devices operate identically for each trial in the protocol. We extend this result to a more general class of attacks where the state is arbitrary and the measurement devices have no memory. We accomplish this by a reduction of arbitrary adver…
Randomness is a potential resource for cryptography, simulations and algorithms. Non-local correlations violating Bell's inequality certify the generation of bit strings whose randomness is guaranteed in a device-independent manner. We provide interesting semi-device independent randomness certification protocols by Kochen-Specker (KS) contextuality. For this, we first cast the Mermin's magic-square proof of KS contextuality for two-qubit system as a semi-device independent communication game in prepare-measure scenario. This provides a semi-device independent certification of two-bit of rando…
Measurement-device-independent quantum key distribution removes all detector-side attacks in quantum cryptography, and in the meantime doubles the secure distance. The source side, however, is still vulnerable to various attacks. In particular, the continuous phase randomization assumption on the source side is normally not fulfilled in experimental implementation and may potentially open a loophole. In this work, we first show that indeed there are loopholes for imperfect phase randomization in measurement-device-independent quantum key distribution by providing a concrete attack. Then we pro…
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 on…
Security proofs of quantum key distribution (QKD) often require post-processing schemes to simplify the data structure, and hence the security proof. We show a generic method to improve resulting secure key rates by partially reversing the simplifying post-processing for error correction purposes. We apply our method to the security analysis of device-independent QKD schemes and of detection-device-independent QKD schemes, where in both cases one is typically required to assign binary values even to lost signals. In the device-independent case, the loss tolerance threshold is cut down by our m…
We prove the security of the Bennett-Brassard (BB84) quantum key distribution protocol in the case where the source and detector are under the limited control of an adversary. Our proof applies when both the source and the detector have small basis-dependent flaws, as is typical in practical implementations of the protocol. We derive a general lower bound on the asymptotic key generation rate for weakly basis-dependent eavesdropping attacks, and also estimate the rate in some special cases: sources that emit weak coherent states with random phases, detectors with basis-dependent efficiency, an…
In this work, we develop upper bounds for key rates for device-independent quantum key distribution (DI-QKD) protocols and devices. We study the reduced cc-squashed entanglement and show that it is a convex functional. As a result, we show that the convex hull of the currently known bounds is a tighter upper bound on the device-independent key rates of standard CHSH-based protocol. We further provide tighter bounds for DI-QKD key rates achievable by any protocol applied to the CHSH-based device. This bound is based on reduced relative entropy of entanglement optimized over decompositions into …
We present a device-independent protocol to test if a given black-box measurement device is entangled, that is, has entangled eigenstates. Our scheme involves three parties and is inspired by entanglement swapping; the test uses the Clauser-Horne-Shimony-Holt (CHSH) Bell inequality, checked between each pair of parties. Also, focusing on the case where all particles are qubits, we characterize quantitatively the deviation of the measurement device from a perfect Bell state measurement.
Device-independent certification refers to the characterization of an apparatus without reference to the internal description of other devices. It is a trustworthy certification method, free of assumption on the underlying Hilbert space dimension and on calibration methods. We show how it can be used to quantify the quality of a Bell state measurement, whether deterministic, partial or probabilistic. Our certification is noise resistant and opens the way towards the device-independent self-testing of Bell state measurements in existing experiments.
We present a general method to quantify both bipartite and multipartite entanglement in a device-independent manner, meaning that we put a lower bound on the amount of entanglement present in a system based on observed data only but independently of any quantum description of the employed devices. Some of the bounds we obtain, such as for the Clauser-Horne-Shimony-Holt Bell inequality or the Svetlichny inequality, are shown to be tight. Besides, device-independent entanglement quantification can serve as a basis for numerous tasks. We show in particular that our method provides a rigorous way …
We provide a new extension of entanglement witnesses for $\mathbb{C}^{d_{1}}\otimes\mathbb{C}^{d_{2}}$ systems. Our construction preserves the properties of indecomposability and spanning property of entanglement witnesses. We show how our concept of extended entanglement witnesses is connected with the idea of measurement device independent entanglement witnesses.
We here present the rate analysis and a proof of principle realization of a device-independent quantum key distribution (QKD) protocol requiring the lowest detection efficiency necessary to achieve a secure key compared to device-independent protocols known so far. The protocol is based on non-maximally entangled state and its experimental realization has been performed by two-photon bipartite entangled states. The improvement with respect to protocols involving maximally entangled states has been estimated.
Expansion and amplification of weak randomness plays a crucial role in many security protocols. Using quantum devices, such procedure is possible even without trusting the devices used, by utilizing correlations between outcomes of parts of the devices. We show here how to extract random bits with an arbitrarily low bias from a single arbitrarily weak min-entropy source in a device independent setting. To do this we use Mermin devices that exhibit super-classical correlations. Number of devices used scales polynomially in the length of the random sequence $n$. Our protocol is robust, it can to…
We show that in device independent quantum key distribution protocols the privacy of randomness is of crucial importance. For sublinear test sample sizes even the slightest guessing probability by an eavesdropper will completely compromise security. We show that a combined attack exploiting test sample and measurement choices compromises the security even with a linear size test sample and otherwise device independent security considerations. We explicitly derive the sample size needed to retrieve security as a function of the randomness quality. We demonstrate that exploiting features of genu…
The laws of quantum mechanics allow unconditionally secure key distribution protocols. Nevertheless, security proofs of traditional quantum key distribution (QKD) protocols rely on a crucial assumption, the trustworthiness of the quantum devices used in the protocol. In device-independent QKD, even this last assumption is relaxed: the devices used in the protocol may have been adversarially prepared, and there is no a priori guarantee that they perform according to specification. Proving security in this setting had been a central open problem in quantum cryptography. We give the first device-…
An important problem in quantum information processing is the certification of the dimension of quantum systems without making assumptions about the devices used to prepare and measure them, that is, in a device-independent manner. A crucial question is whether such certification is experimentally feasible for high-dimensional quantum systems. Here we experimentally witness in a device-independent manner the generation of six-dimensional quantum systems encoded in the orbital angular momentum of single photons and show that the same method can be scaled, at least, up to dimension 13.
We propose a model of a programmable quantum processing device realizable with existing nanophotonic technologies and which can be viewed as a basis for new high performance hardware architectures. We present protocols and their physical implementation on the controlled photon transfer for executing basic single-qubit and multi-qubit gates. The possible operation of this quantum computer scheme is analyzed. The physical architecture is then formalized by a mathematical model of the Quantum Processing Unit (QPU), which is used as a basis for the Quantum Programming Framework that makes it possi…
Authentication of quantum sources is a crucial task in building reliable and efficient protocols for quantum-information processing. Steady progress vis-à-vis verification of quantum devices in the scenario with fully characterized measurement devices has been observed in recent years. When it comes to the scenario with uncharacterized measurements, the so-called black-box scenario, practical verification methods are still rather scarce. Development of self-testing methods is an important step forward, but these results so far have been used for reliable verification only by considering the as…
While it has recently been demonstrated how to certify the maximal amount of randomness from any pure two-qubit entangled state in a device-independent way [E. Woodhead et al., Phys. Rev. Research 2, 042028(R)(2020)], the problem of optimal randomness certification from entangled states of higher local dimension remains open. Here we introduce a method for device-independent certification of the maximal possible amount of $2\log_23$ random bits using pure bipartite entangled two-qutrit states and extremal nine-outcome general non-projective measurements. To this aim, we exploit the extended Be…
We report the first experiment of continuous-variable measurement-device-independent quantum key distribution that enables secret key generation at a symbol rate of 5 MBaud without frequency and optical phase locking. This is achieved by using a new relay structure based on a polarization-based 90-degree optical hybrid and a well-designed DSP pipeline.
The device-independent approach to physics is one where conclusions are drawn directly from the observed correlations between measurement outcomes. In quantum information, this approach allows one to make strong statements about the properties of the underlying systems or devices solely via the observation of Bell-inequality-violating correlations. However, since one can only perform a {\em finite number} of experimental trials, statistical fluctuations necessarily accompany any estimation of these correlations. Consequently, an important gap remains between the many theoretical tools develope…
A semi-device-independent framework for prepare-and-measure experiments is introduced in which an experimenter can tune the degree of distrust in the performance of the quantum devices. In this framework, a receiver operates an uncharacterised measurement device and a sender operates a preparation device that emits states with a bounded fidelity with respect to a set of target states. No assumption on Hilbert space dimension is required. The set of quantum correlations is investigated and bounded from both the interior and the exterior. Furthermore, the optimal performance of quantum state dis…
We derive a device-independent quantum key distribution protocol based on synchronous correlations and their Bell inequalities. This protocol offers several advantages over other device-independent schemes including symmetry between the two users and no need for preshared randomness. We close a "synchronicity" loophole by showing that an almost synchronous correlation inherits the self-testing property of the associated synchronous correlation. We also pose a new security assumption that closes the "locality" (or "causality") loophole: an unbounded adversary with even a small uncertainty about…
We show that the entropy of a message can be tested in a device-independent way. Specifically, we consider a prepare-and-measure scenario with classical or quantum communication, and develop two different methods for placing lower bounds on the communication entropy, given observable data. The first method is based on the framework of causal inference networks. The second technique, based on convex optimization, shows that quantum communication provides an advantage over classical, in the sense of requiring a lower entropy to reproduce given data. These ideas may serve as a basis for novel app…
In this paper, we propose a quantum key distribution (QKD) protocol based on only a two-dimensional Hilbert space encoding a quantum system and independent devices between the equipment for state preparation and measurement. Our protocol is inspired by the fully device-independent quantum key distribution (FDI-QKD) protocol and the measurement-device-independent quantum key distribution (MDI-QKD) protocol. Our protocol only requires the state to be prepared in the two dimensional Hilbert space, which weakens the state preparation assumption in the original MDI-QKD protocol. More interestingly,…
We present the optimal collective attack on a Quantum Key Distribution (QKD) protocol in the "device-independent" security scenario, where no assumptions are made about the way the QKD devices work or on what quantum system they operate. Our main result is a tight bound on the Holevo information between one of the authorized parties and the eavesdropper, as a function of the amount of violation of a Bell-type inequality.
Certifying the entanglement of quantum states with Bell inequalities allows one to guarantee the security of quantum information protocols independently of imperfections in the measuring devices. Here we present a similar procedure for witnessing entangled measurements, which play a central role in many quantum information tasks. Our procedure is termed semi-device-independent, as it uses uncharacterized quantum preparations of fixed Hilbert space dimension. Using a photonic setup, we experimentally certify an entangled measurement using measurement statistics only. We also apply our technique…
