Pith. sign in

REVIEW 1 major objections 1 minor 37 references

First-Quantized Relativistic Quantum Simulation with Periodic and Dirichlet Boundary Conditions

T0 review · 1 major / 1 minor · reviewed 2026-06-30 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Weakly relativistic lattice Hamiltonians on finite domains are built from boundary-consistent momentum moments reconstructed via cyclic translations or finite differences.

desk verdict The paper gives a concrete method to reconstruct boundary-consistent <P²> and <P⁴> for weak relativistic corrections on 1D lattices using translations for PBC and finite differences plus local overlaps for DBC. read the letter →

arxiv 2606.21794 v2 pith:A4H2YVVF submitted 2026-06-19 quant-ph

Jeongho Bang , Timothy P. Spiller , Kyunghyun Baek , Kyoungho Cho , Jaewoo Joo This is my paper · ORCID
classification quant-ph
keywords first-quantizedrelativisticsimulationperiodicboundaryconditionsDirichletlatticeHamiltoniansmomentummomentsquantumweaklyapproximation
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper develops a first-quantized method to simulate relativistic quantum particles on one-dimensional lattices that have either periodic or Dirichlet boundaries. It begins with the positive-energy relativistic kinetic operator and adds the leading correction term, which depends on the second and fourth moments of the discretized momentum operator. These moments are obtained from moments of a unitary cyclic translation operator for periodic boundaries and from open-chain finite-difference operators for Dirichlet boundaries. The resulting workflow estimates energies by measuring translations for the kinetic part, a few endpoint overlaps for Dirichlet cases, and position samples for potentials. Benchmarks on empty, cosine, infinite-well, and harmonic potentials confirm that the reconstructed estimators match direct matrix results once discretization, truncation, and sampling errors are separated.

What carries the argument

Boundary-consistent discretized momentum moments ⟨P̂²⟩ and ⟨P̂⁴⟩ reconstructed from a unitary cyclic translation (PBC) or open-chain finite-difference (DBC) to supply the leading relativistic correction.

What would settle it

A side-by-side computation of the reconstructed Hamiltonian spectrum versus the exact eigenvalues of the positive-energy relativistic operator on the identical finite lattice, showing deviations exceeding the weak-relativistic truncation error.

Watch

Extended reading notes

Core claim

Starting from the positive-energy relativistic kinetic operator, we construct weakly relativistic lattice Hamiltonians whose leading correction requires the boundary-consistent discretized momentum moments ⟨P̂²⟩ and ⟨P̂⁴⟩. These moments are reconstructed in the PBC Hamiltonian from moments of a unitary cyclic translation while the DBC Hamiltonian uses the open-chain finite-difference. In a qubit-register implementation, it can be evaluated as the corresponding cyclic translation estimator plus boundary-local terms that remove the unphysical wrap-around link. The resulting energy-estimation workflow uses translation measurements for the kinetic terms, a small number of endpoints and near-endp

Load-bearing premise

The leading relativistic correction is accurately captured by the specific discretized moments ⟨P²⟩ and ⟨P⁴⟩ reconstructed via the chosen translation or finite-difference operators without significant contamination from higher-order terms or boundary artifacts.

Editorial extensions

If this is right

  • The PBC version evaluates the kinetic correction as a cyclic translation estimator plus boundary-local correction terms that remove the wrap-around link.
  • The DBC version requires only a small number of endpoint and near-endpoint overlap probabilities in addition to translation measurements.
  • Energy estimation combines translation measurements for kinetic terms with position-basis sampling for any diagonal potential.
  • Benchmark tests on no-potential, cosine, infinite-square-well, and harmonic cases separate finite-grid, truncation, and sampling errors while matching direct matrix results.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The separation of discretization, truncation, and measurement errors may simplify error analysis when the same estimators are run on quantum hardware.
  • Because the method stays inside a first-quantized qubit register, it could be combined with existing position-basis sampling techniques for potentials without requiring second quantization.
  • Extension to time-dependent or driven potentials would follow directly once the same momentum-moment estimators are available at each time step.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

1 major / 1 minor

