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)

7
votes
1answer
137 views

A strengthening of base 2 Fermat pseudoprime

If $n$ is a prime then for all $k$ with $1 \le k \le [n/2]$, $k$ divides ${n-1 \choose 2k-1}$ because of the identity ${n-1 \choose 2k-1} \frac{n}{k}=2{n \choose 2k}$. My question is whether an ...
7
votes
3answers
2k views

How to find/guess a polynomial sequence?

My question is motivated by the recent question and more recent appearance of its author Bruce Westbury. Most of you know that the best way to find a sequence of integers is looking for it on The ...
45
votes
4answers
2k views

Are there refuted analogues of the Riemann hypothesis?

The classical Riemann Hypothesis has famous analogues for function fields and finite fields which have been proved. It has by now very many analogues, many of them still open. Are there important ...
13
votes
0answers
290 views

The lonely molecule

Suppose $n$ air molecules (infinitesimal points) are bouncing around in a unit $d$-dimensional cube, with perfectly elastic wall collisions. Let $k=n^{\frac{1}{d}}$. For example, in 3D, $d=3$, with ...
1
vote
0answers
114 views

Subset of the integers with certain properties

How would one find the maximal $n$ such that there exists an $n$-subset $S$ of $\mathbb{Z}^+$ such that $\forall A\subseteq S, \sum_{a\in A}a$ is either a perfect square or a perfect cube, or can one ...
2
votes
1answer
143 views

Does the set of automorphisms of a cyclic group exhibit some sense of randomness?

I prefer to proceed with a concrete example if I may. I appreciate that the answer might well be better explained with group theory, geometry and/or notions from probability theory, which I welcome. ...
0
votes
0answers
58 views

a question on sum of Gaussian binomial coefficients

I was trying to calculate something and at some point I get the following sum: \begin{equation} \sum_{t=0}^{s}{s+3n \brack s-t}\sum_{i = 0}^{t/2}q^{2i^2}{t/2+2n-i \brack t/2-i}{n \brack 2i}x^t ...
2
votes
1answer
451 views

Efficient algorithms to determine the roots of: $p(x) = r^x $ in the finite field $GF(q)$, where $r$ a primitive root of the field

I need to make sure that no efficient (i.e., polynomial time) algorithm exists for the following problem: Exponentiating Polynomial Root Problem (EPRP) Let $p(x)$ be a polynomial with $\deg(p) \geq ...
12
votes
3answers
826 views

Not-lonely runners

The lonely runner conjecture has several formulations. They all involve a number $n$ runners running on a circular track, each with a different speeds, and the conjecture is that each runner is ...
7
votes
0answers
85 views

Newton polygons of modular polynomials

This is pretty much straightforward curiosity. Is there anything known about Newton polygons of classical modular polynomials (polynomial relations between $j(\tau)$ and $j(n\tau)$)? I understand that ...
9
votes
1answer
168 views

Borel-Serre compactification of $\mathbb{H}^3 / SL_2(\mathcal{O}_K)$

Let $\mathbb{H}^3$ be the three-dimensional hyperbolic space. Let $K$ be an imaginary quadratic number field and $\mathcal{O}_K$ its ring of integers. Then $SL_2(\mathcal{O}_K)$ acts on $\mathbb{H}^3$ ...
0
votes
0answers
71 views

Rationally building bridges from Jacquet-Langlands to Langlands functoriality conjectures

For now I mainly worked on very classical proofs (viz. Bolte & Johansson, Bergeron) of the Jacquet-Langlands correspondence, but I hope to be able to understand in what this special case lead ...
3
votes
1answer
230 views

Lower bound for a prime gap occurring infinitely often

In his striking paper of may 2013, Zhang showed the existence of an even integer $g\lt 70,000,000$ such that $g$ is a prime gap occurring infinitely often. What is the best unconditional lower bound ...
10
votes
3answers
616 views

how can I minimise (n * y) (mod x) for known x and y, and for a given range of n?

How can I minimise (n.y) (mod x), for known x and y, and for a given range of n? ($x$ and $y$ are actually the components of a 2D vector for a line for which I'm trying to generate a set of bounding ...
9
votes
1answer
469 views

Tight prime bounds

This is a cross-post of this question on MSE. I would not usually do this, but have decided to in this case since it has had no responses having been posted as a bounty question. I did not delete the ...
1
vote
1answer
170 views

Integer points on $y^2=x^2-x^3+x^4$

Does the Diophantine equation $y^2=x^2-x^3+x^4$ have solutions other than $x=1,y=1$? Interestingly, the Diophantine equation $y^2=x^2-x^3+x^5$ has such solutions: $x=3,y=15$, $x=5,y=55$, ...
3
votes
3answers
278 views

How to find an integer set, s.t. the sums of at most 3 elements are all distinct?

How to find a set $A \subset \mathbb{N}$ such that any sum of at most three Elements $a_i \in A$ is different if at least one element in the sum is different. Example with $|A|=3$: Out of the set $A ...
1
vote
0answers
92 views

Modular form, number of divisors [duplicate]

The Fourier expansion of Eisenstein series $E_k$ $(k \ge 4)$, which are modular forms, as well as the quasimodular $E_2$, involves powers-of-divisors $\sigma_{k-1}(n) = \sum_{d|n} d^{k-1}$. Is there ...
5
votes
0answers
168 views

Factors of the polynomial $X^n-a$

I am interested in the polynomial $X^n-a$ in $\mathbb{Q}[X]$, for some $a\in \mathbb{Q}^*$, and would like to know the irreducible factors of it. Is there something in the literature which gives a ...
13
votes
2answers
2k views

Fermat's proof for $x^3-y^2=2$

Fermat proved that $x^3-y^2=2$ has only one solution $(x,y)=(3,5)$. After some search,i found only proofs using factorization over the ring $Z[\sqrt{-2}]$. My question is: Is this Fermat's ...
1
vote
0answers
107 views

Order of individual Fourier coefficient of a Maass form

Let $D$ be a definite quaternion division algebra over $\mathbb{Q}$ and $\mathcal{O}$ be an Eichler order of $D$. Let $F$ be a Maass form in $L^2(PGL_2(\mathcal{O})\backslash ...
6
votes
3answers
441 views

Constructing quintic number fields with certain splitting behaviour

I am looking for number fields $K$ which satisfy the following properties: $[K:\mathbb{Q}]=5$. The Galois closure of $K$ has Galois group $S_5$. For each prime $p$ which ramifies in $K$, there ...
4
votes
2answers
268 views

Time-line until the publicaton of Weil of “Numbers of solutions of equations in finite fields”

In "On the history of the Weil Conjectures" Dieudonné says: "Appropriately enough, the story, as with so many problems in number theory, begins with Gauss...". C. F. Gauss, Disquisitiones ...
15
votes
0answers
278 views

function field analogy and global/absolute geometry

The "function field analogy" seems to be a topic that is considerably bigger than any one existing writeup conveys. There are several old question on MO and and MathSE that ask for details. One of the ...
9
votes
3answers
1k views

Weil's Riemann Hypothesis for dummies?

Weil's Riemann Hypothesis is a deep result that I don't fully understand, but it has understandable corollaries which interest me. For example: (a) For any projective curve $X$ satisfying certain ...
5
votes
1answer
301 views

Easiest way to distinguish $E_8 \oplus E_8$ from $E_{16}$

For $n$ an integer divisible by $8$, let me denote by $E_n$ the "usual" even non-degenerate positive definite integral symmetric bilinear form over $\mathbf Z^n$. It is well known that in dimension ...
19
votes
2answers
1k views

For $x,y\ge 2$ does $x^4+x^2y^2+y^4$ ever divide $x^4y^4+x^2y^2+1$?

For a problem in combinatorics, it comes down to knowing whether there exist integers $x,y\ge 2$ such that $$ x^4+x^2y^2+y^4\mid x^4y^4+x^2y^2+1. $$ Note that ...
1
vote
0answers
51 views

How to test whether a distribution follows a power law? [on hold]

I have the data of how many users post how many questions. For example, [UserCount, QuestionCount] [2, 100] [9, 10] [3, 80] ... ... it means each of the 2 users posts 100 questions, each of the 9 ...
-4
votes
0answers
45 views

Which of the following conversion is wrong in the number system? [on hold]

Here is a diagram. which of the 2 boxes' conversion is wrong and please provide me a reason for it. I am doing the same conversion in 2 different procedure. where am i making the mistake.Please help ...
2
votes
4answers
376 views

Equivalent binary forms

Two binary forms $f, g \in k[x, y]$ are equivalent when there exists an $M \in GL_2 (k)$ such that $f^M = g$. For simplicity we take $k$ such that $char (k) =0$ and $k=\bar k$. The equivalence ...
1
vote
2answers
96 views

Asymptotics and error terms for an arithmetic function built upon $\omega$ and $\Omega$ functions

For any real number $x$, let's define $Om_{k}(x)$ as the number of positive integers $m$ below $x$ such that $\Omega(m)-\omega(m)=k$, where $\omega(n)$ is the number of distinct primes dividing $n$, ...
1
vote
0answers
81 views

Interpretation of the Gross-Zagier formula for Green function

I am reading the paper of Gross and Zagier on heights of Heegner points and would like to check with the experts whether the following (meta?)mathematical statement makes sense. In the calculation of ...
3
votes
1answer
469 views

Possibly an easy application of Tate-Nakayama duality and local CFT

Let $F$ be a non-archimedian local field and $F^{ur}$ the maximal unramified extension. Let $T$ be a torus defined over $F$ such that $T$ splits over a tamely ramified extension and is anisotropic ...
0
votes
0answers
38 views

Suitable algorithm for selecting /matching a set of memory [on hold]

I am looking for a standard algorithm that addresses the following problem. Does any such exist? if not, is there any suitable approach for this problem. I have a set of N memory locations available. ...
8
votes
2answers
310 views

Sum and product estimate over integers, rationals, and reals

My question is the following: is finding a lower bound for $|A+A\cdot A|$ (as a function of $|A|$) where $A$ is any finite subset of the positive integers equivalent to finding the same lower bound ...
10
votes
0answers
316 views

Erdos multiplication problem revisited

The well-known problem is acquiring a cardinality of the set of distinct numbers in the multiplication table n x m. The very problem has been discussed in-depth and, as such, I require no further ...
0
votes
0answers
410 views

A letter from J. P. Serre

Which is the letter where J. P. Serre present "Analogues Kählériens de certaines conjectures de Weil" to Weil?
21
votes
9answers
2k views

triple with large LCM

Does there exist $c>0$ such that among any $n$ positive integers one may find $3$ with least common multiple at least $cn^3$? UPDATE Let me post here a proof that we may always find two numbers ...
12
votes
1answer
1k views

Difficulty of factoring a Gaussian integer (compared to factoring its norm)

Given a Gaussian integer $G=a+ib$, with $gcd(a,b)=1$, a well-known strategy for factoring $G$ is to first compute its norm $N(G)=a^2+b^2$, factor the norm and finally recover the correct generator ...
-1
votes
0answers
75 views

Help with extension of f (mentioned below) to f: Zp -> Zp ,continuous function [closed]

This is a (different version to) question from Serre 'A Course in Arithmetic'.Let p be an odd prime number. $\forall n\geq 1$ (n positive integer), $f$ is defined by: $$f(n)=(-1)^n\prod_{1\le k\le n ...
1
vote
1answer
111 views

General criterion to find a Z-basis in a fixed generating subset

Let $V=\mathbf{Z}^N$ be a free $\mathbf{Z}$-module of rank $N$. Let $S\subseteq V$ be a fixed finite subset. Consider the submodule $M:=\langle S\rangle\leq V$ generated by $S$. We know form the ...
1
vote
2answers
203 views

overlap quadratic residues

Let $p$ be a prime number of form $4k+1$ and $M$ is its quadratic residue set. Let $M_i=\{i+x|\forall x\in M\}$ $\forall 0<i<p$. Does there exist a positive constant $\varepsilon$ such that ...
5
votes
1answer
165 views

Bounds on horizontal minima of the Riemann zeta function

It is known that $\zeta(s)$ has an infinity of zeros in the strip $0<\sigma<1$ and that those zeros become closer together as $t\rightarrow\infty$. More precisely, Littlewood showed that there ...
0
votes
2answers
126 views

Proof of equidistribution theorem for exponential coefficients

Can anyone provide a proof of the equidistribution theorem using Weyl's criterion for the case of $c*a \,\,\, \text{(mod 1)}$ where $c=2^n: \,\,\, \forall n \in N_0$ for irrational algebraic $a$? The ...
-4
votes
0answers
107 views

What is the use of arithmetic groups? [closed]

I want to ask a question that what is the relation between arithmetic group and number theory? We take a lot efforts to prove some kinds of lattics are arithmetic, do we get some bonus from the ...
10
votes
2answers
331 views

Lebesgue measure of a set of irrational numbers

Let $I_{\lambda},$ $\lambda>0$ be a subset of all irrational numbers $\rho=[a_{1},a_{2},...,a_{n},...]\in(0,1)$ such that $a_{n}\leq \text{const}\cdot n^{\lambda}.$ Here, ...
5
votes
3answers
392 views

Any rigorous way to claim that sums with repeat summands are few?

Let $B \subset \mathbb{Z}^+$. Define $r_{B,h}(n)$ to be the number of ways of writing $n$ as the sum of $h$ elements of $B$ and $R_{B,h}(n)$ the number of ways to write $n$ as the sum of $h$ DISTINCT ...
4
votes
0answers
102 views

On Skinner and Urban's $p$-adic L functions

We know that if $\pi$ is an automorphic representation of $GL_2$ over a number field, the most important point for its $L$-function $L(s,\pi)$ is $s=\frac{1}{2}$. More specifically, in Skiner and ...
4
votes
1answer
183 views

How frequently is 3 a cubic residue mod primes in an arithmetic progression?

Suppose $(a,3q)=1$ and $a\equiv 1\pmod 3$. Are there infinitely many primes $p\equiv a\pmod {3q}$ such that $3$ is a cubic nonresidue modulo $p$? Or, an equivalent formulation using quadratic forms: ...
0
votes
0answers
282 views

Conjectures on fractions where each digit appears once in numerator and denominator

This is a highly redacted version of a question that was asked before. Please see Criteria of considering relevance of the question to the domain of research topics for details. Some numerical ...