2. Bosons

(1) N-boson basis state

위에서와 마찬가지로 single-particle Hilbert space gif.latex?\\\\small \\\\inline \\\\mathcal{H}의 어떤 orthonormal basis gif.latex?\\\\small \\\\inline \\\\mathfrak{B}를 생각하자. gif.latex?\\\\small \\\\inline \\\\mathfrak{B}에 속하는 single-particle state들을 조합하여 아래와 같은 N-boson state를 만들 수 있으며, 이들의 선형결합으로 임의의 N-boson state를 표현할 수 있다. (즉, 아래의 state는 N-boson Hilbert space의 basis state.)

gif.latex?|s_{1},s_{2},\\\\ldots,s_{N}\\\\rangle_{B}^{(N)} \\\\equiv \\\\frac{1}{\\\\sqrt{N!\\\\prod_{m}\\\\! n_{m}!}}\\\\, \\\\mathcal{S}\\\\Big(|s_{1}\\\\rangle\\\\otimes|s_{2}\\\\rangle\\\\otimes\\\\cdots\\\\otimes|s_{N}\\\\rangle\\\\Big) ......... (3)

여기서  gif.latex?\\\\small \\\\inline |s_{1}\\\\rangle,|s_{2}\\\\rangle,\\\\ldots,|s_{N}\\\\rangle\\\\in\\\\mathfrak{B} 이며, 이들 중 중복되는 것이 있을 수 있다. 위 식에서 우변의 계수에 등장하는 아래첨자 gif.latex?\\\\small \\\\inline m 는 gif.latex?\\\\small \\\\inline \\\\mathfrak{B}를 구성하는 single-particle state들을 구분하는 index이며, gif.latex?\\\\small \\\\inline n_{m} 는 해당 state에 있는 입자 개수를 나타낸다. gif.latex?\\\\small \\\\inline \\\\mathcal{S}(\\\\ldots)는 괄호 안을 symmetrize하였다는 의미로, 다음과 같이 정의된다.

gif.latex?\\\\mathcal{S}\\\\Big(|s_{1}\\\\rangle \\\\otimes |s_{2}\\\\rangle\\\\otimes \\\\cdots \\\\otimes|s_{N}\\\\rangle\\\\Big) \\\\equiv \\\\sum_{P} |s_{P(1)}\\\\rangle \\\\otimes |s_{P(2)}\\\\rangle\\\\otimes \\\\cdots \\\\otimes|s_{P(N)}\\\\rangle

gif.latex?\\\\small \\\\inline P는 permutation을 나타내며, gif.latex?\\\\small \\\\inline P(1), \\\\,P(2),\\\\,\\\\ldots, \\\\,P(N)은  gif.latex?\\\\small \\\\inline 1, 2,3,\\\\ldots, N의 gif.latex?\\\\small \\\\inline N! 가지 permutation 중 하나이다.  Symmetrization에 의해 총 gif.latex?\\\\small \\\\inline N! 개의 항이 생기지만, 일반적으로 이들 사이에는 중복되는 것들이 있다. 같은 single-particle state가 여러 번 등장할 경우, 이들 안에서는 교환을 해도 같은 항이 나오기 때문이다. 결국 symmetrization에 의해 생성되는 항들 중 서로 독립적인 항의 수는 \\\\big(\\\\prod_{m} \\\\!n_{m}!\\\\,\\\\big) 이며(이들은 또한 서로 직교함), 같은 항이 gif.latex?\\\\small \\\\inline \\\\prod_{m}\\\\! n_{m}! 번 중복으로 등장하게 된다. 즉, 식 (3)에서 우변의 계수는, 같은 항이 중복된 개수만큼 나누어 주는 \\\\big(\\\\prod_{m}\\\\! n_{m}!\\\\big)와  \\\\big(\\\\prod_{m} \\\\!n_{m}!\\\\,\\\\big)개의 서로 직교하는 항에 대한 normalization factor인 N!} 이 곱해진 결과이다.

또한, boson이기 때문에 두 입자를 교환해도 양자상태가 변하지 않음에 유의하자.

gif.latex?|s_{1},\\\\ldots,s_{i},\\\\ldots,s_{j},\\\\ldots,s_{N}\\\\rangle_{B}^{(N)} = |s_{1},\\\\ldots,s_{j},\\\\ldots,s_{i},\\\\ldots,s_{N}\\\\rangle_{B}^{(N)}


