Related papers: Note on a theorem of Professor X

Let A be a commutative domain containing Z which is finitely generated as a Z-algebra, and let a,b,c be non-zero elements of A. It follows from work of Siegel, Mahler, Parry and Lang that the equation (*) ax+by=c has only finitely many…

We prove that integral points can be effectively determined on all but finitely many modular curves, and on all but one modular curve of prime power level.

We derive and implement a new way to find lower bounds on the smallest limiting trace-to-degree ratio of totally positive algebraic integers and improve the previously best known bound to 1.80203. Our method adds new constraints to Smyth's…

In this article we prove lower and upper bounds for class numbers of algebraic curves defined over finite fields. These bounds turn out to be better than most of the previously known bounds obtained using combinatorics. The methods used in…

The Thue-Siegel method is used to obtain an upper bound for the number of primitive integral solutions to a family of quartic Thue's inequalities. This will provide an upper bound for the number of integer points on a family of elliptic…

In 1964, Michael Edelstein presented an amazing affine isometry acting on the space of square-summable sequences. This operator has no fixed points, but a suborbit that converges to 0 while another escapes in norm to infinity! We revisit,…

In this paper, we prove the first incidence bound for points and conics over prime fields. As applications, we prove new results on expansion of bivariate polynomial images and on certain variations of distinct distances problems. These…

Let $X$ be a closed indefinite $4$-manifold with $b_+(X) = 3 \; ({\rm mod} \; 4)$ and with non-vanishing mod $2$ Seiberg--Witten invariants. We prove a new lower bound on the genus of a properly embedded surface in $X \setminus B^4$…

We show new upper and lower bounds for the effective differential Nullstellensatz for differential fields of characteristic zero with several commuting derivations. Seidenberg was the first to address this problem in 1956, without giving a…

For a given genus $g \geq 1$, we give lower bounds for the maximal number of rational points on a smooth projective absolutely irreducible curve of genus $g$ over ${\mathbb F}_q$. As a consequence of Katz-Sarnak theory, we first get for any…

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…

We give conceptual proofs of some results on the automorphism group of an Enriques surface X, for which only computational proofs have been available. Namely, there is an obvious upper bound on the image of Aut(X) in the isometry group of…

We study the arithmetic (real) function f=g*1, with g "essentially bounded" and supported over the integers of [1,Q]. In particular, we obtain non-trivial bounds, through f "correlations", for the "Selberg integral" and the "symmetry…

The first goal of this paper is to prove a sharp condition to guarantee of having a positive proportion of all congruence classes of triangles in given sets in $\mathbb{F}_q^2$. More precisely, for $A, B, C\subset \mathbb{F}_q^2$, if…

In this paper we give an upper bound for the number of integral points on an elliptic curve E over F_q[T] in terms of its conductor N and q. We proceed by applying the lower bounds for the canonical height that are analogous to those given…

The sign-constrained Stiefel manifold in $\mathbb{R}^{n\times r}$ is a segment of the Stiefel manifold with fixed signs (nonnegative or nonpositive) for some columns of the matrices. It includes the nonnegative Stiefel manifold as a special…

Let $f \colon X \to B$ be a nonisotrivial complex elliptic surface and let $\mathcal{D} \subset X$ be an integral divisor dominating $B$. We study finiteness related properties of generalized $(S, \mathcal{D})$-integral sections $\sigma…

We continue the study in [21] of the linearizability near an indif- ferent fixed point of a power series f, defined over a field of prime characteristic p. It is known since the work of Herman and Yoccoz [13] in 1981 that Siegel's…

Let $\mathcal{C}$ be a hyperelliptic curve $y^2 = p(x)$ defined over a number field $K$ with $p(x)$ integral of odd degree. The purpose of the present article is to prove lower and upper bounds for the $2$-Selmer group of the Jacobian of…

We prove that among 1 and the odd zeta values $\zeta(3)$, $\zeta(5)$, \ldots, $\zeta(s)$, at least $ 0.21 \sqrt{s}/\sqrt{\log s}$ are linearly independent over the rationals, for any sufficiently large odd integer $s$. This is the first…