arXiv subjects

Tony Shaska

Publications and source records attributed to Tony Shaska.

At least 19 recordsLinked to original sources

arXiv2026

Isogenous components of Jacobian surfaces

Let $\mathcal{X}$ be a genus 2 curve defined over a field $K$, $\mathrm{char}\, K = p \geq 0$, and $\mathrm{Jac}(\mathcal{X}, ι)$ its Jacobian, where $ι$ is the principal polarization of $\mathrm{Jac}(\mathcal{X})$ attached to $\mathcal{X}$. Assume that $\mathrm{Jac}(\mathcal{X})$ is geometrically $(n,n)$-reducible with $E_1$ and $E_2$ its elliptic components. When $K$ is a number field, we count such curves up to geometric isomorphism, among those admitting a model over $K$. For $n=2$ and $\mathrm{Aut}(\mathcal{X}) \cong V_4$ we prove that, for each $N=2,3,5,7$, there are infinitely many curves $\mathcal{X}$ for which $E_1$ and $E_2$ are $N$-isogenous. For $n=2$ and $\mathrm{Aut}(\mathcal{X}) \cong D_4$ the elliptic quotients from the two classes of nonhyperelliptic involutions are always $2$-isogenous, and for each $N=3,5,7$ only finitely many curves have them $N$-isogenous. For $n=3$ there are infinitely many curves with $N$-isogenous elliptic components for each $N=2,3,5$, while for $N=7$ there are only finitely many such curves with a model over $\mathbb{Q}$. Furthermore, we determine the Kummer and the Shioda-Inose surfaces for the above $\mathrm{Jac}(\mathcal{X})$ and show how such results in positive characteristic $p>2$ suggest nice applications in cryptography.

math.AG↗

arXiv2026

Code Equivalence and Automorphism Groups of Weighted Superelliptic Codes

We study permutation and monomial equivalence for one-point codes on weighted superelliptic curves. On strata where $H_m\simeq \Z/n\Z\times\Z/m\Z$ acts regularly on the evaluation set, we prove that these codes are Cartesian character codes and determine their primal and dual minimum distances. We compute the projective monomial normalizer of the regular action and classify the compatible permutation and monomial equivalences through the induced actions on the defining sets. When $d > n$ and $m \geq 2$, the common permutation automorphism group of the full filtration is exactly $H_m$, and the regular action can be recovered from its two lowest nonconstant members. We determine the full permutation automorphism group in closed form at the top of the filtration and give a field-independent finite certificate for $\PAut ( \CC_s ) = H_m$ in the remaining primitive cases treated here. The hull dimension is bounded by the genus on every regular stratum, apart from the type $(3,3,3)$. Explicit examples show that length, dimension, and hull dimension do not determine monomial equivalence, and that the hull profile together with the regular automorphism subgroup does not determine the curve up to isomorphism. As an application, we determine the corresponding hull-based invariants and punctured signatures used in support-splitting methods.

math.AG↗

arXiv2026

The Tropical Moduli Space of Degree-3 Rational Maps

We study tropical rational functions on the tropical projective line with three zeros and three poles in the torus, counted with multiplicity, modulo target automorphisms. The principal divisor identifies their moduli space with unordered pairs of disjoint effective divisors of degree three. We classify its $53$ cells and prove that it is six-dimensional with ten contractible connected components. Source--target automorphism groups are trivial or of order two, and reflection loci are defined by linear gap equations. Allowing common support and points at infinity gives a divisor-pair compactification. Over an algebraically closed non-Archimedean field with value group $\mathbb{R}$, root--pole tropicalization is surjective from valuation-separated cubic rational functions modulo the target torus normalizer. Explicit counterexamples show that the valuation of the conjugacy invariant $J^2/I^3$ does not descend to this tropical moduli space. Generic functions admit minimal six-unit shallow ReLU representations with three positive and three negative unit output weights.

math.AG↗

arXiv2026

Geometric Learning and Finsler Metrics in Weighted Projective Spaces

We introduce a hierarchical clustering framework for weighted projective spaces $\mathbb{P}_{\mathbf{q}}$ built on Finsler geometry. From an optimization-based Finsler norm that quotients out the weighted scaling action, we construct a scaling-invariant distance $d_F([z], [w])$ and a rational analogue $d_{F,\mathbb{Q}}([z], [w])$ for points of $\mathbb{P}_{\mathbf{q}}(\mathbb{Q})$. The norm carries a shape parameter $p$: the case $p=2$ is Riemannian and admits a closed-form distance, while $p\neq 2$ is genuinely Finsler, and the metric and clustering guarantees below hold for every $p\in[1,\infty)$. Whereas earlier work measured proximity in these spaces through non-metric dissimilarities, we prove that $d_F$ satisfies the triangle inequality and is therefore a genuine metric; this is what equips the induced clustering with its theoretical guarantees, including monotone dendrograms and Gromov--Hausdorff stability under perturbation of the data. The metric respects the intrinsic scaling symmetry and weighted topology of $\mathbb{P}_{\mathbf{q}}$, avoiding the distortions of a flat-space embedding. We develop the framework's arithmetic applications -- clustering rational points in the moduli space of genus two curves and analyzing rational functions in arithmetic dynamics -- and indicate prospective extensions to quantum state spaces, where the weights $\mathbf{q}$ model anisotropic noise. More broadly, the construction offers a rigorous metric foundation for graded neural networks and related machine-learning techniques on graded algebraic varieties.

math.DG↗

arXiv2026

Rational Functions on the Projective Line from a Computational Viewpoint

An explicit invariant-theoretic description of the moduli space $\mathcal{M}_3^1$ of degree-three rational maps on $\mathbb{P}^1$ is developed. A cubic map $ϕ$ is represented, up to conjugation, by the pair of binary forms $(f, g) \in V_4 \oplus V_2$ arising from its Clebsch--Gordan decomposition. From this representation one constructs weighted projective invariants $ξ_0, ..., ξ_5$ that embed $\mathcal{M}_3^1$ into $\mathbb{P}^5(2,2,3,3,4,6)$ onto the locus where the gcd of the weights of the non-zero coordinates equals $1$, together with absolute invariants defined as weight-zero rational functions of the $ξ_i$, normalized by an additional invariant $I_6$ of weight $6$. These absolute invariants determine the isomorphism class uniquely. The stratification of $\mathcal{M}_3^1$ is described explicitly by equations in the absolute invariants or polynomial relations among the $ξ_i$. Computational illustrations demonstrate that the resulting invariants provide an effective feature set for automated classification of automorphism groups. The methods suggest natural extensions to higher degrees.

math.AG↗

arXiv2026

Graded Quantum Codes

This work develops a geometric framework for constructing quantum error-correcting codes from weighted projective and orbifold structures, integrating algebraic geometry, divisor theory, and the CSS stabilizer formalism. Beginning with weighted projective spaces and their associated height and defect structures, the study builds classical AG-codes via evaluation on divisors adapted to orbifold singularities. These classical codes are lifted to quantum codes using self-orthogonality conditions and homological constructions, yielding a class of Quantum Weighted Algebraic Geometric (QWAG) codes. A central contribution is the formulation of a refined Singleton-type bound motivated by orbifold defect terms and effective genus corrections. While the classical quantum Singleton bound is recovered in the smooth case, the orbifold setting suggests additional geometric contributions that may adjust the theoretical distance bound. The refined bound is presented with partial justification under specific geometric hypotheses and framed as a conjectural extension in full generality. The monograph further provides explicit constructions, computational implementations in Sage/Python, and illustrative examples demonstrating how weighted geometry influences code parameters. This work establishes a structured bridge between orbifold geometry and quantum coding theory, outlining both concrete constructions and open problems for further mathematical development.

quant-ph↗

arXiv2025

Weighted Heights and GIT Heights

We investigate the relationship between Geometric Invariant Theory (GIT) heights and weighted heights, with a focus on their interaction in weighted projective spaces and their application to binary forms. Building on the weighted height framework developed in previous papers, we relate it to Zhang's GIT height via the Veronese map. For a semistable cycle, we show that the GIT height decomposes into the logarithmic weighted height plus an Archimedean correction from the Chow metric.

math.AG↗

arXiv2025

Internalizing Tools as Morphisms in Graded Transformers

We introduce a graded formulation of internal symbolic computation for transformers. The hidden space is endowed with a grading $V=\bigoplus_{g\in G}V_g$, and symbolic operations are realized as typed block maps (morphisms) $ϕ_{h\leftarrow g}:V_g\to V_h$ that are activated selectively by a differentiable routing policy. A self-supervised \emph{graded utility functional}, defined as the loss reduction induced by a candidate morphism, governs activation and yields sparse, interpretable behavior. We develop the algebraic and geometric foundations: an internal model category whose objects are homogeneous components and whose morphisms are admissible grade transitions; adjoint pairs encoding typed round trips; and information-geometric interpretations in terms of KL gain, mirror descent with Bregman divergences, and Fisher natural gradients. Methodologically, we specify a utility--aware routing mechanism and objective that remain fully end-to-end differentiable. Analytic case studies and lightweight sanity checks illustrate selective morphic activation on hybrid symbolic-linguistic tasks. The framework unifies symbolic computation, geometry, and self--supervised learning within the \emph{graded transformer} formalism \cite{sh-89,sh-95}, while subsuming prior external-tool paradigms (e.g., Toolformer \cite{toolformer2023}) as a special case via functorial internalization.

