Solves: Scalability

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

Unverified 2026

Finite-Band Polynomial Seed Bank

Construct one reference Lanczos basis for a symmetric propagation operator H, then derive several seed-specific spectral responses for Q_a(H)x_0 through finite-band polynomial connectors. With degree-r seeds, each transformed basis vector uses at most 2r+1 neighboring reference basis vectors, avoiding a separate Lanczos factorization for every seed.

Useful6/10
Difficulty6/10
Novelty7/10
Paper: Polynomial Initial-State Jumps and Christoffel Transforms in Krylov Complexity arXiv:2607.05294
Unverified 2026

Service-Cost-Independent Admission

Use the paper's independence condition as a design principle: prevent the gate's type-dependent admission behavior from being strongly correlated with downstream service cost. In an MoE or dynamic inference system, this discourages the gate from rejecting cheap requests and then preferentially admitting expensive requests when the queue happens to be shorter.

Useful6/10
Difficulty4/10
Novelty6/10
Paper: When does admission control reduce congestion? A stochastic ordering approach arXiv:2607.29439
Unverified 2026

Oja Gradient-Subspace Optimizer

Track the dominant rank-r subspace of the gradient covariance online, then use that basis to construct a low-rank adaptive update or a controlled preconditioner. Unlike offline PCA refreshes, the Oja flow continuously follows changing training geometry while preserving orthonormality, potentially reducing the cost of second-order or Shampoo-like methods.

Useful6/10
Difficulty5/10
Novelty6/10
Paper: On the Oja-Flow-Based Low-Rank Approximation of Kalman-Bucy Filters for Linear Time-Varying Systems arXiv:2607.29034
Unverified 2026

Landmark Distance-Profile Adapter

Add a metric-aware front end that represents an arbitrary object x by its distances to a fixed set of reference objects rather than forcing x into a Euclidean or Hilbert embedding. Feed the resulting profile through a learned projection and concatenate it with the ordinary neural representation. This should be useful for graphs, trees, distributions, and sets where generic vectorization loses geometry or requires an expensive object-specific encoder.

Useful6/10
Difficulty5/10
Novelty6/10
Paper: Distance Profile Embedding for Independence and Conditional Independence Testing of Random Objects arXiv:2607.28981
Unverified 2026

Demographic Synchronizing Expert Layer

Replace static mixture-of-experts routing weights with positive expert abundances that undergo phase-dependent birth, death, and crowding. Each expert has an internal phase and natural frequency; experts aligned with the population order parameter receive larger effective abundance, while a logarithmic penalty prevents runaway replication. The mechanism creates a measurable synchronization transition and can serve as a differentiable alternative to hard top-k routing.

Useful6/10
Difficulty6/10
Novelty8/10
Paper: Synchrony by Birth and Death arXiv:2607.28867
Unverified 2026

Random Tree Feature Layer

Generate many random symmetric decision trees and encode each input by the one-hot indicator of its reached leaf. Use the resulting fixed random feature vector as an additional input to an MLP, or train only a ridge/linear prediction head on it. The tree ensemble's Gaussian-process-limit interpretation predicts that increasing the number of independent trees should approximate a stable kernel while avoiding MCMC and difficult optimization over discrete split structures.

Useful6/10
Difficulty4/10
Novelty7/10
Paper: Seeing the Forest for the Trees: The Gaussian Process Limit of BART arXiv:2607.28844
Unverified 2026

Group-Lifted Message Passing

Turn a small base message-passing graph into a family of larger graphs by replicating every base node across a finite fiber and wiring replicas with permutations derived from a group extension. Use one shared local neural update on every lifted copy, so parameter count stays that of the base graph while the lifted graph supplies additional global paths and larger effective receptive fields.

Useful6/10
Difficulty5/10
Novelty6/10
Paper: Lifting Lifted Product Codes arXiv:2607.28621
Unverified 2026

Geometrically Random Transport Network

Construct a deep sequence model as a layered channel network with fixed random K-regular connections between neighboring depth layers, instead of dense or independently random weight matrices. Use norm-preserving edge normalization and a reversible residual update so that geometric randomness controls information transport while trainable nonlinear readouts provide task-specific computation. The architecture exposes a tunable crossover between quasi-one-dimensional ballistic or localized…

