Description and error analysis of quantum alghorithms in the projection evolution model -- the Deutsch algorithm case

arxiv: 2605.02293 · v1 · submitted 2026-05-04 · 🪐 quant-ph

Description and error analysis of quantum alghorithms in the projection evolution model -- the Deutsch algorithm case

Krzysztof Lider , Marek G\'o\'zd\'z This is my paper

Pith reviewed 2026-05-08 18:56 UTC · model grok-4.3

classification 🪐 quant-ph

keywords Deutsch algorithmprojection evolution modelsecond quantizationtwo-level harmonic oscillatorquantum gateserror analysisquantum algorithmsstate evolution

0 comments p. Extension

The pith

The Deutsch algorithm is modeled using a two-level harmonic oscillator in second quantization with a projection evolution model that predicts errors in quantum gates.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper shows how the Deutsch algorithm can be described using a two-level harmonic oscillator in the second quantization formalism. It introduces a projection evolution model to characterize how physical states transform inside quantum gates. The model gives a systematic way to derive evolution operators and to calculate projection errors during the algorithm's run. If correct, this would let researchers predict the full behavior of quantum computations including small deviations from ideal states. Such a description matters because errors limit the usefulness of quantum computers on real hardware.

Core claim

This work demonstrates that the Deutsch algorithm can be effectively modelled using a two-level harmonic oscillator within the second quantization formalism. By adopting this framework, evolution operators are derived. We present a projection evolution model that accurately characterizes the physical state transformation within quantum gates. This approach provides a systematic method for finding evolution operators, enabling the complete description and prediction of state evolution - including projection errors - in quantum algorithms.

What carries the argument

The projection evolution model, which uses a two-level harmonic oscillator in second quantization to derive evolution operators for quantum gates and track projection errors.

Load-bearing premise

The two-level harmonic oscillator in the second quantization formalism accurately represents the quantum gates and state transformations for the Deutsch algorithm without unaccounted discrepancies.

What would settle it

A physical realization of the Deutsch algorithm on a two-level system where the observed state transformations and error rates deviate from those predicted by the projection evolution model.

Figures

Figures reproduced from arXiv: 2605.02293 by Krzysztof Lider, Marek G\'o\'zd\'z.

**Figure 1.** Figure 1: FIG. 1. The circuit of the Deutsch algorithm. view at source ↗

**Figure 2.** Figure 2: FIG. 2. The evolution steps in the Deutsch algorithm. view at source ↗

**Figure 3.** Figure 3: FIG. 3. The probability of the correct result, Prob view at source ↗

**Figure 5.** Figure 5: FIG. 5. The ratio of the incorrect result probability Prob view at source ↗

read the original abstract

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper recasts the Deutsch algorithm in a second-quantized two-level oscillator plus projection evolution, but the claim that it systematically predicts errors rests on unverified recovery of the standard unitary circuit.

read the letter

The paper's core move is to model the Deutsch algorithm as a two-level harmonic oscillator in second quantization and then introduce a projection evolution framework to derive gate operators and track projection errors. That combination is new as a specific application, and the authors do lay out explicit evolution operators in what appears to be section 3. If those operators are derived without fitting to the target circuit, the approach could give a more physical handle on how state transformations occur inside gates. Credit for attempting a systematic derivation rather than just asserting a model. The abstract's language about accurate characterization and complete prediction is stronger than the evidence shown, but the full text supplies the operator constructions, which is better than many modeling papers. The main soft spot is the unitary limit. The stress-test concern holds up on reading: the construction treats projection operators in a way that is not shown to commute appropriately with the free Hamiltonian, so it is unclear whether the zero-projection case exactly recovers the usual Hadamard and oracle actions on the computational subspace. Without an explicit check or table comparing the derived operators to the textbook circuit before errors are added, the error analysis cannot be read as a controlled perturbation. Minor additional issues are the narrow scope (only Deutsch) and lack of numerical validation against standard simulation results. This work is aimed at readers interested in alternative physical models of quantum gates or error sources in oscillator-based implementations. It is not central enough to reshape quantum algorithm theory, but the derivations are concrete enough that a serious referee could check the limit behavior and internal consistency. I would send it to review rather than desk-reject, with the main request being a clear demonstration that the model reproduces the known unitary evolution when projections vanish.

Referee Report

2 major / 2 minor

