电子邮件:a.mohammadi@ipm.ir†瑞士EthZéurich组合算法理论。电子邮件:phamanhthang.vnu@gmail.com•瑞士EthZéurich计算机科学系。电子邮件:yitwang@student.ethz.ch
当人们谈到一个违反贝尔不等式 (Bell 1964 ) 的物理系统时,他们真正想到的是一个不满足其证明所需的至少一个假设的系统。一些假设(测量的局部性、观察者的自由意志、完美的探测器)在物理上非常明显。当涉及到假设所有随机变量的联合概率测度 (Vorob'ev 1962 ; Fine 1982 ) 时,情况就不那么清楚了。它是否只是贝尔的另一个明确假设现实主义的同义词?它是否意味着反事实概率与可测概率相同,即使在由于纯粹经典逻辑不一致而原则上不能同时进行替代测量的情况下?后者在 CHSH 不等式 (Clauser 等人 1969 ) 的证明中尤其明显,它涉及以下基本步骤:
1。V. H. Almendra-Hernández,G。Ambrus和M. Kendall,通过稀疏近似,离散计算的定量Helly-type定理。GEOM。70(2022),1707。https://doi.org/10.1007/S00454-022–00441–5 2。I.Bárány和A. Heppes,在平面定量定理的确切常数上,离散计算。GEOM。12(1994),否。4,387–398。3。I.Bárány,M。Katchalski和J. Pach,定量的Helly-type定理,Proc。Amer。 数学。 Soc。 86(1982),否。 1,109–114。 4。 K.Böröczky,Jr,有限的包装和覆盖,《数学中的剑桥大学》,第1卷。 154,剑桥大学出版社,剑桥,2004年。 5。 K. M. Ball和M. Prodromou,是Vaaler定理的敏锐组合版本。 伦敦数学。 Soc。 41(2009),否。 5,853–858。 6。 P。黄铜,在平面中的定量Steinitz定理上,离散计算。 GEOM。 17(1997),否。 1,111–117。 7。 C.Carathéodory,überdenvariabilitätsbereichfourier'schen konstanten von potitiven potitiven harmonischen funktionen,Rendiconti del Circolo Matematico di Palermo(1884-1940)32(1911),否。 1,193–217。 https://doi.org/10。 1007/bf03014795 8。 J. A. de Loera,R。N. La Haye,D。Rolnick和P.Soberón,用于连续参数的定量组合几何,离散计算。 GEOM。 57(2017),第1期。 2,318–334。Amer。数学。Soc。86(1982),否。1,109–114。4。K.Böröczky,Jr,有限的包装和覆盖,《数学中的剑桥大学》,第1卷。 154,剑桥大学出版社,剑桥,2004年。 5。 K. M. Ball和M. Prodromou,是Vaaler定理的敏锐组合版本。 伦敦数学。 Soc。 41(2009),否。 5,853–858。 6。 P。黄铜,在平面中的定量Steinitz定理上,离散计算。 GEOM。 17(1997),否。 1,111–117。 7。 C.Carathéodory,überdenvariabilitätsbereichfourier'schen konstanten von potitiven potitiven harmonischen funktionen,Rendiconti del Circolo Matematico di Palermo(1884-1940)32(1911),否。 1,193–217。 https://doi.org/10。 1007/bf03014795 8。 J. A. de Loera,R。N. La Haye,D。Rolnick和P.Soberón,用于连续参数的定量组合几何,离散计算。 GEOM。 57(2017),第1期。 2,318–334。K.Böröczky,Jr,有限的包装和覆盖,《数学中的剑桥大学》,第1卷。154,剑桥大学出版社,剑桥,2004年。5。K. M. Ball和M. Prodromou,是Vaaler定理的敏锐组合版本。伦敦数学。Soc。41(2009),否。5,853–858。 6。 P。黄铜,在平面中的定量Steinitz定理上,离散计算。 GEOM。 17(1997),否。 1,111–117。 7。 C.Carathéodory,überdenvariabilitätsbereichfourier'schen konstanten von potitiven potitiven harmonischen funktionen,Rendiconti del Circolo Matematico di Palermo(1884-1940)32(1911),否。 1,193–217。 https://doi.org/10。 1007/bf03014795 8。 J. A. de Loera,R。N. La Haye,D。Rolnick和P.Soberón,用于连续参数的定量组合几何,离散计算。 GEOM。 57(2017),第1期。 2,318–334。5,853–858。6。P。黄铜,在平面中的定量Steinitz定理上,离散计算。GEOM。17(1997),否。 1,111–117。 7。 C.Carathéodory,überdenvariabilitätsbereichfourier'schen konstanten von potitiven potitiven harmonischen funktionen,Rendiconti del Circolo Matematico di Palermo(1884-1940)32(1911),否。 1,193–217。 https://doi.org/10。 1007/bf03014795 8。 J. A. de Loera,R。N. La Haye,D。Rolnick和P.Soberón,用于连续参数的定量组合几何,离散计算。 GEOM。 57(2017),第1期。 2,318–334。17(1997),否。1,111–117。7。C.Carathéodory,überdenvariabilitätsbereichfourier'schen konstanten von potitiven potitiven harmonischen funktionen,Rendiconti del Circolo Matematico di Palermo(1884-1940)32(1911),否。1,193–217。https://doi.org/10。 1007/bf03014795 8。 J. A. de Loera,R。N. La Haye,D。Rolnick和P.Soberón,用于连续参数的定量组合几何,离散计算。 GEOM。 57(2017),第1期。 2,318–334。https://doi.org/10。1007/bf03014795 8。J.A.de Loera,R。N. La Haye,D。Rolnick和P.Soberón,用于连续参数的定量组合几何,离散计算。GEOM。57(2017),第1期。2,318–334。9。G. Ivanov和M.Naszódi,一种定量的Helly-type定理:Hyothet中的遏制,Siam J.离散数学。36(2022),否。2,951–957。10。D. Kirkpatrick,B。Mishra和C.-K。 YAP,定量Steinitz的定理,并应用了多方面抓握,离散计算的应用。GEOM。7(1992),否。3,295–318。11。E. Steinitz,Bedingt Konvergente Reihen und Konvexe Systeme,J。ReineAngew。 数学。 143(1913),128-176。E. Steinitz,Bedingt Konvergente Reihen und Konvexe Systeme,J。ReineAngew。数学。143(1913),128-176。143(1913),128-176。
3本地领域,J。W. S. Cassels 4扭曲理论的介绍,第二版,S。A. Hugget&K。P. Tod 5介绍一般相对性介绍,L。P. Hughston&K。P. Tod 7 Evolution and Dynaligation Systems的理论,J。Hofbauer&K。Sigmund 8在Banach and Banach Suross and Banach Surfors and Banach Surfiens,G。J. O. J. O. J. O. J. O. J. O. J. O. Thurston, A. CASSON & S. BLEILER 11 Spacetime and singularities, G. NABER 12 Undergraduate algebraic geometry, M. REID 13 An introduction to Hankel operators, J. R. PARTINGTON 15 Presentations of groups, second edition , D. L. JOHNSON 17 Aspects of quantum field theory in curved spacetime, S. A. FULLING 18 Braids and coverings: Selected topics, V. LUNDSGAARD HANSEN 19 Steps在交换代数中,R。Y。尖锐的52个有限马尔可夫链和算法应用,O.HäggströmSharp 20沟通理论,C。M。Goldie&R。G. E. Pinch 21 Lie类型的有限群体的表示,F。Digne&J。Michel 22设计,图形,代码及其链接,P。J. Cameron&J。H. van Lint 23 Complecter Elgebraic complex Elgebraic Corvers,F。Kirwan,F。Kirwan 24在Ellipt Intife curvers of Ellipt curves,J。W. S. W. S. W. S. w. w. w. w. w. w. we. H. Hida 27 Hilbert Space:紧凑型操作员和Trace Throrem,J。Retherford28潜在理论28在Complex Lane中的潜在理论,T。Ransford29本科代数,M。REID31 laplacian,在Riemannian歧管32 laplbr的laplacian,Reid lapbrbra,Reid lapbrbra,Reid lapbra,Reid cummberg 32 lapbrbra,Reid cummberg 32 lapbra, I. MacDonald 33代数d -Modules的入门,S。C. Cotinho 34复杂代数表面,A。Beauville35 Young Tableaux,W。Fulton37小波的数学介绍,P。Wojtaszczyk38 Harmian Maps and for Sytorn for M. k. 40 Ergodic theory and dynamical systems, M. POLLICOTT & M. YURI 41 The algorithmic resolution of diophantine equations, N. P. SMART 42 Equilibrium states in ergodic theory, G. KELLER 43 Fourier analysis on finite groups and applications, A. TERRAS 44 Classical invariant theory, P. J. OLVER 45 Permutation groups, P. J. CAMERON 46 Riemann surfaces: A primer, A. BEARDON 47 Introductory lectures on rings and modules, J. BEACHY 48 Set theory, A. HAJNÁL & P. HAMBURGER 49 An introduction to K-theory for C *-algebras, M. RØRDAM, F. LARSEN & N. LAUSTSEN 50 A brief guide to algebraic number theory, H. P. F. SWINNERTON-DYER 51 Steps in commutative algebra, R. Y.
已经发表了许多论文([6],[3],[4],[2]),该论文解决了Yau [10]在Riemannian几何形状的Cheeger-Gromoll拆分定理中提出的问题。Eschenburg最近获得了一个非常满意的Lorentzian类似物。在[4]中,他证明了一个全球双曲线,及时的测量时空完整的时空满足“强能量状况”,RIC(x,x)> 0,x Timelike,其中包含(完整的)时间表线,在下面有意义地制作出“拆分”。在埃申堡(Eschenburg)的工作之前,Beem等人。[3]证明了洛伦兹分裂定理,假设截面曲率更严格(类似于Riemannian情况下的非负分段曲率)。他们的结果的一个有趣特征是,不需要定时完成的完整假设。仅要求给定的时间表线完成。及时的大地测量完整性是由于全局双波利度,截面曲率条件和线路的完整性而得出的。这表明Eschenburg定理的假设可能有一些冗余。
对于函数 f : X × Y →{ 0, 1 } 的某些选择。直观地说,对于每个问题对 ( x , y ),函数 f 指定 a 和 b 应该一致还是不一致才能成为获胜答案。请注意,对于每个问题对,两种可能性(即 a 和 b 一致或不一致的可能性)中恰好有一种会获胜,而另一种可能性则会失败。由于每个 XOR 游戏都由集合 X 和 Y、概率向量 π ∈ P ( X × Y ) 和函数 f : X × Y →{ 0, 1 } 唯一确定,因此,当方便时,我们将用四元组 ( X , Y , π , f ) 来标识相应的游戏 G。例如,CHSH 游戏是 XOR 游戏的一个例子,对应于四元组 ( { 0, 1 } , { 0, 1 } , π , f ),其中 π 是均匀概率向量,f ( x , y ) = x ∧ y 是 AND 函数。
涨落定理是热力学第二定律对于小系统的基本推广。虽然熵产生Σ对于宏观系统是一个非负的确定性量,但是在微观尺度上,由于不可忽略的热[1,2]或量子[3,4]涨落,熵产生Σ变为随机量。详细的涨落定理通过关系PðΣÞ=Pð−ΣÞ¼expðΣÞ[5]量化了负熵产生事件发生的概率。积分涨落定理对Σ积分后的形式为hexpð−ΣÞi¼1。指数的凹性意味着熵产生平均而言仅为正值,hΣi≥0。涨落定理在任意远离平衡态的一般有效性使得它们在非平衡物理中特别有用。由于这个原因,人们在理论和实验上对经典系统进行了广泛的研究[6,7]。这些研究为从胶体粒子到酶和分子马达[1,2]等微观系统的热力学提供了独特的见解。在量子领域,情况更为复杂。量子涨落定理通常在两点测量 (TPM) 方案中研究[3,4]。在这种方法中,通过在非平衡协议开始和结束时投影测量能量,可以确定量子系统的能量变化,进而确定熵产生[8],以实现个体实现。还提出了基于类拉姆齐干涉术[9,10]和广义测量[11,12]的等效公式。这些方法用于对机械驱动 [13 – 16] 和热驱动 [17,18] 系统进行量子涨落定理的实验测试,使用 NMR、离子阱、冷原子、氮空位中心和超导量子比特装置。TPM 程序成功捕获了系统的离散量子能谱,以及两次测量之间的非平衡量子动力学 [19]。然而,由于其投影性质,它
博弈论研究独立实体之间的竞争与合作。一种非常简单的博弈类型是标准形式博弈,其中两个玩家 P 0 , P 1 分别从一组离散策略(通常是有限策略)中选择一个策略 s 0 , s 1 ,并分别获得奖励 v 0 ( s 0 , s 1 ) ,v 1 ( s 0 , s 1 )。这种博弈可以用两个矩阵 V 0 , V 1 来表示,矩阵的行和列由玩家所有可能的策略 s 0 , s 1 索引,矩阵的条目是与这些策略相关的奖励。
在这篇论文中,首先介绍量子力学的假设,然后通过希尔伯特空间中的向量描述状态,随后通过与系统相关的密度算子描述状态。通过介绍量子比特和施密特分解的概念,我们将展示称为纠缠的现象,并说明一些例子。在第五章中,我们将讨论冯·诺依曼熵作为量化系统纠缠的工具,而在第六章(也是最后一章)中,我们将讨论 EPR 悖论的问题,并附带贝尔定理。最后,我们将展示Aspect的一个实验,这是爱因斯坦、波多尔斯基和罗森支持的局部隐变量理论无效性的实验证明。
考虑一个开放的量子系统,其相关的希尔伯特空间 H 的维数为 N 。设 ˆ ⇢ 描述其在给定初始时间的状态,设 ˆ ⇢ 0 为某个固定时间后的状态。设 T : B ( H ) ! B ( H ) 为连接这两个状态的映射。第一个观察结果是映射 T 必须是线性的。其原因在于第 1.1 节中介绍的密度矩阵的物理意义,以及“无知线性传播”的座右铭,这在经典和量子情况下都是有效的。如果一个系统处于状态 | 1 i 的概率为 p 1 ,处于状态 | 2 i 的概率为 p 2 ,并且如果 | 1 i 演变为 | 0