pith. sign in

arxiv: 2604.06639 · v1 · submitted 2026-04-08 · 🪐 quant-ph

Coherence and entanglement dynamics in Shor's algorithm

Pith reviewed 2026-05-10 18:22 UTC · model grok-4.3

classification 🪐 quant-ph
keywords Shor's algorithmquantum coherenceentanglement dynamicsgeometric measuresquantum algorithmsresource theoryunitary evolution
0
0 comments X

The pith

Shor's algorithm depletes coherence and produces entanglement overall in the evolved quantum states.

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

Shor's algorithm factors large integers by using quantum superposition to find the period of a modular function. This paper tracks the evolution of coherence and entanglement through each unitary step of the circuit. Coherence at any given step depends on the dimension of the quantum registers or the order of the integer being factored. Unitary operations produce specific changes in these quantities according to geometric measures, and relations are identified between the geometric coherence and geometric entanglement. Across the entire procedure the net effect is a reduction in coherence accompanied by the creation of entanglement.

Core claim

We explore the coherence and entanglement dynamics of the evolved states within Shor's algorithm, showing that the coherence in each step relies on the dimension of register or the order, and discuss the relations between geometric coherence and geometric entanglement. We investigate how unitary operators induce variations in coherence and entanglement, and analyze the variations of coherence and entanglement within the entire algorithm, demonstrating that the overall effect of Shor's algorithm tends to deplete coherence and produce entanglement.

What carries the argument

Geometric measures of coherence and entanglement applied to states generated by the sequence of unitary operators in the quantum circuit implementing Shor's algorithm.

If this is right

  • Coherence at each step is controlled by register dimension or multiplicative order.
  • Successive unitary gates produce measurable variations in both coherence and entanglement.
  • The complete algorithm yields a net depletion of coherence together with net production of entanglement.
  • The same geometric approach supplies a template for tracking resource flow in other quantum algorithms.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same depletion-production pattern may appear in other period-finding or search algorithms.
  • Circuit designers could use these measures to locate steps where coherence loss is minimized.
  • Hardware experiments on small instances of Shor's algorithm could directly test the predicted scaling.

Load-bearing premise

The chosen geometric measures of coherence and entanglement fully capture the relevant dynamics in the evolved states without requiring additional state assumptions or approximations specific to Shor's register setup.

What would settle it

A direct calculation or simulation of the full state evolution in Shor's algorithm that shows net coherence increasing or net entanglement decreasing would contradict the claimed overall effect.

Figures

Figures reproduced from arXiv: 2604.06639 by Linlin Ye, Shao-Ming Fei, Zhaoqi Wu.

Figure 1
Figure 1. Figure 1: Subfigures a and b (c, d, e and f) are for the case that the coherence based on the l1,p norm (Tsallis relative α entropy). (a, b) The coherence with respect to H (green), U (black dashed), F † (blue) and the variations of coherence based on the l1,p norm (red dot-dashed). (c, d) The coherence with respect to H (green), U (black dashed), F † (blue) and the variations of coherence based on the Tsallis relat… view at source ↗
read the original abstract

Shor's algorithm outperforms its classical counterpart in efficient prime factorization. We explore the coherence and entanglement dynamics of the evolved states within Shor's algorithm, showing that the coherence in each step relies on the dimension of register or the order, and discuss the relations between geometric coherence and geometric entanglement. We investigate how unitary operators induce variations in coherence and entanglement, and analyze the variations of coherence and entanglement within the entire algorithm, demonstrating that the overall effect of Shor's algorithm tends to deplete coherence and produce entanglement. Our research not only deepens the understanding of this algorithm but also provides methodological references for studying resource dynamics in other quantum algorithms.

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.

Referee Report

2 major / 1 minor

Summary. The manuscript analyzes coherence and entanglement dynamics in the states evolved by Shor's algorithm. It states that coherence at each step depends on register dimension or the order r, examines relations between geometric coherence and geometric entanglement, studies the effects of the algorithm's unitary operators (modular exponentiation, QFT, etc.) on these quantities, and concludes that the overall effect is depletion of coherence accompanied by production of entanglement.

