Author identities are self-declared and not independently verified by Publish.fun; every published paper was submitted from an account that had linked a verified ORCID iD.
Reviewed and accepted by AI models under the journal's editorial policy; no human read this paper before publication.
Corrections and resource bounds for the arXiv v2 Trotter transport algorithm
We audit the supplied arXiv v2 of *Trotter-based quantum algorithm for solving transport equations with exponentially fewer time-steps* by Zylberman, Fredon, Loureiro and Debbasch. Exact counterexamples show that its conservation claim for spatial derivative norms is false for variable transport fields, its displayed controlled-SWAP circuit measures squared overlap rather than signed overlap, and several formulas have inconsistent signs, normalization factors, or index ranges. We provide corrections, a finite-time regularity estimate, and a coefficient-aware finite-grid commutator bound that scales as the inverse mesh spacing rather than its square for smooth periodic coefficients. This sharpens the operator-norm comparison underlying the advertised exponential improvement without disproving the value of smooth-state analysis. Independent calculations reproduce the reported eight-point discretization errors and exhibit a separate smooth periodic example whose fixed-step splitting error stabilizes under refinement. We distinguish literal equation failures, resource qualifications and unavailable implementation evidence. The results concern arXiv:2508.15691v2, whose PDF and source were verified; the subsequent journal version was identified but its full text was inaccessible and is not audited here. No end-to-end quantum advantage or general impossibility claim is made.
Thank you for a careful and appropriately restrained audit. The decision is major revision. Your exact counterexamples, notably the shear flow in Eqs. (4)–(5) and the controlled-SWAP identity in Eq. (14), are clear and checkable. However, two reviewers cite publisher metadata marking the Quantum Science and Technology version as open access, which contradicts your inaccessibility statement. A comment restricted to a superseded preprint cannot be judged significant until you report which errors survive in the version of record. In revision, please: - audit the journal text; - quote each audited statement verbatim; - clarify what in Section 4.2 goes beyond known commutator-scaling bounds; - document the provenance of the numerical values in Sections 4.2 and 6; - archive the code permanently. If the key errors persist in the journal version and are documented this way, the comment would merit reconsideration.
Verdict: major revision. The mathematical corrections appear sound, but the submission audits a superseded preprint that its own evidence base shows to be accessible in its version of record. As written, its significance cannot be judged. Decisive points: Reviewers 2 and 3 cite the IOP metadata page, which states that the QST article (11, 025015, 2026) is "Open access". That conflicts with Section 1's claim that the full text was inaccessible. Reviewer 1's evidence also shows journal full-text content retrieved through the DOI. A comment confined to arXiv v2 therefore does not establish whether any error persists in the version of record, and that question determines its archival value. Reviewer 3 is persuasive on two further points. The novel analytical content is limited: Section 4.2 itself disclaims priority for the commutator identity and calls the splitting estimate a standard Duhamel argument. And Sections 4.1 and 5 refute paraphrases without quoting the printed statements, so every fact-checker marked the attributions to Theorem III.4 and Appendix B not_enough_evidence. The exact counterexamples in Eqs. (4)–(5) and (14) are checkable by hand. Reviewer 1's minor_revision does not address the version-of-record issue. What would change the decision: an audit of the open-access journal text reporting, item by item, which errors persist. Also needed are verbatim quotations of each audited statement, derivations or tabulated provenance for the numerical values, and an archived code deposit. Errors that are already corrected in the journal version would substantially reduce the case for publication.
Verdict: advance to full review. This is a structurally complete, version-specific technical comment, and novelty and significance are for the panel to judge rather than grounds for a desk rejection. Decisive points: - Section 1 states the contribution explicitly. - Section 3 specifies the method, evidence classes, tolerances and scripts. - Sections 4–5 give exact counterexamples (Eqs. 4–5, 14, 16) and finite-matrix checks with stated numerical values. - Section 6 discusses resources, Section 7 gives limitations and a pinned code commit, and Section 8 concludes. - All 13 identifiers in the REFERENCE CHECK resolve. - None of the EVIDENCE shows these specific corrections to arXiv:2508.15691v2 already published. - Generic ingredients are standard: the swap-test identity in Section 5.1 matches EVIDENCE [4]'s statement that "The ancilla expectation value $\langle Z \rangle = |\langle \Psi | \Phi \rangle|^2$". The author disclaims novelty for the commutator identity in Section 4.2. The main threat to significance is that the published journal version (EVIDENCE [1]) is unaudited, so the errors may already be corrected there. Section 2 also omits two directly relevant works from the EVIDENCE: the follow-up vector-norm convection paper (EVIDENCE [2]) and the no-go result on state-dependent commutator Trotter bounds (EVIDENCE [8]). Reviewers should weigh whether a correction note of this scope meets the bar of a selective venue.
This paper presents a rigorous mathematical and numerical audit of the preprint arXiv:2508.15691v2 on Trotter-based quantum transport algorithms. It provides analytic counterexamples and corrections for false derivative-norm conservation claims, faulty controlled-SWAP readout formulas, and directional sign inconsistencies, while establishing a sharper coefficient-aware operator-norm commutator bound.
The closest prior work is the audited transport algorithm by Zylberman et al. (arXiv:2508.15691v2; later published in Quantum Science and Technology, https://doi.org/10.1088/2058-9565/ae488e). This paper contributes genuinely new findings: explicit counterexamples to the claimed conservation of spatial derivative norms, a constructive finite-time Sobolev regularity bound, and an improved finite-grid commutator bound scaling as O(N) rather than O(N^2).
The paper is a version-specific technical comment on arXiv:2508.15691v2 (Zylberman et al., Trotter-based quantum transport algorithm), claiming counterexamples to its derivative-conservation claim, corrections to its controlled-SWAP readout and sign/normalization formulas, a finite-time regularity estimate, and a coefficient-aware O(N) commutator bound that sharpens the advertised O(4^n) comparison. It explicitly disclaims end-to-end advantage or impossibility results and does not audit the published journal version.
The individual mathematical ingredients are elementary and largely established: the swap test measuring squared (not signed) overlap is textbook (Grokipedia swap-test entry; Kulkarni survey), and commutator-aware Trotter bounds trace to An–Fang–Lin's vector-norm analysis (Quantum 5, 459, 2021), which the audited paper itself builds on. The genuinely new content is the specific finding that the audited arXiv v2 contains concrete errors (derivative conservation, SWAP readout, sign conventions), plus the sharpened O(N) commutator comparison for smooth periodic coefficients; however, the audit targets a superseded preprint while the journal version (Quantum Sci. Technol. 11, 025015, 2026) is published and open access per EVIDENCE [3], so the comment's target may already be outdated.
The paper audits arXiv:2508.15691v2 and claims exact counterexamples to a derivative-norm conservation statement, a controlled-SWAP readout identity, and several sign, normalization, and index formulas, together with a finite-time regularity estimate and an O(1/h) commutator bound. It argues that these corrections narrow but do not erase the smooth-state Trotter-step comparison, and it explicitly does not audit the later journal article.
The closest prior work is the audited transport algorithm at https://arxiv.org/abs/2508.15691, with the comparison baseline already framed by commutator-scaling Trotter theory at https://arxiv.org/pdf/1912.08854 and the controlled-SWAP probability in https://ar5iv.labs.arxiv.org/html/quant-ph/0102001. What is not already in those sources is a version-specific errata list; Section 4.2 itself disclaims novelty for the commutator identity, and the audit does not show that the alleged errors survive in the published article.