Xin Wang

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-14

Tento článek formalizuje klíčové komponenty teorie kvantových neuronových sítí (QNN), konkrétně expresivitu a trénovatelnost, v systému Lean 4 ověřeném důkazovým jádrem. Autoři prokazují přesné charakteristiky QNN pro jeden qubit, teorém o zpracování

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-07-09

Tento článek představuje kvantitativní teorii magických zdrojů potřebných pro univerzální purifikaci kvantových stavů, což je zásadní pro fault-tolerantní kvantové počítání. Autoři dokazují přesný lineární zákon many a oboustranný lineární zákon robu

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-07-15

Tento článek popisuje formální verifikaci Shorova algoritmu v Lean pomocí agentních systémů pro kvantovou kryptoanalýzu RSA-2048 a P-256. Práce formalizuje matematické základy a odhady zdrojů pro tyto útoky, včetně reverzibilních kvantových obvodů pr

astro-ph.CO · 2026-06-29

Tato kapitola shrnuje potenciál vyšších statistických metod pro extrakci ne-Gaussovských informací z 21cm intenzitních map v éře SKAO, s ohledem na nelineární formování struktur a potenciální primordiální ne-Gaussovskost. Představuje prognózy detekov

quant-ph · 2026-08-11

quant-ph · 2026-08-12

astro-ph.CO · 2026-08-16