Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Added the new
I guess so. But maybe it would be more efficient to include it in quantum information theory via string diagrams – references.
It would help me to know what these different systems are. Do all these things count as ’quantum programming languages’: Linear HoTT, ZX-calculus, Quipper, QS,…?
ZX-calculus is just a circuit specification language. In languages like Quipper there are actual classical programming constructs, such as loops of case distinctions.
So might there be some kind of embedding result for ZX in QS?
Yes, but it’s not for deep reasons: ZX is just a boxing of frequently occurring sub-circuits, and QS
is a universal language.
So your question is much like asking for an embedding of the game of domino tiles into a language like C
. Sure that’s possible and it’s not surprising either.
I’ll get back to QS
soon, and then it may become clearer to you what I am saying here.
(Last November I thought for a while we finish the linear programming article first, but now we went back to first finalizing the one on topological gates. But that is converging now, a preliminary version should be a available within days.)
1 to 6 of 6