Pith. sign in

REVIEW 2 major objections 4 minor 40 references

Witness robustness exactly equals free-state discrimination advantage

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · deepseek-v4-flash

2026-07-31 23:30 UTC pith:2A5L447I

load-bearing objection Genuinely new witness-based robustness for measurements with a clean operational theorem and exact analytical examples; but the advertised resource-destroying-map result overreaches what Theorem 3 proves. the 2 major comments →

arxiv 2607.27892 v1 pith:2A5L447I submitted 2026-07-30 quant-ph

Witness robustness: An operational quantifier of measurement resources via free state discrimination

Jingsong Ao , Aby Philip , Alexander Streltsov This is my paper
classification quant-ph MSC 81P1581P4581P40 PACS 03.65.Ta03.67.-a
keywords witness robustnessquantum measurementsresource theoriesfree-state discriminationdual conequantum data hidingresource-destroying maps
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper introduces witness robustness, a new way to quantify how resourceful a quantum measurement is: instead of adding noise of the same physical kind (another measurement), it adds a tuple of free-state witnesses—observables that are nonnegative on every free state. Its central result is an exact operational identity: the maximal advantage that a measurement can provide over any free measurement in discriminating an ensemble made of free states is exactly 1 plus its witness robustness. This gives the measure a concrete game-theoretic meaning and distinguishes it from standard and generalized robustness, which are not tied to free-state ensembles. The paper shows when the measure is faithful (free states with nonempty interior) and when it vanishes entirely (resource theories with resource-destroying maps), and derives exact formulas for single-qubit magic and two-qubit PPT entanglement. A sympathetic reader would care because it connects resource quantification, state discrimination, and quantum data hiding in a single parameter.

Core claim

The central claim is that witness robustness R^F_{M_F}(M) — the minimum weight of free-state-witness noise that must be admixed to make a measurement free — is not merely a formal robustness measure but an operational one. Theorem 1 proves that for every N-outcome measurement M, max over free-state ensembles A_F of P_succ(A_F,M) divided by max over free measurements F of P_succ(A_F,F) equals 1 + R^F_{M_F}(M). In words, the ratio of the best discrimination success a measurement can achieve on free states to the best success any free measurement can achieve is exactly one plus its witness robustness. The proof goes through Sion's minimax theorem, which exchanges the max over ensembles with the

What carries the argument

The central object is the dual cone cone*(F) of free-state witnesses—all observables with nonnegative expectation on every free state—together with the robustness definition R^F_{M_F}(M) = inf { r ≥ 0 : (M + rW)/(1+r) ∈ M_F, W_i ∈ cone*(F) }. Its power comes from Theorem 1, which uses Sion's minimax theorem to convert the discrimination-advantage ratio into the dual-cone membership condition λF_i − M_i ∈ cone*(F), making the operational and algebraic descriptions coincide. The second key mechanism is the resource-destroying map Λ (with adjoint condition), whose freezing property Λ(σ)=σ for free states forces F_i−M_i = Λ*(M_i)−M_i to be witnesses, so every measurement has zero witness robustn

Load-bearing premise

The paper's headline claim that witness robustness vanishes under any resource-destroying map relies on the extra assumption—stated only in the theorem, not in the abstract—that the map's adjoint also sends every measurement to a free measurement; this is not implied by the standard definition of a resource-destroying map acting on states.

What would settle it

Take a resource-destroying map Λ that satisfies the usual state conditions (Λ(ρ) ∈ F and Λ(σ)=σ for free σ) but whose adjoint maps some valid POVM to a non-free POVM; compute the witness robustness of that POVM using the SDP in the appendices. A positive value would refute the unqualified vanishing claim as advertised in the abstract.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • If a measurement has nonzero witness robustness, there exists a free-state ensemble on which it strictly outperforms every free measurement; zero witness robustness means no such advantage exists.
  • In any resource theory where free states form a set with nonempty interior, every resourceful measurement is guaranteed to provide an advantage in some free-state discrimination task—witness robustness is faithful there.
  • In resource theories with a resource-destroying map (whose adjoint sends measurements to free ones), all free-state ensembles are optimally discriminated by free measurements, so resourceful measurements have zero witness robustness and offer no advantage.
  • The maximum witness robustness over all measurements quantifies the optimal data-hiding limit of the resource theory, directly linking the measure to quantum data hiding.
  • The explicit formulas—single-qubit stabilizer measurements and two-qubit PPT projectors (equal to concurrence/4)—give testable predictions and show the measure can be computed analytically for important cases.

