Пропагатор (функция распространения, причинная функция Грина) в квантовой механике и квантовой теории поля (КТП) — функция, характеризующая распространение релятивистского поля (или его кванта) от одного акта взаимодействия до другого. Эта функция определяет амплитуду вероятности перемещения частицы из одного места пространства (или пространства-времени) в другое за заданный промежуток времени или перемещения частицы с определённой энергией и импульсом. Для расчёта частоты столкновений в КТП используются виртуальные частицы, предствленные в диаграммах Фейнмана пропагаторами, вносят свой вклад в вероятность рассеяния, описываемого соответствующей диаграммой. Их также можно рассматривать как оператор, обратный волновому оператору, соответствующему частице, и поэтому их часто называют (причинными) функциями Грина (термин «причинными» используется, чтобы отличить их от эллиптической функции Грина для оператора Лапласа).
 В нерелятивистской квантовой механике пропагатор определяет амплитуду вероятности того, что частица переместится из одной пространственной точки (x'), в которой она находится в момент времени (t'), в другую пространственную точку (x) в более поздний момент времени (t).
 Если квантовая система описывается гамильтонианом H, то функция Грина (фундаментальное решение) для уравнения Шрёдингера представляет собой функцию
 удовлетворяющую неоднородному уравнению
 где Hx обозначает гамильтониан, записанный в координатном представлении x, δ(x) — дельта-функция Дирака, Θ(t) — ступенчатая функция Хевисайда, K(x, t ;x′, t′) — ядро приведённого выше дифференциального оператора Шрёдингера в больших скобках, а также функция распространения. Термин пропагатор иногда используется в этом контексте для обозначения G, а иногда и K. В этой статье этот термин будет использоваться для обозначения K (см. принцип Дюамеля).
 Этот пропагатор также можно записать как амплитуду перехода
 где Û(t, t′) — унитарный оператор эволюции во времени для системы, переводящей состояния в момент времени t′ в состояния в момент времени t. Обратите внимание на начальное условие, налагаемое на функцию распространения 
  
    
      
        
          lim
          
            t
            →
            
              t
              ′
            
          
        
        K
        (
        x
        ,
        t
        ;
        
          x
          ′
        
        ,
        
          t
          ′
        
        )
        =
        δ
        (
        x
        −
        
          x
          ′
        
        )
      
    
    {\displaystyle \lim _{t\to t'}K(x,t;x',t')=\delta (x-x')}
  
.
 Квантово-механический пропагатор также можно определить с помощью интеграла по траекториям:
 где граничные условия для интеграла включают условия q(t) = x, q(t′) = x′. Здесь L — лагранжиан системы. Вклады по всем возможным траекториям, которые суммируются, соответствуют движению частицы только вперёд во времени и интегрируются с дифференциалом 
  
    
      
        D
        [
        q
        (
        t
        )
        ]
      
    
    {\displaystyle D[q(t)]}
  