Useful6/10
Difficulty6/10
Novelty7/10
Paper: Quantum Chaos and Diffusive Transport from Geometric Randomness arXiv:2607.28579
Unverified 2026

DD-Separated Facet Cuts for Fractional Architecture Search

Use the decision diagram as an exact optimizer over feasible binary gate paths to separate strong inequalities at the current fractional architecture. Add only violated cuts to the LP or MILP relaxation, rather than enumerating all gate configurations or relying on weak pairwise product constraints.

Useful6/10
Difficulty7/10
Novelty8/10
Paper: Beyond Hand-Derived Inequalities: Decision Diagrams for Cut Generation in Binary Polynomial Optimization arXiv:2607.28511
Unverified 2026

Decision-Diagram Convex Hull for Neural Gates

Replace independent linearizations of binary neural-network gates and their higher-order interactions with a compact decision-diagram flow formulation. This preserves the exact convex hull of feasible gate configurations whenever the DD is exact, making MILP-based pruning, quantization, or architecture search substantially less vulnerable to fractional gate solutions.

Useful6/10
Difficulty6/10
Novelty7/10
Paper: Beyond Hand-Derived Inequalities: Decision Diagrams for Cut Generation in Binary Polynomial Optimization arXiv:2607.28511
Unverified 2026

Normalized Scheduling-Degree Truncation

Use normalized scheduling variables and explicitly cap the degree of their products in a neural LPV or mixture-of-dynamics model. Instead of allowing every multiplicative interaction between scheduling coordinates and past or future features, retain only monomials below a chosen degree threshold. This produces a controllable approximation knob between a purely linear model and a full lifted predictor, while avoiding unstable extrapolation caused by poorly scaled high-degree features.

Useful6/10
Difficulty5/10
Novelty5/10
Paper: A subspace approach to data-driven predictive control for linear parameter-varying systems arXiv:2607.28490
Unverified 2026

Caret-Invariant Tree-Pair Mixer

Represent a token sequence or image region partition by a pair of planar rooted binary trees and a permutation of their leaves, following the tree-pair model of Thompson-type groups. Train the mixer to produce the same output whether a leaf is left intact or refined into two child leaves that are immediately merged by a matching inverse refinement. This creates a variable-resolution hierarchical module with an explicit consistency constraint instead of relying on an arbitrary fixed tree depth.

Useful6/10
Difficulty5/10
Novelty7/10
Paper: Thompson's Group $V$ and Virtual Link Theory arXiv:2607.28406
Unverified 2026

Entropy-Maximized WL Anchor Selection

Replace random or degree-based graph positional anchors with a greedy set chosen to maximize the entropy of the graph's Weisfeiler-Lehman equivalence partition. Give each selected anchor a unique trainable embedding, then run several WL-inspired refinement rounds to produce positional cell features. The resulting positional signal should distinguish nodes that ordinary message passing treats identically while using only a small anchor budget.

Useful6/10
Difficulty4/10
Novelty5/10
Paper: On Leader Selection for Strong Structural Controllability in Matrix-Weighted Networks arXiv:2607.28168
Unverified 2026

Interval-Lifetime Feature Modules

Represent a multiparameter feature stream as a direct sum of interval modules over the nonempty-subset lattice of several corruption, scale, or context variables. Each learned channel is active only on a connected order-convex region of the lattice, replacing a dense bank of unrelated per-condition adapters with reusable feature channels having explicit parameter-space lifetimes.

Useful6/10
Difficulty5/10
Novelty7/10
Paper: Interval Decompositions for Multipersistence Modules over Finite Posets and Robustness of Sheaf Data on Simplicial Complexes arXiv:2607.28134
Unverified 2026

Layered Structural Reachability for Neural States

Treat the hidden-state Jacobian of an RNN, SSM, or graph neural network as a directed matrix-weighted network and decompose repeated block couplings into scalar interaction layers. Use layer-specific structural controllability to select input, skip, reset, or readout channels that can reach all hidden dimensions, and reject architectures with structurally unreachable states before training.

Useful6/10
Difficulty6/10
Novelty7/10
Paper: On the Strong Structural Controllability of Matrix-Weighted Networks arXiv:2607.27852
Unverified 2026

Screened Disordered Mixing Layer

Replace a dense token or state-mixing matrix with an inverse-capacitance operator whose couplings decay with graph distance, while introducing trainable heterogeneous diagonal capacitances to break spatial symmetries. The layer is cheap because the capacitance matrix is sparse and banded, but its inverse produces global responses with controllable locality.

