mobit:不抢bit,不整qubit,就站中间

今天挺高兴,我Mobit在Python上跑通了。就差物理了,在正式验证前,先给它起个乳名吧。

我很久很久便玩儿电脑,大约从1990年代初。从5寸盘到3寸盘。搬了多少次家,就是不舍得丢弃旧磁盘,念想儿!偶尔翻出一张3M软盘。3M,三个M,突然就想起M₃格。缘分这东西,说不清。

这些年,总有人问我:你那个模态信息论,到底要搞出个什么新东西?

我说:mobit。对方一愣:什么?more bit?还是mobile bit?

我说:都不是。mobit = meso + bit,介观比特。第三个比特。

bit和qubit已经两头堵了

bit是经典的。0和1,布尔代数,香农熵,CHSH不等式不超过2。稳是稳,但描述不了纠缠。

qubit是量子的。叠加态,正交模格,冯·诺依曼熵,CHSH可以飙到2√2≈2.828。牛是真牛,但真实系统里退相干一出来,就掉下去了。

bit和qubit之间,有个大空档。

物理学家管那个空档叫"介观"------比原子大,比肉眼可见小。里面住着量子点、超导电路、NV色心、一堆退相干的纠缠态。这些系统,你说它是经典?它违反贝尔不等式。你说它是量子?它又够不着2.828。

两头都靠不上,那就自己立个山头。

Mobit,就是给介观世界发的身份证

mobit的逻辑基础,不是布尔代数,也不是无限维正交模格,而是M₃格。

M₃格这东西,命苦。1936年冯·诺依曼和伯克霍夫就发现了,看了一眼,说"这里不模",就丢掉了。后来Piron-Soler定理架了个筛子,过不去------因为它没有无限正交序列,只能赖在有限维希尔伯特空间里。

这一赖就赖了80年,成了流浪格,上格论课时,哪个老师都把它奚落一顿,而且还撇着嘴。我搞模态信息论,如果只搞经典的,确实搞不过,搞量子的,我又不是那块料。恰好我发现了这个东跑西颠的M₃格,我把它捡回来,洗干净。发现它还能和S4模态逻辑配对,这倒好,骡子出来了,劲大、抗造。而且发现它刚好是描述介观世界的逻辑结构。

在M₃格上,CHSH不等式的理论极值不是2,也不是2.828,而是:

1+√2​≈2.414

这个数,我叫它刘钢熵。也叫白银常数。无所谓,反正它是介观模态的斩杀线。

超过2.414,系统还有活的量子性;低于2.414,只剩量子尸骸。

mobit是承载斩杀线的信息单元。它不像bit那样死板,也不像qubit那样娇气。它就在中间,把两头挑起来。

不抢bit,不整qubit

bit是老大,经典信息论的地盘,我不动。

qubit是老二,量子信息论的地盘,我也不碰。

mobit排老三,站中间,专门管那些"半经典半量子"的系统。实验物理学家做超导电路、量子点、NV色心,测出来的CHSH值经常在2.4上下晃。以前他们只能模糊地说"有纠缠",现在mobit给他们一把尺子:2.414以上,活的;2.414以下,死的。

清晰,干脆,不扯皮。

"三生万物"

《道德经》说:道生一,一生二,二生三,三生万物。

bit是一、二,qubit是万物,mobit就是那个三。

没有三,一和二连不起来,万物也落不了地。有了三,经典---介观---量子三级模态就串成一条链。

您看这个三角形:

Meso(介观物理)物理世界

Modal(模态信息论)------理论框架

M₃格------数学三点一撑,稳当得很。

三角形的中心,写着一个数字:2.414。

博文吧,不是规矩,新概念得发正经论文,还要标准委员会讨论批准。这些都是狠活,不整。博客快,先在这里把它抛出来,谁觉得有意思,谁就拿去用,谁觉的扯,那也随便。我翻译的第一部书就是《术语学概论》,这里面的门道儿嘛,基本门儿清,语词嘛,先占个坑,今天看起来不好,因为它与习惯不符;明天它是好的,行为使其自然。