Henry Yuen's Avatar

Henry Yuen

@henryyuen.bsky.social

Complexity, in all its forms. Associate Professor of Computer Science at Columbia University. http://www.henryyuen.net

1,191 Followers  |  299 Following  |  54 Posts  |  Joined: 09.10.2023  |  1.5157

Latest posts by henryyuen.bsky.social on Bluesky

Preview
Gmail can read your emails and attachments to train its AI, unless you opt out A new Gmail update may allow Google to use your private messages and attachments for AI training. Here's how to turn it off.

How to turn off Gmail's ability to read your emails to train its bots: www.malwarebytes.com/blog/news/20...

22.11.2025 14:03 β€” πŸ‘ 123    πŸ” 76    πŸ’¬ 10    πŸ“Œ 11

This problem was originally introduced by Aaronson and Kuperberg in 2007 in their seminal paper that gave a *quantum* oracle separating QMA vs QCMA. Coming up with a classical oracle to do the same has attracted a lot of attention from folks over the years.

13.11.2025 02:59 β€” πŸ‘ 9    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

John gave an epic 2.5 hour whiteboard talk today about the proof, and the ideas used are quite dazzling: Noether's theorem, recording oracles, bosons, ...

13.11.2025 02:59 β€” πŸ‘ 8    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
Preview
Separating QMA from QCMA with a classical oracle We construct a classical oracle proving that, in a relativized setting, the set of languages decidable by an efficient quantum verifier with a quantum witness (QMA) is strictly bigger than those decid...

My student @johnbostanci.bsky.social, Chinmay Nirkhe, Jonas Haferkamp, and Mark Zhandry have put out a tour-de-force paper that shows, relative to a classical oracle, QMA is stronger than QCMA -- i.e., quantum proofs >> classical proofs. Congratulations to the authors! arxiv.org/abs/2511.09551

13.11.2025 02:59 β€” πŸ‘ 46    πŸ” 5    πŸ’¬ 1    πŸ“Œ 0
Accepted papers

The list of accepted papers for #QIP2026 is now online at qip2026.lu.lv/programme/ac...

11.11.2025 13:28 β€” πŸ‘ 18    πŸ” 9    πŸ’¬ 1    πŸ“Œ 0

You could also work with Debbie Leung, Richard Cleve, David Gosset, Luke Schaefer, Ashwin Nayak, Norbert Lutkenhaus, Mike Mosca, Christine Muschik or some combination of us if you do theory.

07.11.2025 02:32 β€” πŸ‘ 22    πŸ” 4    πŸ’¬ 3    πŸ“Œ 0

Following *this* reference in turn yields basically a version of the iterative QPE.

03.11.2025 22:25 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Thanks for the reference. I took a closer look at this paper, and first of all it is beautifully written. Second of all I noticed that it mentions off-hand "Also, it should be noted that the QFT, and its inverse, can be implemented in the fault tolerant β€˜semiclassical’ way (Griffiths & Niu).

03.11.2025 22:25 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
#60/100: 1-qubit Rotation Estimation: Overview || Quantum Computer Programming in 100 Easy Lessons
YouTube video by Ryan O'Donnell #60/100: 1-qubit Rotation Estimation: Overview || Quantum Computer Programming in 100 Easy Lessons

I do phase estimation without QFT in my undergrad course. youtu.be/CMqPutlG59c?...

It's just Hadamard test plus binary search.

28.10.2025 07:13 β€” πŸ‘ 9    πŸ” 1    πŸ’¬ 1    πŸ“Œ 0
Post image

Academics in Assyria in the 7th c BC complain that admin is preventing them from doing research and teaching

03.11.2025 10:04 β€” πŸ‘ 4451    πŸ” 1408    πŸ’¬ 54    πŸ“Œ 138

Best wishes, Eric.

29.10.2025 01:30 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

This is great! Do you know of a good reference for comparing the pros/cons of the QFT version versus the single-ancilla qubit version (complexity, why you would use one versus another)? Patrick Rall's paper alludes to the tradeoffs, but it doesn't give as much detail as I would like.

28.10.2025 13:13 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

By Kitaev's algorithm, do you mean the one without QFT?

28.10.2025 13:11 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

