Brief Announcement: Distributed Quantum Proofs for Replicated Data

Authors Pierre Fraigniaud, François Le Gall, Harumichi Nishimura, Ami Paz



PDF
Thumbnail PDF

File

LIPIcs.DISC.2020.43.pdf
  • Filesize: 320 kB
  • 3 pages

Document Identifiers

Author Details

Pierre Fraigniaud
  • IRIF, CNRS and Université de Paris, France
François Le Gall
  • Graduate School of Mathematics, Nagoya University, Japan
Harumichi Nishimura
  • Graduate School of Informatics, Nagoya University, Japan
Ami Paz
  • Faculty of Computer Science, Universität Wien, Austria

Cite As Get BibTex

Pierre Fraigniaud, François Le Gall, Harumichi Nishimura, and Ami Paz. Brief Announcement: Distributed Quantum Proofs for Replicated Data. In 34th International Symposium on Distributed Computing (DISC 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 179, pp. 43:1-43:3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020) https://doi.org/10.4230/LIPIcs.DISC.2020.43

Abstract

This paper tackles the issue of checking that all copies of a large data set replicated at several nodes of a network are identical. The fact that the replicas may be located at distant nodes prevents the system from verifying their equality locally, i.e., by having each node consult only nodes in its vicinity. On the other hand, it remains possible to assign certificates to the nodes, so that verifying the consistency of the replicas can be achieved locally. However, we show that, as the replicated data is large, classical certification mechanisms, including distributed Merlin-Arthur protocols, cannot guarantee good completeness and soundness simultaneously, unless they use very large certificates. The main result of this paper is a distributed quantum Merlin-Arthur protocol enabling the nodes to collectively check the consistency of the replicas, based on small certificates, and in a single round of message exchange between neighbors, with short messages. In particular, the certificate-size is logarithmic in the size of the data set, which gives an exponential advantage over classical certification mechanisms.

Subject Classification

ACM Subject Classification
  • Theory of computation → Quantum communication complexity
  • Theory of computation → Distributed computing models
Keywords
  • Quantum Computing
  • Distributed Network Computing
  • Algorithmic Aspects of Networks

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads

References

  1. Pierre Fraigniaud, François Le Gall, Harumichi Nishimura, and Ami Paz. Distributed quantum proofs for replicated data. arXiv:2002.10018, 2020. URL: http://arxiv.org/abs/2002.10018.
  2. Pierre Fraigniaud, Boaz Patt-Shamir, and Mor Perry. Randomized proof-labeling schemes. Distributed Computing, 32(3):217-234, 2019. URL: https://doi.org/10.1007/s00446-018-0340-8.
  3. Mika Göös and Jukka Suomela. Locally checkable proofs in distributed computing. Theory of Computing, 12:19:1-19:33, 2016. URL: https://doi.org/10.4086/toc.2016.v012a019.
  4. Amos Korman, Shay Kutten, and David Peleg. Proof labeling schemes. Distributed Computing, 22(4):215-233, 2010. URL: https://doi.org/10.1007/s00446-010-0095-3.
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail