Aabhas (his/he)

Will I finally fix my sleep schedule tonight?

📣 𝗨𝗽𝗰𝗼𝗺𝗶𝗻𝗴 𝗧𝗮𝗹𝗸
On 𝗧𝘂𝗲𝘀𝗱𝗮𝘆, 𝗢𝗰𝘁𝗼𝗯𝗲𝗿 𝟮𝟴, 𝟮𝟬𝟮𝟱 (𝟭𝟲:𝟬𝟬 𝗔𝗺𝘀𝘁𝗲𝗿𝗱𝗮𝗺 𝘁𝗶𝗺𝗲), 𝗔𝗹𝗲𝘅 𝗠𝗲𝗶𝗯𝘂𝗿𝗴 will give a talk on his paper “𝗔 𝗙𝗼𝗿𝗺𝗮𝗹𝗶𝘇𝗮𝘁𝗶𝗼𝗻 𝗼𝗳 𝘁𝗵𝗲 𝗚𝗲𝗻𝗲𝗿𝗮𝗹𝗶𝘇𝗲𝗱 𝗤𝘂𝗮𝗻𝘁𝘂𝗺 𝗦𝘁𝗲𝗶𝗻’𝘀 𝗟𝗲𝗺𝗺𝗮 𝗶𝗻 𝗟𝗲𝗮𝗻” (buff.ly/TnHFhZE) at the Lean Seminar in Amsterdam.
🔗 Zoom link: buff.ly/w7DqsRC
🆔 Meeting ID: 610 4772 0375

Pierre Botteron
Nonlocal Games Through Communication Complexity and Quantum Cryptography
https://arxiv.org/abs/2510.09457

Alex Meiburg, Leonardo A. Lessa, Rodolfo R. Soldati
A Formalization of the Generalized Quantum Stein's Lemma in Lean
https://arxiv.org/abs/2510.08672

Pavel Sekatski, Yelena Guryanova, Naga Bhavya Teja Kothakonda, Michalis Skotiniotis
Cloning Quantum Channels
https://arxiv.org/abs/2509.08059

Shuheng Liu, Jiajie Guo, Matteo Fadel, Qiongyi He, Marcus Huber, Giuseppe Vitagliano
Entanglement Dimensionality of Continuous Variable States From Phase-Space Quasi-Probabilities
https://arxiv.org/abs/2509.02743

Frederik vom Ende, Sumeet Khatri, Sergey Denisov
$k$-Positive Maps: New Characterizations and a Generation Method
https://arxiv.org/abs/2508.21348

Rabsan Galib Ahmed, Adithi Udupa, Giulia Ferrini
Multimode rotationally symmetric bosonic codes from group-theoretic construction
https://arxiv.org/abs/2508.20647

Optimal Finite-Time Thermodynamics of Effective Two-Level Systems The optimization of the conversion of thermal energy into work and the minimization of dissipation for nano- and mesoscopic systems is a complex challenge because of the important role fluctuations pl...

Alberto has a new preprint out today: here he looks at the optimal ways to extract work from two-level systems using thermodynamic protocols

arxiv.org/abs/2508.19341

AI Is a Mass-Delusion Event Three years in, one of AI’s enduring impacts is to make people feel like they’re losing it.

Accurate (and disturbing) take on current AI developments.
www.theatlantic.com/technology/a...

Grzegorz Rajchel-Mieldzio\'c, Rafa{\l} Bistro\'n, Albert Rico, Arul Lakshminarayan, Karol \.Zyczkowski
Absolutely maximally entangled pure states of multipartite quantum systems
https://arxiv.org/abs/2508.04777

I think this quote is both unsustainable and unsupported by the analysis in the piece. First and foremost, it portrays fraud as *consuming* science rather than merely growing alongside it. Much of the “fraud” in the paper is just metric gaming whackamole that doesn’t get read, cited or used.

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.

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...

