AdS/CFT对偶

在理论物理学中，AdS/CFT对偶（AdS/CFT correspondence）全称为反德西特/共形场论对偶（Anti-de Sitter/Conformal Field Theory correspondence），又称马尔达西那对偶（Maldacena duality）和规范/重力对偶（gauge/gravity duality），是两种物理理论间的假想联系。对偶的一边是反德西特空间（AdS），用于量子重力理论，由弦论与M理论表示。而对偶的另一边则是共形场论，是量子场论的一种，包括与描述基本粒子的杨-米尔斯理论相近的理论。
此对偶代表着人类理解弦理论和量子重力的重大进展。这是因为它为某些边界条件的弦理论提供了非微扰表述，同时也因为它是全息原理最成功的实现，全息原理是量子重力中的概念，最初由杰拉德·特·胡夫特提出，之后由李奥纳特·苏士侃改良并提倡。
它亦为研究强耦合量子场论提供了有力工具2009。此对偶的有用之处主要是在于它是一种强弱对偶：当量子场论中的场有着很强的相互作用时，重力理论中的场的相互作用则很弱，因此在数学上也更容易处理。这个结果已用在核物理与凝聚态物理学的许多领域的研究之中，将该领域的问题转换成弦理论中的更容易数学处理的问题。
对偶最早由胡安·马尔达西那于1997年末提出1998。而对偶的重要方面则由另外两篇论文详述，一篇是由Steven Gubser、Igor Klebanov和亚历山大·泊里雅科夫合著的1998，另一篇则是爱德华·威滕所撰写1998。截至2015年，马尔达西那的论文被超过10,000篇其他论文引用，名列高能物理领域引用次数的首位。

**背景**

**量子重力与弦**
人们现时对重力的理解基于阿尔伯特·爱因斯坦的广义相对论。于1915年成形的广义相对论，用时间与空间（即时空）的几何来解释重力。它所用的语言是古典物理学p=58，是由艾萨克·牛顿及詹姆斯·麦克斯韦等物理学家所开发的。而其他非重力的作用力则由量子力学的框架来解释。量子力学是在二十世纪前半叶由许多位物理学家建立的，用概率来描述物理现象，与之前的经典物理学完全不一样2004。
探索如何使用量子力学原则来描述重力的物理学分支就是量子重力。现时，最受关注的量子重力的方法是弦理论p=62，弦理论不使用零维的点粒子，而改用一维物体──弦来作为基本粒子的模型。在AdS/CFT对偶中，通常考虑的是从弦理论或其现代延伸M理论导出的量子引理。
人们日常生活中所熟悉的空间有三维（上下、左右及前后），还有一维时间。因此用现代科学的语言，会说时空是四维的p=4。弦理论和M理论有一个很奇怪的特点，就是时空需要额外的维度，以保证数学上的一致性：在弦理论中时空有10维，而在M理论中则有11维p=8。在AdS/CFT对应中，量子引力理论通常是从弦理论和M理论中通过紧致化的过程得到的。紧化能够减低理论的有效时空维数，将多余的维度“卷曲”成圆圈pp=7-8。
紧致化可以通过考虑多维物件来解释，如橡胶水管。如果从足够距离外看橡胶水管的话，它看起来就只有一维，就是长度。然而，向水管靠近的话，就会发现它的第二维圆周。因此在橡胶水管中爬行的蚂蚁能在两个维度上移动。

**量子场论**
一些物体具有时间空间范围，如电磁场等，而应用在这些物体上的量子力学就是量子场论1995。量子场论是粒子物理学研究基本粒子的基础理论，而其中这些粒子由基本场的激发所描述。而凝聚态物理学也会使用量子场论来模拟类似于粒子的准粒子。
使用AdS/CFT对偶时，除了要考虑量子重力理论外，还需要考虑某一种叫共形场论的量子场论。它是一种对称性强且数学性质良好的量子场论。这种理论包括两种应用，一是弦理论，用于描述弦传播时所扫出的表面；二是统计力学，用于处在热力学临界点的系统的模型。

**对偶概述**
双曲平面上的密铺。

