#quantuminfo
LightNews LightNews
chris-pattison.bsky.social
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
rossquantum.bsky.social
Found a couple of repos.
* github.com/HEPLean/Phys...
* github.com/Timeroot/Lea...
* github.com/duckki/lean-...
#lean #leanprover #quantum
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 8, 2025 at 4:40 AM
xkeeper.net
(specifically, large images would cause imagemagic to barf with a funny, inscrutable error message)

convert: ../../magick/quantum.c:216: DestroyQuantumInfo: Assertion `quantum_info != (QuantumInfo *) NULL' failed.
Aborted (core dumped)
February 25, 2025 at 10:50 AM
quantumrw.bsky.social
Had a great time in Paris!

Talked about our recent preprint arxiv.org/abs/2509.10949

#QuiDiQua3 was great, lots of greats discussions, and talks. Happy also to catch up on some good friends :)

Can't wait for #QuiDiQua4 (next year in Brussels!)

#QuantumInfo #Contextuality #QuantumOptics
November 10, 2025 at 9:25 PM
quantumrw.bsky.social
Going now to the #FoQaCiA conference!

#Braga #QuantumInfo
June 1, 2025 at 9:30 AM
informaq.bsky.social
Achieving optimal copy complexity for quantum spectrum estimation through Chebyshev moment matching. Algorithm matches recent lower bounds, advancing efficient quantum measurement and state learning strategies.

#QuantumAlgorithms #QuantumInfo #Research
Optimal Quantum Spectrum Estimation via Chebyshev Moments
arxiv.org
September 25, 2026 at 3:39 AM
gamberoillecito.bsky.social
The new update is almost ready!

I'm introducing support for noise simulation on unBLOCHed, my open source Bloch sphere simulator.

Check out the beta version on beta.unBLOCHed.xyz

#quantum #quantumcomputing #quantuminfo #quantuminformation #opensource #svelte #quantumcomp #quantumphysics
a screenshot of the new update on unBLOCHed.xyz showing support for quantum noise simulation
December 16, 2025 at 9:37 PM
informaq.bsky.social
Researchers prove universal improvement to quantum uncertainty relations with new noncommutativity-induced terms. The bound becomes exact for two-level systems and becomes more pronounced in mixed states, unveiling previously overlooked quantum contributions.

#QuantumInfo #Uncertainty #News
Enhanced Quantum Uncertainty Relations with Noncommutative Trade-offs Beyond Robertson-Schrödinger
www.nature.com
September 22, 2026 at 4:07 PM
paper.bsky.social
2603.08139
2006年、マニアティス、フォン・マンテウフェル、ナハトマン、ナゲルは、当時利用可能な最良の手法と技術を用いて、2ヒッグス・ダブレットモデル（2HDM）のポテンシャルの安定性に関する論文を発表し、現在では広く引用されている。20年が経過した今、MathlibやPhysLib（旧称PhysLeanおよびLean-QuantumInfo...
2006年、マニアティス、フォン・マンテウフェル、ナハトマン、ナゲルは、当時利用可能な最良の手法と技術を用いて、2ヒッグス・ダブレットモデル（2HDM）のポテンシャルの安定性に関する論文を発表し、現在では広く引用されている。 20年が経過した今、MathlibやPhysLib（旧称PhysLeanおよびLean-QuantumInfo）といったプロジェクトのおかげで、この研究に対して形式化プロセスを対話型定理証明器に適用し、より高い水準の数学的正しさを求めることが容易になった。 その結果、この2006年の論文の論証に誤りがあることが判明し、2HDMポテンシャルの安定性に関する主要な定理が無効となった。 この事例が注目に値するのは、我々の知る限り、形式化によって発見された物理学論文における最初の重大な誤りであるためである。 これは形式化が試みられた初期の論文の一つであり、それによって「このより厳格な審査基準をクリアできない物理学の論文がどれほどあるのか」という、気まずい疑問が浮上する。
March 26, 2026 at 12:15 AM
informaq.bsky.social
Periodically driven 2D CFTs exhibit universal entanglement dynamics governed by fixed-point geometry. Using conformal maps, we classify symmetry restoration, quantum Mpemba effects, and crossover phenomena—a unifying framework independent of microscopic details.

#QuantumInfo #CFT #Floquet
Fixed Points, Floquet Entanglement Asymmetry, and Quantum Mpemba Effects
arxiv.org
September 17, 2026 at 7:54 AM
informaq.bsky.social
Researchers proved quantum kicked rotors reproduce long-range Anderson transitions observed in power-law random banded matrices using two-loop renormalization group analysis, bridging chaotic and disordered quantum systems.

#QuantumChaos #RandomMatrix #QuantumInfo
Quantum Kicked Rotors and Power-Law Random Banded Matrices Show Equivalence via Renormalization Analysis
quantumzeitgeist.com
September 10, 2026 at 12:02 AM
informaq.bsky.social
The modular commutator remains a reliable topological probe in realistic quantum systems with approximate Markovianity, with derived quantitative bounds on conditional mutual information across spatial partitions.

#TopologicalQuantum #QuantumInfo #Research
Modular Commutator as Robust Topological Invariant Under Approximate Markovianity
arxiv.org
September 9, 2026 at 7:31 AM
informaq.bsky.social
Rényi divergence optimization can substitute marginal states for complex optimizers with only 1/α multiplicative overhead. Extends to fidelity and sandwiched Rényi divergences, enabling simpler quantum information computations.

#QuantumInfo #InformationTheory #Research
Near-Optimal Marginal Approximations in Quantum Divergence Measures
arxiv.org
September 7, 2026 at 11:56 AM
informaq.bsky.social
Rigorous proof that single nonabelian anyons violate Haag duality—a fundamental quantum information principle. Results instantiated in Levin-Wen topological models with multiple proof levels: physics arguments, sector theory, and concrete models.

#TopoQubits #QuantumInfo #TopologicalOrder
Nonabelian Anyons Violate Haag Duality and Uniqueness of Purifications
arxiv.org
September 2, 2026 at 6:38 AM
informaq.bsky.social
Researchers determine exact strong converse exponent for quantum state merging using novel α-z conditional Rényi entropies, revealing fundamentally different mathematical structures from other quantum protocols and quantifying exponential fidelity decay rates.

#QuantumInfo #QuantumTheory #Research
Strong Converse Exponent of Quantum State Merging
arxiv.org
August 28, 2026 at 1:39 AM
informaq.bsky.social
Novel framework determines when mixed quantum states are uniquely fixed by local marginals, establishing sharp rank bounds (≤4) for three-qubit systems. Extends to multipartite states with applications to genuine multipartite entanglement certification.

#QuantumInfo #QuantumCertification #Research
Range-Based Criteria for Uniqueness of Quantum States from Local Marginals
iq.fp2.dev
August 26, 2026 at 5:16 AM
informaq.bsky.social
Resolved decades-old quantum information problem: optimal copy complexity for mixed-state cloning determined as N=Θ(Mrd/ε). Matching bounds via representation theory and random purification expose fundamental limitations in copying arbitrary quantum states.

#QuantumCloning #QuantumInfo #Research
Optimal Copy Complexity of Quantum State Cloning
iq.fp2.dev
August 26, 2026 at 3:59 AM
informaq.bsky.social
Study discovers that inclusion-minimal locally indistinguishable quantum state sets become distinguishable with two copies or one excluded state, revealing how quantum nonlocality is fragile under modest resource changes.

#QuantumNonlocality #QuantumInfo #Research
Inclusion-Minimal Local Indistinguishability: A Weak Form of Quantum Nonlocality
arxiv.org
August 25, 2026 at 6:51 AM
informaq.bsky.social
Breakthrough: Exact solutions show Berry phases emerge from Uhlmann phases in the adiabatic and zero-temperature limit. Surprising geodesic selection rule governs behavior at quantum degeneracies—unifying mixed and pure quantum states.

#QuantumControl #GeometricPhases #QuantumInfo
Geometric Phases in Driven Qubits: Berry and Uhlmann Holonomies
arxiv.org
August 25, 2026 at 4:56 AM
informaq.bsky.social
Explainer on quantum teleportation mechanisms, covering how quantum information transfer works across spatial distances without moving physical particles.

#QuantumTeleportation #QuantumInfo #News
Quantum Teleportation: How Quantum States Transfer Across Distance
thequantuminsider.com
August 15, 2026 at 8:47 AM
informaq.bsky.social
Researchers uncovered a universal non-equilibrium scaling law governing entanglement dynamics in 2D quantum critical points, validated through large-scale quantum Monte Carlo simulations and revealing interaction-driven deviations from free-fermion theories.

#QuantumEntanglement #QuantumInfo #News
Universal Entanglement Growth in Quantum Critical Systems
iq.fp2.dev
August 3, 2026 at 10:12 PM
informaq.bsky.social
Characterizing QSD under stabilizer circuit constraints: adaptive measurements enable advantages over fixed circuits. Derives analytical expressions revealing how non-stabilizer resources enhance measurement power in restricted quantum systems.

#QuantumInfo #StabilizerCodes #Research
Quantum State Discrimination With Stabilizer Circuits
arxiv.org
July 31, 2026 at 6:01 AM
gitwishes.bsky.social
chore: toolchain update (#74)

* Toolchain bump step one

* Move all expose section declarations below module docstrings

* Fix lints and quantumInfo refactor issues

* Toolchain update. FreeM simp lemmas change and transparency change with toolchain upgrade. I wish they would...
July 13, 2026 at 4:53 AM
informaq.bsky.social
Monitored Clifford circuits on qudits exhibit universal purification dynamics reducible to a pure-death Markov process, exactly solvable without replica tricks. Predictions confirmed via stabilizer simulations for dimensions q=2,3,5.

#QuantumCircuits #QuantumInfo #Research
Universal Purification Dynamics of Monitored Clifford Circuits
arxiv.org
July 9, 2026 at 7:28 AM
paper.bsky.social
[11/30] 24 Likes, 2 Comments, 1 Posts
2603.08139, hep-ph | cs․LO, 09 Mar 2026

🆕Formalizing the stability of the two Higgs doublet model potential into Lean: identifying an error in the literature

Joseph Tooby-Smith
In 2006, using the best methods and techniques available at the time, Maniatis, von Manteuffel, Nachtmann and Nagel published a now widely cited paper on the stability of the two Higgs doublet model (2HDM) potential. Twenty years on, it is now easier to apply the process of formalization into an interactive theorem prover to this work thanks to projects like Mathlib and PhysLib (formerly PhysLean and Lean-QuantumInfo), and to ask for a higher standard of mathematical correctness. Doing so has revealed an error in the arguments of this 2006 paper, invalidating their main theorem on the stability of the 2HDM potential. This case is noteworthy because to the best of our knowledge it is the first non-trivial error in a physics paper found through formalization. It was one of the first papers where formalization was attempted, which raises the uncomfortable question of how many physics papers would not pass this higher level of scrutiny.
March 26, 2026 at 12:15 AM