cs.LG↗

arXiv2025

Graded Neural Networks

This paper presents a novel framework for graded neural networks (GNNs) built over graded vector spaces $\V_\w^n$, extending classical neural architectures by incorporating algebraic grading. Leveraging a coordinate-wise grading structure with scalar action $λ\star \x = (λ^{q_i} x_i)$, defined by a tuple $\w = (q_0, \ldots, q_{n-1})$, we introduce graded neurons, layers, activation functions, and loss functions that adapt to feature significance. Theoretical properties of graded spaces are established, followed by a comprehensive GNN design, addressing computational challenges like numerical stability and gradient scaling. Potential applications span machine learning and photonic systems, exemplified by high-speed laser-based implementations. This work offers a foundational step toward graded computation, unifying mathematical rigor with practical potential, with avenues for future empirical and hardware exploration.

cs.LG↗

arXiv2025

A Neurosymbolic Framework for Geometric Reduction of Binary Forms

This paper compares Julia reduction and hyperbolic reduction with the aim of finding equivalent binary forms with minimal coefficients. We demonstrate that hyperbolic reduction generally outperforms Julia reduction, particularly in the cases of sextics and decimics, though neither method guarantees achieving the minimal form. We further propose an additional shift and scaling to approximate the minimal form more closely. Finally, we introduce a machine learning framework to identify optimal transformations that minimize the heights of binary forms. This study provides new insights into the geometry and algebra of binary forms and highlights the potential of AI in advancing symbolic computation and reduction techniques. The findings, supported by extensive computational experiments, lay the groundwork for hybrid approaches that integrate traditional reduction methods with data-driven techniques.

cs.AI↗

arXiv2025

Kummer Surfaces, Isogenies and Theta Functions

The paper discusses geometric and computational aspects associated with $(n,n)$-isogenies for principally polarized Abelian surfaces and related Kummer surfaces. We start by reviewing the comprehensive Theta function framework for classifying genus-two curves, their principally polarized Jacobians, as well as for establishing explicit quartic normal forms for associated Kummer surfaces. This framework is then used for practical isogeny computations. A particular focus of the discussion is the $(n,n)$-Split isogeny case. We also explore possible extensions of Richelot's $(2,2)$-isogenies to higher order cases, with a view towards developing efficient isogeny computation algorithms.

math.AG↗

arXiv2025

Artificial Neural Networks on Graded Vector Spaces

This paper presents a transformative framework for artificial neural networks over graded vector spaces, tailored to model hierarchical and structured data in fields like algebraic geometry and physics. By exploiting the algebraic properties of graded vector spaces, where features carry distinct weights, we extend classical neural networks with graded neurons, layers, and activation functions that preserve structural integrity. Grounded in group actions, representation theory, and graded algebra, our approach combines theoretical rigor with practical utility. We introduce graded neural architectures, loss functions prioritizing graded components, and equivariant extensions adaptable to diverse gradings. Case studies validate the framework's effectiveness, outperforming standard neural networks in tasks such as predicting invariants in weighted projective spaces and modeling supersymmetric systems. This work establishes a new frontier in machine learning, merging mathematical sophistication with interdisciplinary applications. Future challenges, including computational scalability and finite field extensions, offer rich opportunities for advancing this paradigm.

cs.AI↗

arXiv2025

Rational Points and Zeta Functions of Humbert Surfaces with Square Discriminant

This paper examines the arithmetic of the loci $\cL_n$, parameterizing genus 2 curves with $(n, n)$-split Jacobians over finite fields $\F_q$. We compute rational points $|\cL_n(\F_q)|$ over $\F_3$, $\F_9$, $\F_{27}$, $\F_{81}$, and $\F_5$, $\F_{25}$, $\F_{125}$, derive zeta functions $Z(\cL_n, t)$ for $n = 2, 3$. Utilizing these findings, we explore isogeny-based cryptography, introducing an efficient detection method for split Jacobians via explicit equations, enhanced by endomorphism ring analysis and machine learning optimizations. This advances curve selection, security analysis, and protocol design in post-quantum genus 2 systems, addressing efficiency and vulnerabilities across characteristics.

