Xem mã nguồn của Điện động lực học lượng tử

{{lý thuyết trường lượng tử}}
Trong [[vật lý hạt]], '''điện động lực học lượng tử''' ('''QED''') là [[lý thuyết trường lượng tử]] [[thuyết tương đối|tương đối tính]] của [[điện động lực học]]. Về cơ bản, nó miêu tả cách [[ánh sáng]] và [[vật chất]] tương tác với nhau và là lý thuyết đầu tiên kết hợp được các tính chất của [[cơ học lượng tử]] và [[thuyết tương đối hẹp]]. QED miêu tả bằng [[toán học]] mọi [[hiện tượng]] có sự tham gia của các hạt [[điện tích|mang điện]] tương tác với nhau thông qua trao đổi các [[photon]] ảo và biểu diễn các tính chất lượng tử của điện từ học cổ điển mang lại một lý thuyết đầy đủ về tương tác vật chất và ánh sáng.

Theo thuật ngữ kĩ thuật, QED là [[lý thuyết nhiễu loạn (cơ học lượng tử)|lý thuyết nhiễu loạn]] của [[trạng thái chân không|chân không lượng tử]] điện từ. [[Richard Feynman]], gọi nó là "viên ngọc của [[vật lý học]]" do khả năng [[các kiểm nghiệm chính xác của QED|tiên đoán chính xác]] các đại lượng như [[mômen từ dị thường]] của [[electron]], [[dịch chuyển Lamb]] đối với [[mức năng lượng]] của [[hiđrô]].<ref name=feynbook>{{chú thích sách |last=Feynman |first=Richard |authorlink=Richard Feynman |year=1985 |isbn=978-0-691-12575-6 |title=QED: The Strange Theory of Light and Matter |publisher=Princeton University Press}}</ref>{{rp|Ch1}}

==Lịch sử==
{{chính|Lịch sử cơ học lượng tử}}
[[Tập tin:Paul Dirac, 1933, head and shoulders portrait, bw.jpg|upright|nhỏ|phải|[[Paul Dirac]]]]

[[cơ học lượng tử|Lý thuyết lượng tử]] đầu tiên miêu tả tương tác giữa bức xạ và vật chất do [[nhà khoa học]] người Anh [[Paul Dirac]] đưa ra, mà (trong thập niên 1920) ông là người đầu tiên tính được hệ số phát xạ tự phát cho một [[nguyên tử]].<ref name=dirac>
{{chú thích tạp chí
 | author=P.A.M. Dirac
 | authorlink= Paul Adrien Maurice Dirac
 | year=1927
 | title=The Quantum Theory of the Emission and Absorption of Radiation
 | journal= Proceedings of the Royal Society of London A
 | volume=114 | pages=243–265
 | doi=10.1098/rspa.1927.0039
|bibcode = 1927RSPSA.114..243D
 | issue=767 }}</ref>

Dirac miêu tả sự lượng tử hóa của [[trường điện từ]] giống như các [[dao động tử điều hòa]] và giới thiệu khái niệm [[toán tử sinh và hủy]] của hạt. Trong những năm sau, với các đóng góp của [[Wolfgang Pauli]], [[Eugene Wigner]], [[Pascual Jordan]], [[Werner Heisenberg]] và hình thức điện động lực học lượng tử sáng rõ nêu bởi [[Enrico Fermi]],<ref name=fermi>
{{chú thích tạp chí
 | author=E. Fermi
 | authorlink= Enrico Fermi
 | year=1932
 | title=Quantum Theory of Radiation
 | journal=Reviews of Modern Physics
 | volume=4 | pages=87–132
 | doi=10.1103/RevModPhys.4.87
|bibcode = 1932RvMP....4...87F }}</ref> các nhà vật lý tin rằng, về nguyên lý, có thể tính toán bất kỳ một quá trình vật lý nào có sự tham gia của các photon và các hạt điện tích. Tuy nhiên, những nghiên cứu chi tiết hơn của [[Felix Bloch]] và [[Arnold Nordsieck]],<ref name=bloch>{{chú thích tạp chí
 |authors=F. Bloch; A. Nordsieck| authorlink1= Felix Bloch
 | year=1937
 | title=Note on the Radiation Field of the Electron
 |url=https://archive.org/details/sim_physical-review_1937-07-15_52_2/page/n10| journal=Physical Review
 | volume=52 | pages=54–59
 | doi=10.1103/PhysRev.52.54
|bibcode = 1937PhRv...52...54B
 | issue=2 }}</ref> và [[Victor Weisskopf]],<ref name=weisskopf>{{chú thích tạp chí
 | author=V. F. Weisskopf
 | year=1939
 | title=On the Self-Energy and the Electromagnetic Field of the Electron
 | url=https://archive.org/details/sim_physical-review_1939-07-01_56_1/page/n72
 | journal=[[Physical Review]]
 | volume=56 | pages=72–85
 | doi=10.1103/PhysRev.56.72
|bibcode = 1939PhRv...56...72W }}</ref> trong năm 1937 và 1939, cho thấy những tính toán này chỉ tin cậy đối với xấp xỉ bậc nhất của lý thuyết nhiễu loạn, mà [[Robert Oppenheimer]] đã chỉ ra trước đó.<ref name=oppenheimer>{{chú thích tạp chí
 | author=R. Oppenheimer
 | authorlink= Robert Oppenheimer
 | year=1930
 | title=Note on the Theory of the Interaction of Field and Matter
 | url=https://archive.org/details/sim_physical-review_1930-03-01_35_5/page/n21
 | journal=Physical Review
 | volume=35 | pages=461–477
 | doi=10.1103/PhysRev.35.461
|bibcode = 1930PhRv...35..461O
 | issue=5 }}</ref> Những chuỗi vô hạn xuất hiện khi tính đến số hạng bậc cao hơn, khiến cho các tính toán trở lên vô nghĩa và dấy lên những nghi ngờ về tính nhất quán nội tại của lý thuyết. Trong thời gian này chưa có một giải pháp nào được nêu ra, và dường như nó không thể tương thích hoàn toàn đối với cả [[thuyết tương đối hẹp]] và [[cơ học lượng tử]].

[[Tập tin:Hans Bethe.jpg|upright||nhỏ|trái|[[Hans Bethe]]]]
Những khó khăn trong lý thuyết tăng lên vào cuối thập niên 1940. Với kỹ thuật mới dựa trên [[sóng vi ba]] cho phép thực hiện các thí nghiệm đo chính xác hơn mức dịch chuyển năng lượng đối với nguyên tử hiđrô,<ref name=lamb>
{{chú thích tạp chí
 |authors=W. E. Lamb; R. C. Retherford| authorlink1= Willis Lamb
 | year=1947
 | title=Fine Structure of the Hydrogen Atom by a Microwave Method,
 |url=https://archive.org/details/sim_physical-review_1947-08-01_72_3/page/n51| journal=Physical Review
 | volume=72 | pages= 241–243
 | doi=10.1103/PhysRev.72.241
|bibcode = 1947PhRv...72..241L
 | issue=3 }}</ref> mà ngày nay gọi là [[dịch chuyển Lamb]] và [[mômen từ]] dị thường của electron.<ref name=foley>
{{chú thích tạp chí
 |authors=P. Kusch; H. M. Foley| authorlink1= Polykarp Kusch
 | year=1948
 | title=On the Intrinsic Moment of the Electron
 | journal=Physical Review
 | volume=73 | pages=412
 | doi=10.1103/PhysRev.73.412
|bibcode = 1948PhRv...73..412F
 | issue=3 }}</ref> Những thí nghiệm này cho thấy những giá trị kỳ lạ xuất hiện mà lý thuyết lúc đó không thể giải thích được.

