Definition
For a relation the model computes an object representation from a subject representation in context . A first-order expansion gives the affine operator
with the mean Jacobian over a few examples of the relation. Unlike Linear Direction (one vector of ) or Linear Subspace (a subset of ), is a matrix mapping one representation (subject) to another (object), so the object here is the map itself.
Relative to other operator nodes
Conceptor (soft ellipsoidal region) is a PSD contraction acting on one cloud; this operator maps between two representation sets and is not required to be symmetric or contractive. Jacobian non-normality (Schur decomposition of per-layer operators) studies the per-block Jacobian across layers; here the Jacobian is averaged over examples of one relation and used as a predictor of the model’s output.
Key evidence
- Relation decoding is well-approximated by a single affine map for roughly half of tested relations, but fails almost completely for others despite the model still answering correctly. Hernandez, Sharma, Haklay, Meng, Wattenberg, Andreas, Belinkov & Bau (2023) fit for 47 relations across GPT-J, GPT2-XL and LLaMA-13B: faithfulness above 60% for nearly half the relations, strong faithfulness-causality correlation (R=0.84 on GPT-J), but near-zero faithfulness (≤7%) for relations like “company CEO”. See
lre-faithful-and-causal-for-half-of-relations. - The family of relation operators is highly compressible and clusters by shared coarse-grained property rather than by individual relation. Christ, Csiszárik, Becsó & Varga (2025) fit order-3 tensor networks over 47 and 79 relations (main text on GPT-J; Llama 3.1 8B and GPT-NeoX-20B in an appendix): under one million parameters beat stacked per-relation matrices (about 788 million), and cross-evaluation shows block structure driven by shared properties. The paper does not measure a shared linear subspace. See
christ-etal-2025-relation-decoding-operators-cluster-by-shared-coarse-grained-property-not-relation-identity.
How to detect it
Estimate the mean Jacobian of the subject-to-object computation from a few examples of a relation, form , and test (i) faithfulness: does it decode to the model’s own top token, and (ii) causality: does editing via the low-rank pseudoinverse change the model’s output.
Key papers
- Hernandez et al. (2023). Linearity of Relation Decoding in Transformer Language Models. arXiv:2308.09124 — introduces the LRE.
- Christ et al. (2025). The Structure of Relation Decoding Linear Operators in Large Language Models. arXiv:2510.26543 — compressibility and property-level clustering of the operator family.