**2**

votes

**0**answers

45 views

### Proof of asymptotic non-flatness

in a few papers I came across a statement that the Kerr-NUT metric
$g_{uu}=\rho\overline{\rho}(r^{2}-2mr-l^{2}+a^{2}\cos^{2}x)$
$g_{ur}=1$
$g_{uy}=-2\rho\overline{\rho}l\cos ...

**6**

votes

**1**answer

132 views

### The proof that a vertex algebra can lead to a Wightman QFT

On p. 13 of "Vertex Algebras for Beginners", 2nd edition, Kac writes:
"Under certain assumptions and with certain additional data one may reconstruct the whole QFT from these chiral algebras, but we ...

**2**

votes

**1**answer

79 views

### How can I understand the braiding terms introduced in the plaquette operator of the Walker-Wang TQFT

Walker-Wang models as introduced in (3+1)-TQFTS and Topological Insulators are an example of 3+1D lattice TQFTS. In analogy with the Levin-Wen models in 2+1D the authors define an exactly solvable ...

**4**

votes

**2**answers

133 views

### Obtaining Killing fields from the tetrad

I'm reading the following article by Newman
http://scitation.aip.org/content/aip/journal/jmp/4/7/10.1063/1.1704018
about the generalization of the Schwarzschild metric. My question is the following: ...

**5**

votes

**0**answers

60 views

### How to derive explicit bound for the solution of following equation?

Let's have equation
$$
y''(t) + \left(\frac{3}{16t^{2}} + \frac{a}{t} -\frac{b}{t^{\frac{5}{4}}}cos(2t)\right)y(t) = 0, \quad t \in (1, \infty), \quad a, b > 0
$$
How to derive explicit upper bound ...

**6**

votes

**0**answers

93 views

### cohomology ring of stable configuration spaces

Let $M$ be a compact Riemannian manifold without boundary. Distinct $k$-points $x_1,\cdots,x_k\in M$ are called stable if the potential energy given by coulomb forces among $k$ electrons reaches ...

**2**

votes

**0**answers

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

**5**

votes

**0**answers

123 views

### Finding $U,V$ in Thompson's Formula

Thompson's formula says, given $A,B \in \mathfrak{su}(n)$, there exists $U,V \in SU(n)$ such that:
$e^{A}e^{B}=e^{UAU^{\dagger} + VBV^{\dagger}}$
Given $a,b \in \mathfrak{su}(4)$ defined by:
$a=J_x ...

**4**

votes

**1**answer

107 views

### General solution to null-divergence equation

I am interested in whether each component of a divergenceless vector can itself be written as a divergence. My motivation for this question is the characterization of so-called trivial conservation ...

**6**

votes

**3**answers

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

**7**

votes

**0**answers

233 views

### Question about theorem in Arnold's book on action-angles variables

I have a question about the action-angle theorem on p. 283 in Arnold's textbook on classical mechanics.(I added the link to this book in the last part of this question)
If you don't have the book or ...

**5**

votes

**0**answers

140 views

### Time-separation function on “globally hyperbolic” spacetimes with everywhere timelike boundary

It is well-known that, in globally hyperbolic spacetimes, the time separation function $\tau$ (aka Lorentzian distance function) enjoys the following property: fix a point $p$ and a point $q \in ...

**4**

votes

**2**answers

342 views

### What does it mean to take the diagonal of the group $SU(2) \times SU(2) $?

I am reading Witten's paper on topological field theories, in specific the topological twist in page 359. In order to perform the twist he takes the diagonal subgroup of $K = SU(2)_{\text{Right}} ...

**3**

votes

**1**answer

129 views

### Local symplectomorphisms become global ones?

It is widely known that a local diffeomorphism is not necessarily a global diffeomosphism and so on.
Now, I stumbled over the question whether in some particular cases, as I will describe below, ...

**1**

vote

**0**answers

49 views

### Definition of $k$-precosymplectic manifold

