高斯过程能设计出什么样的检验：从核矩阵零空间预判实验设计的证伪能力

高斯过程模型与数据一致可能源于假设正确，也可能源于所选输入根本无法暴露错误，而这一区别可在观测响应前从实验设计本身判断。对有限特征构建的 GP，其无噪声响应必须满足的关系恰为核矩阵的零空间，Gale 对偶给出几何解释，能暴露错误的最小观测组即 circuits。模拟中按预测功效选择下一个输入，将针对局部偏差的检验功效从 0.48 提升至 0.72，而按预测方差选择仅为 0.51。