Research ideas extracted from mathematics papers, categorized as Architecture.
Augment a neural policy with deterministic DFA states for the task objective and safety constraint, then select among objective-specific policy heads using those states. Before either target is reached, execute a mixed policy; after one target is reached, switch permanently to the policy specialized for the remaining target.
Insert a differentiable equilibrium layer between a neural payoff/state encoder and the final action recommendations. The layer parameterizes a joint recommendation object and enforces all unilateral-deviation inequalities as positive-semidefinite constraints, preventing the network from producing recommendations that agents have a strict incentive to disobey. A quantum-inspired density-matrix parameterization can model correlated recommendations using PSD matrices rather than factorized action…
Replace an unconstrained learnable distance-bias function in a graph neural network or distance-aware attention layer by a Bernstein approximation of a positive-definite circular kernel. The resulting kernel is a degree-n polynomial in normalized distance while preserving positive semidefiniteness of every finite Gram matrix on the circle, preventing training from producing an invalid covariance-like similarity structure.
Use enumerated weighing matrices as sparse orthogonal channel-mixing operators inside MLPs or residual blocks. Their ternary entries reduce multiplication to signed additions, while exact orthogonality prevents amplification or attenuation of feature norms; a trainable fixed-support version can recover expressivity without giving up computational sparsity.
For local structures with a forward/reverse ambiguity, expose both ordered directions and add one explicit orientation bit. This creates a shared bidirectional positional encoder that can distinguish reflected neighborhoods without maintaining two completely independent directional encoders.
Use the support graph of a sparse attention or routing mask as a feasibility object before applying normalization. Reject or minimally repair masks whose neighborhoods violate Hall's condition, ensuring that every selected query/key subset has enough reachable mass to support the desired marginals.
Represent a neural architecture as an undirected support graph and prune a matching of edges, so no two simultaneously removed edges share an endpoint. Use the paper's degree/connectivity theorem as a certificate that the pruned architecture retains k-edge-connectivity, preserving multiple routes between computational units instead of relying on unconstrained magnitude pruning.
Replace repeated fine-scale message passing on a recursively constructed graph by a finite-state compositional module that summarizes each cell through boundary connectivity states. Child summaries are combined only through admissible configurations, so the network can represent globally consistent paths and forests without enumerating full walks. The same update map is shared across all hierarchy levels, giving logarithmic-depth computation in the graph diameter and a strong inductive bias for…
Represent a neural-network weight tensor by rank-one terms whose mode factors are selected from shared orthonormal bases, and impose the same basis alignment across tensor flattenings. During or after training, retain the largest coefficients to obtain a structured truncation analogous to truncated SVD. This should produce better-conditioned tensorized layers than unconstrained CP factors while preserving a directly controllable accuracy/compute tradeoff.
Construct a 2D recurrent or residual neural lattice with slowly varying local couplings, while parameterizing those couplings so that an anisotropy invariant remains constant across all spatial and depth locations. The network obtains controlled local propagation velocities rather than arbitrary inhomogeneous amplification, enabling depth-dependent receptive fields while preserving near-critical signal propagation.
Construct a neural layer with two independently ordered transformations and train its operators to satisfy the paper's diamond equations, so that applying direction 1 then direction 2 gives the same result as direction 2 then direction 1. Unlike ordinary weight sharing, the mixed identity permits noncommuting operators whose interaction defects cancel exactly.
Project each FFN residual update onto the tangent space of the current token residual direction before adding it to the stream. This preserves the component that changes representation direction while suppressing norm-only motion, which may reduce residual-norm drift and aggregation-induced representation collapse.
Equip a recurrent or state-space layer with multiple noncommuting transition operators and regularize the span of finite operator words applied to the input injection matrix. This discourages hidden directions that cannot be reached from the input and may improve long-range input influence, gradient propagation, and robustness under operator switching.
Replace a conventional signed-graph message-passing layer with two coupled feature channels: a fixed channel invariant under switching and an anti-fixed channel that changes sign under switching. Unsigned aggregation updates invariant features, while signed aggregation updates anti-invariant features, implementing the paper's sphere-plus-involution representation at the hidden-state level.
Construct an unrolled phase-retrieval network that begins with an isotropic Gaussian estimate rather than a spectral initializer. Retain the AMP residual correction and Onsager subtraction, but learn the scalar measurement denoisers and step sizes; use several random starts and select the iterate with the lowest measurement residual.
Replace a learned sequence-mixing matrix with a structured lower-triangular Sprugnoli operator whose square is exactly the identity. Applying the same operator in reverse reconstructs activations exactly, so it can be used as a reversible Transformer mixer or reversible channel permutation while retaining nontrivial long-range mixing.
Replace raw pairwise attention or graph-edge scores by exact U-centered residuals, removing additive effects attributable to either endpoint. The resulting scores represent interaction beyond independent source and destination biases and satisfy zero row sums, preventing a few high-degree or high-activation tokens from dominating relational aggregation.
Replace a recursive product implementation of a rational spectral filter with an additive sum of independently evaluated resolvents. Use the layer on a graph Laplacian, token-similarity operator, or other sparse feature operator to obtain a high-order filter without multiplicative roundoff and gradient amplification; the independent solves can also be batched or distributed across devices.
Build a neural feature-mixing block from a sparse exchange matrix and a fixed sequence of cluster-style mutations. Transpose-related channels share parameters through orbit tying, while positive multiplicative-additive updates are evaluated with log-sum-exp. The block is a concrete alternative to a dense MLP projection and can be tested at equal parameter count and compute.
Replace an unconstrained recurrent or residual transition with a block-structured contractive realization whose input-dependent multiplier is a direct sum of bounded branches. The resulting layer has a built-in non-expansive energy bound on the chosen normalized input domain, while still allowing different branches to respond to different coordinates or feature groups.
Replace a learned nonnegative banded transition matrix by an ordered product of learnable stochastic bidiagonal factors. Each factor performs one local left or right transport step, so a product of p lower and q upper factors creates an effective bandwidth of p+q while retaining nonnegative entries, row sums equal to one, and a highly structured propagation kernel.
Store a finite library of successful robot configurations or action-conditioned waypoints and construct a smooth soft minimum of their distances. Use the negative distance gradient as a structured action prior, add a learned residual policy, and pass the combined action through a quadratic-program safety layer. This gives a neural controller an explicit attraction basin toward demonstrated solutions while preventing violations of known state constraints.
Construct a routed neural state update from a collection of branch maps whose inverse-style refinement operators are uniformly contractive. The discrete routing sequence acts as an expandable symbolic code, while contraction makes the continuous state associated with a long routing history insensitive to initialization and earlier perturbations. Use a finite active top-\(K\) set during training, but retain an expandable branch table so the model can represent increasingly complex or rare modes.
Replace unconstrained low-rank compression of a neural state with an augmented basis that always contains vectors representing known conserved quantities or diagnostically important linear statistics. After each learned transition, project the state back onto the affine constraint set with an exact minimum-norm correction, preventing rank truncation and model error from accumulating in those statistics.