login
a(n) is the number of vertices in the diagram of the symmetric representation of sigma(n).
10

%I #66 Nov 01 2021 01:08:33

%S 4,6,7,10,9,12,11,14,14,15,13,18,13,17,20,22,15,22,15,22,23,21,17,26,

%T 22,21,25,28,19,30,19,30,27,23,26,32,21,25,29,34,21,34,21,33,36,27,23,

%U 38,30,38,31,35,23,38,35,42,33,29,25,42,25,29,42,42,37,44,27

%N a(n) is the number of vertices in the diagram of the symmetric representation of sigma(n).

%C If A237271(n) is odd then a(n) is even.

%C If A237271(n) is even then a(n) is odd.

%C The above sentences arise that the diagram is always symmetric for any value of n hence the number of edges is always an even number. Also from Euler's formula.

%C Indices of odd terms give A071561.

%C Indices of even terms give A071562.

%C For another version with subparts see A340847 from which first differs at a(6).

%C The parity of this sequence is also the characteristic function of numbers that have no middle divisors (cf. A348327). - _Omar E. Pol_, Oct 14 2021

%H Michael De Vlieger, <a href="/A340833/b340833.txt">Table of n, a(n) for n = 1..10000</a>

%H Michael De Vlieger, <a href="/A340833/a340833.png">Log-log scatterplot of a(n)</a> for n=1..10^4, accentuating a(m) for m=1..2^8 for clarity, and labeling a(k) for k=1..24.

%F a(n) = A340846(n) - A237271(n) + 1 (Euler's formula).

%e Illustration of initial terms:

%e . _ _ _ _

%e . _ _ _ |_ _ _ |_

%e . _ _ _ |_ _ _| | |_

%e . _ _ |_ _ |_ |_ _ |_ _ |

%e . _ _ |_ _|_ |_ | | | | |

%e . _ |_ | | | | | | | | |

%e . |_| |_| |_| |_| |_| |_|

%e .

%e n: 1 2 3 4 5 6

%e a(n): 4 6 7 10 9 12

%e .

%e For n = 6 the diagram has 12 vertices so a(6) = 12.

%e On the other hand the diagram has 12 edges and only one part or region, so applying Euler's formula we have that a(6) = 12 - 1 + 1 = 12.

%e . _ _ _ _ _

%e . _ _ _ _ _ |_ _ _ _ _|

%e . _ _ _ _ |_ _ _ _ | |_ _

%e . |_ _ _ _| | |_ |_ |

%e . |_ |_ |_ _ |_|_ _

%e . |_ _ |_ _ | | |

%e . | | | | | |

%e . | | | | | |

%e . | | | | | |

%e . |_| |_| |_|

%e .

%e n: 7 8 9

%e a(n): 11 14 14

%e .

%e For n = 9 the diagram has 14 vertices so a(9) = 14.

%e On the other hand the diagram has 16 edges and three parts or regions, so applying Euler's formula we have that a(9) = 16 - 3 + 1 = 14.

%e Another way for the illustration of initial terms is as follows:

%e --------------------------------------------------------------------------

%e . n a(n) Diagram

%e --------------------------------------------------------------------------

%e _

%e 1 4 |_| _

%e _| | _

%e 2 6 |_ _| | | _

%e _ _|_| | | _

%e 3 7 |_ _| _| | | | _

%e _ _| _| | | | | _

%e 4 10 |_ _ _| _|_| | | | | _

%e _ _ _| _ _| | | | | | _

%e 5 9 |_ _ _| | _| | | | | | | _

%e _ _ _| _| _|_| | | | | | | _

%e 6 12 |_ _ _ _| _| _ _| | | | | | | | _

%e _ _ _ _| _| _ _| | | | | | | | | _

%e 7 11 |_ _ _ _| | _| _ _|_| | | | | | | | | _

%e _ _ _ _| | _| | _ _| | | | | | | | | | _

%e 8 14 |_ _ _ _ _| |_ _| | _ _| | | | | | | | | | | _

%e _ _ _ _ _| _ _|_| _ _|_| | | | | | | | | | |

%e 9 14 |_ _ _ _ _| | _| _| _ _ _| | | | | | | | | |

%e _ _ _ _ _| | _| _| _ _| | | | | | | | |

%e 10 15 |_ _ _ _ _ _| | _| | _ _|_| | | | | | |

%e _ _ _ _ _ _| | _| | _ _ _| | | | | |

%e 11 13 |_ _ _ _ _ _| | _ _| _| | _ _ _| | | | |

%e _ _ _ _ _ _| | _ _| _|_| _ _ _|_| | |

%e 12 18 |_ _ _ _ _ _ _| | _ _| _ _| | _ _ _| |

%e _ _ _ _ _ _ _| | _| | _| | _ _ _|

%e 13 13 |_ _ _ _ _ _ _| | | _| _| _| |

%e _ _ _ _ _ _ _| | |_ _| _| _|

%e 14 17 |_ _ _ _ _ _ _ _| | _ _| _|

%e _ _ _ _ _ _ _ _| | _ _|

%e 15 20 |_ _ _ _ _ _ _ _| | |

%e _ _ _ _ _ _ _ _| |

%e 16 22 |_ _ _ _ _ _ _ _ _|

%e ...

%t MapAt[# + 1 &, #, 1] &@ Map[Length@ Union[Join @@ #] - 1 &, Partition[Prepend[#, {{0, 0}}], 2, 1]] &@ Table[{{0, 0}}~Join~Accumulate[Join[#, Reverse[Reverse /@ (-1*#)]]] &@ MapIndexed[Which[#2 == 1, {#1, 0}, Mod[#2, 2] == 0, {0, #1}, True, {-#1, 0}] & @@ {#1, First[#2]} &, If[Length[#] == 0, {n, n}, Join[{n}, #, {n - Total[#]}]]] &@ Differences[n - Array[(Ceiling[(n + 1)/# - (# + 1)/2]) &, Floor[(Sqrt[8 n + 1] - 1)/2]]], {n, 67}] (* _Michael De Vlieger_, Oct 27 2021 *)

%Y Parity gives A348327.

%Y Cf. A237271 (number of parts or regions).

%Y Cf. A340846 (number of edges).

%Y Cf. A340847 (number of vertices in the diagram with subparts).

%Y Cf. A294723 (total number of vertices in the unified diagram).

%Y Cf. A239931-A239934 (illustration of first 32 diagrams).

%Y Cf. A000203, A071561, A071562, A196020, A236104, A235791, A237048, A237270, A237590, A237591, A237593, A239660, A245092, A262626, A340848.

%K nonn,look

%O 1,1

%A _Omar E. Pol_, Jan 23 2021

%E Terms a(33) and beyond from _Michael De Vlieger_, Oct 27 2021