The tag has no usage guidance.

learn more… | top users | synonyms

2
votes
1answer
92 views

Supercommutator of exterior multiplication operators and their adjoints

Let $\mathfrak{h}$ be a complex Hilbert space and consider Grassmann algebra $\mathcal{F}=\bigwedge\mathfrak{h}$ with its induced inner product. For $\omega\in\mathcal{F}$ we also consider the ...
9
votes
1answer
128 views

Geometric quantization: why are the prequantum operators self-adjoint?

I'm reading a bit about geometric quantization and, among the axioms of this construction, is one requiring that the operator $\hat f = -\textrm i \hbar \nabla _{X_f} + f$ associated to the classical ...
0
votes
0answers
76 views

Is $n+\frac {1}{2}$ in Kendall-Mann numbers and quantum harmonic oscillator related?

It is known that quantum harmonic oscillator is connected to the symmetric group of infinite order which is isomorphic to the permutation group. According to Cayley's theorem any finite group is ...
2
votes
0answers
42 views

1D inhomogeneous linear Schrodinger equation

I have the following problem: $iu_t - u_{xx} = f$ on the interval $[0,L]$ with $u(0,t)=u(L,t)=0$ and $u(x,0)=0$. I can show that $\|u\|_{L^2(x,t)}$ (space-time) is controlled by the norm ...
6
votes
1answer
327 views

Current status of computable spectral theorem and interpretation of quantum mechanics

The spectral theorem states if $A$ is a Hermitian operator acting on an $n-$dimensional Hilbert space space $H$, and $\lambda_1, ... \lambda_m$ are $m \leq n$ distinct eigenvalues of $A$, then $$ ...
0
votes
2answers
320 views

Existence and uniqueness for two-dimensional time-dependent Schrödinger equation

I currently have to deal with time-dependent Schrödinger equations in two variables on bounded domains and wanted to find out about uniqueness and existence of solutions. Unfortunately, I am a ...
2
votes
1answer
149 views

theta functions and Brownian motion

I did some plots of the theta function $\theta(z) = \sum q^{n^2}$ near the real axis, so $q = e^{2\pi i \, n z}$ and $z = 0.001 + i \mathbb{R}$. At first it looks like some random sine curve and then ...
3
votes
2answers
127 views

Many-Body Green's Functions for Interacting Systems of Fermions

I've recently been trying to compute the Green's function for a non-interacting system of fermions. Since this is a site for mathematicians, for context, let me provide the following definition: ...
9
votes
1answer
136 views

Infinitesimal variation of spectrum of Schrödinger operator with changing domain

Suppose we have a Schrödinger operator $$-\frac{d^2}{dx^2}+V(x)$$ defined on $[a,b]$ with Dirichlet boundary conditions. I am interested in whether there are any results for the variation of the ...
2
votes
0answers
189 views

Quantum Mechanics derivation of Wallis' Formula?

Recently there was a proof of the Wallis Product using quantum mechanics on the arXiv. However, there are many proofs of the result, Wikipedia has 4. Fine Print the first proof has on Wikipedia, the ...
104
votes
41answers
36k views

Where does a math person go to learn quantum mechanics?

My undergraduate advisor said something very interesting to me the other day; it was something like "not knowing quantum mechanics is like never having heard a symphony." I've been meaning to learn ...
12
votes
4answers
681 views

Applications of Jordan algebras

Jordan algebras are non-associative algebras satisfying a somewhat strange (to me) list of axioms, see wikipedia. Basic examples are real symmetric and complex hermitian matrices with the product ...
11
votes
1answer
215 views

Is this generalization of eigenvalue and eigenvector studied?

While thinking about what it means for observables to be simultaneously measurable in quantum mechanics I came up with the following concepts, which I will call "linearly indexed" versions of standard ...
46
votes
6answers
4k views

Is the Mendeleev table explained in quantum mechanics?

Does anybody know if there exists a mathematical explanation of the Mendeleev table in quantum mechanics? In some textbooks (for example in "F.A.Berezin, M.A.Shubin. The Schrödinger Equation") the ...
19
votes
4answers
1k views

Why are quantum groups so called?

I've recently been to a seminar on quantum matrices. In particular the speaker introduced these objects as the coordinate ring of $2$ by $2$ matrices modulo some odd looking relations (see start of ...
7
votes
2answers
228 views

What kind of geometric object is the Pauli spin matrix vector $\vec{\sigma} = (\sigma_1, \sigma_2, \sigma_3)$?

