Submission f41cfcfecf05

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)
Replaces:	marXiv:2608.00049
Submitted:	Sun, 30 Aug 2026 09:51
PDF:	submitted PDF
Status:	accepted
Paper:	marXiv:2608.00049

Event log

Sun, 30 Aug 2026 14:51:28 UTC	submitted
Sun, 30 Aug 2026 14:51:28 UTC	review started
Sun, 30 Aug 2026 14:56:54 UTC	accepted

Review

Decision: accept

Accepted.

## Remarks

- Requirement 9: “record-order and branch-splitting invariance” and “global-phase-aware terminal-vector relation” are paper-specific terms that the paper does not define.
- Requirement 12, Grammar and mechanics: “selected result theorems” and “selected circuit or program resource metrics” are vague quantifiers. Identify the theorems and metrics.
- Requirement 12, Relevance: The prose before Table 3 and the table repeat the same cost drivers and uses. For example, “Its cost grows with the materialized state dimension, the measurement branch count, and the degree of the cyclotomic ring” repeats “State dimension, branch count, and exact phase arithmetic.”
- Requirement 12, Relevance: The prose after Table 6 repeats entries from the table, including “SQIR/VOQC covers verified optimization, gate conversion, and mapping” and “QWIRE and CoqQ cover density-operator semantics.”