宇称守恒，以及弱相互作用中的宇称不守恒，是非常高冷的概念。这里的宇称，对应英文名词parity，其词干为par ²⁾。Par 本身可以用作名词、动词和形容词，源自拉丁语的paritas，本意是equal，相等。容易想到同源的part，作为部分的意思应该还保留等分的意味，见解释part: any of several equal portions。Par，在短语如on a par 及on a par with 中，有势均力敌、可以比肩、对等的意思， 如women were on a par( 妇女能顶半边天)。Par，由持平、对等的意思又引申出标准的意思，但是是那种不多的人能够做到而鲜有人能超越的基准(few regularly meet and very few beat)，见于高尔夫术语a par-three hole(三杆洞)，a course of par value of 72(72 杆赛)， 等等。显然， on par，above par，达到或超越的不是一般的平均水平。Parity 可用于各种情景，但总不失其相等的本意，on parity with，have parity with 都强调双方具有同等的地位、能力、价值、作用等。Pay parity 意思是同工同酬，而不同货币之间的1：1 兑换率也是parity。

注意，parity 一词也出现在生物学语境中， 意思是生育次数(the number of times a female has given birth)。不过，此处的parity，和我们熟悉的parent (父或母之一方，强调其为生育者的角色)一词一样，来自拉丁语动词parere，其本意是to bring forth，bear，to give birth to(生育、造成)。把parent 和同源词prepare(准备)放一起就好理解了。Parere 在现代英语中的形容词词根形式为parous，见于oviparous(卵生的)，multiparous(多胞胎的)，等等。

Parity 出现在诸多数学问题中。谈论一个整数的parity，就是关切它是奇数还是偶数。在格点结构(lattice)中，若每个点的坐标由一组整数表示，则点的奇偶性可由其坐标值之和的奇偶性来确定。国际象棋的棋盘就把其上的方块按照奇偶性分成两类，马的走法总要求奇偶性的改变，而两只象则只能分别落在具有不同parity 的方块内。据信，面心立方点阵可表示为每个格点的坐标之和都是偶性的(even) 。

同排列(permutation) 相联系的parity，称为parity of a permutation。给定一个集合X，它的一个(变动了元素顺序的)排列为σ，则根据反演数N_σ(number of inversion，or number of transposition)，即通过对调相邻元素的位置恢复集合X 所需的步数，的奇偶性，可以把排列分为even permutation 和odd permutation的， 而parity 在英文中也干脆被解释为“oddness or evenness”。可以给排列σ 赋予符号(sign)， 定为(-1)^Nσ 。可见，parity 为偶时，符号是+1 ， 而parity 为奇时， 符号是－1，故此德语文献中还保留positive Parität 和negative Parität 的说法。注意，parity 出现的地方有反演(inversion，逆操作)的身影。进一步地，可引出parity of a function(函数奇偶性) 的概念。若f (-x) = f (x) ，则称为偶函数，典型的有cosx；若f (-x) = -f (x) ，则称为奇函数，典型的有sinx。用余弦函数和正弦函数作为基展开函数，即作傅里叶展开，可以想见一个偶函数的展开只包含余弦函数，而奇函数的展开则只包含正弦函数。

在数学文献中，parity 就被汉译为奇偶性。这是一个不错的译法，虽然采用这个译法去谈论evenness or oddness of parity 可能有点怪怪的。奇偶性是乘法传递的。

物理是用数学的语言表述的，parity 的概念自然会通过数、函数、操作的概念进入物理学领域。在中文物理学文献中，parity 被译成了宇称，其中的“宇”字，如同adiabatic之汉译绝热中的“热”字，都是额外强加的( 可能是为了和T， time inversion，相并列)，都为相关问题的理解和表述带来了极大的困扰，至少它为同数学文献的一致性带来了麻烦。

函数的奇偶性可以用来区分一些物理量。比如，若将坐标原点选在电荷Q 上， 则其势函数满足V(-r) = V( r) ，是偶宇称的，而电场强度满足 E(-r) = -E(r)，是奇宇称的。如果采用德语positive Parität和negative Parität 的说法，字面上的意义就特别清楚，那就是说“在正的意义上相等”和“在负的意义上的相等”。注意，此处parity 和坐标原点的选取有关，若把原点选在别的地方就没这个parity 问题了。

