[论文解读] Quasi-morphisms and the Poisson bracket

Michael Entov, Leonid Polterovich+1 more|ArXiv.org|May 15, 2006

Geometric and Algebraic Topology参考文献 15被引用 3

一句话总结

本文引入了一个函数 Π(F,G)，通过泊松括号测量辛流形上光滑函数 F 和 G 的非对易性，建立了与泊松括号的 L∞-范数相关的利普希茨连续下界。关键贡献是通过哈密顿群的万有覆叠上的齐次准同态，基于弗洛尔同调推导出一个精确不等式 Π(F,G) ≤ C√||{F,G}||，并将其应用于量子测量误差和辛流形上的单位分解约束。

ABSTRACT

For a class of symplectic manifolds, we introduce a functional which assigns a real number to any pair of continuous functions on the manifold. This functional has a number of interesting properties. On the one hand, it is Lipschitz with respect to the uniform norm. On the other hand, it serves as a measure of non-commutativity of functions in the sense of the Poisson bracket, the operation which involves first derivatives of the functions. Furthermore, the same functional gives rise to a non-trivial lower bound for the error of the simultaneous measurement of a pair of non-commuting Hamiltonians. These results manifest a link between the algebraic structure of the group of Hamiltonian diffeomorphisms and the function theory on a symplectic manifold. The above-mentioned functional comes from a special homogeneous quasi-morphism on the universal cover of the group, which is rooted in the Floer theory.

研究动机与目标

• 通过辛准态定义一个函数 Π(F,G)，以量化辛流形上函数 F 和 G 的非对易性。
• 建立泊松括号 {F,G} 与非对易性 C^0-鲁棒性之间的定量联系，证明 Π(F,G) ≤ C√||{F,G}||。
• 将该函数应用于推导经典力学中非对易哈密顿量同时测量误差的下界。
• 证明在由可位移集合覆盖的单位分解中，函数泊松括号最大值的下界。
• 研究这些下界的精确性以及弗洛尔理论准同态在 C^0-鲁棒性现象中的作用。

提出的方法

• 利用哈密顿群 G 的万有覆叠上的齐次准同态，在某些闭辛流形上构造辛准态 ζ。
• 定义函数 Π(F,G) = |ζ(F+G) - ζ(F) - ζ(G)|，以度量可加性的失效，从而反映非对易性。
• 通过弗洛尔同调技术，利用辛准态与齐次准同态之间的联系，推导出不等式 Π(F,G) ≤ C√||{F,G}||。
• 证明 Π 在一致范数下是 1-利普希茨的，确保在函数的 C^0-扰动下保持稳定。
• 将该函数应用于推导非对易可观测量 F 和 G 同时测量误差的下界。
• 利用准同态的缺陷和性质，推导出覆盖由可位移集合构成时，max_{i,j}||{ρ_i, ρ_j}|| ≥ const/N^3 的下界。

实验结果

研究问题

• RQ1 函数 Π(F,G) 能否为泊松括号 ||{F,G}|| 提供 C^0-鲁棒下界，且不等式 Π(F,G) ≤ C√||{F,G}|| 中的精确常数 C 是多少？
• RQ2 函数 Υ(F,G) = liminf_{F',G'→F,G} ||{F',G'}|| 是否等于 ||{F,G}||，表明泊松括号具有完全的 C^0-连续性？
• RQ3 对于单位分解，max_{i,j}||{ρ_i, ρ_j}|| ≥ const/N^3 的下界能否在 N→∞ 时渐近改进？
• RQ4 不等式 Π(F,G) ≤ C√||{F,G}|| 是否存在一种‘软’（拓扑）证明方法，或弗洛尔理论方法是否必不可少？
• RQ5 在标准准态下，2-球面上不等式 Π(F,G) ≤ √(2C·||{F,G}||) 的精确常数 C 是多少？

主要发现

• 函数 Π(F,G) 满足不等式 Π(F,G) ≤ C√||{F,G}||，其中常数 C 存在；通过弗洛尔理论得出 C ≤ 2，而在二维情形通过拓扑方法改进为 C ≤ 1/2。
• 函数 Π 在一致范数下是 1-利普希茨的，确保在函数的小 C^0-扰动下保持稳定。
• 对于任意由可位移集合覆盖的单位分解 {ρ_i}，最大泊松括号满足 max_{i,j}||{ρ_i, ρ_j}|| ≥ const/N^3。
• 通过函数的 m 重复制构造表明，max_{i,j}||{ρ_i, ρ_j}|| ≥ const/N^3 的下界在渐近意义上无法改进至 ∼N^{-2} 以下。
• 函数 Π(F,G) 为经典力学中非对易哈密顿量 F 和 G 同时测量的误差提供了下界。
• 在 2-球面上，准态 ζ 是初等的，尽管函数 Π 具有‘软’性质，但定理 1.4 的证明仍依赖于‘硬’的弗洛尔理论方法，表明在高维情形 C^0-鲁棒性本质上并非平凡。