The quantum-mechanics tag has no wiki summary.

**1**

vote

**2**answers

595 views

### Quantum Error Correction

One can correct the errors in a quantum channel iff the coherent information of the input state is not reduced by the channel. This is analogous to sending quantum entanglement through a channel. If ...

**5**

votes

**1**answer

406 views

### What categorical mathematical structure(s) best describe the space of “localized events” in “relational quantum mechanics”?

In a recent (and to me, very beautiful) paper, entitled "Relational EPR",
Smerlak and Rovelli present a way of thinking about EPR which relies upon Rovelli's ...

**7**

votes

**2**answers

409 views

### Does there exist a potential which realizes this strange quantum mechanical system?

I have done some courses on quantum mechanics and statistical mechanics in the past. Since I also do math, I wonder about converge issues which are usually not such a problem in physics. One of those ...

**1**

vote

**0**answers

2k views

### Quantum computation implications of (P vs NP) [duplicate]

Possible Duplicate:
What impact would P!=NP have on the characterization of BQP?
Before I begin, I had a similar post closed for mentioning the recently released (to be verified) proof that ...

**11**

votes

**2**answers

2k views

### What impact would P!=NP have on the characterization of BQP?

Many complexity theorists assume that $P\ne NP.$ If this is proved, how would it impact quantum computing and quantum algorithms? Would the proof immediately disallow quantum algorithms from ever ...

**2**

votes

**3**answers

2k views

### Justification for the matching condition for the wave function at potential jumps. Why is it both restrictive enough and sufficiently general?

Consider Schrödinger's time-independent equation
$$
-\frac{\hbar^2}{2m}\nabla^2\psi+V\psi=E\psi.
$$
In typical examples, the potential $V(x)$ has discontinuities, called potential jumps.
Outside ...

**13**

votes

**1**answer

741 views

### Fixed point theorems and equiangular lines

I've been thinking about the equiangular lines (or SIC-POVM) conjecture, and my conclusion is that the best means of attack would be through some kind of fixed point theorem -- I'm thinking ...

**3**

votes

**2**answers

860 views

### Spectral decomposition for an arbitrary linear combination of position and momentum operators

Suppose we have the Hilbert space L2(Rn) and we have n operators Qi and n operators Pi defined in the usual way by:
Qi ψ(q1,q2,...,qn) = qi ψ(q1,q2,...,qn)
Pi ψ(q1,q2,...,qn) = -i ...

**2**

votes

**6**answers

2k views

### Functional Analysis and its relation to mechanics

Hi I'm currently learning Hamiltonian and Lagrangian Mechanics (which I think also encompasses the calculus of variations) and I've also grown interested in functional analysis. I'm wondering if there ...

**11**

votes

**1**answer

655 views

### Set theoretical realizations of the hidden variables program in quantum mechanics

The hidden variables program in quantum mechanics has been largely discredited by two powerful theorems, namely those of Bell and Kochen/Specker. Nonetheless, this program retains a certain ...

**3**

votes

**1**answer

472 views

### What is the entropy of a density matrix which is the sum of two unitarily equivalent projectors?

Construction
Suppose I have a density matrix $\rho$ which is proportional to a projector $P$ formed by tensoring together $N$ small projectors $P^{(i)}$ of rank 2:
$P^{(i)} = |a\rangle_i\langle a| + ...

**6**

votes

**3**answers

668 views

### Bounding a spectral gap: what proof techniques exist?

The following situation is ubiquitous in mathematical physics. Let
$\Lambda_N$
be a finite-size lattice with linear size
$N$. An typical example would be the subset of
...

**3**

votes

**2**answers

447 views

### Simultaneous time-frequency concentration of orthonormal sequences?

Does there exist an orthonormal basis of square-integrable functions (either $L^2(\mathbb{R})$ or $L^2(\mathbb{C})$) such that the sequence of functions has bounded variance, and also the sequence ...

**26**

votes

**9**answers

4k views

### How is the physical meaning of an irreducible representation justified?

This is maybe not an entirely mathematical question, but consider it a pedagogical question about representation theory if you want to avoid physics-y questions on MO.
I've been reading Singer's ...

**9**

votes

**1**answer

647 views

### Which functions are Wiener-integrable?

I'm looking for either a few precise mathematical statements about Wiener integrals, or a reference where I can find them.
Background
The Wiener integral is an analytic tool to define certain ...

**0**

votes

**1**answer

241 views

### The Quantum Operations On The Bipartite Systems

Given two distinct and noninteracting quantum mechanical
systems $\mathfrak{S}\_1$ and $\mathfrak{S}\_2$ with state spaces
$\mathcal H\_1$ and $\mathcal H\_2$, respectively, the state space
of the ...

**25**

votes

**6**answers

2k views

### Why is addition of observables in quantum mechanics commutative?

I am no expert in the field. I hope the question is suitable for MO.
Background/Motivation
I once followed a quantum mechanics course aimed at mathematicians. Instead of the usual motivations coming ...

**1**

vote

**0**answers

612 views

### Tensor products as isomorphic functors in category theory

An earlier question that I posed sought to define a category with a set of quantum channels as arrows and the C$^{*}$-algebra that these channels map from and to as the object. So, for example, my ...

**5**

votes

**4**answers

643 views

### Quantum channels as categories: question 1.

A quantum channel is a mapping between Hilbert spaces, $\Phi : L(\mathcal{H}_{A}) \to L(\mathcal{H}_{B})$, where $L(\mathcal{H}_{i})$ is the family of operators on $\mathcal{H}_{i}$. In general, we ...

**2**

votes

**3**answers

538 views

### Are the Gell-Mann matrices extremal when used as Kraus operators for a quantum channel?

Landau and Streater proved that a set of Kraus operators, Ai, is extremal if and only if the set
$\{A_{k}^{\dagger}A_{l}\}_{k,l \ldots N}$
are linearly independent. I have seen very convincing ...

**11**

votes

**2**answers

3k views

### Noether's Theorem in Quantum Mechanics

In classical mechanics:
If a Lagrangian L is preserved by an infinitesimal change in the state space variables qi -> qi + εKi(q) leads to only second order change in the Lagrangian:
$$ 0 = ...

**9**

votes

**3**answers

2k views

### What is the relationship between algebraic geometry and quantum mechanics?

The basic relationship in algebraic geometry is between a variety and its ring of functions. Arguably a similarly basic relationship in quantum mechanics is between a state space and its algebra of ...

**88**

votes

**41**answers

30k views

### Where does a math person go to learn quantum mechanics?

My undergraduate advisor said something very interesting to me the other day; it was something like "not knowing quantum mechanics is like never having heard a symphony." I've been meaning to learn ...