%% Theory of Computing
%% File: v011a003.bib
%% Publication date: March 26, 2015
%% Authors: Gus Gutoski, Patrick Hayden, Kevin Milner, and Mark M. Wilde
%
%
%
%
@string{eccc="Electron. Colloq. on Comput. Complexity (ECCC)"}
@string{springer = "Springer"}
@string{cup      = "Cambridge Univ. Press"}
@string{acm      = "ACM Press"}
@string{ieee     = "IEEE Comp. Soc. Press"}


@string{ccc=" IEEE Conf. on Computational Complexity"}
@string{ccc02="Proc. 17th" # ccc # " (CCC'02)"}
@string{ccc04="Proc. 19th" # ccc # " (CCC'04)"}
@string{ccc08="Proc. 23rd" # ccc # " (CCC'08)"}
@string{ccc12="Proc. 27th" # ccc # " (CCC'12)"}
@string{ccc13="Proc. 28th" # ccc # " (CCC'13)"}

@string{stoc71="Proc. 3rd STOC"}
@string{stoc85="Proc. 17th STOC"}
@string{stoc00="Proc. 32nd STOC"}
@string{stoc03="Proc. 35th STOC"}
@string{stoc06="Proc. 38th STOC"}
@string{stoc10="Proc. 42nd STOC"}
@string{stoc11="Proc. 43rd STOC"}
@string{stoc13="Proc. 45th STOC"}

@string{focs90="Proc. 31st FOCS"}
@string{focs91="Proc. 32nd FOCS"}
@string{focs02="Proc. 43rd FOCS"}
@string{focs09="Proc. 50th FOCS"}
@string{focs10="Proc. 51st FOCS"}

@string{stacs=" Symp. Theoretical Aspects of Comp. Sci."}
@string{stacs05= "Proc. 22nd" # stacs  # " (STACS'05)"}

@string{icalp=" Internat. Colloq. on Automata, Languages and Programming"}
@string{icalp12= "Proc. 39th" # icalp # " (ICALP'12)"}

@string{QuantumInfComput="Quantum Inf. Comput."}

@string{SIAMJComput="SIAM J. Comput."}

@string{JACM="J. ACM"}

@string{tcs      = "Theoret. Comput. Sci."}

@string{tit="IEEE Trans. Inform. Theory"}

@string{jcss="J. Comput. System Sci."}

@string{ccomplex = "Comput. Complexity"}



@article{kobayashi2003,
author = {Hirotada Kobayashi and Keiji Matsumoto},
title = {Quantum multi-prover interactive proof systems with limited prior entanglement},
journal = jcss,
year = {2003},
volume = {66},
note = {Preliminary version in \href{http://dx.doi.org/10.1007/3-540-36136-7_11}{ISAAC'02}},
pages = {429-450},
number = {3},
month = {May},
eprint = {arXiv:cs/0102013},
doi = {10.1016/s0022-0000(03)00035-7},
url = {http://dx.doi.org/10.1016/S0022-0000(03)00035-7}
}

@inproceedings{kobayashi2003-conf,
year = {2002},
isbn = {978-3-540-00142-3},
booktitle = {Algorithms and Computation},
volume = {2518},
series = {LNCS},
editor = {Bose, Prosenjit and Morin, Pat},
doi = {10.1007/3-540-36136-7\_11},
title = {Quantum Multi-prover Interactive Proof Systems with Limited Prior Entanglement},
url = {http://dx.doi.org/10.1007/3-540-36136-7_11},
publisher = springer,
author = {Hirotada Kobayashi and Keiji Matsumoto},
pages = {115-127},
language = {English}
}


@inproceedings{c71,
author = {Stephen A. Cook},
title = {The complexity of theorem proving procedures},
crossref = {pstoc71},
year = {1971},
pages = {151-158},
doi = {10.1145/800157.805047}
}
@article{divincenzo2002,
author = {David P. DiVincenzo and Debbie W. Leung and Barbara M. Terhal},
title = {Quantum data hiding},
journal = tit,
year = {2002},
volume = {48},
pages = {580-598},
number = {3},
month = {March},
eprint = {arXiv:quant-ph/0103098},
doi = {10.1109/18.985948},
publisher = ieee,
url = {http://dx.doi.org/10.1109/18.985948}
}
%
@article{qcap2008first,
title = {A Decoupling Approach to the Quantum Capacity},
author = {Patrick Hayden and Michal Horodecki and Andreas Winter and Jon Yard},
timestamp = {2008.05.07},
journal = {Open Systems \& Information Dynamics},
number = {1},
volume = {15},
year = {2008},
owner = {Mark Wilde},
eprint = {arXiv:quant-ph/0702005},
pages = {7-19},
doi = {10.1142/S1230161208000043},
}
%
@article{l96,
title = {Universal quantum simulators},
author = {Seth Lloyd},
timestamp = {2014.09.27},
journal = {Science},
number = {5278},
volume = {273},
year = {1996},
owner = {mwilde},
pages = {1073-1078},
doi = {10.1126/science.273.5278.1073},
}
%
@misc{hs13,
title = {Quantum error correction and {$\mathsf{QSZK}$}},
author = {Patrick Hayden and Brian Swingle},
timestamp = {2013.08.25},
owner = {mwilde},
year = {2012},
howpublished = {unpublished},
}

@inproceedings{g03,
title = {Classical deterministic complexity of {Edmonds'} Problem and quantum entanglement},
author = {Leonid Gurvits},
timestamp = {2012.11.05},
crossref = {pstoc03},
eprint ={arXiv:quant-ph/0303055},
owner = {mwilde},
pages = {10-19},
doi = {10.1145/780542.780545},
}

@book{nc00,
title = {Quantum Computation and Quantum Information},
author = {Michael A. Nielsen and Isaac L. Chuang},
publisher = cup, 
timestamp = {2007.06.09},
year = {2000},
owner = {Mark},
}

@inproceedings{cs12,
title = {The Complexity of the Separable {Hamiltonian} Problem},
author = {Andr\'e Chailloux and Or Sattath},
timestamp = {2013.08.08},
booktitle = ccc12, 
year = {2012},
owner = {mwilde},
eprint = {arXiv:1111.5247},
pages = {32-41},
doi = {10.1109/CCC.2012.42},
}

@article{bc12,
title = {Detection of Multiparticle Entanglement: {Q}uantifying the Search for Symmetric Extensions},
author = {Fernando G. S. L. Brand{\~a}o and Matthias Christandl},
numpages = {5},
url = {http://link.aps.org/doi/10.1103/PhysRevLett.109.160502},
journal = {Physical Review Letters},
publisher = {American Physical Society},
pages = {160502},
number = {16},
volume = {109},
eprint = {arXiv:1105.5720},
year = {2012},
doi = {10.1103/PhysRevLett.109.160502},
}

@article{bcy11,
title = {Faithful Squashed Entanglement},
author = {Fernando G. S. L. Brand{\~{a}}o and Matthias Christandl and Jon Yard},
timestamp = {2012.10.15},
journal = {Communications in Mathematical Physics},
number = {3},
volume = {306},
year = {2011},
eprint = {arXiv:1010.1750},
owner = {mwilde},
pages = {805-830},
doi = {10.1007/s00220-011-1302-1},
}

@article{lw12,
title = {Distinguishing multi-partite states by local measurements},
author = {C\'ecilia Lancien and Andreas Winter},
timestamp = {2013.08.12},
journal = {Communications in Mathematical Physics},
number = {2},
volume = {323},
eprint = {arXiv:1206.2884},
year = {2013},
owner = {mwilde},
pages = {555-573},
doi = {10.1007/s00220-013-1779-x},
}

@article{zzf00,
title = {Entangling power of quantum evolutions},
author = {Paolo Zanardi and Christof Zalka and Lara Faoro},
numpages = {4},
url = {http://link.aps.org/doi/10.1103/PhysRevA.62.030301},
journal = {Physical Review A},
publisher = {American Physical Society},
pages = {030301}, 
volume = {62},
number = {3},
eprint = {arXiv:quant-ph/0005031},
year = {2000},
doi = {10.1103/PhysRevA.62.030301},
}

@article{h69,
title = {Quantum detection and estimation theory},
author = {Carl W. Helstrom},
publisher = springer,
keyword = {Physics and Astronomy},
url = {http://dx.doi.org/10.1007/BF01007479},
timestamp = {2011.04.10},
journal = {Journal of Statistical Physics},
number = {2},
volume = {1},
affiliation = {Department of Applied Electrophysics University of California at San Diego La Jolla California},
year = {1969},
owner = {mwilde},
issue = {2},
pages = {231-252},
issn = {0022-4715},
doi = {10.1007/BF01007479},
}

@article{mw05,
title = {Quantum {Arthur-Merlin} games},
author = {Chris Marriott and John Watrous},
journal = ccomplex,
publisher = springer,
number = {2},
volume = {14},
note = {Preliminary version in \href{http://dx.doi.org/10.1109/CCC.2004.1313850}{CCC'04}},
eprint = {arXiv:cs/0506068},
year = {2005},
pages = {122-152},
doi = {10.1007/s00037-005-0194-x},
}

@inproceedings{mw05-conference,
author = {Chris Marriott and John Watrous},
title = {Quantum {Arthur-Merlin} Games},
booktitle = ccc04,
pages = {275-285},
year = {2004},
doi = {10.1109/CCC.2004.1313850},
timestamp = {Wed, 26 Oct 2011 12:00:24 +0200},
}

@article{hl11,
title = {A Communication-Efficient Nonlocal Measurement With Application to Communication Complexity and Bipartite Gate Capacities},
author = {Aram Wettroth Harrow and Debbie Leung},
journal = tit,
eprint = {arXiv:0803.3066},
number = {8},
volume = {57},
year = {2011},
pages = {5504-5508},
doi = {10.1109/TIT.2011.2158468},
}

@article{buhrmanc+01,
title = {Quantum Fingerprinting},
author = {Harry Buhrman and Richard Cleve and John Watrous and Ronald de Wolf},
eprint = {arXiv:quant-ph/0102001},
journal = {Physical Review Letters},
pages = {167902}, 
volume = {87},
number = {16},
year = {2001},
doi = {10.1103/PhysRevLett.87.167902},
}
%
@article{vv12,
title = {Fully device independent quantum key distribution},
author = {Umesh Vazirani and Thomas Vidick},
journal = {Physical Review Letters},
timestamp = {2012.11.09},
volume = {113(14)},
pages = {140501}, 
number = {14},
eprint = {arXiv:1210.1810},
doi = {10.1103/PhysRevLett.113.140501},
year = {2014},
owner = {mwilde},
}

@article{hh13,
title = {Quantum Computation vs. Firewalls},
author = {Daniel Harlow and Patrick Hayden},
eprint = {arXiv:1301.4504},
journal = {Journal of High Energy Physics},
number = {6},
volume = {2013},
publisher = springer,
year = {2013},
owner = {mwilde},
pages = {85},
doi = {10.1007/JHEP06(2013)085},
}

@book{cp10,
title = {Logical Foundations of Proof Complexity},
author = {Stephen A. Cook and Phuong Nguyen},
publisher = cup,
url = {http://dx.doi.org/10.1017/CBO9780511676277},
year = {2010},
page = {224},
doi = {10.1017/CBO9780511676277},
}
%
@article{w89a,
title = {An application of {Bell's} inequalities to a quantum state extension problem},
author = {Reinhard F. Werner},
timestamp = {2013.03.14},
journal = {Letters in Mathematical Physics},
number = {4},
volume = {17},
year = {1989},
owner = {mwilde},
pages = {359-363},
doi = {10.1007/BF00399761},
}

@article{w09zkqa,
title = {Zero-knowledge against quantum attacks},
author = {John Watrous},
eprint = {arXiv:quant-ph/0511020},
journal = SIAMJComput,
number = {1},
volume = {39},
year = {2009},
note = {Preliminary version in \href{http://dx.doi.org/10.1145/1132516.1132560}{STOC'06}},
owner = {mwilde},
pages = {25-58},
doi = {10.1137/060670997},
}

@inproceedings{w09zkqa-conference,
author = {John Watrous},
title = {Zero-knowledge against quantum attacks},
pages = {296-305},
year = {2006},
crossref = {pstoc06},
doi = {10.1145/1132516.1132560},
}



@inproceedings{hm10,
title = {An Efficient Test for Product States with Applications to Quantum {Merlin-Arthur} Games},
author = {Aram Wettroth Harrow and Ashley Montanaro},
crossref = {pfocs10},
eprint = {arXiv:1001.0017},
year = {2010},
pages = {633-642},
issn = {0272-5428},
doi = {10.1109/FOCS.2010.66},
}
%
@article{w09,
title = {Quantum Computational Complexity},
author = {John Watrous},
timestamp = {2012.11.05},
journal = {Encyclopedia of Complexity and System Science},
doi = {10.1007/978-0-387-30440-3\_428},
pages = {7174-7201},
eprint = {arXiv:0804.3401},
year = {2009},
owner = {mwilde},
}
%
@article{cf13,
title = {Improved Soundness for {$\mathsf{QMA}$} with Multiple Provers},
author = {Alessandro Chiesa and Michael A. Forbes},
journal = {Chicago Journal of Theoretical Computer Science},
volume = {2013},
year = {Article 1},
doi = {10.4086/cjtcs.2013.001},
}

@book{w11,
title = {From Classical to Quantum {Shannon} Theory},
author = {Mark M. Wilde},
timestamp = {2013.06.11},
eprint = {arXiv:1106.1445},
note = {Published in \cite{W13}},
year = {2011},
owner = {mwilde},
}

@inproceedings{juw09,
title = {Two-Message Quantum Interactive Proofs Are in {$\mathsf{PSPACE}$}},
author = {Rahul Jain and Sarvagya Upadhyay and John Watrous},
crossref = {pfocs09},
eprint = {arXiv:0905.1300},
year = {2009},
owner = {mwilde},
pages = {534-543},
doi = {10.1109/FOCS.2009.30},
}

@inproceedings{sw12,
title = {Epsilon-net method for optimizations over separable states},
author = {Yaoyun Shi and Xiaodi Wu},
eprint = {arXiv:1112.0808},
series = {LNCS},
publisher = springer,
booktitle = icalp12,
volume = {7391},
year = {2012},
pages = {798-809},
doi = {10.1007/978-3-642-31594-7\_67},
}
%
@article{w89,
title = {Quantum states with {Einstein-Podolsky-Rosen} correlations admitting a hidden-variable model},
author = {Reinhard F. Werner},
publisher = {American Physical Society},
url = {http://link.aps.org/doi/10.1103/PhysRevA.40.4277},
journal = {Physical Review A},
number = {8},
volume = {40},
year = {1989},
issue = {8},
pages = {4277-4281},
doi = {10.1103/PhysRevA.40.4277},
}
%
@article{w03,
title = {{$\mathsf{PSPACE}$} has constant-round quantum interactive proof systems},
author = {John Watrous},
timestamp = {2012.11.10},
note = {Preliminary version in \href{http://dx.doi.org/10.1109/SFFCS.1999.814583}{FOCS'99}},
journal = tcs,
number = {3},
volume = {292},
year = {2003},
owner = {mwilde},
pages = {575-588},
doi = {10.1016/S0304-3975(01)00375-9},
}

@inproceedings{w03-conference,
author = {John Watrous},
title = {{$\mathsf{PSPACE}$} Has Constant-Round Quantum Interactive Proof Systems},
pages = {112-119},
crossref = {pfocs99},
url = {http://dx.doi.org/10.1109/SFFCS.1999.814583},
doi = {10.1109/SFFCS.1999.814583},
}

@unpublished{ydx12,
title = {Bounds on the distance between a unital quantum channel and the convex hull of unitary channels, with applications to the asymptotic quantum {B}irkhoff conjecture},
author = {Nengkun Yu and Runyao Duan and Quanhua Xu},
timestamp = {2012.01.05},
eprint = {arXiv:1201.1172},
year = {2012},
owner = {mwilde},
}

@article{mww09,
title = {Distinguishability of quantum states under restricted families of measurements with an application to quantum data hiding},
author = {William Matthews and Stephanie Wehner and Andreas Winter},
eprint = {arXiv:0810.2327},
timestamp = {2012.10.15},
journal = {Communications in Mathematical Physics},
number = {3},
volume = {291},
year = {2009},
owner = {mwilde},
pages = {813-843},
doi = {10.1007/s00220-009-0890-5},
}

@article{bsst02,
title = {Entanglement-Assisted Capacity of a Quantum Channel and the Reverse {Shannon} Theorem},
author = {Charles H. Bennett and Peter W. Shor and John A. Smolin and Ashish V. Thapliyal},
eprint = {arXiv:quant-ph/0106052},
journal = tit,
number = {10},
volume = {48},
year = {2002},
owner = {Mark},
pages = {2637-2655},
doi = {10.1109/TIT.2002.802612},
}

@article{k95,
title = {Quantum measurements and the {A}belian {S}tabilizer {P}roblem},
author = {Alexei Yu. Kitaev},
journal = {\href{http://eccc.hpi-web.de/eccc-reports/1996/TR96-003/}{ECCC}},
volume = {TR96-003},
eprint = {arXiv:quant-ph/9511026},
year = {1995},
owner = {mwilde},
}

@unpublished{cd10,
title = {Short Multi-Prover Quantum Proofs for {$\mathsf{SAT}$} without Entangled Measurements},
author = {Jing Chen and Andrew Drucker},
timestamp = {2012.01.05},
eprint = {arXiv:1011.0716},
year = {2010},
owner = {mwilde},
}

@article{bm88,
title = {{Arthur-Merlin} games: a randomized proof system, and a hierarchy of complexity classes},
author = {L\'aszl\'o Babai and Shlomo Moran},
journal = jcss,
number = {2},
volume = {36},
year = {1988},
owner = {mwilde},
pages = {254-276},
doi = {10.1016/0022-0000(88)90028-1},
}

@article{dps02,
title = {Distinguishing Separable and Entangled States},
author = {Andrew C. Doherty and Pablo A. Parrilo and Federico M. Spedalieri},
numpages = {4},
eprint = {arXiv:quant-ph/0112007},
url = {http://link.aps.org/doi/10.1103/PhysRevLett.88.187904},
journal = {Physical Review Letters},
publisher = {American Physical Society},
pages = {187904}, 
number = {18},
volume = {88},
year = {2002},
doi = {10.1103/PhysRevLett.88.187904},
}

@article{eggeling2002,
title = {Hiding Classical Data in Multipartite Quantum States},
author = {Tilo Eggeling and Reinhard F. Werner},
eprint = {arXiv:0203004},
url = {http://dx.doi.org/10.1103/PhysRevLett.89.097905},
timestamp = {2015.01.18},
journal = {Physical Review Letters},
publisher = {American Physical Society (APS)},
number = {9},
volume = {89},
year = {2002},
owner = {mwilde},
pages = {097905},
issn = {1079-7114},
doi = {10.1103/physrevlett.89.097905},
}

@article{cb97,
title = {Substituting quantum entanglement for communication},
author = {Richard Cleve and Harry Buhrman},
eprint = {arXiv:quant-ph/9704026},
journal = {Physical Review A},
publisher = {APS},
number = {2},
volume = {56},
year = {1997},
pages = {1201-1204},
doi = {10.1103/PhysRevA.56.1201},
}

@inproceedings{gw05,
title = {Quantum interactive proofs with competing provers},
author = {Gus Gutoski and John Watrous},
eprint = {arXiv:cs/0412102},
publisher = springer,                  
series = {LNCS},
booktitle = stacs05,
volume = {3404},
year = {2005},
pages = {605-616},
doi = {10.1007/978-3-540-31856-9\_50},
}

@article{dps04,
title = {Complete family of separability criteria},
author = {Andrew C. Doherty and Pablo A. Parrilo and Federico M. Spedalieri},
numpages = {20},
eprint = {arXiv:quant-ph/0308032},
url = {http://link.aps.org/doi/10.1103/PhysRevA.69.022308},
journal = {Physical Review A},
publisher = {American Physical Society},
pages = {022308}, 
number = {2},
volume = {69},
year = {2004},
doi = {10.1103/PhysRevA.69.022308},
}

@article{dps05,
title = {Detecting multipartite entanglement},
author = {Andrew C. Doherty and Pablo A. Parrilo and Federico M. Spedalieri},
numpages = {9},
publisher = {American Physical Society},
url = {http://link.aps.org/doi/10.1103/PhysRevA.71.032333},
journal = {Physical Review A},
pages = {032333}, 
number = {3},
volume = {71},
year = {2005},
doi = {10.1103/PhysRevA.71.032333},
}

@article{berry2007efficient,
title = {Efficient quantum algorithms for simulating sparse {Hamiltonians}},
author = {Dominic W. Berry and Graeme Ahokas and Richard Cleve and Barry C. Sanders},
eprint = {arXiv:quant-ph/0508139},
journal = {Communications in Mathematical Physics},
publisher = {Springer},
number = {2},
volume = {270},
year = {2007},
pages = {359-371},
doi = {10.1007/s00220-006-0150-x},
}

@inproceedings{kw00,
title = {Parallelization, amplification, and exponential time simulation of quantum interactive proof systems},
author = {Alexei Yu. Kitaev and John Watrous},
timestamp = {2014.09.27},
crossref = {pstoc00},
owner = {mwilde},
pages = {608-617},
doi = {10.1145/335305.335387},
}

@inproceedings{barnumc+02,
title = {Authentication of Quantum Messages},
author = {Howard Barnum and Claude Cr{\'e}peau and Daniel Gottesman and Adam Smith and Alain Tapp},
crossref = {pfocs02},
eprint = {arXiv:quant-ph/0205128},
pages = {449-458},
doi = {10.1109/SFCS.2002.1181969},
}
%
@article{b10,
title = {{$\mathsf{NP}$ vs $\mathsf{QMA}_{\textrm{log}}$(2)}},
author = {Salman Beigi},
eprint = {arXiv:0810.5109},
journal = {\href{http://www.rintonpress.com/xxqic10/qic-10-12/0141-0151.pdf}{Quantum Inf. Comput.}},
number = {1\&2},
volume = {10},
year = {2010},
pages = {141-151},
}

@book{a13,
title = {Quantum Computing since Democritus},
author = {Scott Aaronson},
publisher = cup,
timestamp = {2013.08.11},
year = {2013},
owner = {mwilde},
}
%
@unpublished{w04,
title = {Theory of {Q}uantum {I}nformation (course lecture notes)},
author = {John Watrous},
year = {2004},
address = {University of Waterloo},
}
%
@book{w13,
title = {Quantum Information Theory},
author = {Mark M. Wilde},
publisher = cup, 
timestamp = {2013.06.11},
year = {2013},
owner = {mwilde},
pages = {669},
}

@article{hmw14,
title = {Two-message quantum interactive proofs and the quantum separability problem},
author = {Patrick Hayden and Kevin Milner and Mark M. Wilde},
eprint = {arXiv:1211.6120},
timestamp = {2014.09.21},
journal = {\href{http://www.rintonpress.com/journals/qiconline.html\#v14n56}{Quantum Inf. Comput.}},
note = {Preliminary version at \href{http://dx.doi.org/10.1109/CCC.2013.24}{CCC'13}},
number = {5 \& 6},
volume = {14},
year = {2014},
owner = {mwilde},
pages = {384-416},
}

@article{wg03,
title = {Geometric measure of entanglement and applications to bipartite and multipartite quantum states},
author = {Tzu-Chieh Wei and Paul M. Goldbart},
numpages = {12},
eprint = {arXiv:quant-ph/0307219},
url = {http://link.aps.org/doi/10.1103/PhysRevA.68.042307},
journal = {Physical Review A},
publisher = {American Physical Society},
pages = {042307}, 
number = {4},
volume = {68(4)},
year = {2003},
doi = {10.1103/PhysRevA.68.042307},
}

@inproceedings{hmw13,
title = {Two-message quantum interactive proofs and the quantum separability problem},
author = {Patrick Hayden and Kevin Milner and Mark M. Wilde},
booktitle = ccc13,
year = {2013},
pages = {156-167},
doi = {10.1109/CCC.2013.24},
}

@inproceedings{ambainissy02,
title = {Extracting Quantum Entanglement (General Entanglement Purification Protocols)},
author = {Andris Ambainis and Adam Smith and Ke Yang},
booktitle = ccc02,
eprint = {arXiv:quant-ph/0110011},
year = {2002},
pages = {82-91},
doi = {10.1109/CCC.2002.1004345},
}

@article{hhhh09,
title = {Quantum entanglement},
author = {Ryszard Horodecki and Pawe{\l} Horodecki and Micha{\l} Horodecki and Karol Horodecki},
eprint = {arXiv:quant-ph/0702225},
url = {http://link.aps.org/doi/10.1103/RevModPhys.81.865},
journal = {Reviews of Modern Physics},
publisher = {American Physical Society},
number = {2},
volume = {81},
year = {2009},
issue = {2},
pages = {865-942},
doi = {10.1103/RevModPhys.81.865},
}

@inproceedings{w02,
title = {Limits on the power of quantum statistical zero-knowledge},
author = {John Watrous},
timestamp = {2012.11.05},
crossref = {pfocs02},
eprint = {arXiv:quant-ph/0202111},
year = {2002},
owner = {mwilde},
pages = {459-468},
doi = {10.1109/SFCS.2002.1181970},
}

@article{s92,
title = {{$\mathsf{IP}$} $=$ {$\mathsf{PSPACE}$}},
author = {Adi Shamir},
numpages = {9},
publisher = acm,
note = {Preliminary version in \href{http://dx.doi.org/10.1109/FSCS.1990.89519}{FOCS'90}},
journal = JACM,
number = {4},
volume = {39},
year = {1992},
pages = {869-877},
issn = {0004-5411},
doi = {10.1145/146585.146609},
}
@inproceedings{89519,
author = {Adi Shamir},
corssref = {pfocs90},
title = { {$\mathsf{IP}=\mathsf{PSPACE}$} [interactive proof=polynomial space]},
year = {1990},
month = {Oct},
volume = {1},
pages = {11-15},
keywords = {computational complexity;formal languages;interactive systems;protocols;theorem proving;IP;PSPACE;acceptance probability;honest provers;interaction;interactive proofs;logarithmic workspace;one-way functions;polynomial space;polynomial time;proof verification;public coins;random tape;randomization;two-way access;zero-knowledge proofs;Boolean functions;Mathematics;Polynomials},
doi = {10.1109/FSCS.1990.89519},
}


@article{gw13,
title = {Parallel Approximation of Min-Max Problems},
author = {Gus Gutoski and Xiaodi Wu},
note = {Preliminary version in \href{http://dx.doi.org/10.1109/CCC.2012.12}{CCC'12}},
eprint = {arXiv:1011.2787},
journal = ccomplex,
publisher = springer,
number = {2},
volume = {22},
year = {2013},
pages = {385-428},
doi = {10.1007/s00037-013-0065-9},
}
@inproceedings{gw13-conference,
author= {Gus Gutoski and Xiaodi Wu},
title = {Parallel Approximation of Min-max Problems with Applications to Classical and Quantum Zero-Sum Games},
booktitle = ccc12,
pages = {21-31},
year = {2012},
crossref = {DBLP:conf/coco/2012},
doi = {10.1109/CCC.2012.12},
}


@article{fvg99,
title = {Cryptographic distinguishability measures for quantum-mechanical states},
author = {Christopher A. Fuchs and Jeroen van de Graaf},
eprint = {arXiv:quant-ph/9712042},
timestamp = {2012.10.15},
journal = tit,
number = {4},
volume = {45},
year = {1999},
owner = {mwilde},
pages = {1216},
doi = {10.1109/18.761271},
}

@article{cah13,
title = {Comparison of different definitions of the geometric measure of entanglement},
author = {Lin Chen and Martin Aulbach and Michal Hajdusek},
eprint = {arXiv:1308.0806},
timestamp = {2013.08.10},
journal = {Physical Review A},
pages = {042305},
number = {4},
volume = {89},
year = {2014},
owner = {mwilde},
doi = {10.1103/PhysRevA.89.042305},
}

@article{bdvsw96,
title = {Mixed state entanglement and quantum error correction},
author = {Charles H. Bennett and David P. DiVincenzo and John A. Smolin and William K. Wootters},
eprint = {arXiv:quant-ph/9604024},
journal = {Physical Review A},
number = {5},
volume = {54},
year = {1996},
pages = {3824-3851},
doi = {10.1103/PhysRevA.54.3824},
}
%
@article{lcv07,
title = {Quantum Computational Complexity of the {$N$}-Representability Problem: {$\mathsf{QMA}$} Complete},
author = {Yi-Kai Liu and Matthias Christandl and Frank Verstraete},
numpages = {4},
eprint = {arXiv:quant-ph/0609125},
journal = {Physical Review Letters},
publisher = {APS},
pages = {110503},
number = {11},
volume = {98},
year = {2007},
doi = {10.1103/PhysRevLett.98.110503},
}

@article{bbdejm97,
title = {Stabilization of Quantum Computations by Symmetrization},
author = {Adriano Barenco and Andre Berthiaume and David Deutsch and Artur Ekert and Richard Jozsa and Chiara Macchiavello},
eprint = {arXiv:quant-ph/9604028},
journal = SIAMJComput,
number = {5},
volume = {26},
year = {1997},
owner = {mwilde},
pages = {1541-1557},
doi = {10.1137/S0097539796302452},
}

@article{physrevlett.70.1895,
title = {Teleporting an unknown quantum state via dual classical and {Einstein-Podolsky-Rosen} channels},
author = {Charles H. Bennett and Gilles Brassard and Claude Cr\'epeau and Richard Jozsa and Asher Peres and William K. Wootters},
numpages = {4},
publisher = {American Physical Society},
timestamp = {2012.11.09},
journal = {Physical Review Letters},
number = {13},
volume = {70},
year = {1993},
owner = {mwilde},
pages = {1895-1899},
doi = {10.1103/PhysRevLett.70.1895},
}

@article{divincenzo2003,
title = {Hiding Quantum Data},
author = {David P. DiVincenzo and Patrick Hayden and Barbara M. Terhal},
eprint = {arXiv:quant-ph/0207147},
url = {http://dx.doi.org/10.1023/A:1026013201376},
timestamp = {2015.01.18},
journal = {Foundations of Physics},
publisher = springer,
number = {11},
volume = {33},
year = {2003},
owner = {mwilde},
pages = {1629-1647},
issn = {0015-9018},
doi = {10.1023/a:1026013201376},
}

@article{ekert:1991:661,
title = {Quantum cryptography based on {Bell's} theorem},
author = {Artur K. Ekert},
numpages = {2},
publisher = {American Physical Society},
timestamp = {2009.02.12},
journal = {Physical Review Letters},
number = {6},
volume = {67},
year = {1991},
owner = {Mark Wilde},
pages = {661-663},
doi = {10.1103/PhysRevLett.67.661},
}

@article{bsst99,
title = {Entanglement-Assisted Classical Capacity of Noisy Quantum Channels},
author = {Charles H. Bennett and Peter W. Shor and John A. Smolin and Ashish V. Thapliyal},
numpages = {3},
eprint = {arXiv:quant-ph/9904023},
timestamp = {2012.11.09},
journal = {Physical Review Letters},
publisher = {American Physical Society},
number = {15},
volume = {83},
year = {1999},
owner = {mwilde},
pages = {3081-3084},
doi = {10.1103/PhysRevLett.83.3081},
}

@article{sto76,
title = {The Polynomial-Time Hierarchy},
author = {Larry J. Stockmeyer},
journal = tcs,
number = {1},
volume = {3},
year = {1976},
pages = {1-22},
doi = {10.1016/0304-3975(76)90061-X},
}

@inproceedings{bh12,
title = {Quantum de {Finetti} theorems under local measurements with applications},
author = {Fernando G. S. L. Brand{\~{a}}o and Aram Wettroth Harrow},
crossref = {pstoc13},
eprint = {arXiv:1210.6367},
pages = {861-870},
doi = {10.1145/2488608.2488718},
}


@article{jjuw11,
author = {Rahul Jain and Zhengfeng Ji and Sarvagya Upadhyay and John Watrous},
title = {{$\mathsf{QIP}$} = {$\mathsf{PSPACE}$}},
journal = JACM,
volume = {58},
note = {Preliminary version in \href{http://doi.acm.org/10.1145/1806689.1806768}{STOC'10}},
number = {6},
pages = {30},
year = {2011},
url = {http://doi.acm.org/10.1145/2049697.2049704},
doi = {10.1145/2049697.2049704},
}


@article{jjuw11-communications,
title = {{$\mathsf{QIP}$} $=$ {$\mathsf{PSPACE}$}},
author = {Rahul Jain and Zhengfeng Ji and Sarvagya Upadhyay and John Watrous},
numpages = {27},
eprint = {arXiv:0905.1300},
url = {http://doi.acm.org/10.1145/2049697.2049704},
journal = {Communications of the ACM},
publisher = acm,
number = {12},
volume = {53},
year = {2010},
articleno = {30},
pages = {102-109},
issn = {0004-5411},
doi = {10.1145/1859204.1859231},
}

@inproceedings{jjuw11-conference,
author = {Rahul Jain and Zhengfeng Ji and Sarvagya Upadhyay and John Watrous},
title = {{$\mathsf{QIP}$} = {$\mathsf{PSPACE}$}},
crossref = {pstoc10},
pages = {573-582},
year = {2010},
url = {http://doi.acm.org/10.1145/1806689.1806768},
doi = {10.1145/1806689.1806768},
}


@book{pa94,
title = {Computational Complexity},
author = {Christos H. Papadimitriou},
publisher = {Addison-Wesley},
isbn = {0-201-53082-1},
year = {1994},
}

@inproceedings{b85,
title = {Trading group theory for randomness},
author = {L\'aszl\'o Babai},
timestamp = {2013.08.10},
crossref = {pstoc85},
owner = {mwilde},
pages = {421-429},
doi = {10.1145/22145.22192},
}

@article{lfkn92,
title = {Algebraic Methods for Interactive Proof Systems},
author = {Carsten Lund and Lance Fortnow and Howard Karloff and Noam Nisan},
numpages = {10},
publisher = acm,
note = {Preliminary version in \href{http://dx.doi.org/10.1109/FSCS.1990.89518}{FOCS'90}},
journal = JACM,
number = {4},
volume = {39},
year = {1992},
pages = {859-868},
issn = {0004-5411},
doi = {10.1145/146585.146605},
}
@inproceedings{lfkn92-conference,
author = {Carsten Lund and Lance Fortnow and Howard J. Karloff and Noam Nisan},
title = {Algebraic Methods for Interactive Proof Systems},
crossref = {pfocs90},
pages = {2-10},
year = {1990},
url = {http://dx.doi.org/10.1109/FSCS.1990.89518},
doi = {10.1109/FSCS.1990.89518},
}

@inproceedings{bt09,
title = {All Languages in {$\mathsf{NP}$} Have Very Short Quantum Proofs},
author = {Hugue Blier and Alain Tapp},
booktitle = {Third International Conference on Quantum, Nano and Micro Technologies, 2009. ICQNM '09.},
eprint = {arXiv:0709.0738},
year = {2009},
pages = {34-37},
doi = {10.1109/ICQNM.2009.21},
}

@article{clmw10,
title = {Improving Zero-Error Classical Communication with Entanglement},
author = {Toby S. Cubitt and Debbie Leung and William Matthews and Andreas Winter},
numpages = {4},
eprint = {arXiv:0911.5300},
url = {http://link.aps.org/doi/10.1103/PhysRevLett.104.230503},
journal = {Physical Review Letters},
publisher = {American Physical Society},
volume = {104},
number = {23},
year = {2010},
pages = {230503},
doi = {10.1103/PhysRevLett.104.230503},
}

@article{gmr89,
title = {The knowledge complexity of interactive proof systems},
author = {Shafi Goldwasser and Silvio Micali and Charles Rackoff},
publisher = {SIAM},
note = {Preliminary version in \href{http://dx.doi.org/10.1145/22145.22178}{STOC'85}},
journal = SIAMJComput,
number = {1},
volume = {18},
year = {1989},
pages = {186-208},
doi = {10.1137/0218012},
}

@inproceedings{gmr85,
title = {The knowledge complexity of interactive proof systems},
author = {Shafi Goldwasser and Silvio Micali and Charles Rackoff},
timestamp = {2013.08.10},
crossref = {pstoc85},
year = {1985},
owner = {mwilde},
pages = {291-304},
doi = {10.1145/22145.22178},
}
%
@article{gnn12,
title = {On {$\mathsf{QMA}$} Protocols with Two Short Quantum Proofs},
author = {Le Gall, Fran{\c c}ois and Shota Nakagawa and Harumichi Nishimura},
eprint = {arXiv:1108.4306},
journal = {\href{http://www.rintonpress.com/journals/qiconline.html\#v12n78}{Quantum Inf. Comput.}},
number = {7\&8},
volume = {12},
year = {2012},
pages = {589-600},
}

@article{abdfs08,
title = {The Power of Unentanglement},
author = {Scott Aaronson and Salman Beigi and Andrew Drucker and Bill Fefferman and Peter Shor},
note = {Preliminary version in \href{http://dx.doi.org/10.1109/CCC.2008.5}{CCC'08}},
journal = {Theory of Computing},
number = {1},
volume = {5},
year = {2009},
pages = {1-42},
doi = {10.4086/toc.2009.v005a001},
}

@inproceedings{abdfs08-conference,
author = {Scott Aaronson and Salman Beigi and Andrew Drucker and Bill Fefferman and Peter Shor},
title = {The Power of Unentanglement},
booktitle = ccc08,
volume = {0},
issn = {1093-0159},
year = {2008},
pages = {223-236},
doi = {10.1109/CCC.2008.5},
publisher = ieee,
}


@article{g10,
title = {Strong {$\mathsf{NP}$}-hardness of the quantum separability problem},
author = {Sevag Gharibian},
eprint = {arXiv:0810.4507},
timestamp = {2012.11.05},
journal = {\href{http://www.rintonpress.com/xxqic10/qic-10-34/0343-0360.pdf}{Quantum Inf. Comput.}},
number = {3},
volume = {10},
year = {2010},
owner = {mwilde},
pages = {343-360},
}

@book{sip96,
title = {Introduction to the Theory of Computation},
author = {Sipser, Michael},
publisher = {International Thomson Publishing},
isbn = {053494728X},
year = {1996},
}

@article{kny08,
title = {The efficiency of quantum identity testing of multiple states},
author = {Masaru Kada and Harumichi Nishimura and Tomoyuki Yamakami},
eprint = {arXiv:0809.2037},
timestamp = {2012.11.10},
journal = {Journal of Physics A: Mathematical and Theoretical},
pages = {395309}, 
volume = {41},
number = {39},
year = {2008},
owner = {mwilde},
doi = {10.1088/1751-8113/41/39/395309},
}

@article{physrevlett.69.2881,
title = {Communication via one- and two-particle operators on {Einstein-Podolsky-Rosen} states},
author = {Charles H. Bennett and Stephen J.  Wiesner},
numpages = {3},
publisher = {American Physical Society},
timestamp = {2012.11.09},
journal = {Physical Review Letters},
number = {20},
volume = {69},
year = {1992},
owner = {mwilde},
pages = {2881-2884},
doi = {10.1103/PhysRevLett.69.2881},
}


@inproceedings{bcy11a,
title = {A quasipolynomial-time algorithm for the quantum separability problem},
author = {Fernando G. S. L. Brand{\~{a}}o and Matthias Christandl and Jon Yard},
timestamp = {2012.10.15},
doi = {10.1145/1993636.1993683},
crossref = {pstoc11},
eprint = {arXiv:1011.2751},
owner = {mwilde},
pages = {343-351},
}

@proceedings{pstoc03,
booktitle = stoc03,
publisher = acm,
year = {2003}
}
@proceedings{pstoc06,
booktitle = stoc06,
publisher = acm,
year = {2006}
}



@proceedings{pfocs10,
booktitle = focs10,
publisher = ieee,
year = {2010}
}



@proceedings{pfocs09,
booktitle = focs09,
publisher = ieee,
year = {2009}
}



@proceedings{pfocs91,
booktitle = focs91,
publisher = ieee,
year = {1991}
}


@proceedings{pstoc00,
booktitle = stoc00,
publisher = acm,
year = {2000}
}



@proceedings{pfocs02,
booktitle = focs02,
publisher = ieee,
year = {2002}
}


@proceedings{pstoc13,
booktitle = stoc13,
publisher = acm,
year = {2013}
}


@proceedings{pstoc10,
booktitle = stoc10,
publisher = acm,
year = {2010}
}


@proceedings{pstoc85,
booktitle = stoc85,
publisher = acm,
year = {1985}
}



@proceedings{pfocs90,
booktitle = focs90,
publisher = ieee,
year = {1990}
}




@proceedings{pstoc11,
booktitle = stoc11,
publisher = acm,
year = {2011}
}


@proceedings{pstoc71,
booktitle = stoc71,
publisher = acm,
year = {1971}
}

