**6**

votes

**2**answers

128 views

### Do non-normal states exist in the Solovay model?

Let H be an infinite dimensional Hilbert space. Then there exist non-normal states on B(H) in ZFC (i.e. states that are not represented by a density operator).
Is this also true in the Solovay model ...

**3**

votes

**3**answers

312 views

### Positivity of the Coulomb energy in two dimensions

In dimensions $d\geq 3$ the Coulomb energy is always non-negative (since the Fourier transform of $\frac{1}{\|\cdot\|^{d-2}}$ is non-negative). What can one say about positivity properties of the ...

**0**

votes

**0**answers

61 views

### How does one express a Lagrangian via differential forms? [duplicate]

I asked this question here on Physics.SE; and I accepted an answer, which thinking about it later I was dis-satisfied with; to save clicking on the link I'm reproducing the question below:
In ...

**0**

votes

**1**answer

64 views

### Reference for measures of commutativity needed

I'm looking for an appropriate measure to quantify the extent to which two matrices commute. In other words, if A and B are two n×n Hermitian matrices, and [A,B]=C.
I'd like a function μ:Cn×n→[0,∞) ...

**4**

votes

**2**answers

158 views

### Find the expansion of the exact solution (beyond Taylor)

In a paper by Kitagawa & Ueda Squeezed spin states they give an argument that the minimum variance in one-axis twisting Hamiltonian scales like $V_{min} \propto S^{-2/3}$. I will shortly describe ...

**5**

votes

**1**answer

123 views

### What's the relation between spin model for subfactors theory and physics?

In the sense of subfactor theory, a spin model is a commuting square of the form
$$\begin{matrix}
\Delta &\subset & M_n(\mathbb{C})\cr
\cup &\ &\cup\cr
\mathbb{C} &\subset ...

**5**

votes

**2**answers

229 views

### Weak solutions for a PDE of fourth order

