Illustration of initial terms of A061396 Jon Awbrey (jawbrey(AT)oakland.edu) o-------------------------------------------------------------------------------- | integer factorization riff r.i.f.f. rote --> in parentheses | k p's k nodes 2k+1 nodes o-------------------------------------------------------------------------------- | | 1 1 blank blank @ blank | o-------------------------------------------------------------------------------- | | o---o | | | 2 p_1^1 p @ @ (()) | o-------------------------------------------------------------------------------- | | o---o | | | o---o | 3 p_2^1 = | | p_(p_1)^1 p_p @ @ ((())()) | ^ | \ | o | | o---o | o | | ^ o---o | 4 p_1^2 = / | | p_1^p_1 p^p @ @ (((()))) | o-------------------------------------------------------------------------------- | | o---o | | | o---o | | | 5 p_3 = o---o | p_(p_2) = | | p_(p_(p_1)) p_(p_p) @ @ (((())())()) | ^ | \ | o | ^ | \ | o | | o-o | / | o-o o-o | 6 p_1 p_2 = \ / | p_1 p_(p_1) p p_p @ @ @ (())((())()) | ^ | \ | o | | o---o | | | o---o | | | 7 p_4 = o---o | p_(p_1^2) = | | p_(p_1^p_1) p_(p^p) @ o @ ((((())))()) | ^ ^ | \ / | o | | o---o | | | o---o | o | | 8 p_1^3 = ^ ^ o---o | p_1^p_2 = / \ | | p_1^p_(p_1) p^p_p @ o @ ((((())()))) | | o-o o-o | o | | | 9 p_2^2 = ^ o---o | p_(p_1)^2 = / | | p_(p_1)^(p_1) p_p^p @ @ ((())((()))) | ^ | \ | o | | o o---o | ^ | | / o---o | o | | 16 p_1^4 = ^ o---o | p_1^(p_1^2) = / | | p_1^(p_1^p_1) p^(p^p) @ @ (((((()))))) | o-------------------------------------------------------------------------------- Further Comments: Here are a couple more pages from my notes, where it looks like I first arrived at the generating function, and also carried out some brute force enumerations of riffs. I am going to experiment with a different way of transcribing indices and powers into a plaintext. | jj | p< | j / ji | p< p< etc. | i \ ij | p< | ii ------------------------------------------------------- 1978-11-06 Generating Function | R(x) = 1 + x + 2x^2 + ... | | = 1 + x.x^0 (1 + x + 2x^2 + ...) | . 1 + x.x^1 (1 + x + 2x^2 + ...) | . 1 + x.x^2 (1 + x + 2x^2 + ...) | . 1 + x.x^2 (1 + x + 2x^2 + ...) | . ... | | = 1 + x + 2x^2 + ... | | Product over (i = 0 to infinity) of (1 + x.x^i.R(x))^R_i = R(x) ------------------------------------------------------- 1978-11-10 Brute force enumeration of R_n | 4 p's | | p | p< p_p p p | p< p< p p_p p<_p p_p_p p_p< | p< p< p< p< p< p< | | | p | p< p_p p p | p_p< p_p< p< p_p<_p p_p_p_p p_p_p< | p p_p | | | p | p< p_p p p p p | p< p< p< p< p< p< p p< | p p p_p p^p p p | | | p p_p_p p p< | p^p | Altogether, 20 riffs of weight 4. | o---------------------o---------------------o---------------------o | | 3 | 4 | 5 | | o---------------------o---------------------o---------------------| | | // // 2 | 10, 3, 1, 6 | 36, 10, 2, 3, 2, 20 | | o---------------------o---------------------o---------------------| | | | 0^1 4^1, | | | | | 1^1 3^1, | | | | | 2^2, | | | | | 4^1 0^1 | | | o---------------------o---------------------o---------------------o | | 6 | 20 | 73 | | o---------------------o---------------------o---------------------o | ------------------------------------------------------- Here are the number values of the riffs on 4 nodes: o---------------------------------------------------------------------- | | p | p< p_p p p | p< p< p p_p p<_p p_p_p p_p< | p< p< p< p< p< p< | | 2^16 2^8 2^6 2^9 2^5 2^7 | 65536 256 64 512 32 128 o---------------------------------------------------------------------- | | p | p< p_p p p | p_p< p_p< p< p_p<_p p_p_p_p p_p_p< | p p_p | | p_16 p_8 p_6 p_9 p_5 p_7 | 53 19 13 23 11 17 o---------------------------------------------------------------------- | | p | p< p_p p p p | p< p< p< p< p^p p_p p p< | p p p_p p^p p | | 3^4 3^3 5^2 7^2 | 81 27 25 49 12 18 o---------------------------------------------------------------------- | | p p_p_p p p< | p^p | | 10 14 o---------------------------------------------------------------------- For ease of reference, I include the previous table of smaller riffs and rotes, redone in the new style. o-------------------------------------------------------------------------------- | integer factorization riff r.i.f.f. rote --> in parentheses | k p's k nodes 2k+1 nodes o-------------------------------------------------------------------------------- | | 1 1 blank blank @ blank | o-------------------------------------------------------------------------------- | | o---o | | | 2 p_1^1 p @ @ (()) | o-------------------------------------------------------------------------------- | | o---o | | | o---o | 3 p_2^1 = | | p_(p_1)^1 p_p @ @ ((())()) | ^ | \ | o | | o---o | o | | ^ o---o | 4 p_1^2 = / | | p_1^p_1 p^p @ @ (((()))) | o-------------------------------------------------------------------------------- | | o---o | | | o---o | | | 5 p_3 = o---o | p_(p_2) = | | p_(p_(p_1)) p_p_p @ @ (((())())()) | ^ | \ | o | ^ | \ | o | | o-o | / | o-o o-o | 6 p_1 p_2 = \ / | p_1 p_(p_1) p p_p @ @ @ (())((())()) | ^ | \ | o | | o---o | | | o---o | | | 7 p_4 = o---o | p_(p_1^2) = | | p_(p_1^p_1) p< @ o @ ((((())))()) | p^p ^ ^ | \ / | o | | o---o | | | o---o | o | | 8 p_1^3 = ^ ^ o---o | p_1^p_2 = p_p / \ | | p_1^p_(p_1) p< @ o @ ((((())()))) | | o-o o-o | o | | | 9 p_2^2 = ^ o---o | p_(p_1)^2 = p / | | p_(p_1)^(p_1) p< @ @ ((())((()))) | p ^ | \ | o | | o o---o | ^ | | / o---o | o | | 16 p_1^4 = p ^ o---o | p_1^(p_1^2) = p< / | | p_1^(p_1^p_1) p< @ @ (((((()))))) | o-------------------------------------------------------------------------------- (later) Expanded version of first table: o-------------------------------------------------------------------------------- | integer factorization riff r.i.f.f. rote --> in parentheses | k p's k nodes 2k+1 nodes o-------------------------------------------------------------------------------- | | 1 1 blank blank @ blank | o-------------------------------------------------------------------------------- | | o---o | | | 2 p_1^1 p @ @ (()) | o-------------------------------------------------------------------------------- | | o---o | | | o---o | 3 p_2^1 = | | p_(p_1)^1 p_p @ @ ((())()) | ^ | \ | o | | o---o | o | | ^ o---o | 4 p_1^2 = / | | p_1^p_1 p^p @ @ (((()))) | o-------------------------------------------------------------------------------- | | o---o | | | o---o | | | 5 p_3 = o---o | p_(p_2) = | | p_(p_(p_1)) p_p_p @ @ (((())())()) | ^ | \ | o | ^ | \ | o | | o-o | / | o-o o-o | 6 p_1 p_2 = \ / | p_1 p_(p_1) p p_p @ @ @ (())((())()) | ^ | \ | o | | o---o | | | o---o | | | 7 p_4 = o---o | p_(p_1^2) = | | p_(p_1^p_1) p< @ o @ ((((())))()) | p^p ^ ^ | \ / | o | | o---o | | | o---o | o | | 8 p_1^3 = ^ ^ o---o | p_1^p_2 = p_p / \ | | p_1^p_(p_1) p< @ o @ ((((())()))) | | o-o o-o | o | | | 9 p_2^2 = ^ o---o | p_(p_1)^2 = p / | | p_(p_1)^(p_1) p< @ @ ((())((()))) | p ^ | \ | o | | o o---o | ^ | | / o---o | o | | 16 p_1^4 = p ^ o---o | p_1^(p_1^2) = p< / | | p_1^(p_1^p_1) p< @ @ (((((()))))) | o-------------------------------------------------------------------------------- o================================================================================ | | p | p< p p_p p | p< p<_p p< p_p< p p_p p_p_p | p< p< p< p< p< p< | | 2^16 2^9 2^8 2^7 2^6 2^5 | 65536 512 256 128 64 32 | o-------------------------------------------------------------------------------- | | p | p< p p_p p | p_p< p_p<_p p_p< p_p_p< p< p_p_p_p | p p_p | | p_16 p_9 p_8 p_7 p_6 p_5 | 53 23 19 17 13 11 | o-------------------------------------------------------------------------------- | | p^p p_p p p | p< p< p< p< | p p p^p p_p | | 3^4 3^3 7^2 5^2 | 81 27 49 25 | o-------------------------------------------------------------------------------- | | p | p p< p p< p^p p_p p p_p_p | p p^p | | 18 14 12 10 | o================================================================================ Triangle in which k-th row lists natural number values for the collection of riffs with k nodes. k | natural numbers n such that |riff(n)| = k --o------------------------------------------------ 0 | 1; 1 | 2; 2 | 3, 4; 3 | 5, 6, 7, 8, 9, 16; 4 | 10, 11, 12, 13, 14, 17, 18, 19, 23, 25, 27, | 32, 49, 53, 64, 81, 128, 256, 512, 65536; The natural number values for the riffs with at most 3 pts are as follows (@'s are roots): | o o o o | | ^ | ^ | v | v | | o o o o o o o o o | | ^ | | | ^ | ^ ^ | v | v v v | v/ | | Riff: @; @, @; @, @ @, @, @, @, @; | | Value: 2; 3, 4; 5, 6 , 7, 8, 9, 16; --------------------------------------------------- 1, 2, 3, 4, 5, 6, 7, 8, 9, 16, 10, 11, 12, 13, 14, 17, 18, 19, 23, 25, 27, 32, 49, 53, 64, 81, 128, 256, 512, 65536, --------------------------------------------------- 1; 2; 3, 4; 5, 6, 7, 8, 9, 16; 10, 11, 12, 13, 14, 17, 18, 19, 23, 25, 27, 32, 49, 53, 64, 81, 128, 256, 512, 65536; ---------------------------------------------------