arXiv Science⌕ Search

arXiv subjects

Sun Woo Park

Publications and source records attributed to Sun Woo Park.

At least 19 recordsLinked to original sources
arXiv2026

Learning Pseudo-Riemannian Manifolds for Heterophilic Graphs via Graph Signature

Several widely used families of Graph Neural Networks carry a positive-definite geometric prior. Graph convolution read as heat diffusion needs a positive semi-definite operator, hyperbolic models place features on positive-definite Riemannian manifolds, and dot-product and GAT-style attention scores use positive-definite inner products. On heterophilic graphs, where edges often signify dissimilarity or structural repulsion, that prior is a mismatch: no positive-definite form can assign a negative squared distance to a direction the labels separate. To measure the mismatch, we introduce the Graph Signature Index ($s_{\mathcal{G}}$), the inertia of a class-compatibility matrix built from label topology alone, and we prove that no value of the edge or node homophily index in $(0,1)$ rules out a negative eigenvalue. We then propose the Pseudo-Riemannian Attention Network (PRAT), whose attention logit is a signed squared pseudo-distance under a learnable diagonal metric initialized from $s_{\mathcal{G}}$. The design is diagnose-then-learn: the signature supplies a sign structure that unconstrained training keeps outside near-zero directions, and the projection learns the rest of the metric around it. Across fifteen node-classification benchmarks PRAT outperforms or matches the strongest heterophily-adapted models. A controlled ablation ties that performance to the sign structure itself: with architecture and protocol fixed, forbidding the metric to be indefinite costs accuracy on the graphs $s_{\mathcal{G}}$ marks as indefinite and leaves the others unchanged.

cs.LG↗
arXiv2026

Rank stability of elliptic curves over prime cyclic extensions of function fields

Let $\ell$ be an odd prime number. Let $E$ be a non-isotrivial elliptic curve defined over the global function field $K = \mathbb{F}_q(t)$ such that $(q, 6) = 1$ and $q \equiv 1 \mod \ell$. We show that as $q$ grows arbitrarily large, both analytic and algebraic ranks of $E$ do not grow upon base change to $100\%$ of $\mathbb{Z}/\ell \mathbb{Z}$ Galois extensions over $K$. One of the applications we obtain is that over a positive proportion of $\mathbb{Z}/\ell \mathbb{Z}$ Galois extensions $L$ over $K$, the Tate--Shafarevich group of $E$ over $L$ is non-trivial. To obtain these results, we incorporate several geometric and probabilistic techniques which were studied in previous literature. These include the construction of desired auxiliary abelian varieties by Mazur--Rubin--Silverberg, the theory of middle convolution and big monodromy results by Katz and Hall, uniform Chebotarev density theorem by Kowalski, and distribution of prime Selmer groups of auxiliary abelian varieties by Klagsbrun--Mazur--Rubin and Park.

math.NT↗
arXiv2026

SIEVE: Overcoming Topological Obstruction in Equivariant Self-Supervised Learning

We identify a theoretical incompatibility between 3D point cloud masked autoencoding and SE(3)-equivariant networks. We prove that standard masking triggers a topological collapse, effectively forcing the model to hallucinate orientation without a reference frame. To resolve this, we introduce SIEVE (Scalar Invariant Extraction Via Equivariance), an SE(3)-equivariant self-supervised framework that compresses point cloud geometry into invariant scalar embeddings. At its core is the spherical projection mask, which preserves global pose while obfuscating local semantics, sidestepping the obstruction by construction. Experiments confirm that SIEVE circumvents the predicted collapse where constant and noise masks fail. On downstream point cloud tasks, the resulting embeddings improve over coordinate-based baselines and hand-crafted geometric descriptors, with the largest gains on generalization to unseen shape categories.

cs.LG↗
arXiv2026

Rank stability of elliptic curves over $\mathbb{F}_q(t)$ in residue classes

Fix a prime $\ell$. Let $K = \mathbb{F}_q(t)$ be a global function field such that $\gcd(q,6) = 1$ and $q \equiv 1 \pmod \ell$. Let $E$ be a non-isotrivial elliptic curve over $K$. Given a fixed monic polynomial $Q$ over $\mathbb{F}_q$, and assuming some mild conditions on $E$, we show that the rank of $E$ does not change with respect to a positive proportion of $\mathbb{Z}/\ell \mathbb{Z}$ extensions $K(\sqrt[\ell]{f})/K$, as $f$ varies over the set of monic polynomials over $\mathbb{F}_q$ such that $f \equiv A \pmod Q$ for any given polynomial $A$. We obtain this result by combining analytic and probabilistic techniques to study the distribution of certain prime Selmer groups of auxiliary abelian varieties constructed from these polynomials $f$.

math.NT↗
arXiv2026