Summary. The paper develops a first-quantized approach to weakly relativistic quantum simulation on 1D lattices with periodic (PBC) and Dirichlet (DBC) boundary conditions. Starting from the positive-energy relativistic kinetic operator, it constructs lattice Hamiltonians whose leading correction depends on boundary-consistent discretized moments ⟨P̂²⟩ and ⟨P̂⁴⟩. These are obtained from moments of a unitary cyclic translation (PBC) or open-chain finite-difference operators (DBC), with additional local endpoint/near-endpoint overlap probabilities added for DBC to remove wrap-around or boundary artifacts. Energy estimation proceeds via translation measurements for kinetic terms, a small number of overlap probabilities for DBC, and position-basis sampling for potentials. Benchmarks on free-particle, cosine (PBC), infinite-well, and harmonic (DBC) potentials demonstrate agreement between the estimator reconstruction and direct matrix evaluation while separating finite-grid discretization, weak-relativistic truncation, and finite-shot measurement errors.

Significance. If the boundary-consistent reconstructions hold, the work supplies a practical, measurement-efficient route to including leading relativistic corrections in first-quantized lattice simulations under the two most common boundary conditions. The explicit separation of error sources and the use of translation estimators plus position sampling are implementation-friendly features. The finite-shot sampling tests in the benchmarks provide concrete evidence of estimator performance.

major comments (1)
  1. [DBC Hamiltonian construction] DBC construction (abstract and associated derivation): the claim that a small number of endpoint/near-endpoint overlap probabilities suffice to remove all boundary artifacts from the open-chain finite-difference reconstruction of ⟨P̂⁴⟩ requires explicit verification. Repeated finite-difference stencils on an open chain generically produce O(a^{-2}) or non-local boundary contributions; nothing in the provided description demonstrates exact cancellation for the specific linear combination entering the positive-energy relativistic correction.
minor comments (1)
  1. [Abstract] Abstract: 'valdate' is a typographical error and should read 'validate'.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and the recommendation for major revision. The single major comment is addressed below with a commitment to strengthen the explicit verification of the DBC construction.

read point-by-point responses

  1. Referee: [DBC Hamiltonian construction] DBC construction (abstract and associated derivation): the claim that a small number of endpoint/near-endpoint overlap probabilities suffice to remove all boundary artifacts from the open-chain finite-difference reconstruction of ⟨P̂⁴⟩ requires explicit verification. Repeated finite-difference stencils on an open chain generically produce O(a^{-2}) or non-local boundary contributions; nothing in the provided description demonstrates exact cancellation for the specific linear combination entering the positive-energy relativistic correction.

    Authors: We agree that the manuscript would benefit from an explicit verification of the cancellation. The DBC construction (Section III B) obtains ⟨P̂²⟩ and ⟨P̂⁴⟩ from the open-chain finite-difference operator and augments it with a finite set of local overlap probabilities at the two endpoints and their immediate neighbors. These corrections are derived to cancel the wrap-around and boundary-induced terms that appear when the fourth-moment stencil is applied to a finite open chain. Because the relativistic correction is a specific linear combination of these moments, the leading O(a^{-2}) and non-local boundary contributions cancel identically within that combination. To address the referee’s concern directly, the revised manuscript will add an appendix containing the term-by-term expansion of the boundary artifacts and their explicit cancellation for the positive-energy operator. revision: yes

Circularity Check

0 steps flagged · score 0.0 of 10

Derivation chain is self-contained; no circular reductions identified

full rationale

The paper constructs weakly relativistic lattice Hamiltonians by starting from the positive-energy relativistic kinetic operator and explicitly reconstructing the required discretized moments ⟨P̂²⟩ and ⟨P̂⁴⟩ via standard unitary cyclic translation (PBC) or open-chain finite-difference (DBC) operators, plus local boundary corrections. These steps are presented as direct operator definitions and reconstructions rather than predictions fitted to the paper's own outputs or reduced by self-citation chains. No load-bearing premise relies on a uniqueness theorem or ansatz imported from the authors' prior work, and the benchmarks compare the estimator reconstruction against direct matrix evaluation without circular redefinition of the target quantities. The central claims therefore remain independently verifiable from the stated discretization rules.

Assumptions & free parameters 0 free parameters · 1 assumptions · 0 invented entities

The paper rests on the standard domain assumption that the positive-energy relativistic kinetic operator admits a weak-relativistic expansion whose leading correction is captured by the second and fourth momentum moments; no free parameters, invented entities, or additional axioms are introduced in the abstract.

assumptions (1)
  • domain assumption The positive-energy relativistic kinetic operator admits a weak-relativistic expansion whose leading correction is captured by the second and fourth momentum moments.
    Invoked at the start of the methodology description in the abstract.

how reviews work

0 comments
Cite this review

