pith. machine review for the scientific record. sign in

arxiv: 2605.03685 · v1 · submitted 2026-05-05 · 🪐 quant-ph · cs.CC· cs.DS· cs.IT· math.IT

Recognition: unknown

Quantum Multi-Level Estimation of Functionals of Discrete Distributions

Authors on Pith no claims yet

Pith reviewed 2026-05-07 17:08 UTC · model grok-4.3

classification 🪐 quant-ph cs.CCcs.DScs.ITmath.IT
keywords quantum algorithmsTsallis entropydiscrete distributionssingular value discriminationquery complexityfunctional estimationprobability estimation
0
0 comments X

The pith

A quantum multi-level framework estimates functionals of discrete distributions by partitioning probabilities into exponentially spaced intervals and applying non-destructive singular value discrimination.

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

The paper develops a quantum method to compute sums of the form sum f(p_i) for a discrete distribution by splitting the p_i values into logarithmically many intervals of exponentially decreasing size. Within each interval it isolates the relevant probabilities using non-destructive singular value discrimination and estimates the partial sum adaptively. This approach requires only constant extra ancilla qubits and avoids the control overhead of prior variable-time methods. When applied to the q-Tsallis entropy functional it yields new query complexity bounds that improve on existing quantum results for q greater than 1 and classical results for q less than 1.

Core claim

The central claim is that partitioning the support of a discrete distribution into logarithmically many intervals with exponentially decaying lengths, followed by non-destructive singular value discrimination to isolate amplitudes in each interval, permits adaptive estimation of the partial functional sum over that interval. For the q-Tsallis entropy this produces a quantum algorithm whose query complexity is tilde-Theta of 1 over epsilon to the max of 1 over 2(q-1) and 1 when q exceeds 1, improving the earlier O of 1 over epsilon to the 1 plus 1 over (q-1), and tilde-O of n to the 1/q minus 1/2 over epsilon to the 1/q when 0 is less than q less than 1, giving a polynomial quantum advantage.

What carries the argument

The multi-level estimation procedure that partitions probability amplitudes into exponentially spaced intervals and isolates them via non-destructive singular value discrimination before adaptive partial-sum estimation.

If this is right

  • For q greater than 1 the query complexity scales as roughly 1 over epsilon to the power of max{1 over 2(q-1), 1}, which is near-optimal.
  • The new bound improves the previous best quantum complexity of order 1 over epsilon to the 1 plus 1 over (q-1).
  • For 0 less than q less than 1 the complexity becomes order n to the 1/q minus 1/2 over epsilon to the 1/q, which is polynomially better than the best classical estimators.
  • These are the first near-optimal quantum algorithms for the parameterized q-Tsallis entropy at non-integer values of q.

Where Pith is reading between the lines

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

  • The same partitioning and isolation technique may apply directly to other functionals such as Renyi entropy or higher moments of the distribution.
  • Lower ancilla requirements compared with variable-time quantum algorithms could make the method easier to implement on near-term hardware.
  • The framework might be combined with quantum amplitude estimation primitives to further reduce query cost for related distribution-property tasks.

Load-bearing premise

The distribution must be accessible through a quantum oracle that permits non-destructive singular value discrimination on its probability amplitudes.

What would settle it

A concrete counter-example in which the measured query complexity for some q greater than 1 exceeds the claimed near-optimal scaling, or a small-scale simulation in which the multi-level isolation step requires more than a constant number of ancilla qubits.

read the original abstract

We propose a quantum multi-level estimation framework for a functional $\sum_{i=1}^n f(p_i)$ of a discrete distribution $(p_i)_{i=1}^n$. We partition the values $p_i$ into logarithmically many intervals whose length decays exponentially. For each interval, we perform non-destructive singular value discrimination to isolate the relevant $p_i$, enabling adaptive estimation of the partial sum over this interval. Unlike previous variable-time approaches, our method avoids high control overhead and requires only constant extra ancilla qubits. As an application, we present efficient quantum estimators for the $q$-Tsallis entropy of discrete distributions. Specifically: (i) For $q > 1$, we obtain a near-optimal quantum algorithm with query complexity $\tilde{\Theta}(1/\varepsilon^{\max\{1/(2(q-1)), 1\}})$, improving the prior best $O(1/\varepsilon^{1+1/(q-1)})$ due to Liu and Wang (SODA 2025; IEEE Trans. Inf. Theory 2026). (ii) For $0 < q < 1$, we obtain a quantum algorithm with query complexity $\tilde{O}(n^{1/q-1/2}/\varepsilon^{1/q})$, exhibiting a quantum speedup over the near-optimal classical estimators due to Jiao, Venkat, Han, and Weissman (IEEE Trans. Inf. Theory 2017). Our results achieve, to our knowledge, the first near-optimal quantum estimators for parameterized $q$-entropy for non-integer $q$.

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 / 2 minor

