Solves: Scalability

Machine-learning ideas tagged Scalability in the Solves taxonomy of the Math2NN corpus.

Unverified 2026

Amortized low-rank Laplace hyperparameter marginalization

Replace repeated full-curvature factorizations when evaluating many Bayesian neural-network hyperparameter settings with one shared low-rank approximation of the data-induced precision update. Reuse the same curvature subspace while changing prior precision, observation-noise precision, or layerwise regularization, evaluating each candidate through a small rank-r matrix and Woodbury solves.

Useful6/10
Difficulty5/10
Novelty5/10
Paper: Amortized low-rank approximation for hyperparameter marginalization in PDE-governed Bayesian inverse problems arXiv:2607.03355
Unverified 2026

Sound active-neuron pruning for SDP verification

Reduce the SDP dimension by removing ReLU neurons that are provably inactive, always active, or incapable of changing the current worst-case margin. The verifier keeps exact affine substitutions for fixed-sign neurons and retains only genuinely unstable neurons whose activation can cross zero under the perturbation set. A stronger optional rule removes an unstable neuron when its certified maximum possible contribution is below a user-controlled tolerance, with an exact mode that prunes only…

Useful6/10
Difficulty5/10
Novelty6/10
Paper: Fast SDP certification of neural networks : towards large multi-class datasets arXiv:2607.03232
Unverified 2026

Kolmogorov-Lie Unitary Layer

Build an input-conditioned unitary transformation as an ordered product of exponentials of anti-Hermitian matrices, with each factor controlled by a univariate function of one input coordinate or one learned scalar projection. This replaces a dense multivariate matrix-valued controller with separable scalar nonlinearities while preserving exact unitarity at every forward pass.

Useful6/10
Difficulty6/10
Novelty7/10
Paper: Quantum Kolmogorov--Arnold representation theorem for continuous unitary-valued maps arXiv:2607.03187
Mechanism works 2026

Degree-Corrected Hierarchical Router

Replace a flat MoE or graph-pooling assignment with recursive partitions selected by interaction evidence after removing each item’s expected degree effect. Tokens, nodes, or examples that are frequently active for purely popularity-related reasons should not automatically form an expert or cluster. Recursion stops when a candidate split has nonpositive degree-corrected evidence, producing an adaptive hierarchy rather than a fixed number of equally sized groups.

Useful6/10
Difficulty6/10
Novelty7/10
Paper: Community structure of the pseudofractal web arXiv:2607.03010
Mechanism failed 2026

Projective Pareto Continuation for Multi-Task Training

Replace repeated multi-task training runs at different loss weights with pseudo-arclength continuation over stationary solutions of the weighted objective. Use homogeneous objective weights so that the algorithm can cross points where the conventional ratio of task weights diverges, then store the resulting network checkpoints as an approximate Pareto set.

Useful6/10
Difficulty8/10
Novelty7/10
Paper: Singularities in Multi-Objective Optimization and their Crossing during Continuation arXiv:2607.02803
Mechanism failed 2026

Strongly Connected Sparse Routing

Replace independent soft MoE router decisions with locally consistent categorical supports across overlapping token contexts, and bias the router toward supports that are strongly connected. A strongly connected support scenario cannot be reduced to a smaller nontrivial support while preserving local surjectivity, so the resulting routing distribution is encouraged to be an extremal point rather than a diffuse mixture of routing policies.

Useful6/10
Difficulty6/10
Novelty8/10
Paper: Possibilistic collapse and extremality of simplicial distributions arXiv:2607.02754
Unverified 2026

Singularity-Enriched Neural Ansatz

Add an explicit local power-law singular basis to a neural field near mixed Dirichlet-Neumann junctions, allowing the neural network to learn only the smoother remainder. Use the predicted or fitted singular exponent to concentrate collocation points near the junction. This directly targets the regularity bottleneck identified by the paper, where increasing polynomial degree or network capacity cannot overcome a convergence cap under uniform resolution.

Useful6/10
Difficulty5/10
Novelty7/10
Paper: A Unified CutFEM Formulation for Finite-Strain Elasticity: Energy Minimisation and Corner Singularities arXiv:2607.02334
Unverified 2026

Energy-Derived Nitsche Neural Fields

Represent a solution on an unfitted domain with local neural subnetworks and train them using one augmented energy containing the bulk physical energy, symmetric Nitsche boundary or interface terms, and a derivative-jump ghost penalty. Automatic differentiation of this scalar objective supplies all gradients and avoids independently tuning inconsistent PDE residual, flux, and boundary losses. The method is especially suited to moving geometries, cut-cell domains, and domain-decomposed neural…

