- #1
mehr1methanol
- 10
- 0
Def: A low discrepancy sequence is a uniformly distributed sequence with minimal discrepancy, O(logN/N).
Question: Let [itex]<x>[/itex] denote the fractal part of an irrational number [itex]x[/itex]. Let [itex](<x_n>)[/itex] be an arbitrary low discrepancy sequence. Is it always true that :
[itex] \lim_{n \to +\infty}|<x_n - x_{n-1}> - <x_{n+1} - x_n>| = 0[/itex]
I believe this is an open problem. I'm more than happy to discuss anything that's unclear.
Attempt on the solution:
There are trivial cases such as the followings:
1) [itex](<n\alpha>)[/itex] where [itex]\alpha[/itex]is an irrational number. This is low discrepancy sequence (if you like to see the proof consult me for references). Clearly the conjecture above holds.
2) if I choose the [itex]<x_n>[/itex] such that it's monotonically increasing or monotonically decreasing, then the conjecture above holds because the sequence is also bounded in the unit interval
The difficulty is when if I come up with a sequence [itex](<x_n>)[/itex], where [itex]<x_n - x_{n-1}>[/itex] alternates between decreasing or increasing. In this case it's not clear to me if the conjecture holds. My goal is to rigorously prove the last case. Or are there cases that I'm missing!??
Question: Let [itex]<x>[/itex] denote the fractal part of an irrational number [itex]x[/itex]. Let [itex](<x_n>)[/itex] be an arbitrary low discrepancy sequence. Is it always true that :
[itex] \lim_{n \to +\infty}|<x_n - x_{n-1}> - <x_{n+1} - x_n>| = 0[/itex]
I believe this is an open problem. I'm more than happy to discuss anything that's unclear.
Attempt on the solution:
There are trivial cases such as the followings:
1) [itex](<n\alpha>)[/itex] where [itex]\alpha[/itex]is an irrational number. This is low discrepancy sequence (if you like to see the proof consult me for references). Clearly the conjecture above holds.
2) if I choose the [itex]<x_n>[/itex] such that it's monotonically increasing or monotonically decreasing, then the conjecture above holds because the sequence is also bounded in the unit interval
The difficulty is when if I come up with a sequence [itex](<x_n>)[/itex], where [itex]<x_n - x_{n-1}>[/itex] alternates between decreasing or increasing. In this case it's not clear to me if the conjecture holds. My goal is to rigorously prove the last case. Or are there cases that I'm missing!??
Last edited: