pith. sign in

arxiv: 2506.14068 · v2 · submitted 2025-06-16 · 🪐 quant-ph

Fully Quantum Computational Entropies

Noam Avidan , Thomas A. Hahn , Joseph M. Renes , Rotem Arnon This is my paper

Pith reviewed 2026-05-19 08:47 UTC · model grok-4.3

classification 🪐 quant-ph
keywords quantum computational entropymin-entropymax-entropyentanglement distillationsmooth entropiesquantum information theorybounded circuits
0
0 comments X

The pith

Quantum computational min- and max-entropies incorporate circuit-size bounds into quantum information measures.

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

The paper defines new quantum computational min- and max-entropies, along with smooth versions, to bring computational efficiency into quantum entropic analysis. The min-entropy is presented as the direct quantum analogue of classical unpredictability entropy and as the efficiency-constrained version of ordinary quantum min-entropy. Basic properties including data processing and a chain rule are shown to hold. The max-entropy is introduced by duality and given operational content as the rate at which entanglement can be distilled when only small local circuits are allowed. This construction supplies the starting point for studying which quantum information tasks remain feasible under realistic computational restrictions.

Core claim

Quantum computational min-entropy is defined to equal the largest rate at which a quantum state can be made unpredictable by bounded-size local operations; it satisfies data processing and a chain rule. The corresponding max-entropy is fixed by duality and equals the efficiency of distilling entanglement between a system and its environment when the distilling operations are restricted to local quantum circuits whose size is bounded by a fixed parameter.

What carries the argument

Quantum computational min-entropy, which quantifies unpredictability achievable by bounded-size local quantum circuits.

If this is right

  • The min-entropy obeys a data-processing inequality under quantum channels implemented by bounded circuits.
  • A chain rule relates the computational entropy of a joint system to the conditional entropy of one subsystem.
  • The max-entropy directly bounds the rate of efficient entanglement distillation with the environment.
  • Smooth versions of both entropies inherit the same operational interpretations up to small additive errors.

Where Pith is reading between the lines

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

  • These measures could be used to analyze the information leakage in computationally bounded quantum protocols.
  • One natural extension is to define computational versions of other quantum entropies such as conditional or mutual information.
  • The framework suggests a route to resource theories that treat both quantum entanglement and circuit complexity as limited resources.

Load-bearing premise

Restricting entanglement distillation to local quantum circuits of bounded size gives a meaningful and operationally relevant notion of computational efficiency.

What would settle it

An explicit quantum state and bounded-size circuit family for which the proposed chain rule fails to hold would refute the central claims.

read the original abstract

Quantum information theory, particularly its entropic formulations, has made remarkable strides in characterizing quantum systems and tasks. However, a critical dimension remains underexplored: computational efficiency. While classical computational entropies integrate complexity and feasibility into information measures, analogous concepts have yet to be rigorously developed in the quantum setting. In this work, we lay the basis for a new quantum computational information theory. Such a theory will allow studying efficient -- thus relevant in practice -- manipulation of quantum information. We introduce two innovative entropies: quantum computational min- and max-entropies (along with their smooth variants). Our quantum computational min-entropy is both the fully quantum counterpart of the classical unpredictability entropy, as well as the computational parallel to the quantum min-entropy. We establish a series of essential properties for this new entropy, including data processing and a chain rule. The quantum computational max-entropy is defined via a duality relation and gains operational meaning through an alternative formulation that we derive. Notably, it captures the efficiency of entanglement distillation with the environment, restricted to local quantum circuits of bounded size. With the introduction of our computational entropies and their study, this work marks a critical step toward a quantum information theory that incorporates computational elements.

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

1 major / 1 minor

Summary. The manuscript introduces two new entropies: quantum computational min- and max-entropies (and their smooth variants). The min-entropy is positioned as the fully quantum counterpart to classical unpredictability entropy and the computational analog of the standard quantum min-entropy; the authors claim to prove properties including data processing and a chain rule. The max-entropy is defined via duality and is given an operational interpretation as quantifying the efficiency of entanglement distillation with the environment when restricted to local quantum circuits of bounded size.

