Conference submissions using LLMs can look plausibly correct on a first pass but have a bug hiding deep in the submission. Generally, I don't think of the review process as adversarial, because the author has probably thought about the proof very carefully. Should we change how we review papers?

This is a good example of why you should be cautious when extrapolating to the low logical error rate regime arxiv.org/abs/2604.08358

How large is too large for a figure to be included in a paper?

Alexander Meiburg has been working on formal verification of results in quantum information. It's exciting to see a growing library of tools for formal proofs in QI github.com/Timeroot/Lea...

GitHub - Timeroot/Lean-QuantumInfo: Quantum information theory in Lean 4

Quantum information theory in Lean 4. Contribute to Timeroot/Lean-QuantumInfo development by creating an account on GitHub.

github.com

Happy to share that some previous work with @krishnanirudh.bsky.social and @preskill.bsky.social that we call hierarchical codes (2303.04798) was recently published in Quantum! 1/9

@quantumearl.bsky.social seeking bids for QEC26! QEC is exploding, so there’s a good case to move to an annual conference format

I suddenly regret not doing this

Mark M. Wilde@markwilde.bsky.social · 2y ago

my coauthors and I are about to release a 90-page paper. Should we indicate, as others often do on quant-ph, that this is actually a 10 page + 80 pages paper? It could be helpful to our readers to know this, right?

Oftentimes, one might write a paper that relies on a bunch (~5-10 pages) of definitions from a different paper. At what point do you say the equivalent of "import otherPaper.definitions"? If it's your own paper, then presumably the original definitions were best?

I wonder if the early pioneers of classical fault-tolerance ever imagined where the field might go ieeexplore.ieee.org/document/677...

Reliable information storage in memories designed from unreliable components

This is the first of two papers which consider the theoretical capabilities of computing systems designed from unreliable components. This paper discusses the capabilities of memories; the second pape...

ieeexplore.ieee.org

Happy QIP tutorials day

Perhaps we should specify minimum margins and font size in conference submissions and automatically reject non-conformant submissions?

What is a quantum circuit to you?

Also +1, I use it a fair bit now for slides. It's a bit rough in the sense that there's a much smaller body of stack exchange posts for whatever cursed thing you'd like to do, but there's less surprises in the language due to clean separation of code/content

Korbinian Kottmann@qottmann.bsky.social · 2y ago

learned that overleaf is down today, so a good chance to advertise typst.app it's a "new latex" if you will. once you go typst, writing latex (and using overleaf) will feel like ancient technology, so use with caution (in particular if you still depend on latex submissions to journals 😬)

We're hiring quantum theory faculty at Virginia Tech. This is an open-rank position in the CS or EE department at the new Center in Alexandria, VA, just outside of Washington, DC. This is the first of several new hires at the Center. Come join us (pls RT)! careers.pageuppeople.com/968/cw/en-us...

Details | Open Rank Faculty, Quantum Systems | Careers | Division of Human Resources | Virginia Tech

careers.pageuppeople.com