A Fiber Criterion for Representation Identifiability in Supervised Learning
Authors: Vasileios Sevetlidis
Organizations: Athena Research Center, Kimmeria Campus, Xanthi, Greece · Democritus University of Thrace, Vas. Sofias Campus, Xanthi, Greece · International Hellenic University, Serres, Greece
Supervised learning evaluates predictors through their input-output behavior. When a predictor is implemented as a composition f=c∘h, supervised evidence constrains the composite map f but need not determine the representation-head factorization (h,c). This paper formalizes the resulting representation-level identifiability problem: for a class of admissible representation-head pairs, a representation property is identifiable from the induced predictor exactly when it is constant on the fibers of the projection (h,c)↦c∘h, equivalently when it descends to a well-defined property of the predictor. Predictor-preserving augmentation gives a canonical obstruction: auxiliary information can be appended to a representation while the head ignores it, leaving the predictor unchanged but altering properties such as minimality, compression, invariance, equivariance, nuisance information, or semantic accessibility. This construction separates representation identifiability from optimization and finite-sample estimation. Finite-sample diagnostics illustrate, rather than prove, the criterion: exact algebraic witnesses hold the predictor fixed while changing representation diagnostics, and matched-performance Waterbirds models show that different constraints can select different representations at similar supervised performance. The results clarify that representation-level claims require assumptions, objectives, measurements, or inductive biases beyond supervised predictive behavior alone.
Representation learning is often described as preserving the information in an input that is relevant for prediction. This work asks what relevance means for a fixed supervised decision problem. A representation is defined to be Bayes-sufficient for a joint distribution and loss if some prediction head can use it to implement a Bayes-optimal action rule. This makes the target information loss-dependent. In the almost-surely unique Bayes-action case, the relevant object is a Bayes quotient, which identifies inputs that require the same Bayes-optimal action. A representation is sufficient when it refines this quotient, and Bayes-minimal when it is informationally equivalent to it. The framework connects naturally to property elicitation: zero-one loss requires the Bayes class, squared loss the conditional mean, Brier loss the conditional probability in binary prediction, and log loss or strictly proper scoring rules the predictive distribution. Controlled finite experiments, learned neural bottleneck experiments, and a real-data iNaturalist taxonomic refinement experiment illustrate the distinction between sufficiency, minimality, and retained non-required information. For a fixed supervised problem, the distribution and the loss determine the Bayes action, the Bayes action determines the quotient, and the quotient determines the minimal information required for Bayes-optimal prediction.
Given a generalist model, learning a task-relevant specialist representation is fundamental for downstream applications. Identifiability, the asymptotic guarantee of recovering the ground-truth representation, is critical because it sets the ultimate limit of any model, even with infinite data and computation. We study this problem in a completely nonparametric setting, without relying on interventions, parametric forms, or structural constraints. We first prove that the structure between time steps and tasks is identifiable in a fully unsupervised manner, even when sequences lack strict temporal dependence and may exhibit disconnections, and task assignments can follow arbitrarily complex and interleaving structures. We then prove that, within each time step, the task-relevant latent representation can be disentangled from the irrelevant part under a simple sparsity regularization, without any additional information or parametric constraints. Together, these results establish a hierarchical foundation: task structure is identifiable across time steps, and task-relevant latent representations are identifiable within each step. To our knowledge, each result provides a first general nonparametric identifiability guarantee, and together they mark a step toward provably moving from generalist to specialist models.
Learned representations are commonly evaluated through predictive performance, calibration, robustness, uncertainty estimation, and behavior under distribution shift. Yet these criteria do not determine whether the representation itself remains sufficient for organizing observations relevant to an explanatory task. We develop VER (Vigilance Explicative et Representationnelle; explanatory and representational vigilance) around a narrower question: can a system detect when its current representation becomes explanatorily insufficient without confusing insufficiency with ordinary error, missing data, uncertainty, or distribution shift? The current VER framework follows seven stages: TRACE, EVIDENCE, INSUFFICIENCY, REGIME HYPOTHESES, TRANSITION ASSESSMENT, VIGILANCE, and PROBE. It treats structured residuals as signals rather than verdicts, distinguishes data insufficiency from representation insufficiency, preserves multiple hypotheses under non-identifiability, allows a legitimate NON-DETERMINED outcome, and requires a discriminating Probe before stronger conclusions are drawn. It also separates variation, drift, adaptation, and representational transition, and introduces Present Enrichment before attributing explanatory value to history. Two paired thought experiments and a falsifiable benchmark are proposed. VER is not claimed to be empirically validated here; its contribution is an explicit architecture designed for auditability and for selecting observations that discriminate among competing explanations.