Questions tagged [mathematical-physics]

DO NOT USE THIS TAG just because your question involves math! If your question is on simplification of a mathematical expression, please ask it at math.stackexchange.com. Mathematical physics is the mathematically rigorous study of the foundations of physics, and the application of advanced mathematical methods to problems in physics. Examples include partial differential equations (PDEs), variational calculus, functional analysis, and potential theory.

Filter by
Sorted by
Tagged with
15
votes
3answers
737 views

Is a system Liouville integrable if and only if its Hamilton-Jacobi equation is separable?

I am asked to show that, a system is completely integrable Liouville if and only if its Hamilton-Jacobi equation is completely separable. I get the idea and understand that is very related to the ...
2
votes
0answers
59 views

Is every operator a power series of creation and annihilation operators (in a rigorous mathematical sense)?

Let $\mathscr{H}$ be a Hilbert space denoting the single-particle states and $c_k^*,c_k$ denote creation and annihilation operators of orthonormal basis $\phi_k\in \mathscr{H}$. Let $\mathscr{F}$ ...
-4
votes
1answer
58 views

What am I missing here? (How do we know the universe has a cause?) [on hold]

I apologise if this has been asked before or is otherwise an ill-formed question. Consider the following predicates: $B(x)$: "$x$ began to exist". $C(x)$: "$x$ has a cause". Let $U$ be the ...
23
votes
2answers
5k views

Intuitive meaning of Hilbert Space formalism

I am totally confused about the Hilbert Space formalism of Quantum Mechanics. Can somebody please elaborate on the following points: The observables are given by self-adjoint operators on the ...
7
votes
0answers
58 views

How can we deduce that a hydrogen atom is stable in relativistic QED?

Consider relativistic quantum electrodynamics (QED) with three quantum fields: the electromagnetic field $A_\mu$, one fermion field $\psi$ for electrons/positrons, and one fermion field $\psi'$ for ...
1
vote
0answers
38 views

Why is the Bogoliubov transform unitary of $H\oplus H$

In Bach, V., Lieb, E.H. & Solovej, J.P. J Stat Phys (1994) 76: 3. https://doi-org.stanford.idm.oclc.org/10.1007/BF02188656, page 10, the Bogoliubov transform on the Fock space $\mathscr{F}$ is a ...
8
votes
1answer
583 views

Is the evolution operator well-defined mathematically?

