Citation: Reutter, David. Higher linear algebra in topology and quantum information theory. Diss. University of Oxford, 2019.
Web: http://www.cs.ox.ac.uk/people/aleks.kissinger/theses/reutter-thesis.pdf
Tags: Hadamard-matrices
This PhD thesis gives a very nice perspective on what the author calls "categorical quantum mechanics". A very convincing case is made for why higher categorical structures are natural tools for the study of quantum information. A very charming example is borrowed from
> Abramsky, Samson, and Bob Coecke. "A categorical semantics of quantum protocols." Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004.. IEEE, 2004.
In that paper, it is shown that a state in V\otimes W is maximally entangled if and only if it appears as the coevaluation map C\to V\otimes W in a duality between V and W.
The most interesting section of this thesis to me is the one based off the paper
> Reutter, David J., and Jamie Vicary. "Biunitary constructions in quantum information." arXiv preprint arXiv:1609.07775 (2016).
Here, a very nice recent perspective on the use of Hadamard matrices (and Latin squares) for quantum error bases. Additionally, a construction of a new higher-category-inspired error basis is given which cannot be constructed from known bases. It is interesting to think about what topological phase these might correspond to.