A precosymplectic manifold of rank $2r$ is a triple $(M,\omega,\eta)$ where $M$ is a smooth manifold of dimension $2m+1$, $\omega$ is a closed 2-form on $M$ and $\eta$ is a closed 1-form on $M$ such ...

**13**

votes

**3**answers

427 views

### Quantum Hamiltonian for an Inverse Cube Force Law

If you have a nonrelativistic quantum particle in $\mathbb{R}^3$ in an attractive inverse cube force, its Hamiltonian is
$$ H = -\nabla^2 - \frac{c}{r^2} $$
where I'm keeping things simple by ...

**4**

votes

**1**answer

320 views

### Asymptotic $\int_M \mathrm{exp}[\mathbf{e}\left(n -\frac{t}{2\pi i}\right)] \left( 1 + \frac{5}{6} \mathbf{e}^2 \right)^{1/2} $ on quintic Calabi-Yau

Let $M = \{ G(x) = 0 \} \subseteq \mathbb{P}^4$ be a quintic Calabi-Yau and $\mathbf{e} \in H^2(M, \mathbb{Z})$ such that $\int_M \mathbf{e}^3 = 5$. Then as $t \gg 1$:
$$
\int_M
e^{n \mathbf{e}}
...

**1**

vote

**1**answer

93 views

### Minkowski spacetime in Newman Penrose formalism

I have a rather basic question for which (surprisingly!) I cannot find a short and clear answer anywhere:
I'm currently looking at the Newman Penrose (NP) formalism (I use primarily Chandrasekhar's ...

**0**

votes

**0**answers

68 views

### Singular integral equation

Investigating a control problem for heat equation I stacked on solution of this integral equation which seems to be singular:
$$
\int_0^1\mathcal{K}(\tau)u(\tau)d\tau=\mathcal{M},
$$
in which ...

**10**

votes

**2**answers

688 views

### How should a mathematician approach the physics literature concerning percolation?

I would like to read some of the physics literature on two-dimensional percolation, however in attempting this I have run into two problems. (1) Physics papers on percolation are (relatively) hard ...

**3**

votes

**1**answer

192 views

### Action of G_2 on certain 7x7 skew-symmetric matrices

I have been working with something related to Goldman bracket for $G_2$ gauge group. There I have something like "$\text{Tr}(M_{\gamma}O_i)$", where $M_{\gamma}$ is a monodromy which takes value in ...

**1**

vote

**0**answers

45 views

### anomaly polynomial of generalized Hitchin system

I would like to ask about mathematical background of this object. So, I am trying to puzzle out with 4d $\mathcal{N}=2$ SQFT. As far as I can gather this theroy can be described in terms of ...

**5**

votes

**0**answers

115 views

### Can the compactification of a (co)tangent bundle equipped with Saski metric be viewed as a “Wick rotation”?

We can equip the (co)tangent bundle of a Riemannian manifold (B,g) with a Saski metric $\hat{g}$ (see, for example, "On the geometry of tangent bundles" by Gudmunssun & Kappos) that looks like
...

**0**

votes

**1**answer

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

**0**

votes

**1**answer

76 views

### Possible lower bound in quantum many body system with non-local terms

