-
Continuous variable quantum teleportation, $U(2)$ invariant squeezing and non-Gaussian resource states
Authors:
Mohak Sharma,
Chandan Kumar,
Shikhar Arora,
Arvind
Abstract:
We investigate the role of quadrature squeezing in the quantum teleportation protocol for coherent states, using non-Gaussian resource states. For the two-mode systems, the non-Gaussian resource states that we use are obtained by an experimentally realizable scheme of photon subtraction, photon addition, and photon catalysis, on the two-mode squeezed vacuum, and two-mode squeezed thermal states. W…
▽ More
We investigate the role of quadrature squeezing in the quantum teleportation protocol for coherent states, using non-Gaussian resource states. For the two-mode systems, the non-Gaussian resource states that we use are obtained by an experimentally realizable scheme of photon subtraction, photon addition, and photon catalysis, on the two-mode squeezed vacuum, and two-mode squeezed thermal states. We first analyze the non-classical attribute of quadrature squeezing in these generated non-Gaussian states using the $U(2)$ invariant squeezing approach, which allows us to account for all possible quadratures. We then show that the presence of such non-classicality in non-Gaussian resource states is not necessary for successful quantum teleportation, a finding which is at variance with an earlier result in this direction. This result is important since it demonstrates how non-classicality other than quadrature squeezing present in the resource can be utilized for quantum teleportation.
△ Less
Submitted 24 February, 2025;
originally announced February 2025.
-
Continuous variable quantum teleportation using photon subtracted and photon added two mode squeezed coherent state
Authors:
Shikhar Arora,
Chandan Kumar,
Arvind
Abstract:
We consider non-Gaussian states generated by photon subtraction (PS) and photon addition (PA) on two-mode squeezed coherent (TMSC) states, as resource states for continuous variable (CV) quantum teleportation (QT). To this end, we derive the Wigner characteristic function for the family of photon subtracted and photon added TMSC states, which is then utilized to calculate the fidelity of teleporti…
▽ More
We consider non-Gaussian states generated by photon subtraction (PS) and photon addition (PA) on two-mode squeezed coherent (TMSC) states, as resource states for continuous variable (CV) quantum teleportation (QT). To this end, we derive the Wigner characteristic function for the family of photon subtracted and photon added TMSC states, which is then utilized to calculate the fidelity of teleporting a single mode coherent state and a squeezed vacuum state. The analysis shows that while symmetric PS enhances the fidelity of QT in an extensive range of squeezing, asymmetric PS enhances the performance marginally and only in the low squeezing regime. The addition operations on the other hand are less useful, symmetric three-PA leads to a marginal improvement while the other addition operations are useless. We have considered the actual experimental setup for PS and PA operations and computed their success probabilities which should be kept in mind while advocating the use of these operations. We could compute the fidelity of QT for a broad range of states because we analytically derived the Wigner characteristic function for these family of states which we think will be useful for various other applications of these families of states.
△ Less
Submitted 8 July, 2024;
originally announced July 2024.
-
A computational test of quantum contextuality, and even simpler proofs of quantumness
Authors:
Atul Singh Arora,
Kishor Bharti,
Alexandru Cojocaru,
Andrea Coladangelo
Abstract:
Bell non-locality is a fundamental feature of quantum mechanics whereby measurements performed on "spatially separated" quantum systems can exhibit correlations that cannot be understood as revealing predetermined values. This is a special case of the more general phenomenon of "quantum contextuality", which says that such correlations can occur even when the measurements are not necessarily on se…
▽ More
Bell non-locality is a fundamental feature of quantum mechanics whereby measurements performed on "spatially separated" quantum systems can exhibit correlations that cannot be understood as revealing predetermined values. This is a special case of the more general phenomenon of "quantum contextuality", which says that such correlations can occur even when the measurements are not necessarily on separate quantum systems, but are merely "compatible" (i.e. commuting). Crucially, while any non-local game yields an experiment that demonstrates quantum advantage by leveraging the "spatial separation" of two or more devices (and in fact several such demonstrations have been conducted successfully in recent years), the same is not true for quantum contextuality: finding the contextuality analogue of such an experiment is arguably one of the central open questions in the foundations of quantum mechanics.
In this work, we show that an arbitrary contextuality game can be compiled into an operational "test of contextuality" involving a single quantum device, by only making the assumption that the device is computationally bounded. Our work is inspired by the recent work of Kalai et al. (STOC '23) that converts any non-local game into a classical test of quantum advantage with a single device. The central idea in their work is to use cryptography to enforce spatial separation within subsystems of a single quantum device. Our work can be seen as using cryptography to enforce "temporal separation", i.e. to restrict communication between sequential measurements.
Beyond contextuality, we employ our ideas to design a "proof of quantumness" that, to the best of our knowledge, is arguably even simpler than the ones proposed in the literature so far.
△ Less
Submitted 27 October, 2024; v1 submitted 10 May, 2024;
originally announced May 2024.
-
Improving device-independent weak coin flipping protocols
Authors:
Atul Singh Arora,
Jamie Sikora,
Thomas Van Himbeeck
Abstract:
Weak coin flipping is the cryptographic task where Alice and Bob remotely flip a coin but want opposite outcomes. This work studies this task in the device-independent regime where Alice and Bob neither trust each other, nor their quantum devices. The best protocol was devised over a decade ago by Silman, Chailloux, Aharon, Kerenidis, Pironio, and Massar with bias $\varepsilon \approx 0.33664$, wh…
▽ More
Weak coin flipping is the cryptographic task where Alice and Bob remotely flip a coin but want opposite outcomes. This work studies this task in the device-independent regime where Alice and Bob neither trust each other, nor their quantum devices. The best protocol was devised over a decade ago by Silman, Chailloux, Aharon, Kerenidis, Pironio, and Massar with bias $\varepsilon \approx 0.33664$, where the bias is a commonly adopted security measure for coin flipping protocols. This work presents two techniques to lower the bias of such protocols, namely self-testing and abort-phobic compositions. We apply these techniques to the SCAKPM '11 protocol above and, assuming a continuity conjecture, lower the bias to $\varepsilon \approx 0.29104$. We believe that these techniques could be useful in the design of device-independent protocols for a variety of other tasks.
Independently of weak coin flipping, en route to our results, we show how one can test $n-1$ out of $n$ devices, and estimate the performance of the remaining device, for later use in the protocol. The proof uses linear programming and, due to its generality, may find applications elsewhere.
△ Less
Submitted 25 April, 2024;
originally announced April 2024.
-
Protocols for Quantum Weak Coin Flipping
Authors:
Atul Singh Arora,
Jérémie Roland,
Chrysoula Vlachou,
Stephan Weis
Abstract:
Weak coin flipping is an important cryptographic primitive -- it is the strongest known secure two-party computation primitive that classically becomes secure only under certain assumptions (e.g. computational hardness), while quantumly there exist protocols that achieve arbitrarily close to perfect security. This breakthrough result was established by Mochon in 2007 [arXiv:0711.4114]. However, hi…
▽ More
Weak coin flipping is an important cryptographic primitive -- it is the strongest known secure two-party computation primitive that classically becomes secure only under certain assumptions (e.g. computational hardness), while quantumly there exist protocols that achieve arbitrarily close to perfect security. This breakthrough result was established by Mochon in 2007 [arXiv:0711.4114]. However, his proof relied on the existence of certain unitary operators which was established by a non-constructive argument. Consequently, explicit protocols have remained elusive. In this work, we give exact constructions of related unitary operators. These, together with a new formalism, yield a family of protocols approaching perfect security thereby also simplifying Mochon's proof of existence. We illustrate the construction of explicit weak coin flipping protocols by considering concrete examples (from the aforementioned family of protocols) that are more secure than all previously known protocols.
△ Less
Submitted 24 February, 2024;
originally announced February 2024.
-
Impossibility of adversarial self-testing and secure sampling
Authors:
Akshay Bansal,
Atul Singh Arora,
Thomas Van Himbeeck,
Jamie Sikora
Abstract:
Self-testing is the task where spatially separated Alice and Bob cooperate to deduce the inner workings of untrusted quantum devices by interacting with them in a classical manner. We examine the task above where Alice and Bob do not trust each other which we call adversarial self-testing. We show that adversarial self-testing implies secure sampling -- a simpler task that we introduce where distr…
▽ More
Self-testing is the task where spatially separated Alice and Bob cooperate to deduce the inner workings of untrusted quantum devices by interacting with them in a classical manner. We examine the task above where Alice and Bob do not trust each other which we call adversarial self-testing. We show that adversarial self-testing implies secure sampling -- a simpler task that we introduce where distrustful Alice and Bob wish to sample from a joint probability distribution with the guarantee that an honest party's marginal is not biased. By extending impossibility results in two-party quantum cryptography, we give a simple proof that both of these tasks are impossible in all but trivial settings.
△ Less
Submitted 23 August, 2024; v1 submitted 19 October, 2023;
originally announced October 2023.
-
Quantum State Tomography using Quantum Machine Learning
Authors:
Nouhaila Innan,
Owais Ishtiaq Siddiqui,
Shivang Arora,
Tamojit Ghosh,
Yasemin Poyraz Koçak,
Dominic Paragas,
Abdullah Al Omar Galib,
Muhammad Al-Zafar Khan,
Mohamed Bennai
Abstract:
Quantum State Tomography (QST) is a fundamental technique in Quantum Information Processing (QIP) for reconstructing unknown quantum states. However, the conventional QST methods are limited by the number of measurements required, which makes them impractical for large-scale quantum systems. To overcome this challenge, we propose the integration of Quantum Machine Learning (QML) techniques to enha…
▽ More
Quantum State Tomography (QST) is a fundamental technique in Quantum Information Processing (QIP) for reconstructing unknown quantum states. However, the conventional QST methods are limited by the number of measurements required, which makes them impractical for large-scale quantum systems. To overcome this challenge, we propose the integration of Quantum Machine Learning (QML) techniques to enhance the efficiency of QST. In this paper, we conduct a comprehensive investigation into various approaches for QST, encompassing both classical and quantum methodologies; We also implement different QML approaches for QST and demonstrate their effectiveness on various simulated and experimental quantum systems, including multi-qubit networks. Our results show that our QML-based QST approach can achieve high fidelity (98%) with significantly fewer measurements than conventional methods, making it a promising tool for practical QIP applications.
△ Less
Submitted 20 August, 2023;
originally announced August 2023.
-
Continuous variable quantum teleportation in a dissipative environment: Comparison of non-Gaussian operations before and after noisy channel
Authors:
Chandan Kumar,
Mohak Sharma,
Shikhar Arora
Abstract:
We explore the relative advantages in continuous-variable quantum teleportation when non-Gaussian operations, namely, photon subtraction, addition, and catalysis, are performed before and after interaction with a noisy channel. We generate the resource state for teleporting unknown coherent and squeezed vacuum states using two distinct strategies: (i) Implementation of non-Gaussian operations on T…
▽ More
We explore the relative advantages in continuous-variable quantum teleportation when non-Gaussian operations, namely, photon subtraction, addition, and catalysis, are performed before and after interaction with a noisy channel. We generate the resource state for teleporting unknown coherent and squeezed vacuum states using two distinct strategies: (i) Implementation of non-Gaussian operations on TMSV state before interaction with a noisy channel, (ii) Implementation of non-Gaussian operations after interaction of TMSV state with a noisy channel. The results show that either of the two strategies could be more beneficial than the other depending on the type of the non-Gaussian operation, the initial squeezing of the TMSV state, and the parameters characterizing the noisy channel. This strategy can be utilized to effectively improve the efficiency of various non-Gaussian continuous variable quantum information processing tasks in a dissipative environment.
△ Less
Submitted 12 January, 2023; v1 submitted 23 December, 2022;
originally announced December 2022.
-
Parity-detection-based Mach-Zehnder interferometry with coherent and non-Gaussian squeezed vacuum states as inputs
Authors:
Chandan Kumar,
Rishabh,
Mohak Sharma,
Shikhar Arora
Abstract:
We theoretically explore the advantages rendered by non-Gaussian operations in phase estimation using a parity-detection-based Mach-Zehnder interferometer, with one input being a coherent state and the other being a non-Gaussian squeezed vacuum state (SVS). We consider a realistic model to perform three different non-Gaussian operations, namely photon subtraction, photon addition, and photon catal…
▽ More
We theoretically explore the advantages rendered by non-Gaussian operations in phase estimation using a parity-detection-based Mach-Zehnder interferometer, with one input being a coherent state and the other being a non-Gaussian squeezed vacuum state (SVS). We consider a realistic model to perform three different non-Gaussian operations, namely photon subtraction, photon addition, and photon catalysis on a single-mode SVS. We start by deriving the Wigner function of the non-Gaussian SVSs, which is then utilized to derive the expression for the phase sensitivity. The analysis of the phase sensitivity reveals that all three different non-Gaussian operations can enhance the phase sensitivity under suitable choices of parameters. We also consider the probabilistic nature of these non-Gaussian operations, the results of which reveal the single photon addition to be the optimal operation. Further, our analysis also enables us to identify the optimal squeezing of the SVS and the transmissivity of the beam splitter involved in the implementation of the non-Gaussian operations.
△ Less
Submitted 22 December, 2022;
originally announced December 2022.
-
Quantum Depth in the Random Oracle Model
Authors:
Atul Singh Arora,
Andrea Coladangelo,
Matthew Coudron,
Alexandru Gheorghiu,
Uttam Singh,
Hendrik Waldner
Abstract:
We give a comprehensive characterization of the computational power of shallow quantum circuits combined with classical computation. Specifically, for classes of search problems, we show that the following statements hold, relative to a random oracle:
(a) $\mathsf{BPP}^{\mathsf{QNC}^{\mathsf{BPP}}} \neq \mathsf{BQP}$. This refutes Jozsa's conjecture [QIP 05] in the random oracle model. As a resu…
▽ More
We give a comprehensive characterization of the computational power of shallow quantum circuits combined with classical computation. Specifically, for classes of search problems, we show that the following statements hold, relative to a random oracle:
(a) $\mathsf{BPP}^{\mathsf{QNC}^{\mathsf{BPP}}} \neq \mathsf{BQP}$. This refutes Jozsa's conjecture [QIP 05] in the random oracle model. As a result, this gives the first instantiatable separation between the classes by replacing the oracle with a cryptographic hash function, yielding a resolution to one of Aaronson's ten semi-grand challenges in quantum computing.
(b) $\mathsf{BPP}^{\mathsf{QNC}} \nsubseteq \mathsf{QNC}^{\mathsf{BPP}}$ and $\mathsf{QNC}^{\mathsf{BPP}} \nsubseteq \mathsf{BPP}^{\mathsf{QNC}}$. This shows that there is a subtle interplay between classical computation and shallow quantum computation. In fact, for the second separation, we establish that, for some problems, the ability to perform adaptive measurements in a single shallow quantum circuit, is more useful than the ability to perform polynomially many shallow quantum circuits without adaptive measurements.
(c) There exists a 2-message proof of quantum depth protocol. Such a protocol allows a classical verifier to efficiently certify that a prover must be performing a computation of some minimum quantum depth. Our proof of quantum depth can be instantiated using the recent proof of quantumness construction by Yamakawa and Zhandry [STOC 22].
△ Less
Submitted 12 October, 2022;
originally announced October 2022.
-
Enhanced phase estimation in parity detection based Mach-Zehnder interferometer using non-Gaussian two-mode squeezed thermal input state
Authors:
Chandan Kumar,
Rishabh,
Shikhar Arora
Abstract:
While the quantum metrological advantages of performing non-Gaussian operations on two-mode squeezed vacuum (TMSV) states have been extensively explored, similar studies in the context of two-mode squeezed thermal (TMST) states are severely lacking. In this paper, we explore the potential advantages of performing non-Gaussian operations on TMST state for phase estimation using parity detection bas…
▽ More
While the quantum metrological advantages of performing non-Gaussian operations on two-mode squeezed vacuum (TMSV) states have been extensively explored, similar studies in the context of two-mode squeezed thermal (TMST) states are severely lacking. In this paper, we explore the potential advantages of performing non-Gaussian operations on TMST state for phase estimation using parity detection based Mach-Zehnder interferometry. To this end, we consider the realistic model of photon subtraction, addition, and catalysis. We first provide a derivation of the unified Wigner function of the photon subtracted, photon added and photon catalyzed TMST state, which to the best of our knowledge is not available in the existing literature. This Wigner function is then used to obtain the expression for the phase sensitivity. Our results show that performing non-Gaussian operations on TMST states can enhance the phase sensitivity for significant ranges of squeezing and transmissivity parameters. We also observe that incremental advantage provided by performing these non-Gaussian operations on the TMST state is considerably higher than that of performing these operations on the TMSV state. Because of the probabilistic nature of these operations, it is of utmost importance to take their success probability into account. We identify the photon catalysis operation performed using a high transmissivity beam splitter as the optimal non-Gaussian operation when the success probability is taken into account. This is in contrast to the TMSV case, where we observe photon addition to be the most optimal. These results will be of high relevance for any future phase estimation experiments involving TMST states. Further, the derived Wigner function of the non-Gaussian TMST states will be useful for state characterization and its application in various quantum information protocols.
△ Less
Submitted 5 August, 2022;
originally announced August 2022.
-
Consideration of success probability and performance optimization in non-Gaussian continuous variable quantum teleportation
Authors:
Chandan Kumar,
Shikhar Arora
Abstract:
Non-Gaussian operations have been shown to enhance the fidelity of continuous variable quantum teleportation. However, a disadvantage of these non-Gaussian operations is that they are probabilistic in nature. In this article, we study the trade-off between teleportation fidelity and success probability for optimal performance of the teleportation protocol, which to the best of our knowledge, has n…
▽ More
Non-Gaussian operations have been shown to enhance the fidelity of continuous variable quantum teleportation. However, a disadvantage of these non-Gaussian operations is that they are probabilistic in nature. In this article, we study the trade-off between teleportation fidelity and success probability for optimal performance of the teleportation protocol, which to the best of our knowledge, has never been studied before. To this end, we first derive a unified expression for the Wigner characteristic function describing three non-Gaussian states, photon subtracted, photon added, and photon catalyzed two-mode squeezed vacuum states. We then utilize it to obtain the fidelity of teleportation for input coherent and squeezed vacuum states using the aforementioned non-Gaussian resource states. We optimize the product of the relative enhancement in fidelity and the probability of state preparation by tuning the transmissivity of the beam splitters involved in implementing non-Gaussian operations. This leads to a scenario that can be effectively implemented in a lab to enhance fidelity. It turns out that among all the considered non-Gaussian resource states, the symmetric one-photon subtracted TMSV state is the most advantageous. We provide the associated optimal squeezing and beam splitter transmissivity values for the considered non-Gaussian resource states, which will be of significant interest to the experimental community. We also consider the effect of imperfect photon detectors on teleportation fidelity. Further, we expect the derived Wigner characteristic function to be useful in state characterization and other quantum information processing protocols.
△ Less
Submitted 8 December, 2022; v1 submitted 13 June, 2022;
originally announced June 2022.
-
Self-Testing of a Single Quantum System: Theory and Experiment
Authors:
Xiao-Min Hu,
Yi Xie,
Atul Singh Arora,
Ming-Zhong Ai,
Kishor Bharti,
Jie Zhang,
Wei Wu,
Ping-Xing Chen,
Jin-Ming Cui,
Bi-Heng Liu,
Yun-Feng Huang,
Chuan-Feng Li,
Guang-Can Guo,
Jérémie Roland,
Adán Cabello,
Leong-Chuan Kwek
Abstract:
Certifying individual quantum devices with minimal assumptions is crucial for the development of quantum technologies. Here, we investigate how to leverage single-system contextuality to realize self-testing. We develop a robust self-testing protocol based on the simplest contextuality witness for the simplest contextual quantum system, the Klyachko-Can-Binicioğlu-Shumovsky (KCBS) inequality for t…
▽ More
Certifying individual quantum devices with minimal assumptions is crucial for the development of quantum technologies. Here, we investigate how to leverage single-system contextuality to realize self-testing. We develop a robust self-testing protocol based on the simplest contextuality witness for the simplest contextual quantum system, the Klyachko-Can-Binicioğlu-Shumovsky (KCBS) inequality for the qutrit. We establish a lower bound on the fidelity of the state and the measurements (to an ideal configuration) as a function of the value of the witness under a pragmatic assumption on the measurements we call the KCBS orthogonality condition. We apply the method in an experiment with randomly chosen measurements on a single trapped $^{40}{\rm Ca}^+$ and near-perfect detection efficiency. The observed statistics allow us to self-test the system and provide the first experimental demonstration of quantum self-testing of a single system. Further, we quantify and report that deviations from our assumptions are minimal, an aspect previously overlooked by contextuality experiments.
△ Less
Submitted 16 March, 2022;
originally announced March 2022.
-
Realistic non-Gaussian operations scheme in parity detection based Mach-Zehnder quantum interferometry
Authors:
Chandan Kumar,
Rishabh,
Shikhar Arora
Abstract:
We theoretically analyze phase sensitivity using parity detection based Mach Zehnder interferometer (MZI) with the input states generated by performing non-Gaussian operations, viz., photon subtraction, photon addition, and photon catalysis on a two-mode squeezed vacuum (TMSV) state. Since these non-Gaussian operations are probabilistic, it is of utmost importance to take the success probability i…
▽ More
We theoretically analyze phase sensitivity using parity detection based Mach Zehnder interferometer (MZI) with the input states generated by performing non-Gaussian operations, viz., photon subtraction, photon addition, and photon catalysis on a two-mode squeezed vacuum (TMSV) state. Since these non-Gaussian operations are probabilistic, it is of utmost importance to take the success probability into account. To this end, we consider the realistic model of photon subtraction, addition, and catalysis and derive a single expression of the Wigner function for photon subtracted, added, and catalyzed TMSV state. The Wigner function is used to evaluate the lower bound on the phase sensitivity via quantum Cramer-Rao bound and parity detection based phase sensitivity in MZI. We identify the ranges of squeezing and transmissivity parameters where the non-Gaussian states provide better phase sensitivity than the TMSV state. On qualitatively taking the success probability into account, it turns out that the photon addition is the most advantageous non-Gaussian operation. We hope that the generalized Wigner function derived in this work will be useful in various quantum information protocols and state characterization.
△ Less
Submitted 16 April, 2022; v1 submitted 20 February, 2022;
originally announced February 2022.
-
Oracle separations of hybrid quantum-classical circuits
Authors:
Atul Singh Arora,
Alexandru Gheorghiu,
Uttam Singh
Abstract:
An important theoretical problem in the study of quantum computation, that is also practically relevant in the context of near-term quantum devices, is to understand the computational power of hybrid models, that combine poly-time classical computation with short-depth quantum computation. Here, we consider two such models: CQ_d which captures the scenario of a polynomial-time classical algorithm…
▽ More
An important theoretical problem in the study of quantum computation, that is also practically relevant in the context of near-term quantum devices, is to understand the computational power of hybrid models, that combine poly-time classical computation with short-depth quantum computation. Here, we consider two such models: CQ_d which captures the scenario of a polynomial-time classical algorithm that queries a d-depth quantum computer many times; and QC_d which is more analogous to measurement-based quantum computation and captures the scenario of a d-depth quantum computer with the ability to change the sequence of gates being applied depending on measurement outcomes processed by a classical computation. Chia, Chung & Lai (STOC 2020) and Coudron & Menda (STOC 2020) showed that these models (with d=log^O(1) (n)) are strictly weaker than BQP (the class of problems solvable by poly-time quantum computation), relative to an oracle, disproving a conjecture of Jozsa in the relativised world. We show that, despite the similarities between CQ_d and QC_d, the two models are incomparable, i.e. CQ_d $\nsubseteq$ QC_d and QC_d $\nsubseteq$ CQ_d relative to an oracle. In other words, there exist problems that one model can solve but not the other and vice versa. We do this by considering new oracle problems that capture the distinctions between the two models and by introducing the notion of an intrinsically stochastic oracle, an oracle whose responses are inherently randomised, which is used for our second result. While we leave showing the second separation relative to a standard oracle as an open problem, we believe the notion of stochastic oracles could be of independent interest for studying complexity classes which have resisted separation in the standard oracle model. Our constructions also yield simpler oracle separations between the hybrid models and BQP, compared to earlier works.
△ Less
Submitted 5 January, 2022;
originally announced January 2022.
-
Analytic quantum weak coin flipping protocols with arbitrarily small bias
Authors:
Atul Singh Arora,
Jérémie Roland,
Chrysoula Vlachou
Abstract:
Weak coin flipping (WCF) is a fundamental cryptographic primitive for two-party secure computation, where two distrustful parties need to remotely establish a shared random bit whilst having opposite preferred outcomes. It is the strongest known primitive with arbitrarily close to perfect security quantumly while classically, its security is completely compromised (unless one makes further assumpt…
▽ More
Weak coin flipping (WCF) is a fundamental cryptographic primitive for two-party secure computation, where two distrustful parties need to remotely establish a shared random bit whilst having opposite preferred outcomes. It is the strongest known primitive with arbitrarily close to perfect security quantumly while classically, its security is completely compromised (unless one makes further assumptions, such as computational hardness). A WCF protocol is said to have bias $ε$ if neither party can force their preferred outcome with probability greater than $1/2+ε$. Classical WCF protocols are shown to have bias $1/2$, i.e., a cheating party can always force their preferred outcome. On the other hand, there exist quantum WCF protocols with arbitrarily small bias, as Mochon showed in his seminal work in 2007 [arXiv:0711.4114]. In particular, he proved the existence of a family of WCF protocols approaching bias $ε(k)=1/(4k+2)$ for arbitrarily large $k$ and proposed a protocol with bias $1/6$. Last year, Arora, Roland and Weis presented a protocol with bias $1/10$ and to go below this bias, they designed an algorithm that numerically constructs unitary matrices corresponding to WCF protocols with arbitrarily small bias [STOC'19, p.205-216]. In this work, we present new techniques which yield a fully analytical construction of WCF protocols with bias arbitrarily close to zero, thus achieving a solution that has been missing for more than a decade. Furthermore, our new techniques lead to a simplified proof of existence of WCF protocols by circumventing the non-constructive part of Mochon's proof. As an example, we illustrate the construction of a WCF protocol with bias $1/14$.
△ Less
Submitted 13 July, 2020; v1 submitted 29 November, 2019;
originally announced November 2019.
-
All fundamental non-contextuality inequalities are unique
Authors:
Kishor Bharti,
Atul Singh Arora,
Leong Chuan Kwek,
Jérémie Roland
Abstract:
Contextuality is one way of capturing the non-classicality of quantum theory. The contextual nature of a theory is often witnessed via the violation of non-contextuality inequalities---certain linear inequalities involving probabilities of measurement events. Using the exclusivity graph approach (one of the two main graph theoretic approaches for studying contextuality), it was shown [PRA 88, 0321…
▽ More
Contextuality is one way of capturing the non-classicality of quantum theory. The contextual nature of a theory is often witnessed via the violation of non-contextuality inequalities---certain linear inequalities involving probabilities of measurement events. Using the exclusivity graph approach (one of the two main graph theoretic approaches for studying contextuality), it was shown [PRA 88, 032104 (2013); Annals of mathematics, 51-299 (2006)] that a necessary and sufficient condition for witnessing contextuality is the presence of an odd number of events (greater than three) which are either cyclically or anti-cyclically exclusive. Thus, the non-contextuality inequalities whose underlying exclusivity structure is as stated, either cyclic or anti-cyclic, are fundamental to quantum theory. We show that there is a unique non-contextuality inequality for each non-trivial cycle and anti-cycle. In addition to the foundational interest, we expect this to aid the understanding of contextuality as a resource to quantum computing and its applications to local self-testing.
△ Less
Submitted 22 December, 2019; v1 submitted 13 November, 2018;
originally announced November 2018.
-
Quantum Weak Coin Flipping
Authors:
Atul Singh Arora,
Jérémie Roland,
Stephan Weis
Abstract:
We investigate weak coin flipping, a fundamental cryptographic primitive where two distrustful parties need to remotely establish a shared random bit. A cheating player can try to bias the output bit towards a preferred value. For weak coin flipping the players have known opposite preferred values. A weak coin-flipping protocol has a bias $ε$ if neither player can force the outcome towards their p…
▽ More
We investigate weak coin flipping, a fundamental cryptographic primitive where two distrustful parties need to remotely establish a shared random bit. A cheating player can try to bias the output bit towards a preferred value. For weak coin flipping the players have known opposite preferred values. A weak coin-flipping protocol has a bias $ε$ if neither player can force the outcome towards their preferred value with probability more than $\frac{1}{2}+ε$. While it is known that all classical protocols have $ε=\frac{1}{2}$, Mochon showed in 2007 [arXiv:0711.4114] that quantumly weak coin flipping can be achieved with arbitrarily small bias (near perfect) but the best known explicit protocol has bias $1/6$ (also due to Mochon, 2005 [Phys. Rev. A 72, 022341]). We propose a framework to construct new explicit protocols achieving biases below $1/6$. In particular, we construct explicit unitaries for protocols with bias approaching $1/10$. To go below, we introduce what we call the Elliptic Monotone Align (EMA) algorithm which, together with the framework, allows us to numerically construct protocols with arbitrarily small biases.
△ Less
Submitted 26 November, 2019; v1 submitted 6 November, 2018;
originally announced November 2018.
-
Revisiting the admissibility of non-contextual hidden variable models in quantum mechanics
Authors:
Atul Singh Arora,
Kishor Bharti,
Arvind
Abstract:
We construct a non-contextual hidden variable model consistent with all the kinematic predictions of quantum mechanics (QM). The famous Bell-KS theorem shows that non-contextual models which satisfy a further reasonable restriction are inconsistent with QM. In our construction, we define a weaker variant of this restriction which captures its essence while still allowing a non-contextual descripti…
▽ More
We construct a non-contextual hidden variable model consistent with all the kinematic predictions of quantum mechanics (QM). The famous Bell-KS theorem shows that non-contextual models which satisfy a further reasonable restriction are inconsistent with QM. In our construction, we define a weaker variant of this restriction which captures its essence while still allowing a non-contextual description of QM. This is in contrast to the contextual hidden variable toy models, such as the one by Bell, and brings out an interesting alternate way of looking at QM. The results also relate to the Bohmian model, where it is harder to pin down such features.
△ Less
Submitted 6 May, 2018; v1 submitted 12 July, 2016;
originally announced July 2016.
-
Proposal for a macroscopic test of local realism with phase-space measurements
Authors:
Atul S. Arora,
Ali Asadian
Abstract:
We propose a new test of local realism based on correlation measurements of continuum valued functions of positions and momenta, known as modular variables. The Wigner representation of these observables are bounded in phase space, and therefore, the associated inequality holds for any state described by a non-negative Wigner function. This agrees with Bell's remark that positive Wigner functions,…
▽ More
We propose a new test of local realism based on correlation measurements of continuum valued functions of positions and momenta, known as modular variables. The Wigner representation of these observables are bounded in phase space, and therefore, the associated inequality holds for any state described by a non-negative Wigner function. This agrees with Bell's remark that positive Wigner functions, serving as a valid probability distribution over local (hidden) phase space coordinates, do not reveal non-locality. We construct a class of entangled states resulting in a violation of the inequality, and thus truly demonstrate non-locality in phase space. The states can be realized through grating techniques in space-like separated interferometric setups. The non-locality is verified from the spatial correlation data, collected from the screens.
△ Less
Submitted 9 December, 2015; v1 submitted 19 August, 2015;
originally announced August 2015.
