Prime numbers, Diophantine equations, analytic number theory, algebraic number theory, arithmetic geometry, Galois theory, transcendental number theory, continued fractions

learn more… | top users | synonyms (1)

0
votes
1answer
222 views

A Problem Concerning Odd Perfect Number

Briefly, prove that every odd number having only three distinct prime factors cannot be a perfect number. I know there are results much stronger than the one above, but I am looking for an answer ...
2
votes
0answers
97 views

What is the relation between the length of period of simple continued fraction expansion of quadratic algebraic numbers $\sqrt{A}$ and the integer $A$

What is the relation between the length of period of simple continued fraction expansion of quadratic algebraic numbers and the integer As we know,$\sqrt{2} = [1;2,2,2,2,…]$; while $\sqrt{14}= ...
2
votes
2answers
379 views

Exponential Sum Bound

In http://131.220.77.52/files/preprints/diophantine/bruedern/wpminicubefinal.pdf, Bruedern and Wooley mention the following fact on the bottom of page 6: Let ...
3
votes
1answer
227 views

Dynamics in the integers - Floor function

Let $\alpha$ be an irrational with $0<\alpha<1$. Consider the function given by \begin{align*} f: &\mathbb{N}\longrightarrow \mathbb{N}\\ &x\longmapsto [ \alpha\cdot x]\end{align*} where ...
1
vote
2answers
268 views

Rationale behind an requirement on Turing machines

Hopcroft and Ullman's definition of a Turing machine seems to be standard. This definition defines a Turing machine to be a 7-tupel $T = \langle Q,\Gamma,b,\Sigma,\delta,q_0,F \rangle$ obeying some ...
0
votes
0answers
64 views

Must the radical of polynomial evaluated at integers be small enough at least once?

Basically I am interested if the radical of polynomial evaluated at integers can be small enough at least once. Let $f \in \mathbb{Z}[x], \deg(f)>1$ be squarefree. For integer $a$ and $f(a) \ne 0$ ...
0
votes
1answer
144 views

Composition of a transcendental function with a rational function [closed]

The problem is: let $f: \mathbb{R}\to \mathbb{R}$ be an analytic transcendental function and let $\psi(x)=\frac{x}{2(1+x^2)}$. Is the function $f(\psi(x))$ transcendental?
8
votes
1answer
799 views

What is the arithmetic Nullstellensatz?

The only precise statement (coming from a reliable source) of the "arithmetic Nullstellensatz" I can find is in Gowers's book, stating that two polynomials with integral coefficients have the same ...
19
votes
5answers
1k views

What arrangement of unit cubes minimizes surface area?

For each of these two questions, one can assume that the arrangements are polycubes (for which a definition can be found in the excerpt-image below). Question A. How does one arrange $n$ unit cubes ...
0
votes
1answer
347 views

Counterexample to Pólya's conjecture

It is known that Polya's conjecture is false and the smallest counter-example is about $10^9$. Assuming that we are searching for a counter-example not knowing that it exists. What useful information ...
1
vote
2answers
250 views

Asymptotics on prime divisors

Somewhat inspired from the Zsigmondy's theorem is my question. Suppose Let $a_{1}> a_{2}> \cdots > a_{k}$ be nonzero integers, with $k \geq 2$. Let $a(n) : = a_{1}^{n}+\cdots+a_{k}^{n}$ for ...
2
votes
1answer
202 views

A family Mersenne composite numbers?

I believe that the number $$2^{2^{2t+1}+2t-1}-1$$ is composite for all positive integer $t$. I tested this for many $t$'s, but so far I didn't get a proof. Any idea?
1
vote
0answers
93 views

On the computation of Asai L-function

I want so compute some simple twisted Asai L-function. Let $E/F$ be a quadratic extemsion of number fields and $v$ a finite place of $F$. Let $\chi$ be a unitary automorphic character of ...
3
votes
0answers
309 views

Metric on the set of subsets of the rational primes

Note: this is a revision of an earlier post. It was kindly pointed out that my initial proposed metric was in fact not a metric, so this is a revised version. I was thinking how to say that two sets ...
9
votes
1answer
247 views

Repetend digit graphs for $1/n$ in base $b$

Here is a decimal expansion of $\frac{1}{34}$: $$(1/34)_{10}=0.02941176470588235\overline{2941176470588235}\ldots$$ And here is a graphical representation of the 16-digit "repetend," as a directed ...
6
votes
2answers
322 views

Rational points techniques on curves not using their Jacobian

Let $C/K$ be a curve of genus > 2 over a number field $K$ and suppose there exists a $p \in C(K)$. Then a recurring theme in studying $C(K)$ is using the map $C \to J(C)$ normalized by sending $p$ to ...
5
votes
2answers
210 views

Estimates on derivatives of Bessel function

In Duke, Friedlander and Iwaniec's Erratum on "Bounds for automorphic L–functions. II" They have the following estimates for derivatives of Bessel functions: For $k \geq 2$ \begin{align} & ...
12
votes
3answers
1k views

Finding integer points on elliptic curves via divisibility conditions like $(a+b)^2 \mid (2b^3+6ab^2-1)$