Parity symmetry(这个词组译成宇称似乎更合适)作为一个物理学概念比函数的奇偶性具有更多的内容。对于一个物理空间中的位置矢量，若要求在操作P 下矢量的模不变，则必须有PP^T=1，即操作对应的矩阵应该是正交矩阵，矩阵值(determinant)应为+1 或－1。转动操作对应的矩阵，其矩阵值为1；根据转动操作下的行为，经典物理对象可以分为标量(scalar)、矢量(vector)和高阶张量(可统称为张量，tensor。标量和矢量即是0-阶和1-阶张量)。三维空间中的镜面反射以及空间反演(inversion de l'espace)，对 应 (x，y，z) ↦ (x，y，- z) 和(x，y，z) ↦ (-x，- y，- z)的操作³⁾，其相应的矩阵的值为－1。讨论在这种操作下的等同问题就是在谈论parity symmetry。在谈论parity symmetry 的文献中会遇到mirror image(镜像，räumlichen Spiegelung)以及inversion of space， 就和上述两种情形有关。一般来说，谈论parity symmetry 时关切的是(x，y，z) ↦ (-x，- y，- z)带来的问题。加入parity 以后，物理量可以扩展。比如，转动下不变的量，P=+1 的是标量；P=－1 的则是赝标量(pseudoscalar)；转动下按照矢量进行变换的，若P=－1，那是矢量；P=+1 则是贋矢量(pseudovector)。经典力学中的能量、质量等是scalar，速度、动量、电场强度、电位移等是vector，而角动量L 和电磁学的B，H，M 等量则是pseudovector ⁴⁾，有文献称为axial vector (轴矢量)。

1924 年，O. Laporte 根据奇偶性给原子的波函数分类，并且发现当原子从一个状态跃迁到另一个状态发射一个光子时，波函数的奇偶性就改变。若认定光子具有内禀奇偶性，Laporte 的发现就可以表述为宇称守恒(conservation of parity，奇偶性不变！)。在谈论波函数时， 汉语表述是这样的： 函数ψ(x) = ψ(-x) 具有偶宇称，而ψ(x) =-ψ(-x) 具有奇宇称。其实，波函数也不过是函数，这里谈论的不过是函数的奇偶性。

在处理比如氢分子这种两中心的问题时，会有permutation 操作P( 或者也用希腊字母π， Π 表示)，Pψ(r₁，r₂ ) = ψ(r₂，r₁) 。由于PP=1，显然其本征值只能是+1 和－1。这容易让人想起parity 问题。实际上，调换两粒子的坐标就是对两粒子相对位置矢量的反演，r= r₁ - r₂ ↦ -r—— 本来就有parity of permutation的说法。

在量子力学中，量子态既可以根据张量也可以根据旋量(spinor)的规则变换。量子力学意义下的操作， 要求宇称变换(parity transformation)，P，是个关于状态函数的幺正操作，即 Pψ(r) = e^iθ/2ψ(-r) 。则有P²ψ(r) = e^iθψ(r) ，也就是说算符P² 是内禀的对称性操作，其为本征态 ψ(r) 带来相位角 e^iθ 。如果e^iθ是某个连续对称群U(1)的元素，则e^-iθ/2 也是该群的元素，则总可以引入新的宇称变换P′= e^-iθ/2P ，使得P′ 的本征值为+1和－1。因为PP=1，parity symmetry 构成了阿贝尔群Z₂。在量子场论中，若要求量子电动力学是宇称变换不变的(invariant under parity)，则要求湮灭算符满足如下变换Πa( p，±)Π⁺ = -a(-p，±)，这里用Π 表示宇称变换，p 是光子动量，而± 代表两个极化态。这个要求实际上是说光子具有奇的内禀宇称(奇的内禀奇偶性)。相应地，标量场具有偶的内禀宇称。在P 作用下，对自旋为1/2 的费米场，有Pψ(r，t)P^-1 = e^iϕ γ₄ψ(-r，t)。

对称性在物理学中具有举足轻重的地位。从动量守恒、角动量守恒等尚称朴素的规律，人们进而提出“物理学定律在平动和转动变换下是不变的”。这个变换下不变的思想进一步地扩展到了宇称守恒——宇称守恒涉及左、右对称性⁵⁾。人们想当然地以为在物理学的各种相互作用中，parity symmetry 都能得到保证。麦克斯韦方程组就是宇称变化下不变的。宇称守恒一直是一个在所有分析中不言而喻的假设。然而， 直觉的不靠谱(fallibility of intuitions)又一次教训了人们，在弱相互作用中parity symmetry is broken。

1955 年粒子物理学界在为所谓的θ—τ puzzle 所困扰。简言之，人们发现θ^± 衰变成两π介子(θ⁺ → π⁺ π⁰)而τ^± 衰变成三π介子(τ⁺ → π⁺ π⁺ π^-)  ⁶⁾。此前的1954 年，π介子的parity 已被确定为负或奇的。但是，所谓的θ-粒子和τ- 粒子，基于角动量和能量守恒对衰变产物的分析认为它们是不同的，但其质量和寿命却几乎完全一样。摆脱这一困境的方法之一是假设宇称不守恒，从而把它们看作是同一种粒子(如今被称为K 介子)的两种衰变模式。1956 年，李政道先生和杨振宁先生合作发表了一篇文章，探讨了弱相互作用中宇称不守恒的思想，并建议了一系列可能验证此一思想的实验方案，包括测量极化原子核的β-衰变中出射电子的角分布以及Λ⁰ 介子衰变的研究。1957 年1月吴健雄研究组通过测量极化的⁶⁰₂₇Co 原子核β-衰变(图1)的电子角分布，确认出射电子θ 同180° - θ 范围内的分布是不对称的(角θ 是母核取向与电子动量之间的夹角)，从而为宇称不守恒提供了无可争辩的证据。此后很快在π → μ → e 衰变级联中和Λ⁰ 介子衰变中，宇称不守恒都得到了证实。“八个月后，宇称不守恒就成了老生常谈”，当年年底，李、杨获得诺贝尔物理学奖⁷⁾。

宇称P 涉及inversion of space，容易想到它同时间反演T 会有联系。还有人想到了它同电荷共轭(charge conjugation， Q↦ -Q ； 用charge 的首字母C 表示) 之间的关系。1956 年夏，李政道先生接到R. Oehme 的一封信，指出：在一定限制下，要求电荷共轭和时间反演，就意味着P 必须守恒。李政道先生认识到，在任何相对论局域场论中，CPT 总是守恒的，这被称为CPT 定理⁸⁾，当然是一项极为重要的定理。李政道先生讨论CPT⁹⁾对称性的手稿(图2)，曾被选为Physics Today 杂志1957 年第12 期的封面。弱相互作用宇称不守恒的发现，促使人们检验C，P，T 对称性之复合是否守恒的问题。已证实在K⁰-和B-介子的衰变过程中，CP复合对称性是破坏的。

对称性的概念为物理学研究提供了一个非常有力的工具。Parity symmetry 在量子力学和粒子物理中的角色无疑地证明了这一点。其实，在固体点群中，它也一样占据半边天的地位，只不过那里它的名字一直是inversion。关于symmetry breaking或者symmetry violation的说法，有必要矫情两句。谈论symmetry breaking 或者symmetry violation，那要假设这个对称是存在的。但是，

显然我们在谈论弱相互作用中宇称破坏时，弱相互作用并没有一个parity symmetry 等着broken or violated， 而是电磁、强相互作用中有的parity symmetry 而弱相互作用没有而已——There is not a broken parity symmetry，it is simply absent。以大体对称加上一点非对称项的拉格朗日量或者波函数描述弱相互作用，那只是我们关于物理描述的选择而已。

对称性破缺在1980 年代是普遍性的常识，在1950 年代前却是禁忌。质疑空间反转、电荷共轭和时间反演对称的正确性，是不可想象的；而做实验去检验这些对称性，简直是亵渎神灵。这反映的是一个有趣的现象。人们通常相信宇称守恒，并不问其正确性的可能限度。其实，反过来想，并没有先验的理由认为存在这样的对称性。物理学中的其它信条，可能也有类似的问题。

宇称不守恒的发现是物理学界一代人的成果( 李政道语)。Mel Schwarz 就指出“正如许多伟大的思想一样，关于弱相互作用中宇称不守恒的想法，到处冒出来大约已有一年时间。不是李也不是杨首先提出这一问题，事情的关键是下一步怎们办。”类似的说法，罗素也曾表述过，大意为“一个伟大的思想总是模模糊糊地同时出现在同时代许多人的脑海里，并在某个人的脑海中率先结晶出来。” 李、杨1956 年文章的重要性，在于明确了接受宇称不守恒思想的意愿，以及具体指出了到哪里及如何验证宇称不守恒。

Parity 是对等、相匹敌的意思。在物理学中，parity 是space~inversed space 之间的对称性。愚以为把parity symmetry 理解成左右对称性容易造成误导。三维空间中只reverse 一个方向的操作才是左右互换的mirror reflection。研究parity symmetry and its breaking 问题的合作者，其洞察力和解决问题的能力，或者说其作为伟大物理学家的资质，显然也是相匹敌的。但是，parity symmetry 遇到文章排名这种缺乏translational ordering 的现实，必然会引起symmetry breaking，这或许是物理的宿命吧！学习过如何将点群扩展成空间群的人应该能更深刻地理解这一点。