English
Related papers

Related papers: Quantum Multi Prover Interactive Proofs with Commu…

200 papers

We prove that the fidelity of two exemplary communication complexity protocols, allowing for an N-1 bit communication, can be exponentially improved by N-1 (unentangled) qubit communication. Taking into account, for a fair comparison, all…

Multi-hop Question Answering (QA) is a challenging task since it requires an accurate aggregation of information from multiple context paragraphs and a thorough understanding of the underlying reasoning chains. Recent work in multi-hop QA…

Computation and Language · Computer Science 2022-11-02 Kaige Xie , Sarah Wiegreffe , Mark Riedl

Quantum information processing is the emerging field that defines and realizes computing devices that make use of quantum mechanical principles, like the superposition principle, entanglement, and interference. In this review we study the…

Quantum Physics · Physics 2015-05-13 Harry Buhrman , Richard Cleve , Serge Massar , Ronald de Wolf

Quantum communication is a holy grail to achieve secure communication among a set of partners, since it is provably unbreakable by physical laws. Quantum sensing employs quantum entanglement as an extra resource to determine parameters by…

Quantum Physics · Physics 2018-12-27 Mikel Sanz , Kirill G. Fedorov , Frank Deppe , Enrique Solano

Long-distance quantum communication via distant pairs of entangled quantum bits (qubits) is the first step towards more secure message transmission and distributed quantum computing. To date, the most promising proposals require quantum…

Quantum Physics · Physics 2009-11-13 O. A. Collins , S. D. Jenkins , A. Kuzmich , T. A. B. Kennedy

Covert communication offers a method to transmit messages in such a way that it is not possible to detect that the communication is happening at all. In this work, we report an experimental demonstration of covert communication that is…

A critical step in experimental quantum information processing (QIP) is to implement control of quantum systems protected against decoherence via informational encodings, such as quantum error correcting codes, noiseless subsystems and…

Quantum Physics · Physics 2009-09-13 P. Cappellaro , J. S. Hodges , T. F. Havel , D. G. Cory

We present Authenticated Multiuser Quantum Direct Communication(MQDC) protocols using entanglement swapping. Quantum direct communication is believed to be a safe way to send a secret message without quantum key distribution. The…

Quantum Physics · Physics 2007-05-23 Changho Hong , Jiin Kim , Hwayean Lee , Hyungjin Yang

Entanglement and quantum communication are paradigmatic resources in quantum information science leading to correlations between systems that have no classical analogue. Correlations due to entanglement when communication is absent have for…

Quantum Physics · Physics 2022-06-15 Jef Pauwels , Armin Tavakoli , Erik Woodhead , Stefano Pironio

Various physical constraints limit the number of qubits that can be implemented in a single quantum processor, and thus it is necessary to connect multiple quantum processors via quantum interconnects. While several compiler implementations…

Quantum Physics · Physics 2023-02-02 Shin Nishio , Ryo Wakizaka

Two dual questions in quantum information theory are to determine the communication cost of simulating a bipartite unitary gate, and to determine their communication capacities. We present a bipartite unitary gate with two surprising…

Quantum Physics · Physics 2011-08-04 Aram W. Harrow , Debbie W. Leung

Quantum Information Processing, which is an exciting area of research at the intersection of physics and computer science, has great potential for influencing the future development of information processing systems. The building of…

Logic in Computer Science · Computer Science 2015-11-06 Jaap Boender , Florian Kammüller , Rajagopal Nagarajan

We show that interactive protocols between a prover and a verifier, a well-known tool of complexity theory, can be used in practice to certify the correctness of automated reasoning tools. Theoretically, interactive protocols exist for all…

Logic in Computer Science · Computer Science 2023-09-07 Eszter Couillard , Philipp Czerner , Javier Esparza , Rupak Majumdar

In the field of quantum metrology and sensing, a collection of quantum systems (e.g. spins) are used as a probe to estimate some physical parameter (e.g. magnetic field). It is usually assumed that there are no interactions between the…

Quantum Physics · Physics 2018-05-16 Shane Dooley , Michael Hanks , Shojun Nakayama , William J. Munro , Kae Nemoto

We initiate the systematic study of QMA algorithms in the setting of property testing, to which we refer as QMA proofs of proximity (QMAPs). These are quantum query algorithms that receive explicit access to a sublinear-size untrusted proof…

Quantum Physics · Physics 2022-10-17 Marcel Dall'Agnol , Tom Gur , Subhayan Roy Moulik , Justin Thaler

Recent proposals in quantum gravity have suggested that unknown systems can mediate entanglement between two known quantum systems, if and only if the mediator itself is non-classical. This approach may be applicable to the brain, where…

General Physics · Physics 2022-10-05 Christian Kerskens , David Lopez Perez

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

This thesis studies three topics in quantum computation and information: The approximability of quantum problems, quantum proof systems, and non-classical correlations in quantum systems. In the first area, we demonstrate a polynomial-time…

Quantum Physics · Physics 2013-01-15 Sevag Gharibian

The foundation of zero-knowledge is the simulator: a weak machine capable of pretending to be a weak verifier talking with all-powerful provers. To achieve this, simulators need some kind of advantage such as the knowledge of a trapdoor. In…

Quantum Physics · Physics 2019-07-31 Claude Crépeau , Nan Yang

We develop a linear logical framework within the Hybrid system and use it to reason about the type system of a quantum lambda calculus. In particular, we consider a practical version of the calculus called Proto-Quipper, which contains the…

Logic in Computer Science · Computer Science 2018-12-11 Mohamed Yousri Mahmoud , Amy P. Felty
‹ Prev 1 3 4 5 6 7 10 Next ›