I am asking a question related to Lieb-Robinson bound and nonlocality.
As we know from Lieb-Robinson theorem (see e.g. http://arxiv.org/abs/1008.5137): Suppose a Hamiltonian system is local, i.e. ...

**5**

votes

**0**answers

82 views

### Fock Space Proof of $(g(x)\phi^4)_2$ Mass Gap?

Is there a proof that does not depend on Euclidean methods? Is this a proof? :
$V(g)$ can be written as $P+R$ where $P$ is non-negative and $R$ is $N$-bounded (and hence $(H_0+\lambda P)$-bounded). ...

**10**

votes

**2**answers

502 views

### Witten's proof of Morse inequalities, question on eigenvalues?

See here. I present Theorem 6 and Corollary 7 as follows.
Theorem 6. For large $s$, $\Delta_s$ and $H$ have the same number of eigenvalues in the interval $[0, s^{-2/5}]$.
Corollary 7. $\dim ...

**10**

votes

**0**answers

426 views

### Which journals publish applied mathematics with mostly pure mathematics content?

In the spirit of Which journals publish expository work? please advise:
What consistently high quality journals$^1$ today publish results that would otherwise go to a pure mathematics journal if ...

**2**

votes

**1**answer

145 views

### A proof of the Ibragimov et al. commutation relation

Let $u_a(x),\,a=1,2,\ldots n$ be a $n$-component field in Minkowski spacetime
$x^\mu,\,\mu=0,1,2,3$ and let $u_{a,\,\mu}=\frac{du_a}{dx^\mu}$. Let us introduce two operators (we use Einstein ...

**1**

vote

**0**answers

157 views

### Proof of Arnold-Liouville theorem in classical mechanics [closed]

I am currently reading Arnold's book "Mathematical Methods of classical mechanics" on page 278 and I don't see through his arguments there at a point.
Especially, I am talking about the part that ...

**0**

votes

**0**answers

55 views

### When is the discrete logarithmic energy not approximable by its ostensibly more general counterparts?

In my answer at Maximum of the Vandermonde determinant / minimum of the logarithmic energy it is shown that
that for each large enough natural $n$ there is some $a=(a_0,\dots,a_{n-1})$ with ...

**2**

votes

**0**answers

114 views

### Gauge freedom in the tetrad

I'm reading the following paper about Petrov type D space times called "Type D vacuum metrics":
http://scitation.aip.org/content/aip/journal/jmp/10/7/10.1063/1.1664958
by Kinnersley. I have a ...

**3**

votes

**1**answer

122 views

### Stationary distribution of last passage percolation

Consider last passage percolation model on $\mathbb{Z}^2$. I am interested to know if there is any known result for the stationary distribution of passage times, given some distribution for the ...

**2**

votes

**1**answer

113 views

### Conformally covariant distributions

In Conformal Field Theory (in $D$ dimensions) one considers (in particular) correlation functions of the form
$$
\langle O(x)O(y)\rangle,
$$
where $O$ is a scalar primary field. Scale covariance ...

**0**

votes

**0**answers

66 views

### Extracting information from a differential equation if the zero eigenvalue eigen-function is known

Given the second order linear homogeneous differential equation
$$
-\dfrac{d^2}{dx^2}\psi_m(x) + V(x)\psi_m(x)=E_m\psi_m(x)
$$
with eigen-functions $\psi_m(x)$ and eigenvalues $E_m$, what information ...

**6**

votes

**2**answers

170 views

### Gauss-Milgram formula for fermionic topological order?

For Bosonic topological order, a very useful formula was proved to be true:
$\sum_a d_a^2 \theta_a=\mathcal{D} \exp(\frac{c_-}{8}2\pi i) $
(for more detail: $d_a$ is the quantum dimension of anyon ...

**6**

votes

**3**answers

765 views

### Ambidexterity and Quantization

Here the nlab says about Hopkins-Lurie's ambidexterity paper:
"The discussion in the article is apparently motivated as part of what it takes to make precise the discussion of quantization in ...

**0**

votes

**0**answers

59 views

### Kerr metric affine parameter

I'm going through the chapter about Kerr space-time of Chandrasekhar's "Mathematical theory of black holes", and have a question about the following transformation:
the idea is, that one wants to ...

**6**

votes

**1**answer

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

**4**

votes

**3**answers

369 views

### $A \wedge A \wedge A$ in Chern-Simons

I am confused with the wedging operations of Lie algebra valued differential forms. Especially, for instance, I have some problems with the Chern-Simons 3-form
$$A \wedge dA + \frac{2}{3}A \wedge A ...

**7**

votes

**3**answers

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

**0**

votes

**0**answers

71 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

80 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

179 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

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

**6**

votes

**2**answers

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

**5**

votes

**2**answers

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

**0**

votes

**1**answer

313 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

117 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

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