Summary. The manuscript introduces a quantum multi-level estimation framework for functionals ∑ f(p_i) of a discrete distribution p. Probabilities are partitioned into logarithmically many exponentially spaced intervals; non-destructive singular value discrimination isolates relevant amplitudes in each interval to enable adaptive partial-sum estimation. The approach uses only constant ancilla qubits and avoids variable-time control overhead. Applied to q-Tsallis entropy, it yields query complexity ~Θ(1/ε^max{1/(2(q-1)),1}) for q>1 (improving Liu-Wang) and ~O(n^{1/q-1/2}/ε^{1/q}) for 0<q<1 (speedup over Jiao et al.), claimed as the first near-optimal quantum estimators for non-integer q.

Significance. If the claimed bounds are rigorously established, the work is significant: it supplies the first near-optimal quantum algorithms for parameterized q-Tsallis entropy estimation, improves the prior best quantum upper bound for q>1, and demonstrates a quantum speedup for q<1 relative to the best classical estimators. The multi-level partitioning technique may extend to other distribution functionals and reduces ancilla overhead compared with earlier variable-time methods.

major comments (2)
  1. [§4 (complexity analysis for q-Tsallis entropy)] The central query-complexity claims rest on summing per-interval costs after non-destructive SVD; the manuscript must supply the explicit error-propagation analysis (including failure probabilities of the SVD primitive across all buckets) to confirm that the total additive error remains O(ε) while preserving the stated exponents without hidden logarithmic blow-up.
  2. [§3.2 (multi-level partitioning and SVD subroutine)] The oracle model for non-destructive singular value discrimination on probability amplitudes is load-bearing; the paper must state the precise query cost of this primitive as a function of interval width and bucket size so that the per-bucket and total query counts can be verified to match the claimed ~Θ and ~O bounds.
minor comments (2)
  1. [Abstract] The abstract uses ~Θ and ~O; replace with standard tilde notation and define it once in the preliminaries.
  2. [Introduction] A concise table comparing the new bounds with Liu-Wang (SODA 2025) and Jiao et al. (2017) for representative q values would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. We address each major comment below and will revise the manuscript to incorporate the requested clarifications.

read point-by-point responses
  1. Referee: [§4 (complexity analysis for q-Tsallis entropy)] The central query-complexity claims rest on summing per-interval costs after non-destructive SVD; the manuscript must supply the explicit error-propagation analysis (including failure probabilities of the SVD primitive across all buckets) to confirm that the total additive error remains O(ε) while preserving the stated exponents without hidden logarithmic blow-up.

    Authors: We agree that an explicit error-propagation analysis is required for rigor. In the revised manuscript we will add a dedicated paragraph in §4 that (i) sets per-bucket failure probability δ = ε / log n, (ii) applies the union bound over the O(log n) intervals, and (iii) shows that the resulting additive error remains O(ε) while the extra logarithmic factors are absorbed into the existing tilde notation. The asymptotic exponents are therefore unchanged. revision: yes

  2. Referee: [§3.2 (multi-level partitioning and SVD subroutine)] The oracle model for non-destructive singular value discrimination on probability amplitudes is load-bearing; the paper must state the precise query cost of this primitive as a function of interval width and bucket size so that the per-bucket and total query counts can be verified to match the claimed ~Θ and ~O bounds.

    Authors: We thank the referee for highlighting this omission. The non-destructive SVD primitive on an interval of width proportional to 2^{-k} has query cost O(2^{k/2} / ε_bucket) when the bucket contains m elements; we will state this dependence explicitly in the revised §3.2 together with the relation between ε_bucket and the global ε. Substituting these costs into the summation over intervals recovers the claimed overall bounds. revision: yes

Circularity Check

0 steps flagged

No significant circularity in derivation chain

full rationale

