login
a(n) = A053656(n) - A000011(n).
9

%I #65 Jun 25 2021 11:39:10

%S 0,0,0,0,0,1,1,4,7,18,31,70,126,261,484,960,1800,3515,6643,12852,

%T 24458,47151,90157,173744,333498,643230,1238671,2392650,4620006,

%U 8939676,17302033,33538048,65042526,126289800,245361172

%N a(n) = A053656(n) - A000011(n).

%C Counts contiguously substituted cycloalkane polyols (CSCPs).

%C From _Ed Wynn_ and _Andrew Howroyd_, May 22 2021: (Start)

%C Consider a bracelet of n beads, each colored blue on one side and red on the other. Turning the bracelet over has the effect of simultaneously swapping the colors and reversing the order of the beads. For example, rrbbrb when turned over becomes rbrrbb. The total number of such bracelets is counted by A053656(n).

%C Swapping the colors is equivalent to reversing the order of the beads. For example, rrbbrb becomes bbrrbr which when turned over is brbbrr. A bracelet may or may not be the same as its reversal (or complement). The case of equality is counted by A256217(n) and the remainder can be divided into "chiral" pairs which are the reverse of each other and counted by this sequence. a(n) is then the number of pairs of two-colored n-bead bracelets that are equal under reversal but unequal up to rotation and turning over.

%C In chemical terms, these pairs are called "enantiomeric pairs". The example of rrbbrb corresponds to a pair of "chiral" chemical molecules: L-chiro-inositol and R-chiro-inositol.

%C a(n) is also half the number of nonisomorphic orientations of the n-cycle graph which are not self-converse. Again the self-converse orientations are counted by A256217(n) and the total by A053656(n).

%C (End)

%H Seiichi Manyama, <a href="/A256216/b256216.txt">Table of n, a(n) for n = 1..3335</a>

%H D. Bundala, M. Codish, L. Cruz-Filipe et al., <a href="http://arxiv.org/abs/1412.5302">Optimal-Depth Sorting Networks</a>, arXiv preprint arXiv:1412.5302 [cs.DS], 2014. See Table 4 and associated comments.

%H Shinsaku Fujita, <a href="https://www.webfile.jp/lite-tcsj/dl.php?i=2071&amp;s=aaa3068608b595219b60">alpha-beta Itemized Enumeration of Inositol Derivatives and m-Gonal Homologs by Extending Fujita's Proligand Method</a>, Bull. Chem. Soc. Jpn. 2017, 90, 343-366 | doi:10.1246/bcsj.20160369. See Table 8.

%H A. Yajima, <a href="https://www.jstage.jst.go.jp/article/bcsj/87/11/87_20140204/_pdf">How to calculate the number of stereoisomers of inositol-homologs</a>, Bull. Chem. Soc. Jpn. 2014, 87, 1260-1264; doi:10.1246/bcsj.20140204. See Table 2 (E_c).

%F a(n) = A053656(n) - A000011(n).

%F A053656(n) = 2*a(n) + A256217(n). - _Andrew Howroyd_ and _Ed Wynn_, Jun 15 2021

%e From _Ed Wynn_ and _Andrew Howroyd_, May 22 2021: (Start)

%e The a(6) = 1 pair of bracelets are rrbbrb and its complement bbrrbr. These two are not the same under simultaneous reversal and swapping the colors (rrbbrb is equivalent to rbrrbb which is not the same as bbrrbr by rotation).

%e Replacing r with ->- and b with -<- gives two distinct orientations of the cycle:

%e ->-.->-.-<-.-<-.->-.-<- : ->-.-<-.->-.->-.-<-.-<-

%e | | : | |

%e -----------.----------- : -----------.-----------

%e These two might be written in shorthand as >><<>< and <<>><>.

%e The a(8) = 4 pairs of bracelets are rrrrbrbb, rrrbrrbb, rrrbrbbb, rrbrbrbb and their complements.

%e (End)

%t Table[Total[EulerPhi[#] 2^(n/#) & /@ Divisors[n]]/(2 n) + 2^(n/2 - 2) (1 - Mod[n, 2]) - If[n < 1, Boole[n == 0], 2^Quotient[n, 2]/2 + DivisorSum[n, EulerPhi[2 #] 2^(n/#) &]/(4 n)], {n, 35}] (* _Michael De Vlieger_, Sep 05 2015, after _Jean-François Alcover_ at A053656 and _Michael Somos_ at A000011 *)

%Y Cf. A000011, A053656, A256217, A066314.

%Y The 8 sequences in Table 8 of Fujita (2017) are A053656, A000011, A256216, A256217, A123045, A283846, A283847, A283848.

%K nonn

%O 1,8

%A _N. J. A. Sloane_, Mar 26 2015