Trace-Polytope Diversity Regularizer
Implementation & benchmark of arXiv:2607.11540 — Tropical Circuits with Scalar Multiplication Gates
Source paper: Tropical Circuits with Scalar Multiplication Gates arXiv:2607.11540 ⓘ · analyzed Aug 30, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Use the trace representation of a maxout network to regularize the geometry of its generated coefficient vectors. Encourage active traces to be diverse and nonredundant, so the model spends parameters on genuinely different supporting hyperplanes rather than branches that collapse to the same linear function.
Formulas
Mathematical statement
An STC has input gates corresponding to \(0,e_1,\ldots,e_d\), plus gates for vector addition, max gates for convex-hull union, and positive scalar gates for dilation. Let \(\mathcal{T}\) be the set of traces obtained by selecting one predecessor at every max gate, and let \(a_T\in\mathbb{R}^d\) be the coefficient vector of trace \(T\). Lemma 3.4 states \(f_\Phi(x)=\max_{T\in\mathcal{T}}a_T^\top x\) and \(P_\Phi=\operatorname{conv}\{a_T:T\in\mathcal{T}\}\). Thus the function depends on the convex hull of trace vectors, not on the raw number of branches. For a minibatch \(X=\{x_b\}_{b=1}^B\), define the active trace \(T_b=\arg\max_Ta_T^\top x_b\), deduplicate active vectors, and penalize near-duplicate traces. The regularizer targets redundant geometric capacity while leaving the maxout function class unchanged.
Implementation notes
Integrate the regularizer after the final maxout or monotone maxout layer, using branch coefficient vectors rather than only scalar activations. For a one-layer maxout unit, \(a_T\) is the branch weight vector. For a multilayer network, reconstruct an approximate trace by backtracking the winning predecessor index at every max gate and composing the selected affine coefficients through the network. During the forward pass, save each max operation's argmax index. For every minibatch input \(x_b\), backtrack its winning trace \(T_b\); let \(\mathcal{A}\) be the set of unique winning traces and let \(a_T\) denote their coefficient vectors. Deduplicate vectors whose Euclidean distance is below tolerance \(\epsilon\), then compute pairwise distances and add \(\lambda_{\mathrm{div}}\mathcal{L}_{\mathrm{div}}\), where \(\tau\) is a distance scale. Pseudocode: run the network and save argmax indices; for each sample backtrack the winner and compute \(a_T\); deduplicate active traces; calculate the exponential pairwise penalty; add it to task loss and backpropagate. The paper supplies the exact trace/polytope identity; the diversity penalty and minibatch active-trace estimator are the ML adaptation. Start with a small maxout MLP on CIFAR-10 or synthetic convex regression, comparing no regularizer and branch entropy regularization. Track validation loss, number of distinct active traces, pairwise coefficient distance, and inference FLOPs. Success means equal accuracy with fewer active traces, or improved accuracy at fixed branch count.
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.