(2) 1-particle operator의 작용 및 creation/annihilation operator의 정의.

이제  gif.latex?\\\\small \\\\inline |s_{1},s_{2},\\\\ldots,s_{N}\\\\rangle_{B}^{(N)} 에  1-particle operator의 building block인 gif.latex?\\\\small \\\\inline \\\\hat{O}_{rs}^{(N)}가 어떻게 작용하는지 생각해보자. gif.latex?\\\\small \\\\inline s_{1},s_{2},\\\\ldots,s_{N} 중에 gif.latex?\\\\small \\\\inline s와 일치하는것이 단 하나도 없다면, 단순히 gif.latex?\\\\small \\\\inline \\\\hat{O}_{rs}^{(N)}|s_{1},s_{2},\\\\ldots,s_{N}\\\\rangle_{B}^{(N)}=0 이다. 이제 gif.latex?\\\\small \\\\inline s_{1},s_{2},\\\\ldots,s_{N} 중 gif.latex?\\\\small \\\\inline s와 일치하는 것이 gif.latex?\\\\small \\\\inline n_{s} 개 있고, 동시에 gif.latex?\\\\small \\\\inline r과 일치하는 것이 gif.latex?\\\\small \\\\inline n_{r}개 있는 경우를 생각해 보자. 단, 여기서는 수식 전개 상의 편의를 위해 gif.latex?\\\\small \\\\inline s_{1},s_{2},\\\\ldots,s_{N} 중에서 gif.latex?\\\\small \\\\inline r은 gif.latex?\\\\small \\\\inline r끼리 인접해 있고 gif.latex?\\\\small \\\\inline s는 gif.latex?\\\\small \\\\inline s끼리 인접해 있는 상황을 생각하겠다. (이렇지 않은 경우 적절히 gif.latex?\\\\small \\\\inline s_{1},s_{2},\\\\ldots,s_{N}들을 재정렬해서 우리가 원하는 상황을 만들수 있으므로 보편성을 잃지 않는다)

gif.latex?\\\\small \\\\\\\\\\\\hat{O}_{rs}^{(N)}|s_{1},\\\\ldots,\\\\underline{r,r,\\\\ldots,r},\\\\ldots,\\\\underline{s,s,\\\\ldots,s},\\\\ldots,s_{N}\\\\rangle_{B}^{(N)} \\\\\\\\ \\\\indent\\\\qquad\\\\qquad{}^{\\\\ n_{r} \\\\, \\\\textmd{times}}\\\\qquad\\\\quad{}^{\\\\ \\\\ n_{s} \\\\, \\\\textmd{times}}\\\\\\\\ =\\\\Bigg(\\\\sum_{i=1}^{N}|r\\\\rangle\\\\langle s|_{i}\\\\otimes\\\\bigotimes_{\\\\substack{j=1\\\\\\\\j\\\\neq i}}^{N}\\\\textbf{1}_{j}\\\\Bigg)|s_{1},\\\\ldots,r,r,\\\\ldots,r,\\\\ldots,s,s,\\\\ldots,s,\\\\ldots,s_{N}\\\\rangle_{B}^{(N)}\\\\\\\\\\\\\\\\=\\\\frac{\\\\hat{O}_{rs}^{(N)}}{\\\\sqrt{N!\\\\prod_{m}\\\\!n_{m}!}}\\\\,\\\\mathcal{S}\\\\Big(|s_{1}\\\\rangle\\\\!\\\\otimes\\\\!\\\\cdots\\\\!\\\\otimes\\\\!\\\\big(\\\\underline{|r\\\\rangle\\\\!\\\\otimes\\\\!|r\\\\rangle\\\\!\\\\otimes\\\\!\\\\cdots\\\\!\\\\otimes\\\\!|r\\\\rangle}\\\\big)\\\\!\\\\otimes\\\\!\\\\cdots\\\\!\\\\otimes\\\\!\\\\big(\\\\underline{|s\\\\rangle\\\\!\\\\otimes\\\\!|s\\\\rangle\\\\!\\\\otimes\\\\!\\\\cdots\\\\!\\\\otimes\\\\!|s\\\\rangle}\\\\big)\\\\!\\\\otimes\\\\!\\\\cdots\\\\!\\\\otimes\\\\!|s_{N}\\\\rangle\\\\Big) \\\\\\\\ \\\\indent\\\\qquad\\\\qquad\\\\qquad\\\\qquad\\\\qquad\\\\qquad{}^{ n_{r} \\\\, \\\\textmd{times}}\\\\qquad\\\\qquad\\\\qquad\\\\qquad{}^{n_{s} \\\\, \\\\textmd{times}}

