Aabhas (his/he)
@aabhasgulati.bsky.social
Likes to spend days struggling with quantum mechanics.
PhD Candidate, Institut de Mathematiques de Toulouse. Quantum Information, Symmetries, Tensors, and their ε-neighbourhood.
PhD Candidate, Institut de Mathematiques de Toulouse. Quantum Information, Symmetries, Tensors, and their ε-neighbourhood.
Reposted by Aabhas (his/he)
📣 𝗨𝗽𝗰𝗼𝗺𝗶𝗻𝗴 𝗧𝗮𝗹𝗸
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
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
October 24, 2025 at 6:09 PM
📣 𝗨𝗽𝗰𝗼𝗺𝗶𝗻𝗴 𝗧𝗮𝗹𝗸
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
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
Reposted by Aabhas (his/he)
Pierre Botteron
Nonlocal Games Through Communication Complexity and Quantum Cryptography
https://arxiv.org/abs/2510.09457
Nonlocal Games Through Communication Complexity and Quantum Cryptography
https://arxiv.org/abs/2510.09457
October 13, 2025 at 5:48 AM
Pierre Botteron
Nonlocal Games Through Communication Complexity and Quantum Cryptography
https://arxiv.org/abs/2510.09457
Nonlocal Games Through Communication Complexity and Quantum Cryptography
https://arxiv.org/abs/2510.09457
Reposted by Aabhas (his/he)
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
A Formalization of the Generalized Quantum Stein's Lemma in Lean
https://arxiv.org/abs/2510.08672
October 13, 2025 at 7:21 AM
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
A Formalization of the Generalized Quantum Stein's Lemma in Lean
https://arxiv.org/abs/2510.08672
Reposted by Aabhas (his/he)
Pavel Sekatski, Yelena Guryanova, Naga Bhavya Teja Kothakonda, Michalis Skotiniotis
Cloning Quantum Channels
https://arxiv.org/abs/2509.08059
Cloning Quantum Channels
https://arxiv.org/abs/2509.08059
September 11, 2025 at 7:35 AM
Pavel Sekatski, Yelena Guryanova, Naga Bhavya Teja Kothakonda, Michalis Skotiniotis
Cloning Quantum Channels
https://arxiv.org/abs/2509.08059
Cloning Quantum Channels
https://arxiv.org/abs/2509.08059
Reposted by Aabhas (his/he)
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
Entanglement Dimensionality of Continuous Variable States From Phase-Space Quasi-Probabilities
https://arxiv.org/abs/2509.02743
September 4, 2025 at 7:34 AM
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
Entanglement Dimensionality of Continuous Variable States From Phase-Space Quasi-Probabilities
https://arxiv.org/abs/2509.02743
Reposted by Aabhas (his/he)
Frederik vom Ende, Sumeet Khatri, Sergey Denisov
$k$-Positive Maps: New Characterizations and a Generation Method
https://arxiv.org/abs/2508.21348
$k$-Positive Maps: New Characterizations and a Generation Method
https://arxiv.org/abs/2508.21348
September 1, 2025 at 6:42 AM
Frederik vom Ende, Sumeet Khatri, Sergey Denisov
$k$-Positive Maps: New Characterizations and a Generation Method
https://arxiv.org/abs/2508.21348
$k$-Positive Maps: New Characterizations and a Generation Method
https://arxiv.org/abs/2508.21348
Reposted by Aabhas (his/he)
Rabsan Galib Ahmed, Adithi Udupa, Giulia Ferrini
Multimode rotationally symmetric bosonic codes from group-theoretic construction
https://arxiv.org/abs/2508.20647
Multimode rotationally symmetric bosonic codes from group-theoretic construction
https://arxiv.org/abs/2508.20647
August 29, 2025 at 6:09 AM
Rabsan Galib Ahmed, Adithi Udupa, Giulia Ferrini
Multimode rotationally symmetric bosonic codes from group-theoretic construction
https://arxiv.org/abs/2508.20647
Multimode rotationally symmetric bosonic codes from group-theoretic construction
https://arxiv.org/abs/2508.20647
Reposted by Aabhas (his/he)
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
arxiv.org/abs/2508.19341
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...
arxiv.org
August 28, 2025 at 9:34 AM
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
arxiv.org/abs/2508.19341
Reposted by Aabhas (his/he)
Accurate (and disturbing) take on current AI developments.
www.theatlantic.com/technology/a...
www.theatlantic.com/technology/a...
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.
www.theatlantic.com
August 23, 2025 at 4:01 PM
Accurate (and disturbing) take on current AI developments.
www.theatlantic.com/technology/a...
www.theatlantic.com/technology/a...
Reposted by Aabhas (his/he)
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
Absolutely maximally entangled pure states of multipartite quantum systems
https://arxiv.org/abs/2508.04777
August 8, 2025 at 7:23 AM
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
Absolutely maximally entangled pure states of multipartite quantum systems
https://arxiv.org/abs/2508.04777
Reposted by Aabhas (his/he)
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.
“If these trends are not stopped, science is going to be destroyed." Here's my story on the accelerating growth of systemic research fraud--aka paper mills. Gift link: nyti.ms/45rDirw
Fraudulent Scientific Papers Are Rapidly Increasing, Study Finds
A statistical analysis found that the number of fake journal articles being churned out by “paper mills” is doubling every year and a half.
nyti.ms
August 6, 2025 at 12:38 PM
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.
Reposted by Aabhas (his/he)
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
July 30, 2025 at 4:13 PM
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...
Reposted by Aabhas (his/he)
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
arxiv.org/abs/2507.21221
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 ...
arxiv.org
July 30, 2025 at 8:47 AM
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
arxiv.org/abs/2507.21221
Reposted by Aabhas (his/he)
Andreas Bluhm, C\'ecilia Lancien, Ion Nechita
Random measurements are almost maximally incompatible
https://arxiv.org/abs/2507.20600
Random measurements are almost maximally incompatible
https://arxiv.org/abs/2507.20600
July 29, 2025 at 7:21 AM
Andreas Bluhm, C\'ecilia Lancien, Ion Nechita
Random measurements are almost maximally incompatible
https://arxiv.org/abs/2507.20600
Random measurements are almost maximally incompatible
https://arxiv.org/abs/2507.20600
Reposted by Aabhas (his/he)
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...
www.nytimes.com/2025/07/27/a...
Tom Lehrer, Musical Satirist With a Dark Streak, Dies at 97
www.nytimes.com
July 27, 2025 at 9:41 PM
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...
www.nytimes.com/2025/07/27/a...
Reposted by Aabhas (his/he)
Kaiyi Guo, Fei Shi, You Zhou, Qi Zhao
Approximate k-uniform states: definition, construction and applications
https://arxiv.org/abs/2507.19018
Approximate k-uniform states: definition, construction and applications
https://arxiv.org/abs/2507.19018
July 28, 2025 at 6:09 AM
Kaiyi Guo, Fei Shi, You Zhou, Qi Zhao
Approximate k-uniform states: definition, construction and applications
https://arxiv.org/abs/2507.19018
Approximate k-uniform states: definition, construction and applications
https://arxiv.org/abs/2507.19018
Reposted by Aabhas (his/he)
Pablo Costa Rico, Michael M. Wolf
Partial trace relations beyond normal matrices
https://arxiv.org/abs/2507.18278
Partial trace relations beyond normal matrices
https://arxiv.org/abs/2507.18278
July 25, 2025 at 4:55 AM
Pablo Costa Rico, Michael M. Wolf
Partial trace relations beyond normal matrices
https://arxiv.org/abs/2507.18278
Partial trace relations beyond normal matrices
https://arxiv.org/abs/2507.18278
Reposted by Aabhas (his/he)
New paper published today! "A hierarchy of eigencomputations for polynomial optimization on the sphere", with Benjamin Lovitz: link.springer.com/article/10.1...
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...
link.springer.com
July 21, 2025 at 5:29 PM
New paper published today! "A hierarchy of eigencomputations for polynomial optimization on the sphere", with Benjamin Lovitz: link.springer.com/article/10.1...
Reposted by Aabhas (his/he)
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.
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.
July 18, 2025 at 5:55 PM
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.
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.
Reposted by Aabhas (his/he)
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
Touqan Quantera Project
touqan.eu
July 18, 2025 at 7:42 AM
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
Reposted by Aabhas (his/he)
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
arxiv.org/abs/2507.11536
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...
arxiv.org
July 16, 2025 at 11:06 AM
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
arxiv.org/abs/2507.11536
Reposted by Aabhas (his/he)
Zachary P. Bradshaw, Jeffrey J. Dale, Ethan N. Evans
Introduction to Quantum Error Correction with Stabilizer Codes
https://arxiv.org/abs/2507.07121
Introduction to Quantum Error Correction with Stabilizer Codes
https://arxiv.org/abs/2507.07121
July 11, 2025 at 6:50 AM
Zachary P. Bradshaw, Jeffrey J. Dale, Ethan N. Evans
Introduction to Quantum Error Correction with Stabilizer Codes
https://arxiv.org/abs/2507.07121
Introduction to Quantum Error Correction with Stabilizer Codes
https://arxiv.org/abs/2507.07121
Reposted by Aabhas (his/he)
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
#automatedreasoning #proofassistant #ai1.0 #quantumcomputing
July 6, 2025 at 11:55 PM
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
#automatedreasoning #proofassistant #ai1.0 #quantumcomputing
Reposted by Aabhas (his/he)
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!
Please spread the word!
andreasbluhm.eu
June 16, 2025 at 11:29 AM
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!
Please spread the word!