Significance. If the claimed properties and operational equivalence can be rigorously established, the work would provide a foundation for incorporating computational constraints into quantum entropic quantities. This could have implications for quantum cryptography and information processing under efficiency restrictions. The explicit properties derived for the min-entropy represent a concrete strength, while the max-entropy side depends on the validity of the alternative formulation.

major comments (1)
  1. [Abstract (final paragraph)] Abstract, final paragraph: The operational meaning of the quantum computational max-entropy is asserted to arise from an alternative formulation quantifying entanglement distillation efficiency under restriction to local quantum circuits of bounded size. The manuscript does not specify the scaling of this bound with system dimension (e.g., polynomial in the number of qubits) or demonstrate independence from the smoothing parameter. Without such a relation, the restriction may function as an arbitrary cutoff rather than a controlled complexity constraint, undermining the claim that it serves as the computational parallel to the ordinary quantum max-entropy.
minor comments (1)
  1. The abstract refers to 'a series of essential properties' for the min-entropy without enumerating them; including a brief list or forward reference to the relevant section would improve readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the constructive major comment. We address the point directly below and propose a targeted revision to improve clarity without altering the technical content.

read point-by-point responses

  1. Referee: The operational meaning of the quantum computational max-entropy is asserted to arise from an alternative formulation quantifying entanglement distillation efficiency under restriction to local quantum circuits of bounded size. The manuscript does not specify the scaling of this bound with system dimension (e.g., polynomial in the number of qubits) or demonstrate independence from the smoothing parameter. Without such a relation, the restriction may function as an arbitrary cutoff rather than a controlled complexity constraint, undermining the claim that it serves as the computational parallel to the ordinary quantum max-entropy.

    Authors: We agree that the abstract would benefit from greater precision on this point. In the body of the manuscript the bounded-size restriction is understood in the standard sense of polynomial-size quantum circuits (i.e., size poly(n) for an n-qubit system), which is the natural computational-efficiency constraint that parallels the ordinary quantum max-entropy. The operational equivalence is shown to hold for any smoothing parameter ε that is at most inverse-polynomial in n, the regime in which the smoothing does not affect the asymptotic computational character of the quantity. To make this explicit we will revise the final paragraph of the abstract to read: “restricted to local quantum circuits of size polynomial in the number of qubits, with the equivalence holding independently of the smoothing parameter for inverse-polynomial smoothing.” A brief clarifying sentence will also be added in the relevant section of the main text. This revision directly addresses the concern while preserving the original technical claims. revision: yes

Circularity Check

0 steps flagged

No circularity: definitions and operational meanings introduced independently without reduction to inputs or self-citations

full rationale

The paper introduces quantum computational min- and max-entropies as new concepts, with the min-entropy supported by explicit properties such as data processing and chain rule, and the max-entropy defined via duality with operational content from a derived alternative formulation involving bounded-size circuits. No equations reduce by construction to fitted parameters, no self-citations form load-bearing chains, and no ansatz or uniqueness is smuggled in. The circuit-size restriction is presented as a modeling choice for computational efficiency rather than a derived prediction, keeping the central claims self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

Review uses only the abstract; no explicit free parameters, axioms, or invented physical entities are described. The new entropies are definitional contributions rather than postulated objects with independent evidence.

axioms (1)
  • domain assumption Standard axioms and properties of quantum information theory remain valid when computational restrictions are added.
    The work extends existing quantum entropy concepts without stating new foundational axioms.
invented entities (1)
  • quantum computational min-entropy no independent evidence
    purpose: Measure of uncertainty that incorporates computational efficiency via bounded circuits.
    Newly defined quantity introduced in the abstract; no independent falsifiable prediction supplied.

pith-pipeline@v0.9.0 · 5752 in / 1145 out tokens · 46563 ms · 2026-05-19T08:47:18.582026+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.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Accessible Quantum Correlations Under Complexity Constraints

    quant-ph 2026-04 unverdicted novelty 7.0

    Computational constraints exponentially suppress accessible entanglement for some highly entangled quantum states and can make mixed-state min-entropy appear maximal when the information-theoretic version is negative.

Reference graph

Works this paper leans on