gif.latex? \\\\small \\\\\\\\ =\\\\frac{1}{\\\\sqrt{N!\\\\prod_{m}\\\\!n_{m}!}}\\\\,\\\\mathcal{S}\\\\Big(|s_{1}\\\\rangle\\\\!\\\\otimes\\\\!\\\\cdots\\\\!\\\\otimes\\\\!\\\\big(|r\\\\rangle\\\\!\\\\otimes\\\\!|r\\\\rangle\\\\!\\\\otimes\\\\!\\\\cdots\\\\!\\\\otimes\\\\!|r\\\\rangle\\\\big)\\\\!\\\\otimes\\\\!\\\\cdots\\\\!\\\\otimes\\\\!\\\\big(|r\\\\rangle\\\\!\\\\otimes\\\\!|s\\\\rangle\\\\!\\\\otimes\\\\!\\\\cdots\\\\!\\\\otimes\\\\!|s\\\\rangle\\\\big)\\\\!\\\\otimes\\\\!\\\\cdots\\\\!\\\\otimes\\\\!|s_{N}\\\\rangle\\\\\\\\ \\\\indent\\\\qquad\\\\qquad\\\\quad+ |s_{1}\\\\rangle\\\\!\\\\otimes\\\\!\\\\cdots\\\\!\\\\otimes\\\\!\\\\big(|r\\\\rangle\\\\!\\\\otimes\\\\!|r\\\\rangle\\\\!\\\\otimes\\\\!\\\\cdots\\\\!\\\\otimes\\\\!|r\\\\rangle\\\\big)\\\\!\\\\otimes\\\\!\\\\cdots\\\\!\\\\otimes\\\\!\\\\big(|s\\\\rangle\\\\!\\\\otimes\\\\!|r\\\\rangle\\\\!\\\\otimes\\\\!\\\\cdots\\\\!\\\\otimes\\\\!|s\\\\rangle\\\\big)\\\\!\\\\otimes\\\\!\\\\cdots\\\\!\\\\otimes\\\\!|s_{N}\\\\rangle\\\\\\\\ \\\\indent\\\\qquad\\\\qquad\\\\quad+ \\\\ldots \\\\\\\\ \\\\indent\\\\qquad\\\\qquad\\\\quad+ |s_{1}\\\\rangle\\\\!\\\\otimes\\\\!\\\\cdots\\\\!\\\\otimes\\\\!\\\\big(|r\\\\rangle\\\\!\\\\otimes\\\\!|r\\\\rangle\\\\!\\\\otimes\\\\!\\\\cdots\\\\!\\\\otimes\\\\!|r\\\\rangle\\\\big)\\\\!\\\\otimes\\\\!\\\\cdots\\\\!\\\\otimes\\\\!\\\\big(|s\\\\rangle\\\\!\\\\otimes\\\\!|s\\\\rangle\\\\!\\\\otimes\\\\!\\\\cdots\\\\!\\\\otimes\\\\!|r\\\\rangle\\\\big)\\\\!\\\\otimes\\\\!\\\\cdots\\\\!\\\\otimes\\\\!|s_{N}\\\\rangle\\\\Big)
gif.latex?\\\\small \\\\\\\\ =\\\\frac{n_{s}}{\\\\sqrt{N! n_{r}! n_{s}!\\\\prod_{m\\\\neq r,s}\\\\!n_{m}!}}\\\\\\\\ \\\\indent\\\\times\\\\mathcal{S}\\\\Big(|s_{1}\\\\rangle\\\\!\\\\otimes\\\\!\\\\cdots\\\\!\\\\otimes\\\\!\\\\big(\\\\underline{|r\\\\rangle\\\\!\\\\otimes\\\\!|r\\\\rangle\\\\!\\\\otimes\\\\!\\\\cdots\\\\!|r\\\\rangle}\\\\big)\\\\!\\\\otimes\\\\cdots\\\\otimes\\\\!\\\\big(\\\\underline{|s\\\\rangle\\\\!\\\\otimes\\\\!|s\\\\rangle\\\\!\\\\otimes\\\\cdots\\\\!\\\\otimes\\\\!|s\\\\rangle}\\\\big)\\\\!\\\\otimes\\\\cdots \\\\!\\\\otimes\\\\!|s_{N}\\\\rangle\\\\Big)\\\\\\\\ \\\\indent\\\\quad\\\\qquad\\\\qquad\\\\qquad\\\\quad {}^{\\\\ n_{r}+1 \\\\ \\\\textmd{times}}\\\\qquad\\\\qquad\\\\qquad\\\\quad{}^{n_{s}-1 \\\\ \\\\textmd{times}}\\\\\\\\ =\\\\frac{\\\\sqrt{(n_{r}\\\\!\\\\!+\\\\!1)\\\\,n_{s}}}{\\\\sqrt{N!(n_{r}\\\\!\\\\!+\\\\!1)! (n_{s}\\\\!\\\\!-\\\\!1)!\\\\prod_{m\\\\neq r,s}\\\\!n_{m}!} }\\\\\\\\ \\\\indent\\\\times\\\\mathcal{S}\\\\Big(|s_{1}\\\\rangle\\\\!\\\\otimes\\\\!\\\\cdots\\\\!\\\\otimes\\\\!\\\\big(|r\\\\rangle\\\\!\\\\otimes\\\\!|r\\\\rangle\\\\!\\\\otimes\\\\!\\\\cdots\\\\!|r\\\\rangle\\\\big)\\\\!\\\\otimes\\\\cdots\\\\otimes\\\\!\\\\big(|s\\\\rangle\\\\!\\\\otimes\\\\!|s\\\\rangle\\\\!\\\\otimes\\\\cdots\\\\!\\\\otimes\\\\!|s\\\\rangle\\\\big)\\\\!\\\\otimes\\\\cdots\\\\!\\\\otimes\\\\! |s_{N}\\\\rangle\\\\Big)\\\\\\\\

