
张量的真正力量通常不体现在其抽象的数学定义中,而在于它们所“做”的事情。它们构成了一种通用语言,自然界用它来描述从亚原子到宇宙尺度的复杂关系。虽然简单的矢量和标量提供了一个起点,但宇宙中许多最微妙和最深刻的现象只能通过更高阶的张量来描述。本文超越了形式化的定义,旨在弥合抽象理论与实际理解之间的鸿沟,揭示为何这些数学对象是现代科学不可或缺的工具。
我们将开启一段分为两部分的旅程。在第一章“原理与机制”中,我们将探索张量的本质,了解其阶和对称性如何捕捉基本的物理性质,以及基本张量如何组合形成物理定律的语法。然后,在“应用与跨学科联系”中,我们将见证这些原理的实际应用,遍览理论物理、凝聚态物质和计算科学(包括人工智能)等不同领域,看看高阶张量如何揭示隐藏的序、完善我们最基本的理论,并为下一代科学发现提供动力。
所以,你已经接触过张量了。也许你曾听过它被令人生畏地描述为“一种以特定方式变换的数学对象”,这个描述虽然没错,但就像把汽车定义为“带轮子的东西”一样毫无启发性。这种描述忽略了整个过程、目的以及这台机器的纯粹优雅。张量的真正魔力不在于其形式定义,而在于它所“做”的事情。它是描述物理世界中各种关系的工具,是自然界似乎以惊人的一致性遵守的普遍语法的一部分。
本章的使命是超越枯燥的定义。我们将踏上一段旅程,去理解张量的“生命”。我们将看到它们如何诞生,如何组合在一起,如何通过对称性展现其特性,以及它们如何成为从液晶显示屏中的物质状态到由量子力学支配的亚原子闪烁等一切事物背后的铁律。
让我们从一个谜题开始。想象一下,你发现了一种新的亚原子粒子,其动量 与其自旋 成正比。一个简单而优美的定律:。现在,任何好的物理定律都必须不依赖于你是直接观察它还是在镜子中观察。这是一个称为宇称的基本原理。在镜子中观察(一次宇称变换)会翻转某些矢量的方向。你的动量 (质量乘以速度)会被反转——如果你朝镜子移动,你的镜像会朝你移动。它是一个“真”矢量或极矢量。
但自旋 呢?自旋是一种角动量。想象一个旋转的陀螺。它的角动量矢量根据右手定则指向上方,沿着旋转轴。现在看看它在镜子中的反射。镜子里的陀螺也以同样的方式旋转。顺时针旋转的反射仍然是顺时针旋转。所以,由右手定则定义的自旋矢量不会翻转。我们称之为赝矢量或轴矢量。
因此,我们的定律 遇到了一个危机。在镜像反射下,左侧的符号翻转(),但右侧的自旋却没有()。为了使方程在镜像世界中仍然成立,必须有其他东西来弥补这个缺口。唯一剩下的就是我们的比例“常数”。它不能是像 2 或 这样的简单数字。为了让定律成立, 本身在我们在镜子中观察时必须翻转其符号:。这意味着 不是一个真正的标量(如质量);它是一个赝标量。
这就是张量的核心所在。张量不仅关乎其数值,还关乎其在视角变化(如旋转或反射)下的“故事”。
高阶张量是其自然推广。一个2阶张量可以被认为是一台机器,它接受一个矢量并输出另一个矢量,就像材料中的应力张量,它将表面的法向量与作用于其上的力矢量联系起来。而一个高阶张量就是一台同时处理多个矢量的机器。它拥有的索引数量告诉我们它的阶,这仅仅是它为矢量插入所拥有的“插槽”数量。
如果张量是物理学的语言,我们如何构成其词汇和句子呢?自然界为我们提供了一些基本的构建模块和几条简单的语法规则。
构建复杂张量最直接的方法是使用张量积(用 表示)来组合更简单的张量。如果你有两个算符,比如 和 ,它们本身是2阶张量,你可以构成一个更复杂的4阶张量 ,其分量就是 和 分量的所有可能乘积:。这个过程增加了阶数,创造出能够描述更复杂关系的对象,例如在各向异性材料中,在一个方向上的拉伸可能会在完全不同的方向上引起剪切。
在所有可能的张量中,有两个是如此基本,它们就像语言中的元音和辅音:
克罗内克δ,。这是终极占位符,是“单位”张量。当 时,其分量为1,否则为0。它的作用非常简单:当你将它连接到另一个张量时,它会强制一个索引变成另一个索引。这种连接并对一个索引求和的操作称为缩并。例如,如果你有一个张量 ,计算 (我们对重复的索引 求和)的结果就是 。克罗内克δ有效地将索引 “重命名”为 。它是张量代数中的一个关键工具。
列维-奇维塔符号,。在三维空间中,这是方向性的记账员。如果 是 的偶排列,它就是 ;如果是奇排列,就是 ;如果任意两个索引相同,就是 。它是完全反对称的。它是叉积和旋度的灵魂,体现了你坐标系的“手性”。
这些构建模块并非相互独立。它们之间有着深刻的联系。例如,如果你取两个列维-奇维塔符号并对一个索引进行缩并,你会创造出一个优美且极其有用的4阶张量:。这个“epsilon-delta 恒等式”可能看起来像是一堆随机的符号,但它是一个深刻的三维空间几何真理。它是你学过的几乎所有矢量微积分恒等式背后的秘密成分。它表明我们世界的几何可以被这些基本张量的代数所捕捉。
一个张量不仅仅是一堆分量;它带有由其内禀对称性定义的独特特性。如果一个张量的分量在交换其两个索引后保持不变(例如 ),它可能是对称的;如果它翻转符号(),它就是反对称的。
这不仅仅是数学上的吹毛求疵。这种对称性是物理现实的直接反映。让我们看看液晶,就是你手机或电视屏幕里的东西。在其无序的高温状态下,它是一种各向同性的液体。分子朝向所有随机的方向。当你冷却它时,它可能会进入一个向列相,其中棒状分子倾向于沿着一个共同的轴排列,就像一堆被轻轻摇晃过的铅笔。
我们如何描述这种新的有序状态?系统打破了其旋转对称性,所以我们需要一个不是简单标量的序参量。你的第一反应可能是一个矢量 ,指向排列的方向。但是等一下。这些分子通常是非极性的——它们没有明显的“头”和“尾”。分子沿 指向的状态在物理上与它们沿 指向的状态是相同的。然而,矢量会改变符号:。
正确的对象必须对这种头尾之分不敏感。答案是一个对称、无迹的2阶张量,通常称为向列相序参量,。由于乘积 ,翻转 的符号使 完全不变!张量的数学对称性完美地捕捉了材料的物理对称性。如果材料是由极性分子(有“头”和“尾”)组成的,比如微小的箭头,那么矢量将是正确的选择。所需张量的类型告诉了你系统中有序状态的基本性质。
通过对基本张量积施加对称性,我们甚至可以创造出全新的代数结构。例如,微分形式(它们是一种特殊的反对称张量)之间的楔积()是通过取张量积然后对结果进行反对称化来构建的。这个小小的扭转催生了丰富的外代数世界,这是电磁学等理论的自然语言。
我们已经看到了如何构建张量以及它们的含义。但是我们如何确定我们测量或计算的某个量是一个张量呢?有一个强大的工具可以做到这一点,叫做商定律。本质上,这是对张量的“鸭子测试”:如果它看起来像一个张量,并且在与其他张量结合时表现得像一个张量,那么它一定是一个张量。更正式地说,如果你有一个未知对象,比如分量为 ,并且你发现它与任何任意张量(类型正确,比如一个反对称张量 )的缩并总能产生一个已知的张量(比如一个矢量 ),那么商定律保证你的未知对象 一开始就必须是一个张量。
这种我们正在处理真正张量的保证是编写普适物理定律的基础。在他的相对论中,Einstein 宣称物理定律对于所有观察者必须是相同的,无论他们如何运动。保证这一点的唯一方法就是将你的定律写成张量方程。如果一个张量方程在一个坐标系中成立,那么它在所有坐标系中都成立。
我们在相对论性量子力学的核心看到了这个原理。狄拉克方程描述电子,从它的解(旋量,比矢量更基本)中,我们可以构建物理可观测量。其中一个可观测量是轴矢流,。这个对象是由旋量()和伽马矩阵()的复杂配方构建的。然而,当我们检查它在洛伦兹变换(比如,加速到一个运动的参考系)下的行为时,整个结构完全像一个四维矢量一样变换。这不是偶然的。这标志着这个量代表一个所有观察者都能达成共识的真实物理流,即使他们测量的分量值不同。
这种“张量语法”甚至决定了量子世界的规则。在量子力学中,对应于物理相互作用的算符也可以根据它们在旋转下的行为被归类为张量。根据宏伟的维格纳-埃卡特定理,张量算符的阶决定了物理过程的选择定则。例如,一个在旋转下表现为标量(0阶张量)的算符只能引起具有完全相同角动量量子数的态之间的跃迁。一个1阶(矢量)算符最多可以使角动量改变一个单位。张量的抽象阶直接转化为关于原子中什么能发生、什么不能发生的具体、可观测的规则。
尽管有这么多优美、高深的理论,现代张量故事的结局却出人意料地务实和革命性。归根结底,一个 阶张量是一个多维数字数组。标量(0阶)是单个数字。矢量(1阶)是一维列表。矩阵(2阶)是二维网格。3阶张量是一个三维数字立方体,依此类推。
这一视角在现代计算科学中至关重要。量子物理和统计学中的许多复杂问题都涉及从一个由相互连接的高阶张量组成的巨大网络中计算单个标量值。这涉及到一长串的缩并。事实证明,你执行这些缩并的顺序会对计算成本产生惊人的影响。
想象一下,你有一个与五个不同矢量相连的5阶张量 。要得到最终的数字,你必须缩并掉所有五个索引。如果你开始时与一个索引维度很大(比如17)的矢量进行缩并,你的第一步将涉及大量的乘法。但如果你选择先沿着一个维度很小(比如5)的索引进行缩并,你的第一步就会便宜得多。通过巧妙地选择从最小维度到最大维度的缩并路径,你可以显著减少总的计算量。
这不仅仅是一个理论练习。这是用于模拟复杂量子系统方法中的核心挑战,也是现代机器学习的跳动脉搏。当你听到像谷歌的 TensorFlow 这样的框架时,其名称中的“张量”正是这个意思:一个多维数据数组。深度神经网络中的权重可以组织成一个非常高阶的张量,而“推理”——将数据输入网络的过程——本质上是一个巨大的、经过优化的张量缩并。
因此,源于一致描述物理关系的需要而诞生的卑微张量,已经从相对论学家的黑板上,穿越了选择定则和软物质相变的量子世界,成为了现代数据科学和人工智能的基本通货。它证明了一个好想法的力量,一个与现实结构如此深刻地联系在一起的概念,以至于它既可用于描述时空的曲率,也可用于训练计算机识别你的猫。这就是张量的美,以及它的力量。
既然我们已经对这些张量有了一些了解,你可能会想,“它们到底有什么用?”它们只是数学家的某种深奥游戏吗?完全不是!事实证明,我们的宇宙,从光的传播方式到我们构建智能机器的方式,都说着张量的语言。这是一种关于结构、对称性和关系的语言。一旦你学会倾听,你就会开始随处听到它。简单的矢量,或1阶张量,只是这门丰富而强大词汇中的第一个词。通过转向更高阶,我们不仅增加了复杂性;我们还获得了提出更深层次问题和以更高保真度描述世界的能力。在本章中,我们将巡游科学和工程的版图,看看这些卓越的对象是如何让我们发现新定律、揭示隐藏现象,甚至构建新型智能的。
物理学是一个不断完善的故事。我们从一个简单的定律开始,然后,随着我们的观测变得更加精确,我们发现它只是一个更大、更复杂图景的一部分。高阶张量是我们用来书写这个故事新篇章的工具。
我们都熟悉经典电磁学理论。电场和磁场被联系在电磁场强度张量 中,这是一个从更基本的矢量势 (一个1阶张量)推导出来的2阶反对称张量。任何物理学家都会自然而然地问一个问题:“如果我们从一个更高阶的势开始会发生什么?” 例如,如果我们的基本对象不是矢量势,而是一个2阶反对称张量势,我们称之为 ,我们会得到什么样的理论?这不仅仅是一个空闲的游戏。探索弦理论的物理学家发现,这样一个场,被称为 Kalb-Ramond 场,在他们的方程中自然出现。通过应用经典场论中同样值得信赖的原理——在这种情况下,写下拉格朗日量并推导运动方程——人们可以发现这个假设的场所必须遵守的定律。这种由张量语言驱动的推广过程是理论物理学发现的主要引擎,使我们能够探索我们无法直接看到的世界。
张量不仅用于探索假设的新力;它们对于我们最成熟的理论的结构完整性也至关重要。在 Einstein 的广义相对论中,引力的来源不是质量本身,而是所有能量和动量的分布与流动。这由著名的能量-动量张量 描述,它是一个2阶对称张量。它告诉时空如何弯曲。当你试图从一个更基本的原理,即诺特定理(它将对称性与守恒量联系起来),推导这个张量时,会发生一件有趣的事情。你得到的“正则”张量通常不是对称的!这是一个严重的问题,因为一个不对称的能量-动量张量会导致引力理论中的不一致。解决方案是优美的。事实证明,可以通过添加一个特殊项来“改进”正则张量。而这个项是什么呢?它是一个 3阶 张量(有时称为超势)的散度。这是自然界相互联系的一个绝佳例子:一个2阶对象的缺陷被一个3阶对象的引入完美地修补,恢复了整个理论大厦的优雅和一致性。
经典世界是一回事,但正是在奇异而美丽的量子领域,张量才真正大放异彩,使我们能够感知到否则完全不可见的现象。
思考一下甲烷分子 。它是一个完美的四面体,是可想象的最对称的形状之一。由于这种对称性,它没有永久的电偶极矩。基于矢量(1阶张量)相互作用的物理学,标准规则是这样的分子不能吸收光子并从一个转动态跃迁到另一个。它对微波应该是不可见的。然而,如果你用灵敏的光谱仪非常仔细地观察,你会发现它可以有纯转动光谱,但遵循的规则与典型的极性分子(如水)非常不同。这是怎么回事?答案在于离心力。当甲烷分子高速旋转时,它会发生极其微小的扭曲。这种微小的扭曲产生了一个短暂的、与旋转相关的偶极矩。描述这种感生偶极矩的算符不是一个简单的矢量;它作为3阶张量的一个分量进行变换。这种更高阶的相互作用允许了以前被“禁止”的跃迁,例如转动量子数 改变 2、3 甚至 4,而不是通常的 。这是一个高阶张量通过点亮一个黑暗舞台来揭示其存在的壮观案例。
这种由张量描述的隐藏现实的想法在材料研究中变得更加深刻。我们知道,磁体是一种材料,其中无数微小的原子磁矩——即偶极子,或1阶张量——都已在同一方向上排列。但是,如果偶极子指向随机方向,因此材料看起来不具磁性,但其他东西却是有序的呢?凝聚态物理学家已经发现了表现出这种“隐藏序”的材料,尤其是在那些含有重 -电子原子的材料中。电子的电荷云并不总是一个简单的球体。它可以被拉伸成哑铃形状,这具有电四极矩(一个2阶张量),或者甚至是更复杂的多瓣形状,具有八极矩(一个3阶张量)。在某些材料中,这些原子电荷形状可以在整个晶体中排列,形成“四极”或“八极”有序相,即使磁偶极子仍然是无序的。八极子由一个时间反演奇性的张量描述,这意味着它的行为像一个磁性物体,但比简单的偶极子要微妙得多。这些奇异的物质状态对于简单的磁力计是完全不可见的,但可以通过它们对光散射、热容或声波的影响来检测。更进一步,物理学家使用4阶张量,即十六极矩,来描述原子核与晶体内部电场之间的详细相互作用。
这个层次结构并未就此停止。在基本粒子领域,粒子如何被分组到不同族系中是由群论的数学所支配的。事实证明,构建这些对称群(如标准模型和大大统一理论的 群)的表示是一个组织张量的问题。粒子及其相互作用可以对应于在其索引置换下完全对称或完全反对称的张量的分量。从非常真实的意义上讲,基本粒子的周期表是用张量表示的语言写成的。
到目前为止,我们一直使用张量来描述自然。但它们也已成为我们模拟和理解自然最强大的工具之一,推动着科学和人工智能的计算前沿。
让我们问一个看似简单的问题:水分子的精确能量是多少?找到答案异常困难。能量取决于其所有十个电子错综复杂的、相互关联的舞蹈。在量子化学中,像耦合簇(CC)理论这样的方法提供了一种系统地近似这种能量的方式。关键在于用从一个更简单状态的激发来写出电子的复杂、关联的状态。这些激发的“振幅”是数字,而这些数字是一个张量的分量。包含成对激发的电子涉及到4阶振幅张量。这是计算化学的主力方法 CCSD 的基础。其计算成本大致以 缩放,其中 是系统大小的度量。要获得更高的精度,必须包括三个电子的同时激发。这需要一个6阶振幅张量,成本膨胀到 。这使得“阶”这个抽象概念变得异常具体:它是你为精度付出的代价。 的缩放使得计算除了最小的分子之外都变得不可能。
那么,我们就束手无策了吗?不!物理学家和化学家很聪明。如果我们无法处理一个巨大的高阶张量,也许我们可以将它分解开来?这就是张量网络背后的革命性思想。一个描述许多相互作用粒子量子态的巨大高阶张量可以分解成一个由更小的、相互连接的、低阶张量组成的网络——就像用一组简单的标准砖块建造一个复杂的乐高雕塑。这种方法,包括密度矩阵重整化群(DMRG)等方法,有效地“压缩”了量子态的物理相关信息,驯服了曾经看似无法克服的指数级复杂性爆炸。它使我们能够精确地模拟以前遥不可及的量子系统。
这种利用张量来管理复杂性并编码结构的概念最近爆发进入一个全新的领域:人工智能。假设我们想建立一个机器学习模型来预测材料模拟中分子的原子受力。一个简单的神经网络将不得不从头开始学习物理定律——这是一项艰巨的任务。一个更聪明的方法是直接将物理学的基本对称性构建到模型的架构中。无论你如何旋转你的实验室,物理学都是相同的;这就是旋转对称性。一个E(3)等变神经网络就是一个内在地尊重这种对称性的模型。它是如何做到的呢?通过将其内部特征不视为简单的数字列表,而是视为标量、矢量和更高阶的张量。当网络中原子之间传递信息时,它是通过使用与量子物理学家一个世纪以来用来增加角动量相同的数学规则——涉及球谐函数和克莱布施-戈登系数——来耦合这些张量来完成的。其结果是一个像物理学家一样“思考”的模型,一个能够更好地泛化的模型,因为它理解游戏的基本规则。
从原子核的中心到人工智能的电路,张量沉默而优雅的逻辑提供了一条统一的线索。它们不仅仅是一种符号,而是一个深刻的概念框架,丰富了我们的理解。它们证明了在自然界中,最深刻的真理往往不是在简单的答案中找到的,而是在对现实更丰富、更结构化、更深刻优美的描述中找到的。