# Tagged Questions

**1**

vote

**1**answer

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

**1**answer

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

**2**answers

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

**0**answers

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

**0**answers

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

**2**answers

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

**1**answer

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

**2**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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

**0**answers

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

**0**answers

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

**0**answers

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

**0**answers

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

**3**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**5**answers

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

**1**answer

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

**2**answers

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

**4**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**3**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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

**0**answers

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

**2**answers

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

**1**answer

264 views

### Primes $p=x^2+27y^2$ and Ramanujan's $x_1^{1/3} + x_2^{1/3} + x_3^{1/3}$

I was trying to generalize,
...

**0**

votes

**0**answers

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

**1**answer

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

**1**answer

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

**3**answers

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

**1**answer

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}).$$
...