gif.latex?\\\\small =\\\\sqrt{(n_{r}\\\\!\\\\!+\\\\!1)\\\\,n_{s}} \\\\,|s_{1},\\\\ldots,\\\\underline{r,r,\\\\ldots,r}\\\\ldots,\\\\underline{s,s,\\\\ldots,s},\\\\ldots,s_{N}\\\\rangle_{B}^{(N)}\\\\\\\\ \\\\indent\\\\quad\\\\qquad\\\\qquad\\\\qquad\\\\qquad \\\\ \\\\, {}^{\\\\ n_{r}+1 \\\\ \\\\textmd{times}}\\\\qquad \\\\ {}^{n_{s}-1 \\\\ \\\\textmd{times}} .................................................(4)

이 결과로부터, 아래와 같이 annihilation operator와 그 adjoint에 해당하는 creation operator를 정의하는 것이 유용할 것임을 추측할 수 있다.

gif.latex?a_{s}|s, s_{1},s_{2}, \\\\ldots,s_{N-1}\\\\rangle_{B}^{(N)} = \\\\sqrt{n_{s}}|s_{1},s_{2}, \\\\ldots,s_{N-1}\\\\rangle_{B}^{(N-1)}......... (5-1)
gif.latex?a_{s}^{\\\\dagger}|s_{1},s_{2}, \\\\ldots,s_{N}\\\\rangle_{B}^{(N)} = \\\\sqrt{n_{s}+1}|s,s_{1},s_{2}, \\\\ldots,s_{N}\\\\rangle_{B}^{(N+1)}......... (5-2)

또는

gif.latex?a_{s}\\\\,\\\\mathcal{S}\\\\Big(|s\\\\rangle\\\\otimes|s_{1}\\\\rangle\\\\otimes|s_{2}\\\\rangle\\\\otimes\\\\cdots\\\\otimes|s_{N-1}\\\\rangle\\\\Big) = \\\\sqrt{N} \\\\,n_{s}\\\\, \\\\mathcal{S}\\\\Big(|s_{1}\\\\rangle\\\\otimes|s_{2}\\\\rangle\\\\otimes\\\\cdots\\\\otimes|s_{N-1}\\\\rangle\\\\Big) .........(6-1)
gif.latex?a_{s}^{\\\\dagger}\\\\,\\\\mathcal{S}\\\\Big(|s_{1}\\\\rangle\\\\otimes|s_{2}\\\\rangle\\\\otimes\\\\cdots\\\\otimes|s_{N}\\\\rangle\\\\Big) = \\\\frac{1}{\\\\sqrt{N+1}}\\\\, \\\\mathcal{S}\\\\Big(|s\\\\rangle\\\\otimes|s_{1}\\\\rangle\\\\otimes|s_{2}\\\\rangle\\\\otimes\\\\cdots\\\\otimes|s_{N}\\\\rangle\\\\Big) .........(6-2)

