Reconstructing weights could reduce what a model needs to store.
Dimensional Multiplexing starts with a practical constraint: a model can spend more time moving weights from memory than computing with them. The idea is to store a smaller shared set of weights and reconstruct the weights needed for each operation. If those weights share enough structure, additional computation could reduce storage without sacrificing the model's ability to perform the task.
The construction does produce distinct weights from shared stored values. Its storage costs can be counted exactly, including the transforms used for reconstruction, and it can be combined with quantization: representing weights with fewer bits per value. On one balanced synthetic composition task, it matched the performance of a dense INT4 model that required about 4.1 times as much storage. Here, dense means the model stores its weights individually, and INT4 uses four-bit weight values.
That task-specific result did not extend to language models. Across controlled transformer tests, compression of pretrained models and mechanism probes, reconstructing more weights did not outperform conventional models at the same storage budget. This suggests that performance in the tested construction depends more on the independently adjustable information it stores than on the number of weights it reconstructs.
The tested construction reduces storage, but the language experiments falsified the claim that it improves capability per deployed byte. This page uses that phrase to mean language prediction performance relative to the storage required for the whole deployed model.
A smaller stored base, expanded at use.
A logical weight plane is a set of weights reconstructed from a shared base. An address selects the transform that produces each plane. An optional residual stores a local correction, so a plane can differ in ways the shared base and transform cannot express. Here, q selects a plane and j indexes the shared base:
Suppose two bases are used to reconstruct eight planes, as shown above. Changing the address produces a different view of the stored information. It does not, by itself, add independently learned information. Adding a stored correction gives a plane more freedom, but also increases the storage cost. That is the tradeoff the experiments need to measure.
The controlled transformer changes only the feed-forward network (FFN), the part of each layer that transforms individual token representations through two weight matrices and a GELU activation. Attention, embeddings, positional encoding (RoPE), normalisation (RMSNorm), residual paths and the output language head remain conventional. This isolates the effect of replacing the FFN weights.
The tested version uses eight planes, all active on every forward pass, derived from two shared bases. Learned Givens butterflies mix coordinates through structured sequences of pairwise rotations. Optional two-sided low-rank residuals encode local corrections with compact matrix factors. Quantization-aware training (QAT) accounts for four-bit weights during training.
The language tests did not show an advantage at equal storage.
The primary comparison asks whether dimensional reconstruction predicts language better than a dense INT4 model at the same whole-model storage budget. The dense frontier is the measured relationship between storage and prediction loss across the dense controls. The storage multiplier compares the dense storage needed to match a dimensional model's performance with that dimensional model's storage. A value above 1.0x would indicate an advantage.
Training budget also matters. Matching the total number of training tokens and matching tokens per stored parameter answer different questions, because models with different stored parameter counts receive different total training in the second comparison. Those comparisons are kept separate. Test loss is negative log-likelihood (NLL), which measures how poorly the model predicts held-out text; lower is better. The first table reports loss in nats, using natural logarithms.
Controlled transformer at the 20-million-parameter scale
FFN 1024 and FFN 216 denote the widths of the dense feed-forward networks. The dimensional configuration allocates a 10% residual uniformly, giving its reconstructed weights some local freedom.
| Arm | Deployed bytes | Test loss |
|---|---|---|
| Dense INT4 / FFN 1024 | 12.475 MB | 3.33446 |
| Dense INT4 / FFN 216 / equal-byte control | 7.309 MB | 3.59289 |
| Dimensional INT4 / 10% residual / uniform | 7.347 MB | 3.62284 |
The dimensional configuration had 0.02995 nats higher loss than the storage-matched dense control, despite using 0.5% more storage and doing 54% more arithmetic. In the separate comparison at matched total training tokens, its loss was 0.01752 nats higher. Both comparisons favour storing a narrower dense FFN over reconstructing a wider one from shared weights.
At the 50-million-parameter scale, the closely matched equal-byte pair remained unresolved. The storage multiplier could only be bounded at no more than 0.996x because the result fell outside the measured dense frontier. This is a bound, not an exact estimate, and it provides no evidence of an advantage emerging with scale.
A separate eight-configuration sweep varied local residuals and conditional mixing, which combines planes according to the input. More local freedom improved prediction loss, but the extra storage cost outweighed that improvement: the storage multiplier fell from 1.000x to 0.942x. Better predictions alone therefore do not establish better capability per byte.
Pretrained conversion
The representation was also tested by compressing SmolLM2-135M, an existing pretrained model. Each method received the same fitting and recovery process: adapting the compressed weights, then training to recover lost prediction quality. Compression ratios below are relative to the INT4 baseline. Loss is reported in bits per UTF-8 byte of text, so the denominator here is text size, not model storage. Lower loss is better.
| Route | Compression | Final bits / UTF-8 byte |
|---|---|---|
| INT4 | 1.000x | 0.8961 |
| INT3 | 1.151x | 0.9350 |
| INT2 | 1.357x | 1.0497 |
| Structured pruning | 1.742x | 1.0894 |
| Dimensional sharing | 1.743x | 1.0951 |
Dimensional sharing compressed this model further than the tested lower-bit quantization methods. But structured pruning, which removes groups of model parameters, achieved essentially the same compression with slightly lower loss and a simpler construction. The higher compression ratio therefore does not establish an advantage specific to dimensional sharing.
What the experiments support.
The supported findings concern specific tasks, storage accounting and the recovery process. They remain useful, but none reverses the negative result for language capability per deployed byte.
Exact byte accounting
The storage budget includes values, quantization scales, transforms, residuals, metadata, biases and padding. Sharing can be combined with quantization, but that compatibility alone says nothing about prediction quality.
Structured composition can benefit
On one synthetic composition task, a dense INT4 model needed about 4.1x the dimensional model's deployed storage to match its performance. This advantage did not transfer to language.
Local freedom matters
Allowing selected weights to vary independently, and learning how to mix coordinates, can help on tasks with compatible structure. How much local freedom helps depends on the task.
Recovery needed fewer training tokens
The revised process calibrates layers in sequence using their activations, trains against a teacher model's predictions, and uses a cosine learning-rate schedule. It reached lower loss after 30M recovery tokens than the previous process reached after 75M. This improvement comes from the recovery process and is not specific to dimensional sharing.
Reusable engineering results
- Weight-space reconstruction is preferable to expanding activations for this implementation.
- Measure the full training step, because timing an isolated GPU operation does not establish an improvement in the complete system.
- CUDA Graph capture, fused AdamW updates and selected Triton epilogues improved the research implementation by reducing execution overhead and combining operations.
- Correctness checks on computation and stored model data caught defects that changed scientific conclusions.
The measurements constrain possible explanations.
Measured FFN weight directions have little alignment.
Mean absolute cosine similarity measures how closely weight vectors align, regardless of sign. Within a layer it was 0.0397, compared with 0.0333 for random directions; across layers it was 0.0348. These values show little alignment under this measure. They do not rule out every form of shared structure.
More expressive transforms add storage cost.
The shared base, transforms and corrections must together cost less than directly storing the weights. Richer transforms can fit more structure, but their stored parameters reduce the saving. In the measured construction, a full rotation required 1.50x as many values as one plane and still left 58% relative reconstruction error.
Storing plane differences did not improve the equal-budget result.
Suppose the shared reconstruction is imperfect. Storing the difference might still help if that difference is cheaper to encode than the weights themselves. Across seven encoding methods and a fourfold range of bit rates, this approach produced zero wins in 40 functioning comparisons against directly quantizing the full-width weights at the same bit budget.
Taken together, these results suggest a limit in the tested construction: compact transforms did not express enough of the needed weight differences, while more expressive transforms used up the storage saving. Reconstructing many distinct weights therefore did not produce the capability of an independently learned model of that width. This interpretation is bounded by the tested transforms and tasks.
Keep failed hypotheses and withdrawn claims visible.
This register records what was tested and why each claim was retained, falsified or withdrawn. A new proposal needs to explain what changes and why that change predicts a different outcome. Learning from a failed hypothesis does not make the hypothesis successful. Invalid or quarantined evidence cannot support a mechanism claim, and open claims remain unproven.
| Claim | Question | State |
|---|---|---|
C-0001 | Transforms selected by an address produce distinct weights that can be used in computation. | Supported |
C-0002 | Adding address bits increases independently learnable capacity exponentially. | Falsified |
C-0003 | Greater effective rank, a measure of the dimensions used by a representation, implies greater capability. | Falsified |
C-0004 | Logical expansion improves capability per deployed byte over a storage-matched dense control. | Falsified |
C-0005 | Allowing a small amount of independent local variation can improve shared planes. | Supported / task-bounded |
C-0005 | Coordinate mixing is useful. | Supported / task-bounded |
C-0007 | Conditional plane mixing generalises. | Falsified as a general claim |
C-0007 | Sparse mixture-of-experts (MoE) routing, which activates selected planes, provides a general capability advantage. | Falsified as a general route |
C-0008 | Dimensional Multiplexing beats dense INT4 at equal bytes on language. | Falsified |
C-0011 | The advantage improves with scale. | Falsified / mis-posed |
C-0006 | Sharing stacks beneficially with lower-bit quantization. | Falsified functionally |
C-0012 | Sharing beats pruning when converting a trained model. | Falsified |
C-0014 | Sharing across layers overcomes the limit found when sharing across neurons within a layer. | Falsified |
C-0015 | Plane differences can be encoded more cheaply than the weights. | Falsified as a rate claim |
C-0013 | Better recovery materially improves compressed models. | Supported |
C-0016 | Deployment throughput is proven. | Open |
C-0017 | A novel dimensional mechanism can improve capability per deployed byte outside the tested construction family. | Open |
Full negative / withdrawal register31 records
| Avenue or claim | Disposition | Evidence or reason |
|---|---|---|
| Exponential capacity from address bits | Falsified | With b address bits, the additive construction spans at most b+1 dimensions; its derived states are correlated. |
| Effective rank as the capability objective | Falsified | The compositional model had higher effective rank but performed worse than the dense control. |
| More transform stages as the primary fix | Falsified | Weight reconstruction improved, but performance after training did not. |
| More shared bases | Falsified as plateau fix | Adding bases did not overcome the performance ceiling at matched storage. |
| Instantaneous gradient conflict as an allocation rule | Weakened | Conflicting training updates were observed, but did not predict where allocating capacity would help. |
| Longer training as the universal explanation | Falsified | Did not remove the small-task plateau; later recovery gains came from process, not duration alone. |
| Continuing training from a dense initialisation | Falsified | An identity control with matched training explained the apparent gain. |
| Fixed sharing rate everywhere | Falsified | The best amount of local residual freedom was between the tested extremes and depended on the task. |
| Per-weight DFC as a deployment method | Rejected | The metadata cost per weight was disproportionate compared with four-bit weight storage. |
| Sparse MoE routing as a general improvement | Falsified | Benefits depended on the task. It failed on spectral regression, and activating all planes performed better. |
| Conditional mixer as universal component | Falsified | The composition-task advantage did not transfer; language loss worsened significantly without local residuals. |
| Mixer compression | Mostly failed | Compressing the mixer removed or degraded its useful input-dependent behaviour for little storage gain. |
| Checkpointed 63-configuration transformer sweep | Invalid | A late-binding closure bug in the checkpointed code corrupted gradients, invalidating the results. |
| Butterfly reconstruction error as capability predictor | Falsified | The prediction failed on held-out cases; the performance ordering nearly reversed. |
| Block-diagonal rotation | Rejected | The transform was faster and smaller and reconstructed weights better, but loss after training was worse. |
| Dimensional INT2 | Rejected | Combining sharing and two-bit quantization incurred both performance penalties, plus an additional negative interaction. |
| Residual individuality restores capability per byte on language | Falsified | Absolute loss improves while storage multiplier falls monotonically. |
| Conditional mixing closes the transformer gap | Falsified | No tested architecture configuration exceeded a storage multiplier of 1.0x. |
| Scaling will reveal a latent advantage | Falsified to 50M | The trend was flat, with an upper bound of 0.996x at 50M from the measured dense frontier. No from-scratch language training above 50M was measured. |
| Combining pruning and sharing | Falsified | At the same storage budget, the tested arrangements differed by no more than 0.0224 bits per byte of text. |
| Sharing recovers faster than pruning | Withdrawn | Pruning had not received activation-aware fitting. |
| Sharing is 2.3x less damaging than INT2 | Withdrawn | INT2 had not received the recovery process. |
| Varying rank allocation by layer | Falsified as material lever | A large difference before recovery training became only +0.0018 after recovery. |
| Depth multiplexing | Falsified | The storage multiplier was 0.9838x, with 41% more arithmetic under tightly matched controls. |
| Plane collapse explains equal performance | Falsified | Changing plane diversity by 1.8x produced effectively identical loss. |
| Weight decay explains equal performance | Falsified | Removing the asymmetry in weight decay still produced equal performance. |
| Plane differences are cheaper to encode than weights | Falsified as a rate claim | Seven encoding methods produced no wins among functioning comparisons at equal bit budgets. |
| Cluster similar neurons to ease sharing | Falsified | Clustering reduced weight reconstruction error but worsened prediction loss. |
| Orthogonal spread improves performance without added cost | Withdrawn | The partial-run result for positional grouping did not replicate across grouping conditions. |
| PDACA recurrence/operator-diversity evidence | Quarantined | This precursor evidence was unverified and interpreted after the experiment; it does not support the mechanism. |
| Capability equals distinct learned parameter count | Withdrawn | How storage is allocated affects its value: local freedom can improve prediction loss while worsening capability per byte. |
How the comparisons became more demanding.
Inception
Establish that address-selected transforms create distinct functional states, then determine the limits of the independent-capacity claim.
Local freedom
Add local residual corrections and coordinate transforms. These help on some tasks, but do not overcome the general performance ceiling.
Capability per byte
Compare performance using whole-model deployed storage and the measured relationship between dense model size and loss.
Controlled transformer
Change only the FFN in a controlled transformer implementation, with exact storage accounting and checks on the full training path.
Language result
Run equal-byte controls at 20M and 50M. Logical expansion does not beat stored dense capacity.
Pretrained conversion
Compare sharing, pruning and quantization after giving each method the same fitting and recovery process.
Mechanism limits
Measure weight alignment, transform cost, plane diversity and the cost of encoding corrections to investigate the performance ceiling.
New mechanism search
Investigate constructions that make different predictions about where an advantage could arise.
Next tests need a reason to predict a different outcome.
The project remains active. Some tests examine unresolved choices within the current construction; others investigate different mechanisms or types of stored state. These are proposed tests and research directions, with no demonstrated advantage yet.
Plane-count sweep
Test 4, 8 and 16 planes while holding the stored base and deployed-byte budget constant. The current prediction is unchanged capability with increasing computation. This tests whether the result at eight planes extends to other expansion ratios.
Function-optimised neuron assignment
Test whether the choice of neurons assigned to each plane changes performance. Compare their existing order, random assignment, grouping by similarity, grouping to spread diversity, and assignment optimised for model behaviour. Apply identical recovery to each grouping.
Correlated function families
Test whether functions that already share structure are easier to represent with shared weights. Candidates include related task adapters, expert networks, language-specific adaptations and checkpoints from different training stages. Any advantage remains a hypothesis.
Adaptive reconstruction
Test reconstruction that depends on the current input, through activation-conditioned weight generation, repeated refinement or conditional updates represented by small matrix factors. The hypothesis is that extra computation could help because it changes the function applied to an input, beyond reconstructing a fixed set of weights.
Different memory objects
Investigate intermediate activations and the key-value (KV) cache, which stores attention state from previous tokens. The hypothesis is that local correlations in these states could make reconstruction useful where weight sharing was not. Their memory cost is particularly relevant for long contexts.
Capability beyond average prediction loss
Construct tasks with explicit sets of valid hypotheses. Measure how much probability the model assigns to that set, how it distributes probability within the set, and whether it collapses to one explanation after evidence arrives. This separate measurement programme does not provide evidence for the architecture.
Fused reconstruct-and-consume inference
An analytical projection for a 70-billion-parameter INT4 model suggests that token generation could still be limited by memory bandwidth after adding reconstruction work. If so, reducing weight transfers could improve throughput. That prediction remains unbenchmarked: no fused reconstruct-and-consume kernel or 70B dimensional checkpoint currently demonstrates it.
Where the evidence stops.
- From-scratch language training was measured at 20M and 50M only.
- SmolLM2-135M was used for pretrained compression, not an equivalent from-scratch campaign.
- Language capability is measured by prediction loss on held-out FineWeb-Edu text. Performance on downstream tasks has not been established by this measure.
- The controlled transformer changes the FFN rather than every memory-bearing component.
- The positive small-task composition result remains real even though it did not generalise.
- Varying the number of planes and testing neuron assignments under matched recovery remain open directions.
- Adaptive reconstruction and different memory objects lie outside the present falsification.
- Large-model storage and decode gains remain structural or projected, not measured deployment results.
Shared bases, cheap address-selected transforms and small corrections included in the storage budget have not increased language-model capability per deployed byte over conventional alternatives.
The evidence does not justify the broader claim that learned computation can never trade for stored weights.Experiment records behind this account.
Experiment records, machine-readable results, claim dispositions and supporting artifacts are maintained in the public project repository. Experiment and claim identifiers used here correspond to immutable public records.
E-0011— Transformer mechanism sweepE-0012— Transformer scale probeE-0013— Pretrained compression and recovery comparisonE-0015— Depth multiplexingE-0016— Activation-aware recovery processE-0018— Plane coherence and angle decayE-0019— Plane rate-distortion
Evidence outside the public repository is labelled unpublished. Internal filenames are omitted from this account.