aiqbench analysis
This research establishes precise mathematical conditions under which compressed vector embeddings can exactly recover truth conditions for predicates, bridging the gap between geometric separability and logical consistency in natural language models. The study demonstrates that while pretrained models like GloVe and word2vec achieve linear separability, they fail to admit exact affine readouts without additional supervised training, which successfully recovers these properties at minimal dimensional costs.
Exact semantic readout from compressed vector representations
arXiv:2609.18047v1 Announce Type: new Abstract: We characterize when compressed vector representations admit exact linear or affine readouts of a finite lexicon's truth conditions: one fixed map per predicate, sending each entity vector to the corresponding truth vector. A necessary and sufficient row-space condition determines existence; the augmented truth matrix has rank r, giving minimum dimension r in the linear case, and r-1 in the affine. Exact readouts return values in a shared truth basis on which Boolean connectives act unchanged; separability alone requires an intervening threshold. For binary relations, exact bilinear readout of identity or strict total order requires linearly independent entity vectors. Experiments with GloVe and word2vec distinguish exact affine recovery, linear separability, and held-out prediction: most predicates are strictly separable, but none admits an exact affine readout from the pretrained embeddings. Supervised transductive training attains exact affine recovery to numerical precision at every tested dimension meeting the bound. At the embeddings' original dimension, geometries constrained to exact linear recovery retain 98-99 percent of the pretrained variance on the feature norms, and 80-83 percent on the WordNet lexicon.
Abstract:We characterize when compressed vector representations admit exact linear or affine readouts of a finite lexicon's truth conditions: one fixed map per predicate, sending each entity vector to the corresponding truth vector. A necessary and sufficient row-space condition determines existence; the augmented truth matrix has rank r, giving minimum dimension r in the linear case, and r-1 in the affine. Exact readouts return values in a shared truth basis on which Boolean connectives act unchanged; separability alone requires an intervening threshold. For binary relations, exact bilinear readout of identity or strict total order requires linearly independent entity vectors. Experiments with GloVe and word2vec distinguish exact affine recovery, linear separability, and held-out prediction: most predicates are strictly separable, but none admits an exact affine readout from the pretrained embeddings. Supervised transductive training attains exact affine recovery to numerical precision at every tested dimension meeting the bound. At the embeddings' original dimension, geometries constrained to exact linear recovery retain 98-99 percent of the pretrained variance on the feature norms, and 80-83 percent on the WordNet lexicon.
Computation and Language (cs.CL); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)
F.4.1; I.2.7; I.2.6
arXiv:2609.18047 [cs.CL]
(or arXiv:2609.18047v1 [cs.CL] for this version)
https://doi.org/10.48550/arXiv.2609.18047 Focus to learn more arXiv-issued DOI via DataCite (pending registration)
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.
Full text under the publisher's open licence · 280 words
Related coverage
ICE: Task-Aligned Clifford Latent Fields for Multimodal Graph Foundation Models
arXiv · Sep 26, 2026
MSE loss does not generate superposition
LessWrong · Jul 27, 2026

The payload: the semantic layer, memory, and the loop that fills it
Neo4j · Aug 10, 2026
Intuition vectors
arXiv · Sep 30, 2026