Summary. The manuscript models the Deutsch algorithm using a two-level harmonic oscillator in the second quantization formalism. It introduces a projection evolution model to derive evolution operators for the quantum gates, claiming this framework accurately characterizes physical state transformations and enables complete description and prediction of state evolution, including projection errors.

Significance. If the central derivations hold and the model recovers the standard unitary Deutsch circuit in the appropriate limit while isolating additional projection errors, the work could offer a novel physical embedding of quantum algorithms in an oscillator framework, providing a systematic route to error analysis beyond standard circuit models. The potential strength lies in the explicit operator derivations and falsifiable error predictions, but these require validation against known results.

major comments (2)

[§3] §3: The derivation of the evolution operators from the projection model must explicitly verify that the zero-projection-strength limit recovers the exact standard Hadamard and oracle unitaries acting on the computational subspace. The current construction appears to treat projection operators as commuting with the free Hamiltonian without demonstrating preservation of the known unitary action; if this limit fails, the subsequent error analysis cannot be interpreted as a controlled perturbation around the established Deutsch algorithm.
[Abstract, §3] Abstract and §3: The claim that the projection evolution model 'accurately characterizes' transformations and 'enables complete description and prediction' of state evolution (including errors) is unsupported by any explicit derivations, direct comparisons to standard quantum-circuit results for the Deutsch algorithm, or numerical validation data showing agreement or quantified discrepancies.

minor comments (2)

[Title] The title contains a typographical error ('alghorithms' instead of 'algorithms').
[§2] Notation for the two-level oscillator states and projection operators should be introduced with explicit definitions and compared to standard qubit basis states to improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments, which have helped us improve the clarity and rigor of our manuscript on modeling the Deutsch algorithm via the projection evolution framework. We address each major comment point by point below.

read point-by-point responses

Referee: [§3] §3: The derivation of the evolution operators from the projection model must explicitly verify that the zero-projection-strength limit recovers the exact standard Hadamard and oracle unitaries acting on the computational subspace. The current construction appears to treat projection operators as commuting with the free Hamiltonian without demonstrating preservation of the known unitary action; if this limit fails, the subsequent error analysis cannot be interpreted as a controlled perturbation around the established Deutsch algorithm.

Authors: We agree that an explicit verification of the zero-projection-strength limit is necessary to rigorously connect our model to the standard Deutsch algorithm. In the revised manuscript, we have added a new subsection in §3 that explicitly computes the limit as the projection strength parameter approaches zero. We demonstrate that the derived evolution operators reduce precisely to the standard Hadamard and oracle unitaries restricted to the computational subspace. We also clarify the commutation relations, showing that the projection operators are constructed to act compatibly with the free Hamiltonian such that the unitary action is preserved exactly in this limit, thereby justifying the error analysis as a controlled perturbation. revision: yes
Referee: [Abstract, §3] Abstract and §3: The claim that the projection evolution model 'accurately characterizes' transformations and 'enables complete description and prediction' of state evolution (including errors) is unsupported by any explicit derivations, direct comparisons to standard quantum-circuit results for the Deutsch algorithm, or numerical validation data showing agreement or quantified discrepancies.

Authors: We acknowledge that the original presentation of these claims would benefit from additional explicit support. In the revised version, we have expanded §3 with step-by-step derivations of the full state evolution for each gate in the Deutsch algorithm under the projection model. We now include direct analytical comparisons to the standard quantum-circuit implementation, showing exact agreement in the ideal (zero-projection) case along with the explicit additional error terms arising from projections. We have also added numerical validation: a new figure and accompanying table that compare predicted state probabilities and fidelities against the standard model across a range of projection strengths, with quantified discrepancies reported. These revisions provide the requested substantiation for the claims in both the abstract and §3. revision: yes

Circularity Check

0 steps flagged

No circularity: derivation presented as independent construction from projection model

full rationale

The abstract and available excerpts describe deriving evolution operators via a projection evolution model applied to a two-level harmonic oscillator in second quantization for the Deutsch algorithm. No equations, self-citations, or parameter-fitting steps are exhibited that would reduce the claimed predictions or operators to the target algorithm by construction. The work frames the projection model as providing a systematic method for state evolution including errors, without evidence of tautological redefinition or load-bearing reliance on prior author results that presuppose the outcome. This leaves the central claim self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Based on the abstract alone, no specific free parameters, axioms, or invented entities are identifiable. The approach appears to rest on standard assumptions of quantum mechanics and second quantization without explicit new postulates mentioned.

pith-pipeline@v0.9.0 · 5357 in / 1190 out tokens · 89309 ms · 2026-05-08T18:56:43.020349+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

Foundation/ArithmeticFromLogic (LogicNat / Tick orbit) time-as-orbit / 8-tick period (2^D=8) unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We mark the n-th evolution step by a parameter τ_n ... τ_i is not time but the parameter which enumerates subsequent steps.
Cost.FunctionalEquation washburn_uniqueness_aczel (J = ½(x+x⁻¹)−1) unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

The evolution operator E for a quantum gate given by Eq. (9) is: E = e^{iα} (A_{kl}) — i.e., gates are lifted to phase-equivalent unitaries.
Cost (J-cost on positive ratios) Jcost_pos_of_ne_one unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Prob(|0⟩) = α²(α+√(1−α²))² / (1 + 2α√(1−α²)(2α²−1)); Prob(|1⟩) = (α²−1)(2α√(1−α²)−1)/...

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

8 extracted references · 1 canonical work pages · 1 internal anchor

[1]

Deutsch, Proc

D. Deutsch, Proc. R. Soc. Lond. A400, 97 (1985)

1985
[2]

Pauli, inQuanten, Handbuch der Physik, edited by H

W. Pauli, inQuanten, Handbuch der Physik, edited by H. Geiger and K. Scheel (Springer, Berlin, Heidelberg,
[3]

Houser, W

U. Houser, W. Neuwirth, and N. Thesen, Phys. Lett. A 49, 57 (1974)

1974
[4]

Lindner, M

F. Lindner, M. Schätzel, H. Walther, A. Baltuška, E. Goulielmakis, F. Krausz, D. Milošević, D. Bauer, W. Becker, and G. Paulus, Phys. Rev. Lett.95, 040401 (2005)

2005
[5]

Tirole, S

R. Tirole, S. Vezzoli, E. Galiffi, I. Robertson, D. Maurice, B. Tilmann, S. Maier, J. Pendry, and R. Sapienza, Nat. Phys.19, 999 (2023)

2023
[6]

Góźdź, M

A. Góźdź, M. Góźdź, and A. P¸ edrak, Universe9, 256 (2023)

2023
[7]

Lüders, Ann

G. Lüders, Ann. Phys. (Leipzig)8, 322 (1951), reprinted in: Ann. Phys. (Leipzig) 15, 663 (2006)

1951
[8]

Delayed Choice Phenomena in the Projection Evolution Model

M. Góźdź, A. Góźdź, and K. Lider, arXiv:2604.26716 [quant-ph]

work page internal anchor Pith review Pith/arXiv arXiv

[1] [1]

Deutsch, Proc

D. Deutsch, Proc. R. Soc. Lond. A400, 97 (1985)

1985

[2] [2]

Pauli, inQuanten, Handbuch der Physik, edited by H

W. Pauli, inQuanten, Handbuch der Physik, edited by H. Geiger and K. Scheel (Springer, Berlin, Heidelberg,

[3] [3]

Houser, W

U. Houser, W. Neuwirth, and N. Thesen, Phys. Lett. A 49, 57 (1974)

1974

[4] [4]

Lindner, M

F. Lindner, M. Schätzel, H. Walther, A. Baltuška, E. Goulielmakis, F. Krausz, D. Milošević, D. Bauer, W. Becker, and G. Paulus, Phys. Rev. Lett.95, 040401 (2005)

2005

[5] [5]

Tirole, S

R. Tirole, S. Vezzoli, E. Galiffi, I. Robertson, D. Maurice, B. Tilmann, S. Maier, J. Pendry, and R. Sapienza, Nat. Phys.19, 999 (2023)

2023

[6] [6]

Góźdź, M

A. Góźdź, M. Góźdź, and A. P¸ edrak, Universe9, 256 (2023)

2023

[7] [7]

Lüders, Ann

G. Lüders, Ann. Phys. (Leipzig)8, 322 (1951), reprinted in: Ann. Phys. (Leipzig) 15, 663 (2006)

1951

[8] [8]

Delayed Choice Phenomena in the Projection Evolution Model

M. Góźdź, A. Góźdź, and K. Lider, arXiv:2604.26716 [quant-ph]

work page internal anchor Pith review Pith/arXiv arXiv