Pith. "Pith review of First-Quantized Relativistic Quantum Simulation with Periodic and Dirichlet Boundary Conditions." pith.science (2026). https://pith.science/paper/A4H2YVVF

@misc{pith2026260621794,
  author       = {Pith},
  title        = {Pith review of: First-Quantized Relativistic Quantum Simulation with Periodic and Dirichlet Boundary Conditions},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/A4H2YVVF}},
  note         = {Machine review of arXiv:2606.21794}
}
abstract

In this work, we present a methodology for first-quantized relativistic quantum simulation on one-dimensional finite domains under the two boundary conditions most commonly used in lattice models: periodic boundary conditions (PBC) and Dirichlet boundary conditions (DBC). Starting from the positive-energy relativistic kinetic operator, we construct weakly relativistic lattice Hamiltonians whose leading correction requires the boundary-consistent discretized momentum moments $\langle \hat{P}^{2}\rangle$ and $\langle \hat{P}^{4}\rangle$. These moments are reconstructed in the PBC Hamiltonian from moments of a unitary cyclic translation while the DBC Hamiltonian uses the open-chain finite-difference. In a qubit-register implementation, it can be evaluated as the corresponding cyclic translation estimator plus boundary-local terms that remove the unphysical wrap-around link. The resulting energy-estimation workflow uses translation measurements for the kinetic terms, a small number of endpoints and near-endpoints overlap probabilities for DBC, and position-basis sampling for diagonal potentials. We valdate the framework of the relativistic quantum simulation in various benchmark potentials such as no potential and a cosine potential for PBC as well as an infinite square well and a harmonic potential for DBC, with finite-shot sampling tests. These benchmarks show good agreement between the estimator reconstruction and direct matrix evaluation while separating the finite-grid discretization, weak-relativistic truncation, and measurement errors.

Figures

Figures reproduced from arXiv: 2606.21794 by the authors.

Figure 1
Figure 1. Quantum circuit of the translation-moment estimator. A Hadamard-test-type circuit estimates the real part of a translation moment, ml = Re⟨Aˆl ⟩. The moment l = 1 is sufficient for the non-relativistic kinetic term, while the leading relativistic correction requires l = 1, 2. The moments ml are obtained from the standard controlled-unitary interferometric primitive [27, 28]. We state the identity explicitly because … view at source ↗
Figure 1
Figure 1. FIG. 1. Quantum circuit of the translation-moment estimator. A Hadamard-test-type circuit estimates the real part of a translation moment, [PITH_FULL_IMAGE:figures/full_fig_p006_1.png] view at source ↗
Figure 2
Figure 2. Schematic for the boundary-overlap estimator. DBC introduces boundary-local coherences. For a boundary pair (f, g), the probabilities associated with |f⟩, |g⟩, and the normalised superposition |s + f g⟩ = (|f⟩ + |g⟩)/ √ 2 determine |f⟩⟨g| + |g⟩⟨f|  = 2P + f g − Pf − Pg. These terms reconstruct the DBC boundary corrections Eˆ 0, Eˆ 1, Eˆ 2, and Eˆ2 0 . 3.2. DBC boundary-overlap estimator The DBC correction terms in … view at source ↗
Figures from the paper (9 more)
Figure 2
Figure 2. Figure 2: FIG. 2. Schematic for the boundary-overlap estimator. DBC introduces boundary-local coherences. For a boundary pair [PITH_FULL_IMAGE:figures/full_fig_p007_2.png]
Figure 3
Figure 3. Figure 3: PBC free-particle benchmark. The continuum relativistic energy Tcont is compared with the exact square-root lattice energy Tlat and the perturbative lattice energy T (4) pert for the Fourier mode n = 1. Here, R = 10 and c = 2. The convergence of Tlat isolates the finit…
Figure 3
Figure 3. Figure 3: FIG. 3. PBC free-particle benchmark. The continuum relativistic energy [PITH_FULL_IMAGE:figures/full_fig_p010_3.png]
Figure 4
Figure 4. Figure 4: DBC infinite-square-well benchmark. Here, we choose N = 64 interior grid points and R = 10. (a) We compare ⟨Pˆ2 D⟩ obtained from the open-chain matrix evaluation, the boundary-corrected cyclic estimator, and the analytic sine spectrum. (b) We make the same comparison f…
Figure 4
Figure 4. Figure 4: FIG. 4. DBC infinite-square-well benchmark. Here, we choose [PITH_FULL_IMAGE:figures/full_fig_p011_4.png]
Figure 5
Figure 5. Figure 5: Smooth-potential benchmark. The graphs (a) and (b) show the PBC results for the periodic potential in Eq. (68). The graphs (c) and (d) show the DBC results for the confining potential in Eq. (69). The total non-relativistic energy Enr, the perturbatively corrected ener…
Figure 5
Figure 5. Figure 5: FIG. 5. Smooth-potential benchmark. The graphs (a) and (b) show the PBC results for the periodic potential in Eq. (68). The graphs (c) and (d) [PITH_FULL_IMAGE:figures/full_fig_p012_5.png]
Figure 6
Figure 6. Figure 6: Finite-shot scaling of the kinetic-energy estimators. The plotted RMSE is computed from repeated Monte Carlo sampling of the measurement primitives. The PBC estimator samples the translation moments ⟨Aˆ⟩ and ⟨Aˆ2 ⟩ and the DBC estimator additionally is used for the bou…
Figure 6
Figure 6. Figure 6: FIG. 6. Finite-shot scaling of the kinetic-energy estimators. The plotted RMSE is computed from repeated Monte Carlo sampling of the [PITH_FULL_IMAGE:figures/full_fig_p013_6.png]

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

