Paper: 2608.26090 Authors: Raphaël Bonnet-Guerrini, Johann Ioannou-Nikolaides, Inar Timiryasov, Vincenzo Piuri Categories: astro-ph.HE, cs.AI, cs.LG, hep-ex

The Gap

Mechanistic interpretability has largely been developed on language models, where its practitioners search for latent features corresponding to concepts they can articulate. Particle physics offers a setting where the concepts are already formalised — energy, direction, quality, background nuisance — which makes it a natural place to ask a sharper question: does a scientific foundation model’s internal representation contain physical structure that its task head is not using?

That question has an unusual shape. In interpretability work the interesting failure is usually that a concept is absent, or entangled, or spuriously encoded. Here the failure of interest is one of underuse: a representation that encodes validated physics, feeding a head that ignores most of it. If that is happening, the model is discarding information it demonstrably possesses, and knowing it gives you a concrete engineering opportunity rather than a curiosity.

Getting to that claim requires clearing a high bar first. Any latent found in a representation can be a coincidental correlate; separating a validated atlas of concepts from an artefact requires a validation protocol strict enough to be falsifiable.

   SETTING: a scientific foundation model

   language models: concepts are the thing you are
                    trying to articulate
   particle physics: concepts are ALREADY FORMALISED
                     (energy, direction, quality, nuisance)
        |
        +-- makes a sharper question askable
        |
        v
   [THE QUESTION]
     does the internal representation encode validated
     physical structure that the TASK HEAD does not use?
        |
        v
   usual interpretability failure: concept absent,
                                   entangled, spurious
   failure of interest here:       UNDERUSE
        |
        v
   [BAR TO CLEAR] any latent could be a coincidental
                  correlate -> need a strict,
                  falsifiable validation protocol

The Increment

One sentence: Before this paper, it was unknown whether a scientific foundation model’s representation contained physical structure its task head ignored; after it, a strictly validated concept atlas shows the direction head barely uses it, and a new head built on that atlas cuts median angular resolution from 20.2 to 3.2 degrees.

Core Mechanism

The model under study is a neutrino foundation model pretrained on IceCube data and fine-tuned for direction reconstruction. Sparse autoencoders are applied to its representations — the same dictionary-learning approach used in language model interpretability, chosen because it decomposes a dense representation into a sparse set of features that can be examined individually.

The validation protocol is the part that makes the atlas trustworthy, and it has three components that each close a different loophole:

  • Held-out tests — features must generalise beyond the data they were found on.
  • Matched nuisance controls — features are checked against matched conditions where the supposed physical driver is absent, so a feature that merely tracks a nuisance variable is caught.
  • Replication across independent dictionary trainings — the same concept must reappear when the dictionary is learned from scratch. This is the strongest of the three: a latent that only appears under one particular training run is an artefact of that run, not a property of the representation.

What the protocol yields is a validated atlas of physical concepts in the model representation — established structure, not candidate structure.

Then comes the pivot, and it is a causal result rather than a correlational one. Causal interventions show that the direction head barely draws on this atlas. The head producing the model’s actual output is not using the physics that the representation validates. This is the underuse finding, and it is established by intervention: perturbing the concepts in the atlas does not much move the head, which is why “barely draws on” is a mechanism claim rather than an observation about correlation.

The constructive response follows directly from the diagnosis. Motivated by this underused information, the authors train an uncertainty head on the same event-level representation to predict the model’s angular reconstruction error. And the new head behaves differently: unlike the direction head, it depends causally on quality and brightness features from the atlas. So the atlas is not decoration — a task built on the same representation can be made to use it.

The payoff is a number a physicist can act on. At 20% selection efficiency, this interpretable estimator improves the median angular resolution from 20.2° to 3.2°. The estimator is a quality filter: keep the best 20% of events by predicted uncertainty, and the surviving set has a median resolution six times better. It is interpretable, because it works by reading named physical features rather than an opaque score.

   PIPELINE

   [ neutrino foundation model, IceCube pretrain,
     fine-tuned for direction reconstruction ]
                    |
                    v
   SPARSE AUTOENCODERS -> candidate features
                    |
                    v
   VALIDATION PROTOCOL (three loopholes closed)
     [1] held-out tests                  (generalise?)
     [2] matched nuisance controls       (real driver?)
     [3] replication across independent
         dictionary trainings            (not a run artefact?)
                    |
                    v
   VALIDATED ATLAS of physical concepts
                    |
                    v
   CAUSAL INTERVENTION: the DIRECTION HEAD
     barely draws on the atlas
     -> the model encodes physics its own output ignores
                    |
                    v
   BUILD an UNCERTAINTY HEAD on the same representation
     -> it DOES depend causally on quality / brightness
        features from the atlas
                    |
                    v
   at 20% selection efficiency:
     median angular resolution  20.2 deg  ->  3.2 deg

