Source author record

Nathan Kaplan

Nathan Kaplan appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

16works
5topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

16 published item(s)

preprint2022arXiv

Generalizations of results of Friedman and Washington on cokernels of random $p$-adic matrices

Let $p$ be prime and $X$ be a Haar-random $n \times n$ matrix over $\mathbb{Z}_{p}$, the ring of $p$-adic integers. Let $P_{1}(t), \dots, P_{l}(t) \in \mathbb{Z}_{p}[t]$ be monic polynomials of degree at most $2$ whose images modulo $p$ are distinct and irreducible in $\mathbb{F}_{p}[t]$. For each $j$, let $G_{j}$ be a finite module over $\mathbb{Z}_{p}[t]/(P_{j}(t))$. We show that as $n$ goes to infinity, the probabilities that $\mathrm{cok}(P_{j}(X)) \simeq G_{j}$ are independent, and each probability can be described in terms of a Cohen-Lenstra distribution. We also show that for any fixed $n$, the probability that $\mathrm{cok}(P_{j}(X)) \simeq G_{j}$ for each $j$ is a constant multiple of the probability that that $\mathrm{cok}(P_{j}(\bar{X})) \simeq G_{j}/pG_{j}$ for each $j$, where $\bar{X}$ is an $n \times n$ uniformly random matrix over $\mathbb{F}_{p}$. These results generalize work of Friedman and Washington and prove new cases of a conjecture of Cheong and Huang.

preprint2022arXiv

Numerical semigroups, polyhedra, and posets I: the group cone

Several recent papers have explored families of rational polyhedra whose integer points are in bijection with certain families of numerical semigroups. One such family, first introduced by Kunz, has integer points in bijection with numerical semigroups of fixed multiplicity, and another, introduced by Hellus and Waldi, has integer points corresponding to oversemigroups of numerical semigroups with two generators. In this paper, we provide a combinatorial framework from which to study both families of polyhedra. We introduce a new family of polyhedra called group cones, each constructed from some finite abelian group, from which both of the aforementioned families of polyhedra are directly determined but that are more natural to study from a standpoint of polyhedral geometry. We prove that the faces of group cones are naturally indexed by a family of finite posets, and illustrate how this combinatorial data relates to semigroups living in the corresponding faces of the other two families of polyhedra.

preprint2022arXiv

The cotype zeta function of $\mathbb{Z}^d$

We give an asymptotic formula for the number of sublattices $Λ\subseteq \mathbb{Z}^d$ of index at most $X$ for which $\mathbb{Z}^d/Λ$ has rank at most $m$, answering a question of Nguyen and Shparlinski. We compare this result to recent work of Stanley and Wang on Smith Normal Forms of random integral matrices and discuss connections to the Cohen-Lenstra heuristics. Our arguments are based on Petrogradsky's formulas for the cotype zeta function of $\mathbb{Z}^d$, a multivariable generalization of the subgroup growth zeta function of $\mathbb{Z}^d$.

preprint2021arXiv

Counting Plane Cubic Curves over Finite Fields with a Prescribed Number of Rational Intersection Points

For each integer $k \in [0,9]$, we count the number of plane cubic curves defined over a finite field $\mathbb{F}_q$ that do not share a common component and intersect in exactly $k\ \mathbb{F}_q$-rational points. We set this up as a problem about a weight enumerator of a certain projective Reed-Muller code. The main inputs to the proof include counting pairs of cubic curves that do share a common component, counting configurations of points that fail to impose independent conditions on cubics, and a variation of the MacWilliams theorem from coding theory.

preprint2019arXiv

Chip-Firing Games and Critical Groups

In this expository article intended to be accessible to undergraduate students we introduce a finite abelian group that can be associated to any finite connected graph. This group can be defined in an elementary combinatorial way in terms of chip-firing operations, and has been an object of interest in combinatorics, algebraic geometry, statistical physics, and several other areas of mathematics. We will begin with basic definitions and examples and develop a number of properties that can be derived by looking at this group from different angles. Throughout, we will give exercises, some of which are straightforward and some of which are open questions. We will also attempt to highlight some of the many contributions to this area made by undergraduate students

preprint2018arXiv

Counting Arithmetical Structures on Paths and Cycles

