Research ideas

Every idea extracted from recent arXiv mathematics papers — verified and unverified. Click an idea to open its full card; badges show the empirical verdict.

Unverified 2026

Branching-Fanout Sparse MoE

Replace a fixed top-k expert count with a stochastic, token-specific fanout generated by a supercritical binary branching process stopped at a geometric time. The resulting number of active experts has finite mean but a power-law tail with log-periodic modulation, allowing most tokens to use little compute while reserving larger computation for difficult or ambiguous tokens.

Useful5/10
Difficulty6/10
Novelty8/10
Paper: Power-law and log-periodic degree tails for a family of probability generating function equations arising in evolving networks arXiv:2607.12564
Unverified 2026

Monadic Bar Refinement Network

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…

Useful5/10
Difficulty6/10
Novelty6/10
Paper: The homotopical monadicity theorem arXiv:2607.12124
Unverified 2026

Delocalization-regularized sparse masks

Use eigenvector delocalization as a mask-quality criterion rather than selecting a random sparse graph blindly. Penalize masks whose normalized adjacency has concentrated leading eigenvectors or disconnected or weakly connected components, while preserving the power-law distance prior. This creates a sparse routing graph that is less likely to trap information in local regions.

Useful5/10
Difficulty6/10
Novelty7/10
Paper: Emergent quantum chaos from correlations on a random graph arXiv:2607.11662
Unverified 2026

Ground-State Fractional Attention

Replace or augment relative-position attention with a positive fractional-integration mixing kernel whose radial behavior has separate inner and outer power laws. Tokens close to one another interact through the usual fractional singularity, while tokens near different radial scales receive a ground-state correction that can improve multiscale information transport without introducing a dense learned positional table.

Useful5/10
Difficulty5/10
Novelty7/10
Paper: Sharp Broken-Power Lorentz Estimates for Fractional Powers of Radial Schrödinger Operators with Inverse-Square Asymptotics arXiv:2607.11280
Unverified 2026

Dyck-Polytope Sparse Routing

Replace independent top-k expert or attention-edge selection with a gate vector constrained by hierarchical path budgets modeled on the paper's extended-Dyck-path polytope. Ordinary interactions receive continuous nonnegative capacities, while a designated class of cross-group interactions receives binary or clipped-to-one gates, producing structured sparsity and preventing many correlated paths from consuming the same routing budget.

Useful5/10
Difficulty6/10
Novelty7/10
Paper: FFLV bases for covariant representations of $\mathfrak{gl}(m|n)$ arXiv:2607.11133
Unverified 2026

Takagi-Regularized Hierarchical Routing

Represent MoE experts as leaves of a balanced ternary tree and regularize the hierarchical boundary of each expert's assignment mask. At fixed routing mass x, the ternary martingale isoperimetric theorem supplies the explicit minimum one-variation T_3(x), so the router can be penalized according to an occupancy-dependent profile rather than a uniform parent-child disagreement cost. This should favor coherent, stable routing regions while preventing small expert supports from obtaining…

Useful5/10
Difficulty5/10
Novelty7/10
Paper: Sharp Ternary Martingale Isoperimetry and $n$-adic Takagi-Type Lower Bounds arXiv:2607.11069
Unverified 2026

Spectrally Balanced Subdivision Backbone

Construct a sparse message-passing graph from a tree backbone by subdividing every backbone edge and attaching leaves so that 2d_T1(x_i)+f_i is constant across backbone vertices. Use this graph as a fixed communication skeleton, with propagation weights calibrated by the predicted spectral radius. The same construction can be compressed into an effective backbone operator by eliminating subdivision and leaf nodes.

Useful5/10
Difficulty5/10
Novelty6/10
Paper: Tight lower bound for the spectral radius of connected graphs with given matching number arXiv:2607.11061
Unverified 2026

Prime-Gated Maximal-Length Binary Reservoir

Replace a learned recurrent transition with a sparse binary reservoir compiled from prime-count gates. Three permanently active control vertices implement copy and XNOR transitions, allowing the signal state to realize an affine feedback register over \(\mathbb F_2\) with period \(2^m-1\) using only \(O(m)\) edges and bounded in-degree. Train only an input projection and readout, or use straight-through estimators if end-to-end adaptation is required.