The paper's central contribution is a multi-level partitioning of probability amplitudes into exponentially spaced intervals, followed by non-destructive singular value discrimination per interval to estimate partial sums of f(p_i). The query complexity bounds for q-Tsallis entropy are derived by summing per-bucket costs, with the max{1/(2(q-1)),1} exponent arising directly from the dominant interval's cost analysis. This structure is presented as an independent algorithmic framework that improves on externally cited prior work (Liu and Wang) without reducing the claimed bounds to fitted parameters, self-definitions, or load-bearing self-citations. The oracle model assumptions are standard and explicitly stated, with no renaming of known results or ansatz smuggling. The derivation remains self-contained against the stated quantum query model.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The framework rests on the standard quantum query model for distributions and the existence of efficient non-destructive singular value discrimination circuits; no new free parameters or invented entities are introduced in the abstract.

axioms (2)
  • domain assumption Access to the discrete distribution via a quantum oracle allowing amplitude encoding and non-destructive measurements.
    Invoked implicitly when describing singular value discrimination on p_i.
  • standard math Standard quantum query complexity framework with coherent access to the input.
    Required for all stated query complexities.

pith-pipeline@v0.9.0 · 5601 in / 1247 out tokens · 42515 ms · 2026-05-07T17:08:41.948461+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

