REVIEW 3 major objections 4 minor 41 references
Quantum-state block texture and its quantification
T0 review · 3 major / 4 minor · reviewed 2026-08-01 · deepseek-v4-flash
Pith's one-line read Partial trace turns every quantum-texture measure into a block-texture monotone
desk verdict A few correct pieces and a genuinely new free set, but the central monotonicity proof rests on a false factorization assumption and the closed-form relative-entropy formula is contradicted by a simple product state. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the block textureless state f_1^A ⊗ ρ_B, where f_1^A = (1/m) Σ_{i,j} |e_i⟩⟨e_j| is the equal-weight superposition on subsystem A, and the free set T_B(H_A ⊗ H_B) consists of all such states. The induced-measure machinery is the map Q_AB = Q ∘ Tr_B, which converts any QST measure Q into a candidate QSBT measure; the proof relies on a factorization lemma asserting that any channel preserving T_B must have Kraus operators of the product form A_μ ⊗ B_μ with C_A(f_1^A) = f_1^A. The convex-roof machinery uses concave functions f:[0,1]→[0,∞) with f(1)=0, evaluated on ⟨f_1^A | Tr_B(|ψ⟩⟨ψ|) | f_1^A⟩ for pure states, followed by a minimization over pure-state ensembles for m
What would settle it
Find a CPTP map Ψ on a two-qubit system that maps every state f_1^A ⊗ ρ_B to another such state but has Kraus operators that are not of the product form. Then check whether T_tr^AB(Ψ(ρ_AB)) ≤ T_tr^AB(ρ_AB) for a simple state like ρ_AB = |Φ+⟩⟨Φ+|. If monotonicity fails, Theorem III.1 is false. Alternatively, verify the factorization step algebraically: the identity Σ_μ K_μ (f_1^A ⊗ ρ_B) K_μ† = f_1^A ⊗ Ψ_B(ρ_B) for all ρ_B does not by itself force each K_μ to be a tensor product.
Extended reading notes
Core claim
On the paper's own terms, the central discovery is that quantum-state block texture can be characterized and quantified through three parallel routes: by pulling back any known quantum-state texture measure through the partial trace (Theorem III.1), by a convex-roof construction using any concave function f with f(1)=0 (Theorem III.4), and by direct distance-based definitions (geometric, trace distance, fidelity, relative entropy). The paper asserts that all these constructions yield valid QSBT measures, that the geometric measure M_g satisfies M_g ≥ (M_tr)^2, and that the relative-entropy measure evaluates to S(f_1^A ⊗ Tr_A ρ_AB) − S(ρ_AB). This is intended to give QSBT the same foundationa
Load-bearing premise
The proof that every texture measure gives a block-texture measure assumes that any channel preserving the set of block textureless states must factor into independent channels on A and B; this factorization is asserted rather than proved for channels whose Kraus operators are not product operators.
Editorial extensions
If this is right
- Any QST measure from the literature yields a valid QSBT measure via partial trace, giving an immediate family of monotones for block texture.
- The relative-entropy QSBT measure is fully computable from a marginal entropy: M_r(ρ_AB) = S(f_1^A ⊗ Tr_A ρ_AB) − S(ρ_AB).
- The geometric measure dominates the trace-distance measure quadratically, so a lower bound on one transfers to the other.
- For Bell states the relative-entropy block texture is finite and equal to 1, in contrast to the infinite values of the original QST measure.
- The framework extends to multipartite states by bipartitioning, which enables studies of monogamy and polygamy for block texture.
Reading between the lines
- Editorial: If the factorization lemma fails for sums of non-product Kraus operators, the induced measures Q_AB may not be monotone under all channels that preserve the free set; a restricted definition of free operations (e.g., separable channels with C_A(f_1^A)=f_1^A) would still keep the theory consistent.
- Editorial: The trace-distance measures T_AB_tr and M_tr are shown to be different, with M_tr presumably larger; M_tr, being a genuine distance to the free set, may be the more operationally meaningful quantifier, and its numerical distribution for random states suggests it rarely approaches its upper bound.
- Editorial: Because block textureless states can carry entanglement in the B subsystem, QSBT does not measure entanglement; instead it quantifies deviation from a distinguished subsystem-uniform structure, which could serve as a witness for coherence-like advantages in metrology or state discrimination.
- Editorial: A direct test: compute M_tr and M_g for a random family of two-qubit states and check whether the gap M_g − (M_tr)^2 correlates with the local purity or entanglement of the B subsystem.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper generalizes quantum-state texture (QST) to quantum-state block texture (QSBT), taking the free states on H_A⊗H_B to be f_1^A⊗ρ_B. It proposes: (i) induced QSBT measures Q_AB(ρ_AB)=Q(Tr_B ρ_AB) for any QST measure Q (Theorem III.1); (ii) convex-roof measures built from concave functions (Theorem III.4); (iii) geometric, trace-distance, fidelity, and relative-entropy measures M_g, M_tr, M_F, M_r; (iv) an inequality M_g ≥ (M_tr)^2 (Theorem III.10); and (v) an alleged closed form M_r(ρ_AB)=S(f_1^A⊗Tr_A ρ_AB)−S(ρ_AB) (Theorem III.12). Example III.9 uses random sampling to claim that M_tr differs from the induced trace-distance measure T_AB_tr, and Example III.13 compares Bell-state block texture with ordinary QST. The main advertised results are the validity of the induced measures and the closed-form relative entropy.
Significance. If correct, the framework would supply a broad family of block-texture monotones, a simple relative-entropy formula, and the inequality M_g ≥ (M_tr)^2. Some components are sound or plausible: Proposition II.1 is correct, Examples III.3 and III.6 compute as stated, and the argument for Theorem III.10 can be repaired (there is a notational error in Eq. (17)). However, the central claims fail as stated: Theorem III.12 is contradicted by an elementary two-qubit example, and the proof of Theorem III.1 relies on an invalid factorization assertion. Because these two load-bearing results are not established, the paper is not acceptable in its current form. The numerical sampling in Example III.9 is also presented as verification without a proof, and the Data Availability statement contradicts the reported 10^6 samples.
major comments (3)
- [Sec. III.C, Theorem III.12 and Example III.13] The claimed formula (21) is false. Take d_A=d_B=2 and ρ=|−⟩⟨−|_A⊗|0⟩⟨0|_B. Every free state σ=f_1^A⊗τ_B has support in span{|+⟩}⊗H_B, which is orthogonal to supp ρ; hence M_r(ρ)=∞ by the standard support condition for quantum relative entropy. Equation (21) gives S(f_1^A⊗|0⟩⟨0|_B)−S(ρ)=0−0=0. The proof's Eq. (22) fails because log(f_1^A⊗τ_B) is not I_A⊗log τ_B as a global operator: on the kernel of f_1^A the logarithm is undefined/−∞, and ρ can have support there. Consequently Example III.13 is also wrong: for any Bell state |Φ+⟩, the support is not contained in span{|+⟩}⊗H_B for any τ_B, so M_r(|Φ±⟩)=∞, not 1. This invalidates a principal advertised result and the comparison with QST.
- [Sec. III.A, proof of Theorem III.1] The monotonicity proof rests on the assertion that Ψ(f_1^A⊗ρ_B)=f_1^A⊗Ψ_B(ρ_B) for all ρ_B implies each Kraus operator factorizes as A_μ⊗B_μ. This is false. Explicitly, let Π=f_1^A, P_⊥=I−Π, and define a unitary U=Π⊗U_B+P_⊥⊗U'_B with U_B≠U'_B. The channel Ψ(X)=UXU† preserves T_B(H_A⊗H_B) and satisfies Ψ(f_1^A⊗ρ_B)=f_1^A⊗U_Bρ_BU_B†, but U is not of product form. Thus the conclusion Ψ=C_A⊗Ψ_B is not established, and the claimed monotonicity of all induced measures Q_AB under the free-operation semigroup is unproved. This gap affects Table I and Eq. (8), which are central to the paper's construction.
- [Appendix A, Theorem III.4] The proof of monotonicity for the concave-function measures depends entirely on inequality (23), which is asserted with a citation to [1] and is not derived for the QSBT free operations defined in Sec. II. A CPTP map preserving the set {f_1^A⊗ρ_B} is not shown to satisfy (23). Since Theorem III.4 is presented as a general construction, this is another unproved load-bearing step. The same appendix also contains a typo ('QSPT'), but the missing justification of (23) is the substantive issue.
minor comments (4)
- [Sec. III.C, Eq. (17)] Equation (17) is missing a square on the Frobenius norm: the correct identity is D(|ψ⟩,|φ⟩)^2 = (1/2)|| |ψ⟩⟨ψ|−|φ⟩⟨φ| ||_F^2. As printed, the subsequent equality D^2 = M_g for pure states does not follow.
- [Example III.9 and Fig. 2] The claim M_tr(ρ)>T_AB_tr(ρ) is not established by random sampling. The plotted blue points are sample distances, so the true minimum M_tr can lie below the smallest sampled value. This is numerical evidence, not a proof; an analytic minimization or a certified lower bound is needed.
- [Data Availability] The Data Availability statement says 'No data were created or analyzed in this study', but Section III and Fig. 2 report 5×10^4, 10^5, 5×10^5, and 10^6 randomly generated states. This is an internal inconsistency that should be corrected.
- [References and typos] Reference [14] has a malformed identifier ('2508.075481[quantum-ph]') and should be checked. There are numerous typographical errors, including 'quanfying', 'bipatite', 'Schimidt decomposition', and 'QSPT' in Appendix A. Please proofread carefully.
Circularity Check
No circularity: the constructions are definitional but not self-referential; the main defects are mathematical errors, not circular reasoning.
full rationale
The paper's derivation chain contains no circular step. Theorem III.1 defines Q_AB(ρ_AB)=Q(Tr_B ρ_AB), so the monotonicity claim is a genuine theorem about the induced reduced-state quantity, not a restatement of the definition; its proof depends on a nontrivial decoupling lemma for free operations, which is mathematically dubious, but that is a proof gap, not a circularity. The concave/convex-roof measures, the geometric/trace-distance/fidelity measures, and the relative-entropy measure are all defined independently from the free-state set T_B and standard resource-theory axioms; no fitted parameter is renamed as a prediction. The closed-form formula in Theorem III.12 is presented as a derived formula and its proof hinges on Eq. (22), which is invalid for states whose support is not contained in the support of some free state — an error, not a reduction to its own input. The same applies to the Bell-state example: the claimed value 1 follows from the false formula, not from the definition of M_r. The only self-citation that appears is Ref. [20] (Xu, Shao, Fei), used analogically in the introduction as a block-coherence parallel; it is not load-bearing for any theorem. The paper's central limitation is correctness of the monotonicity proof and of the relative-entropy formula, not circularity.
Assumptions & free parameters
assumptions (5)
- standard math Standard spectral and Schmidt decompositions for bipartite states; a pure partial trace implies product structure.
- standard math Contractivity of trace distance and quantum relative entropy under CPTP maps, and joint convexity of relative entropy.
- ad hoc to paper A CPTP map Ψ that preserves {f^A_1⊗ρ_B} for all ρ_B factorizes as C_A⊗Ψ_B with Kraus operators A_μ⊗B_μ.
- domain assumption The identity log(f^A_1⊗τ_B) = I_A⊗log τ_B is valid on the support of every ρ_AB appearing in the minimization.
- domain assumption Resource axioms T1–T3 define what counts as a QSBT measure.
invented entities (2)
-
Block textureless states f^G_1 and the set T_B
-
Quantum-state block texture (QSBT) as a resource
Cite this review
Pith. "Pith review of Quantum-state block texture and its quantification." pith.science (2026). https://pith.science/paper/RU3ZP6DE
@misc{pith2026260720311,
author = {Pith},
title = {Pith review of: Quantum-state block texture and its quantification},
year = {2026},
howpublished = {\url{https://pith.science/paper/RU3ZP6DE}},
note = {Machine review of arXiv:2607.20311}
}
abstract
Quantum-state texture (QST) is an emerging quantum resource that has garnered increasing attention amid advances in quantum theory. In this work, we generalize the QST to quantum-state block texture (QSBT). This generalization provides profound operational interpretations for quantifying the advantages of quantum states in quantum information processing. We pioneer an alternative framework for characterizing and quantifying quantum-state block texture, and propose three types of block texture measures. By comparing these QSBT measures, we investigate their distinctions and interrelationships. We demonstrate that the geometric measure serves as an upper bound for the trace distance-based measure. For a specific family of quantum states, we evaluate the values of two trace distance-based measures. Then we sample four sets of data from this family of states, with each set comprising $5\times 10^4, 10^5, 5\times 10^5$ and $10^6 $ samples, respectively, and present the corresponding distributions. Our results reveal that the QSBT measures constructed via different approaches show distinct characteristics, indicating their potential roles in quantifying the block texture of quantum states.
Figures
Reference graph
Works this paper leans on
-
[1]
School of Mathematics and Statistics, Henan University, Kaifeng, 475004, China
-
[2]
In this work, we generalize the QST to quantum-state block texture (QSBT)
School of Mathematics Sciences, Capital Normal University, Beijing 100048, China * (Dated: July 23, 2026) Quantum-state texture (QST) is an emerging quantum resource that has garnered increasing attention amid advances in quantum theory. In this work, we generalize the QST to quantum-state block texture (QSBT). This generalization provides profound operat...
arXiv 2026
-
[3]
Then P f (∑i piρAB i ) =P f (∑i ∑ j piqi jρAB i j ) ⩽ ∑i ∑ j piqi jP f (ρAB i j ) = ∑i piP(ρ AB i )
Convexity: For any set of states{ρ AB i }and any prob- ability distribution{p i}, letρ AB i = ∑ j qi jρAB i j be the optimal 10 pure-state ensemble forρ AB i , i.e.,P f (ρAB i ) =∑ j qi jP f (ρAB i j ). Then P f (∑i piρAB i ) =P f (∑i ∑ j piqi jρAB i j ) ⩽ ∑i ∑ j piqi jP f (ρAB i j ) = ∑i piP(ρ AB i ). B. Proof of Proposition III.7 It is easy to see that ...
-
[4]
There- fore, from Eq
By direct calculation, we haveTr A(|Φ±⟩) =TrA(|Ψ±⟩) = I2 2 . There- fore, from Eq. (21) we obtain M r(|Φ±⟩) =Mr(|Ψ±⟩) =1. The block texture of the four Bell states are equal under the relative entropy measure. Note that the texture of the four Bell states is+∞[11]. In this sense the quantum-state block tex- ture proposed in this paper gives rise to a more...
-
[5]
Non-negative: It is clear that for any pure state ψAB , P f ( ψAB )⩾0, with the equality holding if and only if ψAB ∈T B(HA ⊗H B)
-
[6]
For a mixed stateρ AB, letρ AB = ∑ i pi ψAB ψAB be an optimal pure-state ensemble, i.e., P f (ρAB) =∑ i piP f ( ψAB )
Monotonicity: For any free operationΛ≡ {K AB n }and pure state ψAB , one has [1] ∑ n Tr f A 1 f A 1 TrB(KAB n ψAB ψAB KAB† n ) ⩾Tr f A 1 f A 1 TrB( ψAB ψAB ) ,(23) i.e., ∑ n f A 1 TrB[KAB n ψAB ψAB KAB† n ] f A 1 ⩾ f A 1 TrB[ ψAB ψAB ] f A 1 .(24) It follows that P f (ψAB) =f( f A 1 TrB[ ψAB ψAB ] f A 1 ) ⩾f ∑ n f A 1 TrB[KAB n ψAB ψAB KAB† n ] f A 1 ⩾ ∑ ...
-
[7]
Narasimhachar and G
V . Narasimhachar and G. Gour, Low-temperature thermody- namics with quantum coherence,Nat. Commun.6, 7689 (2015)
2015
-
[8]
Parisio, Quantum-state texture and gate identification,Phys
F. Parisio, Quantum-state texture and gate identification,Phys. Rev. Lett.133, 260801 (2024)
2024
Show all 41 references
-
[11]
Hillery, Coherence as a resource in decision problems: The Deutsch-Jozsa algorithm and a variation,Phys
M. Hillery, Coherence as a resource in decision problems: The Deutsch-Jozsa algorithm and a variation,Phys. Rev. A93, 012111 (2016)
2016
-
[12]
G. Gour, M. P. Muller, V . Narasimhachar, R. W. Spekkens, and N. Y . Halpern, The resource theory of informational nonequi- librium in thermodynamics,Phys. Rep.583, 1 (2015)
2015
-
[13]
Lostaglio, D
M. Lostaglio, D. Jennings, and T. Rudolph, Description of quantum coherence in thermodynamic processes requires con- straints beyond free energy,Nat. Commun.6, 6383 (2015)
2015
-
[14]
Y . T. Cui, Z. B. Fan, and S. Kim, Quantum-state texture as a Resource:measures and nonclassical interdependencies, arXiv:2508.075481[quantum-ph], 2025
2025 arXiv
-
[15]
Francica, J
G. Francica, J. Goold, and F. Plastina, Role of coherence in the nonequilibrium thermodynamics of quantum systems,Phys. Rev. E99, 042105 (2019)
2019
-
[16]
Lloyd, Quantum coherence in biological systems,J
S. Lloyd, Quantum coherence in biological systems,J. Phys.: Conf. Ser.302, 012037 (2011)
2011
-
[17]
Giovannetti, S
V . Giovannetti, S. Lloyd, and L. Maccone, Quantum-enhanced measurements: Beating the standard quantum limit,Science 306, 1330 (2004)
2004
-
[18]
Y . D. Wang, H. Liu, and T. G. Zhang, Quantifying quantum- state texture, Phys. Rev. A111, 042427(2025)
2025
-
[19]
un- evenness
and Block coherence [20], we generalize the concept of quantum-state texture, a quantum resource describing the “un- evenness” of density matrix entries in a given orthonormal ba- sis, to the context of quantum-state block texture (QSBT), by extending the set of free states or...
-
[20]
C. Y . Zhang, Z. H. Guo, B. K. Zheng, H.X. Cao, Quantum-state texture measures via weight and Tsallis relative entropy, Phys. Lett. A563, 131056 (2025)
2025
-
[21]
Muthuganesan, Quantum state texture: Geometric and the- 12 oretic information perspective, Phys
R. Muthuganesan, Quantum state texture: Geometric and the- 12 oretic information perspective, Phys. Lett. A570, 131263 (2025)
2025
-
[22]
M. A. Nielsen and I. L. Chuang, Quantum Computation and Quantum Information (Cambridge University Press, 2010)
2010
-
[23]
X. D. Yu, D. J. Zhang, G. F. Xu, and D. M. Tong, Alter- native framework for quantifying coherence,Phys. Rev. A94 060302(R) (2016)
2016
-
[24]
Baumgratz, M
T. Baumgratz, M. Cramer, and M. B. Plenio, Quantifying co- herence,Phys. Rev. Lett.113, 140401 (2014)
2014
-
[25]
Hickey, G
A. Hickey, G. Gour, Quantifying the imaginarity of quantum mechanics,J. Phys. A: Math. Theor.51, 414009 (2018)
2018
-
[26]
Bischof, H
F. Bischof, H. Kampermann, and D. Bruß, Resource theory of coherence based on positive-operator-valued measures,Phys. Rev. Lett.123,110402 (2019)
2019
-
[27]
J. W. Xu, L-H. Shao, and S-M. Fei, Coherence measures with respect to general quantum measurements,Phys. Rev. A102, 012411 (2020)
2020
-
[28]
Giovannetti, S
V . Giovannetti, S. Lloyd, and L. Maccone, Advances in quan- tum metrology,Nat. Photon.5, 222 (2011)
2011
-
[29]
Khatri, L
S. Khatri, L. Lami, and M. M. Wilde, Principles of Quantum Communication Theory: A Modern Approach, arXiv:2011.04672v2[quant-ph], 2021
2011 arXiv
-
[30]
S. Xue, J. Guo, P. Li, M. Ye, and Y . Li, Quantification of re- source theory of imaginarity,Quantum Inf. Process.20, 383 (2021)
2021
-
[31]
Lindblad, Completely positive maps and entropy inequali- ties,Commun
G. Lindblad, Completely positive maps and entropy inequali- ties,Commun. Math. Phys.40, 147 (1975)
1975
-
[32]
M. B. Ruskai, Inequalities for quantum entropy: a review with conditions for equality,J. Math. Phys.43, 4358 (2002)
2002
-
[33]
Vedral and M
V . Vedral and M. B. Plenio, Entanglement measures and purifi- cation procedures,Phys. Rev. A57, 1619 (1998)
1998
-
[34]
P. J. Coles, M. Cerezo, and L. Cincio, Strong bound between trace distance and Hilbert-Schmidt distance for low-rank states, Phys. Rev. A100, 022103 (2019)
2019
-
[35]
Vidal and R
G. Vidal and R. Tarrach, Robustness of entanglement,Phys. Rev. A59, 141 (1999)
1999
-
[36]
Steiner, Generalized robustness of entanglement,Phys
M. Steiner, Generalized robustness of entanglement,Phys. Rev. A67, 054305 (2003)
2003
-
[37]
Napoli, T
C. Napoli, T. R. Bromley, M. Cianciaruso, M. Piani, N. John- ston, and G. Adesso, Robustness of coherence: An operational and observable measure of quantum coherence,Phys. Rev. Lett. 116, 150502 (2016)
2016
-
[38]
Piani, M
M. Piani, M. Cianciaruso, T. R. Bromley, C. Napoli, N. John- ston, and G. Adesso, Robustness of asymmetry and coherence of quantum states,Phys. Rev. A93, 042107 (2016)
2016
-
[39]
K. D. Wu, T. V . Kondra, S. Rana, C. M. Scandolo, G. Y . Xiang, C. F. Li, G. C. Guo, and A. Streltsov, Resource theory of imag- inarity: quantification and state conversion,Phys. Rev. A103, 032401 (2021)
2021
-
[40]
K. Bu, N. Anand, and U. Singh, Asymmetry and coherence weight of quantum states,Phys. Rev. A97, 032342 (2018)
2018
-
[41]
Vidal, Entanglement monotones,J
G. Vidal, Entanglement monotones,J. Mod. Opt.47, 355 (2000)
2000
-
[42]
S. Du, Z. Bai, and X. Qi, Coherence measures and optimal conversion for coherent states,Quantum Inf. Comput.15, 1307 (2015)
2015
-
[43]
S. P. Du and Z. F. Bai, Quantifying imaginarity in terms of pure state imaginarity,Phys. Rev. A111, 022405 (2025)
2025
Reviewed August 1, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.