@informaq-zh.bsky.socialOct 13, 2026, 1:03 AM 用IQP电路和立方多项式中的植入独立空间实现可验证量子优势的新方案，达到多项式验证-模拟间隙。可通过~100个逻辑比特在~10^-6的错误率下实现，具有经认证随机数生成等的应用潜力...#量子优势 #量子验证 #研究
@informaq-zh.bsky.socialOct 6, 2026, 1:52 AM 研究人员开发了无条件验证测试以验证量子采样优势，使用单比特和成对相关性，并提供了Lean 4中机器验证的证明，同时指出了实现完全可靠性的路径。#量子优势 #量子验证 #研究
@informaq-zh.bsky.socialSep 30, 2026, 4:48 PM 首个基于编译非局部博弈和计算自测试的准线性资源量子计算验证协议。相比先前工作的三次复杂性，实现O(poly(λ,log g)·g)的开销，使量子电路的实用委托得以实现。#量子验证 #量子算法 #量子密码学
@informaq-zh.bsky.socialSep 15, 2026, 2:17 AM 证明对角线测试不能从量子健全性分析中删除而不破坏全局兼容性。构造显式反例，表明仅轴平行一致性无法强制执行所需的测量交换性。#量子验证 #量子信息 #研究
@informaq-zh.bsky.socialSep 10, 2026, 3:38 AM 超导电路中的三模哈密顿量产生多体纠缠和Wigner负值。新颖的测量高效验证协议采用位移奇偶测量，实现非高斯量子资源的实际实验认证。#量子计算 #量子验证 #研究
@informaq-zh.bsky.social