For questions on quantum mechanics, a branch of physics dealing with physical phenomena at microscopic scales, where the action is on the order of the Planck constant.

learn more… | top users | synonyms

2
votes
0answers
38 views

Eigenvalue perturbation of singular matrix

Consider a Hermitian matrix $\mathbf{A_0} \in \mathbb{C}^{N \times N}$ with one singularity, i.e. its eigenvalues in increasing order are: \begin{equation} 0 < \lambda_2 \leq \lambda_3 \leq \cdots \...
2
votes
0answers
18 views

integral of product of three basis functions and Clebsh-Gordan coefficients

Suppose I have an orthonormal basis $\{b_i\}_{i=1}^\infty$ for an $L_2$ space (for example, the $b_i$ could be spherical harmonics on the round sphere with the Euclidean $L_2$ inner product). I want ...
2
votes
0answers
20 views

Commutative diagram for hidden subgroup representation of graph automorphism

The hidden subgroup representation of the graph automorphism problem is defined in the section 10.2 of QUANTUM ALGORITHMS FOR PROBLEMS IN NUMBER THEORY, ALGEBRAIC GEOMETRY, AND GROUP THEORY. It is as ...
2
votes
0answers
36 views

Dirac Notation: What Do $\langle u|v \rangle$ and $\langle u|T|v \rangle$ Represent?

I post this hoping for clarification, and particularly in a context of linear algebra without too much mention of matrices. (1) Let $V$ be a (perhaps infinite dimensional) Hilbert space and $V'$ its ...
2
votes
0answers
23 views

Probability distribution obtained by repeatedly sampling $S_x,S_y$ on a spin-$S$ system

While trying to rework an upcoming quiz problem for a quantum physics course, I came up with the following question which turned out to be harder than I expected. (Note: I take $\hbar =1$ in all ...
2
votes
0answers
30 views

How does Ornstein-Uhlenbeck arise in quantum mechanics?

The Ornstein-Uhlenbeck operator, defined here is a self-adjoint operator on $L^2(\mathbb R^d)$ (with respect to Gaussian measure). I've heard it comes up in QM, and I'm wondering how? Does it ...
2
votes
0answers
45 views

Functional integration and Feynman path integrals in wolfram alpha

Is it possible to do Feynman path integrals in wolfram alpha? Say for a free quantum mechanical particle. The reason I am interested in this is because I would like to see how it arrives at the ...
2
votes
0answers
44 views

Lorentz transformation proof

For an occurence, we can choose coordinates ct and x (calculating both time and space in length) ct and x thereby take on the form of a two dimensional vector. Show that the same coordinates in S' ...
2
votes
1answer
39 views

The distribution solution to $L^{+} u=0$ is u=0, where $L^{+}=-\frac{d}{dx}+x$?

Consider the creation operator $L^{+}=-\frac{d}{dx}+x$. If $u\in L^2(\mathbb{R})$ and is a distribution solution to the equation $L^{+}u=0$, then for any $\phi\in C_0^{\infty}(\mathbb{R})$ we have $\...
2
votes
1answer
58 views

Spectral theorem for momentum operator

I'm trying to apply the spectral theorem to the explicit example of the momentum operator: \begin{equation} p:= i\frac{d}{dx} \end{equation} on the domain $D=\{\psi\in H^1(0,2\pi)\ |\ \psi(0)=\psi(2\...
2
votes
0answers
15 views

Covariance of nonlinear sde

My problem is to compute the covariance of the following Ito process $$ dX_t=AX_t+\sum_{k=1}^{n}B_kX_tdW_k, $$ where $A,B_k$ are nonlinear operators defined on a complex separable Hilbert space $H$. ...
2
votes
1answer
45 views

Commutation of a partial trace with an operator

Let the partial trace $\mathrm{tr}_B$ be a mapping from an endomorphism End$\left( H_A\otimes H_B \right)$ onto an endomorphism End$\left( H_A \right)$. Then the partial trace is defined as $$ \...
2
votes
1answer
66 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 ...
2
votes
0answers
44 views

On block density matrices and CPTP maps

Consider a $n\times n$ density matrix $\rho$ and decompose it as $$ \rho=\left[\begin{array}{c|c} \rho_A & \rho_B \\ \hline \rho_B^\dagger & \rho_C\end{array}\right], $$ with $\rho_A$, $\rho_b$...
2
votes
1answer
61 views

Why must power series count up by integers 0,1,2.. in 3D harmonic oscillator in spherical coordinates?

http://www.physicspages.com/2013/01/17/harmonic-oscillator-in-3-d-spherical-coordinates/ http://quantummechanics.ucsd.edu/ph130a/130_notes/node244.html These are two links that have roughly the same ...
2
votes
0answers
32 views

I would like to find a generalization of the plane wave expansion to Hankel functions.

The plane wave expansion is \begin{equation} e^{i\vec{k}\cdot \vec{x}}=\sum_{\ell=0}^{\infty}i^\ell(2\ell+1)j_{\ell}(kx)P_{\ell}(\cos(\theta)) \end{equation} where $j_\ell$ is the spherical Bessel ...
2
votes
0answers
52 views

A mixed state integrated over Haar measure in QFT

I think that we can write a state in Quantum Mechanics like: $$ \int dx\lambda _x \vert x\rangle\langle x\vert $$ and when we talk about QFT, we would replace integral with functional integrals: $$ \...
2
votes
1answer
28 views

Find the constant in the following matrix

An atom is prepared in the angular momentum state $$C\left(\begin{array}{c}1 \\ 2\end{array}\right)$$Here $C$ is a constant. This has benn written in the $S_z$ basis. a)Find C b)Work out $\...
2
votes
1answer
53 views

