Coherence and entanglement dynamics in Shor's algorithm
Pith reviewed 2026-05-10 18:22 UTC · model grok-4.3
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.
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
- 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
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.
Referee Report
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)
- [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.
- [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)
- [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
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
-
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
-
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
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
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
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
demonstrating that the overall effect of Shor’s algorithm tends to deplete coherence and produce entanglement
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
geometric coherence Cg(ρ)=1−[maxδ∈I F(ρ,δ)]² and geometric entanglement Eg(ρ)=1−max|⟨ψ|φ⟩|²
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
-
[1]
Sudarshan E C G 1963 Equivalence of semiclassical and quantum me chanical descriptions of statistical light beams Phys. Rev. Lett. 10 277
work page 1963
-
[2]
Glauber R J 1963 Coherent and incoherent states of the radiatio n field Phys. Rev. 131 2766 15
work page 1963
-
[3]
Scully M O and Zubairy M S 1997 Quantum Optics (Cambridge: Cambridge University Press)
work page 1997
-
[4]
Baumgratz T, Cramer M and Plenio M B 2014 Quantifying coherence Phys. Rev. Lett. 113 140401
work page 2014
-
[5]
Yu X, Zhang D, Xu G and Tong D 2016 Alternative framework for qu antifying coherence Phys. Rev. A 94 060302
work page 2016
-
[6]
Rana S, Parashar P and Lewenstein M 2016 Trace-distance meas ure of coherence Phys. Rev. A 93 012110
work page 2016
-
[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
work page 2017
-
[8]
Yu C 2017 Quantum coherence via skew information and its polygam y Phys. Rev. A 95 042337
work page 2017
-
[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
work page 2019
-
[10]
Xu J 2020 Coherence measures based on sandwiched R´ enyi re lative entropy Chin. Phys. B 29 010301
work page 2020
-
[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
work page 2015
-
[12]
Zhao H and Yu C 2018 Coherence measure in terms of the Tsallis re lative α entropy Sci. Rep. 8 299
work page 2018
-
[13]
Jing Y, Li C, Poon E and Zhang C 2021 Coherence measures induc ed by norm functions J. Math. Phys. 62 042202
work page 2021
-
[14]
Xu J 2016 Quantifying coherence of Gaussian states Phys. Rev. A 93 032111
work page 2016
-
[15]
Zhang Y, Shao L, Li Y and Fan H 2016 Quantifying coherence in infi nite-dimensional systems Phys. Rev. A 93 012334
work page 2016
-
[16]
Du S, Bai Z and Guo Y 2015 Conditions for coherence transform ations under incoherent operations Phys. Rev. A 91 052120
work page 2015
-
[17]
Du S, Bai Z and Qi X 2019 Coherence manipulation under incohere nt operations Phys. Rev. A 100 032313
work page 2019
-
[18]
Du S, Bai Z 2022 Conversion of Gaussian states under incohere nt Gaussian operations Phys. Rev. A 105 022412
work page 2022
-
[19]
Du S, Bai Z 2023 Incoherent Gaussian equivalence of m-mode Gaussian states Phys. Rev. A 107 012407
work page 2023
-
[20]
Huelga S F and Plenio M B 2013 Vibrations, quanta and biology Contemp. Phys. 54 181
work page 2013
-
[21]
Lloyd S 2011 Quantum coherence in biological systems J. Phys. Conf. Ser. 302 012037
work page 2011
-
[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
work page 2011
-
[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
work page 2016
-
[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
work page 2015
-
[25]
Lostaglio M, Korzekwa K, Jennings D and Rudolph T 2015 Quantum coherence, time- translation symmetry, and thermodynamics Phys. Rev. X 5 021001
work page 2015
-
[26]
Narasimhachar V and Gour G 2015 Low-temperature thermody namics with quantum co- herence Nat. Commun. 6 7689
work page 2015
-
[27]
Horodecki M and Oppenheim J 2013 Fundamental limitations for q uantum and nanoscale thermodynamics Nat. Commun. 4 2059
work page 2013
-
[28]
Kammerlander P and Anders J 2016 Coherence and measuremen t in quantum thermody- namics Sci. Rep. 6 22174
work page 2016
-
[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
work page 2020
-
[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
work page 1995
-
[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
work page 2003
-
[32]
Abe S 2003 Monotonic decrease of the quantum nonadditive dive rgence by projective mea- surements Phys. Rev. A 312 336
work page 2003
-
[33]
Rastegin A E 2016 Quantum-coherence quantifiers based on th e Tsallis relative α entropies Phys. Rev. A 93 032136
work page 2016
-
[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
work page 2017
-
[35]
Ballentine L E 1987 Resource letter IQM-2: Foundations of quan tum mechanics since the Bell inequalities Am. J. Phys. 55 785
work page 1987
-
[36]
Bell J S 1964 On the Einstein Podolsky Rosen paradox Physics 1 195
work page 1964
-
[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
work page 1992
-
[38]
Ekert A K 1991 Quantum cryptography based on Bell’s theorem Phys. Rev. Lett. 67 661
work page 1991
-
[39]
Nielsen M A and Chuang I L 2000 Quantum Computation and Quantum Information (Cam- bridge: Cambridge University Press)
work page 2000
-
[40]
Bruß D 2002 Characterizing entanglement J. Math. Phys. 43 4237
work page 2002
-
[41]
Shimony A 1995 Degree of entanglement Ann. NY. Acad. Sci. 755 675
work page 1995
-
[42]
Barnum H and Linden N 2001 Monotones and invariants for multi-p article quantum states J. Phys. A: Math. Gen. 34 6787
work page 2001
-
[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
work page 2003
-
[44]
Cavalcanti D 2006 Connecting the generalized robustness and the geometric measure of entanglement Phys. Rev. A 73 044302
work page 2006
-
[45]
G¨ uhne O, Reimpell M and Werner R F 2007 Estimating entanglemen t measures in experi- ments Phys. Rev. Lett. 98 110502
work page 2007
-
[46]
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
work page 2023
-
[47]
Deutsch D and Jozsa R 1992 Rapid solution of problems by quantu m computation Proc. R. Soc. Lond. A 439 553
work page 1992
-
[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
work page 1998
-
[49]
Simon D R 1997 On the power of quantum computation SIAM J. Comput. 26 1474
work page 1997
-
[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
work page 2014
-
[51]
Ghosh S and Sebati P 2021 Breaking tweakable enciphering sche mes using Simon’s algorithm Des. Codes Cryptogr. 89 1907
work page 2021
-
[52]
Grover L K 1997 Quantum mechanics helps in searching for a need le in a haystack Phys. Rev. Lett. 79 325
work page 1997
-
[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
work page 2001
-
[54]
Harrow A W, Hassidim A and Lloyd S 2009 Quantum algorithm for linea r systems of equa- tions Phys. Rev. Lett. 103 150502
work page 2009
-
[55]
Shor P W 1997 Polynomial-time algorithms for prime factorization a nd discrete logarithms on a quantum computer SIAM J. Comput. 26 1484
work page 1997
-
[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
work page 2016
-
[57]
Pan M, Qiu D and Zheng S 2017 Global multipartite entanglement dy namics in Grover’s search algorithm Quantum Inf. Process. 16 211
work page 2017
-
[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
work page 2019
-
[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
work page 2013
-
[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
work page 2017
-
[61]
Pan M and Qiu D 2019 Operator coherence dynamics in Grover’s qu antum search algorithm Phys. Rev. A 100 012349 18
work page 2019
-
[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
work page 2022
-
[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
work page 2023
-
[64]
Sun Y 2024 Decoherence in Grover search algorithm Quantum Inf. Process. 23 183
work page 2024
-
[65]
Feng C, Chen L and Zhao L J 2023 Coherence and entanglement in Grover and Harrow- Hassidim-Lloyd algorithm Physica A 626 129048
work page 2023
-
[66]
Hillery M 2016 Coherence as a resource in decision problems: The D eutsch-Jozsa algorithm and a variation Phys. Rev. A 93 012111
work page 2016
-
[67]
Liu Y, Shang J and Zhang X 2019 Coherence depletion in quantum a lgorithms Entropy 21 260
work page 2019
-
[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
work page 2023
-
[69]
Ye L, Wu Z and Fei S M 2023 Coherence dynamics in Simon’s quantum algorithm Europhys. Lett. 144 18001
work page 2023
-
[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
work page 2022
-
[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
work page 2022
-
[72]
Qiu D 2023 Fundamentals of Quantum Computing Theory (Beijing: Tsinghua University Press) 19
work page 2023
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.