Is there any reason to teach QFT at all in an intro to quantum computing class? From Patrick Rall's paper on phase estimation, it seems potentially superfluous (arxiv.org/pdf/2103.09717).

28.10.2025 00:50 β€” πŸ‘ 3    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

But last week I covered the "poor man's" version of phase estimation, which only uses a single ancilla qubit. I am now wondering, why do we need the QFT anyways? Googling around, it seems like in many cases we don't! Is there any reason to QFT-based phase estimation?

28.10.2025 00:50 β€” πŸ‘ 8    πŸ” 0    πŸ’¬ 2    πŸ“Œ 0

Tomorrow I am teaching quantum phase estimation in my Intro to Quantum Computing Class for the seventh time. I was prepared to teach it the standard, textbook, Nielsen and Chuang way: applied controlled unitaries and their powers thereof, apply inverse QFT to the ancillas.

28.10.2025 00:50 β€” πŸ‘ 14    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

Congrats Clement!

28.10.2025 00:48 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

Congratulations Lauritz!

13.10.2025 20:18 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Video thumbnail

Dr. Jane Goodall filmed an interview with Netflix in March 2025 that she understood would only be released after her death.

05.10.2025 09:08 β€” πŸ‘ 38315    πŸ” 17059    πŸ’¬ 829    πŸ“Œ 2411

The music totally sounds Haar random!

16.09.2025 02:27 β€” πŸ‘ 3    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
ITCS 2025 Call for Papers ITCS 2025 CFP

The submission server for #ITCS2026 (which will take place at Bocconi University, Milan, in January 2026) is open!

Submission deadline: Sep 4 (abstracts), Sep 6 (papers)

itcs-conf.org

24.08.2025 22:33 β€” πŸ‘ 12    πŸ” 4    πŸ’¬ 1    πŸ“Œ 0

How fast can (pseudo)random unitaries be implemented on a quantum computer? O(1) time suffices (provided you can do things like intermediate measurements)! This -and more- is thanks to a superfun collaboration with Ben Foxman, @nat-parham.bsky.social, and @franvasco.bsky.social (all PhD students!).

19.08.2025 00:54 β€” πŸ‘ 32    πŸ” 2    πŸ’¬ 0    πŸ“Œ 0

Donation link here: www.ipam.ucla.edu/news/nsf-fun...

08.08.2025 01:04 β€” πŸ‘ 2    πŸ” 2    πŸ’¬ 0    πŸ“Œ 0
Sausages and cheese, German supermarket

Sausages and cheese, German supermarket

the scenario we all feared

05.08.2025 18:33 β€” πŸ‘ 3786    πŸ” 971    πŸ’¬ 37    πŸ“Œ 24

Come for the iconic papers and eye-wateringly beautiful textbooks, stay for the stories "from the trenches" (of which I hope John posts more of!). Keep writing, @johnwatrous.bsky.social !

02.08.2025 19:10 β€” πŸ‘ 7    πŸ” 2    πŸ’¬ 0    πŸ“Œ 0
Preview
Quantum Scientists Have Built a New Math of Cryptography | Quanta Magazine In theory, quantum physics can bypass the hard mathematical problems at the root of modern encryption. A new proof shows how.

Out today in @quantamagazine.bsky.social: a new path toward building quantum cryptography on much harder problems than the ones used for classical encryption. Fascinating stuff!

25.07.2025 14:37 β€” πŸ‘ 6    πŸ” 1    πŸ’¬ 1    πŸ“Œ 0
Balkinization: Regulation by Deal Comes to Higher Ed A group blog on constitutional law, theory, and politics

From our very thoughtful law school colleague, David Pozen, a first take on the Columbia deal.
balkin.blogspot.com/2025/07/regu...

24.07.2025 01:44 β€” πŸ‘ 26    πŸ” 8    πŸ’¬ 0    πŸ“Œ 3

I can almost smell the sea air from reading that...

06.07.2025 01:29 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Welcome! (What do you mean by inconveniently located??)

05.06.2025 02:43 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

Agreed. Reminds me that I have no idea what it is but I keep hearing my colleagues talk about Rowhammer.

04.06.2025 13:16 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

@henryyuen is following 19 prominent accounts