**反德西特空间的几何**
在AdS/CFT对偶中要考虑的是在反德西特背景上的弦理论或M理论。亦即是说其空间几何是由爱因斯坦方程的一种vacuum solution所描述，称为反德西特空间。
用简单的话来说，反德西特空间是时空的一种数学模型，其中点与点间的距离概念（度规），与通常的欧几里德几何中的距离概念不一样。反德西特空间与双曲空间有着密切的关系，而双曲空间可用右图的圆盘表示p=60。右图为由三角形和正方形所组成的密铺。用某种方式可以为点间的距离下定义，使得所有三角形和正方形都是一样大小的，并且圆周的外边界与其内部任一点的距离为无限p=61。
现在想像一叠双曲圆盘，其中每一片圆盘代表某时间的宇宙态。而由此形成的几何物体就是三维反德西特空间p=60。它看起来像实心的圆柱体，其中每一片截面都是双曲圆盘。下图中垂直方向代表时间。这个圆柱体的表面在AdS/CFT对偶中有着重要的角色。反德西特空间跟双曲平面一样，它的弯曲方式使得内部任何一点与边界面的距离为无限远。
三维的反德西特空间就像是一叠双曲圆盘，每一片圆盘代表某时间的宇宙态。而由此形成的时空看起来就像一个实心圆柱体。
这样的结构虽然描述了只有二维空间加一维时间的假想宇宙，但是可以推广至任何维数。双曲空间实际上是可以超过二维的，把这些双曲空间叠起来就能形成反德特空间的高维度模型p=60。

**AdS/CFT的观点**
反德西特空间的重要特点在于其边界（三维德西特空间的边界看起来像圆柱体）。这种边界有一个特性，就是在任何点的局部范围都和闵考斯基时空很像，而闵考斯基时空就是非重力物理所用的时空模型p=552。
因此可以构建一套“时空”就是反德西特空间的边界的辅助理论。而这项观察正是AdS/CFT对偶的出发点，因为AdS/CFT对偶把反德西特空间的边界视为共形场论的“时空”。对偶主张共形场论等价于反德西特空间中的重力理论，也就是说两者可以像有“字典”的那样把一个理论中的计算翻译为另一个理论中的计算。一套理论中的每一个对象在另一套理论中都有对应。比方说，重力理论中的单一粒子可能对应边界理论中的某堆粒子。此外，两套理论的预测在数量上也是相等的，例如说重力理论中两个粒子碰撞的概率是40%，那么共形场论的对应粒子堆碰撞概率也会是40%pp=61-62。
图为一幅二维全息图，当中储存了所代表物体的三维信息。上下两幅图画为从不同角度拍摄的同一张全息图。
要注意的是，反德西特空间边界的维度比反德西特空间本身的要低。比方说，上文的三维例子，其边界为二维表面。由于两理论间的关系就像三维物件与全息图形象的关系，所以AdS/CFT对偶是一种“全息对偶”p=57。虽然全息图是二维的，但是它储存了所代表物体的三维信息编码。AdS/CFT对偶也是一样，虽然它所联系的两套理论存在于不同维数的时空，但是对偶假定它们是完全等价的。共形场论就像是全息图，捕捉了较高维数的量子重力理论信息p=61。

**对偶例子**
自1997年马尔达西那发表了他的洞察以来，理论物理学家发现了不少AdS/CFT对偶的各种实例。它们把各种共形场论与各种维数的弦理论和M理论的紧致化联系起来。尽管一般来说要使用这些理论来模拟真实世界并不可行，但是它们却具有一些对解决量子场论和量子重力难题有用的特点，例如所含有的粒子和高度的对称性。
对偶最有名的例子，就是积空间上的IIB型弦理论等价于于四维边界上的N=4超对称杨-米尔斯理论在这个例子中，引力理论所处的时空实际上为五维（因此标记为），还有五个额外的紧致维度（由因子所代表）。至少在宏观角度上，真实世界中的时空为四维，因此这个版本的对偶并不能真实地模拟重力。同样地，由于对偶理论假定大量的超对称性，因此也不适合模拟任何的真实世界系统。然而，如下文所解释，这种边界理论的一些特征与强相互作用的基础理论量子色动力学一致。其所描述的粒子与量子色动力学的胶子类似，同时还描述了某些费米子p=62。因此，这种理论能应用于核物理，尤其是用于研究夸克-胶子浆p=303。
这项对偶的另一种实现，为上的M理论等价于六维时空上的(2,0)理论1998。在这个例子中，重力理论的时空实际上为七维。出现在此对偶一端的(2,0)理论，其存在由超共形场论的分类所预测。由于(2,0)理论是一种没有经典极限的量子力学理论，所以物理学家对它仍然缺乏理解。尽管研究这种理论有其固有的难度，但是从数学与物理的各种理由出发，它还是一个相当有意思的研究课题2012。
这项对偶的又一种实践，为上的M理论等价于三维的ABJM超共形场论2008。这里的重力理论有四维的非紧化时空，因此这个版本的对偶能提供某程度上比较真实的重力理论loc=sec 1。

