局部柯西数据集究竟记录了什么
这里的测量不是边界映射。在维数至少为二的紧致连通光滑黎曼流形上，分数阶拉普拉斯算子对每个介于零与一之间的指数由谱定理定义，分数阶薛定谔算子则把这一非局部幂与一个光滑复值势配对。非空开集上的柯西数据集收集的是这样一些配对：一个光滑解在该集合上的限制，以及它的分数阶拉普拉斯算子在同一集合上的限制，而方程只在观测集的补集上被要求成立。
这一定义有两个特征驱动了结论。第一，方程被要求在观测集之外成立，因此真正受到算子约束的是不可达区域。第二，数据记录的是解的分数阶拉普拉斯算子，而不是作用在解上的完整算子。这一区别很关键，因为势在第二个分量中不可见：在观测集上给势加上任意光滑紧支函数，柯西数据集保持不变。论文明确指出了这一点，因此定理才假定两个势在观测集上已经相等。
为何观测集上的势必须被假定
论文证明，势在观测集上的取值无法从这一数据集中反演出来。对该集合上每一个光滑紧支函数，把它加到势上都会产生完全相同的柯西数据。所以，两个势在观测集上相等这一假定并非技术上的便利，而是从这一数据出发作出全局势反演陈述的必要条件。
论文还记录了一种可以去掉该假定的替代测量。如果改为测量解在观测集上的限制，以及作用在解上的完整分数阶薛定谔算子，同样要求方程在观测集之外成立，那么这些数据相等就能决定整个势，包括它在观测集上的取值，同时决定流形与度量。原因在于，在观测集上加上一个共同的紧支函数，会使第二个分量平移为该函数乘以解，而主象征论证先反演出观测集上的度量，随后两个势之差在该处是光滑化算子，因而为零。这两个数据集回答的是不同的问题，论文将它们严格区分。
从分数阶数据反演局部预解式
证明并不直接处理非局部问题。它先在观测集上加上一个共同的实值紧支扰动，以消去两个分数阶薛定谔算子的核，这既保持两个柯西数据集不变，又使所得算子可逆。柯西数据相等随后给出局部源到解映射相等，而它们的主象征决定了观测集上的度量。
核心步骤是一条比较原理。一旦度量在观测集上一致，两个各自流形上的光滑函数只要其分数阶柯西配对在该处匹配，它们的热演化在该集合上对每个正时刻都相同。这些函数不必在观测集上为零，也不必支在该处。证明把波动方程的有限传播速度与热半群的高斯表示结合起来，得到热演化之差及其所有时间导数在观测集上局部一致地指数小，且对短时间成立。随后一个矩量论证把它推广到所有正时刻。
把这一比较原理应用于局部源到解映射，并对时间作拉普拉斯变换，就得到拉普拉斯–贝尔特拉米算子的预解式与这些映射复合后在观测集上相等。一次双线性转置交换了两个逆算子的次序，这正是复值势也能处理的原因。第二次应用比较原理，结合一个关于时间的常微分方程以及分数阶拉普拉斯算子的热半群表示，消去源到解因子，最终留下拉普拉斯算子自身的局部预解式相等。
从局部预解式到热核与度量
对每个正谱参数局部预解式相等，结合预解式的热半群表示以及有界连续函数拉普拉斯变换的唯一性，给出观测集上所有正时刻的局部热核相等。这是关于热核作为观测集中两个点的函数的陈述，而不仅仅是关于单个函数热演化的陈述。
论文随后引用一个关于热核的几何决定结果，得到两个流形之间的一个光滑微分同胚，它在观测集上限制为恒等映射，并把第二个度量拉回到第一个度量。观测集可以是任意非空开子集，不必连通，也不必具有正则边界。观测集上的度量是论证过程中被反演出来的，而非事先假定已知。
反演观测集之外的势
在用反演出的等距识别两个流形之后，论文利用分数阶唯一延拓性证明柯西配对匹配的解彼此重合。一个对应于支在观测集中的非零源的解随后决定了不可达区域上的势。该解非零的集合在观测集补集中稠密，因此两个势之差在该处为零，连续性把相等性延拓到整个流形。势在观测集上已知的取值补全了反演。
定理还覆盖了观测集在任一mand流形中稠密的退化情形。此时观测集之外的方程是空条件，柯西数据集与势无关，但流形与度量的反演仍然成立，势的相等性随后由连续性处处成立。论文指出，真正令人关注的情形是观测集的补集非空，从而方程被施加在一个确实不可达的区域上。
这与局部Calderón问题的区别
该问题是非局部版本的几何各向异性Calderón问题，后者试图从调和函数的边界柯西数据决定黎曼度量。那个局部问题在三维及更高维的一般光滑度量下仍未解决，已知的结果覆盖实解析情形，以及针对共形因子的适当横截各向异性几何。分数阶情形表现不同，因为局部测量保留了关于全局谱信息的内容。
论文作者此前的工作在这一情形下首次实现了流形、度量与势的同时反演，但带有额外假定。本文的证明走了一条不同路线：它对每个正谱参数反演拉普拉斯–贝尔特拉米算子预解式的局部作用，从而给出从分数阶柯西数据到几何决定的直接路径。论文还指出，分数阶幂之外的加性势比反演一个已经包含低阶项的局部算子的分数阶幂更难，因为分数阶幂与势一般不可交换。
这一结果解决了什么、未解决什么
该定理是一个唯一性陈述，而非稳定性陈述。它说明柯西数据相等迫使两个流形、度量与势通过一个固定观测集的等距相关联，反过来这样的等距保持数据不变。它并未量化当数据发生微小变化时被反演对象能改变多少，论文也没有声称这样的界。
适用范围也很具体。流形是光滑、紧致、连通的，维数至少为二，势是光滑且复值的。观测集是任意非空开子集，不要求连通或边界正则。欧氏空间中带外部数据的分数阶薛定谔算子同时反演问题由另一篇即将发表的论文处理，而非本文。在这些边界之内，论文给出的最尖锐的实用区分是两种测量方案之间的区别：记录解的分数阶拉普拉斯算子的数据集使观测集上的势无法确定，因而要求两个势在该处相等；而记录作用在解上的完整分数阶薛定谔算子的数据集则无需该假定即可决定整个势，包括它在观测集上的取值。对于正在决定测量什么的读者来说，第二个分量的这一选择才是决定性的。
本文引用的文献
Fractional Calderón problem with a potential
维数至少为二的紧致连通光滑黎曼流形上分数阶薛定谔方程的局部柯西数据，在固定观测集的等距意义下决定该流形、其度量以及一个光滑复值势；观测集可为任意非空开集，且无需进一步的几何假定。