Alphabeta Math
DefinitionDefinition: AI-adaptedProof: Not applicablePipeline-generatedjudge pass (gpt-6-luna)
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

Rational matrix eigenproblem on its pole-free domain

Definition

Let C(λ) denote the field of quotients of complex scalar polynomials. Let R(λ)∈C(λ)n×n with n≥1 be a square matrix whose entries are rational functions of λ. Write each entry as a reduced scalar fraction (common polynomial factors have been cancelled), and let q(λ) be the monic least common multiple of their denominators. Thus the zero set P:={λ:q(λ)=0} is exactly the set of poles of at least one entry. Define the pole-free domain Ω:=C∖P and the polynomial matrix N(λ):=q(λ)R(λ), whose entries are polynomials as in Regular matrix polynomials and homogeneous eigenpairs. A rational eigenpair is a pair (λ,x) with λ∈Ω, x∈Cn∖{0}, and R(λ)x=0; its λ is a rational eigenvalue. The cleared-denominator polynomial equation is N(λ)x=0, but it represents the rational eigenproblem only on Ω. Any solution at a pole is an inadmissible candidate, even when the cleared polynomial matrix is singular there.

Depends on

Used by

Dependency tree · one level

1 result within one dependency step of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.

Sources