A358298 -id:A358298 - cp's OEIS frontend

A358884 The number of edges in a Farey diagram of order (n,n).

8, 92, 816, 3276, 13040, 29452, 82128, 160656, 328212, 556040, 1065660, 1592368, 2768168, 4026972, 6083804, 8572272, 13075848, 17078512, 24932940, 32266036

Offset: 1

Scott R. Shannon and N. J. A. Sloane, Dec 05 2022

See the linked references for further details.

The first diagram where not all edge points are connected is n = 3. For example a line connecting points (0,1/3) and (1/3,0) has equation 3*y - 6*x - 1 = 0, and as one of the x or y coefficients is greater than n (3 in this case) the line is not included.

Alain Daurat et al., About the frequencies of some patterns in digital planes. Application to area estimators. Computers & graphics. 33.1 (2009), 11-20.
Daniel Khoshnoudirad, Farey lines defining Farey diagrams and application to some discrete structures. Applicable Analysis and Discrete Mathematics. 9 (2015), 73-84.
Wikipedia, Farey sequence.

Cf. A358882 (regions), A358883 (vertices), A358885 (k-gons), A006842, A006843, A005728, A358888.
See A358298 for definition of Farey diagram Farey(m,n).
The Farey Diagrams Farey(m,n) are studied in A358298-A358307 and A358882-A358885, the Completed Farey Diagrams of order (m,n) in A358886-A358889.

a(n) = A358882(n) + A358883(n) - 1 by Euler's formula.

A358304 Array read by antidiagonals: T(n,k) (n>=0, k>=0) = number of decreasing lines defining the Farey diagram Farey(n,k) of order (n,k).

Original entry on oeis.org

0, 0, 0, 0, 2, 0, 0, 5, 5, 0, 0, 9, 10, 9, 0, 0, 14, 19, 19, 14, 0, 0, 20, 27, 32, 27, 20, 0, 0, 27, 40, 47, 47, 40, 27, 0, 0, 35, 51, 68, 66, 68, 51, 35, 0, 0, 44, 68, 85, 96, 96, 85, 68, 44, 0, 0, 54, 82, 112, 118, 134, 118, 112, 82, 54, 0, 0, 65, 103, 137, 156, 167, 167, 156, 137, 103, 65, 0, 0, 77, 120, 166, 187, 217, 204, 217, 187, 166, 120, 77, 0

Offset: 0

Scott R. Shannon and N. J. A. Sloane, Dec 06 2022

			The full array T(n,k), n >= 0, k >= 0, begins:
  0,  0,  0,  0,   0,   0,   0,   0,   0,   0,   0,   0,   0, ..
  0,  2,  5,  9,  14,  20,  27,  35,  44,  54,  65,  77,  90, ..
  0,  5, 10, 19,  27,  40,  51,  68,  82, 103, 120, 145, 165, ..
  0,  9, 19, 32,  47,  68,  85, 112, 137, 166, 196, 235, 265, ..
  0, 14, 27, 47,  66,  96, 118, 156, 187, 229, 266, 320, 358, ..
  0, 20, 40, 68,  96, 134, 167, 217, 261, 317, 366, 436, 491, ..
  0, 27, 51, 85, 118, 167, 204, 267, 318, 384, 441, 528, 589, ..
  ...

Daniel Khoshnoudirad, Farey lines defining Farey diagrams and application to some discrete structures, Applicable Analysis and Discrete Mathematics, 9 (2015), 73-84; doi:10.2298/AADM150219008K. See Lemma 1, |DFD(m,n)|.

Cf. A358298.

The Farey Diagrams Farey(m,n) are studied in A358298-A358307 and A358882-A358885, the Completed Farey Diagrams of order (m,n) in A358886-A358889.

A005728 := proc(n) 1+add(numtheory[phi](i), i=1..n) ; end proc: # called F_n in the paper
Amn:=proc(m,n) local a,i,j;  # A331781 or equally A333295. Diagonal is A018805.
a:=0; for i from 1 to m do for j from 1 to n do
if igcd(i,j)=1 then a:=a+1; fi; od: od: a; end;
DFD:=proc(m,n) local d,t1,u,v; global A005728, Amn;
t1:=0; for u from 1 to m do for v from 1 to n do
d:=igcd(u,v); if d>=1 then t1:=t1 + (u+v)*numtheory[phi](d)/d; fi; od: od:
t1; end;
for m from 0 to 8 do lprint([seq(DFD(m,n),n=0..20)]); od:

