{"id":"6554756f-a206-41ec-9bb0-f2493bf2dc29","arxiv_id":"2507.19400","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"For tridiagonal pairs, the raising and lowering maps defined by the eigenspaces of A* and by the split decomposition are intertwined by a single bijection, with explicit formulas and rank consequences.","lead":"This paper studies pairs of matrices that shift each other's eigenspaces by at most one step, called tridiagonal pairs. It proves that the two standard ways of building raising and lowering operators from such pairs are related by explicit formulas and the same conjugation map.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified: the intertwining theorems follow from the proven Lemma 6.5 and standard tridiagonal-pair results.","rationale":"The reader identified Lemma 6.5 and the bijection P = sum F_l E*_l as the load-bearing premise, which is indeed the key step for the intertwining theorems. However, the paper does not merely import this premise: Lemma 6.5 is stated and proved in Section 6 using Lemma 6.4, whose proof is also supplied. The earlier results [14, Theorem 4.6] on the split decomposition are standard and are cited transparently, as is normal in this research area. I rechecked the algebraic identities behind Lemma 6.5 and the operator identities in Theorem 8.5, and found no gap that would threaten the central claim. The only mildly compressed argument is the 'direct calculation' in Corollary 9.3, but that result concerns relations between R and L and is not needed for Theorems 8.9–8.11 or Theorem 10.1. Since no load-bearing concern survives, the reader's ACCEPT verdict should stand unchanged.","tokens_in":24122,"tokens_out":12784,"duration_ms":113930,"concrete_test":"Independently re-derive Corollary 8.6 directly from Definition 4.1 and Lemma 7.5 (without invoking Theorem 8.5) for each j with 0 <= j <= d-1, checking the endpoint j = d-1; if the identity F_{j+1}E*_{j+1}AE*_j = R F_jE*_j holds, then the central diagram in Theorem 8.9 is sound.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is the commutativity of the diagrams in Theorems 8.9–8.11, which expresses the quantum maps R, F, L in terms of the split maps R, L through the fixed bijection P = sum_{l=0}^d F_l E*_l. The load-bearing premise is that P is a bijection sending E*_i V to F_i V, and that the split decomposition projectors F_i interact with the primitive idempotents E*_i as in Lemma 6.4. I checked the proof of Lemma 6.5 in Section 6: it is proved in the paper, not merely imported. The identities P Q = I and Q P = I follow directly from Lemma 6.4, and Lemma 6.4 itself is proved from Lemma 6.3, which uses only the standard split decomposition relations (19), (20). The remaining external input, [14, Theorem 4.6] establishing the directness of the split decomposition, is a standard, published theorem in the field. The computations in Theorem 8.5 are internally consistent: the two double sums are reduced using Lemmas 7.5 and 7.6 together with Propositions 8.2 and 8.4, and the moving of powers of L across F_i follows from the operator identity L F_k = F_{k-1} L. I found no circularity or hidden regularity assumption beyond the mutual distinctness of the eigenvalues, which is part of the definition. The one terse step, the 'direct calculation' in the proof of Corollary 9.3, is a routine algebraic verification and is not load-bearing for the main intertwining theorems. Overall, the central argument holds up under scrutiny.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies a tridiagonal pair (A, A*) on a finite-dimensional vector space and compares two standard families of structure maps attached to it: the quantum decomposition maps R, F, L, defined with respect to the A*-eigenspace filtration, and the split decomposition maps R, L, defined with respect to the U_i split decomposition. The central result is that these two families are related by the fixed bijection P = sum_l F_l E*_l. Theorems 8.9–8.11 express this as commuting diagrams: P R = R P, P F = (theta_j I + RL/(theta*_j - theta*_{j-1}) + LR/(theta*_j - theta*_{j+1})) P on E*_j V, and a corresponding longer formula for P L. Theorem 10.1 transfers the known injectivity/surjectivity/bijectivity properties of powers of R and L on the split subspaces to the eigenspaces E*_i V. The final sections specialize these results to Leonard systems and to Krawtchouk type, recovering known results such as Proposition 11.3 and Corollary 9.3 as consistency checks.","tokens_in":24496,"tokens_out":7129,"duration_ms":67550,"significance":"If correct, the paper gives a concrete dictionary between two widely used decompositions in the theory of tridiagonal pairs: the quantum decomposition and the split decomposition. The main formulas are explicit and parameter-free rational expressions in the eigenvalue data, and the key intertwining map P is proved to be a bijection in Lemma 6.5, not merely imported. The proofs are largely transparent and the dependence on the literature is clearly flagged. The transfer of the injectivity/surjectivity statements to the eigenspaces E*_i V in Theorem 10.1 is a genuine strengthening of the split-map results and yields the clean rank formulas in Corollary 10.2. The rederivation of previously known identities from the new formulas is a useful consistency check. I found no load-bearing gap in the main argument.","major_comments":[],"minor_comments":[{"comment":"The denominator conventions in the displayed formula need to be stated explicitly. When s = i or s = j, the corresponding denominator product should be interpreted as the empty product equal to 1. As written, the factor (theta*_i - theta*_s) in the first sum appears to be zero for s = i, which would make the formula ill-defined without that convention.","section":"Theorem 8.5"},{"comment":"The sentence 'where e+_d and e-_1 are indeterminates' is difficult to interpret. Please state explicitly whether the terms containing e+_d and e-_1 are omitted at the boundary, or whether the symbols are assigned a formal value; otherwise the displayed relations are not well-defined as scalar equations.","section":"Theorem 5.1(ii)"},{"comment":"The proof of the claimed equality in Corollary 9.3 is summarized as a 'direct calculation using (11)' in four cases. Since this is a lengthy algebraic verification, please display at least one representative case (for example 3 <= j <= d-1) in the text or in an appendix so that the calculation can be checked by the reader.","section":"Corollary 9.3"},{"comment":"The two families of maps, the quantum maps R, F, L and the split maps R, L, are denoted by letters that are not always visually distinguished in the running text. A short table of notation at the end of Section 7 would help the reader keep the two families separate.","section":"Sections 7-8"}],"recommendation":"minor_revision","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The short version: a genuine, careful piece of structural algebra, and the ACCEPT verdict is right. The central new content is the explicit conjugation between two operator languages for tridiagonal pairs, and it holds up under reading.\n\nWhat is actually new: explicit intertwining formulas relating the quantum-decomposition maps R, F, L to the split-decomposition maps R, L, all through the single bijection P = sum_l F_l E*_l. Theorems 8.9–8.11 state this as commuting diagrams, and they are the heart of the paper. The formulas in 5.1, 9.1–9.2, and 10.1 are not in the cited literature except as special cases. Deriving known results such as [14, Theorem 12.1] and [34, Lemma 5.1] as corollaries is a genuine consistency check, not circularity. The Leonard-pair and Krawtchouk sections are a service to the reader: the machinery collapses to concrete scalar identities, and the exponential formulas (12.4–12.7) in the Krawtchouk case are quite clean.\n\nThe reader's weakest-assumption worry is weaker than stated. Lemma 6.4 and Lemma 6.5 are proved in this paper, with short and complete arguments; only the directness of the split decomposition comes from outside, via [14, Theorem 4.6], which is a standard published pillar of the theory. So the load-bearing premise is solid.\n\nSoft spots, in proportion: minor. The proof of Corollary 9.3 hides a four-case direct calculation behind 'by direct calculation using (11)', and parts of Theorem 5.1 (ii)–(iii) are similarly compressed. A referee will ask for those lines to be written out, but these are routine checks and nothing downstream rests on a subtle step. The boundary cases in Theorem 8.11 make the notation heavy, but they are handled honestly. The citation pattern is heavily self-referential, and that is appropriate here: this is the author's own research program, and the cited results are published theorems, not private communications.\n\nWho this is for: specialists in tridiagonal pairs, Leonard pairs, and Q-polynomial distance-regular graphs, and people using the split decomposition to build U_q(sl_2) modules. General readers can skip it. It will not reshape the subfield, but it gives workers the intertwiners they need.\n\nRecommendation: send it to a serious referee. The referee time is best spent on the compressed calculations, which I expect to verify with at most minor revision.","headline":"Careful, genuine structural algebra: explicit intertwiners between the quantum and split decompositions of a tridiagonal pair, with minor terse spots and no load-bearing gap.","tokens_in":25027,"tokens_out":4012,"would_cite":true,"duration_ms":34808,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["15A21","05E30"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that the quantum raising, flat, and lowering maps of a tridiagonal pair are conjugate to the split maps, so injectivity and rank statements transfer.","keywords":["tridiagonal pairs","split decomposition","raising and lowering maps","Leonard pairs","Krawtchouk type","quantum decomposition","tridiagonal relations","primitive idempotents"],"falsifier":"Take a concrete tridiagonal pair of diameter $d=2$ or $d=3$ with generic eigenvalues, write $A$ and $A^*$ explicitly in matrix form, compute the projections $F_i$ and $E^*_i$, and check the identity in Theorem 8.9 (or Corollary 8.7) on a numerical vector. If $\\Psi$ is singular or the two sides differ, the central claim fails; the same calculation also tests the imported bijection lemma, since $\\Psi$ is written in these terms.","tokens_in":23839,"feed_emoji":"🔗","tokens_out":19284,"duration_ms":144325,"temperature":0.7,"pith_summary":"A tridiagonal pair is a pair of diagonalizable linear maps $A,A^*$ whose eigenspaces interlace like the three diagonals of a tridiagonal matrix; attached to it are two standard ways of building raising and lowering operators. The first way decomposes $A$ as $R+F+L$ according to the eigenspaces of $A^*$; the second way uses the split decomposition $V=\\bigoplus_{i=0}^d U_i$ and gives maps $\\mathcal{R}, \\mathcal{L}$ that move between the $U_i$. This paper's central claim is that these two mechanisms are the same mechanism: one fixed bijection $\\Psi=\\sum_{\\ell=0}^d F_\\ell E^*_\\ell$ conjugates $R$ to $\\mathcal{R}$, and expresses $F$ and $L$ as explicit polynomials in $\\mathcal{R}, \\mathcal{L}$ on each split subspace. If the claim is right, results proved in one picture—most concretely the injectivity/surjectivity profile of powers of the split maps—transfer automatically to the other picture, and the two decompositions can be used interchangeably.","feed_headline":"The two decompositions of a tridiagonal pair are conjugate","feed_subtitle":"Quantum and split raising/lowering maps are linked by one explicit map; injectivity and rank results transfer.","key_machinery":"The central object is the intertwiner $\\Psi=\\sum_{\\ell=0}^d F_\\ell E^*_\\ell$, the sum over $\\ell$ of the split-decomposition projector $F_\\ell$ followed by the primitive idempotent $E^*_\\ell$. It is the bridge between the two decompositions because Lemma 6.4 gives $F_iE^*_iF_i=F_i$ and $E^*_iF_iE^*_i=E^*_i$, and Lemma 6.5 makes $\\Psi$ a bijection carrying $E^*_iV$ onto $F_iV$. The paper's computations reduce to evaluating products $F_iE^*_i A E^*_j$; the commuting diagrams in Theorems 8.9–8.11 are exactly the statement that $\\Psi$ intertwines the quantum maps with the split maps.","core_discovery":"The paper establishes that the $\\Phi$-raising map $R=\\sum_{i=0}^{d-1} E^*_{i+1}AE^*_i$ and the $\\Phi$-split raising map $\\mathcal{R}$ satisfy the conjugacy relation $R=\\Psi^{-1}\\mathcal{R}\\Psi$, where $\\Psi=\\sum_{\\ell=0}^d F_\\ell E^*_\\ell$ is the bijection sending each $E^*_iV$ to $F_iV$. Theorem 8.9 states this as a commuting square: $E^*_jV$ maps by $R$ to $E^*_{j+1}V$, while $F_jV$ maps by $\\mathcal{R}$ to $F_{j+1}V$, with the same $\\Psi$ on both vertical legs. Theorem 8.10 does the same for the flat map: under $\\Psi$, $F$ acts on $F_jV$ as $\\theta_j I + \\mathcal{R}\\mathcal{L}/(\\theta^*_j-\\theta^*_{j-1}) + \\mathcal{L}\\mathcal{R}/(\\theta^*_j-\\theta^*_{j+1})$, with the endpoints treated separately. Theorem 8.11 gives the parallel formula for the lowering map $L$ as a combination of $\\mathcal{L}$, $\\mathcal{R}\\mathcal{L}^2$, $\\mathcal{L}\\mathcal{R}\\mathcal{L}$, and $\\mathcal{L}^2\\mathcal{R}$ with coefficients built from eigenvalue differences. Theorem 10.1 then transfers the known injectivity/bijectivity/surjectivity profile of powers of $\\mathcal{R}$ and $\\mathcal{L}$ on the split subspaces to the spaces $E^*_iV$, yielding rank identities for $E^*_i A^{j-i} E^*_j$.","pith_inferences":["The paper leaves implicit the fact that the intertwiners can be weighted: replacing $\\Psi$ by $\\sum_{\\ell=0}^d c_\\ell F_\\ell E^*_\\ell$ yields a family of conjugacies wherever that sum remains invertible, so the unweighted sum is a normalization rather than an essential feature.","The Krawtchouk-type identification $\\Psi=\\exp(\\mathcal{L}/2)$ suggests that for other parameter families (for example $q$-Racah type) the same intertwiner should be expressible through $q$-exponentials in $\\mathcal{L}$; checking this would transfer the commuting-diagram results to those families in closed form.","One testable extension is to compare the rank identities with the known shape bounds: because $\\rho_i=\\dim F_iV=\\dim E^*_iV$, the two pictures impose compatible dimension inequalities, which could yield new constraints on the shape vector.","If the conjugacy holds, the subalgebras generated by $R,F,L$ and by $\\mathcal{R},\\mathcal{L}$ are isomorphic via conjugation by $\\Psi$; structural invariants would then transfer between the quantum and split pictures."],"forward_implications":["The powers $\\mathcal{R}^{j-i}$ and $\\mathcal{L}^{j-i}$ now have a known injectivity/bijectivity/surjectivity profile on the $A^*$-eigenspaces, matching the existing profile on the split subspaces (Theorem 10.1).","The rank identities $\\operatorname{rank} E^*_i A^{j-i} E^*_j = \\min\\{\\rho_i,\\rho_j\\}$ follow directly (Corollary 10.2).","For Leonard systems the two pictures give bijections at every step, and the formulas in Corollaries 8.7 and 8.8 reproduce the standard relations among the parameters $a_i$, $x_i$, $\\varphi_i$ (Section 11).","For Krawtchouk type the intertwiner is $\\exp(\\mathcal{L}/2)$, and the commutation relations $\\exp(\\mathcal{L}/2)\\mathcal{R}=\\mathcal{R}\\exp(\\mathcal{L}/2)$, $\\exp(\\mathcal{L}/2)F=(A-\\mathcal{R}+[\\mathcal{L},\\mathcal{R}]/2)\\exp(\\mathcal{L}/2)$, and $\\exp(\\mathcal{L}/2)\\mathcal{L}=(-\\mathcal{L}+[\\mathcal{L},[\\mathcal{L},\\mathcal{R}]]/8)\\exp(\\mathcal{L}/2)$ hold (Theorems 12.5–12.7).","The relations obtained from the $j-i\\ge 2$ cases recover the tridiagonal relations for $\\mathcal{R},\\mathcal{L}$ and, at Krawtchouk type, the vanishing of the third-order commutators $[\\mathcal{L},[\\mathcal{L},[\\mathcal{L},\\mathcal{R}]]]$ and $[\\mathcal{R},[\\mathcal{R},[\\mathcal{R},\\mathcal{L}]]]$ (Corollary 9.3, Theorems 12.8, 12.9)."],"supporting_citations":[{"why":"Introduces tridiagonal pairs and the split decomposition, defines $\\mathcal{R},\\mathcal{L}$, and supplies the injectivity/surjectivity profile on split subspaces (Lemma 7.7).","marker":"[14]"},{"why":"Provides the key bijection lemma: $\\sum F_\\ell E^*_\\ell$ and its inverse are bijections sending $E^*_iV$ to $F_iV$ (Lemma 6.5), on which the intertwining theorems rest.","marker":"[42]"},{"why":"Supplies the Leonard-system split-sequence framework and the parameter definitions used in Section 11.","marker":"[34]"},{"why":"Provides the matrix representations for Leonard pairs in the $R$-basis and the scalars $a_i,x_i$ used to rewrite the main formulas.","marker":"[36]"},{"why":"Supplies the classification of Leonard systems, including the explicit Krawtchouk-Leonard parameters in Example 20.11 used in Section 12.","marker":"[41]"},{"why":"Formulates the tridiagonal relations and the simplified bracket relations that the algebra of $\\mathcal{R},\\mathcal{L}$ recovers in Corollary 9.3 and Theorem 12.9.","marker":"[33]"}],"fun_headline_variants":["Explicit bijection makes raising maps conjugate in tridiagonal pairs","Quantum and split raising maps linked by explicit bijection","Conjugate raising maps transfer injectivity in tridiagonal pairs","Explicit conjugacy for raising maps; injectivity carries over"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument depends on the split decomposition $V=\\bigoplus_{i=0}^d U_i$ being direct and on the map $\\Psi=\\sum_{\\ell=0}^d F_\\ell E^*_\\ell$ being invertible; this key fact is cited from earlier work (Lemma 6.5, from [42]) rather than re-proved from the tridiagonal-pair axioms in this paper, and every commuting diagram is conjugated through that map.","fun_headline_variants_meta":{"raw":{"variants":["Explicit bijection makes raising maps conjugate in tridiagonal pairs","Quantum and split raising maps linked by explicit bijection","Conjugate raising maps transfer injectivity in tridiagonal pairs","Explicit conjugacy for raising maps; injectivity carries over"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001475,"raw_usage":{"total_tokens":6239,"prompt_tokens":1564,"completion_tokens":4675,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":1180,"completion_tokens_details":{"reasoning_tokens":4605}},"tokens_in":1180,"tokens_out":4675,"duration_ms":31688,"temperature":1.0,"reasoning_tokens":4605,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T17:52:47.207750+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a concrete tridiagonal pair of diameter $d=2$ or $d=3$ with generic eigenvalues, write $A$ and $A^*$ explicitly in matrix form, compute the projections $F_i$ and $E^*_i$, and check the identity in Theorem 8.9 (or Corollary 8.7) on a numerical vector. If $\\Psi$ is singular or the two sides differ, the central claim fails; the same calculation also tests the imported bijection lemma, since $\\Psi$ is written in these terms.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces tridiagonal pairs and the split decomposition, defines $\\mathcal{R},\\mathcal{L}$, and supplies the injectivity/surjectivity profile on split subspaces (Lemma 7.7)."},{"cited_title":"Tridiagonal pairs, alternating elements, and distance-regular graphs","cited_arxiv_id":"2207.07741","evidence_quote":"Provides the key bijection lemma: $\\sum F_\\ell E^*_\\ell$ and its inverse are bijections sending $E^*_iV$ to $F_iV$ (Lemma 6.5), on which the intertwining theorems rest."}],"review_version":2}