{"schema_version":"source-reader-v1","record":{"source_id":"schiffer-pompeiu-bifurcation","versions":[{"work":{"authors":["Gonzalo Cao-Labora","Jaume de Dios Pont"],"kind":"research_paper","publication":"preprint","publication_note":"Source publication and attributed assessments are distinct from independent OpenMath review.","ai_role":"self_reported","ai_note":"The authors credit GPT-5.5/5.6 and Claude Opus 4.8/Fable 5 for exploration, checks and exposition; GPT-5.6 assisted the early-draft Lean verification. The authors retain responsibility.","artifacts":[],"published":{"value":"2026-08-05"}},"id":"schiffer-pompeiu:source:bifurcation:v1","source_id":"schiffer-pompeiu-bifurcation","title":"Counterexamples to Schiffer’s Conjecture","owner":"Gonzalo Cao-Labora, Jaume de Dios Pont","url":"https://arxiv.org/abs/2608.05114v1","subject_scope":"Constructs infinitely many symmetry orders with smooth star-shaped non-disk counterexamples through a uniform bifurcation argument.","revision":"2026-08-05","content_sha256":"857b2f4975bfc4b2ccc113020bf6e9fc9e1ef36c4caa09c09ff73e08f7840026","update_method":"Compare the exact source and publish a new immutable curation revision.","identifier_policy":"Stable source identity with exact versioned passages.","observed_on":"2026-10-13","source_updated_on":null,"rights":"metadata-link","license":"Original source license and document rights apply.","terms_url":"https://arxiv.org/abs/2608.05114v1","attribution":"Gonzalo Cao-Labora, Jaume de Dios Pont","rights_note":"OpenMath supplies its own mathematical paraphrases and links; proof text is not republished.","check_interval_days":90}],"entries":[{"id":"schiffer-pompeiu:entry:bifurcation:v1","source_version_id":"schiffer-pompeiu:source:bifurcation:v1","item_id":"bifurcation","url":"https://arxiv.org/abs/2608.05114v1","wording":"Constructs infinitely many symmetry orders with smooth star-shaped non-disk counterexamples through a uniform bifurcation argument.","wording_kind":"paraphrase","locator":"Theorem 1.1, Corollary 1.2 and AI/Lean acknowledgement","supersedes":null}],"problems":[{"slug":"schiffer-pompeiu","title":"Schiffer and Pompeiu conjectures","publication_version":7}],"selected_version_id":"schiffer-pompeiu:source:bifurcation:v1","available_versions":[{"id":"schiffer-pompeiu:source:bifurcation:v1","revision":"2026-08-05","observed_on":"2026-10-13","title":"Counterexamples to Schiffer’s Conjecture","publication":"preprint","content_sha256":"857b2f4975bfc4b2ccc113020bf6e9fc9e1ef36c4caa09c09ff73e08f7840026","used_in_current_publications":true}],"usages":[{"id":"source-use-ee5b66151f25da14af7b","entry_id":"schiffer-pompeiu:entry:bifurcation:v1","problem":{"slug":"schiffer-pompeiu","title":"Schiffer and Pompeiu conjectures","publication_version":7},"kind":"assessment","title":"Infinite family of smooth counterexamples proved in the cited paper","claim":{"id":"claim-schiffer-smooth-symmetry-family","version":1,"slug":"schiffer-smooth-symmetry-family","title":"Infinitely many smooth symmetry orders"},"fragment":"claim-schiffer-smooth-symmetry-family","assessment":{"id":"schiffer-pompeiu:report:smooth:v1","entry_id":"schiffer-pompeiu:entry:bifurcation:v1","state":"resolved","source_label":"Infinite family of smooth counterexamples proved in the cited paper","scope":"Infinitely many integers N ≥ 2; bounded simply connected star-shaped C∞ domains with N-fold symmetry.","source_date":"2026-08-05","observed_on":"2026-10-13","evidence_url":"https://arxiv.org/abs/2608.05114v1","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-30b1effcc067afdac6f5","entry_id":"schiffer-pompeiu:entry:bifurcation:v1","problem":{"slug":"schiffer-pompeiu","title":"Schiffer and Pompeiu conjectures","publication_version":7},"kind":"milestone","title":"An infinite family by uniform bifurcation","claim":null,"fragment":"history","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-fc08286a0398c1b0686e","entry_id":"schiffer-pompeiu:entry:bifurcation:v1","problem":{"slug":"schiffer-pompeiu","title":"Schiffer and Pompeiu conjectures","publication_version":7},"kind":"milestone","title":"Pompeiu asks whether domain averages determine a function","claim":null,"fragment":"history","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-aba845bdd52588a75235","entry_id":"schiffer-pompeiu:entry:bifurcation:v1","problem":{"slug":"schiffer-pompeiu","title":"Schiffer and Pompeiu conjectures","publication_version":7},"kind":"question","title":"Schiffer and Pompeiu conjectures","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-8ee1ea310476275f2e31","entry_id":"schiffer-pompeiu:entry:bifurcation:v1","problem":{"slug":"schiffer-pompeiu","title":"Schiffer and Pompeiu conjectures","publication_version":7},"kind":"reading","title":"Read the mathematical argument; inspect its Claim for assessment and scope.","claim":null,"fragment":"provenance","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-1ca09595738f92169abf","entry_id":"schiffer-pompeiu:entry:bifurcation:v1","problem":{"slug":"schiffer-pompeiu","title":"Schiffer and Pompeiu conjectures","publication_version":7},"kind":"scope","title":"Infinitely many smooth symmetry orders","claim":{"id":"claim-schiffer-smooth-symmetry-family","version":1,"slug":"schiffer-smooth-symmetry-family","title":"Infinitely many smooth symmetry orders"},"fragment":"claim-schiffer-smooth-symmetry-family","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-4af7d9c7a08f79454779","entry_id":"schiffer-pompeiu:entry:bifurcation:v1","problem":{"slug":"schiffer-pompeiu","title":"Schiffer and Pompeiu conjectures","publication_version":7},"kind":"statement","title":"Planar disk rigidity for overdetermined Helmholtz data","claim":{"id":"claim-schiffer-planar-disk-rigidity","version":1,"slug":"schiffer-planar-disk-rigidity","title":"Planar disk rigidity for overdetermined Helmholtz data"},"fragment":"claim-schiffer-planar-disk-rigidity","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-50a0c1fa8fb9b2455838","entry_id":"schiffer-pompeiu:entry:bifurcation:v1","problem":{"slug":"schiffer-pompeiu","title":"Schiffer and Pompeiu conjectures","publication_version":7},"kind":"statement","title":"Infinitely many smooth symmetry orders","claim":{"id":"claim-schiffer-smooth-symmetry-family","version":1,"slug":"schiffer-smooth-symmetry-family","title":"Infinitely many smooth symmetry orders"},"fragment":"claim-schiffer-smooth-symmetry-family","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-b1b1f7c90785961d386c","entry_id":"schiffer-pompeiu:entry:bifurcation:v1","problem":{"slug":"schiffer-pompeiu","title":"Schiffer and Pompeiu conjectures","publication_version":7},"kind":"statement","title":"The planar Pompeiu property question","claim":{"id":"claim-pompeiu-planar-rigidity","version":1,"slug":"pompeiu-planar-rigidity","title":"The planar Pompeiu property question"},"fragment":"claim-pompeiu-planar-rigidity","assessment":null,"superseded":false,"formalization":null,"update":null}],"linked_entries":[],"linked_sources":[]}}