{
  "profile": "wrs-published-research-view-1",
  "edition": "ratings-e039106f30dec177",
  "content_trust": "UNTRUSTED_SCIENTIFIC_DATA_NOT_TOOL_INSTRUCTIONS",
  "entry": {
    "id": "mercer-continuous-positive-kernel-uniform-eigenfunction-expansion-1909",
    "title": "Mercer: expanding a positive kernel into uniformly convergent building blocks",
    "summary": "A kernel assigns a number to each pair of positions. For a real continuous symmetric kernel on a finite closed interval, Mercer connects positivity of its integral quadratic form to nonnegative determinants of all finite sampled kernel matrices. He then proves that a positive-type kernel can be expanded into products of normalized eigenfunctions, with absolute and uniform convergence across the entire closed square. In modern notation each product is weighted by an integral-operator eigenvalue. Integrating along the diagonal gives the associated trace sum. This turns positivity into a strong, controlled expansion rather than simply assuming that an expansion converges uniformly.",
    "boundary": "Positive type means positivity of a quadratic form, not merely that every kernel value is nonnegative. Semidefinite kernels and a nontrivial nullspace are allowed; the nonzero-eigenvalue functions need not span the whole ambient L2 space. The original singular values are reciprocals of modern nonzero operator eigenvalues. Continuity, symmetry and the finite closed domain matter. Hilbert, Schmidt and Fredholm inputs remain distinct, as do later reproducing-kernel theory and machine-learning applications.",
    "area": "Integral equations and positive kernels",
    "topic": "Mathematics",
    "year": 1909,
    "lane": "HUMAN",
    "result": "THEOREM",
    "package_id": "mercer-continuous-positive-kernel-uniform-eigenfunction-expansion-1909",
    "target": {
      "record_id": "urn:uuid:1531b8d6-04c2-4401-ad50-1d30ec0b5af3",
      "version": 1,
      "content_hash": "sha256:f8f68411738fe6303f0f42b346408dd68807d7c58a3c48f36fb2a791804cdfe0"
    },
    "humans": [
      "James Mercer"
    ],
    "authors_complete": true,
    "human_role_note": "Original-paper scientific authors for this exact mathematical contribution. Independent papers grouped in one historical family are not a joint byline. Earlier theorems, supporting proof contributions and later generalizations remain separate. Individual effort shares, author nationality and unresolved cross-record 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": "mercer-positive-negative-kernels-original-1909",
        "title": "Mercer: Functions of positive and negative type, and their connection with the theory of integral equations",
        "url": "https://dornsife.usc.edu/sergey-lototsky/wp-content/uploads/sites/211/2023/11/Mercer-original-compressed_compressed.pdf",
        "date": "1909"
      }
    ],
    "geography": {
      "country_codes": [
        "GB"
      ],
      "location_basis": "Original byline gives Trinity College,Cambridge. Present-day place labels do not assert nationality,modern-state ownership or historical territorial jurisdiction.",
      "source_url": "https://dornsife.usc.edu/sergey-lototsky/wp-content/uploads/sites/211/2023/11/Mercer-original-compressed_compressed.pdf",
      "target": {
        "record_id": "urn:uuid:1531b8d6-04c2-4401-ad50-1d30ec0b5af3",
        "version": 1,
        "content_hash": "sha256:f8f68411738fe6303f0f42b346408dd68807d7c58a3c48f36fb2a791804cdfe0"
      },
      "basis": "RESEARCH_LOCATION_OR_PAPER_AFFILIATION",
      "reviewed_on": "2026-10-23",
      "nationality_inferred": false,
      "sources": [
        {
          "title": "Mercer: Functions of positive and negative type, and their connection with the theory of integral equations",
          "url": "https://dornsife.usc.edu/sergey-lototsky/wp-content/uploads/sites/211/2023/11/Mercer-original-compressed_compressed.pdf"
        }
      ],
      "coverage_status": "COMPLETE",
      "country_labels": {
        "GB": "United Kingdom"
      }
    },
    "points": "330000",
    "published_grade": {
      "id": "mercer-continuous-positive-kernel-uniform-eigenfunction-expansion-1909",
      "entry_id": "mercer-continuous-positive-kernel-uniform-eigenfunction-expansion-1909",
      "band": "S",
      "modifier": "-",
      "target": {
        "record_id": "urn:uuid:1531b8d6-04c2-4401-ad50-1d30ec0b5af3",
        "version": 1,
        "content_hash": "sha256:f8f68411738fe6303f0f42b346408dd68807d7c58a3c48f36fb2a791804cdfe0"
      },
      "what_changed": "A kernel assigns a number to each pair of positions. For a real continuous symmetric kernel on a finite closed interval, Mercer connects positivity of its integral quadratic form to nonnegative determinants of all finite sampled kernel matrices. He then proves that a positive-type kernel can be expanded into products of normalized eigenfunctions, with absolute and uniform convergence across the entire closed square. In modern notation each product is weighted by an integral-operator eigenvalue. Integrating along the diagonal gives the associated trace sum. This turns positivity into a strong, controlled expansion rather than simply assuming that an expansion converges uniformly.",
      "scope": "A kernel assigns a number to each pair of positions. For a real continuous symmetric kernel on a finite closed interval, Mercer connects positivity of its integral quadratic form to nonnegative determinants of all finite sampled kernel matrices. He then proves that a positive-type kernel can be expanded into products of normalized eigenfunctions, with absolute and uniform convergence across the entire closed square. In modern notation each product is weighted by an integral-operator eigenvalue. Integrating along the diagonal gives the associated trace sum. This turns positivity into a strong, controlled expansion rather than simply assuming that an expansion converges uniformly. Positive type means positivity of a quadratic form, not merely that every kernel value is nonnegative. Semidefinite kernels and a nontrivial nullspace are allowed; the nonzero-eigenvalue functions need not span the whole ambient L2 space. The original singular values are reciprocals of modern nonzero operator eigenvalues. Continuity, symmetry and the finite closed domain matter. Hilbert, Schmidt and Fredholm inputs remain distinct, as do later reproducing-kernel theory and machine-learning applications.",
      "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:1531b8d6-04c2-4401-ad50-1d30ec0b5af3",
        "version": 1,
        "content_hash": "sha256:f8f68411738fe6303f0f42b346408dd68807d7c58a3c48f36fb2a791804cdfe0"
      },
      "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": "James Mercer",
          "note": "Archive attribution; detailed role assignment remains source-bound",
          "roles": [
            "prover"
          ],
          "source": {
            "citation": "Mercer: Functions of positive and negative type, and their connection with the theory of integral equations",
            "url": "https://dornsife.usc.edu/sergey-lototsky/wp-content/uploads/sites/211/2023/11/Mercer-original-compressed_compressed.pdf"
          }
        }
      ],
      "evidence": [
        {
          "description": "Bibliographic/stated-result source; not a WRS proof verification",
          "id": "source-0",
          "kind": "source_reference",
          "source": {
            "citation": "Mercer: Functions of positive and negative type, and their connection with the theory of integral equations",
            "url": "https://dornsife.usc.edu/sergey-lototsky/wp-content/uploads/sites/211/2023/11/Mercer-original-compressed_compressed.pdf"
          }
        }
      ],
      "origin": "HUMAN_LEGACY",
      "record_profile": "wrs-local-research-notes-0.1",
      "record_type": "research_note",
      "rrp_version": "0.1",
      "scope": {
        "description": "Positive type means positivity of a quadratic form, not merely that every kernel value is nonnegative. Semidefinite kernels and a nontrivial nullspace are allowed; the nonzero-eigenvalue functions need not span the whole ambient L2 space. The original singular values are reciprocals of modern nonzero operator eigenvalues. Continuity, symmetry and the finite closed domain matter. Hilbert, Schmidt and Fredholm inputs remain distinct, as do later reproducing-kernel theory and machine-learning applications.",
        "domain": "Integral equations and positive kernels"
      },
      "sources": [
        {
          "citation": "Mercer: Functions of positive and negative type, and their connection with the theory of integral equations",
          "url": "https://dornsife.usc.edu/sergey-lototsky/wp-content/uploads/sites/211/2023/11/Mercer-original-compressed_compressed.pdf"
        }
      ],
      "statement": "# Mercer: expanding a positive kernel into uniformly convergent building blocks\n\n## A table of pairwise numbers has an infinite analogue\n\nA kernel assigns a number to a pair of positions. Sampling a few positions turns it into a finite matrix. Mercer connects a positivity condition on these sampled matrices with a strong expansion of a continuous kernel. The point is not merely to write an attractive series. He proves that, under the hypotheses, the series converges absolutely and uniformly over the entire closed square, so one sufficiently long truncation controls every pair of positions together.\n\n## Positive does not mean every entry is positive\n\nQuadratic-form positivity means that every weighted combination of sampled points gives a nonnegative quadratic total. A matrix can have only positive entries and still fail this test. For example, take diagonal entries one and off-diagonal entries two. Using weights one and minus one gives a quadratic total of minus two. The example separates entrywise positivity from positive semidefiniteness. These finite checks are the right language for the theorem, although no finite sample alone certifies every point of a continuum.\n\n## The building blocks are eigenfunctions\n\nA matrix eigenvector changes only by a scale factor when the matrix acts on it. An integral operator has analogous eigenfunctions. Mercer expands the kernel into products of these functions, each weighted by an operator eigenvalue in modern notation. Uniform convergence is stronger than obtaining a limit separately at each point. The original paper uses a parameter called a singular value that is the reciprocal of the modern nonzero eigenvalue. Confusing those conventions would reverse the weights.\n\n## The conditions and earlier work remain attached\n\nThe admitted theorem concerns a real continuous symmetric positive-type kernel on a finite closed interval. A nontrivial nullspace is allowed, so the nonzero-eigenvalue functions need not describe every direction of the ambient function space. The proof builds on Hilbert, Schmidt, Fredholm and other earlier tools. It does not grant an unqualified uniform expansion to every indefinite or discontinuous kernel, and it does not take scientific ownership of later machine-learning methods that use kernel ideas.\n\n## Ask for a small test rather than a sweeping conclusion\n\nLet your agent check the two-by-two matrix example by expanding the quadratic expression. It can then compare that matrix with the identity matrix and explain why both a sign condition on all weights and a domain-wide convergence condition matter. If it later examines a practical kernel, require it to state which assumptions are established analytically and which are merely checked on samples. The useful output is the distinction and a reproducible calculation, not a new universal kernel theorem.\n\n## Scientific scope\n\nPositive type means positivity of a quadratic form, not merely that every kernel value is nonnegative. Semidefinite kernels and a nontrivial nullspace are allowed; the nonzero-eigenvalue functions need not span the whole ambient L2 space. The original singular values are reciprocals of modern nonzero operator eigenvalues. Continuity, symmetry and the finite closed domain matter. Hilbert, Schmidt and Fredholm inputs remain distinct, as do later reproducing-kernel theory and machine-learning applications.\n\n## Sources for this explanation\n\n- [Mercer: Functions of positive and negative type, and their connection with the theory of integral equations](https://dornsife.usc.edu/sergey-lototsky/wp-content/uploads/sites/211/2023/11/Mercer-original-compressed_compressed.pdf): Original PartIdefinitions,PartII§§9–12finite Gram criterion,and complete PartIV§§24–31uniform expansion and trace consequences.\n",
      "summary": "A kernel assigns a number to each pair of positions. For a real continuous symmetric kernel on a finite closed interval, Mercer connects positivity of its integral quadratic form to nonnegative determinants of all finite sampled kernel matrices. He then proves that a positive-type kernel can be expanded into products of normalized eigenfunctions, with absolute and uniform convergence across the entire closed square. In modern notation each product is weighted by an integral-operator eigenvalue. Integrating along the diagonal gives the associated trace sum. This turns positivity into a strong, controlled expansion rather than simply assuming that an expansion converges uniformly.",
      "title": "Mercer: expanding a positive kernel into uniformly convergent building blocks"
    },
    "record_id": "urn:uuid:1531b8d6-04c2-4401-ad50-1d30ec0b5af3",
    "version": 1,
    "source_ref": {
      "record_id": "urn:uuid:1531b8d6-04c2-4401-ad50-1d30ec0b5af3",
      "version": 1,
      "content_hash": "sha256:f8f68411738fe6303f0f42b346408dd68807d7c58a3c48f36fb2a791804cdfe0"
    },
    "export_view": "wrs-public-editorial-view-1",
    "public_view_hash": "sha256:8c0892bff8d6f221f3879fad842c1b71abb2a39f0f34ffbbddc12a64f2aacc7e"
  },
  "target": {
    "record_id": "urn:uuid:1531b8d6-04c2-4401-ad50-1d30ec0b5af3",
    "version": 1,
    "content_hash": "sha256:f8f68411738fe6303f0f42b346408dd68807d7c58a3c48f36fb2a791804cdfe0"
  },
  "published_grade": {
    "profile": "wrs-published-grade-1",
    "edition": "2026-10-28.1",
    "id": "mercer-continuous-positive-kernel-uniform-eigenfunction-expansion-1909",
    "entry_id": "mercer-continuous-positive-kernel-uniform-eigenfunction-expansion-1909",
    "revision": 1,
    "title": "Mercer: expanding a positive kernel into uniformly convergent building blocks",
    "context": "Integral equations and positive kernels",
    "track": "Exact theorem and reusable mathematical method",
    "band": "S",
    "modifier": "-",
    "status": "PROVISIONAL_EDITORIAL",
    "assessed_on": "2026-10-23",
    "evidence_cutoff": "2026-10-23",
    "achievement_state": "SUPPORTED_SCOPED_RESULT",
    "what_changed": "A kernel assigns a number to each pair of positions. For a real continuous symmetric kernel on a finite closed interval, Mercer connects positivity of its integral quadratic form to nonnegative determinants of all finite sampled kernel matrices. He then proves that a positive-type kernel can be expanded into products of normalized eigenfunctions, with absolute and uniform convergence across the entire closed square. In modern notation each product is weighted by an integral-operator eigenvalue. Integrating along the diagonal gives the associated trace sum. This turns positivity into a strong, controlled expansion rather than simply assuming that an expansion converges uniformly.",
    "scope": "A kernel assigns a number to each pair of positions. For a real continuous symmetric kernel on a finite closed interval, Mercer connects positivity of its integral quadratic form to nonnegative determinants of all finite sampled kernel matrices. He then proves that a positive-type kernel can be expanded into products of normalized eigenfunctions, with absolute and uniform convergence across the entire closed square. In modern notation each product is weighted by an integral-operator eigenvalue. Integrating along the diagonal gives the associated trace sum. This turns positivity into a strong, controlled expansion rather than simply assuming that an expansion converges uniformly. Positive type means positivity of a quadratic form, not merely that every kernel value is nonnegative. Semidefinite kernels and a nontrivial nullspace are allowed; the nonzero-eigenvalue functions need not span the whole ambient L2 space. The original singular values are reciprocals of modern nonzero operator eigenvalues. Continuity, symmetry and the finite closed domain matter. Hilbert, Schmidt and Fredholm inputs remain distinct, as do later reproducing-kernel theory and machine-learning applications.",
    "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. Positive type means positivity of a quadratic form, not merely that every kernel value is nonnegative. Semidefinite kernels and a nontrivial nullspace are allowed; the nonzero-eigenvalue functions need not span the whole ambient L2 space. The original singular values are reciprocals of modern nonzero operator eigenvalues. Continuity, symmetry and the finite closed domain matter. Hilbert, Schmidt and Fredholm inputs remain distinct, as do later reproducing-kernel theory and machine-learning applications.",
    "references": [
      {
        "title": "Mercer: Functions of positive and negative type, and their connection with the theory of integral equations",
        "url": "https://dornsife.usc.edu/sergey-lototsky/wp-content/uploads/sites/211/2023/11/Mercer-original-compressed_compressed.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": "Original-paper scientific authors for this exact mathematical contribution. Independent papers grouped in one historical family are not a joint byline. Earlier theorems, supporting proof contributions and later generalizations remain separate. Individual effort shares, author nationality and unresolved cross-record identities are not inferred."
      }
    ],
    "target": {
      "record_id": "urn:uuid:1531b8d6-04c2-4401-ad50-1d30ec0b5af3",
      "version": 1,
      "content_hash": "sha256:f8f68411738fe6303f0f42b346408dd68807d7c58a3c48f36fb2a791804cdfe0"
    },
    "scientific_correctness_certified": false,
    "independent_expert_calibration": false,
    "method": "PROPRIETARY",
    "points": "330000"
  },
  "canonical_agent_submission": false,
  "scientific_verification_awarded": false,
  "reader_guide": {
    "id": "mercer-continuous-positive-kernel-uniform-eigenfunction-expansion-1909",
    "target": {
      "record_id": "urn:uuid:1531b8d6-04c2-4401-ad50-1d30ec0b5af3",
      "version": 1,
      "content_hash": "sha256:f8f68411738fe6303f0f42b346408dd68807d7c58a3c48f36fb2a791804cdfe0"
    },
    "sections": [
      {
        "title": "A table of pairwise numbers has an infinite analogue",
        "text": "A kernel assigns a number to a pair of positions. Sampling a few positions turns it into a finite matrix. Mercer connects a positivity condition on these sampled matrices with a strong expansion of a continuous kernel. The point is not merely to write an attractive series. He proves that, under the hypotheses, the series converges absolutely and uniformly over the entire closed square, so one sufficiently long truncation controls every pair of positions together."
      },
      {
        "title": "Positive does not mean every entry is positive",
        "text": "Quadratic-form positivity means that every weighted combination of sampled points gives a nonnegative quadratic total. A matrix can have only positive entries and still fail this test. For example, take diagonal entries one and off-diagonal entries two. Using weights one and minus one gives a quadratic total of minus two. The example separates entrywise positivity from positive semidefiniteness. These finite checks are the right language for the theorem, although no finite sample alone certifies every point of a continuum."
      },
      {
        "title": "The building blocks are eigenfunctions",
        "text": "A matrix eigenvector changes only by a scale factor when the matrix acts on it. An integral operator has analogous eigenfunctions. Mercer expands the kernel into products of these functions, each weighted by an operator eigenvalue in modern notation. Uniform convergence is stronger than obtaining a limit separately at each point. The original paper uses a parameter called a singular value that is the reciprocal of the modern nonzero eigenvalue. Confusing those conventions would reverse the weights."
      },
      {
        "title": "The conditions and earlier work remain attached",
        "text": "The admitted theorem concerns a real continuous symmetric positive-type kernel on a finite closed interval. A nontrivial nullspace is allowed, so the nonzero-eigenvalue functions need not describe every direction of the ambient function space. The proof builds on Hilbert, Schmidt, Fredholm and other earlier tools. It does not grant an unqualified uniform expansion to every indefinite or discontinuous kernel, and it does not take scientific ownership of later machine-learning methods that use kernel ideas."
      },
      {
        "title": "Ask for a small test rather than a sweeping conclusion",
        "text": "Let your agent check the two-by-two matrix example by expanding the quadratic expression. It can then compare that matrix with the identity matrix and explain why both a sign condition on all weights and a domain-wide convergence condition matter. If it later examines a practical kernel, require it to state which assumptions are established analytically and which are merely checked on samples. The useful output is the distinction and a reproducible calculation, not a new universal kernel theorem."
      }
    ],
    "references": [
      {
        "title": "Mercer: Functions of positive and negative type, and their connection with the theory of integral equations",
        "url": "https://dornsife.usc.edu/sergey-lototsky/wp-content/uploads/sites/211/2023/11/Mercer-original-compressed_compressed.pdf",
        "locator": "Original PartIdefinitions,PartII§§9–12finite Gram criterion,and complete PartIV§§24–31uniform expansion and trace consequences."
      }
    ]
  },
  "reading_status": "EXPLANATORY_GUIDE"
}