ieva
@hyperboieva.bsky.social
Quantum information, useless information, generally informed. Quantum algorithms researcher at phasecraft.io https://ievacepaite.com/
I have been intrigued by the computational complexity of Clifford circuit synthesis since 2023 - motivated by a fun collaboration with Robert Wille+team. Our postdoc Luna Keller now found an elegant argument that settles it: optimal Clifford synthesis is NP-hard. Kudos! scirate.com/arxiv/2610.0...
Most important skills for PhD students these days: * Cogitating * Pondering * Combobulating * Flibbertigibbeting * Booping * Canoodling * Whatchamacalliting * Tomfoolering * Topsy-turvying * Dilly-dallying * Razzle-dazzling * Shenaniganing * Lollygagging Full list here: claudionary.com
When setting a default name for the PDFs your customers download for their records, maybe try to find a Goldilocks zone between Mercury ("getPDF.pdf" for every file) and the Oort Cloud ([64 hex digits guaranteed unique across the universe, and utterly meaningless to humans].pdf)
Mathematician Levent Alpöge found a counterexample to the Jacobi conjecture using Claude Fable! This conjecture claims that if F: ℂⁿ→ℂⁿ is a polynomial map whose Jacobian is invertible at each point, F has a polynomial inverse. Open since 1939. But no more! (1/n)
Jacobian conjecture - Wikipedia
en.wikipedia.org
I’m sympathetic to the intent but LLMs and the tech hype cycle are not “the greatest innovations in STEM.” That plays into a divisive (and reductive) STEM-versus-the-humanities narrative. Most of us are on the same side here.
Joel S.@joelhs.bsky.social · 4mo agoIt's tragically appropriate that we spent a whole generation telling students that the humanities were moribund, and they should all study STEM, only for the greatest innovations in STEM to prove why the humanities were so essential all along.
It seems he was released! We don't know if this is the end of the story, but it's great news! www.change.org/p/free-misha...
Misha Verbitsky Released from Prison!
Dear Colleagues,great news! Our friend Misha has now been released from prison!I am not yet sure of the details of his legal situation or whether he is permitted to leave Armenia.I will share more com...
change.org
🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə)@timhenke.bsky.social · 5mo agoRussia kidnapped mathematician Mikhail Verbitsky from Armenia His lawyer is asking to make as much noise as possible
It appears my countrymen have arrived in the Americas and culturally appropriated a statue of George Washington.
If I could, I would develop a whole theory linking differential geometry and logic just so I could write a textbook called Truth Tables and Lie Algebras.
Today Microsoft announce "Majorana 2", claiming they will build a “practical” quantum computer by 2029. This is of course massive PR bullshit. I could also speculate about the timing of this announcement, but unfortunately that will have to wait. For now, let's look at their preprint. 🧵 1/x
I stumbled upon this this morning and I've been staring at it for literally multiple hours today https://sandbox-science.com/particle-life
Particle Life
Discover Particle Life, an interactive and educational particle simulator to understand physical phenomena and particle system dynamics.
sandbox-science.com
Agreed - but that's on us for not doing a better job of explaining. This is a super article on this topic by @e-astronomer.bsky.social www.science.org/doi/full/10....
Is astronomy a luxury?
After years of spending taxpayer's money, stunning images and groundbreaking science are emerging from the JWST space observatory, the Euclid space mission, and the newest telescope, the Vera C. Rubin...
science.org
With friends at the University of Warwick (in particular, Rocco Caprio and @adriencorenflos.bsky.social), we've recently arXived some work (arxiv.org/abs/2605.30253) on a method for approximate inference known as "Coordinate Ascent Variational Inference", or "CAVI" for short. Let me explain:
The trick is, when among mathematicians, to say you are a physicist so that they forgive you for not knowing very much math. Then, when among physicists, say you are a mathematician so that they forgive you for not knowing very much physics. In especially dire cases I might say I am a philosopher.
Always quite jarring for me to see discussions about arXiv which reveal how many people see the moderation as gatekeeping, or otherwise negative. Muddies the waters for me as to what they think the point of the website is.
Teaching LP and Randomized Rounding tomorrow! Excited to explain to my students how to express s-t mincut, a problem we know how to solve efficiently, as an ILP—a problem we don't.
If you are in Oxford and would like to learn about applied category theory, I'm giving a course at the Maths department. It's on Fridays, at 11 am, in L5. We start this week with monoidal categories and string diagrams.
Unpopular opinion: Computer science syllabuses were designed back in a time when working AI was nothing but scifi. A course that does not teach a deep and practical understanding of how LLMs work is no longer representative of computer science, and you need so much material to do so that massive […]
Original post on mathstodon.xyz
mathstodon.xyz
An uncomfortable fact is that it is impossible to write down a translationally invariant Hamiltonian for a lattice many-body system in a classical and constant magnetic field. Infinite PEPS with gauge tensors can counteract this magnetic translation symmetry: arxiv.org/abs/2604.24574
Was re-reading my old MSc thesis for inspiration: "upsettingly heuristic" seems to be the mantra of my scientific career 😅
davidbessis.substack.com/p/the-fall-o... An interesting read, with lots of food for thought. It reminds me of my enthusiasm for "mathematical clean-up work", i.e. going back to the foundations of a topic, making the constants sharper, proofs nicer (and more modern), and the like.
The fall of the theorem economy
How AI could destroy mathematics and barely touch it
davidbessis.substack.com
I just published a new blog post! Types and Neural Networks ( https://www.brunogavranovic.com/posts/2026-04-20-types-and-neural-networks.html ) It's about what comes into view once dependent type systems become a part of neural network training.
Fun twist in Google's zero knowledge proof of quantum circuit.
Sophie Schmieg@sophieschmieg.infosec.exchange.ap.brid.gy · 7mo agoI 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/
I never wrote about it here, but as of some time ago I figured out a basic implementation for named axes in TensorType: https://github.com/bgavran/TensorType This means that now you're: a) forced to assign some meaning to all your axes)
scirate.com/arxiv/2604.0... I’ll admit I was always skeptical of any QML/classical-data-processing advantages in quantum, but this paper will at least give me pause!
The Moon: oh wow you guys decided to come back Artemis II crew: earth’s haunted
The quantum adiabatic theorem says that a slowly perturbed system stays in its instantaneous ground state. Now researchers have shown that this principle holds for the opposite limit: The ground state remains the most likely state even for a system subjected to an instantaneous perturbation.
Extending the Adiabatic Theorem
Like its slowly perturbed counterpart, a rapidly perturbed quantum system stays closer to the ground state than to any excited state.
physics.aps.org
![Definition 2.1 (Felinity of a quantum state). For a n-qubit state ρ, the felinity of ρ, F n(ρ) ∈ [0, 1] is defined as...](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:tepknacn7qtpcddry35b3g2x/bafkreiewfupqfpxk46afnjvsxlwvhnsx7ng6tmnxs7bonkpwn362aqa5oq)