Device-Independent Protocols From Computational Assumptions

Device-Independent Protocols From Computational Assumptions

Channel:
United States Simons Institute for the Theory of Computing
Subscribers:
68,700
Published on ● Video Link: https://www.youtube.com/watch?v=-v8ix1_4mNE


Duration: 43:50
85 views
3

Tony Metger (ETH Zürich)
https://simons.berkeley.edu/talks/device-independent-protocols-computational-assumptions
Quantum Wave in Computing Reunion



Other Videos By Simons Institute for the Theory of Computing


2021-07-15Interactive Proofs for Synthesizing Quantum States and Unitaries
2021-07-15Optimization Based Approach for Quantum Signal Processing and Its Energy Landscape
2021-07-15No Quantum Speedup Over Gradient Descent for Non-Smooth Convex Optimization
2021-07-15Symmetries, Graph Properties, and Quantum Speedups
2021-07-15Optimal Learning of Quantum Hamiltonians From High-Temperature Gibbs States
2021-07-15Hamiltonian Complexity in the Thermodynamic Limit
2021-07-15(Sub)Exponential Advantage of Adiabatic Quantum Computation With No Sign Problem
2021-07-15Quantum Garbled Circuits
2021-07-15Strongly Universal Hamiltonian Simulators
2021-07-15On the NLTS Conjecture
2021-07-15Device-Independent Protocols From Computational Assumptions
2021-07-15Classical Verification of Quantum Computational Advantage
2021-06-17Breakthroughs — A Refined Laser Method and Faster Matrix Multiplication
2021-05-26Decoding Nonhuman Communication | Polylogues
2021-05-21Conflict-Driven First-Order Decision Procedures
2021-05-21Solving String Constraints, Starting From the Beginning and From the End
2021-05-20Look-ahead SAT Solvers: Smart vs. Fast
2021-05-20Pseudo-Boolean Solving: In Between SAT and ILP
2021-05-20Searching Inside the Box: A Continuous-Local-Search Approach for Hybrid SAT Solving
2021-05-20Towards a Complexity-theoretic Understanding of Restarts in SAT solvers
2021-05-20Using Resolution and Cutting Planes for Verification of Nonlinear Bit-Vector Properties


Tags:
Simons Institute
theoretical computer science
UC Berkeley
Computer Science
Theory of Computation
Theory of Computing
Tony Metger
Quantum Wave in Computing Reunion