Sign in

Rafael Macêdo

@rafammacedo.bsky.social
115 followers 459 following 18 posts

quantum information theory postdoc @ qmath, copenhagen. all things mathematical and theoretical, i guess! site: sites.google.com/view/rafammacedo

PostsRepliesMedia
Reposted by Rafael Macêdo
Richard Kueng @richardkueng.bsky.social · 02/10/2026
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...
0163
Reposted by Rafael Macêdo
Alex @itsmealeale.bsky.social · 01/10/2026
Can a physically motivated symmetry make many-body magic analytically solvable? If so, at what cost? We answer this question (arxiv.org/abs/2609.38319), by looking at pairwise parity symmetry. This gives rise to a family of quantum states known as X-states. (continue..)/n
164
Reposted by Rafael Macêdo
julia 🌋 @hypv.bsky.social · 27/09/2026
she's right, and it generalizes. this is the correct attitude toward education, across all the core areas.
2164
Rafael Macêdo @rafammacedo.bsky.social · 24/09/2026
very cool guest post by bryna kra in terry's blog regarding the new age of LLM math: terrytao.wordpress.com/2026/09/13/d...
terrytao.wordpress.com
“Deep theorems were scarce and difficult and so became an effective mechanism to identify deep thought. AI has broken this system.”
[This is a guest post by Bryna Kra. This blog post was initially written in a different file format and converted using AI. — T.] For generations, mathematicians have treated the production o…
000
Reposted by Rafael Macêdo
Clément Canonne @ccanonne.github.io · 14/09/2026
Big (huge?) news on the computational complexity preprint server, with a paper by Yumou Fei, Dor Minzer, and Shuo Wang I am not qualified to read beyond the intro: the perfect completeness version of the (not) Unique Games Conjecture, the 4-to-1 Games conjecture! eccc.weizmann.ac.il/report/2026/...
eccc.weizmann.ac.il
ECCC - TR26-179
2459
Reposted by Rafael Macêdo
Erfan Mirzaei @erfunmirzaei.bsky.social · 14/11/2025
🧵Thermodynamics Reveals the Generalization in the Interpolation Regime In the realm of overparameterized NNs, one can achieve almost zero training error on any data, even random labels, that yield massive test errors. So, how can we tell when such a model truly generalizes? arxiv.org/abs/2510.06028
arxiv.org
Generalization of Gibbs and Langevin Monte Carlo Algorithms in the Interpolation Regime
The paper provides data-dependent bounds on the test error of the Gibbs algorithm in the overparameterized interpolation regime, where low training errors are also obtained for impossible data, such a...
161
Reposted by Rafael Macêdo
Girish M. Duvvuri @gmduvvuri.bsky.social · 06/09/2026
The open secret to pedagogy research is that small class sizes/maximizing educator attention per pupil is the simplest, most effective, and unfortunately the least attractive to administration thing you can do to improve learning outcomes.
111103297
Reposted by Rafael Macêdo
H. P. Read @readhpr.bsky.social · 06/09/2026
Lovely article about a 99-year-old retired math professor who recently published a major result. It's the story of mentorship and multi-generational collaboration. www.nytimes.com/2026/09/06/s...
nytimes.com
The 92-Year-Old Mathematician and the Teenage Apprentice (Gift Article)
Joan Birman thought her major discoveries were behind her. Then came an email from a young neighbor — a girl who knew little but wanted to learn.
15325
Reposted by Rafael Macêdo
Dom Williamson @domwilliamson.bsky.social · 04/09/2026
Fractons are immobile quasiparticles in topological phases of matter. In new work, led by Juliette Soule, we generalize fractons to spacetime. This leads to new dynamical quantum phases of matter and floquet codes with no stringlike logical faults in space or time. arxiv.org/abs/2609.03703
Fractons hopping in space (left) and spacetime (right)
171
Reposted by Rafael Macêdo
Marius Lemm @mariuslemm.bsky.social · 15/10/2025
Are the dynamics of disordered quantum many-body systems easier to simulate? --> Yes, because entanglement spreads slowly for a non-perturbatively long time (a.k.a. "prethermal MBL"). This is true in any dimension. arxiv.org/pdf/2510.11831 Thanks to my collaborators Ben McDonough and Andy Lucas!
arxiv.org
152
Reposted by Rafael Macêdo
cafkafk @cafkafk.bsky.social · 03/09/2026
also, rsa-260 is broken now, last was rsa-250 in Apr 2020
611117
Reposted by Rafael Macêdo
Mark Riedl @markriedl.bsky.social · 30/08/2026
Majoring in CS used to mean a decent job (might still). CS was never meant to be about just programming. CS departments let students think that anyway because money. CS enrollments are dropping. That might be a good thing* (disclosure: I’m a CS professor). Here’s one way things might unfold…
3215
Reposted by Rafael Macêdo
Mark M. Wilde @markwilde.bsky.social · 29/08/2026
New paper: Conditional contraction coefficients and their applications to quantum networks arxiv.org/abs/2608.27171 Joint work with @christophhirche.bsky.social , Ian George, and Theshani Nuradha Motivating question: How much information does a noisy quantum channel destroy?
arxiv.org
Conditional contraction coefficients and their applications to quantum networks
Contraction coefficients quantify the loss of distinguishability induced by a channel and provide a strong form of the data-processing inequality. While standard contraction coefficients ignore auxili...
1153
Reposted by Rafael Macêdo
Gemma De les Coves @gemmadlc.bsky.social · 27/08/2026
The view from within can differ from the view from without. An observer, which is a physical system itself, may experience limitations to what it can learn similar to those in Quantum Theory, even in a deterministic theory. New work with J. Fankhauser & T. Gonda arxiv.org/abs/2608.258...
123
Reposted by Rafael Macêdo
Gautam Kamath @gautamkamath.com · 18/08/2026
Obviously this doesn't scale, but I chose to send this junior researcher a (hopefully polite) email with some of my thoughts (written hastily in 30 minutes, not polished). More practicing mathematicians & researchers should advocate for the culture they want, so here's my bit.
1234
Reposted by Rafael Macêdo
Alexander Jahn @physicistalex.bsky.social · 12/08/2026
Three years ago, we proposed "overlapping qubits" as a description of information encoding in quantum gravity. In our new paper with Charles Cao's group at @virginiatech.bsky.social, we finally apply overlapping qubits to evaporating black holes! arxiv.org/abs/2608.10085
141
Reposted by Rafael Macêdo
Mark Riedl @markriedl.bsky.social · 11/08/2026
Claude is getting watermarks. I presume GPT will need to implement this too to comply with EU regulations support.claude.com/en/articles/...
support.claude.com
How Claude marks AI-generated content | Claude Help Center
495
Reposted by Rafael Macêdo
Petra Schwer @petraschwer.bsky.social · 10/08/2026
Like many others I was feeling the lack of a platform where the full spectrum of opinions (in particular also lesser heard voices) on "math and AI" may get an audience. Now here it is! Think about contributing and share it widely! proofsandprompts.com #math #mathsky #llm #AI #mathandai
proofsandprompts.com
Proofs and Prompts
Notes from the common room
12714
Reposted by Rafael Macêdo
Gautam Kamath @gautamkamath.com · 10/08/2026
I'm pleased to share our #ICML2026 tutorial on machine unlearning! Presented by Vinith Suriyakumar and myself, it includes a full set of videos recorded and posted to YouTube! Please check it out: unlearning-tutorial.github.io
1187
Reposted by Rafael Macêdo
🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 08/08/2026
In summary, it seems like two of the biggest results in their big list of 10 was just putting two things together and not citing them properly paywall-free link: www.yahoo.com/news/science...
yahoo.com
OpenAI’s latest math breakthroughs commit research misconduct, experts say
OpenAI’s newest chatbot may be a whiz at math, but it seems to be lagging far behind humans in its academic rigor. Last week the company announced 10 more artificial-intelligence-generated math advan...
1207
Reposted by Rafael Macêdo
William Umboh @swumboh.bsky.social · 07/08/2026
Exactly how i feel about writing myself semi-rad.com/2026/08/do-i...
semi-rad.com
Do It 14,000 Times Slower With This One Trick – Semi-Rad.com
041
Reposted by Rafael Macêdo
Dave Bacon @dabacon.tachyon.institute · 06/08/2026
Unverified but BIG if true eprint.iacr.org/2026/1591
eprint.iacr.org
A Polynomial-Time Quantum Algorithm for the Dihedral Coset Problem
We present a polynomial-time quantum algorithm for the Dihedral Coset Problem (DCP). The algorithm is based on Regev's polynomial-time reduction of the Dihedral Subgroup Problem (DSP) to the modular ...
0155
Reposted by Rafael Macêdo
Henry Yuen @henryyuen.bsky.social · 01/08/2026
Some initial thoughts, and a complicated mix of feelings. Wow. I mean, Erdos problems are cool (I genuinely mean that), I didn't know about the Jacobian conjecture before it got disproved. But this newest batch from OpenAI hits home in a way the previous announcements did not.
232972
Reposted by Rafael Macêdo
Alexander Stottmeister @stotti-alex.bsky.social · 28/07/2026
I tend to agree with Tobias. It will be interesting to see near-term changes in the valuation of certain aspects of research. An important problem I see is who can afford access to frontier models and how the scientific community should address this. tjoresearchnotes.wordpress.com/2026/07/28/p...
tjoresearchnotes.wordpress.com
Proof inflation
I have been thinking a lot about how social dynamics are going to shift in the new era of cognitive abundance. I don’t pretend to have any kind of crystal ball, but there are numerous histori…
2146
Reposted by Rafael Macêdo
Greg Egan @gregegansf.bsky.social · 27/07/2026
While the Fields Medal celebrates the under-40s, the mathematician Joan Birman has, at the age of 99, solved a major open problem in representations of the Braid groups, a topic she has worked on for more than 60 years.
121298320
Reposted by Rafael Macêdo
siddhant @siddhantm.bsky.social · 19/07/2026
Belief propagation is reshaping how we think about tensor networks, and now it can be improved systematically. Check it out! “PEPS is hard” may be becoming less absolute. Using these techniques in practice? I’d love to hear what works, what doesn’t, and where they break down.
021
Reposted by Rafael Macêdo
Peter Coles 🏳️‍🌈 🏳️‍⚧️ 🇮🇪 @telescoper.bsky.social · 14/07/2026
The Coherence Principle Back into the swing of things in Maynooth, getting ready for the repeat examinations that start next month, I realized that I had forgotten to pass on an interesting paper that I found out about a few weeks ago but was reminded of while in London so I'm remedying my…
telescoper.blog
The Coherence Principle
Back into the swing of things in Maynooth, getting ready for the repeat examinations that start next month, I realized that I had forgotten to pass on an interesting paper that I found out about a few weeks ago but was reminded of while in London so I'm remedying my omission now. The title is The Coherence Principle: A Falsifiable Prior for Model Selection from the Grammar of Theories…
043
Reposted by Rafael Macêdo
Andrew Gordon Wilson @andrewgwils.bsky.social · 14/07/2026
How far can we compress billion-parameter LLMs? We introduce requential coding, which achieves < 1-bit per param compression, and explains why scaling doesn't hit a generalization wall! arxiv.org/pdf/2607.11883 w/ Shikai Qiu, Marc Finzi, Yujia Zheng, Kun Zhang 1/🧵
27512
Reposted by Rafael Macêdo
cyber professional @permadeath.com · 13/07/2026
new favorite diagram shortlist entry
graph showing relationships between probability distributions, including cases of special parameters and convergence.  the normal distribution is quite central
1013337
Reposted by Rafael Macêdo
Ben Brubaker @benbenbrubaker.bsky.social · 06/07/2026
After 20 years, researchers finally have strong evidence that “quantum proofs” are more powerful than ordinary classical ones. The results suggest that at least in computation, there’s no way around the complexity of the quantum world. Read more in @quantamagazine.bsky.social:
quantamagazine.org
Researchers Reveal the Power of ‘Quantum Proofs’ | Quanta Magazine
When checking that solutions to certain problems are correct, it turns out, you can’t get around the inherent complexity of the quantum world.
0185
Reposted by Rafael Macêdo
Andreas Bluhm @hippoquantus.bsky.social · 26/06/2026
I am happy to announce that our newest work on non-local quantum computation (NLQC) has made it to the arXiv: scirate.com/arxiv/2606.2.... For me personally, the main motivation to study these tasks comes from quantum position verification, but it has links to diverse areas such as quantum gravity.
scirate.com
Equivalence of non-local computation tasks beyond Clifford operations
Non-local quantum computation (NLQC) studies how two collaborating players can implement channels on distributed systems using a single simultaneous round of quantum communication and shared entanglem...
151
Rafael Macêdo @rafammacedo.bsky.social · 22/06/2026
a bit late, but as of this month, I’ve joined QMATH @qmath-copenhagen.bsky.social as a postdoc in @dansfranca.bsky.social 's group! i'll be working on quantum algorithms theory and quantum info more broadly. if anyone in the copenhagen area wants to collaborate, hit me up!
120
Reposted by Rafael Macêdo
Peter Coles 🏳️‍🌈 🏳️‍⚧️ 🇮🇪 @telescoper.bsky.social · 17/06/2026
Bayesian Inductive Inference and the Anthropic Cosmological Principle Many moons ago I wrote a paper with a person called Antony J.M. Garrett with the title Bayesian Inductive Inference and the Anthropic Cosmological Principle (the full reference is A.J.M. Garrett and P. Coles, Comments on…
telescoper.blog
Bayesian Inductive Inference and the Anthropic Cosmological Principle
Many moons ago I wrote a paper with a person called Antony J.M. Garrett with the title Bayesian Inductive Inference and the Anthropic Cosmological Principle (the full reference is A.J.M. Garrett and P. Coles, Comments on Astrophysics 17(1) 23-47 (1993). It got a few citations here and there, and has been discussed in a few books and other texts. In 1999, the journal&hellip;
062
Reposted by Rafael Macêdo
Gabriel Peyré @gabrielpeyre.bsky.social · 16/06/2026
The alpha version of my new book "Optimal Transport for Machine Learners" is out, with in particular an online version with interactive figures www.gpeyre.com/ot4ml/
09843
Reposted by Rafael Macêdo
Nahuel L Diaz @nahuelldiaz.bsky.social · 13/06/2026
I'm so happy to share this paper, we put a lot into this one: arxiv.org/abs/2606.12539 If you have ever wondered what the quantum-information literature has to say about temporal correlations and time itself, check out our unifying picture: all you need are spacetime states.
arxiv.org
Unifying spacetime approaches to quantum mechanics
Recent efforts to formulate quantum mechanics in a way that treats space and time on a more equal footing have led to a large variety of spacetime-oriented approaches. In this work we present a detail...
274
Reposted by Rafael Macêdo
Error Correction Zoo @eczoo.bsky.social · 11/06/2026
Big update: the EC Zoo is now a handbook. It spans codes, sphere packings, lattices, designs, groups, and phases of matter. Extensively checked, but not perfect—feedback very welcome: arxiv.org/abs/2606.11484
arxiv.org
Handbook of Error-Correcting Codes
Barcode scans, clear phone calls, reliable data storage, satellite communication, and large-scale quantum computation are all made possible by error correction. We present a handbook version of The Er...
0227
Reposted by Rafael Macêdo
Aram Harrow @harrowing.bsky.social · 06/06/2026
The Erdos unit-distance conjecture disproof was achieved using the publicly available GPT 5.5 Pro by Yichen Huang. github.com/yichenhuang/...
github.com
GitHub - yichenhuang/unit-distance
Contribute to yichenhuang/unit-distance development by creating an account on GitHub.
071
Rafael Macêdo @rafammacedo.bsky.social · 30/05/2026
Amazing paper!
020
Reposted by Rafael Macêdo
Anthony Moser @anthonymoser.com · 10/04/2026
Tonight in the ai reading group i was reminded of something that happened in 2006 after I dropped out of college, when I was living in a run-down old house next to jb alberto's in rogers park with a bunch of dudes. it was, as you can imagine, not clean.
17873321
Reposted by Rafael Macêdo
Kai @kaichung.bsky.social · 15/05/2026
I read Dirac’s original paper on the Dirac equation and I must say it is really beautiful. He comes from an experimental question (that the electron has spin-1/2) and derives the equation from a simple relativistic argument. The presentation is honestly better than any I’ve seen in modern textbooks
2101
Reposted by Rafael Macêdo
tanmaybhore.bsky.social @tanmaybhore.bsky.social · 14/05/2026
Found this goldmine in arxiv.org/abs/2602.09665
001
Reposted by Rafael Macêdo
Dulwich Quantum Computing @dulwichquantum.bsky.social · 02/05/2026
Apparently there's a quasi-polynomial time classical algorithm for the unknot problem which was announced in a talk in 2021 and is summarized in this slide, but there's not actual writeup of it anywhere. www.maths.ox.ac.uk/node/38304
1101
Reposted by Rafael Macêdo
Maxim Raginsky @mraginsky.bsky.social · 22/04/2026
After grumbling for years in our substacks about uses and abuses of probability in machine learning, @beenwrekt.bsky.social and I decided it's finally time to put down some concrete ideas in a manifesto with a DOI. Here it is, give us your best feedback. (1/4)
arxiv.org
Separating Geometry from Probability in the Analysis of Generalization
The goal of machine learning is to find models that minimize prediction error on data that has not yet been seen. Its operational paradigm assumes access to a dataset $S$ and articulates a scheme for ...
55716
Rafael Macêdo @rafammacedo.bsky.social · 13/04/2026
new paper! energy is one of the simplest and main quantum observables: it is experimentally friendly and theoretically simple. can we witness magic by looking at energy/heat measurements? well, "every little heat is magic"! arxiv.org/abs/2604.08663 1/n
121
Reposted by Rafael Macêdo
Clément Canonne @ccanonne.github.io · 13/04/2026
How did I miss this?! A recent (2025) survey by Rocco Servedio on PAC learning and its variants, and recent results in these learning models: arxiv.org/abs/2511.08791 (Anything by Rocco is worth reading!)
arxiv.org
The Probably Approximately Correct Learning Model in Computational Learning Theory
This survey paper gives an overview of various known results on learning classes of Boolean functions in Valiant's Probably Approximately Correct (PAC) learning model and its commonly studied variants...
1368
Reposted by Rafael Macêdo
SMBC Comics @smbccomics.bsky.social · 09/04/2026
Does this change my imaginary Erdos number to a complex number? Click the link to read the full comic on the site! COMIC ◆ www.smbc-comics.com/comic/sphere... PATREON ◆ www.patreon.com/ZachWeinersm... STORE ◆ smbc-store.myshopify.com
Title image of the comic "The music of the Spheres" by Dr. Terence Tao and Zach Weinersmith. First 2 panels of the comic "The music of the Spheres." A man is narrating the comic, he is the comic representation of the quoted author, Dr. Terence Tao. He says "When I tell people at parties that I'm a mathematician, there's often an awkward pause in the conversation, or the obligatory..." A tall character next to him chimes in "Oh, I was sooooo bad at Math in school!" In the second panel, the narrator continues "though occasionally, you run into a math and science enthusiast who wants to discuss a recent development they heard in the news..." The narrator looks deeply touched, as a young woman is talking to him, she is saying : "oh my gosh, my friends and I cannot stop talking about reconstructing cryptographic protocols from quantum principles and... Do you want to move this conversation to a whiteboard?"Panels 3 to 6 of the comic "The music of the Spheres." The narrator is putting a reassuring hand on a sad man's shoulder. The narration reads "...or someone who actually had a good experience in their math classes and was somewhat wistful about not pursuing it." The saddened man says "I'll always think of Hadwiger's graph theory conjecture as... the one who got away." In the next panels, the narrator states "those are good moments. But, in general, the public have very little idea what mathematics is, and what mathematicians actually do. Popular culture gives us some caricature portrayals of mathematicians" Panels 7 and 8 of the comic "The music of the Spheres." Both panels show a caricature of a mathematicians from pop culture. The first is a tortured genius, represented by a woman holding a piece of chalk saying "I cannot know love, but by god I *will* know if every polyomino with an area divisible by six can tile and hexagon!" The narration specifies that "torturedness rates among mathematicians are, in fact, average." The second example is the savant with strange mental powers, represented by a man surrounded by equations that obscure his vision. The narration specifies that "if you see equations floating before your eyes, please consult an ophthalmologist."
817634
Reposted by Rafael Macêdo
ieva @hyperboieva.bsky.social · 10/04/2026
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!
062