subject

math.AG

math.AG: explore 9 source-linked works published from 2026 to 2026, with original documents and citations.

This collection is a preview while coverage and quality are evaluated.

Coverage and selection

Includes records with this source-supplied label or an explicit phrase match in their metadata. Matches indicate a mention, not proof that a paper uses a method or tests a material. Source versions are consolidated by DOI.

Sources: arxiv. Collection updated 2026-09-15. Counts describe this index, not the complete source archives.

arXiv2026

A computational approach to maximum likelihood thresholds for colored Gaussian graphical models

Gaussian graphical models (GGMs) are essential tools for interpretable structure learning. However, in high-dimensional, small-sample regimes, the available data is often insufficient for the maximum likelihood estimator to exist. Colored Gaussian graphical models (CGGMs) mitigate this limitation by imposing symmetry constraints through graph coloring, which reduces the required sample size. This minimal number of observations needed to guarantee that the estimator exists almost surely is defined as the maximum likelihood threshold (MLT). Here, we address the computation of the MLT for CGGMs by focusing on its geometric formulation: finding the minimum rank of a sample covariance matrix such that its projection lies almost surely within the interior of the cone of sufficient statistics. We establish a unified theoretical framework, extending results from uncolored to colored models and introducing new symbolic algorithms. Furthermore, we present a computational study integrating sampling with topological data analysis (TDA) to investigate the local geometry of the cone of sufficient statistics. Our results demonstrate the potential of TDA to overcome the computational bottlenecks of traditional symbolic algebraic methods, particularly Groebner basis computations, in analyzing the likelihood geometry of CGGMs.

stat.ML↗

arXiv2026

Degree bounds and synchronization in Gröbner basis computations for affine semi-regular systems

Determining the complexity of computing Gröbner bases is an important problem in both theory and practice, and solving degrees provide a central measure of this complexity. We study solving degrees and Gröbner basis computations for affine polynomial systems, with particular emphasis on semi-regular sequences. We first derive two upper bounds for the maximum Gröbner basis degree of the homogenized system. One is based on a regular initial subsequence of the highest-degree homogeneous parts. When these parts form a semi-regular sequence in nondecreasing degree order, the bound involves the $n$ smallest input degrees together with the largest one. The other bound is expressed in terms of the saturation exponent with respect to the homogenizing variable. Both are obtained by bounding the degree from which the Hilbert function of the quotient ring associated with the homogenized system is constant. We then compare the Buchberger-like Gröbner basis computations for an affine system, its homogenization, and its highest-degree homogeneous parts. The first degree fall is characterized by failure of injectivity of multiplication by the homogenizing variable. Before that point, choices of S-pairs and reducers in any computation can be matched in the others, and reduction sequences, remainders, intermediate bases, and leading monomials correspond under specialization. Cryptographic semi-regularity guarantees this correspondence until the step degree first reaches the degree of regularity. At that degree, affine reduction steps that preserve the sugar degree lift to homogeneous ones, yielding upper bounds on the algorithmic solving degree for a computation starting directly from the affine input.

math.AC↗

arXiv2026

The Alexander-Hirschowitz theorem for neurovarieties

We study the dimension and identifiability of neurovarieties associated to polynomial neural networks. We give an independent geometric proof that the linear bounds $d_i\geq 2n_i-1$ on the activation degrees imply non defectiveness for any number of outputs, a dimension statement previously obtained from finite identifiability. The proof is based on a direct analysis of the differential of the parameterization. We also investigate secant and Grassmann-secant obstructions outside this range and prove global identifiability for multi-output architectures under the same degree bounds.

math.AG↗

arXiv2026

Deciding superellipticity and computing the Weierstrass normal form

Let $ \mathcal{S}_{g,n} \subset \mathcal{M}_g $ be the locus of curves of genus $ g \geq 2 $ admitting a model $ y^n = h(x) $ with $ h $ separable; such curves $C$ have a cyclic group $ C_n \leq \operatorname{Aut}(C) $ of order $ n $ with $ C/C_n \cong \mathbb{P}^1 $. % We give an algorithm which, given an absolutely irreducible plane model $ F(x,y) = 0 $ of a curve $ C $ over a field $ k_0 $ of characteristic zero, decides for which $ n $ the curve lies in $ \mathcal{S}_{g,n} $ and returns a model $ y^n = h(x) $ together with the birational transformation to it.

math.AG↗

arXiv2026

A penalised Saito functional for heuristic search of free line arrangements

We introduce the penalised Saito functional $\mathfrak S_{λ,β}(\mathcal{A};d_1,d_2)$ for a reduced arrangement $\mathcal{A}$ of $n$ lines and a prescribed pair $d_1+d_2=n-1$. It measures the alignment of a candidate Saito determinant with the defining polynomial while penalising the failure of the candidate derivations to be logarithmic. We prove that the functional takes values in $[0,1]$, vanishes exactly when $\mathcal{A}$ is free with exponents $(1,d_1,d_2)$, and lies strictly between $0$ and $1$ otherwise. For fixed $(d_1,d_2)$, it is upper semicontinuous on the reduced configuration space, continuous at arrangements free with the prescribed pair, and converges as $λ\to\infty$ to the corresponding binary freeness test. We use a numerical approximation of this functional, together with a small $b_2$-shell term, to guide fixed-cardinality line-replacement searches over $\mathbb{Q}$ and selected quadratic extensions. Numerical values are used only to select candidates; every reported arrangement is certified in exact arithmetic using Saito's criterion. At the current snapshot, the certified database contains $6{,}146$ representatives with distinct Weisfeiler--Leman fingerprints and cardinalities up to $n=28$. Among them, $3{,}012$ have multiplicity gap $ε(\mathcal{A})=d_1-m(\mathcal{A})\geq2$, including lower-bound-extremal examples with $ε=7$. These non-supersolvable arrangements provide test cases for studying realisation spaces and the persistence of freeness among realisations of the same intersection lattice, in connection with Terao's conjecture.