**在量子重力中的应用**

**弦理论的非微扰表述**
量子世界里的相互作用：点粒子的世界线（左）或由弦理论中的闭弦所扫出的世界面（右）。|class=skin-invert-image
使用量子场论计算各种物理事件的概率时，一般需要用到微扰理论。微扰量子场论由理查德·费曼及其他物理学家于二十世纪前半叶开发，这项理论使用费曼图来整理计算。费曼图所代表的是点粒子的路径与相互作用1995。尽管这种体系对于预测而言非常有用，但是这些预测只能在相互作用强度（由耦合常数所描述）足够小的时候才有效，即微扰理论只能描述弱到近乎不存在的相互作用p=43。
弦理论的出发点在于量子场论的点粒子可由一维的弦所描述。弦的相互作用的定义大多直接由量子场论的微扰理论推广得到。若从费曼图的视点出发，则意味着把代表点粒子路径的一维图，换成代表弦运动的二维表面（见右图）。跟量子场论不同的是，弦理论并未有全面的非微扰定义，因此弦理论还是不能解答许多物理学家想问的问题p=12。
研究AdS/CFT对偶的其中一个最初动机，就是解决开发弦理论非微扰表述这道难题loc=sec 6。如上文所释，AdS/CFT对偶为量子场论的几种例子提供了等价的反德西特空间弦理论。对于重力场为渐近反德西特的特例（即在无限远时重力场类似于反德西特空间上的），这种对偶可被视为给出弦论的定义。弦理论中受关注的物理量的定义皆由对偶量子场论的物理量来定义p=61。

**黑洞信息悖论**
史蒂芬·霍金于1975年发表了一份计算，指出黑洞并非全黑，还是会射出暗淡辐射的，而成因则为事件视界附近的量子效应1975。由于起初霍金的结果指出黑洞会催毁信息，因此成了理论界的难题。更精确地来说，霍金的计算似乎是违反了一条量子力学的基本假设，即物理系统的时间演化需遵守薛定谔方程。这项特性一般被称为时间演化的幺正性。霍金的计算与量子力学幺正性假设间的表面冲突，后来被称为黑洞信息悖论2008。
对偶在某程度上成功解决了黑洞信息悖论，因为它能表明黑洞的时间演化是如何能在某程度上遵行量子力学。用AdS/CFT对偶的内容来考虑黑洞是确实可行的，任何此类黑洞都对应一系列位处反德西特空间边缘的粒子p=554。这些粒子正常地遵从量子力学的规则，特别是幺正性时间演化，因此黑洞也必须符合幺正性时间演化，遵守量子力学的规则p=63。霍金于2005年承认悖论以AdS/CFT所得的信息守恒告终，并提出了一个黑洞是如何保存信息的具体可行机制2005。

**在量子场论中的应用**

**核物理**
其中一个用AdS/CFT对偶研究过的物理系统就是夸克-胶子浆，它是由粒子加速器所产生的一种奇异物质状态。当如金或铅核等重离子在短暂的瞬间以高能量对撞时会产生这种状态。如此的碰撞使得组成原子核的夸克退禁闭，而退禁闭时温度约为二万亿开尔文，情况与大霹雳后秒时相若p=559。
夸克-胶子浆的物理由量子色动力学所支配，但这理论在数学上并不能够对付夸克-胶子浆的相关难题。Đàm Thanh Sơn（Đàm Thanh Sơn）与协作者与2005年的一份论文中，成功表明可以使用AdS/CFT对偶将难题转成弦理论的语言，来研究夸克-胶子浆的某些方面p=303。谭青山与协作者通过应用AdS/CFT对偶，利用五维时空的黑洞来描述夸克-胶子浆。计算中证明了夸克-胶子浆的两个物理量──剪切黏度和熵的体密度两者之间的比值约为某通用常数：

