{ "schemaVersion": "1.6", "slug": "pinching-free-normal-cover", "title": "Pinching a Free Normal Cover: Variable Critical Exponent in a Quasiconformal Teichmuller Space", "shortTitle": "Pinching a free normal cover", "url": "https://evidencepress.org/releases/pinching-free-normal-cover/", "oneLine": "A fixed free normal cover is argued to give infinitely many all-Fuchsian critical exponents approaching one from below, with an explicit linear pinching rate and a carefully limited relation to AIM Problem 4.3.", "abstract": "This anonymous, AI-assisted, unrefereed candidate studies AIM-TOPOLOGY-0203. For every genus g at least 2, it fixes the kernel of a surface-group epimorphism onto the nonamenable free group F_g. Across marked compact hyperbolic metrics, the resulting infinitely generated first-kind Fuchsian groups lie in one reduced surface-based quasiconformal Teichmuller space and in the all-Fuchsian locus of the corresponding AIM group-deformation space. Nonamenability forces every exponent below one. Simultaneously pinching a complete cut system to length ell gives a fixed-width Rayleigh test and the rate 1-delta=O_g(ell), so the exponent approaches one and assumes infinitely many values. Astala and Zinsmeister (1995) appear already to answer the existential question under a broader quasi-Fuchsian group-deformation reading; this release is framed as an all-Fuchsian strengthening and as a direct solution candidate only under the reduced surface-based reading. Producer replay and internal role-separated review reached PASS_WITH_NOTES. No historical-priority, unaffiliated-reproduction, formal-verification, specialist-review or peer-review claim is made.", "datePublished": "2026-09-01", "dateModified": "2026-09-01", "version": "0.2.0-candidate", "doi": "10.5281/zenodo.22229561", "doiUrl": "https://doi.org/10.5281/zenodo.22229561", "conceptDoi": "10.5281/zenodo.22229560", "pdfUrl": "https://github.com/ipitchford/pinching-free-normal-cover-critical-exponent/releases/download/v0.2.0-candidate/pinching-free-normal-cover-critical-exponent-v0.2.0.pdf", "altPdfUrl": "https://zenodo.org/records/22229561/files/pinching-free-normal-cover-critical-exponent-v0.2.0.pdf?download=1", "altPdfLabel": null, "zenodoUrl": "https://zenodo.org/records/22229561", "repoUrl": "https://github.com/ipitchford/pinching-free-normal-cover-critical-exponent", "releaseUrl": "https://github.com/ipitchford/pinching-free-normal-cover-critical-exponent/releases/tag/v0.2.0-candidate", "markdownUrl": "https://evidencepress.org/releases/pinching-free-normal-cover/index.md", "bibtexUrl": "https://evidencepress.org/releases/pinching-free-normal-cover/cite.bib", "audioUrl": "https://evidencepress.org/assets/audio/pinching-free-normal-cover.mp3?v=e4003fdb90", "imageUrl": "https://evidencepress.org/assets/og/pinching-free-normal-cover.png?v=3ebef4602e", "coverArtUrl": "https://evidencepress.org/assets/art/pinching-free-normal-cover.svg?v=4a08410b67", "media": [ { "type": "audio", "url": "https://evidencepress.org/assets/audio/pinching-free-normal-cover.mp3", "name": "Audio briefing — pinching a free normal cover", "description": "Plain-English synthetic-voice account of the fixed free cover, the spectral pinching mechanism, the all-Fuchsian conclusion, the broad-reading precedent and the assurance boundary; a communication aid, not additional evidence.", "transcriptUrl": "https://evidencepress.org/assets/audio/pinching-free-normal-cover.txt" } ], "authors": [ "Anonymous" ], "license": "CC0-1.0", "status": "unrefereed-candidate", "verification": { "peerReviewed": false, "independentlyReproduced": false, "formallyVerified": false, "internallyReplayed": true, "detail": "Anonymous, AI-assisted and unrefereed all-Fuchsian strengthening candidate at internal PASS_WITH_NOTES. The universal claims rest on the written proof and imported theorems, not on the finite replay. The exact deformation-space correspondence and theorem hypotheses were repaired and mapped. The broad existential AIM reading appears to have an Astala-Zinsmeister precedent; no first-solution or priority claim is made. The Traditional Chinese abstract in the PDF is producer-generated and unvalidated; English controls." }, "assurance": [ { "dimension": "availability", "label": "Availability and archiving", "question": "Is the evidence package publicly retrievable from an archive under a persistent identifier?", "state": "passed", "evidenceUrl": "https://zenodo.org/records/22229561", "note": "The tagged GitHub prerelease and published Zenodo record expose the canonical PDF, complete archive, checksums, claims, sources, reviews and replay files; exact public-byte readback is recorded separately." }, { "dimension": "internalReplay", "label": "Internal replay", "question": "Does the producer’s own pipeline reproduce the stated result from the archived package?", "state": "passed", "note": "A clean Ubuntu source rebuild and normal/optimized replay check formula samples, semantic mutations, source parity, PDF text, normalized digest and complete inventory on the frozen commit.", "evidenceUrl": "https://github.com/ipitchford/pinching-free-normal-cover-critical-exponent/actions/runs/33504333038" }, { "dimension": "independentRerun", "label": "Independent rerun", "question": "Has someone else run the supplied implementation and obtained the stated result?", "state": "not-assessed", "note": "No authenticated unaffiliated party has rerun the complete package and preserved a separate environment and result receipt." }, { "dimension": "independentReimplementation", "label": "Independent reimplementation", "question": "Has someone else reached the result from an independent implementation?", "state": "not-assessed", "note": "All proof and replay routes were produced within one coordinated workflow and do not constitute an unaffiliated reimplementation." }, { "dimension": "formalVerification", "label": "Formal verification", "question": "Is a formalised statement machine-checked, and over which trusted base?", "state": "not-assessed", "note": "No proof assistant formalizes the surface-group kernel, deformation-space bridge, imported spectral theorems or collar estimate." }, { "dimension": "specialistReview", "label": "Specialist review", "question": "Has a domain specialist assessed the argument?", "state": "not-assessed", "note": "The supplied review, five internal roles and bounded confirmation were not authenticated as unaffiliated specialist review in Fuchsian groups or infinite-type Teichmuller theory." }, { "dimension": "editorialPeerReview", "label": "Editorial peer review", "question": "Has a journal or venue run peer review to a decision?", "state": "not-assessed", "note": "No journal or comparable external venue has conducted editorial peer review to a decision." }, { "dimension": "dataEnvironmentReproducibility", "label": "Data and environment reproducibility", "question": "Are data and computational environment pinned well enough to rebuild?", "state": "partial", "evidenceUrl": "https://github.com/ipitchford/pinching-free-normal-cover-critical-exponent/actions/runs/33504333038", "note": "The package declares Python, XeTeX, bundled CJK font, PDF tools and hosted Ubuntu replay; an authenticated unaffiliated reconstruction is absent." } ], "provenance": { "aiGenerated": true, "aiAssisted": true, "generatedBy": [ "AI systems under human direction", "OpenAI Codex", "Python 3 standard library", "Node.js standard library" ], "humanRole": "Research direction, candidate selection, review provision, claim-boundary decisions, publication authorization and institutional responsibility by the human creator; repository maintenance and Evidence Press publication are not scholarly authorship, and scholarly attribution remains Anonymous.", "disclosure": "AI systems contributed problem triage, proof search, formula replay, drafting, source and novelty auditing, action of the supplied review, internal role-separated review and release engineering within one producer-coordinated workflow. Internal confirmation and hosted replay are not unaffiliated reconstruction, authenticated specialist review or editorial peer review." }, "attributionBoundary": null, "problem": { "name": "AIM Problem 4.3: variation of critical exponent in reduced quasiconformal Teichmuller space", "url": "https://aimath.org/pastworkshops/lipschitzteichproblems.pdf" }, "orderedProductAverage": null, "corrections": [], "publicCorrections": [], "publicCorrectionIndexes": null, "pageStructureVersion": "2.0", "pageStructureVariant": "reader-first-reference", "pageStructureWaivers": [], "recordMaturity": "current", "metadataProvenance": "Authored prospectively against the DOI-bearing v0.2.0-candidate, exact source ledger, supplied-review response, five-role internal editorial record, bounded confirmation and clean package replay on 1 September 2026. GitHub release and Zenodo DOI publication were verified by exact public-byte readback before this content commit; canonical Evidence Press deployment and terminal publication metrics are recorded separately and do not promote the mathematical assurance ceiling.", "grandfatheredAtSchemaVersion": null, "keywords": [ "Fuchsian group", "critical exponent", "quasiconformal Teichmuller space", "normal cover", "bottom of spectrum", "collar lemma", "unrefereed candidate" ], "keyResults": [ "For every genus g at least 2, one fixed kernel of a surface-group epimorphism onto F_g is argued to give infinitely generated first-kind Fuchsian groups across all marked compact-base metrics.", "The marked covers lie in one reduced surface-based quasiconformal Teichmuller space and, by reflected sphere extensions, in the all-Fuchsian locus of the AIM group-deformation space.", "Nonamenability of F_g forces the critical exponent strictly below one for every marked compact-base metric.", "Along simultaneous cut-system pinching to length ell, a fixed-width collar test gives 1-delta=O_g(ell) and delta approaches one from below, hence infinitely many exponent values.", "Under a broad group-deformation reading, Astala-Zinsmeister (1995) appears already affirmative; the present contribution is an all-Fuchsian strengthening and a direct AIM solution candidate only under the reduced surface-based reading." ], "reviews": [], "evidencePackage": "A 9-page canonical candidate manuscript and accessible Markdown fallback; an exact claim registry and theorem-dependency ledger; written proofs of the group construction, deformation-space bridge, strict exponent inequality and pinching estimate; 42 finite formula samples plus 16 unit and hostile-mutation tests in normal and optimized Python; source-parity, complete normalized PDF-text, raw-TeX leakage, qpdf and 55-file manifest gates; a fully actioned supplied review; a five-role producer-coordinated internal review; and one exact-archive domain confirmation at PASS_WITH_NOTES. Public GitHub Actions rebuild the PDF and replay the frozen package. GitHub and Zenodo expose the same ZIP, PDF and checksum sidecar. These establish public availability, integrity, producer replay and the declared finite checks—not independent proof reconstruction, historical priority, external specialist review, formal verification or peer review.", "openProblems": [ "Obtain an unaffiliated specialist reconstruction of the fixed-kernel group-space bridge and the fixed-width collar Rayleigh estimate.", "Determine whether the exponent is monotone along any natural simultaneous pinching path; no monotonicity is claimed here.", "Find an exact formula or sharper asymptotic for 1-delta beyond the one-sided O_g(ell) bound.", "Clarify the relation between the reduced surface-based all-Fuchsian family and broader quasiconformal group-deformation formulations of AIM Problem 4.3.", "Formalize the construction and imported theorem hypothesis maps in a proof assistant.", "Conduct an unaffiliated priority search including specialist databases, theses, non-English sources and mathematical folklore." ], "mathObjects": [], "relatedWorks": [ { "citation": "Su, W. Problems on the Thurston Metric, Problem 4.3, attributed to M. Kapovich.", "url": "https://aimath.org/pastworkshops/lipschitzteichproblems.pdf", "doi": null }, { "citation": "Astala, K., and Zinsmeister, M. (1995). Abelian Coverings, Poincare Exponent of Convergence and Holomorphic Deformations.", "url": "https://www.acadsci.fi/mathematica/Vol20/astala.pdf", "doi": null }, { "citation": "Dougall, R., and Sharp, R. (2016). Amenability, Critical Exponents of Subgroups and Growth of Closed Geodesics.", "url": "https://doi.org/10.1007/s00208-015-1338-1", "doi": "10.1007/s00208-015-1338-1" }, { "citation": "Sullivan, D. (1987). Related Aspects of Positivity in Riemannian Geometry.", "url": "https://www.math.stonybrook.edu/~dennis/publications/PDF/DS-pub-0082.pdf", "doi": null }, { "citation": "Keen, L. (1974). Collars on Riemann Surfaces.", "url": "https://doi.org/10.1515/9781400881642-021", "doi": "10.1515/9781400881642-021" } ], "claimAssurance": null, "operatingModel": { "version": "1.0", "workId": "ep-work:pinching-free-normal-cover-critical-exponent", "attemptIds": [ "ep-attempt:pinching-free-normal-cover-assurance-publication" ], "aims": [ "science" ], "artifactRoles": [ "research-output", "evidence-assessment", "method-demonstration", "communication" ], "lineageId": null, "accelerationPrimitives": [ "structural-compression", "adversarial-controls", "assurance-vector", "agent-readable-research-object" ], "decisionObject": { "type": "other", "description": "An all-Fuchsian fixed-free-cover exponent-variation theorem candidate with an explicit one-sided pinching rate.", "scope": "The fixed kernel, reduced surface-based and all-Fuchsian group-space bridge, strict compact-base exponent inequality and O_g(ell) approach to one; not arbitrary quasi-Fuchsian deformations, monotonicity, an exact exponent formula, global space identification, novelty, priority or external validation." }, "bottleneckTargeted": [ "assurance", "publication", "translation" ], "semanticBridge": { "state": "explicit", "description": "The package states the exact AIM wording, separates reduced marked-surface and group-deformation spaces, maps reflected sphere extensions into the all-Fuchsian locus, verifies marked Mobius invariance, and maps every hypothesis of Dougall-Sharp and Sullivan to the constructed cover.", "remainingRisks": [ "The universal proof and group-space bridge have only producer-coordinated review, not unaffiliated reconstruction.", "The broad group-deformation reading appears already affirmative by Astala-Zinsmeister; the exact boundary of the narrower AIM reading may be interpreted differently by specialists.", "The targeted novelty search may miss differently phrased, unindexed, non-English or folklore antecedents.", "No monotonicity, exact exponent formula, global parametrization or arbitrary quasi-Fuchsian statement is established." ] }, "humanJudgmentGates": [ "Check the reflected-extension and marked-equivalence bridge as mathematics rather than inferring it from the finite replay.", "Check every Dougall-Sharp and Sullivan hypothesis for the constructed normal cover and sign convention.", "Keep the Astala-Zinsmeister broad-reading precedent prominent and make no first-solution or historical-priority claim.", "Do not treat ell=0 as a family point or infer monotonicity from convergence and strict inequality.", "Treat internal review, hosted replay, public availability and every unaffiliated assurance dimension separately." ], "parentLinks": [ { "relation": "depends-on-claim", "workId": null, "legacyReleaseSlug": null, "externalUrl": "https://aimath.org/pastworkshops/lipschitzteichproblems.pdf", "inheritedClaim": "AIM Problem 4.3 asks for an infinitely generated first-kind Fuchsian group with different critical exponents among elements of its reduced quasiconformal Teichmuller space.", "inheritedAssuranceCeiling": "The problem fixes the target and attribution but does not establish this candidate's construction, space bridge, proof, correctness, novelty or priority." }, { "relation": "extends-result", "workId": null, "legacyReleaseSlug": null, "externalUrl": "https://www.acadsci.fi/mathematica/Vol20/astala.pdf", "inheritedClaim": "Astala-Zinsmeister supply the closest located exponent-variation precedent and appear affirmative under a broad quasi-Fuchsian group-deformation reading.", "inheritedAssuranceCeiling": "Their abelian-cover quasi-Fuchsian family does not establish the present fixed free cover, all-Fuchsian pinching family or one-sided linear rate." } ], "assuranceTarget": { "dimensions": [ "independentRerun", "independentReimplementation", "formalVerification", "specialistReview", "dataEnvironmentReproducibility", "semanticValidation", "noveltyAssessment", "priorityAssessment" ], "nextAction": "Obtain an authenticated unaffiliated reconstruction of the fixed-kernel deformation-space bridge and collar estimate, followed by a Fuchsian-group specialist's assessment of the AIM interpretation and closest prior art.", "claimCeiling": "An anonymous, AI-assisted, unrefereed all-Fuchsian strengthening candidate with a complete written proof, explicit theorem-hypothesis maps, producer replay, internal PASS_WITH_NOTES and public immutable assets; not a first-solution finding, historical-priority finding, arbitrary quasi-Fuchsian theorem, unaffiliated validation, formal verification, authenticated external specialist review or editorial peer review." }, "impactClaims": [ { "id": "pinching-free-normal-cover-science-no-impact", "aim": "science", "outcome": "Faster or more reliable resolution and assurance of open questions in Fuchsian groups and infinite-type Teichmuller theory", "setting": "AI-assisted proof construction, source mapping, adversarial replay, internal review and guarded candidate publication", "status": "NO_IMPACT_EVIDENCE", "designClass": "none", "comparator": "No matched conventional research, theorem-review or publication workflow was registered.", "estimand": "No effect on discovery time, active human effort, compute, correction rate, proof quality, independent-assurance time, uptake, citation or field outcomes was estimated.", "evidenceRefs": [], "registeredDesignRef": null, "independentAssessment": null } ] }, "researchMetrics": { "schemaVersion": "1.0", "policyUrl": "https://evidencepress.org/api/research-metrics-policy.json", "workLedgerUrl": "https://evidencepress.org/api/work-ledger.json", "claimCeiling": "These records describe scoped workflow inputs and outcomes. They support calibration and reference-class construction, but do not by themselves establish research acceleration, theorem correctness, novelty, independent assurance or impact.", "attempts": [ { "attemptId": "ep-attempt:pinching-free-normal-cover-assurance-publication", "status": "published", "resultClass": "positive", "metrics": { "schemaVersion": "1.0", "measurementScope": "assurance-through-publication", "scopeBoundary": "From prospective registration before supplied-review repair through internal editorial confirmation, immutable GitHub and Zenodo identity, reader-first Evidence Press publication and canonical readback or a preserved stop. Earlier problem selection, theorem discovery, proof construction and initial package replay are excluded and not reconstructed.", "forecast": { "frozenAt": "2026-09-01T09:55:46.507Z", "procedureClass": "reviewed-theoretical-mathematics-assurance-through-publication", "targetOutcome": "Publish synchronized immutable GitHub and Zenodo assets and a reader-first Evidence Press release for the review-repaired reduced-Teichmuller-space candidate, with provenance-bound media, two composite seals, hosted CI, guarded zero-cost deployment and exact canonical readback.", "expectedActiveMinutes": 150, "plausibleLowMinutes": 120, "plausibleHighMinutes": 210, "expectedUnattendedWaitMinutes": 30, "referenceClass": { "label": "Recent reviewed exact-mathematics assurance-through-publication closures", "sampleSize": 6, "basis": "Recent Evidence Press mathematics candidates used the same review-repair, deterministic freeze, immutable GitHub and Zenodo identity, reader-first media, composite sealing, hosted CI, guarded deployment and canonical-readback architecture." }, "fermiComponents": [ { "component": "Supplied-review repair, sharper collar argument and package refreeze", "count": 1, "lowMinutesPerUnit": 30, "centralMinutesPerUnit": 40, "highMinutesPerUnit": 55, "basis": "One seven-page theorem candidate with four bounded release-decisive repairs and a stronger fixed-width Rayleigh estimate." }, { "component": "Five-role internal editorial round, response matrix and confirmation", "count": 1, "lowMinutesPerUnit": 25, "centralMinutesPerUnit": 35, "highMinutesPerUnit": 50, "basis": "One frozen mathematical target with explicit deformation-space, theorem-dependency and literature-positioning questions." }, { "component": "Public research repository, release CI and Zenodo identity", "count": 1, "lowMinutesPerUnit": 30, "centralMinutesPerUnit": 40, "highMinutesPerUnit": 55, "basis": "One dependency-light candidate requiring DOI-bearing rebuild, immutable assets and cross-service byte comparison." }, { "component": "Evidence Press authoring, media, composite seals, hosted CI, deployment and readback", "count": 1, "lowMinutesPerUnit": 35, "centralMinutesPerUnit": 35, "highMinutesPerUnit": 50, "basis": "One new slug using established generators but requiring claim-specific cover geometry, audio provenance and two canonical-ledger cycles." } ], "probabilityPositiveSignal": 0.97, "probabilityTargetClosure": 0.82, "probabilityHorizonMinutes": 210, "assumptions": [ "The supplied review's stronger fixed-width collar estimate remains valid under detailed source and proof checks.", "GitHub, Zenodo, OpenAI fable TTS, hosted CI and zero-cost Cloudflare credentials remain available without weakening a gate or exposing a secret.", "Origin main does not acquire an irreconcilable overlapping release or operating-ledger change.", "The current site schema accepts the new candidate without a release-contract migration." ], "reforecastTriggers": [ "A reviewer or deterministic gate identifies a load-bearing deformation-space, spectral-theorem or collar-function failure.", "GitHub, Zenodo, TTS, CI, Cloudflare or canonical readback remains unavailable after bounded recovery.", "A citation, licence, accessibility, manifest or preservation gate finds a release-blocking conflict.", "Origin main advances with overlapping release or work-ledger edits requiring reconciliation." ], "stopRule": "Stop on a fatal proof, source, licence, authentication, preservation, CI, accessibility or exact-readback failure. At 150 active minutes prioritize load-bearing gates; at 210 active minutes preserve the exact blocker rather than weaken a gate." }, "outcome": { "measuredAt": "2026-09-01T12:28:05.000Z", "calendarElapsedMinutes": 152, "activeAgentMinutes": 140, "activeHumanMinutes": null, "computeMinutes": 34, "unattendedWaitMinutes": 12, "blockedMinutes": 0, "reworkMinutes": 24, "agentRuns": 6, "maxParallelAgents": 5, "modelTurns": 7, "deduplicatedModelTokens": null, "uncachedInputTokens": null, "researchCycles": { "positive": 2, "negative": 2, "inconclusive": 1 }, "falsificationGatesRun": 16, "candidateArchitecturesTested": 2, "candidateArchitecturesRejected": 0, "substantiveReviewRounds": 1, "p0Findings": 0, "p1Findings": 1, "prepublicationClaimCorrections": 2, "resultState": "target-closed", "resultSummary": "The supplied review's E1--E10 roadmap was actioned into a nine-page anonymous candidate with a sharper 1-delta = O_g(ell) bound, explicit reduced-space and imported-theorem boundaries, deterministic formula checks, clean-package replay and hosted Ubuntu source reconstruction. Five-role internal review produced one bounded repair round; exact-archive domain confirmation passed with notes at 0.94 confidence. The 58-entry ZIP, PDF and checksum sidecar reached matching GitHub and Zenodo identities under DOI 10.5281/zenodo.22229561. A reader-first Evidence Press release added deterministic art, Open Graph media, provenance-bound fable audio and transcript, a mirrored thumbnail, method and Atlas records, composite content/control seals, green Node 18, 20 and 22 plus accessibility/browser CI, guarded zero-cost deployment, exact 48-release and 31-institutional-artifact canonical readback, protocol and media parity, publication-integrity passage and IndexNow acceptance. Browser QA exposed one SVG tick outside its viewBox, and the first hosted site run exposed a stale audio-provenance registry; both were repaired and resealed without altering the mathematical package. The release is an all-Fuchsian strengthening candidate under the reduced surface-based reading, not an unrestricted quasi-Fuchsian first-solution claim, independent reconstruction, formal verification, external specialist review, editorial peer review, exhaustive novelty or priority assessment, or workflow-impact result.", "positiveSignalObserved": true, "targetReached": true, "forecastErrorMinutes": -10, "forecastRatio": 0.9333, "withinForecastInterval": true, "varianceReason": "The observed 140 derived active-agent minutes fell inside the frozen 120--210 minute interval. Hosted portability, browser geometry and audio-registry repairs added bounded rework, while the supplied mathematical review remained tractable and introduced no fatal scientific blocker.", "missingFields": [ { "field": "activeHumanMinutes", "reason": "No instrument captured human direction, mediation or review time at the prospective assurance-through-publication boundary." }, { "field": "deduplicatedModelTokens", "reason": "The runtime exposed no active fork-aware goal counter for this complete prospectively registered interval, so token use is unavailable and is not reconstructed or reported as zero." }, { "field": "uncachedInputTokens", "reason": "The runtime does not expose an uncached-input token counter." } ] } }, "missingnessReason": null } ] } }