---
title: V-Usable Information Framework
url: https://www.emergentmind.com/topics/v-usable-information
type: topic
---

# V-Usable Information Framework

V-usable information, also termed predictive \(\mathcal V\)-information, is a variational framework for quantifying how much information about a target variable \(Y\) is actually exploitable from an input \(X\) by an observer restricted to a predictive family \(\mathcal V\). Unlike Shannon mutual information, it explicitly incorporates modeling power and computational constraints, so the measured informativeness depends on which predictors are permitted. In this formulation, information is defined through achievable log-loss rather than unrestricted statistical dependence; as a result, it subsumes mutual information when \(\mathcal V\) is unconstrained, recovers familiar quantities such as the coefficient of determination under appropriate restrictions, can increase under computation, and admits PAC-style estimation guarantees in high dimensions [2002.10689].

## 1. Variational definition and observer model

The basic objects are random variables \(X\in\mathcal X\) and \(Y\in\mathcal Y\), together with a predictive family \(\mathcal V\) of mappings
\[
f : (\mathcal X\cup\{\varnothing\}) \to \mathcal P(\mathcal Y),
\]
where \(f[x]\) is a predictive distribution over outputs given input \(x\), and \(f[\varnothing]\) is the corresponding null predictor. In the original formulation, \(\mathcal V\) satisfies “optional ignorance”: if a predictor can predict \(Y\) without seeing \(X\), it can ignore \(X\) altogether [2002.10689].

The central variational quantities are the predictive \(\mathcal V\)-entropies
\[
H_{\mathcal V}(Y\mid X) = \inf_{f\in\mathcal V} \mathbb E_{(x,y)\sim P}\bigl[-\log f[x](y)\bigr],
\qquad
H_{\mathcal V}(Y) = \inf_{f\in\mathcal V} \mathbb E_{y\sim P}\bigl[-\log f[\varnothing](y)\bigr].
\]
The predictive \(\mathcal V\)-information from \(X\) to \(Y\) is then
\[
I_{\mathcal V}(X\to Y)=H_{\mathcal V}(Y)-H_{\mathcal V}(Y\mid X).
\]
Operationally, this asks how well a \(\mathcal V\)-bounded predictor can compress \(Y\) in bits with and without access to \(X\) [2002.10689].