여기서 gif.latex?\\\\small \\\\inline n_{s} 는 creation/annihilation operator가 가해지는 양자상태에 포함되어 있는 single-particle state  gif.latex?\\\\small \\\\inline |s\\\\rangle의 개수를 의미한다.

위에서 creation/annihilation operator를 정의한 데에는 한 가지 미흡한 부분이 있는데, 바로 single-particle state에 annihilation operator를 가하면 무엇이 나오는지 결정하지 않았다는 점이다. 이를 정하기 위해서는 입자가 하나도 없는 상황에 해당하는 양자상태를 생각할 필요가 있으며, 이것을 vacuum state라고 부르고 보통  gif.latex?\\\\small \\\\inline |0\\\\rangle으로 표시한다. 이때, single-particle state에 대한 annihilation operator의 작용을 다음과 같이 정의한다.

gif.latex?a_{r}|s\\\\rangle =\\\\delta_{rs}|0\\\\rangle...............(7-1)

이것의 adjoint는 다음과 같다.

gif.latex?a_{r}^{\\\\dagger} |0\\\\rangle = |r\\\\rangle................(7-2)

추가로, vacuum state에 annihilation operator를 가하면 0을 얻는다.

gif.latex?a_{r}|0\\\\rangle=0.......................(7-3)

이때 식 (5-1)~(7-3)로부터 다음이 성립함을 보일 수 있다. gif.latex?\\\\small \\\\inline a_{s}^{\\\\dagger}a_{s}가 number operator가 됨에 주목하자.

gif.latex?a_{s}^{\\\\dagger}a_{s}|s_{1},s_{2},\\\\ldots,s_{N}\\\\rangle_{B}^{(N)} = n_{s} |s_{1},s_{2},\\\\ldots,s_{N}\\\\rangle_{B}^{(N)}..........(8-1)
gif.latex?a_{s}a_{s}^{\\\\dagger}\\\\,|s_{1},s_{2},\\\\ldots,s_{N}\\\\rangle_{B}^{(N)} = (n_{s}\\\\!+1)\\\\,|s_{1},s_{2},\\\\ldots,s_{N}\\\\rangle_{B}^{(N)}......(8-2)

지금까지의 정의에 따르면 gif.latex?\\\\small \\\\inline agif.latex?\\\\small \\\\inline a^{\\\\dagger}는 다음의 commutation relation을 만족한다.

gif.latex?[a_{r},a_{s}^{\\\\dagger}] = \\\\delta_{rs} ..............(9-1)
gif.latex?[a_{r},a_{s}] = [a_{r}^{\\\\dagger}, a_{s}^{\\\\dagger}]=0 ............... (9-2)

이때, 식 (4)와 (5-1) 및 (5-2)를 비교하면, 임의의 gif.latex?\\\\small \\\\inline N에 대해 다음이 성립함을 알 수 있다.

gif.latex?\\\\hat{O}_{rs}^{(N)} |s_{1},s_{2},\\\\ldots,s_{N}\\\\rangle_{B}^{(N)} = a_{r}^{\\\\dagger}a_{s} |s_{1},s_{2},\\\\ldots,s_{N}\\\\rangle_{B}^{(N)} .............(10)

위 식은 매우 중요한 의의를 가지는데, 이는 곧 임의의 gif.latex?\\\\small \\\\inline N에 대해  gif.latex?\\\\small \\\\inline a_{r}^{\\\\dagger}a_{s} 이  1-particle operator의 building block과 동등함을 의미하기 때문이다.


(3) 2-particle operator의 표현

