양자장론 문서 원본 보기

{{위키데이터 속성 추적}}
[[파일:Schwinger pair production.svg|섬네일|강하고 일정한 [[전기장]] 하에서는 [[전자]]와 [[양전자]]가 자발적으로 생성된다.]]
{{양자장론}}

[[물리학]]에서 '''양자장론'''(量子場論, {{문화어|량자마당론}}, {{llang|en|quantum field theory, '''QFT'''}}) 혹은 '''양자 마당 이론'''은 [[장 (물리학)|장]]을 통해 물리 현상을 기술하는 양자 이론이다. [[입자물리학]]이나 [[응집물질물리학]] 등의 이론적인 바탕을 이룬다.<ref name="peskin">{{서적 인용 |last1=Peskin |first1=M. |author-link=Michael Peskin |last2=Schroeder |first2=D.
 |year=1995
 |title=An Introduction to Quantum Field Theory
 |url=https://books.google.com/books?id=i35LALN0GosC
 |publisher=Westview Press
 |isbn=978-0-201-50397-5 }}</ref>{{rp|xi}}  좁은 의미에서는 양자장론은 [[양자역학]]과 [[특수 상대성이론]]을 결합한 이론이다. [[양자 전기역학]]이나 [[표준 모형]]이 대표적인 예다. 넓은 의미에서는 비상대론적이지만 양자화된 장을 다루는 이론도 포함한다. 응집물질물리학에서 다루는 양자장론이 이 경우에 속한다. 주요한 예로 [[BCS 이론]] 등이 있다.

== 역사 ==
{{본문|양자장론의 역사}}
역사적으로 양자장론은 [[양자역학]]과 [[특수 상대성이론]]을 결합하려는 시도에서 비롯되었다. 비상대론적으로, 양자역학은 [[슈뢰딩거 방정식]]으로 기술된다. 슈뢰딩거 방정식은 여러 방법을 통해 상대론적인 기술이 가능한데, 이렇게 하면 [[클라인-고든 방정식]]이나 [[디랙 방정식]]을 얻는다. 그러나 이 방정식들은 다입자적(입자의 개수가 시간에 대해 일정해서)으로 해석하기 힘들다. 이를 다입자적으로 해석하면 음의 확률 내지 음의 에너지를 갖는 입자 등 비상식적인 결과를 얻는다.

이 문제를 풀기 위해 '''이차 양자화'''(二次量子化, {{lang|en|second quantization}})라는 개념이 도입되었다. 이는 처음에는 이미 양자화를 거친 [[파동 함수]]를 다시 양자화하는 것으로 생각되었다. 이에 따라, 이론을 단(單)입자 이론에서 다(多)입자 이론으로 재해석한다. 이렇게 하면 이론의 여러 비상식적인 결론을 없앨 수 있다. 예를 들어, 단입자 이론에서의 음의 확률은 다입자 이론에서 [[반입자]]의 [[파동 함수]]로 재해석한다.

오늘날 이차 양자화는 양자 파동 함수를 거듭 양자화하는 것이 아니라, 사실 고전적인 장을 한 번 양자화하는 것으로 여겨진다. 즉, 양자장론은 고전장론을 [[양자화 (물리학)|양자화]]한 것이다. 예를 들어, 고전역학에선 [[전자기학|맥스웰 이론]]의 [[전자기장]], [[일반상대론]]의 [[중력장]]([[계량 텐서]]) 등 여러 장을 다루는데 이런 장은 고전적이다. 즉, 장의 값이 가환(혹은 [[그라스만 수|그라스만]] 장의 경우 반가환)한다. 이를 양자화하여 장을 [[연산자]] 값을 가지게 한다. 맥스웰 이론을 양자화하면 [[양자 전기역학]]을 얻고, 일반상대론을 양자화하면 여러 가지의 [[양자 중력]] 이론을 얻는다.

=== 양자전기역학 ===
[[파일:Magnet0873.png|섬네일|250픽셀|[[철가루]]를 사용하여 자석 주위의 [[자기장]]을 시각화하는 모습. 철가루는 자석 주위에 흩어지면 자기장의 방향에 따라 정렬된다. 이때 자석 위에 종이를 놓고 그 위에 철가루를 뿌리면 철가루가 자기장의 방향을 따라 정렬되어 고리 형태로 나타난다. 이를 통해 관찰자들은 자석의 극과 자석이 생성하는 자기장을 명확하게 볼 수 있다.]]

1920년대에 전자기장이 유일하게 알려진 고전장이었기 때문에 양자장론은 자연스럽게 전자기 상호작용에 대한 연구와 함께 시작되었다.{{R|shifman}}