Application of Fubini Theorem in Quantum Mechanics

I'm afraid I'm very confused by how to correctly apply the Fubini theorem to simplify integrals? I have some integral $$ \sum_{k = 0}^{2}\int_{0}^{T} dt_2 \int_{0}^{t_1} dt_1 \bigg[ \big(\psi_{0}(...
2
votes
0answers
85 views

Proof of Heisenberg Uncertainty Principle Exercise

I'm not very knowledgeable in QM, and I know many physics books derive the uncertainty principle using commutators, but as an exercise in my PDE book (by Asmar), I should be able to derive it from one ...
2
votes
0answers
191 views

$C^*$-algebras, von Neumann algebras, unbounded operators and quantum mechanics in connection

I am studying the theory of $C^*$-algebras, von Neumann algebras and unbounded operators in courses on Functional Analysis and Opertor Algebras. Now I want to apply this knowledge to (algebraic) ...
2
votes
1answer
46 views

How does one diagonalise an operator that has exponential elements?

I asked this question before on the Physics StackExchange, but as one commenter noted I might have more luck here. So the question is: What is the diagonal form of the (density) operator $\hat\rho$, ...
2
votes
0answers
53 views

Why such strange separation of variables?

In this article the authors give the following expansion of wavefunction of three-body system (equation $(16)$ in text): $$\Psi(\textbf{x},\textbf{y})=\sum_{q=\lambda}^l\psi_q(\textbf x^2,\textbf y^2,...
2
votes
1answer
101 views

Quantum translation operator

Let $T_\epsilon=e^{i \mathbf{\epsilon} P/ \hbar}$ an operator. Show that $T_\epsilon\Psi(\mathbf r)=\Psi(\mathbf r + \mathbf \epsilon)$. Where $P=-i\hbar \nabla$. Here's what I've gotten: $$T_\...
2
votes
0answers
87 views

Invariant set under the flow defined by Schroedinger equations

I have to show that the set of functions of the form $$\psi(x,t)=c(t)^{-1}e^{\frac{-(x-q(t))^2}{2c(t)^2}}e^{ip(t)x}\hspace{1cm}c(t),p(t),q(t)\in\mathbb{R}$$ is invariant (as set) under the flow ...
2
votes
0answers
73 views

Adding a delta function to a differential equation

So say I have a differential equation of the form: $$ \left(\alpha \frac{d^2}{dx^2}+fx^2 \right)y(x)=\lambda y(x) $$ Whose solutions are known (a Gaussian multiplying a Hermite polynomial.) I am now ...
2
votes
0answers
62 views

Square Root of matrices and multiplication

In David Tong's Quantum field theory lecture notes, page 101, line 5, he shows that: $$(p.\sigma)(p.\overline{\sigma})=m^2.I_2$$ (I have placed the identity matrix $I_2$ for clarity) Then I don't ...
2
votes
1answer
47 views

Questions about Commutators

My motivation is understanding some derivations in Quantum Mechanics, but since my question is purely Algebraic, I think it is suited for these forums. I have a general question and then a specific ...
2
votes
0answers
154 views

group cohomology for SO(3) and SO(3,1)

I am studying relativistic quantum mechanics and I have encountered the concept of projective representation for a group. I have read in http://groupprops.subwiki.org/wiki/Projective_representation ...
2
votes
0answers
293 views

In the Stinespring dilation theorem, what is the minimum dimension for which a dilation Hilbert space of this form is guaranteed to exist?

This may look like a problem that could easily be looked up, but it's not quite as easy as it first appears, hence my asking. I'm going to phrase my question in terms of the "Schroedinger picture" ...
2
votes
0answers
86 views

Axiom of choice in proof of Wigner's theorem?

In Appendix A of chapter 2 of "The Quantum Theory of Fields," vol. 1, Weinberg presents a proof of Wigner's theorem: given a symmetry transformation $T$ of rays, one can extend this to a symmetry ...
2
votes
0answers
63 views

Does $Z_A$ exist such that $\exp(X+A) = \exp(X) Z_A$?

I am considering an exponential on the following form: $$\exp(X + A \otimes I_B),$$ where $X$ is a Hermitian operator on a tensor Hilbert space $\mathcal{H}_A \otimes \mathcal{H}_B$, $A$ is a ...
2
votes
0answers
91 views

Proving commutation relation in Algebraic Bethe Ansatz

I have a problem with proving a certain commutation relation. For my Bachelor's thesis I give a more mathematically rigurous 'treatment' of a select set of chapters of a paper by L.D. Faddeev. Noting ...
2
votes
1answer
409 views

Finite element method for the 'Particle-In-a-Box' problem in quantum mechanics

(Apologies in advance for the lengthy question, but it really is needed for a precise description of what I've done!) In suitable units, the 'Particle-in-a-box' problem is described by the following ...
2
votes
0answers
75 views

Asymptotic behavior of $L^2$ norm for increased matrix dimensions

I am playing with matrices which are linear combinations of identity matrix, Pauli spin matrices, $\sigma_x$ and $\sigma_z$ or their tensor products. For example, let the matrix be $H$. So, $H$ could ...
2
votes
0answers
97 views

Change of basis and spectral theorem

I've been having trouble with such a rudimentary problem. Let us define a matrix $A$: $$A = \begin{pmatrix} 3 & 0 & -i \\ 0 & 3 & 0 \\ i & 0 & 3 \end{pmatrix}$$ A is a 3 by 3 ...
2
votes
0answers
79 views

Fock Subspaces and Weight Vectors

I've got an assignment due in a few hours, and I'm at a complete loss as to how to even start it, really. I haven't encountered any Dirac notation before, so I'm having a lot of trouble attempting the ...
2
votes
0answers
46 views

Experimental calculation and $\mathbb{Q}$

I have been reading this article and have a question about the first line of the second paragraph on the first page. It says: The basis for this suggestion is the simple fact that all experimental ...
2
votes
1answer
252 views

1D Schrodinger/Laplace equation via finite differences: incompatible eigenvalues

I need to solve a variant of the 1D Schrodinger's equation equation using finite differences, so I decided to play a little bit with the real-space representation of some operators. Using the ...
2
votes
0answers
56 views

To construct a Schrödinger wave with prescribed mean position and momentum

Let $\lambda_x, \lambda_\xi>0$ be fixed parameters which we will call position lengthscale and momentum lengthscale respectively. Fix a (position-)point $x_0\in \mathbb{R}$ and a (momentum-)point $\...
2
votes
0answers
339 views

Is quantum game theory reducible to classical game theory? [closed]

Modnote: This question was manually migrated (closed and crossposted) to MathOverflow by request of the OP. Quantum game theory is an extension of classical game theory to the quantum domain. It ...
2
votes
0answers
117 views

At large times, $\sin(\omega t)$ tends to zero?

While doing a calculation in quantum mechanics, I got a expression $\sin(\omega t)$, and my prof said if I consider the consider at large times, then i can assume that this goes to zero because at ...
2
votes
0answers
62 views

Doubt about the spectrum of an operator

I consider the Laplacian operator $$A=-\Delta$$ in the domain $$H^2(\mathbb{R}^3)$$ where it is selfadjoint. We know that its spectrum is $[0,+\infty)$. Now I want to consider the restriction of $A$ ...
2
votes
0answers
134 views

How do I solve this integral

How do I solve this integral (expectation value) : $$\int_{-\infty}^{\infty} \psi (x)^* \hat p \psi (x)\ dx.$$ where the $\hat p =-i\hbar \frac {\partial}{\partial x}$ is an operator and $\psi (x)$ is ...
1
vote
4answers
102 views

Solution to a system of quadratics

I am learning about a Bell State, and am trying to show that they are entangled. I believe that the required proof is to show that the system $$\alpha_0^2+\alpha_1^2=1$$ $$\beta_0^2+\beta_1^2=1$$ $$\...
1
vote
2answers
49 views

Norm of operator $A$ st. $A^2 = I$?

I'm wondering what can be said about the norm $||A||$ of an operator which squares to identity. All I can think of is that $$1=||AA|| \leq ||A||^2$$ so that $||A|| \geq 1$. But can anything else be ...
1
vote
3answers
105 views

looking for help with a trace/norm inequality

I'm trying to understand a derivation that seems to claim that $\left\vert\text{Tr}\left[\rho U^\dagger\left[U,O\right]\right]\right\vert\leq\|\left[U,O\right]\|$, where $\rho$ is Hermitian and has ...
1
vote
2answers
77 views

Quantum Mechanics: position and the separability of Hilbert space?

I would be pleased if someone could point out to me where I go wrong in the following sequence of statements: One model of quantum mechanics identifies states of a particle with normalized vectors (...
1
vote
3answers
76 views

Explanation of this integral

$$\int_{-\infty}^{\infty} e^{-\frac{i}{\hbar}(p-p')x} dx = 2\pi\hbar\delta(p-p')$$ I don't quite understand how this integration leads to the right hand side. Any explanation is appreciated.
1
vote
2answers
97 views

Book on periodic Schrödinger operators

I am looking for good books about the spectral theory of periodic (1-dimensional) Schrödinger operators on a compact interval. A good reference I found was Reed/Simon Analysis of Operators (and a ...