Ква́нтовая тео́рия по́ля (КТП) — раздел физики, изучающий поведение квантовых систем с бесконечно большим числом степеней свободы — квантовых полей; является теоретической основой описания микрочастиц, их взаимодействий и превращений. На языке КТП основываются физика высоких энергий и физика элементарных частиц, её математический аппарат используется в физике конденсированного состояния. КТП в виде Стандартной модели в настоящее время является единственной экспериментально подтверждённой теорией, способной описывать и предсказывать результаты экспериментов при достижимых в современных ускорителях высоких энергиях.
Ма́трица — математический объект, записываемый в виде прямоугольной таблицы элементов кольца или поля, который представляет собой совокупность строк и столбцов, на пересечении которых находятся его элементы. Количество строк и столбцов задаёт размер матрицы. Матрицу можно также представить в виде функции двух дискретных аргументов. Хотя исторически рассматривались, например, треугольные матрицы, в настоящее время говорят исключительно о матрицах прямоугольной формы, так как они являются наиболее удобными и общими.
Уравне́ния Ма́ксвелла — система уравнений в дифференциальной или интегральной форме, описывающих электромагнитное поле и его связь с электрическими зарядами и токами в вакууме и сплошных средах. Вместе с выражением для силы Лоренца, задающим меру воздействия электромагнитного поля на заряженные частицы, эти уравнения образуют полную систему уравнений классической электродинамики, называемую иногда уравнениями Максвелла — Лоренца. Уравнения, сформулированные Джеймсом Клерком Максвеллом на основе накопленных к середине XIX века экспериментальных результатов, сыграли ключевую роль в развитии представлений теоретической физики и оказали сильное, зачастую решающее влияние не только на все области физики, непосредственно связанные с электромагнетизмом, но и на многие возникшие впоследствии фундаментальные теории, предмет которых не сводился к электромагнетизму.
Реляционная алгебра — замкнутая система операций над отношениями в реляционной модели данных. Операции реляционной алгебры также называют реляционными операциями.
Принцип неопределённости Гейзенбе́рга в квантовой механике — фундаментальное соображение, устанавливающее предел точности одновременного определения пары характеризующих систему квантовых наблюдаемых, описываемых некоммутирующими операторами.
Ко́мпле́ксный ана́лиз, тео́рия фу́нкций ко́мпле́ксного переме́нного — раздел математического анализа, в котором рассматриваются и изучаются функции комплексного аргумента.
Статистическая сумма — важная величина в статистической физике, содержащая информацию о статистических свойствах системы в состоянии термодинамического равновесия. Она является функцией температуры и других параметров, таких как объём. Многие термодинамические величины системы, такие как энергия, свободная энергия, энтропия и давление, могут быть выражены через статистическую сумму и её производные.
Правила Фе́йнмана в квантовой теории поля — правила соответствия между вкладами определенного порядка теории возмущений в матричные элементы матрицы рассеяния и диаграмм Фейнмана. Регулярный вывод правил Фейнмана основан на применении теоремы Вика для хронологических произведений к хронологическим произведениям полевых операторов, через интегралы от которых выражаются вклады в матрицу рассеяния. В правилах Фейнмана центральную роль играют пропагаторы квантовых полей, равные их хронологическим спариваниям, то есть вакуумным ожиданиям от парных хронологических произведений:
Дизъюнкти́вная норма́льная фо́рма (ДНФ) в булевой логике — нормальная форма, в которой булева формула имеет вид дизъюнкции конъюнкций литералов. Любая булева формула может быть приведена к ДНФ. Для этого можно использовать закон двойного отрицания, закон де Моргана, закон дистрибутивности. Дизъюнктивная нормальная форма удобна для автоматического доказательства теорем.
Полином Жегалкина — многочлен над полем , то есть полином с коэффициентами вида 0 и 1, где в качестве произведения берётся конъюнкция, а в качестве сложения — исключающее или. Полином был предложен в 1927 году Иваном Жегалкиным в качестве удобного средства для представления функций булевой логики. В зарубежной литературе представление в виде полинома Жегалкина обычно называется алгебраической нормальной формой (АНФ).
Криволинейный интеграл — интеграл, вычисляемый вдоль какой-либо кривой.
Оператор — линейное отображение в одной из областей физики — квантовой механике, которое действует на волновую функцию, являющуюся комплекснозначной функцией, дающей наиболее полное описание состояния системы. Операторы обозначаются большими латинскими буквами с циркумфлексом наверху:
Формулировка квантовой механики через интеграл по траекториям — описание квантовой теории, которое обобщает принцип действия классической механики. Оно замещает классическое определение одиночной, уникальной траектории системы полной суммой по бесконечному множеству всевозможных траекторий для расчёта квантовой амплитуды. Методологически формулировка через интеграл по траекториям близка к принципу Гюйгенса — Френеля из классической теории волн.
Матричная квантовая механика — это формулировка квантовой механики, созданная Вернером Гейзенбергом, Максом Борном и Паскуалем Йорданом в 1925 году. Матричная квантовая механика была первой концептуально автономной и логически непротиворечивой формулировкой квантовой механики. Её описание квантовых скачков заменило модель Бора для электронных орбит. Это было сделано путём интерпретации физических свойств частиц как матриц, которые эволюционируют во времени. Матричная механика эквивалентна волновой формулировке Шрёдингера квантовой механики на основе теоремы Риса — Фишера, как это проявляется в обозначениях бра и кет Дирака.
Симметрии в квантовой механике — преобразования пространства-времени и частиц, которые оставляют неизменными уравнения квантовой механики. Рассматриваются во многих разделах квантовой механики, которые включают релятивистскую квантовую механику, квантовую теорию поля, стандартную модель и физику конденсированного состояния. В целом, симметрия в физике, законы инвариантности и сохранения являются основополагающими ограничениями для формулирования физических теорий и моделей. На практике это мощные методы решения задач и прогнозирования того, что может случиться. Хотя законы сохранения не всегда дают конечное решение проблемы, но они формируют правильные ограничения и наметки к решению множества задач.
Нормиро́вочный мно́житель — фактор, на который домножается математическое выражение, чтобы после этого какой-либо значимый параметр оказался равным 1. Подбор нормировочного множителя называется нормированием (нормировкой).