Compress representations of graph fragments according to their empirical edge-connection rank instead of using a generic hidden dimension. For fragments with t open ends, learn only the quotient space of boundary behaviors that remain distinguishable after gluing, producing a compositional graph network whose boundary-state dimension is capped by an estimated R^t.
Augment standard pairwise attention composition with a shared ternary correction m_3(a,b,c), so two different parenthesizations of a three-token or three-edge composition need not agree exactly but are forced to differ by a learned bounded correction. This gives the network a structured way to represent context-dependent compositionality without replacing efficient quadratic attention with unrestricted third-order attention.
Replace Monte Carlo differentiation through a small categorical latent variable with exact reverse-mode propagation over all supported branches. The differentiated computation carries each branch's value and probability weight, and the reverse pass accumulates gradients from both the branch output and the branch probability.
Attach each token or graph node a discrete grade a in a finite group A, and modify attention value composition with a normalized group 2-cocycle rather than independent pairwise gates. The cocycle provides a globally consistent projective interaction rule, so composing three messages gives the same result under either parenthesization. This may improve relational reasoning while reducing the number of freely learned interaction parameters.
Introduce a small auxiliary certificate state for selected attention or message-passing edges, analogous to the dg generator z, whose decoded value is trained to equal the composition of two neighboring transformations. Penalize violations of this differential relation and use the certificate residual to gate unstable two-hop paths. This creates an algebraically checkable regularizer for multi-step reasoning rather than another generic consistency loss.
Construct a shared latent transformation as a neural monad-like operator Γ=Ω∘Σ, and expose its iterates Γ^{q+1}Y as a refinement trajectory rather than stacking unrelated layers. Aggregate the resulting representations with a learned or fixed realization weighting, while training an algebra-action map θ:ΓY→Y to make one-step refinement compatible with the original representation. This creates a shallow-parameter, arbitrarily deep computation path with explicit compositional…
Train a predictor on quotient-consistent tangent jets rather than only on transformed samples. Generate several local representatives of the same orbit, compute first-order feature perturbations, and aggregate them through a shared tangent module before prediction. This gives a structured alternative to treating augmented views as independent examples and can improve robustness to composed transformations.