English
Related papers

Related papers: On the Relativistic Zero Knowledge Quantum Proofs …

200 papers

Readout errors contribute significantly to the overall noise affecting present-day quantum computers. However, the complete characterization of generic readout noise is infeasible for devices consisting of a large number of qubits. Here we…

We study quantum-classical separations between classical and quantum supervised learning models based on constant depth (i.e., shallow) circuits, in scenarios with and without noises. We construct a classification problem defined by a…

Quantum Physics · Physics 2024-05-03 Zhihan Zhang , Weiyuan Gong , Weikang Li , Dong-Ling Deng

We provide several advances to the understanding of the class of Quantum Merlin-Arthur proof systems (QMA), the quantum analogue of NP. Our central contribution is proving a longstanding conjecture that the Consistency of Local Density…

Quantum Physics · Physics 2022-10-13 Anne Broadbent , Alex B. Grilo

The inherent difficulty of knowledge specification and the lack of trained specialists are some of the key obstacles on the way to making intelligent systems based on the knowledge representation and reasoning (KRR) paradigm commonplace.…

Computation and Language · Computer Science 2020-02-19 Tiantian Gao , Paul Fodor , Michael Kifer

We study quantum communication in the presence of adversarial noise. In this setting, communicating with perfect fidelity requires using a quantum code of bounded minimum distance, for which the best known rates are given by the quantum…

Quantum Physics · Physics 2008-01-28 Debbie Leung , Graeme Smith

The reliability function gives the rate of exponential convergence to zero of the error probability in a communication channel. In this paper bounds for the reliability function of a quantum pure state channel are given, reminiscent of the…

Quantum Physics · Physics 2008-02-03 M. V. Burnashev , A. S. Holevo

Identifying an accurate model for the dynamics of a quantum system is a vexing problem that underlies a range of problems in experimental physics and quantum information theory. Recently, a method called quantum Hamiltonian learning has…

Quantum Physics · Physics 2014-04-23 Nathan Wiebe , Christopher Granade , Christopher Ferrie , David G. Cory

When the environmental disturbace to a quantum system has a wavelength much larger than the system size, all qubits localized within a small area are under action of the same error operators. Noiseless subsystem and decoherence free…

Quantum Physics · Physics 2013-05-29 Chi-Kwong Li , Mikio Nakahara , Yiu-Tung Poon , Nung-Sing Sze , Hiroyuki Tomita

Quantum correlations provide dramatic advantage over the corresponding classical resources in several communication tasks. However a broad class of probabilistic theories exists that attributes greater success than quantum theory in many of…

Quantum Physics · Physics 2020-11-09 Sutapa Saha , Some Sankar Bhattacharya , Tamal Guha , Saronath Halder , Manik Banik

A Zero-Knowledge Protocol (ZKP) allows one party to convince another party of a fact without disclosing any extra knowledge except the validity of the fact. For example, it could be used to allow a customer to prove their identity to a…

Quantum Physics · Physics 2023-04-20 Claude Crépeau , John Stuart

Relational verification of quantum programs has many potential applications in quantum and post-quantum security and other domains. We propose a relational program logic for quantum programs. The interpretation of our logic is based on a…

Logic in Computer Science · Computer Science 2019-12-12 Gilles Barthe , Justin Hsu , Mingsheng Ying , Nengkun Yu , Li Zhou

Knowledge-based visual question answering (KB-VQA) requires a model to understand images and utilize external knowledge to provide accurate answers. Existing approaches often directly augment models with retrieved information from knowledge…

Computer Vision and Pattern Recognition · Computer Science 2025-09-12 Zhiyue Liu , Sihang Liu , Jinyuan Liu , Xinru Zhang

Recent Language Models (LMs) have shown impressive capabilities in generating texts with the knowledge internalized in parameters. Yet, LMs often generate the factually incorrect responses to the given queries, since their knowledge may be…

Computation and Language · Computer Science 2023-10-20 Jinheon Baek , Soyeong Jeong , Minki Kang , Jong C. Park , Sung Ju Hwang

This paper studies multiple-proof quantum Merlin-Arthur (QMA) proof systems in the setting when the completeness-soundness gap is small. Small means that we only lower-bound the gap with an inverse-exponential function of the input length,…

Quantum Physics · Physics 2012-05-15 Attila Pereszlényi

We compare the power of quantum and classical physics in terms of randomness certification from devices which are only partially characterised. We study randomness certification based on state discrimination and take noncontextuality as the…

Quantum Physics · Physics 2022-08-09 Carles Roch I Carceller , Kieran Flatt , Hanwool Lee , Joonwoo Bae , Jonatan Bohr Brask

Higher-dimensional quantum systems (qudits) offer advantages in information encoding, error resilience, and compact gate implementations, and naturally arise in platforms such as superconducting and solid-state systems. However, realistic…

Quantum Physics · Physics 2025-06-17 Yule Mayevsky , Akram Youssry , Ritik Sareen , Gerardo A. Paz-Silva , Alberto Peruzzo

The goal of randomness extraction is to distill (almost) perfect randomness from a weak source of randomness. When the source yields a classical string X, many extractor constructions are known. Yet, when considering a physical randomness…

Quantum Physics · Physics 2014-05-14 Mario Berta , Omar Fawzi , Stephanie Wehner

The concept of positively and negatively compatible null vectors arises in the study of Clifford geometric algebras with a Lorentz-Minkowski metric. In previous works, the basic properties of such algebras have been set down in terms of a…

General Physics · Physics 2023-08-25 Garret Sobczyk

The expressive capacity of quantum systems for machine learning is limited by quantum sampling noise incurred during measurement. Although it is generally believed that noise limits the resolvable capacity of quantum systems, the precise…

Machine learning is increasingly deployed through outsourced and cloud-based pipelines, which improve accessibility but also raise concerns about computational integrity, data privacy, and model confidentiality. Zero-knowledge proofs (ZKPs)…

Cryptography and Security · Computer Science 2026-03-31 Zhizhi Peng , Chonghe Zhao , Taotao Wang , Guofu Liao , Zibin Lin , Yifeng Liu , Bin Cao , Long Shi , Qing Yang , Shengli Zhang