Related papers: Division-ample sets and the Diophantine problem fo…

These highly informal lecture notes aim at introducing and explaining several closely related problems on zeros of analytic functions defined by ordinary differential equations and systems of such equations. The main incentive for this…

Fix a number field k. We prove that k* - k*^2 is diophantine over k. This is deduced from a theorem that for a nonconstant separable polynomial P(x) in k[x], there are at most finitely many a in k* modulo squares such that there is a…

Let $A$ be a non-isotrivial almost ordinary abelian surface with possibly bad reductions over a global function field of odd characteristic $p$. Suppose $\Delta$ is an infinite set of positive integers, such that…

In this article, we try to explain and unify standard divisibility tests found in various books. We then look at recurring decimals, and list a few of their properties. We show how to compute the number of digits in the recurring part of…

Let E be an elliptic curve having Complex Multiplication by the full ring O_K of integers of K=Q(\sqrt{-D}), let H=K(j(E)) be the Hilbert class field of K. Then the Mordell-Weil group E(H) is an O_K-module, and its structure denpends on its…

Given an elliptic curve $E$ and a point $P$ in $E(\mathbb{R})$, we investigate the distribution of the points $nP$ as $n$ varies over the integers, giving bounds on the $x$ and $y$ coordinates of $nP$ and determining the natural density of…

We obtain lower bounds for Selmer ranks of elliptic curves over dihedral extensions of number fields. Suppose $K/k$ is a quadratic extension of number fields, $E$ is an elliptic curve defined over $k$, and $p$ is an odd prime. Let $F$…

We investigate the connection between bijective, not necessarily finite, set-theoretic solutions of the pentagon equation and Hopf algebras. Firstly, we prove that finite solutions correspond to Hopf algebras with the positive basis…

We investigate the partitioning of partial orders into a minimal number of heapable subsets. We prove a characterization result reminiscent of the proof of Dilworth's theorem, which yields as a byproduct a flow-based algorithm for computing…

We study the rings of invariants for the indecomposable modular representations of the Klein four group. For each such representation we compute the Noether number and give minimal generating sets for the Hilbert ideal and the field of…

Hilbert's 14th problem studies the finite generation property of the intersection of an integral algebra of finite type with a subfield of the field of fractions of the algebra. It has a negative answer due to the counterexample of Nagata.…

Yuri Matiyasevich's theorem states that the set of all Diophantine equations which have a solution in non-negative integers is not recursive. Craig Smory\'nski's theorem states that the set of all Diophantine equations which have at most…

Point-to-point reflection holding for harmonic functions subject to the Dirichlet or Neumann conditions on an analytic curve in the plane almost always fails for solutions to more general elliptic equations. We develop a non-local,…

For any positive integer $n$ along with parameters $\alpha$ and $\nu$, we define and investigate $\alpha$-shifted, $\nu$-offset, floor sequences of length $n$. We find exact and asymptotic formulas for the number of integers in such a…

Following the work of Waldschmidt, we investigate problems in Diophantine approximation on abelian varieties. First we show that a conjecture of Waldschmidt for a given simple abelian variety is equivalent to a well-known Diophantine…

Let $K$ be a number field with ring of integers $\mathcal{O}_K$. Let $\mathcal{N}_K$ be the set of positive integers $n$ such that there exist units $\varepsilon, \delta \in \mathcal{O}_K^\times$ satisfying $\varepsilon + \delta = n$. We…

Let $E$ be an elliptic curve defined over a number field $K$, let $\alpha \in E(K)$ be a point of infinite order, and let $N^{-1}\alpha$ be the set of $N$-division points of $\alpha$ in $E(\bar{K})$. We prove strong effective and uniform…

This paper explores multiple closely related themes: bounding the complexity of Diophantine equations over the integers and developing mathematical proofs in parallel with formal theorem provers. Hilbert's Tenth Problem (H10) asks about the…

We prove a $p$-converse theorem for elliptic curves $E/\mathbb{Q}$ with complex multiplication by the ring of integers $\mathcal{O}_K$ of an imaginary quadratic field $K$ in which $p$ is ramified. Namely, letting $r_p =…

We consider the problem of classifying quadruples $(K,E,m_1,m_2)$ where $K$ is a number field, $E$ is an elliptic curve defined over $K$ and $(m_1,m_2)$ is a pair of relatively prime positive integers for which the intersection $K(E[m_1])…