Useful6/10
Difficulty5/10
Novelty6/10
Paper: A Unified CutFEM Formulation for Finite-Strain Elasticity: Energy Minimisation and Corner Singularities arXiv:2607.02334
Mechanism failed 2026

Phase-Locked Bursting Cell

Use the paper's third-order phase-locked-loop equations as a recurrent neuron instead of a leaky integrate-and-fire unit. Emit a spike whenever the phase crosses a chosen threshold, allowing one state trajectory to represent both slow burst envelopes and fast within-burst oscillations.

Useful6/10
Difficulty5/10
Novelty7/10
Paper: Electronic Bursting Neuron: design, equations and hardware implementation arXiv:2607.02122
Unverified 2026

Expander OMP Sparse Inference

Use the expander decoder as a structured sparse-coding dictionary and replace dense OMP correlation steps with edge-wise gather-and-reduce operations. This is useful when codes must be inferred iteratively, including interpretable feature extraction, sparse retrieval, or an inference-time latent selector that cannot rely entirely on an amortized encoder.

Useful6/10
Difficulty4/10
Novelty6/10
Paper: Expander Sparse Autoencoders: Parameter-Efficient Dictionaries for Mechanistic Interpretability arXiv:2607.01799
Unverified 2026

Orthogonal-Rank Contextual Memory

Replace a discrete or one-hot recurrent state table with a low-dimensional vector memory whose event embeddings are orthogonal whenever the corresponding events are mutually exclusive in an input exclusivity graph. The module uses continuous state vectors and can therefore target dimension \(d=\xi(G)\), whereas a discrete state encoding is lower-bounded by \(N\geq\chi(G)\). This should be tested on graph-defined formal-language recognition tasks, where the graph is known and the claimed…

Useful6/10
Difficulty6/10
Novelty7/10
Paper: Quantum Memory Advantage from Contextuality arXiv:2607.00507
Unverified 2026

Independent-Simplex Hypergraph Router

Use the paper's edge-to-area incidence structure to choose a small set of geometrically independent simplices instead of processing every possible hyperedge. A greedy rank-increasing router retains a triangle only when its Jacobian adds a new direction, reducing higher-order message-passing cost while preserving diverse geometric information.

Useful6/10
Difficulty6/10
Novelty7/10
Paper: On volume vectors determined by hypergraphs in thin subsets of Euclidean space arXiv:2607.00153
Unverified 2026

Collision-Aware Subset Attention

Replace ordinary one-token-to-one-expert or one-token-to-one-attention routing with a local latent subset router: a pooled observation can be explained by a compatible subset of tokens. Pairwise compatibility scores assign probability to subsets, and each token receives the marginal probability that it belongs to the selected subset. This should help when tokens represent overlapping objects, occluded entities, or multiple features that should be processed jointly.

Useful6/10
Difficulty5/10
Novelty6/10
Paper: Gaussian Belief Propagation for Tracking With Unresolved Measurements arXiv:2606.31716
Unverified 2026

Fast-Class MoE Router

Replace a flat stochastic MoE router by a two-level continuous-time routing model: experts within a group communicate rapidly, while transitions between groups occur slowly. Use the effective class-level stationary distribution as a soft load-balancing prior, reducing routing oscillation while preserving expert specialization.

Useful6/10
Difficulty6/10
Novelty6/10
Paper: The Invariant Measure of Multiscale Markov Chains via Fast Arborescence Factorization arXiv:2606.31596
Unverified 2026

Truncated Volterra Stabilizer for Recurrent Blocks

Augment a recurrent or state-space layer with a finite-order causal Volterra compensator that models and cancels dominant nonlinear feedback around a stable linear transition. Use quadratic terms by default and add cubic terms only when the model must operate farther from equilibrium, making truncation order an explicit compute and robustness control.

Useful6/10
Difficulty5/10
Novelty7/10
Paper: Approximate Feedback Linearization for a Nonlinear Hyperbolic PDE Class -- Part I: Volterra Truncation arXiv:2607.04361
Mechanism works 2026

Modular collision-free sparse attention

Replace dense attention between grid-arranged tokens by a deterministic block-sparse pattern generated from modular permutations. In each block, connect row token i to column token p(i)=2i modulo B; because i, i-p(i), and i+p(i) are injective modulo B when gcd(B,6)=1, the pattern avoids repeated horizontal, vertical, and diagonal projections. Use shifted permutations across heads to increase receptive-field coverage while retaining structured sparsity.