I deal with two-dimensional Kirchhoff equation with $L^\infty$ coefficient and distributional right hand side:
$$
\Delta\Delta w+u(x,y)\left(\alpha^2\frac{\partial w}{\partial ...

**5**

votes

**1**answer

557 views

### Solution of Helmholtz-Equation where Phase is restricted by additional PDE

Hello!
Let's say I have
$(\partial_x^2 + \partial_y^2 + a)f(x,y)=0$
with $f(x,y) \in \mathbb{C}$, ($\lim_{x,y \to \infty} f(x,y)=0$).
Now separate the Amplitude and Phase of the solution:
...

**6**

votes

**2**answers

318 views

### Is there a nice “synthetic” way for doing differential geometry on infinite dimensional vector spaces?

If $V$ is an infinite dimensional vector space, for example the space of smooth functions on $\mathbb{R}$, we can introduce some differential geometry concepts by choosing a topology on $V$ and doing ...

**0**

votes

**0**answers

79 views

### Tetrad transformation

I have been reading an article about Type D gravitational fields, and came across the tetrad transformation that I cannot understand. The author evidently introduced a new coordinate, but just a ...

**0**

votes

**1**answer

236 views

### Physics that needs “new” math [closed]

Just curious: I can't think of a single example that a physicist did not had his mouth open in amazement when he learnt that all (OK, lets say the foundations) the math he needs for his brand-new ...

**1**

vote

**0**answers

110 views

### General procedure to find the determinant of an operator?

I want to learn to find the determinant of an operator.
I am given an operator like
$\Sigma _{\alpha\beta}=-k^2g_{\alpha\beta}+i\theta\epsilon_{\alpha\beta\gamma} k^\gamma$
$k^2=k^μk_μ$, $g^{αβ}$ ...

**3**

votes

**1**answer

195 views

### An integral equation

I have a Fredholm integral equation of second kind
$$\frac{-1}{2\pi \omega'^2}+\int_{-\infty}^{\infty}\frac{1}{\pi ...

**2**

votes

**0**answers

295 views

### How to prove the following determinant identity? [migrated]

This problem is relevant to the spin operator matrix elements in the quantum 1D XY model.
For any even integer $N$, define two sets ...

**12**

votes

**2**answers

247 views

### Is there a relationship between Fourier transformations and cotangent spaces?

Maybe a trivial question but I can't seem to find it treated anywhere.
Consider a smooth manifold $Q$ (configuration space) and its cotangent bundle $T^*Q$ (phase space). Any function ...

**3**

votes

**0**answers

111 views

### On fundamental solutions to Poisson equation on 3-dimensional manifolds

I am interesting in solutions to Poisson equation
$$\triangle \varphi = 4 \pi \rho \qquad (1)$$
defined on 3-dimensional oriented Riemannian manifold $(M,g)$,
where $g$ is metric and ...

**1**

vote

**1**answer

91 views

### Null geodesic congruence

I came across a statement in Chandrasekhar's "Mathematical Theory of Black Holes" that I don't understand (rather say disagree):
Assume we have a Newman Penrose tetrad $\lbrace l, ...

**0**

votes

**0**answers

67 views

### AKSZ sigma models for higher spin

The AKSZ framework constructs 2D sigma models in the BV formalism. Is there a generalization of the AKSZ approach to higher spin?

**10**

votes

**1**answer

818 views

### Vanishing of $\hat{A}$ genus and positive scalar curvature

Classicly, for a spin Riemannian manifold $M$, the $\hat{A}(M)$ genus will be $0$, if the scalar curvature is positive.
The proof is to use the Lichnerowicz formula. we have the index of the Dirac ...

**22**

votes

**1**answer

1k views

### Why is there a connection between enumerative geometry and nonlinear waves?

Recently I encountered in a class the fact that there is a generating function of Gromov--Witten invariants that satisfies the Korteweg--de Vries hierarchy. Let me state the fact more precisely. ...

**3**

votes

**1**answer

162 views

### higher order Noether identities

Noether's second variational theorem gives a correspondence between symmetries of a Lagrangian and Noether identities, which are relations among the Euler–Lagrange equations.
How about relations ...

**7**

votes

**0**answers

141 views

### Deformation of Noether's first theorem

Noether's first variational theorem establishes a correspondence between symmetries and invariants. I would like to know what has been written on the following question: How do the invariants deform ...

**1**

vote

**0**answers

60 views

### Energy inequalities for Sobolev spaces of negative integer

I asked this question in mathematics stackexchange and couldn't get an answer.
Let $\phi\in H^{s}$ such that the following energy inequality is true:
$$\|\phi(t,\cdot)\|_s \le\int^t_0 C \| ...

**1**

vote

**1**answer

72 views

### Derivative of a time evolution operator w.r.t. a parameter

Let $N\geq1$ be an integer and let $H:[0,1]^2\to\mathbb C^{N\times N}$ be a pointwise hermitean matrix valued function.
For $y\in[0,1]$ and $0\leq a\leq b\leq 1$, let $U_y(b,a)$ be the time evolution ...

**26**

votes

**2**answers

648 views

### Volume of the unitary group

I saw a very remarkable asymptotic formula (or a conjecture?) for the volume of of the unitary group $ U(n)$ which is the following:
$$\log[\mathrm{Volume}(U(n))] \sim_{n\rightarrow \infty} ...

**3**

votes

**0**answers

190 views

### Unusual generalization of the law of large numbers

I have seen in physical literature
an example of application of a very unusual form of the law of large numbers. I would like to understand how legitimate is the use of it, whether there are ...

**21**

votes

**1**answer

2k views

### What is about nonassociative geometry?

At the end of a conference given by Alain Connes in 2000 (here is a video in French), a member of the audience asked a question. I transcribed and translated it for you below:
Audience: You showed ...

**1**

vote

**0**answers

165 views

### unfolding as resolution

Has anyone described 'unfolding' as used in mathematical physics (e.g. on-shell AND off-shell) as analogous to a resolution in algebra - higher derivatives are unfolded in terms of new variables?

**33**

votes

**3**answers

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

**4**

votes

**0**answers

115 views

### TQFT characterization of braiding statistics

In the TQFT language, quasiparticles correspond to Wilson loop operators. It is well-known that quasiparticles can have non-trivial braiding statistics.
Take $2+1$ dimensional Abelian Chern-Simons ...

**3**

votes

**2**answers

161 views

### Momentum a cotangent vector

Apparently one identifies the configuration space in physics often with a manifold $M$. The tangent bundle $TM$ is then the space of all possible positions and velocities.
Furthermore, many sources ...

**1**

vote

**1**answer

174 views

### Is the structure constant additive on connected components?

This is the reanimation of a question which already got an answer, that I did not fully understand. Coming back to it, after let it sit in a corner for some time, I keep not getting the point. I would ...

**7**

votes

**0**answers

79 views

### What is the symmetry group fixing norms of elements of a unitary matrix?

Let $N\geq1$ be an integer and let us say that two matrices $U,V\in U(N)$ are related if $|U_{ij}|=|V_{ij}|$ for all indices $1\leq i,j\leq N$.
When exactly are two unitary matrices related in this ...

**1**

vote

**1**answer

53 views

### Petrov classification/Weyl scalars

There is one calculation in Chandrasekhar's "Mathematical Theory of Black Holes" that I cannot understand. Here is the setup:
We want to show that Petrov type D (i.e. two principal null directions) ...

**3**

votes

**1**answer

104 views

### Reference of $\hbar$-differential operator from symplectic geometry perspective

I am reading Bates and Weinstein's book 'Lectures on the Geometry of Quantization'. In Chapter 6, they defined the $\hbar$-differential operator, and showed (Theorem 6.7) that the Lagrangian ...

**0**

votes

**0**answers

37 views

### Orthogonality relation for associated Legendre functions

The associated Legendre Polynomials $P_l^m(x)$ obey orthogonality relations for fixed $m$ and fixed $l$:
$$
\begin{align}
\int_0^\pi P_k^m(\cos\theta)P_l^m(\cos\theta)\sin\theta d\theta ...

**0**

votes

**1**answer

112 views

### Positivity of logarithmic energy of certain measures

Let $\Gamma$ be a smooth closed curve in the complex plane (for all practical purposes). Assume $f$ is a real-valued continuous function defined on $\Gamma$ and let $d\mu=fdm$, where $dm$ is the ...

**1**

vote

**1**answer

114 views

### String theory target spaces

In basic string theory Lagrangians (e.g. the Polyakov or the Nambu-Goto), the variables include a function $x:X\rightarrow M$ embedding a world-sheet $X$ into some target space $M$, which can be ...

**1**

vote

**2**answers

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

**13**

votes

**2**answers

2k views

### What does Yang-Mills and mass gap problem has to do with mathematics?

I'm not very experienced in this topic, but I read a short description of the Yang-Mills existence and mass gap problem, and as long as I understood it has mainly physical consequences and ...

**13**

votes

**3**answers

1k views

### Applications of set theory in physics

In the introduction of the paper "Links between physics and set theory", the following quote of Eris Chric is stated:
"Set theory perhaps is too important to be left just to ...

**24**

votes

**2**answers

747 views

### Interplay between Loop Quantum Gravity and Mathematics

It is known that there are many interesting connections between String Theory and modern Mathematics, with a rich feedback going on in both directions: there have been advances in mathematics thanks ...

**1**

vote

**3**answers

256 views

### What are some good sanity checks for simulating BNLS?

After doing some googling, I failed to find any explicit solution for the Biharmonic Nonlinear Schrodinger Equation, which states:
$$
i\psi (x,t) _t - \Delta ^2 \psi (x,t) + |\psi (x,t) | ^{2 \sigma} ...

**12**

votes

**4**answers

403 views

### Obtain any 3-manifold from repeating surgeries on knots in $S^3$

In Witten's “QFT and Jones Polynomials” paper, page 383, it states that: "It is a not too deep result that every 3-manifold can be obtained from or reduced to $S^3$ (or any other desired 3-manifold) ...

**3**

votes

**1**answer

157 views

### Two equivalent descriptions of a physical system yielding a non-trivial mathematical formula

First I would like to admit that this question may not be entirely appropriate for this site, but I will give it a go none the less.
One often hears stories about how string dualities lead to highly ...

**1**

vote

**2**answers

353 views

### Certain inverse problem related to moments

Suppose $D\subset \mathbb C$ is a smoothly bounded domain and it contains the origin. Let $ds$ denote the arc length measure on $\partial D.$ I am interested in the following two inverse problems ...

**4**

votes

**1**answer

88 views

### Isomorphism of various gauge groups under homotopy

Given a compact, simple Lie group $G$, and a compact, oriented three manifold $M$, we can consider the following smooth homotopy groups:
$(C^\infty(M;G)/{\sim},\cdot )$: Here, $\sim$ is smooth ...

**3**

votes

**1**answer

88 views

### Blow-Up for Semi-Linear Wave Equations

I am reading C. D. Sogge's book "Lectures on Non-Linear Wave Equations". As an exercise, I attempted to fill out the details of the proof of Theorem 5.1 (Local Existence of Solutions for Semilinear ...

**81**

votes

**25**answers

16k views

### A soft introduction to physics for mathematicians who don't know the first thing about physics

There have been similar questions on mathoverflow, but the answers always gave some advanced introduction to the mathematics of quantum field theory, or string theory and so forth. While those may be ...

**10**

votes

**1**answer

535 views

### Associativity of Kontsevich's star product up to second order

In Deformation quantization of Poisson manifolds, Kontsevich gives the quantization formula
$$f \star g = \sum_{n=0}^\infty \hbar^n \sum_{\Gamma \in G_n} w_\Gamma B_{\Gamma,\alpha}(f,g).$$
He gives ...