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)

-2
votes
0answers
35 views

Riemann Hypothesis and Kahr, Moore and Wang

Is there an expression of the Riemann Hypothesis in the First-Order Logic? Is there a conversion of this expression to the Kahr, Moore, Wang AEA reduction class for satisfiability?
0
votes
0answers
51 views

Two-dimensional Perron formula

There is a well-known Perron formula, which connects a mean value of certain arithmetic function with its Dirichlet series: $$ \sum_{n\le x} f(n) = {1\over 2\pi i} \int_{c-i\infty}^{c+i\infty} F(s) ...
4
votes
1answer
90 views

Units of $\mathbf Z[X,Y]/(P(X,Y))$

Let $P(X,Y)\in \mathbf Z[X,Y]$ be an irreducible polynomial and let $A$ denote the quotient ring $\mathbf Z[X,Y]/(P)$. What is known about the group of units of $A$? It's not even clear to me that ...
18
votes
0answers
219 views

improving known bounds for Pierce expansions; cash prize

Here's a problem that I thought of back in 1978 or so, and only a little progress has been made on it since then. I still think about it from time to time, but probably not that many people have ...
9
votes
1answer
283 views

Computing $\Pi_p(\frac{p^2-1}{p^2+1})$ without the zeta function?

We see that $\frac{2}{5}=\frac{36}{90}=\frac{6^2}{90}=\frac{\zeta(4)}{\zeta(2)^2}=\Pi_p\frac{(1-\frac{1}{p^2})^2}{(1-\frac{1}{p^4})}=\Pi_p(\frac{(p^2-1)^2}{(p^2+1)(p^2-1)})=\Pi_p(\frac{p^2-1}{p^2+1})$ ...
16
votes
1answer
370 views

Is anything known about which numbers appear in the continued fraction expansion of $\pi$?

This question is mostly idle curiosity, and certainly is not related to any research activities of my own. The motivation and background are as follows. I am currently teaching a Freshman Seminar in ...
3
votes
2answers
142 views

Real character modular forms: Fourier coefficient real?

Let $f$ be a modular form of level $N$ and real character $\chi$ of mod $N$ and weight $k$. Does the Fourier coefficient or hecke-eigenvalue of $f$ have to be real? What I knew is that if $N=1$ and ...
0
votes
0answers
34 views

Extensions on Higher-dimensional local fields

I have the following question: Let $M/L$ b a finite extension of n-dimensional local fields and $t_1,\dots, t_n$ a system of local parameters of $L$ with valuation $v$. Let us fix an $1\leq i \leq ...
1
vote
0answers
31 views

Valuations in Higher-dimensional local fields

I have the following question which I believ should be true but I would like to have a different opinion about it: Let $M/L$ is a finite Galois extension of $n$-dimensional local fields and ...
4
votes
2answers
274 views

Can we sometimes define the parity of a set?

Suppose that ${n\choose k}, {n-1\choose k-1}, \ldots, {n-k+1\choose 1}$ are all even. (This happens for example if $k=2^\alpha-1$ and $n=2k$.) In this case, can we select ${n\choose k}/2$ sets of size ...
1
vote
0answers
115 views

Quadratic - Ternary Forms