其中为约化普朗克常数，则为玻耳兹曼常数p=561。此外，作者还在论文中推测此通用常数就是多个系统中的下界。布鲁克黑文国家实验室的相对论性重离子对撞机于2008年确认了比率的预测值p=303。
夸克-胶子浆的另一重要特点就是在浆中移动的超高能量夸克会在仅仅数飞米的距离内被停止或“冷却”。此现象由Jet quenching参数所描述，该参数将夸克的能量流失与其浆内运动距离的平方联系起来。基于AdS/CFT对偶的计算使得理论物理学家能够估算出，并且所得的计算值与参数的测量值大致吻合，因此间接表明AdS/CFT对偶可能有助于更深入的研究p=561。

**凝聚态物理学**
图为在高温超导体上悬浮的磁铁。现在的物理学家有使用AdS/CFT对偶来研究高温超导现象。2011
研究凝聚态的实验物理学家在过去的数十年间发现了多种奇异的物质状态，包括超导体和超流体。尽管这些状态由量子场论的框架来描述，但使用标准场论技巧还是很难去解释某些现象。包括Subir Sachdev在内的一些凝聚态物理学家期望AdS/CFT对偶能让使用弦理论语言描述这些系统变得可行，从而可以更深入地研究它们的性质p=303。
以弦理论方法描述超流体至绝缘体的过渡至今已取得一定的成果。超流体是一种流动时没有摩擦力的中性原子系统。这样的系统一般在实验室中用液态氦制作，但近年实验物理学家开发了新的人工超流体制作方式：将数以万亿计的冷原子倒入十字交叉的雷射晶格中。这些原子最初相当于超流体，但当实验者增大雷射强度时，原子的活动量下降，并突然过渡成绝缘态。原子在过渡途中会出现反常状态。例如，原子会以一定的速率慢慢停止，而这个速率取决于温度和普朗克常数，后者为量子力学的基础参数，并不会出现在其他相的描述中。这样的表现在近年才从对偶描述中得到解答，在描述中流体的特性以高维度黑洞来描述p=51。

**质疑**
不少物理学家都转而采用弦理论方法去对付核物理和凝聚态物理学的难题，而一些研究这些领域的理论物理学家则对AdS/CFT对偶是否能成为模拟真实世界系统的工具这一点提出质疑。拉里·麦里兰（Larry McLerran）于2006年的夸克物质研讨会中2007，指出AdS/CFT对偶中的N=4超对称杨-米尔斯理论与量子色动力学有显著差别，因此将这些方法应用于核物理是件难事。据麦里兰所说：
诺贝尔物理学奖得主菲利普·安德森在致《Physics today》杂志的一封信中，也表达了对于AdS/CFT对偶的凝聚态应用的近似忧虑，其中写道：
在给《Physics today》杂志的一封信中，诺贝尔物理学奖获得者菲利普·安德森写道：

**历史与开发**
杰拉德·特·胡夫特于1970年研究弦理论及核物理的相似点时得出与AdS/CFT对偶相关的结果。

**弦理论与核物理**
物理学家在很早之前就已经着手研究弦理论与核物理间的关系，而AdS/CFT在1997年末的发现就是这方面长年所积累的成果p=25。实际上，弦理论最初在1960年代末至1970年代初被提出时，是用于描述强子的，强子指的是由强相互作用牵引的次原子粒子，如质子和中子。弦理论把每一种的这些粒子视为弦的不同振荡模式。实验物理学家在1960年代末就已经发现，强子符合某一类的Regge trajectories，这种轨迹的能量平方与其角动量成正比；而后来理论物理学家则指出，从旋转相对论性弦的物理中，会自然地出现如此的关系loc=sec 1.1。
而另一方面，在把强子视作弦的尝试中发现了多个严重的难题。其中一个就是弦理论中包括无质量且自旋为2的粒子，而在强子物理中尚未有对应的粒子p=528。这样的粒子所传递的力会有着重力的特性。Joël Scherk和约翰·施瓦茨因此于1974年提出弦理论不是理论物理学家以为的核物理理论，而是量子重力理论1974。与此同时，物理学家发现了强子实际上是由夸克所组成的，因此他们放弃了用弦理论的手法研究强子，而改为采用量子色动力学。
夸克在量子色动力学中有一种荷具有三种类型，叫色荷。杰拉德·特·胡夫特于1974年的论文中，以近似量子色动力学的观点来研究弦理论与核物理间的关系，当中所用的色荷数为，而不是三。在这篇论文中，特·胡夫特考虑了当趋向无限时的某个极限，并表明在这个极限时某些量子场论的计算与弦理论的计算类似1974。
史蒂芬·霍金于1975年预测黑洞会因量子效应而射出辐射。

