A Software Package to Construct Polynomial Sets over Z₂ for Determining the Output of Quantum Computations
Gerdt, Vladimir P. · Severyanov, Vasily M.
Original · EN
A C# package is presented that allows a user for an input quantum circuit to generate a set of multivariate polynomials over the finite field Z₂ whose total number of solutions in Z₂ determines the output of the quantum computation defined by the circuit. The generated polynomial system can further be converted to the canonical Groebner basis form which provides a universal algorithmic tool for counting the number of common roots of the polynomials.
English translation
This paper has no Arabic translation yet. Be the first: it takes a few seconds, and the result is stored for every future reader.