{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:XYCPU72RKLUCXU2TCFBDAX4TTR","short_pith_number":"pith:XYCPU72R","canonical_record":{"source":{"id":"1501.06466","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2015-01-26T16:25:58Z","cross_cats_sorted":[],"title_canon_sha256":"97d4a84cbb59610fa60451fe1c05765041581b732fe75b8651ac42763eac355f","abstract_canon_sha256":"a239a8f03c96a94604a7fe52aa4db8810a0d53f51f26a1898484c2ea20df8941"},"schema_version":"1.0"},"canonical_sha256":"be04fa7f5152e82bd3531142305f939c7099e4dc4d376cb22096f249f73c87f2","source":{"kind":"arxiv","id":"1501.06466","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1501.06466","created_at":"2026-05-18T01:20:20Z"},{"alias_kind":"arxiv_version","alias_value":"1501.06466v3","created_at":"2026-05-18T01:20:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1501.06466","created_at":"2026-05-18T01:20:20Z"},{"alias_kind":"pith_short_12","alias_value":"XYCPU72RKLUC","created_at":"2026-05-18T12:29:50Z"},{"alias_kind":"pith_short_16","alias_value":"XYCPU72RKLUCXU2T","created_at":"2026-05-18T12:29:50Z"},{"alias_kind":"pith_short_8","alias_value":"XYCPU72R","created_at":"2026-05-18T12:29:50Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:XYCPU72RKLUCXU2TCFBDAX4TTR","target":"record","payload":{"canonical_record":{"source":{"id":"1501.06466","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2015-01-26T16:25:58Z","cross_cats_sorted":[],"title_canon_sha256":"97d4a84cbb59610fa60451fe1c05765041581b732fe75b8651ac42763eac355f","abstract_canon_sha256":"a239a8f03c96a94604a7fe52aa4db8810a0d53f51f26a1898484c2ea20df8941"},"schema_version":"1.0"},"canonical_sha256":"be04fa7f5152e82bd3531142305f939c7099e4dc4d376cb22096f249f73c87f2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:20:20.898305Z","signature_b64":"HZ2uZ+Z/B9BvrGceUo3m1OgKGM32k+VklRW8pDMnG8/ZwhExuLnUqUiHIXJuFafG3KU6yoFeTUCqF/UygIPiAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"be04fa7f5152e82bd3531142305f939c7099e4dc4d376cb22096f249f73c87f2","last_reissued_at":"2026-05-18T01:20:20.897662Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:20:20.897662Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1501.06466","source_version":3,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T01:20:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lb06RKQ9iJ9gbHyIU9xzhFM+M71RFEBFXBvq4oNoBfMUzS9vrYG9VFBz/9mYUi/4b8+Nh9hrKXgs/uuWgF8XCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-22T10:14:15.990633Z"},"content_sha256":"f3c5532cd54537df46b3e1e92c2cb1c7e5db3eb3bc5e63a70192af7a383006b2","schema_version":"1.0","event_id":"sha256:f3c5532cd54537df46b3e1e92c2cb1c7e5db3eb3bc5e63a70192af7a383006b2"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:XYCPU72RKLUCXU2TCFBDAX4TTR","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On the graph condition regarding the $F$-inverse cover problem","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.GR","authors_text":"N\\'ora Szak\\'acs","submitted_at":"2015-01-26T16:25:58Z","abstract_excerpt":"In their paper titled \"On $F$-inverse covers of inverse monoids\", Auinger and Szendrei have shown that every finite inverse monoid has an $F$-inverse cover if and only if each finite graph admits a locally finite group variety with a certain property. We study this property and prove that the class of graphs for which a given group variety has the required property is closed downwards in the minor ordering, and can therefore be described by forbidden minors. We find these forbidden minors for all varieties of Abelian groups, thus describing the graphs for which such a group variety satisfies t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1501.06466","kind":"arxiv","version":3},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T01:20:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"T6v82IxZJZw3ftrt2furCpiodgt8l4+oBdKc3J5KNWVAwYmw5tApcEZD0JXJg76mE+a0q9UngI0C2Cx6tjvhAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-22T10:14:15.991021Z"},"content_sha256":"78abad65bc41f2406cbdc0410a0864002edd25736326a70f86d657eb7137ab9d","schema_version":"1.0","event_id":"sha256:78abad65bc41f2406cbdc0410a0864002edd25736326a70f86d657eb7137ab9d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XYCPU72RKLUCXU2TCFBDAX4TTR/bundle.json","state_url":"https://pith.science/pith/XYCPU72RKLUCXU2TCFBDAX4TTR/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XYCPU72RKLUCXU2TCFBDAX4TTR/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-22T10:14:15Z","links":{"resolver":"https://pith.science/pith/XYCPU72RKLUCXU2TCFBDAX4TTR","bundle":"https://pith.science/pith/XYCPU72RKLUCXU2TCFBDAX4TTR/bundle.json","state":"https://pith.science/pith/XYCPU72RKLUCXU2TCFBDAX4TTR/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XYCPU72RKLUCXU2TCFBDAX4TTR/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:XYCPU72RKLUCXU2TCFBDAX4TTR","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"a239a8f03c96a94604a7fe52aa4db8810a0d53f51f26a1898484c2ea20df8941","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2015-01-26T16:25:58Z","title_canon_sha256":"97d4a84cbb59610fa60451fe1c05765041581b732fe75b8651ac42763eac355f"},"schema_version":"1.0","source":{"id":"1501.06466","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1501.06466","created_at":"2026-05-18T01:20:20Z"},{"alias_kind":"arxiv_version","alias_value":"1501.06466v3","created_at":"2026-05-18T01:20:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1501.06466","created_at":"2026-05-18T01:20:20Z"},{"alias_kind":"pith_short_12","alias_value":"XYCPU72RKLUC","created_at":"2026-05-18T12:29:50Z"},{"alias_kind":"pith_short_16","alias_value":"XYCPU72RKLUCXU2T","created_at":"2026-05-18T12:29:50Z"},{"alias_kind":"pith_short_8","alias_value":"XYCPU72R","created_at":"2026-05-18T12:29:50Z"}],"graph_snapshots":[{"event_id":"sha256:78abad65bc41f2406cbdc0410a0864002edd25736326a70f86d657eb7137ab9d","target":"graph","created_at":"2026-05-18T01:20:20Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"In their paper titled \"On $F$-inverse covers of inverse monoids\", Auinger and Szendrei have shown that every finite inverse monoid has an $F$-inverse cover if and only if each finite graph admits a locally finite group variety with a certain property. We study this property and prove that the class of graphs for which a given group variety has the required property is closed downwards in the minor ordering, and can therefore be described by forbidden minors. We find these forbidden minors for all varieties of Abelian groups, thus describing the graphs for which such a group variety satisfies t","authors_text":"N\\'ora Szak\\'acs","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2015-01-26T16:25:58Z","title":"On the graph condition regarding the $F$-inverse cover problem"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1501.06466","kind":"arxiv","version":3},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:f3c5532cd54537df46b3e1e92c2cb1c7e5db3eb3bc5e63a70192af7a383006b2","target":"record","created_at":"2026-05-18T01:20:20Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"a239a8f03c96a94604a7fe52aa4db8810a0d53f51f26a1898484c2ea20df8941","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2015-01-26T16:25:58Z","title_canon_sha256":"97d4a84cbb59610fa60451fe1c05765041581b732fe75b8651ac42763eac355f"},"schema_version":"1.0","source":{"id":"1501.06466","kind":"arxiv","version":3}},"canonical_sha256":"be04fa7f5152e82bd3531142305f939c7099e4dc4d376cb22096f249f73c87f2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"be04fa7f5152e82bd3531142305f939c7099e4dc4d376cb22096f249f73c87f2","first_computed_at":"2026-05-18T01:20:20.897662Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:20:20.897662Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"HZ2uZ+Z/B9BvrGceUo3m1OgKGM32k+VklRW8pDMnG8/ZwhExuLnUqUiHIXJuFafG3KU6yoFeTUCqF/UygIPiAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:20:20.898305Z","signed_message":"canonical_sha256_bytes"},"source_id":"1501.06466","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f3c5532cd54537df46b3e1e92c2cb1c7e5db3eb3bc5e63a70192af7a383006b2","sha256:78abad65bc41f2406cbdc0410a0864002edd25736326a70f86d657eb7137ab9d"],"state_sha256":"cac9d9e22087e1af0b5b6a0d5d85c1018714bdd68672ff570cb3ec94ce225095"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"iCEEn6jtivev7JtmaRexsdRY/TWSI4caVHDQkUEUzvei37VrF5IYXlU3NdQd1u+cVYDH4gQV0ODSZ2aO480YBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-22T10:14:15.992975Z","bundle_sha256":"64cefc8c1f9f63ee812452d7962901f5cde41ed39d8915e119e6fff30b7d978f"}}