{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:57CGJCNDABZZTLMXNW7QKSTH4F","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":"a1f7297558d1e2eb1cee14b1c87c0c9a553b9a810143e1b012b50c941ba07956","cross_cats_sorted":["cs.LO","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AT","submitted_at":"2017-09-17T18:02:50Z","title_canon_sha256":"98bf651c313f84f44815f0547aaf0dfdd800538ca70db78c6b1a501a5bfe8506"},"schema_version":"1.0","source":{"id":"1709.05702","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1709.05702","created_at":"2026-05-18T00:33:29Z"},{"alias_kind":"arxiv_version","alias_value":"1709.05702v2","created_at":"2026-05-18T00:33:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1709.05702","created_at":"2026-05-18T00:33:29Z"},{"alias_kind":"pith_short_12","alias_value":"57CGJCNDABZZ","created_at":"2026-05-18T12:31:00Z"},{"alias_kind":"pith_short_16","alias_value":"57CGJCNDABZZTLMX","created_at":"2026-05-18T12:31:00Z"},{"alias_kind":"pith_short_8","alias_value":"57CGJCND","created_at":"2026-05-18T12:31:00Z"}],"graph_snapshots":[{"event_id":"sha256:85143cbb34d6fdfeea8d1c4f55f68d28442cae697dc2275d9c9b034d284d038f","target":"graph","created_at":"2026-05-18T00:33:29Z","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":"This short note introduces a notion of directed homotopy equivalence and of \"directed\" topological complexity (which elaborates on the notion that can be found in e.g. Farber's book) which have a number of desirable joint properties. In particular, being dihomotopically equivalent implies having bisimilar natural homologies (defined in Dubut et al. 2015). Also, under mild conditions, directed topological complexity is an invariant of our directed homotopy equivalence and having a directed topological complexity equal to one is (under these conditions) equivalent to being dihomotopy equivalent ","authors_text":"Eric Goubault","cross_cats":["cs.LO","cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AT","submitted_at":"2017-09-17T18:02:50Z","title":"On directed homotopy equivalences and a notion of directed topological complexity"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1709.05702","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:04c9254a6e006a91ce98c29489fdd8a7a41338dcbf0206e9841922182cbc7b8e","target":"record","created_at":"2026-05-18T00:33:29Z","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":"a1f7297558d1e2eb1cee14b1c87c0c9a553b9a810143e1b012b50c941ba07956","cross_cats_sorted":["cs.LO","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AT","submitted_at":"2017-09-17T18:02:50Z","title_canon_sha256":"98bf651c313f84f44815f0547aaf0dfdd800538ca70db78c6b1a501a5bfe8506"},"schema_version":"1.0","source":{"id":"1709.05702","kind":"arxiv","version":2}},"canonical_sha256":"efc46489a3007399ad976dbf054a67e16b872a477c4685f23d989be17cef473e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"efc46489a3007399ad976dbf054a67e16b872a477c4685f23d989be17cef473e","first_computed_at":"2026-05-18T00:33:29.792213Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:33:29.792213Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"g4XoKngeDF5aM5J4B0su9FMcxpH1YjH/OqJ4Aipnb03/EUUv6IJnvdr15jXcFYOBhW1YqlDY5Dx91JNuRft8BA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:33:29.792775Z","signed_message":"canonical_sha256_bytes"},"source_id":"1709.05702","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:04c9254a6e006a91ce98c29489fdd8a7a41338dcbf0206e9841922182cbc7b8e","sha256:85143cbb34d6fdfeea8d1c4f55f68d28442cae697dc2275d9c9b034d284d038f"],"state_sha256":"aafe6c5e2e0df8cfe49038f32cb9921acbf610d51b5637dfb37dfb2bbd4a806e"}