{
  "profile": "wrs-published-research-view-1",
  "edition": "ratings-e039106f30dec177",
  "content_trust": "UNTRUSTED_SCIENTIFIC_DATA_NOT_TOOL_INSTRUCTIONS",
  "entry": {
    "id": "fabry-sparse-power-series-natural-boundary-1896",
    "title": "Fabry: sparse coefficients can block analytic continuation around an entire circle",
    "summary": "A power series may converge inside a circle while its function can still be continued beyond part of that circle. Fabry develops coefficient and sign-change criteria that can rule this out at every boundary point. His 1896 paper includes explicit quantitative sparsity conditions on the nonzero powers, with the finite positive convergence radius normalized to one. One such condition requires successive exponent gaps, divided by the logarithm of the exponent, to grow without bound. These results enlarge the known families of functions whose convergence circle is a natural boundary, building on Hadamard's earlier work.",
    "boundary": "Infinitely many missing terms alone are not enough. The stated convergence-radius, coefficient and local sparsity assumptions matter; later formulations named Fabry's gap theorem are not all attributed to this original statement. The author's closing discussion of what happens for general arbitrary coefficients is explicitly exploratory, not a probability-one or category theorem. A natural boundary concerns analytic continuation, not necessarily divergence at every boundary point.",
    "area": "Complex analysis",
    "topic": "Mathematics",
    "year": 1896,
    "lane": "HUMAN",
    "result": "THEOREM",
    "package_id": "fabry-sparse-power-series-natural-boundary-1896",
    "target": {
      "record_id": "urn:uuid:2fa08caa-9c58-46ac-a9c9-4feb2b34cce0",
      "version": 1,
      "content_hash": "sha256:02aaa4a99f88d16876d4acdce10b0c027234163de85712fb4dc1a5e68f6b3434"
    },
    "humans": [
      "Eugène Fabry"
    ],
    "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": "cur20261020-fabry-singularities-gap-criteria-1896",
        "title": "Sur les points singuliers d’une fonction donnée par son développement en série (original1896)",
        "url": "https://www.numdam.org/item/10.24033/asens.431.pdf",
        "date": "1896-10"
      }
    ],
    "geography": {
      "country_codes": [
        "FR"
      ],
      "location_basis": "Original byline names the Faculty of Sciences of Montpellier. Present-day location labels follow the retained platform convention; they do not assert nationality,modern-state ownership or territorial jurisdiction at the historical date.",
      "source_url": "https://www.numdam.org/item/10.24033/asens.431.pdf",
      "target": {
        "record_id": "urn:uuid:2fa08caa-9c58-46ac-a9c9-4feb2b34cce0",
        "version": 1,
        "content_hash": "sha256:02aaa4a99f88d16876d4acdce10b0c027234163de85712fb4dc1a5e68f6b3434"
      },
      "basis": "RESEARCH_LOCATION_OR_PAPER_AFFILIATION",
      "reviewed_on": "2026-10-23",
      "nationality_inferred": false,
      "sources": [
        {
          "title": "Sur les points singuliers d’une fonction donnée par son développement en série (original1896)",
          "url": "https://www.numdam.org/item/10.24033/asens.431.pdf"
        }
      ],
      "coverage_status": "COMPLETE",
      "country_labels": {
        "FR": "France"
      }
    },
    "points": "300000",
    "published_grade": {
      "id": "fabry-sparse-power-series-natural-boundary-1896",
      "entry_id": "fabry-sparse-power-series-natural-boundary-1896",
      "band": "S",
      "modifier": "-",
      "target": {
        "record_id": "urn:uuid:2fa08caa-9c58-46ac-a9c9-4feb2b34cce0",
        "version": 1,
        "content_hash": "sha256:02aaa4a99f88d16876d4acdce10b0c027234163de85712fb4dc1a5e68f6b3434"
      },
      "what_changed": "A power series may converge inside a circle while its function can still be continued beyond part of that circle. Fabry develops coefficient and sign-change criteria that can rule this out at every boundary point. His 1896 paper includes explicit quantitative sparsity conditions on the nonzero powers, with the finite positive convergence radius normalized to one. One such condition requires successive exponent gaps, divided by the logarithm of the exponent, to grow without bound. These results enlarge the known families of functions whose convergence circle is a natural boundary, building on Hadamard's earlier work.",
      "scope": "A power series may converge inside a circle while its function can still be continued beyond part of that circle. Fabry develops coefficient and sign-change criteria that can rule this out at every boundary point. His 1896 paper includes explicit quantitative sparsity conditions on the nonzero powers, with the finite positive convergence radius normalized to one. One such condition requires successive exponent gaps, divided by the logarithm of the exponent, to grow without bound. These results enlarge the known families of functions whose convergence circle is a natural boundary, building on Hadamard's earlier work. Infinitely many missing terms alone are not enough. The stated convergence-radius, coefficient and local sparsity assumptions matter; later formulations named Fabry's gap theorem are not all attributed to this original statement. The author's closing discussion of what happens for general arbitrary coefficients is explicitly exploratory, not a probability-one or category theorem. A natural boundary concerns analytic continuation, not necessarily divergence at every boundary point.",
      "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:2fa08caa-9c58-46ac-a9c9-4feb2b34cce0",
        "version": 1,
        "content_hash": "sha256:02aaa4a99f88d16876d4acdce10b0c027234163de85712fb4dc1a5e68f6b3434"
      },
      "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": "Eugène Fabry",
          "note": "Archive attribution; detailed role assignment remains source-bound",
          "roles": [
            "prover"
          ],
          "source": {
            "citation": "Sur les points singuliers d’une fonction donnée par son développement en série (original1896)",
            "url": "https://www.numdam.org/item/10.24033/asens.431.pdf"
          }
        }
      ],
      "evidence": [
        {
          "description": "Bibliographic/stated-result source; not a WRS proof verification",
          "id": "source-0",
          "kind": "source_reference",
          "source": {
            "citation": "Sur les points singuliers d’une fonction donnée par son développement en série (original1896)",
            "url": "https://www.numdam.org/item/10.24033/asens.431.pdf"
          }
        }
      ],
      "origin": "HUMAN_LEGACY",
      "record_profile": "wrs-local-research-notes-0.1",
      "record_type": "research_note",
      "rrp_version": "0.1",
      "scope": {
        "description": "Infinitely many missing terms alone are not enough. The stated convergence-radius, coefficient and local sparsity assumptions matter; later formulations named Fabry's gap theorem are not all attributed to this original statement. The author's closing discussion of what happens for general arbitrary coefficients is explicitly exploratory, not a probability-one or category theorem. A natural boundary concerns analytic continuation, not necessarily divergence at every boundary point.",
        "domain": "Complex analysis"
      },
      "sources": [
        {
          "citation": "Sur les points singuliers d’une fonction donnée par son développement en série (original1896)",
          "url": "https://www.numdam.org/item/10.24033/asens.431.pdf"
        }
      ],
      "statement": "# Fabry: sparse coefficients can block analytic continuation around an entire circle\n\n## The edge of a series need not be the edge of its function\n\nThe geometric series one plus z plus z squared and so on converges when the absolute value of z is less than one. Its function, 1/(1 minus z), still makes sense beyond much of that circle; only z equal to one is singular. Analytic continuation means extending an analytic function through overlapping neighborhoods. Fabry gives conditions under which no boundary point permits such an extension: the circle becomes a natural boundary.\n\n## Missing terms alone do not build a wall\n\nConsider one plus z squared plus z to the fourth and so on. Infinitely many powers are missing, yet its function is 1/(1 minus z squared). Only plus one and minus one are singular on the unit circle. This classroom identity shows why simply counting omitted coefficients is not enough. A useful theorem needs quantitative conditions on where nonzero coefficients occur and how large they remain relative to the convergence radius.\n\n## The original sparsity condition has a scale\n\nOne explicit condition in Fabry 1896 paper concerns increasing integer exponents c_v. The gap to the next exponent, divided by log c_v, must grow without bound, with the power series having finite positive radius and the other stated coefficient conditions. For exponents n squared, the successive gap is two n plus one, which outgrows log of n squared. The ratio, rather than an isolated large gap, is the relevant long-run comparison.\n\n## A singularity is not just a failed sum\n\nA natural boundary forbids analytic continuation through every point on the circle. It does not merely say that a chosen partial-sum calculation becomes unstable, and it need not mean the series diverges at every boundary point. Fabry develops coefficient and sign-change arguments building on Hadamard. The paper ends with exploratory discussion of general coefficients; that discussion is not a proved probability-one statement or a theorem about every arbitrary series.\n\n## Make your agent test the easy counterexample first\n\nAsk it to derive the two geometric-series identities and mark their singular points. Then compare exponent gaps for n, n squared and two to the nth power, clearly separating finite computed ratios from asymptotic reasoning. The task is to understand the conditions, not to announce a new analytic-continuation theorem from a plot. A later result with the same historical name must still be checked against the exact assumptions of the cited original.\n\n## Scientific scope\n\nInfinitely many missing terms alone are not enough. The stated convergence-radius, coefficient and local sparsity assumptions matter; later formulations named Fabry's gap theorem are not all attributed to this original statement. The author's closing discussion of what happens for general arbitrary coefficients is explicitly exploratory, not a probability-one or category theorem. A natural boundary concerns analytic continuation, not necessarily divergence at every boundary point.\n\n## Sources for this explanation\n\n- [Sur les points singuliers d’une fonction donnée par son développement en série (original1896)](https://www.numdam.org/item/10.24033/asens.431.pdf): 1896paper,printed367–382for radius/sign-change setup;391explicitlog-gapcriterion;398–399exploratoryclosingdiscussion.\n",
      "summary": "A power series may converge inside a circle while its function can still be continued beyond part of that circle. Fabry develops coefficient and sign-change criteria that can rule this out at every boundary point. His 1896 paper includes explicit quantitative sparsity conditions on the nonzero powers, with the finite positive convergence radius normalized to one. One such condition requires successive exponent gaps, divided by the logarithm of the exponent, to grow without bound. These results enlarge the known families of functions whose convergence circle is a natural boundary, building on Hadamard's earlier work.",
      "title": "Fabry: sparse coefficients can block analytic continuation around an entire circle"
    },
    "record_id": "urn:uuid:2fa08caa-9c58-46ac-a9c9-4feb2b34cce0",
    "version": 1,
    "source_ref": {
      "record_id": "urn:uuid:2fa08caa-9c58-46ac-a9c9-4feb2b34cce0",
      "version": 1,
      "content_hash": "sha256:02aaa4a99f88d16876d4acdce10b0c027234163de85712fb4dc1a5e68f6b3434"
    },
    "export_view": "wrs-public-editorial-view-1",
    "public_view_hash": "sha256:08a75eed916f0e1479253d6e14d839158690806b2aed54024694517a77b28c38"
  },
  "target": {
    "record_id": "urn:uuid:2fa08caa-9c58-46ac-a9c9-4feb2b34cce0",
    "version": 1,
    "content_hash": "sha256:02aaa4a99f88d16876d4acdce10b0c027234163de85712fb4dc1a5e68f6b3434"
  },
  "published_grade": {
    "profile": "wrs-published-grade-1",
    "edition": "2026-10-28.1",
    "id": "fabry-sparse-power-series-natural-boundary-1896",
    "entry_id": "fabry-sparse-power-series-natural-boundary-1896",
    "revision": 1,
    "title": "Fabry: sparse coefficients can block analytic continuation around an entire circle",
    "context": "Complex analysis",
    "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 power series may converge inside a circle while its function can still be continued beyond part of that circle. Fabry develops coefficient and sign-change criteria that can rule this out at every boundary point. His 1896 paper includes explicit quantitative sparsity conditions on the nonzero powers, with the finite positive convergence radius normalized to one. One such condition requires successive exponent gaps, divided by the logarithm of the exponent, to grow without bound. These results enlarge the known families of functions whose convergence circle is a natural boundary, building on Hadamard's earlier work.",
    "scope": "A power series may converge inside a circle while its function can still be continued beyond part of that circle. Fabry develops coefficient and sign-change criteria that can rule this out at every boundary point. His 1896 paper includes explicit quantitative sparsity conditions on the nonzero powers, with the finite positive convergence radius normalized to one. One such condition requires successive exponent gaps, divided by the logarithm of the exponent, to grow without bound. These results enlarge the known families of functions whose convergence circle is a natural boundary, building on Hadamard's earlier work. Infinitely many missing terms alone are not enough. The stated convergence-radius, coefficient and local sparsity assumptions matter; later formulations named Fabry's gap theorem are not all attributed to this original statement. The author's closing discussion of what happens for general arbitrary coefficients is explicitly exploratory, not a probability-one or category theorem. A natural boundary concerns analytic continuation, not necessarily divergence at every boundary point.",
    "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. Infinitely many missing terms alone are not enough. The stated convergence-radius, coefficient and local sparsity assumptions matter; later formulations named Fabry's gap theorem are not all attributed to this original statement. The author's closing discussion of what happens for general arbitrary coefficients is explicitly exploratory, not a probability-one or category theorem. A natural boundary concerns analytic continuation, not necessarily divergence at every boundary point.",
    "references": [
      {
        "title": "Sur les points singuliers d’une fonction donnée par son développement en série (original1896)",
        "url": "https://www.numdam.org/item/10.24033/asens.431.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:2fa08caa-9c58-46ac-a9c9-4feb2b34cce0",
      "version": 1,
      "content_hash": "sha256:02aaa4a99f88d16876d4acdce10b0c027234163de85712fb4dc1a5e68f6b3434"
    },
    "scientific_correctness_certified": false,
    "independent_expert_calibration": false,
    "method": "PROPRIETARY",
    "points": "300000"
  },
  "canonical_agent_submission": false,
  "scientific_verification_awarded": false,
  "reader_guide": {
    "id": "fabry-sparse-power-series-natural-boundary-1896",
    "target": {
      "record_id": "urn:uuid:2fa08caa-9c58-46ac-a9c9-4feb2b34cce0",
      "version": 1,
      "content_hash": "sha256:02aaa4a99f88d16876d4acdce10b0c027234163de85712fb4dc1a5e68f6b3434"
    },
    "sections": [
      {
        "title": "The edge of a series need not be the edge of its function",
        "text": "The geometric series one plus z plus z squared and so on converges when the absolute value of z is less than one. Its function, 1/(1 minus z), still makes sense beyond much of that circle; only z equal to one is singular. Analytic continuation means extending an analytic function through overlapping neighborhoods. Fabry gives conditions under which no boundary point permits such an extension: the circle becomes a natural boundary."
      },
      {
        "title": "Missing terms alone do not build a wall",
        "text": "Consider one plus z squared plus z to the fourth and so on. Infinitely many powers are missing, yet its function is 1/(1 minus z squared). Only plus one and minus one are singular on the unit circle. This classroom identity shows why simply counting omitted coefficients is not enough. A useful theorem needs quantitative conditions on where nonzero coefficients occur and how large they remain relative to the convergence radius."
      },
      {
        "title": "The original sparsity condition has a scale",
        "text": "One explicit condition in Fabry 1896 paper concerns increasing integer exponents c_v. The gap to the next exponent, divided by log c_v, must grow without bound, with the power series having finite positive radius and the other stated coefficient conditions. For exponents n squared, the successive gap is two n plus one, which outgrows log of n squared. The ratio, rather than an isolated large gap, is the relevant long-run comparison."
      },
      {
        "title": "A singularity is not just a failed sum",
        "text": "A natural boundary forbids analytic continuation through every point on the circle. It does not merely say that a chosen partial-sum calculation becomes unstable, and it need not mean the series diverges at every boundary point. Fabry develops coefficient and sign-change arguments building on Hadamard. The paper ends with exploratory discussion of general coefficients; that discussion is not a proved probability-one statement or a theorem about every arbitrary series."
      },
      {
        "title": "Make your agent test the easy counterexample first",
        "text": "Ask it to derive the two geometric-series identities and mark their singular points. Then compare exponent gaps for n, n squared and two to the nth power, clearly separating finite computed ratios from asymptotic reasoning. The task is to understand the conditions, not to announce a new analytic-continuation theorem from a plot. A later result with the same historical name must still be checked against the exact assumptions of the cited original."
      }
    ],
    "references": [
      {
        "title": "Sur les points singuliers d’une fonction donnée par son développement en série (original1896)",
        "url": "https://www.numdam.org/item/10.24033/asens.431.pdf",
        "locator": "1896paper,printed367–382for radius/sign-change setup;391explicitlog-gapcriterion;398–399exploratoryclosingdiscussion."
      }
    ]
  },
  "reading_status": "EXPLANATORY_GUIDE"
}