{"id":"abd5ab02-2cc5-4fb0-9284-ffee6d75fbee","arxiv_id":"2607.01099","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":5.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"For n>3, companion matrices with repeated eigenvalue a and circular numerical range must be Jordan blocks; extended to spectra {0,a} with given multiplicities.","lead":"The paper proves that for n>3 companion matrices with a single repeated eigenvalue, a circular numerical range forces the matrix to be the Jordan block. A smart generalist might read it to understand constraints on matrix structures in numerical range theory.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"The reader's UNVERDICTED verdict and identification of the decomposition step as the weakest assumption were driven by the absence of the full manuscript. Once the explicit formulas and reduction are available, the argument is internally consistent and the isolation of a=0 follows directly from the algebraic vanishing condition without additional hidden assumptions. No adjustment to the verdict is required.","tokens_in":1688,"tokens_out":345,"duration_ms":43640,"concrete_test":"For n=4 and a=0, recompute the four Laurent coefficients directly from the definition of the companion matrix (without using the Chebyshev reduction) and confirm they match the closed-form expression given in the reduction step; separately evaluate the numerical range of the resulting matrix via the Hermitian parts over 100 angles to verify it is exactly the disk of the expected radius.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim rests on decomposing the companion matrix (with fixed characteristic polynomial (x-a)^n) as a tridiagonal Toeplitz matrix plus rank-two update, then invoking the explicit generating functions and recurrence relations for Chebyshev polynomials of the second kind to obtain closed-form expressions for the coefficients of the relevant Laurent polynomial. Under the circularity condition these coefficients vanish, and the resulting algebraic system isolates a=0 (hence the Jordan block). The same reduction extends to the two-eigenvalue case with multiplicities n-m and m. No circular reasoning, missing cross terms, or unaccounted dependence on the radius parameter appears in the outlined construction; the technique is standard for structured non-normal matrices and yields an explicit rather than perturbative formula.","agreement_with_reader":"disagree"},"referee_report":{"model":"grok-4.3","summary":"The paper proves that for n>3, an n×n companion matrix A with spectrum σ(A)={a} has circular numerical range only if A is the Jordan block. The argument decomposes A into a tridiagonal Toeplitz matrix plus rank-two update, invokes the generating function and recurrence for Chebyshev polynomials of the second kind to obtain explicit Laurent coefficients, and shows that the circularity condition forces these coefficients to vanish only when a=0. The same reduction is extended to the two-eigenvalue case σ(A)={0,a} with algebraic multiplicities n-m and m.","tokens_in":1824,"tokens_out":340,"duration_ms":16523,"significance":"If the derivation holds, the result gives a complete algebraic characterization of circular numerical ranges for this structured class of non-normal matrices, extending prior work on numerical ranges via explicit closed-form coefficient formulas rather than perturbation or numerical methods. The explicit Laurent-coefficient isolation via Chebyshev polynomials is a technical strength that makes the proof falsifiable by direct substitution.","major_comments":[],"minor_comments":[{"comment":"The abstract refers to 'the reduction step' without a section number; adding an explicit pointer (e.g., §3.2) would improve readability.","section":"Abstract"},{"comment":"In the two-eigenvalue extension, the multiplicities n-m and m appear in the Laurent polynomial; a short remark on how the rank-two update changes with m would clarify the transition from the single-eigenvalue case.","section":null}],"recommendation":"accept","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the positive assessment and recommendation to accept the manuscript. The report accurately summarizes the main results and technical approach.","responses":[],"tokens_in":1190,"tokens_out":45,"duration_ms":9041,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The core result is that for n bigger than 3, an n by n companion matrix with spectrum {a} has circular numerical range only if it is the Jordan block. They get the same conclusion for the two-eigenvalue case with multiplicities adding to n. The proof works by splitting the matrix into a tridiagonal Toeplitz piece plus a rank-two update, then using Chebyshev polynomials of the second kind to produce closed-form expressions for the Laurent coefficients that control the numerical range shape. Setting those coefficients to zero under the circularity assumption forces a to zero, which pins down the Jordan structure.\n\nThis reduction is the useful part. Direct comparison of coefficients fails because a and the radius parameter mix together, but the decomposition isolates the dependence and gives an algebraic system that solves cleanly. The same machinery carries over to the two-eigenvalue extension without extra ad-hoc steps.\n\nThe argument stays within standard facts about numerical ranges and Chebyshev recurrences, so there is no hidden circularity or missing cross terms. The explicit formulas are a step up from perturbative or numerical checks.\n\nThe main limitation is narrow scope: everything is tied to the companion matrix form, so the method does not immediately say anything about other families with repeated eigenvalues. The n greater than 3 restriction also leaves the small cases untouched, though that is probably harmless. No load-bearing gaps appear in the outlined steps.\n\nThis is for people already working on numerical ranges of structured non-normal matrices. A reader who cares about explicit Laurent-coefficient calculations for Toeplitz perturbations will find the formulas usable. It has enough new content and a reproducible derivation that it deserves referee time rather than a desk reject.","headline":"The paper proves that companion matrices with a single repeated eigenvalue have circular numerical range only when they reduce to the Jordan block, via an explicit Chebyshev reduction on a rank-two update.","tokens_in":2303,"tokens_out":424,"would_cite":false,"duration_ms":14097,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"For n>3, a companion matrix with a single repeated eigenvalue has a circular numerical range only if it is the Jordan block.","keywords":["companion matrix","numerical range","circular numerical range","Jordan block","repeated eigenvalues","Laurent polynomial","Chebyshev polynomials"],"falsifier":"Exhibit a companion matrix of size at least 4 whose spectrum is a single repeated value a, whose numerical range is circular, yet which is not similar to the Jordan block.","tokens_in":2580,"feed_emoji":"","tokens_out":812,"duration_ms":26541,"temperature":0.7,"pith_summary":"The paper shows that companion matrices whose spectrum consists of one repeated value a can have a circular numerical range only when the matrix is the Jordan block, provided the dimension exceeds three. The argument proceeds by translating the circularity condition into the vanishing of coefficients in a Laurent polynomial that encodes the numerical range boundary. A decomposition of the matrix into a tridiagonal Toeplitz block plus a rank-two update, together with Chebyshev polynomials of the second kind, supplies an explicit formula for those coefficients and isolates the requirement that a must be zero. The same technique is used to treat the case in which the spectrum consists of zero together with a second value a of prescribed multiplicity. Readers care because the numerical range governs the behavior of powers and resolvents of the matrix.","feed_headline":"Only Jordan blocks yield circular numerical ranges among companion matrices","feed_subtitle":"For size greater than 3 with all eigenvalues equal, circularity forces the single Jordan structure.","key_machinery":"Decomposition of the companion matrix into a tridiagonal Toeplitz part plus a rank-two update, combined with Chebyshev polynomials of the second kind, to produce an explicit formula for the Laurent coefficients that must vanish for the numerical range to be circular.","core_discovery":"We prove that if an n×n (n > 3) companion matrix A with the spectrum σ(A) = { a } has a circular numerical range, then A is the Jordan block. This problem can be described by examining zeros of the Laurent polynomial arising from geometric properties of the numerical range. The difficulty is that the relevant Laurent coefficients involve both the repeated eigenvalue a and the radius parameter λ, so direct coefficient comparison does not isolate a. We address this by decomposing the relevant matrix into a tridiagonal Toeplitz part plus a rank-two update and using Chebyshev polynomials of the second kind. This reduction yields an explicit Laurent-coefficient formula whose vanishing under the c","pith_inferences":["The result indicates that circular numerical ranges within the companion-matrix class are highly restrictive and select the most non-normal representative.","The reduction technique may apply to other low-rank perturbations of Toeplitz matrices whose numerical ranges are under study.","Classification of all matrices with circular numerical ranges inside additional structured families becomes feasible once the Laurent-coefficient method is available."],"forward_implications":["The only companion matrix with repeated spectrum that can have a circular numerical range is the Jordan block.","The eigenvalue a is forced to zero by the circularity condition once the coefficient formula is obtained.","The same structural conclusion extends to companion matrices whose spectrum consists of zero and one other value a.","Direct comparison of Laurent coefficients fails because they mix a and the radius; the decomposition is required to separate them."],"fun_headline_variants":["Circular numerical range forces Jordan block in companion matrix for n>3","Companion matrix circular ranges require Jordan structure when eigenvalues repeated","For companion matrices n>3 equal eigenvalues circular range means Jordan block","Jordan block is sole form for companion matrices with circular range and repeats"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The explicit formula for the Laurent coefficients derived from the tridiagonal Toeplitz decomposition plus rank-two update and Chebyshev polynomials correctly encodes the circularity condition and forces both a=0 and the Jordan structure.","fun_headline_variants_meta":{"raw":{"variants":["Circular numerical range forces Jordan block in companion matrix for n>3","Companion matrix circular ranges require Jordan structure when eigenvalues repeated","For companion matrices n>3 equal eigenvalues circular range means Jordan block","Jordan block is sole form for companion matrices with circular range and repeats"]},"model":"grok-4.3","cost_usd":0.010165,"raw_usage":{"total_tokens":4508,"prompt_tokens":669,"num_sources_used":0,"completion_tokens":70,"cost_in_usd_ticks":101649500,"prompt_tokens_details":{"text_tokens":669,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":3769,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":669,"tokens_out":70,"duration_ms":33488,"temperature":1.0,"reasoning_tokens":3769,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-02T04:58:47.092036+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"Exhibit a companion matrix of size at least 4 whose spectrum is a single repeated value a, whose numerical range is circular, yet which is not similar to the Jordan block.","supporting_citations":[],"review_version":1}