Mordell--Lang and disparate Selmer ranks of odd twists of some superelliptic curves over global function fields

Fix a prime number $\ell \geq 5$. Let $K = \mathbb{F}_q(t)$ be a global function field of characteristic $p$ coprime to $2,3$, and $q \equiv 1 \text{ mod } \ell$. Let $C:y^\ell = F(x)$ be a non-isotrivial superelliptic curve over $K$ such that $F$ is a degree $3$ polynomial over $\mathbb{F}_q(t)$. Denote by $C_f: fy^\ell = F(x)$ the twist of $C$ by a polynomial $f$ over $\mathbb{F}_q$. Assuming some conditions on $C$, we show that the expected number of $K$-rational points of $C_f$ is bounded, and at least $99\%$ of such curves $C_f$ have at most $(3p)^{4\ell} \cdot \ell!$ many $K$-rational points, as $f$ ranges over the set of polynomials of sufficiently large degree over $\mathbb{F}_q$. To achieve this, we compute the distribution of dimensions of $1-ζ_\ell$ Selmer groups of Jacobians of such superelliptic curves. This is done by generalizing the technique of constructing a governing Markov operator, as developed from previous studies by Swinnerton-Dyer, Klagsbrun--Mazur--Rubin, Yu, and the author.

math.NT↗
arXiv2026

Distribution of Selmer ranks in prime cyclic extensions

Using modifications to work of Klagsbrun, Mazur, and Rubin, we study (assuming the Extended Riemann Hypothesis) the distribution of Selmer ranks of twist families of some given even-dimensional Galois modules satisfying some mild technical conditions. As a corollary, we study the probability with which a fixed elliptic curve gains (or does not gain) rank in $p$-cyclic extensions, obtaining bounds for this distribution. Likewise, for some superelliptic curves $C$, we bound the average size of $C(L)$ as $L$ ranges over $p$-cyclic extensions over a number field $K$ containing primitive $p$-th roots of unity. Lastly, we study the probability with which a fixed hyperelliptic curve gains (or does not gain) rank in quadratic extensions, also obtaining bounds for this distribution. In all three cases, the extensions under consideration are ordered by the product of ramified primes.

math.NT↗
arXiv2026

Orbit decomposition statistics for discrete dynamical systems: the Cesàro mean and a large deviation principle

If a self-map $σ\colon \mathcal{X} \rightarrow \mathcal{X}$ has a dynamical zeta function with nonzero radius of convergence $1/Λ$ and the Cesàro mean $B$ of $ \# \mathrm{Fix}(σ^k)/Λ^k$ exists and is positive, we show a large deviation principle for the number of prime orbits occurring in the decomposition of a general orbit of length $\leq X$ (an element of the free abelian monoid generated by the prime orbits or, equivalently, a prime orbit of a finite multiset in $\mathcal{X}$) with speed $B \log X$ and universal rate function equal to that of the Poisson distribution with unit mean. We also show a large deviation principle for more general strongly additive functions. The proof uses asymptotic results on the total number of general orbits, as well as a weak analogue of Mertens's second theorem, that may be of independent interest. The theory applies, for example, to endomorphisms of algebraic groups over finite fields, additive cellular automata, and automorphisms of some solenoids.

math.DS↗
arXiv2026

A Functorial Formulation of Neighborhood Aggregating Deep Learning

We provide a mathematical interpretation of convolutional (or message passing) neural networks by using presheaves and copresheaves of the set of continuous functions over a topological space. Based on this interpretation, we formulate a theoretical heuristic which elaborates a number of empirical limitations of these neural networks by using obstructions on such sets of continuous functions over a topological space to be sheaves or copresheaves.

cs.LG↗
arXiv2026

Infinitely many hyperelliptic curves of small genus and small fixed rank, and of any genus and rank two

We prove that for any number field $K$ and any fixed genus $g \geq 2$, there are infinitely many non-isomorphic hyperelliptic curves of genus $g$ over $K$ whose Jacobians have rank over $K$ equal to each of 0, 1, or 2. As an example of our method, over $\mathbb{Q}$, we prove that there exist infinitely many non-isomorphic hyperelliptic curves of genus two, whose Jacobians have rank equal to a fixed number between $1$ and $11$, genus three and four curves with rank between $1$ and $4$, and genus five and six with rank between $1$ and $3$.

math.NT↗
arXiv2026

Topology-Informed Graph Transformer

