REVIEW
On The Problem of Constraints In Nonextensive Formalism: A Quantum Mechanical Treatment
Statistical Mechanics · Submitted 2 Mar 2006 · 32 references
Pith's verdict: Real Werner-state calculation, but the negative-values punchline is an artifact of an unregularized singular state; needs revision before it publishes.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
Two quantum relative entropies disagree on Werner states because they encode different constraints in nonextensive thermostatistics.
The reading
What carries the argument
The load-bearing objects are the two quantum relative entropies themselves. The Csiszár-type divergence is $I_q(\rho\|\sigma)=\frac{1}{q-1}[\mathrm{Tr}(\rho^q\sigma^{1-q})-1]$, and the Bregman-type divergence is $D_q(\rho\|\sigma)=\frac{1}{q-1}[\mathrm{Tr}(\rho^q)-\mathrm{Tr}(\rho\sigma^{q-1})]-[\mathrm{Tr}(\rho\sigma^{q-1})-\mathrm{Tr}(\sigma^q)]$. The argument uses the Werner state as the discriminating test system, the maximum-entropy variational problems of Eqs. (29) and (32) as the interpretive bridge, and the escort substitution $p_i\to P_i=p_i^q/\sum_jp_j^q$ with $q\to1/q$ as the route whose failure establishes the no-go conclusion. Substituting the maximum-entropy distributions back into the divergences is what turns each divergence into a free-energy difference, tying each to one constraint choice.
Extended reading notes
Core claim
The central claim is that the Bregman-type quantum relative entropy $D_q(\rho\|\sigma)$ and the Csiszár-type quantum relative entropy $I_q(\rho\|\sigma)$ are not rival definitions of the same quantity but expressions of two different thermostatistical constraint choices. On the Werner state $\rho_W$ with fidelity $F$, Csiszár gives $I_q=(1-F^q)/(1-q)$, which is positive for $q\in(0,1)$ and grows as $F$ falls, while Bregman gives $D_q=\frac{1}{q-1}[F^q+3(\frac{1-F}{3})^q-F]-(F-1)$, which is negative for $q\in(0,1)$ and $F<1$ and falls with $F$. The paper identifies the cause by substituting each divergence into its own maximum-entropy distribution: the Bregman form becomes the free-energy difference under ordinary expectation values (Eq. 35), and the Csiszár form becomes the free-energy difference under normalized $q$-expectation values (Eq. 36). It then considers whether the Bregman form can be adapted to the third choice by the escort transformation $p_i\to P_i=p_i^q/\sum_jp_j^q$ with $q\to1/q$ and concludes that it cannot: the escort normalization is an identity, and the escort entropy is not concave in some regimes.
Load-bearing premise
The argument depends on identifying a divergence's compatibility with a constraint with its being writable as a free-energy difference under that constraint's maximum-entropy distribution, and on treating the escort substitution as the only way to give the Bregman form a third-choice meaning.
Editorial extensions
If this is right
- For $q\in(0,1)$, the Csiszár divergence on Werner states is positive and increases as fidelity $F$ decreases, whereas the Bregman divergence is negative and decreases with $F$; the two measures differ in sign and in qualitative trend.
- Each divergence is a free-energy difference, but only when paired with its matching constraint: Bregman with ordinary expectation values and Csiszár with normalized $q$-expectation values.
- The escort-probability rewriting of the Bregman divergence fails as a third-choice relative entropy because it treats an identity as a constraint and because the escort entropy is nonconcave in some intervals.
- The quantum Werner-state calculation selects the constraint scheme by positivity alone, without needing the more abstract Shore–Johnson axioms used in the classical case.
Reading between the lines
- If the constraint-diagnosis is right, the sign split between the two divergences should persist for other mixed states, not just Werner states; evaluating both on random two-qubit states across $q\in(0,1)$ would be a quick numerical check.
- The no-go result is proved only for the usual escort substitution; a differently deformed relative entropy that realizes the third choice without imposing escort normalization as an independent constraint might evade the obstruction.
- One could invert the logic and use positivity of a quantum divergence as the selection rule: find, for a given state and $q$, which constraint scheme keeps the divergence positive-definite.
Original abstract
Relative entropy (divergence) of Bregman type recently proposed by T. D. Frank and Jan Naudts is considered and its quantum counterpart is used to calculate purity of the Werner state in nonextensive formalism. It has been observed that two different expressions arise due to two different forms of quantum divergences. It is then argued that the difference is due to the fact that the relative entropy of Bregman type is related to the first choice thermostatistics whereas the one of Csisz\`{a}r type is related to the third choice thermostatistics. The superiority of the third choice thermostatistics to the first choice thermostatistics has been deduced by noticing that the expression obtained by using the Bregman type leads to negative values for q$\in (0,1)$ and fidelity F smaller than 1 whereas the one obtained by using Csisz\`{a}r type is free from such anomalies. Moreover, it has been noted that these two measures show different qualitative behavior with respect to F. Contrary to the classical case, the violation of the positive definiteness of the relative entropy immediately results in a choice between the two constraints without any need of more abstract Shore-Johnson axioms. The possibility of writing a relative entropy of Bregman type compatible with the third choice has been investigated further. The answer turns out to be negative as far as the usual transformation from ordinary probabilities to the escort probabilities are considered.
The compiled record
The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
The abstract, sentence by sentence
Relative entropy (divergence) of Bregman type recently proposed by T. D. Frank and Jan Naudts is considered and its quantum counterpart is used to calculate purity of the Werner state in nonextensive formalism. It has been observed that two different expressions arise due to two different forms of quantum divergences. It is then argued that the difference is due to the fact that the relative entropy of Bregman type is related to the first choice thermostatistics whereas the one of Csisz\`{a}r type is related to the third choice thermostatistics. The superiority of the third choice thermostatistics to the first choice thermostatistics has been deduced by noticing that the expression obtained by using the Bregman type leads to negative values for q$\in (0,1)$ and fidelity F smaller than 1 whereas the one obtained by using Csisz\`{a}r type is free from such anomalies. Moreover, it has been noted that these two measures show different qualitative behavior with respect to F. Contrary to the classical case, the violation of the positive definiteness of the relative entropy immediately results in a choice between the two constraints without any need of more abstract Shore-Johnson axioms. The possibility of writing a relative entropy of Bregman type compatible with the third choice has been investigated further. The answer turns out to be negative as far as the usual transformation from ordinary probabilities to the escort probabilities are considered.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | Relative entropy (divergence) of Bregman type recently proposed by T. D. | background 0.79 | 0.09 | 0.02 | unclear 0.77 |
| s1 | Frank and Jan Naudts is considered and its quantum counterpart is used to calculate purity of the Werner state in nonextensive formalism. | contribution 0.58 | 0.80 | 0.06 | asserted 1.00 |
| s2 | It has been observed that two different expressions arise due to two different forms of quantum divergences. | result 1.00 | 0.82 | 0.07 | asserted 1.00 |
| s3 | It is then argued that the difference is due to the fact that the relative entropy of Bregman type is related to the first choice thermostatistics whereas the one of Csisz\`{a}r type is related to the third choice thermostatistics. | interpretation 0.99 | 0.66 | 0.22 | asserted 0.95 |
| s4 | The superiority of the third choice thermostatistics to the first choice thermostatistics has been deduced by noticing that the expression obtained by using the Bregman type leads to negative values for q$\in (0,1)$ and fidelity F smaller than 1 whereas the one obtained by using Csisz\`{a}r type is free from such anomalies. | result 0.57 | 0.85 | 0.62 | asserted 1.00 |
| s5 | Moreover, it has been noted that these two measures show different qualitative behavior with respect to F. | result 0.99 | 0.83 | 0.07 | asserted 1.00 |
| s6 | Contrary to the classical case, the violation of the positive definiteness of the relative entropy immediately results in a choice between the two constraints without any need of more abstract Shore-Johnson axioms. | interpretation 0.91 | 0.65 | 0.27 | asserted 1.00 |
| s7 | The possibility of writing a relative entropy of Bregman type compatible with the third choice has been investigated further. | contribution 0.82 | 0.81 | 0.06 | hedged possibility 0.59 |
| s8 | The answer turns out to be negative as far as the usual transformation from ordinary probabilities to the escort probabilities are considered. | result 0.96 | 0.86 | 0.19 | asserted 1.00 |
What was examined, and what was not
- arXiv listing abstract v3
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
References
Discussion
Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.