math.AG↗

arXiv2026

No Equivariant Architecture Covers All Equivariant Attention

We give a complete characterization of equivariant multi-head self-attention (MHSA): if an MHSA layer is equivariant to a symmetry group $G$, then $G$ can only act by permuting head-clusters, with QK and OV matrices satisfying an equivariance constraint tied to the group action. As a consequence, we prove that any fixed MHSA architecture that achieves exact equivariance by polynomially parameterizing unconstrained MHSA parameters inevitably leads to expressivity loss within the class of equivariant maps: the equivariance locus of unconstrained MHSA forms a union of extremely many Zariski-irreducible components in a reduced parameter space, and any single architecture covers at most one. For $G=D_4$ acting on $C$ copies of the regular representation as the token feature space, we show that there are $Ω(C^{64})$ components for eight attention heads.

cs.LG↗

arXiv2026

Generalized Hamming Weights of AJ-Gorenstein One-Point Codes

We study generalized Hamming weights along the one-point code flag of an AJ-Gorenstein curve. We organize these weights in a graded array, the zero diagram, whose entries are generalized coweights: the largest numbers of evaluation points on which subcodes of prescribed dimensions vanish simultaneously. Twisted and Wei duality show that each row of the zero diagram determines both the generalized Hamming weights of a lower block of short codes and the missing weights of a reflected upper block of long codes in the GHW diagram of the complete flag. Our main quantitative result is a uniform coverage theorem. For an AJ-Gorenstein curve of genus $g$ and evaluation length $n>2g$, the proportion of generalized-weight positions determined exactly throughout the complete flag satisfies $\operatorname{Cov}_{\mathrm{full}} \ge \frac{n(n-1)+4g}{n(n+2g-1)}>\frac12$. Thus more than half of all generalized-weight positions in the complete flag are determined uniformly. For the smallest Suzuki curve, the general and Castle-specific mechanisms together determine $2{,}280$ of the $2{,}912$ positions, giving an exact coverage of $78.30\%$.

cs.IT↗

arXiv2026

A New Algebraic Algorithm for LWE

The Learning With Errors (LWE) problem, introduced by Regev in 2005, is central to modern cryptography and post-quantum security. The algorithms to solve the search version of the problem, Search-LWE, can be broadly categorised into algebraic, combinatorial and lattice-based. In this work we propose a new algebraic algorithm for the Search-LWE problem. At a high level, the algorithm combines linear-algebraic techniques with S-polynomial-based methods from Groebner basis computation. We provide a direct complexity analysis of our algorithm, avoiding semi-regularity assumptions and complexity bounds derived from the degree of regularity. Our algorithm achieves a polynomial improvement in complexity over prior results that use Groebner basis methods to solve Search-LWE.

cs.CR↗

arXiv2026

Learning Fast Monomial Orders for Gröbner Basis Computations

The efficiency of Gröbner basis computation, the standard engine for solving systems of polynomial equations, depends on the choice of monomial ordering. Despite a near-continuum of possible monomial orders, most implementations rely on static heuristics such as GrevLex, guided primarily by expert intuition. We address this gap by casting the selection of monomial orderings as a reinforcement learning problem over the space of admissible orderings. Our approach leverages domain-informed reward signals that accurately reflect the computational cost of Gröbner basis computations and admits efficient Monte Carlo estimation. Experiments on benchmark problems from systems biology and computer vision show that the resulting learned policies consistently outperform standard heuristics, yielding substantial reductions in computational cost. Moreover, we find that these policies resist distillation into simple interpretable models, providing empirical evidence that deep reinforcement learning allows the agents to exploit non-linear geometric structure beyond the scope of traditional heuristics.

cs.SC↗

Compare source metadata on this page

Work	Published	Source identifier	Source
A computational approach to maximum likelihood thresholds for colored Gaussian graphical models	2026-09-02	2609.02382	arxiv
Degree bounds and synchronization in Gröbner basis computations for affine semi-regular systems	2026-09-01	2404.03530	arxiv
The Alexander-Hirschowitz theorem for neurovarieties	2026-09-01	2511.19703	arxiv
Deciding superellipticity and computing the Weierstrass normal form	2026-09-01	2609.00672	arxiv
A penalised Saito functional for heuristic search of free line arrangements	2026-08-31	2604.02995	arxiv
No Equivariant Architecture Covers All Equivariant Attention	2026-08-31	2608.30417	arxiv
Generalized Hamming Weights of AJ-Gorenstein One-Point Codes	2026-08-30	2608.29508	arxiv
A New Algebraic Algorithm for LWE	2026-08-30	2608.29977	arxiv
Learning Fast Monomial Orders for Gröbner Basis Computations	2026-08-28	2602.02972	arxiv

These are bibliographic comparisons, not experimental rankings. Follow the original document for methods and conditions.