Useful6/10
Difficulty6/10
Novelty6/10
Paper: Nanoparticle Networks for Neuromorphic Computing arXiv:2607.27844
Unverified 2026

Risk-cost efficient frontier routing

Build a sparse expert cascade whose router uses empirical progress, uncertainty, and compute cost to construct an efficient frontier of experts. Instead of always choosing the expert with the largest immediate gain per FLOP, route different confidence states through an ordered sequence of frontier experts, allowing cheap high-variance experts early and safer or more cost-effective experts near the final decision.

Useful6/10
Difficulty5/10
Novelty6/10
Paper: Strategies for Milestone-driven Start-ups in Multi-activity Settings arXiv:2607.27563
Unverified 2026

Near-isometric simplicial attention

Build a refined Freudenthal-Kuhn simplicial graph over mesh vertices or geometric samples and inject its piecewise-linear metric into attention logits. Refinement is increased until the explicit distortion target is met, making attention scores less sensitive to arbitrary mesh resolution, triangulation, or local curvature.

Useful6/10
Difficulty6/10
Novelty7/10
Paper: Universal topological statistics on triangulated singular spaces arXiv:2607.27535
Unverified 2026

Random Half-Space Geometry Layer

Represent each Euclidean input point by its responses to randomly sampled half-spaces, then center those responses by the minibatch or source-distribution half-space occupancy. Use squared distances between these representations as a geometry-preserving substitute for raw Euclidean distances in graph-NN edge construction, cross-domain retrieval, or geometry-aware attention. The layer can compare point clouds from different ambient dimensions because each domain has its own half-space dictionary…

Useful6/10
Difficulty4/10
Novelty6/10
Paper: Sample Complexity for the 2-Gromov-Wasserstein Distance arXiv:2607.27514
Unverified 2026

Connection-rank boundary bottleneck

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.

Useful6/10
Difficulty7/10
Novelty7/10
Paper: Mixed partition functions are exactly the graph parameters of exponentially bounded edge-connection rank arXiv:2607.27198
Unverified 2026

Tropical Monge–Ampere Point-Cloud Decoder

Replace a conventional point-cloud decoder or density head with a concave tropical potential represented as a minimum of affine functions. Train the potential so that its Monge–Ampere mass matches the empirical point measure, encouraging a structured geometric representation that can handle variable numbers of points and atomic distributions. Use a differentiable soft-min during training and anneal its temperature toward a piecewise-affine model.

Useful6/10
Difficulty6/10
Novelty7/10
Paper: Many-point tropical relaxation and the Monge--Ampère equation arXiv:2607.25878
Unverified 2026

Sequential Sketched Gauss-Newton

Replace a costly full-data conjugate-gradient solve for a neural-network linearized least-squares step with a sequence of progressively larger sketched solves. Each solve starts from the previous solution, so early iterations cheaply identify the useful update direction and only the final few iterations use the full training batch.

Useful6/10
Difficulty5/10
Novelty6/10
Paper: Sequential Preconditioned Conjugate Gradient Method for Linear Statistical Models arXiv:2607.25272
Unverified 2026

Continuous Edge Prototypes

Replace node-restricted graph prototypes by centers that may lie at arbitrary coordinates on graph edges. For each prototype, hold its assigned points and shortest-path branches fixed, then update its edge coordinate by an exact clipped weighted least-squares formula; recompute branch changes only at arc bottleneck points. This creates a graph-aware vector-quantization or retrieval module that can represent semantic locations between existing nodes.

Useful6/10
Difficulty5/10
Novelty6/10
Paper: A Foundational Perspective for Partitional Clustering on Networks arXiv:2607.25144
Unverified 2026

Linear-budget graph-cover attention

Construct a graph on tokens using a cheap similarity or k-nearest-neighbor rule, partition it into small-radius pieces, and use one pooled state per piece for cross-piece communication. The paper's bound guarantees that the total number of vertices exposed by all one-hop piece neighborhoods is at most 4n, so the routing graph can have linear rather than quadratic communication budget. The approximation is controlled by increasing the number of within-piece basis summaries rather than making…

Useful6/10
Difficulty5/10
Novelty7/10
Paper: On efficient graph covers and steered random walks arXiv:2607.25016