Merge branch 'draft'

_config.yml

@@ -72,8 +72,9 @@ kramdown:
 #   - vendor/ruby/
 
 exclude:
-    - graphviz/
-    - inkscape/
+    - illustrations/
+    - .vscode/
+    - _site/
     - .sass-cache/
     - .jekyll-cache/
     - gemfiles/

_drafts/internet-slang-index.markdown

@@ -0,0 +1,20 @@
+---
+title: "网络俚语中英对照表"
+---
+
+本文记录一些网上冲浪时看到的英文俚语和中文对应。
+
+| 英文 | 词性 | 中文翻译 | 注释 |
+|:---:|:---:|:---:|:---|
+| clickbait | v./n. | 标题党 | |
+| dox | n. | 身份文件；盒 | `document` 之讹误。 |
+| doxx | v. | 人肉搜索；出道；开盒 | |
+| flame | v. | 网络论战 | 日文：`炎上`。 |
+| necropost | v. | 挖坟 |  |
+| NSFL | abbr. | 限制级；R-18G | `Not Safe For Live` 之缩写。通常具有血腥暴力内容。 |
+| NSFW | abbr. | 限制级；R-18 | `Not Safe For Work` 之缩写。通常暗示具有色情内容。|
+| sealion | v. | 缠斗式辩论；抬杠 | |
+| shadow ban | v. | 限流；吞（评论等） |
+| shitpost | v./n. | （发布）钓鱼文、垃圾帖 | 指发布没有意义或者具有攻击性的帖子。 |
+| sockpuppet | n. | 马甲；小号；水军号 |
+| troll | n. | 喷子；乐子人；魔怔人 | |

_posts/fluid-dynamics/2023-09-13-intro-2-tensor-analysis.markdown

@@ -36,15 +36,17 @@ $$
 & v & \mapsto & <u, v>
 \end{array}
 $$
-这两种方式是完全等价的，这是因为物理学中常常研究的$\mathbb{R}^3$空间与其对偶空间${\mathbb{R}^3}^*$同构。
+这两种方式是完全等价的，这是因为物理学中常常研究的$\mathbb{R}^3$空间与其对偶空间${\mathbb{R}^3}^*$典范同构[^1]。
 出于以上原因，我们完全可以使用对偶空间中的元素来定义一个向量，因此一个向量也可以视为$\mathbb{R}^3 \to \mathbb{R}$这一映射的集合中的一个元素。
 
+[^1]: 任何两个相同维数的有限维空间总是同构的，但它们不一定是典范同构（Canonical isomorphism）的，即不一定存在一个自然或显然的同构映射。
+
 这种定义的优点在于，其中蕴涵了对坐标系变动的不变性。
 以矩阵为例，如果将其简单地视作二维的数组，那么在不同基底下，本质相同的矩阵，即表示同一变换的矩阵，会有不同的表示。
 如果直接将矩阵定义为二维数组，则丧失了这些关系，从而不得不引入相似矩阵来重新表述这种关系。
 而如果将矩阵本身视作线性变换在某一基底下的表示，那么相似矩阵的几何意义就是显而易见的了。
 
-由于$\mathbb{R}^3$空间与其对偶空间的同构，在张量的定义中，我们也可以使用任意多个$V^*$来替代$V$。
+由于$\mathbb{R}^3$空间与其对偶空间的典范同构，在张量的定义中，我们也可以使用任意多个$V^*$来替代$V$。
 这种定义不影响其物理意义，但是给出了张量的更一般表述。
 
 ### 张量积
@@ -118,8 +120,8 @@ $$\mathrm{Tr}(A) = \sum_i A_{ii} = A_{ii}$$
 $$\nabla \vec u(x_1, x_2, x_3) = \sum_{i=1}^3 \frac{\partial \vec u_i}{\partial x_i} = \partial_{\textcolor{red}{i}} u_i = u_{i\textcolor{red}{,i}}$$
 
 有时还能见到将指标写在上标位置的情况。
-如果出现这种写法则上标意味着反协变向量的指标（行向量的推广），下标意味着协变向量的指标（列向量的推广）。
-我们不使用这种写法，因为在有限维实空间（欧几里得空间）中，行向量和列向量没有区别：正如此前所述，这些空间和它们的对偶空间同构。
+如果出现这种写法则上标意味着反变向量的指标（行向量的推广），下标意味着协变向量的指标（列向量的推广）。
+我们不使用这种写法，因为在有限维实空间（欧几里得空间）中，行向量和列向量没有区别：正如此前所述，这些空间和它们的对偶空间典范同构。
 
 ### 张量的应用
 

_posts/mathematics/2023-11-21-statistical-tests.markdown

@@ -68,10 +68,10 @@ $$D = \frac{L(\theta_1 | x)}{L(\theta_0 | x)} > k$$
 $$F(x) = 1 - e^{- \frac{x}{a}} \iff f(x) = \frac{1}{a} e^{- \frac{x}{a}}$$
 零假设和备择假设为：
 $$H_0:\ a = a_0, \quad H_1:\ a = a_1 > a_0$$
