12
$\begingroup$

Has anyone come across a graph like this?

enter image description here

The black circles represent rationals in $(0,1)$ and their heights are roughly proportional to the reciprocal of the square of their lowest terms denominator. The red lines are drawn by eye on the pattern of the black dots.

This came from trying to create a probability distribution on the rationals where $$\Pr\left(X = \frac{a}{b}\right) = \frac{\zeta(k)}{\zeta(k-1) - \zeta(k) } \left(\frac{1}{b}\right)^k$$ where $0 \lt a \lt b$ with $a$ and $b$ coprime and where $k \gt 2$.

The red lines look somewhat like the left half of the Stern-Brocot Tree except that points with different denominators are at different heights.

  • 5
    This is a very nice looking graph.2012-09-01
  • 2
    I'd say that the red lines _are_ the left half of the Stern-Brocot tree. The heights used in a diagram that _represents_ the tree are not an intrinsic feature of the _tree_ itself.2012-09-01
  • 1
    It seems interesting and highly symmetric like a gaussian or laplace distribution. Meanwhile what is $\zeta$2012-09-02
  • 2
    I think you mean the heights are roughly proportional to the *reciprocal* of the square of the denominator. The function $f(p/q)=1/q$, $f(x)=0$ for $x$ irrational is the standard example of a function continuous at $x$ if and only if $x$ is irrational. You are (roughly) squaring that function.2012-09-02
  • 1
    @Seyhmus: $\zeta(k)$ is the [Riemann zeta function](http://en.wikipedia.org/wiki/Riemann_zeta_function)2012-09-02
  • 1
    @Gerry: Fair point - I will edit2012-09-02
  • 1
    There is somewhat similar graph here http://blogs.scientificamerican.com/critical-opalescence/2012/08/06/how-do-you-count-parallel-universes-you-cant-just-go-1-2-3/2012-09-09
  • 1
    "their heights are roughly proportional to the reciprocal of the square of their lowest terms denominator" Substitute "exactly" for "roughly" and you've got the locations of the centers of the Ford circles. See my answer below.2015-01-01

2 Answers 2

5

As Gerry mentions, this is (roughly) the square of Thomae's function, also known as the popcorn function, the raindrop function, the countable cloud function, the modified Dirichlet function, the ruler function, the Riemann function, or the Stars over Babylon...

  • 0
    Rahul Can you help [Connection of complex $e^z$ and real Dirichlet](https://math.stackexchange.com/questions/2867643/) please?2018-08-19
  • 0
    @BCLC No thanks, that doesn't look like a question I would like to answer.2018-08-19
3

It is surprising that no one has mentioned Ford circles. The heights of the centers of Ford circles are exactly proportional to the reciprocals of the denominators.

Let us suppose that the content of the section on total area of Ford circles is correct. Then if a point is randomly chosen in the interior of one of the Ford circles corresponding to a rational number in the interval $[0,1]$, the probability of its being in any region proportional to the region's area, then the probability that it is in the circle corresponding to a particular rational number with denominator $k$ is $$ \frac{\zeta(4)}{\zeta(3)} \left(\frac 1 k\right)^4. $$