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)

1
vote
1answer
203 views

Error term for prime harmonic

What is known about the asymptotic behavior of $$ f(x)=\sum_{p\le x}\frac1p-\log\log x-B_1? $$ Of course by Mertens we know that $f(x)=o(1),$ but has more been proved (in terms of $O$ or ...
3
votes
1answer
218 views

Is this property of the Bell's number evident?

Let $B(n)$ denote the Bell's number which is the number of the equivalence relation which can be defined on a set of cardinality $n$. While I was trying to solve a problem, I reached another result; ...
1
vote
2answers
93 views

Transforming a recurrence to the product of two other recurrences

This question deals with sequence: $$a_0 = 0,\ a_1 = 7, \quad a_{n+2} = 14a_{n+1} - a_n + 6$$ The question is about establishing that $a_n$ is a composite number (except some finite cases). In one ...
1
vote
0answers
91 views

Arithmetic Progression [duplicate]

Show that for all $a,d,n\in\mathbb{N}$ : $$\sum_{i=0}^{n}\frac{1}{a+id}\notin\mathbb{N}$$ It means that a finite sum of reciprocal of arithmetic progression of natural numbers with at lest two ...
4
votes
0answers
185 views

Telescoping series for $\zeta(s)$, question about the basic ideas and a specific series

There are many known telescoping series that enable analytic continuation of $\sum _n \frac {1}{n^{s}}$ into a variety of domains, however they seem to all be derived from two basic ideas: 1) The ...
2
votes
2answers
515 views

Is it possible on an elliptic curve both $x,y$ to be arbitrary large powers infinitely often?

Let $f(x,y)=0$ be irreducible elliptic curve over the rationals. Are there $f$ for which: Both $x,y$ are arbitrary large powers infinitely often, i.e. infinitely many rational points $(u^k,v^m)$ ...
1
vote
1answer
111 views

basis of the lattice generated by the integer points inside a subspace of R^L

Consider $K$ linearly independent vectors $\mathbf{a}_1, \mathbf{a}_2, ..., \mathbf{a}_K \in \mathbb{Z}^L$, where $1 \leq K<L $. Hence, the span of $\lbrace\mathbf{a}_1, \mathbf{a}_2, ..., ...
5
votes
2answers
220 views

Density of multi-grade solutions to $x_1^k+x_2^k+x_3^k = y_1^k+y_2^k+y_3^k$ for $k = 5$ or $6$?

Given the Diophantine equation, $$x_1^k+x_2^k+x_3^k = y_1^k+y_2^k+y_3^k\tag1$$ there is the rather curious observation that the smallest positive solutions for $k=5$ or $6$ is multi-grade. ...
1
vote
1answer
97 views

asymptotic for restricted partitions

Let $m$ and $n$ be two positive integers and denote by $P(n,m)$ the number of partitions of $n$ into $m$ non-negative integers. Is there an asymptotic formula for $P(n,m)$ ?? Any reference is ...
3
votes
0answers
212 views

On 7th and 8th powers for $x_1^k+x_2^k+x_3^k+x_4^k = y_1^k+y_2^k+y_3^k+y_4^k$

The Diophantine equation, $$x_1^k+x_2^k+x_3^k = y_1^k+y_2^k+y_3^k\tag1$$ for either $k=5$ or $6$ is quite well explored, and it has long been known that it has an infinite number of primitive ...
10
votes
1answer
478 views

Divergence of a series similar to $\sum\frac{1}{p}$

Suppose we start with $k$ primes $p_1,p_2,\ldots ,p_k$ (not necessarily consecutive) and a residue class for each prime $r_1,r_2,\ldots ,r_k$. We denote the least integer not covered by the arithmetic ...
1
vote
1answer
178 views

automorphism group of a given period

Maxim Kontsevich and Don Zagier defined the algebra of periods and conjectured that one can pass from a representation of a given period to another one using only three rules. Assuming this ...
3
votes
0answers
181 views

Possible weakening of Robins criterion for RH

I hope 2015 doesn't start with gross nonsense question for me. Robins equivalence for RH is $$ \frac{\sigma(n)}{n \log\log n} < e^{\gamma}\qquad(1)$$ for $n \ge 5041$. We have $ \limsup ...
23
votes
1answer
867 views

$x^4+y^4$ powerful for relatively prime $x,y$

I asked this question on the NMBRTHRY mailing list on 17 February 2014, but it remains unsolved as far as I know. Recall that a "powerful number" is a positive integer whose prime factorizations $m = ...
0
votes
0answers
116 views

Number of lattice points in a given triangle

Given a triangle with real coordinates, does anybody know how to find the number of lattice points contained within it? What if the points are only rational? I know Pick's formula can be used for the ...
1
vote
0answers
56 views

Showing that a crypto hash function is not permutation, possibly conditionally?

Let $f$ be some crypto hash function, say MD5 with output $n$ bits. Restrict the input to $n$ bits. Cryptographer told me it is open problem if such restricted collision exists, i.e. $f(x)=f(y),x \ne ...
3
votes
0answers
215 views

What are the values of this sequence?

Let $F_n$ denote the $n$th Fibonacci number. Then $\prod\limits_{i=1}^{\infty}(1-x^{F_i})$ is a series all of whose coefficients are either $-1$, $0$ or $+1$. The sequence of the coefficients in ...
3
votes
0answers
107 views

On the computational complexity of the Hilbert polynomial of numerical semigroup rings

Let $(R, \mathfrak{m}) = k[[X^a, X^b, X^c]]$, $a<b<c$, $gcd(a, b, c) = 1$, be a semigroup ring. We have $R$ is a Cohen-Macaulay local ring of dimension one. It is well known that ...
7
votes
3answers
524 views

Is $n = p-q$ equivalent to Goldbach's Conjecture?

One open conjecture is that every even integer greater than two is the difference of two primes. (Some superficial discussion here.) Goldbach's conjecture states that every even integer greater than ...
19
votes
1answer
821 views

When is “independence of l” known?

My question is for which varieties over local fields is "independence of l" known for etale cohomology. Say $X/{\mathbb Q}_p$ is a complete non-singular variety and $W_l$ is the (complex) ...
0
votes
0answers
82 views

Generalized Dedekind Sum Reciprocity Law

Is there a reciprocity law for generalized Dedekind sums of the form: $$S(a,b;x,y;c)=\sum_{k \mod c}\tilde{B}_1\left(\frac{ak+x}{c}\right)\tilde{B}_1\left(\frac{bk+y}{c}\right)$$ such that the other ...
5
votes
1answer
155 views

The generic fiber pullback for $p$-divisible groups in characteristic $p$

Let $R$ be a discrete valuation ring with the field of fractions $K$ and the residue characteristic $p$. If $K$ is of characteristic $0$, then a celebrated theorem of Tate says that the pullback ...
5
votes
1answer
280 views

On the elliptic curve $x(x+a^2)(x+b^2) = y^2$

Ajai Choudhry showed that special cases of the elliptic curve, $$x(x+a^2)(x+b^2)=y^2\tag1$$ can be used to prove that, $$u_1^7+u_2^7+\dots + u_9^7 = 0\tag2$$ has an infinite number of primitive ...
0
votes
1answer
152 views

More on Vojta's exceptional set for a more general abc conjecture

Likely a mistake, but got very large exceptional set in Vojta's more general abc conjecture. In A more general abc conjecture, p. 7 Paul Vojta conjectures: If $x_0,\ldots x_{n-1}$ are nonzero ...
9
votes
0answers
196 views

Is the set of numbers $\{ [n^{3/2}] \mid n\text{ an integer}\}$ a basis of order 3?

A set of integers is called a basis of order h if every nonnegative integer can be written as the sum of h not necessarily distinct elements of the set.(Nathanson, Additive Number Theory, page 7) ...
1
vote
1answer
162 views

