See this document in CiteSeerX!

Determining Acceptance Possibility for a Quantum Computation is Hard for the Polynomial Hierarchy (1998)  (Make Corrections)  (9 citations)
Stephen Fenner, Frederic Green, Steven Homer, Randall Pruim
Electronic Colloquium on Computational Complexity (ECCC)



  Home/Search   Context   Related

Links:   ACM   DBLP

 
View or download:
bu.edu/faculty/homer/papers/quant.ps
bu.edu/techreports...00002quant1.ps.Z
sc.edu/~fenner/papers/royalsoc.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  bu.edu/faculty/homer/paperlist (more)
From:  sc.edu/~fenner/pubs
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: It is shown that determining whether a quantum computation has a non-zero probability of accepting is at least as hard as the polynomial time hierarchy. This hardness result also applies to determining in general whether a given quantum basis state appears with nonzero amplitude in a superposition, or whether a given quantum bit has positive expectation value at the end of a quantum computation. This result is achieved by showing that the complexity class NQP of Adleman, Demarrais, and... (Update)

Context of citations to this paper:   More

...the QACC operator is non zero. This is analogous to the de nition of the class NQP in Adleman et al. 10] and discussed in Fenner et al. [11] where it is shown that NQP is classically of high complexity, and in particular is hard for the polynomial time hierarchy. In this way...

...lies in the polynomial time hierarchy. What about quantum variations of NP and interactive proof systems Fenner, Green, Homer and Pruim [FGHP99] consider the class consisting of the languages L such that for some polynomialtime quantum Turing machine, x is in L when M(x)...

Cited by:   More
One Complexity Theorist's View of Quantum Computing - Lance Fortnow Nec (2000)   (Correct)
Graph Non-Isomorphism Has a Succinct Quantum Certificate - Tatsuaki Okamoto Keisuke   (Correct)
Succinct Quantum Proofs for Properties of Finite Groups - Watrous (2000)   (Correct)

Similar documents (at the sentence level):
59.9%:   Quantum NP is Hard for PH - Fenner, Green, al. (1998)   (Correct)
37.3%:   Determining Acceptance Possibility for a Quantum Computation is.. - Fenner (1998)   (Correct)
30.4%:   Determining Acceptance Possibility for a Quantum - Computation Is Hard (1998)   (Correct)

Active bibliography (related documents):   More   All
0.2:   Counting, Fanout, And The Complexity Of Quantum Acc - Green, al. (2002)   (Correct)
0.2:   A Short History of Computational Complexity - Fortnow, Homer (2002)   (Correct)
0.2:   On the Complexity of Quantum ACC - Green, Homer, Pollett (2000)   (Correct)

Similar documents based on text:   More   All
0.9:   Complements of Multivalued Functions - Frederic Green Clark   (Correct)
0.4:   The Correlation Between Parity and Quadratic Polynomials - Green   (Correct)
0.3:   Hyper-Polynomial Hierarchies and the NP-Jump - Fenner, Homer, Pruim, Schaefer   (Correct)

Related documents from co-citation:   More   All
9:   Quantum complexity theory - Bernstein, Vazirani - 1993
6:   SIAM Journal on Computing (context) - Adleman, Demarrais et al. - 1997
6:   A fast quantum mechanical algorithm for database search - Grover - 1996

BibTeX entry:   (Update)

S. Fenner, F. Green, S. Homer, and R. Pruim. Determining acceptance possibility for a quantum computation is hard for PH. Technical Report 98-008, Computer Science Department, Boston University, 1998. http://citeseer.ist.psu.edu/fenner98determining.html   More

@article{ fenner99determining,
    author = "Stephen A. Fenner and Frederic Green and Steven Homer and Randall Pruim",
    title = "Determining Acceptance Possibility for a Quantum Computation is Hard for the Polynomial Hierarchy",
    journal = "Electronic Colloquium on Computational Complexity (ECCC)",
    volume = "6",
    number = "003",
    year = "1999",
    url = "citeseer.ist.psu.edu/fenner98determining.html" }
Citations (may not include all citations):
173   Quantum Complexity Theory - Bernstein, Vazirani - 1997  ACM   DBLP
168   Algorithms for quantum computation: Discrete logarithms and .. - Shor - 1994  DBLP
144   the power of quantum computation - Simon - 1997
126   PP is as hard as the polynomial-time hierarchy (context) - Toda - 1991  ACM   DBLP
126   Rapid solutions of problems by quantum computation (context) - Deutsch, Jozsa - 1992
90   The complexity of combinatorial problems with succinct input.. (context) - Wagner - 1986  ACM   DBLP
86   Gap-definable counting classes - Fenner, Fortnow et al. - 1994  ACM   DBLP
85   Quantum circuit complexity - Yao - 1993  DBLP
58   volume 11 of EATCS Monographs on Theoretical Computer Scienc.. (context) - Balc'azar, 'iaz et al. - 1988
53   Counting classes are at least as hard as the polynomial-time.. (context) - Toda, Ogiwara - 1992  ACM   DBLP
45   Quantum computation - Berthiaume - 1997  ACM
44   The Graph Isomorphism Problem: Its Structural Complexity (context) - Kobler, Schoning et al. - 1993
42   The quantum challenge to structural complexity theory - Berthiaume, Brassard - 1992  DBLP
37   Complexity classes defined by counting quantifiers - Tor'an - 1991  ACM   DBLP
36   Complexity limitations on quantum computation - Fortnow, Rogers - 1998  ACM   DBLP
34   Quantum mechanical hamiltonian models of turing machines (context) - Benioff - 1982
20   SIAM Journal on Computing (context) - Adleman, DeMarrais et al. - 1997
18   Counting Complexity - Fortnow - 1997  ACM
14   Polynomial-time algorithms for prime number factorization an.. (context) - Shor - 1997
13   Strengths and weaknesses of quantum computation (context) - Bennett, Bernstein et al. - 1997
13   Theoretical Computer Science (context) - Tarui, AC et al. - 1993  ACM
9   The Power of Counting (context) - Schoning - 1990
9   and the universal quantum computer (context) - Deutsch, the - 1985
7   Quantum NP is Hard for PH - Fenner, Green et al. - 1998
3   Private communication (context) - Watrous - 1997



The graph only includes citing articles where the year of publication is known.


Documents on the same site (http://cs-www.bu.edu/faculty/homer/paperlist.html):   More
Structural Properties of Complete Problems for Exponential Time - Homer (1997)   (Correct)
Hyper-Polynomial Hierarchies and the NP-Jump - Stephen Fenner University   (Correct)
Complements of Multivalued Functions - Frederic Green Clark   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC