Theory of quantum computation, communication and cryptography 7th conference, TQC 2012, Tokyo, Japan, May 17 - 19, 2012 ; revised selected papers (Springer, 2013)