Questions tagged [quantum-field-theory]
For questions about mathematical problems arising from quantum field theory, the branch of physics which describes subatomic particles and their interactions in terms of perturbations of the corresponding scalar, vector or tensor fields.
373
questions
6
votes
0
answers
222
views
What is a large field problem?
I was reading Constructive Renormalization Group by V. Rivasseau and I got some points which I would like to clarify.
On page 2, Rivasseau talks about the large field problem and, if I understood it ...
1
vote
0
answers
88
views
Cutoff and regularization
Some variant of this question has probably been asked before on this site but my idea is to work with an explicit example.
Suppose we discretize the momentum space, so we work with:
$$\Lambda^{*} := \...
6
votes
1
answer
262
views
The role of estimates in field theories
I have been taking a look at some papers in constructive quantum field theory and I got the impression that there is a systematic of estimating things like e.g the effective action or the free energy ...
2
votes
0
answers
81
views
Pullbacks of LCS-valued distributions
Suppose $X$ is a locally convex space. Since the distributions $\mathcal{D}'\!(M)$ ($M$ a manifold) are a nuclear space, there is a canonical meaning to the topological tensor product $X\,\widehat{\...
1
vote
0
answers
100
views
Arithmetic analogues in Liouville quantum gravity
I recently discovered about Minhyong Kim's work on what can be coined "Arithmetic Gauge Theory/Arithmetic Chern Simmons Theory". Since Liouville quantum gravity is fully understood, I was ...
7
votes
1
answer
607
views
Is there a program to solve The Yang–Mills Existence and Mass Gap problem similar to the Hamilton's program to solve Poincaré Conjecture?
According to Wikipedia:
"Hamilton's program was started in his 1982 paper in which he introduced the Ricci flow on a manifold and showed how to use it to prove some special cases of the Poincaré ...
9
votes
2
answers
532
views
Physical intuition behind Kontsevich's deformation quantization formula
Kontsevich gives a construction that produces deformation quantization of $C^\infty(M)$ for general Poisson manifolds $M$. The resulting formula (on $\mathbb{R}^n$) is
$$
f\star g = \sum_{n=0}^\infty \...
5
votes
1
answer
413
views
Can Fock spaces be replaced by arbitrary Hilbert spaces under some hypothesis to justify path integrals?
I was reading this post from PSE and it reminded me an old question of mine, in which the use of creation and annihilation operators were discussed. Both questions got answers which agreed on the fact ...
6
votes
0
answers
214
views
Borel vs genuine equivariant cohomology in quantum field theory
A lot of important work in quantum field theory involves Borel equivariant cohomology of certain geometric objects, usually with the goal of computing integrals over some complicated moduli stack. In ...
2
votes
0
answers
133
views
Localization for generalized Borel cohomology
For both equivariant de Rham cohomology and equivariant K-theory (in the "naive" or Borel sense), we have localization formulae which allow us to compute this cohomology in terms of the ...
2
votes
0
answers
134
views
Gauge invariance of a QFT path integral
If we consider the usual formal construction of a path integral over fields with gauge symmetries e.g as in Weinbergs "The Quantum Theory of Fields - Volume 2" the notion of gauge invariance ...
3
votes
0
answers
199
views
Representations of minimal model primary fields in the Coulomb-gas Formalism
This question is in some sense a follow-up to [1]: is it known how to construct the primary field operators of the unitary minimal models $\mathcal{M}(m+1,m)$ in the Coulomb gas formalism? (This would ...
4
votes
1
answer
213
views
Understanding the Osterwalder-Schrader conditions as formulated by Glimm and Jaffe
$\newcommand{\real}{\mathrm{real}}$I am having trouble with understanding the axiom (OS3) in this book by Glimm and Jaffe.
It defines
\begin{equation}
\mathcal{A} = \left \{ A(\phi) = \sum_{j = 1}^N ...
0
votes
0
answers
60
views
Slice in momentum space?
This is probably a very basic question but I tried physics stack exchange already and I got no answers, so I'm asking the same question here.
I was reading this article and the author considers the ...
3
votes
0
answers
177
views
Topological analogs of Galois representations and Selmer groups
There is an interesting analogy between primes in number fields and knots in 3-manifolds. This is can be explained by the analogy between Artin-Verdier duality theorem for number rings and the ...
1
vote
0
answers
58
views
Class of spectral zeta functions whose analytic extension takes a particular form
In quantum field theory the one-loop effective action is expressed in terms of the functional determinant of the (elliptic and self-adjoint) operator of small disturbances. Since the real eigenvalues ...
2
votes
0
answers
162
views
Why do quantum observables form an associative algebra in some contexts?
In elementary quantum mechanics, we learn that quantum observables are self-adjoint operators that act on the Hilbert space of states.
However, in more advanced context, we talk of local operators, ...
4
votes
1
answer
180
views
Motivation for the axioms in Wick product
Here is a link for the definition of Wick product
https://encyclopediaofmath.org/wiki/Wick_product, which defines the Wick product recursively. My question is where do these two equations come from? I ...
2
votes
0
answers
240
views
Do Chern-Simons terms qualitatively alter the behavior of the Yang-Mills gradient flow?
I'm reading about the Yang-Mills heat flow, and I'm curious how adding a Chern-Simons term alters its solutions. This is probably elementary or folklore, but I don't know well enough to say.
...
4
votes
1
answer
169
views
Divisibility by 2 of invariants forms on reductive Lie algebras and anomaly cancellation for gauge theories
Let $G$ be a connected reductive group over $\mathbb C$ and let $\rho:G\to \operatorname{Sp}(2n,\mathbb C)$ be a homomorphism. You can think about $\rho$ as a linear symplectic representation of $G$ ...
3
votes
1
answer
194
views
The exact domain on which the Euclidean Dirac operator is self-adjoint
I use the convention of the Weinberg QFT textbooks, that is, $(-,+,+,+)$.
According to Weinberg QFT vol 2 p. 369, he says the Euclidean Dirac operator
\begin{equation}
{D}:=[i\partial_i +t_\alpha A_{i ...
18
votes
4
answers
3k
views
What are the "hot" topics in mathematical QFT at the time?
I am currently finishing my Master's studies in mathematical physics. One topic which always interested me a lot were modern mathematical approaches to Quantum Field Theory (QFT) as well as the ...
2
votes
0
answers
120
views
Is the timelike free boson CFT a valid CFT as per Segal's functorial CFT prescription?
Is the timelike free boson CFT a valid CFT as per Segal's functorial CFT prescription?
I am aware that the Euclidean free boson theory is a well-defined CFT, but I was wondering whether one might run ...
8
votes
1
answer
202
views
From the conceptual idea of the RG to its actual implementation
Everytime I want to understand a little more about the ideas behind Renormalization Group techniques, I get troubled by a gap between the general picture one usually presents (e.g. in books or ...
11
votes
1
answer
486
views
Wightman QFTs corresponding to minimal models
Is it known (rigorously) whether or not there exist (1+1)D Wightman QFTs which can (in some reasonable sense) be said to correspond to physicists' unitary minimal models $\mathcal{M}(m+1,m)$, $m\in\...
6
votes
0
answers
476
views
Yang–Mills existence and mass gap official statement on Euclidean $\mathbb{R}^4$, why not Minkowski $ \mathbb{R}^{3,1}$?
Yang–Mills existence and mass gap problem is officially stated by Clay Mathematics Institute:
Yang–Mills Existence and Mass Gap.'' Prove that for any compact simple gauge group G, a non-trivial ...
4
votes
1
answer
138
views
An introductory reference for tensor networks
I found a good reference on Tensor Networks: https://arxiv.org/abs/1912.10049. But I need an introductory reference with detailed proofs on Tensor Networks. Do you know another reference?
2
votes
0
answers
141
views
A spectral sequence in Khovanov Homology
Szabo equipped the mod $2$ Khovanov complex with a family of differentials $\{d_{i} \}_{i=1}^{\infty}$ such that each $d_{i}$ has bigrading $(i,2i-2)$ where $d_1$ is the mod $2$ Khovanov differential ...
1
vote
0
answers
50
views
Is there an analogous notion of 'free quantum field of arbitrary spin' on a $4-$dimension finite lattice?
It is well-known that on the Minkowski spacetime $\mathbb{R}^4$, there exist a free quantum field of arbitrary spin.
In the book "QFT : A Tourist Guide For Mathematicians" by Folland, a ...
3
votes
1
answer
185
views
Supersymmetric SYK Model in 3D?
In a 2017 article More on supersymmetric and 2d analogs of the SYK model by Murugan, Stanford and Witten, the authors take a model called the SYK model (named after Sachdev, Ye and Kitaev) and study ...
28
votes
2
answers
4k
views
How do we give mathematical meaning to 'physical dimensions'?
In so-called 'natural unit', it is said that physical quantities are measured in the dimension of 'mass'. For example, $\text{[length]=[mass]}^{-1}$ and so on.
In quantum field theory, the dimension ...
9
votes
0
answers
197
views
Donaldson invariants for piecewise-linear $4$-manifolds
It is well known that in dimension $4$, the notion of piecewise linear manifolds and the notion of smooth manifolds are the same [1][2]. On the other hand, the computations of Donaldson invariants ...
6
votes
0
answers
278
views
Two questions about Fock spaces
Let $\mathscr{H}$ be a complex Hilbert space and denote $\mathscr{H}_{n}$ the tensor product $\overbrace{\mathscr{H}\otimes\cdots\otimes\mathscr{H}}^{\text{n}}$. Denote by $\Pi_{\pm}$ the projection ...
2
votes
1
answer
160
views
Vacuum state generating functional
In Theorem 1 of this paper Segal stablish a relation between states and generating functionals.
He assert that in order to $\mu$ be a generating functional must satisfy
$$
\sum_{j,k\in F} \mu (z_j-...
3
votes
0
answers
105
views
Regularization of fermionic field theory
My journey into fermionic field theory led me to this very nice paper by M. Salmhofer, which gives an overview of such theories with applications to condensed matter theory. The path integral approach ...
25
votes
1
answer
2k
views
Reading list recommendation for a hep-ph student to start studying QFT at a more mathematically rigorous level?
Edition
On July 15 2021, the description of the question has been considerably modified to meet the requirement of making this question more OP-independent and thus more useful for general readers. ...
0
votes
1
answer
126
views
Propagation of Klein-Gordon solutions in extra dimensions
In his paper "Von Neumann Algebras of Local Observables for Free Scalar Field" Araki used the solutions of the equation
$$\frac{\partial ^{2}h}{\partial x^2}-\frac{\partial ^{2}h}{\partial t^...
9
votes
2
answers
446
views
Formula for the anomalies of spin Chern-Simons theories?
$\newcommand{\SH}{\mathit{SH}}\newcommand{\Z}{\mathbb Z}$Let $G$ be a compact Lie group and $\lambda\in
H^4(BG;\Z)$. The data $(G, \lambda)$ determine a 3d topological field theory called Chern-Simons ...
11
votes
1
answer
1k
views
State of rigorous effective quantum field theories
It's well-known that there are no rigorously constructed and physically relevant QFTs. There is, however, a lot of mathematical work on effective field theories and renormalization, such as the books ...
3
votes
0
answers
144
views
Seeking a precedent – two-stage Gaussian integration?
Sometimes, by iteration, linear algebra can be used to solve non-linear equations. For example, consider the system
$$Ax=a \qquad B(x)y=b(x), $$
where $a$ is a vector with scalar entries, $A$ is a ...
2
votes
0
answers
229
views
Frontiers of QM and QFT
This is somehow a more mature version of an old question of mine. I'd like to have a more clear picture of the difference between QFT and QM from a mathematical point of view.
Okay, so we begin with a ...
5
votes
0
answers
142
views
Associating noncommutative geometries to 2D conformal field theories
I have recently been reading a bit about noncommutative geometry and string theory and it looked to be an open question (or at least this was open two decades ago) whether there are constructions ...
3
votes
0
answers
112
views
Construction of Dirac field theory
In what follows, I'm following Folland's book and Reed & Simon.
Notation: Points in $\mathbb{R}^{4}$ are denoted by $p =(p_{0},p_{1},p_{2},p_{3})$. Also, I'm using Reed & Simon's notation for ...
6
votes
1
answer
427
views
Fermions, their path integrals and effective actions
I just read the nice exposition Fermionic Path Integral on nLab and began to wonder about some details to which references appear to be lacking. Suppose we live on Euclidean space as in the ...
1
vote
1
answer
233
views
Invariance of Lorentz measure
Let $m > 0$ be fixed. If $x=(x_{0},x_{1},x_{2},x_{3})$ and $y = (y_{0},y_{1},y_{2},y_{3})$ are elements of $\mathbb{R}^{4}$, we denote the Lorentz inner product by:
$$ x\cdot \tilde{y} := x_{0}y_{0}...
17
votes
3
answers
4k
views
QFT and mathematical rigor
One way to approach QFT in mathematical terms is provided by the so-called Gårding-Wightman axioms, which defines in rigorous mathematical terms what a quantum field theory is supposed to be. If I'm ...
8
votes
1
answer
926
views
Rigorous construction of fermionic field theory?
In section X.7 of Reed & Simon's book there is a nice rigorous construction of the free scalar field theory which applies to the Klein-Gordon field.
Question: Are there references which discuss, ...
8
votes
1
answer
349
views
Euclidean and Minkowski Majorana spinors - inconsistency with Wikipedia Table
In this wonderful lecture note on Clifford Algebra and
Spin(N) Representations, http://hitoshi.berkeley.edu/230A/clifford.pdf
Somehow I find some inconsistency with his Tables of Euclidean and ...
5
votes
1
answer
512
views
Initial conditions in the Klein-Gordon equation
I am interested in what are the largest families of initial conditions of the problem (in $\mathbb{R}^{4}$)
\begin{equation}\label{kg}
\left\lbrace
\begin{array}{ll}
(\square+m^2)F(x)=0\\
...
2
votes
0
answers
64
views
Reflection positivity on weighted $L^2$-spaces
Denote by $(t, x_{1}, \ldots, x_{d-1})$ the coordinates of $x \in \mathbb{R}^{d}$ and set
$$\mathbb{R}^{d}_{+}=\left\{t, x_{1}, \ldots, x_{d-1} \in \mathbb{R}^{d}|t > 0\right\}. $$
Write $\theta$ ...