**黑洞与全息理论**
史蒂芬·霍金于1975年发表了一份计算，指出黑洞并非全黑，还是会射出暗淡辐射的，而成因则为事件视界附近的量子效应1975。之前雅各布·贝肯斯坦在研究就指出过黑洞熵的定义良好1973，而霍金的研究正是这份研究的后续。霍金的结果最初看起来违反了量子力学的基本假想，即时间演进的幺正性。幺正性假想直觉上所说的是，量子系统并不会因为态与态之间的演进而将信息毁灭。因此，这项表面上的冲突被称为黑洞信息悖论2008。
李奥纳特·苏士侃对开发量子重力中全息原理的初期作出过贡献。
杰拉德·特·胡夫特在后来的1993年撰写了一篇具猜想性的论文，其中以量子重力的观点，重新检视霍金的黑洞热力学研究，结论为围绕黑洞的时空自由度总数与视界的表面积成正比1993。这个概念被李奥纳特·苏士侃改良及提倡，成就了现时的全息原理1995。全息原理及其通过AdS/CFT在弦理论中的实践，不单对阐明由霍金的研究延伸出的黑洞奥秘有重大作用，而且也为黑洞信息悖论提供了一个让专家信服的可能解答p=65。霍金于2004年承认黑洞确实不违反量子力学p=444，他同时亦提出了一个黑洞是如何保存信息的具体可行机制2005。

**马尔达西那的论文**
胡安·马尔达西那于1997年末发表了一篇具里程碑意义的论文，就此触发了AdS/CFT这一个研究领域1998。据亚历山大·泊里雅科夫的说法，那篇论文就是“开启水闸的研究”p=9。这个猜想马上就引发了弦理论研究界的浓厚兴趣p=63，不久后就有两篇认真检视这个对偶的论文，一篇Steven Gubser、Igor Klebanov和亚历山大·泊里雅科夫合著1998，另一篇则由爱德华·威滕所撰写1998的论文。这两篇论文使得马尔达西那的猜想更加明确，并成功证明了对偶中的共形场论是位于反德西特空间的边界p=6。
胡安·马尔达西那最早于1997年末提出AdS/CFT对偶。
马尔达西那的对偶中有一项特例，就是超杨-米尔斯理论与五维反德西特空间的弦理论是相等的2008，而杨-米尔斯理论则是一种与量子色动力学相近的规范场论。这个结果有助于厘清特·胡夫特之前有关弦理论与量子色动力学间关系的研究，并把弦理论带回以前作为核物理理论的根源loc=sec 1.1。

**AdS/CFT找到了应用**
核物理学家Đàm Thanh Sơn在1999年开始了在哥伦比亚大学的工作后，就去探望同在纽约的本科时期友人安德烈·斯塔里内特斯（Andrei Starinets），他当时正在纽约大学攻读弦理论博士学位的pp=302-303。尽管当时二人并没有合作研究的打算，但是谭青山很快就意识到斯塔里内特斯的AdS/CFT计算能厘清夸克-胶子浆的一些性质，而夸克-胶子浆是重离子在高能碰撞下的产物。谭青山在与斯塔里内特斯和帕维尔·柯夫顿（Pavel Kovtun）的合作下，成功使用AdS/CFT对偶计算出夸克-胶子浆的一个重要参数p=303。谭青山后来忆述时说；“为了计算出夸克-胶子浆的剪切黏度数值，我们完全改变了整个计算……我其中一位研究核物理的朋友开玩笑说，我们的论文是弦理论的第一份实用论文p=303。”
时至今日，物理学家仍继续在量子场论中为AdS/CFT对偶发掘新应用2011。除了由谭青山及同事所提倡的核物理应用，其他如Subir Sachdev的凝聚态物理学家已经在使用弦理论方法去研究凝聚态物理学的某些方面。其中一个这方向的重要成果，就是成功经由AdS/CFT对偶描述了超流体到绝缘体的过渡p=51。此外还有另一项新兴的研究课题：流体/重力对偶，其中使用了AdS/CFT对偶来将流体动力学的问题转译成广义相对论的问题2009。

