Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Looking for Properties of Low Discrepancy Sequences.

  1. Jul 23, 2012 #1
    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!!!??
    Last edited: Jul 23, 2012
  2. jcsd
  3. Jul 27, 2012 #2


    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    Wouldn't the sequence [itex](<[n/2]\alpha>)[/itex] where [] denotes integer part be low discrepancy?
  4. Aug 2, 2012 #3
    Yes for sure!

    I actually solved this problem a while ago! It turns out the conjecture doesn't hold and the counterexample is the van der corput sequence.
  5. Aug 2, 2012 #4
    I should admit your example is much more clever.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook