The Farey sequence of order $n$ is the sequence of all lowest-terms fractions between 0 and 1 whose denominators do not exceed $n$, in increasing order.

learn more… | top users | synonyms

1
vote
0answers
27 views

Ford circles and possible algebraic mistakes

For each Farey fraction $\frac{a}{b}$ let $C(\frac{a}{b})$ denote the circle in the plane of radius $\frac{1}{2b^2}$ and center $(a/b,\frac{1}{2b^2})$. These circles, called the Ford circles, lie in ...
0
votes
1answer
25 views

Farey sequence problem with irrational numbers

If an irrational number $\theta$ lies between two consecutive terms $a/b$ and $c/d$ of the Farey sequence of order n, prove that at least one of the following holds: $|\theta- a/b| < 1/2b^2$ or ...
0
votes
0answers
22 views

Unitary Farey Sequence Matrices

Take the Farey sequence $\mathcal{F}_n$ with values $a_m\in \mathcal{F}_n$ and put them into a vector $$ \vec v_k=\frac1{\sqrt{|\mathcal{F}_n|}}\biggr(\exp(2\pi i k a_m)\biggr)_m $$ The dimension of ...
1
vote
1answer
55 views

Farey Sequence Vector Orthogonality Relation Question

Take the Farey sequence $\mathcal{F}_n$ for $n=39$ with values $a_m\in \mathcal{F}_n$ and put them into a vector $$ \vec v_k=\biggr(\exp(2\pi i k a_m)\biggr)_m $$ Since Merten's function for $n=39$ ...
2
votes
0answers
48 views

Alternative Proof for “Roots of Mertens Function-Farey Sequence-Cosines Relations”

You can write Merten's function as $$ M(n)= \sum_{a\in \mathcal{F}_n} e^{2\pi i a} , $$ where $\mathcal{F}_n$ is the Farey sequence of order $n$. The sum may be split into imaginary and real ...
2
votes
0answers
31 views

Farey Sequences and how evenly is the sequence distributed

Given any $\alpha,\beta\in (0, 1)$, $k\in Z^+, n > 1$ is this true ($\mathcal{F}_n$ denotes the $n$th Farey sequence, and $\mathcal{F_n}^{\prime} = \{q:q = a + b, a\in\mathbb{Z}, ...
7
votes
0answers
122 views

Product of the first n cyclotomic polynomials.

Let $$F_n(\alpha) = \prod_{k = 1}^n \Phi_k(e(\alpha))$$ where $e(\alpha) = e^{2\pi i\alpha}$ It is clear that $F_n(\alpha) = 0$ iff $\alpha = \frac{a}{q}$ for relatively prime $a, q$ s.t. $q \le n$. ...
2
votes
1answer
136 views

Find $x, y$ such that $\left | \frac ab -\frac xy \right |$ is minimal

Given positive integers $a, b, D$. How to find $x, y \in \mathbb{Z^+}$ such that $$M =\left | \frac ab -\frac xy \right |$$ is minimal and $x + y \le D$? For a solution, I can get it by ...
3
votes
1answer
79 views

Computational Complexity of Finding Adjacent Terms in Farey Sequence

The Farey sequence $\mathcal{F}_n$ is the list of all fractions in increasing order (in lowest terms) from $0$ to $1$, having denominator at most $n$. My question is, given some $a/b\in\mathcal{F}_n$ ...
3
votes
1answer
245 views

How to prove that construction of Farey sequence by mediant is coverage?

Farey sequence of order $n+1$ ($F_{n+1}$) can be construct by adding mediant value (${a+c \over b+d}$) into $F_{n}$, where ${a \over b}$ and ${c \over d}$ are consecutive term in $F_{n}$, and $b+d = ...
2
votes
1answer
133 views

Farey sequences for polynomials?

Does a notion of Farey sequence (or something equivalent) exist for polynomials over finite fields?
4
votes
3answers
290 views

Constructing Farey sequences inductively

Objective: I'd like to prove that $F_{n+1}$ (the Farey sequence of order $n+1$) is obtained form the Farey sequence $F_n$ of order $n$ by adding all fractions of the form $\frac{a+c}{b+d}$ when ...
9
votes
1answer
167 views

What is the sum of the squares of the differences of consecutive element of a Farey Sequence

A Farey sequence of order $n$ is a list of the rational numbers between 0 and 1 inclusive whose denominator is less than or equal to $n$. For example $F_6= ...
5
votes
4answers
443 views

How to compute next/previous representable rational number?

An (approximate) non-negative rational number representation is a pair of natural numbers each not greater than some fixed limit M (and of course denominator being non-zero). With this condition ...