Useful5/10
Difficulty5/10
Novelty6/10
Paper: Pulse Graphs: Prime-Activated Boolean Dynamics on Directed Graphs arXiv:2607.10453
Unverified 2026

Multiset Distance Positional Encoding

Add a permutation-invariant positional channel to a graph neural network by encoding each node through the histogram of shortest-path distances to a selected landmark set. Unlike standard ordered landmark distances, this representation is unchanged when landmarks are permuted and can be optimized to reduce node collisions. Use a small learned projection of the histogram alongside ordinary node features, with an optional collision penalty during training.

Useful5/10
Difficulty5/10
Novelty4/10
Paper: Multiset resolvability parameters in graphs: A survey with new results and open problems arXiv:2607.10311
Unverified 2026

Crossover-Aware Multiscale Attention

Build a neural architecture whose receptive field or attention span is increased according to an estimated disorder-to-order crossover scale. Local branches process windows below the crossover as if they were stochastic, while a global branch is activated only when the context exceeds the predicted scale needed to expose deterministic recurrence. This targets sequences or images containing long-range quasiperiodic, hierarchical, or algorithmically generated structure that is statistically…

Useful5/10
Difficulty5/10
Novelty7/10
Paper: The scales of disorder in perfect quasicrystals arXiv:2607.09274
Unverified 2026

Spherical Height-Routed Multiscale Network

Replace an unconstrained deep routing tree by a q-ary descendant hierarchy with an explicit even height h=0,2,4,... labeling feature scale or computation depth. Train the router so that empirical occupancy of heights follows the exact even-sector law from the Nagao quotient, preventing concentration at shallow layers or unstable overuse of very deep paths.

Useful5/10
Difficulty5/10
Novelty6/10
Paper: $K$-spherical horospherical averages on the Nagao quotient: tree combinatorics and exact discrepancy arXiv:2607.08704
Unverified 2026

Ensemble-Averaged Sparse Graph Search

Replace a binary neural connectivity mask by independent Bernoulli edge probabilities and optimize a deterministic expected message-passing objective before discretization. The resulting module can search sparse GNN edges or expert-to-token routes without repeatedly sampling many discrete architectures during training.

Useful5/10
Difficulty5/10
Novelty5/10
Paper: Learning LDPC codes with quantized density evolution over relaxed protographs arXiv:2607.08484
Unverified 2026

Compact Abelian Graph Positional Codes

Replace one-hot node IDs or large positional encodings in a GNN with coordinates from a compact abelian Cayley graph. The coordinates preserve graph-shortest-path geometry exactly, while Fourier characters of cyclic factors provide smooth neural features with fewer channels.

Useful5/10
Difficulty7/10
Novelty7/10
Paper: Dimension and Order Bounds for Isometric Embeddings of Graphs into Abelian Cayley Graphs, and the Abelian Dividend arXiv:2607.07939
Unverified 2026

Rayleigh–Jeans Condensation Routing

Replace softmax attention or dense MoE routing with a normalized Rayleigh–Jeans distribution over tokens or experts. If an item's energy is close to the chemical potential, its probability becomes disproportionately large, creating controllable low-energy condensation instead of the exponentially smooth allocation produced by softmax.

Useful5/10
Difficulty6/10
Novelty7/10
Paper: Thermodynamic description of worldwide distribution of energy and carbon emission arXiv:2607.07315
Unverified 2026

Masked Universal Host Layer

Represent many related sparse graph or attention patterns inside one fixed host connectivity pattern and activate each target instance with binary directional masks. The learned edge transformation and sparse-kernel layout are shared across instances, while the mask selects the target graph, enabling one compiled operator to process heterogeneous structures.

Useful5/10
Difficulty5/10
Novelty5/10
Paper: A universal emulator for planar Ising lattices arXiv:2607.05308
Unverified 2026

Matroid-rank interaction bottleneck

Construct a candidate feature for every edge pair or structured token pair, then retain a numerically independent subset under a feature-Jacobian matroid. The neural layer computes only the selected interactions, preserving directions that add new information rather than pruning solely by magnitude or attention score.

Useful5/10
Difficulty6/10
Novelty7/10
Paper: Analytic Spread via Linear Matroids arXiv:2607.07458
Unverified 2026

Monotone Resolvent Elimination Layer

Build an implicit layer from a piecewise-linear maximal monotone operator on visible variables z_* and auxiliary variables z_**, then eliminate the auxiliary block rather than exposing it in the network output. Compute the layer through a fixed point of the eliminated component of a nonexpansive resolvent, with damping when the auxiliary map is not strictly contractive.

Useful5/10
Difficulty6/10
Novelty6/10
Paper: Maximal monotonicity of piecewise polyhedral mappings arXiv:2607.07358
Unverified 2026

Four-Root Ternary Mixer

Replace a generic three-input concatenation MLP with a permutation-symmetric mixer built from the four signed combinations x+y-z, x-y+z, -x+y+z, and -x-y-z. Apply a shared truncated exponential to these combinations and aggregate symmetric pairwise products, producing controlled quadratic and higher-order interactions without materializing a full trilinear tensor.

Useful5/10
Difficulty4/10
Novelty7/10
Paper: On $η$-periodic Formal Ternary Laws arXiv:2607.06795
Unverified 2026

Lower-bound-guided binary latent bottlenecks

Use the paper's one-bit compressed-sensing lower bound to choose the number of binary latent measurements and to set a nonzero achievable-error floor during training. A sign bottleneck should not be given an unrealistically small bit budget: for approximately sparse latents, the target reconstruction error scales no faster than a power of effective sparsity divided by the number of sign measurements.

Useful5/10
Difficulty4/10
Novelty7/10
Paper: Near-Optimal Lower Bounds on One-Bit Compressed Sensing of Approximately Sparse Signals arXiv:2607.06750
Unverified 2026

Random-label irregular sparse attention

Construct a sparse attention mask from a fixed regular candidate graph and one scalar random label per token, retaining edge $(u,v)$ when $x_u+x_v\geq\tau$. Unlike independent random pruning, this produces correlated neighborhoods and a controllable distribution of token degrees, potentially giving some tokens broad receptive fields while retaining a fixed sparse budget.

Useful5/10
Difficulty3/10
Novelty7/10
Paper: Irregular subgraph in a regular graph arXiv:2607.06465
Unverified 2026

Peel-and-pass polynomial latent dynamics

Replace step-by-step hidden-state storage in a latent ODE, state-space model, or world model with a polynomial trajectory represented independently on short time blocks. At the end of each block, pass the next hidden state by summing temporal coefficients, allowing training and inference to discard the completed block while retaining a mathematically exact block interface.

Useful5/10
Difficulty6/10
Novelty7/10
Paper: Sparse space-time spectral methods can time-step by peel and pass arXiv:2607.06449
Unverified 2026

Cyclic Non-Backtracking Mixer

Replace a dense token or channel mixing matrix by a fixed sparse directed graph whose states are ordered pairs of symbols and whose transitions advance through a cyclic phase. Each state has exactly two allowed successors, obtained by appending a symbol different from the previous two, producing a strongly connected, vertex-transitive sparse mixer with shared local dynamics. The prescribed phase structure prevents arbitrary short-cycle routing and can act as an anti-collapse inductive bias in…

Useful5/10
Difficulty5/10
Novelty7/10
Paper: Long Directed Cycles in Vertex-Transitive Digraphs arXiv:2607.05807
Unverified 2026

Piecewise-Symmetric Tensor Layer

Replace an unconstrained order-k weight tensor with a sum of components that are symmetric only within selected contiguous index blocks. This preserves interactions between blocks while tying parameters under within-block permutations, providing a tunable middle ground between a fully dense tensor and a fully symmetric tensor.

Useful5/10
Difficulty5/10
Novelty7/10
Paper: Piecewise Symmetric Tensors arXiv:2607.04712
Unverified 2026

Matroid-circuit equivariant message passing

Represent each matroid circuit as a structured hyperedge and perform message passing from circuit embeddings back to their constituent elements. Tie all circuit-update parameters that lie in the same automorphism orbit, so relabelings preserving the matroid produce exactly relabeled hidden states rather than requiring the network to learn this symmetry from data.

Useful5/10
Difficulty5/10
Novelty6/10
Paper: Encoding matroids into quantum states arXiv:2607.02736