arXiv subjects

Myungjun Yu

Publications and source records attributed to Myungjun Yu.

17 recordsLinked to original sources

arXiv2026

A mod $p$ determinant criterion for Cohen--Lenstra convergence of random $p$-adic matrices with prescribed zero patterns

We study the distribution of cokernels of Haar-random matrices over the $p$-adic integers with prescribed zero patterns, motivated by the Cohen--Lenstra heuristics. A central feature of our approach is that the asymptotic cokernel distribution is governed by the reductions modulo $p$ of these matrices, viewed as random matrices over the finite field $\mathbb{F}_p$. For several families of support patterns arising from stair-shaped zero regions, including general stair-shaped patterns, band matrices, and matrices with two symmetric stair-shaped zero regions, we show that convergence of the cokernel distribution to the Cohen--Lenstra distribution is equivalent to an asymptotic nonsingularity condition over $\mathbb{F}_p$. We further propose a conjecture for general support patterns and give examples showing that analogous rank-$r$ criteria fail for $r\ge 1$.

math.NT↗

arXiv2026

Sharp threshold for universality of cokernels of classical random matrix models over the $p$-adic integers

We prove that $\frac{\log n}{n}$ is the sharp threshold for universality of the distribution of cokernels of random matrices over $\mathbb{Z}_p$. More precisely, let $\alpha_n = \frac{c\log n}{n}$ for a constant $c>0$ and let $A(n)$ be an $\alpha_n$-balanced random matrix over $\mathbb{Z}_p$. For non-symmetric, symmetric, and alternating matrix models, we prove that if $c>1$, then the limiting distribution of the cokernel of $A(n)$ coincides with the universal distribution of the corresponding symmetry type, whereas universality fails at the critical scale $c=1$. This improves earlier universality results, which required $\alpha_n \gg \frac{\log n}{n}$, to the optimal threshold. As an application, we generalize the universality result for Sylow $p$-subgroups of sandpile groups of Erd\H{o}s-R\'enyi random graphs to a broader class of Erd\H{o}s-R\'enyi graph sequences. Our approach is based on a unified framework that simultaneously treats all symmetry types of random matrices as well as the random graph model, rather than handling each case separately.

math.CO↗

arXiv2025

The intrinsic subgroup of an elliptic curve and Mazur's torsion theorem

We define and study a biadditive symmetric (not necessarily perfect) pairing on the torsion part $\mathrm{Pic}(X)_{\mathrm{tors}}$ of the Picard group of a smooth projective curve $X$ over a field $k$ with values in $k^\times \otimes \mathbb{Q}/\mathbb{Z}$. We call its kernel the intrinsic subgroup of $X$. It turns out that some information on the reduction type of $X$ can be read off from the intrinsic subgroup. Mazur's torsion theorem says that there are exactly 15 isomorphism classes of abelian groups that appear as the rational torsion points of an elliptic curve $X$ over $\mathbb{Q}$ (identified with $\mathrm{Pic}(X)_{\mathrm{tors}}$). We refine this result by determining which subgroups of those 15 groups appear as the intrinsic subgroups.

math.NT↗

arXiv2025

Distribution of the cokernels of determinantal row-sparse matrices

We study the distribution of the cokernels of random row-sparse integral matrices $A_n$ according to the determinantal measure from a structured matrix $B_n$ with a parameter $k_n \ge 3$. Under a mild assumption on the growth rate of $k_n$, we prove that the distribution of the $p$-Sylow subgroup of the cokernel of $A_n$ converges to that of Cohen--Lenstra for every prime $p$. Our result extends the work of A. M\'esz\'aros which established convergence to the Cohen--Lenstra distribution when $p \ge 5$ and $k_n=3$ for all positive integers $n$.

math.PR↗

arXiv2025

The rational cuspidal subgroup of J_0(N)

For a positive integer $N$, let $J_0(N)$ be the Jacobian of the modular curve $X_0(N)$. In this paper we completely determine the structure of the rational cuspidal subgroup of $J_0(N)$ when the largest perfect square dividing $N$ is either an odd prime power or a product of two odd prime powers. Indeed, we prove that the rational cuspidal divisor class group of $X_0(N)$ is the whole rational cuspidal subgroup of $J_0(N)$ for such an $N$, and the structure of the former group is already determined by the first author in [14].

math.NT↗

arXiv2024

Random $p$-adic matrices with fixed zero entries and the Cohen--Lenstra distribution

In this paper, we study the distribution of the cokernels of random $p$-adic matrices with fixed zero entries. Let $X_n$ be a random $n \times n$ matrix over $\mathbb{Z}_p$ in which some entries are fixed to be zero and the other entries are i.i.d. copies of a random variable $\xi \in \mathbb{Z}_p$. We consider the minimal number of random entries of $X_n$ required for the cokernel of $X_n$ to converge to the Cohen--Lenstra distribution. When $\xi$ is given by the Haar measure, we prove a lower bound of the number of random entries and prove its converse-type result using random regular bipartite multigraphs. When $\xi$ is a general random variable, we determine the minimal number of random entries. Let $M_n$ be a random $n \times n$ matrix over $\mathbb{Z}_p$ with $k$-step stairs of zeros and the other entries given by independent random $\epsilon$-balanced variables valued in $\mathbb{Z}_p$. We prove that the cokernel of $M_n$ converges to the Cohen--Lenstra distribution under a mild assumption. This extends Wood's universality theorem on random $p$-adic matrices.