Emergence of Classicality in Wigner's Friend Scenarios The Wigner's Friend (WF) thought experiment concerns quantum measurements by a 'superobserver' of an observer measuring a quantum system. Variations on the setup and its extended versions have seen a ...

New preprint! Really excited about this. It's some of my best work ever, IMO: an analytic and numerical study of the Wigner's Friend problem(s) with a specific model of the measurement process and a decohering environment.

arxiv.org/abs/2507.21221

Andreas Bluhm, C\'ecilia Lancien, Ion Nechita
Random measurements are almost maximally incompatible
https://arxiv.org/abs/2507.20600

Tom Lehrer, Musical Satirist With a Dark Streak, Dies at 97

One of the greatest scientist communicators of all time has passed on. The Science Division at UCSC was so fortunate to have had Tom Lehrer on our faculty for almost 30 years.

www.nytimes.com/2025/07/27/a...

Kaiyi Guo, Fei Shi, You Zhou, Qi Zhao
Approximate k-uniform states: definition, construction and applications
https://arxiv.org/abs/2507.19018

Pablo Costa Rico, Michael M. Wolf
Partial trace relations beyond normal matrices
https://arxiv.org/abs/2507.18278

A hierarchy of eigencomputations for polynomial optimization on the sphere - Mathematical Programming We introduce a convergent hierarchy of lower bounds on the minimum value of a real form over the unit sphere. The main practical advantage of our hierarchy over the real sum-of-squares (RSOS) hierarch...

New paper published today! "A hierarchy of eigencomputations for polynomial optimization on the sphere", with Benjamin Lovitz: link.springer.com/article/10.1...

Hey mathematicians:

Separate from whether you think it's possible or likely, how do you think you would be psychologically affected if there was a superhuman machine for both proposing and solving theorems? Meaning basically that, vis-a-vis mathematics, you were like a Go player after AlphaGo.

I am looking for a PhD student to explore quantum advantage with indistinguishable particles in my group at CTP PAS, Warsaw (within Quantera TouQan project touqan.eu). 4‑yr scholarship, start  Oct 2025. Apply by 8 Aug 2025: euraxess.ec.europa.eu/jobs/360583

Understanding Quantum Information and Computation This is a course on the theory of quantum computing. It consists of 16 lessons, each with a video and written component, covering the basics of quantum information, quantum algorithms (including query...

After 3 1/2 years of work my course on quantum computing is finally finished — the "Director's Cut" of Understanding Quantum Information and Computation is now available.

arxiv.org/abs/2507.11536

Zachary P. Bradshaw, Jeffrey J. Dale, Ethan N. Evans
Introduction to Quantum Error Correction with Stabilizer Codes
https://arxiv.org/abs/2507.07121

Hey #quantum people! Are you using #lean? Are you using another theorem prover or proof assistant? What are you using it for? Papers and source repos are especially appreciated.
#automatedreasoning #proofassistant #ai1.0 #quantumcomputing

I am currently looking for a PhD student who would like to work on position-based cryptography. Details can be found here: andreasbluhm.eu/wp-content/u...

Please spread the word!

Carlo Marconi, Guillem M\"uller-Rigat, Jordi Romero-Pallej\`a, Jordi Tura, Anna Sanpera
Symmetric quantum states: a review of recent progress
https://arxiv.org/abs/2506.10185

Now, while we’re confident in our plans to deliver fault-tolerance by 2029, we expect to achieve quantum advantage sooner—by 2026.

There will be no losers in the quantum computing race since every company will be / has been the first to achieve quantum advantage according to their own unique definition!
www.ibm.com/quantum/blog...

🕯️🙏 What a sad day for Austria! Our thoughts are with the victims of the mass shooting in Graz! #graz1006

Konstantinos-Rafail Revis, Hrachya Zakaryan, Zahra Raissi
Orbit classification and analysis of qutrit graph states under local complementation and local scaling
https://arxiv.org/abs/2506.05478