Sign in

anthony-leverrier.bsky.social

@anthony-leverrier.bsky.social
447 followers 238 following 249 posts
PostsRepliesMedia
anthony-leverrier.bsky.social @anthony-leverrier.bsky.social · 15/05/2026
The paper's authors confirmed that the new point is indeed correct.
060
anthony-leverrier.bsky.social @anthony-leverrier.bsky.social · 14/05/2026
A nice application of LLMs (Codex with gpt5.5 here) for research. Yesterday, a paper appeared on arXiv with an improved lower bound on the capacity threshold of the depolarizing channel, one of the most frustrating open problems in quantum information theory (1/4)
1191
anthony-leverrier.bsky.social @anthony-leverrier.bsky.social · 13/02/2026
amazing new benchmark for quantum computing. Now we just need to figure out how to decode qLDPC codes very well! arxiv.org/abs/2602.11457
arxiv.org
The Pinnacle Architecture: Reducing the cost of breaking RSA-2048 to 100 000 physical qubits using quantum LDPC codes
The realisation of utility-scale quantum computing inextricably depends on the design of practical, low-overhead fault-tolerant architectures. We introduce the \textit{Pinnacle Architecture}, which us...
280
anthony-leverrier.bsky.social @anthony-leverrier.bsky.social · 30/01/2026
Started to curate a table of small quantum Tanner codes. If you want to play with codes with fairly good parameters, all the parity-check matrices are available. aleverrier.github.io/qtanner-sear...
aleverrier.github.io
Best qTanner codes (table)
1161
Reposted by @anthony-leverrier.bsky.social
SNCS-FSU Inria @sncs-inria.bsky.social · 28/01/2026
"Monsieur le Président, On meurt dans vos Universités"
univ-montp3.fr
Lettre ouverte d'Anne Fraïsse Présidente de l'Université de Montpellier Paul-Valéry au Président de la république | UPVM
Monsieur le Président,On meurt dans vos Universités. On meurt dans mon Université. D’excès de travail, de stress, d’usure, de désespoir, d’indifférence.
044
Reposted by @anthony-leverrier.bsky.social
Richard Kueng @richardkueng.bsky.social · 08/01/2026
This year's Quantum Computing Theory in Practice Conference (QCTiP) is scheduled for 04/20/2026-04/25/2026 in Oxford, UK 🇬🇧: qctipconf.github.io Talk submission deadline is just round the corner: 01/11/2026. Looking forward to many exciting contributions and a great time in Hogwarts🪄, aehm Oxford🎓.
11810
anthony-leverrier.bsky.social @anthony-leverrier.bsky.social · 26/12/2025
Quantum Tanner codes are asymptotically good qLDPC codes, but they remain a bit mysterious (1/4)
2130
Reposted by @anthony-leverrier.bsky.social
Craig Gidney @craiggidney.bsky.social · 25/12/2025
An upbeat blog post for Christmas: Quantum Error Correction goes FOOM algassert.com/post/2503
1163
Reposted by @anthony-leverrier.bsky.social
Riverlane @riverlane.com · 22/12/2025
🔮What will 2026 hold for #QuantumErrorCorrection? And why was 2025 such a big year in #quantum? 👀Read all about it in our EOY round-up: www.riverlane.com/blog/quantum...
021
Reposted by @anthony-leverrier.bsky.social
Harry Zhou @hyharryzhou.bsky.social · 22/12/2025
Excited to share our perspective article, written with Maddie Cain and Misha Lukin, on designing low-overhead fault-tolerant architectures: rdcu.be/eVTiB. The landscape is rapidly evolving, and excited to see where the field goes next!
rdcu.be
Opportunities in full-stack design of low-overhead fault-tolerant quantum computation
Nature Computational Science - Quantum error correction is vital for scalable quantum computing, but it incurs high resource overheads. This Perspective outlines recent breakthroughs and explores...
192
Reposted by @anthony-leverrier.bsky.social
Error Correction Zoo @eczoo.bsky.social · 05/12/2025
Peter Shor: we haven't found many new quantum algorithms, in part, because we need larger quantum devices for testing our heuristics. He gives several examples of algorithms that were discovered computationally, including turbo codes, @fermilab.bsky.social quantum symposium by the SQMS center.
1238
anthony-leverrier.bsky.social @anthony-leverrier.bsky.social · 25/11/2025
Turns out that quantum Tanner codes can have a pretty large distance, even at low length and with generators of weight 6. Would be nice to prove a distance upper bound of n^{2/3}.
0110
Reposted by @anthony-leverrier.bsky.social
Felix Leditzky 🏳️‍🌈🏳️‍⚧️ @felixled.bsky.social · 11/11/2025
The list of accepted papers for #QIP2026 is now online at qip2026.lu.lv/programme/ac...
qip2026.lu.lv
Accepted papers
1189
Reposted by @anthony-leverrier.bsky.social
Dulwich Quantum Computing @dulwichquantum.bsky.social · 24/10/2025
P ≠ NP in Lean - a milestone in computational vibe complexity! arxiv.org/abs/2510.17829
arxiv.org
A Homological Proof of $\mathbf{P} \neq \mathbf{NP}$: Computational Topology via Categorical Framework
This paper establishes the separation of complexity classes $\mathbf{P}$ and $\mathbf{NP}$ through a novel homological algebraic approach grounded in category theory. We construct the computational ca...
5132
anthony-leverrier.bsky.social @anthony-leverrier.bsky.social · 17/10/2025
Est-ce que c’est au même endroit ?
110
Reposted by @anthony-leverrier.bsky.social
Pavel @spavel.bsky.social · 12/10/2025
bitch what
Onedrive settings. A toggle for using AI to detect and identify faces is set to on. The caption says, you can only turn off this setting 3 times per year.
9239641229
anthony-leverrier.bsky.social @anthony-leverrier.bsky.social · 13/10/2025
The future is here: a formalization in Lean of the generalized quantum Stein's lemma! Amazing that this can be done. arxiv.org/abs/2510.08672
arxiv.org
A Formalization of the Generalized Quantum Stein's Lemma in Lean
The Generalized Quantum Stein's Lemma is a theorem in quantum hypothesis testing that provides an operational meaning to the relative entropy within the context of quantum resource theories. Its origi...
0221
Reposted by @anthony-leverrier.bsky.social
John C. Baez @johncarlosbaez.bsky.social · 26/09/2025
There's no reachable position in chess with more than 218 moves for one player! Here's one with 218 moves for White. This was *not* proved by checking all 8.7 × 10⁴⁵ reachable chess positions. Instead, someone known only to me as Tobs45 figured out a better proof: lichess.org/@/Tobs40/blo...
A weird chess position where White has 9 queens, two rooks in the corners, etc, and black is checkmated with king in the corner, and only two pawns.  From here:

