Problems with sequence (A090591) signs...
creigh at o2online.de
creigh at o2online.de
Tue Oct 26 23:28:34 CEST 2004
Problems with signs...
Apparently, the following equations hold (see below)
| vesseq(n) | = | A090591(n+1) | = | (1/3)*lesseq(n+1) | = | (1/2)*jesseq(n+1) |
| tesseq(n) | = | A090590(n+1) |
A090590 (1,1) entry of powers of the orthogonal design shown below.
A090591, (1,2) entry of powers of the orthogonal design shown below:
+1 +1 +1 +1 +1 +1 +1 +1
-1 +1 +1 -1 +1 -1 -1 +1
-1 -1 +1 +1 +1 +1 -1 -1
-1 +1 -1 +1 +1 -1 +1 -1
-1 -1 -1 -1 +1 +1 +1 +1
-1 +1 -1 +1 -1 +1 -1 +1
-1 +1 +1 -1 -1 +1 +1 -1
-1 -1 +1 +1 -1 -1 +1 +1
The problem is: A090591 and A090590 are both signed sequences whose signs do
not coincide with my sequences. On one hand, it would be nice to use the
standard jes + les + tes = ves formula, for example, to relate both sequences
with each other. On the other hand,
if a simple function vesseq(n) |-> A090591(n+1) cannot be found, I don't
see how the formula can be used.
Does anyone see a way that the formula may be used without submitting any
new sequences?
Sincerely,
Creighton
Results for the floretion:
**********************************************************
+ 3'i - 1'k - 1'jj' - 1'ji' - 1'jk' - 1e
**********************************************************
(squaring symmetries:)
vesseq: -2, -4, 24, -16, -160, 448, 384, -4352, 5632, 23552, -92160,
tesseq: -1, -6, 20, 8, -176, 288, 832, -3968, 1280, 29184, -68608, lesseq:
-3, 6, 12, -72, 48, 480, -1344, -1152, 13056, -16896, -70656,
jesseq: 2, -4, -8, 48, -32, -320, 896, 768, -8704, 11264, 47104,
identity: ves = jes + les + tes
(Emmy's Three, subgroup symmetries:)
em[I]seq: 0, -8, 16, 32, -192, 128, 1280, -3584, -3072, 34816, -45056, -188416,
737280, 32768
em[I*]seq: -2, 4, 8, -48, 32, 320, -896, -768, 8704, -11264, -47104, 184320,
8192, -1490944
em[J]seq: -4, 0, 32, -64, -128, 768, -512, -5120, 14336, 12288, -139264, 180224,
753664, -2949120, -131072
em[J*]seq: 2, -4, -8, 48, -32, -320, 896, 768, -8704, 11264, 47104, -184320,
-8192, 1490944, -2916352
em[K]seq: -2, -4, 24, -16, -160, 448, 384, -4352, 5632, 23552, -92160, -4096,
745472, -1458176, -3047424
em[K*]seq: 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
famseq: -2, -4, 24, -16, -160, 448, 384, -4352, 5632, 23552, -92160, -4096,
745472, -1458176, -3047424
fam*seq: 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
identities: em[I] + em[J] + em[K] = 2*fam + ves
em[I] + em[I*] = em[J] + em[J*] = em[K] + em[K*] = fam + fam* = ves
More information about the SeqFan
mailing list