Related Experiment Video
Updated: Oct 13, 2025

ARL Spectral Fitting as an Application to Augment Spectral Data via Franck-Condon Lineshape Analysis and Color Analysis
Published on: August 19, 2021
Formulas and algorithms for the length of a Farey sequence
Vladimir Sukhoy1, Alexander Stoytchev2
1Department of Electrical and Computer Engineering, Iowa State University, Ames, IA, 50011, USA.
This study introduces new formulas and efficient algorithms for calculating the length of Farey sequences. The fastest algorithm achieves optimal time and memory complexity for computing Farey sequence lengths.
Area of Science:
- Number Theory
- Discrete Mathematics
- Computational Mathematics
Background:
- Farey sequences are fundamental in number theory.
- Efficient computation of Farey sequence length is crucial for various applications.
- Existing methods for computing Farey sequence length have limitations.
Purpose of the Study:
- To derive novel formulas for the length of a Farey sequence of order n.
- To develop and present iterative algorithms for computing Farey sequence length.
- To establish a new state-of-the-art algorithm for efficient Farey sequence length computation.
Main Methods:
- Derivation of new mathematical formulas for Farey sequence length.
- Development of iterative algorithms based on these formulas.
- Analysis of computational complexity (time and memory) for the algorithms.
Main Results:
- Several novel formulas for Farey sequence length are proven.
- A progression of iterative algorithms is presented, from slowest to fastest.
- The most efficient algorithm runs in O(n) time and uses O(1) memory.
- The length of Farey sequence of order 10^18 was computed.
Conclusions:
- The new formulas and algorithms significantly advance the computation of Farey sequence lengths.
- The developed algorithm is the most efficient to date.
- This work enables computation for extremely large orders of Farey sequences.
Related Concept Videos
Fast Fourier Transform
The computational efficiency of the FFT becomes...
Properties of Fourier series I
Properties of Fourier series II
A function f(t) is...
Exponential Fourier series
Euler's identity...
Basic Discrete Time Signals
The unit impulse or sample sequence is mathematically expressed as zero for all n values except at n=0, where it is one. The unit impulse sequence, denoted by δ(n), is the first difference of the unit step sequence, while the unit step sequence u(n) is...
Euler's Formula to Columns: Problem Solving
The system comprises two vertical rigid bars, AB and BC,...

