|
|

楼主 |
发表于 2015-10-17 11:01
|
显示全部楼层
numblocology 第四命题的证明
证明第四命题
如果数组块的元素为16,则有些(注意是某些)按shift rule 排好的序,会对按隔2而卷起的变换(就是
Foldup 手续),和对按隔4而卷起的变换出现一样的结果。因为对8个格子用3和5有公倍数15的原因并恰好符合逆序地有 “ = ”, 形成。
证明; A,
先做文字表 C-16-16
第一排是原始文字序列
第三排是 gap2 的foldup (粒度3)
第五排是 gap4的foldup(粒度5)
注意带星号的 z 3 i a 是个正顺序推进在第一排,而在第五排的z3ia却是个逆序列的排列
并且 很巧合的是它们还是邻接的。
a b c d w x y z 1 2 3 4 h i j k
* ** * * *
x a 4 y b h z c i 1 d j 2 w k 3
d a i 3 z w b j 4 1 x c k h 2 y
* * * *
B,现在假设第五排要逆序而读(逐个不间隔地读出),并假定这些也符合某种 shift rule 类似
的规则, 如果把这个dy2hkcx14jbw z3ia也做隔开2的foldup 不就是 w后隔开两数接z,隔两数接3,隔两数接i,然后类推有 i和a吗
w z 3 i a
d w x y z 1 2 3 4 h i j k a b c
** > * * * *
所以是逆读后就隐含隔2排列的规律的。这样就证明 在几何图上隔开2(gap2)和隔开4(gap),
用在16格子里会形成同构。例子
假设 出发的是距离型序列:
16元素合符shift rule 出发序列
0 0 0 0 1 1 0 1 1 1 1 0 0 1 0 1
0 0 0 1 1 0 1 1 1 1 0 0 1 0 1 0
0 0 1 1 0 1 1 1 1 0 0 1 0 1 0 0
0 1 1 0 1 1 1 1 0 0 1 0 1 0 0 0
0 1 3 6 13 11 7 15 14 12 9 2 5 10 4 8
其逆读就是 8 4 10 5 2 9 12 14 15 7 11 13 6 3 1 0这上作 gap2 foldup就得:
1 1 0 1 0 0
0 0 1 0 1 0
0 0 0 1 0 1
1 0 0 0 1 0
9 8 4 10 5 2
现在看出发序列在16个格子里按gap2和按gap4做的foldup表:
16元素附图
出 发
0 0 0 0 1 1 1 1 0 0 1 0 1 1 0 1
0 0 0 1 1 1 1 0 0 1 0 1 1 0 1 0
0 0 1 1 1 1 0 0 1 0 1 1 0 1 0 0
0 1 1 1 1 0 0 1 0 1 1 0 1 0 0 0
0 1 3 7 15 14 12 9 2 5 11 6 13 10 4 8
G2
1 0 0 1 0 1 1 0 1 0 0 0 0 1 1 1
1 0 1 1 0 1 0 0 0 0 1 1 1 1 0 0
1 0 1 0 0 0 0 1 1 1 1 0 0 1 0 1
0 0 0 0 1 1 1 1 0 0 1 0 1 1 0 1
14 0 6 12 1 13 9 3 10 2 7 4 5 15 8 11
G4 v
0 0 1 1 1 1 0 0 0 0 1 0 1 1 0 1
1 0 0 0 0 1 0 1 1 0 1 0 0 1 1 1
1 0 1 1 0 1 0 0 1 1 1 1 0 0 0 0
1 0 0 1 1 1 1 0 0 0 0 1 0 1 1 0
7 0 10 11 9 15 1 4 6 2 14 3 8 13 5 12
证明后举例,并画出几何对称图,图在图T-4d,
16元素附图
-
|
本帖子中包含更多资源
您需要 登录 才可以下载或查看,没有帐号?注册
x
|