Henry Yuen's Avatar

Henry Yuen

@henryyuen

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

1,207
Followers
301
Following
59
Posts
09.10.2023
Joined
Posts Following

Latest posts by Henry Yuen @henryyuen

FOCS 2026 – Call for Papers

Link: sanjeevkhanna.org/FOCS2026_CFP...

02.03.2026 01:41 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

FOCS 2026 will be held in New York City Nov 8 - 11! CFP is up (link below). Submit your best work in theoretical computer science by April 1, 5pm ET.

02.03.2026 01:41 πŸ‘ 16 πŸ” 6 πŸ’¬ 1 πŸ“Œ 0
Preview
2026 Fellows | Alfred P. Sloan Foundation Our mission is to make the world a better place through the advancement of scientific knowledge.

Congrats to Sloan fellows: @nyucourant.bsky.social colleagues Florian SchΓ€fer and Joe Tassarotti, and theory colleagues @behnezhad.bsky.social, @surbhigoel.bsky.social, Aayush Jain, Anand Natarajan, @adtraghunathan.bsky.social, @soledadvillar.bsky.social, and John Wright!

sloan.org/fellowships/...

18.02.2026 03:21 πŸ‘ 14 πŸ” 3 πŸ’¬ 1 πŸ“Œ 0

I remember the summer of 2007 after freshman year. I was lucky to land a summer internship with CACS, to redesign the group website. I was pretty intimidated to be sharing an office with you. One day, I snuck a glance back at you and relaxed when I saw that you were browsing guitars on craigslist.

18.02.2026 01:31 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

My thoughts: "how much longer is he going to ask me to stand here looking off into the distance?"

17.02.2026 21:21 πŸ‘ 9 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

I discuss fully quantum complexity theory with @benbenbrubaker.bsky.social. Although we're not really sure, it seems like our understanding of computing on quantum data needs new foundations. Transforming quantum data is less like solving a hard math problem, and more like doing an intricate dance.

17.02.2026 16:42 πŸ‘ 30 πŸ” 3 πŸ’¬ 1 πŸ“Œ 0
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 πŸ‘ 124 πŸ” 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 πŸ‘ 10 πŸ” 1 πŸ’¬ 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 πŸ‘ 47 πŸ” 6 πŸ’¬ 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 πŸ‘ 21 πŸ” 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
#60/100: 1-qubit Rotation Estimation: Overview || Quantum Computer Programming in 100 Easy Lessons YouTube video by Ryan O'Donnell

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 πŸ‘ 10 πŸ” 2 πŸ’¬ 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 πŸ‘ 4446 πŸ” 1409 πŸ’¬ 53 πŸ“Œ 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 πŸ‘ 38296 πŸ” 17039 πŸ’¬ 829 πŸ“Œ 2407

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 πŸ‘ 3782 πŸ” 970 πŸ’¬ 37 πŸ“Œ 24