Chengkai Zhu

quant-ph · 2026-07-27

Tento článek představuje explicitní qutrit kanál, jehož soukromá i kvantová kapacita jsou nulové, ačkoliv není ani antidegradovatelný, ani PPT. Tím řeší dva dlouhodobé otevřené problémy v kvantové informační teorii týkající se podmínek pro nulovou ka

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-06-25

Tato práce představuje „witness expansion“, jednotný rámec pro konstrukci nelineárních kritérií k detekci kvantových zdrojů v čistých i smíšených stavech, založený na polynomiálních funkcích, které lze experimentálně odhadnout. Rámec sjednocuje stáva

quant-ph · 2026-08-04

quant-ph · 2026-08-11

quant-ph · 2026-08-12