Questions tagged [equidistribution]
The equidistribution tag has no usage guidance.
71 questions
1
vote
0
answers
84
views
Coarse well-distributedness/equidistribution of Pell sequence prefixes
I am interested in the distributedness or "mixing" behavior of certain
linear recurrences modulo powers of $2$.
In particular, consider the Pell sequence (https://oeis.org/A000129),
modulo $...
7
votes
4
answers
798
views
Must bounded sequences be well-distributed to most *composite* moduli?
Let $\{a_n\}_{n=1}^N$, $|a_n|\leq 1$. Let $Q=\sqrt{N}$. Then $a_n$ is well-distributed modulo most prime $p\leq Q$, in the following sense:
$$\sum_{p\leq Q} \frac{1}{p} \left(\frac{1}{N/p} \sum_{\...
4
votes
0
answers
122
views
Conditions on $R\subseteq \mathbb{N}$ so that $\{\{xr\}:r\in R\}$ is dense in $[0,1]$ for all irrational $x$
A related question was posted on MSE (link), although that had some additional stipulations.
Let $S^1=\{w\in \mathbb{C}:|w|=1\}$ be the unit complex circle. Call a set $R\subseteq\mathbb{N}$ good if, ...
0
votes
0
answers
54
views
Weyl equidistribution for a periodic $L^2$ function
Let $\alpha $ be a fixed irrational number. For a function $g:\Bbb R\to\Bbb C$, define $$g^*(x)=\sup_{N\geq 1} \frac{1}{N} \sum_{n=1}^N |g(x+\alpha n)| ,$$
and assume that there is a constant $C>0$ ...
5
votes
0
answers
174
views
Effective Hecke Equidistribution
In 1918 and 1920 Hecke introduced his L-functions attached to his Grössencharakteren (Hecke characters) and proved they are equidistributed in a sense to made precise momentarily. One can identify ...
1
vote
0
answers
67
views
Equidistribution on subvarieties of $\mathrm{SL}_n(\mathbb{Z})$
$\DeclareMathOperator\SL{SL}$Let $\Gamma_{\infty}$ be a maximal parabolic subgroup of $\SL_n(\mathbb{Z})$. I believe there are various equidistribution theorems, which say that Iwasawa $x$ coordinates ...
3
votes
0
answers
164
views
Cardinality of the set $\#\{ 1 \leq n \leq N: \| \alpha n^2/N \| < 1/N \}$
Let $\alpha \in I$ where $I$ is some closed interval that does not contain $0$.
I am interested in upper bound for
$$
M(\alpha) = \#\{ 1 \leq n \leq N: \| \alpha n^2/N \| < 1/N \}
$$
where $N$ ...
3
votes
2
answers
298
views
Equidistribution on $\mathrm{SU}_2$
Let $F_{a_1,a_2}$ be the free group with a free generating set $\{a_1,a_2\}$ of two elements, and for any $n\in\mathbb{N}$, set $A_n=\{\text{reduced words in } F_{a_1,a_2} \text{with length} \leqslant ...
4
votes
2
answers
486
views
Reference request - Pillai-Selberg Theorem
I want to find a proof of the following claim. Let $\Omega(n)$ denote the number of prime factors of an integer $n$ counted with multiplicity. Then $\Omega(n)$ equidistributes over residue classes. ...
4
votes
0
answers
154
views
Vanishing exponential sums of fractional parts of polynomials
Let $p$ be an integer polynomial and $k$ be a natural number, both fixed. Is it the case that if
$$C(\alpha) = \sum_{i=1}^k e(\alpha \{p(i)/k\})$$
equals 0, then $\alpha$ is an integer? Here, $e(x) = ...
0
votes
0
answers
68
views
Lower bounds for a problem in Diophantine approximation
Suppose that $\alpha_1,...,\alpha_k$ are real numbers such that $1,\alpha_1,...,\alpha_k$ are linearly independent over $\mathbb{Q}$. What lower bounds (perhaps popular or recent) are known for
\begin{...
1
vote
1
answer
87
views
Is equal natural density on intervals with matching areas but opposite signs sufficient to use fixed-width part sizes for a simple Riemann sum?
Suppose we have a sequence $\theta_n$ which is dense on $\left(0,2\pi\right)$. Furthermore, if $A=(x,y)\subset(0,\pi)$ and $B=(x+\pi,y+\pi)$ for some $x,y$, and if we define the natural density of a ...
15
votes
2
answers
592
views
for which $A\subset \mathbb{N}$ does there exist irrational $\alpha$ for which $\alpha\cdot A \pmod 1$ is not uniformly distributed?
In this question it is discussed that for a set $$A=\{2^n3^m| n,m=0,1,2,\ldots\}$$ there exists an irrational number $\alpha$ such that the set $\alpha\cdot A$ (being naturally enumerated) is not ...
8
votes
2
answers
429
views
Let $(a_n)_{n\in N}=(1,2,3,4,6,8,9,12,\cdots)$ list the set$\{2^n3^m\mid m,n\in N\}$. Find $α$ such that $(a_n)\alpha\pmod1$ is not equidistributed
Let $$(a_n)_{n \in \mathbb{N}} = (1,2,3,4,6,8,9,12,16,18,\cdots)$$ be a sequence that is a listing of the set $$\{2^n3^m \mid m,n \in \mathbb{N}\}$$ We need to find an irrational number $\alpha$ such ...
15
votes
1
answer
582
views
Are some numbers more equidistributed than others?
Weyl's theorem says that $n\alpha$ is equidistributed mod 1 for any irrational $\alpha$. One corollary is that, if I consider the fractional part $\{n\alpha\}$ for $n \leq N$, and look at the indices ...
3
votes
0
answers
110
views
How do you ensure that the product of two power series is equidistributed?
Let $f(T) = \sum a_n T^n \in \mathbf{F}_p [[ T ]]$ be a power series. We'll say that $f(T)$ is equidistributed if for every $a \in \mathbf{F}_p$, we have
$$\lim_{X \to \infty} \dfrac{1}{X} \cdot \# \{...
8
votes
1
answer
593
views
Is the product of two equidistributed power series equidistributed?
Let $f(T) = \sum a_n T^n \in \mathbf{F}_p [[ T ]]$ be a power series. We'll say that the coefficients of $f(T)$ are equidistributed modulo $p$ if for every residue class $a$ modulo $p$, we have
$$ \...
10
votes
1
answer
737
views
Continuous variant of the Chinese remainder theorem
Let $x_1,x_2,\ldots, x_k \in [0,1]$ be irrational numbers.
I'm interested in what, if anything, can be said about the values $\{nx_i \bmod 1: n\in \mathbb{N}\}$.
Specifically, I'm interested if there ...
10
votes
2
answers
400
views
Behavior of $\sum_{n=1}^{\infty} (\{n \xi \} - \frac{1}{2})$ for irrational number $\xi$
Consider the series
$$
\sum_{n=1}^{\infty} ( \{ n \xi \} - \frac{1}{2})
$$
where $\{ \}$ denotes the fractional part and $\xi$ is some irrational number. It clearly does not converge but can we show ...
2
votes
0
answers
128
views
Distribution of square roots (mod m) on small intervals (with respect to m)
Fix a large positive integer $m$. Let $A$ be small positive number typically $\sim m^{1/3}$. Suppose $S(A, m)$ be set of solutions (normalized by dividing by $m$) to the quadratic congruences $x^2 = a ...
11
votes
1
answer
866
views
Cancellation in a very rapidly oscillating exponential sum
Let $f(x)$ be a function such that for all $T \leq f(x), \ T / x \to \infty$ we have
$$
\sum_{x \leq n < 2 x} e^{2 \pi i T / n} = o(x).
$$
How fast can $f(x)$ grow?
I can show that for any $\...
7
votes
2
answers
1k
views
Convolution sum of divisor functions
Let $\sigma_0(n)$ be the divisor counting function
$$\sigma_0(n) = \sum_{d \vert n} 1.$$
I'm interested in the convolution sum
$$ S(n) := \sum_{k=1}^{n-1} \sigma_0(k) \sigma_0(n-k)$$
I ran some quick ...
7
votes
3
answers
630
views
Is the sequence $\{n/\{ \sqrt{2}n\} \}$ uniformly distributed in $[0,1)$?
A classical theorem of Kronecker says that the sequence $(\{\alpha_1 n\}, \{\alpha_2 n\},\dots,\{\alpha_d n\})$ ($n \in \mathbb{N}$) is uniformly distributed in $[0,1)^d$ provided that $1,\alpha_1,\...
9
votes
1
answer
558
views
Is the divisor counting function equidistributed mod $p$?
Let $\sigma_0(n)$ be the divisor counting function:
$$\sigma_0(n) = \sum_{d \vert n} 1.$$
I ran some numerical experiments that showed when $p$ is prime, the function $\sigma_0(n)$ is equidistributed ...
0
votes
1
answer
158
views
Equidistribution and moments
Equidistribution of a set sequence of numbers $\{s_1, s_2, s_3, \cdots\}$, loosely speaking, is the property that the proportion of terms falling in a subinterval is proportional to the length of that ...
2
votes
0
answers
59
views
Equidistribution of lattice points on quadratic forms without certain values
I have recently been studying some results about equidistribution of lattice points on positive definite quadratic forms $Q$ with $3$ or more variables. Concretely the article Duke and Schulze-Pillot, ...
4
votes
1
answer
268
views
Equidistribution of distances of integer points to a circle
I have noticed in the following graph that the euclidean distance
between points $k \in\mathbb{Z}^2\cap C_7^1$ ($C_7^1:={}$Circle with radius 7 and shell with thickness 1) and the nearest point on the ...
3
votes
1
answer
230
views
Duke and Schulze-Pillot condition for equidistribution
When regarding a ternary quadratic form $Q(x,y,z)$, is a classic question to consider which integers $n$ can be represented by $Q$. It is also classic to wonder how "well distributed" are ...
4
votes
1
answer
464
views
Generalizations of the Brun-Titchmarsh theorem
Let $\pi(x;q,a)$ count the number of primes $\leq x$ congruent to $a$ mod $q$. The Brun-Titchmarsh Theorem states that for all $q< x$, $(a,q)=1$, we have
$$
\tag{1}
\pi(x;q,a) \leq \frac{2x}{\...
1
vote
0
answers
194
views
Uniform distribution mod $1$ vs independence of random variables
Let $a_1, \cdots, a_k \in [0, 1)$ be real numbers such that $1, a_1, \cdots, a_k$ are independent over the rational numbers. By the Weyl equidistribution criterion in $k$-dimensions, we know that the ...
1
vote
1
answer
128
views
Distribution of quadratic polynomials mod $n$ and $n^2$
Suppose $n$ is odd, then both equations $x^2 = D \; mod \;n$ and $x^2 = D \; mod \;n^2$ have the same number of solutions for fixed $D$ coprime to $n$. What can be said about the relationship between ...
8
votes
2
answers
400
views
Distribution of $\{x/n^2\}$
Let $x$ be a large positive real number. Let $I$ be an interval -- say, $I=[1,\sqrt{\epsilon x}]$. Let $n$ range over the integers in $I$, or over the intersection of $I$ and an arithmetic progression ...
6
votes
0
answers
228
views
Are the $p$-adic digits of roots of unity equidistributed?
I was looking at the $p$-adic expansions of roots of unity in $\mathbf{Z}_p$, and I noticed that the digits tended to be equidistributed among the numbers $\{0, 1, \dots, p-1 \}$. I wanted to ask if ...
1
vote
1
answer
283
views
The lonely runner conjecture and equidistribution on tori
So, I've been reading about the lonely runner conjecture, but I have to admit that my knowledge of diophantine approximation is so limited that I wouldn't be able to properly explain the term.
So let'...
3
votes
0
answers
170
views
Erdős–Turán inequality for complex numbers
Consider the following set of complex numbers in the upper half plane: $$\{ic_n \pm \gamma_n: 0 \leq n \leq N, \hspace{1 mm} c_0=\gamma_0=0, c_n,\hspace{1 mm} \gamma_n>0\}.$$
Assume that this set ...
3
votes
1
answer
702
views
$\{(\log n)^\alpha\}$ not equidistributed if $0<\alpha\leq 1$, so how is it distributed?
The brackets denote the fractional part function. It is well known that the distribution (defined as the limit of the empirical distribution) is $F(x)=(e^x - 1)/(e-1)$, with $x\in [0, 1]$, if $\alpha=...
3
votes
0
answers
50
views
Asymptotical equidistribution of index $p$ subgroups of $\mathbb Z^2$ on the unit tangent bundle of the modular curve
Given a prime $p$ we get $p+1$ sublattices of index $p$ in $\mathbb Z^2$ (identified with $\mathbb Z[i]\subset \mathbb C$) which correspond to some points on the moduli space of such
lattices up to ...
1
vote
2
answers
188
views
Estimates on the discrepancy of random sequences
The discrepancy of a $[0,1]$-valued sequence $n \mapsto \alpha_n$ is the quantity $$D(N; \alpha) \stackrel{\text{def}}{=} \sup_{(a,b) \subset [0,1]} \left|\frac{\#\{1 \leq n \leq N : \alpha_n \in (a,b)...
10
votes
1
answer
706
views
Upper bound for maximum modulus of polynomial on unit circle in term of the distribution of its roots
Let $P(z) = \prod_{i = 1}^n (z - z_i) \in \mathbb{C}[z]$ be a monic polynomial having all roots $z_1, \dots, z_n$ on the unit circle $\mathbb{T} := \{z \in \mathbb{C} : |z| = 1\}$.
What is known about ...
2
votes
0
answers
209
views
Uniform distribution of log(log((n!)!)) mod 1
Can it be shown that the sequence $\log(\log((n!)!))$ is uniformly distributed mod 1? I believe it should be, but I'm not certain if Stirling's approximation repeated twice combined with the ...
2
votes
0
answers
451
views
Conjecture: The sequence {$π(2n+1)!$} is equidistributed in the interval (0,1)
Let $n\in\mathbb{N}$.
From the book "Uniform Distribution of Sequences" (available here) by L. Kuipers and H. Niederreiter, (from pg. 8) I found that for any irrational $\theta$, the ...
2
votes
1
answer
527
views
Writing the Lebesgue–Stieltjes integral as a sum of equidistributed Dirac delta measures
Problem set up:
Let $f: [0, 1] \to \mathbb R$ be an absolutely continuous function (thus a fortiori of bounded variation) such that its total variation on any open interval $(a, b)$ is $b-a$.
We say a ...
12
votes
1
answer
2k
views
Anti Arzela-Ascoli
Notation: We say a sequence of real numbers diverges if it does not converge to a finite limit. We say a sequence $f_n$ of real valued functions on $[0, 1]
$ are equibounded if $\sup_{n \in \mathbb N}...
1
vote
0
answers
87
views
How fast will it converge to equilibrium?
$\alpha \in \mathbb{R} \backslash \mathbb{Q}$, given $\varepsilon>0 \quad \lambda>0$.
given $n_{1}, \cdots, n_{k} \in N^{*}$ satisfied $(1-\varepsilon) \lambda<n_{1}<\cdots<n_{k}<(1+...
0
votes
2
answers
168
views
Equidistributed sequence wrt exponential/Gaussian measure
For an arbitrary probability space $(X,\mu)$, a sequence $(x_n)$ in $X$ is said to be equidistributed with respect to $\mu$ if the measures $\frac 1 n \sum_{1\le k\le n} \delta_{x_k}$ converges weakly ...
5
votes
2
answers
611
views
Sequences similar to $\{n\alpha\}$ that are both equidistributed and truly random-like
See update at the bottom.
Here the brackets represent the fractional part, and $\alpha \in [0, 1]$ is a positive irrational number. It is well known that the sequences $\{n\alpha\}$, $\{n^2\alpha\}$ ...
4
votes
0
answers
134
views
$\delta$-equidistributed polynomials over finite fields
I'm trying to show that a polynomial over finite (prime) field is "close enough" to being equidistributed over its range. A polynomial $p(\cdot)$ from $\mathbb{F}^n$ to $\mathbb{F}$ is $\...
12
votes
1
answer
526
views
Equidistribution of $\{\alpha p\}$ for $p$ in an arithmetic progression
Let $\alpha$ be irrational. A famous theorem of Vinogradov says that $\{ \alpha p\}$ is equidistributed in $[0,1]$ as $p$ runs over all primes.
Let $a,q$ be natural numbers with $\gcd(a,q) = 1$. Then ...
1
vote
1
answer
112
views
How do solutions to this quadratic congruence distribute as the number of factors grows?
This is a question that arose during a conversation with a colleague regarding Landau's fourth problem, which asks whether there are infinitely many primes of the form $n^2+1$. The Conjectured ...
2
votes
1
answer
162
views
O(1) or o(logn) discrepancy for multiples of an irrational for at least one sub interval
O(1) or o(logn) discrepancy for multiples of an irrational for at least one sub interval.
Using $\{x\}$ to denote the fraction part of $x$ we can define for any $I\subset [0,1]$,
$$E(n,\theta, I) ={ ...