Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 20598

Prime numbers, diophantine equations, diophantine approximations, analytic or algebraic number theory, arithmetic geometry, Galois theory, transcendental number theory, continued fractions

6 votes

Fixed points of $x\mapsto 2^{2^{2^{2^x}}} \mod p$

Your argument for three exponentials can be simplified a bit by using the multiplicative version of van der Corput instead of the additive version. Specifically, if your equation $$2^{y^{2^k}} = 2^{y} …
Sean Eberhard's user avatar
10 votes

Functions $f$ on $\mathbb{Z}/N\mathbb{Z}$ with $|f|$ and $|\widehat{f}|$ constant

$\def\Z{\mathbf{Z}}$If $N$ is prime and $f(x)$ has the form $\zeta^{g(x)}$, where $\zeta$ is an $N$th root of unity and $g$ is some function from $\Z/N\Z$ to $\Z$, then $g$ must be quadratic. The foll …
Sean Eberhard's user avatar
5 votes
2 answers
691 views

Surjectivity of norm map on subspaces of finite fields

It is basic that the norm map $N:\mathbf{F}_{q^n}^* \to \mathbf{F}_q^*$ is surjective for finite fields. In fact $N(x) = x^{(q^n-1)/(q-1)}$. How well does this simple fact extend to subspaces? A basi …
Sean Eberhard's user avatar
3 votes

Zero trace elements in finite fields

Note that $\mathcal{A}$ is contained in $\def\F{\mathbb{F}}\F_{q^2}$ if and only if $(q^n+1)/(q+1)$ divides $q^2-1$, and it is easy to check with a bit of case analysis that this happens only if $(n, …
Sean Eberhard's user avatar
6 votes

Sequences equidistributed modulo 1

Take $s_n = n^2$ and $\alpha$ irrational.
Sean Eberhard's user avatar
7 votes

Density version of the Erdős-Graham conjecture

Naturally, this was also considered by Erdös and Graham. Graham mentions at the top of page 10 here for instance: http://www.math.ucsd.edu/~ronspubs/13_03_Egyptian.pdf. I'm not aware of any progress.
Sean Eberhard's user avatar
10 votes

What is the smallest cardinality of a self-linked set in a finite cyclic group?

The difference cover problem has been better studied in the context of $\mathbf{Z}$. Redei, Renyi, and others in the 40s asked for the size of the smallest set $A$ such that $A-A$ covers $\{1,2,\dots, …
Sean Eberhard's user avatar
1 vote

Number of lattice points on spheres with center not at the origin

Yes, the estimate is uniform in $a$ and $d$, I think. It suffices to handle the two-dimensional case, by considering two-dimensional slices. So consider the circle $(x - a)^2 + (y-b)^2 = R^2$ with $a, …
Sean Eberhard's user avatar
9 votes

Covering a set with geometric progressions

We can reduce Lucia's upper bound of $3/8$ a little further as follows. Begin by taking the $n/4$ geometric progressions of common ratio $2$ beginning at each odd number at most $n/2$. Then for each o …
Sean Eberhard's user avatar
8 votes

Why do these finite group Dedekind matrices seem to have integer spectrum when specialized t...

You can just compute the spectrum exactly using the formula mentioned by Benjamin Steinberg: $$\sum_g \operatorname{ord}(g) \frac{\chi(g)}{\chi(1)}.$$ There are two or four characters of degree $1$ ac …
Sean Eberhard's user avatar
28 votes

Function that produces primes

Extended comment, generalizing @IlyaBogdanov's comment about $2n-1$. Fix $n$ and let $$x_m = a(m, n) + n - m - 1.$$ Then $(x_m)$ obeys the similar recurrence $$ x_m = x_{m-1} + \gcd(x_{m-1}, n-m) - …
Sean Eberhard's user avatar