{
  "profile": "wrs-published-research-view-1",
  "edition": "ratings-e039106f30dec177",
  "content_trust": "UNTRUSTED_SCIENTIFIC_DATA_NOT_TOOL_INSTRUCTIONS",
  "entry": {
    "id": "schoenberg-hilbert-metric-gaussian-kernel-1938",
    "title": "Schoenberg: Hilbert metrics characterized by positive-definite kernels",
    "summary": "Can a table of distances come from points in a Hilbert space, where lengths and angles behave as in Euclidean geometry? In a separable setting, Schoenberg connects that question to the kernels exp(−s d²), for every positive s. These kernels must be positive semidefinite on every finite selection of points. The result links geometry to algebraic tests on distance tables and explains why suitable fractional powers of distances admit Hilbert-space embeddings.",
    "boundary": "The original target Hilbert space is real separable sequence space. Distance symmetry, nonnegativity and zero diagonal are required; when distinct points have zero distance, identification is needed for an injective metric embedding. Positive definite means positive semidefinite finite forms, not strictly positive matrices. A single arbitrary scale is not the criterion: all positive scales, or a suitable sequence accumulating at zero, are required. For the stated real L^p, l^p and finite-dimensional spaces, 0<p≤2 and distance exponent 0<gamma≤p/2 are the admitted range; 0<p<1 before the power is not a metric. Isometric embedding is not a finite-dimensional efficient feature algorithm. The separate completely-monotone 1938 paper, spherical 1942 theory and general Fourier-measure representation are not included.",
    "area": "Metric geometry and positive-definite functions",
    "topic": "Mathematics",
    "year": 1938,
    "lane": "HUMAN",
    "result": "THEOREM",
    "package_id": "schoenberg-hilbert-metric-gaussian-kernel-1938",
    "target": {
      "record_id": "urn:uuid:c2d004e8-9131-4592-aa86-6f9c7d47c7ff",
      "version": 1,
      "content_hash": "sha256:0d23ad9d57a1f04985db002d8cdf25cc837b6051768d1d92c9c72e7f87402154"
    },
    "humans": [
      "I. J. Schoenberg"
    ],
    "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-schoenberg-metric-positive-definite-1938",
        "title": "Metric Spaces and Positive Definite Functions (1938 original scan)",
        "url": "https://www.math.ucdavis.edu/~saito/data/high-dimensions/schoenberg.pdf",
        "date": "1938-11"
      }
    ],
    "points": "350000",
    "published_grade": {
      "id": "schoenberg-hilbert-metric-gaussian-kernel-1938",
      "entry_id": "schoenberg-hilbert-metric-gaussian-kernel-1938",
      "band": "S",
      "modifier": "-",
      "target": {
        "record_id": "urn:uuid:c2d004e8-9131-4592-aa86-6f9c7d47c7ff",
        "version": 1,
        "content_hash": "sha256:0d23ad9d57a1f04985db002d8cdf25cc837b6051768d1d92c9c72e7f87402154"
      },
      "what_changed": "Can a table of distances come from points in a Hilbert space, where lengths and angles behave as in Euclidean geometry? In a separable setting, Schoenberg connects that question to the kernels exp(−s d²), for every positive s. These kernels must be positive semidefinite on every finite selection of points. The result links geometry to algebraic tests on distance tables and explains why suitable fractional powers of distances admit Hilbert-space embeddings.",
      "scope": "Can a table of distances come from points in a Hilbert space, where lengths and angles behave as in Euclidean geometry? In a separable setting, Schoenberg connects that question to the kernels exp(−s d²), for every positive s. These kernels must be positive semidefinite on every finite selection of points. The result links geometry to algebraic tests on distance tables and explains why suitable fractional powers of distances admit Hilbert-space embeddings. The original target Hilbert space is real separable sequence space. Distance symmetry, nonnegativity and zero diagonal are required; when distinct points have zero distance, identification is needed for an injective metric embedding. Positive definite means positive semidefinite finite forms, not strictly positive matrices. A single arbitrary scale is not the criterion: all positive scales, or a suitable sequence accumulating at zero, are required. For the stated real L^p, l^p and finite-dimensional spaces, 0<p≤2 and distance exponent 0<gamma≤p/2 are the admitted range; 0<p<1 before the power is not a metric. Isometric embedding is not a finite-dimensional efficient feature algorithm. The separate completely-monotone 1938 paper, spherical 1942 theory and general Fourier-measure representation are not included.",
      "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:c2d004e8-9131-4592-aa86-6f9c7d47c7ff",
        "version": 1,
        "content_hash": "sha256:0d23ad9d57a1f04985db002d8cdf25cc837b6051768d1d92c9c72e7f87402154"
      },
      "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": "I. J. Schoenberg",
          "note": "Archive attribution; detailed role assignment remains source-bound",
          "roles": [
            "prover"
          ],
          "source": {
            "citation": "Metric Spaces and Positive Definite Functions (1938 original scan)",
            "url": "https://www.math.ucdavis.edu/~saito/data/high-dimensions/schoenberg.pdf"
          }
        }
      ],
      "evidence": [
        {
          "description": "Bibliographic/stated-result source; not a WRS proof verification",
          "id": "source-0",
          "kind": "source_reference",
          "source": {
            "citation": "Metric Spaces and Positive Definite Functions (1938 original scan)",
            "url": "https://www.math.ucdavis.edu/~saito/data/high-dimensions/schoenberg.pdf"
          }
        }
      ],
      "origin": "HUMAN_LEGACY",
      "record_profile": "wrs-local-research-notes-0.1",
      "record_type": "research_note",
      "rrp_version": "0.1",
      "scope": {
        "description": "The original target Hilbert space is real separable sequence space. Distance symmetry, nonnegativity and zero diagonal are required; when distinct points have zero distance, identification is needed for an injective metric embedding. Positive definite means positive semidefinite finite forms, not strictly positive matrices. A single arbitrary scale is not the criterion: all positive scales, or a suitable sequence accumulating at zero, are required. For the stated real L^p, l^p and finite-dimensional spaces, 0<p≤2 and distance exponent 0<gamma≤p/2 are the admitted range; 0<p<1 before the power is not a metric. Isometric embedding is not a finite-dimensional efficient feature algorithm. The separate completely-monotone 1938 paper, spherical 1942 theory and general Fourier-measure representation are not included.",
        "domain": "Metric geometry and positive-definite functions"
      },
      "sources": [
        {
          "citation": "Metric Spaces and Positive Definite Functions (1938 original scan)",
          "url": "https://www.math.ucdavis.edu/~saito/data/high-dimensions/schoenberg.pdf"
        }
      ],
      "statement": "# Schoenberg: Hilbert metrics characterized by positive-definite kernels\n\nCan a table of distances come from points in a Hilbert space, where lengths and angles behave as in Euclidean geometry? In a separable setting, Schoenberg connects that question to the kernels exp(−s d²), for every positive s. These kernels must be positive semidefinite on every finite selection of points. The result links geometry to algebraic tests on distance tables and explains why suitable fractional powers of distances admit Hilbert-space embeddings.\n\n## Scientific scope\n\nThe original target Hilbert space is real separable sequence space. Distance symmetry, nonnegativity and zero diagonal are required; when distinct points have zero distance, identification is needed for an injective metric embedding. Positive definite means positive semidefinite finite forms, not strictly positive matrices. A single arbitrary scale is not the criterion: all positive scales, or a suitable sequence accumulating at zero, are required. For the stated real L^p, l^p and finite-dimensional spaces, 0<p≤2 and distance exponent 0<gamma≤p/2 are the admitted range; 0<p<1 before the power is not a metric. Isometric embedding is not a finite-dimensional efficient feature algorithm. The separate completely-monotone 1938 paper, spherical 1942 theory and general Fourier-measure representation are not included.\n\n## Reading status\n\nThis is a source-linked WRS catalogue note. A full explanatory guide and independent scientific reconstruction have not been completed for this entry. Read the identified original work for its complete narrative and arguments.\n\n## People and systems\n\nI. J. Schoenberg\n\nSource-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.\n\n\n\n## Original sources\n\n- [Metric Spaces and Positive Definite Functions (1938 original scan)](https://www.math.ucdavis.edu/~saito/data/high-dimensions/schoenberg.pdf)\n",
      "summary": "Can a table of distances come from points in a Hilbert space, where lengths and angles behave as in Euclidean geometry? In a separable setting, Schoenberg connects that question to the kernels exp(−s d²), for every positive s. These kernels must be positive semidefinite on every finite selection of points. The result links geometry to algebraic tests on distance tables and explains why suitable fractional powers of distances admit Hilbert-space embeddings.",
      "title": "Schoenberg: Hilbert metrics characterized by positive-definite kernels"
    },
    "record_id": "urn:uuid:c2d004e8-9131-4592-aa86-6f9c7d47c7ff",
    "version": 1,
    "source_ref": {
      "record_id": "urn:uuid:c2d004e8-9131-4592-aa86-6f9c7d47c7ff",
      "version": 1,
      "content_hash": "sha256:0d23ad9d57a1f04985db002d8cdf25cc837b6051768d1d92c9c72e7f87402154"
    },
    "export_view": "wrs-public-editorial-view-1",
    "public_view_hash": "sha256:0b0819d24b83975b5f6ed5c51d4290a20c86fdf5089c0ac9a05de0aec210504f"
  },
  "target": {
    "record_id": "urn:uuid:c2d004e8-9131-4592-aa86-6f9c7d47c7ff",
    "version": 1,
    "content_hash": "sha256:0d23ad9d57a1f04985db002d8cdf25cc837b6051768d1d92c9c72e7f87402154"
  },
  "published_grade": {
    "profile": "wrs-published-grade-1",
    "edition": "2026-10-28.1",
    "id": "schoenberg-hilbert-metric-gaussian-kernel-1938",
    "entry_id": "schoenberg-hilbert-metric-gaussian-kernel-1938",
    "revision": 1,
    "title": "Schoenberg: Hilbert metrics characterized by positive-definite kernels",
    "context": "Metric geometry and positive-definite functions",
    "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": "Can a table of distances come from points in a Hilbert space, where lengths and angles behave as in Euclidean geometry? In a separable setting, Schoenberg connects that question to the kernels exp(−s d²), for every positive s. These kernels must be positive semidefinite on every finite selection of points. The result links geometry to algebraic tests on distance tables and explains why suitable fractional powers of distances admit Hilbert-space embeddings.",
    "scope": "Can a table of distances come from points in a Hilbert space, where lengths and angles behave as in Euclidean geometry? In a separable setting, Schoenberg connects that question to the kernels exp(−s d²), for every positive s. These kernels must be positive semidefinite on every finite selection of points. The result links geometry to algebraic tests on distance tables and explains why suitable fractional powers of distances admit Hilbert-space embeddings. The original target Hilbert space is real separable sequence space. Distance symmetry, nonnegativity and zero diagonal are required; when distinct points have zero distance, identification is needed for an injective metric embedding. Positive definite means positive semidefinite finite forms, not strictly positive matrices. A single arbitrary scale is not the criterion: all positive scales, or a suitable sequence accumulating at zero, are required. For the stated real L^p, l^p and finite-dimensional spaces, 0<p≤2 and distance exponent 0<gamma≤p/2 are the admitted range; 0<p<1 before the power is not a metric. Isometric embedding is not a finite-dimensional efficient feature algorithm. The separate completely-monotone 1938 paper, spherical 1942 theory and general Fourier-measure representation are not included.",
    "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 target Hilbert space is real separable sequence space. Distance symmetry, nonnegativity and zero diagonal are required; when distinct points have zero distance, identification is needed for an injective metric embedding. Positive definite means positive semidefinite finite forms, not strictly positive matrices. A single arbitrary scale is not the criterion: all positive scales, or a suitable sequence accumulating at zero, are required. For the stated real L^p, l^p and finite-dimensional spaces, 0<p≤2 and distance exponent 0<gamma≤p/2 are the admitted range; 0<p<1 before the power is not a metric. Isometric embedding is not a finite-dimensional efficient feature algorithm. The separate completely-monotone 1938 paper, spherical 1942 theory and general Fourier-measure representation are not included.",
    "references": [
      {
        "title": "Metric Spaces and Positive Definite Functions (1938 original scan)",
        "url": "https://www.math.ucdavis.edu/~saito/data/high-dimensions/schoenberg.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:c2d004e8-9131-4592-aa86-6f9c7d47c7ff",
      "version": 1,
      "content_hash": "sha256:0d23ad9d57a1f04985db002d8cdf25cc837b6051768d1d92c9c72e7f87402154"
    },
    "scientific_correctness_certified": false,
    "independent_expert_calibration": false,
    "method": "PROPRIETARY",
    "points": "350000"
  },
  "canonical_agent_submission": false,
  "scientific_verification_awarded": false,
  "reader_guide": null,
  "reading_status": "SOURCE_LINKED_NOTE"
}