Question:

# Farey Sequence Manipulation

Anthony: 2 days ago

so I am extremely new to Mathematica and currently doing a project that involves calculating a specific function of the Farey Fractions. That is given an interval $$I: (0,\alpha)$$, I want to calculate the number of distinct pairs $$i$$,$$j$$ s.t $$i-j$$ $$\in I$$ in a normalized list of farey fractions. The normalization factor here is $$\frac{1}{|F_d-1|}$$, where $$|F_d|$$ is the size of the list of farey fractions with denominator d. So, for example with the denominator being 5, the normal list of Farey fractions is $$FareySequence$$, while the normalized list is $$|F_d-1|(FareySequence)$$.

Below is my attempt to count the number of distinct pairs $$i,j$$ which are part of a normalized Farey Sequence such that $$i-j<1$$, where $$i>j$$. Here, I am counting it based on fractions with denominator 1000. There are 304193 such fractions. I used a counter, where a count is added everytime there is a pair whose difference is less than 1. However, everytime I run it, the program never evaluates. Any help would be appreciated.

count = 0

For[i = 1, i < 304193, i++,

For[j = 1, j < i, j++,

if[(304193 FareySequence[1000, i]) - (304193 FareySequence[1000,
j]) < 1, count ++, count = count ]

]
]

Print[count]


Liam: 2 days ago

Here's solution that works quickly:

FareySequence is only 304193 elements long, plenty short enough to store in memory, so just calculate the sequence once then access the elements for a speed up.

fs = 304193*FareySequence;


Then notice that the elements of FareySequence are monotonically increasing, so if you take element fs[[i]] and the preceding element, fs[[i-1]] has a distance father than 1 from f[[i]] you don't need to test any of the elements earlier in the sequence. So instead of testing j from 0 to i, test j from i-1 down and break every time your condition isn't met.

For[
i = 1, i < 304193, i++,
For[j = (i - 1), j > 0, j--,
If[(fs[[i]] - fs[[j]]) < 1, count++, Break[]]
];
]

Print[count]


232074

This completes in just under 2 seconds.

Here's a more mathematica-like ('functional') solution that doesn't work very quickly:

First write a function that takes a sequence then uses TakeWhile to traverse all of the sequence except for the last element using the last element for the comparison and breaking if the difference between the two elements is larger than lim, Length counts the length of this list.

countBelowWithin[seq_, lim_:1] :=
Length@TakeWhile[Reverse[Most[seq]], Last[seq] - # < lim &];


Then use Table to take subsequences of the full sequence and pass them to countBelowWithin. The resulting table will be the number of elements that met the criteria for that subsequence, so Total adds those for a total number of elements meeting the criteria.

With[
{a = fs[[;; 10000]]},
Total[
Table[
countBelowWithin[a[[;; i]]]
, {i, 2, Length@a}
]
]
]


I use the With to isolate a portion of the sequence fs for testing purposes.

Very often the functional solution can be quicker - in this case it's not. It is often less error prone as you can think in bigger concepts than indices. In this case you'd probably need to think a little more if you wanted a functional solution that worked in a reasonable time.

If you interested in learning more, there's a lot of fundamentals in here Part i.e. ...[[;;]], Table, TakeWhile. I'd start just reading the docs on this stuff, as well as the links other posters provided.