paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Generalised Mermin-type non-locality arguments

广义 Mermin 型非局域性论证
LMCS vol.Volume 15, Issue 22019匹配度 1/10 · 该论文研究量子非局域性、GHZ 态与量子秘密共享,核心属于量子基础与量子协议,虽然使用范畴论/字符串图形式化并带有“形式语义”标签,但与用户关注的静态分析、程序分析、LLM/Agent、浮点或贝叶斯程序分析无直接关联。引用 3 inbox
Stefano Gogioso, William Zeng
crossref: 2026-09-10

AI 速览

一句话:将 GHZ 态上的 Mermin 型非局域性论证推广到一般情形,给出精确群论条件,并扩展量子秘密共享协议。

本文广泛推广 GHZ 态上的 Mermin 型非局域性论证,并给出实现非局域性的精确群论条件。作者在 dagger compact 范畴的 string diagram 图形语言中完成证明,使结论不限于量子理论,而适用于任何具备相应代数结构的理论。结果产生量子可实现的 All-vs-Nothing 论证层级,并用于非平凡扩展 Hillery–Bužek–Berthiaume 混合量子-经典秘密共享方案。评估以群论条件刻画和图形化证明为主,并借助协议应用展示有效性。

问题
原始 Mermin 型非局域性论证局限于 GHZ 态,如何将其广泛推广并对非局域性给出精确的代数条件?
方法
在 dagger compact 范畴的 string diagram 图形语言中进行证明,用群论条件刻画非局域性。
评估
给出精确群论条件,构造量子可实现的 All-vs-Nothing 论证层级,并展示对 HBB 秘密共享方案的扩展。
原文摘要(Abstract)

We broadly generalise Mermin-type arguments on GHZ states, and we provide exact group-theoretic conditions for non-locality to be achieved. Our results are of interest in quantum foundations, where they yield a new hierarchy of quantum-realisable All-vs-Nothing arguments. They are also of interest to quantum protocols, where they find immediate application to a non-trivial extension of the hybrid quantum-classical secret sharing scheme of Hillery, Bu\v{z}ek and Berthiaume (HBB). Our proofs are carried out in the graphical language of string diagrams for dagger compact categories, and their validity extends beyond quantum theory to any theory featuring the relevant algebraic structures.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@article{paperbot803,
  title = {Generalised Mermin-type non-locality arguments},
  author = {Stefano Gogioso and William Zeng},
  journal = {Logical Methods in Computer Science},
  volume = {Volume 15, Issue 2},
  year = {2019},
  doi = {10.23638/lmcs-15(2:3)2019}
}