henryyuen.bsky.social
Henry Yuen
@henryyuen.bsky.social
1.1K followers 300 following 41 posts
Complexity, in all its forms. Associate Professor of Computer Science at Columbia University. http://www.henryyuen.net
www.henryyuen.net
Posts Media Videos Starter Packs
Reposted by Henry Yuen
kojamf.bsky.social
KOJAMF🤘🖤🤘 @kojamf.bsky.social · 4d
Dr. Jane Goodall filmed an interview with Netflix in March 2025 that she understood would only be released after her death.
800 17K 37K
henryyuen.bsky.social
Henry Yuen @henryyuen.bsky.social · 23d
The music totally sounds Haar random!
1 3
Reposted by Henry Yuen
ccanonne.github.io
Clément Canonne @ccanonne.github.io · Aug 24
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
ITCS 2025 Call for Papers
ITCS 2025 CFP
itcs-conf.org
1 4 12
henryyuen.bsky.social
Henry Yuen @henryyuen.bsky.social · Aug 19
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!).
franvasco.bsky.social
Francisca Vasconcelos @franvasco.bsky.social · Aug 19
In exciting new work with Ben Foxman, @nat-parham.bsky.social , and @henryyuen.bsky.social we show that t-designs and pseudorandom unitaries are implementable in constant (quantum) time!

arxiv.org/abs/2508.11487
Random Unitaries in Constant (Quantum) Time
Random unitaries are a central object of study in quantum information, with applications to quantum computation, quantum many-body physics, and quantum cryptography. Recent work has constructed unitar...
arxiv.org
2 32
henryyuen.bsky.social
Henry Yuen @henryyuen.bsky.social · Aug 8
Donation link here: www.ipam.ucla.edu/news/nsf-fun...
2 2
Reposted by Henry Yuen
dannybirchall.bsky.social
Danny Birchall @dannybirchall.bsky.social · Aug 5
the scenario we all feared
Sausages and cheese, German supermarket
36 980 3.8K
henryyuen.bsky.social
Henry Yuen @henryyuen.bsky.social · Aug 2
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 !
johnwatrous.bsky.social
John Watrous @johnwatrous.bsky.social · Aug 2
Bluehost seems to be holding my domain name hostage, I gather in an effort to sell me more products and services. Avoid them at all costs.

But see if I care. Hereafter you can find my web page at jhwatrous.github.io in case you're looking for it.
johnwatrous.bsky.social
John Watrous @johnwatrous.bsky.social · Jul 23
I ditched my old website and created a new one on GitHub Pages:

johnwatrous.com

It's a great option for a static web page, particularly if you like to do your own CSS styling rather than flipping through pre-built templates that are never quite right.
2 7
Reposted by Henry Yuen
benbenbrubaker.bsky.social
Ben Brubaker @benbenbrubaker.bsky.social · Jul 25
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!
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.
www.quantamagazine.org
1 1 6
Reposted by Henry Yuen
profsaunders.bsky.social
Elizabeth N. Saunders @profsaunders.bsky.social · Jul 24
From our very thoughtful law school colleague, David Pozen, a first take on the Columbia deal.
balkin.blogspot.com/2025/07/regu...
Balkinization: Regulation by Deal Comes to Higher Ed
A group blog on constitutional law, theory, and politics
balkin.blogspot.com
8 26
henryyuen.bsky.social
Henry Yuen @henryyuen.bsky.social · Jul 6
I can almost smell the sea air from reading that...
1
henryyuen.bsky.social
Henry Yuen @henryyuen.bsky.social · Jun 5
Welcome! (What do you mean by inconveniently located??)
1
henryyuen.bsky.social
Henry Yuen @henryyuen.bsky.social · Jun 4
Agreed. Reminds me that I have no idea what it is but I keep hearing my colleagues talk about Rowhammer.
2
henryyuen.bsky.social
Henry Yuen @henryyuen.bsky.social · Jun 2
One of the great joys of 2025 (so far) has been learning about nonlocal quantum computation. It's an astonishingly interesting playground of ideas. In this fun collaboration with @hippoquantus.bsky.social, Simon, Alex, Mikka, and Philip, we uncover some hidden structure in this playground.
hippoquantus.bsky.social
Andreas Bluhm @hippoquantus.bsky.social · Jun 2
We have a new preprint out on the topic of quantum position verification and non-local quantum computation (NLQC): scirate.com/arxiv/2505.2.... We are comparing different NLQC tasks and find reductions between them (in the sense of if I can do task 1, then I can do task 2 with an extra EPR pair).
A complexity theory for non-local quantum computation
Non-local quantum computation (NLQC) replaces a local interaction between two systems with a single round of communication and shared entanglement. Despite many partial results, it is known that a cha...
scirate.com
6
Reposted by Henry Yuen
stevenstrogatz.com
Steven Strogatz @stevenstrogatz.com · Jun 1
As seen in Prospect Park, Brooklyn. Peter Carr was a great mathematician with an expertise in finance. I had the honor of being a colleague of his at Cornell before he moved to NYU, where he became a legendary teacher and a professor, much beloved.
1 13 180
Reposted by Henry Yuen
ccanonne.github.io
Clément Canonne @ccanonne.github.io · May 27
The first rule of the One-Way Communication Complexity club is that Bob doesn't talk about the One-Way Communication Complexity club
1 2 35
Reposted by Henry Yuen
benbenbrubaker.bsky.social
Ben Brubaker @benbenbrubaker.bsky.social · May 21
Space and time are the most fundamental resources in computation, and researchers have long sought to understand how they’re related. A recent breakthrough by Ryan Williams marks the first progress on that question in 50 years. Read more in @quantamagazine.bsky.social!
For Algorithms, a Little Memory Outweighs a Lot of Time | Quanta Magazine
One computer scientist’s “stunning” proof is the first progress in 50 years on one of the most famous questions in computer science.
www.quantamagazine.org
2 11
Reposted by Henry Yuen
timhsu.net
Tim Hsu @timhsu.net · May 18
First there was MATH POPE