-试确定其一个决策变量及其拒绝域。 </br>
+试确定其一个决策变量及其拒绝域。 <br/>
 考虑似然比：
 $$D^* = \frac{L(a_1 | x)}{L(a_0 | x)} = \frac{\frac{1}{a_1^n} \exp \left[ - \frac{\sum x_i}{a_1} \right]}{\frac{1}{a_0^n} \exp \left[ - \frac{\sum x_i}{a_0} \right]} = \frac{a_0^n}{a_1^n} \exp \left[ (\frac{1}{a_0} - \frac{1}{a_1}) (\sum x_i) \right]$$
-似然比$D^*$大于临界值$k^*$的一个充分条件是：
+似然比$D^\*$大于临界值$k^\*$的一个充分条件是：
 $$D = \sum x_i > k$$
 因此，我们可以选择$\sum x\_i$作为决策变量。
 注意到$X \sim \exp (a)$，因此$D$服从伽马分布，$2D / a$服从卡方分布，可根据$\alpha$查表求出临界值$k$。

_posts/quantum-mechanics/2024-03-06-formalism-of-quantum-mechanics.markdown

@@ -0,0 +1,162 @@
+---
+title: "量子力学的形式化表述"
+categories: ["量子力学"]
+---
+
+本文主要介绍量子力学中的各种形式化表述。
+
+## 量子力学公理
+
+首先介绍量子力学的一些基本原理。
+
+### 物理量与算子
+
+为描述物理系统的状态，在量子力学中通常使用狄拉克记号来表示希尔伯特空间中的各种元素。
+
+希尔伯特空间中的列向量表示物理系统的量子态，称为*右矢*（ket），记为$| \psi \rangle$；
+其共轭转置称为*左矢*（bra），记为$\langle \psi |$。
+{: .definition}
+
+利用左矢与右矢，可以非常方便地表示一些常见的运算，如内积：
+$$ (\psi, \phi) = \psi^\dagger \cdot \phi = \langle \psi | \phi \rangle $$
+其中$\cdot^\dagger$表示矩阵的共轭转置。
+
+对量子态的更准确的描述是：量子态是射线(Ray)定义的等价类的代表元。
+
+量子力学中，所有可观测的物理量都由一个*可观测量*（Observable）表述。
+可观测量是一个自伴线性算子，也称厄米算子。
+与物理量有关的可观测量算子用$\hat \cdot$符号标记。
+{: .proposition}
+
+常见的可观测量有动量和哈密顿量，即：
+$$\hat p = \frac{\hbar}{i} \nabla , \quad \hat H = - \frac{\hbar^2}{2m} \Delta + V$$
+哈密顿量出现在薛定谔方程中：
+$$i \hbar \frac{\partial}{\partial t} \psi (\vec r, t) = \hat H \psi (\vec r, t) = - \frac{\hbar^2}{2m}\nabla_r \psi (\vec r, t) + V \psi(\vec r, t)$$
+
+在代数中，我们已经知道，厄米矩阵总是可以对角化，且其特征值均为实数。
+这些特征值——也称本征值——在量子力学中具有重要的物理意义。
+
+对任何物理量的测量结果只能是其对应的可观测量算子的特征值之一。
+{: .proposition}
+
+以哈密顿量为例，其特征值就是系统的能量的可能的取值。
+
+厄米矩阵既然可以对角化，则其特征向量组成希尔伯特空间的一组基底，因此具有重要的意义。
+若不加特殊说明，我们用$\varphi\_n$来表示这些向量。
+
+### 概率与坍缩
+
+首先定义退化的概念。
+
+若可观测量的特征值的重数不均为一，则称该可观测量的特征值是*退化*的或*简并*的（Degenerate），重数称为该特征值的简并度（Degeneracy）。
+{: .definition}
+
+如果特征值的重数大于一，就说明一个特征值具有多个线性独立的特征向量，因此即使确定了该物理量，仍然不能确定该系统具体处于什么状态。
+这样的状态就是简并的。
+
+物理量在测量后为某一特征值的概率为：
+$$p_n = \sum_d | \langle \varphi_{n,d} | \psi \rangle |^2 = \sum_d \langle \varphi_{n,d} | \psi \rangle \langle \psi | \varphi_{n,d} \rangle$$
+其中$d$为简并度，$\varphi\_{n,d}$为特征向量。
+若该特征值不是简并的，则可简写为
+$$p_n = \langle \varphi_{n} | \psi \rangle \langle \psi | \varphi_{n} \rangle$$
+{: .proposition}
+
+注意到特征向量组成希尔伯特空间的一组基底，任何状态向量可写为特征向量的线性组合：
+$$|\psi\rangle = \sum c_{n,d} | \varphi_{n,d} \rangle$$
+因此取得特征值的概率为
+$$p_n = \sum | c_{n,d} |^2$$
+非简并态的概率化简为
+$$p_n = |c_n|^2$$
+
+对物理量进行测量后，对应的波函数立刻被投影至测量出的特征值的特征空间中，这一现象称为*坍缩*（Collapse, Reduction）。
+新的波函数为
+$$| \psi' \rangle = \frac{\sum_d c_{n,d} | \varphi_{n,d} \rangle }{\sqrt{\sum_d |c_{n,d}|^2}}$$
+其中$c_{n,d}$即位于该状态的概率。
+非简并态下，新的波函数为
+$$| \psi' \rangle = | \varphi_n \rangle$$
+{: .proposition}
+
+### 薛定谔方程
+
+哈密顿算符为$\hat H$的系统的量子态随时间的变化由薛定谔方程完全描述：
+$$\hat H(t) | \psi(t) \rangle = i \hbar \frac{d}{d t} | \psi(t) \rangle$$
+{: .proposition}
+
+薛定谔方程还给出了概率流的表述。
+
+## 狄拉克记号的计算
+本节主要关注狄拉克记号下的各种计算。
+
+### 投影算符
+
+向向量$| \varphi_n \rangle$投影产生投影向量的算子为
+$$| \varphi_n \rangle \langle \varphi_n |$$
+且
+$$\sum_n | \varphi_n \rangle \langle \varphi_n| = \hat{\mathbb{1}}$$
+{: .proposition}
+
+考虑任意向量$| \psi \rangle$，向$|\varphi_n\rangle$投影并产生投影向量可表示为
+$$| \varphi_n \rangle \langle \varphi_n | \psi \rangle$$
+利用矩阵乘法的结合律即可得到投影向量算子。
+注意到厄米算子的特征值构成了空间的一组基底，该算子的和就是全同映射。
+{: .proof}
+
+### 对易算符
+
+通常情况下，两个算符的运算顺序是不能交换的，正如矩阵乘法一样。
+如果两个算符对易，则代数中的结论告诉我们其必然含有至少一个相同的特征向量。
+对于任何两个算符，我们都可以构造一个量来确定其对易性。
+
+设$\hat A, \hat B$为两个算符，其*对易子*（commutator，也称交换子）定义为
+$$[\hat A, \hat B] = \hat A \hat B - \hat B \hat A$$
+显然，对易子为零的两个算符可对易，因此至少由一个相同的特征向量。
+{: .definition}
+
+位移和动量的对易子为：
+$$
+\begin{aligned}
+\forall \psi, \quad [\hat x, \hat p] \psi &= (\hat x \hat p - \hat p \hat x) \psi \\
+&= x (\frac{\hbar}{i} \frac{\partial}{\partial x} \psi) - \frac{\hbar}{i} \frac{\partial}{\partial x} (x \psi) \\
+&= i \hbar \psi
+\end{aligned}
+$$
+从而
+$$[\hat x, \hat p] = i \hbar \hat{\mathbb{1}}$$
+{: .exampl}
+
+### 对易可观测量完全集
+
+设$(\hat A, \hat B, \cdots)$为一组两两可对易的算符，则其至少含有一个相同的特征向量。
+如果对任何一个量子态，可以通过给出这些相同特征向量的系数来完全地确定该量子态，即这些相同的特征向量构成量子态空间的一组基底，那么称这一组算符为*对易可观测量完全集*（Complete Set of Commuting Observables, CSCO）。
+{: .definition}
+
+### 均值与不确定度
+
+某物理量的均值——即其期望，可用狄拉克记号表示为
+$$\langle A \rangle_\psi = \langle \psi | \hat A | \psi \rangle$$
+其不确定度——即标准差，可用狄拉克记号表示为
+$$\Delta_\psi (A) = \sqrt{ \langle (\hat A - \langle A \rangle_\psi)^2 \rangle_\psi } = \sqrt{\langle A^2 \rangle_\psi- \langle A \rangle_\psi^2}$$
+不确定度的算子$\Delta (\cdot)$也是厄米算子。
+{: .proposition}
+
+标准差的公式在概率论中已经得到证明，我们只证明期望的公式。
+$$
+\begin{aligned}
+\langle A \rangle_\psi &= \sum_n p_n a_n = \sum_n |\langle \varphi_n | \psi \rangle|^2 a_n \\
+&= \sum_n \langle \psi | \varphi_n \rangle \langle \varphi_n | \psi \rangle a_n \\
+&= \sum_n \langle \psi | \hat A (| \varphi_n \rangle \langle \varphi_n |) \psi \rangle \\
+&= \langle \psi | \hat A | \psi \rangle 
+\end{aligned}
+$$
+{: .proof}
+
+设$\hat A, \hat B$为两算符，$i \hbar \hat C = [\hat A, \hat B]$，则对任意波函数$\psi$，
+$$\Delta_\psi (A) \Delta_\psi (B) \ge \frac{\hbar}{2} \langle C \rangle_\psi $$
+这一关系称为广义海森堡不确定性关系。
+{: .proposition}
+
+参考柯西-施瓦茨不等式的证明方法，构造二次多项式后用判别式证明。
+{: .proof}
+
+带入位移与向量的对易子，即可得
+$$\Delta (x) \Delta (p) \ge \frac{\hbar}{2} = \frac{h}{4\pi}$$