Let $G$ be a finite, simple, connected graph. An arithmetical structure on $G$ is a pair of positive integer vectors $\mathbf{d},\mathbf{r}$ such that $(\mathrm{diag}(\mathbf{d})-A)\mathbf{r}=0$, where $A$ is the adjacency matrix of $G$. We investigate the combinatorics of arithmetical structures on path and cycle graphs, as well as the associated critical groups (the cokernels of the matrices $(\mathrm{diag}(\mathbf{d})-A)$). For paths, we prove that arithmetical structures are enumerated by the Catalan numbers, and we obtain refined enumeration results related to ballot sequences. For cycles, we prove that arithmetical structures are enumerated by the binomial coefficients $\binom{2n-1}{n-1}$, and we obtain refined enumeration results related to multisets. In addition, we determine the critical groups for all arithmetical structures on paths and cycles.

preprint2018arXiv

Weight enumerators of Reed-Muller codes from cubic curves and their duals

Let $\mathbb{F}_q$ be a finite field of characteristic not equal to $2$ or $3$. We compute the weight enumerators of some projective and affine Reed-Muller codes of order $3$ over $\mathbb{F}_q$. These weight enumerators answer enumerative questions about plane cubic curves. We apply the MacWilliams theorem to give formulas for coefficients of the weight enumerator of the duals of these codes. We see how traces of Hecke operators acting on spaces of cusp forms for $\operatorname{SL}_2(\mathbb{Z})$ play a role in these formulas.

preprint2017arXiv

Counting Numerical Semigroups

A numerical semigroup is an additive submonoid of the natural numbers with finite complement. The size of the complement is called the genus of the semigroup. How many numerical semigroups have genus equal to $g$? We outline Zhai's proof of a conjecture of Bras-Amorós that this sequence has Fibonacci-like growth. We now know that this sequence asymptotically grows as fast as the Fibonacci numbers, but it is still not known whether it is nondecreasing. We discuss this and other open problems. We highlight the many contributions made by undergraduates to problems in this area.

preprint2016arXiv

The Realization Problem for Delta Sets of Numerical Semigroups

The delta set of a numerical semigroup $S$, denoted $Δ(S)$, is a factorization invariant that measures the complexity of the sets of lengths of elements in $S$. We study the following problem: Which finite sets occur as the delta set of a numerical semigroup $S$? It is known that $\min Δ(S) = \gcd Δ(S)$ is a necessary condition. For any two-element set $\{d,td\}$ we produce a semigroup $S$ with this delta set. We then show that for $t\ge 2$, the set $\{d,td\}$ occurs as the delta set of some numerical semigroup of embedding dimension three if and only if $t=2$.

preprint2015arXiv

Numerical Sets, Core Partitions, and Integer Points in Polytopes

We study a correspondence between numerical sets and integer partitions that leads to a bijection between simultaneous core partitions and the integer points of a certain polytope. We use this correspondence to prove combinatorial results about core partitions. For small values of a, we give formulas for the number of (a,b)-core partitions corresponding to numerical semigroups. We also study the number of partitions with a given hook set.

preprint2015arXiv

On a Cohen-Lenstra Heuristic for Jacobians of Random Graphs

In this paper, we make specific conjectures about the distribution of Jacobians of random graphs with their canonical duality pairings. Our conjectures are based on a Cohen-Lenstra type heuristic saying that a finite abelian group with duality pairing appears with frequency inversely proportional to the size of the group times the size of the group of automorphisms that preserve the pairing. We conjecture that the Jacobian of a random graph is cyclic with probability a little over .7935. We determine the values of several other statistics on Jacobians of random graphs that would follow from our conjectures. In support of the conjectures, we prove that random symmetric matrices over the p-adic integers, distributed according to Haar measure, have cokernels distributed according to the above heuristic. We also give experimental evidence in support of our conjectures.

preprint2015arXiv

The distribution of $\mathbb{F}_q$-points on cyclic $\ell$-covers of genus $g$

We study fluctuations in the number of points of $\ell$-cyclic covers of the projective line over the finite field $\mathbb{F}_q$ when $q \equiv 1 \mod \ell$ is fixed and the genus tends to infinity. The distribution is given as a sum of $q+1$ i.i.d. random variables. This was settled for hyperelliptic curves by Kurlberg and Rudnick, while statistics were obtained for certain components of the moduli space of $\ell$-cyclic covers by Bucur, David, Feigon and Lalín. In this paper, we obtain statistics for the distribution of the number of points as the covers vary over the full moduli space of $\ell$-cyclic covers of genus $g$. This is achieved by relating $\ell$-covers to cyclic function field extensions, and counting such extensions with prescribed ramification and splitting conditions at a finite number of primes.