Hi I have the following problems concerning quadratic and ternary forms. Any help would be greatly appreciated. $3\displaystyle\sum_{x, y\in\mathbb{Z}}q^{x^2+xy+7y^2}=3\displaystyle\sum_{x, ...
7
votes
1answer
264 views

Prime races à la Mertens

I have just read the nice survey by Granville and Martin about prime races. I wonder what happens if one changes the rules for the prime races as follows. Fix $q$ a modulus (an integer $>1$). For ...
1
vote
0answers
31 views

Can the generalized divisor summatory function $D_z$ be expressed explicitly in terms of Zeta Zeros?

Mertens function has, by residues, an explicit formula of $M(n)=\displaystyle\sum_{\rho}\frac{x^\rho}{\rho\zeta'(\rho)}-2+\sum_{n=1}^\infty\frac{(-1)^{2 n}(2\pi)^{2n}}{(2n)! n \zeta(2n+1)x^{2n}}$ ...
1
vote
0answers
112 views

Is liminf|(n*sinn)|=0 as n tends to infinity? [duplicate]

One of my friends asked me that is $\varliminf |nsinn|=0$? I think maybe it has some relations with Number theory, But I don't know how to solve it. If you know the answer, please tell me since it ...
-3
votes
0answers
46 views

Why is a principal prime ideal of $\mathrm{PID}[x]$ not maximal? [migrated]

Let $R$ be a PID and let $f(x)\in R[x]$ be an irreducible primitive polynomial. I want to show that the prime ideal $(f)<R[x]$ is not maximal. It would be enough to find a prime $p\in R$ such that ...
0
votes
0answers
75 views

Integer sequences such that each term forms k-consecutive composite integers [on hold]

For $\mathbb{N} \ni k>3$, let $\{a_n\}_{n=1}^{\infty}$ be an increasing positive integer sequence such that for each $n$, $(a_n, a_n+1,\ldots,a_n+(k-1))$ is a $k$-tuple of composite positive ...
2
votes
1answer
109 views

Criterion for R-equivalence of two points on cubic surfaces over $\mathbb{Q}$

The definition of R-equivalence is given in the paper as Definition 4.1. Coarsely speaking, given a field $K$ and a cubic surface over $K$, two points $x,y$ are R-equivalent over $K$ if they can be ...
1
vote
1answer
203 views

Is Hardy-Littlewood k-tuple conjecture known to imply Goldbach's conjecture?

The question is in the title: is Hardy-Littlewood k-tuple conjecture known to imply Goldbach's conjecture? I tried to give a heuristics in Upper bound for $r_{0}(n)$ through probabilities that seems ...
1
vote
1answer
206 views

What are the solutions for discrete integers b, d to $a^b \equiv c^d \pmod p$ where $p$ is a large prime number?

Is there a way to efficiently discover or choose the integers $b$, $d$ for the congruence relationship below where $p$ is a large prime number? Is there a name for this relationship? $$ a^{b} = c^{d} ...
11
votes
1answer
284 views

Congruence for the number of points in the elliptic curve $y^2 = x^3+b \pmod{p}$

Let $E$ be the elliptic curve $y^2=x^3+1$ and $p \equiv 1 \pmod{3}$ a prime. Computing the number of points mod $p$ of $E$ using the naive method gives: $$ \#E(\mathbb F_p) = 1+ \sum_{x=0}^{p-1} ...
0
votes
1answer
220 views

A convergence issue [Edited]

Let $\{x_n\}_{n=1}^\infty$ be a sequence of vectors in a Hilbert space $$l^2_{k^{-2}}:=\{z=\{z(k)\}_{k=1}^\infty:\sum\limits_{k=1}^\infty z(k)^2k^{-2}<\infty\}.$$ It is known that for some $x\in ...
0
votes
0answers
77 views

Does Riemann's explicit formula imply invariance of the prime gaps distribution under a Fourier-like transform?

Loosely speaking, Riemann's explicit formula states that there exists a Fourier-type duality between the primes and the non trivial zeroes of the Riemann zeta function. Does this mean that the ...
-3
votes
0answers
50 views

Product of Positive Intever Divisors of 6^16 equals 6^k [closed]

Product of Positive Intever Divisors of 6^16 equals 6^k How would I find K? Don't give me the answer, just how to get it Thanks
9
votes
0answers
170 views

Lifting Abelian Varieties to p-adic fields

Assume I have an abelian variety $A$ over a finite field $k$ of characteristic $p$. Work of Norman and Oort (1980) says I can lift $A$ to an abelian variety $\mathscr{A}$ over some characteristic ...
4
votes
1answer
233 views

Existence of a certain subset of natural numbers equidistributed modulo $m$ for every $m$

I was talking to a friend and the following set $S$ came up. Let $f$ be some real valued function tending to infinity. Let $S$ be a subset of natural numbers such that $|S \cap [1,N]| = N^{\delta}+ ...
6
votes
3answers
471 views

Links between Geometric Group Theory and Number Theory

Do You know any successful applications of the geometric group theory in the number theory? GTG is my main field of interest and I would love to use it to prove new facts in the number theory.
3
votes
1answer
215 views

Circle method on things other than the integers

The circle method is often used to estimate the number of solutions to the equation $$x_1 + x_2 + ... x_k = N$$ if for all $i$ $x_i\in A\subseteq\mathbb{N}_0$ and some subset of the nonnegative ...
4
votes
4answers
859 views

Advice for number theory library

Hi I just got a faculty position and it comes with a generous start up funds for "office supplies", which I must use or lose. What does a pure mathematician need? I have good computers already. I ...
3
votes
2answers
192 views

Interpolation of periods for a Hida family of modular forms

Let $\mathbf{f}$ be a Hida family of ordinary $p$-adic modular forms, and let $V(\mathbf{f})$ be the corresponding $\Lambda$-adic Galois representation (a quotient of the inverse limit $$ ...
9
votes
4answers
291 views

Is any quadric birational to a product of Brauer-Severi varieties?

Let $k$ be a field with algebraic closure $\bar k$. Assume that $k$ is perfect and not of characteristic $2$ for simplicity. Let $$X: \quad Q(x)=0, \quad \subset \mathbb{P}^n_k,$$ be a non-singular ...
17
votes
1answer
868 views

How to prove that every polynomial in an infinite family is irreducible over Q?

Consider the bivariate polynomial $$p(X,Y) = X^5 - (2 Y + 1) X^3 - (Y^2 + 2) X^2 + Y (Y-1) X + Y^3.$$ For every integer $y \ge 4$, I conjecture that $p(X,y)$ is irreducible in $\mathbb{Q}[X]$. How can ...
5
votes
1answer
436 views

Has this strengthening of the PNT already been conjectured?

Suppose $f:\mathbb{Z}_{\geq 0}\to\mathbb{Z}_{\geq 0}$ is an arithmetic function that grows slower than the identity map. Has it already been conjectured that, under this general hypotheses, ...
1
vote
0answers
65 views

Do we know a lower bound for the number of critical zeros of the Riemann zeta-function with irrational imaginary part?

If I'm not mistaken, the imaginary parts of the critical zeros of the Riemann Zeta function are conjectured to be linearly independent over $\mathbb{Q}$, but I think we're very far from proving such a ...
-1
votes
1answer
101 views

notable inductive proofs relating to fractals

what are notable/ prominent inductive proofs relating to fractals? the motivation for this question is: fractals are very difficult mathematical objects to work with, and many ...
1
vote
1answer
133 views

Question on an arithmetic function with the sieve of Eratosthenes

I want to ask some question related with the sieve of Eratosthenes. The sieve of Eratosthenes: write it as $E_1(x) (=\pi(x)-\pi(\sqrt x)+1)$. Then we have an obvious result $$E_1(x)/x\ln^{-1}x = ...
12
votes
1answer
373 views

Normality of $\pi$ in base 16

It seems that in spite of the Bailey–Borwein–Plouffe formula it is still unknown whether $\pi$ is normal in base 16. What are the difficulties in using it for this purpose? In a comment to his answer ...
1
vote
0answers
143 views

Integer solutions of $ z^3 y^2 = x(x-1)(x+1)$

According to a conjecture there are no three consecutive powerful numbers. Necessary condition for this is integer solution of $$ z^3 y^2 = x(x-1)(x+1) \qquad (1) $$ What are integer solutions ...
-4
votes
0answers
80 views

Where to include contact details in math paper? [closed]

I recently submitted a paper to a math journal on a prime number patter using latex formatting, but they sent an email back saying that the contact details for the corresponding author should be in ...
1
vote
1answer
145 views

lattice in number field already a fractional ideal?

Let $K=\mathbb{Q}[\alpha]$ where $\alpha$ is integral over $\mathbb{Z}$ such that the Galois hull of $K$ can be embedded in $\mathbb{R}$. Let $S=\mathbb{Z}[\alpha]$. Let $x_1, \ldots , x_n$ be a ...
3
votes
1answer
112 views

Is every sufficiently dense well mixed set an additive basis?

Let $B \subset \mathbb{N}$ be a set of natural numbers such that $|B \cap [1,N]| \sim N^\gamma$, for some $\gamma > 0$ with the following property: For any pair of positive integers $k,n$ we ...
3
votes
0answers
103 views

“Almost” prime k-tuples in intervals

In this paper, Heath-Brown proves that there are $ \gg x(\log{x})^{-k}$ integers $n \leq x$ such that $$ \prod_{i=1}^{k} (a_{i}x + b_{i}) $$ is squarefree and that each term has a "small" number of ...
0
votes
1answer
61 views

Equivalent of Stirling-like numbers

let $b_{n,k}$ be the numbers defined formally by $$X^n=\sum_{k=0}^n b_{n,k}\binom{X}{k}$$ where $\binom{X}{n}=\frac{1}{n!}\prod_{k=0}^{n-1}(X-k)$. I am looking for an equivalent of $b_{n,k}$ when $k$ ...
2
votes
0answers
103 views

Is this a valid Hadamard product for $\frac{2\,\xi(s)-1}{s\,(s-1)}$?

This question builds on this MSE question: Take the well known equation: $$\displaystyle \pi^\frac{-s}{2}\,\Gamma\left(\frac{s}{2}\right)\, \zeta(s) =\int_1^{\infty} \left({x}^{\frac{s}{2}-1} + ...
2
votes
0answers
73 views

Is the group of rational points of an anisotropic absolutely quasi-simple algebraic group over a non-archimedean local field known to be perfect?

Suppose that $G$ is an algebraic group defined over a non-archimedean local field $k$ which is absolutely quasi-simple and anisotropic over $k$. Is it known whether the group $G(k)$ is necessarily ...
3
votes
1answer
147 views

What are the modular transformation properties of q-Pochhammer symbols?

Do q-Pochhammer symbols, defined as $(a;q) = \prod_{k=0}^{\infty} (1- a q^k)$ have known modular transformation properties? That is, if we write $q = q[z] = e^{2\pi i z}$, is there any reasonably ...
27
votes
1answer
2k views

Are the primes normally distributed? Or is this the Riemann hypothesis?

Forgive my very naive question. I know next to nothing about number theory, but I'm curious about the state of the art on the distribution of primes. Let $\mathrm{Li}(x)$ be the offset logarithmic ...
-9
votes
0answers
156 views

Fermat and the abc conjecture [closed]

There exist finitely many triples of coprime $a+b=c$ such that $$|\frac{b}{c}|^n+|\frac{a}{b}|^n=b^n-a^n$$ where $n>2$ and $b^n-a^n=\mathfrak{Prime}.$ We know that it maybe true in this version ...
2
votes
1answer
393 views

On quantities with no very small odd prime factors; a response to Wlodzimierz Holsztynski

In response to a comment posted under Powers of $2$ and the products of initial odd primes , I shall raise some questions about quantities near $O_n= P_{n+1}/2$, the product of the first $n$ odd ...
6
votes
1answer
341 views

The sum over zeros in the explicit formula for $\zeta(s)$

The explicit formula for $\zeta(s)$ is: $$ \psi(x)=x-\sum_{|\operatorname{Im}\rho|<T}\frac{x^\rho}{\rho}-\log(2\pi)-\log\left(1-\frac{1}{x^2}\right)+O\left(\frac{x\log^2T}{T}\right), $$ where ...
0
votes
0answers
86 views

Upper bound for $r_{0}(n)$ through probabilities

Assume Goldbach's conjecture. Then for every integer $n>1$ there exists a non negative integer $r$ such that both $n-r$ and $n+r$ are primes. For a given $N$, let's denote by $r_{0}(N)$ the ...