Answers problem 1
ShellElastic: one full-width pass contains every sub-network
ShellElastic divides the residual stream into a dense core followed by ordered shells, and each sub-network is the core plus a prefix of the shells. Our main model has a 512-dimensional core and four 128-dimensional shells, giving five sub-networks of widths 512 to 1024. Every hidden matrix is block lower triangular, so a shell reads the core, the earlier shells and itself, but never a later shell; normalization acts within each group, attention heads align with the group boundaries, and every supported width has its own readout (Figure 1).
Every operation of the trunk therefore preserves the prefixes that end at group boundaries: the hidden states of each sub-network are exactly the first dimensions of the full-width ones (Proposition 1). One full-width pass thus yields the same joint loss and gradients as separate passes of all sub-networks. The per-step compute stays close to that of a single full-width pass, every step has the same computation graph, parameter access pattern and workload, and after training each sub-network is extracted as a standalone transformer that reproduces its supernet logits exactly.
Paper §3.1, §3.3 · proof in App. B
Answers problems 2 and 3
μ-Elastic: scale every group by the width it reads
μP scales a weight’s initialization and learning rate with its fan-in, the width of the input it reads; in an elastic model, the same weights serve several widths. In ShellElastic, however, the block row that produces a group reads the same input prefix in every sub-network that contains it, so its fan-in is well defined. μ-Elastic scales each group by this fan-in relative to a non-elastic proxy of width d₀, on which σ₀, η₀ and λ₀ are tuned: the ratio q = m · s combines a μ-Transfer factor m = g/d₀ with a μ-Internal factor s, the supported boundary of a hidden weight’s output group or a readout’s own width index. Hidden weights and readouts then take initialization σ₀/√q, learning rate η₀/q and weight decay λ₀q, with extra factors for the FFN down projection (Figure 2, Table 1).
Under the standard heuristic assumptions of μP, this keeps every group maximally updated in every sub-network at once (Theorem 1), which no rule shared by all groups can do in general (Proposition 2), and it keeps doing so when the supernet is widened or given more shells, so the proxy’s HPs can be reused (Corollary 1). The theory fixes the scales of initialization and updates, not the optimal values; whether the proxy’s values stay near-optimal is tested by experiment (Figure 3).
Paper §3.2 · proofs in App. C · other elastic architectures in App. D