本文使用 Zhihu On VSCode 创作并发布
想要在紧束缚近似下用二次量子化的语言求解石墨烯的能带。在正式求解前,首先为只有四大力学基础的同学(感觉前言给自己挖了一个大坑……)简单介绍一下二次量子化、能带和紧束缚近似的概念。
(话是这么说,但全文主要好像都在介绍这些内容,具体能带的求解反而比较容易……)
二次量子化
关于二次量子化,知乎中以及各种教科书中都有较为精彩的叙述,如二次量子化(Second Quantization) - 正樹的文章 - 知乎,此处给出一个较为简单的介绍。
考虑一个全同玻色子系统,假设系统中单个玻色子可以定义一组正交完备的态
及这些态的线性组合来描述。
但是这种方法对系统的描述在粒子数较多时会比较繁琐。设系统有
其中
在发现了直接的量子态描述非常繁琐之外,我们还发现了一件事:由于交换对称性的要求,只需要知道系统中每个态的占据数,系统所处的态就几乎是唯一确定的(除了可以附加一个整体相位
只是修改了态的记号并不能使我们更方便地处理问题,我们还需要知道在新的记号下的态被算符作用后的行为,尤其是我们想方便地表示哈密顿量算符。为此,我们首先引入产生湮灭算符。
定义产生算符
容易看出产生算符
产生湮灭算符的含义可以理解为在系统中产生或湮灭一个
可能会有同学疑惑为何定义中有
此处的产生湮灭算符是对于玻色子系统定义的,费米子系统略有不同,主要是系数会出现一些正负号的不同。
对于玻色子系统的产生湮灭算符,有如下一些常用的性质:
- 对易关系
相同态的产生湮灭算符的对易关系
不同的(还要求彼此正交的)态之间的产生湮灭算符对易。
对于费米子系统,产生湮灭算符有类似的反对易关系。 - 真空态
称态为真空态,所有的态都可由真空态加产生算符导出,即
- 表象变换
考虑两组态与
,同一组态内每个态彼此正交,两组态的湮灭算符分别为
。由于所有态都可以从真空态加产生算符得到,可以猜测一组态的每一个产生算符都可以表示为另一组态产生算符的函数。为了保证总粒子数的一致,一组态的每一个产生算符应该是另一组态产生算符的线性组合。(显然,这个猜测是可以得到证明的,不过我们在此略去,有兴趣的读者可以自己证明)借助真空态,我们可以得到
故有
之后我们就可以开始尝试用产生湮灭算符表示其他算符了。
首先考虑能写为同一单体算符之和的算符,即
其中