Transformers have revolutionized performance in Natural Language Processing and Vision, paving the way for their integration with Graph Neural Networks (GNNs). One key challenge in enhancing graph transformers is strengthening the discriminative power of distinguishing isomorphisms of graphs, which plays a crucial role in boosting their predictive performances. To address this challenge, we introduce 'Topology-Informed Graph Transformer (TIGT)', a novel transformer enhancing both discriminative power in detecting graph isomorphisms and the overall performance of Graph Transformers. TIGT consists of four components: A topological positional embedding layer using non-isomorphic universal covers based on cyclic subgraphs of graphs to ensure unique graph representation: A dual-path message-passing layer to explicitly encode topological characteristics throughout the encoder layers: A global attention mechanism: And a graph information layer to recalibrate channel-wise graph features for better feature representation. TIGT outperforms previous Graph Transformers in classifying synthetic dataset aimed at distinguishing isomorphism classes of graphs. Additionally, mathematical analysis and empirical evaluations highlight our model's competitive edge over state-of-the-art Graph Transformers across various benchmark datasets.

cs.LG↗
arXiv2025

Enhancing Topological Dependencies in Spatio-Temporal Graphs with Cycle Message Passing Blocks

Graph Neural Networks (GNNs) and Transformer-based models have been increasingly adopted to learn the complex vector representations of spatio-temporal graphs, capturing intricate spatio-temporal dependencies crucial for applications such as traffic datasets. Although many existing methods utilize multi-head attention mechanisms and message-passing neural networks (MPNNs) to capture both spatial and temporal relations, these approaches encode temporal and spatial relations independently, and reflect the graph's topological characteristics in a limited manner. In this work, we introduce the Cycle to Mixer (Cy2Mixer), a novel spatio-temporal GNN based on topological non-trivial invariants of spatio-temporal graphs with gated multi-layer perceptrons (gMLP). The Cy2Mixer is composed of three blocks based on MLPs: A temporal block for capturing temporal properties, a message-passing block for encapsulating spatial information, and a cycle message-passing block for enriching topological information through cyclic subgraphs. We bolster the effectiveness of Cy2Mixer with mathematical evidence emphasizing that our cycle message-passing block is capable of offering differentiated information to the deep learning model compared to the message-passing block. Furthermore, empirical evaluations substantiate the efficacy of the Cy2Mixer, demonstrating state-of-the-art performances across various spatio-temporal benchmark datasets. The source code is available at https://github.com/leemingo/cy2mixer.

cs.LG↗
arXiv2025

Large deviation principles for abelian monoids

Following work of Mehrdad and Zhu and of Liu, we prove a large deviation principle for a broad class of integer-valued additive functions defined over abelian monoids. As a corollary, we obtain a large deviation principle for a generalized form of the Erdős-Kac theorem due to Liu.

math.NT↗
arXiv2025

Counting 5-isogenies of elliptic curves over $\mathbb{Q}$

We show that the number of $5$-isogenies of elliptic curves defined over $\mathbb{Q}$ with naive height bounded by $H > 0$ is asymptotic to $C_5\cdot H^{1/6} (\log H)^2$ for some explicitly computable constant $C_5 > 0$. This settles the asymptotic count of rational points on the genus zero modular curves $X_0(m)$. We leverage an explicit $\mathbb{Q}$-isomorphism between the stack $\mathscr{X}_0(5)$ and the generalized Fermat equation $x^2 + y^2 = z^4$ with $\mathbb{G}_m$-action of weights $(4, 4, 2)$.

math.NT↗
arXiv2025

On the prime Selmer ranks of cyclic prime twist families of elliptic curves over global function fields

Fix a prime number $p$. Let $\mathbb{F}_q$ be a finite field of characteristic coprime to 2, 3, and $p$, which also contains the primitive $p$-th root of unity $μ_p$. Based on the works by Swinnerton-Dyer and Klagsbrun, Mazur, and Rubin, we prove that the probability distribution of the sizes of prime Selmer groups over a family of cyclic prime twists of non-isotrivial elliptic curves over $\mathbb{F}_q(t)$ satisfying a number of mild constraints conforms to the distribution conjectured by Bhargava, Kane, Lenstra, Poonen, and Rains with explicit error bounds. The key tools used in proving these results are the Riemann hypothesis over global function fields, the Erdös-Kac theorem, and the geometric ergodicity of Markov chains.

math.NT↗
arXiv2025

Rank growth of elliptic curves over S3 extensions with fixed quadratic resolvents

We study the probability with which an elliptic curve $E/k$, subject to some technical conditions, gains rank upon base extension to an $S_3$-cubic extension $K/k$ with quadratic resolvent field $F/k$, all three fields of which are subject to some mild technical conditions. To do so, we determine the distribution (under a non-standard ordering) of Selmer ranks of an auxiliary abelian variety associated to $E$ and $S_3$-cubic extensions $K/k$ following ideas of Klagsbrun, Mazur, and Rubin. One corollary of this distribution is that $E$ gains rank by at most one upon base extension to $K$ with probability at least $31.95\%$.

math.NT↗