그렇다면 2-particle operator 역시 creation/annihilation operator의 특정 조합과 동등할까? 이 질문에 대한 답을 구하기 위해 식 (4)에서와 비슷하게 building block인  gif.latex?\\\\small \\\\inline \\\\hat{O}_{r,r^{\\\\prime};s,s^{\\\\prime}}^{(N)}을 특정 양자상태에 가해 볼 수도 있지만, 우선 이를 다음과 같이 1-particle operator의 building block들로 나타내는 것이 더 편리하다.

gif.latex?\\\\\\\\ \\\\hat{O}_{r,r^{\\\\prime};s,s^{\\\\prime}}^{(N)} = \\\\sum_{\\\\substack{i,j=1\\\\\\\\i\\\\neq j}}^{N}|r\\\\rangle\\\\langle s|_{i} \\\\!\\\\otimes\\\\! |r^{\\\\prime}\\\\rangle\\\\langle s^{\\\\prime}|_{j} \\\\otimes \\\\bigotimes_{\\\\substack{k=1\\\\\\\\k\\\\neq i,j}}^{N}\\\\textbf{1}_{k}\\\\\\\\\\\\\\\\ = \\\\sum_{\\\\substack{i,j=1\\\\\\\\i\\\\neq j}}^{N}\\\\Big[|r\\\\rangle\\\\langle s|_{i} \\\\otimes \\\\bigotimes_{\\\\substack{k=1\\\\\\\\k\\\\neq i}}^{N}\\\\textbf{1}_{k}\\\\Big]\\\\Big[|r^{\\\\prime}\\\\rangle\\\\langle s^{\\\\prime}|_{j} \\\\otimes \\\\bigotimes_{\\\\substack{k=1\\\\\\\\k\\\\neq j}}^{N}\\\\textbf{1}_{k}\\\\Big]\\\\\\\\\\\\\\\\ =\\\\sum_{i,j=1}^{N}\\\\Big[|r\\\\rangle\\\\langle s|_{i} \\\\otimes \\\\bigotimes_{\\\\substack{k=1\\\\\\\\k\\\\neq i}}^{N}\\\\textbf{1}_{k}\\\\Big]\\\\Big[|r^{\\\\prime}\\\\rangle\\\\langle s^{\\\\prime}|_{j} \\\\otimes \\\\bigotimes_{\\\\substack{k=1\\\\\\\\k\\\\neq j}}^{N}\\\\textbf{1}_{k}\\\\Big] - \\\\sum_{i=1}^{N} \\\\delta_{r^{\\\\prime}s}|r\\\\rangle\\\\langle s^{\\\\prime}|_{i} \\\\otimes \\\\bigotimes_{\\\\substack{k=1\\\\\\\\k\\\\neq i}}^{N}\\\\textbf{1}_{k}\\\\\\\\\\\\\\\\ =\\\\hat{O}_{rs}^{(N)}\\\\hat{O}_{r^{\\\\prime}s^{\\\\prime}}^{(N)} - \\\\delta_{r^{\\\\prime}s}\\\\hat{O}_{r s^{\\\\prime}}^{(N)}............(11)
(두 번째 줄에서 세 번째 줄로 넘어갈 때, 원래는 summation에 없었던 i=j 항을 더해서 i와 j에 대한 full summation으로 만든 뒤 이를 바로 뒤에서 도로빼 주었다.)

이에 따라 다음이 성립한다.

