{"id":"027d377a-b328-47ce-a68a-5152cd6db788","arxiv_id":"2603.06132","paper_version":2,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"The star product for quantum symmetric pair coideal subalgebras is short, giving conceptual proofs of the anti-automorphism σ_τ, bar involution, Balagović–Kolb fundamental lemma, and a formula for the tensor quasi K-matrix via the Letzter map and quasi R-matrix.","lead":"The paper proves that the star product on the quantum horospherical subalgebra of a quantum symmetric pair is short. This single property yields new first-principles constructions of the anti-automorphism, bar involution, fundamental lemma, and tensor quasi K-matrix without relying on prior quasi K-matrix technology.","discovery_kind":"first_principles","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified","rationale":"The reader correctly isolates the Letzter-map filtered isomorphism as the sole external input and notes that all later results are elementary consequences of shortness. The present re-examination confirms that the new ingredients (graded image of π(B_c) and the left/right lower-order maps) are proved by direct, fully explicit calculations inside the standard Hopf-algebra toolkit; no circularity with the quasi-K-matrix or unstated boundedness hypotheses arises. Consequently the ACCEPT verdict with low correctness risk stands.","tokens_in":38354,"tokens_out":584,"duration_ms":12594,"concrete_test":"For the rank-1 Satake diagram of type AII (X=∅, \tau=id) or the smallest non-quasi-split case (e.g., AI with X={1} inside sl_3), expand the first few graded pieces of A explicitly, compute the matrices of μ_i^L and μ_i^R via the formulas (3.8) and (4.7), form the star products of basis elements up to total degree 4, and verify that every product lands inside the predicted direct-sum range |m-n|\to m+n; any component outside that range would falsify Theorem 3.10.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim (shortness of the star product on A via the Letzter map, Theorem 3.10) rests on the filtered isomorphism property of ψ from [KY21, Lemmas 2.10–2.11] together with the new graded-image statement Theorem 2.14 (which follows directly from the coideal property Δ(B_c) ⊂ B_c ⊗ U and the two compatible gradings (2.50)–(2.54) on W). Once those are granted, the degree bounds for a∗b are obtained by elementary comparison of homogeneous components of iterated star products (using homogeneity of μ_i^L of degree -1 from the explicit formula (3.8) and the Fock-space action of R^{±,r}_X via Lemmas 3.8–3.9). The subsequent constructions of σ_\tau, the bar involution, the fundamental lemma, and the tensor quasi-K-matrix are then pure degree-chasing consequences of that single property. No internal inconsistency or hidden analytic assumption appears in the degree comparisons or the rewriting of the quasi-R intertwiner.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The paper proves that the star product on the quantum horospherical subalgebra A^{-}_{X,τ} induced by the Letzter map ψ : B_c → A^{-}_{X,τ} is short (Theorem 3.10 / Theorem B). From this single property it derives, without prior use of the quasi K-matrix, the algebra anti-automorphism σ_τ of B_c (Theorem 4.6 / Corollary 4.7), the bar involution under the usual parameter condition (Corollary 4.9), an elementary proof of the Balagović–Kolb fundamental lemma (Proposition 4.10 / Corollary 4.11), and a closed formula for the tensor quasi K-matrix Θ_B = (ψ^{-1} ⊗ id)(Θ) that immediately yields its intertwiner property (Theorem 5.8). The argument proceeds by establishing that the image of B_c in the horospherical Heisenberg double W_{X,τ} is graded (Theorem 2.14), then comparing homogeneous components of iterated star products via the Fock-space action of the quantum nilradicals R^{±,r}_X.","tokens_in":38602,"tokens_out":744,"duration_ms":5595,"significance":"If correct, the work supplies a uniform, first-principles foundation for several structural results that previously relied on the technically heavy construction of the quasi K-matrix (Bao–Wang, Balagović–Kolb, Appel–Vlaar). The shortness property itself is a new conceptual tool for non-commutative graded algebras, and the explicit formula relating Θ_B to the ordinary quasi R-matrix and the Letzter map is of independent interest. The proofs are fully written out from standard quantum-group facts and the filtered isomorphism property of ψ established in the authors’ earlier paper [KY21]; no external analytic assumptions appear. The logical dependency diagram (Figure 1) makes the pivotal role of shortness transparent.","major_comments":[],"minor_comments":[{"comment":"In the statement of Theorem C / (1.4) the scalar factor q^{-(α_i,θ(α_i))} appears both in the numerator and (implicitly via the definition of μ^L) in the denominator; a parenthetical remark that the two cancel under the usual normalisation of the pairing would improve readability.","section":null},{"comment":"Section 2.6 introduces two compatible gradings on U^{poly} (the “total degree” (2.50) and the U^0_τ-degree (2.51)). A single sentence clarifying that the second grading is used only for the projection π_n in the proof of Theorem 2.14 would prevent momentary confusion.","section":null},{"comment":"The phrase “fundamental lemma for quantum symmetric pairs” is attributed to Bao–Wang [BW21]; a brief footnote recalling that the original conjecture appears as Conjecture 2.7 in [BK15] would help non-specialist readers.","section":null},{"comment":"In Corollary 5.11 the identity Θ_B = Δ(X)·Θ·(X^{-1}⊗1) is stated without an explicit reference to the uniqueness result of Proposition 5.9; adding “(by Proposition 5.9)” would make the logical step immediate.","section":null}],"recommendation":"accept","confidential_remarks":"The manuscript is a clean, self-contained contribution that fits the journal’s scope well. The only external dependency is the filtered isomorphism of the Letzter map from the authors’ own earlier work; that result is standard and has been available for several years. I see no citation or novelty issues."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"The real news is that the star product on the quantum horospherical algebra A coming from the Letzter map is short, and that this single degree bound immediately yields four previously technical facts: the anti-automorphism σ_τ, the bar involution, the Balagović–Kolb identity, and a closed formula for the tensor quasi-K-matrix as (ψ^{-1} ⊗ id)(Θ).\n\nWhat they do well is isolate one clean property (Theorem 3.10) and derive everything else by comparing homogeneous components. The graded-image statement for π(B_c) inside the horospherical Heisenberg double (Theorem 2.14) is short and rests only on the coideal property plus the two compatible gradings; once that is in hand the Fock-space degree estimates are elementary. The conversion of left lower-order maps μ_i^L into right maps μ_i^R via σ∘τ is explicit and gives the anti-automorphism without ever mentioning the quasi-K-matrix. The same comparison produces the elementary proof of the fundamental lemma and rewrites the quasi-R intertwiner into the quasi-K intertwiner. The logical diagram in the introduction is accurate: everything really does flow from shortness.\n\nThe only external load-bearing input is the filtered isomorphism property of the Letzter map from their earlier paper [KY21]. That is standard in the subfield and is used cleanly; if it failed the whole star-product story would collapse, but it does not. The non-standard-parameter extension at the end is a short remark rather than a full development, which is fine for the scope they claim. Citation pattern is normal and self-citations are to the necessary prior lemmas.\n\nThis is for people who already work with quantum symmetric pairs or coideal subalgebras and want cleaner foundations or a better way to teach the quasi-K-matrix. It does not invent new technology outside that circle, but inside it the reorganization is useful and the proofs are fully written. A serious editor should send it to referees; the arguments are explicit and the claims are checkable. I would cite the shortness theorem and the formula for Θ_B when I next need either object.","headline":"Clean structural reorganization of QSP foundations around one short-star-product property; proofs are elementary and quasi-K-free.","tokens_in":39214,"tokens_out":588,"would_cite":true,"duration_ms":7161,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["17B37","16T05","17B67"],"pacs":[],"model":"grok-4.5","headline":"The star product for quantum symmetric pairs is short, and that single fact rebuilds the main structural maps of the theory from first principles.","keywords":["quantum symmetric pairs","short star products","Letzter map","bar involution","quasi K-matrix","horospherical subalgebra","coideal subalgebras"],"falsifier":"Exhibit a single generalized Satake diagram and parameters for which the image of the coideal under the projection to the horospherical Heisenberg double fails to be graded, or for which the star product of two homogeneous elements of degrees m and n produces a nonzero component outside degrees |m-n| through m+n.","tokens_in":39239,"feed_emoji":"⨯","tokens_out":1117,"duration_ms":8237,"temperature":0.7,"pith_summary":"Quantum symmetric pairs are quantized fixed-point subalgebras inside a quantum group. Their generators can be rewritten as a deformed product (a star product) on a simpler graded algebra called the quantum horospherical subalgebra. This paper proves that the deformation is short: the product of two homogeneous pieces only involves a tightly bounded range of degrees. Shortness immediately forces the left and right lower-order correction maps to be homogeneous of degree -1, which lets the authors convert left multiplications into right multiplications by conjugation. From that conversion they construct an anti-automorphism of the coideal, recover the bar involution without any quasi K-matrix, give an elementary proof of the so-called fundamental lemma, and obtain a closed formula for the tensor quasi K-matrix as the pull-back of the ordinary quasi R-matrix under the Letzter map. The whole package therefore rests on one graded-algebra statement rather than on case-by-case constructions or heavy inductive arguments.","feed_headline":"One graded fact rebuilds quantum-pair structure maps","feed_subtitle":"Shortness of the star product yields the anti-automorphism, bar involution and quasi K-matrix without induction","key_machinery":"Shortness of the star product on A^{-}_{X,τ}. Once the product is known to be short, the correction maps μ^L_i and μ^R_i become homogeneous of degree -1; conjugating one by the anti-automorphism σ∘τ therefore produces the other, and every subsequent identity follows by comparing graded pieces.","core_discovery":"The star product a * b = ψ(ψ⁻¹(a) ψ⁻¹(b)) induced by the Letzter map on the quantum horospherical subalgebra is short: the product of degree-m and degree-n pieces lands only in degrees between |m-n| and m+n. All later structural results of the paper (anti-automorphism σ_τ, bar involution, fundamental lemma, and the intertwiner formula for the tensor quasi K-matrix) are direct consequences of this single graded property.","pith_inferences":["Shortness may be the correct organizing principle for other coideal or Nichols-algebra deformations that currently rely on case-by-case quasi K-matrices.","The graded image of the coideal inside the horospherical Heisenberg double is itself a new structural object that could be studied independently of the star product.","Once left and right correction maps are known to be conjugate, many older identities that were proved by direct computation become formal consequences of a single conjugation."],"forward_implications":["The anti-automorphism σ_τ of the coideal exists and is induced by σ∘τ on the star-product algebra, without any reference to a quasi K-matrix.","When the parameters satisfy the standard reality condition, the bar involution on the coideal is obtained simply by composing σ_τ with the ordinary bar involution of the quantum group.","The fundamental lemma (invariance of certain skew derivatives under σ∘τ) follows by equating the two explicit formulae for the left and right correction maps.","The tensor quasi K-matrix is exactly (ψ⁻¹ ⊗ id)(Θ), and its intertwiner property is the star-product translation of the ordinary intertwiner property of the quasi R-matrix.","The same construction extends, via character twisting, to non-standard quantum symmetric pairs."],"fun_headline_variants":["Short star product yields quantum-pair anti-automorphism and bar involution","Graded shortness of star product rebuilds quantum symmetric pair maps","Star product shortness proves fundamental lemma for quantum pairs","Short product formula gives tensor quasi K-matrix via R-matrix","Short star products imply quantum pair structure from first principles"],"cache_read_input_tokens":32896,"weakest_assumption_plain":"The Letzter map must be a filtered vector-space isomorphism whose associated graded map is an algebra isomorphism; without that filtered isomorphism the star product is not even defined as a filtered deformation.","fun_headline_variants_meta":{"raw":{"variants":["Short star product yields quantum-pair anti-automorphism and bar involution","Graded shortness of star product rebuilds quantum symmetric pair maps","Star product shortness proves fundamental lemma for quantum pairs","Short product formula gives tensor quasi K-matrix via R-matrix","Short star products imply quantum pair structure from first principles"]},"model":"grok-4.5","effort":"low","cost_usd":0.007004,"raw_usage":{"total_tokens":1672,"prompt_tokens":709,"num_sources_used":0,"completion_tokens":72,"cost_in_usd_ticks":70040000,"prompt_tokens_details":{"text_tokens":709,"audio_tokens":0,"image_tokens":0,"cached_tokens":128},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":891,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":709,"tokens_out":72,"duration_ms":8273,"temperature":1.0,"reasoning_tokens":891,"cache_read_input_tokens":128,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-15T13:59:17.223917+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Exhibit a single generalized Satake diagram and parameters for which the image of the coideal under the projection to the horospherical Heisenberg double fails to be graded, or for which the star product of two homogeneous elements of degrees m and n produces a nonzero component outside degrees |m-n| through m+n.","supporting_citations":[],"review_version":1}