45 extracted references · 43 canonical work pages · 1 internal anchor

  1. [1]

    Shende, and Aaron B

    Jayadev Acharya, Ibrahim Issa, Nirmal V. Shende, and Aaron B. Wagner. Estimating quantum entropy. IEEE Journal on Selected Areas in Information Theory , 1(2):454--468, 2020. https://doi.org/10.1109/JSAIT.2020.3015235 doi:10.1109/JSAIT.2020.3015235

  2. [2]

    Convergence properties of functional estimates for discrete distributions

    Andr \' a s Antos and Ioannis Kontoyiannis. Convergence properties of functional estimates for discrete distributions. Random Structures & Algorithms , 19(3--4):163--193, 2001. https://doi.org/10.1002/rsa.10019 doi:10.1002/rsa.10019

  3. [3]

    Improved algorithm and lower bound for variable time quantum search

    Andris Ambainis, Martins Kokainis, and Jevg\= e nijs Vihrovs. Improved algorithm and lower bound for variable time quantum search. In Proceedings of the 18th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2023) , pages 7:1--7:18, 2023. https://doi.org/10.4230/LIPIcs.TQC.2023.7 doi:10.4230/LIPIcs.TQC.2023.7

  4. [4]

    Ambainis,Quantum lower bounds by quantum arguments, J

    Andris Ambainis. Quantum lower bounds by quantum arguments. Journal of Computer and System Sciences , 64(4):750--767, 2002. https://doi.org/10.1006/jcss.2002.1826 doi:10.1006/jcss.2002.1826

  5. [5]

    Variable time amplitude amplification and quantum algorithms for lin- ear algebra problems

    Andris Ambainis. Variable time amplitude amplification and quantum algorithms for linear algebra problems. In Proceedings of the 29th Symposium on Theoretical Aspects of Computer Science (STACS 2012) , pages 636--647, 2012. https://doi.org/10.4230/LIPIcs.STACS.2012.636 doi:10.4230/LIPIcs.STACS.2012.636

  6. [6]

    Quantum lower bounds by polynomials

    Robert Beals, Harry Buhrman, Richard Cleve, Michele Mosca, and Ronald de Wolf. Quantum lower bounds by polynomials. Journal of the ACM , 48(4):778--797, 2001. https://doi.org/10.1145/502090.502097 doi:10.1145/502090.502097

  7. [7]

    2019 , sseries =

    Aleksandrs Belovs. Quantum algorithms for classical probability distributions. In Proceedings of the 27th Annual European Symposium on Algorithms (ESA 2019) , pages 16:1--16:11, 2019. https://doi.org/10.4230/LIPIcs.ESA.2019.16 doi:10.4230/LIPIcs.ESA.2019.16

  8. [8]

    Harrow, and Avinatan Hassidim

    Sergey Bravyi, Aram W. Harrow, and Avinatan Hassidim. Quantum algorithms for testing properties of distributions. IEEE Transactions on Information Theory , 57(6):3971--3981, 2011. https://doi.org/10.1109/TIT.2011.2134250 doi:10.1109/TIT.2011.2134250

  9. [9]

    In: Samuel J

    Gilles Brassard, Peter H yer, Michele Mosca, and Alain Tapp. Quantum amplitude amplification and estimation. In Samuel J. Lomonaco, Jr. and Howard E. Brandt, editors, Quantum Computation and Information , volume 305 of Contemporary Mathematics , pages 53--74. AMS, 2002. https://doi.org/10.1090/conm/305/05215 doi:10.1090/conm/305/05215

  10. [10]

    The polynomial method strikes back: tight quantum query bounds via dual polynomials

    Mark Bun, Robin Kothari, and Justin Thaler. The polynomial method strikes back: tight quantum query bounds via dual polynomials. Theory of Computing , 16(10):1--71, 2020. https://doi.org/10.4086/toc.2020.v016a010 doi:10.4086/toc.2020.v016a010

  11. [11]

    New results on quantum property testing

    Sourav Chakraborty, Eldar Fischer, Arie Matsliah, and Ronald de Wolf. New results on quantum property testing. In Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2010) , pages 145--156, 2010. https://doi.org/10.4230/LIPIcs.FSTTCS.2010.145 doi:10.4230/LIPIcs.FSTTCS.2010.145

  12. [12]

    The Power of Block-Encoded Matrix Powers: Improved Regression Techniques via Faster Hamiltonian Simulation

    Shantanav Chakraborty, Andr \'a s Gily \'e n, and Stacey Jeffery. The power of block-encoded matrix powers: Improved regression techniques via faster Hamiltonian simulation. In Proceedings of the 46th International Colloquium on Automata, Languages, and Programming (ICALP 2019) , pages 33:1--33:14, 2019. https://doi.org/10.4230/LIPIcs.ICALP.2019.33 doi:10...

  13. [13]

    Proceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing , author =

    Arjan Cornelissen, Yassine Hamoudi, and Sofiene Jerbi. Near-optimal quantum algorithms for multivariate mean estimation. In Proceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing , pages 33--43, 2022. https://doi.org/10.1145/3519935.3520045 doi:10.1145/3519935.3520045

  14. [14]

    Canonne, Robin Kothari, and Ryan O'Donnell

    Cl\' e ment L. Canonne, Robin Kothari, and Ryan O'Donnell. Uniformity testing when you have the source code. In Proceedings of the 20th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2025) , pages 7:1--7:20, 2025. https://doi.org/10.4230/LIPIcs.TQC.2025.7 doi:10.4230/LIPIcs.TQC.2025.7

  15. [15]

    Childs, Robin Kothari, and Rolando D

    Andrew M. Childs, Robin Kothari, and Rolando D. Somma. Quantum algorithm for systems of linear equations with exponentially improved dependence on precision. SIAM Journal on Computing , 46(6):1920--1950, 2017. https://doi.org/10.1137/16M1087072 doi:10.1137/16M1087072

  16. [16]

    Improved sample upper and lower bounds for trace estimation of quantum state powers

    Kean Chen and Qisheng Wang. Improved sample upper and lower bounds for trace estimation of quantum state powers. In Proceedings of the 38th Conference on Learning Theory , pages 1008--1028, 2025. URL: https://proceedings.mlr.press/v291/chen25d.html

  17. [17]

    A list of complexity bounds for property testing by quantum sample-to-query lifting, 2025

    Kean Chen, Qisheng Wang, and Zhicheng Zhang. A list of complexity bounds for property testing by quantum sample-to-query lifting, 2025. ArXiv preprint. http://arxiv.org/abs/2512.01971 arXiv:2512.01971

  18. [18]

    Sublinear quantum algorithms for estimating von Neumann entropy

    Tom Gur, Min-Hsiu Hsieh, and Sathyawageeswar Subramanian. Sublinear quantum algorithms for estimating von Neumann entropy. ArXiv preprints, 2021. http://arxiv.org/abs/2111.11139 arXiv:2111.11139

  19. [19]

    Distributional property testing in a quantum world , booktitle =

    Andr \'a s Gily \'e n and Tongyang Li. Distributional property testing in a quantum world. In Proceedings of the 11th Innovations in Theoretical Computer Science Conference (ITCS 2020) , pages 25:1--25:19, 2020. https://doi.org/10.4230/LIPIcs.ITCS.2020.25 doi:10.4230/LIPIcs.ITCS.2020.25

  20. [20]

    Quantum singular value transformation and beyond: exponential improvements for quantum matrix arithmetics

    Andr \'a s Gily \'e n, Yuan Su, Guang Hao Low, and Nathan Wiebe. Quantum singular value transformation and beyond: exponential improvements for quantum matrix arithmetics. In Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing , pages 193--204, 2019. https://doi.org/10.1145/3313276.3316366 doi:10.1145/3313276.3316366

  21. [21]

    Quantum sub- Gaussian mean estimator

    Yassine Hamoudi. Quantum sub- Gaussian mean estimator. In Proceedings of the 29th Annual European Symposium on Algorithms (ESA 2021) , pages 50:1--50:17, 2021. https://doi.org/10.4230/LIPIcs.ESA.2021.50 doi:10.4230/LIPIcs.ESA.2021.50

  22. [22]

    Quantum Chebyshev’s inequality and applications

    Yassine Hamoudi and Fr \'e d \'e ric Magniez. Quantum Chebyshev’s inequality and applications. In Proceedings of the 46th International Colloquium on Automata, Languages, and Programming (ICALP 2019) , pages 69:1--69:16, 2019. https://doi.org/10.4230/LIPIcs.ICALP.2019.69 doi:10.4230/LIPIcs.ICALP.2019.69

  23. [23]

    Minimax estimation of functionals of discrete distributions

    Jiantao Jiao, Kartik Venkat, Yanjun Han, and Tsachy Weissman. Minimax estimation of functionals of discrete distributions. IEEE Transactions on Information Theory , 61(5):2835--2885, 2015. https://doi.org/10.1109/TIT.2015.2412945 doi:10.1109/TIT.2015.2412945

  24. [24]

    Maximum likelihood estimation of functionals of discrete distributions

    Jiantao Jiao, Kartik Venkat, Yanjun Han, and Tsachy Weissman. Maximum likelihood estimation of functionals of discrete distributions. IEEE Transactions on Information Theory , 63(10):6774--6798, 2017. https://doi.org/10.1109/TIT.2017.2733537 doi:10.1109/TIT.2017.2733537

  25. [25]

    Quantum linear system algorithm with optimal queries to initial state preparation

    Guang Hao Low and Yuan Su. Quantum linear system algorithm with optimal queries to initial state preparation. Quantum , 10:2041, 2026. https://doi.org/10.22331/q-2026-03-23-2041 doi:10.22331/q-2026-03-23-2041

  26. [26]

    Quantum query complexity of entropy estimation

    Tongyang Li and Xiaodi Wu. Quantum query complexity of entropy estimation. IEEE Transactions on Information Theory , 65(5):2899--2921, 2018. https://doi.org/10.1109/TIT.2018.2883306 doi:10.1109/TIT.2018.2883306

  27. [27]

    On estimating the quantum _ distance

    Yupan Liu and Qisheng Wang. On estimating the quantum _ distance. In Proceedings of the 33rd Annual European Symposium on Algorithms , pages 105:1--105:20, 2025. https://doi.org/10.4230/LIPIcs.ESA.2025.105 doi:10.4230/LIPIcs.ESA.2025.105

  28. [28]

    On estimating the trace of quantum state powers

    Yupan Liu and Qisheng Wang. On estimating the trace of quantum state powers. IEEE Transactions on Information Theory , 2026. https://doi.org/10.1109/TIT.2026.3683891 doi:10.1109/TIT.2026.3683891

  29. [29]

    Succinct quantum testers for closeness and k-wise uniformity of probability distributions

    Jingquan Luo, Qisheng Wang, and Lvzhou Li. Succinct quantum testers for closeness and k-wise uniformity of probability distributions. IEEE Transactions on Information Theory , 70(7):5092--5103, 2024. https://doi.org/10.1109/TIT.2024.3393756 doi:10.1109/TIT.2024.3393756

  30. [30]

    A Survey of Quantum Property Testing , year =

    Ashley Montanaro and Ronald de Wolf. A survey of quantum property testing. In Theory of Computing Library , number 7 in Graduate Surveys, pages 1--81. University of Chicago, 2016. https://doi.org/10.4086/toc.gs.2016.007 doi:10.4086/toc.gs.2016.007

  31. [31]

    Quantum speedup of Monte Carlo methods

    Ashley Montanaro. Quantum speedup of Monte Carlo methods. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences , 471(2181):20150301, 2015. https://doi.org/10.1098/rspa.2015.0301 doi:10.1098/rspa.2015.0301

  32. [32]

    On measures of entropy and information

    Alfr \' e d R \' e nyi. On measures of entropy and information. In Proceedings of the Fourth Berkeley Symposium on Mathematics, Statistics and Probability , pages 547--562, 1961. URL: https://static.renyi.hu/renyi_cikkek/1961_on_measures_of_entropy_and_information.pdf

  33. [33]

    Quantum algorithm for estimating - Renyi entropies of quantum states

    Sathyawageeswar Subramanian and Min-Hsiu Hsieh. Quantum algorithm for estimating - Renyi entropies of quantum states. Physical Review A , 104(2):022428, 2021. https://doi.org/10.1103/PhysRevA.104.022428 doi:10.1103/PhysRevA.104.022428

  34. [34]

    C. E. Shannon. A mathematical theory of communication. The Bell System Technical Journal , 27(3):379--423, 1948. https://doi.org/10.1002/j.1538-7305.1948.tb01338.x doi:10.1002/j.1538-7305.1948.tb01338.x

  35. [35]

    C. E. Shannon. A mathematical theory of communication. The Bell System Technical Journal , 27(4):623--656, 1948. https://doi.org/10.1002/j.1538-7305.1948.tb00917.x doi:10.1002/j.1538-7305.1948.tb00917.x

  36. [36]

    Near optimal quantum algorithm for estimating Shannon entropy, 2025

    Myeongjin Shin and Kabgyun Jeong. Near optimal quantum algorithm for estimating Shannon entropy, 2025. http://arxiv.org/abs/2509.07452 arXiv:2509.07452

  37. [37]

    Possible generalization of Boltzmann-Gibbs statistics,

    Constantino Tsallis. Possible generalization of Boltzmann-Gibbs statistics. Journal of Statistical Physics , 52:479--487, 1988. https://doi.org/10.1007/BF01016429 doi:10.1007/BF01016429

  38. [38]

    Conjugate queries can help

    Ewin Tang, John Wright, and Mark Zhandry. Conjugate queries can help. ArXiv preprints, 2025. http://arxiv.org/abs/2510.07622 arXiv:2510.07622

  39. [39]

    Information-theoretic lower bounds for approximating monomials via optimal quantum Tsallis entropy estimation

    Qisheng Wang. Information-theoretic lower bounds for approximating monomials via optimal quantum Tsallis entropy estimation. ArXiv preprint, 2025. http://arxiv.org/abs/2509.03496 arXiv:2509.03496

  40. [40]

    Limits on the power of quantum statistical zero-knowledge

    John Watrous. Limits on the power of quantum statistical zero-knowledge. In Proceedings of the 43rd Annual IEEE Symposium on Foundations of Computer Science , pages 459--468, 2002. https://doi.org/10.1109/SFCS.2002.1181970 doi:10.1109/SFCS.2002.1181970

  41. [41]

    New quantum algorithms for computing quantum entropies and distances

    Qisheng Wang, Ji Guan, Junyi Liu, Zhicheng Zhang, and Mingsheng Ying. New quantum algorithms for computing quantum entropies and distances. IEEE Transactions on Information Theory , 70(8):5653--5680, 2024. https://doi.org/10.1109/TIT.2024.3399014 doi:10.1109/TIT.2024.3399014

  42. [42]

    Quantum lower bounds by sample-to-query lifting

    Qisheng Wang and Zhicheng Zhang. Quantum lower bounds by sample-to-query lifting. SIAM Journal on Computing , 54(5):1294--1334, 2025. https://doi.org/10.1137/24M1638616 doi:10.1137/24M1638616

  43. [43]

    Time-efficient quantum entropy estimator via samplizer

    Qisheng Wang and Zhicheng Zhang. Time-efficient quantum entropy estimator via samplizer. IEEE Transactions on Information Theory , 71(12):9569--9599, 2025. https://doi.org/10.1109/TIT.2025.3576137 doi:10.1109/TIT.2025.3576137

  44. [44]

    A quantum algorithm framework for discrete probability distributions with applications to R \'e nyi entropy estimation

    Xinzhao Wang, Shengyu Zhang, and Tongyang Li. A quantum algorithm framework for discrete probability distributions with applications to R \'e nyi entropy estimation. IEEE Transactions on Information Theory , 70(5):3399--3426, 2024. https://doi.org/10.1109/TIT.2024.3382037 doi:10.1109/TIT.2024.3382037

  45. [45]

    How to record quantum queries, and applications to quantum indifferentiability

    Mark Zhandry. How to record quantum queries, and applications to quantum indifferentiability. In Proceedings of the 39th Annual International Cryptology Conference , pages 239--268, 2019. https://doi.org/10.1007/978-3-030-26951-7_9 doi:10.1007/978-3-030-26951-7_9