gif.latex?\\\\\\\\ \\\\hat{O}_{r,r^{\\\\prime};s,s^{\\\\prime}}^{(N)} |s_{1},s_{2},\\\\ldots,s_{N}\\\\rangle_{B}^{(N)} = \\\\Big(\\\\hat{O}_{rs}^{(N)} \\\\hat{O}_{r^{\\\\prime}s^{\\\\prime}}^{(N)} - \\\\delta_{r^{\\\\prime}s}\\\\hat{O}_{r s^{\\\\prime}}^{(N)}\\\\Big) |s_{1},s_{2},\\\\ldots,s_{N}\\\\rangle_{B}^{(N)}\\\\\\\\ =\\\\Big(a_{r}^{\\\\dagger}a_{s}a_{r^{\\\\prime}}^{\\\\dagger}a_{s^{\\\\prime}}- \\\\delta_{r^{\\\\prime}s} a_{r}^{\\\\dagger}a_{s^{\\\\prime}} \\\\Big)|s_{1},s_{2},\\\\ldots,s_{N}\\\\rangle_{B}^{(N)}\\\\\\\\ =\\\\Big(a_{r}^{\\\\dagger}\\\\big([a_{s},a_{r^{\\\\prime}}^{\\\\dagger}]+a_{r^{\\\\prime}}^{\\\\dagger}a_{s}\\\\big)a_{s^{\\\\prime}}- \\\\delta_{r^{\\\\prime}s} a_{r}^{\\\\dagger}a_{s^{\\\\prime}} \\\\Big)|s_{1},s_{2},\\\\ldots,s_{N}\\\\rangle_{B}^{(N)}\\\\\\\\\\\\\\\\ = a_{r}^{\\\\dagger}a_{r^{\\\\prime}}^{\\\\dagger}a_{s^{\\\\prime}}a_{s} |s_{1},s_{2},\\\\ldots,s_{N}\\\\rangle_{B}^{(N)}.............(12)
(마지막 줄에서 gif.latex?\\\\small a_{s}와 gif.latex?\\\\small a_{s^{\\\\prime}}의 위치를 굳이 바꿔 쓴 것은, 당장은 불필요한 일이지만 나중에 다룰 fermion의 경우와 유사한 형태를 만들기 위함이다.)

이로써 우리는 2-particle operator의 building block 역시 creation 및 annihilation operator의 특정 조합과 동등함을 보였다. 상응하는 과정을 통해, 3-particle, 4-particle operator 등에 대해서도 비슷한 식이 만족됨을 보일 수 있다. 예를 들어,

gif.latex?\\\\hat{O}_{r,r^{\\\\prime},r^{\\\\prime\\\\prime};s,s^{\\\\prime},s^{\\\\prime\\\\prime}}^{(N)} |s_{1},s_{2},\\\\ldots,s_{N}\\\\rangle_{B}^{(N)} = a_{r}^{\\\\dagger}a_{r^{\\\\prime}}^{\\\\dagger}a_{r^{\\\\prime\\\\prime}}^{\\\\dagger}a_{s^{\\\\prime\\\\prime}}a_{s^{\\\\prime}}a_{s}|s_{1},s_{2},\\\\ldots,s_{N}\\\\rangle_{B}^{(N)}.


(4) Change of basis

이제까지 creation/annihilation operator들은 single-particle Hilbert space gif.latex?\\\\small \\\\inline \\\\mathcal{H}의 특정 orthonormal basis gif.latex?\\\\small \\\\inline \\\\mathfrak{B}를 기준으로 정의되었다. 즉, gif.latex?\\\\small \\\\inline a_{r}은  gif.latex?\\\\small \\\\inline |r\\\\rangle \\\\in \\\\mathfrak{B} 에 대한 annihilation operator인 것이다. 한편, 또 다른 orthonormal basis gif.latex?\\\\small \\\\inline \\\\mathfrak{B}^{\\\\prime}를 기준으로 creation/annihilation operator를 정의할 수도 있을 것이다. 예를 들어 gif.latex?\\\\small \\\\inline |\\\\alpha\\\\rangle\\\\in\\\\mathfrak{B}^{\\\\prime}에 대한 annihilation operator인 gif.latex?\\\\small \\\\inline a_{\\\\alpha}를 생각할 수 있을 것인데, 그렇다면 gif.latex?\\\\small \\\\inline a_{r}과 gif.latex?\\\\small \\\\inline a_{\\\\alpha} 사이의 변환 관계는 어떻게 될까? 이를 유추하는 가장 간단한 방법은 다음과 같이 single-particle state 간의 basis 변환에서 시작하는 것이다.

