{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:XICLOQCPJDKGC74JD2LK3UIVBZ","short_pith_number":"pith:XICLOQCP","canonical_record":{"source":{"id":"1705.09577","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2017-05-26T13:27:55Z","cross_cats_sorted":[],"title_canon_sha256":"d0eeb43e3417d6f4f916c507ad27537f45a4a3acd9cf828ece7ae4ce2aeb2cea","abstract_canon_sha256":"5c5de520b6cf46f2b5e25cf212c0f75c9300c4356cb550dd41eff6487daa6d66"},"schema_version":"1.0"},"canonical_sha256":"ba04b7404f48d4617f891e96add1150e60bc41059e882a5b19a038187b91e4d0","source":{"kind":"arxiv","id":"1705.09577","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.09577","created_at":"2026-05-18T00:37:54Z"},{"alias_kind":"arxiv_version","alias_value":"1705.09577v2","created_at":"2026-05-18T00:37:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.09577","created_at":"2026-05-18T00:37:54Z"},{"alias_kind":"pith_short_12","alias_value":"XICLOQCPJDKG","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_16","alias_value":"XICLOQCPJDKGC74J","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_8","alias_value":"XICLOQCP","created_at":"2026-05-18T12:31:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:XICLOQCPJDKGC74JD2LK3UIVBZ","target":"record","payload":{"canonical_record":{"source":{"id":"1705.09577","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2017-05-26T13:27:55Z","cross_cats_sorted":[],"title_canon_sha256":"d0eeb43e3417d6f4f916c507ad27537f45a4a3acd9cf828ece7ae4ce2aeb2cea","abstract_canon_sha256":"5c5de520b6cf46f2b5e25cf212c0f75c9300c4356cb550dd41eff6487daa6d66"},"schema_version":"1.0"},"canonical_sha256":"ba04b7404f48d4617f891e96add1150e60bc41059e882a5b19a038187b91e4d0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:37:54.325571Z","signature_b64":"zJOrIrcxdsX0nUndGdzW5it8WrksNCp3qkqfw/B/jTME1vfaqbDXzBnU5iUlitIOaANh169pfZ4FEfeg84nqBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ba04b7404f48d4617f891e96add1150e60bc41059e882a5b19a038187b91e4d0","last_reissued_at":"2026-05-18T00:37:54.325062Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:37:54.325062Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1705.09577","source_version":2,"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-18T00:37:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KZriuemW48Te82VB2GRJbVdV0lR1jLELvfpkBQ8ksQJ9OuaUPf1zW7oMtpq0NxhTBrPUI90+HOPDqSi10GMTDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T13:49:40.653199Z"},"content_sha256":"8f55cbf4d9af17f9d2ef24268c6ffb7d29ba8e4e87c4beb67cf2acfddbd1dca6","schema_version":"1.0","event_id":"sha256:8f55cbf4d9af17f9d2ef24268c6ffb7d29ba8e4e87c4beb67cf2acfddbd1dca6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:XICLOQCPJDKGC74JD2LK3UIVBZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The maximal subgroups and the complexity of the flow semigroup of finite (di)graphs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.CO","authors_text":"Chrystopher L. Nehaniv, G\\'abor Horv\\'ath, K\\'aroly Podoski","submitted_at":"2017-05-26T13:27:55Z","abstract_excerpt":"The flow semigroup, introduced by John Rhodes, is an invariant for digraphs and a complete invariant for graphs. After collecting together previous partial results, we refine and prove Rhodes's conjecture on the structure of the maximal groups in the flow semigroup for finite, antisymmetric, strongly connected digraphs.\n  Building on this result, we investigate and fully describe the structure and actions of the maximal subgroups of the flow semigroup acting on all but $k$ points for all finite digraphs and graphs for all $k\\geq 1$. A linear algorithm (in the number of edges) is presented to d"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.09577","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":""},"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-18T00:37:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FIl2rdeMIm7Cz7Hqxmo0B9rwtb3CvNKNmTzB7gn+fRToK7i7aYUW0ntURWzzhTMPij0I/4Wo3HiTRANBfoNNAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T13:49:40.654079Z"},"content_sha256":"0032e082c68c5dfefeb6158b6c747efc9a5f66833f6594804de933e4fa4c4e9f","schema_version":"1.0","event_id":"sha256:0032e082c68c5dfefeb6158b6c747efc9a5f66833f6594804de933e4fa4c4e9f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XICLOQCPJDKGC74JD2LK3UIVBZ/bundle.json","state_url":"https://pith.science/pith/XICLOQCPJDKGC74JD2LK3UIVBZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XICLOQCPJDKGC74JD2LK3UIVBZ/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-05-31T13:49:40Z","links":{"resolver":"https://pith.science/pith/XICLOQCPJDKGC74JD2LK3UIVBZ","bundle":"https://pith.science/pith/XICLOQCPJDKGC74JD2LK3UIVBZ/bundle.json","state":"https://pith.science/pith/XICLOQCPJDKGC74JD2LK3UIVBZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XICLOQCPJDKGC74JD2LK3UIVBZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:XICLOQCPJDKGC74JD2LK3UIVBZ","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":"5c5de520b6cf46f2b5e25cf212c0f75c9300c4356cb550dd41eff6487daa6d66","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2017-05-26T13:27:55Z","title_canon_sha256":"d0eeb43e3417d6f4f916c507ad27537f45a4a3acd9cf828ece7ae4ce2aeb2cea"},"schema_version":"1.0","source":{"id":"1705.09577","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.09577","created_at":"2026-05-18T00:37:54Z"},{"alias_kind":"arxiv_version","alias_value":"1705.09577v2","created_at":"2026-05-18T00:37:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.09577","created_at":"2026-05-18T00:37:54Z"},{"alias_kind":"pith_short_12","alias_value":"XICLOQCPJDKG","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_16","alias_value":"XICLOQCPJDKGC74J","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_8","alias_value":"XICLOQCP","created_at":"2026-05-18T12:31:53Z"}],"graph_snapshots":[{"event_id":"sha256:0032e082c68c5dfefeb6158b6c747efc9a5f66833f6594804de933e4fa4c4e9f","target":"graph","created_at":"2026-05-18T00:37:54Z","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":"The flow semigroup, introduced by John Rhodes, is an invariant for digraphs and a complete invariant for graphs. After collecting together previous partial results, we refine and prove Rhodes's conjecture on the structure of the maximal groups in the flow semigroup for finite, antisymmetric, strongly connected digraphs.\n  Building on this result, we investigate and fully describe the structure and actions of the maximal subgroups of the flow semigroup acting on all but $k$ points for all finite digraphs and graphs for all $k\\geq 1$. A linear algorithm (in the number of edges) is presented to d","authors_text":"Chrystopher L. Nehaniv, G\\'abor Horv\\'ath, K\\'aroly Podoski","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2017-05-26T13:27:55Z","title":"The maximal subgroups and the complexity of the flow semigroup of finite (di)graphs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.09577","kind":"arxiv","version":2},"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:8f55cbf4d9af17f9d2ef24268c6ffb7d29ba8e4e87c4beb67cf2acfddbd1dca6","target":"record","created_at":"2026-05-18T00:37:54Z","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":"5c5de520b6cf46f2b5e25cf212c0f75c9300c4356cb550dd41eff6487daa6d66","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2017-05-26T13:27:55Z","title_canon_sha256":"d0eeb43e3417d6f4f916c507ad27537f45a4a3acd9cf828ece7ae4ce2aeb2cea"},"schema_version":"1.0","source":{"id":"1705.09577","kind":"arxiv","version":2}},"canonical_sha256":"ba04b7404f48d4617f891e96add1150e60bc41059e882a5b19a038187b91e4d0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ba04b7404f48d4617f891e96add1150e60bc41059e882a5b19a038187b91e4d0","first_computed_at":"2026-05-18T00:37:54.325062Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:37:54.325062Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"zJOrIrcxdsX0nUndGdzW5it8WrksNCp3qkqfw/B/jTME1vfaqbDXzBnU5iUlitIOaANh169pfZ4FEfeg84nqBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:37:54.325571Z","signed_message":"canonical_sha256_bytes"},"source_id":"1705.09577","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8f55cbf4d9af17f9d2ef24268c6ffb7d29ba8e4e87c4beb67cf2acfddbd1dca6","sha256:0032e082c68c5dfefeb6158b6c747efc9a5f66833f6594804de933e4fa4c4e9f"],"state_sha256":"277667aaebbcd82ed4769d7857c7536f1008fb52c678e5b190c5096f99b4b158"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"E4jxnsP1ECEddSllojlaTXSkGaWdSnRTqPJlpGXYb0RRSTA80xIHBpUuCrk5lkYR+vdObIuaLSbjxuBWCi1+AA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T13:49:40.658686Z","bundle_sha256":"924bd5c15efac999e29c838392c8cef507dde7e7ffc043a11ecf44d129734de9"}}