Think of it as a hospital discovering that its best scanner was being read by a technician who only looked at one corner of the image. The scanner’s raw output contains density, texture and edge information that a careful reader would use; nobody doubted the machine. The problem is in the reading. Two things follow, and the paper does both. First, demonstrate the underuse causally — show that annotating features in the image does not change the technician’s verdict, which proves they are not looking there. Second, build a second reader that does use those annotations, and show the diagnostic quality improves. And note the validation discipline: before claiming a feature is “density”, you would check it on held-out scans, against a control where the supposed cause is absent, and confirm it reappears when the annotation procedure is redone from scratch.

Key Concepts

  • Underuse as an interpretability finding: a representation containing validated structure that the task head ignores. It differs from the usual failure modes — absence, entanglement, spurious encoding — and it is immediately actionable, because the missing capability is already present in the model.
  • A three-part validation protocol: held-out tests, matched nuisance controls, and replication across independent dictionary trainings. Replication is the strongest element, since it distinguishes a property of the representation from an artefact of one dictionary’s training run.
  • Causal intervention to establish use: perturbing atlas concepts and observing the effect on the head’s output. This is what upgrades “the head correlates with the atlas” into “the head depends on it”, and the distinction is the difference between a diagnosis and a coincidence.
  • Interpretable uncertainty estimation: predicting reconstruction error from named physical features rather than an opaque score. It is what makes the efficiency gain usable in analysis, since a physicist can inspect why an event was rejected.

Framework Shift

Before (evaluate the output head):
  foundation model -> direction head -> reconstruction
  question asked: how accurate is the output?
  representation treated as an internal detail

After (evaluate what the representation contains
       and whether the head uses it):
  sparse autoencoders -> validated atlas of concepts
  causal intervention -> direction head BARELY uses it
  -> build an uncertainty head that DOES
  -> 20% selection efficiency: 20.2 deg -> 3.2 deg

From asking how accurate a model’s output is, to asking what its representation knows and whether the output path uses it, the core shift is that a model can hold validated structure it fails to exploit, and finding that structure is a route to new capability rather than a description of existing capability.

Expert Assessment

Problem choice: Excellent, and a genuinely novel application. Bringing mechanistic interpretability into particle physics is interesting partly because the domain’s concepts are already formalised, which removes the fuzziest part of interpretability work and lets the question be sharp: does the model know physics it is not using? Framing the finding as underuse rather than absence is what makes it constructive.

Method maturity: The validation protocol is the methodological substance and it is well designed — three independent checks, each aimed at a distinct way a latent could be spurious, with replication across independent dictionary trainings doing the heaviest lifting. The pivot from diagnosis to construction is the strongest part of the paper: training an uncertainty head that depends on the atlas causally, and demonstrating it improves a quantity physicists care about, closes the loop in a way that a purely diagnostic paper would not.

Experimental integrity: The causal intervention is the right instrument for the central claim, and the reported improvement is dramatic and concrete. The honest reading is that the direction-head finding and the uncertainty-head gain are separate claims: the first is about underuse, the second about a new task that happens to benefit. The paper connects them by motivation, and the connection would be tighter if it showed that the direction head’s underuse is what limits it, rather than that a different head can exploit the atlas independently.

Writing quality: The structure — atlas, validation, causal underuse, constructive use — is clear and the result is stated in units the domain uses. Because this is a first application of the technique to the field, a short exposition of what a sparse-autoencoder feature means for a physics reader would widen the audience considerably, as would one example of an atlas feature described in physical terms.

Verdict: strong accept — a well-validated interpretability result with a constructive payoff, and a convincing demonstration that a scientific foundation model was underusing validated physics it already encoded.

Takeaways

  • Ask what a representation contains, not only how accurate the output is. Here the model encoded validated physics its own head barely used, and the gap was the opportunity.
  • Validate latents with replication across independent dictionary trainings. A concept that reappears under a fresh dictionary is a property of the representation; one that does not is a property of the training run.
  • Establish use causally. Perturbing the concept is what separates “the head depends on this” from “the head is correlated with this”, and only the former justifies building on it.
  • Build new heads on existing representations before retraining. Training a different task head on an unchanged backbone captured the unused information at a fraction of the cost of a new model.

论文: 2608.26090 作者: Raphaël Bonnet-Guerrini, Johann Ioannou-Nikolaides, Inar Timiryasov, Vincenzo Piuri 分类: astro-ph.HE, cs.AI, cs.LG, hep-ex

缺口

机制可解释性主要是在语言模型上发展起来的,其研究者寻找的是”对应某个可表述概念”的隐特征。 而粒子物理提供了一个概念本身已经被形式化的场景——能量、方向、质量、本底干扰——这使得它可以被用来问一个更锋利的问题:一个科学基础模型的内部表示里,是否包含它的任务头并没有在用的物理结构?