Where Pith is reading between the lines

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

  • Editorial inference: The unfaithfulness result suggests that in resource theories like coherence, asymmetry, and imaginarity, no measurement can ever beat free measurements on free states, so data hiding is impossible there; this sharpens the known distinction between these theories and entanglement/magic.
  • Editorial inference: Because witness robustness is the smallest of the three robustnesses (witness ≤ generalized ≤ standard), comparing the three for a given measurement may reveal how much of a measurement's advantage depends on having resourceful states available.
  • Editorial inference: The authors note that extending beyond convex free sets (e.g., discord) is open; one could test a 'convexified' witness robustness, or define the measure on the convex hull of free states, and check whether the operational identity still holds.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

2 major / 4 minor

Summary. The paper introduces the witness robustness of quantum measurements, a resource quantifier in which the admissible noise is a tuple of free-state witnesses rather than a physical measurement. The central result, Theorem 1, gives an operational characterization: for every N-outcome measurement, the maximum success probability in discriminating free-state ensembles by that measurement, divided by the corresponding maximum over free measurements, equals 1 plus the witness robustness. The paper also establishes ordering relations with standard and generalized robustness, convexity, monotonicity, an upper bound, a faithfulness condition, and a claimed vanishing property in theories with resource-destroying maps. Analytical results are derived for single-qubit magic projective measurements and for binary two-qubit PPT-entanglement projective measurements, with independent numerical checks.

Significance. If the operational characterization is correct, the witness robustness provides a natural and physically motivated quantification of measurement resources when only free states are preparable. The main proof is self-contained and derives the result from Sion's minimax theorem. The analytical examples are concrete, and the agreement with independent numerical optimization strengthens them. The unfaithfulness of the measure and its connection to free-state discrimination gaps and data hiding are interesting conceptual contributions. However, the advertised resource-destroying-map result is overstated: Theorem 3 requires an additional adjoint condition that is not part of the standard definition, and the abstract and Section 9 state the conclusion without this qualification. This needs correction before the paper can be accepted.

major comments (2)
  1. [Section 7, Theorem 3, Eq. (60); Abstract; Section 9] Theorem 3 is proved only under the extra adjoint condition (60), namely that the adjoint Lambda* of the resource-destroying map maps every measurement into M_F. This is not implied by the standard definition of a resource-destroying map from Ref. [19], which acts on states. The proof uses (60) to guarantee that F_i = Lambda*(M_i) lies in M_F before applying Lemma 6. The unqualified statements in the abstract ('in resource theories admitting a resource-destroying map, the witness robustness vanishes for every measurement') and in Section 9 are therefore false as written. A concrete counterexample: qubit coherence with F the diagonal states, Lambda the full dephasing map, and M_F = {qI,(1-q)I}; for M = (|0><0|, |1><1|), Lambda*(M)=M is not in M_F, and the witness robustness equals 1, not 0. Please state (60) explicitly as a hypothesis, qualify the abstract and conclusion, and discuss which
  2. [Section 5, Lemma 5 (Eq. (51))] The universal upper bound R^F_{M_F}(M) ≤ N−1 assumes that the trivial measurement (U/N,...,U/N) is free. This is stated only in passing in the proof ('since the trivial measurement Fi = U/N is free (F ∈ M_F)'), but it is not a hypothesis of the lemma or an axiom of the general convex resource theory set in Section 2. M_F is an arbitrary closed convex set of measurements; nothing forces it to contain the trivial measurement. The lemma should either state this assumption explicitly or be restricted to theories with a free trivial measurement. Since Remark 1 and the data-hiding interpretation build on this bound, the scope needs to be acknowledged.
