Abstract
The goal of this chapter is to present the basic information needed while reading the thesis. It is by no means a comprehensive review of the topic of device-independent information processing. A reader completely unfamiliar with the concepts of non-locality and device-independent protocols is encouraged to read the survey [1] and book [2].
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
We distinguish the quantum state from the correlations throughout the thesis: \(Q_A\) and \(Q_B\) denote quantum registers belonging to Alice and Bob while A and B denote their classical outputs.
- 2.
The definition of a quantum box over a bipartite Hilbert space \(\mathscr {H}_{Q_A} \otimes \mathscr {H}_{Q_B}\) is the standard one in the context of non-relativistic quantum mechanics. When studying relativist quantum mechanics one considers a single Hilbert space \(\mathscr {H}\) and two commuting measurements acting on it (instead of tensor product measurements). The two definitions coincide when restricting the attention to finite dimensional Hilbert spaces but otherwise different in general [3].
- 3.
Though common, this is a rather confusing and unjustified terminology. As clear from Eq. (3.3), quantum correlations are also local, in the sense that each component performs a local operation on its part of the state.
- 4.
Separating quantum boxes from non-signalling ones is a far more complicated task; see, e.g., [4].
- 5.
Other hyperplanes represent the trivial conditions of positivity of normalisation of the conditional probability distributions which are relevant for all sets.
- 6.
Notice that the statement that some quantum states violate Bell inequalities is independent from the statement that classical boxes cannot violate the inequality; it could have been the case that no box is able to violated such inequalities. This would have implied that all quantum correlations can be written in the form of Eq. (3.4) and, hence, can be described as arising from some shared randomness, or an “hidden variable”, \(\lambda \).
- 7.
Depending on the context, one can further restrict the allowed strategies by considering classical or quantum boxes.
- 8.
Notice the notation: w denotes a winning condition (function) while \(\omega \) is the winning probability (a number). W will be used to denote the random variable describing whether a game is won or lost. In any case, the difference between these three objects is always clear from the text.
- 9.
For the inputs \((x,y)=(1,2)\) one can set either \(w_{\text {CHSH}}=1\) or 0 (it is not relevant later on); for completeness we choose \(w_{\text {CHSH}}=1\) in this case, following previous works.
- 10.
A purification \(\rho _{Q_AQ_BE}\) is the most general extension of a quantum state \(\rho _{Q_AQ_B}\), in the sense that it gives Eve the maximal amount of information regarding Alice and Bob’s marginal state. Hence, in the cryptographic setting we always say that Eve holds the purifying system E, without loss of generality—any adversary holding a system \(E'\) which is not the purifying system E can only be weaker than that holding E.
- 11.
We emphasise again that Eve is not required to measure her quantum state at any particular point.
References
Brunner N, Cavalcanti D, Pironio S, Scarani V, Wehner S (2014) Bell nonlocality. Rev Mod Phys 86(2):419
Scarani V (2019) Bell nonlocality. Oxford University Press, Oxford
Slofstra W (2017) The set of quantum correlations is not closed. arXiv:1703.08618
Navascués M, Pironio S, Acín A (2008) A convergent hierarchy of semidefinite programs characterizing the set of quantum correlations. New J Phys 10(7):073013
Bell JS (1964) On the Einstein-Podolsky-Rosen paradox. Physics 1(3):195–200
Einstein A, Podolsky B, Rosen N (1935) Can quantum-mechanical description of physical reality be considered complete? Phys Rev 47(10):777
Hensen B, Bernien H, Dréau A, Reiserer A, Kalb N, Blok M, Ruitenberg J, Vermeulen R, Schouten R, Abellán C, et al (2015) Loophole-free Bell inequality violation using electron spins separated by 1.3 kilometres. Nature 526(7575):682–686
Shalm LK, Meyer-Scott E, Christensen BG, Bierhorst P, Wayne MA, Stevens MJ, Gerrits T, Glancy S, Hamel DR, Allman MS et al (2015) Strong loophole-free test of local realism. Phys Rev Lett 115(25):250402
Giustina M, Versteegh MA, Wengerowsky S, Handsteiner J, Hochrainer A, Phelan K, Steinlechner F, Kofler J, Larsson J-Å, Abellán C et al (2015) Significant-loophole-free test of Bell’s theorem with entangled photons. Phys Rev Lett 115(25):250401
Clauser JF, Horne MA, Shimony A, Holt RA (1969) Proposed experiment to test local hidden-variable theories. Phys Rev Lett 23(15):880
Popescu S, Rohrlich D (1992) Which states violate bell’s inequality maximally? Phys Lett A 169(6):411–414
Mayers D, Yao A (2003) Self testing quantum apparatus. arXiv:quant-ph/0307205
McKague M, Yang TH, Scarani V (2012) Robust self-testing of the singlet. J Phys A: Math Theory 45(45):455304
Pironio S, Acín A, Brunner N, Gisin N, Massar S, Scarani V (2009) Device-independent quantum key distribution secure against collective attacks. New J Phys 11(4):045021
Vazirani U, Vidick T (2014) Fully device-independent quantum key distribution. Phys Rev Lett 113(14):140501
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2020 The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG
About this chapter
Cite this chapter
Arnon-Friedman, R. (2020). Preliminaries: Device-Independent Concepts. In: Device-Independent Quantum Information Processing. Springer Theses. Springer, Cham. https://doi.org/10.1007/978-3-030-60231-4_3
Download citation
DOI: https://doi.org/10.1007/978-3-030-60231-4_3
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-60230-7
Online ISBN: 978-3-030-60231-4
eBook Packages: Physics and AstronomyPhysics and Astronomy (R0)