1925~1926년 보른, 하이젠베르크, [[파스쿠알 요르단]]의 작업을 통해 자유 전자기장(물질과 상호작용이 없는 것)의 양자 이론은 전자기장을 일련의 [[양자 조화 진동자]]로 취급하여 표준 양자화를 통해 개발되었다.{{R|shifman}} 그러나 상호작용을 배제한 그러한 이론은 현실 세계에 대한 정량적 예측을 할 수 없었다.<ref name="weinberg">{{저널 인용 |last=Weinberg |first=Steven |author-link=스티븐 와인버그 |date=1977 |title=The Search for Unity: Notes for a History of Quantum Field Theory |url=https://archive.org/details/sim_daedalus_fall-1977_106_4/page/n32 |journal=Daedalus |volume=106 |issue=4 |pages=17–35 |jstor=20024506 }}</ref>

그의 중요한 1927년 논문 《''The quantum theory of the emission and absorption of radiation''》 에서 디랙은 자유 전자기장을 설명하는 용어에 [[전류 밀도]]와 [[전자기 퍼텐셜|전자기 벡터]] 사이의 추가 상호 작용 용어를 추가하는 이론인 [[양자 전기역학]]이라는 용어를 만들었다. 그는 1차 [[섭동 이론 (양자역학)|섭동 이론]]을 사용하여 자발적 방출 현상을 성공적으로 설명했다. 양자역학의 [[불확정성 원리]]에 따르면 양자 조화 진동자는 정지 상태를 유지할 수 없지만 최소 에너지가 0이 아니므로 가장 낮은 에너지 상태([[바닥 상태]])에서도 항상 진동해야 한다. 따라서 완전한 [[진공]] 상태에서도 [[영점 에너지]]를 갖는 진동하는 전자기장이 남아 있다. 원자의 전자에 의한 자발적인 복사 방출을 "자극"시키는 것은 진공에서 전자기장의 이러한 [[양자 요동]]이다. 디랙의 이론은 원자에 의한 방사선의 방출과 흡수 모두를 설명하는 데 큰 성공을 거두었다. 2차 섭동 이론을 적용하여 광자의 [[산란]], [[공명형광]] 및 비상대론적 [[콤프턴 산란]]을 설명할 수 있었다. 그럼에도 불구하고 고차 섭동 이론의 적용은 계산에서 문제가 있는 무한대에 시달렸다.<ref name="weisskopf">{{저널 인용|제목=The development of field theory in the last 50 years|저널=[[Physics Today]]|성=Weisskopf|이름=Victor|저자링크=Victor Weisskopf|날짜=November 1981|권=34|호=11|쪽=69–85|bibcode=1981PhT....34k..69W|doi=10.1063/1.2914365}}</ref>{{참고 쪽|71}}

1928년에 디랙은 상대론적 전자를 설명하는 [[파동 방정식]]인 [[디랙 방정식]]을 작성했다. 그것은 다음과 같은 중요한 결과를 낳았다. 전자의 [[G-상수|''g'' 상수]]는 2이고 [[스핀 (물리학)|스핀]]은 1/2이다. 그것은 수소 원자의 [[미세 구조]]에 대한 올바른 좀머펠트 공식으로 이어졌다. 상대론적 콤프턴 산란에 대한 클레인-니시나 공식을 유도하는 데 사용할 수 있다. 그 결과는 결실을 맺었지만 이 이론은 원자가 방사선 방출에 의해 항상 더 낮은 에너지 상태로 붕괴할 수 있기 때문에 원자를 불안정하게 만드는 음의 에너지 상태의 존재를 분명히 암시했다.<ref name="weisskopf" />{{참고 쪽|71–72}}

당시 지배적인 견해는 세계가 물질 입자(예: 전자)와 [[장 (물리학)|양자장]](예: 광자)이라는 아주 다른 두 가지 성분으로 구성되어 있다는 것이었다. 물질 입자는 주어진 공간 영역이나 속도 범위에서 각 입자를 찾을 확률로 설명되는 물리적 상태와 함께 영원한 것으로 간주되었다. 반면에 광자는 기본 양자화된 전자기장의 [[들뜬 상태]]일 뿐이며 자유롭게 생성되거나 파괴될 수 있다. 1928년에서 1930년 사이에 요르단, [[유진 위그너]], 하이젠베르크, 파울리, [[엔리코 페르미]]는 물질 입자가 양자장의 들뜬 상태로 보일 수도 있음을 발견했다. 광자가 양자화된 전자기장의 여기 상태인 것처럼 각 유형의 입자에는 전자장, 양성자장 등 해당하는 양자장이 있다. 충분한 에너지가 주어지면 이제 물질 입자를 생성할 수 있다. 이 아이디어를 바탕으로 페르미는 1932년에 페르미의 상호 작용으로 알려진 [[베타 붕괴]]에 대한 설명을 제안했다. [[원자핵]]은 ''그 자체로'' 전자를 포함하지 않지만 붕괴 과정에서 주변 전자장에서 전자가 생성된다. 이는 들뜬 원자의 복사 붕괴에서 주변 전자기장에서 생성된 광자와 유사하다.{{R|weinberg}}

1929년 디랙 등은 전자와 질량은 같지만 전하가 반대인 입자가 존재한다고 가정하면 디랙 방정식에 의해 음의 에너지 상태가 제거될 수 있음을 깨달았다. 이것은 원자의 안정성을 보장했을 뿐만 아니라 [[반물질]]의 존재에 대한 최초의 제안이기도 했다. 실제로, [[양전자]]에 대한 증거는 1932년 [[칼 데이비드 앤더슨]]에 의해 [[우주선 (물리)|우주선]]에서 발견되었다. 광자를 흡수하는 것과 같은 충분한 에너지로 전자-양전자 쌍이 생성될 수 있으며, 이 과정을 [[쌍생성]]이라고 한다. 반대 과정인 소멸은 광자 방출과 함께 발생할 수도 있다. 이것은 상호 작용 중에 입자 번호를 고정할 필요가 없음을 보여주었다. 그러나 역사적으로 양전자는 처음에는 새로운 종류의 입자가 아니라 무한한 전자 바다에 있는 "구멍"으로 생각되었으며, 이 이론을 ‘디랙 구멍 이론’이라고 한다.<ref name="weisskopf" /> {{참고 쪽|72}}{{R|weinberg}} 양자장론은 자연스럽게 공식화에 반입자를 통합했다.{{R|weinberg}}

=== 무한대 및 재규격화 ===
[[로버트 오펜하이머]]는 1930년에 양자전기역학의 고차 섭동 계산이 항상 전자 자체 에너지와 전자 및 광자 장의 진공 영점 에너지와 같은 무한한 양을 초래한다는 것을 보여주었다.<ref name="weisskopf" /> 시간은 매우 높은 운동량을 가진 광자와 관련된 상호 작용을 적절하게 처리할 수 없다.{{R|weinberg}} 20년이 지나서야 그러한 무한대를 제거하기 위한 체계적인 접근 방식이 개발되었다.

에른스트 슈튀켈베르크는 1934년에서 1938년 사이에 양자장론의 상대론적 불변 공식을 확립한 일련의 논문을 발표했다. 1947년 슈튀켈베르크는 완전한 재규격화 절차도 독립적으로 개발했다. 그러한 업적은 이론 공동체에 의해 이해되고 인정되지 않았다.<ref name="weisskopf" />

이러한 무한대에 직면한 [[존 아치볼드 휠러]]와 하이젠베르크는 각각 1937년과 1943년에 소위 [[S행렬 이론]]으로 문제가 있는 양자장론을 대체할 것을 제안했다. 미시적 상호작용의 구체적인 세부 사항은 관측으로 접근할 수 없기 때문에 이론은 상호 [[관측가능량|작용]]의 미시적 세부 사항에 관심을 갖기보다는 상호작용에서 소수의 관찰 가능 항목(''예:'' 원자 에너지) 간의 관계를 설명하려고 시도해야 한다. 1945년에 [[리처드 파인만|파인만]]과 휠러는 과감하게 양자장론을 완전히 포기하고 입자 상호 작용의 메커니즘으로 원거리 작용을 제안했다.{{R|weinberg}}

1947년에 [[윌리스 유진 램|윌리스 램]]과 로버트 러더포드는 [[램 이동]]이라고도 하는 수소 원자의 <sup>2</sup>S<sub>1/2</sub> 및 <sup>2</sup>P''1/2'' ''에너지'' 준위의 미세한 차이를 측정했다. 에너지가 전자 질량을 초과하는 광자의 기여를 무시함으로써 [[한스 베테]]는 성공적으로 램 이동의 수치를 추정했다.<ref name="weisskopf" />{{R|weinberg}} 이어서 노르만 크롤, 램, 제임스 프렌치 및 [[빅토어 바이스코프]]는 무한대가 다른 무한대를 취소하여 유한한 수량을 생성하는 접근 방식을 사용하여 이 값을 다시 확인했다. 그러나 이 방법은 서투르고 신뢰할 수 없으며 다른 계산으로 일반화할 수 없다.<ref name="weisskopf" />

돌파구는 결국 1950년경 [[줄리언 슈윙거]], [[리처드 파인만]], [[프리먼 다이슨]], [[도모나가 신이치로]]가 무한대를 제거하는 보다 강력한 방법을 개발하면서 이루어졌다. 주요 아이디어는 질량과 전하의 계산된 값을 유한한 측정값으로 대체하는 것이다. 이 체계적인 계산 절차는 [[재규격화]]로 알려져 있으며 섭동 이론에서 임의의 순서에 적용될 수 있다.<ref name="weisskopf" /> 도모나가는 그의 노벨 강연에서 다음과 같이 말했다.

{{인용문-테두리|장 반응으로 인해 수정된 질량과 전하의 일부는 [무한이 되기] 때문에 이론으로 계산하는 것은 불가능하다. 그러나 실험에서 관찰되는 질량과 전하는 원래의 질량과 전하가 아니라 장반응에 의해 변형된 질량과 전하이며 유한하다. 한편, 이론에서 나타나는 질량과 전하는… 그렇기 때문에, 특히 이론이 수정된 질량과 전하를 계산할 수 없기 때문에 현상학적으로 실험 값을 대입하는 절차를 채택할 수 있다... 이 절차를 질량 및 전하의 재표준화라고 한다... 슈윙거보다 덜 숙련된 길고 힘든 계산 끝에 우리는 결과를 얻었다... [그] 미국인의 것과 일치했다.|도모나가 신이치로<ref>{{저널 인용|제목=Development of Quantum Electrodynamics|저널=Science|성=Tomonaga|이름=Shinichiro|url=https://www.nobelprize.org/prizes/physics/1965/tomonaga/lecture/|연도=1966|권=154|호=3751|쪽=864–868|bibcode=1966Sci...154..864T|doi=10.1126/science.154.3751.864|pmid=17744604}}</ref>}}

재규격화 절차를 적용하여 최종적으로 전자의 비정상적인 자기 모멘트 (2에서 전자 [[G-상수|''g'' 계수]]의 편차) 및 진공 분극을 설명하기 위한 계산이 이루어졌다. 이 결과는 실험적 측정치와 놀라울 정도로 일치하여 "무한대와의 전쟁"의 종식을 알렸다.<ref name="weisskopf" />

동시에 파인만은 양자 역학과 [[파인만 도형]]의 [[경로 적분 공식화|경로 적분 공식]]을 도입했다.{{R|shifman}} 후자는 섭동 확장에서 용어를 시각적으로 직관적으로 구성하고 계산하는 데 사용할 수 있다. 각 도형은 상호작용에서 입자의 경로로 해석될 수 있으며 각 꼭지점과 선에는 해당 수학적 표현이 있으며 이러한 표현의 곱은 도형에 표시된 상호작용의 [[산란 진폭]]을 제공한다.{{R|peskin}}

재규격화 절차와 파인만 도형의 발명과 함께 양자장론은 마침내 완전한 이론적 프레임워크로 부상했다.{{R|shifman}}

=== 재규격화 불가능성 ===
양자전기역학의 엄청난 성공을 감안할 때 많은 이론가들은 1949년 이후 몇 년 동안 양자장론이 곧 광자, 전자 및 양전자 사이의 상호 작용뿐만 아니라 모든 미시적 현상에 대한 이해를 제공할 수 있을 것이라고 믿었다. 이러한 낙관론과는 달리 양자장론은 거의 20년 동안 지속된 또 다른 침체기에 접어들었다.{{R|weinberg}}

첫 번째 장애물은 재규격화 절차의 제한된 적용 가능성이었다. 양자전기역학의 섭동 계산에서 작은(유한한) 물리량(즉, 전자의 질량과 전하)을 재정의하여 모든 무한한 양을 제거할 수 있다. 다이슨은 1949년에 양자전기역학이 그 예인 "재규격화 가능 이론"이라고 하는 작은 부류의 이론에서만 가능하다는 것을 증명했다. 그러나 [[약한 상호작용]]의 페르미 이론을 포함한 대부분의 이론은 "재규격화 불가능"하다. 이러한 이론에서 1차 이상의 섭동 계산은 유한한 수의 물리량을 재정의하여 제거할 수 없는 무한대를 초래한다.{{R|weinberg}}

두 번째 주요 문제는 섭동 이론의 급수 확장에 기반한 파인만 도형 방법의 제한된 유효성에서 비롯되었다. 급수가 수렴하고 저차 계산이 좋은 근사가 되려면 급수가 전개되는 [[결합 상수]]가 충분히 작아야 한다. 양자전기역학의 결합 상수는 [[미세 구조 상수]] {{수학|''α'' ≈ 1/137}}이며, 실제 계산에서는 가장 단순하고 가장 낮은 차수의 파인만 도형만 고려할 필요가 있을 정도로 작다. 대조적으로 [[강한 상호작용]]의 결합 상수는 대략 1 차수이므로 복소 고차 파인만 도형은 단순한 도형만큼 중요하다. 따라서 섭동 양자장론 방법을 사용하여 강력한 상호 작용에 대한 신뢰할 수 있는 정량적 예측을 도출할 방법이 없었다.{{R|weinberg}}

이러한 어려움이 다가오면서 많은 이론가들이 양자장론을 외면하기 시작했다. 일부는 [[대칭 (물리학)|대칭]] 원리와 [[보존 법칙]]에 초점을 맞추었고 다른 일부는 휠러와 하이젠베르크의 오래된 S-행렬 이론을 선택했다. 양자장론은 휴리스틱 방식으로 지침 원칙으로 사용되었지만 정량적 계산의 기초로는 사용되지 않았다.{{R|weinberg}}

=== 소스 이론 ===
그러나 슈윙거는 다른 길을 택했다. 10년 이상 동안 그와 그의 학생들은 장론의 거의 유일한 주창자였지만<ref>{{서적 인용|제목=Climbing the Mountain: The scientific biography of Julian Schwinger|성=Mehra and Milton|날짜=2000|출판사=Oxford University Press|쪽=454}}</ref> 1951년에<ref>{{저널 인용|제목=On the Green’s functions of quantized fields. I|저널=Proceedings of the National Academy of Sciences|성=Schwinger|이름=Julian|url=https://pnas.org/doi/full/10.1073/pnas.37.7.452|날짜=July 1951|권=37|호=7|쪽=452–455|언어=en|doi=10.1073/pnas.37.7.452|issn=0027-8424|pmc=1063400|pmid=16578383}}</ref><ref>{{저널 인용|제목=On the Green’s functions of quantized fields. II|저널=Proceedings of the National Academy of Sciences|성=Schwinger|이름=Julian|url=https://pnas.org/doi/full/10.1073/pnas.37.7.455|날짜=July 1951|권=37|호=7|쪽=455–459|언어=en|doi=10.1073/pnas.37.7.455|issn=0027-8424|pmc=1063401|pmid=16578384}}</ref> ''외부 소스''를 게이지 장에 결합되는 흐름으로 사용하는 새로운 방법으로 무한대 문제를 해결하는 방법을 찾았다.<ref>{{저널 인용|제목=The sources of Schwinger's Green's functions|저널=Proceedings of the National Academy of Sciences|성=Schweber|이름=Silvan S.|url=https://pnas.org/doi/full/10.1073/pnas.0405167101|날짜=2005-05-31|권=102|호=22|쪽=7783–7788|언어=en|doi=10.1073/pnas.0405167101|issn=0027-8424|pmc=1142349|pmid=15930139}}</ref> 이전 연구 결과에 동기를 부여받은 슈윙거는 라그랑주 승수로 알려진 구성 공간 매개변수에 외부 힘을 결합하는 [[라그랑주 역학|고전적 과정]]을 "양자적으로" 일반화하기 위해 이 접근 방식을 계속 추구했다. 그는 1966년에 자신의 소스 이론을 요약한 다음<ref>{{저널 인용|제목=Particles and Sources|저널=Phys Rev|성=Schwinger|이름=Julian|날짜=1966|권=152|호=4|쪽=1219|bibcode=1966PhRv..152.1219S|doi=10.1103/PhysRev.152.1219}}</ref> ''입자, 소스 및 장이라는 제목의 세 권의 책에서 양자 전기역학에 대한 이론의 적용을 확장했다.''<ref name="Perseus Books">{{서적 인용|제목=Particles, Sources and Fields vol. 1|성=Schwinger|이름=Julian|날짜=1998|출판사=Perseus Books|위치=Reading, MA|쪽=xi|isbn=0-7382-0053-0}}</ref><ref>{{서적 인용|제목=Particles, sources, and fields. 2|성=Schwinger|이름=Julian|날짜=1998|판=1. print|출판사=Advanced Book Program, Perseus Books|위치=Reading, Mass|isbn=978-0-7382-0054-5}}</ref><ref>{{서적 인용|제목=Particles, sources, and fields. 3|성=Schwinger|이름=Julian|날짜=1998|판=1. print|출판사=Advanced Book Program, Perseus Books|위치=Reading, Mass|isbn=978-0-7382-0055-2}}</ref> 새로운 관점이 가장 성공적으로 적용된 파이온 물리학의 발전은 그에게 수학적 단순성과 개념적 명확성의 큰 이점을 확신시켰다.<ref name="Perseus Books" />

소스 이론에는 발산이나 재규격화가 없다. 장론의 계산 도구로 간주될 수 있지만 더 일반적이다.<ref>{{서적 인용|제목=Proc of the 1967 Int. Conference on Particles and Fields|날짜=1967|편집자-성=C.R. Hagen|출판사=Interscience|위치=NY|쪽=128}}</ref> 소스 이론을 사용하여 슈윙거는 1947년에 수행한 전자의 비정상적인 자기 모멘트를 계산할 수 있었지만 이번에는 무한한 양에 대한 '혼란스러운 언급'이 없었다.<ref>{{서적 인용|제목=Climbing the Mountain: The scientific biography of Julian Schwinger|성=Mehra and Milton|날짜=2000|출판사=Oxford University Press|쪽=467}}</ref>

슈윙거는 또한 그의 양자장론 중력 이론에 소스 이론을 적용했으며 아인슈타인의 고전적인 네 가지 결과인 중력 적색 편이, 중력에 의한 빛의 편향 및 감속, 수성의 근일점 세차 운동을 모두 재현할 수 있었다.<ref>{{서적 인용|제목=Particles, Sources and Fields vol. 1|성=Schwinger|이름=Julian|날짜=1998|출판사=Perseus Bookks|위치=Reading, MA|쪽=82–85}}</ref> 물리학계에서 소스 이론을 무시한 것은 슈윙거에게 큰 실망이었다.

{{인용문-따옴표|다른 사람들이 이러한 사실을 인식하지 못하는 것은 우울하지만 이해할 수 있는 일이다.|줄리언 슈윙거<ref name="Perseus Books" />}}

=== 표준 모형 ===
[[파일:Standard_Model_of_Elementary_Particles.svg|섬네일|300x300픽셀|[[표준 모형]]의 [[기본 입자]]: 6가지 유형의 [[쿼크]], 6가지 유형의 [[경입자]], [[기본 상호작용]]을 수행하는 4가지 유형의 [[게이지 보손]], 기본 입자에 질량을 부여하는 [[힉스 보손]]]]
1954년에 [[양전닝]]과 [[로버트 밀스]]는 양자전기역학의 [[게이지 이론|국소적 대칭성]]을 일반화하여 보다 복잡한 국소적 대칭군을 기반으로 하는 [[양-밀스 이론|비-아벨 게이지 이론]](양-밀스 이론이라고도 함)을 발표했다.<ref name="thooft">{{서적 인용|제목=The Standard Theory of Particle Physics|성='t Hooft|이름=Gerard|저자링크=Gerard 't Hooft|날짜=2015-03-17|총서=Advanced Series on Directions in High Energy Physics|권=26|쪽=1–27|장=The Evolution of Quantum Field Theory|arxiv=1503.05007|bibcode=2016stpp.conf....1T|doi=10.1142/9789814733519_0001|isbn=978-981-4733-50-2}}</ref>{{참고 쪽|5}} 양자전기역학에서 (전기적으로) 하전된 입자는 광자 교환을 통해 상호 작용하는 반면, 비-아벨 게이지 이론에서는 새로운 유형의 "[[전하 (물리학)|전하]]"를 운반하는 입자가 질량이 없는 [[게이지 보손|게이지]] 보손의 교환을 통해 상호 작용한다. 광자와는 달리 이 게이지 보손 자체는 전하를 띤다.{{R|weinberg}}<ref>{{저널 인용|제목=Conservation of Isotopic Spin and Isotopic Gauge Invariance|저널=[[Physical Review]]|성=Yang|이름=C. N.|저자링크=Chen-Ning Yang|성2=Mills|이름2=R. L.|저자링크2=Robert Mills (physicist)|날짜=1954-10-01|권=96|호=1|쪽=191–195|bibcode=1954PhRv...96..191Y|doi=10.1103/PhysRev.96.191}}</ref>

[[셸던 리 글래쇼|셸던 글래쇼]]는 1960년에 전자기 상호작용과 약한 상호작용을 통합한 비-아벨 게이지 이론을 개발했다. 1964년에 [[압두스 살람]]과 존 클리브 워드는 다른 경로를 통해 동일한 이론에 도달했다. 그럼에도 불구하고 이 이론은 재규격화 불가능했다.<ref name="coleman">{{저널 인용|제목=The 1979 Nobel Prize in Physics|저널=[[Science (journal)|Science]]|성=Coleman|이름=Sidney|저자링크=Sidney Coleman|날짜=1979-12-14|권=206|호=4424|쪽=1290–1292|bibcode=1979Sci...206.1290C|doi=10.1126/science.206.4424.1290|jstor=1749117|pmid=17799637}}</ref>

[[피터 힉스]], [[로버트 브라우트]], [[프랑수아 앙글레르]], 제럴드 구랄닉, 카를 하겐 및 [[톰 키블]]은 유명한 ''Physical Review Letters''에 게재된 논문에서 양-밀스 이론의 게이지 대칭이 [[자발 대칭 깨짐|자발적 대칭 깨짐]]이라는 메커니즘에 의해 깨질 수 있다고 제안했다. 이 과정으로 게이지 보손은 질량을 얻을 수 있다.{{R|thooft}}

글래쇼, 살람 및 와드의 이전 이론과 자발적인 대칭 깨짐의 아이디어를 결합하여 [[스티븐 와인버그]]는 1967년에 모든 [[경입자]] 사이의 [[전기-약 작용|전기약한 상호 작용]]과 [[힉스 보손|힉스 입자]]의 효과를 설명하는 이론을 작성했다. 그의 이론은 처음에는 대부분 무시되었다.<ref name="coleman" />{{R|thooft}} 1971년 [[헤라르뒤스 엇호프트|제라드 호프트]]가 비-아벨 게이지 이론이 재규격화 가능하다는 증명에 의해 다시 빛을 발하기 전까지는 말이다. 와인버그와 살람의 약한 전기자 이론은 1970년 글래쇼, [[이오아니스 일리오풀로스|존 일리오풀로스]], 루치아노 마이아니에 의해 경입자에서 [[쿼크]]로 확장되어 완성되었다.<ref name="coleman" />

하랄드 프리치, [[머리 겔만]] 및 하인리히 로트윌러는 1971년에 [[강한 상호작용]]을 포함하는 특정 현상이 비-아벨 게이지 이론으로도 설명될 수 있음을 발견했다. [[양자 색역학]]이 탄생했다. 1973년에 [[데이비드 그로스]], [[프랭크 윌첵]] 및 [[데이비드 폴리처|휴 데이비드 폴리쳐]]는 비-아벨 게이지 이론이 "[[점근 자유성|점근적으로 자유롭다]]"는 것을 보여주었다. (비슷한 발견은 이전에도 여러 번 있었지만 대체로 무시되었다.){{R|thooft}} 따라서 적어도 고에너지 상호작용에서 양자 색역학의 결합 상수는 섭동 급수 확장을 보증하기에 충분히 작아져 강한 상호작용에 대한 정량적 예측이 가능하다.{{R|weinberg}}

이러한 이론적 돌파구는 양자장론의 르네상스를 가져왔다. 전기약력 이론과 색역학을 포함하는 전체 이론은 오늘날 소립자의 [[표준 모형]]이라고 한다.<ref>{{웹 인용|url=https://www.britannica.com/science/Standard-Model|제목=Standard model|성=Sutton|이름=Christine|저자링크=Christine Sutton|웹사이트=britannica.com|출판사=[[Encyclopædia Britannica]]|확인날짜=2018-08-14}}</ref> 표준 모형은 [[중력]]을 제외한 모든 [[기본 상호작용]]들을 성공적으로 설명하며, 그 많은 예측들은 이후 수십 년 동안 놀라운 실험적 확인을 받았다.{{R|shifman}} 자발적인 대칭 깨짐 메커니즘의 핵심인 [[힉스 보손]]이 마침내 2012년 [[유럽 입자 물리 연구소|CERN]]에서 발견되어 표준 모형의 모든 구성 요소의 존재를 완전히 검증했다.

=== 기타 발전 ===
1970년대에는 비-아벨 게이지 이론에서 비섭동적 방법이 개발되었다. [[엇호프트-폴랴코프 자기 홀극|엇호프트-폴랴코프 홀극]]은 이론적으로 엇호프트와 [[알렉산드르 마르코비치 폴랴코프|알렉산더 폴랴코프]]에 의해 플럭스 튜브는 [[홀거 벡 닐슨]]과 Poul Olesen에 의해 [[순간자|순간자는]] 폴랴코프와 공동 저자에 의해 발견되었다. 이러한 개체는 섭동 이론을 통해 접근할 수 없다.{{R|shifman}}

[[초대칭]]도 같은 기간에 나타났다. 최초의 4차원 초대칭 양자장론은 [[유리 골판드]]와 [[Evgeny Likhtman|이브게니 릭트만]]이 1970년에 만들었지만 [[철의 장막]]으로 인해 광범위한 관심을 끌지 못했다. 초대칭은 1973년 [[율리우스 베스]]와 [[브루노 추미노]]의 작업 이후에야 이론 커뮤니티에서 시작되었다.{{R|shifman}}

네 가지 기본 상호 작용 중에서 중력은 일관된 양자장론 설명이 부족한 유일한 것으로 남아 있다. [[양자 중력]] 이론에 대한 다양한 시도는 [[끈 이론]]의 발전으로 이어졌다.{{R|shifman}} [[등각 대칭]]을 갖는 2차원 양자장론의 한 유형이다.<ref name="polchinski1">{{서적 인용|제목=String Theory|성=Polchinski|이름=Joseph|저자링크=Joseph Polchinski|날짜=2005|권=1|출판사=Cambridge University Press|isbn=978-0-521-67227-6}}</ref> [[조엘 셰르크]]와 [[존 헨리 슈워츠|존 슈워츠]]는 끈 이론이 중력의 ''양자'' 이론이 될 수 있다고 1974년에 처음 제안했다.

=== 응집물질물리학 ===
양자장론은 소립자 사이의 상호 작용 연구에서 비롯되었지만 다른 물리적 계, 특히 [[응집물질물리학]]의 다체 계에 성공적으로 적용되었다.

역사적으로 자발적 대칭 깨짐의 힉스 메커니즘은 [[난부 요이치로]]가 [[초전도 현상|초전도체]] 이론을 기본 입자에 적용한 결과인 반면, 재규격화 개념은 물질의 2차 [[상전이]] 연구에서 나왔다.<ref>{{웹 인용|url=https://science.energy.gov/~/media/hep/pdf/Reports/HEP-BES_Roundtable_Report.pdf|제목=Common Problems in Condensed Matter and High Energy Physics|성=<!--Not stated-->|날짜=2015-02-02|웹사이트=science.energy.gov|출판사=Office of Science, [[U.S. Department of Energy]]|확인날짜=2018-07-18}}</ref>

광자가 도입된 직후 아인슈타인은 결정의 진동에 대한 양자화 절차를 수행하여 최초의 [[준입자]]인 [[포논]]을 생성했다. [[레프 란다우]]는 많은 응집 물질계에서 저에너지 여기가 일련의 준입자 사이의 상호작용으로 설명될 수 있다고 주장했다. 양자장론의 파인만 도형은 자연스럽게 응집 물질계의 다양한 현상 분석에 적합했다.<ref name="wilczek">{{저널 인용|제목=Particle Physics and Condensed Matter: The Saga Continues|저널=Physica Scripta|성=Wilczek|이름=Frank|저자링크=Frank Wilczek|날짜=2016-04-19|권=2016|호=T168|쪽=014003|arxiv=1604.05669|bibcode=2016PhST..168a4003W|doi=10.1088/0031-8949/T168/1/014003}}</ref>

게이지 이론은 초전도체의 [[자기 선속|자속]] 양자화, [[양자 홀 효과]]의 저항을, AC [[조지프슨 효과]]의 주파수와 전압 간의 관계를 설명하는 데 사용된다.<ref name="wilczek" />

== 입자와 장의 이중성 ==
양자장론에서는 [[입자물리학]]에서 다루는 [[광자]]와 [[전자]], [[쿼크]] 따위의 입자를 양자화한 장의 [[들뜸]]으로 해석한다. 예를 들어, 전자와 양전자는 전자장의 들뜸으로 나타낸다.

물리학의 오랜 의문 중 하나는 왜 양자수가 같은 두 입자는 절대로 구별할 수 없는지다. 예를 들어 양자수가 같은 두 뮤온은 모든 면에서 정확히 같고, 어느 실험으로도 구별할 수 없다. 모든 뮤온의 전하와 질량은 정확히 같다. 이에 반해 똑같은 과정을 거쳐 만들어진 두 자동차나 생명체는 비슷해 보이지만 여러 가지 미세한 차이가 있다. 이와 같은 동일함은 서로 다른 시각에 만들어진 입자에도 성립하는데 예를 들어 만들어진지 1초가 된 뮤온이나 1년이 지난 뮤온이나 다 남은 평균수명은 정확히 같다(다시 말해 입자는 늙지 않는다). 모든 입자를 해당하는 장의 들뜸으로 해석하면 왜 같은 종의 입자가 정확히 같은지 이해할 수 있다. 같은 종의 입자가 같은 이유는 그 입자가 개별적으로 존재하는 것이 아니라, 같은 개체(해당 입자 종의 장)의 일부분이기 때문이다.

고전역학에서는 입자 간의 상호작용을 마당으로 설명할 수 있다. 즉, 전자기력은 전자기장, 중력은 중력장으로 설명할 수 있다. 이는 양자장론에서도 마찬가지이다. 그러나 양자장론에서는 모든 장은 입자로 재해석할 수 있다. 즉, 입자 사이의 힘을 입자로 매개한다고 볼 수 있다. 예를 들어, 전자기장에 해당하는 입자는 [[광자]]고, 중력장에 해당하는 입자는 [[중력자]]다. 이로써 17세기부터 비롯된 [[빛]]이 입자인지 아니면 파동인지에 대한 문제에 대해 두 해석이 모두 맞다고 답할 수 있게 되었다.

== 양자장론에서의 계산법 ==
[[특수 상대성 이론|상대론]]적 양자장론은 일반적으로 [[라그랑지언]]으로 나타낸다([[양자역학]]에서 일반적으로 쓰이는 [[해밀토니언 (양자역학)|해밀토니언]]은 [[로런츠 변환|로런츠 공변]]하지 않는다). 주어진 라그랑지언으로부터 파인만 규칙을 얻는다. 양자장론에서 모든 실험적으로 측정 가능한 값은 [[산란 행렬]]로부터 계산할 수 있다. 산란 행렬은 [[파인만 도형]]의 합으로 계산할 수 있고, 파인먼 도형은 파인먼 규칙으로부터 계산한다.

고전적인 차원에서는 이와 같은 계산법은 간단하고 고전역학으로 계산한 값과 동일하다. 그러나 고리(loop)를 포함한 파인만 도형의 경우 대개 그 값이 [[발산 (벡터)|발산]]한다. 이를 고치기 위하여 우선 도형의 값을 [[조절 (물리학)|조절]]하여 그 발산하는 정도를 계산한 다음 그 발산을 이론의 라그랑지언에 든 [[상수]]([[결합 상수]], [[질량]] 등)로 집어넣는다. 이렇게 하면 이론의 각종 상수는 무한해지지만, 이론의 예측은 유한해진다. 이 과정을 [[재규격화]]라고 한다. 이렇게 하여 유한하게 만든 무한한 수의 파인만 도형을 더하면 산란 행렬의 값을 얻는다. 이렇게 하여 얻는 값은 역시 대개 발산하는데 이 경우 각종 방법으로 재합(再合, resummation)하여 유한하게 만든다.

== 구체적 설명 ==
표기의 단순성을 위해 다음 절에서는 [[플랑크 상수|디랙 상수]] <math>\hbar</math>와 [[빛의 속력|빛의 속도]] <math>c</math>가 모두 1로 설정된 자연 단위계가 사용된다.

=== 고전 분야 ===
{{본문|장 방정식}}

고전적인 [[장 (물리학)|장]]은 공간 및 시간 좌표의 [[함수]]이다.<ref name="tong1">{{괄호 없는 하버드 인용|Tong|2015|loc=Chapter 1}}</ref> 예를 들면 [[만유인력의 법칙|뉴턴 중력]] <math>\mathbf g(\mathbf x,t)</math>의 [[중력장]]과 [[고전 전자기학]]의 [[전기장]] <math>\mathbf E(\mathbf x,t)</math>과 [[자기장]] <math>\mathbf B(\mathbf x,t)</math>이 있다. 고전적인 장은 시간에 따라 변하는 공간의 모든 지점에 할당된 양으로 생각할 수 있다. 따라서 무한히 많은 [[자유도 (역학)|자유도]]를 가진다.<ref name="tong1" /><ref>In fact, its number of degrees of freedom is uncountable, because the vector space dimension of the space of continuous (differentiable, real analytic) functions on even a finite dimensional Euclidean space is uncountable. On the other hand, subspaces (of these function spaces) that one typically considers, such as Hilbert spaces (e.g. the space of square integrable real valued functions) or separable Banach spaces (e.g. the space of continuous real-valued functions on a compact interval, with the uniform convergence norm), have denumerable (i. e. countably infinite) dimension in the category of Banach spaces (though still their Euclidean vector space dimension is uncountable), so in these restricted contexts, the number of degrees of freedom (interpreted now as the vector space dimension of a dense subspace rather than the vector space dimension of the function space of interest itself) is denumerable.</ref>

양자 역학적 특성을 나타내는 많은 현상은 고전적 장만으로는 설명할 수 없다. [[광전 효과]]와 같은 현상은 공간적으로 연속적인 장이 아니라 불연속 입자([[광자]])로 가장 잘 설명된다. 양자장론의 목표는 수정된 장의 개념을 사용하여 다양한 양자 역학 현상을 설명하는 것이다.

정준 양자화 및 [[경로 적분 공식화|경로 적분]]은 양자장론의 두 가지 일반적인 공식이다.<ref name="zee">{{서적 인용|url=https://archive.org/details/isbn_9780691140346|제목=Quantum Field Theory in a Nutshell|성=Zee|이름=A.|저자링크=Anthony Zee|날짜=2010|출판사=Princeton University Press|isbn=978-0-691-01019-9}}</ref> {{참고 쪽|61}}양자장론의 기초에 동기를 부여하기 위해 다음은 고전장론의 개요이다.

가장 단순한 고전적 장은 시간에 따라 변하는 공간의 모든 지점에서 [[실수]]인 실수 [[스칼라장]]이다. 이것은 <math>\phi(\mathbf x,t)</math>로 표시된다. 여기서 <math>\mathbf x</math>는 위치 벡터이고 <math>t</math>는 시간이다. 장의 [[라그랑지언]] <math>L</math>이

: <math>L = \int d^3x\,\mathcal{L} = \int d^3x\,\left[\frac 12 \dot\phi^2 - \frac 12 (\nabla\phi)^2 - \frac 12 m^2\phi^2\right]</math>

라 하자. 여기서 <math>\mathcal{L}</math>는 라그랑지안 밀도, <math>\dot\phi</math>는 장의 시간 미분 도함수이고 <math>\nabla</math>는 기울기 연산자이며 <math>m</math>은 실 매개변수(장의 "질량")이다. 라그랑지언에 [[오일러-라그랑주 방정식]]을 적용하면{{R|peskin}}

: <math>\frac{\partial}{\partial t} \left[\frac{\partial\mathcal{L}}{\partial(\partial\phi/\partial t)}\right] + \sum_{i=1}^3 \frac{\partial}{\partial x^i} \left[\frac{\partial\mathcal{L}}{\partial(\partial\phi/\partial x^i)}\right] - \frac{\partial\mathcal{L}}{\partial\phi} = 0,</math>

시간과 공간에서 변화하는 방식을 설명하는 장의 [[운동 방정식]]

: <math>\left(\frac{\partial^2}{\partial t^2} - \nabla^2 + m^2\right)\phi = 0</math>

을 얻는다. 이것은 [[클라인-고든 방정식]]으로 알려져 있다.{{R|peskin}}

클라인-고든 방정식은 [[파동 방정식]]이므로 그 해는 다음과 같이 정상 모드 ([[푸리에 변환]]을 통해 얻음)의 합으로 표현할 수 있다.

: <math>\phi(\mathbf{x}, t) = \int \frac{d^3p}{(2\pi)^3} \frac{1}{\sqrt{2\omega_{\mathbf{p}}}}\left(a_{\mathbf{p}} e^{-i\omega_{\mathbf{p}}t + i\mathbf{p}\cdot\mathbf{x}} + a_{\mathbf{p}}^* e^{i\omega_{\mathbf{p}}t - i\mathbf{p}\cdot\mathbf{x}}\right),</math>

여기서 <math>a</math>는 [[복소수]] (관습에 의해 정규화됨)이고, {{수학|*}}는 [[켤레 복소수]]를 나타내며, <math>w_\mathbf {p}</math>는 정상 모드의 주파수이다.

: <math>\omega_{\mathbf{p}} = \sqrt{|\mathbf{p}|^2 + m^2}.</math>

따라서 단일 <math>\mathbf {p}</math>에 해당하는 각 일반 모드는 주파수 <math>w_\mathbf {p}</math>를 갖는 고전적인 [[조화 진동자]]로 볼 수 있다.{{R|peskin}}

=== 정준 양자화 ===
{{본문|정준 양자화}}

위에서 다룬 고전 장에서 양자 연산자 장으로의 양자화 절차는 고전 조화 진동자를 [[양자 조화 진동자]]로 승격하는 것과 비슷하다.

고전적인 조화 진동자의 변위는 다음과 같이 설명된다.

: <math>x(t) = \frac{1}{\sqrt{2\omega}} a e^{-i\omega t} + \frac{1}{\sqrt{2\omega}} a^* e^{i\omega t}.</math>

여기서 <math>a</math>는 복소수(관례에 따라 정규화됨)이고 <math>\omega</math>는 진동자의 주파수이다. <math>x</math>는 양자장의 공간 레이블 <math>\mathbf x</math>와 혼동하지 말고 평형 위치에서 단순 조화 진동을 하는 입자의 변위이다.

양자 조화 진동자의 경우 <math>x(t)</math>가 [[선형 변환|선형 연산자]] <math>\hat x(t)</math>로 승격된다:

: <math>\hat x(t) = \frac{1}{\sqrt{2\omega}} \hat a e^{-i\omega t} + \frac{1}{\sqrt{2\omega}} \hat a^\dagger e^{i\omega t}.</math>

복소수 <math>a</math>와 <math>a^*</math>는 각각 소멸 연산자 <math>\hat a</math>와 생성 연산자 <math>\hat a^\dagger</math>로 대체된다. 여기서 {{수학|†}}는 [[에르미트 수반]]을 나타낸다. 둘 사이의 교환 관계는

: <math>\left[\hat a, \hat a^\dagger\right] = 1.</math>

단순 조화 진동자의 [[해밀토니언 (양자역학)|해밀토니언]]은 다음과 같이 쓸 수 있다.

: <math>\hat H = \hbar\omega \hat{a}^\dagger \hat{a} +\frac{1}{2}\hbar\omega.</math>

가장 낮은 에너지 상태인 진공 상태 <math>|0\rang</math>는

: <math>\hat a|0\rang = 0</math>

과 같이 정의되고 에너지 <math>\frac12\hbar\omega</math>를 가지고 있다. <math>[\hat H, \hat{a}^\dagger]=\hbar\omega</math>임을 쉽게 확인할 수 있다. 이는 <math>\hat{a}^\dagger</math>가 단순 조화 진동자의 에너지를 <math>\hbar\omega</math>으로 증가시킨다는 뜻이다. 예를 들어, 상태 <math>\hat{a}^\dagger|0\rang</math>는 에너지 <math>3\hbar\omega/2</math>의 고유 상태이다. 단순 조화 진동자의 모든 에너지 고유 상태 상태는 <math>|0\rang</math>에 생성 연산자 <math>\hat a^\dagger</math>를 계속 적용하여 얻을 수 있다.: {{R|peskin}} 계의 모든 상태는 다음 상태들의 선형 결합으로 표현될 수 있다:

: <math>|n\rang \propto \left(\hat a^\dagger\right)^n|0\rang.</math>

실 스칼라 장 <math>\phi</math>를 양자 장 연산자 <math>\hat\phi</math>로 승격하여 유사한 절차를 적용할 수 있다. 반면 소멸 연산자 <math>\hat a_{\mathbf{p}}</math>, 생성 연산자 <math>\hat a_{\mathbf{p}}^\dagger</math> 및 각 주파수 <math>w_\mathbf {p}</math>는 이제 특정 <math>\mathbf {p}</math>에 대한 것이다.

: <math>\hat \phi(\mathbf{x}, t) = \int \frac{d^3p}{(2\pi)^3} \frac{1}{\sqrt{2\omega_{\mathbf{p}}}}\left(\hat a_{\mathbf{p}} e^{-i\omega_{\mathbf{p}}t + i\mathbf{p}\cdot\mathbf{x}} + \hat a_{\mathbf{p}}^\dagger e^{i\omega_{\mathbf{p}}t - i\mathbf{p}\cdot\mathbf{x}}\right).</math>

이들의 교환 관계는 다음과 같다. {{R|peskin}}

: <math>\left[\hat a_{\mathbf p}, \hat a_{\mathbf q}^\dagger\right] = (2\pi)^3\delta(\mathbf{p} - \mathbf{q}),\quad \left[\hat a_{\mathbf p}, \hat a_{\mathbf q}\right] = \left[\hat a_{\mathbf p}^\dagger, \hat a_{\mathbf q}^\dagger\right] = 0,</math>

여기서 {{수학|''δ''}}는 [[디랙 델타 함수]]이다. 진공 상태 <math>|0\rang</math>는

: <math>\hat a_{\mathbf p}|0\rang = 0,\quad \text{for all }\mathbf p.</math>

로 정의된다. 장의 모든 양자 상태는 <math>|0\rang</math>에 생성 연산자 <math>\hat a_{\mathbf{p}}^\dagger</math>를 계속 적용하여서 얻을 수 있다. (또는 그러한 상태들의 선형 결합에 의해), 예를 들어{{R|peskin}}

: <math>\left(\hat a_{\mathbf{p}_3}^\dagger\right)^3 \hat a_{\mathbf{p}_2}^\dagger \left(\hat a_{\mathbf{p}_1}^\dagger\right)^2 |0\rang.</math>

단일 양자 조화 진동자의 상태 공간에는 진동하는 한 입자의 모든 불연속 에너지 상태가 포함되는 반면, 양자장의 상태 공간에는 임의 개수의 입자의 불연속 에너지 준위가 포함된다. 후자의 공간은 상대론적 양자 계에서 입자 수가 고정되지 않는다는 사실을 설명할 수 있는 [[포크 공간]]으로 알려져 있다.<ref>{{저널 인용|제목=Konfigurationsraum und zweite Quantelung|저널=Zeitschrift für Physik|성=Fock|이름=V.|저자링크=Vladimir Fock|날짜=1932-03-10|권=75|호=9–10|쪽=622–647|언어=de|bibcode=1932ZPhy...75..622F|doi=10.1007/BF01344458}}</ref> 단일 입자가 아닌 임의의 수의 입자를 양자화하는 과정을 종종 [[정준 양자화|이차 양자화]]라고도 한다.{{R|peskin}}

앞의 절차는 비상대론적 양자 역학의 직접적인 적용이며 (복소) 스칼라 장, 디랙 장{{R|peskin}} , [[벡터장]](''예:'' 전자기장), 심지어 [[끈 이론|끈]]<ref>{{서적 인용|url=https://archive.org/details/stringtheorymthe00beck_649|제목=String Theory and M-Theory|성=Becker|이름=Katrin|성2=Becker|이름2=Melanie|저자링크2=Melanie Becker|날짜=2007|출판사=Cambridge University Press|쪽=[https://archive.org/details/stringtheorymthe00beck_649/page/n53 36]|isbn=978-0-521-86069-7|성3=Schwarz|이름3=John H.|저자링크3=John Henry Schwarz}}</ref>을 양자화하는 데 사용할 수 있다. 그러나 생성 및 소멸 연산자는 상호 작용이 없는 가장 단순한 이론(소위 자유 이론)에서만 잘 정의된다. 실 스칼라 장의 경우, 이러한 연산자의 존재는 고전적인 운동 방정식의 해를 정규 모드의 합으로 분해한 결과였다. 현실적인 상호 작용 이론에 대한 계산을 수행하려면 [[섭동 이론 (양자역학)|섭동 이론]]이 필요하다.

자연의 모든 양자장의 라그랑지언은 자유 이론 항에 추가하여 상호 작용 항을 포함한다. 예를 들어 [[사승 상호작용]] 항은 실 스칼라 장의 라그랑지언에 도입될 수 있다:{{R|peskin}}

: <math>\mathcal{L} = \frac 12 (\partial_\mu\phi)\left(\partial^\mu\phi\right) - \frac 12 m^2\phi^2 - \frac{\lambda}{4!}\phi^4.</math>

여기서 <math>\mu</math>는 시공간 첨자이고, <math>\partial_0 = \partial/\partial t,\ \partial_1 = \partial/\partial x^1</math> 등이다. 첨자 <math>\mu</math>에 대한 합 기호는 [[아인슈타인 표기법]]에 따라 생략되었다. 매개변수 <math>\lambda</math>가 충분히 작으면 위의 라그랑지언에 의해 설명된 상호 작용 이론은 자유 이론의 작은 섭동으로 간주될 수 있다.

=== 경로 적분 ===
{{본문|경로 적분 공식화}}

양자장론의 [[경로 적분 공식화]]는 연산자 및 상태 공간의 설정보다는 특정 상호 작용 과정의 [[산란 진폭]]을 직접 계산하는 것과 관련이 있다. 계가 초기 상태 <math>|\phi_I\rang</math>, <math>t=0</math>에서 어떤 최종 상태 <math>|\phi_F\rang</math>, <math>t=T</math>로 진화할 [[확률 진폭]]을 계산하기 위해 총 시간 <math>T</math>를 <math>N</math>개의 작은 간격으로 나눈다. 전체 진폭은 모든 중간 상태에 대해 적분된 각 간격 내의 진화 진폭의 곱이다. <math>H</math>를 [[해밀토니언 (양자역학)|해밀토니언]](''즉'', [[시간 변화|시간 진화의 생성자]])이라고 하면{{R|zee}}

: <math>\lang \phi_F|e^{-iHT}|\phi_I\rang = \int d\phi_1\int d\phi_2\cdots\int d\phi_{N-1}\,\lang \phi_F|e^{-iHT/N}|\phi_{N-1}\rang\cdots\lang \phi_2|e^{-iHT/N}|\phi_1\rang\lang \phi_1|e^{-iHT/N}|\phi_I\rang.</math>

{{수학|''N'' → ∞}} 극한을 취하는 경우 위의 적분 곱은 파인만 경로 적분이 된다.{{R|peskin|zee}}

: <math>\lang \phi_F|e^{-iHT}|\phi_I\rang = \int \mathcal{D}\phi(t)\,\exp\left\{i\int_0^T dt\,L\right\},</math>

여기서 <math>L</math>은 [[르장드르 변환]]을 통해 해밀토니안 {{수학|''H''}} 에서 얻은 공간 및 시간 좌표에 대한 {{수학|''ϕ''}} 및 그 도함수를 포함하는 라그랑지언이다. 경로 적분의 초기 조건과 최종 조건은 각각 다음과 같다.

: <math>\phi(0) = \phi_I,\quad \phi(T) = \phi_F.</math>

즉, 전체 진폭은 초기 상태와 최종 상태 사이의 가능한 모든 경로의 진폭에 대한 합이며, 여기서 경로의 진폭은 피적분 함수의 지수로 제공된다.

=== 2점 상관 함수 ===
{{본문|상관 함수 (양자장론)}}

계산하다 보면 자유 또는 상호 작용 이론 각각에서 다음과 같은 표현을 자주 접하게 된다.<math display="block">\lang 0|T\{\phi(x)\phi(y)\}|0\rang
\quad \text{or} \quad
\lang \Omega |T\{\phi(x)\phi(y)\}|\Omega \rang </math>여기서, <math>x</math>, <math>y</math>는 위치 [[사차원 벡터|4-벡터]], <math>T</math>는 피연산자를 섞어서 <math>x^0</math>와 <math>y^0</math>가 오른쪽에서 왼쪽으로 증가하고 <math>|\Omega\rang</math>가 자유 바닥 상태 <math>| 0 \rang</math>와는 다른 상호 작용 이론의 바닥 상태(진공 상태)이도록 만드는 시간 순서 연산자이다. 이 표현식은 장이 <math>y</math>에서 <math>x</math>로 전파되는 확률 진폭을 나타내며 2점 [[전파 인자]], 2점 [[상관 함수 (양자장론)|상관 함수]], 2점 [[그린 함수]] 또는 짧게 2점 함수와 같은 여러 이름으로 사용된다.{{R|peskin}}

[[전파 인자|파인만 전파인자]]라고도 하는 자유 2점 함수는 정준 양자화 또는 경로 적분에 의해 {{R|peskin|zee}}

: <math>\lang 0|T\{\phi(x)\phi(y)\} |0\rang \equiv D_F(x-y) = \lim_{\epsilon\to 0} \int\frac{d^4p}{(2\pi)^4} \frac{i}{p_\mu p^\mu - m^2 + i\epsilon} e^{-ip_\mu (x^\mu - y^\mu)}.</math>

이 되는 실 스칼라 장에 대해 찾을 수 있다.

라그랑지안 또는 해밀토니언이 상호 작용을 설명하는 <math>L_I(t)</math>나 <math>H_I(t)</math> 항을 포함하는 상호 작용 이론에서 2점 함수는 정의하기가 더 어렵다. 그러나 정준 양자화 공식화와 경로 적분 공식화를 통해 ''자유'' 2점 함수의 섭동 무한 급수을 통해 표현할 수 있다.

정준 양자화에서 2점 상관 함수는 다음과 같이 쓸 수 있다.{{R|peskin|page1=87}}

: <math>\lang\Omega|T\{\phi(x)\phi(y)\}|\Omega\rang = \lim_{T\to\infty(1-i\epsilon)} \frac{\left\lang 0\left|T\left\{\phi_I(x)\phi_I(y)\exp\left[-i\int_{-T}^T dt\, H_I(t)\right]\right\}\right|0\right\rang}{\left\lang 0\left|T\left\{\exp\left[-i\int_{-T}^T dt\, H_I(t)\right]\right\}\right|0\right\rang},</math>

여기서 <math>\varepsilon</math>은 [[무한소]]이고 <math>\phi_I</math>는 자유 이론 하에서 장 연산자이다. 여기서 [[지수 함수|지수함수]]는 [[멱급수]] 확장으로 이해되어야 한다. 예를 들어, <math>\phi^4</math> -이론에서 해밀토니언의 상호 작용 항은 <math display="inline">H_I(t) = \int d^3 x\,\frac{\lambda}{4!}\phi_I(x)^4</math>과 같다.{{R|peskin}} 그리고 <math>\lambda</math>에 대한 2점 상관자의 확장은<math display="block">\lang\Omega|T\{\phi(x)\phi(y)\}|\Omega\rang = 
\frac{
  \displaystyle \sum_{n=0}^\infty \frac{(-i \lambda)^n}{(4 !)^n n !} \int d^4 z_1 \cdots \int d^4 z_n \lang 0|T\{\phi_I(x)\phi_I(y)\phi_I(z_1)^4\cdots\phi_I(z_n)^4\}|0\rang}{
  \displaystyle \sum_{n=0}^\infty \frac{(-i \lambda)^n}{(4 !)^n n !} \int d^4 z_1 \cdots \int d^4 z_n \lang 0|T\{         \phi_I(z_1)^4\cdots\phi_I(z_n)^4\}|0\rang
}. </math>이 된다. 이 섭동 확장은 상호 작용하는 2점 함수를 ''자유'' 이론에서 계산되는 양 <math>\lang 0 | \cdots | 0 \rang</math>으로 표현한다.

경로 적분 공식에서 2점 상관 함수는 다음과 같이 쓸 수 있다 {{R|peskin|page1=284}}

: <math>\lang\Omega|T\{\phi(x)\phi(y)\}|\Omega\rang = \lim_{T\to\infty(1-i\epsilon)} \frac{\int\mathcal{D}\phi\,\phi(x)\phi(y)\exp\left[i\int_{-T}^T d^4z\,\mathcal{L}\right]}{\int\mathcal{D}\phi\,\exp\left[i\int_{-T}^T d^4z\,\mathcal{L}\right]}.</math>

여기서 <math>\mathcal{L}</math>는 라그랑지언 밀도이다. 이전 문단에서와 같이 지수는 {{수학|''λ''}}의 계열로 확장될 수 있으며 상호 작용하는 2점 함수를 자유 이론의 양으로 줄이다.

[[윅 정리|윅의 정리]]는 자유 이론의 {{수학|''n''}} 점 상관 함수를 2점 상관 함수의 곱의 합으로 더 줄인다. 예를 들어,

: <math>\begin{align}
\lang 0|T\{\phi(x_1)\phi(x_2)\phi(x_3)\phi(x_4)\}|0\rang &= \lang 0|T\{\phi(x_1)\phi(x_2)\}|0\rang \lang 0|T\{\phi(x_3)\phi(x_4)\}|0\rang\\
&+ \lang 0|T\{\phi(x_1)\phi(x_3)\}|0\rang \lang 0|T\{\phi(x_2)\phi(x_4)\}|0\rang\\
&+ \lang 0|T\{\phi(x_1)\phi(x_4)\}|0\rang \lang 0|T\{\phi(x_2)\phi(x_3)\}|0\rang.
\end{align}</math>

상호작용하는 상관 함수는 자유 상관 함수로 표현될 수 있기 때문에 (섭동적) 상호작용 이론에서 모든 물리량을 계산하기 위해서는 자유 상관 함수만 계산하면 된다.{{R|peskin|page1=90}} 이것은 파인만 전파인자를 양자장론에서 가장 중요한 양 중 하나로 만든다.

=== 파인만 도형 ===
{{본문|파인만 도형}}

상호 작용 이론의 상관 함수는 섭동 급수로 작성할 수 있다. 시리즈의 각 용어는 자유 이론의 파인만 전파인자의 산물이며 [[파인만 도형]]으로 시각적으로 나타낼 수 있다. 예를 들어, <math display="inline">\phi^4</math> 이론에서 2점 상관 함수의 <math display="inline">\lambda^1</math>항은

: <math>\frac{-i\lambda}{4!}\int d^4z\,\lang 0|T\{\phi(x)\phi(y)\phi(z)\phi(z)\phi(z)\phi(z)\}|0\rang.</math>

윅의 정리를 적용한 후 용어 중 하나는 다음과 같다.

: <math>12\cdot \frac{-i\lambda}{4!}\int d^4z\, D_F(x-z)D_F(y-z)D_F(z-z).</math>

이 용어는 대신 파인만 도형에서 얻을 수 있다.

: [[파일:Phi-4_one-loop.svg|200x200픽셀]] .

이 도형은 다음으로 구성된다.

* 하나의 가장자리와 연결되고 점으로 표시되는 ''외부 꼭지점'' (여기서는 <math>x</math>, <math>y</math> ).
* 네 개의 모서리와 연결되고 점으로 표시되는 ''내부 꼭지점'' (여기서는 <math>z</math> ).
* 꼭지점을 연결하고 선으로 표시되는 ''모서리'' .

모든 꼭지점은 시공간에서 해당 지점의 단일 <math>\phi</math> 장 인자에 해당한다. 가장자리는 시공간 지점 사이의 전파 인자에 해당한다. 도형에 해당하는 섭동 급수의 항은 소위 파인만 규칙에서 다음과 같은 식을 적어서 얻는다.

# 모든 내부 꼭지점 <math>z_i</math>에 대해, 인자 <math display="inline">-i \lambda \int d^4 z_i</math>을 적는다.
# 두 꼭지점 <math>z_i</math>, <math>z_j</math>을 연결하는 모든 모서리에 대해 인자 <math>D_F(z_i-z_j)</math>을 적는다.
# 도형의 대칭 인자로 나눈다.

대칭 인자 <math>2</math>로 이러한 규칙을 따르면 정확히 위의 표현식이 생성된다. 전파 인자를 푸리에 변환함으로써 파인만 규칙은 위치 공간에서 운동량 공간으로 재구성될 수 있다.{{R|peskin|page1=91–94}}

<math>k</math> 차수에 대한 <math>n</math>-점 상관 함수를 계산하기 위해 <math>n</math>개의 외부 점과 <math>k</math>개 이하의 꼭지점이 있는 모든 유효한 파인만 도형을 나열한 다음 파인만 규칙을 사용하여 각 항에 대한 식을 얻는다. 정확히 말하자면,

: <math>\lang\Omega|T\{\phi(x_1)\cdots\phi(x_n)\}|\Omega\rang</math>

<math>n</math>개의 외부 점이 있는 연결된 모든 도형(에 해당하는 표현)의 합과 같다. (연결 도형은 모든 꼭지점이 모서리를 통해 외부 점에 연결되는 도형이다. 외부 회선과 완전히 분리된 구성 요소를 "진공 기포"라고도 한다.) 위에서 논의한 <math display="inline">\phi^4</math> 상호 작용 이론에서 모든 꼭지점에는 네 개의 다리가 있어야 한다.{{R|peskin}}

실제 적용에서 특정 상호 작용의 산란 진폭 또는 입자의 [[방사성 붕괴|감쇠 속도]]는 [[산란 행렬|S-행렬]] 에서 계산할 수 있으며 자체적으로 파인만 도형을 사용하여 찾을 수 있다.{{R|peskin}}

"루프"가 없는 파인만 도형은 최부분 상호 작용 프로세스를 설명하는 트리 수준 도형이라고 한다. <math>n</math> 루프를 포함하는 것은 <math>n</math> 루프 도형이라고 하며 이는 상호 작용에 대한 고차 기여 또는 복사 보정을 설명한다.{{R|zee}} 끝점이 꼭지점인 선은 [[가상 입자]]의 전파로 생각할 수 있다.{{R|peskin}}

=== 재규격화 ===
{{본문|재규격화}}

파인만 규칙을 사용하여 트리 수준 도형을 직접 평가할 수 있다. 그러나 위에 표시된 것과 같은 루프 도형의 순진한 계산은 발산 모멘텀 적분을 초래할 것이며, 이는 섭동 확장의 거의 모든 항이 무한함을 암시하는 것처럼 보인다. [[재규격화]] 절차는 이러한 무한대를 제거하기 위한 체계적인 과정이다.

질량 <math display="inline">m</math>과 결합 상수 <math display="inline">\lambda</math>와 같은 라그랑지안의 매개변수는 물리적 의미가 없다. <math display="inline">m</math>, <math display="inline">\lambda</math>, 장 강도 <math display="inline">\phi</math>는 실험으로 측정할 수 없는 양이며, 각각 bare mass, bare coupling constant, bare field로 불린다. 물리적 질량과 결합 상수는 어떤 상호작용에서는 측정되며, 일반적으로 bare quantity와 다르다. 이 상호 작용 과정에서 물리량을 계산하는 동안 발산 운동량 적분의 영역을 운동량 컷오프 <math display="inline">\Lambda</math> 미만으로 제한하고 물리량에 대한 표현을 얻은 다음 극한 <math display="inline">\Lambda\rightarrow\infty</math> 취할 수 있다. 이것은 양자장론에서 발산을 처리하는 방식들인 [[조절 (물리학)|조절]]의 예이며 <math display="inline">\Lambda</math>가 조절자이다.

계산에는 질량 및 결합 상수와 같은 기본 수량만 포함되므로 위에 설명된 접근 방식을 단순 섭동 이론이라고 한다. 재규격화 섭동 이론이라고 하는 다른 접근법은 맨 처음부터 물리적으로 의미 있는 양을 사용하는 것이다. <math display="inline">\phi^4</math> 이론의 경우 먼저 장 강도를 재정의한다.

: <math>\phi = Z^{1/2}\phi_r,</math>

여기서 <math display="inline">\phi</math> 는 bare field, <math display="inline">\phi_r</math>은 재규격화된 장, {{수학|''Z''}}는 결정할 상수이다. 라그랑지언 밀도는 다음과 같다.

: <math>\mathcal{L} = \frac 12 (\partial_\mu\phi_r)(\partial^\mu\phi_r) - \frac 12 m_r^2\phi_r^2 - \frac{\lambda_r}{4!}\phi_r^4 + \frac 12 \delta_Z (\partial_\mu\phi_r)(\partial^\mu\phi_r) - \frac 12 \delta_m\phi_r^2 - \frac{\delta_\lambda}{4!}\phi_r^4</math>

여기서 {{수학|''m<sub>r</sub>''}} 및 {{수학|''λ<sub>r</sub>''}}은 각각 실험적으로 측정 가능하고 재규격화된 질량 및 결합 상수이며,

: <math>\delta_Z = Z-1,\quad \delta_m = m^2Z - m_r^2,\quad \delta_\lambda = \lambda Z^2 - \lambda_r</math>

는 결정해야 할 상수이다. 처음 세 항은 재규격화된 양으로 작성된 <math display="inline">\phi^4</math> 라그랑지언 밀도이며, 후자의 세 항은 "반대항"이라고 한다. 이제 라그랑지언에 더 많은 항이 포함되어 있으므로 파인만 도형에는 각각 고유한 파인만 규칙이 있는 추가 요소가 포함되어야 한다. 절차는 다음과 같이 설명된다. 먼저 조절 체계(예: 위에서 소개한 컷오프 조절 또는 [[차원 조절]])를 선택한다. 조절자를 <math display="inline">\Lambda</math>로 부르고, 발산 항이 <math display="inline">\Lambda</math>에 따라 달라지는 파인만 도형을 계산한다. 그런 다음 <math display="inline">\Lambda\rightarrow\infty</math> 극한이 취해질 때 반대항에 대한 파인만 도형이 일반 파인만 도형에서 분기 항을 정확히 취소하도록 <math display="inline">\delta_Z,\delta_m,\delta_\lambda</math>를 정의한다. 이러한 방식으로 의미 있는 유한 수량을 얻는다.{{R|peskin}}

재정의 가능한 이론에서는 유한한 결과를 얻기 위해 모든 무한대를 제거하는 것이 가능하지만 재규격화 불가능한 이론에서는 소수의 매개변수를 재정의하여 무한대를 제거할 수 없다. 기본 입자의 [[표준 모형]]은 재규격화 가능한 양자장론{{R|peskin}}이다 반면 [[양자 중력]]은 재규격화할 수 없다.{{R|peskin|zee}}

==== 재규격화군 ====
{{본문|재규격화군}}

[[케네스 G. 윌슨|케네스 윌슨]]이 개발한 [[재규격화군]]은 계를 다른 척도에서 볼 때 물리적 매개변수(라그랑지안 계수)의 변화를 연구하는 데 사용되는 수학적 장치이다.{{R|peskin}} 규모에 따라 각 매개변수가 변경되는 방식은 ''<math display="inline">\beta</math>'' [[베타 기능(물리)|함수]]로 설명된다.{{R|peskin}} 정량적 물리적 예측의 기초가 되는 상관 함수는 칼란-시만직 방정식에 따라 규모에 따라 변경된다.{{R|peskin}}

예를 들어 양자전기역학의 결합 상수, 즉 [[기본 전하]] ''<math display="inline">e</math>''에 대해 다음과 같은 ''<math display="inline">\beta</math>'' 함수를 갖는다.

: <math>\beta(e) \equiv \frac{1}{\Lambda}\frac{de}{d\Lambda} = \frac{e^3}{12\pi^2} + O\mathord\left(e^5\right),</math>

여기서 <math display="inline">\Lambda</math>는 ''<math display="inline">e</math>''의 측정이 수행되는 에너지 규모이다. 이 [[미분방정식]]은 눈금이 증가함에 따라 관찰된 기본 전하가 증가함을 의미한다. 에너지 규모에 따라 변하는 재규격화 결합 상수는 실행 결합 상수라고도 한다.{{R|peskin|page1=420}}

[[양자 색역학|대칭군]] <math display="inline">\text{SU}(3)</math>에 기초한 비-아벨 게이지 이론인 양자 색역학의 결합 상수 ''<math display="inline">g</math>'' 다음과 같은 ''<math display="inline">\beta</math>'' 함수를 가진다.

: <math>\beta(g) \equiv \frac{1}{\Lambda}\frac{dg}{d\Lambda} = \frac{g^3}{16\pi^2}\left(-11 + \frac 23 N_f\right) + O\mathord\left(g^5\right),</math>

여기서 ''<math display="inline">N_f</math>''는 [[쿼크]] [[맛깔]]의 수이다. ''<math display="inline">N_f\leq 16</math>''인 경우(표준 모형은 ''<math display="inline">N_f=6</math>'' ), 결합상수 ''<math display="inline">g</math>''는 에너지 규모가 커짐에 따라 감소한다. 따라서 강한 상호 작용은 낮은 에너지에서 강하지만 높은 에너지 상호 작용에서는 아주 약해진다. 이는 [[점근 자유성|점근적 자유]]로 알려진 현상이다. {{R|peskin}}

[[등각 장론]]은 [[등각 대칭]]을 인정하는 특수 양자장론이다. 모든 커플링 상수는 소멸되는 ''<math display="inline">\beta</math>'' 함수를 가지므로 규모의 변화에 둔감한다. (그러나 그 반대는 사실이 아니다. 모든 ''<math display="inline">\beta</math>'' 함수가 사라진다는 것이 이론의 등각 대칭을 의미하지는 않는다.)<ref>{{저널 인용|제목=The Holographic Dictionary for Beta Functions of Multi-trace Coupling Constants|저널=Journal of High Energy Physics|성=Aharony|이름=Ofer|성2=Gur-Ari|이름2=Guy|날짜=2015-05-19|권=2015|호=5|쪽=31|arxiv=1501.06664|bibcode=2015JHEP...05..031A|doi=10.1007/JHEP05(2015)031|성3=Klinghoffer|이름3=Nizan}}</ref> 예로는 [[끈 이론]]<ref name="polchinski12">{{서적 인용|제목=String Theory|성=Polchinski|이름=Joseph|저자링크=Joseph Polchinski|날짜=2005|권=1|출판사=Cambridge University Press|isbn=978-0-521-67227-6}}</ref> 및 [[𝒩=4 초대칭 양-밀스 이론|{{수학|''N'' {{=}} 4}} 초대칭 양-밀스 이론]]이 있다.

윌슨 묘사에 따르면 모든 양자장론은 기본적으로 에너지 컷오프 <math display="inline">\Lambda</math>를 동반한다. ''즉'', 이론이 <math display="inline">\Lambda</math> 보다 높은 에너지에서는 더 이상 유효하지 않으며 <math display="inline">\Lambda</math> 규모 이상의 모든 자유도는 생략된다. 예를 들어, 컷오프는 응집 물질계에서 원자 간격의 역수일 수 있으며 소립자 물리학에서는 중력의 양자 요동으로 인해 발생하는 시공간의 근본적인 "거칠기"와 관련될 수 있다. 입자 상호 작용 이론의 컷오프 규모는 현재 실험을 훨씬 뛰어넘는다. 이론이 그 규모에서 아주 복잡하더라도 그 결합이 충분히 약한 한 재규격화 가능한 [[유효 이론|유효 장론]]에 의해 낮은 에너지에서 설명되어야 한다.{{R|peskin}} 재규격화 가능 이론과 재규격화 불가능 이론의 차이점은 전자는 높은 에너지의 세부 사항에 둔감한 반면 후자는 세부 사항에 의존한다는 것이다.{{R|shifman}} 이 견해에 따르면, 재규격화 불가능 이론은 보다 근본적인 이론의 에너지 효율이 낮은 이론으로 여겨져야 한다. 그러한 이론의 계산에서 컷오프 <math display="inline">\Lambda</math>를 제거하지 못하는 것은 새로운 물리적 현상이 <math display="inline">\Lambda</math> 이상의 규모에서 나타나며 새로운 이론이 필요하다는 것을 나타낸다.{{R|zee}}

=== 다른 이론들 ===
이전 절에서 설명한 양자화 및 재규격화 절차는 실수 스칼라 장의 자유 이론 및 [[사승 상호작용|{{수학|''ϕ''<sup>4</sup>}} 이론]]에 대해 수행된다. [[복소수|복소]] 스칼라 장, [[벡터장]] 및 디랙 장을 포함한 다른 유형의 장와 전자기 상호 작용 및 [[유카와 상호작용]]을 포함한 다른 유형의 상호 작용 항에 대해 유사한 프로세스를 수행할 수 있다.

예를 들어 [[양자 전기역학]]은 [[전자|전자기장]]을 나타내는 디랙 장 <math display="inline">\psi</math>와 전자기장([[광자]] 장)을 나타내는 벡터 장 <math display="inline">A^{\mu}</math>를 포함한다. (그 이름에도 불구하고 양자 전자기 "장"은 실제로 고전적인 전기장과 자기장이 아니라 고전적인 [[전자기 퍼텐셜|전자기 4- 퍼텐셜]]에 해당한다.) 전체 양자전기역학 라그랑지언 밀도는 다음과 같다.

: <math>\mathcal{L} = \bar\psi\left(i\gamma^\mu\partial_\mu - m\right)\psi - \frac 14 F_{\mu\nu}F^{\mu\nu} - e\bar\psi\gamma^\mu\psi A_\mu,</math>

여기서 <math display="inline">\gamma^{u}</math>는 [[디랙 행렬]]이고 <math>\bar\psi = \psi^\dagger\gamma^0</math>과 <math>F_{\mu\nu} = \partial_\mu A_\nu - \partial_\nu A_\mu</math>는 [[전자기장 텐서|전자기장 강도]]이다. 이 이론의 매개변수는 전자 질량 <math display="inline">m</math>과 [[기본 전하]] <math display="inline">e</math>이다. 라그랑지언 밀도의 첫 번째 항과 두 번째 항은 각각 자유 디랙 장과 자유 벡터 장에 해당한다. 마지막 용어는 자유 이론에서 섭동으로 취급되는 전자와 광자 장 사이의 상호 작용을 설명한다.{{R|peskin}}

[[파일:ElectronPositronAnnihilation.svg|250x250픽셀]]

위에 표시된 것은 양자 전기역학의 트리 수준 파인만 도형의 예이다. 그것은 전자와 양전자가 소멸하여 [[질량껍질|오프쉘]] 광자를 생성한 다음 새로운 전자와 양전자 쌍으로 붕괴하는 것을 설명한다. 시간은 왼쪽에서 오른쪽으로 흐른다. 시간 상 앞으로 가리키는 화살표는 양전자의 전파를 나타내고, 시간 상 뒤로 가리키는 화살표는 전자의 전파를 나타낸다. 물결선은 광자의 전파를 나타낸다. 양자전기역학 파인만 도형의 각 꼭지점에는 들어오고 나가는 페르미온(양전자/전자) 다리와 광자 다리가 있어야 한다.

==== 게이지 대칭 ====
{{본문|게이지 이론}}

장에 대한 다음 변환이 모든 시공간 지점 <math display="inline">x</math>에서 수행되는 경우(국소적 변환) 양자 전기역학 라그랑지언은 불변 상태로 유지된다.

: <math>U(x) = e^{i\alpha(x)^a t^a}.</math>

여기서 <math display="inline">\alpha(x)</math>는 시공간 좌표의 함수이다. 이론의 라그랑지언(또는 보다 정확하게는 [[작용 (물리학)|작용]])이 특정 로컬 변환에서 불변인 경우 변환을 이론의 [[게이지 이론|게이지 대칭]]이라고 한다. {{R|peskin}} 게이지 대칭은 모든 시공간 지점에서 [[군 (수학)|군]]을 형성한다. 양자 전기역학의 경우 서로 다른 두 가지 국소 대칭 변환 <math>e^{i\alpha(x)}</math>, <math>e^{i\alpha'(x)}</math>를 연달아 적용하는 것은 또 다른 대칭 변환 <math>e^{i[\alpha(x)+\alpha'(x)]}</math>이다. 임의의 <math display="inline">\alpha(x)</math>에 대해 <math>e^{i\alpha(x)}</math>는 <math display="inline">\text{U}(1)</math> 군의 원소이므로 양자 전기역학은 <math display="inline">\text{U}(1)</math>-게이지 대칭을 갖는다고 한다.{{R|peskin}} 광자장 {{수학|''A<sub>μ</sub>''}}은 <math display="inline">\text{U}(1)</math> [[게이지 보손]]이라고 할 수 있다.

<math display="inline">\text{U}(1)</math>는 [[아벨 군]]이다. 이는 결과가 군의 원소를 적용하는 순서에 무관하다는 뜻이다. 양자장론은 [[비 아벨 그룹|비-아벨 군]]을 기반으로도 만들어 질 수 있다. 이는 [[양-밀스 이론|비-아벨 게이지 이론]](양-밀스 이론으로도 알려짐)이다.{{R|peskin}} 강한 상호작용을 설명하는 [[양자 색역학]]은 <math display="inline">\text{SU}(3)</math> 게이지 대칭을 가진 비-아벨 게이지 이론이다. 이는 [[쿼크]]장들을 나타내는 3개의 디랙장들 {{수학|''ψ<sup>i</sup>'', ''i'' {{=}} 1,2,3}}과 <math display="inline">\text{SU}(3)</math>-게이지 보손{{R|peskin}}에 해당하는 글루온 장들을 나타내는 8개의 벡터장 {{수학|''A<sup>a,μ</sup>'', ''a'' {{=}} 1,...,8}}을 포함한다. 양자색역학의 라그랑지언 밀도는{{R|peskin}}

: <math>\mathcal{L} = i\bar\psi^i \gamma^\mu (D_\mu)^{ij} \psi^j - \frac 14 F_{\mu\nu}^aF^{a,\mu\nu} - m\bar\psi^i \psi^i,</math>

이다. 여기서 <math display="inline">D_\mu</math>는 게이지 공변 미분이다.

: <math>D_\mu = \partial_\mu - igA_\mu^a t^a,</math>

여기서 <math display="inline">g</math>는 결합 상수이고, <math display="inline">t^a</math>는 [[기본 표현]] ( {{수학|3×3}} 행렬)에서 <math display="inline">\text{SU}(3)</math>의 8개의 [[리 대수|생성원]]이다.

: <math>A_\mu A^\mu = \eta_{\mu\nu} A^\mu A^\nu,\quad \partial_\mu\phi \partial^\mu\phi = \eta^{\mu\nu}\partial_\mu\phi \partial_\nu\phi,</math>

그리고 <math display="inline">f^{abc}</math>는 <math display="inline">\text{SU}(3)</math>의 구조 상수이다. 반복되는 지수 <math display="inline">i,j,a</math>는 아인슈타인 표기법에 따라 암묵적으로 합산된다. 이 라그랑지언은 다음 변환에서 불변한다.

: <math>U(x) = e^{i\alpha(x)^a t^a}.</math>

여기서 <math display="inline">U(x)</math>는 모든 시공간의 점 <math display="inline">x</math>에서 <math display="inline">\text{SU}(3)</math>의 원소이다.

: <math>U(x) = e^{i\alpha(x)^a t^a}.</math>

대칭에 대한 이전 논의는 라그랑지언 수준에 있다. 즉, 이들은 "고전적인" 대칭이다. 양자화 후 일부 이론은 더 이상 [[변칙 (물리학)|고전적]] 대칭성을 나타내지 않는 이상 현상을 나타낸다. 예를 들어 경로 적분 공식에서 라그랑지언 밀도 <math>\mathcal{L}[\phi,\partial_\mu\phi]</math>의 불변성에도 불구하고 장의 특정 로컬 변환에서 경로 적분의 [[측도]] <math display="inline">\mathcal D\phi</math>는 변경될 수 있다.{{R|zee}} 자연을 설명하는 이론이 일관성이 있으려면 게이지 대칭에 이상이 없어야 한다. 소립자의 표준모형은 군 {{수학|SU(3) × SU(2) × U(1)}} 에 기초한 게이지 이론으로, 모든 변칙적 현상이 정확히 상쇄된다.{{R|peskin}}

[[일반 상대성이론]]의 이론적 토대인 [[등가원리]]도 게이지 대칭의 한 형태로 이해할 수 있어 일반 상대성 이론을 [[로런츠 군]]에 기초한 게이지 이론으로 만든다.<ref>Veltman, M. J. G. (1976). ''Methods in Field Theory, Proceedings of the Les Houches Summer School, Les Houches, France, 1975''.</ref>

[[뇌터 정리|뇌터의 정리]]는 모든 연속적인 대칭, ''즉'' 이산적이기보다는 연속적인 대칭 변환의 매개변수가 해당 [[보존 법칙]]으로 이어진다고 말한다.{{R|peskin|zee}} 예를 들어, 양자전기역학의 {{수학|U(1)}} 대칭은 [[전하량 보존 법칙|전하 보존]]을 의미한다.<ref>{{저널 인용|제목=Which symmetry? Noether, Weyl, and conservation of electric charge|저널=Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics|성=Brading|이름=Katherine A.|날짜=March 2002|권=33|호=1|쪽=3–22|bibcode=2002SHPMP..33....3B|doi=10.1016/S1355-2198(01)00033-8}}</ref>

게이지 변환은 별개의 양자 상태와 관련이 없다. 오히려 동일한 양자 상태에 대한 두 개의 동등한 수학적 설명을 관련시킨다. 예를 들어 [[사차원 벡터|4-벡터]]인 광자 장 {{수학|''A<sup>μ</sup>''}}는 4개의 겉보기 자유도를 갖지만 광자의 실제 상태는 편광에 해당하는 2개의 자유도로 설명된다. 나머지 두 자유도는 "중복"이라고 한다. {{수학|''A<sup>μ</sup>''}}를 쓰는 다른 방식들은 게이지 변환에 의해 서로 관련될 수 있으며 실제로 광자 장의 동일한 상태를 설명한다. 이러한 의미에서 게이지 불변성은 "실제" 대칭이 아니라 선택한 수학적 설명의 "중복성"을 반영한 것이다.{{R|zee}}

경로 적분 공식화에서 게이지 중복을 설명하려면 소위 [[파데예프-포포프 유령|파데예프-포포프]] 게이지 고정 절차를 수행해야 한다. 비 아벨 게이지 이론에서 이러한 절차는 "유령"이라는 새로운 장을 도입한다. 고스트 장에 해당하는 입자를 고스트 입자라고 하며 외부에서 감지할 수 없다. {{R|peskin|page1=512–515}} 파데예프-포포프 절차의 보다 엄격한 일반화는 [[BRST 양자화]]에 의해 제공된다.{{R|peskin|page1=517}}

==== 자발적 대칭 깨짐 ====
{{본문|자발 대칭 깨짐}}

[[자발 대칭 깨짐|자발적인 대칭 깨짐]]은 라그랑지언의 대칭이 설명된 계에 의해 위반되는 메커니즘이다.{{R|peskin}}

메커니즘을 설명하기 위해 다음 라그랑지언 밀도로 설명되는 {{수학|''N''}}개의 실수 스칼라 장을 포함하는 선형 [[시그마 모형]]을 고려하자:

: <math>\mathcal{L} = \frac 12 \left(\partial_\mu\phi^i\right)\left(\partial^\mu\phi^i\right) + \frac 12 \mu^2 \phi^i\phi^i - \frac{\lambda}{4} \left(\phi^i\phi^i\right)^2</math>

여기서 {{수학|''μ''}} 와 {{수학|''λ''}}는 실수 매개변수이다. 이론은 전역적 {{수학|[[orthogonal group|O(''N'')]]}} 대칭을 인정한다.

: <math>\phi^i \to R^{ij}\phi^j,\quad R\in\mathrm{O}(N).</math>

{{수학|''ϕ''<sub>0</sub>}} 의 가장 낮은 에너지 상태(바닥 상태 또는 진공 상태)는

: <math>\phi_0^i \phi_0^i = \frac{\mu^2}{\lambda}.</math>

일반성을 잃지 않고 바닥 상태를 {{수학|''N''}} 방향으로 둔다.

: <math>\phi_0^i = \left(0,\cdots,0,\frac{\mu}{\sqrt{\lambda}}\right).</math>

원래 {{수학|''N''}} 장은 다음과 같이 다시 작성할 수 있다.

: <math>\phi^i(x) = \left(\pi^1(x),\cdots,\pi^{N-1}(x),\frac{\mu}{\sqrt{\lambda}} + \sigma(x)\right)</math>

원래의 라그랑지언 밀도는 다음과 같다.

: <math>\mathcal{L} = \frac 12 \left(\partial_\mu\pi^k\right)\left(\partial^\mu\pi^k\right) + \frac 12 \left(\partial_\mu\sigma\right)\left(\partial^\mu\sigma\right) - \frac 12 \left(2\mu^2\right)\sigma^2 - \sqrt{\lambda}\mu\sigma^3 - \sqrt{\lambda}\mu\pi^k\pi^k\sigma - \frac{\lambda}{2} \pi^k\pi^k\sigma^2 - \frac{\lambda}{4}\left(\pi^k\pi^k\right)^2,</math>

여기서 {{수학|''k'' {{=}} 1, ..., ''N'' − 1}} {{수학|''k'' {{=}} 1, ..., ''N'' − 1}} {{수학|''k'' {{=}} 1, ..., ''N'' − 1}} . 원래의 {{수학|O(''N'')}} 전체 대칭은 더 이상 나타나지 않고 [[부분군]] {{수학|O(''N'' − 1)}} 만 남는다. 자발적 대칭 깨짐 이전의 더 큰 대칭은 "숨겨졌다" 또는 자발적으로 깨졌다고 한다. {{R|peskin}}

[[골드스톤 보손|골드스톤의 정리]]에 따르면 자발적인 대칭 파괴 하에서 모든 연속적인 전체 대칭이 깨지면 골드스톤 보손이라는 질량이 없는 장이 생성된다. 위의 예에서 {{수학|O(''N'')}} 은 {{수학|''N''(''N'' − 1)/2}} 연속 대칭([[리 대수]]의 차원)을 갖는 반면 {{수학|O(''N'' − 1)}}은 {{수학|(''N'' − 1)(''N'' − 2)/2}}를 갖는다. 깨진 대칭의 수는 차이 {{수학|''N'' − 1}}이며, {{수학|''N'' − 1}}개의 질량없는 장 {{수학|''π<sup>k</sup>''}} 에 해당한다.{{R|peskin}}

한편, 게이지(전역 대칭이 아닌) 대칭이 자발적으로 깨지면 결과적인 골드스톤 보손은 게이지 보손에 대한 추가 자유도가 됨으로써 해당 게이지 보손에 의해 "먹어진다". 골드스톤 보손 등가 정리는 높은 에너지에서 세로로 편향된 거대한 게이지 보손의 방출 또는 흡수 진폭이 게이지 보손이 흡수한 골드스톤 보손의 방출 또는 흡수 진폭과 같아진다고 말한다.{{R|peskin|page1=743–744}}

[[강자성|강자성체]]의 양자장론에서 자발적인 대칭 파괴는 저온에서 자기 쌍극자의 정렬을 설명할 수 있다.{{R|zee}} 기본 입자의 표준 모형에서 [[W와 Z보손|W 및 Z 보손]]은 게이지 대칭의 결과로 질량이 없을 것이지만 [[힉스 보손]]의 자발적인 대칭 파괴를 통해 질량을 얻는다. 이 과정을 [[힉스 메커니즘]]이라고 한다.{{R|peskin}}

==== 초대칭 ====
{{본문|초대칭}}

자연에서 실험적으로 알려진 모든 대칭은 [[보손]]을 보손에 연결하고 [[페르미온]]을 페르미온에 연결한다. 이론가들은 보존과 페르미온과 관련된 [[초대칭]]이라고 불리는 일종의 대칭이 존재한다는 가설을 세웠다.{{R|peskin|zee|page1=795}}

표준 모형은 [[푸앵카레 군|푸앵카레 대칭]]을 따르며 생성자는 시공간 [[평행 이동|변환]] {{수학|''P<sup>μ</sup>''}} 및 [[로런츠 변환]] {{수학|''J<sub>μν</sub>''}}이다.<ref name="WeinbergQFT">{{서적 인용|url=https://archive.org/details/quantumtheoryoff00stev|제목=The Quantum Theory of Fields|성=Weinberg|이름=Steven|저자링크=Steven Weinberg|날짜=1995|출판사=Cambridge University Press|isbn=978-0-521-55001-7}}</ref>{{참고 쪽|58–60}}이러한 생성자 외에도 (3+1) 차원의 초대칭에는 초전하라고 하는 추가 생성자 {{수학|''Q<sub>α</sub>''}}를 포함되며, 이는 자체적으로 [[바일 방정식|바일 페르미온]]으로 변환된다.{{R|peskin|zee}} 이러한 모든 생성자에 의해 생성된 대칭 군은 초 푸앵카레 군으로 알려져 있다. 일반적으로 각각 {{수학|''N'' {{=}} 1}} 초대칭, {{수학|''N'' {{=}} 2}} 초대칭 등에 해당하는 하나 이상의 초대칭 생성원 집합( {{수학|''Q<sub>α</sub><sup>I</sup>'', ''I'' {{=}} 1, ..., ''N''}} {{수학|''Q<sub>α</sub><sup>I</sup>'', ''I'' {{=}} 1, ..., ''N''}} {{수학|''Q<sub>α</sub><sup>I</sup>'', ''I'' {{=}} 1, ..., ''N''}}, 이 존재할 수 있다.{{R|peskin|zee}} 초대칭은 또한 다른 차원으로 구성될 수 있으며 특히 [[초끈 이론]]에 적용하기 위한 (1+1) 차원에서 구성될 수 있다.<ref>{{서적 인용|제목=String Theory|성=Polchinski|이름=Joseph|저자링크=Joseph Polchinski|날짜=2005|권=2|출판사=Cambridge University Press|isbn=978-0-521-67228-3}}</ref>

초대칭 이론의 라그랑지언은 수퍼 푸앵카레 군의 작용 하에서 불변이어야 한다. {{R|zee|page1=448}} 이러한 이론의 예는 다음과 같다. [[최소 초대칭 표준 모형]] (MSSM), [[N {{=}} 4 supersymmetric Yang–Mills theory|<span class="texhtml">''N'' = 4</span> 초대칭 Yang–Mills 이론]], {{R|zee|page1=450}} 및 초끈 이론. 초대칭 이론에서 모든 페르미온은 보소닉 [[초대칭짝]]을 가지며 그 반대도 마찬가지이다.{{R|zee|page1=444}}

초대칭이 국소적 대칭으로 승격되면 게이지 이론은 [[초중력]]이라고 하는 일반 상대성 이론의 확장을 얻는다.<ref name="NathArnowitt">{{저널 인용|제목=Generalized Super-Gauge Symmetry as a New Framework for Unified Gauge Theories|저널=Physics Letters B|성=Nath|이름=P.|성2=Arnowitt|이름2=R.|연도=1975|권=56|호=2|쪽=177|bibcode=1975PhLB...56..177N|doi=10.1016/0370-2693(75)90297-x}}</ref>

초대칭은 현재 물리학의 많은 문제에 대한 잠재적 솔루션이다. 예를 들어, 표준 모형의 [[계층 문제|계층 구조 문제]] (왜 힉스 보손의 질량이 [[대통일 이론|대통일 이론 규모]]나 [[플랑크 단위계|플랑크 규모]]과 같은 아주 높은 규모로 복사 보정되지 않는지(재규격화 하에서))는 [[힉스 보손|힉스 장]]과 그 초대칭짝인 [[힉시노]]를 연관시켜 해결할 수 있다. 그리고 파인만 도형의 힉스 보손 루프로 인한 복사 보정은 해당 힉시노 루프에 의해 취소된다. 초대칭은 또한 [[암흑물질]]의 특성뿐만 아니라 표준 모형의 모든 게이지 결합 상수의 대통합에 대한 해답을 제공한다.{{R|peskin}}<ref>{{저널 인용|제목=Models of Supersymmetry for Dark Matter|저널=EPJ Web of Conferences|성=Munoz|이름=Carlos|날짜=2017-01-18|권=136|쪽=01002|arxiv=1701.05259|bibcode=2017EPJWC.13601002M|doi=10.1051/epjconf/201713601002}}</ref>

그럼에도 불구하고 {{As of|2018}}으로 실험은 초대칭 입자의 존재에 대한 증거를 아직 제공하지 못했다. 초대칭이 자연의 진정한 대칭이라면 그것은 깨진 대칭이어야 하며 대칭 깨짐의 에너지는 현재의 실험으로 달성할 수 있는 것보다 높아야 한다.{{R|peskin|zee}}

==== 다른 시공간 ====
{{수학|''ϕ''<sup>4</sup>}} 이론, 양자 전기역학, 양자 색역학 및 전체 표준 모형은 모두 양자장이 정의되는 배경으로 (3+1)차원 [[민코프스키 공간]](3차원 및 1시간 차원)을 가정한다. 그러나 ''선험적으로'' 양자장론은 차원 수나 시공간 기하학에 제한을 두지 않는다.

[[응집물질물리학]]에서 양자장론은 (2+1) 차원 전자 기체를 설명하는 데 사용된다.<ref>{{서적 인용|url=https://www.springer.com/us/book/9783540671770|제목=Field Theories for Low-Dimensional Condensed Matter Systems|성=Morandi|이름=G.|성2=Sodano|이름2=P.|날짜=2000|출판사=Springer|isbn=978-3-662-04273-1|성3=Tagliacozzo|이름3=A.|성4=Tognetti|이름4=V.}}</ref> [[입자물리학|고에너지 물리학]]에서 [[끈 이론]]은 (1+1) 차원 양자장론의 유형{{R|zee}}이다. [[칼루차–클레인 이론]]은 [[여분 차원|추가 차원]]에서 중력을 사용하여 더 낮은 차원<ref name="polchinski12" /> 게이지 이론을 생성한다.{{R|zee}}

민코프스키 공간에서 플랫 계량 {{수학|''η<sub>μν</sub>''}} 라그랑지언에서 시공간 첨자를 높이거나 낮추는 데 사용된다. ''예를 들면 다음과 같다''.

: <math>A_\mu A^\mu = g_{\mu\nu} A^\mu A^\nu,\quad \partial_\mu\phi \partial^\mu\phi = g^{\mu\nu}\partial_\mu\phi \partial_\nu\phi.</math>

여기서 {{수학|''η<sup>μν</sup>''}}는 {{수학|''η<sup>μρ</sup>η<sub>ρν</sub>'' {{=}} ''δ<sup>μ</sup><sub>ν</sub>''}}를 만족하는 {{수학|''η<sub>μν</sub>''}}의 역수이다. 반면에 [[휘어진 시공간의 양자장론]]의 경우 일반 계량(예: [[블랙홀]]을 설명하는 [[슈바르츠실트 계량]])이 사용된다.

: <math>\mathcal{L} = \sqrt{|g|}\left(\frac 12 g^{\mu\nu} \nabla_\mu\phi \nabla_\nu\phi - \frac 12 m^2\phi^2\right),</math>

여기서 {{수학|''g<sup>μν</sup>''}}는 {{수학|''g<sub>μν</sub>''}}의 역이다. 실제 스칼라 장의 경우 일반 시공간 배경의 라그랑지언 밀도는 다음과 같다.

: <math>\mathcal{L} = \sqrt{|g|}\left(\frac 12 g^{\mu\nu} \nabla_\mu\phi \nabla_\nu\phi - \frac 12 m^2\phi^2\right)</math>

여기서 {{수학|''g'' {{=}} det(''g<sub>μν</sub>'')}} 이고 {{수학|∇<sub>''μ''</sub>}}는 공변 도함수를 나타낸다.<ref>{{서적 인용|url=https://archive.org/details/quantumfieldtheo00park|제목=Quantum Field Theory in Curved Spacetime|성=Parker|이름=Leonard E.|성2=Toms|이름2=David J.|날짜=2009|출판사=Cambridge University Press|쪽=[https://archive.org/details/quantumfieldtheo00park/page/n58 43]|isbn=978-0-521-87787-9}}</ref> 양자장론의 라그랑지언, 즉 계산 결과 및 물리적 예측은 시공간 배경의 기하학에 따라 달라진다.

==== 위상 양자장론 ====
{{본문|위상 양자장론}}

양자장론의 상관 함수 및 물리적 예측은 시공간 계량 {{수학|''g<sub>μν</sub>''}}에 따라 달라진다. [[위상 양자장론]]이라고 하는 특수한 양자장론들의 경우 모든 상관 함수는 시공간 계량의 연속적인 변화와 독립적이다.{{참고 쪽|36}}곡선 시공간에서 양자장론은 일반적으로 시공간 배경의 ''기하학'' (국소적 구조)에 따라 변경되는 반면, 위상 양자장론은 시공간 [[미분동형사상]] 아래에서 불변이지만 시공간의 ''[[위상수학|위상]]'' (대역적 구조)에 민감하다. 이는 위상 양자장론의 모든 계산 결과가 기본 시공간의 위상 불변량 임을 의미한다. [[천-사이먼스 이론|천–사이먼스 이론]]은 위상 양자장론의 한 예이며 양자 중력 모형을 구성하는 데 사용되었다.<ref>{{서적 인용|url=https://www.cambridge.org/core/books/quantum-gravity-in-21-dimensions/D2F727B6822014270F423D82501E674A|제목=Quantum Gravity in 2+1 Dimensions|성=Carlip|이름=Steven|저자링크=Steven Carlip|날짜=1998|출판사=Cambridge University Press|쪽=27–29|doi=10.1017/CBO9780511564192|isbn=9780511564192}}</ref> 위상 양자장론의 응용에는 부분 양자 홀 효과 및 [[위상 양자 컴퓨터]]가 포함된다.<ref>{{저널 인용|제목=Introductory lectures on topological quantum field theory|저널=Banach Center Publications|성=Carqueville|이름=Nils|성2=Runkel|이름2=Ingo|연도=2018|권=114|쪽=9–47|arxiv=1705.05734|doi=10.4064/bc114-1}}</ref> {{참고 쪽|1–5}}분할된 입자의 세계선 궤적([[애니온]]으로 알려짐)은 시공간에서 링크 구성을 형성할 수 있으며,<ref>{{저널 인용|제목=Quantum Field Theory and the Jones Polynomial|저널=[[Communications in Mathematical Physics]]|성=Witten|이름=Edward|저자링크=Edward Witten|url=http://projecteuclid.org/euclid.cmp/1104178138|연도=1989|권=121|호=3|쪽=351–399|bibcode=1989CMaPh.121..351W|doi=10.1007/BF01217730|mr=0990772}}</ref> 물리학에서 애니온의 땋음 통계를 수학의 링크 불변량과 관련시킨다. 위상 양자 물질의 첨단 연구에 적용할 수 있는 위상 양자 장론에는 2+1 시공간 차원의 천-사이먼스-위튼 게이지 이론, 3+1 시공간 차원 이상의 다른 새로운 별난 위상양자장론이 포함된다.<ref>{{저널 인용|제목=Braiding Statistics and Link Invariants of Bosonic/Fermionic Topological Quantum Matter in 2+1 and 3+1 dimensions|저널=[[Annals of Physics]]|성=Putrov|이름=Pavel|성2=Wang|이름2=Juven|연도=2017|권=384|호=C|쪽=254–287|arxiv=1612.09298|bibcode=2017AnPhy.384..254P|doi=10.1016/j.aop.2017.06.019|성3=Yau|이름3=Shing-Tung}}</ref>

=== 섭동 및 비섭동 ===
[[섭동 이론 (양자역학)|섭동 이론]]을 사용하여 작은 상호 작용 항의 전체 효과는 [[가상 입자|상호 작용에 참여하는 가상 입자]] 수의 급수 전개에 의해 차수별로 근사될 수 있다. 확장의 모든 용어는 [[파인만 도형|파인만 도형을 사용하여 시각적으로 표현되는 가상]] 입자를 통해 (물리적) 입자가 서로 상호 작용할 수 있는 한 가지 가능한 방법으로 이해될 수 있다. 양자 전기역학에서 두 전자 사이의 [[전자기학|전자기력]]은 가상 광자의 전파에 의해 (섭동 이론에서 1차로) 표현된다. 유사한 방식으로 [[W와 Z보손|W 및 Z 보손]]은 약한 상호 작용을 수행하는 반면 [[글루온]]은 강한 상호 작용을 수행한다. 다양한 가상 입자의 교환을 포함하는 중간 상태의 합으로서의 상호 작용 해석은 섭동 이론의 틀에서만 의미가 있다. 대조적으로 양자장론의 비섭동 방법은 상호 작용하는 라그랑주를 급수 전개없이 전체적으로 처리한다. 상호 작용을 전달하는 입자 대신에 이러한 방법은 [[엇호프트-폴랴코프 자기 홀극|엇호프트–폴랴코프 홀극]], 도메인 벽, 플럭스 튜브 및 [[순간자]]와 같은 개념을 생성했다.<ref name="shifman">{{서적 인용|제목=Advanced Topics in Quantum Field Theory|url=https://archive.org/details/advancedtopicsin0000shif|성=Shifman|이름=M.|저자링크=Mikhail Shifman|날짜=2012|출판사=Cambridge University Press|isbn=978-0-521-19084-8}}</ref> 섭동없이 완전히 풀 수 있는 양자장론의 예로는 [[등각 장론]]<ref>{{서적 인용|url=https://books.google.com/books?id=5u7jBwAAQBAJ|제목=Conformal Field Theory|성=Di Francesco|이름=Philippe|성2=Mathieu|이름2=Pierre|날짜=1997|출판사=Springer|isbn=978-1-4612-7475-9|성3=Sénéchal|이름3=David}}</ref> 및 [[티링 모형]]의 [[최소 모형 (등각 장론)|최소 모형]]이 있다.<ref>{{저널 인용|제목=A Soluble Relativistic Field Theory?|저널=[[Annals of Physics]]|성=Thirring|이름=W.|저자링크=Walter Thirring|연도=1958|권=3|호=1|쪽=91–112|bibcode=1958AnPhy...3...91T|doi=10.1016/0003-4916(58)90015-0}}</ref>

== 양자장론의 엄밀한 수학적 형식화 ==
입자물리학과 응집물질물리학에서 압도적인 성공을 거두었음에도 불구하고, 양자장론 자체에는 아직까지 수학적 기반이 부족하다. 예를 들어 하그(Haag)의 정리에 따르면 양자장론에 대해 잘 정의된 [[상호작용 묘사]]가 존재하지 않으며, 이는 전체 [[파인만 도형]]의 기초가 되는 양자장론의 [[섭동 이론 (양자역학)|섭동 이론]]이 근본적으로 잘못 정의되었음을 의미한다.<ref>{{저널 인용|제목=On Quantum Field Theories|저널=Dan Mat Fys Medd|성=Haag|이름=Rudolf|저자링크=Rudolf Haag|url=http://cdsweb.cern.ch/record/212242/files/p1.pdf|날짜=1955|권=29|호=12}}</ref>

그러나 어떠한 수렴 요구 사항 없이 형식 멱급수로서 값을 계산할 수만 있으면 되는 ''섭동'' 양자장론은 엄격한 수학적 기반이 제공될 수 있다. 특히 케빈 코르텔리오의 책 ''Renormalization and Effective Field Theory''<ref name="costello">Kevin Costello, ''Renormalization and Effective Field Theory'', Mathematical Surveys and Monographs Volume 170, American Mathematical Society, 2011, {{ISBN|978-0-8218-5288-0}}</ref>는 [[리오 카다노프|카다노프]], [[케네스 G. 윌슨|윌슨]], [[조지프 폴친스키|폴친스키]]의 유효 장론 접근 방식과 게이지 양자화 이론에 대한 [[바탈린-빌코비스키 대수|바탈린-빌코비스키]] 접근 방식을 결합한 섭동 재규격화의 엄밀한 공식을 제공한다. 또한, 일반적으로 유한 차원 적분 이론에서 영감을 얻은 형식 계산 방법으로 이해되는 섭동 경로 적분 방법은<ref name="ren">Gerald B. Folland, ''Quantum Field Theory: A Tourist Guide for Mathematicians'', Mathematical Surveys and Monographs Volume 149, American Mathematical Society, 2008, {{ISBN|0821847058}} | chapter=8</ref> 유한 차원 유사체로부터 적절한 수학적 기반을 얻을 수 있다.<ref name="nguyen">{{저널 인용|제목=The perturbative approach to path integrals: A succinct mathematical treatment|저널=J. Math. Phys.|성=Nguyen|이름=Timothy|연도=2016|권=57|호=9|쪽=092301|arxiv=1505.04809|bibcode=2016JMP....57i2301N|doi=10.1063/1.4962800}}</ref>

1950년대 이후<ref name="buchholz">{{저널 인용|제목=Current Trends in Axiomatic Quantum Field Theory|저널=Quantum Field Theory|성=Buchholz|이름=Detlev|저자링크=Detlev Buchholz|연도=2000|총서=Lecture Notes in Physics|권=558|쪽=43–64|arxiv=hep-th/9811233|bibcode=2000LNP...558...43B|doi=10.1007/3-540-44482-3_4|isbn=978-3-540-67972-1}}</ref> 수학자들과 수리 물리학자들은 [[공리|수학적]]으로 엄격한 방식으로 상대론적 양자장론의 구체적인 모형의 존재를 확립하고 그 특성을 연구하기 위해 모든 양자장론을 일련의 공리로 구성하려고 시도했다. 이 연구는 [[수리물리학]]의 부분 분야인 [[공리적 양자장론|구성적 양자장론]]이라고 한다.<ref name="summers">{{ArXiv 인용|last=Summers |first=Stephen J. |eprint=1203.3991v2 |title=A Perspective on Constructive Quantum Field Theory |class=math-ph |date=2016-03-31 }}</ref>{{참고 쪽|2}} 이것은 [[CPT 정리]], [[스핀-통계 정리]] 및 [[골드스톤 보손|골드스톤 정리]]<ref name="buchholz" />와 같은 결과와 2차원 및 3차원 시공간에서 상호 작용하는 많은 양자장론의 수학적으로 엄밀한 구성(예: 임의의 다항식 상호 작용이 있는 2차원 스칼라 장론, 4차 상호 작용 등이 있는 3차원 스칼라 장론<ref name="Glimm1987">{{서적 인용|제목=Quantum Physics : a Functional Integral Point of View|성=Glimm|이름=James|성2=Jaffe|이름2=Arthur|연도=1987|출판사=Springer New York|쪽=|출판장소=New York, NY|isbn=978-1-4612-4728-9|oclc=852790676}}</ref>)으로 이어졌다.<ref name="Simon">{{서적 인용|제목=The P(phi)_2 Euclidean (quantum) field theory|성=Simon|이름=Barry|연도=1974|출판사=Princeton University Press|쪽=|출판장소=Princeton, New Jersey|isbn=0-691-08144-1|oclc=905864308}}</ref>

일반 양자장론와 비교하여 [[위상 양자장론]]과 [[등각 장론]]의 수학적 기반은 더 잘 갖춰져 있다. 둘 다 [[보충 경계]] 표현으로 분류될 수 있다.

[[대수적 양자장론]]은 양자장론의 공리화에 대한 또 다른 접근 방식으로, 기본적 대상은 국소적 연산자와 이들 사이의 대수적 관계이다. 이 접근 방식을 따르는 공리 계에는 와이트만 공리와 하그–카스틀러 공리가 포함된다.{{R|summers|page1=2–3}} 와이트만 공리를 만족하는 이론을 구성하는 한 가지 방법은 오스터발더-슈라더 공리를 사용 하는 것이다. 오스터발더-슈라더 공리를 사용하면 [[해석적 연속]](윅 회전)에 의해 허수 시간 이론에서 실수 시간 이론을 얻기 위한 필요 충분 조건을 얻을 수 있다.{{R|summers|page1=10}}

클레이 수학 재단에서 제안한 [[밀레니엄 문제|밀레니엄 수학 문제]] 중 하나인 [[양-밀스 질량 간극 가설|양-밀스 이론의 존재성과 질량 간극 가설]]은 위의 공리계에 의해 설정된 잘 정의된 [[양-밀스 이론]] 존재하는지, 그리고 그 이론 안에서 질량 간극의 존재성을 증명할 수 있는지에 대한 문제이다. 전체 문제 설명은 다음과 같다.<ref>{{웹 인용|url=http://www.claymath.org/sites/default/files/yangmills.pdf|제목=Quantum Yang–Mills Theory|성=Jaffe|이름=Arthur|저자링크=Arthur Jaffe|성2=Witten|이름2=Edward|저자링크2=Edward Witten|출판사=[[Clay Mathematics Institute]]|확인날짜=2018-07-18|archive-date=2018-02-19|archive-url=https://web.archive.org/web/20180219004213/http://www.claymath.org/sites/default/files/yangmills.pdf|url-status=}}</ref>

{{인용문|임의의 [[콤팩트]] 단순 [[게이지 이론|게이지군]] <math>G</math>에 대해, <math>\mathbb{R}^4</math> 위에서 자명하지 않은 양자 양-밀스 이론이 존재하고  [[질량 간극]] {{math|Δ > 0}}이 존재함을 증명하라. 존재성은 최소한 다음 문헌들에서 만큼 강력한 공리계를 구성하는 것을 포함한다. {{하버드 인용 본문|Streater|Wightman|1964}}, {{하버드 인용 본문|Osterwalder|Schrader|1973}} and {{하버드 인용 본문|Osterwalder|Schrader|1975}}.}}

== 각주 ==
{{각주}}

;관련 문헌
* {{서적 인용 |last1=Streater |first1=R. |last2=Wightman |first2=A. |title=PCT, Spin and Statistics and all That|url=https://archive.org/details/pctspinstatistic0000stre |url-access=registration |publisher=W. A. Benjamin|year= 1964}}
* {{저널 인용 |last1=Osterwalder |first1=K. |last2=Schrader |first2=R. |title=Axioms for Euclidean Green's functions |journal=[[Communications in Mathematical Physics]] |volume=31 |issue=2 |pages=83–112 |year=1973|doi=10.1007/BF01645738 |bibcode = 1973CMaPh..31...83O |s2cid=189829853 |url=http://projecteuclid.org/euclid.cmp/1103858969 }}
* {{저널 인용 |last1=Osterwalder |first1=K. |last2=Schrader |first2=R. |title=Axioms for Euclidean Green's functions II |journal=[[Communications in Mathematical Physics]] |volume=42 |issue=3 |pages=281–305 |year=1975|doi=10.1007/BF01608978 |bibcode = 1975CMaPh..42..281O |s2cid=119389461 |url=http://projecteuclid.org/euclid.cmp/1103899050 }}

== 참고 문헌 ==
* {{저널 인용|이름=Frank|성=Wilczek|저자링크=프랭크 윌첵|날짜=1999|제목=Quantum field theory|arxiv=hep-th/9803075|저널=Reviews of Modern Physics|권=71|호=2|쪽=S83–S95|doi=10.1103/RevModPhys71}}
* {{저널 인용|이름=David|성=Gross|저자링크=데이비드 그로스|제목=The Triumph And Limitations Of Quantum Field Theory|날짜=1997|arxiv=hep-th/9704139}}
* {{저널 인용|제목=Field Theory and Standard Model|이름=W.|성=Buchmüller|저자2=C. Lüdeling|날짜=2006|arxiv=hep-ph/0609174}}
* {{저널 인용|제목=Introduction to Quantum Field Theory|이름=R.J.|성=Crewther|arxiv=hep-th/9505152|날짜=1995}}
* {{저널 인용|제목=Introductory Lectures on Quantum Field Theory|이름=Luis|성=Álvarez-Gaumé|저자2=Miguel A. Vázquez-Mozo|날짜=2005|arxiv=hep-th/0510040}}
* {{저널 인용|제목=A simple introduction to particle physics, Part I: Foundations and the Standard Model|이름=Matthew B.|성=Robinson|저자2=K. Bland|저자3=Gerald B. Cleaver|저자4=J. Dittmann|날짜=2008|arxiv=0810.3328}}
* {{저널 인용|제목=A simple introduction to particle physics, Part II: Geometric foundations and relativity|이름=Matthew B.|성=Robinson|저자2=Tibra Ali|저자3=Gerald B. Cleaver|날짜=2009|arxiv=0908.1395}}
* {{저널 인용|제목=Notes from Sidney Coleman’s Physics 253a|이름=Sidney|성=Coleman|날짜=1986|arxiv=1110.5013}}
* {{저널 인용|제목=Fields|이름=Warren|성=Siegel|날짜=1999|arxiv=hep-th/9912205|url=http://insti.physics.sunysb.edu/~siegel/errata.html|확인날짜=2012-10-21|보존url=https://web.archive.org/web/20090624060309/http://insti.physics.sunysb.edu/~siegel/errata.html|보존날짜=2009-06-24|url-status=dead}}

=== 교과서 ===
* {{서적 인용|제목=상대론적 양자역학: 입자물리학과 편극|저자=송희성|출판사=서울대학교 출판부 |날짜=2011-11|isbn=978-8-952-11262-0}}
* {{서적 인용|제목=양자장이론|기타=대우학술총서 자연과학 69|저자=이재형|출판사=민음사|날짜=1991-04|url=http://minumsa.minumsa.com/book/967/|isbn=89-374-3569-1}}
* {{서적 인용|제목=양자 전기역학|저자=김영덕|출판사=민음사|날짜=1991-09|url=http://minumsa.minumsa.com/book/964/|isbn= 89-374-3566-7}}
* {{서적 인용|성=Arodz|이름=Henryk|저자2=Leszek Hadasz|제목=Lectures on Classical and Quantum Theory of Fields|날짜=2011|출판사=Springer|위치=Berlin, Heidelberg|isbn=978-3-642-15623-6|doi=10.1007/978-3-642-15624-3}}
* {{서적 인용|last=Bogoliubov |first=N.|저자2=D. Shirkov|year=1982|title=Quantum Fields|url=https://archive.org/details/quantumfields0000bogo |publisher=Benjamin-Cummings|isbn=0-8053-0983-7}}
* {{서적 인용|last=Frampton|first=Paul H.|year=2008|title=Gauge Field Theories|edition=3판|publisher=Wiley-VCH|doi=10.1002/9783527623358|isbn=9783527408351}}
* {{서적 인용|성=Greiner|이름=Walter |저자2=Joachim Reinhardt|판=4판|날짜=2009|제목=Quantum Electrodynamics|출판사=Springer|위치=Berlin, Heidelberg|isbn=  978-3-540-87560-4|doi=10.1007/978-3-540-87561-1}}
* {{서적 인용|성=Greiner|이름=Walter |저자2=Berndt Müller|판=4판|날짜=2010|제목=Gauge Theory of Weak Interactions|출판사=Springer|위치=Berlin, Heidelberg|isbn= 978-3-540-87842-1|doi=10.1007/978-3-540-87843-8}}
* {{서적 인용|성=Greiner|이름=Walter |저자2=Stefan Schramm|저자3=Eckart Stein|판=3판|날짜=2007|제목=Quantum Chromodynamics|출판사=Springer|위치=Berlin, Heidelberg|isbn=978-3-540-48534-6|doi=10.1007/978-3-540-87561-1}}
* {{서적 인용|last=Itzykson |first=C. | 저자2=J.-B. Zuber|year=1980|title=Quantum Field Theory|url=https://archive.org/details/quantumfieldtheo0000itzy |publisher=McGraw-Hill|isbn=0-07-032071-3}}
* {{서적 인용|성=Kane|이름=Gordon L.|날짜=1993-04|판=개정판|제목=Modern Elementary Particle Physics|출판사=Westview Press|isbn=978-0-201-62460-1|url=http://westviewpress.com/book.php?isbn=9780201624601}}
* {{서적 인용|성=Mandl|이름=Franz|저자2= Graham Shaw|날짜=2010-05|제목=Quantum Field Theory|판=2판|isbn=978-0-471-49683-0|출판사=Wiley|url=http://wiley.com/WileyCDA/WileyTitle/productCd-0471496847.html}}
* {{서적 인용|성=Nair|이름=V. Parameswaran|제목=Quantum Field Theory: A Modern Perspective|url=https://archive.org/details/quantumfieldtheo0000nair|출판사=Springer|위치=New York|날짜=2005|doi=10.1007/b106781|isbn=978-0-387-21386-6|기타=Graduate Texts in Contemporary Physics}}
* {{서적 인용|성=Peskin|이름=Michael E.|저자2=Daniel V. Schroeder|날짜=1995-10|제목=An Introduction to Quantum Field Theory|url=http://physics.weber.edu/schroeder/qftbook.html|출판사=Westview Press|isbn=0-201-50397-2|확인날짜=2013-01-03|보존url=https://web.archive.org/web/20140902045539/http://physics.weber.edu/schroeder/qftbook.html|보존날짜=2014-09-02|url-status=dead}}
* {{서적 인용|성=Ryder|first=Lewis H.|날짜=1996-06|제목=Quantum Field Theory|출판사=Cambridge University Press|isbn=978-0-521-47814-4|url=http://cambridge.org/gb/knowledge/isbn/item1146928/}}
* {{서적 인용|성=Srednicki|이름=Mark|날짜=2007|url=http://web.physics.ucsb.edu/~mark/qft.html|제목=Quantum Field Theory|출판사=Cambridge University Press|arxiv=hep-th/0409035|isbn=9780521864497|doi=10.1017/CBO9780511813917}}
* {{서적 인용|성=Ynduráin Muñoz|이름=Francisco José|year=1996|title=Relativistic Quantum Mechanics and Introduction to Field Theory|publisher=Springer|isbn=978-3-540-60453-2|url=https://springer.com/book/978-3-642-64674-4}}
* {{서적 인용|성=Ynduráin Muñoz|이름=Francisco José|날짜=2006|판=4판|title=The Theory of Quark and Gluon Interactions|url=https://archive.org/details/theoryofquarkglu0000yndu|publisher=Springer|isbn=978-3-540-33209-1|doi=10.1007/3-540-33210-3}}
* {{서적 인용|성=Zee|이름=Anthony|year=2010|title=Quantum Field Theory in a Nutshell|판=2판|url=http://www.kitp.ucsb.edu/members/PM/zee/QuantumFieldTh.html|publisher=Princeton University Press|isbn=9780691140346|언어=en|확인날짜=2013년 1월 3일|보존url=https://web.archive.org/web/20140318071346/http://www.kitp.ucsb.edu/members/PM/zee/QuantumFieldTh.html|보존날짜=2014년 3월 18일|url-status=dead}}

=== 응집물질물리학에 대한 응용 ===
* {{서적 인용|성=Huang|이름=Kerson|제목=Quantum Field Theory: From Operators to Path Integrals|날짜=2010-04|판=2판|출판사=Wiley|isbn=978-3-527-40846-7|doi=10.1002/9783527617371|url=http://www.mit.edu/people/kerson/quantum.htm|확인날짜=2013-01-03|보존url=https://web.archive.org/web/20140126023557/http://www.mit.edu/people/kerson/quantum.htm|보존날짜=2014-01-26|url-status=dead}}
* {{서적 인용|성=Kleinert|이름=Hagen|저자2=Verena Schulte-Frohlinde|날짜=2001-07|제목=Critical Properties of φ<sup>4</sup>-Theories|url=http://users.physik.fu-berlin.de/~kleinert/re.html#B6|출판사=World Scientific|위치=Singapore|isbn=981-02-4658-7|doi=10.1142/4733}}
* {{서적 인용|성=Kleinert|이름=Hagen|날짜=2008-02|제목=Multivalued Fields in Condensed Matter, Electrodynamics, and Gravitation|url=http://users.physik.fu-berlin.de/~kleinert/public_html/kleiner_reb11/psfiles/mvf.pdf|출판사=World Scientific|위치=Singapore|isbn=978-981-279-170-2|doi=10.1142/6742}}
* {{서적 인용|성=Ng|이름=Tai-Kai|제목=Introduction to Classical and Quantum Field Theory|isbn=978-3-527-40726-2|출판사=Wiley|날짜=2009-04|url=http://wiley.com/WileyCDA/WileyTitle/productCd-352740726X.html}}

== 같이 보기 ==
* [[양자화]]
* [[양자역학]]
* [[표준 모형]]
* [[공리적 양자장론]]
* [[대수적 양자장론]]
* [[끈 이론]]
* [[유한군]]
* [[리 군]]

== 외부 링크 ==
* {{위키공용분류-줄}}
* {{springer|title=Quantum field theory|id=p/q076300}}
* ''[[스탠퍼드 철학 백과사전|Stanford Encyclopedia of Philosophy]]'': "[http://plato.stanford.edu/entries/quantum-field-theory/ Quantum Field Theory]", by Meinard Kuhlmann.
* Siegel, Warren, 2005. ''[http://insti.physics.sunysb.edu/%7Esiegel/errata.html Fields.]'' {{arxiv|hep-th/9912205}}.
* [http://www.nat.vu.nl/~mulders/QFT-0.pdf Quantum Field Theory] by P. J. Mulders

{{양자역학 주제}}
{{물리학 분야}}
{{소립자 물리학의 표준 모형}}
{{전거 통제}}

[[분류:양자장론| ]]
[[분류:양자역학]]
[[분류:수리물리학]]
[[분류:물리학 개념]]