Then there was MATH PRESIDENT
dtkung.bsky.social
Dave Kung @dtkung.bsky.social · May 18
Math professor wins in Romania - against a pro-Putin pro-Trump opponent. A victory for logic and reason.
nytimes.com
The New York Times @nytimes.com · May 18
Breaking News: Nicusor Dan, Bucharest’s centrist mayor, won Romania’s presidential election, defeating a hard-right candidate who is aligned with President Trump and has opposed military aid to Ukraine.
1 4 17
henryyuen.bsky.social
Henry Yuen @henryyuen.bsky.social · May 18
But in my opinion it is also a moral issue; I believe we should live in a society that values and protects free scientific inquiry. I can’t stand by and do nothing. (8/8)
4
henryyuen.bsky.social
Henry Yuen @henryyuen.bsky.social · May 18
Fighting for the restoration and protection of federal funding for basic research is an existential issue for me (because of my position, obviously). (7/8)
1 1
henryyuen.bsky.social
Henry Yuen @henryyuen.bsky.social · May 18
Calling congress is *directly providing them with feedback on the issues important to their voters*. This is apparently more effective and compelling than, say, emails about an issue. It’s much easier for people (or bots) to write emails, but there’s more of an activation barrier for calls. (6/8)
1 1
henryyuen.bsky.social
Henry Yuen @henryyuen.bsky.social · May 18
The staffers are interested in whether (a) you’re a potential voter for the representative, and (b) what are the most popular issues/topics that people call about. They’ll use this information to shape the positions/actions the representative take. (5/8)
1
henryyuen.bsky.social
Henry Yuen @henryyuen.bsky.social · May 18
They will jot down: your name, your address/zipcode, a couple keywords about your issue (in this case, “NSF funding” or “science funding”) and whether you’re for/against. That’s it. (4/8)
1
henryyuen.bsky.social
Henry Yuen @henryyuen.bsky.social · May 18
Fortunately, it’s much easier than that. When you call your congressperson’s office, you'll be greeted by some staffer -- a dutiful twenty-something who will politely listen to your spiel. (3/8)
1
henryyuen.bsky.social
Henry Yuen @henryyuen.bsky.social · May 18
I've been meaning to do for a couple months, but put it off because (a) I was busy and (b) frankly, I was a little nervous about doing so. What if the senator/representative actually picked up and I had to extemporaneously chat with them? (2/8)
1
henryyuen.bsky.social
Henry Yuen @henryyuen.bsky.social · May 18
On Friday I made my first-ever calls to congress to oppose funding cuts to NSF. It was super easy — it took just a couple minutes, and I read off a script provided by Save NSF (www.savensf.com). Afterwards, I felt good. The pervasive sense of powerlessness was held at bay, at least temporarily.(1/8)
Home | Save NSF
Save NSF is a coalition of concerned scientists and allies who are working to save funding for scientific grants through the U.S. National Science Foundation. Our mission is to support the science...
www.savensf.com
1 4 43