字幕组双语原文:
英语原文:
翻译:()
量子纠缠,你也知道,这是个充满物理含义的短语。但你可能不知道的是,它背后的线性代数很简单。如果你熟悉奇异值分解(svd),那么你就有99%的把握了。我这篇文章的目标是缩小这1%的差距。特别是,我想解释一些叫做施密特秩的东西,希望能帮助纠缠的数学感觉不那么... 纠结。而要做到这一点,请你暂时忘记前面的几句话,暂时忽略这篇文章的标题。忘掉我们正在讨论纠结的问题,忘掉我提到的那个词,然后我们重新开始,我们就聊数学吧。
让我们聊聊svd吧。
svd可以说是线性代数中最重要、最著名的工具之一。你可能已经对它非常熟悉了,但这里还是要快速地回顾一下。每个矩阵mm都可以分解为m=udv† ,如下图所示,称为m的奇异值分解。对角矩阵d的元素为非负数,称为奇异值,它们的数量等于m的秩,比如说k。更重要的是,u和v正好有k列,分别称为左、右奇异值向量。
有很多种不同的方式去考虑这个问题,这具体取决于你考虑的的应用。我喜欢把奇异向量看作是为m矩阵本身固有意义的 "概念 "编码,而把奇异值看作是表示这些概念的重要性。例如,这种观点在研究中心自然出现。再举一个例子,你可以想象一个矩阵,其行是按照人为索引,其列是按照电影为索引。第 ij 项可以是 0 或 1,表示人 i 是否看过电影 j。在应用环境中--例如,推荐系统--可能希望计算这个矩阵的截断svd。在这里只有最大的奇异值被保留。其余的值被视为包含很少的信息,并被设置为零。通过这种方式,对角矩阵d在一个低维的 "特征空间 "上运行,这为提供了一个很好的方法。
无论哪种方式,我都想将d看作是两个世界之间的桥梁:关于u列(例如人)的信息和关于v列(例如电影)的信息。下面是一个非常形象非数学化的漫画。您可以想象蓝色桥的宽窄与奇异值的数量有关。奇异值数量很多?那说明这座桥很宽,很多信息都可以经过。仅有几个奇异值?说明这座桥很狭窄,则没有太多信息可以通过。
在表示svd的中找到了实际的数学化图片。在那里,d真的是一座桥! 作为视觉提示,如果奇异值的数量很多,我们可以把蓝色节点相邻的边画得很粗,否则画得很细。这又代表了u和v所描述的系统之间信息 "流动 "的思想。
另外,如果您喜欢将,那么您可能会想到下面的图。如果我们有很多蓝色节点,即大量的奇异值-那么粉红色和绿色节点(即人和电影)之间有很多通路。但是如果我们只有几个蓝色节点-即几个奇异值-则粉红色和绿色之间的路径就更少了。
无论利用哪种方式,我们都希望将其可视化,其中奇异值的作用(即对角矩阵d的作用)是关键。从直观上看,它们指示u和v存储的信息之间的``交互''量,并调解了这些交互是如何有助于原始矩阵m表示的信息。
而这正是纠缠数学背后的理念。
在物理学的背景下,人们简单地将svd应用于一个特定的矩阵,然后观察该矩阵的非零奇异值的数量。这就是所谓的量子态的施密特秩(下文会解释)背后的主要思想,该整数表示存在多少纠缠。
纠缠度是通过特定矩阵的非奇异值的数量来衡量的。
那么,是什么让物理学家对svd的应用与例如建立电影推荐系统的人有所不同呢?好吧,在物理学中,你的矩阵m大概是对一个物理系统的信息进行编码,并考虑到空间因素(例如,晶格中的粒子)。它的条目也可能包含复数,并且其平方和应满足∑ij|mij|2=1。在这种情况下,正如我在下面解释的那样--m 代表一个量子状态。但是,除了术语之外,模板是大同小异的:奇异值传达了关于两个事务之间--无论是用户和电影,还是两个量子子系统之间--是如何关联重要信息的。
我可以就此打住,但我想再深挖一下。在下一节中,让我用稍微专业一点的语言来重述此重点。
奇异值vs.施密特秩
首先,让我们先回顾一下。在物理学的讨论中,我们应用svd的矩阵到底是什么?在开始的示例中,我们将svd应用于用户-电影矩阵。但是现在是怎么回事呢?
我们不是从一个矩阵开始,而是从一个单位向量开始。为此,假设ψ 是向量空间cn⊗cm的张量乘积中的任何单位向量。在这里,重要的是我们的讨论是在张量积中进行的。毕竟,纠缠是定义在两个事物之间的(所以,如果有人问你:"有多少纠缠?"一个正确的回答是:"什么之间的纠缠?"),而在量子力学中,张量积是用来组合两个系统的数学运算。现在,如果你对 "张量积 "这个词不熟悉,我推荐你看 "张量积,解密 "这篇文章。我想你会对这个概念的简单程度感到惊讶!
好了,现在我们有了向量 ψ,很容易从中得到线性映射cm→cn。只需将ψ的条目重塑成一个n×m的矩阵m。(说得更正式些,看一看在有限维向量空间a和b的同构a⊗b∗≅hom(b,a)下的ψ)。
用物理学的语言来说,ψ被称为量子状态,而m仅仅是与其相关的矩阵。更一般地,“单位向量”和“量子状态”这两个术语是同义词。这是因为任何单位向量的条目的平方都定义了概率分布,并且在物理学的背景下,这个概率分布告诉您正在研究的系统的状态。 (这是与生俱来的规则。)
但是我跑题了,让我们回到svd。
我们假设矩阵 m 的奇异值分解由 udv† 得到,这里我gagger表示 v 的共轭转置,因为我们允许 m 有复数项。现在我想借助这种分解方式来以一种较为复杂的方式重新表示 m。设ui和vi分别表示u和v的第i个列,使di表示m的第i个奇异值。之后我们可以将矩阵m展开为下面的和,其中k是m的秩。
我们快到最关键的部分了,但让我先介绍一个定义,然后再做最后一个外观上的改变。
对于任何两个向量u和v,矩阵uv†称为其外积。这个简单的操作也可以用张量积符号u⊗v表示,或者在物理学家的布雷克符号里用 |u⟩⟨v|表示。举例来说,如果u=[123]⊤,v=[45]⊤,那么它们的外积就是下面的小矩阵。
为什么要介绍这个呢?我们回想一下上面那个mm的扩展。在uv†↔u⊗v的对应关系下,我们可以使用u和v的列显式编写ψ,并按m的奇异值加权,如下所示:
在这一点上,你可能会认为我们并没有做很多(而且实际上也没有),然而现在我们已经为熟悉的事物赋予了新的名称。在物理学的背景下,ψ的上述分解过程称为schmidt分解。原始矩阵mm的秩即整数kk被称为施密特秩。奇异值d1,d2,...,dk称为其施密特系数。
尽管术语是新的,但内容却不是。这就是重点。
划重点:如果量子态ψ的施密特秩(即奇异值的数量)严格大于1,则称其为纠缠态,否则不是纠缠态。
所以,您看到与我们上面讨论的联系了吗?正如我们前面所强调的,奇异值可以被认为是在两个子系统之间提供了一座 "桥梁"。它们是衡量它们之间存在多少相互作用的方法。在物理学的背景下,这种相互作用被理解为纠缠。
其结果是,大量的奇异值数量--即高施密秩或 "宽的桥梁"--对应于两个子系统之间的大量交流。少量的奇异值--即低施密特秩或 "窄的桥梁"--对应于很少的通信交流。在最低的极端情况下,一个奇异值对应于零纠缠,我们不妨忽略下图中的极窄的细桥。
事实上,请注意,如果ψ的施密特秩等于1,也就是说,如果m是一个秩为1的矩阵m=uv†,那么我们可以写成ψ=u⊗v。在数学文献中,这种形式的向量(即向量的张量乘积)有时被称为简单张量。为此,一些数学家将纠缠与 "简单张量的线性组合 "相关联。到现在为止,我希望原因大家都已经清楚了。
归根结底是svd。
回到应用...
今天的文章部分是受daniela witten热情洋溢的twitter话题的启发,这些话题涉及svd的许多奇观和用途。我想在今天的文章中告诉你svd的另一个用途--希望能帮助你把一个复杂的想法变得更简单一点。当然,我在讨论中省略了很多内容,但我希望这是一个有用的起点,以便进一步阅读。
作为结尾,我以对数据科学致敬作为本文的开始。的确,人们不需要做任何关于量子的假设就可以谈论svd,但是svd是研究量子系统的重要数学工具。而有趣的是,这两种对话并不是正交的。比如,这里有一篇x公司同事最近的论文:entanglement and tensor networks for supervised image classification。在那里,他们测试记录了mnist手写数据集中图像上下半部分之间的纠缠量(schmidt rank)。换句话说,他们探索了标准机器学习数据集的纠缠特性。希望我今天的讨论可以帮助这样的论文变得更容易理解。
只要记住:每当你看到纠缠这个词,请联想到svd!
是一个由ai爱好者组成的翻译团队,汇聚五五多位志愿者的力量,分享最新的海外ai资讯,交流关于人工智能技术领域的行业转变与技术创新的见解。
团队成员有大数据专家,算法工程师,图像处理工程师,产品经理,产品运营,it咨询人,在校师生;志愿者们来自ibm,avl,adobe,阿里,百度等知名企业,北大,清华,港大,中科院,南卡罗莱纳大学,早稻田大学等海内外高校研究所。
如果,你也是位热爱分享的ai爱好者。欢迎与雷锋字幕组一起,学习新知,分享成长。