T[n_, k_] := Sum[d = GCD[u, v]; If[d >= 1, (u+v)*EulerPhi[d]/d, 0], {u, 1, n}, {v, 1, k}];
Table[T[n-k, k], {n, 0, 12}, {k, 0, n}] // Flatten (* Jean-François Alcover, Apr 18 2023 *)

A358299 Triangle read by antidiagonals: T(n,k) (n>=0, 0 <= k <= n) = number of lines defining the Farey diagram of order (n,k).

Original entry on oeis.org

2, 3, 6, 4, 11, 20, 6, 19, 36, 60, 8, 29, 52, 88, 124, 12, 43, 78, 128, 180, 252, 14, 57, 100, 162, 224, 316, 388, 20, 77, 136, 216, 298, 412, 508, 652, 24, 97, 166, 266, 360, 498, 608, 780, 924, 30, 121, 210, 326, 444, 608, 738, 940, 1116, 1332, 34, 145, 246, 386, 518, 706, 852, 1086, 1280, 1532, 1748

Offset: 0

Scott R. Shannon and N. J. A. Sloane, Dec 06 2022

			The full array T(n,k), n >= 0, k>= 0, begins:
2, 3, 4, 6, 8, 12, 14, 20, 24, 30, 34, 44, 48, 60, ...
3, 6, 11, 19, 29, 43, 57, 77, 97, 121, 145, 177, 205, ...
4, 11, 20, 36, 52, 78, 100, 136, 166, 210, 246, 302, ...
6, 19, 36, 60, 88, 128, 162, 216, 266, 326, 386, 468, ...
8, 29, 52, 88, 124, 180, 224, 298, 360, 444, 518, 628, ...
12, 43, 78, 128, 180, 252, 316, 412, 498, 608, 706, ...
14, 57, 100, 162, 224, 316, 388, 508, 608, 738, 852, ...
...

Daniel Khoshnoudirad, Farey lines defining Farey diagrams and application to some discrete structures, Applicable Analysis and Discrete Mathematics, 9 (2015), 73-84; doi:10.2298/AADM150219008K. See Theorem 1, |DF(m,n)|.

The Farey Diagrams Farey(m,n) are studied in A358298-A358307 and A358882-A358885, the Completed Farey Diagrams of order (m,n) in A358886-A358889.

A005728 := proc(n) 1+add(numtheory[phi](i), i=1..n) ; end proc: # called F_n in the paper
Amn:=proc(m,n) local a,i,j; # A331781 or equally A333295. Diagonal is A018805.
a:=0; for i from 1 to m do for j from 1 to n do
if igcd(i,j)=1 then a:=a+1; fi; od: od: a; end;
# The present sequence is:
Dmn:=proc(m,n) local d,t1,u,v,a; global A005728, Amn;
a:=A005728(m)+A005728(n);
t1:=0; for u from 1 to m do for v from 1 to n do
d:=igcd(u,v); if d>=1 then t1:=t1 + (u+v)*numtheory[phi](d)/d; fi; od: od:
a+2*t1-2*Amn(m,n); end;
for m from 1 to 8 do lprint([seq(Dmn(m,n),n=1..20)]); od:

A358302 Number of triangular regions in the Farey Diagram Farey(n,n), divided by 4.

Original entry on oeis.org

1, 12, 100, 392, 1554, 3486, 9690, 18942, 38610, 65268, 125116, 186870, 324646, 472546, 713354, 1003888, 1531908, 2000638, 2920970, 3780950

Offset: 1

Scott R. Shannon and N. J. A. Sloane, Dec 06 2022

This is the leading column in A358885, divided by 4.

It would be nice to have a formula.

The Farey Diagrams Farey(m,n) are studied in A358298-A358307 and A358882-A358885, the Completed Farey Diagrams of order (m,n) in A358886-A358889.

A358303 Number of 4-sided regions in the Farey Diagram Farey(n,n), divided by 8.

Original entry on oeis.org

1, 13, 57, 231, 532, 1497, 2935, 6031, 10273, 19680, 29441, 51261, 74473, 112721, 159299, 242763, 317155, 462930, 598755

Offset: 1

Scott R. Shannon and N. J. A. Sloane, Dec 06 2022

This is the second column in A358885, divided by 8.

It would be nice to have a formula.

The Farey Diagrams Farey(m,n) are studied in A358298-A358307 and A358882-A358885, the Completed Farey Diagrams of order (m,n) in A358886-A358889.

A358305 Triangle read by rows: T(n,k) (n>=0, 0 <= k <= n) = number of decreasing lines defining the Farey diagram Farey(n,k) of order (n,k).

Original entry on oeis.org