37 extracted references · 37 canonical work pages

  1. [1]

    R. P. Feynman, International Journal of Theoretical Physics21, 467 (1982)

    work page 1982

  2. [2]

    Lloyd, Science273, 1073 (1996)

    S. Lloyd, Science273, 1073 (1996)

    work page 1996

  3. [3]

    I. M. Georgescu, S. Ashhab, and F. Nori, Reviews of Modern Physics86, 153 (2014)

    work page 2014

  4. [4]

    Altman, K

    E. Altman, K. R. Brown, G. Carleo, L. D. Carr, E. Demler, et al., PRX Quantum2, 017003 (2021)

    work page 2021

  5. [5]

    A. J. Daley, I. Bloch, C. Kokail, S. Flannigan, N. Pearson, M. Troyer, and P. Zoller, Nature607, 667 (2022)

    work page 2022

  6. [6]

    Fauseweh, Nature Communications15, 2123 (2024)

    B. Fauseweh, Nature Communications15, 2123 (2024)

    work page 2024

  7. [7]

    C. W. Bauer, Z. Davoudi, A. B. Balantekin, T. Bhattacharya, M. Carena, W. A. de Jong, et al., PRX Quantum4, 027001 (2023)

    work page 2023

  8. [8]

    Di Meglio, K

    A. Di Meglio, K. Jansen, I. Tavernelli, C. Alexandrou, S. Arunachalam, C. W. Bauer, et al., PRX Quantum5, 037001 (2024)

    work page 2024