Useful6/10
Difficulty4/10
Novelty6/10
Paper: Closing the gap and settling the problem of queens on an $n\times n$ board, each attacking at most one other arXiv:2608.27432
Unverified 2026

Minkowski-Additive Convex Latents

Store a convex object as a direction-indexed vertex tuple and implement composition of objects through componentwise Minkowski addition and nonnegative scaling. This creates a structured residual or compositional layer where convexification is nonexpansive, making perturbation amplification controllable and avoiding repeated generic geometric optimization.

Useful6/10
Difficulty4/10
Novelty8/10
Paper: Galerkin approximations to the space of convex bodies by polytopes in nondegenerate V-representation arXiv:2608.26615
Unverified 2026

Dual-Rail Ratio Arithmetic Layer

Replace scalar neural activations by pairs of nonnegative channels whose ratio represents the signed or unsigned activation. Implement multiplication and addition through pair algebra, and renormalize each pair because the representation is invariant under multiplying both rails by the same positive scalar. This creates an explicitly bounded, cancellation-aware arithmetic layer for deep multiplicative MLPs, rational networks, and neural fields.

Useful6/10
Difficulty5/10
Novelty7/10
Paper: Instantaneous arithmetic computation via ratio-encoding in chemical reaction networks arXiv:2608.26305
Unverified 2026

Carleman-Lifted Polynomial State Space

Replace a standard nonlinear recurrent transition with a truncated Carleman lift containing levels $z_j\approx u^{\otimes j}$, coupled by linear maps that represent quadratic, linear, and forcing terms. The resulting transition is linear in the lifted state but still expresses nonlinear dynamics in the original state, while the highest-order omitted interaction supplies an explicit truncation-defect signal that can be used for adaptive order selection or regularization.

Useful6/10
Difficulty6/10
Novelty7/10
Paper: Fast-forwarding quantum algorithms for weakly nonlinear dissipative differential equations and beyond arXiv:2608.25822
Unverified 2026

Continued-Fraction Lacunary Features

Replace random Fourier features or a dense sinusoidal positional encoding with a compact bank whose frequencies are the continued-fraction denominators of an irrational number. Inverse-frequency amplitudes provide multiscale structure with a controlled sub-Lipschitz regularity profile, while lacunarity reduces the number of frequencies needed to represent oscillatory structure.

Useful6/10
Difficulty3/10
Novelty5/10
Paper: Regularity, quantitative deviation, and non-rigidity of a lacunary skew product arXiv:2608.25821
Unverified 2026

Biclique-free hierarchical attention

Replace dense token-to-token attention by a learned binary relation generated from a small number of hierarchical predicates, while rejecting masks that contain a fixed K_{t,t} biclique. The paper's incidence bound predicts near-linear active edges for these structured relations, giving sparse attention with a measurable worst-case complexity target rather than relying only on average sparsity.

Useful6/10
Difficulty6/10
Novelty6/10
Paper: Almost-linear Zarankiewicz bounds in $1$-semi-equational theories arXiv:2608.25464
Unverified 2026

Truncated-Fourier Domain Pooling

Replace ordinary masked mean pooling with a Fourier-compressed quadrature operator for arbitrary two-dimensional or three-dimensional domains. The geometry is preprocessed once into reusable grid weights, allowing every channel and every training example using the same domain to be pooled without boundary-area bias.

Useful6/10
Difficulty3/10
Novelty7/10
Paper: "Truncated Fourier Filtering" method for fast and high-order evaluation of integrals and convolutions in general domains arXiv:2608.25264
Unverified 2026

Noncrossing Brace Attention

Replace unconstrained combinations of several attention or adapter operations with a brace-style composition that inserts each operation into a distinct ordered interval of a base sequence. The resulting computation preserves the order of host and inserted operations and forbids crossing dependencies, producing hierarchical attention patterns with an explicit structural bias.

Useful6/10
Difficulty6/10
Novelty6/10
Paper: Braces on the cohomology of noncrossing 2-partitions arXiv:2608.24820
Unverified 2026

Two-dimensional checkpoint repair

Encode a neural-network checkpoint into a k by k matrix with k=n-t, and assign worker i both a row fragment and a column fragment. When a worker fails, a replacement obtains only the row and column fragments needed to reconstruct its assigned state, instead of downloading the complete checkpoint from all workers.

Useful6/10
Difficulty5/10
Novelty6/10
Paper: Asynchronous Verifiable Information Dispersal with Low Space and Communication Complexity arXiv:2608.24636