{"id":"f34498b2-5dc4-4224-908c-f2ec79e661e2","arxiv_id":"2607.05688","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Every circular Hessenberg pair on a finite-dimensional vector space satisfies the two tridiagonal relations.","lead":"The paper proves that every circular Hessenberg pair of linear maps satisfies the tridiagonal relations, confirming a 2022 conjecture of Jae-ho Lee. This closes a gap in the classification of circular Hessenberg systems that arise in algebraic combinatorics and representation theory.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified","rationale":"The paper proves Lee's conjecture by a complete case analysis. For d=2 the tridiagonal relations hold for any Hessenberg system by direct 3\times3 multiplication (Lemma 5.2). For d=3 the circular condition forces the three sequences to be 0-recurrent, again by explicit matrix entries of the primitive idempotents (Lemma 6.1). For d≥4 the proof assumes for contradiction that no β works, extracts a linear dependence among five commutators (Lemmas 7.3–7.5), converts it into a four-term recurrence on the dual eigenvalues via walk products on the circular digraph (Lemmas 7.26–7.27), obtains the closed forms of Lemma 7.36, and shows that the resulting 5\times5 minors of T force β=β*=-1 while ξ\neq0, a contradiction (Lemmas 7.45–7.48). Every step is algebraic and finite-dimensional; the only conceivable residual risk is an arithmetic slip in a determinant, which the concrete test above would catch. Because that risk is ordinary and checkable, and because the contradiction is fully discharged, the reader's ACCEPT verdict with high confidence stands unchanged.","tokens_in":22465,"tokens_out":694,"duration_ms":6043,"concrete_test":"Independently recompute det(+T*_i) and det(-T*_i) for a generic odd d≥5 (e.g., d=5) using the closed forms of Lemma 7.36(i) or (iv); verify that the ratio equals β+ξ(-1)^i/(θ*_{i+1}-θ*_{i+4}) and that the subsequent specialization β=β*=-1 contradicts ξ\neq0 exactly as claimed in Lemmas 7.47–7.48.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The reader's weakest_assumption correctly flags the global non-existence hypothesis used for d≥4 (Section 7), but that hypothesis is the ordinary opening move of a proof by contradiction and is discharged completely: the assumption that no β makes {θ_i}, {θ*_i}, {ϑ_i} simultaneously β-recurrent produces a linear recurrence on the dual eigenvalues (Lemma 7.27), closed-form expressions (Lemma 7.36), and non-vanishing of the 5\times5 minors of T (Lemmas 7.45–7.46), which force β=β*=-1 and then contradict ξ\neq0 (Lemma 7.48). No residual algebraic gap remains that would allow a β to satisfy the recurrence conditions without forcing the minors to vanish. The low-dimensional cases d=2,3 are settled by direct matrix verification (Lemmas 5.2, 6.1). The argument is therefore self-contained and the central claim holds.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The paper proves Jae-ho Lee's 2022 conjecture that every circular Hessenberg pair A, A* on a nonzero finite-dimensional vector space V of dimension d+1 satisfies the tridiagonal relations: there exist scalars β, γ, γ*, ρ, ρ* such that [A, A^{2}A* − β AA*A + A*A^{2} − γ(AA* + A*A) − ρ A*] = 0 and the dual relation with A and A* interchanged. After recalling Hessenberg pairs/systems and their circular specializations (Definitions 3.3, 3.7, 4.3, 4.4), the authors reduce the claim, for d ≥ 3, to the existence of a single β making the eigenvalue sequences {θ_i}, {θ*_i} and the auxiliary sequence {ϑ_i} simultaneously β-recurrent (Proposition 5.5). The cases d = 2 and d = 3 are settled by direct matrix computation (Lemmas 5.2, 6.1). For d ≥ 4 the argument proceeds by contradiction: the non-existence of such a β produces a linear dependence among five commutators (Lemma 7.5), a four-term recurrence on the dual eigenvalues (Lemma 7.27), closed-form expressions for those eigenvalues (Lemma 7.36), and the vanishing of certain 5 × 5 minors of an auxiliary matrix T; the resulting identities force β = β* = −1 and then contradict ξ ≠ 0 (Lemma 7.48).","tokens_in":22702,"tokens_out":1063,"duration_ms":9321,"significance":"The result completes the classification of circular Hessenberg systems begun by Lee and places them on the same algebraic footing as Leonard pairs, which are known to satisfy the same tridiagonal relations. The proof is self-contained, uses only linear algebra and the theory of linear recurrences, and supplies explicit closed forms for the dual eigenvalues under the contradictory hypothesis. The introduction of the directed graph D, walk weights, and winding numbers (Definitions 7.6–7.23) is a clean technical device that organizes the lengthy case analysis for d ≥ 4. The paper therefore settles a concrete open conjecture in the literature on Hessenberg pairs and supplies a reusable toolkit for related problems involving circular or almost-tridiagonal actions.","major_comments":[],"minor_comments":[{"comment":"In the abstract and the final sentence of the introduction the authors state that the proof is “not elementary.” A brief parenthetical remark indicating what is meant (e.g., reliance on characteristic polynomials of linear recurrences and non-vanishing of 5 × 5 minors) would help the reader set expectations.","section":null},{"comment":"Lemma 7.36 lists five cases according to the characteristic of F and the value of β. The verification that the closed forms satisfy the four-term recurrence of Lemma 7.27 is left to the reader; a one-line check for the generic case (i) would make the argument easier to follow.","section":null},{"comment":"The auxiliary sequence ϑ_i is defined in (5) and used heavily thereafter, yet it is never given a name or short descriptive phrase. Calling it the “adjusted split sequence” (or similar) would improve readability.","section":null},{"comment":"In Definition 7.37 the matrix T is displayed with a final column that already incorporates β. It would be clearer to write the five columns first without β and then state that the rightmost column is a linear combination of the first four (as proved in Lemma 7.38).","section":null},{"comment":"A few typographical slips: “classfied” (p. 1), “ford=2” (p. 7), and the missing space before “where” in several displayed equations of Section 7.","section":null}],"recommendation":"accept","confidential_remarks":"The manuscript is a clean, self-contained resolution of a published conjecture. The only potential concern is length of the d ≥ 4 case analysis, but the logical structure is transparent and the intermediate lemmas are correctly stated. I see no reason to request further refereeing or to delay acceptance."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"This paper settles Lee’s 2022 conjecture: every circular Hessenberg pair satisfies the two tridiagonal relations. That is the whole contribution, and it is real. Lee had already classified the systems that obey the relations; Nomura–Terwilliger remove the extra hypothesis by proving it is automatic.\n\nWhat they do well is the case split. For d=2 the relations fall out of matrix multiplication with explicit eta,eta*,\rho,\rho*. For d=3 they extract the necessary alternating-sum conditions on the eigenvalues and the auxiliary sequence \theta i by looking at a handful of matrix entries of EiA*Ej, then verify the relations directly. The bulk of the work is the d≥4 argument: assume no eta makes the three sequences {\theta i},{\theta*i},{\theta i} simultaneously eta-recurrent, produce a linear dependence among five commutators, translate it into a four-term recurrence on the dual eigenvalues, solve the recurrence in closed form (including the characteristic-2 cases), and finally obtain a contradiction from the non-vanishing of certain 5\times5 minors of the matrix T built from those eigenvalues. The directed-graph language (walks, winding numbers, weights) is a clean way to keep track of the nonzero products E*jAE*i and is new to this literature.\n\nThe soft spots are minor and technical. The determinant identities that force eta=eta*=-1 and then contradict \theta\neq0 are lengthy; a careful reader will want to re-expand them, but they are finite and checkable. The global non-existence hypothesis used for d≥4 is simply the opening move of a proof by contradiction and is fully discharged; there is no residual algebraic gap. Self-citations are only to the authors’ earlier definitions and classification theorems, which is appropriate.\n\nThis is for people already working with Leonard pairs, Hessenberg systems, or the algebraic theory of Q-polynomial association schemes. It does not reorganize a larger field, but it closes a stated open problem cleanly. I would send it to a serious referee without hesitation; the argument is self-contained and the central claim holds.","headline":"Clean proof of Lee’s 2022 conjecture on circular Hessenberg pairs; the non-elementary case analysis for d≥4 is original and holds up.","tokens_in":23298,"tokens_out":547,"would_cite":true,"duration_ms":5259,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["05E30","15A04","15A21"],"pacs":[],"model":"grok-4.5","headline":"Every circular Hessenberg pair of linear maps satisfies the two tridiagonal relations conjectured by Lee.","keywords":["circular Hessenberg pair","tridiagonal relations","Hessenberg system","Leonard pair","parameter array","β-recurrent sequence"],"falsifier":"Exhibit a concrete circular Hessenberg pair (or its parameter array) of dimension at least 5 for which the three sequences {θ_i}, {θ*_i}, {ϑ_i} fail to be simultaneously β-recurrent for every scalar β; the resulting non-vanishing of the commutators would refute the claim.","tokens_in":23351,"feed_emoji":"▶️","tokens_out":728,"duration_ms":7918,"temperature":0.7,"pith_summary":"A circular Hessenberg pair consists of two diagonalizable linear maps on a finite-dimensional vector space such that each acts on an eigenbasis of the other in a circular Hessenberg fashion: the representing matrix is zero below the subdiagonal and above the superdiagonal except for a nonzero corner entry. Lee conjectured that every such pair obeys a pair of cubic commutation identities known as the tridiagonal relations. The paper proves the conjecture for every dimension. The argument proceeds by reducing the relations to simultaneous recurrence conditions on three sequences of eigenvalues and split parameters, verifying the low-dimensional cases by direct matrix calculation, and obtaining a contradiction for higher dimensions by assuming no common recurrence coefficient exists and then examining the resulting linear dependence among certain polynomials in the pair. The result places circular Hessenberg pairs on the same algebraic footing as the classical Leonard pairs that arise from Q-polynomial association schemes and terminating orthogonal polynomials.","feed_headline":"Circular Hessenberg pairs always obey the tridiagonal relations","feed_subtitle":"Lee’s 2022 conjecture is settled for every dimension by a non-elementary argument on eigenvalue recurrences.","key_machinery":"The reduction of the tridiagonal relations to the simultaneous β-recurrence of the three sequences {θ_i}, {θ*_i}, {ϑ_i} (Proposition 5.5), together with the directed-graph path-weight analysis and the 5\times5 minors of the auxiliary matrix T that force a contradiction when no such β exists.","core_discovery":"Every circular Hessenberg pair A, A* on a nonzero finite-dimensional vector space satisfies the tridiagonal relations: there exist scalars β, γ, γ*, ρ, ρ* such that the commutator [A, A²A* - β AA*A + A*A² - γ(AA* + A*A) - ρ A*] vanishes and the dual commutator with A and A* interchanged also vanishes.","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["Circular Hessenberg pairs satisfy the tridiagonal relations","Lee conjecture settled: circular Hessenberg pairs obey tridiagonal relations","Every circular Hessenberg pair fulfills the tridiagonal relations","Tridiagonal relations hold for all circular Hessenberg pairs","Circular Hessenberg pairs proven to obey tridiagonal relations"],"cache_read_input_tokens":16512,"weakest_assumption_plain":"The higher-dimensional proof assumes that no common recurrence coefficient β can make the three eigenvalue sequences recurrent at once, then derives a contradiction from that global non-existence; if such a β existed without forcing the minors of T to vanish, the argument would fail.","fun_headline_variants_meta":{"raw":{"variants":["Circular Hessenberg pairs satisfy the tridiagonal relations","Lee conjecture settled: circular Hessenberg pairs obey tridiagonal relations","Every circular Hessenberg pair fulfills the tridiagonal relations","Tridiagonal relations hold for all circular Hessenberg pairs","Circular Hessenberg pairs proven to obey tridiagonal relations"]},"model":"grok-4.5","effort":"low","cost_usd":0.00401,"raw_usage":{"total_tokens":1123,"prompt_tokens":682,"num_sources_used":0,"completion_tokens":71,"cost_in_usd_ticks":40100000,"prompt_tokens_details":{"text_tokens":682,"audio_tokens":0,"image_tokens":0,"cached_tokens":0},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":370,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":682,"tokens_out":71,"duration_ms":13882,"temperature":1.0,"reasoning_tokens":370,"cache_read_input_tokens":0,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-11T03:44:46.148555+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Exhibit a concrete circular Hessenberg pair (or its parameter array) of dimension at least 5 for which the three sequences {θ_i}, {θ*_i}, {ϑ_i} fail to be simultaneously β-recurrent for every scalar β; the resulting non-vanishing of the commutators would refute the claim.","supporting_citations":[],"review_version":1}