早点关注我,精彩不错过!
上一讲,我们以牌叠元组模型为基础,谈到了以CATOQD性质为代表背后的操作性质的建模定义,以及对应的8个相关定理,详情请戳:
今天我们接着来看,这些所谓的CATO相关定理,本质上到底是怎样一群东西。
CATO相关定理的群论本质
理论上,CATOQD性质的保持操作集中的元素,不考虑复杂的中间过程以及不在D所描述的性质之外的内容,根据结果分类,有2len(D)!种可能,即任意的排列,只需要方向调整做到CATOQD满足即可,而操作本质上就是两个D状态之间的一一映射;如果允许结果为DT,即使不考虑元组索引和真实牌叠之间的多重映射,也有2 ^ (len(D) - 1) * len(D)!种可能。但这些结果对应的操作,大多是不会真实地发生在日常生活中,一般人有一定认知的。因此数学上算出个边界就行,至于哪些操作可用,更好的方法是先用熟知的操作入手去召回,再看其CATOQD性质的保持性如何以及如何修改。
而上面这些,都是合理可用的魔术操作,以及他们自然也都是CATOQD元素组成的群上的一组生成操作。
还有,在转化中,还存在一个性质可否转为另一个的可行性,比如CATOQD,因为其自由属性,是无法通过任何不看牌面的操作转化为第一张牌的v = 0的,除非你的操作跟着原牌叠的v = 0的牌的位置调整。这已经看牌了,数学上看就是这不是一个一一映射了(似乎有点不直观),而看牌则是操作完成的实际要求。而一个信息量更大(集合范围小)的性质可以转化为更小(集合大,且包含前者)的,比如一个有序的2周期序列,经过发n叠再任意收回,或者Peirce发牌操作,其周期性还在,但其周期内的排序已经无论是序列还是环都打乱了,有了更大的性质集合空间。这本质上是直接把元素视作了一个更松散的性质,并在那里面进行那个群内的操作而不逃离。实际上它也再也无法很容易地直接回去了,至少不存在那种仅和D的C序列有关而和牌值无关对称的操作了(或者说与牌值的排列操作可交换)。这至少是需要特殊地看牌面的整理,这个操作是不可逆的非群操作,也没有交换性,是非通用的和c.v无关的操作了。而大集合好歹是可以设计可能要看牌的操作变成小集合更严格性质的,那是非单射的;而小集合要变大,则有点像生成群的感觉,只要不是群内操作,都会成倍生成放大它。
因此性质之间应该是有偏序关系的,把这种大小关系,可以形象地命名为性质的包含,本质是集合的包含。我包含于你,我的确定性更高,信息多,才能转化视作成你,反过来则只有相等才成立。整个包含关系构成偏序,没有全序的三分性,比如牌叠的第一张值为1的性质和CATOQERQV就互相不包含。证明不包含只需要用反证法,找到一个不满足的特例就行了,还是很轻松的。
如果用群语言来说,等价的关系即为群的同构(isomorphism,相等),能转化过去的为同态(homomorphism,大于),而所谓操作,其实是牌叠状态下的双射,能构成群,而且关于朝向、牌值排列的性质还有交换律的那些分别操作的时候就可以不看朝向和牌值进行,否则要看的同时,其也不是简单的排列群可描述,而是要复合上值排列操作的交换性和朝向的C2群了。(不看牌值的排列操作是基于原排列的,而牌值又有一层)而D / ERQV(A)则构成所有牌叠状态的一个划分,就像商群Z / nZ = Z_n一样,各自内部保持有同构的群结构。性质保持操作即保持这个性质的操作,也即自同构的映射函数,而性质转化则为同态映射函数,有的没有逆映射,不构成同构,就转化不回来了。而有的像CATOQD转ERQV(O)的常量集合就是完全同构的,两边的操作都可以等价视之。所以这里单单用性质集合的大小相等来判断是否同构是可行的,因为这是存在双射的充要条件,只不过有的操作是需要识别v或o值的,即没有和其他操作的交换律,并不是一个闭着眼睛就能完成的操作,也超过了 简单排列群能描述的范围。
神奇吧,当在一个熟悉地空间的操作,你能熟悉地判断并理解扑克牌的状态规律和混乱情况,而当我转换一个同构空间,你可能就看不懂了,这大概才是最顶层数学魔术的智慧吧!这部分内容我暂时还在整理,详细理论我后面整理好后再和大家聊。
你看,魔术中既有像CATOQD和ERQV(O) = A的等价互转的性质,也有能被转化和能转化为它们的性质,这么复杂的关系变换,观众不晕才怪。而这么同构转化的好处是,能把一个司空见惯没怎么弄乱的操作变成一个看起来混乱的操作,并且中途能很好地隐藏最终的结构。
最后,从一个固定的属性,比如CATOQ,转变为CATOQERQV性质函数的过程也值得抽象,记作ERQV(Q),这样,只要给定任何一个属性函数,就可以方便表达其构造的商集了。在CATO性质在中途隐藏,最终展现的时候,往往展现的结果就是ERQV(O) = A,O是每张牌的朝向属性c.o。由此才完成了秘密的释放,称为一个魔术效果。
CATO原理的现代视角
到这里我们可以回头看看在经典的CATO原理的论述中(详见《CATO原理中的数学与魔术(一)——经典回顾》),它到底说了怎样一回事。其中TH1是EvenCATOQD性质不变的基础上的描述,TH1的初始集合就是奇偶位置的牌,它们在同样朝向的时候CATOQ性质天然相反,另外加上了一点代数运算得到的结论;而TH3则是CATOQ性质的一种小学数学水平的描述,实际上就等价于我抽象出来的CATOQD性质,二者构成等价类。可见,CATO原理的神秘,在数学的透视镜下,都是如此透明和清晰。
其实,CATO原理的魔术我十多年前就有接触过,中途还有类似的MAT原理的《4 kings折纸》等,原本真是以为很简单的奇偶原理而已。没想到,要真的清晰准确地建模描述它,直到今天用上商集的模型才彻底解决,之前的集合和群论的说法也是今天终极模型的注脚。我知道也就只有我这样的怪胎能这么多年有毛病似的念念不忘,但正是这份不计成本的投入,它才让我感受到厚积薄发的快乐。
以上就是CATO原理数学部分的全部内容,从经典文献描述出发,结合实际魔术中总结下来的积累,用上现代数学工具完成了基于牌叠元组和状态机的基本数学模型描述,并抽象出来了一类相关性质——性质保持和转化操作集和构造CATOQD性质用的性质等价关系商集的方法。以后,这一拓展将帮助我们从底层举一反三,发现和发明更多神奇的性质,真正用数学进行降维打击。
下一篇,我们回到CATO原理,来看看除了效果的数学解释外,在魔术方面,魔术师们是怎么把这些操作变成一个个迷人的plot,进而形成一系列丰富精彩的CATO系列魔术的。
视频5 Baby Hummer
我们是谁:
MatheMagician,中文“数学魔术师”,原指用数学设计魔术的魔术师和数学家。既取其用数学来变魔术的本义,也取像魔术一样玩数学的意思。文章内容涵盖互联网,计算机,统计,算法,NLP等前沿的数学及应用领域;也包括魔术思想,流程鉴赏等魔术内容;以及结合二者的数学魔术分享,还有一些思辨性的谈天说地的随笔。希望你能和我一起,既能感性思考又保持理性思维,享受人生乐趣。欢迎扫码关注和在文末或公众号留言与我交流!
扫描二维码
关注更多精彩
魔术《4 Kings 折纸》的三重境界(四)——魔术效果的突破
点击阅读原文,往期精彩不错过!