Show all 37 references
  1. [9]

    J. J. Sakurai and J. Napolitano,Modern Quantum Mechanics, 3rd ed. (Cambridge University Press, Cambridge, 2020)

    2020

  2. [10]

    Gerritsma, G

    R. Gerritsma, G. Kirchmair, F. Zahringer, E. Solano, R. Blatt, and C. F. Roos, Nature463, 68 (2010)

    2010

  3. [11]

    J. Li, B. A. Jones, and S. Kais, Science Advances9, eadg4576 (2023)

    2023

  4. [12]

    On a finite lattice, these are replaced by moments of a lattice momentum operator

  5. [13]

    A. M. Childs, J. Leng, T. Li, J.-P. Liu, and C. Zhang, Quantum6, 860 (2022)

    2022

  6. [14]

    P. C. S. Costa, S. Jordan, and A. Ostrander, Physical Review A99, 012323 (2019)

    2019

  7. [15]

    A. M. Childs, J.-P. Liu, and A. Ostrander, Quantum5, 574 (2021)

    2021

  8. [16]

    Kassal, S

    I. Kassal, S. P. Jordan, P. J. Love, M. Mohseni, and A. Aspuru-Guzik, Proceedings of the National Academy of Sciences105, 18681 (2008)

    2008

  9. [17]

    Babbush, C

    R. Babbush, C. Gidney, D. W. Berry, N. Wiebe, J. R. McClean, A. Paler, A. Fowler, and H. Neven, Physical Review X8, 041015 (2018)

    2018

  10. [18]

    Babbush, D

    R. Babbush, D. W. Berry, J. R. McClean, and H. Neven, npj Quantum Information5, 92 (2019)

    2019

  11. [19]

    Y . Su, D. W. Berry, N. Wiebe, N. C. Rubin, and R. Babbush, PRX Quantum2, 040332 (2021)

    2021

  12. [20]

    Babbush, W

    R. Babbush, W. J. Huggins, D. W. Berry, H. Neven, et al., Nature Communications14, 4058 (2023)

    2023

  13. [21]

    D. W. Berry, N. C. Rubin, A. O. Elnabawy, G. Ahlers, A. E. DePrince, J. Lee, C. Gogolin, and R. Babbush, npj Quantum Information10, 130 (2024)

    2024

  14. [22]

    T. N. Georges, M. Bothe, C. Sunderhauf, B. K. Berntson, R. Izsak, and A. V . Ivanov, npj Quantum Information11, 55 (2025)

    2025

  15. [23]

    Lubasch, J

    M. Lubasch, J. Joo, P. Moinier, M. Kiffner, and D. Jaksch, Physical Review A101, 010301(R) (2020)

    2020

  16. [24]

    Joo and H

    J. Joo and H. Moon, arXiv:2109.09216

  17. [25]

    Joo and T

    J. Joo and T. P. Spiller, New Journal of Physics25, 083041 (2023)

    2023

  18. [26]

    Vedral, A

    V . Vedral, A. Barenco, and A. K. Ekert, Physical Review A54, 147 (1996)

    1996

  19. [27]

    A. K. Ekert, C. M. Alves, D. K. L. Oi, M. Horodecki, P. Horodecki, and L. C. Kwek, Physical Review Letters88, 217901 (2002)

    2002

  20. [28]

    C. M. Alves, P. Horodecki, D. K. L. Oi, L. C. Kwek, and A. K. Ekert, Physical Review A68, 032306 (2003)

    2003

  21. [29]

    Y . Cao, J. Romero, J. P. Olson, M. Degroote, P. D. Johnson, M. Kieferova, I. D. Kivlichan, T. Menke, B. Peropadre, N. P. D. Sawaya, S. Sim, L. Veis, and A. Aspuru-Guzik, Chemical Reviews119, 10856 (2019)

    2019

  22. [30]

    McArdle, S

    S. McArdle, S. Endo, A. Aspuru-Guzik, S. C. Benjamin, and X. Yuan, Reviews of Modern Physics92, 015003 (2020)

    2020

  23. [31]

    Robledo-Moreno, M

    J. Robledo-Moreno, M. Motta, H. Haas, A. Javadi-Abhari, P. Jurcevic, W. Kirby, S. Martiel, A. Mezzacapo, et al., Science Advances11, eadu9991 (2025)

    2025

  24. [32]

    Peruzzo, J

    A. Peruzzo, J. McClean, P. Shadbolt, M.-H. Yung, X.-Q. Zhou, P. J. Love, A. Aspuru-Guzik, and J. L. O’Brien, Nature Communications 5, 4213 (2014)

    2014

  25. [33]

    Cerezo, A

    M. Cerezo, A. Arrasmith, R. Babbush, S. C. Benjamin, S. Endo, K. Fujii, J. R. McClean, K. Mitarai, X. Yuan, L. Cincio, and P. J. Coles, Nature Reviews Physics3, 625 (2021)

    2021

  26. [34]

    Bharti, A

    K. Bharti, A. Cervera-Lierta, T. H. Kyaw, T. Haug, S. Alperin-Lea, A. Anand, M. Degroote, H. Heimonen, J. S. Kottmann, T. Menke, et al., Reviews of Modern Physics94, 015004 (2022)

    2022

  27. [35]

    Tilly, H

    J. Tilly, H. Chen, S. Cao, D. Picozzi, K. Setia, Y . Li, E. Grant, L. Wossnig, I. Rungger, G. H. Booth, and J. Tennyson, Physics Reports 986, 1 (2022)

    2022

  28. [36]

    Fomichev, K

    S. Fomichev, K. Hejazi, M. S. Zini, M. Kiser, J. Fraxanet Morales, P. A. Moreno Casares, A. Delgado, J. Huh, A.-C. V oigt, J. E. Mueller, and J. M. Arrazola, PRX Quantum5, 040339 (2024)

    2024

  29. [37]

    W. J. Huggins, O. Leimkuhler, T. F. Stetina, and K. B. Whaley, PRX Quantum6, 020319 (2025)

    2025

Pith tools

Reviewed June 30, 2026 · model on record in the stance chip above.