**通用化推广**

**三维重力**
为了能更清楚了解四维宇宙重力的量子效应，有些物理学家对于维度较低的数学模型做研究，其中有两维空间及一维时间2003。描述重力场的数学在这样的设定下变得简单得多，这样就可以使用熟悉的量子场论来研究量子重力，也就不需要出动弦理论或其他更尖端的手法来研究四维的量子引力。
始于J·D·布朗和Marc Henneaux在1986年的研究1986，物理学家意识到三维时空的量子重力与二维的共形场论有着密切的关系。昂诺与同事于1995年更仔细地研究这种关系时，提出反德西特空间的三维重力相等于一种叫Liouville field theory的共形场论1995。另一项由爱德华·维滕提出的假想指出，反德西特空间的三维重力相等于具怪兽群对称的共形场论2007。这些假想就是AdS/CFT场论不需要全套弦理论或M理论的证据p=1。

**dS/CFT对偶**
现今宇宙会以愈来愈快的速度膨胀，而反德西特空间则与现今宇宙不一样──反德西特空间既不会膨胀，也不会收缩。它的大小在任何时间看起来都一样p=60。用较专门的术语来说，就是反德西特空间对应宇宙学常数为负的宇宙，而现今宇宙的宇宙学常数是一个微小的正数2003。
尽管在短距离上重力与宇宙学常数的值应该没有很大的关联p=33，但是能让AdS/CFT有一个宇宙学常数为正的版本还是一件好事。安德鲁·施特罗明格于2001年引入了对偶的新版本，叫dS/CFT correspondence。这项对偶的时空模型叫德西特空间，其宇宙学常数为正。从宇宙学的观点来看，由于许多宇宙学家认为极早期的宇宙与德西特空间相近，因此这样的对偶是非常有意思的p=60。现今宇宙在遥远的未来也可能会与德西特空间类似p=60。

**克尔/CFT对偶**
尽管AdS/CFT对于研究黑洞性质是有用的，但是大部份用AdS/CFT对偶所考虑的黑洞在物理上并不现实。实际上就如上文所解释，大部份AdS/CFT的版本都需要用到带非自然对称的多维时空模型。
莫妮卡·桂卡（Monica Guica）、托马斯·哈特曼（Thomas Hartman）、宋伟（Wei Song）和安德鲁·斯特罗明格于2009年成功证明AdS/CFT对偶还是可以用于研究天体物理学的黑洞。这项结果更精确地来说是可用于接近极值克尔黑洞的黑洞，这种黑洞的单位质量角动量是最大的2009。他们成功证明这种黑洞能用相等的共形场论表示。克尔/CFT对偶后来延伸到角动量较低的黑洞2010。

**高自旋规范场论**
对偶与另一对偶有着密切的关系，那个对偶是由伊戈尔·克列巴诺夫和亚历山大·泊里雅科夫于2002年所推测的2002。该对偶指出反德西特空间中的某“高自旋规范场论”相等于带O(N)对称的共形场论。这理论的本体是一种描述任意高自旋粒子的规范场论。它于弦理论相近，因为弦的激发态可对应高自旋粒子。因此该对偶可能有助于研究AdS/CFT对偶的弦理论版本，和甚至可能证明AdS/CFT对偶。西蒙尼·琼比（Simone Giombi）和尹希（Xi Yin）于2010年透过计算三点函数获得了更多该对偶的证据2010。

**参见**
全像原理
*胡安·马尔达西那

**注释**

**参考文献**
 ref=harv - ref=harv - ref=harv - ref=harv - ref=harv - ref=harv - ref=harv - ref=harv - ref=harv - dead-url=no - ref=harv - ref=harv - ref=harv - ref=harv - ref=harv - ref=harv - ref=harv - ref=harv - ref=harv - ref=harv - ref=harv - archivedate=2010-06-10 - ref=harv - ref=harv - ref=harv - archivedate=2013-11-10 - ref=harv - ref=harv - dead-url=no - ref=harv - ref=harv - ref=harv - ref=harv - ref=harv - ref=harv - ref=harv - ref=harv 
*ref=harv - ref=harv - ref=harv - ref=harv - ref=harv - ref=harv - ref=harv - ref=harv - ref=harv