精读笔记

Problem Setting

《Coordinate Singularities Break Conformal Coverage for Gaze and Head Pose》（arXiv preprint / 2026）实际处理的是 manifold-valued vision output 上 conformal score 的几何一致性问题。任务表面上是 gaze direction 和 3D head pose 的 conformal coverage，实质矛盾是：conformal prediction 保证的是给定 score 下的边际覆盖，而视觉系统常把 S2 或 SO(3) 的输出误差投到 yaw-pitch/Euler 这样的局部坐标里度量。以前方法卡在两个层面：一是把 marginal coverage 当可靠性充分条件；二是把 adaptive/normalised conformal 当作局部失败的通用补丁。论文指出这里真正难的是 shape mismatch，不是 threshold 不够大，也不是 calibration set 不够多。

Motivation

已有路线不够的原因在于它默认 nonconformity score 的坐标选择不会改变 reliability 结论。这个默认在欧氏输出上基本成立，但在 S2/SO(3) 上明显错误：yaw-pitch 在球面极点退化，Euler 在 gimbal lock 附近退化，同样的坐标球在流形上对应高度扭曲的集合。作者的核心观察是，global conformal validity 会掩盖这种局部几何失败，因为欠覆盖区域可以由 well-conditioned 区域的过覆盖补偿。关键缺口不是缺一个更强 backbone，也不是缺一个更复杂 uncertainty estimator，而是缺一个把 score geometry 纳入 conformal reliability 分析的框架。

Core Idea

论文真正核心的思想是：conformal set 的可靠性不只由 calibration quantile 决定，还由 score induced geometry 决定。若 score 是 chart L2 residual，acceptance set 在 chart 空间是球，但映回流形后会变成由 metric tensor 决定轴比的椭球/畸变区域；靠近坐标奇异点时，某些方向的尺度退化，导致 slice coverage 系统性下降。把 score 换成 geodesic distance，本质上是在 conformal calibration 中引入“输出空间的 intrinsic geometry”作为 inductive bias，使 set 的形状与真实任务误差度量对齐。和 prior 的本质区别是，它不是学习更好的 uncertainty，也不是做更细粒度分组 calibration，而是修正 nonconformity score 的坐标依赖性；这让方法很轻量，也更容易迁移到任何有明确流形度量的输出空间。

Method

方法的关键机制可以压缩为三层。第一层是 metric diagnosis：用 Riemannian metric tensor 和 volume density 描述 chart 坐标如何改变局部距离和体积，解决的是“哪里会 under-cover”的可解释定位问题。第二层是 scalar correction impossibility：证明 normalised CP、CQR 这类只调 scalar threshold 的方法不会改变 chart ball 映射后的轴比，解决的是“为什么 adaptive threshold 不够”的归因问题。第三层是 intrinsic scoring：用 S2 arc/chord distance、SO(3) geodesic/quaternion distance 替代 yaw-pitch/Euler L2，解决的是 acceptance set shape 与 manifold geometry 不一致的问题。normalisation 在这里只是 Layer-2 的 heteroscedasticity 修正，不能替代 Layer-3 的 shape correction。

Key Insight / Why It Works

最重要的 insight 是把 conformal failure 从“统计校准问题”重新归因为“表示几何问题”。这篇论文有效的部分几乎完全来自 representation alignment：score 的几何与输出空间的 intrinsic metric 对齐后，conformal threshold 才在不同姿态区域对应可比的流形半径/体积。Proposition 2 是核心贡献，因为它直接排除了一个常见误解：只要做 normalised CP 或 local scale adaptation 就能修复极端区域覆盖。不能，因为 scalar rescaling 只能放大/缩小畸变集合，不能改变由 metric tensor 固定的轴比。实验里的 normalised chart score 有改善但远低于 normalised geodesic，正好说明 scale correction 是辅助，shape correction 才是主因。这里没有明显 scaling、retrieval、test-time compute 或 hidden supervision 的成分；增益不是来自模型更强，而是来自 score geometry 更正确。需要注意的是，在真实模型上 geodesic 仍不能完全恢复目标覆盖，说明剩余误差来自数据覆盖、模型 regime weakness 或 heteroscedasticity，而不是 chart singularity alone。

Relation To Prior Work

这篇最接近三条谱系：split/adaptive conformal prediction、manifold/geodesic uncertainty、gaze/head pose 的角度表示问题。它对 conformal prediction 的新增信息是：marginal validity 本身没有错，但 score 的几何选择会系统性重分配 conditional coverage；这比一般 conditional coverage impossibility 更具体，因为它给出了可诊断、可修复的一类 failure mode。它对 gaze/head pose 表示学习的新增信息是：Euler/yaw-pitch 的奇异性不仅影响训练连续性或 point error，也会破坏 conformal set 的局部可靠性。看似新的部分里，geodesic distance、quaternion distance、metric tensor 都不是新工具；实质创新在于把这些几何事实连接到 conformal nonconformity score，并证明 scalar adaptive methods 的结构性上限。

Dataset / Evaluation

评估设计总体能支撑核心 claim，因为它同时包含 controlled SO(3) setting 和真实 gaze/head pose 模型。controlled BIWI isotropic Lie noise 是最关键证据：模型误差在流形上被设为各向同性后，Euler score 仍然 near-gimbal-lock 欠覆盖，说明问题不是 backbone 或数据难度。ETH-XGaze、Gaze360、AFLW2000-3D 则说明该机制在真实数据和常见 pipeline 中确实出现。评价的 limitation 是任务空间仍集中在 S2 和 SO(3)，且 conditional coverage 是手工定义 slice，不是 pointwise guarantee；真实部署中的 domain shift、时间相关性、检测失败、rare behavior frequency 没有被充分覆盖。文中对 runtime 的论证说明 engineering cost 很低，但这不是主要科学贡献。

Limitation

最大前提是输出空间有公认且任务相关的 intrinsic metric；S2/SO(3) 很干净，但很多真实视觉输出不是这么干净。SE(3) 中 rotation-translation trade-off、人体姿态的关节耦合、对称物体姿态的 quotient ambiguity 都会让 geodesic score 的选择带入任务偏置。理论上，Proposition 1/2 是局部一阶结果；在大误差、多峰预测、跨 chart 边界或强 anisotropic residual 下，geodesic ball 未必是最合适的 conformal shape。方法也只是把 chart-induced distortion 去掉，并没有解决 conditional coverage 的根本不可能性；若极端姿态训练样本少或模型本身差，intrinsic score 仍会欠覆盖。AFLW2000 结果已经显示这一点：几何修正减少了 Layer-3 失真，但 Layer-2/model-regime gap 仍需要 normalisation、Mondrian 或其他 group-wise 方法。

Takeaway

• 最值得记住的不是“用 geodesic distance 会更好”，而是 conformal score 本身是一种几何建模选择。
• 对 manifold-valued outputs，先检查 metric tensor/volume density，再谈 calibration；否则 marginal coverage 很可能只是把错误藏到输出空间的局部区域。
• 未来值得做的是把 shape correction 和 scale correction 系统合并：intrinsic/geodesic score 解决几何，normalised/Mondrian/learned anisotropic conformal set 解决真实误差分布。
• 这个 insight 可迁移到 camera pose、surface normals、joint rotations、周期变量等所有 chart 表示常被当作欧氏向量处理的任务。

一句话总结

这篇论文在 conformal prediction for geometric vision outputs 中明确指出并形式化了“score geometry”这一被忽视的失效源：它不是提出更强模型，而是把 conformal calibration 从坐标残差修正为流形一致的表示对齐方法。