{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:MTVT323Y6FK6R2OSZPU5AW3OXX","short_pith_number":"pith:MTVT323Y","schema_version":"1.0","canonical_sha256":"64eb3deb78f155e8e9d2cbe9d05b6ebdc578d9e8b171176107de258ffbd2a0ac","source":{"kind":"arxiv","id":"2502.10103","version":2},"attestation_state":"computed","paper":{"title":"Membership and Conjugacy in Inverse Semigroups","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL","math.GR"],"primary_cat":"cs.CC","authors_text":"Alexander Thumm, Armin Wei{\\ss}, Florian Stober, Lukas Fleischer","submitted_at":"2025-02-14T11:56:45Z","abstract_excerpt":"The membership problem for an algebraic structure asks whether a given element is contained in some substructure, which is usually given by generators. In this work we study the membership problem, as well as the conjugacy problem, for finite inverse semigroups. The closely related membership problem for finite semigroups has been shown to be PSPACE-complete in the transformation model by Kozen (1977) and NL-complete in the Cayley table model by Jones, Lien, and Laaser (1976). In the partial bijection model, the membership and the conjugacy problem for finite inverse semigroups were shown to b"},"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":false},"canonical_record":{"source":{"id":"2502.10103","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2025-02-14T11:56:45Z","cross_cats_sorted":["cs.FL","math.GR"],"title_canon_sha256":"f1b32880d40221693384665fdcf1711735ce97bc2e913e739edfcb3f8ccc1d48","abstract_canon_sha256":"97de83efd7c6d4c901a641155c9a10a26385affaa8b5db258a5e45a5c84e024a"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:49:32.546999Z","signature_b64":"UyNJXeYpj1E2YXK1hzl3v0agi4dsXSl40I1NBjM0YE98eEp7JQ5bnK1i9UZJK+iDgbCyCYse3ek4vRIRHEhRCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"64eb3deb78f155e8e9d2cbe9d05b6ebdc578d9e8b171176107de258ffbd2a0ac","last_reissued_at":"2026-07-05T11:49:32.546509Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:49:32.546509Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Membership and Conjugacy in Inverse Semigroups","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL","math.GR"],"primary_cat":"cs.CC","authors_text":"Alexander Thumm, Armin Wei{\\ss}, Florian Stober, Lukas Fleischer","submitted_at":"2025-02-14T11:56:45Z","abstract_excerpt":"The membership problem for an algebraic structure asks whether a given element is contained in some substructure, which is usually given by generators. In this work we study the membership problem, as well as the conjugacy problem, for finite inverse semigroups. The closely related membership problem for finite semigroups has been shown to be PSPACE-complete in the transformation model by Kozen (1977) and NL-complete in the Cayley table model by Jones, Lien, and Laaser (1976). In the partial bijection model, the membership and the conjugacy problem for finite inverse semigroups were shown to b"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.10103","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2502.10103/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":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"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":"2502.10103","created_at":"2026-07-05T11:49:32.546568+00:00"},{"alias_kind":"arxiv_version","alias_value":"2502.10103v2","created_at":"2026-07-05T11:49:32.546568+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.10103","created_at":"2026-07-05T11:49:32.546568+00:00"},{"alias_kind":"pith_short_12","alias_value":"MTVT323Y6FK6","created_at":"2026-07-05T11:49:32.546568+00:00"},{"alias_kind":"pith_short_16","alias_value":"MTVT323Y6FK6R2OS","created_at":"2026-07-05T11:49:32.546568+00:00"},{"alias_kind":"pith_short_8","alias_value":"MTVT323Y","created_at":"2026-07-05T11:49:32.546568+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/MTVT323Y6FK6R2OSZPU5AW3OXX","json":"https://pith.science/pith/MTVT323Y6FK6R2OSZPU5AW3OXX.json","graph_json":"https://pith.science/api/pith-number/MTVT323Y6FK6R2OSZPU5AW3OXX/graph.json","events_json":"https://pith.science/api/pith-number/MTVT323Y6FK6R2OSZPU5AW3OXX/events.json","paper":"https://pith.science/paper/MTVT323Y"},"agent_actions":{"view_html":"https://pith.science/pith/MTVT323Y6FK6R2OSZPU5AW3OXX","download_json":"https://pith.science/pith/MTVT323Y6FK6R2OSZPU5AW3OXX.json","view_paper":"https://pith.science/paper/MTVT323Y","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2502.10103&json=true","fetch_graph":"https://pith.science/api/pith-number/MTVT323Y6FK6R2OSZPU5AW3OXX/graph.json","fetch_events":"https://pith.science/api/pith-number/MTVT323Y6FK6R2OSZPU5AW3OXX/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/MTVT323Y6FK6R2OSZPU5AW3OXX/action/timestamp_anchor","attest_storage":"https://pith.science/pith/MTVT323Y6FK6R2OSZPU5AW3OXX/action/storage_attestation","attest_author":"https://pith.science/pith/MTVT323Y6FK6R2OSZPU5AW3OXX/action/author_attestation","sign_citation":"https://pith.science/pith/MTVT323Y6FK6R2OSZPU5AW3OXX/action/citation_signature","submit_replication":"https://pith.science/pith/MTVT323Y6FK6R2OSZPU5AW3OXX/action/replication_record"}},"created_at":"2026-07-05T11:49:32.546568+00:00","updated_at":"2026-07-05T11:49:32.546568+00:00"}