Multivariate Structural Curriculum
Implementation & benchmark of arXiv:2609.02932 — Enumerating Chemical Structures, Stereoisomers, and Stereogenic Units with Analytic Combinatorics
Source paper: Enumerating Chemical Structures, Stereoisomers, and Stereogenic Units with Analytic Combinatorics arXiv:2609.02932 ⓘ · analyzed Sep 4, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Use a multivariate generating function to construct training examples or network variants with an exactly controlled amount of a structural attribute, such as graph branching, routing depth, skip connections, or the number of experts activated. Train by gradually changing the target coefficient slice instead of relying on an uncontrolled random curriculum.
Formulas
Mathematical statement
The paper extends ordinary generating functions to several variables: if \(z\) marks object size and \(u\) marks a structural unit, then \(F(z,u)=\sum_{n,k}f_{n,k}z^nu^k\), where \(f_{n,k}\) counts structures of size \(n\) containing exactly \(k\) marked units and \([z^nu^k]F(z,u)=f_{n,k}\). The paper explicitly uses a bivariate specification for stereogenic units and an achiral recursive class \(\mathcal{A}^a_n=\mathsf{Z}+\mathsf{Z}\times\mathcal{A}^a_n+\mathsf{Z}\times\Delta_2(\mathcal{A}_n)+\mathsf{Z}\times\mathcal{A}^a_n\times\Delta_2(\mathcal{A}_n)\), together with \(\mathcal{A}_n=\mathsf{Z}+\mathsf{Z}\times\mathcal{A}_n+\mathsf{Z}\times\mathcal{A}_n\times\mathcal{A}_n+\mathsf{Z}\times\mathrm{CYC}_3(\mathcal{A}_n)\). Here \(\Delta_2\) is the paper's diagonal or equality construction coupling two copies of a class, enforcing a symmetry constraint. Adapt \(u\) to mark a neural property such as every binary merge or expert-routing decision. Coefficients provide an exact reservoir from which batches can be stratified by \((n,k)\), while symmetry-coupled constructions generate balanced paired or invariant examples.
Implementation notes
Integrate this into synthetic graph-data generation or MoE/router curriculum construction. Choose z to mark total graph nodes or computation blocks and u to mark one controllable feature: branching nodes, skip connections, active experts, or long-range edges. Build a recursive grammar whose constructors add powers of z and optionally u; for example, a leaf contributes z, unary composition contributes zA, binary merge contributes zuA^2, and an unmarked merge contributes zA^2. Store a two-dimensional table f[n,k] by polynomial convolution, truncating at maximum size N and attribute count K. To sample a batch with exact target (n,k), backtrack through constructor choices with probability equal to each constructor's number of valid child decompositions divided by f[n,k]. Use the diagonal construction operationally as choosing one canonical subtree and reusing or mirrored it in a coupled branch, thereby producing tied or invariant structures instead of independently sampled branches. Begin training with low k, then increase the target distribution over k, or mix coefficient slices uniformly so frequent easy structures do not dominate. The coefficient table and sampling probabilities are mathematical; task difficulty, augmentation semantics, and the schedule are empirical. Test on CIFAR-10 or a synthetic graph-classification benchmark with a six-layer GNN, comparing this curriculum against iid random graphs matched for node count. Track validation accuracy on held-out high-branching graphs, calibration across k, and learning curves at equal examples. Success is improved extrapolation to rare structural regimes without degrading performance on ordinary graphs.
Verification
This idea has not been verified yet.
Verification happens in two stages: Stage 1 — a mechanism check on a toy system confirms the claimed mathematical phenomenon reproduces; Stage 2 — a benchmark implements the idea on a real (small) neural network task and compares it against a tuned baseline over 8 paired seeds with a permutation test.
Artifacts
Artifacts unavailable.