gif.latex?\\\\\\\\ |\\\\alpha\\\\rangle=\\\\sum_{r}|r\\\\rangle\\\\langle r|\\\\alpha\\\\rangle \\\\ \\\\rightarrow \\\\ a_{r}^{\\\\dagger}|0\\\\rangle = \\\\Big(\\\\sum_{r}\\\\langle r|\\\\alpha\\\\rangle \\\\,a_{r}^{\\\\dagger}\\\\Big)|0\\\\rangle\\\\\\\\\\\\\\\\ \\\\stackrel{?}{\\\\rightarrow} \\\\ a_{\\\\alpha}^{\\\\dagger} = \\\\sum_{r}\\\\langle r|\\\\alpha\\\\rangle \\\\,a_{r}^{\\\\dagger}\\\\\\\\\\\\\\\\ \\\\rightarrow \\\\ a_{\\\\alpha} = \\\\sum_{r}\\\\langle \\\\alpha|r\\\\rangle \\\\,a_{r}.....................(13)
(둘째 줄에서 셋째 줄로 넘어갈 때, 양변의 adjoint를 취하였음.)
여기서 gif.latex?\\\\small \\\\inline |r\\\\rangle \\\\in \\\\mathcal{B} 이고 gif.latex?\\\\small \\\\inline |\\\\alpha\\\\rangle\\\\in\\\\mathfrak{B}^{\\\\prime} 임에 유의하자. 위의 유도과정은 결과만 보면 맞으나, 올바른 증명이 아니라 "쉽게 기억하는 방법"에 해당하며, ?로 표시한 단계가 제대로 정당화되지 않았다. Operator 사이의 관계식이 성립함을 증명하려면, 모든 가능한 state에 대해서 해당 관계식이 성립함을 보여야 하는데, 위에서는 오직 vacuum state에 대해서만 확인하였기 때문이다. Vacuum state 외의 경우에도 이것이 성립함은 다음과 같이 증명할 수 있다.

gif.latex?\\\\\\\\a_{\\\\alpha}^{\\\\dagger} \\\\,\\\\mathcal{S}\\\\Big(|s_{1}\\\\rangle\\\\otimes|s_{2}\\\\rangle\\\\otimes\\\\cdots\\\\otimes|s_{N}\\\\rangle\\\\Big)\\\\\\\\ =\\\\sum_{\\\\alpha_{1},\\\\ldots,\\\\alpha_{N}}a_{\\\\alpha}^{\\\\dagger}\\\\,\\\\mathcal{S}\\\\Big(|\\\\alpha_{1}\\\\rangle\\\\otimes|\\\\alpha_{2}\\\\rangle\\\\otimes\\\\cdots\\\\otimes|\\\\alpha_{N}\\\\rangle\\\\Big) \\\\langle\\\\alpha_{1}|s_{1}\\\\rangle \\\\langle\\\\alpha_{2}|s_{2}\\\\rangle \\\\ldots \\\\langle\\\\alpha_{N}|s_{N}\\\\rangle\\\\\\\\ =\\\\frac{1}{\\\\sqrt{N+1}}\\\\sum_{\\\\alpha_{1},\\\\ldots,\\\\alpha_{N}}\\\\mathcal{S}\\\\Big(|\\\\alpha\\\\rangle\\\\otimes|\\\\alpha_{1}\\\\rangle\\\\otimes|\\\\alpha_{2}\\\\rangle\\\\otimes\\\\cdots\\\\otimes|\\\\alpha_{N}\\\\rangle\\\\Big) \\\\langle\\\\alpha_{1}|s_{1}\\\\rangle \\\\langle\\\\alpha_{2}|s_{2}\\\\rangle \\\\ldots \\\\langle\\\\alpha_{N}|s_{N}\\\\rangle\\\\\\\\ =\\\\frac{1}{\\\\sqrt{N+1}}\\\\,\\\\mathcal{S}\\\\Big(|\\\\alpha\\\\rangle\\\\otimes|s_{1}\\\\rangle\\\\otimes|s_{2}\\\\rangle\\\\otimes\\\\cdots\\\\otimes|s_{N}\\\\rangle\\\\Big)
gif.latex?\\\\\\\\ =\\\\frac{1}{\\\\sqrt{N+1}}\\\\sum_{r} \\\\,\\\\mathcal{S}\\\\Big(|r\\\\rangle\\\\otimes|s_{1}\\\\rangle\\\\otimes|s_{2}\\\\rangle\\\\otimes\\\\cdots\\\\otimes|s_{N}\\\\rangle\\\\Big) \\\\langle r|\\\\alpha\\\\rangle\\\\\\\\\\\\\\\\ = \\\\Big(\\\\sum_{r} \\\\langle r|\\\\alpha\\\\rangle \\\\,a_{r}^{\\\\dagger}\\\\Big) \\\\,\\\\mathcal{S}\\\\Big(|s_{1}\\\\rangle\\\\otimes|s_{2}\\\\rangle\\\\otimes\\\\cdots\\\\otimes|s_{N}\\\\rangle\\\\Big)\\\\\\\\\\\\\\\\ Q.E.D.


이어지는 글들: