{"id":"265fdc64-3a72-43a4-bf1c-ce00e54ca7bf","arxiv_id":"2507.01745","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Tight IC measurements in geometric GPTs are characterized as the unique measurements whose canonical generalized Urgleichung is the classical total probability law plus one correction term.","lead":"Introduces s-tight IC measurements, a family of informationally complete measurements in generalized probabilistic theories that includes both morphophoric and Scott's tight IC measurements. Proves that tight IC measurements are exactly those for which the generalized QBist Urgleichung takes the simplest form, the classical law of total probability plus a correction term.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified: Theorem 10's equivalence is sound; the supra-duality assumption is imported but true.","rationale":"The reader's ACCEPT verdict is sound. I stress-tested the central equivalence rather than the peripheral example. For tight IC, (6) and w_j=μv_j/π_j(m) give α = α_0 independent of μ and the frame identity P0 = α_0 Σ_j (1/π_j(m))|P0v_j⟩⟨P0v_j| on V0; applying ξ_k and rewriting ξ_k(w_j) yields (11). Conversely, if (11) holds for an IC ξ on B, both sides are restrictions of linear maps vanishing at m; because B affinely spans V1 and 0∈V0 lies in the closure of B−m, equality extends to all V, so δξ=A K δπ. Injectivity of ξ then gives P0 = A μ Σ_j (1/π_j(m))|v_j⟩⟨v_j|P0, i.e. tight IC. Thus Theorem 10 is correct. The supra-duality assumption is essential but true: for small μ the condition y∈C^+ forces y/e(y) into an arbitrarily small ball around m inside B (and e(y)=0 forces y=0), so C^+⊂C. This is elementary and does not shrink the class of GGPTs. The only caveats are presentational: conditional probabilities for zero-probability outcomes need the convention p^{ξ|π}_{k|j}(x)=ξ_k(w_j), and the proof of Theorem 10 should state the affine-extension step. Neither affects the verdict.","tokens_in":12760,"tokens_out":37037,"duration_ms":400503,"concrete_test":"Independently re-derive the converse direction of Theorem 10 from equation (11): write the equality as δξ = A K δπ on V, explicitly proving affine extension from B to V, then use injectivity of the informationally complete ξ to recover the scaled-frame identity; if the derivation fails at the extension step, the equivalence would require an additional boundedness or full-dimensionality assumption.","verdict_should_be":"UNCHANGED","load_bearing_attack":"No load-bearing concern found. I checked the central equivalence directly. For the canonical instrument, p^{ξ|π}_{k|j}(x)=ξ_k(w_j) is independent of x, so Corollary 9 becomes (11) with A=1/(αμ); conversely, if (11) holds for an informationally complete ξ on B, both sides are restrictions of linear maps that vanish at m, and since B affinely spans V1, equality extends to all of V, giving δξ=A K δπ. Injectivity of ξ then yields the scaled-frame identity P0 = A μ Σ_j (1/π_j(m))|v_j⟩⟨v_j| P0 on V0, i.e. tight IC. The reader's flagged supra-duality assumption is the only genuinely imported ingredient, but it is not a correctness risk: for any proper cone with base B and m∈int B, taking μ below a threshold forces C^+⊂C by an elementary polar/convexity argument, so the class of GGPTs covered is not unexpectedly small. Minor presentational caveats — conditional probabilities for zero-probability outcomes require the convention p^{ξ|π}_{k|j}(x)=ξ_k(w_j), and Theorem 10's proof omits the affine-extension step — do not touch the central claim.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces a new class of measurements in geometric generalised probabilistic theories (GGPTs), called s-tight informationally complete (IC) measurements, defined by the requirement that the projected effects form a scalable frame for the traceless subspace. This class contains both morphophoric measurements and Scott's tight IC measurements as special cases. The main results are: (i) a frame-theoretic characterisation of s-tight IC and tight IC measurements, including a decomposition identity for the frame operator (Proposition 4); (ii) generalised primal equations for s-tight IC and tight IC measurements with instruments balanced at a distinguished state m (Theorems 6 and 8); and (iii) a characterisation of tight IC measurements as exactly those for which the generalised Urgleichung with the canonical instrument takes the form of the classical law of total probability plus a correction term (Theorem 10). The paper also gives an explicit qubit example illustrating the hierarchy of these classes and discusses the relation to the QBist Urgleichung.","tokens_in":12972,"tokens_out":9591,"duration_ms":108009,"significance":"If the results are correct, the paper provides a clean unification of morphophoric and tight IC measurements under a single scalable-frame condition, and it extends the QBist Urgleichung formalism beyond both quantum theory and the previously treated morphophoric case. The central equivalence, Theorem 10, is a genuine and checkable characterisation: it is derived from the definitions rather than fitted to data, and the operator identities in Propositions 4 and Theorem 8 are explicit and verifiable. The qubit example in Section 4 usefully delineates the parameter regions for the different classes. The paper is transparent about its main imported ingredient, the supra-duality assumption on the GGPT, which is inherited from the author's prior framework [27]. The proof style is mostly self-contained, and the claimed results are falsifiable in the sense that they give concrete criteria that can be checked for any proposed GGPT and measurement.","major_comments":[],"minor_comments":[{"comment":"The sentence after the definition of a GGPT asserts that by taking the size parameter μ sufficiently small one can always make the cone supra-dual, but no proof or precise reference is given; since the supra-duality assumption is used in Theorems 6, 8 and 10, please add a proof or a specific citation to [27] for this scaling fact.","section":"Section 2"},{"comment":"The proof of Theorem 10 is too compressed: it invokes the probabilistic version of Theorem 8, but Corollary 9 is stated in the forward direction only, and the proof does not explicitly justify that equality on the state space B extends to an operator equality on V0 (both sides vanish at m and are linear on the affine span of B). Please expand this step so that condition (iii) is seen to imply tightness.","section":"Theorem 10"},{"comment":"The first sentence contains a grammatical error: 'The analysed in this paper new class' should read 'The new class analysed in this paper'.","section":"Abstract"},{"comment":"There is a typo in the introductory paragraph of Section 5: 'Urgleihung' should be 'Urgleichung'.","section":"Section 5"},{"comment":"The index range in the last line of Corollary 7 reads 'k = 1, ..., k′', but the second measurement has n′ outcomes; this should be 'k = 1, ..., n′'.","section":"Corollary 7"},{"comment":"In Definition 9, the codomain of the maps Λ_j is described as C, but the post-measurement subnormalised states Λ_j(x) need not be normalised states; the maps should be described as affine maps into the cone C (or into V) with e(Λ_j(x)) = π_j(x), and this is presumably the intended meaning.","section":"Definition 9"}],"recommendation":"minor_revision","confidential_remarks":"The paper is a natural continuation of the author's earlier work [27], and the novelty is incremental but real: the scalable-frame generalisation and the canonical-instrument Urgleichung characterisation are clean and publishable results. The main technical caveat, the imported supra-duality scaling fact, is not a correctness risk in my assessment, but the manuscript would benefit from stating it more carefully. I see no concerns about the citation pattern or scope."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Clean, correct, and well-scoped. The new class of s-tight IC measurements genuinely does unify morphophoric and tight IC POVMs, and the generalized Urgleichung theorems (6, 8, 10) are real equivalences, not numerology. Theorem 10 is the centerpiece and it holds: for canonical instruments, tightness is exactly the condition that the primal equation reduces to total probability plus a correction term.\n\nThe proof of Proposition 4 is neat and the reduction of C to K in Theorem 8 is legitimate. The C2 example in Section 4 is a nice concrete demonstration of the parameter structure. The paper is honest that the right definition is chosen so the equation simplifies; that is more a virtue than a circularity, since the equivalences are proven from the definition.\n\nSoft spots are minor. The supra-duality assumption is imported: the claim that µ can be chosen small enough to make C+ ⊂ C is stated in Section 2, not proved here, and it leans on the author's earlier paper [27]. The stress-test note gives a plausible polar/convexity argument, and I agree it is not a correctness risk for proper cones, but the text should at least sketch it. The canonical instrument is imposed, so the 'only ones' claim in the conclusions is qualified by that choice; fine, but worth making loud. Conditional probabilities for zero-probability outcomes need a convention (set them to ξ_k(w_j)); the paper does this implicitly. Theorem 10's proof is one line: the affine extension step from B to V is omitted. These are referee-level fixes, not flaws.\n\nCitation pattern is fine. The work builds on the author's prior papers [26,27] and on Scott [24], and the prior results are openly cited. No data, no code — normal for this subfield.\n\nThis paper is for people interested in QBism, GPTs, and informationally complete measurements. It deserves a serious referee, and with minor revisions (prove or explicitly reference the supra-duality scaling, spell out the zero-probability convention, expand the proof of Theorem 10) it would be a solid contribution. I'd take it.","headline":"Clean, correct, and well-scoped: the new s-tight IC class genuinely unifies morphophoric and tight IC measurements, and the generalized Urgleichung equivalences are real theorems worth publishing.","tokens_in":13543,"tokens_out":1700,"would_cite":true,"duration_ms":18364,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81P16","42C15","81P45"],"pacs":["03.65.Ta","03.65.Wj"],"model":"deepseek-v4-flash","headline":"The paper proves that, in any supra-dual geometric generalised probabilistic theory, a measurement with a canonical instrument is tight IC if and only if its generalized Urgleichung takes the form of the classical total probability law…","keywords":["generalised probabilistic theories","informationally complete measurements","tight frames","scalable frames","Urgleichung","QBism","morphophoric measurements","state tomography"],"falsifier":"Construct a concrete geometric GPT (a finite-dimensional cone and state space) for which no choice of $\\mu$ makes the cone supra-dual; if such a theory exists, Theorems 6, 8 and 10 would not apply to it. Alternatively, exhibit an IC measurement that is not tight IC but still satisfies equation (11) for every further measurement $\\xi$, which would refute the 'only if' direction of Theorem 10.","tokens_in":12536,"feed_emoji":"📐","tokens_out":7425,"duration_ms":72320,"temperature":0.7,"pith_summary":"This paper introduces a new class of measurements, called s-tight informationally complete (IC) measurements, that live in geometric generalised probabilistic theories (GGPTs). The class includes both morphophoric measurements, which preserve the geometry of the state space, and the tight IC measurements previously studied in quantum information. The paper shows that all s-tight IC measurements have a useful property: the statistics of any other measurement can be recovered from their outcome statistics through a generalised primal equation, a relative of the QBist Urgleichung. Its main theorem singles out tight IC measurements as the only ones for which, when the measurement instrument is canonical, this equation reduces to the classical law of total probability with one correction term. A sympathetic reader should care because the result identifies a purely frame-theoretic condition that governs when tomography and probability update become unusually simple.","feed_headline":"Tight IC measurements give the simplest probability law","feed_subtitle":"Only these measurements turn the generalized Urgleichung into the classical law of total probability plus a correction.","key_machinery":"The argument is carried by scalable frames: finite sequences of vectors that can be scaled elementwise to a tight frame. For a measurement, the traceless parts of its effects (their projections onto the hyperplane orthogonal to the unit effect) form a frame for the traceless subspace; s-tight IC means exactly that this frame is scalable. The canonical instrument, which maps a pre-measurement state $x$ to the fixed post-measurement state $w_j$ with probability $\\pi_j(x)$, makes the conditional probabilities $p^{\\xi|\\pi}_{k|j}(x)$ independent of $x$, which is what lets the generalised primal equation collapse to the simple total-probability form. The supra-duality assumption (the positive dual cone is contained in the cone) is used to identify effects with positive states via the Riesz isomorphism, so that frame-theoretic tools apply directly to states.","core_discovery":"The central claim is Theorem 10: in a supra-dual GGPT, for a measurement $\\pi$ with its canonical instrument, $\\pi$ is tight IC if and only if for every further measurement $\\xi$ and every state $x$, $p^{\\xi}_k(x) - p^{\\xi}_k(m)$ equals $A$ times the sum over outcomes $j$ of $p^{\\xi|\\pi}_{k|j}(x)$ times $(p^{\\pi}_j(x) - p^{\\pi}_j(m))$, with $A = 1/(\\alpha\\mu)$. In words, tight IC measurements are exactly the measurements for which the generalized Urgleichung takes the form of the classical law of total probability plus a correction term. The paper argues that this simplicity is not a special feature of unbiasedness or morphophoricity, but is precisely the signature of tight IC measurements, thereby extending the QBist story beyond quantum theory.","pith_inferences":["One could test whether the same characterization holds for instruments that are balanced at $m$ but not canonical; the paper's Theorem 8 suggests the equation gains an $x$-dependence, and comparing the two forms might quantify how non-classical a given instrument is.","If the supra-duality scaling fact fails for some cones, then the class of GGPTs for which the result holds would shrink; finding a concrete counterexample would sharpen the boundary of the theorem.","The result suggests that the 'quantumness' visible in the Urgleichung's correction term is tied to frame tightness rather than to the specific Hilbert-space structure, which could inform attempts to reconstruct quantum theory from information-theoretic postulates.","The frame-scalability perspective might offer a way to look for SIC-POVM analogues in arbitrary self-dual GPTs: tight IC measurements that are also $\\chi$-ray are the closest candidates."],"forward_implications":["Tight IC measurements become the natural reference devices for QBist reconstructions in any supra-dual GGPT, since their generalized Urgleichung has the simplest possible form.","The class of s-tight IC measurements unifies morphophoric and tight IC measurements under one condition—scalability of the traceless frame—so theorems about state recovery can be proved once for both.","For self-dual GGPTs, $\\chi$-ray tight IC measurements satisfy $\\alpha\\mu = \\chi/(\\mu\\dim V_0)$, a relation linking the measurement constant, the state-space geometry, and the Hilbert-space dimension, with no dependence on the number of outcomes.","The probabilistic form of the Urgleichung for tight IC measurements is expressed entirely in probabilities and conditional probabilities, with no arbitrary scale factors, making it a purely operational formula."],"supporting_citations":[{"why":"introduces tight IC POVMs in the quantum case, the class the paper generalises to GGPTs","marker":"[24]"},{"why":"defines morphophoric POVMs in quantum theory, which the new s-tight class contains as a special case","marker":"[26]"},{"why":"extends the morphophoric framework to GGPTs and supplies the supra-duality setup and the earlier Urgleichung generalisation","marker":"[27]"},{"why":"introduces scalable frames, the central frame-theoretic notion behind the definition of s-tight IC measurements","marker":"[17]"},{"why":"supplies the background on finite tight frames, the trace formula, and the notion of frame lifts used in Proposition 4","marker":"[30]"},{"why":"provides the characterisation of informational completeness used in Theorem 2","marker":"[25]"},{"why":"states the original QBist Generalised Urgleichung form that the tight IC equation is compared to in Remark 6","marker":"[14]"}],"fun_headline_variants":["Tight IC measurements give the simplest probability law","Tight IC: the cleanest probability rule in GPTs","Tight IC measurements yield simple probability laws","Tight IC: the simplest probability law in GPTs","Tight IC measurements simplify the probability law"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The results assume that the theory's inner product can be tuned, by choosing the size parameter $\\mu$ small enough, so that the cone is supra-dual; the paper does not prove that this tuning is always possible, citing earlier work.","fun_headline_variants_meta":{"raw":{"variants":["Tight IC measurements give the simplest probability law","Tight IC: the cleanest probability rule in GPTs","Tight IC measurements yield simple probability laws","Tight IC: the simplest probability law in GPTs","Tight IC measurements simplify the probability law"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000498,"raw_usage":{"total_tokens":2389,"prompt_tokens":848,"completion_tokens":1541,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":464,"completion_tokens_details":{"reasoning_tokens":1467}},"tokens_in":464,"tokens_out":1541,"duration_ms":13311,"temperature":1.0,"reasoning_tokens":1467,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T20:44:36.523669+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Construct a concrete geometric GPT (a finite-dimensional cone and state space) for which no choice of $\\mu$ makes the cone supra-dual; if such a theory exists, Theorems 6, 8 and 10 would not apply to it. Alternatively, exhibit an IC measurement that is not tight IC but still satisfies equation (11) for every further measurement $\\xi$, which would refute the 'only if' direction of Theorem 10.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"introduces tight IC POVMs in the quantum case, the class the paper generalises to GGPTs"},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"defines morphophoric POVMs in quantum theory, which the new s-tight class contains as a special case"},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"extends the morphophoric framework to GGPTs and supplies the supra-duality setup and the earlier Urgleichung generalisation"},{"cited_title":"438 (2013), 2225–2238","cited_arxiv_id":null,"evidence_quote":"introduces scalable frames, the central frame-theoretic notion behind the definition of s-tight IC measurements"},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"supplies the background on finite tight frames, the trace formula, and the notion of frame lifts used in Proposition 4"},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"provides the characterisation of informational completeness used in Theorem 2"},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"states the original QBist Generalised Urgleichung form that the tight IC equation is compared to in Remark 6"}],"review_version":1}