REVIEW 1 cited by
Quantum Recursion and Second Quantisation
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
Signed reviews
read the original abstract
This paper introduces a new notion of quantum recursion of which the control flow of the computation is quantum rather than classical as in the notions of recursion considered in the previous studies of quantum programming. A typical example is recursive quantum walks, which are obtained by slightly modifying the construction of the ordinary quantum walks. The operational and denotational semantics of quantum recursions are defined by employing the second quantisation method, and they are proved to be equivalent.
Forward citations
Cited by 1 Pith paper
-
A Denotational Semantics for Quantum Loops
Quantum while loops get a denotational semantics as the strong limit of linear operators that discard the non-terminating part of the computation.
Discussion (0). Continue with ORCID to comment.