**4**

votes

**2**answers

183 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

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

**5**

votes

**0**answers

106 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

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

**0**answers

142 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

147 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

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

**7**

votes

**0**answers

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

**6**

votes

**0**answers

251 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

435 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

150 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

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

**15**

votes

**3**answers

473 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

357 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

138 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

82 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

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

**4**

votes

**1**answer

225 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

62 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

129 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

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

**2**

votes

**1**answer

125 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

109 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

595 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

564 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

149 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

273 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

59 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

125 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

132 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

129 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

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

**7**

votes

**2**answers

208 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

878 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

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

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

**4**

votes

**3**answers

551 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

319 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

73 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

82 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

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

**6**

votes

**1**answer

161 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

436 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

282 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

362 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

121 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

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

**1**

vote

**1**answer

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

**4**

votes

**1**answer

288 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?

**3**

votes

**1**answer

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