{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:MBLE2KNC42HKB7Q4AZ2XID4OGI","short_pith_number":"pith:MBLE2KNC","schema_version":"1.0","canonical_sha256":"60564d29a2e68ea0fe1c0675740f8e3220378635a7177b9954d53d4d995a7069","source":{"kind":"arxiv","id":"2604.05597","version":2},"attestation_state":"computed","paper":{"title":"Minimal Generating Sets of Singular Reidemeister Moves and Their Classification","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"Singular Reidemeister moves admit exactly 96 distinct inclusion-minimal generating sets once classical moves are fixed.","cross_cats":[],"primary_cat":"math.GT","authors_text":"Noboru Ito, Yuichiro Iwamoto","submitted_at":"2026-04-07T08:47:11Z","abstract_excerpt":"Singular knot theory extends classical knot theory by allowing transverse double points without over/under information, together with singular Reidemeister moves of types IV and V. A central open problem in this theory is to determine the minimal generating sets of oriented singular Reidemeister moves. In this paper, we completely solve this problem. In addition, we establish independence results for singular Reidemeister moves by introducing an invariant that provides obstructions and lower bounds for generating sets, including the independence of type III from types I, II, IV, and V. More pr"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":true},"canonical_record":{"source":{"id":"2604.05597","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GT","submitted_at":"2026-04-07T08:47:11Z","cross_cats_sorted":[],"title_canon_sha256":"10fe2d48a201fa17795e47db3738b5e8f34e7dc218ef5d0b1be163c22e7ef02f","abstract_canon_sha256":"d2856e41259f2793a663c2d219fdc1ba2150a995d0d8d2b3c4ee8420ff29ba62"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-12T01:09:27.424682Z","signature_b64":"Fqx4hsV3o6VZ02fhdjo5bn7P9WUyDB6CT0kN4CMDXqkIWxPX7Q3ZIDgv1TM6Xb+qyqXO9pcHYvyI3U8taHqmCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"60564d29a2e68ea0fe1c0675740f8e3220378635a7177b9954d53d4d995a7069","last_reissued_at":"2026-06-12T01:09:27.424212Z","signature_status":"signed_v1","first_computed_at":"2026-06-12T01:09:27.424212Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Minimal Generating Sets of Singular Reidemeister Moves and Their Classification","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"Singular Reidemeister moves admit exactly 96 distinct inclusion-minimal generating sets once classical moves are fixed.","cross_cats":[],"primary_cat":"math.GT","authors_text":"Noboru Ito, Yuichiro Iwamoto","submitted_at":"2026-04-07T08:47:11Z","abstract_excerpt":"Singular knot theory extends classical knot theory by allowing transverse double points without over/under information, together with singular Reidemeister moves of types IV and V. A central open problem in this theory is to determine the minimal generating sets of oriented singular Reidemeister moves. In this paper, we completely solve this problem. In addition, we establish independence results for singular Reidemeister moves by introducing an invariant that provides obstructions and lower bounds for generating sets, including the independence of type III from types I, II, IV, and V. More pr"},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"starting from a minimal generating set of ordinary Reidemeister moves of types I--III, we prove that the singular moves admit exactly 96 distinct inclusion-minimal generating sets, and that these exhaust all possibilities.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"The newly introduced invariant, constructed via projection to self-singular links, correctly distinguishes the two families of type IV moves and supplies a genuine obstruction to generating type V from types I--IV.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"There are exactly 96 inclusion-minimal generating sets of oriented singular Reidemeister moves and 8 in the unoriented case.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"Singular Reidemeister moves admit exactly 96 distinct inclusion-minimal generating sets once classical moves are fixed.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"8a9415d90923e2268517b2599e7f280a861ada027cbaf4a580ca926a6816cca9"},"source":{"id":"2604.05597","kind":"arxiv","version":2},"verdict":{"id":"08b876bc-2359-4b57-a4c1-cd15296bdaff","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-10T19:15:57.366439Z","strongest_claim":"starting from a minimal generating set of ordinary Reidemeister moves of types I--III, we prove that the singular moves admit exactly 96 distinct inclusion-minimal generating sets, and that these exhaust all possibilities.","one_line_summary":"There are exactly 96 inclusion-minimal generating sets of oriented singular Reidemeister moves and 8 in the unoriented case.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"The newly introduced invariant, constructed via projection to self-singular links, correctly distinguishes the two families of type IV moves and supplies a genuine obstruction to generating type V from types I--IV.","pith_extraction_headline":"Singular Reidemeister moves admit exactly 96 distinct inclusion-minimal generating sets once classical moves are fixed."},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2604.05597/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":3,"snapshot_sha256":"afba594237701c59528b59d68d47185ccfcd9d4ecbe125047b5fefe6238d70b7"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2604.05597","created_at":"2026-06-12T01:09:27.424262+00:00"},{"alias_kind":"arxiv_version","alias_value":"2604.05597v2","created_at":"2026-06-12T01:09:27.424262+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2604.05597","created_at":"2026-06-12T01:09:27.424262+00:00"},{"alias_kind":"pith_short_12","alias_value":"MBLE2KNC42HK","created_at":"2026-06-12T01:09:27.424262+00:00"},{"alias_kind":"pith_short_16","alias_value":"MBLE2KNC42HKB7Q4","created_at":"2026-06-12T01:09:27.424262+00:00"},{"alias_kind":"pith_short_8","alias_value":"MBLE2KNC","created_at":"2026-06-12T01:09:27.424262+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":3,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/MBLE2KNC42HKB7Q4AZ2XID4OGI","json":"https://pith.science/pith/MBLE2KNC42HKB7Q4AZ2XID4OGI.json","graph_json":"https://pith.science/api/pith-number/MBLE2KNC42HKB7Q4AZ2XID4OGI/graph.json","events_json":"https://pith.science/api/pith-number/MBLE2KNC42HKB7Q4AZ2XID4OGI/events.json","paper":"https://pith.science/paper/MBLE2KNC"},"agent_actions":{"view_html":"https://pith.science/pith/MBLE2KNC42HKB7Q4AZ2XID4OGI","download_json":"https://pith.science/pith/MBLE2KNC42HKB7Q4AZ2XID4OGI.json","view_paper":"https://pith.science/paper/MBLE2KNC","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2604.05597&json=true","fetch_graph":"https://pith.science/api/pith-number/MBLE2KNC42HKB7Q4AZ2XID4OGI/graph.json","fetch_events":"https://pith.science/api/pith-number/MBLE2KNC42HKB7Q4AZ2XID4OGI/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/MBLE2KNC42HKB7Q4AZ2XID4OGI/action/timestamp_anchor","attest_storage":"https://pith.science/pith/MBLE2KNC42HKB7Q4AZ2XID4OGI/action/storage_attestation","attest_author":"https://pith.science/pith/MBLE2KNC42HKB7Q4AZ2XID4OGI/action/author_attestation","sign_citation":"https://pith.science/pith/MBLE2KNC42HKB7Q4AZ2XID4OGI/action/citation_signature","submit_replication":"https://pith.science/pith/MBLE2KNC42HKB7Q4AZ2XID4OGI/action/replication_record"}},"created_at":"2026-06-12T01:09:27.424262+00:00","updated_at":"2026-06-12T01:09:27.424262+00:00"}