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.
Complex and real generalized Schur forms
Definition
Let be a regular pencil of order . A complex generalized Schur form is a factorisation where are unitary in the sense of Linear isometries, and orthogonal or unitary operators on finite-dimensional inner product spaces, and are upper triangular as in Upper triangular, lower triangular and diagonal square matrices over a commutative ring. For its th one-by-one diagonal block, is the diagonal homogeneous pair.
For real , a real generalized Schur form has where are orthogonal, is block upper triangular with diagonal blocks of size one or two, and is upper triangular. Each one-by-one diagonal block has a nonzero real homogeneous pair. For a two-by-two diagonal block , the diagonal homogeneous roots are the zeros of in ; such a block has a nonreal conjugate pair of finite roots. A singular pencil is outside this definition.
Depends on
Used by
- Finite-budget QZ iteration with homogeneous status and residual output Algorithm
- Finite-budget stable block reordering for Schur and QZ forms Algorithm
- Separated DARE pencils have quantitatively stable deflating graphs Proposition
- Every regular real or complex pencil has a generalized Schur form Theorem
Dependency tree · two levels
8 results within two dependency steps 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
- Daniel Kressner, Numerical Methods and Software for General and Structured Eigenvalue Problems (PhD dissertation, 2004), Chapter 2: The QZ Algorithm (standard reference, not scraped)
- LAPACK Users' Guide, Generalized Nonsymmetric Eigenproblems (standard reference, not scraped)