Mathematical methods in quantum field theory, quantum mechanics, statistical mechanics, condensed matter, nuclear and atomic physics.

learn more… | top users | synonyms

6
votes
1answer
199 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
1answer
102 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
2answers
157 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
0answers
62 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
0answers
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
0answers
112 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
0answers
137 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
1answer
128 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
3answers
227 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
0answers
261 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
0answers
223 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
2answers
384 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
1answer
146 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
0answers
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 ...
13
votes
3answers
452 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
1answer
343 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
1answer
128 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
0answers
78 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
2answers
730 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
1answer
209 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
0answers
59 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
0answers
127 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
2answers
274 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
1answer
103 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
0answers
99 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
2answers
557 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
0answers
517 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
1answer
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
0answers
215 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
0answers
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
0answers
121 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
1answer
127 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
1answer
120 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
0answers
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 ...
6
votes
2answers
192 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
3answers
842 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
0answers
62 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 ...
7
votes
1answer
110 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
3answers
506 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
3answers
302 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
0answers
72 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
1answer
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
2answers
184 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
1answer
155 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
2answers
419 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
2answers
277 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
1answer
345 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
0answers
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
1answer
227 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
1answer
225 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, ...