Pub Date : 2024-03-11DOI: 10.1007/s00023-024-01429-y
Corey Jones, Junhwi Lim
Interpreting the GNVW index for 1D quantum cellular automata (QCA) in terms of the Jones index for subfactors leads to a generalization of the index defined for QCA on more general abstract spin chains. These include fusion spin chains, which arise as the local operators invariant under a global (categorical/MPO) symmetry, and as the boundary operators of 2D topological codes. We show that for the fusion spin chains built from the fusion category (textbf{Fib}), the index is a complete invariant for the group of QCA modulo finite depth circuits.
{"title":"An Index for Quantum Cellular Automata on Fusion Spin Chains","authors":"Corey Jones, Junhwi Lim","doi":"10.1007/s00023-024-01429-y","DOIUrl":"10.1007/s00023-024-01429-y","url":null,"abstract":"<div><p>Interpreting the GNVW index for 1D quantum cellular automata (QCA) in terms of the Jones index for subfactors leads to a generalization of the index defined for QCA on more general abstract spin chains. These include fusion spin chains, which arise as the local operators invariant under a global (categorical/MPO) symmetry, and as the boundary operators of 2D topological codes. We show that for the fusion spin chains built from the fusion category <span>(textbf{Fib})</span>, the index is a complete invariant for the group of QCA modulo finite depth circuits.\u0000</p></div>","PeriodicalId":463,"journal":{"name":"Annales Henri Poincaré","volume":"25 10","pages":"4399 - 4422"},"PeriodicalIF":1.4,"publicationDate":"2024-03-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140097785","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-03-04DOI: 10.1007/s00023-024-01426-1
J. William Helton, Hamoon Mousavi, Seyed Sajjad Nezhadi, Vern I. Paulsen, Travis B. Russell
We study synchronous values of games, especially synchronous games. It is known that a synchronous game has a perfect strategy if and only if it has a perfect synchronous strategy. However, we give examples of synchronous games, in particular graph colouring games, with synchronous value that is strictly smaller than their ordinary value. Thus, the optimal strategy for a synchronous game need not be synchronous. We derive a formula for the synchronous value of an XOR game as an optimization problem over a spectrahedron involving a matrix related to the cost matrix. We give an example of a game such that the synchronous value of repeated products of the game is strictly increasing. We show that the synchronous quantum bias of the XOR of two XOR games is not multiplicative. Finally, we derive geometric and algebraic conditions that a set of projections that yields the synchronous value of a game must satisfy.
{"title":"Synchronous Values of Games","authors":"J. William Helton, Hamoon Mousavi, Seyed Sajjad Nezhadi, Vern I. Paulsen, Travis B. Russell","doi":"10.1007/s00023-024-01426-1","DOIUrl":"10.1007/s00023-024-01426-1","url":null,"abstract":"<div><p>We study synchronous values of games, especially synchronous games. It is known that a synchronous game has a perfect strategy if and only if it has a perfect synchronous strategy. However, we give examples of synchronous games, in particular graph colouring games, with synchronous value that is strictly smaller than their ordinary value. Thus, the optimal strategy for a synchronous game need not be synchronous. We derive a formula for the synchronous value of an XOR game as an optimization problem over a spectrahedron involving a matrix related to the cost matrix. We give an example of a game such that the synchronous value of repeated products of the game is strictly increasing. We show that the synchronous quantum bias of the XOR of two XOR games is not multiplicative. Finally, we derive geometric and algebraic conditions that a set of projections that yields the synchronous value of a game must satisfy.</p></div>","PeriodicalId":463,"journal":{"name":"Annales Henri Poincaré","volume":"25 10","pages":"4357 - 4397"},"PeriodicalIF":1.4,"publicationDate":"2024-03-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140034231","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-03-02DOI: 10.1007/s00023-024-01424-3
Thomas Beck, Marichi Gupta, Jeremy Marzuola
We study the effects of perturbing the boundary of a rectangle on the nodal sets of eigenfunctions of the Laplacian. Namely, for a rectangle of a given aspect ratio N, we identify the first Dirichlet mode to feature a crossing in its nodal set and perturb one of the sides of the rectangle by a close to flat, smooth curve. Such perturbations will often “open” the crossing in the nodal set, splitting it into two curves, and we study the separation between these curves and their regularity. The main technique used is an approximate separation of variables that allows us to restrict study to the first two Fourier modes in an eigenfunction expansion. We show how the nature of the boundary perturbation provides conditions on the orientation of the opening and estimates on its size. In particular, several features of the perturbed nodal set are asymptotically independent of the aspect ratio, which contrasts with prior works. Numerical results supporting our findings are also presented.
我们研究了扰动矩形边界对拉普拉斯特征函数节点集的影响。也就是说,对于给定长宽比为 N 的矩形,我们找出第一个在其节点集上有交叉的 Dirichlet 模式,并用一条接近平坦的光滑曲线扰动矩形的一条边。这种扰动通常会 "打开 "节点集中的交叉点,将其分割成两条曲线,我们将研究这些曲线之间的分离及其规律性。我们使用的主要技术是近似变量分离法,它允许我们将研究限制在特征函数展开中的前两个傅里叶模式。我们展示了边界扰动的性质如何为开口的方向提供条件以及对其大小的估计。特别是,扰动节点集的几个特征与长宽比近似无关,这与之前的研究形成了鲜明对比。文中还给出了支持我们研究结果的数值结果。
{"title":"Nodal Set Openings on Perturbed Rectangular Domains","authors":"Thomas Beck, Marichi Gupta, Jeremy Marzuola","doi":"10.1007/s00023-024-01424-3","DOIUrl":"10.1007/s00023-024-01424-3","url":null,"abstract":"<div><p>We study the effects of perturbing the boundary of a rectangle on the nodal sets of eigenfunctions of the Laplacian. Namely, for a rectangle of a given aspect ratio <i>N</i>, we identify the first Dirichlet mode to feature a crossing in its nodal set and perturb one of the sides of the rectangle by a close to flat, smooth curve. Such perturbations will often “open” the crossing in the nodal set, splitting it into two curves, and we study the separation between these curves and their regularity. The main technique used is an approximate separation of variables that allows us to restrict study to the first two Fourier modes in an eigenfunction expansion. We show how the nature of the boundary perturbation provides conditions on the orientation of the opening and estimates on its size. In particular, several features of the perturbed nodal set are asymptotically independent of the aspect ratio, which contrasts with prior works. Numerical results supporting our findings are also presented.</p></div>","PeriodicalId":463,"journal":{"name":"Annales Henri Poincaré","volume":"25 11","pages":"4889 - 4929"},"PeriodicalIF":1.4,"publicationDate":"2024-03-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140019049","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-03-01DOI: 10.1007/s00023-024-01425-2
Jiřina Jahnová, Petr Vojčák
We introduce the idea of constructing recursion operators for full-fledged nonlocal symmetries and apply it to the reduced quasi-classical self-dual Yang–Mills equation. It turns out that the discovered recursion operators can be interpreted as infinite-dimensional matrices of differential functions which act on the generating vector functions of the nonlocal symmetries simply by matrix multiplication. To the best of our knowledge, there are no other examples of such recursion operators in the literature so far, so our approach is completely innovative. Further, we investigate the algebraic properties of the discovered operators and discuss the ({mathbb {R}})-algebra structure on the set of all recursion operators for full-fledged nonlocal symmetries of the equation in question. Finally, we illustrate the action of the obtained recursion operators on particularly chosen full-fledged symmetries and emphasize their advantages compared to the action of traditionally used recursion operators for shadows.
{"title":"On Recursion Operators for Full-Fledged Nonlocal Symmetries of the Reduced Quasi-classical Self-dual Yang–Mills Equation","authors":"Jiřina Jahnová, Petr Vojčák","doi":"10.1007/s00023-024-01425-2","DOIUrl":"10.1007/s00023-024-01425-2","url":null,"abstract":"<div><p>We introduce the idea of constructing recursion operators for full-fledged nonlocal symmetries and apply it to the reduced quasi-classical self-dual Yang–Mills equation. It turns out that the discovered recursion operators can be interpreted as infinite-dimensional matrices of differential functions which act on the generating vector functions of the nonlocal symmetries simply by matrix multiplication. To the best of our knowledge, there are no other examples of such recursion operators in the literature so far, so our approach is completely innovative. Further, we investigate the algebraic properties of the discovered operators and discuss the <span>({mathbb {R}})</span>-algebra structure on the set of all recursion operators for full-fledged nonlocal symmetries of the equation in question. Finally, we illustrate the action of the obtained recursion operators on particularly chosen full-fledged symmetries and emphasize their advantages compared to the action of traditionally used recursion operators for shadows.</p></div>","PeriodicalId":463,"journal":{"name":"Annales Henri Poincaré","volume":"25 10","pages":"4633 - 4669"},"PeriodicalIF":1.4,"publicationDate":"2024-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00023-024-01425-2.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140019045","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-02-29DOI: 10.1007/s00023-024-01417-2
Nicolas Rougerie, Qiyun Yang
Anyons with a statistical phase parameter (alpha in (0,2)) are a kind of quasi-particles that, for topological reasons, only exist in a 1D or 2D world. We consider the dimensional reduction for a 2D system of anyons in a tight wave guide. More specifically, we study the 2D magnetic gauge picture model with an imposed anisotropic harmonic potential that traps particles much stronger in the y-direction than in the x-direction. We prove that both the eigenenergies and the eigenfunctions are asymptotically decoupled into the loose confining direction and the tight confining direction during this reduction. The limit 1D system for the x-direction is given by the impenetrable Tonks–Girardeau Bose gas, which has no dependency on (alpha ), and no trace left of the long-range interactions of the 2D model.
Abstract Anyons with a statistical phase parameter(alpha in (0,2)) are a kind of quasi-particles that, for topological reasons, only exist in a 1D or 2D world.我们考虑的是紧密波导中任子的二维系统的降维问题。更具体地说,我们研究了二维磁规图像模型,该模型具有强加的各向异性谐波势,它在 y 方向上对粒子的捕获比在 x 方向上强得多。我们证明,在这种还原过程中,特征能和特征函数都渐近地解耦为松约束方向和紧约束方向。x方向的极限一维系统是由不可穿透的唐克斯-吉拉尔多玻色气体给出的,它与(alpha )无关,也没有二维模型长程相互作用的痕迹。
{"title":"Dimensional reduction for a system of 2D anyons","authors":"Nicolas Rougerie, Qiyun Yang","doi":"10.1007/s00023-024-01417-2","DOIUrl":"10.1007/s00023-024-01417-2","url":null,"abstract":"<div><p>Anyons with a statistical phase parameter <span>(alpha in (0,2))</span> are a kind of quasi-particles that, for topological reasons, only exist in a 1D or 2D world. We consider the dimensional reduction for a 2D system of anyons in a tight wave guide. More specifically, we study the 2D magnetic gauge picture model with an imposed anisotropic harmonic potential that traps particles much stronger in the <i>y</i>-direction than in the <i>x</i>-direction. We prove that both the eigenenergies and the eigenfunctions are asymptotically decoupled into the loose confining direction and the tight confining direction during this reduction. The limit 1D system for the <i>x</i>-direction is given by the impenetrable Tonks–Girardeau Bose gas, which has no dependency on <span>(alpha )</span>, and no trace left of the long-range interactions of the 2D model.\u0000</p></div>","PeriodicalId":463,"journal":{"name":"Annales Henri Poincaré","volume":"25 11","pages":"4987 - 5018"},"PeriodicalIF":1.4,"publicationDate":"2024-02-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140008789","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-02-28DOI: 10.1007/s00023-024-01422-5
Samuel J. Harris
We show that quantum graph parameters for finite, simple, undirected graphs encode winning strategies for all possible synchronous non-local games. Given a synchronous game (mathcal {G}=(I,O,lambda )) with (|I|=n) and (|O|=k), we demonstrate what we call a weak (*)-equivalence between (mathcal {G}) and a 3-coloring game on a graph with at most (3+n+9n(k-2)+6|lambda ^{-1}({0})|) vertices, strengthening and simplifying work implied by Ji [16] for winning quantum strategies for synchronous non-local games. As an application, we obtain a quantum version of Lovász’s reduction [21] of the k-coloring problem for a graph G with n vertices and m edges to the 3-coloring problem for a graph with (3+n+9n(k-2)+6mk) vertices. Moreover, winning strategies for a synchronous game (mathcal {G}) can be transformed into winning strategies for an associated graph coloring game, where the strategies exhibit perfect zero knowledge for an honest verifier. We also show that, for “graph of the game” (X(mathcal {G})) associated with (mathcal {G}) from Atserias et al. [1], the independence number game (text {Hom}(K_{|I|},overline{X(mathcal {G})})) is hereditarily (*)-equivalent to (mathcal {G}), so that the possibility of winning strategies is the same in both games for all models, except the game algebra. Thus, the quantum versions of the chromatic number, independence number and clique number encode winning strategies for all synchronous games in all quantum models.
我们证明,有限、简单、无向图的量子图参数编码了所有可能的同步非局部博弈的获胜策略。给定一个同步博弈 (mathcal {G}=(I,O,λ )) with (|I|=n) and (|O|=k)、我们证明了在((|I|=n 和(|O|=k )的)(mathcal {G})和一个顶点最多为(3+n+9n(k-2)+6|lambda ^{-1}({0})|)的图上的3-着色博弈之间存在我们所说的弱(*)-等价性、加强并简化了 Ji [16] 所暗示的同步非局部博弈量子获胜策略的工作。作为一个应用,我们得到了 Lovász 将有 n 个顶点和 m 条边的图 G 的 k-着色问题简化为有(3+n+9n(k-2)+6mk) 个顶点的图的 3-着色问题的量子版本[21]。此外,同步博弈((mathcal {G}))的获胜策略可以转化为相关图着色博弈的获胜策略,其中的策略对于诚实的验证者来说表现出完美的零知识。我们还证明,对于与 Atserias 等人的 (mathcal {G}) 相关联的 "图着色博弈"(X(mathcal {G})),独立数博弈(Independence number game)的胜负策略是相同的。[1],独立数博弈 (text {Hom}(K_{|I|},overline{X(mathcal {G})}))与 (mathcal {G})在遗传上是(*)等价的,因此,除了博弈代数之外,在所有模型中,两个博弈中获胜策略的可能性是相同的。因此,色度数、独立性数和小集团数的量子版本编码了所有量子模型中所有同步博弈的获胜策略。
{"title":"Universality of Graph Homomorphism Games and the Quantum Coloring Problem","authors":"Samuel J. Harris","doi":"10.1007/s00023-024-01422-5","DOIUrl":"10.1007/s00023-024-01422-5","url":null,"abstract":"<div><p>We show that quantum graph parameters for finite, simple, undirected graphs encode winning strategies for all possible synchronous non-local games. Given a synchronous game <span>(mathcal {G}=(I,O,lambda ))</span> with <span>(|I|=n)</span> and <span>(|O|=k)</span>, we demonstrate what we call a weak <span>(*)</span>-equivalence between <span>(mathcal {G})</span> and a 3-coloring game on a graph with at most <span>(3+n+9n(k-2)+6|lambda ^{-1}({0})|)</span> vertices, strengthening and simplifying work implied by Ji [16] for winning quantum strategies for synchronous non-local games. As an application, we obtain a quantum version of Lovász’s reduction [21] of the <i>k</i>-coloring problem for a graph <i>G</i> with <i>n</i> vertices and <i>m</i> edges to the 3-coloring problem for a graph with <span>(3+n+9n(k-2)+6mk)</span> vertices. Moreover, winning strategies for a synchronous game <span>(mathcal {G})</span> can be transformed into winning strategies for an associated graph coloring game, where the strategies exhibit perfect zero knowledge for an honest verifier. We also show that, for “graph of the game” <span>(X(mathcal {G}))</span> associated with <span>(mathcal {G})</span> from Atserias et al. [1], the independence number game <span>(text {Hom}(K_{|I|},overline{X(mathcal {G})}))</span> is hereditarily <span>(*)</span>-equivalent to <span>(mathcal {G})</span>, so that the possibility of winning strategies is the same in both games for all models, except the game algebra. Thus, the quantum versions of the chromatic number, independence number and clique number encode winning strategies for all synchronous games in all quantum models.</p></div>","PeriodicalId":463,"journal":{"name":"Annales Henri Poincaré","volume":"25 10","pages":"4321 - 4356"},"PeriodicalIF":1.4,"publicationDate":"2024-02-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140008788","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-02-21DOI: 10.1007/s00023-024-01421-6
Kento Osuga
We consider a deformation of a family of hyperelliptic refined spectral curves and investigate how deformation effects appear in the hyperelliptic refined topological recursion as well as the (mathcal {Q})-top recursion. We then show a coincidence between a deformation condition and a quantisation condition in terms of the (mathcal {Q})-top recursion on a degenerate elliptic curve. We also discuss a relation to the corresponding Nekrasov–Shatashivili effective twisted superpotential.
{"title":"Deformation and Quantisation Condition of the (mathcal {Q})-Top Recursion","authors":"Kento Osuga","doi":"10.1007/s00023-024-01421-6","DOIUrl":"10.1007/s00023-024-01421-6","url":null,"abstract":"<div><p>We consider a deformation of a family of hyperelliptic refined spectral curves and investigate how deformation effects appear in the hyperelliptic refined topological recursion as well as the <span>(mathcal {Q})</span>-top recursion. We then show a coincidence between a deformation condition and a quantisation condition in terms of the <span>(mathcal {Q})</span>-top recursion on a degenerate elliptic curve. We also discuss a relation to the corresponding Nekrasov–Shatashivili effective twisted superpotential.</p></div>","PeriodicalId":463,"journal":{"name":"Annales Henri Poincaré","volume":"25 9","pages":"4033 - 4064"},"PeriodicalIF":1.4,"publicationDate":"2024-02-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00023-024-01421-6.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139945750","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-02-21DOI: 10.1007/s00023-024-01418-1
Gabriel Khan, Xuan Hien Nguyen
We consider the Laplace–Beltrami operator with Dirichlet boundary conditions on convex domains in a Riemannian manifold ((M^n,g)) and prove that the product of the fundamental gap with the square of the diameter can be arbitrarily small whenever (M^n) has even a single tangent plane of negative sectional curvature. In particular, the fundamental gap conjecture strongly fails for small deformations of Euclidean space which introduce any negative curvature. We also show that when the curvature is negatively pinched, it is possible to construct such domains of any diameter up to the diameter of the manifold. The proof is adapted from the argument of Bourni et al. (in: Annales Henri Poincaré, Springer, 2022), which established the analogous result for convex domains in hyperbolic space, but requires several new ingredients.
{"title":"Negative Curvature Constricts the Fundamental Gap of Convex Domains","authors":"Gabriel Khan, Xuan Hien Nguyen","doi":"10.1007/s00023-024-01418-1","DOIUrl":"10.1007/s00023-024-01418-1","url":null,"abstract":"<div><p>We consider the Laplace–Beltrami operator with Dirichlet boundary conditions on convex domains in a Riemannian manifold <span>((M^n,g))</span> and prove that the product of the fundamental gap with the square of the diameter can be arbitrarily small whenever <span>(M^n)</span> has even a single tangent plane of negative sectional curvature. In particular, the fundamental gap conjecture strongly fails for small deformations of Euclidean space which introduce any negative curvature. We also show that when the curvature is negatively pinched, it is possible to construct such domains of any diameter up to the diameter of the manifold. The proof is adapted from the argument of Bourni et al. (in: Annales Henri Poincaré, Springer, 2022), which established the analogous result for convex domains in hyperbolic space, but requires several new ingredients.</p></div>","PeriodicalId":463,"journal":{"name":"Annales Henri Poincaré","volume":"25 11","pages":"4855 - 4887"},"PeriodicalIF":1.4,"publicationDate":"2024-02-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139946037","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-02-16DOI: 10.1007/s00023-024-01419-0
Alexander Strohmaier, Edward Witten
We discuss high energy properties of states for (possibly interacting) quantum fields in curved spacetimes. In particular, if the spacetime is real analytic, we show that an analogue of the timelike tube theorem and the Reeh–Schlieder property hold with respect to states satisfying a weak form of microlocal analyticity condition. The former means the von Neumann algebra of observables of a spacelike tube equals the von Neumann algebra of observables of a significantly bigger region that is obtained by deforming the boundary of the tube in a timelike manner. This generalizes theorems by Araki (Helv Phys Acta 36:132–139, 1963) and Borchers (Nuovo Cim (10) 19:787–793, 1961) to curved spacetimes.
{"title":"Analytic States in Quantum Field Theory on Curved Spacetimes","authors":"Alexander Strohmaier, Edward Witten","doi":"10.1007/s00023-024-01419-0","DOIUrl":"10.1007/s00023-024-01419-0","url":null,"abstract":"<div><p>We discuss high energy properties of states for (possibly interacting) quantum fields in curved spacetimes. In particular, if the spacetime is real analytic, we show that an analogue of the timelike tube theorem and the Reeh–Schlieder property hold with respect to states satisfying a weak form of microlocal analyticity condition. The former means the von Neumann algebra of observables of a spacelike tube equals the von Neumann algebra of observables of a significantly bigger region that is obtained by deforming the boundary of the tube in a timelike manner. This generalizes theorems by Araki (Helv Phys Acta 36:132–139, 1963) and Borchers (Nuovo Cim (10) 19:787–793, 1961) to curved spacetimes.</p></div>","PeriodicalId":463,"journal":{"name":"Annales Henri Poincaré","volume":"25 10","pages":"4543 - 4590"},"PeriodicalIF":1.4,"publicationDate":"2024-02-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00023-024-01419-0.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139902346","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-02-16DOI: 10.1007/s00023-024-01423-4
Chris Elliott, Owen Gwilliam, Brian R. Williams
We pursue a uniform quantization of all twists of 4-dimensional (mathcal N=4) supersymmetric Yang–Mills theory, using the BV formalism, and we explore consequences for factorization algebras of observables. Our central result is the construction of a one-loop exact quantization on (mathbb {R}^4) for all such twists and for every point in a moduli of vacua. When an action of the group (textrm{SO}(4)) can be defined—for instance, for Kapustin and Witten’s family of twists—the associated framing anomaly vanishes. It follows that the local observables in such theories can be canonically described by a family of framed (mathbb E_4) algebras; this structure allows one to take the factorization homology of observables on any oriented 4-manifold. In this way, each Kapustin–Witten theory yields a fully extended, oriented 4-dimensional topological field theory à la Lurie and Scheimbauer.
{"title":"Higher Deformation Quantization for Kapustin–Witten Theories","authors":"Chris Elliott, Owen Gwilliam, Brian R. Williams","doi":"10.1007/s00023-024-01423-4","DOIUrl":"10.1007/s00023-024-01423-4","url":null,"abstract":"<div><p>We pursue a uniform quantization of all twists of 4-dimensional <span>(mathcal N=4)</span> supersymmetric Yang–Mills theory, using the BV formalism, and we explore consequences for factorization algebras of observables. Our central result is the construction of a one-loop exact quantization on <span>(mathbb {R}^4)</span> for all such twists and for every point in a moduli of vacua. When an action of the group <span>(textrm{SO}(4))</span> can be defined—for instance, for Kapustin and Witten’s family of twists—the associated framing anomaly vanishes. It follows that the local observables in such theories can be canonically described by a family of framed <span>(mathbb E_4)</span> algebras; this structure allows one to take the factorization homology of observables on any oriented 4-manifold. In this way, each Kapustin–Witten theory yields a fully extended, oriented 4-dimensional topological field theory <i>à la</i> Lurie and Scheimbauer.</p></div>","PeriodicalId":463,"journal":{"name":"Annales Henri Poincaré","volume":"25 12","pages":"5045 - 5112"},"PeriodicalIF":1.4,"publicationDate":"2024-02-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139902349","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}