math.NT↗

arXiv2023

The distribution of the cokernel of a polynomial evaluated at a random integral matrix

Given a prime $p$, let $P(t)$ be a non-constant monic polynomial in $t$ over the ring $\mathbb{Z}_{p}$ of $p$-adic integers. Let $X_{n}$ be an $n \times n$ random matrix over $\mathbb{Z}_{p}$ with independent entries that lie in any residue class modulo $p$ with probability at most $1 - \epsilon$ for a fixed real number $0 < \epsilon < 1$. We prove that as $n \rightarrow \infty$, the distribution of the cokernel $\mathrm{cok}(P(X_{n}))$ of $P(X_{n})$ converges to the distribution given by a finite product of some explicit measures that resemble Cohen--Lenstra measures. For example, the random matrix $X_{n}$ can be taken as a Haar-random matrix or a uniformly random $(0,1)$-matrix. We consider the distribution of $\mathrm{cok}(P(X_{n}))$ as a distribution of modules over $\mathbb{Z}_{p}[t]/(P(t))$, which gives us a clearer formulation in comparison to considering the distribution as that of abelian groups. For the proof, we first reduce our problem into a problem over $\mathbb{Z}/p^{k}\mathbb{Z}$, for large enough positive integer $k$, in place of $\mathbb{Z}_{p}$. Then we use a result of Sawin and Wood to reduce our problem into another problem of computing the limit of the expected number of surjective $(\mathbb{Z}/p^{k}\mathbb{Z})[t]/(P(t))$-linear maps from $\mathrm{cok}(P(X_{n}))$ modulo $p^{k}$ to a fixed finite size $(\mathbb{Z}/p^{k}\mathbb{Z})[t]/(P(t))$-module $G$. To estimate the expected number and compute the desired limit, we carefully adopt subtle techniques developed by Wood, which were originally used to compute the asymptotic distribution of the $p$-part of the sandpile group of a random graph.

math.NT↗

arXiv2021

The rational cuspidal subgroup of $J_0(p^2M)$ with $M$ squarefree

For a positive integer $N$, let $\mathscr{C}_N(\mathbb{Q})$ be the rational cuspidal subgroup of $J_0(N)$ and $\mathscr{C}(N)$ be the rational cuspidal divisor class group of $X_0(N)$, which are both subgroups of the rational torsion subgroup of $J_0(N)$. We prove that two groups $\mathscr{C}_N(\mathbb{Q})$ and $\mathscr{C}(N)$ are equal when $N=p^2M$ for any prime $p$ and any squarefree integer $M$. To achieve this we show that all modular units on $X_0(N)$ can be written as products of certain functions $F_{m, h}$, which are constructed from generalized Dedekind eta functions. Also, we determine the necessary and sufficient conditions for such products to be modular units on $X_0(N)$ under a mild assumption.

math.NT↗

arXiv2020

Jordan--Landau theorem for matrices over finite fields

Given a positive integer $r$ and a prime power $q$, we estimate the probability that the characteristic polynomial $f_{A}(t)$ of a random matrix $A$ in $\mathrm{GL}_{n}(\mathbb{F}_{q})$ is square-free with $r$ (monic) irreducible factors when $n$ is large. We also estimate the analogous probability that $f_{A}(t)$ has $r$ irreducible factors counting with multiplicity. In either case, the main term $(\log n)^{r-1}((r-1)!n)^{-1}$ and the error term $O((\log n)^{r-2}n^{-1})$, whose implied constant only depends on $r$ but not on $q$ nor $n$, coincide with the probability that a random permutation on $n$ letters is a product of $r$ disjoint cycles. The main ingredient of our proof is a recursion argument due to S. D. Cohen, which was previously used to estimate the probability that a random degree $n$ monic polynomial in $\mathbb{F}_{q}[t]$ is square-free with $r$ irreducible factors and the analogous probability that the polynomial has $r$ irreducible factors counting with multiplicity. We obtain our result by carefully modifying Cohen's recursion argument in the matrix setting, using Reiner's theorem that counts the number of $n \times n$ matrices with a fixed characteristic polynomial over $\mathbb{F}_{q}$.

math.CO↗

arXiv2020

Bounds for 2-Selmer ranks in terms of seminarrow class groups

Let $E$ be an elliptic curve over a number field $K$ defined by a monic irreducible cubic polynomial $F(x)$. When $E$ is \textit{nice} at all finite primes of $K$, we bound its $2$-Selmer rank in terms of the $2$-rank of a modified ideal class group of the field $L=K[x]/{(F(x))}$, which we call the \textit{semi-narrow class group} of $L$. We then provide several sufficient conditions for $E$ being nice at a finite prime. As an application, when $K$ is a real quadratic field, $E/K$ is semistable and the discriminant of $F$ is totally negative, then we frequently determine the $2$-Selmer rank of $E$ by computing the root number of $E$ and the $2$-rank of the narrow class group of $L$.

