摘要
受限的响应等价并不决定对另一个源的响应，也不决定另一种观测的输出。我们在两组彼此关联、被明确指定的超导模型比较中研究这一区分。一个守恒的、粒子—空穴对称的密度模型，对于一个两点形状因子与一个具有相同前二阶矩的光滑角向形状因子，给出完全相同的线性响应。其对角三阶响应包含四阶矩。一个另行给定的额外单态通道会改变该依赖关系，而一个趋近该两点分布的光滑族，则在有界的、极点分离的定义域上消除了三阶系数的一致分离。随后我们转向彼此不同的有限能量光学补全，保留它们各自实际的色散、配对正规化、能隙反馈、占据海流以及电磁耦合。它们较低阶的光学响应就已经可能不同；文中并不主张七阶是第一个光学判别量。对于一个固定的双音、同一入射场比较，继承而来的计算机辅助连续包含区间认证了一个非零的、被选定的七阶系数、两个九阶修正，以及一个全阶余项。由此得到的相对误差界只在明确非常小的归一化振幅处成立，并不确立实际可探测性。最后，我们把相位选择与平方律探测区分开来，并陈述在何种波形与制备条件下，一个符号反转的导引估计量能保持一个有限的线性查询。该结果是一个模型特定、源明确、带可审计误差核算的比较，而不是普适的能带识别，也不是从互补性推导超导相互作用。
补充材料包含所声明的模型／证明注记、经整理的数值源码与输入、全部七个精度案例、历史失败与重放记录，以及被接受的、经修复的 Lean 源码连同陈述／公理证据与对照关系。已完成的本地 Lean 评审涵盖 57 条被选定的定理声明与十个支撑性定义／类型。它并不是对整个微观推导、连续包含区间生成器、全阶尾项或物理探测器制备的形式化。一次另行组织的、AI 辅助的最终技术评审重复了原先保存的端点检查；它并不是独立的外部审稿人评议。在非常小的归一化振幅处的数学精确性，并不等于已被证明的实验灵敏度。
它在本次发布中的位置
本次发布唯一一篇超导响应论文。它是一个模型特定、源明确、带可审计误差核算的比较——而不是普适的能带识别；其非常小的归一化振幅也并不确立实际可探测性。
下载论文（Zenodo） —— CC-BY-4.0。