We know that in order to solve the time-dependent Schrodinger equation $i\partial_t \psi = H(t) \psi$, we need the evolution operator $$U(t) = T \exp{\left(-i\int_0^t H(t')dt'\right)}$$ where $T$ is ...
2
votes
1answer
111 views

which is correct way to find error in degree of linear polarization?

I have a set of "degree of polarization (DOP)" values for a star. Assume there are 10 DOP values in the set. DOP is defined as square root of sum of squares of fractional Stokes parameters, namely q ...
0
votes
0answers
36 views

System in Lieb and Yngvason's paper [closed]

I'm reading The Physics and Mathematics of the Second Law of Thermodynamics and have a question. In A. Basic concepts 1. Systems and their state spaces, the term system is formally introduced and one ...
16
votes
1answer
525 views

Is there a physical interpretation to invariant random matrix ensembles?

Disclaimer. I am a graduate student in pure mathematics, so my knowledge of physics more advanced than basic 1st/2nd year undergraduate physics is very limited. I welcome corrections on any ...
-1
votes
1answer
181 views

Importance of the equations of Clebsh-Helmholtz: doubts

Reading the book Introduction to Electrodynamics 4th edition David J. Griffiths §1.6 the theory of vector fields (subparagraph 1.6.1 The Helmholtz Theorem), I have these doubts: Why I should to have ...
1
vote
0answers
62 views

What parts of “Geometry, Topology and Physics” by Mikio Nakahara is typically studied in a 1 semester course in graduate school? [closed]

I have some months in my hand before i head to graduate school. I would like to learn and strengthen my grasp on mathematical physics. I would like to do high energy physics (not necessarily just ...
8
votes
1answer
461 views

Is $SU(2)\times U(1) = U(2)$?

In the many textbook of the Standard Model, I encounter the relation \begin{align} SU(2)_L \times U(1)_L = U(2)_L. \end{align} Here the subscript $L$ means the left-handness (i.e., the chirality of ...
1
vote
0answers
86 views

Are there some websites for self-learning of advanced mathematics? [duplicate]

Are there some websites for self-learining of advanced mathematics? For example there is perimeter scholars for self study of theoretical physics, but I haven't found some good websites providing ...
2
votes
0answers
37 views

Physical interpretation of biharmonic operator

In the book Mathematics of Classical and Quantum Physics, the authors give an (enlightening) interpretation of the Laplace Operator $\nabla^{2}$ of a field $f(\mathbf{x})$, $\nabla^{2}f(\mathbf{x})$ ...
14
votes
6answers
2k views

In coordinate-free relativity, how do we define a vector?

Relativity can be developed without coordinates: Laurent 1994 (SR), Winitzski 2007 (GR). I would normally define a vector by its transformation properties: it's something whose components change ...
3
votes
1answer
155 views

Do translation formulae for generalised solid spherical harmonics exist?

I'm aware of the solid spherical harmonics functions, which are basically the surface spherical harmonics $Y^m_{\ell}(\theta,\varphi)$ with an additional monomial term along the radial direction: $R^...
12
votes
4answers
8k views

How to prove that orthochronous Lorentz transformations $O^+(1,3)$ form a group?

Orthochronous Lorentz transform are Lorentz transforms that satisfy the conditions (sign convention of Minkowskian metric $+---$) $$ \Lambda^0{}_0 \geq +1.$$ How to prove they form a subgroup of ...
1
vote
1answer
77 views

Orthochronous indefinite orthogonal group $O^+(m, n)$ form a group

My question is based on Qmechanic's answer here which proves that $O^+(m, 1)$ forms a group -- that if two Lorentz transformations have positive time-time co-ordinate, so does their product. The key ...
2
votes
0answers
34 views

Is there a commonly accepted definition of a quantum phase definition for a finite lattice/set of particles?

As noted by Sachev, and in a previous question, https://www.physicsoverflow.org/41602/, there cannot be quantum phase transitions for finite systems (with bounded local Hilbert space dimension). The ...
2
votes
0answers
73 views

Proper path integral of a field theory

I have been trying to find out the sweet middle ground of describing path integration of field theories, in between the physicist way and the mathematician way, but it seems hard to find something ...
-2
votes
1answer
45 views

Why are only functions discussed in physics and not relations? [closed]

Why are only functions discussed in physics and not relations?
4
votes
2answers
277 views

Why use a particular regularization for $\int_0^\infty \mathrm{d}x\,e^{i p x}$?

There are many badly defined integrals in physics. I want to discuss one of them which I see very often. $$\int_0^\infty \mathrm{d}x\,e^{i p x}$$ I have seen this integral in many physical problems. ...
3
votes
1answer
178 views

Hopf Algebras in Quantum Groups

In the theory of quantum groups Hopf algebras arise via the Fourier transform: A third point of view is that Hopf algebras are the next simplest category after Abelian groups admitting Fourier ...
0
votes
1answer
116 views

Can one test an octonionic interpretation for a quantum-information conjecture, apparently valid in the real, complex and quaternionic settings?

For the values $\alpha = \frac{1}{2},1, 2$, corresponding to real, complex and quaternionic scenarios, the formulas (https://arxiv.org/abs/1301.6617, eqs. (1)-(3)) \begin{equation} \label{Hou1} P_1(\...
2
votes
1answer
382 views

Srednicki Eqs. (6.22) and (9.6). How to get rid of $i\epsilon$ in the interaction term?

I'm studying qft from Srednicki's book. If one writes down the full $i\epsilon$ terms, passing from Eq. (6.21) (non-perturbative definition) to Eq. (6.22) (perturbative definition) yields $$\left<0|...
5
votes
0answers
65 views

Physicist path integral and cylinder set measures

Path integral via discretization So let me start with what seems to be the point of view of physicists (corrections are highly appreciated since this is what I understood!). Let a quantum system with ...
1
vote
1answer
65 views

Condition for finitely many bound states in one dimension

This came up in the context of the inverse scattering transform for the KdV equation. My primary reference, a set of lecture notes on integrable systems by Maciej Dunajski, makes the claim that the ...
3
votes
2answers
84 views

Velocity-Dependent Potential and Helmholtz Identities

I'm currently working through the book Heisenberg's Quantum Mechanics (Razavy, 2010), and am reading the chapter on classical mechanics. I'm interested in part of their derivative of a generalized ...
2
votes
0answers
44 views

Rigorous derivation of the ground state projector using euclidean time evolution

Usually one argues that the euclidean path integral is able to recover the ground state of a system along the following lines: Take the time evolution operator $U(t,t_0)=e^{-iH(t-t_0)}$. Transform to ...
4
votes
0answers
67 views

Relation between functional measures and states in AQFT

Let $(M,g)$ be a globally hyperbolic spacetime and $\phi$ a KG field. In AQFT we consider the algebra of observables $\mathfrak{A}$ generated by $\phi(f)$ where $f\in C^\infty_0(M)$ is a test function....
1
vote
0answers
69 views

Liouville theorem and the ergodic assumption

I am following a course on statistical mechanics. My instructor presented us the following Liouville theorem in two (claimed) equivalent ways: Differential statement: The probability distribution $\...
6
votes
2answers
153 views

Physical significance of no self-adjoint momentum operator on half line?

I am watching a quantum mechanics lecture by professor Schuller. He mentioned that there does not exist any self-adjoint momentum operator defined on the half line. What is the physical significance ...
0
votes
0answers
30 views

Torsion form and exterior covariant derivative

The torsion form can be defined as the exterior covariant derivative of a solder form, $\Theta=d_\omega\theta$. This derivative is always in the fundamental representation of the algebra $\mathfrak g$ ...
0
votes
1answer
45 views

How to get the imaginary part from the Källén-Lehmann propagator

During field theory course the Källén-Lehmann propagator was defined as follows: $$D_F(p^2) = \frac{i}{p^2-m^2+i\epsilon} + \int^{\infty}_{4m^2}ds\rho(s)*\frac{i}{p^2-s+i\epsilon} \tag{1}$$ ...
0
votes
1answer
189 views

Finding the maximum value of electric field

Suppose you have a surface of finite area with a fixed surface charge distribution. Does a maximum electric field magnitude $|\vec{E}|_{max}$ exist for each and every possible surface area? If yes, ...
0
votes
1answer
56 views

Is this in fact an equation for the normal vector of the null surface?

I'm reading the paper "Area, Entanglement Entropy and Supertranslations at Null Infinity" and there is a point that I have a doubt on what the authors are actually doing. First, let me summarize the ...
13
votes
1answer
488 views

Electric potential of a spheroidal gaussian

I'm looking for results that compute the electrostatic potential due to a spheroidal gaussian distribution. Specifically, I'm looking for solutions of equations of the form $$ \nabla^2\Phi=N\exp\left({...
1
vote
2answers
33 views

Operators that act on the edge of a quantum spin chain with periodic boundaries

Consider a quantum spin chain of length $N$. Each site/spin has the local Hilbert space $\mathbb{C}^d$ and so for the whole chain the Hilbert space is $(\mathbb{C}^d)^{\otimes N}$. Now for periodic ...
0
votes
0answers
55 views

Is it there any theory or model in theoretical physics that is akin to Tegmark's Mathematical Universe Hypothesis?

Physicist Max Tegmark proposed a hypothesis that asserts that all mathematical structures do exist as universes. (https://en.wikipedia.org/wiki/Mathematical_universe_hypothesis) But this hypothesis ...
2
votes
2answers
79 views

Completeness condition involving continuum states

Consider a potential $V(x)$ in 1d. Suppose that $V(|x| > a )= 0$ for some positive $a$. We then know that the hamiltonian $H = - \frac{\partial^2}{\partial x^2 } + V(x)$ has non-normalizable or ...
2
votes
0answers
44 views

Exotic perturbative anomaly captured only by higher-loop Feynman graphs, but not by any 1-loop Feynman graph?

My question: Are there any perturbative anomaly captured by higher-loop but not by captured at the 1-loop Feynman graph (say, not enough)? We are familiar with the text book example of a ...
0
votes
0answers
44 views

Proof that the boundary of the causal past of a Cauchy surface is the Cauchy surface

Let $(M,g)$ be a globally hyperbolic spacetime. Let $\Sigma$ be a Cauchy surface in $(M,g)$. In this paper, page 9, Lemma A.1, the author says that if we take $D = J^{-}(\Sigma)\setminus \Sigma$ then $...
1
vote
1answer
45 views

Compactness of product

Let $Q$ be a position operator and $P$ its conjugate momentum. We would like to show that $f(P)g(Q)$ is compact if $f$ and $g$ are sufficiently smooth operator-valued functions and have compact ...
1
vote
1answer
36 views

Klein-Gordon equation propagators: intersection with the support of the source

Let $(M,g)$ be a globally hyperbolic. Let $P = \Box - m^2$ be the Klein-Gordon differential operator. Following Fewster's notes, we may define the retarded/advanced propagators $$E^\pm : C^\infty_0(M)\...
2
votes
1answer
82 views

Normal ordering by contour integral in CFT

In chapter 6 of Di Francesco, they introduce the normal ordering $$ (AB)(w) = \oint_w \frac{ dz }{ 2\pi i (z-w) }A(z) B(w)\ .\tag{6.130}$$ So far so good. But then starting eq (6.139) $$ \oint_w \...
1
vote
1answer
165 views

When and where to check the formal definition of a manifold

In most texts on GR we are first introduced to a formal and rigorous definition of a manifold. We then learn the point that in GR "any coordinate system" might be used for the 4D spacetime metric. ...
3
votes
2answers
124 views

Global conformal group in 2D Euclidean space

This is a rather naive question, but I was just wondering. I know that the local conformal algebra of 2d Euclidean space is the direct sum \begin{equation} \cal{L}_0\oplus\overline{\cal{L}_0}, \end{...
1
vote
0answers
46 views

When do the solutions of combinatorial Dyson-Schwinger equations generate a Hopf subalgebra?

Say I have a set of combinatorial Dyson-Schwinger equations of the form $$\begin{align} X_1 &= \mathbb{1} + \alpha B_+^a (f_1(X_1,...X_N)) \\ & ... \tag{1} \\ X_N &= \mathbb{1} + \alpha ...
0
votes
0answers
34 views

Why shouldn't I choose my boundary limits corresponding to the direction I'm integrating?

I have a question regarding the choice of boundary limits when it comes to vector integrals. Why shouldn't I always choose the boundary limits corresponding to the direction I'm integrating. I.e why ...