0, 0, 2, 0, 5, 10, 0, 9, 19, 32, 0, 14, 27, 47, 66, 0, 20, 40, 68, 96, 134, 0, 27, 51, 85, 118, 167, 204, 0, 35, 68, 112, 156, 217, 267, 342, 0, 44, 82, 137, 187, 261, 318, 408, 482, 0, 54, 103, 166, 229, 317, 384, 490, 581, 692, 0, 65, 120, 196, 266, 366, 441, 564, 664, 794, 904

Offset: 0

Scott R. Shannon and N. J. A. Sloane, Dec 06 2022

			The full array T(n,k), n >= 0, k>= 0, begins:
0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, ...
0, 2, 5, 9, 14, 20, 27, 35, 44, 54, 65, 77, 90, ...
0, 5, 10, 19, 27, 40, 51, 68, 82, 103, 120, 145, ...
0, 9, 19, 32, 47, 68, 85, 112, 137, 166, 196, 235, ...
0, 14, 27, 47, 66, 96, 118, 156, 187, 229, 266, ...
0, 20, 40, 68, 96, 134, 167, 217, 261, 317, 366, ...
0, 27, 51, 85, 118, 167, 204, 267, 318, 384, 441, ...

Daniel Khoshnoudirad, Farey lines defining Farey diagrams and application to some discrete structures, Applicable Analysis and Discrete Mathematics, 9 (2015), 73-84; doi:10.2298/AADM150219008K. See Lemma 1, |DFD(m,n)|.

Cf. A358298.

The Farey Diagrams Farey(m,n) are studied in A358298-A358307 and A358882-A358885, the Completed Farey Diagrams of order (m,n) in A358886-A358889.

A005728 := proc(n) 1+add(numtheory[phi](i), i=1..n) ; end proc: # called F_n in the paper
Amn:=proc(m,n) local a,i,j; # A331781 or equally A333295. Diagonal is A018805.
a:=0; for i from 1 to m do for j from 1 to n do
if igcd(i,j)=1 then a:=a+1; fi; od: od: a; end;
DFD:=proc(m,n) local d,t1,u,v; global A005728, Amn;
t1:=0; for u from 1 to m do for v from 1 to n do
d:=igcd(u,v); if d>=1 then t1:=t1 + (u+v)*numtheory[phi](d)/d; fi; od: od:
t1; end;
for m from 0 to 8 do lprint([seq(DFD(m,n),n=0..20)]); od:

T[n_, k_] := Sum[d = GCD[u, v]; If[d >= 1, (u+v)*EulerPhi[d]/d, 0], {u, 1, n}, {v, 1, k}];
Table[T[n, k], {n, 0, 10}, {k, 0, n}] // Flatten (* Jean-François Alcover, Apr 18 2023 *)

A358306 Second row of array in A358304.

Original entry on oeis.org

0, 5, 10, 19, 27, 40, 51, 68, 82, 103, 120, 145, 165, 194, 217, 250, 276, 313, 342, 383, 415, 460, 495, 544, 582, 635, 676, 733, 777, 838, 885, 950, 1000, 1069, 1122, 1195, 1251, 1328, 1387, 1468, 1530, 1615, 1680, 1769, 1837, 1930, 2001, 2098, 2172, 2273, 2350, 2455, 2535, 2644, 2727, 2840, 2926, 3043, 3132, 3253, 3345

Offset: 0

Scott R. Shannon and N. J. A. Sloane, Dec 06 2022

nonn

The Farey Diagrams Farey(m,n) are studied in A358298-A358307 and A358882-A358885, the Completed Farey Diagrams of order (m,n) in A358886-A358889.

cp's OEIS Frontend

A358884 The number of edges in a Farey diagram of order (n,n).

Views

Author

Keywords

Comments

Links

Crossrefs

Formula

A358304 Array read by antidiagonals: T(n,k) (n>=0, k>=0) = number of decreasing lines defining the Farey diagram Farey(n,k) of order (n,k).

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

Maple

Mathematica

A358299 Triangle read by antidiagonals: T(n,k) (n>=0, 0 <= k <= n) = number of lines defining the Farey diagram of order (n,k).

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

Maple

A358302 Number of triangular regions in the Farey Diagram Farey(n,n), divided by 4.

Views

Author

Keywords

Comments

Crossrefs

A358303 Number of 4-sided regions in the Farey Diagram Farey(n,n), divided by 8.

Views

Author

Keywords

Comments

Crossrefs

A358305 Triangle read by rows: T(n,k) (n>=0, 0 <= k <= n) = number of decreasing lines defining the Farey diagram Farey(n,k) of order (n,k).

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

Maple

Mathematica

A358306 Second row of array in A358304.

Views

Author

Keywords

Crossrefs