Thomas Vidick

1. MIP*=RE
   2020/01/13 by Zhengfeng Ji, Ji, Zhengfeng, Anand Natarajan +7 · 8 voices
   #quant-ph #cs.CC #math.OA
2. Trevisan's Extractor in the Presence of Quantum Side Information
   2012/01/01 by Anindya De, Christopher Portmann, Thomas Vidick +1 · 11 citations
   Computer Science · #Quantum Computing Algorithms and Architecture #Cryptography and Data Security #Computability, Logic, AI Algorithms
3. A multi-prover interactive proof for NEXP sound against entangled provers
   2012/07/02 by Tsuyoshi Ito, Thomas Vidick, Ito, Tsuyoshi +1 · 9 citations
   Computer Science · Mathematics · #Benford’s Law and Fraud Detection #Complexity and Algorithms in Graphs #Computability, Logic, AI Algorithms #Computational Complexity (cs.CC) #Cryptography and Data Security #FOS: Computer and information sciences #FOS: Physical sciences #Logic, programming, and type systems #Quantum Physics (quant-ph)
4. A Cryptographic Test of Quantumness and Certifiable Randomness from a\n Single Quantum Device
   2018/04/02 by Zvika Brakerski, Paul Christiano, Brakerski, Zvika +7 · 8 citations
   Computer Science · #Computational Complexity (cs.CC) #Cryptographic Implementations and Security #Cryptography and Data Security #FOS: Computer and information sciences #FOS: Physical sciences #Quantum Computing Algorithms and Architecture #Quantum Physics (quant-ph)
5. A polynomial-time algorithm for the ground state of 1D gapped local\n Hamiltonians
   2013/07/19 by Zeph Landau, Umesh Vazirani, Landau, Zeph +3 · 4 citations
   Computer Science · Physics and Astronomy · Materials Science · #Quantum Computing Algorithms and Architecture #Quantum many-body systems #Machine Learning in Materials Science
6. Quantum XOR Games
   2012/07/20 by Oded Regev, Regev, Oded, Thomas Vidick +1 · 1 citation
   Computer Science · Decision Sciences · #Computability, Logic, AI Algorithms #Auction Theory and Applications #Quantum Computing Algorithms and Architecture
7. Interactive proofs with approximately commuting provers
   2015/10/01 by Matthew Coudron, Coudron, Matthew, Thomas Vidick +1 · 1 citation
   Computer Science · #Complexity and Algorithms in Graphs #Computability, Logic, AI Algorithms #Computational Complexity (cs.CC) #Cryptography and Data Security #FOS: Computer and information sciences #FOS: Physical sciences #Quantum Physics (quant-ph)
8. Expansion of higher-dimensional cubical complexes with application to quantum locally testable codes
   2024/02/12 by Irit Dinur, Ting-Chun Lin, Dinur, Irit +3 · 2 citations
   Computer Science · #Computability, Logic, AI Algorithms #Computational Complexity (cs.CC) #FOS: Computer and information sciences #FOS: Physical sciences #Information Theory (cs.IT) #Quantum Computing Algorithms and Architecture #Quantum Physics (quant-ph) #Quantum-Dot Cellular Automata
9. Simple Tests of Quantumness Also Certify Qubits
   2023/03/02 by Zvika Brakerski, Alexandru Gheorghiu, Brakerski, Zvika +7 · 1 citation
   Computer Science · #Blockchain Technology Applications and Security #Cryptography and Data Security #FOS: Physical sciences #Quantum Computing Algorithms and Architecture #Quantum Physics (quant-ph)
10. Succinct Classical Verification of Quantum Computation
    2022/06/29 by James Bartusek, Yael Tauman Kalai, Bartusek, James +13 · 1 citation
    Computer Science · Mathematics · #Benford’s Law and Fraud Detection #Complexity and Algorithms in Graphs #Cryptography and Data Security #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #FOS: Physical sciences #Quantum Physics (quant-ph)
11. The Aldous--Lyons Conjecture II: Undecidability
    2024/12/30 by Lewis Bowen, Michael Chapman, Bowen, Lewis +3 · 1 voice · 2 citations
    Mathematics · #Advanced Differential Equations and Dynamical Systems #Mathematical Dynamics and Fractals #Mathematics and Applications #math.CO #math.GR #math.PR #quant-ph
12. The Aldous--Lyons Conjecture I: Subgroup Tests
    2024/07/31 by Lewis Bowen, Michael Chapman, Bowen, Lewis +5 · 2 citations
    Computer Science · Mathematics · #Advanced Combinatorial Mathematics #Advanced Graph Theory Research #Combinatorics (math.CO) #FOS: Mathematics #Group Theory (math.GR) #Probability (math.PR) #semigroups and automata theory
13. Efficiently stable presentations from error-correcting codes
    2023/11/08 by Michael Chapman, Thomas Vidick, Chapman, Michael +3 · 1 citation
    #quant-ph #math.GR
14. Quantum soundness of the classical low individual degree test
    2020/09/27 by Zhengfeng Ji, Anand Natarajan, Ji, Zhengfeng +7 · 1 citation
    Computer Science · #Quantum Information and Cryptography #Quantum Computing Algorithms and Architecture #Numerical Methods and Algorithms
15. Polynomial Hilbert-Schmidt stability of the lamplighter group
    2026/07/22 by Alon Dogon, Thomas Vidick
    #math.GR #math.DS #math.OA