Abscissa of absolute convergence of the product of two Dirichlet series

I first asked the following question on Mathematics StackExchange (a few weeks ago), since the content of MathOverflow is mostly above my academic level. I didn't want to bother people on this forum ...
34
votes
1answer
883 views

Mod sequences that seem to become constant; and the number 316

Define a "mod sequence" of nonnegative integers based on one start parameter $s$, its first term, as follows. $A(s)=(a_1,a_2,\ldots,a_n,\ldots)$ with $a_1 = s$ and $$ a_n = \left(\sum_{k=1}^{n-1} a_k ...
2
votes
5answers
347 views

Mean of a vector

Be a set of numbers $v=(a_1, a_2, \ldots, a_n)$ I want to form the following average vector $\mu = (\frac{\sum a_i}{n}, \frac{\sum a_i}{n}, \ldots, \frac{\sum a_i}{n})$. If I do it iteratively step ...
5
votes
1answer
529 views

Any way to prove Prime Number Theorem using Hyperbolic Geometry? [closed]

The prime number theorem says that the density of prime numbers is inverse as the number of digits of $n$: $$\displaystyle \frac{\{1 \leq k \leq n : \text{ prime } \}}{n} \approx \frac{1}{\log n}$$ ...
2
votes
2answers
399 views

Prime divisors of $p^n+1$

Let $p$ be a rational prime and $n$ be a positive integer. It can be easily deduced from Zsigmondy's theorem that $p^n+1$ has a prime divisor greater than $2n$ except when $(p,n)=(2,3)$ or ...
22
votes
4answers
896 views

Number of elements of “$\mathrm{SL}_n(\mathbb{F}_p^\times)$” mod $p$

How many elements of $\mathrm{SL}_n(\mathbb{F}_p)$ have all nonzero entries? Just the answer mod $p$ would be fine as well. This seems like it should be easy/in the literature but I couldn't find it.
0
votes
0answers
90 views

$\zeta$ function for ambiguous class group

Let $K$ be a Galoisian number field with ring of integers $O_K$. I consider $\zeta_{A,K}(s)$ the function defined by $$\zeta_{A,K}(s)=\prod_{\substack{p\in\mathbb N\\p\text{ ...
5
votes
1answer
360 views

Ruth-Aaron triples, etc

A Ruth-Aaron pair is two numbers $(n,n+1)$ such that their sum of prime factors is equal, counting repeated prime factors. (The name refers to Hank Aaron's 715 homeruns surpassing Babe Ruth's 714!) So ...
2
votes
1answer
164 views

Chebyshev polynomials factoring uniformly modulo all primes

Consider the Chebyshev polynomial of the first kind $T_n(x)$ and its factorization in $\mathbb F_p$ for a given prime $p$. Most often, this factorization is not uniform (meaning that the irreducible ...
7
votes
1answer
389 views

Tate's thesis for Artin L-functions

As far as I know, Tate's thesis has been successfully applied in two fronts: Hecke L-functions, by Tate and Iwasawa (and Teichmüller, Witt, Schmid) Automorphic L-functions, by Jacquet, Shalika, ...
0
votes
0answers
94 views

Relation between cyclotomic character and fundamental character of level

The question I have is the following: is it true that the $p+1$ exponentiation of the fundamental character of level $2$ gives us the reduction (mod $p$) of the cyclotomic character? For a review of ...
2
votes
3answers
282 views

Growth of $r_{2}(n)$

Let $n$ be a positive integer. From Jacobi's two-square theorem we know that the number $r_{2}(n)$ of representations of $n$ as a sum of two squares is given by $$ r_{2}(n)=4(d_{1}(n)-d_{3}(n)), $$ ...
7
votes
1answer
260 views

what is the intersection of all congruence subgroups of the profinite completion of SL(2,Z)?

Let $\widehat{SL(2,\mathbb{Z})}$ be the profinite completion of $SL(2,\mathbb{Z})$. Let $\Gamma(N)$ denote the typical principal congruence subgroup of $SL(2,\mathbb{Z})$ (ie, all matrices congruent ...
11
votes
1answer
692 views

More elliptic curves for $a^4+b^4+c^4+d^4 = (a+b+c+d)^4$?

(Note: See also the $a^4+b^4+c^4 = 1$ version in this old MSE post.) The equation discussed in a paper by Jacobi and Madden, $$a^4+b^4+c^4+d^4 = (a+b+c+d)^4 = z^4\tag1$$ or equivalently, $$(p-2q + ...
9
votes
1answer
589 views

What is a totient?

In addition to the Euler totient function, there are a great many generalizations and related functions which go by the "totient", usually with some name: Jordan, Lehmer*, Schemmel, Nagell, Alder, ...
11
votes
0answers
486 views

Applications of $p$-adic Hodge theory

I am trying to learn $p$-adic Hodge theory. I found some materials explaining main theorems (or aspects) of the theory. However, I could not find references which explaining how to use the theory. ...
1
vote
1answer
165 views

Bombieri-Vinogradov in short intervals

In 1985 Perelli, Pintz & Salerno proved a short-interval form of the Bombieri-Vinogradov theorem with $\theta \in (7/12, 1]$. Have there been any improvements on this, in particular with the ...
0
votes
0answers
65 views

The hypertriangular function of $n$

I'm looking for papers or recent results on the hypertriangular function of $n$: $$H_t(n)= \displaystyle\sum\limits_{k=1}^{n} k^k$$ This is A001923 in the OEIS. I don't have much experience with ...
3
votes
2answers
209 views

Sets of squares representing all squares up to $n^2$

Let $S_n=\{1,2,\ldots,n\}$ be natural numbers up to $n$. Say that a subset $S \subseteq S_n$ square-represents $S_n^2$ if every square $1^2,2^2,\ldots,n^2$ can be represented by adding or subtracting ...
3
votes
1answer
264 views
0
votes
0answers
69 views

Arithmetic functions associated with Hurwitz Zeta function raised to arbitrary complex powers, $\zeta(s,q)^z$ for $q \in \mathbb{N}$?

If $\zeta(s)$ is the Riemann Zeta function, then $\zeta(n)^z$, with $z \in \mathbb{C}$, $\Re(s)>1$, can be represented as $$\zeta(s)^z=\sum_{n=1}^\infty \frac{d_z(n)}{n^{-s}}$$ where $d_z(n)$ ...
7
votes
1answer
552 views

Application of the Riemann hypothesis and the ABC conjecture to independence results

In Old Home Page of Andreas Weiermann Andreas Weiermann has stated the following: Quite recently I submitted a preprint about an application of the Riemann hypothesis and the ABC conjecture to ...
1
vote
1answer
131 views

Cardinality of the prime divisor set of a k-power sum

Let $a_{1},\dots,a_{n}$ be positive natural numbers ($n>2$) such that $a_{i}\neq a_{j}$ if $i\neq j$. I want to prove that $$ \left\lvert \left\{ p \text{ prime} \; : \; p \mid \sum_{i=1}^n ...
2
votes
3answers
801 views

Where do Set Theory and Number Theory meet together?

As all know, by absoluteness theorems in Set Theory, most of theorems in number theory are $ZFC$-provable if and only if they are consistent with $ZFC$, it's because of absoluteness of essence of ...
-2
votes
1answer
157 views

Prove that $\sum_{a<n\le b}\{f(n)\}=\frac{1}{2}(b-a)+O(\lambda^{1/3}(b-a)+\lambda^{-1/2})$ [closed]

Let $a,b\in\mathbb{Z}$, and $f\in C^2([a,b])$ such that $|f''(t)|\asymp \lambda$ for $a\le t\le b$. Prove that $$\sum_{a<n\le b}\{f(n)\}=\frac{1}{2}(b-a)+O(\lambda^{1/3}(b-a)+\lambda^{-1/2}).$$ ...