Is the following conjecture correct? Conjecture. The divisibility condition $(\alpha+\beta)^2 \mid (2\beta^3+6\alpha\beta^2-1)$ has no solutions in positive integers $1 \le \beta < \alpha < ...
0
votes
0answers
182 views

Which of the Mochizuki's works are the most closely related to elliptic curves?

I'm very much interest about algebraic geometry and number theory along with cryptography, but I have a special interest about the elliptic curves. I have heard a lot of interesting things about ...
3
votes
1answer
184 views

Arthur's refinement of parameters for unitary automorphic representations

In his work on the classification of automorphic representations of a group $G$, Arthur has conjectured that the parameterization of such representations involves a homomorphism $\rho : SL_2 \times ...
8
votes
1answer
312 views

Separation of lattice points on the Mordell elliptic curve

Consider the Mordell equation x^3 – y^2 = k, where x is a non-square positive integer and y^2 is the perfect square nearest to x^3. Noam Elkies (see http://www.math.harvard.edu/~elkies/hall.html) ...
2
votes
0answers
57 views

Extension of the product formula for valuations to a simultaneous completion

It is well known that $\mathbb{C}$ and $\mathbb{C}_p$ are "algebraically" isomorphic (that is, ignoring the topology), but an isomorphism depends on the axiom of choice and there is no canonical way ...
1
vote
1answer
145 views

For a defined set $M$ (see problem) do there exist $a,b$ natural numbers so that $a,ab+1 \in M$

Let $\rho \in \mathbb{R}\setminus \mathbb{Q}$ be a irrational nuber, and let $\varepsilon>0$ be arbitrarily small. Define $M=\{m \in \mathbb{N}: \exists k \in \mathbb{N}\hbox{ so that} |\rho m -k ...
13
votes
4answers
556 views

Is the sequence of Apéry numbers a Stieltjes moment sequence?

Consider the sequence of Apéry numbers $$ A_n = \sum_{k=0}^n \binom{n}{k}\binom{n+k}{k}\sum_{j=0}^k \binom{k}{j}^3 = \sum_{k=0}^n \binom{n}{k}^2\binom{n+k}{k}^2 . $$ In an email, physicist Alan Sokal ...
4
votes
0answers
120 views

Without Skolem–Mahler–Lech Theorem? [closed]

Using Skolem–Mahler–Lech theorem one can easily prove the $\displaystyle \lim_{n\to +\infty}\left|\Re\left(\frac{1+i\sqrt{7}}{2} \right)^n\right| =+\infty$. Is there a "simple way" to prove this ...
1
vote
1answer
116 views

On the pole of local L-function

Let $F$ be a number field and $v$ a finite place of $F$. Let $\chi_v$ be a unramified unitary character of $F_v$. Then we define local L-function $L_v(s,\chi_v):=\frac{1}{1-\chi_v(\omega)q^{-s}}$ ...
4
votes
0answers
177 views

Non-hyperelliptic families of curves with trivial Ceresa class (or Gross-Schoen class)

Suppose X/K is a curve over a field K, which we want to think of as non-algebraically closed, and let x be a point of X(K). The Ceresa cycle is defined as follows; you can embed X in Jac(X) by sending ...
0
votes
0answers
100 views

Collatz property implying infinite “fall below” trajectories, is it known?

(this was discovered analyzing Collatz empirically.) a key aspect of resolving Collatz involves looking at the number of iterations for trajectories to "fall below" the initial value. consider ...
6
votes
0answers
119 views

Upper bound on the number of ismorphism classes of bilinear forms on $\mathbb{Z}^n$

$\DeclareMathOperator{\Hom}{Hom}$A symmetric, positive definite bilinear form on $\mathbb{Z}^n$ is any mapping $$b : \mathbb{Z}^n \times \mathbb{Z}^n \to \mathbb{Z}$$ satisfying $b$ is bilinear, ...
7
votes
5answers
634 views

Small values of a polynomial evaluated at roots of unity

The MO answer http://mathoverflow.net/a/98176/11926 notes the following: Let $\gamma$ be an algebraic number that is not a root of unity. Then Baker's theorem implies that there is a constant ...
7
votes
1answer
257 views

The Diophantine equation $x^p - 4y^p = z^2$

If $p \geq 5$ is a prime, are there any integers $x, y, z > p$ such that $(x, y) = 1$ and $$x^{p} - 4y^{p} = z^{2}$$
-1
votes
1answer
135 views

When is a local subring of a number field a valuation ring?

Do we have some good examples of local subrings of number fields which are not valuation rings? Do we have an easy criterion for determining whether a local subring of a number field is a valuation ...
2
votes
2answers
316 views

Practical use of estimates for the Gauss Circle Problem

This question is related to this and this ones. The Gauss Circle problem asks for the number $N(r)$ of integer points within a sphere of radius $r$ centered at the origin. It is well known that $N(r) ...
14
votes
2answers
2k views

Is there an algebraic number that cannot be expressed using only elementary functions?

(this is basically a repost of a question I asked at M.SE last year) Is there an explicit real algebraic number (such that we can write its minimal polynomial and a rational isolating interval) that ...
4
votes
1answer
278 views

Lower bound on the irrationality measure of $\pi$

There seems to be a lot of work on the upper bound for the irrationality measure of $\pi$, but I could not find anything on a lower bound except the general $\mu(\pi)\geq2$. Looks like it is the best ...
3
votes
0answers
253 views

Is it possible to find explicit formula for the product $\prod_{d|n,\ d>1} (1-\mu(d)/\varphi(d))^{\varphi(d)}$?

I am trying to calculate the following product $$ \prod_{d|n}_{d>1} \left( 1-\frac{\mu(d)}{\varphi(d)} \right)^{\varphi(d)} $$ where the functions $\varphi$ and $\mu$ are Euler's totient and ...
20
votes
1answer
940 views

A conjectured formula for Apéry numbers

A conjecture by the late Romanian mathematician Alexandru Lupas. Posted in sci.math in 2005, but no proof was found. Physicist Alan Sokal just reminded me of it, saying it was related to something he ...
5
votes
0answers
130 views

Applications of anabelian geometry to Galois representations?

One aspect of anabelian geometry is the study of the action of the absolute Galois group of a field $K$ on the etale fundamental group $\pi_1(X_\overline K)$, where $X$ is a (anabelian) variety and ...
6
votes
1answer
240 views

Cohen-Lenstra heuristics for totally complex fields

If a number field $K$ is a Galois extension of $\mathbb{Q}$, and $G = \operatorname{Gal}(K/\mathbb{Q})$, then the class group of $K$ is a $\mathbb{Z}[G]$-module, and since $N = \sum_{g \in G} g$ acts ...
5
votes
1answer
311 views

Kernel of the character of congruence groups

Let $\Gamma$ be a congruence subgroup of $SL_2(\mathbb Z)$ and $\chi:\Gamma \to \mathbb{C}^*$ a character of $\Gamma$ with finite image. Is then $\ker(\chi)$ also a congruence group? If not, can ...
3
votes
1answer
157 views

Linear dependency of real numbers with integer coefficients adding up to zero [closed]

Let $x = (x_1, \dots, x_n)$ be a vector of real number. I was asking myself if there was an efficient way of telling whether there exists a non-zero vector of integers $z \in \mathbb Z$ such that both ...
1
vote
0answers
77 views

Points on the intersection of an affine quadric and cubic over a finite field

Are there absolute constants $N$ and $B$ such that the following is true? Let $p>B$ be a prime. Let $q(x_0,\dotsc,x_n)$ and $c(x_0,\dotsc,x_n)$ be homogeneous of degree $2$ and $3$ with ...
3
votes
1answer
334 views

Lower bounds on the error term of the prime number theorem

Are there any lower bounds on the error term for the prime number theorem, or in other words, is there a nontrivial $f$ s.t. $$f(x)\ll |\psi(x) - x|$$ where $\psi$ is the Chebyshev function.
1
vote
0answers
71 views

Are all complex zeros of $Li_s(z)\, \pm \, Li_{1-s}(z)$ on the critical line or outside the critical strip for $z \le -1$?

This question loosely builds on this one, however is a bit simpler and I found the results to be more robust. It seems that all zeros in the critical strip $0 \lt \Re(s) < 1$ of: $$Li_s(z)\, \pm ...
10
votes
1answer
350 views

The Mordell and Bogomolov problems in linear groups

Many things in the arithmetic of abelian varieties have counterparts not only in linear tori, but also for semisimple linear groups. Two examples are the Tamagawa number and the conjectured finiteness ...
0
votes
1answer
189 views

Obstruction and 1st order infinitesimal deformations of Generalized Elliptic Curves (Deligne-Rapoport)

We consider the deformation theory of a generalized elliptic curve $(C_0,+)$ over a field $k$. Let $D$ be the deformation functor. And now we only consider the case that $C_0$ is irreducible as in ...
8
votes
1answer
289 views

Tate-Shafarevich groups over finitely generated fields

Let $G$ be an algebraic group over a number field $k$. One defines the Tate-Shafarevich set of $G$ to be $$Ш(k,G) = \ker\left(H^1(k,G) \to \prod_{v} H^1(k_v,G)\right),$$ where the product is over all ...
0
votes
1answer
193 views

The special point count on Shimura varieties

This, in view of the analogies between CM points on Shimura curves and torsion points on elliptic curves, is a sequel to an earlier question I had asked: The torsion point count in higher dimension . ...
3
votes
1answer
363 views

Smallest prime in an arithmetic progression

Let $\{a_n\}_{n\in\mathbb{N}}$ be defined as $a_n = a + bn$ for some $a, b >0,(a, b) = 1$. Are there good bounds on the minimal $k$ s.t. $a_k$ is prime. It is well known that there are infinitely ...
29
votes
2answers
822 views

For integers $a \ge b > 1$ is $f(a,b) = a^b + b^a$ injective?

Given two integers $a \ge b >1$, can we encode them as a unique integer $a^b + b^a$? I asked this question on math.SE, and after surviving a week with a bounty, it seems that this question ...