Significance. If the trends are shown to hold with exact evaluations of the geometric measures on the algorithm's states, the work would deepen understanding of resource dynamics in quantum algorithms and supply a template for similar analyses in other protocols. The explicit discussion of how individual unitaries affect coherence and entanglement is a constructive element.

major comments (2)
  1. [Abstract and analysis of overall algorithm effect] The central claim that Shor's algorithm overall depletes coherence while producing entanglement rests on the geometric coherence (infimum distance to the set of incoherent states) and geometric entanglement (infimum distance to separable states) accurately tracking the resource content of the periodic superpositions generated in the register. The manuscript must supply explicit reductions or closed-form evaluations of these infima for the states after modular exponentiation and after the QFT, without implicit support restrictions or basis alignments that are specific to particular r or register size; otherwise the observed trend could be an artifact of the chosen quantifiers rather than a general dynamical feature.
  2. [Discussion of relations between geometric coherence and geometric entanglement] The relations claimed between geometric coherence and geometric entanglement are presented as part of the results, yet the manuscript does not demonstrate that these relations survive when the measures are replaced by other faithful monotones (e.g., relative entropy of coherence or concurrence) on the same Shor states; this verification is needed to establish that the reported connection is not measure-dependent.
minor comments (1)
  1. [Throughout] Notation for the register dimensions and the order r should be introduced once and used consistently; occasional switches between N and 2^n for the first register obscure the dependence on dimension.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the constructive and detailed comments. We address each major point below, committing to revisions that strengthen the generality and robustness of our claims on resource dynamics in Shor's algorithm.

read point-by-point responses
  1. Referee: [Abstract and analysis of overall algorithm effect] The central claim that Shor's algorithm overall depletes coherence while producing entanglement rests on the geometric coherence (infimum distance to the set of incoherent states) and geometric entanglement (infimum distance to separable states) accurately tracking the resource content of the periodic superpositions generated in the register. The manuscript must supply explicit reductions or closed-form evaluations of these infima for the states after modular exponentiation and after the QFT, without implicit support restrictions or basis alignments that are specific to particular r or register size; otherwise the observed trend could be an artifact of the chosen quantifiers rather than a general dynamical feature.

    Authors: We agree that explicit closed-form evaluations are necessary to establish the generality of the observed trends. In the revised manuscript we will derive the geometric coherence of the post-modular-exponentiation states (periodic superpositions of the form (1/√M) ∑_k |x_0 + k r⟩) directly from the definition as the infimum distance to the incoherent set, yielding a closed expression 1 − (1/d) |⟨ψ|Π_incoh|ψ⟩| that depends only on register dimension d and order r, with no basis-specific restrictions. An analogous reduction will be supplied for the post-QFT states, confirming that coherence depletion and entanglement production are intrinsic dynamical features rather than artifacts of the chosen quantifiers. revision: yes

  2. Referee: [Discussion of relations between geometric coherence and geometric entanglement] The relations claimed between geometric coherence and geometric entanglement are presented as part of the results, yet the manuscript does not demonstrate that these relations survive when the measures are replaced by other faithful monotones (e.g., relative entropy of coherence or concurrence) on the same Shor states; this verification is needed to establish that the reported connection is not measure-dependent.

    Authors: We acknowledge that the relations were demonstrated only for the geometric measures. In the revision we will compute the relative entropy of coherence and concurrence on the identical sequence of Shor states for representative register sizes and orders r. These additional calculations will be presented alongside the geometric results to show that the qualitative trade-off (coherence depletion accompanied by entanglement growth) persists across the different monotones, thereby confirming that the reported connection is not an artifact of the geometric choice. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected; derivation is self-contained

full rationale

The paper derives its claims about coherence depletion and entanglement production in Shor's algorithm through direct application of standard geometric measures to states obtained by successive unitary operations (modular exponentiation and QFT). No steps reduce by construction to fitted parameters, self-definitions, or load-bearing self-citations; the relations between coherence and entanglement follow from explicit evaluation on the algorithm's register states for varying dimensions and orders. The central results are therefore independent of the inputs and rest on verifiable state evolution rather than renaming or circular justification.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Review performed from abstract only; no explicit free parameters, ad-hoc axioms, or invented entities are identifiable. The work presupposes standard definitions from quantum resource theory.

