unsinn

正式用户

最新动态 1天前

  1. 1天前
    2019-01-14 19:26:45
    unsinn 更新于 粒子的空间局域性

    不要试图将场论和量子力学割裂开来,任何量子力学操作/概念(与狭义相对论相容的话)都可以用到场论上。如果场论中没有这个概念,那自然量子力学中也没有。

    我们不引入场论的语言,还是从量子力学出发。粒子在各个地方的概率,不正是说明其无处不在吗?这完全没有表征粒子的局域性。如果你说,我们可以制备一个粒子态(波包),其只在一小块地方明显非零,但一般来说这只能是给定的。就像你要读出来粒子在某个地方的概率,你至少得有个粒子波函数吧?然后这粒子波函数是量子力学这个理论体系自带的吗?显然不是。量子力学至少告诉你怎么表述他,并告诉你它怎么演化。比方说,假设你初始态是一个很local的粒子波函数,量子力学结论就会告诉你,这个波函数会随着时间演化弥散开来,铺满整个空间。

    所以所有的(粒子的)信息在哪里?在初始态这里。你要一个局域的粒子,那你就制备一个波包,但这个凸包函数是你给的,而不是量子力学自然产生的。量子力学回答的是,给定初始态,系统的演化(的概率)。所以,如果你要问给定两个初始态(假设初始态很局部)的粒子(离得很远的粒子)按照直觉应该不相互作用,那你就应该算出来这个系统往相互作用的那种态的演化概率为零。这一点一般来说并不能由另一些基础原理给出,所以通常我们要引入所谓的“集团分解原理”来表述之。粗略来说,这是在说,如果两个量子力学系统离得足够远,则它们应该独立演化。

    稍微扯一下集团分解原理。我们用数学一点的语言来表述,首先,一旦有一个量子力学系统,Wigner定理就告诉你按照相对性原理(假设对应Poincare群变换下概率不变)我们有一个表示$U$. 设系统$A$可以分为两个子系统$B$和$C$,则Hilbert空间的关系是$\mathcal{H}_A=\mathcal{H}_B\otimes \mathcal{H}_C$,但是,由于$B$和$C$不独立,所以一般地,对应的 Poincare 群的表示$U_A$, $U_B$和$U_C$并不成立关系$U_A=U_B\otimes U_C$. 但是,集团分解原理告诉我们这至少是渐进成立的。考虑平移算符$T_B(a)=U_B(1,a)\otimes 1$和$T_C(a)=1 \otimes U_B(1,a)$. 那么,对于任何的归一化态矢量$\Psi$和$\Phi$,我们都应有内积的极限:
    \[
    \lim_{(b-c)^2\to +\infty} \left(\Phi,T_C^\dagger(\Lambda c) T_B^\dagger(\Lambda b) \left[U_A(\Lambda,a)-U_B\otimes U_C(\Lambda,a)\right]T_B(b)T_C(c)\Psi\right)=0,
    \]其中$b-c$是类空的。这就是集团分解原理的数学表述。我们时常会用更强的条件来表述
    \[
    \lim_{(b-c)^2\to +\infty}T_C^\dagger(\Lambda c) T_B^\dagger(\Lambda b) \left[U_A(\Lambda,a)-U_B\otimes U_C(\Lambda,a)\right]T_B(b)T_C(c)\Psi=0.
    \]这个强收敛条件比前面那个弱收敛条件更好操作,但不见得更正确。但我们也没必要在数学上麻烦自己。

    注意特殊情况。固定$\Lambda=1$,然后取$a$在时间方向,然后将$a$趋向于$0$,则
    \[
    U_A(\Lambda,a)-U_B\otimes U_C(\Lambda,a)\sim ia (H_A-H_B\otimes 1-1\otimes H_C),
    \]其中$H_A-H_B\otimes 1-1\otimes H_C$几乎就是在描述$B$和$C$之间的相互作用,所以集团分解原理似乎告诉了我们相互作用在空间间隔变大的时候会渐进为零。从这个简单的观察应该可以认识到,集团分解原理会极大地限制相互作用的形式。

    以上一切都是量子力学意义上的,那么场论告诉了我们什么新的东西?首先,场论可能是最自然的满足集团分解原理、狭义相对性原理、量子力学基本原理的一个理论,而其他满足这三个原理的理论都并不比场论“自然”。其次,虽然场论带来了新物理,但这种物理并没有突破比如量子力学基本原理的框架。再者,场论算的是振幅是概率,本质也还是在解决这样的问题“给定初始值,算演化”。最后,场论给了一套方法去算演化,费曼图、路径积分等等。

    总之,所有粒子信息由粒子态描述。这是量子力学、量子场论的第一原理。

  2. 2019-01-14 16:05:33
    unsinn 更新于 请教一个范畴问题

    @随机概率 谢谢回复,但还是有点没理清楚,可以再请教一下如何由$\psi_YGF(f)\psi_X^{-1} =\mathrm{id}_{C_1}(f)$推出$F:\mathrm{Hom}(X,Y)->\mathrm{Hom}(FX,FY) $是单射吗?

    我们可以注意到以下事实: 设$f$, $g$是映射

    1. 如果$fg$是单的,则$g$是单的;
    2. 如果$fg$是满的,则$f$是满的。
  3. 2天前
    2019-01-14 04:36:46
    unsinn 更新于 请教一个范畴问题

    这里的左可逆的意思就是这是个集合间的单射,在一般的范畴中一般会叫做左可消或者单态射什么的。所以这里的意思就是:因为 F:Hom(X,Y)->Hom(FX,FY) 是一个单射,所以这是个忠实函子。然后他剩下去证明这是个完全函子。

  4. 3周前
    2018-12-19 15:20:39

    我就做个翻译,虽然我没看懂你想做什么。

    设$k$是一个域,$p$和$q$是两个代数元,方便起见,设$k$是特征零的。于是,我们可以计算$k$-代数
    \[
    R=k[x,y]/(\min(p),\min(q))
    \]作为$k$-矢量空间的维度(以及其基),其中$\min(p)\in k[x]$, $\min(q)\in k[y]$是相应的极小多项式。很容易知道,它的维数是$\deg(\min(p))\deg(\min(q))$,基可以选做 $\{x^iy^j\}$,其中$0\leq i\leq \deg(\min(p))-1$以及$0\leq j\leq \deg(\min(q))-1$.

    现在,我们考虑所有形如$\lambda = \sum_{i,j} a_{ij}x^iy^j\in R$,然后我们计算得到 $\lambda^n \in R$ 对应的系数
    \[
    \lambda^n = \sum_{i,j} a'_{ij}x^iy^j,
    \]于是我们得到一个“矩阵”$ M_n:\{a_{ij}\}\to \{a'_{ij}\}$. (这是线性的吗?)
    然后我们考虑可能的线性组合$M=\sum_i c_i M_i$,作用在哪个矢量上,使得只有$1$的分量,然后求系数$c_i$即可。(是不是就是求$c_i$使得$\sum_i c_i\lambda^i\in k$.)

    (总之就是待定系数法求极小多项式?)

  5. 4周前
    2018-12-12 11:36:43
    unsinn 更新于 GTM 197的翻译近况

    @monad 本站还有其他人在做或者想做GTM的翻译工作吗?我感觉就算不翻译整本书,给出一本书的新词汇汉英对照表也很有价值

    GTM 的内容一般都挺入门的,所以一般没什么新词汇,基本都有旧例可循的。在代数几何方面,因为周老师的 EGA I 中文版出版了,所以这里的译名会参考 EGA 的翻译(其书末有一张中英法词汇对照表)。

  6. 2月前
    2018-10-30 00:06:02

    @rougher 如果有具体的元素我会,我的问题在于讨论一般的abelian category,无法在object $X^n$中指定元素$a$。

    abelian category 也可以追图,技术上没问题的,元素 可以用所有指向该object的箭头的等价类来表示。

  7. 2018-10-18 14:25:56
    unsinn 更新于 行列式计算

    0, 显然\[
    (-1,\dots,-1,1,\dots,1)^{\mathsf{T}}\in \ker \begin{pmatrix} l I_k & 1_{k l}\\ 1_{lk} & k I_l \end{pmatrix},
    \]其中$-1$有$k$个,而$1$有$l$个.

  8. 4月前
    2018-08-27 03:05:43
    unsinn 更新于 关于对易和反对易

    非全同粒子之间的对易反对易关系就是 convention 而已,对构造 Fock space 来说完全没有区别。不同费米场调换加个负号是遵循习惯,并没有什么物理在里面,不用太过在意了。

  9. 8月前
    2018-05-07 01:07:33

    通过$[\varphi,L_z]=i$就断言$L_z$的谱是连续的,这是很奇怪的论断。你可能是类比了$[x,p]=i$,但是如果我们考虑空间上有限的系统,则$p$的谱是离散的。

  10. 9月前
    2018-03-28 14:14:16

    @小时 我在读英文教材的时候时常会遇到作者自己发明的各种小符号, 例如 Daniel 的 An Introduction to Thermal Physics 中, 在“弱相互作用气体”一章发明了如下符号
    (其实我不确定这个是不是大家都这么用还是作者发明的)

    这些图被称为cluster,相关的技术是Cluster expansion.

查看更多