90 extracted references · 90 canonical work pages · cited by 1 Pith paper · 4 internal anchors

  1. [1]

    Springer, Cham, Switzerland (2016)

    Tomamichel, M.: Quantum Information Processing with Finite Resources. Springer, Cham, Switzerland (2016)

    work page 2016

  2. [2]

    Khatri, S., Wilde, M.M.: Principles of quantum communication theory: A modern approach (2024) arXiv:2011.04672

    work page arXiv 2024

  3. [3]

    Communications in Mathematical Physics328(1), 251–284 (2014)

    Dupuis, F., Berta, M., Wullschleger, J., Renner, R.: One-shot decoupling. Communications in Mathematical Physics328(1), 251–284 (2014)

    work page 2014

  4. [4]

    Communications in Mathematical Physics 379(3), 867–913 (2020)

    Dupuis, F., Fawzi, O., Renner, R.: Entropy Accumulation. Communications in Mathematical Physics 379(3), 867–913 (2020)

    work page 2020

  5. [5]

    International Journal of Quantum Information 6(01), 1–127 (2008)

    Renner, R.: Security of quantum key distribution. International Journal of Quantum Information 6(01), 1–127 (2008)

    work page 2008

  6. [6]

    Reviews of Modern Physics81(2), 865–942 (2009)

    Horodecki, R., Horodecki, P., Horodecki, M., Horodecki, K.: Quantum entangle- ment. Reviews of Modern Physics81(2), 865–942 (2009)

    work page 2009

  7. [7]

    Nature453(7198), 1023–1030 (2008)

    Kimble, H.J.: The quantum internet. Nature453(7198), 1023–1030 (2008)

    work page 2008

  8. [8]

    Mathematical Proceedings of the Cambridge Philosophical Society32(3), 446–452 (1936)

    Schrödinger, E.: Probability relations between separated systems. Mathematical Proceedings of the Cambridge Philosophical Society32(3), 446–452 (1936)

    work page 1936

  9. [9]

    Physics Letters A183(1), 14–18 (1993)

    Hughston, L.P., Jozsa, R., Wootters, W.K.: A complete classification of quantum ensembles having a given density matrix. Physics Letters A183(1), 14–18 (1993)

    work page 1993

  10. [10]

    Plenio, M.B., Virmani, S.: An introduction to entanglement measures (2006) arXiv:quant-ph/0504163

    work page internal anchor Pith review Pith/arXiv arXiv 2006

  11. [11]

    Cambridge university press, Cambridge (2010)

    Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information. Cambridge university press, Cambridge (2010)

    work page 2010

  12. [12]

    Quantum2, 79 (2018)

    Preskill, J.: Quantum computing in the NISQ era and beyond. Quantum2, 79 (2018)

    work page 2018

  13. [13]

    transition probability

    Uhlmann, A.: The “transition probability” in the state space of a *-algebra. Reports on Mathematical Physics9(2), 273–279 (1976)

    work page 1976

  14. [14]

    Bostanci, J., Efron, Y., Metger, T., Poremba, A., Qian, L., Yuen, H.: Unitary Complexity and the Uhlmann Transformation Problem (2023) arXiv:2306.13073 32

    work page arXiv 2023

  15. [15]

    Gheorghiu, A., Hoban, M.J.: Estimating the entropy of shallow circuit outputs is hard (2020) arXiv:2002.12814

    work page arXiv 2020

  16. [16]

    Aaronson, S., Bouland, A., Fefferman, B., Ghosh, S., Vazirani, U., Zhang, C., Zhou, Z.: Quantum pseudoentanglement (2022) arXiv:2211.00747

    work page arXiv 2022

  17. [17]

    Arnon-Friedman, R., Brakerski, Z., Vidick, T.: Computational entanglement theory (2023) arXiv:2310.02783 [quant-ph]

    work page arXiv 2023

  18. [18]

    IEEE Transactions on Information Theory 56(9), 4674–4681 (2010)

    Tomamichel, M., Colbeck, R., Renner, R.: Duality Between Smooth Min- and Max-Entropies. IEEE Transactions on Information Theory 56(9), 4674–4681 (2010)

    work page 2010

  19. [19]

    IEEE Transactions on Information Theory55(9), 4337–4347 (2009)

    Konig, R., Renner, R., Schaffner, C.: The operational meaning of min- and max- entropy. IEEE Transactions on Information Theory55(9), 4337–4347 (2009)

    work page 2009

  20. [20]

    Jules, M.: Computational security of quantum encryption

    Alagic, G., Broadbent, A., Fefferman, B., Gagliardoni, T., Schaffner, C., St. Jules, M.: Computational security of quantum encryption. In: Information Theoretic Security: 9th International Conference, ICITS 2016, Tacoma, WA, USA, August 9-12, 2016, Revised Selected Papers 9, pp. 47–71 (2016). Springer

    work page 2016

  21. [21]

    Cryptology ePrint Archive, Paper 2018/544 (2018)

    Ji, Z., Liu, Y.-K., Song, F.: Pseudorandom Quantum States. Cryptology ePrint Archive, Paper 2018/544 (2018). https://eprint.iacr.org/2018/544

    work page 2018

  22. [22]

    Bouland, A., Fefferman, B., Ghosh, S., Metger, T., Vazirani, U., Zhang, C., Zhou, Z.: Public-key pseudoentanglement and the hardness of learning ground state entanglement structure (2023) arXiv:2311.12017 [quant-ph]

    work page arXiv 2023

  23. [23]

    Leone, L., Rizzo, J., Eisert, J., Jerbi, S.: Entanglement theory with limited computational resources (2025) arXiv:2502.12284

    work page arXiv 2025

  24. [24]

    In: International Symposium on Information Theory, 2004

    Renner, R., Wolf, S.: Smooth rényi entropy and applications. In: International Symposium on Information Theory, 2004. ISIT 2004. Proceedings., p. 233 (2004). IEEE

    work page 2004

  25. [25]

    Journal of Mathematical Physics 54(12), 122203 (2013)

    Müller-Lennert, M., Dupuis, F., Szehr, O., Fehr, S., Tomamichel, M.: On quan- tum Rényi entropies: A new generalization and some properties. Journal of Mathematical Physics 54(12), 122203 (2013)

    work page 2013

  26. [26]

    In: 2022 IEEE 63rd Annual Symposium on Foundations of Computer Science (FOCS), pp

    Metger, T., Fawzi, O., Sutter, D., Renner, R.: Generalised entropy accumulation. In: 2022 IEEE 63rd Annual Symposium on Foundations of Computer Science (FOCS), pp. 844–850 (2022). IEEE

    work page 2022

  27. [27]

    Journal of Mathematical Physics 56(2) (2015)

    Dupuis, F.: Chain rules for quantum Rényi entropies. Journal of Mathematical Physics 56(2) (2015)

    work page 2015

  28. [28]

    Nature 33 communications 9(1), 459 (2018)

    Arnon-Friedman, R., Dupuis, F., Fawzi, O., Renner, R., Vidick, T.: Practical device-independent quantum cryptography via entropy accumulation. Nature 33 communications 9(1), 459 (2018)

    work page 2018

  29. [29]

    Arqand, A., Hahn, T.A., Tan, E.Y.-Z.: Generalized rényi entropy accu- mulation theorem and generalized quantum probability estimation (2024) arXiv:2405.05912

    work page arXiv 2024

  30. [30]

    Journal of Mathematical Physics54(12) (2013)

    Beigi, S.: Sandwiched Rényi divergence satisfies data processing inequality. Journal of Mathematical Physics54(12) (2013)

    work page 2013

  31. [31]

    Quantum Information Processing 22(5), 222 (2023)

    Zhai, Y., Yang, B., Xi, Z.: Bounds for smooth min-and max-entropy. Quantum Information Processing 22(5), 222 (2023)

    work page 2023

  32. [32]

    In: Approximation, Randomization, and Combinatorial Optimization

    Barak, B., Shaltiel, R., Wigderson, A.: Computational analogues of entropy. In: Approximation, Randomization, and Combinatorial Optimization.. Algorithms and Techniques: 6th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2003 and 7th International Workshop on Randomization and Approximation Techniques in...

    work page 2003

  33. [33]

    In: Naor, M

    Hsiao, C.-Y., Lu, C.-J., Reyzin, L.: Conditional Computational Entropy, or Toward Separating Pseudoentropy from Compressibility. In: Naor, M. (ed.) Advances in Cryptology - EUROCRYPT 2007, pp. 169–186. Springer, Berlin, Heidelberg (2007)

    work page 2007

  34. [34]

    Avidan, N., Arnon, R.: Quantum computational unpredictability entropy and quantum leakage resilience (2025) arXiv:2505.13710

    work page arXiv 2025

  35. [35]

    Chen, Y.-H., Chung, K.-M., Lai, C.-Y., Vadhan, S.P., Wu, X.: Computational notions of quantum min-entropy (2017) arXiv:1704.07309

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  36. [36]

    Cryptology ePrint Archive, Paper 2014/678 (2014)

    Krenn, S., Pietrzak, K., Wadia, A., Wichs, D.: A Counterexample to the Chain Rule for Conditional HILL Entropy. Cryptology ePrint Archive, Paper 2014/678 (2014)

    work page 2014

  37. [37]

    Cryptol- ogy ePrint Archive (2012)

    Fuller, B., Reyzin, L.: Computational entropy and information leakage. Cryptol- ogy ePrint Archive (2012)

    work page 2012

  38. [38]

    In: 2008 49th Annual IEEE Symposium on Foundations of Computer Science, pp

    Reingold, O., Trevisan, L., Tulsiani, M., Vadhan, S.: Dense subsets of pseudoran- dom sets. In: 2008 49th Annual IEEE Symposium on Foundations of Computer Science, pp. 76–85 (2008). IEEE

    work page 2008

  39. [39]

    Cryptology ePrint Archive, Paper 2008/240 (2008)

    Dziembowski, S., Pietrzak, K.: Leakage-Resilient Cryptography in the Standard Model. Cryptology ePrint Archive, Paper 2008/240 (2008)

    work page 2008

  40. [40]

    SIAM Journal on Computing28(4), 1364–1396 34 (1999)

    Håstad, J., Impagliazzo, R., Levin, L.A., Luby, M.: A pseudorandom genera- tor from any one-way function. SIAM Journal on Computing28(4), 1364–1396 34 (1999)

    work page 1999

  41. [41]

    In: Nascimento, A.C.A., Barreto, P

    Skórski, M.: A Better Chain Rule for HILL Pseudoentropy - Beyond Bounded Leakage. In: Nascimento, A.C.A., Barreto, P. (eds.) Information Theoretic Security, pp. 279–299. Springer, Cham (2016)

    work page 2016

  42. [42]

    Cambridge University Press, Cam- bridge (2013)

    Wilde, M.M.: Quantum Information Theory. Cambridge University Press, Cam- bridge (2013)

    work page 2013

  43. [43]

    De Gruyter Oldenbourg, Berlin (2022)

    Renes, J.M.: Quantum Information Theory: Concepts And Methods. De Gruyter Oldenbourg, Berlin (2022)

    work page 2022

  44. [44]

    Physical review letters70(13), 1895 (1993)

    Bennett, C.H., Brassard, G., Crépeau, C., Jozsa, R., Peres, A., Wootters, W.K.: Teleporting an unknown quantum state via dual classical and Einstein-Podolsky- Rosen channels. Physical review letters70(13), 1895 (1993)

    work page 1993

  45. [45]

    Physical review letters69(20), 2881 (1992)

    Bennett, C.H., Wiesner, S.J.: Communication via one-and two-particle operators on Einstein-Podolsky-Rosen states. Physical review letters69(20), 2881 (1992)

    work page 1992

  46. [46]

    II16(2), 142–147

    Hellwig, K.-E., Kraus, K.: Operations and Measurements. II16(2), 142–147

    work page

  47. [47]

    Proceedings of the Ameri- can Mathematical Society6(2), 211–216 (1955)

    Stinespring, W.F.: Positive functions on C*-algebras. Proceedings of the Ameri- can Mathematical Society6(2), 211–216 (1955)

    work page 1955

  48. [48]

    Tan, E.Y.-Z.: Prospects for device-independent quantum key distribution (2024) arXiv:2111.11769

    work page arXiv 2024

  49. [49]

    In: Kilian, J

    Renner, R., König, R.: Universally Composable Privacy Amplification Against Quantum Adversaries. In: Kilian, J. (ed.) Theory of Cryptography, pp. 407–425. Springer, Berlin, Heidelberg (2005)

    work page 2005

  50. [50]

    IEEE Transactions on Information Theory 63(3), 1792–1817 (2017)

    Wilde, M.M., Tomamichel, M., Berta, M.: Converse Bounds for Private Com- munication Over Quantum Channels. IEEE Transactions on Information Theory 63(3), 1792–1817 (2017)

    work page 2017

  51. [51]

    In: International Symposium on Information Theory, 2004

    Renner, R., Wolf, S.: Smooth Renyi entropy and applications. In: International Symposium on Information Theory, 2004. ISIT 2004. Proceedings., p. 233 (2004)

    work page 2004

  52. [52]

    In: Proceedings of 1993 IEEE 34th Annual Foundations of Computer Science, pp

    Chi-Chih Yao, A.: Quantum circuit complexity. In: Proceedings of 1993 IEEE 34th Annual Foundations of Computer Science, pp. 352–361 (1993)

    work page 1993

  53. [54]

    Talbot, J., Welsh, D.J.: Complexity and Cryptography: An Introduction vol. 13. Cambridge University Press, Cambridge (2006)

    work page 2006

  54. [55]

    Jia, Y., Wolf, M.M.: Hay from the Haystack: Explicit Examples of Exponential 35 Quantum Circuit Complexity402(1), 141–156

    work page

  55. [56]

    In: 30th Annual Symposium on Foundations of Computer Science, pp

    Impagliazzo, R., Luby, M.: One-way functions are essential for complexity based cryptography. In: 30th Annual Symposium on Foundations of Computer Science, pp. 230–235 (1989). IEEE Computer Society

    work page 1989

  56. [57]

    Cryptology ePrint Archive, Paper 2022/278 (2022)

    Haitner, I., Mazor, N., Silbak, J.: Incompressiblity and Next-Block Pseudoen- tropy. Cryptology ePrint Archive, Paper 2022/278 (2022)

    work page 2022

  57. [58]

    Journal of the ACM (JACM)56(6), 1–40 (2009)

    Regev, O.: On lattices, learning with errors, random linear codes, and cryptog- raphy. Journal of the ACM (JACM)56(6), 1–40 (2009)

    work page 2009

  58. [59]

    In: Annual International Conference on the Theory and Applications of Crypto- graphic Techniques, pp

    Banerjee, A., Peikert, C., Rosen, A.: Pseudorandom functions and lattices. In: Annual International Conference on the Theory and Applications of Crypto- graphic Techniques, pp. 719–737 (2012). Springer

    work page 2012

  59. [60]

    In: Pro- ceedings of the Thirty-ninth Annual ACM Symposium on Theory of Computing, pp

    Gutoski, G., Watrous, J.: Toward a general theory of quantum games. In: Pro- ceedings of the Thirty-ninth Annual ACM Symposium on Theory of Computing, pp. 565–574 (2007)

    work page 2007

  60. [61]

    Journal of Cryptology 3(3), 187–199 (1991)

    Kaliski Jr, B.S.: One-way permutations on elliptic curves. Journal of Cryptology 3(3), 187–199 (1991)

    work page 1991

  61. [62]

    Communications in Mathematical Physics244(1), 157–185 (2004)

    Winter, A.: Extrinsic and Intrinsic Data in Quantum Measurements: Asymptotic Convex Decomposition of Positive Operator Valued Measures. Communications in Mathematical Physics244(1), 157–185 (2004)

    work page 2004

  62. [63]

    Bennett, C.H., Brassard, G., Crépeau, C., Maurer, U.M.: Generalized privacy amplification.IEEETransactionsonInformationtheory 41(6),1915–1923(2002)

    work page 1915

  63. [64]

    In: 26th Annual Symposium on Foundations of Computer Science (sfcs 1985), pp

    Chor,B.,Goldreich,O.:Unbiasedbitsfromsourcesofweakrandomnessandprob- abilistic communication complexity. In: 26th Annual Symposium on Foundations of Computer Science (sfcs 1985), pp. 429–442 (1985)

    work page 1985

  64. [65]

    Cleve, R., Dam, W., Nielsen, M., Tapp, A.: Quantum entanglement and the communication complexity of the inner product function (1998) arXiv:quant- ph/9708019

    work page arXiv 1998

  65. [66]

    New Journal of Physics15(5), 053022 (2013)

    Szehr, O., Dupuis, F., Tomamichel, M., Renner, R.: Decoupling with unitary approximate two-designs. New Journal of Physics15(5), 053022 (2013)

    work page 2013

  66. [67]

    Journal of Mathematical Physics58(5) (2017)

    Nakata, Y., Hirche, C., Morgan, C., Winter, A.: Unitary 2-designs from random X- and Z-diagonal unitaries. Journal of Mathematical Physics58(5) (2017)

    work page 2017

  67. [68]

    IEEE Transactions on Information Theory48(3), 580–598 (2002) 36

    DiVincenzo, D.P., Leung, D.W., Terhal, B.M.: Quantum data hiding. IEEE Transactions on Information Theory48(3), 580–598 (2002) 36

    work page 2002

  68. [69]

    Communications in Mathematical Physics291(1), 257–302 (2009)

    Harrow, A.W., Low, R.A.: Random Quantum Circuits are Approximate 2- designs. Communications in Mathematical Physics291(1), 257–302 (2009)

    work page 2009

  69. [70]

    Iyer, P., Poulin, D.: Hardness of decoding quantum stabilizer codes (2013) arXiv:1310.3235

    work page internal anchor Pith review Pith/arXiv arXiv 2013

  70. [71]

    Brakerski, Z., Canetti, R., Qian, L.: On the computational hardness needed for quantum cryptography (2022) arXiv:2209.04101

    work page arXiv 2022

  71. [72]

    In: 23rd Annual Symposium on Foundations of Computer Science (sfcs 1982), pp

    Yao, A.C.: Theory and application of trapdoor functions. In: 23rd Annual Symposium on Foundations of Computer Science (sfcs 1982), pp. 80–91 (1982)

    work page 1982

  72. [73]

    In: Theory of Cryptography Conference, pp

    Barooti, K., Grilo, A.B., Huguenin-Dumittan, L., Malavolta, G., Sattath, O., Vu, Q.-H., Walter, M.: Public-key encryption with quantum keys. In: Theory of Cryptography Conference, pp. 198–227 (2023). Springer

    work page 2023

  73. [74]

    Nature549(7671), 188– 194 (2017)

    Bernstein, D.J., Lange, T.: Post-quantum cryptography. Nature549(7671), 188– 194 (2017)

    work page 2017

  74. [75]

    JHEP 608, 045 (2006)

    Ryu, S., Takayanagi, T.: Holographic derivation of entanglement entropy from AdS/CFT. JHEP 608, 045 (2006)

    work page 2006

  75. [76]

    Journal of High Energy Physics2006(08), 045 (2006)

    Ryu, S., Takayanagi, T.: Aspects of holographic entanglement entropy. Journal of High Energy Physics2006(08), 045 (2006)

    work page 2006

  76. [77]

    Physical Review D87(4), 046003 (2013)

    Hayden, P., Headrick, M., Maloney, A.: Holographic mutual information is monogamous. Physical Review D87(4), 046003 (2013)

    work page 2013

  77. [78]

    Journal of High Energy Physics2021(4), 1–73 (2021)

    Akers, C., Penington, G.: Leading order corrections to the quantum extremal surface prescription. Journal of High Energy Physics2021(4), 1–73 (2021)

    work page 2021

  78. [79]

    Akers,C.,Levine,A.,Penington,G.,Wildenhain,E.:One-shotholography(2023) arXiv:2307.13032

    work page arXiv 2023

  79. [80]

    Physical Review Letters107(9) (2011)

    Winkler, S., Tomamichel, M., Hengl, S., Renner, R.: Impossibility of growing quantum bit commitments. Physical Review Letters107(9) (2011)

    work page 2011

  80. [81]

    Optimal sequence of POVMs in the sense of Stein's lemma in quantum hypothesis testing

    Hayashi, M.: Optimal sequence of quantum measurements in the sense of Stein s lemma in quantum hypothesis testing. Journal of Physics A: Mathematical and General 35(50), 10759–10773 (2002) arXiv:quant-ph/0107004v2

    work page internal anchor Pith review Pith/arXiv arXiv 2002

Showing first 80 references.