The tag has no usage guidance.

learn more… | top users | synonyms

8
votes
1answer
179 views

Operator compression preserving lowest energy eigenspace.

I have a large ($10^6$ by $10^6$) sparse ($0.4$% nonzero) hermitian matrix $H$ arising from the discretization of an elliptic PDE. I would like to approximate $H$ with a smaller matrix $H'$ in such a ...
9
votes
1answer
1k views

Wick rotation and the Riemann zeta function

The goal of this question is to conceptualize in some way the fact that the Riemann zeta function $\zeta(s)$, and other zeta functions like it, have analytic continuations. Background I have by now ...
5
votes
1answer
493 views

Quantum probability experiment?

I am looking for an example (or definition) of a quantum probability experiment (if there is such a thing). Ideally it should have these properties: Be purely mathematical; no mention of physics or ...
1
vote
2answers
600 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
1answer
407 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
2answers
422 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
0answers
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
2answers
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
3answers
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
1answer
751 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
2answers
867 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
6answers
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
1answer
662 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
1answer
475 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
3answers
676 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
2answers
450 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
9answers
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
1answer
650 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
1answer
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 ...
26
votes
6answers
3k 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
0answers
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
4answers
646 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
3answers
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
2answers
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
3answers
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 ...
92
votes
41answers
31k 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 ...