minor comments (4)
  1. [Section 5, first paragraph] Typo: 'The first couples properties' should be 'The first couple of properties'.
  2. [Eq. (22)] The denominator contains a stray period: 'P_succ(A_F.F)' should be 'P_succ(A_F,F)'.
  3. [Section 4, around Eq. (15)] The tuple inner product notation ⟨M,ω⟩ is used before it is defined. Please define ⟨M,ω⟩ = sum_i ⟨M_i,ω_i⟩ explicitly.
  4. [Appendix C.2, Eq. (123)] The SDP formulation omits the witness variables W_i; the constraint is written directly as G_i−M_i = P_i+Q_i^Γ. This is clear in context but could confuse readers; a brief sentence connecting it to Definition 1 would help.

Circularity Check

0 steps flagged

No significant circularity: Theorem 1 is derived self-contained via Sion's minimax; self-citations are contextual only. The resource-destroying-map overclaim is a correctness gap, not circularity.

full rationale

The central derivation is self-contained. Theorem 1 (Eq. (13)) is proved from Sion's minimax theorem (Eq. (17)) and the definition of witness robustness (Eq. (10)); the re-parameterization λ=1+r, W_i=(λF_i-M_i)/r is an algebraic identity, not an assumption of the conclusion. Lemmas 3–6 and Theorem 2 are proved within the paper from the definitions and convex geometry. The only self-citations, Refs. [18,25], appear in the introduction as context (e.g., 'the condition ... derived by the authors in [18]' and 'The authors previously proved ... [18,25]'); they are not used in any proof or to fix the value of a quantity. The analytical examples in Sec. 8 are independently checked against numerical optimization (App. C). The abstract and Sec. 9 state an unqualified vanishing conclusion for resource-destroying maps, but Theorem 3 needs the additional assumption (60) that Λ* maps every measurement into M_F, which is not part of the resource-destroying-map definition [19]; this is an overclaim or missing hypothesis, not a circular step, and is weighed here as a correctness risk rather than evidence of derivation-by-definition. Accordingly the circularity score is low.

Axiom & Free-Parameter Ledger

0 free parameters · 7 axioms · 0 invented entities

The central object is a definition; no parameters are fitted to data. The main hidden inputs are closed convex free sets, the availability of the trivial measurement as a free measurement, and in Theorem 3 an extra adjoint condition not part of the standard resource-destroying-map definition. The analytical examples use standard dual-cone characterizations.

axioms (7)
  • standard math Sion's minimax theorem applies to the compact convex sets Ω_F and M_F.
    Used in the proof of Theorem 1 (Eq. 17) to exchange max over ensembles and min over free measurements.
  • domain assumption F and M_F are closed and convex; Ω(V) and effects define a finite-dimensional GPT, with quantum theory as a special case.
    Section 2.1 sets the entire framework; Definition 1 depends on closed convex free sets and cone(F).
  • ad hoc to paper The trivial measurement F_i = U/N is free for every N.
    Invoked without proof in Lemma 5 to get the universal bound R≤N−1 and implicitly to keep max_F P_succ positive in Theorem 1. Not implied by the earlier axioms.
  • ad hoc to paper For the vanishing result, the adjoint Λ* of the resource-destroying map must map every measurement into M_F (condition (60)).
    Theorem 3 assumes this 'in addition'; the abstract and Section 9 state the conclusion without this condition.
  • domain assumption For PPT theory, cone*(PPT) equals the decomposable witnesses P+Q^Γ.
    Section 8.2 uses the Horodecki characterization; standard but imported.
  • domain assumption For single-qubit magic, the free measurements are exactly the effects E_i with a_0 ≥ ‖a‖_1.
    Section 8.1 defines STAB and Appendix B proves it equals stabilizer-implementable POVMs.
  • standard math Full-dimensional free-state cone implies pointed dual cone.
    Used in Theorem 2 (faithfulness) via Boyd & Vandenberghe Exercise 2.31(e).

pith-pipeline@v1.3.0-daily-deepseek · 17971 in / 22191 out tokens · 208385 ms · 2026-07-31T23:30:55.274510+00:00 · methodology

0 comments
read the original abstract