这个问题形态特殊。 在可解释性工作中,有意思的失效通常是某个概念缺席、被纠缠、或被虚假地编码。而这里关注的失效是**“使用不足”(underuse):一个编码了经过验证的物理的表示,却喂给了一个忽略其中大部分内容的头。如果这件事正在发生,那么模型正在丢弃它可证明拥有**的信息;而知道这一点,带来的是一项具体的工程机会,而不是一个奇趣现象。

要走到这个主张,先得跨过一道高门槛。 表示里找到的任何一个隐变量,都可能是巧合的相关量;要把一份经过验证的概念图谱从伪影中分离出来,需要一套足够严格、因而可被证伪的验证协议。

   设定:一个科学基础模型

   语言模型:概念正是你试图去表述的东西
   粒子物理:概念「已经被形式化」
             (能量、方向、质量、干扰)
        |
        +-- 这让一个更锋利的问题可以被提出
        |
        v
   [问题]
     这个内部表示是否编码了「经过验证的物理结构」,
     而任务头「并没有使用」它?
        |
        v
   可解释性里通常的失效:概念缺席、纠缠、虚假编码
   这里关注的失效:        「使用不足」
        |
        v
   [需要跨过的门槛] 任何隐变量都可能是巧合的相关量
                    -> 需要一套严格、可证伪的验证协议

增量

一句话: 在这篇论文之前,我们不知道一个科学基础模型的表示里是否含有其任务头所忽略的物理结构;在这篇论文之后,一份经过严格验证的概念图谱表明方向头几乎不用它,而基于该图谱新建的一个头把中位角分辨率从 20.2 度降到 3.2 度。

核心机制

被研究的模型是一个在 IceCube 数据上预训练、并为方向重建做过微调的中微子基础模型。稀疏自编码器被施加于它的表示之上——这与语言模型可解释性中所用的是同一类字典学习方法,选择它是因为它能把一个稠密表示分解成一组稀疏、可逐个审视的特征。

验证协议才是让这份图谱可信的部分,而它由三个各自堵住一个漏洞的组件构成:

  • 留出测试——特征必须能泛化到”发现它们”所用的数据之外。
  • 匹配的干扰对照——特征要在”所声称的物理驱动因素并不存在”的匹配条件下受检,从而抓住那些仅仅跟随某个干扰变量的特征。
  • 跨独立字典训练的复现——同一个概念必须在字典从零重新学习时再次出现。三者之中这一条最强:一个只在某一次特定训练中出现的隐变量,是那次运行的伪影,而不是这个表示的属性。

协议产出的是模型表示中一份经过验证的物理概念图谱——是被确立下来的结构,而不是候选结构。

随后是那个转折,而且它是一个因果结果而非相关结果:因果干预显示,方向头几乎不依赖这份图谱。 也就是说,产生模型实际输出的那个头,没有在使用表示所验证过的物理。这就是”使用不足”这条发现,而且它是通过干预确立的:扰动图谱中的概念对那个头的输出影响很小——正因如此,“几乎不依赖”是一个机制性主张,而不是关于相关性的观察。

建设性的回应直接来自这个诊断。 正是被这份未被使用的信息所触动,作者在同一套事件级表示上训练了一个不确定性头,用来预测模型的角重建误差。而这个新头的行为不一样:与方向头不同,它在因果上依赖图谱中的质量与亮度特征。 所以这份图谱不是装饰——建立在同一表示之上的另一项任务,是可以被做到去使用它的。

回报是一个物理学家可以直接据以行动的数字:在 20% 的筛选效率下,这个可解释的估计器把中位角分辨率从 20.2° 改善到 3.2°。 这个估计器本质上是一个质量筛选器:按预测不确定性保留最好 20% 的事件,留下的集合中位分辨率好了六倍。而它是可解释的,因为它靠读取有名字的物理特征工作,而不是一个不透明的分数。

   流程

   [ 中微子基础模型:IceCube 预训练,
     并为方向重建微调 ]
                    |
                    v
   稀疏自编码器 -> 候选特征
                    |
                    v
   验证协议(堵住三个漏洞)
     [1] 留出测试                    (能泛化吗?)
     [2] 匹配的干扰对照               (是真驱动因素吗?)
     [3] 跨独立字典训练的复现         (不是某次运行的伪影吗?)
                    |
                    v
   经过验证的物理概念「图谱」
                    |
                    v
   因果干预:方向头「几乎不依赖」这份图谱
     -> 模型编码了它自己的输出所忽略的物理
                    |
                    v
   在同一表示上构建一个「不确定性头」
     -> 它确实因果地依赖图谱中的质量 / 亮度特征
                    |
                    v
   在 20% 筛选效率下:
     中位角分辨率  20.2 度  ->  3.2 度

