The quantum-mechanics tag has no usage guidance.

**0**

votes

**0**answers

75 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 ...

**9**

votes

**1**answer

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 ...

**2**

votes

**0**answers

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

**1**answer

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
$$ ...

**2**

votes

**1**answer

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 ...

**2**

votes

**0**answers

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 ...

**3**

votes

**2**answers

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:
...

**12**

votes

**4**answers

678 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 ...

**7**

votes

**2**answers

227 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

**2**answers

418 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

**0**answers

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= ...

**19**

votes

**4**answers

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 ...

**11**

votes

**1**answer

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 ...

**5**

votes

**0**answers

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

**0**answers

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 ...

**4**

votes

**1**answer

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

**1**answer

126 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

**0**answers

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\\
...

**2**

votes

**1**answer

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 ...

**2**

votes

**0**answers

102 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 ...

**4**

votes

**1**answer

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\\
...

**6**

votes

**1**answer

422 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

**1**answer

206 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

**1**answer

147 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

**0**answers

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 ...

**2**

votes

**2**answers

207 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 ...

**6**

votes

**3**answers

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

**1**answer

113 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

**0**answers

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 ...

**0**

votes

**2**answers

318 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 ...

**5**

votes

**3**answers

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 ...

**9**

votes

**1**answer

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 ...

**1**

vote

**1**answer

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

**1**answer

86 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 ...

**1**

vote

**2**answers

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

**1**answer

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 ...

**2**

votes

**2**answers

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 ...

**3**

votes

**3**answers

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 ...

**1**

vote

**2**answers

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 ...

**2**

votes

**0**answers

100 views

### “Semiclassical approximation” in random matrix theory

I am reading Planar Diagrams by Brezin, Parisi, Itzykson and Zuber. If you specialize the discussion in section 5 there we seem to derive the eigenvalue distribution of $N \times N$ random Hermitian ...

**1**

vote

**0**answers

123 views

### translation invariance of the Laughlin wave function

This is a translation into math of the following question, posted on PhysicsOverflow.
Let $H:=L^2(\mathbb C)$.
For every $N$, let $\psi_N\in\Lambda^N H\cong (L^2(\mathbb C^N))^{S_N}$ be the function
...

**4**

votes

**0**answers

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, ...

**3**

votes

**1**answer

134 views

### Average entropy of quantum system in bipartite pure state for finite temperature

[I got halfway through writing this when I found the paper that answers the question in (essentially) the affirmative. I'll post it anyways in case anyone is interested.]
Background: If a random ...

**1**

vote

**1**answer

51 views

### When does an orthomodular projection lattice have a non-trivial centre?

When does an orthomodular lattice $L$ of projections onto a given Hilbert space have a non-trivial centre $Z(L)$ and what can we generally say about the cardinality of $Z(L)$?

**6**

votes

**0**answers

147 views

### From 3-framings on $\Sigma$ to $\mathrm{Spin}^c$-structures on $\mathrm{Loc}_G(\Sigma)$?

Here is my question, below that some motivation:
For $G$ a compact abelian Lie group and $\Sigma$ a surface, with $M_G = \mathrm{Loc}_G(\Sigma)$ denoting the space of flat $G$-connections on $\Sigma$ ...

**4**

votes

**0**answers

101 views

### $q$-deformations of fundamental equation of information and entropies

Classical information theory: fundamental equation of information
In classical information theory, the information $I(A)$ of an event $A$ (any element of the $\sigma$-algebra $\mathcal F$ of a ...

**3**

votes

**2**answers

116 views

### Proof the solution of von Neumann equation will fluctuate forever if Hamiltonian and initial density matrix does not commute

Given von Neumann equation
$$\frac{d}{dt} \rho(t) = -i [H, \rho(t)] = -i e^{-iHt}[H, \rho(0)]e^{iHt}.$$
If we know that $[H, \rho(0)] \neq 0$, how do we prove that the solution will fluctuate ...

**1**

vote

**1**answer

253 views

### Perturbation theory of eigenvalues - Effects of degeneracy/ multiplicity

In Quantum mechanics Schrödinger's perturbation theory is very important (see Wikipedia) which deals with perturbation of the discrete spectrum of a self-adjoint operator.
Where can I find a ...

**6**

votes

**0**answers

368 views

### Why is geometric quantization (esp. Berezin-Toeplitz quantization) interesting for a symplectic geometer/topologist?

I know that many symplectic geometers are interested in quantization as well.
From what I understood, quantization isn't expected to be used as a tool to answer symplectic questions (as in ...

**5**

votes

**3**answers

140 views

### graded generalization of the Moyal–Weyl product

Has anyone written about the graded generalization of the Moyal–Weyl product/star product, that is, where the original algebra is already graded? Is it just a matter of signs?