Coherence and decoherence in generalized and noisy Shor's algorithm
Pith reviewed 2026-05-18 23:16 UTC · model grok-4.3
The pith
Generalized Shor's algorithm maintains bounded success probability for arbitrary initial states and retains a lower bound under decoherence.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We study the coherence and decoherence in generalized Shor's algorithm where the register A is initialized in arbitrary pure state, or the combined register AB is initialized in any pseudo-pure state, which encompasses the standard Shor's algorithm as a special case. We derive both the lower and upper bounds on the performance of the generalized Shor's algorithm, and establish the relation between the probability of calculating r when the register AB is initialized in any pseudo-pure state and the one when the register A initialized in arbitrary pure state. Moreover, we study the coherence and decoherence in noisy Shor's algorithm and give the lower bound of the probability that we can can.
What carries the argument
Lower and upper bounds on the probability of extracting the period r, derived from the coherence properties of the period-finding circuit under arbitrary pure or pseudo-pure initial states.
If this is right
- The success probability for pseudo-pure initial states on AB is directly related to the success probability for arbitrary pure states on A.
- Both lower and upper bounds exist on performance for any such generalized initial state.
- A positive lower bound on the probability of recovering r survives even after decoherence acts on the circuit.
- The usual uniform-superposition Shor's algorithm is recovered as one particular case inside these bounds.
Where Pith is reading between the lines
- Implementations that can only achieve pseudo-pure states, such as certain ensemble-based quantum computers, could still achieve a calculable minimum success rate.
- The bounds may guide the choice of initial-state preparation methods that maximize the guaranteed success floor.
- Similar coherence analysis could be applied to other period-finding or phase-estimation routines to test their robustness to state imperfections.
- Hardware experiments that deliberately use non-standard initial states would provide a direct test of the derived relations.
Load-bearing premise
The standard quantum circuit for period finding continues to produce the expected interference pattern when the input register starts in an arbitrary pure state or the pair of registers starts in an arbitrary pseudo-pure state.
What would settle it
Prepare the first register in a chosen arbitrary pure state, run the period-finding circuit on a known composite integer N, and check whether the measured success probability lies between the paper's predicted lower and upper bounds.
Figures
read the original abstract
Quantum coherence constitutes a fundamental physical mechanism essential to the study of quantum algorithms. We study the coherence and decoherence in generalized Shor's algorithm where the register $A$ is initialized in arbitrary pure state, or the combined register $AB$ is initialized in any pseudo-pure state, which encompasses the standard Shor's algorithm as a special case. We derive both the lower and upper bounds on the performance of the generalized Shor's algorithm, and establish the relation between the probability of calculating $r$ when the register $AB$ is initialized in any pseudo-pure state and the one when the register $A$ initialized in arbitrary pure state. Moreover, we study the coherence and decoherence in noisy Shor's algorithm and give the lower bound of the probability that we can calculate $r$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript analyzes coherence and decoherence in a generalized Shor's algorithm. Register A is initialized in an arbitrary pure state or registers AB in an arbitrary pseudo-pure state (encompassing standard Shor's as a special case). It derives lower and upper bounds on performance (success probability for extracting the period r), establishes a relation between these probabilities across the two generalized initializations, and provides a lower bound on the success probability for a noisy version of the algorithm.
Significance. If the central derivations are valid, the work would quantify how deviations from standard |0⟩ initialization affect Shor's period-finding success probability and relate coherence measures to algorithmic performance. The noisy-case bound could inform robustness analysis in near-term quantum hardware. The manuscript supplies explicit bounds and a probability relation, which are potentially falsifiable and useful for error-mitigation studies.
major comments (3)
- [§3] §3 (generalized pure-state initialization): the lower/upper bounds on the probability of extracting r are derived under the assumption that the modular-exponentiation-plus-QFT circuit produces the same 1/r-periodic interference pattern for arbitrary initial |ψ⟩ on register A as for the standard uniform superposition. The standard Shor analysis relies on the specific amplitudes created from |0⟩^n; a general |ψ⟩ yields entangled amplitudes lacking this structure after the controlled-U operations, so the claimed bounds do not automatically follow and require additional state-preparation or post-selection conditions to hold.
- [§4] §4 (pseudo-pure state relation): the stated relation between P(r) for arbitrary pseudo-pure states on AB and P(r) for arbitrary pure states on A is presented as following from linearity, but the explicit mapping from the mixture coefficients to the post-QFT probability distribution is not shown. Without this step, the relation remains formal and its load-bearing use in the performance bounds cannot be verified.
- [§5] §5 (noisy case): the lower bound on the probability of calculating r under decoherence is given after an unspecified noise model. The derivation does not isolate how phase damping or amplitude damping on the QFT register alters the constructive interference at multiples of 1/r, making it impossible to confirm that the bound is both rigorous and non-trivial.
minor comments (2)
- [Introduction] The notation distinguishing register A and AB states is introduced without an explicit equation reference in the opening paragraphs; adding a numbered definition would improve readability.
- [§3] Several equations in the coherence section use the same symbol for the success probability in different regimes; a subscript or superscript distinction would prevent confusion.
Simulated Author's Rebuttal
We thank the referee for their thorough review and insightful comments on our manuscript. We address each of the major comments point by point below, providing clarifications and indicating where revisions will be made to strengthen the presentation.
read point-by-point responses
-
Referee: [§3] §3 (generalized pure-state initialization): the lower/upper bounds on the probability of extracting r are derived under the assumption that the modular-exponentiation-plus-QFT circuit produces the same 1/r-periodic interference pattern for arbitrary initial |ψ⟩ on register A as for the standard uniform superposition. The standard Shor analysis relies on the specific amplitudes created from |0⟩^n; a general |ψ⟩ yields entangled amplitudes lacking this structure after the controlled-U operations, so the claimed bounds do not automatically follow and require additional state-preparation or post-selection conditions to hold.
Authors: We appreciate this observation. The periodicity in the interference pattern arises from the phase kickback in the controlled modular exponentiation, which imprints the period r independently of the initial state on register A. However, the amplitudes are modulated by the initial state's components. Our bounds are obtained by considering the worst-case and best-case overlaps with the periodic states, using the coherence measure to quantify the deviation. To make this explicit, we will include a step-by-step derivation of the post-QFT state for general |ψ⟩ in the revised version, showing how the success probability is bounded between expressions involving the initial coherence. revision: yes
-
Referee: [§4] §4 (pseudo-pure state relation): the stated relation between P(r) for arbitrary pseudo-pure states on AB and P(r) for arbitrary pure states on A is presented as following from linearity, but the explicit mapping from the mixture coefficients to the post-QFT probability distribution is not shown. Without this step, the relation remains formal and its load-bearing use in the performance bounds cannot be verified.
Authors: The relation follows from the linearity of the quantum operations and the fact that the success probability is a linear function of the density operator. For a pseudo-pure state ρ = (1-ε)|ψ⟩⟨ψ| + ε I / d, the probability P(r) = (1-ε) P_pure(r) + ε P_mixed(r), where P_mixed is the probability for the maximally mixed state. We will add the explicit calculation of the post-QFT distribution for the mixture in the revision to verify the relation. revision: yes
-
Referee: [§5] §5 (noisy case): the lower bound on the probability of calculating r under decoherence is given after an unspecified noise model. The derivation does not isolate how phase damping or amplitude damping on the QFT register alters the constructive interference at multiples of 1/r, making it impossible to confirm that the bound is both rigorous and non-trivial.
Authors: We specify the noise model as a general decoherence channel acting on the registers, modeled by Kraus operators that reduce the off-diagonal elements. The lower bound is derived by showing that the success probability is at least the initial coherence minus the decoherence factor. To address the concern, we will expand the section to detail the effect on the interference terms for phase and amplitude damping specifically, demonstrating the bound's rigor. revision: yes
Circularity Check
No circularity; derivations are direct quantum-information calculations
full rationale
The paper derives lower and upper bounds on generalized Shor's algorithm performance and relations between success probabilities for arbitrary pure or pseudo-pure initial states via standard quantum circuit analysis (modular exponentiation and QFT). These steps rely on explicit state evolution and probability calculations under the stated assumptions about circuit validity, without fitting parameters to data, reducing results to self-citations, importing uniqueness theorems from prior author work, smuggling ansatzes, or renaming empirical patterns. The central claims remain independent of the inputs and are self-contained against external quantum algorithm benchmarks.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Standard quantum circuit for period finding remains valid for arbitrary pure or pseudo-pure input states
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We derive both the lower and upper bounds on the performance of the generalized Shor's algorithm... probability of calculating r when the register AB is initialized in any pseudo-pure state
-
IndisputableMonolith/Foundation/DimensionForcing.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Theorem 2 ... P > 4Q|αmin|² φ(r) / (r π²)
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.: Equivalence of semiclassical and quantum mech anical descriptions of statistical light beams. Phys. Rev. Lett. 10, 277 (1963)
work page 1963
-
[2]
Glauber, R.J.: Coherent and incoherent states of the radiation fi eld. Phys. Rev. 131, 2766 (1963)
work page 1963
-
[3]
Cambridge University Pr ess, Cambridge (1997)
Scully, M.O., Zubairy, M.S.: Quantum Optics. Cambridge University Pr ess, Cambridge (1997)
work page 1997
-
[4]
Baumgratz, T., Cramer, M., Plenio, M.B.: Quantifying coherence. P hys. Rev. Lett. 113, 140401 (2014)
work page 2014
-
[5]
Yu, X., Zhang, D., Xu, G., Tong, D.: Alternative framework for qua ntifying coherence. Phys. Rev. A 94, 060302 (2016)
work page 2016
-
[6]
Xu, J.: Coherence measures based on sandwiched R´ enyi relativ e entropy. Chin. Phys. B 29, 010301 (2020)
work page 2020
-
[7]
Bu, K., Singh, U., Fei, S.-M., Pati, A.K., Wu, J.: Maximum relative entrop y of coherence: An operational coherence measure. Phys. Rev. Lett. 119, 150405 (2017)
work page 2017
-
[8]
Rana, S., Parashar, P., Lewenstein, M.: Trace-distance measur e of coherence. Phys. Rev. A 93, 012110 (2016) 22
work page 2016
-
[9]
Yu, C.: Quantum coherence via skew information and its polygamy. Phys. Rev. A 95, 042337 (2017)
work page 2017
-
[10]
Zhu, X., Jin, Z., Fei, S.-M.: Quantifying quantum coherence based on the generalized α-z- relative R´ enyi entropy. Quantum Inf. Process. 18, 179 (2019)
work page 2019
-
[11]
Shao, L., Li, Y., Luo, Y., Xi, Z.: Quantum coherence quantifiers ba sed on R´ enyi relative entropy. Commun. Theor. Phys. 67, 631 (2017)
work page 2017
-
[12]
Piani, M., Cianciaruso, M., Bromley, T.R., Napoli, C., Johnston, N., Ad esso, G.: Robustness of asymmetry and coherence of quantum states. Phys. Rev. A 93, 042107 (2016)
work page 2016
-
[13]
Wu, Z., Zhang, L., Fei, S.-M., Li-Jost, X.: Coherence and compleme ntarity based on modified generalized skew information. Quantum Inf. Process. 19, 125 (2020)
work page 2020
-
[14]
Du, S., Bai, Z., Guo, Y.: Conditions for coherence transformatio ns under incoherent opera- tions. Phys. Rev. A 91, 052120 (2015)
work page 2015
-
[15]
Du, S., Bai, Z., Qi, X.: Coherence manipulation under incoherent op erations. Phys. Rev. A 100, 032313 (2019)
work page 2019
-
[16]
Du, S., Bai, Z.: Conversion of Gaussian states under incoherent Gaussian operations. Phys. Rev. A 105, 022412 (2022)
work page 2022
-
[17]
Du, S., Bai, Z.: Incoherent Gaussian equivalence of m-mode Gaussian states. Phys. Rev. A 107, 012407 (2023)
work page 2023
-
[18]
Xu, J.: Quantifying coherence of Gaussian states. Phys. Rev. A 93, 032111 (2016)
work page 2016
-
[19]
Zhang, Y., Shao, L., Li, Y., Fan, H.: Quantifying coherence in infinit e-dimensional systems. Phys. Rev. A 93, 012334 (2016)
work page 2016
-
[20]
Lostaglio, M., Jennings, D., Rudolph, T.: Description of quantum c oherence in thermody- namic processes requires constraints beyond free energy. Nat. Commun. 6, 6383 (2015)
work page 2015
-
[21]
Lostaglio, M., Korzekwa, K., Jennings, D., Rudolph, T.: Quantum c oherence, time- translation symmetry, and thermodynamics. Phys. Rev. X 5, 021001 (2015)
work page 2015
-
[22]
Narasimhachar, V., Gour, G.: Low-temperature thermodynam ics with quantum coherence. Nat. Commun. 6, 7689 (2015)
work page 2015
-
[23]
Horodecki, M., Oppenheim, J.: Fundamental limitations for quant um and nanoscale ther- modynamics. Nat. Commun. 4, 2059 (2013)
work page 2059
-
[24]
Kammerlander, P., Anders, J.: Coherence and measurement in q uantum thermodynamics. Sci. Rep. 6, 22174 (2016)
work page 2016
-
[25]
Huelga, S.F., Plenio, M.B.: Vibrations, quanta and biology. Contemp . Phys. 54, 181 (2013)
work page 2013
-
[26]
Lloyd, S.: Quantum coherence in biological systems. J. Phys. Co nf. Ser. 302, 012037 (2011)
work page 2011
-
[27]
Chen, J., Cui, J., Zhang, Y., Fan, H.: Coherence susceptibility as a probe of quantum phase transitions. Phys. Rev. A 94, 022112 (2016)
work page 2016
-
[28]
Shor, P.W.: Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer. SIAM J. Comput. 26, 1484 (1997) 23
work page 1997
-
[29]
Monz, T., Nigg, D., Martinez, E.A., et al.: Realization of a scalable Sho r algorithm. Science 351, 1068 (2016)
work page 2016
-
[30]
Gidney, C., Ekera, M.: How to factor 2048 bit RSA integers in 8 hou rs using 20 million noisy qubits. Quantum 5, 433 (2021)
work page 2048
-
[31]
Beauregard, S.: Circuit for Shor’s algorithm using 2 n + 3 qubits. Quantum Inf. Comput. 3, 175 (2003)
work page 2003
-
[32]
Haner, T., Roetteler, M., Svore, K.M.: Factoring using 2 n + 2 qubits with Toffoli based modular multiplication. Quantum Inf. Comput. 17, 673 (2017)
work page 2017
-
[33]
Parker, S., Plenio, M.B.: Efficient factorization with a single pure qu bit and log N mixed qubits. Phys. Rev. Lett. 85, 3049 (2000)
work page 2000
-
[34]
Fu, S., He, J., Li, X., Luo, S.: Uncertainties and coherence in DQC1 . Phys. Scr. 98, 045114 (2023)
work page 2023
-
[35]
Rall, P.: Faster coherent quantum algorithms for phase, energ y, and amplitude estimation. Quantum 5, 566 (2021)
work page 2021
-
[36]
Mahdian, M., Yeganeh, H.D.: Incoherent quantum algorithm dyna mics of an open system with near-term devices. Quantum Inf. Process. 19, 285 (2020)
work page 2020
-
[37]
Cirstoiu, C., Holmes, Z., Iosue, J., Cincio, L., Coles, P.J., Sornborg er, A.: Variational fast forwarding for quantum simulation beyond the coherence time. NPJ Quantum Inf. 6, 82 (2020)
work page 2020
-
[38]
Ye, L., Wu, Z., Fei, S.-M.: Coherence dynamics in quantum algorithm for linear systems of equations. Phys. Scr. 98, 125104 (2023)
work page 2023
-
[39]
Ye, L., Wu, Z., Fei, S.-M.: Tsallis relative α entropy of coherence dynamics in Grover’s search algorithm. Commun. Theor. Phys. 75, 085101 (2023)
work page 2023
- [40]
-
[41]
Naseri, M., Kondra, T.V., Goswami, S., et al.: Entanglement and coh erence in the Bernstein- Vazirani algorithm. Phys. Rev. A 106, 062429 (2022)
work page 2022
-
[42]
Feng, C., Chen, L., Zhao, L.J.: Coherence and entanglement in Gr over and Harrow- Hassidim-Lloyd algorithm. Phys. A 626, 129048 (2023)
work page 2023
-
[43]
Hillery, M.: Coherence as a resource in decision problems: The Deu tsch-Jozsa algorithm and a variation. Phys. Rev. A 93, 012111 (2016)
work page 2016
-
[44]
Matera, J.M., Egloff, D., Killoran, N., Plenio, M.B.: Coherent control of quantum systems as a resource theory. Quantum Sci. Technol. 1, 01LT01 (2016)
work page 2016
-
[45]
Pan, M., Qiu, D.: Operator coherence dynamics in Grover’s quant um search algorithm. Phys. Rev. A 100, 012349 (2019)
work page 2019
- [46]
-
[47]
Coherence and Entanglement Monogamy in the Discrete Analogue of Analog Grover Search
Anand, N., Pati, A.K.: Coherence and entanglement monogamy in t he discrete analogue of analog Grover search. arXiv:1611.04542 (2016)
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[48]
Shi, H.L., Liu, S.Y., Wang, X.H., Yang, W.L., Yang, Z.Y., Fan, H.: Cohere nce depletion in the Grover quantum search algorithm. Phys. Rev. A 95, 023307 (2017)
work page 2017
-
[49]
Chin, S.: Coherence number as a discrete quantum resource. P hys. Rev. A 96, 042336 (2017)
work page 2017
-
[50]
Rastegin, A.E.: Degradation of Grover’s search under collective phase flips in queries to the oracle. Front. Phys. 13, 130318 (2018)
work page 2018
-
[51]
Rastegin, A.E.: On the role of dealing with quantum coherence in am plitude amplification. Quantum Inf. Process. 17, 179 (2018)
work page 2018
-
[52]
Liu, Y.C., Shang, J., Zhang, X.: Coherence depletion in quantum alg orithms. Entropy 21, 260 (2019)
work page 2019
-
[53]
Rastegin, A.E., Sazhenova, A.M.: Degeneration of the Grover se arch algorithm with depo- larization in the oracle-box wires. Mod. Phys. Lett. A 38, 2350030 (2023)
work page 2023
-
[54]
Ahnefeld, F., Theurer, T., Egloff, D., Matera, J.M., Plenio, M.B.: Coh erence as a resource for Shor’s algorithm. Phys. Rev. Lett. 129, 120501 (2022)
work page 2022
-
[55]
Zhou, S.-Q., Jin, H., Liang, J.-M., Fei, S.-M., Xiao, Y., Ma, Z.: Coheren ce fraction in Grover’s search algorithm. Phys. Rev. A 110, 062429 (2024)
work page 2024
-
[56]
Petz, D.: Monotone metrics on matrix spaces. Linear Algebra Ap pl. 244, 81 (1996)
work page 1996
-
[57]
Hansen, F.: Metric adjusted skew information. Proc. Natl. Aca d. Sci. USA 105, 9909 (2008)
work page 2008
-
[58]
Luo, S., Sun, Y.: Coherence and complementarity in state-chan nel interaction. Phys. Rev. A 98, 012113 (2018)
work page 2018
-
[59]
Fan, Y.J., Cao, H.X., Wang, W.H., Meng, H.X., Chen, L.: Uncertainty r elations with the generalized Wigner-Yanase-Dyson skew information. Quantum Inf . Process. 17, 157 (2018)
work page 2018
-
[60]
Wu, Z., Zhang, L., Wang, J., Jiang, W., Li, J.: Uncertainty relations based on modified Wigner-Yanase-Dyson skew information. Int. J. Theor. Phys. 59, 704 (2020)
work page 2020
-
[61]
Clarendon Press, Oxford (1984)
Hardy, G.H., Wright, E.M.: An Introduction to the Theory of Numb ers, 5th edn. Clarendon Press, Oxford (1984)
work page 1984
-
[62]
Linden, N., Popescu, S.: Good Dynamics versus Bad Kinematics: I s Entanglement Needed for Quantum Computation? Phys. Rev. Lett. 87, 047901 (2001)
work page 2001
-
[63]
Cory, D.G., Fahmy, A.F., Havel, T.F.: Ensemble quantum computing b y NMR spectroscopy. Proc. Natl. Acad. Sci. USA 94, 1634 (1997)
work page 1997
-
[64]
Sharf, Y., Havel, T.F., Cory, D.G.: Spatially encoded pseudopure s tates for NMR quantum- information processing. Phys. Rev. A 62, 052314 (2000)
work page 2000
-
[65]
Braunstein, S.L., Caves, C.M., Jozsa, R., Linden, N., Popescu, S., Schack, R.: Separability of Very Noisy Mixed States and Implications for NMR Quantum Comput ing. Phys. Rev. Lett. 83, 1054 (1999) 25
work page 1999
-
[66]
Du, J., Shi, M., Zhou, X., Fan, Y., Ye, B.J., Han, R., Wu, J.: Implement ation 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 (2001)
work page 2001
-
[67]
Hu, X., Fan, H., Zhou, D.L., Liu, W.M.: Necessary and sufficient cond itions for local creation of quantum correlation. Phys. Rev. A 85, 032102 (2012)
work page 2012
-
[68]
Guo, Y., Hou, J.: Necessary and sufficient conditions for the loca l creation of quantum discord. J. Phys. A: Math. Theor. 46, 155301 (2013)
work page 2013
-
[69]
Li, N., Luo, S., Song, H.: Monotonicity of quantumness of ensemb les under commutativity- preserving channels. Phys. Rev. A 99, 052114 (2019) 26
work page 2019
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.