760 questions with no upvoted or accepted answers
314 views

### Quantum simulation of environment-assisted quantum walks in photosynthetic energy transfer

This question is related to Can the theory of quantum computation assist in the miniaturization of transistors? and Is Quantum Biocomputing ahead of us? About 10 years ago, several papers discussed ...
171 views

### Does the Curry-Howard correspondence have a quantum-specific type system?

In Wikipedia we can read that the Curry–Howard correspondence is a correspondence between formal proof calculi and type systems for models of computation. In particular, it splits into two ...
151 views

### What is the probability $\Pr(\|U-I\|_{\rm op}<\varepsilon)$ of a Haar-random unitary being close to the identity?

If one generates an $n\times n$ Haar random unitary $U$, then clearly $\Pr(U=I)=0$. However, for every $\epsilon>0$, the probability $$\Pr(\|U-I\|_{\rm op}<\varepsilon)$$ should be positive. How ...