We introduce the witness robustness of quantum measurements, a resource quantifier whose admissible noise consists of tuples of free-state witnesses rather than physical measurements. We establish its operational interpretation: it quantifies the maximal advantage that a measurement can provide over free measurements in discriminating an ensemble composed entirely of free states. Unlike the standard and generalized robustnesses, the witness robustness is not faithful in general, reflecting the fact that a resourceful measurement need not be useful when only free states can be prepared. We identify conditions under which faithfulness is recovered and show that, in resource theories admitting a resource-destroying map, the witness robustness vanishes for every measurement. We also establish fundamental properties, including convexity and monotonicity. Finally, we derive analytical results for projective measurements in single-qubit magic and for binary pure-state projective measurements in the two-qubit PPT entanglement theory.

Figures

Figures reproduced from arXiv: 2607.27892 by Aby Philip, Alexander Streltsov, Jingsong Ao.

Figure 1
Figure 1. Figure 1: Witness robustness as a relaxation of the admixed noise. All sets live in the space of [PITH_FULL_IMAGE:figures/full_fig_p005_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Witness robustness and generalized robustness along two single-qubit Bloch-vector trajectories. For the projective measurement M = (Π, I − Π), with Π = 1 2 (I + ˆn · ⃗σ) and ∥nˆ∥2 = 1, the witness robustness is computed analytically (green line) and numerically (orange circles), while the generalized robustness is computed numerically (blue dashed line and triangles). (a) Along nˆ(s) ∝ (1, 1 − s, 1), s ∈ [… view at source ↗
Figure 3
Figure 3. Figure 3: Witness robustness and generalized robustness of a two-qubit projective measure￾ment. The measurement is M = (Π,I−Π), where Π = |ψ(θ)⟩⟨ψ(θ)| and |ψ(θ)⟩ = cos θ|00⟩+sin θ|11⟩, with θ ∈ [0, π/4]. The witness robustness RPPT PPT = C/4, where C = sin(2θ) is the concurrence of |ψ(θ)⟩, is evaluated analytically (green line) and numerically (orange circles). The generalized robust￾ness is evaluated numerically (b… view at source ↗

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

40 extracted references · 17 linked inside Pith

  1. [1]

    Quantum resource theories

    Eric Chitambar and Gilad Gour. “Quantum resource theories”. Reviews of Modern Physics91, 025001 (2019). arXiv:1806.06107

    Pith/arXiv arXiv 2019

  2. [2]

    Quan- tum entanglement

    RyszardHorodecki, PawełHorodecki, MichałHorodecki, andKarolHorodecki. “Quan- tum entanglement”. Reviews of Modern Physics81, 865 (2009). arXiv:quant- ph/0702225

    arXiv 2009

  3. [3]

    The resource theory of stabilizer quantum computation

    Victor Veitch, S. A. Hamed Mousavian, Daniel Gottesman, and Joseph Emerson. “The resource theory of stabilizer quantum computation”. New Journal of Physics16, 013009 (2014). arXiv:1307.7171

    Pith/arXiv arXiv 2014

  4. [4]

    Applicationofaresourcetheoryformagicstates to fault-tolerant quantum computing

    MarkHowardandEarlT.Campbell. “Applicationofaresourcetheoryformagicstates to fault-tolerant quantum computing”. Physical Review Letters118, 090501 (2017). arXiv:1609.07488

    Pith/arXiv arXiv 2017

  5. [5]

    Quantifying coherence

    T. Baumgratz, M. Cramer, and M. B. Plenio. “Quantifying coherence”. Physical Review Letters113, 140401 (2014). arXiv:1311.0275

    Pith/arXiv arXiv 2014

  6. [6]

    Colloquium: Quan- tum coherence as a resource

    Alexander Streltsov, Gerardo Adesso, and Martin B. Plenio. “Colloquium: Quan- tum coherence as a resource”. Reviews of Modern Physics89, 041003 (2017). arXiv:1609.02439

    Pith/arXiv arXiv 2017

  7. [7]

    The resource theory of quantum reference frames: manipulations and monotones

    Gilad Gour and Robert W. Spekkens. “The resource theory of quantum reference frames: manipulations and monotones”. New Journal of Physics10, 033023 (2008). arXiv:0711.0043

    Pith/arXiv arXiv 2008

  8. [8]

    Robustness of entanglement

    G. Vidal and R. Tarrach. “Robustness of entanglement”. Physical Review A59, 141 (1999)

    1999

  9. [9]

    Generalized robustness of entanglement

    Michael Steiner. “Generalized robustness of entanglement”. Physical Review A67, 054305 (2003). arXiv:quant-ph/0304009

    Pith/arXiv arXiv 2003

  10. [10]

    Robustness of quantum gates in the presence of noise

    Aram W. Harrow and Michael A. Nielsen. “Robustness of quantum gates in the presence of noise”. Physical Review A68, 012308 (2003)

    2003

  11. [11]

    Convex geometry of quantum resource quantification

    Bartosz Regula. “Convex geometry of quantum resource quantification”. Journal of Physics A: Mathematical and Theoretical51, 045303 (2018). arXiv:1707.06298

    Pith/arXiv arXiv 2018

  12. [12]

    General resource theories in quantum mechanics and beyond: Operational characterization via discrimination tasks

    Ryuji Takagi and Bartosz Regula. “General resource theories in quantum mechanics and beyond: Operational characterization via discrimination tasks”. Physical Review X9, 031053 (2019). arXiv:1901.08127

    Pith/arXiv arXiv 2019

  13. [13]

    Quantum detection and estimation theory

    Carl W Helstrom. “Quantum detection and estimation theory”. Journal of Statistical Physics1, 231 (1969). 23

    1969

  14. [14]

    Statistical decision theory for quantum systems

    Alexander S. Holevo. “Statistical decision theory for quantum systems”. Journal of Multivariate Analysis3, 337–394 (1973)

    1973

  15. [15]

    Robustness of measurement, discrimination games, and accessible information

    Paul Skrzypczyk and Noah Linden. “Robustness of measurement, discrimination games, and accessible information”. Physical Review Letters122, 140403 (2019)

    2019

  16. [16]

    Operational relevance of resource theories of quantum measurements

    Michał Oszmaniec and Tanmoy Biswas. “Operational relevance of resource theories of quantum measurements”. Quantum3, 133 (2019). arXiv:1901.08566

    Pith/arXiv arXiv 2019

  17. [17]

    Quantifying quantum resources with conic programming

    Roope Uola, Tristan Kraft, Jiangwei Shang, Xiao-Dong Yu, and Otfried Gühne. “Quantifying quantum resources with conic programming”. Physical Review Letters 122, 130404 (2019)

    2019

  18. [18]

    Resourcefulness without resource: Geometric origins and robustness

    Jingsong Ao, Aby Philip, and Alexander Streltsov. “Resourcefulness without resource: Geometric origins and robustness” (2026). arXiv:2606.31516

    Pith/arXiv arXiv 2026

  19. [19]

    Resource destroying maps

    Zi-Wen Liu, Xueyuan Hu, and Seth Lloyd. “Resource destroying maps”. Physical Review Letters118, 060502 (2017). arXiv:1606.03723

    Pith/arXiv arXiv 2017

  20. [20]

    Hiding Bits in Bell states

    Barbara M. Terhal, David P. DiVincenzo, and Debbie W. Leung. “Hiding Bits in Bell states”. Physical Review Letters86, 5807–5810 (2001)

    2001

  21. [21]

    Hiding classical data in multipartite quantum states

    Tilo Eggeling and Reinhard F. Werner. “Hiding classical data in multipartite quantum states”. Physical Review Letters89, 097905 (2002)

    2002

  22. [22]

    Quantum data hiding

    David P. DiVincenzo, Debbie W. Leung, and Barbara M. Terhal. “Quantum data hiding”. IEEE Transactions on Information Theory48, 580 (2002). arXiv:quant- ph/0103098

    arXiv 2002

  23. [23]

    Randomizing Quantum States: Constructions and Applications

    Patrick Hayden, Debbie Leung, Peter W. Shor, and Andreas Winter. “Randomizing Quantum States: Constructions and Applications”. Communications in Mathematical Physics250, 371–391 (2004)

    2004

  24. [24]

    Locally restricted measurements on a mul- tipartite quantum system: data hiding is generic

    Guillaume Aubrun and Cécilia Lancien. “Locally restricted measurements on a mul- tipartite quantum system: data hiding is generic”. Quantum Information and Com- putation15, 513–540 (2015)

    2015

  25. [25]

    Robustness of quantum data hiding against entangled catalysts and memory

    Aby Philip and Alexander Streltsov. “Robustness of quantum data hiding against entangled catalysts and memory” (2025). arXiv:2511.04408

    arXiv 2025

  26. [26]

    Quantum theory from five reasonable axioms

    Lucien Hardy. “Quantum theory from five reasonable axioms” (2001). arXiv:quant- ph/0101012

    arXiv 2001

  27. [27]

    Informationprocessingingeneralizedprobabilistictheories

    JonathanBarrett. “Informationprocessingingeneralizedprobabilistictheories”. Phys- ical Review A75, 032304 (2007)

    2007

  28. [28]

    General probabilistic theories: An introduction

    Martin Plávala. “General probabilistic theories: An introduction”. Physics Reports 1033, 1 (2023)

    2023

  29. [29]

    One-shot manipulation of dynamical quantum resources

    Bartosz Regula and Ryuji Takagi. “One-shot manipulation of dynamical quantum resources”. Physical Review Letters127, 060402 (2021)

    2021

  30. [30]

    Reversible framework for quantum resource theories

    Fernando G. S. L. Brandão and Gilad Gour. “Reversible framework for quantum resource theories”. Physical Review Letters115, 070503 (2015)

    2015

  31. [31]

    All sets of incompatible mea- surements give an advantage in quantum state discrimination

    Paul Skrzypczyk, Ivan Šupić, and Daniel Cavalcanti. “All sets of incompatible mea- surements give an advantage in quantum state discrimination”. Physical Review Let- ters122, 130403 (2019)

    2019

  32. [32]

    Convex optimization

    Stephen Boyd and Lieven Vandenberghe. “Convex optimization”. Cambridge Univer- sity Press. (2004). 24

    2004

  33. [33]

    On general minimax theorems

    Maurice Sion. “On general minimax theorems”. Pacific Journal of Mathematics8, 171 (1958)

    1958

  34. [34]

    Op- erational framework for quantum measurement simulability

    Leonardo Guerini, Jessica Bavaresco, Marcelo Terra Cunha, and Antonio Acín. “Op- erational framework for quantum measurement simulability”. Journal of Mathematical Physics58, 092102 (2017)

    2017

  35. [35]

    Robustness of magic and symmetries of the stabiliser polytope

    Markus Heinrich and David Gross. “Robustness of magic and symmetries of the stabiliser polytope”. Quantum3, 132 (2019). arXiv:1807.10296

    Pith/arXiv arXiv 2019

  36. [36]

    Improved classical simulation of quantum circuits dominated by Clifford gates

    Sergey Bravyi and David Gosset. “Improved classical simulation of quantum circuits dominated by Clifford gates”. Physical Review Letters116, 250501 (2016)

    2016

  37. [37]

    The axiomatic and the oper- ational approaches to resource theories of magic do not coincide

    Arne Heimendahl, Markus Heinrich, and David Gross. “The axiomatic and the oper- ational approaches to resource theories of magic do not coincide”. Journal of Mathe- matical Physics63, 112201 (2022). arXiv:2011.11651

    Pith/arXiv arXiv 2022

  38. [38]

    Separability criterion for density matrices

    Asher Peres. “Separability criterion for density matrices”. Physical Review Letters 77, 1413 (1996). arXiv:quant-ph/9604005

    Pith/arXiv arXiv 1996

  39. [39]

    Separability of mixed states: necessary and sufficient conditions

    Michał Horodecki, Paweł Horodecki, and Ryszard Horodecki. “Separability of mixed states: necessary and sufficient conditions”. Physics Letters A223, 1 (1996). arXiv:quant-ph/9605038

    Pith/arXiv arXiv 1996

  40. [40]

    Entanglement of formation of an arbitrary state of two qubits

    William K. Wootters. “Entanglement of formation of an arbitrary state of two qubits”. Physical Review Letters80, 2245 (1998). arXiv:quant-ph/9709029. 25

    Pith/arXiv arXiv 1998