Self-testing in the compiled setting via tilted-CHSH inequalities

• URL: http://arxiv.org/abs/2406.04986v2
• Date: Wed, 09 Apr 2025 13:42:11 GMT
• Title: Self-testing in the compiled setting via tilted-CHSH inequalities
• Authors: Arthur Mehta, Connor Paddock, Lewis Wooltorton,
• Abstract summary: We formalize a notion of self-testing for compiled two-prover Bell scenarios.<n>We show that any maximal violation in the compiled setting of inequalities from this family satisfies a notion of self-testing in the compiled setting.
• Score: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: In a Bell scenario, a classical verifier interacts with two non-communicating (quantum) provers. To an observer, the behaviour of the provers in this interaction is modeled by correlations. Certain correlations allow the verifier to certify, or self-test, the underlying quantum state and measurements. Self-testing underpins numerous device-independent quantum protocols with a classical verifier, yet, a drawback of using self-tests in applications is the required no-communicating assumption between the provers. To address this issue, Kalai et al.~(STOC '23) introduce a cryptographic procedure which "compiles" these scenarios into a multi-round interaction between a verifier and a single computationally bounded prover. In this work, we formalize a notion of self-testing for compiled two-prover Bell scenarios. In addition, we prove that the quantum value is preserved under compilation for the family of tilted-CHSH inequalities (up to negligible factors). We also show that any maximal violation in the compiled setting of inequalities from this family satisfies a notion of self-testing in the compiled setting. More specifically, we show that maximal violations of these inequalities imply the existence of an efficient isometry that recovers the measurement action on the state after the first round.

Related papers

• Certifying classes of $d$-outcome measurements with quantum steering [49.1574468325115]
  We provide a construction of a family of steering inequalities tailored to large classes of $d$-outcomes projective measurements. We prove that the maximal quantum violation of those inequalities can be used for certification of those measurements and the maximally entangled state of two qudits.
  arXiv  Detail & Related papers  (2024-10-27T15:32:53Z)
• Self-testing of multiple unsharpness parameters through sequential violations of non-contextual inequality [0.0]
  We put forth a protocol for self-testing of noisy quantum instruments. We derive the optimal set of quantum violations without specifying the dimension of the quantum system.
  arXiv  Detail & Related papers  (2024-08-19T19:04:48Z)
• Mitigating LLM Hallucinations via Conformal Abstention [70.83870602967625]
  We develop a principled procedure for determining when a large language model should abstain from responding in a general domain. We leverage conformal prediction techniques to develop an abstention procedure that benefits from rigorous theoretical guarantees on the hallucination rate (error rate) Experimentally, our resulting conformal abstention method reliably bounds the hallucination rate on various closed-book, open-domain generative question answering datasets.
  arXiv  Detail & Related papers  (2024-04-04T11:32:03Z)
• Device-independent self-testing of unsharp measurements [0.0]
  Semi-device-independent certification of an unsharp instrument has recently been demonstrated. We provide device-independent (DI) self-testing of the unsharp instrument through the quantum violation of two Bell inequalities.
  arXiv  Detail & Related papers  (2023-11-08T06:34:47Z)
• Certified Robustness of Quantum Classifiers against Adversarial Examples through Quantum Noise [68.1992787416233]
  We show that adding quantum random rotation noise can improve robustness in quantum classifiers against adversarial attacks. We derive a certified robustness bound to enable quantum classifiers to defend against adversarial examples.
  arXiv  Detail & Related papers  (2022-11-02T05:17:04Z)
• Quantum correlations on the no-signaling boundary: self-testing and more [0.39146761527401425]
  We prove that self-testing is possible in all nontrivial Classes beyond the known examples of Hardy-type correlations. All correlations of $mathcalM$ in the simplest Bell scenario are attainable as convex combinations of those achievable using a Bell pair and projective measurements.
  arXiv  Detail & Related papers  (2022-07-28T01:55:21Z)
• Nonparametric Conditional Local Independence Testing [69.31200003384122]
  Conditional local independence is an independence relation among continuous time processes. No nonparametric test of conditional local independence has been available. We propose such a nonparametric test based on double machine learning.
  arXiv  Detail & Related papers  (2022-03-25T10:31:02Z)
• Quantum Proofs of Deletion for Learning with Errors [91.3755431537592]
  We construct the first fully homomorphic encryption scheme with certified deletion. Our main technical ingredient is an interactive protocol by which a quantum prover can convince a classical verifier that a sample from the Learning with Errors distribution in the form of a quantum state was deleted.
  arXiv  Detail & Related papers  (2022-03-03T10:07:32Z)
• Self-testing quantum states via nonmaximal violation in Hardy's test of nonlocality [0.0]
  A typical approach in designing such protocols is based on observing nonlocal correlations which exhibit maximum violation in a Bell test. We show that in Bell experiment known as Hardy's test of nonlocality not only the maximally nonlocal correlation self-tests a quantum state, rather a non-maximal nonlocal behavior can serve the same purpose.
  arXiv  Detail & Related papers  (2021-12-13T12:24:10Z)
• Experimental violations of Leggett-Garg's inequalities on a quantum computer [77.34726150561087]
  We experimentally observe the violations of Leggett-Garg-Bell's inequalities on single and multi-qubit systems. Our analysis highlights the limits of nowadays quantum platforms, showing that the above-mentioned correlation functions deviate from theoretical prediction as the number of qubits and the depth of the circuit grow.
  arXiv  Detail & Related papers  (2021-09-06T14:35:15Z)
• Sample-efficient device-independent quantum state verification and certification [68.8204255655161]
  Authentication of quantum sources is a crucial task in building reliable and efficient protocols for quantum-information processing. We develop a systematic approach to device-independent verification of quantum states free of IID assumptions in the finite copy regime. We show that device-independent verification can be performed with optimal sample efficiency.
  arXiv  Detail & Related papers  (2021-05-12T17:48:04Z)
• Self-testing two-qubit maximally entangled states from generalized CHSH tests [0.0]
  We show how the self-testing of two-qubit maximally entangled states is improved by a refined analysis of measurement statistics. Our results not only provide novel insight into the set of quantum correlations suited for self-testing, but also facilitate the experimental implementations of device-independent certifications.
  arXiv  Detail & Related papers  (2020-11-05T19:00:00Z)
• On the optimal certification of von Neumann measurements [55.41644538483948]
  certification of quantum measurements can be viewed as the extension of quantum hypotheses testing. We show the connection between the certification of quantum channels or von Neumann measurements and the notion of $q$-numerical range.
  arXiv  Detail & Related papers  (2020-09-14T22:38:23Z)
• Robust self-testing of steerable quantum assemblages and its applications on device-independent quantum certification [0.0]
  Given a Bell inequality, if its maximal quantum violation can be achieved only by a single set of measurements for each party or a single quantum state, up to local unitaries, one refers to such a phenomenon as self-testing. We propose a framework called "robust self-testing of steerable quantum assemblages" Our result is device-independent (DI), i.e., no assumption is made on the shared state and the measurement devices involved.
  arXiv  Detail & Related papers  (2020-02-07T14:50:16Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.