https://lichess.org/@/Tobs40/blog/there-is-no-reachable-chess-position-with-more-than-218-moves/a5xdxeqs
3243
anthony-leverrier.bsky.social @anthony-leverrier.bsky.social · 23/09/2025
this is apparently true! en.wikipedia.org/wiki/Taiping...
en.wikipedia.org
Taiping Rebellion - Wikipedia
010
Reposted by @anthony-leverrier.bsky.social
Dulwich Quantum Computing @dulwichquantum.bsky.social · 22/09/2025
Stephen Colbert explains why the simplest way of finding the shortest path between 22 cities involves 1. flying to the Moon 2. mining some Helium-3 3. bringing it back to the Earth and pouring it in your quantum computer.
1153
anthony-leverrier.bsky.social @anthony-leverrier.bsky.social · 19/09/2025
This is interesting and surprising: some Clifford gates cannot be implemented arbitrarily well on arbitrarily good approximate GKP states with Gaussian operations! Nice work by Brenner, Diaz and Koenig arxiv.org/abs/2509.14658 Cat qubits (and generalizations) for the win, I guess ;-)
arxiv.org
Composable logical gate error in approximate quantum error correction: reexamining gate implementations in Gottesman-Kitaev-Preskill codes
Quantifying the accuracy of logical gates is paramount in approximate error correction, where perfect implementations are often unachievable with the available set of physical operations. To this end,...
0131
anthony-leverrier.bsky.social @anthony-leverrier.bsky.social · 18/09/2025
Can ChatGPT help with research? Maybe not yet for finding new results, but it can certainly speed up some tedious tasks. An example about quantum Tanner codes #qLDPC Working with qudits (d=5) lets you use nice local codes [4,2,3]_5. Then the idea is simply to enumerate small groups and (1/4)
6153
anthony-leverrier.bsky.social @anthony-leverrier.bsky.social · 18/09/2025
I think this is a very misleading figure. The consensus is that RSA will be broken with proba 1 once a quantum computer is available, but I don't think anybody reasonably expects that all postquantum protocols will eventually get broken. From arxiv.org/abs/2509.13405
2111
Reposted by @anthony-leverrier.bsky.social
Error Correction Zoo @eczoo.bsky.social · 18/07/2025
We are now at 999 codes. What should be our 1000th? If we pick yours, we will feature you in a post about the code. Comment, reply, message, and spread the word.
283
Reposted by @anthony-leverrier.bsky.social
Robin Kothari @robinkothari.bsky.social · 06/08/2025
The QIP 2026 call for papers is out! QIP 2026 will be held in Riga, Latvia from January 24–30, 2026. See you there! qip2026.lu.lv
02815
Reposted by @anthony-leverrier.bsky.social
Andy Matuschak @andymatuschak.org · 05/08/2025
In what senses is the quote true or useful? One thing I like about it is that it takes for granted that the listener (me!) can work on great ideas, make a great contribution. Most work doesn't even try. But it's worth trying. The sentiment makes me want to set my sights higher.
1101
Reposted by @anthony-leverrier.bsky.social
Henry Yuen @henryyuen.bsky.social · 02/08/2025
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 !
072
Reposted by @anthony-leverrier.bsky.social
Craig Gidney @craiggidney.bsky.social · 30/07/2025
When their preprint came out, it was overshadowed by Regev's paper. I found it disconcerting: space is the key near-term cost and Regev was paying space while this paper was saving space, but then Quanta and Scott Aaronson mentioned Regev but not Chevignard+. Glad they're getting recognition now.
161
Reposted by @anthony-leverrier.bsky.social
Craig Gidney @craiggidney.bsky.social · 30/07/2025
Chevignard's QIP2025 talk on reducing the space cost of quantum factoring: www.youtube.com/watch?v=R3yM... And her co-author Schrottenloher's talk at the Simons Summer Cluster on Quantum Computing: www.youtube.com/watch?v=0pnX...
youtube.com
Clémence Chevignard: "Reducing the Number of Qubits in Quantum Factoring" (QIP 2025)
YouTube video by QIP2025
1191
Reposted by @anthony-leverrier.bsky.social
Pixels | Le Monde @pixelsfr.bsky.social · 21/07/2025
Gilles Dowek, informaticien engagé et vulgarisateur, est mort
lemonde.fr
Gilles Dowek, informaticien engagé et vulgarisateur, est mort
Passionné par la dimension éthique de sa discipline, le chercheur de l’Inria et professeur attaché à l’ENS Paris-Saclay, est décédé lundi 21 juillet, à l’âge de 58 ans.
02420
Reposted by @anthony-leverrier.bsky.social
Dulwich Quantum Computing @dulwichquantum.bsky.social · 08/07/2025
"Awesome Quantum Computing Experiments: Benchmarking Experimental Progress Towards Fault-Tolerant Quantum Computation" arxiv.org/abs/2507.03678 A comprehensive database of notable quantum computing experiments, with emphasis on quantum error correction implementations: github.com/francois-mar...
arxiv.org
Awesome Quantum Computing Experiments: Benchmarking Experimental Progress Towards Fault-Tolerant Quantum Computation
Achieving fault-tolerant quantum computation (FTQC) demands simultaneous progress in physical qubit performance and quantum error correction (QEC). This work reviews and benchmarks experimental advanc...
1203
Reposted by @anthony-leverrier.bsky.social
Pierre Bataille @pierrebat.cpesr.fr · 06/07/2025
Les PPP, c'est l'avenir de la recherche de qualité
La prestigieuse institution doit s’abstenir de toute communication susceptible de « porter atteinte à l’image ou à la notoriété » de la firme pétrolière. En échange d’un financement de sa chaire Avenir Commun Durable, qui organise son cycle de conférences sur la transition écologique et énergétique. Une chaire sur laquelle Total n’a aucune influence, affirme l’établissement public.
36245
Reposted by @anthony-leverrier.bsky.social
Christian Wolf @chriswolfvision.bsky.social · 05/07/2025
After all these reports of authors adding language instructions for LLM reviews in their papers I wanted to check this myself and I downloaded the .tex source from one of these papers. Here is an example. (I will not share the identity of the paper)
16386125
Reposted by @anthony-leverrier.bsky.social
Padre Pio @padrepio.bsky.social · 23/06/2025
Ils sont en train de bannir CALVIN & HOBBES du Tennessee 😭
37368183
Reposted by @anthony-leverrier.bsky.social
Aephraim Steinberg @quantumaephraim.bsky.social · 21/06/2025
RIP Ray Laflamme, gone too soon. Ray was a stellar scientist, the founding director of ⁦‪the IQC‬⁩ and ⁦‪of CIFAR's‬⁩ Quantum Information program, but more importantly a warm & generous human who built community and helped many (particularly junior researchers). May his memory be a blessing.
310520
anthony-leverrier.bsky.social @anthony-leverrier.bsky.social · 11/06/2025
Great work by Yiyi Cai that improved the analysis of robustness for the local codes used in quantum Tanner codes. (To be fair, the bounds remain quite pessimistic if one wishes good quantum LDPC codes with linear distance.) thesis.library.caltech.edu/17412/
thesis.library.caltech.edu
Improving Parameters of Asymptotically Good Quantum LDPC Codes via Stronger Product Expansion - CaltechTHESIS
060
Reposted by @anthony-leverrier.bsky.social
Simon Kuestenmacher @simongerman600.bsky.social · 11/06/2025
In a world where more people obsess about their work being inherently meaningful, I hope that you see your job relatively close to the left side of the chart...
1616558
anthony-leverrier.bsky.social @anthony-leverrier.bsky.social · 30/05/2025
"Famously, when published in the journal Physical Review Letters, the copy editor mistook the dim spot (at 347 nm) on the photographic paper as a speck of dirt and removed it from the publication." -- 1st experiment of second harmonic generation en.wikipedia.org/wiki/Second-...
en.wikipedia.org
Second-harmonic generation - Wikipedia
1100
Reposted by @anthony-leverrier.bsky.social
Mark M. Wilde @markwilde.bsky.social · 27/05/2025
This is a very strong reason we, in quantum information, should try to submit most / if not all of our manuscripts to Quantum Journal. At least the community has some say over the process and authors are in charge of formatting their own manuscripts. Paid journals cannot be trusted.
2233
Reposted by @anthony-leverrier.bsky.social
Annalisa Nicholson @apuddleofmuddle.bsky.social · 27/05/2025
Academia in 2025: For weeks I’ve been working through botched copy-edits of my monograph, outsourced by the publisher to a company I’d never heard of, until it finally dawned on me the terrible job might be AI. A quick search confirmed the company recently launched new AI software, which now means..
792904957
anthony-leverrier.bsky.social @anthony-leverrier.bsky.social · 26/05/2025
something strange about fault-tolerant quantum computation: we want each logical gate to have an extremely small error proba (between 1e-15 and 1e-12 for Shor's algorithm), and yet, nowhere during the computation is the true quantum state of the computation anywhere close to the ideal one! (1/2)
1110
anthony-leverrier.bsky.social @anthony-leverrier.bsky.social · 23/05/2025
#newpaper Bosonic codes have a huge potential to reduce the cost of quantum fault tolerance, and many codes look like serious contenders: dual-rail qubit, cat qubit, GKP. But the Fock space is huge, esp. if you consider multimode encodings, and there are many great codes waiting to be found (1/4)
1221
Reposted by @anthony-leverrier.bsky.social
Ryan O'Donnell @booleananalysis.bsky.social · 17/05/2025
This! I like to say, "Let p|A denote distribution p conditioned on event A. Imagine a world where the laws of probability are the same, except (p|A)|B need not equal (p|B)|A. Except you don't have to imagine, because it's literally our world! Now explore probabilistic algorithms in this world."
1324
Reposted by @anthony-leverrier.bsky.social
Leo C. Stein @duetosymmetry.com · 20/05/2025
Bonus: here's an animation I generated showing how the sausage was made. Each frame is one commit from the paper repo.
4407
anthony-leverrier.bsky.social @anthony-leverrier.bsky.social · 18/05/2025
Interesting: there will be a "quantum duel" (a debate) about the possibility of quantum computing between Matthias Christandl and Gil Kalai, on May 20. Livestream here: www.learned.cz/en/activitie...
learned.cz
Quantum Duel: Quantum computers – Do they exist? (20 May, 2025) | News | Activities | The Learned Society of the Czech Republic
The Learned Society of the Czech Republic brings together prominent scientists working in the Czech Republic
0132
Reposted by @anthony-leverrier.bsky.social
Louis Paletta @louispaletta.bsky.social · 16/05/2025
High-performance local automaton decoder for defect matching in 1D, happy to share that our new work in with Anthony Leverrier, Mazyar Mirrahimi and @christophe.vuillot.info is now available on the arXiv ! 👀 (1/6)
1102
Reposted by @anthony-leverrier.bsky.social
Henrik Wilming @arrr.de · 14/05/2025
There is now an official announcement: The TIB has archived the current status of the arXiv: blog.tib.eu/2025/05/14/p...
blog.tib.eu
Protecting Science: TIB builds Dark Archive for arXiv - TIB-Blog
Research and science are international; it is not for nothing that we speak of international specialist communities. Although a service such as arXiv is operated by an institution based in the USA, na...
1156
anthony-leverrier.bsky.social @anthony-leverrier.bsky.social · 13/05/2025
looks like a fun job!
050