{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:BVCVCP44SDQFM2MZN4DHCKLBPM","short_pith_number":"pith:BVCVCP44","canonical_record":{"source":{"id":"1308.4260","kind":"arxiv","version":6},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2013-08-20T08:59:40Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"90261ff84f2fab35145e51e38f9f4ccf29ec48ff114bb6d9f311163dc6e72580","abstract_canon_sha256":"4758333d163467691e2278b5b68a312437e108568a43cc56852120b0c1828d13"},"schema_version":"1.0"},"canonical_sha256":"0d45513f9c90e05669996f067129617b335428bc2f3227822f7b1e61239e0654","source":{"kind":"arxiv","id":"1308.4260","version":6},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1308.4260","created_at":"2026-05-18T02:26:39Z"},{"alias_kind":"arxiv_version","alias_value":"1308.4260v6","created_at":"2026-05-18T02:26:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1308.4260","created_at":"2026-05-18T02:26:39Z"},{"alias_kind":"pith_short_12","alias_value":"BVCVCP44SDQF","created_at":"2026-05-18T12:27:40Z"},{"alias_kind":"pith_short_16","alias_value":"BVCVCP44SDQFM2MZ","created_at":"2026-05-18T12:27:40Z"},{"alias_kind":"pith_short_8","alias_value":"BVCVCP44","created_at":"2026-05-18T12:27:40Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:BVCVCP44SDQFM2MZN4DHCKLBPM","target":"record","payload":{"canonical_record":{"source":{"id":"1308.4260","kind":"arxiv","version":6},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2013-08-20T08:59:40Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"90261ff84f2fab35145e51e38f9f4ccf29ec48ff114bb6d9f311163dc6e72580","abstract_canon_sha256":"4758333d163467691e2278b5b68a312437e108568a43cc56852120b0c1828d13"},"schema_version":"1.0"},"canonical_sha256":"0d45513f9c90e05669996f067129617b335428bc2f3227822f7b1e61239e0654","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:26:39.390759Z","signature_b64":"/sTjZwdcKF7L+sP9OXdT49nT3gswpy/+YgDrPr2LRO8kFSWpMiH8IONIPcOfSkAkYojOCJkPdRRbRCQbRp+9Bg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0d45513f9c90e05669996f067129617b335428bc2f3227822f7b1e61239e0654","last_reissued_at":"2026-05-18T02:26:39.390245Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:26:39.390245Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1308.4260","source_version":6,"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-18T02:26:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Bce3piC4S5ukCSyjnhK4BqKiTu//Cg3QmMM9sfNZgbCg4fU/ZQVg5HsKUNyUaNAipSnqdkAx/6hLGl6VQS7yCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T10:09:28.517083Z"},"content_sha256":"a9ddd39046d5c8cfb1489aba677a73729a792a4a515c184fcbfee7e2d04f9413","schema_version":"1.0","event_id":"sha256:a9ddd39046d5c8cfb1489aba677a73729a792a4a515c184fcbfee7e2d04f9413"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:BVCVCP44SDQFM2MZN4DHCKLBPM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Acyclic, connected and tree sets","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"math.CO","authors_text":"Christophe Reutenauer, Clelia De Felice, Dominique Perrin, Francesco Dolce, Giuseppina Rindone, Julien Leroy, Valerie Berth\\'e","submitted_at":"2013-08-20T08:59:40Z","abstract_excerpt":"Given a set $F$ of words, one associates to each word $w$ in $F$ an undirected graph, called its extension graph, and which describes the possible extensions of $w$ on the left and on the right. We investigate the family of sets of words defined by the property of the extension graph of each word in the set to be acyclic or connected or a tree. We prove that in a uniformly recurrent tree set, the sets of first return words are bases of the free group on the alphabet. Concerning acyclic sets, we prove as a main result that a set $F$ is acyclic if and only if any bifix code included in $F$ is a "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1308.4260","kind":"arxiv","version":6},"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-18T02:26:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"D3j8ktFuCr1Yus4Zwu3nF9EuEgZL7dnSP3n2Yse0Vk6IYhfaolia1BQtJTgwInWtdvgH5WkdyzLPbgYMUZyDBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T10:09:28.517751Z"},"content_sha256":"263d82b863a0287d055727ad0f091c43a55a87b4e216cab56b9285dd0f1221fb","schema_version":"1.0","event_id":"sha256:263d82b863a0287d055727ad0f091c43a55a87b4e216cab56b9285dd0f1221fb"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BVCVCP44SDQFM2MZN4DHCKLBPM/bundle.json","state_url":"https://pith.science/pith/BVCVCP44SDQFM2MZN4DHCKLBPM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BVCVCP44SDQFM2MZN4DHCKLBPM/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-27T10:09:28Z","links":{"resolver":"https://pith.science/pith/BVCVCP44SDQFM2MZN4DHCKLBPM","bundle":"https://pith.science/pith/BVCVCP44SDQFM2MZN4DHCKLBPM/bundle.json","state":"https://pith.science/pith/BVCVCP44SDQFM2MZN4DHCKLBPM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BVCVCP44SDQFM2MZN4DHCKLBPM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:BVCVCP44SDQFM2MZN4DHCKLBPM","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":"4758333d163467691e2278b5b68a312437e108568a43cc56852120b0c1828d13","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2013-08-20T08:59:40Z","title_canon_sha256":"90261ff84f2fab35145e51e38f9f4ccf29ec48ff114bb6d9f311163dc6e72580"},"schema_version":"1.0","source":{"id":"1308.4260","kind":"arxiv","version":6}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1308.4260","created_at":"2026-05-18T02:26:39Z"},{"alias_kind":"arxiv_version","alias_value":"1308.4260v6","created_at":"2026-05-18T02:26:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1308.4260","created_at":"2026-05-18T02:26:39Z"},{"alias_kind":"pith_short_12","alias_value":"BVCVCP44SDQF","created_at":"2026-05-18T12:27:40Z"},{"alias_kind":"pith_short_16","alias_value":"BVCVCP44SDQFM2MZ","created_at":"2026-05-18T12:27:40Z"},{"alias_kind":"pith_short_8","alias_value":"BVCVCP44","created_at":"2026-05-18T12:27:40Z"}],"graph_snapshots":[{"event_id":"sha256:263d82b863a0287d055727ad0f091c43a55a87b4e216cab56b9285dd0f1221fb","target":"graph","created_at":"2026-05-18T02:26:39Z","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":"Given a set $F$ of words, one associates to each word $w$ in $F$ an undirected graph, called its extension graph, and which describes the possible extensions of $w$ on the left and on the right. We investigate the family of sets of words defined by the property of the extension graph of each word in the set to be acyclic or connected or a tree. We prove that in a uniformly recurrent tree set, the sets of first return words are bases of the free group on the alphabet. Concerning acyclic sets, we prove as a main result that a set $F$ is acyclic if and only if any bifix code included in $F$ is a ","authors_text":"Christophe Reutenauer, Clelia De Felice, Dominique Perrin, Francesco Dolce, Giuseppina Rindone, Julien Leroy, Valerie Berth\\'e","cross_cats":["cs.FL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2013-08-20T08:59:40Z","title":"Acyclic, connected and tree sets"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1308.4260","kind":"arxiv","version":6},"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:a9ddd39046d5c8cfb1489aba677a73729a792a4a515c184fcbfee7e2d04f9413","target":"record","created_at":"2026-05-18T02:26:39Z","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":"4758333d163467691e2278b5b68a312437e108568a43cc56852120b0c1828d13","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2013-08-20T08:59:40Z","title_canon_sha256":"90261ff84f2fab35145e51e38f9f4ccf29ec48ff114bb6d9f311163dc6e72580"},"schema_version":"1.0","source":{"id":"1308.4260","kind":"arxiv","version":6}},"canonical_sha256":"0d45513f9c90e05669996f067129617b335428bc2f3227822f7b1e61239e0654","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0d45513f9c90e05669996f067129617b335428bc2f3227822f7b1e61239e0654","first_computed_at":"2026-05-18T02:26:39.390245Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:26:39.390245Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"/sTjZwdcKF7L+sP9OXdT49nT3gswpy/+YgDrPr2LRO8kFSWpMiH8IONIPcOfSkAkYojOCJkPdRRbRCQbRp+9Bg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:26:39.390759Z","signed_message":"canonical_sha256_bytes"},"source_id":"1308.4260","source_kind":"arxiv","source_version":6}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a9ddd39046d5c8cfb1489aba677a73729a792a4a515c184fcbfee7e2d04f9413","sha256:263d82b863a0287d055727ad0f091c43a55a87b4e216cab56b9285dd0f1221fb"],"state_sha256":"5004580c1f526054020f3082fccf3db0c6d3b27b3a38c83b5d0fdf2345ea6791"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5Mv3inrGjkj+D2zNKj2hZQOSUoSlf6ODPGmiRSEsvHqYi9W0tMmfTZh2gJ9s/x+m9gMcrbj3z9LH1Yo4NHqQBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T10:09:28.521147Z","bundle_sha256":"0a9099f0123fc72fd67beab69e9dff55cb3de99b9510ad72599a0afa8d7a18bc"}}