.
 В нерелятивистской квантовой механике пропагатор позволяет найти волновую функцию системы, учитывая начальную волновую функцию и временной интервал. Новая волновая функция вычисляется как
 Если K(x, t; x′, t′) зависит только от разности x − x′, это свёртка исходной волновой функции и функции распространения.
 Для трансляционно-инвариантной системы пропагатор зависит только от разницы времён t − t′, поэтому его записывают как
 Пропагатор свободной частицы в одном измерении, получаемый, например, из интеграла по траекториям равен
 
  
    
      
        K
        (
        x
        ,
        
          x
          ′
        
        ;
        t
        )
        =
        
          
            1
            
              2
              π
            
          
        
        
          ∫
          
            −
            ∞
          
          
            +
            ∞
          
        
        d
        k
        
        
          e
          
            i
            k
            (
            x
            −
            
              x
              ′
            
            )
          
        
        
          e
          
            −
            
              
                
                  i
                  ℏ
                  
                    k
                    
                      2
                    
                  
                  t
                
                
                  2
                  m
                
              
            
          
        
        =
        
          
            (
            
              
                m
                
                  2
                  π
                  i
                  ℏ
                  t
                
              
            
            )
          
          
            
              1
              2
            
          
        
        
          e
          
            −
            
              
                
                  m
                  (
                  x
                  −
                  
                    x
                    ′
                  
                  
                    )
                    
                      2
                    
                  
                
                
                  2
                  i
                  ℏ
                  t
                
              
            
          
        
        
        .
      
    
    {\displaystyle K(x,x';t)={\frac {1}{2\pi }}\int _{-\infty }^{+\infty }dk\,e^{ik(x-x')}e^{-{\frac {i\hbar k^{2}t}{2m}}}=\left({\frac {m}{2\pi i\hbar t}}\right)^{\frac {1}{2}}e^{-{\frac {m(x-x')^{2}}{2i\hbar t}}}\,.}
  

 Точно так же пропагатор для одномерного квантового гармонического осциллятора задаётся ядром Мелера,
 
  
    
      
        K
        (
        x
        ,
        
          x
          ′
        
        ;
        t
        )
        =
        
          
            (
            
              
                
                  m
                  ω
                
                
                  2
                  π
                  i
                  ℏ
                  sin
                  ⁡
                  ω
                  t
                
              
            
            )
          
          
            
              1
              2
            
          
        
        exp
        ⁡
        
          (
          
            −
            
              
                
                  m
                  ω
                  
                    
                      (
                    
                  
                  (
                  
                    x
                    
                      2
                    
                  
                  +
                  
                    x
                    
                      ′
                      
                        2
                      
                    
                  
                  )
                  cos
                  ⁡
                  ω
                  t
                  −
                  2
                  x
                  
                    x
                    ′
                  
                  
                    
                      )
                    
                  
                
                
                  2
                  i
                  ℏ
                  sin
                  ⁡
                  ω
                  t
                
              
            
          
          )
        
        
        .
      
    
    {\displaystyle K(x,x';t)=\left({\frac {m\omega }{2\pi i\hbar \sin \omega t}}\right)^{\frac {1}{2}}\exp \left(-{\frac {m\omega {\big (}(x^{2}+x'^{2})\cos \omega t-2xx'{\big )}}{2i\hbar \sin \omega t}}\right)\,.}
  

 Последнее можно получить из предыдущего результата для свободных частиц, используя тождество ван Кортрика для группы Ли SU(1,1),
 которое выполняется для операторов 
  
    
      
        
          
            x
          
        
      
    
    {\displaystyle {\mathsf {x}}}
  
 и 
  
    
      
        
          
            p
          
        
      
    
    {\displaystyle {\mathsf {p}}}
  
, удовлетворяющих соотношению Гейзенберга 
  
    
      
        [
        
          
            x
          
        
        ,
        
          
            p
          
        
        ]
        =
        i
        ℏ
      
    
    {\displaystyle [{\mathsf {x}},{\mathsf {p}}]=i\hbar }
  
.
 Для N-мерного случая пропагатор можно получить из произведения
 В релятивистской квантовой механике и квантовой теории поля пропагаторы лоренц-инвариантны. Они дают амплитуду вероятности для частицы переместиться между двумя точками пространства-времени.
 В квантовой теории поля теория свободного (или невзаимодействующего) скалярного поля является полезным и простым примером, служащим для иллюстрации понятий необходимых для более сложных теорий. Оно описывает частицы с нулевым спином. Существует ряд возможных пропагаторов теории свободного скалярного поля. Ниже описываются самые распространённые из них.
 Пропагаторы в координатном пространстве являются функциями Грина для уравнения Клейна — Гордона. Это означает, что они являются функциями G(x, y) удовлетворяющими уранвению
 где
 (Как обычно в расчётах релятивистской квантовой теории поля используются единицы, в которых скорость света c и приведённая постоянная Планка ħ установлены равными единице.)
 Если ограничиться 4-мерным пространством-временем Минковского, то можно выполнить преобразование Фурье уравнения для пропагатора, получив
 Это уравнение можно обратить в смысле обобщённых функций, заметив, что уравнение xf(x) = 1 имеет решение (см. теорему Сохоцкого — Племеля)
 где под ε подразумевает предельный переход к нулю. Правильный выбор знака вытекает из требований причинности.
 Решение
 
  
    
      
        G
        (
        x
        ,
        y
        )
        =
        
          
            1
            
              (
              2
              π
              
                )
                
                  4
                
              
            
          
        
        ∫
        
          d
          
            4
          
        
        p
        
        
          
            
              e
              
                −
                i
                p
                (
                x
                −
                y
                )
              
            
            
              
                p
                
                  2
                
              
              −
              
                m
                
                  2
                
              
              ±
              i
              ε
            
          
        
        
        ,
      
    
    {\displaystyle G(x,y)={\frac {1}{(2\pi )^{4}}}\int d^{4}p\,{\frac {e^{-ip(x-y)}}{p^{2}-m^{2}\pm i\varepsilon }}\,,}
  

 где
 является скалярным произведением 4-векторов.
 Различные варианты деформации контура интегрирования в приведённом выше выражении приводят к различным формам пропагатора. Выбор контура обычно формулируется с точки зрения интеграла по 
  
    
      
        
          p
          
            0
          
        
      
    
    {\displaystyle p_{0}}
  
.
 Тогда подынтегральная функция имеет два полюса в точках
 поэтому разные варианты того, как их обходить, приводят к разным пропагаторам.
 
 Контур, проходящий по часовой стрелке через оба полюса, даёт причинный запаздывающий пропагатор. Это ноль, если x-y пространственноподобно или если x ⁰< y ⁰ (то есть если y относится к будущему моменту времени по отношении к x).
 Такой выбор контура эквивалентен вычислению предела
 где
 — ступенчатая функция Хевисайда и
 — собственное время от x до y и 
  
    
      
        
          J
          
            1
          
        
      
    
    {\displaystyle J_{1}}
  
 — функция Бесселя первого рода. Выражение 
  
    
      
        y
        ≺
        x
      
    
    {\displaystyle y\prec x}
  
 означает, что y предшествует x, что для пространства-времени Минковского означает
 Это выражение можо связать с вакуумным средним значением коммутатора оператора свободного скалярного поля,
 где
 — коммутатор.
 
 Контур, идущий против часовой стрелки под обоими полюсами, даёт причинный опережающий пропагатор. Это ноль, если x-y пространственноподобно или если x ⁰> y ⁰ (то есть если y находится в прошлом моменте времени по отношению к x).
 Такой выбор контура эквивалентен вычислению предела
 Это выражение можно также выразить через вакуумное среднее коммутатора свободного скалярного поля. В таком случае,
 
 Контур, проходящий под левым полюсом и над правым полюсом, даёт пропагатор Фейнмана.
 Такой выбор контура эквивалентен вычислению предела
 Где
 где x и y — две точки в пространстве-времени Минковского, а точка в показателе степени обозначает четырёхвекторное скалярное произведение. H1(1) — функция Ганкеля, а K1 — модифицированная функцией Бесселя.
 Это выражение можно получить непосредственно из теории поля как значение вакуумного среднего упорядоченного во времени произведения свободного скалярного поля, то есть произведения, всегда взятого таким, что временной порядок точек пространства-времени одинаков,
 Это выражение является лоренц-инвариантным, поскольку операторы поля коммутируют друг с другом, когда точки x и y разделены пространственноподобным интервалом.
 Обычный вывод состоит в том, чтобы вставить полный набор одночастичных импульсных состояний между полями с лоренцевской ковариантной нормировкой, а затем показать, что функции Θ, обеспечивающие причинное упорядочение во времени, можно получить с помощью контурного интеграла вдоль оси энергии, если подынтегральная функция такая же, как указано выше (отсюда и бесконечно малая мнимая часть), чтобы сдвинуть полюс с действительной линии.
 Пропагатор также можно получить с использованием интеграла по траекториям в квантовой теории поля.
 Преобразование Фурье пропагаторов в координатном пространстве можно рассматривать как пропагаторы в сопряжённом ему импульсном пространстве. Они имеют гораздо более простую форму, чем пропагаторы в координатном пространстве.
 Они часто записываются с явным слагаемым ε, хотя это понимается как напоминание о том, какой выьран контур интегрирования (см. Выше). Этот член ε включён для учёта граничных условий и причинно-следственной связи (см. Ниже).
 Для 4-импульса p причинный пропагатор и пропагатор Фейнмана в импульсном пространстве таковы:
 Для расчётов диаграмм Фейнмана обычно удобно записывать их с дополнительным общим коэффициентом −i (условия различаются).
 Пропагатор Фейнмана обладает некоторыми свойствами, которые на первый взгляд кажутся непонятными. В частности, в отличие от коммутатора, пропагатор отличен от нуля вне светового конуса, хотя и быстро спадает для пространственноподобных интервалов. Интерпретируемое как амплитуда движения частицы, это означает, что виртуальная частица движется быстрее света. Не сразу очевидно, как это можно примирить с причинно-следственной связью: можно ли использовать сверхсветовые виртуальные частицы для отправки сверхсветовых сообщений?
 Ответ — нет. Хотя в классической механике интервалы, по которым могут перемещаться частицы и причинные эффекты, совпадают, это не так в квантовой теории поля, где именно коммутаторы определяют, какие операторы могут влиять друг на друга.
 Так что же представляет собой пространственноподобная часть пропагатора? В КТП вакуум является активным участником, а числа частиц и значения полей связаны из принципа неопределенности; значения поля неопределенны даже для когда частиц нет. Существует ненулевая амплитуда вероятности обнаружить значительную флуктуацию вакуумного значения поля Φ(x), если измерить его локально (точнее, если измерить оператор, полученный усреднением поля по малой области). Кроме того, динамика полей имеет тенденцию в некоторой степени способствовать пространственно-коррелированным флуктуациям. Затем ненулевое упорядоченное по времени произведение для разделённых пространственноподобным интервалом полей просто измеряет амплитуду нелокальной корреляции в этих флуктуациях вакуума, аналогичной корреляции ЭПР. Действительно, пропагатор часто называют двухточечной корреляционной функцией для свободного поля.
 Поскольку, согласно постулатам квантовой теории поля, все операторы наблюдаемых коммутируют друг с другом на пространственноподобном расстоянии, сообщения можно отправлять через эти корреляции не больше, чем через любые другие ЭПР-корреляции; корреляции находятся в случайных величинах.
 Что касается виртуальных частиц, то пропагатор при пространственно-подобном разделении можно рассматривать как средство вычисления амплитуды для создания виртуальной пары частица-античастица, которая в конечном итоге исчезает в вакууме, или для обнаружения виртуальной пары, выходящей из вакуума. На языке Фейнмана такие процессы рождения и уничтожения эквивалентны виртуальной частице, блуждающей вперёд и обратно по времени, что может вывести её за пределы светового конуса. Однако передача сигналов назад во времени запрещена.
 Это можно объяснит иначе, записав пропагатор в следующей форме для безмассового фотона:
 Это обычное определение, но нормированное коэффициентом 
  
    
      
        ε
      
    
    {\displaystyle \varepsilon }
  
. Тогда правило состоит в том, что берётся предел 
  
    
      
        ε
        →
        0
      
    
    {\displaystyle \varepsilon \to 0}
  
 в конце расчёта.
 Видно, что
 и
 Следовательно, это означает, что один фотон всегда будет оставаться на световом конусе. Также показано, что полная вероятность фотона в любой момент времени должна быть нормирована обратной величиной следующего множителя:
 Отсбда следует, что части вне светового конуса обычно равны нулю в пределе и важны только в диаграммах Фейнмана.
 Чаще всего пропагатор используется для расчета амплитуд вероятности взаимодействия частиц с использованием диаграмм Фейнмана. Эти расчёты обычно выполняются в импульсном пространстве. В общем, амплитуда получает коэффициент пропагатора для каждой внутренней линии, то есть для каждой линии, которая не представляет входящую или выходящую частицу в начальном или конечном состоянии. Он также получит коэффициент, пропорциональный и аналогичный по форме члену взаимодействия в лагранжиане теории для каждой внутренней вершины, где встречаются линии. Эти правила известны как правила Фейнмана.
 Внутренние линии соответствуют виртуальным частицам. Поскольку пропагатор не обращается в нуль для комбинаций энергии и импульса, не допускаемых классическими уравнениями движения, то говорят, что виртуальные частицы могут находиться вне оболочки. На самом деле, поскольку пропагатор получается обращением волнового уравнения, он в общем случае будет иметь разрывы на оболочке.
 Энергия, переносимая частицей в пропагаторе, может быть даже отрицательной. Это можно интерпретировать просто как случай, когда вместо частицы, движущейся в одном направлении, её античастица движется в другом направлении и, следовательно, несёт встречный поток положительной энергии. Пропагатор охватывает обе возможности. Это означает, что нужно быть осторожным со знаками минус для случая фермионов, чьи пропагаторы не являются чётными функциями энергии и импульса (см. ниже).
 Виртуальные частицы сохраняют энергию и импульс. Однако, поскольку они могут быть вне оболочки, везде, где диаграмма содержит замкнутую петлю, энергии и импульсы виртуальных частиц, участвующих в петле, будут частично неограниченными, поскольку изменение величины для одной частицы в петле может быть уравновешено равным и противоположным изменением в другом. Следовательно, каждая петля на диаграмме Фейнмана требует интеграла по континууму возможных значений энергий и импульсов. В общем, эти интегралы произведений пропагаторов могут расходиться, и эту проблему должен разрешать процесс перенормировки.
 Если частица обладает спином, то её пропагатор, как правило, несколько сложнее, так как он будет включать спин частицы или индексы поляризации. Дифференциальное уравнение, которому удовлетворяет пропагатор для частицы со спином 1⁄2 определяется выражением
 где I4 — единичная матрица в четырёх измерениях, использующая слэш обозначение Фейнмана. Это уравнение Дирака для источника дельта-функции в пространстве-времени. Используя импульсное представление,
 уравнение становится
 где в правой части используется интегральное представление четырёхмерной дельта-функции. Таким образом
 Умножая слева на
 (отбрасывая единичные матрицы из обозначений) и используя свойства гамма-матриц,
 обнаружено, что пропагатор в импульсном пространстве, используемый в диаграммах Фейнмана для поля Дирака, представляющего электрон в квантовой электродинамике, имеет вид
 iε внизу — это рецепт того, как обращаться с полюсами в комплексной p0-плоскости. Это автоматически даёт контур интегрирования Фейнмана путём соответствующего смещения полюсов. Иногда это пишется
 короче. Следует помнить, что это выражение является просто сокращенным обозначением (γμpμ − m)−1. «Единица на матрицу» в остальном бессмысленен. В координатном пространстве
 Это связано с пропагатором Фейнмана соотношением
 где 
  
    
      
        ∂̸
        :=
        
          γ
          
            μ
          
        
        
          ∂
          
            μ
          
        
        
        .
      
    
    {\displaystyle \not \partial :=\gamma ^{\mu }\partial _{\mu }\,.}
  

 Пропагатор калибровочного бозона в калибровочной теории зависит от выбора соглашения для выбора калибровки. Для калибровки, используемой Фейнманом и Штюкельбергом, пропагатор фотона равен
 Общий вид с калибровочным параметром λ с точностью до общего знака и множителя 
  
    
      
        i
      
    
    {\displaystyle i}
  
, записывается как
 Пропагатор для массивного векторного поля можно получить из лагранжиана Штюкельберга. Общий вид с калибровочным параметром λ с точностью до общего знака и множителем 
  
    
      
        i
      
    
    {\displaystyle i}
  
, записывается
 С этими общими формами можно получить пропагаторы в унитарной калибровке для λ = 0, пропагатор в калибровке Фейнмана или 'т Хофта для λ = 1 и в калибровке Ландау или Лоренца для λ = ∞. Существуют также другие обозначения, в которых калибровочный параметр является обратным λ, обычно обозначаемым ξ (см. Rξ Gauges). Однако имя пропагатора относится к его окончательной форме, а не обязательно к значению калибровочного параметра.
 Унитарная калибровка:
 Калибровка Фейнмана ('т Хофта):
 Калибровка Ландау (Лоренца):
 Пропагатор для гравитона в пространстве Минковского в общей теории относительности
 где 
  
    
      
        D
      
    
    {\displaystyle D}
  
 — количество измерений пространства-времени, 
  
    
      
        
          
            
              P
            
          
          
            2
          
        
      
    
    {\displaystyle {\mathcal {P}}^{2}}
  
 — поперечный и бесследовый оператор проекции спина 2, а 
  
    
      
        
          
            
              P
            
          
          
            s
          
          
            0
          
        
      
    
    {\displaystyle {\mathcal {P}}_{s}^{0}}
  
 является скалярным мультиплетом со спином 0. Пропагатор гравитона для пространства (анти) де Ситтера равен
 куда 
  
    
      
        H
      
    
    {\displaystyle H}
  
 — постоянная Хаббла. Обратите внимание, что при достижении предела 
  
    
      
        H
        →
        0
      
    
    {\displaystyle H\to 0}
  
 и 
  
    
      
        ◻
        →
        −
        
          k
          
            2
          
        
      
    
    {\displaystyle \Box \to -k^{2}}
  
, пропагатор AdS сводится к пропагатору Минковского.
 Скалярные пропагаторы являются функциями Грина для уравнения Клейна — Гордона. Есть связанные сингулярные функции, которые важны в квантовой теории поля. Мы следуем обозначениям Бьоркена и Дрелла. См. также Боголюбов и Ширков (Приложение А). Эти функции наиболее просто определяются в терминах вакуумного среднего значения произведений операторов поля.
 Коммутатор двух скалярных полевых операторов определяет функцию Паули — Жордана 
  
    
      
        Δ
        (
        x
        −
        y
        )
      
    
    {\displaystyle \Delta (x-y)}
  
 по
 с
 Это удовлетворяет
 и равен нулю, если 
  
    
      
        (
        x
        −
        y
        
          )
          
            2
          
        
        <
        0
        
        .
      
    
    {\displaystyle (x-y)^{2}<0\,.}
  

 Мы можем определить положительную и отрицательную частотные части 
  
    
      
        Δ
        (
        x
        −
        y
        )
      
    
    {\displaystyle \Delta (x-y)}
  
, иногда называемые разрезанными пропагаторами, релятивистски инвариантным образом.
 Это позволяет нам определить положительную частотную часть:
 и отрицательную частотную часть:
 Они удовлетворяют
 и
 Антикоммутатор двух скалярных полевых операторов определяет 
  
    
      
        
          Δ
          
            1
          
        
        (
        x
        −
        y
        )
      
    
    {\displaystyle \Delta _{1}(x-y)}
  
 функция
 с
 Это удовлетворяет 
  
    
      
        
        
          Δ
          
            1
          
        
        (
        x
        −
        y
        )
        =
        
          Δ
          
            1
          
        
        (
        y
        −
        x
        )
        
        .
      
    
    {\displaystyle \,\Delta _{1}(x-y)=\Delta _{1}(y-x)\,.}
  

 Определённые выше запаздывающие, опережающие и фейнмановские пропагаторы являются функциями Грина для уравнения Клейна — Гордона.
 Они связаны с сингулярными функциями соотношением
 где 
  
    
      
        ε
        (
        
          x
          
            0
          
        
        −
        
          y
          
            0
          
        
        )
      
    
    {\displaystyle \varepsilon (x_{0}-y_{0})}
  
 является знаком 
  
    
      
        
          x
          
            0
          
        
        −
        
          y
          
            0
          
        
        
        .
      
    
    {\displaystyle x_{0}-y_{0}\,.}
  

 Пропагатор свободной частицы в одном измерении:
 Пропагатор одномерного гармонического осциллятора:
 Электронный пропагатор является основной величиной, характеризующей взаимодействие электрона и фотона. Его величина в импульсном представлении
 Фотонный пропагатор является основной величиной, характеризующей взаимодействие двух электронов. Его величина в импульсном представлении