[[Hans Bethe]] là người đầu tiên nêu ra giải pháp khắc phục những trở ngại này. Năm 1947, trên chuyến xe lửa từ [[New York]] đến [[Schenectady]],<ref name=schweber>{{chú thích sách |last=Schweber |first=Silvan |authorlink=Silvan Schweber |year=1994 |isbn=978-0-691-03327-3 |title=QED and the Men Who Did it: Dyson, Feynman, Schwinger, and Tomonaga |url=https://archive.org/details/qedmenwhomadeitd0000schw |chapter=Chapter 5 |page=[https://archive.org/details/qedmenwhomadeitd0000schw/page/230 230] |publisher=Princeton University Press}}</ref> sau khi tham gia hội nghị tổ chức tại Đảo Shelter về chủ đề này, Bethe đã hoàn thành tính toán phi tương đối tính đầu tiên về sự dịch chuyển của các vạch quang phổ của nguyên tử hiđrô mà trước đó Lamb và Retherford đo được.<ref name=bethe>
{{chú thích tạp chí
 | author=H. Bethe
 | authorlink= Hans Bethe
 | year=1947
 | title=The Electromagnetic Shift of Energy Levels
 | url=https://archive.org/details/sim_physical-review_1947-08-15_72_4/page/n75
 | journal=Physical Review
 | volume=72 | pages=339–341
 | doi=10.1103/PhysRev.72.339
|bibcode = 1947PhRv...72..339B
 | issue=4 }}</ref> Mặc dù có những hạn chế trong cách tính của ông, kết quả thu được khớp tuyệt vời so với thực nghiệm. Ý tưởng đơn giản nhằm triệt tiêu các giá trị vô hạn để hiệu chỉnh [[khối lượng]] và [[điện tích]] thu về giá trị hữu hạn như đo bằng các thí nghiệm. Theo cách này, những giá trị vô hạn sinh bởi [[chuỗi (toán học)|chuỗi số]] bị hấp thụ bởi các hằng số và cho kết quả hữu hạn khớp với giá trị đo được từ thí nghiệm. Thủ tục này sau đó gọi là [[tái chuẩn hóa]].

[[Tập tin:Feynman and Oppenheimer at Los Alamos.jpg|nhỏ|phải|[[Richard Feynman|Feynman]] (giữa) và [[Robert Oppenheimer|Oppenheimer]] (phải) tại [[Phòng thí nghiệm Quốc gia Los Alamos|Los Alamos]].]]

Dựa trên trực giác của Bethe và những bài báo cơ sở về lĩnh vực này của [[Sin-Itiro Tomonaga]],<ref name=tomonaga>
{{chú thích tạp chí
 | author=S. Tomonaga
 | year=1946
 | title=On a Relativistically Invariant Formulation of the Quantum Theory of Wave Fields
 | journal=Progress of Theoretical Physics
 | volume=1 | pages= 27–42
 | doi=10.1143/PTP.1.27
 | issue=2
}}</ref> [[Julian Schwinger]],<ref name=schwinger1>
{{chú thích tạp chí
 | author=J. Schwinger
 | year=1948
 | title=On Quantum-Electrodynamics and the Magnetic Moment of the Electron
 | url=https://archive.org/details/sim_physical-review_1948-02-15_73_4/page/n144
 | journal=Physical Review
 | volume=73 | pages= 416–417
 | doi=10.1103/PhysRev.73.416
|bibcode = 1948PhRv...73..416S
 | issue=4 }}</ref><ref name=schwinger2>
{{chú thích tạp chí
 | author=J. Schwinger
 | year=1948
 | title=Quantum Electrodynamics. I. A Covariant Formulation
 | url=https://archive.org/details/sim_physical-review_1948-11-15_74_10/page/n169
 | journal=Physical Review
 | volume=74 | pages= 1439–1461
 | doi=10.1103/PhysRev.74.1439
|bibcode = 1948PhRv...74.1439S
 | issue=10 }}</ref> [[Richard Feynman]]<ref name=feynman1>
{{chú thích tạp chí
 | author=R. P. Feynman
 | year=1949
 | title=Space–Time Approach to Quantum Electrodynamics
 | url=https://archive.org/details/sim_physical-review_1949-09-15_76_6/page/n63
 | journal=Physical Review
 | volume=76 | pages= 769–789
 | doi=10.1103/PhysRev.76.769
|bibcode = 1949PhRv...76..769F
 | issue=6 }}</ref><ref name=feynman2>
{{chú thích tạp chí
 | author=R. P. Feynman
 | year=1949
 | title=The Theory of Positrons
 | url=https://archive.org/details/sim_physical-review_1949-09-15_76_6/page/n43
 | journal=Physical Review
 | volume=76 | pages= 749–759
 | doi=10.1103/PhysRev.76.749
|bibcode = 1949PhRv...76..749F
 | issue=6 }}</ref><ref name=feynman3>
{{chú thích tạp chí
 | author=R. P. Feynman
 | year=1950
 | title=Mathematical Formulation of the Quantum Theory of Electromagnetic Interaction
 | url=https://archive.org/details/sim_physical-review_1950-11-01_80_3/page/n130
 | journal=Physical Review
 | volume=80 | pages= 440–457
 | doi=10.1103/PhysRev.80.440
|bibcode = 1950PhRv...80..440F
 | issue=3 }}</ref> và [[Freeman Dyson]],<ref name=dyson1>
{{chú thích tạp chí
 | author=F. Dyson
 | year=1949
 | title=The Radiation Theories of Tomonaga, Schwinger, and Feynman
 | url=https://archive.org/details/sim_physical-review_1949-02-01_75_3/page/n136
 | journal=Physical Review
 | volume=75 | pages= 486–502
 | doi=10.1103/PhysRev.75.486
|bibcode = 1949PhRv...75..486D
 | issue=3 }}</ref><ref name=dyson2>
{{chú thích tạp chí
 | author=F. Dyson
 | year=1949
 | title=The S Matrix in Quantum Electrodynamics
 | url=https://archive.org/details/sim_physical-review_1949-06-01_75_11/page/n100
 | journal=Physical Review
 | volume=75 | pages= 1736–1755
 | doi=10.1103/PhysRev.75.1736
|bibcode = 1949PhRv...75.1736D
 | issue=11 }}</ref> các nhà vật lý cuối cùng đã có thể tìm ra được những công thức [[hiệp biến Lorentz|hiệp biến]] cho giá trị hữu hạn tại bậc xấp xỉ bất kỳ trong chuỗi số miêu tả bằng lý thuyết nhiễu loạn của điện động lực học lượng tử. [[Sin-Itiro Tomonaga]], [[Julian Schwinger]] và [[Richard Feynman]] cùng nhận [[giải Nobel Vật lý]] năm 1965 cho những công trình cơ bản trong ngành này.<ref name=nobel65>{{Chú thích web | tiêu đề = The Nobel Prize in Physics 1965 | nhà xuất bản = Nobel Foundation | url = http://nobelprize.org/nobel_prizes/physics/laureates/1965/index.html|ngày truy cập = ngày 9 tháng 10 năm 2008}}</ref> Những đóng góp của họ, cùng với của [[Freeman Dyson]], về khuôn khổ lý thuyết hiệp biến và [[bất biến chuẩn]] (gauge invariant) của điện động lực học lượng tử cho phép những tính toán về các đại lượng quan sát được tại những bậc xấp xỉ bất kỳ trong lý thuyết nhiễu loạn. Kỹ thuật toán học của Feynman, dựa trên các [[biểu đồ Feynman|biểu đồ]] của ông, ban đầu dường như rất khác lạ so với cách tiếp cận theo lý thuyết trường, và [[toán tử]] của Schwinger và Tomonaga, nhưng sau đó Freeman Dyson chứng tỏ rằng hai cách tiếp cận này tương đương với nhau.<ref name=dyson1/> Tái chuẩn hóa, kỹ thuật đòi hỏi gắn các đại lượng vật lý tại những phép phân kỳ nhất định xuất hiện trong lý thuyết thông qua các [[tích phân]], sau đó trở thành một trong những công cụ cơ bản của lý thuyết trường lượng tử và trở thành một tiêu chuẩn cho một lý thuyết lượng tử được chấp thuận hay không. Ngay cả khi kỹ thuật tái chuẩn hóa hoạt động khá hiệu quả trong thực hành, Feynman không bao giờ cảm thấy dễ chịu hoàn toàn về tính đúng đắn toán học của nó, và ông coi tái chuẩn hóa giống như "trò xóc đĩa" (shell game) và "hocus pocus" (ma thuật).<ref name=feynbook/>{{rp|128}}

QED đã trở thành hình mẫu và khuôn khổ cho những lý thuyết trường lượng tử về sau. Một trong những lý thuyết đó là [[Sắc động lực học lượng tử]] QCD, hình thành từ đầu thập niên 1960 và có mô hình như ngày nay kể từ những công trình năm 1975 thực hiện bởi [[H. David Politzer]], [[Sidney Coleman]], [[David Gross]] và [[Frank Wilczek]]. Dựa trên các công trình tiên phong của [[Schwinger]], [[Gerald Guralnik]], [[C. R. Hagen|Dick Hagen]], và [[Tom W. B. Kibble|Tom Kibble]],<ref>
{{chú thích tạp chí
 | author=G.S. Guralnik, C.R. Hagen, T.W.B. Kibble
 | year=1964
 | title=Global Conservation Laws and Massless Particles
 | journal=[[Physical Review Letters]]
 | volume=13 | pages=585–587
 | doi=10.1103/PhysRevLett.13.585
|bibcode = 1964PhRvL..13..585G
 | issue=20 }}</ref><ref>
{{chú thích tạp chí
 | author=G.S. Guralnik
 | year=2009
 | title=The History of the Guralnik, Hagen and Kibble development of the Theory of Spontaneous Symmetry Breaking and Gauge Particles
 | journal=International Journal of Modern Physics A
 | volume=24 | pages=2601–2627
 | doi=10.1142/S0217751X09045431
 | arxiv=0907.3466
|bibcode = 2009IJMPA..24.2601G
 | issue=14 }}</ref> [[Peter Higgs]], [[Jeffrey Goldstone]], và những [[nhà vật lý]] khác, [[Sheldon Glashow]], [[Steven Weinberg]] và [[Abdus Salam]] độc lập với nhau chứng minh được [[tương tác yếu|lực hạt nhân yếu]] và điện động lực học lượng tử có thể thống nhất với nhau thành một lý thuyết chung là lý thuyết [[lực điện - yếu]].

==Cách nhìn của Feynman về điện động lực học lượng tử==

===Giới thiệu===

Gần cuối cuộc đời mình, [[Richard P. Feynman]] đã thực hiện một số bài giảng về QED với mục đích dành cho công chúng. Những bài giảng này được biên soạn và xuất bản thành sách Feynman (1985), [[QED (sách)|''QED: The strange theory of light and matter'']],<ref name=feynbook/> với nội dung trình bày theo phong cách cổ điển mà không dùng các phương trình để giải thích QED như được thể hiện dưới đây.

Những điểm chính trong diễn đạt của Feynman về QED bao gồm ba tác dụng cơ bản.<ref name=feynbook/>{{rp|85}}

* Một [[photon]] đi từ một nơi trong một thời điểm đến nơi khác trong thời điểm khác.
* Một [[electron]] đi từ một nơi trong một thời điểm đến nơi khác trong thời điểm khác.
* Một electron phát ra hoặc hấp thụ một photon ở một nơi và thời điểm nhất định.

[[Tập tin:Feynman Diagram Components.svg|nhỏ|right|300px|Các phần tử của [[sơ đồ Feynman]].]]

Những tác dụng này được biểu diễn bằng hình ảnh đơn giản cho ba phần tử cơ bản của [[sơ đồ Feynman]]: đường dạng sóng thể hiện cho photon, đường thẳng thể hiện cho electron và giao điểm của hai đường thẳng và một đường sóng ở một định biểu diễn electron phát ra hoặc hấp thụ một photon. Xem minh họa các phần tử trong hình bên cạnh.

Một điều quan trọng là không đi sâu vào giải thích chi tiết ở từng sơ đồ này. Nó không hàm ý hay giải thích ''bằng cách nào'' một hạt đi từ điểm này đến điểm kia. Sơ đồ cũng ''không'' hàm ý rằng các hạt chuyển động theo đường thẳng hay theo đường lượn sóng. Chúng ''không'' hàm ý các hạt chuyển động với tốc độ cố định. Để cho thuận tiện, photon thường được biểu diễn bằng đường lượn sóng và không phải bằng đường thẳng ''cũng không'' hàm ý rằng nó thể hiện tính chất sóng nhiều hơn so với electron. Các hình ảnh chỉ là những ký hiệu để minh họa các tác dụng ở trên: các photon và electron thực hiện, bằng một cách nào đó, di chuyển từ điểm này đến điểm kia và các electron, bằng một cách nào đó, phát ra và hấp thụ các photon. Lý thuyết không cho chúng ta biết làm cách nào mà những tác dụng này xảy ra, nhưng lý thuyết cho chúng ta biết cách tính xác suất cho nhiều tình huống khác nhau.

Ngoài cách biểu diễn ngắn gọn bằng hình ảnh cho các tác dụng, Feynman cũng giới thiệu một khái niệm ngắn gọn khác cho các đại lượng bằng số gọi là [[Điện động lực học lượng tử#Biên độ xác suất|biên độ xác suất]]. Xác suất bằng bình phương của trị tuyệt đối của tổng biên độ xác suất, <math>Prob. = | f(Amplitude) | ^2 </math>. Nếu một photon đi từ một nơi này đến nơi khác và tại một thời điểm tương ứng, ví dụ từ A— đến một nơi khác và ở thời điểm tương ứng khác—ví dụ, B—đại lượng miêu tả cho quá trình này được Feynman viết gọn là <math>P(A  to  B) </math>. Đại lượng tương tự cho sự kiện một electron di chuyển từ C đến D được viết bằng E(C to D). Đại lượng cho chúng ta biết biên độ xác suất của sự kiện phát ra hoặc hấp thụ một photon thì ông ký hiệu là 'j'. Đại lượng này có liên hệ với, nhưng không giống nhau, [[điện tích cơ bản|điện tích electron]] đo được 'e'.<ref name=feynbook/>{{rp|91}}

QED dựa trên giả sử rằng các tương tác phức tạp giữa nhiều electron và photon có thể được biểu diễn bằng cách sắp xếp cho phù hợp ba tác dụng cơ bản ở trên, rồi sử dụng các biên độ xác suất để tính xác suất xảy ra bất kỳ một tương tác phức tạp nào. Hóa ra các ý tưởng cơ bản của QED có thể được truyền đạt bằng cách giả sử rằng bình phương của tổng các biên độ xác suất như đã đề cập ở trên (P(A đến B), E(A đến B) và 'j') hoạt động giống như khái niệm [[xác suất]] trong toán học. (Một cách đơn giản hóa như thường gặp trong các sách của Feynman.) Sau đó, theo Feynman, giá trị xác suất sẽ được hiệu chỉnh để bao gồm những công thức toán học đặc biệt trong cơ học lượng tử.

Những quy tắc cơ bản của biên độ xác suất mà sẽ được sử dụng là a) nếu một sự kiện có thể xảy ra theo nhiều cách khác nhau thì biên độ xác suất của nó bằng '''tổng''' của các biên độ xác suất của các cách khả dĩ và b) nếu một quá trình bao gồm một số các quá trình con độc lập thì biên độ xác suất của nó bằng '''tích''' của các biên độ xác suất của các quá trình con.<ref name=feynbook/>{{rp|93}}

===Những bước cơ bản===

Giả sử chúng ta bắt đầu bằng một electron ở một vị trí và thời điểm nhất định (vị trí và thời điểm này được gán bất kỳ bằng ký hiệu A) và một photon ở vị trí và thời điểm khác (ký hiệu là B). Một câu hỏi xuất hiện một cách tự nhiên từ quan điểm vật lý đó là: 'Xác suất để tìm thấy một electron tại C (ở vị trí và thời điểm khác) và một photon tại D (cũng một vị trí và thời điểm khác) bằng bao nhiêu?'. Quá trình đơn giản nhất để có được kết quả cuối cùng này là electron di chuyển từ A đến C (một tác dụng cơ bản) và photon di chuyển từ B đến D (một tác dụng cơ bản khác). Một khi biết được biên độ xác suất của mỗi một quá trình con – E(A đến C) và P(B đến D) – thì chúng ta có thể tính được biên độ xác suất của sự kiện hai quá trình xảy ra cùng nhau bằng cách nhân chúng với nhau, như sử dụng quy tắc b) ở trên. Quá trình này cho ước lượng đơn giản về biên độ xác suất tổng của nó, mà khi lấy bình phương chúng ta thu được xác suất để xảy ra quá trình này.

[[Tập tin:Compton Scattering.svg|nhỏ|trái|200px|[[Tán xạ Compton]].]]
Nhưng cũng có những con đường khác mà kết quả cuối cùng cũng giống như với quán trình ở trên. Electron có thể di chuyển đến một vị trí và thời điểm E mà tại đây nó hấp thụ một photon; sau đó nó tiếp tục di chuyển trước khi phát ra một photon khác tại F; và rồi nó đi tới C ở vị trí bị phát hiện, trong khi photon mới phát ra thì di chuyển tới D. Xác suất của quá trình phức tạp hơn này có thể thu được bằng cách tìm biên độ xác suất của từng tiến trình con: bao gồm ba tác dụng của electron, hai tác dụng của photon và hai đỉnh – một phát ra và một hấp thụ. Chúng ta có thể tìm được tổng biên độ xác suất bằng cách nhân biên độ xác suất của từng tác dụng này, với một vị trí bất kỳ E và F được chọn. Sau đó, chúng ta sử dụng quy tắc a) ở trên, thực hiện cộng tất cả những biên độ xác suất khả dĩ cho mọi vị trí có thể có của E và F. (Phép cộng này trong thực hành không mấy khi gặp, mà thay vào đó được thực hiện bằng [[tích phân]].) Nhưng cũng có một khả năng khác, đó là electron đầu tiên di chuyển đến G nơi nó phát ra một photon mà photon này đi tới D, trong khi electron tiếp tục di chuyển đến H, nơi nó hấp thụ photon đầu tiên, trước khi di chuyển đến C. Một lần nữa, chúng ta có thể tính toán biên độ xác suất của những tiến trình khả dĩ (cho mọi điểm G và H). Chúng ta có thể thu được ước lượng tốt hơn cho tổng biên độ xác suất bằng cách cộng những biên độ xác suất của hai khả năng này (gồm vị trí E và F, G và H) vào ước lượng đơn giản đầu tiên. Một cách trùng hợp, tên gọi cho quá trình một photon tương tác với một electron theo cách này được gọi là [[tán xạ Compton]].

Có ''vô hạn'' những quá trình trung gian trong đó thêm nhiều photon bị hấp thụ và/hoặc phát ra. Với mỗi quá trình như vậy có một sơ đồ Feynman tương ứng để miêu tả nó. Điều này hàm ý rằng tính toán trở lên phức tạp cho giá trị biên độ xác suất, nhưng cũng cho thấy đối với trường hợp biểu đồ càng phức tạp thì giá trị đóng góp vào kết quả ban đầu càng ít đi, ở đây chỉ có vấn đề về thời gian và nỗ lực tính toán để tìm ra giá trị càng chính xác hơn so với giá trị ban đầu. Đây là cách tiếp cận tính toán cơ bản của QED. Để tính toán xác suất của ''bất kỳ'' quá trình tương tác nào giữa các electron và photon đó là đầu tiên phải chú ý đến, với những sơ đồ Feynman nào mà, mọi cách khả dĩ để quá trình này có thể được xây dựng từ ba phần tử cơ bản miêu tả ở trên. Mỗi sơ đồ bao gồm một số tính toán chứa những quy tắc xác định để tìm ra biên độ xác suất kèm theo.

Cách xây dựng cơ bản trên vẫn còn áp dụng khi chúng ta chuyển sang cách miêu tả theo cơ học lượng tử nhưng cần thay đổi một số khái niệm. Một trong số đó là chúng ta thường nghĩ rằng trong cuộc sống hàng ngày sẽ có một số giới hạn lên những điểm mà hạt có thể di chuyển, nhưng điều này trở lên ''không còn'' đúng trong điện động lực học lượng tử. Có khả năng cho một electron tại A, hoặc một photon tại B, di chuyển theo tác dụng cơ bản ''đến một nơi bất kỳ khác trong một thời điểm bất kỳ trong vũ trụ''. Điều này bao gồm cả những vị trí mà chỉ có thể đi tới khi vận tốc đòi hỏi phải lớn hơn [[tốc độ ánh sáng]] và thậm chí ở ''thời điểm sớm hơn''. (Một electron đi ngược lại thời gian có thể coi như là một [[positron]] di chuyển theo chiều thời gian.)<ref name=feynbook/>{{rp|89, 98–99}}

===Biên độ xác suất===

[[Tập tin:Feynmans QED probability amplitudes.gif|frame|phải|Feynman thay thế các số phức bằng những mũi tên quay định hướng, mà bắt đầu từ lúc photon phát ra và đi đến máy dò hạt. Tổng của mọi mũi tên kết quả biểu diễn tổng xác suất của sự kiện. Trong minh hoạ này, ánh sáng phát ra từ nguồn '''''S''''' phản xạ bởi vài mảnh gương (màu lục) trước khi đi tới máy dò tại '''''P'''''. Tổng (<math>\Sigma</math>) của mọi con đường phải được tính vào. Đồ thị bên dưới miêu tả tổng thời gian di chuyển cho mỗi con đường ở trên.]]

[[Cơ học lượng tử]] giới thiệu một sự thay đổi quan trọng trong cách xác suất được tính toán. Xác suất vẫn được biểu diễn bằng những số thực thông thường mà chúng ta sử dụng trong tính xác suất hàng ngày, nhưng xác suất lượng tử ở đây được tính bằng bình phương biên độ xác suất. [[Biên độ xác suất]] là những [[số phức]].

Feynman tránh trình bày với độc giả những số phức toán học bằng cách sử dụng đơn giản nhưng chính xác hình ảnh của chúng như là những mũi tên trên trang sách hay bảng viết. (Không nên nhầm lẫn với các mũi tên của sơ đồ Feynman mà chúng thực sự là những biểu diễn đơn giản của mối liên hệ giữa hai điểm trong không gian ba chiều và một chiều thời gian.) Biên độ của các mũi tên là công cụ miêu tả cơ bản của lý thuyết lượng tử cho thế giới vi mô. Không có lý giải thỏa đáng nào cho câu hỏi ''tại sao'' chúng lại cần thiết như vậy. Nhưng thực tế chúng ta phải chấp nhận rằng chúng là một phần cơ bản trong miêu tả của chúng ta về mọi hiện tượng lượng tử. Chúng được liên hệ với ý tưởng xác suất trong toán học bởi quy tắc đơn giản đó là xác suất của một sự kiện bằng '''bình phương''' độ lớn của độ dài của mũi tên biên độ tương ứng. Do đó, đối với một quá trình cho trước, nếu có hai biên độ xác suất, '''v''' và '''w''', xác suất của quá trình được cho bởi hoặc là

:<math>P=|\mathbf{v}+\mathbf{w}|^2</math>

hoặc

:<math>P=|\mathbf{v} \,\mathbf{w}|^2.</math>

Quy tắc giống như phép tính cộng và phép tính nhân, tuy nhiên là giống như miêu tả ở trên. Nhưng thông thường trong đời sống hàng ngày nơi chúng ta thực hiện cộng hoặc nhân các giá trị xác suất, thay vào đó trong điện động lực học lượng tử chúng ta thực hiện cộng hoặc nhân các biên độ xác suất là những số phức.

[[Tập tin:AdditionComplexes.svg|nhỏ|phải|200px|Phép cộng các biên độ xác suất như đối với số phức.]]
[[Tập tin:MultiplicationComplexes.png|nhỏ|phải|200px|Phép nhân các biên độ xác suất như quy tắc đối với số phức.]]

Phép cộng và nhân tương tự trong lý thuyết [[số phức]] và được minh họa bằng hình ảnh bên cạnh. Kết quả tổng được tính như sau. Đặt điểm đầu của mũi tên thứ hai vào điểm cuối của mũi tên thứ nhất. Tổng có được chính là mũi tên thứ ba nối trực tiếp từ điểm đầu của mũi tên thứ nhất với điểm cuối của mũi tên thứ hai. Tích của hai mũi tên là một mũi tên mới với độ dài là tích của hai độ dài của hai mũi tên. Hướng của mũi tên kết quả được tìm bằng cách cộng các góc của mỗi mũi tên được xoay theo một hướng quy chiếu: nó cho kết quả góc của phép nhân được xoay tương đối với một hướng quy chiếu.

Sự thay đổi trên, từ các xác suất thành các biên độ xác suất, làm phức tạp thêm các tính toán toán học nhưng không làm thay đổi cách tiếp cận cơ bản đã nêu. Nhưng sự thay đổi này vẫn chưa đủ bởi vì nó chưa tính đến cả photon và electron có đặc điểm là có thể [[phân cực]], hay có nghĩa rằng hướng của chúng trong không gian và thời gian phải được tính đến. Do vậy, P(A đến B) thực sự chứa 16 số phức, hay các mũi tên biên độ xác suất.<ref name=feynbook/>{{rp|120–121}} Cũng có một số thay đổi nhỏ liên quan tới đại lượng "j", mà phải quay hoặc nhân với 90° cho một số trường hợp phân cực, khi muốn thực hiện các phép tính yêu cầu chính xác cao hơn.

Đi kèm với thực tế rằng electron có thể phân cực còn có thêm những chi tiết nhỏ cần thiết khác liên quan tới tính chất một electron là hạt [[fermion]] và tuân theo [[thống kê Fermi–Dirac]]. Quy tắc cơ bản là nếu chúng ta có biên độ xác suất cho một quá trình phức tạp với sự tham gia của nhiều hơn một electron, thì khi chúng ta bao gồm vào (mà chúng ta luôn phải tính đến) biểu đồ Feynman bổ sung mà ở đó chúng ta chỉ trao đổi hai electron cho nhau, biên độ kết quả có giá trị ngược dấu – dấu âm – của biên độ đầu tiên. Ví dụ, trường hợp đơn giản nhất đó là hai electron bắt đầu tại A và B và kết thúc tại C và D. Lúc này biên độ xác suất cho toàn bộ sự kiện sẽ được tính toán như là "hiệu", {{nowrap|E(A đến D) × E(B đến C) − E(A đến C) × E(B đến D)}}, mà khác với kiến thức chúng ta được học từ lý thuyết xác suất, đó là phép tính "cộng".<ref name=feynbook/>{{rp|112–113}}

===Hàm truyền===

Cuối cùng, ta phải tính P (A đến B) và E (C đến D) tương ứng cho biên độ xác suất của photon và electron. Về cơ bản chúng là các nghiệm của [[phương trình Klein–Gordon]] mà miêu tả hành xử của biên độ xác suất của photon và [[phương trình Dirac]] miêu tả hành xử của biên độ xác suất của electron. P (A đến B) và E (C đến D) được gọi là các [[hàm truyền (cơ học lượng tử)|hàm truyền Feynman]] (Feynman propagators). Các khái niệm này được viết chuẩn hóa trong các ấn phẩm chuyên môn như sau:

:<math>P(\mbox{A to B}) \rightarrow D_F(x_B-x_A),\quad  E(\mbox{C to D}) \rightarrow S_F(x_D-x_C) </math>

với ký hiệu ngắn gọn như <math>x_A</math> là bộ bốn số thực biểu diễn cho tọa độ thời gian và tọa độ không gian ba chiều của sự kiện tại điểm A.

===Tái chuẩn hóa khối lượng===

[[Tập tin:Electron self energy loop.svg|nhỏ|phải|200px|Vòng xấp xỉ năng lượng tự tại electron (Electron self-energy loop).]]
Trong lịch sử xuất hiện một vấn đề mà tồn tại trong khoảng 20 năm của lịch sử điện động lực học lượng tử: mặc dù chúng ta bắt đầu với giả sử gồm ba tác dụng cơ bản "đơn giản", các quy tắc của trò chơi nêu rằng nếu chúng ta muốn tính biên độ xác suất cho một electron từ A đến B chúng ta phải tính '''mọi''' con đường khả dĩ: đó là liệt kê ra mọi giản đồ Feynman cho hai điểm đầu cuối này. Do vậy sẽ có một con đường mà electron đi tới C, nó phát ra một photon tại đây và bị hấp thụ tại D trước khi electron đi tới B. Hoặc quá trình này có thể xuất hiện hai lần, thậm chí nhiều hơn. Tựu chung lại chúng ta có một tình huống tựa như ở vấn đề [[phân dạng|fractal]] trong đó nếu chúng ta nhìn gần hơn về một đường thì sẽ thấy nó phân nhỏ ra thành tập hợp các đường "đơn giản", mà trong mỗi đường này, nếu tiếp tục nhìn thu nhỏ hơn, thì nó lại được phân thành các đường "đơn giản" khác, và ''cứ tiếp tục vô hạn'' như thế. Đây là một tình huống rất khó để giải quyết. Nếu mỗi lần thêm vào chi tiết nó chỉ làm thay đổi nhỏ ở kết quả thì vấn đề không quá tệ, nhưng các nhà vật lý đã gặp thảm họa khi họ tìm thấy sự hiệu chỉnh đơn giản đề cập ở trên dẫn tới biên độ xác suất có giá trị ''vô hạn''. Sau này, vấn đề đã được "khắc phục" bằng kỹ thuật gọi là [[tái chuẩn hóa]]. Tuy vậy, chính Feynman vẫn không cảm thấy thoải mái về kỹ thuật này, khi ông gọi nó là "quá trình gàn dở".<ref name=feynbook/>{{rp|128}}

===Kết luận===

Với khuôn khổ nêu ở trên các nhà vật lý đã có thể tính với độ chính xác cao một số tính chất của electron, ví dụ như [[mômen lưỡng cực từ dị thường]]. Tuy nhiên, như Feynman chỉ ra, lý thuyết hoàn toàn không giải thích được, ví dụ, tại sao các hạt như electron lại có giá trị khối lượng đo được thực tế như vậy. "Chưa có một lý thuyết thỏa đáng giải thích cho những con số như vậy. Chúng ta sử dụng các con số này trong mọi lý thuyết của chúng ta, nhưng chúng ta chưa hiểu chúng – chúng là gì hay chúng đến từ đâu. Tôi tin rằng từ quan điểm cơ bản, đây là một vấn đề nghiêm trọng và rất thú vị."<ref name=feynbook/>{{rp|152}}

==Toán học==

Về mặt toán học, QED là một [[lý thuyết chuẩn]] [[nhóm giao hoán|Abel]] (abelian gauge theory) với nhóm đối xứng [[U(1)]]. [[Trường chuẩn]] (gauge field), làm trung gian tương tác giữa các [[trường (vật lý)|trường]] [[spin|spin-1/2]], là [[trường điện từ]]. [[Lagrangian (lý thuyết trường)|Lagrangian]] của QED cho trường spin-1/2 tương tác với trường điện từ được viết theo các đơn vị tự nhiên trong phần thực của<ref name=Peskin>{{chú thích sách | last1 =Peskin | first1 =Michael | last2 =Schroeder | first2 =Daniel | title =An introduction to quantum field theory | url =https://archive.org/details/introductiontoqu0000pesk | publisher =Westview Press | edition =Reprint | date =1995 | isbn =978-0201503975}}</ref>{{rp|78}}
{{Equation box 1
|indent =:
|equation =:<math>\mathcal{L}=\bar\psi(i\gamma^\mu D_\mu-m)\psi -\frac{1}{4}F_{\mu\nu}F^{\mu\nu}</math>
|cellpadding
|border
|border colour = #50C878
|background colour = #ECFCF4}}

với
:<math> \gamma^\mu </math> là các [[ma trận Dirac]];
:<math>\psi</math> là trường [[bispinor]] của các hạt [[spin-1/2]] (như trường [[electron]]–[[positron]]);
:<math>\bar\psi\equiv\psi^\dagger\gamma^0</math>, gọi là "psi-bar", đôi lúc được coi là [[liên hợp Dirac]];
:<math>D_\mu \equiv \partial_\mu+ieA_\mu+ieB_\mu \,\!</math> là [[đạo hàm hiệp biến chuẩn]] (gauge covariant derivative);
:''e'' là [[hằng số cấu trúc tế vi|hằng số cặp]], bằng với [[điện tích]] của trường bispinor;
:''m'' là khối lượng của electron hoặc positron;
:<math>A_\mu</math> là [[thế-4 của trường điện từ|thế-4]] [[hiệp biến Lorentz|hiệp biến]] của trường điện từ tạo bởi chính electron;
:<math>B_\mu</math> là trường ngoài sinh bởi nguồn bên ngoài;
:<math>F_{\mu\nu} = \partial_\mu A_\nu - \partial_\nu A_\mu \,\!</math> là [[tensor điện từ]].

===Phương trình chuyển động===

Thay định nghĩa của ''D'' vào Lagrangian thu được

:<math>\mathcal{L} = i \bar\psi \gamma^\mu \partial_\mu \psi - e\bar{\psi}\gamma_\mu (A^\mu+B^\mu) \psi -m \bar{\psi} \psi - \frac{1}{4}F_{\mu\nu}F^{\mu\nu}. \,</math>

Từ Lagrangian này, có thể tìm ra phương trình chuyển động cho các trường ''ψ'' và ''A''.

Sử dụng [[phương trình Euler–Lagrange]] trong lý thuyết trường cho ''ψ'',

{{NumBlk|:|<math> \partial_\mu \left(\frac{\partial \mathcal{L}}{\partial (\partial_\mu \psi)} \right) - \frac{\partial \mathcal{L}}{\partial \psi} = 0 \,. </math>
|{{EquationRef|2}}}}

và đạo hàm của Lagrangian theo ''ψ'' là

:<math>\partial_\mu \left(\frac{\partial \mathcal{L}}{\partial (\partial_\mu \psi)} \right) = \partial_\mu \left(i \bar{\psi} \gamma^\mu \right), \,</math>

:<math>\frac{\partial \mathcal{L}}{\partial \psi} = -e\bar{\psi}\gamma_\mu (A^\mu+B^\mu) - m \bar{\psi}. \,</math>

thay kết quả trên vào phương trình ({{EquationNote|2}}) có được

:<math>i \partial_\mu \bar{\psi} \gamma^\mu + e\bar{\psi}\gamma_\mu (A^\mu+B^\mu) + m \bar{\psi} = 0 \,</math>

với [[liên hợp Hermit]]

:<math>i \gamma^\mu \partial_\mu \psi - e \gamma_\mu (A^\mu+B^\mu) \psi - m \psi = 0. \,</math>

Chuyển số hạng ở giữa sang vế phải thu được

{{Equation box 1
|indent =:
|equation = <math>i \gamma^\mu \partial_\mu \psi - m \psi = e \gamma_\mu (A^\mu+B^\mu) \psi \,</math>
|cellpadding
|border
|border colour = #0073CF
|background colour=#F5FFFA}}

Vế trái nhìn giống như [[phương trình Dirac]] ban đầu, và vế phải là tương tác với trường điện từ.

Sử dụng phương trình Euler–Lagrange cho trường ''A'',

{{NumBlk|:|<math> \partial_\nu \left(\frac{\partial \mathcal{L}}{\partial (\partial_\nu A_\mu)} \right) - \frac{\partial \mathcal{L}}{\partial A_\mu} = 0\,. </math>|{{EquationRef|3}}}}

đạo hàm lần này là

:<math>\partial_\nu \left(\frac{\partial \mathcal{L}}{\partial (\partial_\nu A_\mu)} \right) = \partial_\nu \left(\partial^\mu A^\nu - \partial^\nu A^\mu \right), \,</math>

:<math>\frac{\partial \mathcal{L}}{\partial A_\mu} = -e\bar{\psi} \gamma^\mu \psi \,</math>

thay trở lại phương trình ({{EquationNote|3}}) đi đến

{{Equation box 1
|indent =:
|equation = <math>\partial_\nu F^{\nu \mu} = e \bar{\psi} \gamma^\mu \psi \,</math>
|cellpadding
|border
|border colour = #0073CF
|background colour=#F5FFFA}}

Bây giờ nếu chúng ta áp dụng [[điều kiện chuẩn Lorenz]] (Lorenz gauge condition)

:<math>\partial_{\mu} A^\mu = 0 </math>

phương trình thu về

:<math>\Box A^{\mu}=e\bar{\psi} \gamma^{\mu} \psi\,,</math>

mà chính là [[phương trình sóng]] của thế-4, phiên bản QED của phương trình Maxwell cổ điển trong chuẩn Lorenz. (Ký hiệu ô vuông biểu diễn cho [[toán tử D'Alembert]], <math>\Box  = \partial_\alpha \partial^\alpha </math>.)

===Bức tranh tương tác===

Lý thuyết này có thể lượng tử hóa một cách trực tiếp bằng cách coi các phần bosonic và fermionic độc lập với nhau. Điều này cho phép chúng ta xây dựng một tập hợp các trạng thái tiệm cận mà có thể dùng để tính biên độ xác suất cho các quá trình khác nhau. Để có thể thực hiện như vậy, chúng ta phải tính một [[Hamiltonian (cơ học lượng tử)|toán tử tiến hóa]], đối với một trạng thái ban đầu <math>|i\rangle</math>, sẽ cho trạng thái cuối cùng <math>\langle f|</math> theo cách có được<ref name=Peskin/>{{rp|5}}

:<math>M_{fi}=\langle f|U|i\rangle.</math>

Kỹ thuật này cũng được gọi là ma trận S (S-matrix). Toán tử tiến hóa nhận được từ [[bức tranh tương tác]] (interaction picture) mà tiến hóa thời gian được cho bởi tương tác Hamiltonian, đó là tích phân trên không gian của số hạng thứ hai của mật độ Lagrangian cho ở trên:<ref name=Peskin/>{{rp|123}}

:<math>V=e\int d^3x\bar\psi\gamma^\mu\psi A_\mu</math>

và cũng vậy, ta có<ref name=Peskin/>{{rp|86}}

:<math>U=T\exp\left[-\frac{i}{\hbar}\int_{t_0}^tdt'V(t')\right]</math>

với ''T'' là toán tử thứ tự thời gian (time ordering operator). Toán tử tiến hóa này chỉ có ý nghĩa như là chuỗi, và cái chúng ta nhận được ở đây đó là [[lý thuyết nhiễu loạn (cơ học lượng tử)|chuỗi nhiễu loạn]] với hằng số cấu trúc tế vi như là tham số phát triển. Chuỗi này được gọi là [[chuỗi Dyson]].

===Giản đồ Feynman===
Mặc dù sự sáng sủa về mặt ý tưởng trong cách tiếp cận Feynman đối với QED, hầu như không một cuốn sách ban đầu nào về điện động lực học lượng tử có nội dung đi theo cách của ông. Khi thực hiện các tính toán nó sẽ dễ dàng hơn khi làm việc với các [[biến đổi Fourier]] của các hàm truyền (propagators). Các thí nghiệm của điện động lực học lượng tử thường chủ yếu là các thí nghiệm tán xạ. Trong lý thuyết tán xạ, các nhà vật lý quan tâm tới [[động lượng]] của hạt hơn là vị trí của nó, và sẽ thuận tiện khi nghĩ các hạt đang được sinh ra hoặc bị hủy khi chúng tương tác. Giản đồ Feynman cũng có ''cái nhìn'' tương tự như thế, nhưng các đường có những cách giải thích khác hẳn. Đường electron biểu diễn cho một electron với năng lượng và động lượng xác định, và cách giải thích tương tự như thế cho đường photon. Một đỉnh trong giản đồ biểu diễn cho sự hủy của một electron và sinh một hạt khác với sự hấp thụ hoặc phát ra một photon, mỗi hạt có một mức năng lượng và động lượng xác định.

Sử dụng [[định lý Wick]] đối với các số hạng của chuỗi Dyson, mọi số hạng của [[ma trận S]] (S-matrix, scattering matrix) cho QED có thể tính thông qua kỹ thuật của [[sơ đồ Feynman]]. Trong trường hợp này các quy tắc cho sơ đồ được liệt kê dưới đây<ref name=Peskin/>{{rp|801–802}}

<center>[[Tập tin:qed rules.jpg|488px]]</center>

<center>[[Tập tin:qed2e.jpg|488px]]</center>

Cùng với các quy tắc này chúng ta phải cộng thêm vào một số hạng nữa cho một vòng xấp xỉ kín hàm ý tích phân trên động lượng <math>\int d^4p/(2\pi)^4</math>, vì những hạt nội tại này ("hạt ảo") không bị giới hạn bởi bất kỳ năng lượng–động lượng xác định nào—thậm chí như đòi hỏi ở [[thuyết tương đối hẹp]].

Từ các quy tắc này, chúng ta đi thẳng đến được tính toán [[biên độ xác suất]]. Một ví dụ là [[tán xạ Compton]], với một [[electron]] và một [[photon]] trải qua [[tán xạ đàn hồi]]. Giản đồ Feynman được sử dụng trong trường hợp này là<ref name=Peskin/>{{rp|158–159}}

<center>[[Tập tin:compton qed.jpg|300px]]</center>

và do đó chúng ta có thể nhận được biên độ tương ứng ở xấp xỉ bậc nhất của [[lý thuyết nhiễu loạn (cơ học lượng tử)|chuỗi nhiễu loạn]] cho ma trận S:

:<math>M_{fi}=(ie)^{2}\overline{u}(\vec{p}\,',s')\epsilon\!\!\!/\,'(\vec{k}\,',\lambda')^{*}{p\!\!\!/+k\!\!\!/+m_{e}
\over (p+k)^{2}-m^{2}_{e}}\epsilon\!\!\!/(\vec{k},\lambda)u(\vec{p},s)+(ie)^{2}\overline{u}(\vec{p}\,',s')\epsilon\!\!\!/(\vec{k},\lambda){p\!\!\!/-k\!\!\!/'+m_{e}\over (p-k')^{2}-
m^{2}_{e}}\epsilon\!\!\!/\,'(\vec{k}\,',\lambda')^{*}u(\vec{p},s)</math>

mà từ đây tính ra [[tiết diện tán xạ (vật lý học)|tiết diện tán xạ]] cho quá trình này.

==Tính tái chuẩn hóa==

Các số hạng bậc cao hơn có thể được tính trực tiếp từ toán tử tiến hóa (evolution operator) và sơ đồ thể hiện cho những số hạng này chứa những phần tử đơn giản sau<ref name=Peskin/>{{rp|ch 10}}

<gallery class="center">
Tập tin:vacuum_polarization.svg | Đóng góp của một vòng xấp xỉ (one-loop) vào hàm [[phân cực chân không]] (vancuum polarization) <math>\Pi\,</math>
Tập tin:electron_self_energy.svg | Đóng góp của một vòng xấp xỉ vào hàm năng lượng tự tại electron (electron self-energy function) <math>\Sigma \,</math>
Tập tin:vertex_correction.svg | Đóng góp của một vòng xấp xỉ vào hàm đỉnh (vertex function) <math>\Gamma\,</math>
</gallery>

mà, là những vòng kín, hàm ý sự có mặt của các [[tích phân]] phân kỳ không mang ý nghĩa toán học. Để vượt qua khó khăn này, các nhà vật lý đã đưa ra kỹ thuật [[tái chuẩn hóa]] (renormalization), cho các kết quả có giá trị hữu hạn và rất gần với các phép đo thực nghiệm. Một điều quan trọng cần chú ý rằng tiêu chuẩn cho lý thuyết trở lên có ý nghĩa sau khi tái chuẩn hóa đó là số lượng các giản đồ phân kỳ là hữu hạn. Trong trường hợp này lý thuyết được nói là "tái chuẩn hóa được." Lý do cho điều này là để nhận được giá trị tái chuẩn hóa quan sát được (ví dụ điện tích electron tái chuẩn hóa) chúng ta cần một số hữu hạn các hằng số để duy trì tính ổn định của các giá trị tiên đoán từ lý thuyết. Trong trường hợp của Điện động lực học lượng tử số lượng các giản đồ phân kỳ là chỉ có 3 sơ đồ phân kỳ. Thủ tục này cho các giá trị tiên đoán nằm rất gần với giá trị đo thực nghiệm, chẳng hạn tỷ số từ hồi chuyển electron (electron gyromagnetic ratio).

Tính tái chuẩn hóa đã trở thành một tiêu chuẩn cơ bản để đánh giá tính đúng đắn của một [[lý thuyết trường lượng tử]]. Mọi lý thuyết miêu tả các [[tương tác cơ bản]], ngoại trừ [[tương tác hấp dẫn]] mà là những lý thuyết lượng tử được nghiên cứu sôi động hiện nay, đều là các lý thuyết tái chuẩn hóa được (renormalizable theories).

==Các chuỗi phân kỳ==
[[Freeman Dyson]] đã chứng minh rằng [[bán kính hội tụ]] của các chuỗi nhiễu loạn trong QED bằng 0.<ref>{{Chú thích web
 | họ 1 = Kinoshita
 | tên 1 = Toichiro
 | tiêu đề = Quantum Electrodynamics has Zero Radius of Convergence Summarized from Toichiro Kinoshita
 | work = 
 | nhà xuất bản = 
 | ngày = ngày 5 tháng 6 năm 1997
 | url = http://www.lassp.cornell.edu/sethna/Cracks/QED.html
 | access-date = ngày 6 tháng 5 năm 2017
}}</ref> Nội dung cơ bản của lập luận là như sau: nếu [[hằng số cấu trúc tế vi|hằng số cặp]] có giá trị âm, điều này sẽ tương đương với [[hằng số Coulomb]] có giá trị âm. Hệ quả là tương tác điện từ sẽ bị "đổi ngược lại" khi các điện tích ''cùng dấu'' sẽ ''hút nhau'' và các điện tích ''trái dấu'' sẽ ''đẩy nhau''. Điều này dẫn tới chân không mất ổn định khi nó phân rã thành một đám các electron tập trung về một phía trong vũ trụ và một đám positron tập trung về phía khác trong vũ trụ. Bởi vì lý thuyết là 'yếu' đối với bất kỳ giá trị âm của hằng số cặp, các chuỗi không hội tụ, nhưng là chuỗi tiệm cận (asymptotic series).

Từ quan điểm hiện đại, chúng ta nói rằng QED là lý thuyết trường lượng tử không xác định tốt cho những mức năng lượng cao bất kỳ.<ref>{{chú thích tạp chí
 | last = Espriu and Tarrach
 | first = 
 | title = Ambiguities in QED: Renormalons versus Triviality
 | work = 
 | publisher = 
 | date = Apr 30, 1996
 | arxiv = hep-ph/9604431
 | doi=10.1016/0370-2693(96)00779-4
 | volume=383
 | journal=Physics Letters B
 | pages=482–486
| bibcode=1996PhLB..383..482E}}</ref> Hằng số cặp tiến tới giá trị vô hạn ở mức năng lượng hữu hạn, dấu hiệu của một [[cực Landau]] (Landau pole). Về cơ bản vấn đề này nằm ở chỗ QED dường như chịu ảnh hưởng bởi các vấn đề tính chất lượng tử tầm thường (quantum triviality, khi giá trị quan sát của điện tích "tái chuẩn hóa" của một hạt chỉ tính được bằng 0). Đây là một trong những động cơ thúc đẩy việc nhúng QED vào một [[lý thuyết thống nhất lớn]].

==Tham khảo==
{{tham khảo|30em}}
==Đọc thêm==
===Sách phổ thông===
* {{chú thích sách |last=Feynman |first=Richard |authorlink=Richard Feynman |year=1985 |isbn=978-0-691-12575-6 |title=QED: The Strange Theory of Light and Matter |publisher=Princeton University Press}}
===Sách đại học===
* {{chú thích sách |last=De Broglie |first=Louis |authorlink=Louis de Broglie |title=Recherches sur la theorie des quanta [Research on quantum theory] |year=1925 |publisher=Wiley-Interscience |location=France |isbn= }}
* {{chú thích sách |last=Feynman |first=Richard Phillips |authorlink=Richard Feynman |title=Quantum Electrodynamics |year=1998 |publisher=Westview Press; New Ed edition |isbn=978-0-201-36075-2}}
* {{chú thích sách |last=Jauch |first=J.M. |others=Rohrlich, F. |title=The Theory of Photons and Electrons |year=1980 |publisher=Springer-Verlag |isbn=978-0-387-07295-1 }}
* {{chú thích sách |last=Greiner |first=Walter |others= Bromley, D.A.,Müller, Berndt. |title=Gauge Theory of Weak Interactions |year=2000 |publisher=Springer |isbn=978-3-540-67672-0 }}
* {{chú thích sách |last=Kane |first=Gordon, L. |title=Modern Elementary Particle Physics |url=https://archive.org/details/modernelementary0000kane |year=1993 |publisher=Westview Press |isbn=978-0-201-62460-1 }}
* {{chú thích sách |last=Miller |first=Arthur I. |title=Early Quantum Electrodynamics: A Sourcebook |url=https://archive.org/details/earlyquantumelec0000mill |year=1995 |publisher=Cambridge University Press |isbn=978-0-521-56891-3 }}
* Milonni, Peter W., (1994) ''The quantum vacuum - an introduction to quantum electrodynamics''. Academic Press. ISBN 0-12-498080-5
* {{chú thích sách |last=Schweber |first=Silvian, S. |title=QED and the Men Who Made It |url=https://archive.org/details/qedmenwhomadeitd0000schw |year=1994 |publisher=Princeton University Press |isbn=978-0-691-03327-3 }}
* {{chú thích sách |last=Schwinger |first=Julian |authorlink=Julian Schwinger |title=Selected Papers on Quantum Electrodynamics |year=1958 |publisher=Dover Publications |isbn=978-0-486-60444-2 }}
* {{chú thích sách |last=Tannoudji-Cohen |first=Claude |authorlink=Claude Cohen-Tannoudji|others=Dupont-Roc, Jacques, and Grynberg, Gilbert |title=Photons and Atoms: Introduction to Quantum Electrodynamics |year=1997 |publisher=Wiley-Interscience |isbn=978-0-471-18433-1 }}

===Tạp chí===
* {{chú thích tạp chí | last1 = Dudley | first1 = J.M. | last2 = Kwan | first2 = A.M. | year = 1996 | title = Richard Feynman's popular lectures on quantum electrodynamics: The 1979 Robb Lectures at Auckland University | url = | journal = American Journal of Physics | volume = 64 | issue = 6| pages = 694–698 | doi = 10.1119/1.18234 |bibcode = 1996AmJPh..64..694D }}

==Liên kết ngoài==
* {{TĐBKVN|34357}}
* {{Britannica|486203|Quantum electrodynamics}}
* [http://nobelprize.org/physics/laureates/1965/feynman-lecture.html Feynman's Nobel Prize lecture describing the evolution of QED and his role in it]
* [http://www.vega.org.uk/video/subseries/8 Feynman's New Zealand lectures on QED for non-physicists]
* [http://qed.wikina.org/ qed.wikina.org] - Animations demonstrating QED
{{Điện động lực học lượng tử}}
{{Mô hình chuẩn}}
{{Kiểm soát tính nhất quán}}

[[Thể loại:Cơ học lượng tử]]
[[Thể loại:Điện động lực học lượng tử]]
[[Thể loại:Vật lý hạt]]
[[Thể loại:Khái niệm vật lý]]
[[Thể loại:Điện động lực học]]
[[Thể loại:Lý thuyết trường lượng tử]]