Ziao Tang

quant-ph · 2026-07-14

Tento článek se zabývá logickými proplétacími branami v kvantových výpočtech odolných proti chybám, konkrétně zkoumá, jak mohou tzv. phantom kódy koexistovat s qLDPC kódy v rámci hypergrafových produktů. Autoři identifikují unikátní rodinu kódů, kter

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

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