Sun Woo Kim
@sunwoopkim.bsky.social
Theoretical physicist. Student researcher at Google Quantum AI, on leave as a PhD candidate at King's College London. Same handle on 🐦 and 🐘. Personal website: https://sunwoo-kim.github.io
![The accidental breaking of a seagull's neck during filming affected Barbara Hershey sufficiently for her to change her surname to Seagull for a couple of years.[6]](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:cyyd366g3hrxp5rynixm2mm3/bafkreic6o54aq25d24dy62lxyx7dfjhz7xjsfwek7veohwt4awmvirtq2y)
Famously, quantum error-correction on the toric code under bit-flip errors maps to the random-bond Ising model. But what about general noise (e.g. amplitude damping) and non-abelian codes (e.g. string-net)? scirate.com/arxiv/2607.2... (1/2)
scirate.com
Famously, quantum error-correction on the toric code under bit-flip errors maps to the random-bond Ising model. But what about general noise (e.g. amplitude damping) and non-abelian codes (e.g. string-net)? scirate.com/arxiv/2607.2... (1/2)
scirate.com
I'm starting as a student researcher at Google Quantum AI in Goleta, California for a year. Please reach out if you're in Goleta or the Santa Barbara area!
'Solvable' circuits, such as dual-unitaries, have gained attention recently as a paradigm of tractable many-body dynamics. With Friedrich Hübner, we came up with necessary and sufficient conditions for any (1+1)D circuit to be 'influence-solvable'. Happy to hear thoughts! arxiv.org/abs/2606.12538
Influence-solvability: a systematic theory of $(1+1)D$ solvability and its application to brickwork circuits
`Solvable' circuits, such as dual unitaries and its generalisations, have arisen as paradigmatic examples of tractable chaotic non-equilibrium dynamics, both in classical and quantum systems. However,...
arxiv.org
'Solvable' circuits, such as dual-unitaries, have gained attention recently as a paradigm of tractable many-body dynamics. With Friedrich Hübner, we came up with necessary and sufficient conditions for any (1+1)D circuit to be 'influence-solvable'. Happy to hear thoughts! arxiv.org/abs/2606.12538
Influence-solvability: a systematic theory of $(1+1)D$ solvability and its application to brickwork circuits
`Solvable' circuits, such as dual unitaries and its generalisations, have arisen as paradigmatic examples of tractable chaotic non-equilibrium dynamics, both in classical and quantum systems. However,...
arxiv.org
ArXiV has a new LLM policy (Screenshots with alt text so you don’t have to click through to the other place and see all the stupid responses)
Happy to finally have this work from a year ago with Curt von Keyserlingk and @austen.uk published on PRR! In this work, we linked and generalised error correction / inference / learnability problems to quantum and non-optimal regimes, and studied their phases. journals.aps.org/prresearch/a...
Howtown doesn't get enough love. I enjoyed the latest episode, especially the bit about rats on cocaine enjoying jazz: youtu.be/0ZYhyewNQMo&...
What do other animals think of human music?
YouTube video by Howtown
youtu.be
Has anyone else noticed that Norm MacDonald's moth joke sounds just like Crime and Punishment? Only started reading the latter recently and can't stop laughing when reading it, though it's supposed to be serious I assume...
coming from windows? life pro tip! create a puzzling '3D Objects' folder on your OS of choice to make it feel more familiar
I have to say, publishing results as zero knowledge proof does have one benefit: it tricks security researchers into learning about quantum circuits. This is some amazing work! https://blog.trailofbits.com/2026/04/17/we-beat-googles-zero-knowledge-proof-of-quantum-cryptanalysis/
We beat Google’s zero-knowledge proof of quantum cryptanalysis
Comments
blog.trailofbits.com
Tailor Bird sews leaves together with plant fibre to form its nest!
Actually, I think there are infinite, but are all variations of that 7 hex case with a fully connected middle tile. Removing that, not convinced a non-trivial solution configuration exists (eg. swapping a straight line 180 degrees). Would love to be proven wrong! Here's a 9 hex case I found.
For some reason I thought the left was a giant apple
Katie Mack@astrokatie.com · 4mo agoWhoa 🤯 The Moon, in full eclipse, with the #Artemis II Orion spacecraft. Part of the Moon and spacecraft are lit by Earthshine, and both Saturn and Mars are visible to the lower right. Incredible. Details: images.nasa.gov/details/art0...
![[alt text by NASA] The Moon, seen here backlit by the Sun during a solar eclipse on April 6, 2026, is photographed by one of the cameras on the Orion spacecraft’s solar array wings. Orion is visible in the foreground on the left. Earth is reflecting sunlight at the left edge of the Moon, which is slightly brighter than the rest of the disk. The bright spot visible just below the Moon’s bottom right edge is Saturn. Beyond that, the bright spot at the right edge of the image is Mars. Credit: NASA](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:62gdkmpwa7xme36getyqnem3/bafkreiakufyngycqogzws43gzq5ei2zayvoozx42wmbmyawywxyjqhw2ua)
From a pen & paper theorist point of view, I find it much harder to fall into the trap described here, since I find that it *is* the point to understand every detail of the proof (as you say). In contrast, for coding, often I just want a function without understanding every detail and I start vibing
UK greenhouse gas emissions are now down 54% since 1990. They fell 2% last year. It's something the country doesn't boast about enough. Yes, some of it is switch from industry to services. But the biggest reductions are from changes to electricity supply. 👇 www.gov.uk/government/s...
![4-panel comic. (1) [Black panel with white text boxes] TEXT BOX: And God said, "Let there be light," (2) [Sun radiating light.] TEXT BOX: And there was light. (3) [View of bright sun rising over Earth's horizo] (4) TEXT BOX: God saw that light was-- [Chat bubble from Earth] CHAT BUBBLE: Can you add support for dark mode?
Open xkcd.com to view toggles for different modes.](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:cz73r7iyiqn26upot4jtjdhk/bafkreigv4lnl5phqlsgrautsjkvbzclczdwkiditx4lkoipyqxmvnorwei)
what got me was modelling the observer's death with a replacement channel to the global thermal state ρ(β) scirate.com/arxiv/2603.2...
Quantum Suicide in Many-Worlds Implies P=NP
In this paper we propose a totally serious algorithm to solve NP problems in polynomial time provided one is willing to wager the fate of all observers in the universe on the many-world interpretation...
scirate.com
If you have agents who are perfect Bayesians, surely they have a prior and posterior modelling the other agents. But then they have to model that they have a prior and posterior etc... how does one stop the infinite recursion?
Have you heard the story of Barkley’s good friend Lin, a Chinese immigrant scientist in Iowa? www.wbur.org/onlyagame/20...
My Dad's Friendship With Charles Barkley
Shirley Wang's father, Lin, was on a business trip when he ran into NBA Hall of Famer Charles Barkley. It was the beginning of a friendship.
wbur.org
If you have agents who are perfect Bayesians, surely they have a prior and posterior modelling the other agents. But then they have to model that they have a prior and posterior etc... how does one stop the infinite recursion?
omg @craiggidney.bsky.social also also uses the convention (R, G, B) = (X, Y, Z), feeling validated rn youtu.be/SnpLSvyyEx8?...
How to make Quantum Error Correction circuits with Crumble
YouTube video by Craig Gidney
youtu.be
whatever man Sure let me login with wetdry world who gives a shit
Hot take: distributions with infinite variance don't really exist in real life. Everything has a cutoff due to system size. Of course, if the system size grows, then the cutoff grows. So in my opinion distributions with infinite variance are really describing a limit.
