Almost perfect strategies for projection games are approximately tracial
University of Waterloo(滑铁卢大学)
本文研究了投影游戏的近完美策略,证明在量子和交换算子模型中,近完美策略可转化为迹性策略,改进了约束系统游戏的近似结果。
2026-03-16 math.OA quant-ph
Universality of graph homomorphism games and the quantum coloring problem
本文证明有限无向图的量子图参数可编码所有同步非局域博弈的获胜策略,通过将任意同步博弈弱*-等价地归约为3-着色博弈,并给出Lovász归约的量子版本,从而统一刻画了色数、独立数和团数的量子版本。
2023-07-10 math.OA quant-ph
Topics in Non-local Games: Synchronous Algebras, Algebraic Graph Identities, and Quantum NP-hardness Reductions
本文研究同步博弈的代数结构,利用Gröbner基和半定规划检验完美策略不存在性,证明遗传模型与$C^*$模型等价,并给出新的量子NP困难性归约$\texttt{3-SAT}^* \leq_p \texttt{Clique}^*$。
2024-09-30 cs.CC math.OA quant-ph
Connes implies Tsirelson: a simple proof
更准确地说,我们给出了一个简单的和非常短的证明“的Connes嵌入问题意味着同步Tsirelson猜想”,它只依赖于两个基本成分:1)众所周知的描述同步相关性的代数每个球员$C^*(\mathrm{player})=C^*(\mathrm{inputs}|\mathrm{outputs})$和2)一个基本的提升结果由金,保尔森和Schafhauser。此外,这绕过了Kirchberg的每一个深刻的结果,以及任何其他隐式的重新表述,如微观态猜想等。同时,我们还给出了Connes嵌入问题中Connes代数$\mathcal{R}^ω$的一种不同的构造,这种构造更适合量子信息论的目的,对于没有任何算子代数先验知识的读者来说也更容易理解.然而,最重要的是,我们提出这个证明的原因如下:由于最近的反驳同步Tsirelson猜想的MIP*=RE,存在一个非本地的游戏,违反了同步Tsirelson猜想,并证明MIP*=RE甚至同步这样的游戏。然而,这种方法是基于与停机问题的不可判定性的矛盾,因此仍然是隐含的。因此,现在的追求已经开始给出一个明确的例子,同步游戏违反同步Tsirelson猜想连同直接参数的失败,目前的文章作为一个直接翻译到相应的算子代数和它的tracial状态违反康纳斯嵌入问题。
2022-09-16 math.OA quant-ph
Morphisms in categories of nonlocal games
同步相关提供了一类非局部博弈,其行为类似于有限集之间的函数。在这项工作中,我们研究范畴的态射是游戏同步经典,量子,或一般的非信号相关性。特别是,我们的特点时,在这些类别的态射是一元论,史诗,节,或收回。
2018-10-23 quant-ph
Perfect strategies for non-signalling games
本文通过引入和研究几个新的对策族并建立它们的一般性定理,统一和巩固了关于非局部二人单局对策的一个子类--非信号对策的各种结果,这些定理在各种特殊情况下推广了一些已知的事实。在这些家族中有{ \it反身游戏},其特征是使用给定的一组策略可以赢得的最难的非信号游戏。我们介绍{ \it模仿游戏,}其中的球员显示链接的行为,并包含作为子类的类变量分配游戏,二进制约束系统游戏,同步游戏,许多游戏的基础上的图形,和{ \it唯一}游戏。我们将C* 代数$C^*(\mathcal{G})$与任何模仿博弈$\mathcal{G}$联系起来,证明了完全量子交换的存在性. $\mathcal{G}$的(量子的,局部的)策略可以用这个C* 代数的性质来表征,推广了关于同步博弈的已知结果.我们挑出模仿游戏的一个子类,我们称之为{ \it镜像游戏},并提供了他们的量子交换策略,具有代数风味的表征,此外,他们的近似量子完美的策略产生于编码C* 代数上的顺从痕迹。我们描述的主要类别的非信号相关的运营商系统张量积产品的状态。
2018-04-17 math.OA quant-ph
Robust self-testing for nonlocal games with robust game algebras
本文提出基于C*-代数迹状态唯一性的鲁棒自检验新框架,证明其等价性,并给出首个定量Gowers-Hatami定理以计算显式鲁棒性函数。
2024-11-05 math.OA quant-ph
A Characterization of Perfect Strategies for Mirror Games
本文通过泛游戏代数与*-表示,结合非交换零点定理,给出了镜像游戏是否存在完美交换算子策略的代数刻画,并提出基于非交换Gröbner基与半定规划的验证算法。
2023-05-11 math.OA quant-ph
Synchronicity for quantum non-local games
我们引入了并发量子非定域博弈、量子输出镜像博弈和并发经典-量子非定域博弈,作为同步非定域博弈的量子版本,并给出了它们属于不同相关类的完美策略的跟踪刻画.我们定义了并发经典到量子和并发量子非局部博弈的 *-代数和C* 代数,以及图的正交秩的代数形式。我们证明了量子图的量子同态可以看作是图的纠缠辅助的经典同态,并给出了量子图同态博弈的完美量子交换和完美近似量子策略的描述.我们专门后者的结果的情况下,输入的游戏是基于一个经典的图形。
2021-06-22 math.OA quant-ph
Quantum hypergraph homomorphisms and non-local games
利用信息论中的模拟范式,我们定义了量子超图同态和量子超图同构的概念,并证明了它们分别构成偏序和等价关系。专门的情况下,潜在的超图产生的非本地游戏,我们定义的量子非本地游戏同态和量子非本地游戏同构的概念,并显示游戏,同构相对于一个给定的相关类型,具有相等的值和渐近值相对于这种类型。我们研究了一类新的无信号相关性,它见证了非局部博弈同态的存在,并将它们表示为正则算子系统的张量积上的状态。我们定义联合同步相关性,并表明它们对应于与游戏各方相关的规范C* 代数的张量积上的迹。
2022-11-09 math.OA quant-ph
Strong isomorphism in Marinatto-Weber type quantum games
我们的目的是通过把量子博弈和博弈同构的概念结合起来,把注意力集中在一个新的量子方案的标准上。作为一种特殊情况,需要一个量子博弈方案来生成经典博弈。现在,给定一个量子博弈方案和两个同构的经典博弈,我们还要求所得的量子博弈也是同构的。我们展示了这种同构条件如何影响参与者的策略集。我们关注的是Marinatto-Weber型量子博弈方案和策略形式的博弈之间的强同构。
2017-01-21 cs.GT quant-ph
Strong isomorphism in Eisert-Wilkens-Lewenstein type quantum games
本文的目的是把量子博弈和博弈同构的概念。这项工作的目的是试图引入一个新的量子博弈方案的标准。普遍接受的要求迫使量子方案在特定情况下生成经典博弈。现在,给定一个量子博弈方案和两个同构的经典博弈,我们还要求所得的量子博弈也是同构的。我们关注的是量子博弈方案和策略形式的博弈之间的强同构。
2017-01-19 cs.GT quant-ph
Almost synchronous quantum correlations
本文证明自然 ℓ₁ 意义下的几乎同步量子关联可由最大纠缠态上投影测量的凸组合维数无关地逼近,从而将非局部博弈分析归结为最大纠缠态策略。
2023-06-07 math.OA quant-ph
Satisfiability problems and algebras of boolean constraint system games
本文研究布尔约束系统的量子可满足性理论,通过联合谱投影给出BCS代数新等价表述,构造C*-可满足但非迹可满足的约束系统,利用约简关系的*-同态强化量子版Schaefer二分定理相关结果,并揭示其与非超线性群问题的关联。
2025-01-15 math.OA quant-ph
Bisynchronous Games and Factorizable Maps
我们引入了一类新的非局部游戏,和相应的密度,我们称之为双同步。双同步博弈是同步博弈的一个子类,当考虑博弈的代数时,它表现出许多有趣的对称性。我们开发了这些非本地游戏和量子群的理论,最近出现在图同构游戏的研究之间的密切联系。当输入数等于输出数时,我们证明了双同步密度产生于量子置换群上的迹。每一个双同步密度产生一个完全正的映射,我们证明了这些映射是可因子分解的映射。
2020-12-04 math.FA math.OA quant-ph
Rounding near-optimal quantum strategies for nonlocal games to strategies using maximally entangled states
本文为BCS和XOR等非定域博弈建立了近似刚性结果,证明了近似最优量子策略可逼近使用最大纠缠态的策略,并将该结论推广至同步博弈类。
2025-09-18 quant-ph
Quantum and non-signalling graph isomorphisms
我们引入了一个两人非局部游戏,称为$(G,H)$同构游戏,经典的球员可以赢得一定的当且仅当图$G$和$H$是同构的。然后,我们定义量子和非信号同构的概念,考虑完美的量子和非信号策略的$(G,H)$同构游戏,分别。在量子的情况下,我们考虑张量积和交换框架的非局部游戏。我们证明了非信号同构与分数同构的概念相吻合,从而给后者一个可操作的解释。其次,我们表明,在张量积框架,量子同构是等价于两个多项式系统的非交换变量的可行性,通过放松的标准整数规划公式图同构厄米变量。在此基础上,我们证明了量子同构图必然是共谱的。最后,我们提供了一个结构,减少线性二元约束系统游戏同构游戏。这使我们能够产生量子同构图,但不是同构的。此外,它使我们能够表明,我们的两个概念的量子同构,从张量积和交换框架,实际上是不同的关系,而后者是不可判定的。我们的建设是相关的FGLSS减少从不可逼近文献,以及CFI建设。
2017-06-01 math.CO quant-ph
Approximate quantum 3-colorings of graphs and the quantum Max 3-Cut problem
本文通过将同步非局域博弈归约到图的量子3-着色博弈,证明了量子3-着色的带隙承诺问题不可判定,并证明非交换Max-3-Cut在近似判定意义下是RE-难的,且无需依赖唯一博弈猜想。
2024-12-27 math.OA quant-ph
Quantum games and synchronicity
University of Waterloo(滑铁卢大学);Institute for Quantum Computing(量子计算研究所)
本文扩展了非本地游戏到量子问题和答案,通过量子集和函数定义,研究量子图的同步性及完美策略与图同构的关系。
2026-01-09 math.QA quant-ph
The Morita theory of quantum graph isomorphisms
利用最近发现的量子信息和量子自同构群理论之间的联系,我们对图同构游戏中的量子伪心灵感应进行了分类。具体而言,我们表明,图形量子同构到一个给定的图形是在双射对应的森田等价类的某些Frobenius代数的有限维表示的量子自同构代数的图形。我们证明了这样一个Frobenius代数可以从经典自同构群的一个中心型子群中构造出来,它在图上的作用具有余迷向顶点稳定子。特别地,如果原始图不具有量子对称性,则量子同构图被这样的子群分类。我们表明,所有的量子同构图对对应于一个著名的家庭的二元约束系统产生从这个组理论的建设。我们使用我们的分类表明,小阶顶点传递图没有量子对称,没有量子同构的非同构图。我们表明,这实际上是渐近几乎肯定是真的所有图。
2018-05-10 math.CT math.QA quant-ph