cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

A378568 Lowest weight of rational fraction with denominator n.

Original entry on oeis.org

1, 2, 3, 2, 4, 2, 5, 2, 3, 2, 6, 2, 6, 2, 3, 2, 7, 2, 7, 2, 3, 2, 8, 2, 4, 2, 3, 2, 8, 2, 8, 2, 3, 2, 4, 2, 9, 2, 3, 2, 9, 2, 9, 2, 3, 2, 9, 2, 5, 2, 3, 2, 10, 2, 4, 2, 3, 2, 10, 2, 10, 2, 3, 2, 4, 2, 10, 2, 3, 2, 10, 2, 10, 2, 3, 2, 5, 2, 10, 2, 3, 2, 11, 2
Offset: 1

Views

Author

Jeffrey Shallit, Dec 01 2024

Keywords

Comments

The weight wt(x) of a rational number x is defined to be the sum of the partial quotients in the continued fraction expansion of x. For example, 5/14 = [0,2,1,4], so wt(5/14) = 7. Here a(n) is the minimum, over all m, 1<=m
It is conjectured by Kravitz and Sah that a(n) = O(log n).

Examples

			For n = 23, we have a(23) = 8 because 5/23 = [0,4,1,1,2] with weight 8, and this is the smallest over all fractions m/23 with 1<=m<23.
		

Crossrefs

Cf. A178031 (same but for irreducible fractions only).

Programs

  • PARI
    a(n)=if(n==1, return(1)); my(r=oo,t); for(m=1,n-1, t=vecsum(contfrac(m/n)); if(tCharles R Greathouse IV, Dec 01 2024

Formula

a(n) = min_{d|n, d>1} A178031(d) for n>1. - Andrey Zabolotskiy, Dec 01 2024