{"id":"6faf9a37-f66b-47ae-9773-8fb7e041ed3c","arxiv_id":"2507.23046","paper_version":1,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"The quantum Hamming metric is derived from the classical Hamming metric by expressing the Lipschitz constant as a maximum of quotient-norm seminorms and then dropping commutativity.","lead":"Marc Rieffel reconstructs the quantum Hamming metric by translating distances between words into algebraic distances between observables, then letting the algebra become noncommutative. The result re-derives the 2021 De Palma, Marvian, Trevisan and Lloyd Wasserstein-1 distance on quantum states and extends the construction to infinite-dimensional C*-algebras.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Definition 2.1's strong-Leibniz inequality uses 1/||a||^2, but the quotient seminorm LqH satisfies it only with 1/||a^{-1}||^2; as written, the claimed strong-Leibniz property fails for A=M_2(C).","rationale":"I read the paper as aiming to justify a noncommutative Hamming metric by reversing the commutative construction. For the central claim to hold, the seminorm defined in Definition 9.2 must possess the advertised properties: C*-metric, strongly Leibniz, diameter n, and dual formula matching De Palma et al. The least secure of these is strong Leibniz: the paper's own Definition 2.1 states a nonstandard inequality, and against that inequality the central object fails. This is an internal inconsistency, not a disagreement with consensus. The reader's weakest assumption concerned the C-valued modeling choice; I see that as less damaging because the induced metric on states depends only on self-adjoint elements, on which LqH agrees with the classical Hamming Lipschitz seminorm. The Theorem 10.3 factor-2 slip also exists, but it does not change the conclusion and is already noted in the reader's rationale. The strong-Leibniz issue, by contrast, makes a listed theorem false as stated and needs a textual correction. With Definition 2.1 corrected to the standard ||a^{-1}||^2 inequality, the rest of the argument is well supported. Hence the reader's conditional verdict remains appropriate.","tokens_in":23700,"tokens_out":27871,"duration_ms":308175,"concrete_test":"Compute LqH on A=M_2(C) with B=C1 for a=diag(3,1): LqH(a)=2, LqH(a^{-1})=2/3. Compare with Definition 2.1: 2/3 <= ||a||^{-2}*2 = 2/9 fails. Then compare with the standard inequality 2/3 <= ||a^{-1}||^2*2 = 2, which holds. If the first inequality fails and the second holds, the manuscript's Definition 2.1 is mis-stated and the proof of strong-Leibniz must be restated with the standard convention.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Definition 2.1 defines a strongly Leibniz seminorm by L(a^{-1}) <= ||a||^{-2}L(a) for invertible a. Section 10 asserts that each Li(a)=2||a||_{A/\\tilde A_i} is strongly Leibniz by [28, Thm 3.2], and hence so is LqH. But for A=M_2(C), n=1, B=C1, take a=diag(3,1). Then Li(a)=2 dist(a,C1)=2, while a^{-1}=diag(1/3,1) gives Li(a^{-1})=2/3. The paper's inequality would require 2/3 <= 2/9, which is false. The same element also refutes the claim in Section 12 that any Dirac-operator seminorm satisfying the commutator identity is strongly Leibniz in the paper's sense, since [D,a^{-1}]=-a^{-1}[D,a]a^{-1} yields the bound with ||a^{-1}||^2, not ||a||^{-2}. The cited theorem [28, Thm 3.2] uses the standard definition L(a^{-1}) <= ||a^{-1}||^2L(a), under which the example holds (2/3 <= 2). Thus the manuscript's Definition 2.1 appears to contain a mis-stated norm convention, and the claim 'strongly Leibniz' is false as written for the central object LqH.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a C*-algebraic route to quantum Hamming metrics. It first reformulates the classical Hamming metric on words in terms of the algebra of functions on the product of alphabets, expressing the Lipschitz constant as a maximum of directional seminorms. Dropping commutativity, it defines, for a tensor product A = ⊗_i A_i of matrix algebras, the quantum Hamming seminorm L_qH(a) = max_i 2||a||_{A/\\tilde A_i}, and proves that this is a strongly Leibniz C*-metric with diameter exactly n when no A_i is one-dimensional (Theorems 10.2 and 10.3). It then derives the dual representation of the induced Kantorovich-Wasserstein metric on states as an infimum over decompositions of µ−ν into self-adjoint functionals annihilating the \\tilde A_i's, matching the definition of De Palma et al. (Corollary 11.2). The paper also gives Dirac-operator representations of the quotient seminorms and discusses extensions to infinite-dimensional C*-algebras.","tokens_in":23992,"tokens_out":6390,"duration_ms":73669,"significance":"If the technical gaps identified below are repaired, the paper provides a clean and largely self-contained derivation of the quantum Hamming metric and its associated Wasserstein-1 distance, placing the 2021 definition of De Palma, Marvian, Trevisan and Lloyd in a broader C*-algebraic framework. The main theorems are proved in detail, and the paper is honest about the modeling choices and limitations it makes, including the discrepancy between C-valued and R-valued functions in the commutative prototype. The paper should be of interest to researchers in noncommutative metric geometry and quantum information theory. It relies appropriately on the author's earlier work on Leibniz seminorms and best approximation from C*-subalgebras.","major_comments":[{"comment":"The definition of \"strongly Leibniz\" in Definition 2.1 appears to be mis-stated. The paper defines strong Leibniz by L(a^{-1}) ≤ ||a||^{-2} L(a), but the cited theorem [28, Thm 3.2] and the standard convention in the literature use L(a^{-1}) ≤ ||a^{-1}||^2 L(a). As written, the claim in §10 that each L_i is strongly Leibniz fails for A = M_2(C), B = C1: with a = diag(3,1), L_i(a) = 2 dist(a,C1) = 2, while L_i(a^{-1}) = 2/3, but ||a||^{-2} L_i(a) = 2/9. The same example contradicts the assertion in §12 that any Dirac-operator seminorm is strongly Leibniz in the paper's sense. The definition should be corrected to the standard inequality, or the claims adjusted accordingly.","section":"Definition 2.1 and §§10, 12"},{"comment":"The proof contains a concrete error. The sentence \"Li(ci) ≤ 1 for each i since ||ci|| = 1\" is false: by Definition 9.1, L_i(c_i) = 2||c_i||_{A/\\tilde A_i}, and the distance from a_i ⊗ 1 to \\tilde A_i is exactly ||a_i|| = 1, so L_i(c_i) = 2. Consequently the displayed bound L_qH(a) ≤ 1 is unjustified. The subsequent computation φ(a) = 2n then yields only d(µ,ν) ≥ n, not d(µ,ν) ≥ 2n. The theorem's statement may still be true, but the proof as written does not establish it; it needs a modified construction (for example, scaling the a_i's) or a different argument.","section":"Theorem 10.3, proof"},{"comment":"The claimed derivation of the quantum Hamming metric from the commutative prototype is not uniquely forced. Example 8.1 shows that for C-valued functions the classical Hamming Lipschitz seminorm L_c differs from 2L_0 (e.g., cube roots of unity give L_c(f)=√3 but 2L_0(f)=2), and Theorem 9.1's equality L_H(f) = max_i L_i(f) is proved only for R-valued f. The paper acknowledges this in Remark 2.2 and §8, but the introduction's phrase \"reverse the process\" overstates the strength of the derivation. The definition of L_qH in Definition 9.2 is a modeling choice whose ultimate justification is that it reproduces the De Palma et al. definition. I recommend stating this explicitly as a convention in the introduction rather than presenting it as the unique noncommutative extension.","section":"§8, Example 8.1; Theorem 9.1"}],"minor_comments":[{"comment":"The text says \"We now apply this proposition to the situation of Proposition 3.2\", but the reference should be to Theorem 3.2, which is the result giving L_{d_S} = max L_i.","section":"§6"},{"comment":"The key word \"Wassertein\" is a typo; it should read \"Wasserstein\".","section":"Abstract, key words"},{"comment":"The sentence \"It is easly seen that any seminorm that is obtained from a Dirac operator ... is strongly Leibniz\" contains a typo: \"easly\" should be \"easily\".","section":"§12"},{"comment":"The notation I_k for identity tensors is introduced informally; a sentence defining I_k for any subinterval K would improve readability, especially for the subalgebras B_k and C_k.","section":"Lemma 10.1 and surrounding text"},{"comment":"The proof of the inequality |φ_k(a)| ≤ L_k(a) uses the fact that φ_k annihilates \\tilde A_k; this is correct, but the presentation could state explicitly that the quotient norm is exactly the infimum over d ∈ \\tilde A_k, to make the step transparent.","section":"§10, Theorem 10.2"}],"recommendation":"major_revision","confidential_remarks":"The two defects identified are serious but local: the strong Leibniz definition appears to be a typographical inversion of the standard inequality, and the proof of Theorem 10.3 needs a genuinely new construction or a correction of the claimed bound. Neither seems to undermine the core results on the Wasserstein distance or the C*-metric structure beyond the proof of the sharp diameter. The paper is otherwise careful and well-written, and its reverse-engineering of the De Palma et al. definition is a genuinely useful contribution. I would encourage the editor to send it back for revision with these points, rather than reject."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nThis paper gives a clean algebraic route to the quantum Hamming metric: express the ordinary Hamming metric through quotient norms on C(X), then drop commutativity. The definition itself matches De Palma et al.'s Proposition 8, which the author acknowledges; the genuinely new material is the path: Theorem 3.2 (sum-metric Lipschitz seminorm is the max of directional ones), Theorem 9.1 (the quotient-norm formula in the commutative case), the dual-norm Wasserstein expression in Theorem 11.1/Corollary 11.2, and the extension to arbitrary unital C*-algebras with the minimal tensor product. The writing is clear, the background is well integrated, and most proofs are given in detail.\n\nI found two concrete problems, both fixable.\n\nFirst, in the proof of Theorem 10.3, the assertion \"Li(ci) ≤ 1 for each i since ||ci|| = 1\" is wrong. By Definition 9.2, Li(ci) = 2||ci||_{A/Ãi} = 2||ai|| = 2. The same applies to Li(a) for a = sum ci, so one gets LqH(a) ≤ 2 instead of ≤ 1. The lower bound on the diameter then becomes n instead of 2n—which is actually consistent with Theorem 10.2's upper bound, so the theorem's conclusion survives, but the proof needs repair.\n\nSecond, Definition 2.1 states the strong Leibniz condition as L(a^{-1}) ≤ ||a||^{-2}L(a). That is not the standard form and it is false for the paper's own central object. For A = M_2(C), a = diag(3,1), the quotient seminorm gives L(a) = 2 and L(a^{-1}) = 2/3, while ||a||^{-2} = 1/9. The cited [28, Thm 3.2] uses the usual form L(a^{-1}) ≤ ||a^{-1}||^2 L(a). The same issue undercuts the claim in Section 12 that any Dirac-type seminorm is strongly Leibniz as defined. This looks like a mis-stated convention rather than a deep flaw, but it should be corrected, and the affected statements re-checked.\n\nA softer concern: the whole construction works with complex-valued observables and the factor-2 quotient seminorm. The paper is upfront that the classical Hamming Lipschitz seminorm for C-valued functions is \"not entirely satisfactory\" (Example 8.1), and that this choice is justified largely by reproducing De Palma et al. That is a modeling judgment, not an error.\n\nBottom line: this is a solid paper from someone who clearly knows the area. It deserves a serious referee. The required changes are small: fix the strong Leibniz definition, repair the Theorem 10.3 estimate, and state the diameter lower bound as n. I'd send it out.","headline":"A transparent, useful reformulation of the quantum Hamming metric via quotient norms, with two fixable technical slips (strong-Leibniz definition and a factor-2 estimate in Theorem 10.3) that do not sink the main results.","tokens_in":24581,"tokens_out":4416,"would_cite":true,"duration_ms":44901,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["58B34","81P45","46L05"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper derives the quantum Hamming metric from the classical one by rewriting it in C*-algebra language and dropping commutativity.","keywords":["quantum Hamming metric","C*-metric","Leibniz seminorm","Kantorovich-Wasserstein distance","tensor product of matrix algebras","quotient norm","Dirac operator","state space"],"falsifier":"Compute $d_{qH}$ between $|00\\rangle\\langle 00|$ and $|11\\rangle\\langle 11|$ in $A=M_2(\\mathbb{C})\\otimes M_2(\\mathbb{C})$ using Corollary 11.2 and compare with the value obtained from the definition of [7]; if the two numbers disagree, the claimed match fails. A broader test would search for any pair of states on $\\otimes_i M_{n_i}(\\mathbb{C})$ for which the infimum over decompositions differs from the density-matrix formula of definition 7 of [7].","tokens_in":23450,"feed_emoji":"📏","tokens_out":12111,"duration_ms":122750,"temperature":0.7,"pith_summary":"This paper sets out to show that the quantum Hamming metric is the natural result of expressing the classical Hamming metric in C*-algebra language and then dropping commutativity. The resulting seminorm on a tensor product of matrix algebras, $L_{qH}(a)=\\max_i 2\\|a\\|_{A/\\tilde{A}_i}$, is proved to be a strongly Leibniz C*-metric whose state-space diameter is exactly the word length $n$ when no tensor factor is trivial. On states it yields a Kantorovich-Wasserstein distance given by an infimum over decompositions of the difference of states into single-site components, matching the quantum Wasserstein-1 definition introduced in [7]. The same construction extends to arbitrary unital C*-algebras as a seminorm, though there it no longer induces the weak-* topology on the state space.","feed_headline":"One formula extends Hamming distance to quantum states","feed_subtitle":"It also reproduces the 2021 quantum Wasserstein-1 distance and pins the state-space diameter at exactly n.","key_machinery":"The load-bearing identity is Theorem 3.2: for a sum-metric on a product of metric spaces, $L_{d_S}(f)=\\max_i L_i(f)$, where $L_i$ is the partial Lipschitz seminorm in the $i$-th variable. Its quantum analogue is Definition 9.2, $L_{qH}(a)=\\max_i 2\\|a\\|_{A/\\tilde{A}_i}$, in which each factor's contribution is measured by twice the quotient-norm distance to the subalgebra that ignores that factor. The proof of the diameter results uses a telescoping decomposition of $\\mu-\\nu$ into single-site difference functionals (Lemma 10.1), and the state-space distance formula comes from a duality theorem (Proposition 6.1) expressing the dual of a max-norm as an infimum over sums of dual norms on annihilators. The strongly Leibniz property and the Dirac-operator form come from the representation of such quotient seminorms as suprema of commutators with projections in the commutant (Theorem 12.1).","core_discovery":"The paper's central claim is that the quantum Hamming metric on $A=\\otimes_{i=1}^n M_{n_i}(\\mathbb{C})$ is the seminorm $L_{qH}(a)=\\max_i L_i(a)$, with $L_i(a)=2\\|a\\|_{A/\\tilde{A}_i}$, where $\\tilde{A}_i$ is the tensor product of all factors except $i$ and the norm is the quotient norm. This definition is reached by first proving that for a classical product of finite alphabets the Hamming Lipschitz seminorm of a real-valued function equals $\\max_i 2\\|f\\|_{C(X)/C(\\tilde{X}_i)}$ (Theorem 9.1), and then taking the same formula with $C(X_i)$ replaced by the matrix algebra $A_i$. The paper proves that $L_{qH}$ is a norm on $A/\\mathbb{C}1$ equivalent to $L_0$, that the diameter of the induced metric on states is at most $n$ (Theorem 10.2) and exactly $n$ when no $A_i$ is one-dimensional (Theorem 10.3), and that the corresponding Kantorovich-Wasserstein metric is $d_{qH}(\\mu,\\nu)=\\inf\\{\\sum_i \\|\\varphi_i\\|_i : \\varphi_i\\in \\tilde{A}_i^\\perp,\\ \\varphi_i^*=\\varphi_i,\\ \\mu-\\nu=\\sum_i \\varphi_i\\}$ (Corollary 11.2), which matches the definition introduced in [7]. In finite dimensions $L_{qH}$ is a strongly Leibniz C*-metric, and each $L_i$ can be represented as a supremum of commutators with projections in the commutant, yielding a Dirac-type operator form.","pith_inferences":["The factor 2 in $L_i(a)=2\\|a\\|_{A/\\tilde{A}_i}$ is a genuine convention: on complex-valued functions the classical Lipschitz seminorm for the complete-graph metric can differ from twice the quotient seminorm (Example 8.1), so a different convention would produce a different quantum metric; the paper's justification is that this choice recovers the established definition of [7].","The infimum formula suggests a practical computational strategy for large systems: instead of solving a full transport problem on $n$ qudits, one optimizes over single-site decompositions of the state difference, which for $n=500$ qubits may be significantly cheaper than a direct transport plan.","The Dirac-operator description of $L_i$ as a supremum over commutators with projections in the commutant may give a direct link to quantum error-correcting codes, since such projections implement operations on a single site; exploring that link is a natural next step.","Because the construction is purely algebraic, it can be tested in toy models with $n=2$ or $n=3$ and small matrix sizes, where both sides of Corollary 11.2 can be evaluated explicitly; such checks would either confirm the match with the 2021 definition or expose a discrepancy in the claimed correspondence."],"forward_implications":["The quantum Hamming distance between states has a finite, computable expression as an infimum over decompositions of $\\mu-\\nu$ into self-adjoint functionals each supported on a single tensor factor.","The diameter of the quantum Hamming state space is exactly the word length $n$ for any choice of non-trivial matrix factors, so the metric retains the classical interpretation as the number of changed positions.","Because $L_{qH}$ is strongly Leibniz, Lipschitz-type bounds for products of observables hold automatically, which is the property needed for concentration and continuity estimates.","Each $L_i$ admits a Dirac-type operator representation as a supremum of commutators with projections in the commutant, connecting the quantum Hamming metric to noncommutative-geometric descriptions.","For infinite-dimensional unital C*-algebras the same formula still defines a quantum Hamming seminorm, though the induced topology on states is no longer the weak-* topology; this extends the notion beyond finite-dimensional systems."],"supporting_citations":[{"why":"Introduces the quantum Wasserstein distance of order 1 on states that the paper's $d_{qH}$ is built to match; it is the target definition and the main comparison point.","marker":"[7]"},{"why":"Supplies the theorem that pull-backs of quotient norms by C*-subalgebras are strongly Leibniz, which gives the strong Leibniz property of each $L_i$ and hence of $L_{qH}$.","marker":"[28]"},{"why":"Provides the C*-metric axioms and the result that the maximum of strongly Leibniz seminorms is strongly Leibniz, used in Section 10.","marker":"[29]"},{"why":"Establishes the framework of metrics on state spaces, including the seminorm $L_0$, radius and diameter, and the annihilator facts used in Sections 4 and 5.","marker":"[27]"},{"why":"Supplies the minimal C*-tensor product properties, associativity and subalgebra behavior, that allow Definition 9.2 to extend to arbitrary unital C*-algebras.","marker":"[17]"}],"fun_headline_variants":["Quantum Hamming metric from C*-algebras: state-space diameter n","C*-algebraic quantum Hamming metric has exact diameter n","One seminorm extends Hamming distance to quantum states with diameter n","Quantum Hamming metric: tensor product seminorm, state distance n"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"Everything rests on the convention that the cost of differing in one position is twice the quotient-norm distance to the subalgebra of observables that ignore that position; this convention is not forced by the commutative, complex-valued Hamming metric, where the classical Lipschitz seminorm can differ from twice the quotient seminorm (Example 8.1).","fun_headline_variants_meta":{"raw":{"variants":["Quantum Hamming metric from C*-algebras: state-space diameter n","C*-algebraic quantum Hamming metric has exact diameter n","One seminorm extends Hamming distance to quantum states with diameter n","Quantum Hamming metric: tensor product seminorm, state distance n"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001222,"raw_usage":{"total_tokens":5127,"prompt_tokens":1151,"completion_tokens":3976,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":767,"completion_tokens_details":{"reasoning_tokens":3901}},"tokens_in":767,"tokens_out":3976,"duration_ms":33375,"temperature":1.0,"reasoning_tokens":3901,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T11:07:05.406361+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute $d_{qH}$ between $|00\\rangle\\langle 00|$ and $|11\\rangle\\langle 11|$ in $A=M_2(\\mathbb{C})\\otimes M_2(\\mathbb{C})$ using Corollary 11.2 and compare with the value obtained from the definition of [7]; if the two numbers disagree, the claimed match fails. A broader test would search for any pair of states on $\\otimes_i M_{n_i}(\\mathbb{C})$ for which the infimum over decompositions differs from the density-matrix formula of definition 7 of [7].","supporting_citations":[{"cited_title":"The quantum Wasser- stein distance of order 1","cited_arxiv_id":null,"evidence_quote":"Introduces the quantum Wasserstein distance of order 1 on states that the paper's $d_{qH}$ is built to match; it is the target definition and the main comparison point."},{"cited_title":"Leibniz Seminorms and Best Approximation from C*-subalgebras","cited_arxiv_id":"1008.3733","evidence_quote":"Supplies the theorem that pull-backs of quotient norms by C*-subalgebras are strongly Leibniz, which gives the strong Leibniz property of each $L_i$ and hence of $L_{qH}$."},{"cited_title":"Leibniz seminorms for \"Matrix algebras converge to the sphere\"","cited_arxiv_id":"0707.3229","evidence_quote":"Provides the C*-metric axioms and the result that the maximum of strongly Leibniz seminorms is strongly Leibniz, used in Section 10."},{"cited_title":"Kadison and John R","cited_arxiv_id":null,"evidence_quote":"Supplies the minimal C*-tensor product properties, associativity and subalgebra behavior, that allow Definition 9.2 to extend to arbitrary unital C*-algebras."}],"review_version":1}