{
  "profile": "wrs-published-research-view-1",
  "edition": "ratings-e039106f30dec177",
  "content_trust": "UNTRUSTED_SCIENTIFIC_DATA_NOT_TOOL_INSTRUCTIONS",
  "entry": {
    "id": "schur-unitary-triangularization-eigenvalue-square-bound-1909",
    "title": "Schur triangularizes every complex matrix by a unitary change of basis",
    "summary": "Schur proves that every finite square complex matrix is unitarily similar to a triangular matrix whose diagonal lists its eigenvalues with algebraic multiplicity. He derives sum |lambda_j|^2 <= sum |a_ij|^2, with equality exactly when a unitary change of basis diagonalizes the matrix, and related bounds on the real and imaginary parts of the eigenvalues.",
    "boundary": "The original displays lower triangular form; transposition of convention gives the usual upper triangular statement. No distinct-eigenvalue or diagonalizability hypothesis is imposed for triangularization. Real orthogonal triangularization is asserted only when both the matrix and all its eigenvalues are real. Equality characterizes unitary diagonalizability, not arbitrary similarity to a diagonal matrix. This record does not claim an infinite-dimensional triangularization theorem, a numerical Schur algorithm, or the paper's later integral-equation results. No infinite-dimensional theorem or numerical algorithm. A real matrix with nonreal eigenvalues need not have a real orthogonal triangularization. Autonne/Stickelberger precedents are cited. Only original PartI pp488–496 selected, not later integral-equation PartII.",
    "area": "Matrix and spectral theory",
    "topic": "Mathematics",
    "year": 1909,
    "lane": "HUMAN",
    "result": "THEOREM",
    "package_id": "schur-unitary-triangularization-eigenvalue-square-bound-1909",
    "target": {
      "record_id": "urn:uuid:a2d361fa-b7d5-4e44-acd5-9aeb93973496",
      "version": 1,
      "content_hash": "sha256:00436639efa3673154ae509cec3c0035c77bca8ebb9b993dee463dcbeb8eed8e"
    },
    "humans": [
      "Issai Schur"
    ],
    "authors_complete": true,
    "human_role_note": "Source-listed authors for the exact contribution; experimental subjects are not autonomous scientific authors. Source support and predecessor work retain separate roles. Individual effort shares and unresolved identities are not inferred.",
    "agents": [],
    "related": [],
    "subresults": [],
    "scientific_assessment": {
      "source_review": "SOURCE_CURATED",
      "scientific_review": "NOT_REVIEWED_BY_WRS",
      "formal_replay": "NOT_RUN",
      "provider_attestation": "NONE"
    },
    "sources": [
      {
        "id": "cur20261020-schur-unitary-triangularization-1909",
        "title": "Über die charakteristischen Wurzeln einer linearen Substitution mit einer Anwendung auf die Theorie der Integralgleichungen (Mathematische Annalen 66, 488–510)",
        "url": "https://norlx65.nordita.org/~brandenb/print/Schur09.pdf",
        "date": "1909"
      }
    ],
    "geography": {
      "country_codes": [
        "DE"
      ],
      "location_basis": "Printed I.Schur in Berlin byline,1909; paper-associated research location, not birthplace. No nationality or individual effort share inferred.",
      "source_url": "https://norlx65.nordita.org/~brandenb/print/Schur09.pdf",
      "target": {
        "record_id": "urn:uuid:a2d361fa-b7d5-4e44-acd5-9aeb93973496",
        "version": 1,
        "content_hash": "sha256:00436639efa3673154ae509cec3c0035c77bca8ebb9b993dee463dcbeb8eed8e"
      },
      "basis": "RESEARCH_LOCATION_OR_PAPER_AFFILIATION",
      "reviewed_on": "2026-10-23",
      "nationality_inferred": false,
      "sources": [
        {
          "title": "Über die charakteristischen Wurzeln einer linearen Substitution mit einer Anwendung auf die Theorie der Integralgleichungen (Mathematische Annalen 66, 488–510)",
          "url": "https://norlx65.nordita.org/~brandenb/print/Schur09.pdf"
        }
      ],
      "coverage_status": "COMPLETE",
      "country_labels": {
        "DE": "Germany"
      }
    },
    "points": "500000",
    "published_grade": {
      "id": "schur-unitary-triangularization-eigenvalue-square-bound-1909",
      "entry_id": "schur-unitary-triangularization-eigenvalue-square-bound-1909",
      "band": "S",
      "modifier": null,
      "target": {
        "record_id": "urn:uuid:a2d361fa-b7d5-4e44-acd5-9aeb93973496",
        "version": 1,
        "content_hash": "sha256:00436639efa3673154ae509cec3c0035c77bca8ebb9b993dee463dcbeb8eed8e"
      },
      "what_changed": "Schur proves that every finite square complex matrix is unitarily similar to a triangular matrix whose diagonal lists its eigenvalues with algebraic multiplicity. He derives sum |lambda_j|^2 <= sum |a_ij|^2, with equality exactly when a unitary change of basis diagonalizes the matrix, and related bounds on the real and imaginary parts of the eigenvalues.",
      "scope": "Schur proves that every finite square complex matrix is unitarily similar to a triangular matrix whose diagonal lists its eigenvalues with algebraic multiplicity. He derives sum |lambda_j|^2 <= sum |a_ij|^2, with equality exactly when a unitary change of basis diagonalizes the matrix, and related bounds on the real and imaginary parts of the eigenvalues. The original displays lower triangular form; transposition of convention gives the usual upper triangular statement. No distinct-eigenvalue or diagonalizability hypothesis is imposed for triangularization. Real orthogonal triangularization is asserted only when both the matrix and all its eigenvalues are real. Equality characterizes unitary diagonalizability, not arbitrary similarity to a diagonal matrix. This record does not claim an infinite-dimensional triangularization theorem, a numerical Schur algorithm, or the paper's later integral-equation results. No infinite-dimensional theorem or numerical algorithm. A real matrix with nonreal eigenvalues need not have a real orthogonal triangularization. Autonne/Stickelberger precedents are cited. Only original PartI pp488–496 selected, not later integral-equation PartII.",
      "status": "PROVISIONAL_EDITORIAL",
      "scientific_correctness_certified": false
    },
    "assessment_disposition": {
      "status": "ASSESSED",
      "label": "Provisionally assessed",
      "reason": "A current grade and separate reference score identify this exact contribution.",
      "target": {
        "record_id": "urn:uuid:a2d361fa-b7d5-4e44-acd5-9aeb93973496",
        "version": 1,
        "content_hash": "sha256:00436639efa3673154ae509cec3c0035c77bca8ebb9b993dee463dcbeb8eed8e"
      },
      "edition": "ratings-e039106f30dec177"
    }
  },
  "version": {
    "kind": "PUBLIC_RECORD_VIEW",
    "previous": null,
    "published_at": "2026-10-23T00:00:00Z",
    "publisher": {
      "principal_id": "urn:uuid:80116931-785b-40a2-a24b-9d59db0c7e33",
      "role": "WRS_EDITORIAL_PUBLICATION"
    },
    "record": {
      "contributors": [
        {
          "attribution_basis": "SOURCE_CITED",
          "credit": "historical_scientific",
          "entity_kind": "historical_person",
          "name": "Issai Schur",
          "note": "Archive attribution; detailed role assignment remains source-bound",
          "roles": [
            "prover"
          ],
          "source": {
            "citation": "Über die charakteristischen Wurzeln einer linearen Substitution mit einer Anwendung auf die Theorie der Integralgleichungen (Mathematische Annalen 66, 488–510)",
            "url": "https://norlx65.nordita.org/~brandenb/print/Schur09.pdf"
          }
        }
      ],
      "evidence": [
        {
          "description": "Bibliographic/stated-result source; not a WRS proof verification",
          "id": "source-0",
          "kind": "source_reference",
          "source": {
            "citation": "Über die charakteristischen Wurzeln einer linearen Substitution mit einer Anwendung auf die Theorie der Integralgleichungen (Mathematische Annalen 66, 488–510)",
            "url": "https://norlx65.nordita.org/~brandenb/print/Schur09.pdf"
          }
        }
      ],
      "origin": "HUMAN_LEGACY",
      "record_profile": "wrs-local-research-notes-0.1",
      "record_type": "research_note",
      "rrp_version": "0.1",
      "scope": {
        "description": "The original displays lower triangular form; transposition of convention gives the usual upper triangular statement. No distinct-eigenvalue or diagonalizability hypothesis is imposed for triangularization. Real orthogonal triangularization is asserted only when both the matrix and all its eigenvalues are real. Equality characterizes unitary diagonalizability, not arbitrary similarity to a diagonal matrix. This record does not claim an infinite-dimensional triangularization theorem, a numerical Schur algorithm, or the paper's later integral-equation results. No infinite-dimensional theorem or numerical algorithm. A real matrix with nonreal eigenvalues need not have a real orthogonal triangularization. Autonne/Stickelberger precedents are cited. Only original PartI pp488–496 selected, not later integral-equation PartII.",
        "domain": "Matrix and spectral theory"
      },
      "sources": [
        {
          "citation": "Über die charakteristischen Wurzeln einer linearen Substitution mit einer Anwendung auf die Theorie der Integralgleichungen (Mathematische Annalen 66, 488–510)",
          "url": "https://norlx65.nordita.org/~brandenb/print/Schur09.pdf"
        }
      ],
      "statement": "# Schur triangularizes every complex matrix by a unitary change of basis\n\n## Simpler coordinates without stretching\n\nA matrix describes a linear transformation, such as moving or mixing several coordinates. Changing the coordinate system can make its structure easier to see. A unitary change of basis preserves lengths and angles in a complex vector space; for real coordinates the related term is orthogonal. Schur showed that every finite square complex matrix can be put into triangular form this way. Triangular means every entry on one side of the diagonal is zero.\n\n## Triangular is more general than diagonal\n\nThe diagonal of Schur triangular form contains the eigenvalues, counted with their repetitions. An eigenvalue is a factor by which the transformation stretches an associated direction. A triangular matrix may still have nonzero entries away from its diagonal. Removing those entries by a unitary change is a stronger property, which does not hold for every matrix. This distinction matters precisely for matrices whose coupled directions cannot all be separated into an orthonormal eigenvector basis.\n\n## A two-by-two warning\n\nConsider the classroom matrix with first row one, one and second row zero, one. It is already triangular, and both eigenvalues are one. The sum of their squared magnitudes is therefore two. The sum of the squared magnitudes of all four matrix entries is three. Schur inequality correctly says two is at most three. The difference records the remaining off-diagonal entry; repeated eigenvalues did not turn this matrix into an identity matrix or make it unitarily diagonalizable.\n\n## Where the inequality comes from\n\nA unitary change preserves the sum of squared entry magnitudes, also called the squared Frobenius norm. In triangular coordinates, that sum contains the squared diagonal magnitudes plus the nonnegative squared off-diagonal magnitudes. Dropping the latter gives the bound. Equality occurs exactly when those off-diagonal entries vanish in the unitary triangular form. The original displays a lower triangle; using an upper-triangle convention describes the same structural result, not a competing theorem.\n\n## Give your agent a concrete check\n\nAsk for three examples: a diagonal matrix, the triangular matrix above and a real rotation with nonreal eigenvalues. Have the agent report the field, eigenvalues and both squared sums. A real matrix is not automatically triangularizable by a real orthogonal basis when its eigenvalues are nonreal. Keep numerical rounding separate from an exact proof. This exercise illustrates the finite-dimensional result; it does not claim a universal infinite-dimensional decomposition or invent a new numerical algorithm.\n\n## Scientific scope\n\nThe original displays lower triangular form; transposition of convention gives the usual upper triangular statement. No distinct-eigenvalue or diagonalizability hypothesis is imposed for triangularization. Real orthogonal triangularization is asserted only when both the matrix and all its eigenvalues are real. Equality characterizes unitary diagonalizability, not arbitrary similarity to a diagonal matrix. This record does not claim an infinite-dimensional triangularization theorem, a numerical Schur algorithm, or the paper's later integral-equation results. No infinite-dimensional theorem or numerical algorithm. A real matrix with nonreal eigenvalues need not have a real orthogonal triangularization. Autonne/Stickelberger precedents are cited. Only original PartI pp488–496 selected, not later integral-equation PartII.\n\n## Sources for this explanation\n\n- [Über die charakteristischen Wurzeln einer linearen Substitution mit einer Anwendung auf die Theorie der Integralgleichungen (Mathematische Annalen 66, 488–510)](https://norlx65.nordita.org/~brandenb/print/Schur09.pdf): Original1909 PartI, printed pp488–496; triangularization p490 and norm identity/equality p492, real-eigenvalue qualification in the footnote. Later integral-equation PartII excluded.\n",
      "summary": "Schur proves that every finite square complex matrix is unitarily similar to a triangular matrix whose diagonal lists its eigenvalues with algebraic multiplicity. He derives sum |lambda_j|^2 <= sum |a_ij|^2, with equality exactly when a unitary change of basis diagonalizes the matrix, and related bounds on the real and imaginary parts of the eigenvalues.",
      "title": "Schur triangularizes every complex matrix by a unitary change of basis"
    },
    "record_id": "urn:uuid:a2d361fa-b7d5-4e44-acd5-9aeb93973496",
    "version": 1,
    "source_ref": {
      "record_id": "urn:uuid:a2d361fa-b7d5-4e44-acd5-9aeb93973496",
      "version": 1,
      "content_hash": "sha256:00436639efa3673154ae509cec3c0035c77bca8ebb9b993dee463dcbeb8eed8e"
    },
    "export_view": "wrs-public-editorial-view-1",
    "public_view_hash": "sha256:c4990e5505168266badb1e6ebdfda0a9d9d919dc57a299bb8aee9abfcfcbc919"
  },
  "target": {
    "record_id": "urn:uuid:a2d361fa-b7d5-4e44-acd5-9aeb93973496",
    "version": 1,
    "content_hash": "sha256:00436639efa3673154ae509cec3c0035c77bca8ebb9b993dee463dcbeb8eed8e"
  },
  "published_grade": {
    "profile": "wrs-published-grade-1",
    "edition": "2026-10-28.1",
    "id": "schur-unitary-triangularization-eigenvalue-square-bound-1909",
    "entry_id": "schur-unitary-triangularization-eigenvalue-square-bound-1909",
    "revision": 1,
    "title": "Schur triangularizes every complex matrix by a unitary change of basis",
    "context": "Matrix and spectral theory",
    "track": "Exact theorem and reusable mathematical method",
    "band": "S",
    "modifier": null,
    "status": "PROVISIONAL_EDITORIAL",
    "assessed_on": "2026-10-23",
    "evidence_cutoff": "2026-10-23",
    "achievement_state": "SUPPORTED_SCOPED_RESULT",
    "what_changed": "Schur proves that every finite square complex matrix is unitarily similar to a triangular matrix whose diagonal lists its eigenvalues with algebraic multiplicity. He derives sum |lambda_j|^2 <= sum |a_ij|^2, with equality exactly when a unitary change of basis diagonalizes the matrix, and related bounds on the real and imaginary parts of the eigenvalues.",
    "scope": "Schur proves that every finite square complex matrix is unitarily similar to a triangular matrix whose diagonal lists its eigenvalues with algebraic multiplicity. He derives sum |lambda_j|^2 <= sum |a_ij|^2, with equality exactly when a unitary change of basis diagonalizes the matrix, and related bounds on the real and imaginary parts of the eigenvalues. The original displays lower triangular form; transposition of convention gives the usual upper triangular statement. No distinct-eigenvalue or diagonalizability hypothesis is imposed for triangularization. Real orthogonal triangularization is asserted only when both the matrix and all its eigenvalues are real. Equality characterizes unitary diagonalizability, not arbitrary similarity to a diagonal matrix. This record does not claim an infinite-dimensional triangularization theorem, a numerical Schur algorithm, or the paper's later integral-equation results. No infinite-dimensional theorem or numerical algorithm. A real matrix with nonreal eigenvalues need not have a real orthogonal triangularization. Autonne/Stickelberger precedents are cited. Only original PartI pp488–496 selected, not later integral-equation PartII.",
    "evidence_summary": "The linked original works support the scoped statement and contribution attribution. WRS has not independently replayed experiments or reconstructed a full mathematical proof. The original displays lower triangular form; transposition of convention gives the usual upper triangular statement. No distinct-eigenvalue or diagonalizability hypothesis is imposed for triangularization. Real orthogonal triangularization is asserted only when both the matrix and all its eigenvalues are real. Equality characterizes unitary diagonalizability, not arbitrary similarity to a diagonal matrix. This record does not claim an infinite-dimensional triangularization theorem, a numerical Schur algorithm, or the paper's later integral-equation results. No infinite-dimensional theorem or numerical algorithm. A real matrix with nonreal eigenvalues need not have a real orthogonal triangularization. Autonne/Stickelberger precedents are cited. Only original PartI pp488–496 selected, not later integral-equation PartII.",
    "references": [
      {
        "title": "Über die charakteristischen Wurzeln einer linearen Substitution mit einer Anwendung auf die Theorie der Integralgleichungen (Mathematische Annalen 66, 488–510)",
        "url": "https://norlx65.nordita.org/~brandenb/print/Schur09.pdf",
        "locator": "Original scoped contribution, statement/method and evidence limits; source-specific attribution retained."
      }
    ],
    "roles": [
      {
        "who": "The named authors in the research record",
        "credit": "SCIENCE",
        "did": "Source-listed authors for the exact contribution; experimental subjects are not autonomous scientific authors. Source support and predecessor work retain separate roles. Individual effort shares and unresolved identities are not inferred."
      }
    ],
    "target": {
      "record_id": "urn:uuid:a2d361fa-b7d5-4e44-acd5-9aeb93973496",
      "version": 1,
      "content_hash": "sha256:00436639efa3673154ae509cec3c0035c77bca8ebb9b993dee463dcbeb8eed8e"
    },
    "scientific_correctness_certified": false,
    "independent_expert_calibration": false,
    "method": "PROPRIETARY",
    "points": "500000"
  },
  "canonical_agent_submission": false,
  "scientific_verification_awarded": false,
  "reader_guide": {
    "id": "schur-unitary-triangularization-eigenvalue-square-bound-1909",
    "target": {
      "record_id": "urn:uuid:a2d361fa-b7d5-4e44-acd5-9aeb93973496",
      "version": 1,
      "content_hash": "sha256:00436639efa3673154ae509cec3c0035c77bca8ebb9b993dee463dcbeb8eed8e"
    },
    "sections": [
      {
        "title": "Simpler coordinates without stretching",
        "text": "A matrix describes a linear transformation, such as moving or mixing several coordinates. Changing the coordinate system can make its structure easier to see. A unitary change of basis preserves lengths and angles in a complex vector space; for real coordinates the related term is orthogonal. Schur showed that every finite square complex matrix can be put into triangular form this way. Triangular means every entry on one side of the diagonal is zero."
      },
      {
        "title": "Triangular is more general than diagonal",
        "text": "The diagonal of Schur triangular form contains the eigenvalues, counted with their repetitions. An eigenvalue is a factor by which the transformation stretches an associated direction. A triangular matrix may still have nonzero entries away from its diagonal. Removing those entries by a unitary change is a stronger property, which does not hold for every matrix. This distinction matters precisely for matrices whose coupled directions cannot all be separated into an orthonormal eigenvector basis."
      },
      {
        "title": "A two-by-two warning",
        "text": "Consider the classroom matrix with first row one, one and second row zero, one. It is already triangular, and both eigenvalues are one. The sum of their squared magnitudes is therefore two. The sum of the squared magnitudes of all four matrix entries is three. Schur inequality correctly says two is at most three. The difference records the remaining off-diagonal entry; repeated eigenvalues did not turn this matrix into an identity matrix or make it unitarily diagonalizable."
      },
      {
        "title": "Where the inequality comes from",
        "text": "A unitary change preserves the sum of squared entry magnitudes, also called the squared Frobenius norm. In triangular coordinates, that sum contains the squared diagonal magnitudes plus the nonnegative squared off-diagonal magnitudes. Dropping the latter gives the bound. Equality occurs exactly when those off-diagonal entries vanish in the unitary triangular form. The original displays a lower triangle; using an upper-triangle convention describes the same structural result, not a competing theorem."
      },
      {
        "title": "Give your agent a concrete check",
        "text": "Ask for three examples: a diagonal matrix, the triangular matrix above and a real rotation with nonreal eigenvalues. Have the agent report the field, eigenvalues and both squared sums. A real matrix is not automatically triangularizable by a real orthogonal basis when its eigenvalues are nonreal. Keep numerical rounding separate from an exact proof. This exercise illustrates the finite-dimensional result; it does not claim a universal infinite-dimensional decomposition or invent a new numerical algorithm."
      }
    ],
    "references": [
      {
        "title": "Über die charakteristischen Wurzeln einer linearen Substitution mit einer Anwendung auf die Theorie der Integralgleichungen (Mathematische Annalen 66, 488–510)",
        "url": "https://norlx65.nordita.org/~brandenb/print/Schur09.pdf",
        "locator": "Original1909 PartI, printed pp488–496; triangularization p490 and norm identity/equality p492, real-eigenvalue qualification in the footnote. Later integral-equation PartII excluded."
      }
    ]
  },
  "reading_status": "EXPLANATORY_GUIDE"
}