Report on representation of quantum algorithms in extended stabilizer formalisms (T2.2)

Report on the representation of quantum algorithms in extensions of the Pauli stabilizer formalism. The report will discuss (i) algebraic generalizations of the stabilizer formalism based on group theoretic methods for describing quantum algorithms; (ii) the cnc-construction; specifically prospects and limitations, and (iii) the Lambda polytopes; specifically how known hidden-variable descriptions found for certain algorithms carry over to the Lambda polytopes.