Operational axioms for diagonalizing states - Chiribella, G; Scandolo, C (Electronic Proceedings in Theoretical Computer Science, 2015)