Submission 6d7181d97729

Title:VQ: Exact Functional Verification and Certified Logical-Resource Analysis of Quantum Algorithms
Authors:Jamie Stephens
Subjects:Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
Submitted:Wed, 26 Aug 2026 08:39
PDF:submitted PDF
Status:accepted
Paper:marXiv:2608.00049

Event log

Wed, 26 Aug 2026 13:39:48 UTCsubmitted
Wed, 26 Aug 2026 13:39:48 UTCreview started
Wed, 26 Aug 2026 13:42:59 UTCaccepted

Review

Decision: accept

Accept.

Remarks

- Requirement 9: The paper uses the paper-specific terms “accepted-weight bound,” “accepted mass,” “accepted pair,” and “selected-event weight” without defining the acceptance event or selection rule. Define the event and recovery criterion before first use.
- Requirement 9: “the three-bit-window endpoint” does not define the window construction, and “cutoff 17 in both QFTs” does not define the cutoff convention. State which operations each parameter retains or omits.
- Requirement 9: “selected guarded theorems” uses “guarded” as a repository-specific status without defining it.