Two derived pointwise quantities are widely used. Pointwise \(\mathcal V\)-information (PVI) assigns an instance-level information gain
\[
\mathrm{pvi}(x\to y) = -\log_2 g[\varnothing](y)+\log_2 g'[x](y),
\]
where \(g\) is the optimal null predictor and \(g'\) the optimal conditional predictor in \(\mathcal V\). Larger \(\mathrm{pvi}\) means that the input \(x\) carries more usable information for predicting \(y\) [2110.08420]. A complementary quantity, pointwise \(\mathcal V\)-entropy (PVE), measures residual uncertainty for an individual example after fitting \(f^\star\in\mathcal V\):
\[
\mathrm{PVE}(y\mid x)=-\log_2 f^\star[x](y).
\]
PVE is used as a low-cost proxy for conditional \(\mathcal V\)-entropy on data slices [2405.12372].

A conditional extension isolates information available in one representation beyond another. For a baseline \(X\) and an additional representation \(Z\),
\[
I_{\mathcal V}(Z\to Y\mid X)=H_{\mathcal V}(Y\mid X)-H_{\mathcal V}(Y\mid X,Z),
\]
which parallels conditional mutual information while retaining the predictive-family constraint [2109.09234].

## 2. Relation to classical information and distinctive theoretical properties

When \(\mathcal V\) is the class of all measurable predictors, the variational entropies coincide with Shannon entropies:
\[
H_{\mathcal V}(Y\mid X)=H(Y\mid X),\qquad H_{\mathcal V}(Y)=H(Y),
\]
and therefore
\[
I_{\mathcal V}(X\to Y)=I(X;Y).
\]
In this sense, predictive \(\mathcal V\)-information is a strict generalization of mutual information rather than a competing definition [2002.10689].

Under restricted predictive families, the framework recovers classical task-specific measures. For linear-Gaussian predictors of the form
\[
f[x]=\mathcal N(Wx+b,\sigma^2 I),
\]
the difference \(H_{\mathcal V}(Y)-H_{\mathcal V}(Y\mid X)\) becomes
\[
\mathrm{tr}\,\mathrm{Cov}(Y)\cdot R^2_{\mathrm{lin}}(Y\mid X),
\]
so the theory recovers the unnormalized coefficient of determination. Other choices of \(\mathcal V\) recover mean-absolute-deviation and exponential-family max-entropies [2002.10689].

Several formal properties differ sharply from Shannon theory. Nonnegativity and monotonicity in the predictive family hold: if \(\mathcal U\subseteq \mathcal V\), then \(I_{\mathcal U}\le I_{\mathcal V}\), so enlarging model capacity cannot reduce usable information [2110.08420]. At the same time, predictive \(\mathcal V\)-information can violate the data-processing inequality. In Shannon theory, \(I(T(X);Y)\le I(X;Y)\) for any function \(T\). In the \(\mathcal V\)-framework, usable information can increase after preprocessing because the transformation may make the predictive relationship accessible to the restricted observer. The canonical example is RSA decryption: an encrypted representation and its decrypted version have the same Shannon information about the message, yet a computationally bounded \(\mathcal V\)-predictor may extract far more usable information after decryption [2002.10689].

This nonclassical behavior is the theoretical basis for interpreting representation learning as information creation relative to an observer. Successive transforms in a deep network can make progressively more label-relevant structure accessible to simple predictors such as linear classifiers, even when no new Shannon information is introduced [2002.10689]. A later theoretical synthesis extends this observer-relative view to representation similarity: stitching performance can be written as usable conditional information, reconstruction-based metrics estimate usable information under specific predictive constraints, and similarity is therefore relative to the capacity of the predictive family rather than absolute [2601.21568].

## 3. Computational constraints, empirical estimation, and pointwise variants

The choice of \(\mathcal V\) encodes both model class and computational budget. Concrete examples given in the original framework include “all linear regressors,” “two-layer neural nets of width \(W\) and ReLU,” and “\(K\)-nearest-neighbors with \(k\le K\).” Tightening \(\mathcal V\) lowers the amount of information that is usable by that observer [2002.10689].

Given \(N\) i.i.d. samples \(\mathcal D=\{(x_i,y_i)\}\), empirical estimates are defined by
\[
\hat H_{\mathcal V}(Y\mid X)=\inf_{f\in\mathcal V}\frac1N\sum_i[-\log f[x_i](y_i)],
\qquad
\hat H_{\mathcal V}(Y)=\inf_{f\in\mathcal V}\frac1N\sum_i[-\log f[\varnothing](y_i)],
\]
and
\[
\hat I_{\mathcal V}(X\to Y)=\hat H_{\mathcal V}(Y)-\hat H_{\mathcal V}(Y\mid X).
\]
If \(\mathcal G_{\mathcal V}=\{(x,y)\mapsto \log f[x](y): f\in\mathcal V\}\) and all \(g\in\mathcal G_{\mathcal V}\) are bounded in \([-B,B]\), then with probability at least \(1-2\delta\),
\[
|I_{\mathcal V}(X\to Y)-\hat I_{\mathcal V}(X\to Y)|
\le
4\,\mathcal R_N(\mathcal G_{\mathcal V})+2B\sqrt{2\ln(1/\delta)/N}.
\]
For many parametric families, \(\mathcal R_N(\mathcal G_{\mathcal V})=O(N^{-1/2})\), and a concrete corollary gives an explicit \(O(N^{-1/2})\) bound for linear-Gaussian regressors [2002.10689].

These guarantees motivate pointwise estimation procedures used throughout later work. In the standard two-model construction, one fine-tunes a model on full inputs to obtain \(g'\), fine-tunes the same architecture on null inputs to obtain \(g\), and then computes \(\mathrm{pvi}(x\to y)\) on held-out instances [2110.08420]. DispaRisk uses a related held-out workflow, but records PVE values \(-\log_2 f^\star[x_i](y_i)\) directly and aggregates them over demographic slices [2405.12372].

A distinct approximation is in-context PVI, introduced by Lu et al. for large language models. Fine-tuning is replaced by two few-shot prompts to the same base model \(\mathcal G\): a null-target prompt \(p\) containing labels only, and an input-target prompt \(p'\) containing full demonstrations plus the query. The in-context estimate is
\[
C(x,y)=-\log_2 \mathcal G[p](y)+\log_2 \mathcal G[p'](y).
\]
Across seven datasets and eight models, the reported stability is substantial: correlation across exemplar sets has average \(r=0.55\) and median \(r=0.71\), with \(59.4\%\) of model-dataset-shot configurations above \(r>0.6\); correlation across shot counts has average \(r=0.44\) and median \(r=0.74\), with \(57.6\%\) of cases above \(r>0.6\); and for nearly all models and datasets, one-way ANOVA gives small \(F\)-statistics with \(p>0.05\), indicating no significant difference in mean in-context PVI across exemplar sets [2310.12300].

## 4. Representations, probing, and training dynamics

Conditional \(\mathcal V\)-information enables a form of probing that measures information in a representation beyond a baseline. In conditional probing, two probes are trained: a full probe on \([B;\phi(X)]\) and a baseline probe on \([B;\mathbf 0]\), where \(B\) is a baseline representation such as non-contextual embeddings. The loss difference estimates
\[
I_{\mathcal V}(\phi(X)\to Y\mid B),
\]
so any reduction in predictive loss must arise from signal in \(\phi(X)\) not already present in \(B\) [2109.09234].

In the reported case study, this changes the interpretation of layerwise linguistic information. For ELMo, unconditional \(\mathcal V\)-information for upos is \(0.20\) bits at \(\phi_1\) versus \(0.16\) bits at \(\phi_2\), but conditional probing yields \(0.22\) bits versus \(0.20\) bits, shrinking the apparent layerwise drop. For RoBERTa, unconditional probing suggests that upos and xpos information decays after layer 4, whereas conditional probing shows that the information beyond the word embeddings remains around \(0.12\)–\(0.16\) bits through layer 9 and only then declines [2109.09234]. This suggests that deeper layers preserve ambiguous contextual cues even when trivial word-identity cues fade.

A related line of work studies training dynamics through a usable-information lower bound
\[
I_u(Z;Y)=H(Y)-L_{CE}(p(y\mid z),q(y\mid z)),
\]
where \(q(y\mid z)\) is a variational decoder and \(L_{CE}\) is held-out cross-entropy. Kleinman et al. use this quantity to track minimal sufficient representations during training and report a two-stage motif: usable information about the relevant variable rises rapidly, while semantically meaningful but ultimately irrelevant information also rises early and is later discarded [2010.02459]. On CIFAR-10 coarse-vs-fine tasks, usable information about the trained-for coarse label rises from \(0\) to approximately \(1\) bit in lock-step with validation accuracy approaching approximately \(96\%\), whereas usable information about the fine label first increases to about \(3\) bits and then declines toward \(0\) by epoch 200. Larger batch sizes or smaller learning rates eliminate this late-phase forgetting and lead to worse generalization, including about \(92\%\) accuracy with \(\eta=0.001\) [2010.02459].

Usable information has also been used to unify functional and representational similarity. In this formulation, a good stitcher in one direction does not imply similarity, because stitching is inherently asymmetric; robust functional comparison therefore requires bidirectional analysis. Reconstruction-based measures under orthogonal, orthogonal-plus-scale, or affine predictive families define a hierarchy of representational similarity, and standard metrics correlate with the resulting usable-information estimators: the reported empirical values are \(R^2\approx 0.94\) for CKA, \(R^2\approx 0.91\) for RSA, and \(R^2\approx 0.65\) for SVCCA [2601.21568].

## 5. Dataset auditing, fairness, and privacy leakage

For a fixed model family \(\mathcal V\), lower \(\mathcal V\)-usable information indicates a harder dataset. Ethayarajh et al. therefore recast dataset difficulty as lack of usable information and use PVI to compare datasets, instances, and slices for a given model family [2110.08420]. In their examples, BART-base extracts approximately \(1.4\) bits of usable information on SNLI, BERT-base approximately \(1.2\) bits, DistilBERT approximately \(1.0\) bits, and GPT-2 approximately \(0.8\) bits, with test-accuracy ranks matching the same ordering. Input transformations \(\tau\) then expose artifacts by computing \(I_{\mathcal V}(\tau(X)\to Y)\): on SNLI, shuffling word order hardly reduces usable information, hypothesis-only performance is high while premise-only performance is nearly zero, and in a hate-speech dataset just 50 profane/slur tokens carry most of BERT-usable information [2110.08420].

The “data checklist” framework systematizes this logic into ten unit tests, including Viability, Applicability, Exclusivity, Sufficiency, and Necessity, each defined by \(\mathcal V\)-information inequalities with tolerance \(\varepsilon=0.01\) [2408.02919]. On SNLI, the overlap feature \(\Phi\) yields \(\hat I_{\mathcal V}(\Phi(X)\to Y)=0.289\) bits while \(\hat I_{\mathcal V}(X\to Y)=0.969\) bits, recovering a known artifact. On SHP preference data, response length is predictive but neither sufficient nor exclusive; on HH-harmless, removing all training pairs with \(\mathrm{pvi}<0\) removes about \(18\%\) of examples and raises reward accuracy from \(72.74\%\) to \(73.53\%\) and preference accuracy from \(60.42\%\) to \(64.63\%\) under Direct Preference Optimization [2408.02919].

Fairness applications use observer-relative uncertainty directly. The original theory already interprets many adversarial-fair methods as minimizing \(I_{\mathcal V}(Z\to U)\) for some adversary class \(\mathcal V\), and reports an “attacker-transfer” phenomenon in which a representation fair against one \(\mathcal V\)-type adversary may still leak information to another [2002.10689]. DispaRisk operationalizes this idea by comparing mean PVE on advantaged and disadvantaged slices:
\[
\Delta_{\mathcal V}
=
\frac{1}{|\mathcal D_a|}\sum_{(x,y)\in\mathcal D_a}\mathrm{PVE}(y\mid x)
-
\frac{1}{|\mathcal D_d|}\sum_{(x,y)\in\mathcal D_d}\mathrm{PVE}(y\mid x).
\]
A strong correlation between \(\Delta_{\mathcal V}\) and downstream fairness metrics such as Demographic Disparity or Equalized Opportunity is taken as evidence that usable-information disparities predict bias amplification. On Census-Income KDD, the FNN+GELU family has the most negative \(\Delta_{\mathcal V}\) and the largest observed \(\Delta_{DEMP}\) among the reported feed-forward families [2405.12372].

Privacy leakage from gradients has likewise been formulated in usable-information terms. In collaborative learning, the gradient variable \(G\) may leak either latent attributes \(P\) or original inputs \(X\). The empirical usable information from \(G\) to \(P\) is defined as the gap between the best null-input cross-entropy and the best gradient-conditioned cross-entropy over an adversary family \(V\) [2105.13929]. Layerwise analysis shows that original information is easiest to invert from early layers in shallow networks and from middle layers in deeper networks, while latent attributes increase through the convolutional feature extractor, peak at the first fully connected layer, and then fall. Reported interventions include batch aggregation, which nearly eliminates original-information leakage when the target gradient is mixed with at least \(10\times\) other samples, and differential privacy noise, whose most effective placement depends on whether the goal is to suppress original or latent leakage [2105.13929].

## 6. Structure learning, large language models, multi-task learning, and domain-specific extensions

The original empirical study demonstrated that predictive \(\mathcal V\)-information is more effective than mutual information for several downstream problems. In high-dimensional structure learning, replacing Shannon mutual-information estimators such as InfoNCE, NWJ, and MINE with \(\hat I_{\mathcal V}\) yields much lower wrong-edge rates for Chow–Liu tree recovery, even when \(\mathcal V\) is misspecified. On the DREAM5 benchmark for gene regulatory network inference, a polynomial-Gaussian \(\mathcal V\) outperforms kernel- and kNN-based Shannon mutual-information estimators in AUC for edge prediction. On Moving-MNIST, \(\hat I_{\mathcal V}(Z_t\to Z_{t+k})\) with PixelCNN++ predictors decreases in \(k\), allowing Chu–Liu to recover the causal chain of frames, whereas Shannon mutual information cannot distinguish frame order when the dynamics are deterministic [2002.10689].

Pointwise \(\mathcal V\)-information has also been used to organize task relatedness in multi-task learning. Li et al. compare PVI distributions across tasks using a paired \(t\)-test for two-task groupings and one-way ANOVA for larger groupings; tasks whose PVI distributions are not significantly different, with \(p>0.01\), are treated as related enough to benefit from joint learning [2410.12774]. On 15 NLP datasets, PVI-based groupings yield joint learners that are competitive with fewer total parameters, with the largest reported gain on CommitmentBank, where \(F_1\) improves by over \(0.25\), and a two-task RoBERTa-Large MTL system uses roughly half the total parameter footprint of two separate models [2410.12774].

Within LLMs, usable information has been used both diagnostically and interventionally. In retrieval-augmented QA, layerwise \(\mathcal V\)-usable information is measured with a logit-lens decoder
\[
f[\mathbf h_l](y)=\mathrm{softmax}(\mathrm{LayerNorm}(\mathbf h_l)W_U)_y,
\]
and the empirical curve of \(-H_{\mathcal V}(Y\mid \mathbf h_l)\) often rises in early-to-middle layers before plateauing or declining [2504.15630]. The Context-aware Layer Enhancement method chooses a layer \(l^\ast\) where contextual usable information is maximal and applies either amplification,
\[
\mathbf h'_{l^\ast}=\alpha\,\mathbf h_{l^\ast},\qquad \alpha>1,
\]
or residual enhancement into later layers. On CounterFact with Llama2-7B, Exact Match rises from \(54.32\) to \(74.98\) overall and from \(42.53\) to \(69.62\) on the “Unknown” subset under CaLE-A; on NQ-Swap, Exact Match rises from \(53.73\) to \(63.83\) [2504.15630].

A further extension treats predictive \(\mathcal V\)-information as a task-specific image-quality metric for sub-ideal observers. In a stylized MR image-restoration study, the quantity \(I_{\mathcal V}[X\to Y]\) is computed by standard cross-entropy minimization for CNN- or ResNet-based numerical observers and compared to downstream performance [2510.00298]. The reported relationship to ROC analysis is nearly linear on binary tasks, with \(R^2\approx 0.99\), while \(\mathcal V\)-information continues to rise in settings where AUC or accuracy saturate and extends directly to multi-class tasks where ROC analysis is difficult [2510.00298].

Taken together, these developments establish V-usable information as a model-relative notion of informativeness that is simultaneously theoretical and operational. It functions as a variational generalization of mutual information, an instance-level hardness metric, a conditional tool for representation analysis, a practical estimator for high-dimensional structure learning, and an auditing primitive for fairness, privacy, dataset artifacts, transfer, and context use in large models [2002.10689].

Source: https://www.emergentmind.com/topics/v-usable-information