scholarly journals Continuity, proof systems and the theory of transfinite computations

2002 ◽  
Vol 41 (8) ◽  
pp. 765-788
Author(s):  
Dag Normann
Keyword(s):  
Impact ◽  
2019 ◽  
Vol 2019 (10) ◽  
pp. 30-32
Author(s):  
Tomoyuki Morimae

In cloud quantum computing, a classical client delegate quantum computing to a remote quantum server. An important property of cloud quantum computing is the verifiability: the client can check the integrity of the server. Whether such a classical verification of quantum computing is possible or not is one of the most important open problems in quantum computing. We tackle this problem from the view point of quantum interactive proof systems. Dr Tomoyuki Morimae is part of the Quantum Information Group at the Yukawa Institute for Theoretical Physics at Kyoto University, Japan. He leads a team which is concerned with two main research subjects: quantum supremacy and the verification of quantum computing.


2014 ◽  
Vol 45 (4) ◽  
pp. 59-75 ◽  
Author(s):  
C. Glaßer ◽  
A. Hughes ◽  
A. L. Selman ◽  
N. Wisiol

1994 ◽  
Vol VII (3) ◽  
pp. 220-226
Author(s):  
Stavros S. Cosmadakis
Keyword(s):  

1993 ◽  
Vol 24 (4) ◽  
pp. 2-13 ◽  
Author(s):  
Oded Goldreich
Keyword(s):  

2021 ◽  
Vol 13 (1) ◽  
pp. 1-25
Author(s):  
Dmitry Itsykson ◽  
Alexander Okhotin ◽  
Vsevolod Oparin

The partial string avoidability problem is stated as follows: given a finite set of strings with possible “holes” (wildcard symbols), determine whether there exists a two-sided infinite string containing no substrings from this set, assuming that a hole matches every symbol. The problem is known to be NP-hard and in PSPACE, and this article establishes its PSPACE-completeness. Next, string avoidability over the binary alphabet is interpreted as a version of conjunctive normal form satisfiability problem, where each clause has infinitely many shifted variants. Non-satisfiability of these formulas can be proved using variants of classical propositional proof systems, augmented with derivation rules for shifting proof lines (such as clauses, inequalities, polynomials, etc.). First, it is proved that there is a particular formula that has a short refutation in Resolution with a shift rule but requires classical proofs of exponential size. At the same time, it is shown that exponential lower bounds for classical proof systems can be translated for their shifted versions. Finally, it is shown that superpolynomial lower bounds on the size of shifted proofs would separate NP from PSPACE; a connection to lower bounds on circuit complexity is also established.


2017 ◽  
Vol 61 (4) ◽  
pp. 561-574 ◽  
Author(s):  
Qiqi Lai ◽  
Bo Yang ◽  
Yong Yu ◽  
Yuan Chen ◽  
Jian Bai
Keyword(s):  

1996 ◽  
Vol 9 (3) ◽  
pp. 167-189 ◽  
Author(s):  
Oded Goldreich ◽  
Ariel Kahan

2012 ◽  
Vol 41 (5) ◽  
pp. 1193-1232 ◽  
Author(s):  
Jens Groth ◽  
Amit Sahai

Sign in / Sign up

Export Citation Format

Share Document