可以用**“医院发现最好的扫描仪,是被一位只看图像一个角落的技术员在读”来理解这件事: 扫描仪的原始输出里含有密度、纹理与边缘信息,一位细心的读片人会用到它们;没有人怀疑过那台机器。问题出在读片这一环。 由此有两件事要做,而论文两件都做了。 第一,因果地证明这种使用不足——展示”在图里标出那些特征”并不会改变那位技术员的结论,从而证明他根本没在看那里。第二,造一位确实使用**这些标注的第二个读片人,并展示诊断质量因此提升。 同时注意那份验证纪律:在宣称某个特征是”密度”之前,你要在留出的扫描片上检验它、在一个”所声称的成因并不存在”的对照上检验它,并确认当标注流程从零重做时它还会出现。

关键概念

  • 以”使用不足”作为一种可解释性发现: 一个包含经过验证的结构、却被任务头忽略的表示。它有别于通常的失效模式——缺席、纠缠、虚假编码——而且它立刻可操作,因为缺失的能力本就已经存在于模型之中。
  • 三段式验证协议: 留出测试、匹配的干扰对照、跨独立字典训练的复现。复现是最强的一环,因为它把”表示的属性”与”某次字典训练运行的伪影”区分开来。
  • 用因果干预来确立”使用”: 扰动图谱中的概念并观察对头输出的影响。正是它把”头与图谱相关”升级为”头依赖图谱”;而这个区别,就是诊断巧合之间的区别。
  • 可解释的不确定性估计: 用有名字的物理特征而非不透明分数来预测重建误差。正是它让效率收益在分析工作中可用——因为物理学家可以检视”某个事件为什么被剔除”。

框架转变

之前(只评估输出头):
  基础模型 -> 方向头 -> 重建
  所问的问题:输出有多准?
  表示被当作内部细节

之后(评估表示里有什么、以及头是否在用):
  稀疏自编码器 -> 经过验证的概念图谱
  因果干预     -> 方向头「几乎不用」它
  -> 构建一个「确实在用」的不确定性头
  -> 20% 筛选效率下:20.2 度 -> 3.2 度

从”问一个模型的输出有多准”,转变为”问它的表示知道什么、以及输出路径是否在用”,核心转变在于:一个模型可以持有它未能加以利用的、经过验证的结构——而找到这种结构,是通往新能力的途径,而不是对既有能力的描述。

专家评审

选题眼光: 极好,而且是一次真正新颖的应用。 把机制可解释性带入粒子物理之所以有意思,部分原因在于这个领域的概念本就已经形式化,这去掉了可解释性工作中最模糊的一环,让问题变得锋利:模型是否知道它并未使用的物理?把发现框定为”使用不足”而非”缺席”,正是它具备建设性的原因。

方法成熟度: 验证协议是方法论上的实质,而且设计得好——三项彼此独立的检查,各自针对”隐变量可能是虚假的”一条不同途径,其中”跨独立字典训练的复现”承担了最重的分量。 从诊断转向构建,是全文最强的一步:训练一个因果上依赖图谱的不确定性头,并证明它改善了一个物理学家真正关心的量——这闭合了回路,而一篇纯诊断性的论文做不到这一点。

实验诚意: 因果干预是支撑核心主张的正确工具,而报告出的改善幅度显著且具体。 诚实的读法是:方向头那条发现与不确定性头的收益是两项不同的主张——前者关于使用不足,后者关于一项恰好受益的新任务。论文通过”动机”把它们连接起来;如果能进一步表明正是方向头的使用不足在限制它,而不只是”另一个头可以独立利用这份图谱”,这个连接会更紧。

写作功力: 结构——图谱、验证、因果层面的使用不足、建设性使用——清晰,而且结果是用这个领域的单位陈述的。 由于这是该技术在本领域的首次应用,若能面向物理读者补一小段”稀疏自编码器的特征对他们意味着什么”的说明,会显著扩大受众;再给出一个用物理语言描述的图谱特征示例,效果同样。

判决: 强接收(Strong Accept) — 一项验证充分的、具备建设性回报的可解释性结果,并有说服力地表明:一个科学基础模型正在使用不足地对待它已经编码的、经过验证的物理。

要点总结

  • 问一句”表示里有什么”,而不只是”输出有多准”。这里模型编码了经过验证的物理,而它自己的头几乎不用——这个落差就是机会所在。
  • 跨独立字典训练的复现来验证隐变量。在全新字典下再次出现的概念,是表示的属性;不再出现的,是那次训练运行的属性。
  • 因果方式确立”使用”。扰动概念,才能把”头依赖于此”与”头与之相关”分开;而只有前者才支持在其上继续构建。
  • 在既有表示上构建新头,再考虑重训。在不动主干的前提下训练一个不同的任务头,以远低于”造一个新模型”的代价捕获了那些未被使用的信息。