← back to authors

Ranyiliu Chen

🔕 sledovat

1 papers · first: 2026-07-10 · last: 2026-07-10

1
Papers
0.0
Max score
0.0
Avg score
Max AD (0 relevant)

📄 Papers

Lean-QIT: Towards a Formal Infrastructure for Quantum Information Theory
8.4
⭐⭐

quant-ph · 2026-07-10

Tento článek představuje LeanQIT, knihovnu v Lean 4 pro formalizaci kvantové informační teorie (QIT), která poskytuje strojově ověřená rozhraní pro základní koncepty QIT. Pomocí této infrastruktury formalizuje klíčové teorémy jako Schumacherův teorém

A Sharp Local-Question Threshold for GHZ-Equatorial Completeness in Four-Player XOR Games
8.4
⭐⭐

quant-ph · 2026-08-11

Tento článek určuje ostrou prahovou hodnotu lokálních otázek pro GHZ-ekvatoriální úplnost ve čtyřhráčových XOR hrách, dokazující, že s nejvýše třemi aktivními otázkami na hráče existuje perfektní GHZ-ekvatoriální strategie, zatímco se čtyřmi otázkami

Deterministic Minimum-Output-Entropy Nonadditivity via Haagerup's Inequality and Near-Free Permutation Representations
0.0

quant-ph · 2026-08-31

Almost One Bit Violation of Minimum-Output Rényi Entropy Additivity Simultaneously at All Orders
0.0

quant-ph · 2026-09-16

Resource Compatibility in Optimal Quantum Symmetry Testing
0.0

quant-ph · 2026-09-29