Physicists routinely wrote all 3 Pauli spin matrices as a vector. $$ \sigma_1 = \left( \begin{array}{cc} 0 & 1 \\ 1 & 0\end{array} \right) \hspace{0.25in} \sigma_2 = \left( ...
7
votes
2answers
420 views

States in C*-algebras and their origin in physics?

in $C^*-$algebras with unit element, there is the definition of a state, as a functional $\omega$ with $\omega(e)=||\omega||=1.$ Now, of course there is also in classical physics and quantum ...
1
vote
0answers
60 views

Partial trace with spectral measure

I'm a physicist who needs mathematical advice: Let $A= \sum_{i=1}^{\infty} a_i P_{\phi_i}$ be a self-adjoint operator with projectors $P_{\phi_i}$ on the orthonormal eigenbasis $(\phi_i).$ Let $$B= ...
8
votes
2answers
2k views

Classical Limit of Feynman Path Integral

I understand that in the limit that $\hbar$ goes to zero, the Feynman path integral is dominated by the classical path, and then using the stationary phase approximation we can derive an approximation ...
5
votes
0answers
108 views

Gleason’s Theorem for non-separable Hilbert spaces: On a theorem of Solovay

Gleason’s theorem plays an important role in the foundations of quantum mechanics. On the positive side it demonstrates how the probabilistic structure of quantum theory follows from its logical ...
11
votes
0answers
198 views

Squeezing physics out of formal deformation quantizations

I am reading various texts concerning the concept of "quantization". I am interested in quantization on Riemannian manifolds (as opposed to just on $\Bbb R ^n$); for absolute clarity, I am interested ...
5
votes
2answers
1k views

Space with 720° / not 2$\pi$ rotational symmetry?

Is there a space with a 720°, but no 360° rotational symmetry? Possibly one that can be mapped onto something more conventional like R(3) or R(3,1)? The reason I am asking is because in quantum ...
4
votes
1answer
177 views

Equation of motion for the Lagrangian $\mathcal{L} = \text{Tr}(\partial^\mu G \partial_\mu G^{-1})$, $G$ is unitary $N \times N$ matrix? [closed]

What is the equation of motion for the Lagrangian$$\mathcal{L} = \text{Tr}(\partial^\mu G \partial_\mu G^{-1})$$where $G$ is an $N \times N$ unitary matrix? Could anyone supply a reference to its ...
5
votes
1answer
128 views

Generating Functional for the Dirac Field, equivalence of expressions

As with the Klein-Gordon field, we can alternatively derive the Feynman rules with the free Dirac theory by means of a generating functional. In analogy with the scalar field theory where $Z[J]$ is ...
3
votes
0answers
88 views

Branches of 3j symbols

Question Is there a quick way to identify the branches in a 3J symbol? Context I need to compute Wigner 3J symbols/Clebsch–Gordan coefficients, $$ \begin{pmatrix} \ell_1 &\ell_2 &\ell_3\\ ...
4
votes
1answer
162 views

Sign of 3j symbol (in view of interpolation)

Question Is there a closed formula for the sign of a 3j symbol? Context I need to compute Wigner 3J symbols/Clebsch–Gordan coefficients, $$ \begin{pmatrix} \ell_1 &\ell_2 &\ell_3\\ ...
2
votes
2answers
209 views

Appropriate Recursion relations for Wigner 3j Symbols

I am attempting to code the Cosmic Microwave Lensed Temperature and Polarisation power spectra from first principles and have been told to code the relevant Wigner 3j symbols using recursion rather ...
2
votes
0answers
103 views

Complex scalar field, computation of propagators, four point function [closed]

This is a followup to my previous question here. In quantum field theory, the Lagrangian for the complex scalar field is$$\mathcal{L} = \partial_\mu \phi^* \partial^\mu \phi - m^2 \phi^*\phi.$$Can ...
16
votes
3answers
3k views

Mathematical “proof” of the stability of atoms?

I am trying to find proofs of the stability of an atom, says, for simplicity, the hydrogen atom. There are positive answers and negative answers in various atom models. The naive "solar system" model ...
6
votes
1answer
435 views

Complex scalar field, generating functional?

The Lagrangian for the complex scalar field is$$\mathcal{L} = \partial_\mu \phi^* \partial^\mu \phi - m^2 \phi^* \phi.$$Can anyone work out or provide me a reference to the computation of the ...
6
votes
1answer
207 views

Gauge field quantization, electromagnetism

Classical electromagnetism (with no sources) follows from the actions$$S = \int d^4x\left(-{1\over4}F_{\mu\nu}F^{\mu\nu}\right),\text{ where }F_{\mu\nu} = \partial_\mu A_\nu - \partial_\nu A_\mu.$$The ...
4
votes
0answers
34 views

Second-order term of the Fedosov quantised product

In Fedosov's version of quantisation of functions on a symplectic manifold, the product is given in terms of a symplectic connection. I have looked through Fedosov's book in deformation quantisation, ...
4
votes
1answer
148 views

Centralizer of hermitian matrices with zero trace

In Quantum Physics one often has to deal with commutators. Here I want to denote by $H_0$ the set of all hermitian matrices with trace equal to zero! One can easily relate it to ...
2
votes
0answers
118 views

From symplectic manifold to Hilbert spaces [closed]

What could be a mathematical model of such physical wish? I'm looking for something sending a symplectic manifold $(M,\omega)$ to a Hilbert space $H_{M}$ with the following properties: 1- We should ...
6
votes
3answers
247 views

Quantum Mechanics and bilinear optimal control theory

I was wondering whether there are any rigorous results about the optimal controllability of Schrödinger operators. So my question is something like this: Let $i \partial_t \psi(x,t) = ...
1
vote
1answer
114 views

Solving Schroedinger Equation for the electronic energies of the Molecular Ion Hydrogen H2+ in the Elliptic coordinate system [closed]

Electronic Energies of Molecular Ion Hydrogen $H_2^{+}$ $r_1$ is the distance between the proton $1$ and the electron. $r_2$ is the distance between the proton $2$ and the electron. $R$ is the ...
2
votes
0answers
43 views

Error bounds for eigenvalue expansion of the Mathieu equation

The Mathieu equation is an important eigenvalue problem in Mathematical Physics that is completely understood in its properties, although there is no "direct way" of expressing eigenvalues and ...
5
votes
3answers
663 views

Make mathematical sense of the Dirac well Potential Equation

A classical problem in quantum mechanics involving the Dirac Delta function is given by $$ y''+(\delta(x)-\lambda^2)y=0. $$ Then, to find ''bound states'', you solve on the right and find the ...
14
votes
5answers
2k views

Can the equation of motion with friction be written as Euler-Lagrange equation, and does it have a quantum version?

My (non-expert) impression is that many physically important equations of motion can be obtained as Euler-Lagrange equations. For example in quantum fields theories and in quantum mechanics quantum ...
2
votes
0answers
186 views

The Moyal action of a planar vector field

Let $X=P\frac{\partial}{\partial x}+Q\frac{\partial}{\partial y}$ be a polynomial vector field on $\mathbb{R}^{2}$. Consider the following (Moyal) operator on $\mathbb{C}[x,y]$: ...
1
vote
1answer
1k views

Does this linear algebra construction based on a graph have a name, and where has it been studied?

In the paper Kochen-Specker set with seven contexts by Lisonek, Badziag, Portillo and Cabello, the following construction is used : Question : Have such constructions been used elsewhere, and if so ...
1
vote
1answer
87 views

Self adjoint operator and vertex conditions in quantum graphs

Let $\Gamma$ be a metric graph with finitely many edges. Consider the operator H acting as $\frac{-d^2}{dx_e^2}$ on each edge $e$, with the domain consisting of functions that belong to $H^2(e)$ on ...
35
votes
3answers
4k views

Quantum mechanics formalism and C*-algebras

Many authors (e.g Landsman, Gleason) have stated that in quantum mechanics, the observables of a system can be taken to be the self-adjoint elements of an appropriate C*-algebra. However, many ...
1
vote
2answers
218 views

Mathematical statistical qm book-recommendation

I feel that there are quite a few good and rigorous books on the mathematical foundations of quantum mechanics, but I am currently looking for a book that covers mathematical statistical quantum ...
4
votes
1answer
516 views

What is the current state of generalizations Noether's theorem?

The well-known Noether's theorem is a vital tool in classical physics. But it assumes some hypothesis, many of which could be removed by a detailed look. So my question is: In what directions has ...
3
votes
3answers
386 views

Reference request: a guide through quantum probability

Could you point out a comprehensive reference book (or more than one, if it is the case) on Quantum Probability that introduces the subject and then gradually builds up to the edges of contemporary ...
2
votes
2answers
225 views

Quantum Field theory - integral notation

I have a problem with understanding how the resolution of the identity of an operator is presented in some literature for physicists. I'm a student of mathematics, and I understand the notion of a ...
1
vote
2answers
273 views

Witten index non-trivial in the context of Quantum Mechanics?

Let $H$ be a self-adjoint Hamiltonian and $H$ admits a decomposition into closed operators $D,D^*$, such that we have $H = D^*D$. I will now consider the one-dimensional case on a compact set: So ...
3
votes
1answer
503 views

a question about geometric quantization background

I don't understand why for geometric description of a regular system, we take always the classical phase space as a symplectic manifold?
30
votes
1answer
6k views

“psi-epistemic theories” in 3 or more dimensions

In their recent paper The Quantum State Can Be Interpreted Statistically, Lewis et al. end with a very nice mathematical question, one whose answer (either way) would have interesting implications for ...