math.NT↗

arXiv2018

Large Shafarevich-Tate groups over quadratic number fields

Let $E$ be an elliptic curve over the rational field $\mathbf{Q}$. Let $K$ be a quadratic extension over $\mathbf{Q}$. Let $\mathrm{ST}(E/K)$ dente the Shafarevich-Tate group of $E$ over $K$. We show that (under mild conditions on $E$) for every $r>0$, there are infinitely many quadratic twists $E^d/\mathbf{Q}$ of $E/\mathbf{Q}$ such that $\mathrm{dim}_{\mathbf{F}_2}(\mathrm{ST}(E^d/K)[2]) > r$

math.NT↗

arXiv2017

Johnson's bijections and their application to counting simultaneous core partitions

Johnson recently proved Armstrong's conjecture which states that the average size of an $(a,b)$-core partition is $(a+b+1)(a-1)(b-1)/24$. He used various coordinate changes and one-to-one correspondences that are useful for counting problems about simultaneous core partitions. We give an expression for the number of $(b_1,b_2,\cdots, b_n)$-core partitions where $\{b_1,b_2,\cdots,b_n\}$ contains at least one pair of relatively prime numbers. We also evaluate the largest size of a self-conjugate $(s,s+1,s+2)$-core partition.

math.CO↗

arXiv2017

A bijective proof of Amdeberhan's conjecture on the number of $(s, s+2)$-core partitions with distinct parts

Amdeberhan conjectured that the number of $(s,s+2)$-core partitions with distinct parts for an odd integer $s$ is $2^{s-1}$. This conjecture was first proved by Yan, Qin, Jin and Zhou, then subsequently by Zaleski and Zeilberger. Since the formula for the number of such core partitions is so simple one can hope for a bijective proof. We give the first direct bijective proof of this fact by establishing a bijection between the set of $(s, s+2)$-core partitions with distinct parts and a set of lattice paths.

math.CO↗

arXiv2016

2-Selmer near-companion curves

Let $E$ and $A$ be elliptic curves over a number field $K$. Let $\chi$ be a quadratic character of $K$. We prove the conjecture posed by Mazur and Rubin on $n$-Selmer near-companion curves in the case $n=2$. Namely, we show if the difference of the $2$-Selmer ranks of $E^\chi$ and $A^\chi$ is bounded independent of $\chi$, there is a $G_K$-isomorphism $E[2] \cong A[2]$.

math.NT↗

arXiv2016

Slopes for higher rank Artin-Schreier-Witt Towers

We fix a monic polynomial $\bar f(x) \in \mathbb{F}_q[x]$ over a finite field of characteristic $p$, and consider the $\mathbb{Z}_{p^{\ell}}$-Artin-Schreier-Witt tower defined by $\bar f(x)$; this is a tower of curves $\cdots \to C_m \to C_{m-1} \to \cdots \to C_0 =\mathbb{A}^1$, whose Galois group is canonically isomorphic to $\mathbb{Z}_{p^\ell}$, the degree $\ell$ unramified extension of $\mathbb{Z}_p$, which is abstractly isomorphic to $(\mathbb{Z}_p)^\ell$ as a topological group. We study the Newton slopes of zeta functions of this tower of curves. This reduces to the study of the Newton slopes of L-functions associated to characters of the Galois group of this tower. We prove that, when the conductor of the character is large enough, the Newton slopes of the L-function asymptotically form a finite union of arithmetic progressions. As a corollary, we prove the spectral halo property of the spectral variety associated to the $\mathbb{Z}_{p^{\ell}}$-Artin-Schreier-Witt tower. This extends the main result in [DWX] from rank one case $\ell=1$ to the higher rank case $\ell\geq 1$.

math.NT↗

arXiv2015

On 2-Selmer ranks of quadratic twists of elliptic curves

We study the $2$-Selmer ranks of elliptic curves. We prove that for an arbitrary elliptic curve $E$ over an arbitrary number field $K$, if the set $A_E$ of 2-Selmer ranks of quadratic twists of $E$ contains an integer $c$, it contains all integers larger than $c$ and having the same parity as $c$. We also find sufficient conditions on $A_E$ such that $A_E$ is equal to $\Z_{\ge t_E}$ for some number $t_E$. When all points in $E[2]$ are rational, we give an upper bound for $t_E$.

math.NT↗

arXiv2015

Selmer Ranks of twists of hyperelliptic curves and superelliptic curves

We study the variation of Selmer ranks of Jacobians of twists of hyperelliptic curves and superelliptic curves. We find sufficient conditions for such curves to have infinitely many twists whose Jacobians have Selmer ranks equal to $r$, for any given nonnegative integer $r$. This generalizes earlier results of Mazur-Rubin on elliptic curves.

math.NT↗