如前所述,Resnikoff的工作基于这样一个事实,即应该存在一个线性组在感知颜色的空间上起传递作用[5,9]. 这组元素应该是背景光的变化。到目前为止,我们还没有考虑到这种行为来获得我们所建议的感知颜色空间的描述。本节主要致力于说明从上述量子动力学出发,可以通过洛伦兹增强映射来表征照明变化。我们将在门派中看到。 7.2如何将我们的结果与H.Yilmaz的结果联系起来[14,15]。
6.1关于特殊洛伦兹群的回忆
让我们首先回顾一下特殊的洛伦兹小组\(\operatorname{SO}^{+}(1,2)\)是组的标识组件\(O(1,2)\)后者是保持二次型的矩阵李群
$$\bigl\Vert(\alpha+\mathbf{v})\bigr\Vert_{\mathcal{M}}=\alpha^{2}-\Vert{\mathbf{v}}\Vert^{2}$$
(84)
哪里\((\alpha+\mathbf{v})\)属于自旋因子\(\mathbb{R}\oplus\mathbb}R}^{2}\)事实上\(\operatorname{SO}^{+}(1,2)\)线性作用于\(\mathcal{L}^{+}\)意味着它在\(\mathcal{L}^{+}\)从而在克莱因圆盘的点上\(\mathcal{克}_{1/2}\)[49]. 此外,这个投射作用给出了\(\mathcal{克}_{1/2}\).
的子组\(\operatorname{SO}^{+}(1,2)\)可以修复\((1+0)\)可以用旋转组来识别\(\operatorname{SO}(2)\),实际上每个元素克属于\(\operatorname{SO}^{+}(1,2)\)可以按照以下独特的方式进行分解[50]:
$$g=b_{\zeta}r_{\xi}$$
(85)
哪里\(b_{\zeta}\)是增强图\(r{\xi}\)是正确的旋转。更准确地说,如果我们考虑坐标\((\alpha,v_{1},v_{2})\)在里面\(\mathcal{L}^{+}\),与关联的矩阵\(b_{\zeta}\)由给定
$$M(b_{\zeta})=\begin{pmatrix}\cosh(\zeta_{0})&\zeta_{x}\sinh(\zeta _{0{)&\ zeta _{y}\sinh(\ zeta _})y}(\cosh(\zeta{0})-1)\\zeta{y}\sinh(\zeta{0})&\ zeta{x}\zeta}y}-1) \结束{pmatrix}$$
(86)
哪里\((泽塔{x},泽塔{y})是的单位向量\(\mathbb{R}^{2}\)和\(\泽塔{0}\)就是提升的速度。需要注意的是,提升集不是特殊洛伦兹群的一个子群。与关联的矩阵\(r{\xi}\)由给定
$$M(r_{\xi})=\begin{pmatrix}1&0&0\\0&\cos\xi&-\sin\xi\\0&\sin\xi&\cos\xi\end{pmatricx}$$
(87)
为了说明助推器的投射作用\(b_{\zeta}\)在Klein磁盘上\(\mathcal{克}_{1/2}\),让我们考虑一个简单的例子(更复杂的计算在一般情况下会给出类似的结果)。我们选择\(泽塔{x}=1\),\(泽塔{y}=0\),并表示\(\overline{\zeta}=\tanh(\zeta_{0})\).图像\((α,w{1},w{2})向量的\((1/2,\cos\theta/2,\sin\ theta/2))由给定
$$\textstyle\begin{cases}2\alpha=\cosh(\zeta_{0})+\sinh(\ze塔_{0{)\cos\theta,\\2w_{1}=\sinh。\结束{cases}$$
(88)
这意味着边界点的图像\((\cos\theta/2,\sin\ theta/2))是边界点\((v{1},v{2})\)具有
$$\textstyle\begin{cases}2v{1}=\frac{\overline{\zeta}+\cos\theta}{1+\overline{\zeta}\cos\ theta},\\2v{2}=\ frac{(1-\ overline}\zeta{^{2})^{1/2}\sin\theta}{1+\overrine{\zeta}\cos\theta{。\结束{cases}$$
(89)
人们可能会注意到发送点的地图\((\ cos \ theta/2,\ sin \ theta/2)\)切中要害\((v{1},v{2})\)是组中的一个元素\(\operatorname{PSL}(2,\mathbb{R})\).转型(89)将在Section中使用。 7.2将伊尔马兹第三次实验解释为相对论像差效应的比色模拟。
6.2洛伦兹boosts的纯态和单参数子群
升压映射作用于纯态的事实\(\运算符名称{PSL}(2,\mathbb{R})\)从以下结果来看,转换并不奇怪。脚注2
提案4
每一个纯态都会产生一个-boost的参数子群.
证明
如前所述,纯态的状态密度矩阵由下式给出
$$\rho(v{1},v{2})=\frac{1}{2](\mathrm{Id}_{2} +\mathbf{v}\cdot\sigma)$$
(90)
哪里\(\mathbf{v}=(v{1},v{2})\)是单位向量\(σ=(σ{1},σ{2}).矩阵\(西格玛{1})和\(西格玛{2})是对称的无迹矩阵,通常被选为李代数的前两个生成元\(\operatorname{sl}(2,\mathbb{R})\)组的\(\operatorname{SL}(2,\mathbb{R})\)注意,它们不会生成\(\operatorname{sl}(2,\mathbb{R})\).矩阵
$$A(\rho,\zeta_{0})=\exp\biggl(\zeta_{0}\frac{\mathbf{v}\cdot\sigma}{2}\biggr)$$
(91)
是的对称元素\(\operatorname{PSL}(2,\mathbb{R})\),\(\泽塔{0}\)成为一个真实的参数。让我们回顾一下\(\operatorname{PSL}(2,\mathbb{R})\)上的操作\(\mathcal{H}(2,\mathbb{R})\)由定义
$$X\longmapsto-AXA^{t}$$
(92)
我们很清楚\(\operatorname{Det}(AXA^{t})=\operator name{Det}(X)\).自\(西格玛{1})和\(西格玛{2})是的元素\(\mathcal{H}(2,\mathbb{R})\),我们可以考虑下面给出的矩阵
$$\sigma_{i}\longmapsto A(\rho,\zeta_{0})\sigma_{i} A类(\rho,\zeta{0})$$
(93)
对于\(i=0,1,2),使用\(\sigma_{0}=\mathrm{Id}_{2}\)可以看出\(3乘以3)系数矩阵
$$M(\rho,\zeta_{0})_{ij}=\frac{1}{2}{\operatorname{Trace}}\bigl(\sigma_{i} A类(\rho,\zeta{0})\sigma_{j} A类(\rho,\zeta_{0})\biger)$$
(94)
是一种促进\(b_{\zeta}\)具有\(泽塔=\tanh(泽塔{0})(v{1},v{2})。让我们用一个简单的例子进行验证,其中\(v{1}=1\)和\(v{2}=0\)在这种情况下,
$$A(\rho,\zeta_{0})=\exp\biggl(\zeta_{0}\frac{v_{1}\sigma_{1}}{2}\biggr)=\exp\biggl(\zeta _{0{\frac}\simma_{1{2}\ biggr \结束{pmatrix}$$
(95)
我们只需要计算系数\(B(\西格玛,\ζ_{0})_{i,j}\)对于\(i \leq j).我们有
$$\textstyle\begin{cases}M(\sigma,\zeta_{0})_{00}=\frac{1}{2}\operatorname{Trace}(A^{2}(\rho,\zeta _{0{))=\cosh(\zeta _{0}),\\M(\sigma,\ zeta _})_{01}=\frac{1}{2}\ operatorname_{1} A类(\rho,\zeta_{0}))=\sinh(\zeta_0}),\\M_{2} A类(\ rho,\ zeta _{0}))=0,\\M(\ sigma,\ zeta _{0})_{11}=\ frac{1}{2}\ operatorname{Trace}(\ sigma _{1}A(\ rho,\ zeta _{0})\ sigma_{1} A类(\rho,\zeta_{0}))=\cosh(\zeta_0}),\\M(\sigma,\zeta _{0{)_{12}=\frac{1}{2}\operatorname{Trace}(\simma_{1} A类(\rho,\zeta{0})\sigma_{2} A类(\rho,\zeta_{0}))=0,\\M(\sigma,\zeta _{0{)_{22}=\frac{1}{2}\operatorname{Trace}(\simma_{2} 一个(\rho,\zeta{0})\sigma_{2} A类(\rho,\zeta{0}))=1。\结束{cases}$$
(96)
这意味着\(M(\rho,\zeta_{0})=M(b_{\zeta})具有\(泽塔=坦(泽塔{0})(1,0),参见方程式(86).□
可以很容易地验证矢量的图像\((1/2,0,0)\)属于\(\mathcal{L}^{+}\)通过助推\(b{\zeta}=tanh(\zeta{0})(1,0)是矢量\((\cosh(\zeta_{0})/2,\sinh(\ze塔_{0{)/2,0)\)因此,最大熵的状态\(\rho_{0}=(0,0)\)发送到州\((\塔纳(\泽塔{0})/2,0)\)这延伸到了一般的提升。
我们可以用以下方式总结这些计算。如前所述,我们考虑状态空间\(\mathcal{S}\)作为Klein磁盘\(\mathcal{克}_{1/2}\)关闭的时间\(\overline{\mathcal{L}^{+}}\)未来的光锥\(\mathcal{L}^{+}\)通过使用地图
$$s=(v{1},v{2})\longmapsto\frac{1}{2}(1+\mathbf{v})=1/2+(v{1',v{2/2)$$
(97)
每一个纯态ρ生成一个boost的单参数子群,参数\(\泽塔{0}\)就是速度。事实上,每一次提升都可以通过这种方式获得。Boost映射作用于Klein磁盘\(\mathcal{克}_{1/2}\)通过等距。如果我们考虑\(\mathcal{S}\)作为嵌入状态密度矩阵空间的
$$s=(v{1},v{2})\longmapsto\rho(v{1',v{2])=\frac{1}{2}\begin{pmatrix}1+v{1{2}&v{2{3}&1-v{1neneneep \end{pmatricx}$$
(98)
通过考虑\(\operatorname{PSL}(2,\mathbb{R})\)在\(\mathcal{H}(2,\mathbb{R})\)。重要的是要注意,我们只使用矩阵\(\西格玛{0}\),\(西格玛{1})、和\(西格玛{2}),即仅来自\(\mathcal{S}\)由于每个状态都可以从最大熵、boosts或等效纯态的状态中获得,因此传递作用于S公司然而,必须注意的是,boost映射并没有形成特殊Lorentz群的一个子群,这反映在以下事实上\(西格玛{1})和\(西格玛{2})不构成李代数的子李代数\(\operatorname{sl}(2,\mathbb{R})\).
6.3关于同质性
这种观点与[5]. 如引言中所述,并在[9],H.L.Resnikoff的关键论点之一是所指群的传递作用的存在\(\operatorname{GL}(\mathcal{P})\)在空间上\(\mathcal{P}\)感知颜色。这个组应该由背景照明的所有线性变化组成。在前面的内容中,我们利用了\(\operatorname{PSL}(2,\mathbb{R})\)在\(\mathcal{H}(2,\mathbb{R})\),请参阅(92). 但是矩阵\(A(\rho,\zeta _{0})\)属于\(\operatorname{PSL}(2,\mathbb{R})\)使用的也是对称的,因为\(西格玛{1})和\(西格玛{2})是对称的。实际上,动作(92)也可以视为动作
约旦代数\(\mathcal{H}(2,\mathbb{R})\)自身。这正是行动
$$Q(A):X\longmapsto\bigl(2L(A)^{2} -左\bigl(A^{2}\biger)\bigr)X$$
(100)
的二次表示一个在X(X)[10]. 但再一次,矩阵X(X)我们认为是\(\西格玛{0}\),\(西格玛{1})、和\(西格玛{2}).矩阵\(西格玛{1})和\(\西格玛_{2}\)不是正锥体的元素\(\mathcal{H}^{+}(2,\mathbb{R})\)因此\(\mathcal{H}^{+}(2,\mathbb{R})\)在我们的方法中并不那么重要。我们没有假设背景照明存在一组线性变化,而是表明我们提出的量子描述自然会导致将增强图视为照明变化。这些照明变化是克莱因圆盘的等距图\(\mathcal{克}_{1/2}\).