math.NT↗

arXiv2025

Neuro-Symbolic Learning for Galois Groups: Unveiling Probabilistic Trends in Polynomials

This paper presents a neurosymbolic approach to classifying Galois groups of polynomials, integrating classical Galois theory with machine learning to address challenges in algebraic computation. By combining neural networks with symbolic reasoning we develop a model that outperforms purely numerical methods in accuracy and interpretability. Focusing on sextic polynomials with height $\leq 6$, we analyze a database of 53,972 irreducible examples, uncovering novel distributional trends, such as the 20 sextic polynomials with Galois group $C_6$ spanning just seven invariant-defined equivalence classes. These findings offer the first empirical insights into Galois group probabilities under height constraints and lay the groundwork for exploring solvability by radicals. Demonstrating AI's potential to reveal patterns beyond traditional symbolic techniques, this work paves the way for future research in computational algebra, with implications for probabilistic conjectures and higher degree classifications.

cs.LG↗

arXiv2025

Galois groups of polynomials and neurosymbolic networks

This paper introduces a novel approach to understanding Galois theory, one of the foundational areas of algebra, through the lens of machine learning. By analyzing polynomial equations with machine learning techniques, we aim to streamline the process of determining solvability by radicals and explore broader applications within Galois theory. This summary encapsulates the background, methodology, potential applications, and challenges of using data science in Galois theory. More specifically, we design a neurosymbolic network to classify Galois groups and show how this is more efficient than usual neural networks. We discover some very interesting distribution of polynomials for groups not isomorphic to the symmetric groups and alternating groups.

cs.LG↗

arXiv2025

Generalized superelliptic Riemann surfaces

A closed Riemann surface $\mathcal X$, of genus $g \geq 2$, is called a generalized superelliptic curve of level $n \geq 2$ if it admits an order $n$ conformal automorphism $τ$ so that $\mathcal X/\langle τ\rangle$ has genus zero and $τ$ is central in ${\rm Aut}(\mathcal X)$; the cyclic group $H=\langle τ\rangle$ is called a generalized superelliptic group of level $n$ for $\mathcal X$. These Riemann surfaces are natural generalizations of hyperelliptic Riemann surfaces (when $n=2$). We provide an algebraic curve description of these Riemann surfaces in terms of their groups of automorphisms. Also, we observe that the generalized superelliptic group $H$ of level $n$ is unique, with the exception of a very particular family of exceptional generalized superelliptic Riemann surfaces for $n$ even. In particular, the uniqueness holds if either: (i) $n$ is odd or (ii) the quotient $\mathcal X/H$ has all its cone points of order $n$ (for instance, when $\mathcal X$ is a superelliptic curve of level $n$). In the non-exceptional case, we use this uniqueness property of its generalized superelliptic group $H$ to observe that the corresponding curves are definable over their fields of moduli if ${\rm Aut}(\mathcal X)/H$ is neither trivial or cyclic.

math.AG↗

arXiv2024

Vojta's conjecture on weighted projective varieties

We formulate Vojta's conjecture for smooth weighted projective varieties, weighted multiplier ideal sheaves, and weighted log pairs and prove that all three versions of the conjecture are equivalent. In the process, we introduce generalized weighted general common divisors and express them as heights of weighted projective spaces blown-up relative to an exceptional divisor. Furthermore, we prove that assuming Vojta's conjecture for weighted projective varieties one can bound the $\log {\rm h_{wgcd}}$ for any subvariety of codimension $\geq 2$ and a finite set of places $S$. An analogue result is proved for weighted homogeneous polynomials with integer coefficients.

math.AG↗

arXiv2024

Machine learning for moduli space of genus two curves and an application to isogeny based cryptography

We use machine learning to study the moduli space of genus two curves, specifically focusing on detecting whether a genus two curve has $(n, n)$-split Jacobian. Based on such techniques, we observe that there are very few rational moduli points with small weighted moduli height and $(n, n)$-split Jacobian for $n=2, 3, 5$. We computational prove that there are only 34 genus two curves (resp. 44 curves) with (2,2)-split Jacobians (resp. (3,3)-split Jacobians) and weighted moduli height $\leq 3$. We discuss different machine learning models for such applications and demonstrate the ability to detect splitting with high accuracy using only the Igusa invariants of the curve. This shows that artificial neural networks and machine learning techniques can be highly reliable for arithmetic questions in the moduli space of genus two curves and may have potential applications in isogeny-based cryptography.

math.AG↗