The Incredible Shrinking Quantum Circuit
This is a story of breakthroughs in quantum circuit synthesis, that brought down the cost of the resulting circuits by 5 orders of magnitude in short 9 months of 2012, and provided specific theoretical guarantees of the cost that are linear in log precision instead of being roughly quartic in log precision.
The story is rife with results, conjectures and open problems in the fields of group theory, algebra and number theory. Lie algebras, quaternions, algebraic numbers, integer lattices, Diophantine equations were just some means to the end to achieve the year end 2012 results. The road ahead is likely to require more of the same – but in progressively higher dimensions.
- Séries:
- Microsoft Research Talks
- Date:
- Haut-parleurs:
- Alex Bocharov
- Affiliation:
- Microsoft
-
-
Alex Bocharov
Researcher Quantum
-
Yuri Gurevich
Principal Researcher
-
Jeff Running
-
-
Taille: Microsoft Research Talks
-
Decoding the Human Brain – A Neurosurgeon’s Experience
Speakers:- Pascal Zinn,
- Ivan Tashev
-
-
-
-
Galea: The Bridge Between Mixed Reality and Neurotechnology
Speakers:- Eva Esteban,
- Conor Russomanno
-
Current and Future Application of BCIs
Speakers:- Christoph Guger
-
Challenges in Evolving a Successful Database Product (SQL Server) to a Cloud Service (SQL Azure)
Speakers:- Hanuma Kodavalla,
- Phil Bernstein
-
Improving text prediction accuracy using neurophysiology
Speakers:- Sophia Mehdizadeh
-
-
DIABLo: a Deep Individual-Agnostic Binaural Localizer
Speakers:- Shoken Kaneko
-
-
Recent Efforts Towards Efficient And Scalable Neural Waveform Coding
Speakers:- Kai Zhen
-
-
Audio-based Toxic Language Detection
Speakers:- Midia Yousefi
-
-
From SqueezeNet to SqueezeBERT: Developing Efficient Deep Neural Networks
Speakers:- Sujeeth Bharadwaj
-
Hope Speech and Help Speech: Surfacing Positivity Amidst Hate
Speakers:- Monojit Choudhury
-
-
-
-
-
'F' to 'A' on the N.Y. Regents Science Exams: An Overview of the Aristo Project
Speakers:- Peter Clark
-
Checkpointing the Un-checkpointable: the Split-Process Approach for MPI and Formal Verification
Speakers:- Gene Cooperman
-
Learning Structured Models for Safe Robot Control
Speakers:- Ashish Kapoor
-