axioms (1)
  • domain assumption Geometric measures of coherence and entanglement are well-defined and applicable to the pure states generated by Shor's unitary operators
    Invoked implicitly when tracking dynamics across algorithm steps

pith-pipeline@v0.9.0 · 5393 in / 1193 out tokens · 38821 ms · 2026-05-10T18:22:56.560973+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

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

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

72 extracted references · 72 canonical work pages

  1. [1]

    Sudarshan E C G 1963 Equivalence of semiclassical and quantum me chanical descriptions of statistical light beams Phys. Rev. Lett. 10 277

  2. [2]

    Glauber R J 1963 Coherent and incoherent states of the radiatio n field Phys. Rev. 131 2766 15

  3. [3]

    Scully M O and Zubairy M S 1997 Quantum Optics (Cambridge: Cambridge University Press)

  4. [4]

    Baumgratz T, Cramer M and Plenio M B 2014 Quantifying coherence Phys. Rev. Lett. 113 140401

  5. [5]

    Yu X, Zhang D, Xu G and Tong D 2016 Alternative framework for qu antifying coherence Phys. Rev. A 94 060302

  6. [6]

    Rana S, Parashar P and Lewenstein M 2016 Trace-distance meas ure of coherence Phys. Rev. A 93 012110

  7. [7]

    Shao L, Li Y, Luo Y and Xi Z 2017 Quantum coherence quantifiers based on R´ enyi relative entropy Commun. Theor. Phys. 67 631

  8. [8]

    Yu C 2017 Quantum coherence via skew information and its polygam y Phys. Rev. A 95 042337

  9. [9]

    Zhu X, Jin Z and Fei S 2019 Quantifying quantum coherence based on the generalized α -z-relative R´ enyi entropyQuantum Inf. Process. 18 179

  10. [10]

    Xu J 2020 Coherence measures based on sandwiched R´ enyi re lative entropy Chin. Phys. B 29 010301

  11. [11]

    Streltsov A, Singh U, Dhar H S, Bera M N and Gerardo A 2015 Meas uring quantum coher- ence with entanglement Phys. Rev. Lett. 115 020403

  12. [12]

    Zhao H and Yu C 2018 Coherence measure in terms of the Tsallis re lative α entropy Sci. Rep. 8 299

  13. [13]

    Jing Y, Li C, Poon E and Zhang C 2021 Coherence measures induc ed by norm functions J. Math. Phys. 62 042202

  14. [14]

    Xu J 2016 Quantifying coherence of Gaussian states Phys. Rev. A 93 032111

  15. [15]

    Zhang Y, Shao L, Li Y and Fan H 2016 Quantifying coherence in infi nite-dimensional systems Phys. Rev. A 93 012334

  16. [16]

    Du S, Bai Z and Guo Y 2015 Conditions for coherence transform ations under incoherent operations Phys. Rev. A 91 052120

  17. [17]

    Du S, Bai Z and Qi X 2019 Coherence manipulation under incohere nt operations Phys. Rev. A 100 032313

  18. [18]

    Du S, Bai Z 2022 Conversion of Gaussian states under incohere nt Gaussian operations Phys. Rev. A 105 022412

  19. [19]

    Du S, Bai Z 2023 Incoherent Gaussian equivalence of m-mode Gaussian states Phys. Rev. A 107 012407

  20. [20]

    Huelga S F and Plenio M B 2013 Vibrations, quanta and biology Contemp. Phys. 54 181

  21. [21]

    Lloyd S 2011 Quantum coherence in biological systems J. Phys. Conf. Ser. 302 012037

  22. [22]

    Karlstr¨ om O, Linke H, Karlstr¨ om G and Wacker A 2011 Increas ing thermoelectric perfor- mance using coherent transport Phys. Rev. B 84 113415 16

  23. [23]

    Chen J, Cui J, Zhang Y and Fan H 2016 Coherence susceptibility a s a probe of quantum phase transitions Phys. Rev. A 94 022112

  24. [24]

    Lostaglio M, Jennings D and Rudolph T 2015 Description of quantu m coherence in thermo- dynamic processes requires constraints beyond free energy Nat. Commun. 6 6383

  25. [25]

    Lostaglio M, Korzekwa K, Jennings D and Rudolph T 2015 Quantum coherence, time- translation symmetry, and thermodynamics Phys. Rev. X 5 021001

  26. [26]

    Narasimhachar V and Gour G 2015 Low-temperature thermody namics with quantum co- herence Nat. Commun. 6 7689

  27. [27]

    Horodecki M and Oppenheim J 2013 Fundamental limitations for q uantum and nanoscale thermodynamics Nat. Commun. 4 2059

  28. [28]

    Kammerlander P and Anders J 2016 Coherence and measuremen t in quantum thermody- namics Sci. Rep. 6 22174

  29. [29]

    Zhang Z, Dai Y, Dong Y and Zhang C 2020 Numerical and analytica l results for geometric measure of coherence and geometric measure of entanglement Sci. Rep. 10 12122

  30. [30]

    Klaus A L and Li C K 1995 Isometries for the vector ( p,q ) norm and the induced ( p,q ) norm Linear Multilinear A 38 315

  31. [31]

    Abe S 2003 Nonadditive generalization of the quantum Kullback-L eibler divergence for mea- suring the degree of purification Phys. Rev. A 68 032302

  32. [32]

    Abe S 2003 Monotonic decrease of the quantum nonadditive dive rgence by projective mea- surements Phys. Rev. A 312 336

  33. [33]

    Rastegin A E 2016 Quantum-coherence quantifiers based on th e Tsallis relative α entropies Phys. Rev. A 93 032136

  34. [34]

    Zhang F, Shao L, Luo Y and Li Y 2017 Ordering states with Tsallis r elativeα -entropies of coherence Quantum Inf. Process. 16 31

  35. [35]

    Ballentine L E 1987 Resource letter IQM-2: Foundations of quan tum mechanics since the Bell inequalities Am. J. Phys. 55 785

  36. [36]

    Bell J S 1964 On the Einstein Podolsky Rosen paradox Physics 1 195

  37. [37]

    Bennett C H and Wiesner S J 1992 Communication via one-and two- particle operators on Einstein-Podolsky-Rosen states Phys. Rev. Lett. 69 2881

  38. [38]

    Ekert A K 1991 Quantum cryptography based on Bell’s theorem Phys. Rev. Lett. 67 661

  39. [39]

    Nielsen M A and Chuang I L 2000 Quantum Computation and Quantum Information (Cam- bridge: Cambridge University Press)

  40. [40]

    Bruß D 2002 Characterizing entanglement J. Math. Phys. 43 4237

  41. [41]

    Shimony A 1995 Degree of entanglement Ann. NY. Acad. Sci. 755 675

  42. [42]

    Barnum H and Linden N 2001 Monotones and invariants for multi-p article quantum states J. Phys. A: Math. Gen. 34 6787

  43. [43]

    Wei T and Goldbart P M 2003 Geometric measure of entanglement and applications to bipartite and multipartite quantum states Phys. Rev. A 68 042307 17

  44. [44]

    Cavalcanti D 2006 Connecting the generalized robustness and the geometric measure of entanglement Phys. Rev. A 73 044302

  45. [45]

    G¨ uhne O, Reimpell M and Werner R F 2007 Estimating entanglemen t measures in experi- ments Phys. Rev. Lett. 98 110502

  46. [46]

    Process.- Image 110 116891

    Zhou N-R, Zhang T-F, Xie X-W and Wu J-Y 2023 Hybrid quantum-c lassical generative adversarial networks for image generation via learning discrete dis tribution Sig. Process.- Image 110 116891

  47. [47]

    Deutsch D and Jozsa R 1992 Rapid solution of problems by quantu m computation Proc. R. Soc. Lond. A 439 553

  48. [48]

    Collins D, Kim K W and Holton W C 1998 Deutsch-Jozsa algorithm as a t est of quantum computation Phys. Rev. A 58 R1633

  49. [49]

    Simon D R 1997 On the power of quantum computation SIAM J. Comput. 26 1474

  50. [50]

    Tame M S, Bell B A, Di Franco C, Wadsworth W J and Rarity J G 2014 Experimental realization of a one-way quantum computer algorithm solving Simon’s p roblem Phys. Rev. Lett. 113 200501

  51. [51]

    Codes Cryptogr

    Ghosh S and Sebati P 2021 Breaking tweakable enciphering sche mes using Simon’s algorithm Des. Codes Cryptogr. 89 1907

  52. [52]

    Grover L K 1997 Quantum mechanics helps in searching for a need le in a haystack Phys. Rev. Lett. 79 325

  53. [53]

    Du J, Shi M, Zhou X, Fan Y, Ye B, Han R and Wu J 2001 Implementat ion of a quan- tum algorithm to solve the Bernstein-Vazirani parity problem withou t entanglement on an ensemble quantum computer Phys. Rev. A 64 042306

  54. [54]

    Harrow A W, Hassidim A and Lloyd S 2009 Quantum algorithm for linea r systems of equa- tions Phys. Rev. Lett. 103 150502

  55. [55]

    Shor P W 1997 Polynomial-time algorithms for prime factorization a nd discrete logarithms on a quantum computer SIAM J. Comput. 26 1484

  56. [56]

    2016 Realization of a scalable Shor algorithm Science 351 1068

    Monz T, Nigg D, Martinez E A et al. 2016 Realization of a scalable Shor algorithm Science 351 1068

  57. [57]

    Pan M, Qiu D and Zheng S 2017 Global multipartite entanglement dy namics in Grover’s search algorithm Quantum Inf. Process. 16 211

  58. [58]

    Pan M, Qiu D, Mateus P and Gruska J 2019 Entangling and disentan gling in Grover’s search algorithm Theor. Comput. Sci. 773 138–152

  59. [59]

    Rossi M, Bruß D and Macchiavello C 2013 Scale invariance of entan glement dynamics in Grover’s quantum search algorithm Phys. Rev. A 87 022331

  60. [60]

    Shi H, Liu S, Wang X, Yang W-L, Yang Z-Y and Fan H 2017 Coheren ce depletion in the Grover quantum search algorithm Phys. Rev. A 95 032307

  61. [61]

    Pan M and Qiu D 2019 Operator coherence dynamics in Grover’s qu antum search algorithm Phys. Rev. A 100 012349 18

  62. [62]

    Pan M, Situ H and Zheng S 2022 Complementarity between succes s probability and coher- ence in Grover search algorithm Europhys. Lett. 138 48002

  63. [63]

    Ye L, Wu Z and Fei S M 2023 Tsallis relative α entropy of coherence dynamics in Grover’s search algorithm Commun. Theor. Phys. 75 085101

  64. [64]

    Sun Y 2024 Decoherence in Grover search algorithm Quantum Inf. Process. 23 183

  65. [65]

    Feng C, Chen L and Zhao L J 2023 Coherence and entanglement in Grover and Harrow- Hassidim-Lloyd algorithm Physica A 626 129048

  66. [66]

    Hillery M 2016 Coherence as a resource in decision problems: The D eutsch-Jozsa algorithm and a variation Phys. Rev. A 93 012111

  67. [67]

    Liu Y, Shang J and Zhang X 2019 Coherence depletion in quantum a lgorithms Entropy 21 260

  68. [68]

    Ye L, Wu Z and Fei S M 2023 Coherence dynamics in quantum algorit hm for linear systems of equations Phys. Scr. 98 125104

  69. [69]

    Ye L, Wu Z and Fei S M 2023 Coherence dynamics in Simon’s quantum algorithm Europhys. Lett. 144 18001

  70. [70]

    Ahnefeld F, Theurer T, Egloff D, Matera J M and Plenio M B 2022 Coh erence as a resource for Shor’s algorithm Phys. Rev. Lett. 129 120501

  71. [71]

    Naseri M, Kondra T V, Goswami S, Fellous-Asiani M and Streltso v A 2022 Entanglement and coherence in the Bernstein-Vazirani algorithm Phys. Rev. A 106 062429

  72. [72]

    Qiu D 2023 Fundamentals of Quantum Computing Theory (Beijing: Tsinghua University Press) 19