{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:DFDAVRKYN6B3SGGO56SJBABA6Z","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":"5b2ab6a0656b7a041a372a4b056aa8644b72d9c0317da72f1d2f16eb19e99a44","cross_cats_sorted":["math.CO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.AT","submitted_at":"2026-06-27T02:25:18Z","title_canon_sha256":"d350e6e95aa0b419d325112b52e513e786e3c089eff24a088c59f6a1d4ae3bdc"},"schema_version":"1.0","source":{"id":"2606.28693","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.28693","created_at":"2026-06-30T01:16:47Z"},{"alias_kind":"arxiv_version","alias_value":"2606.28693v1","created_at":"2026-06-30T01:16:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.28693","created_at":"2026-06-30T01:16:47Z"},{"alias_kind":"pith_short_12","alias_value":"DFDAVRKYN6B3","created_at":"2026-06-30T01:16:47Z"},{"alias_kind":"pith_short_16","alias_value":"DFDAVRKYN6B3SGGO","created_at":"2026-06-30T01:16:47Z"},{"alias_kind":"pith_short_8","alias_value":"DFDAVRKY","created_at":"2026-06-30T01:16:47Z"}],"graph_snapshots":[{"event_id":"sha256:a284e9a340bcf72ac657426db6828e14dcc19687794a48935e23a1fae4336aad","target":"graph","created_at":"2026-06-30T01:16:47Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2606.28693/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We extend the notion of discrete homotopy groups of graphs to arbitrary cubical sets, and show that the discrete homotopy groups of quasisymmetric cubical sets are naturally isomorphic to the homotopy groups of their geometric realizations. Here, quasisymmetric cubical sets are cubical sets equipped with coordinate permutation symmetries that are compatible with faces and degeneracies, but not necessarily with connections. We give a purely combinatorial construction of the left adjoint of the forgetful functor from the category of quasisymmetric cubical sets to the category of cubical sets, an","authors_text":"Daisuke Kishimoto, Yichen Tong","cross_cats":["math.CO"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.AT","submitted_at":"2026-06-27T02:25:18Z","title":"Discrete homotopy groups of cubical sets"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.28693","kind":"arxiv","version":1},"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:ae0fbd103be8dcd8d0c31eb2107e78104119d203c473ef65994b669196629f7b","target":"record","created_at":"2026-06-30T01:16:47Z","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":"5b2ab6a0656b7a041a372a4b056aa8644b72d9c0317da72f1d2f16eb19e99a44","cross_cats_sorted":["math.CO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.AT","submitted_at":"2026-06-27T02:25:18Z","title_canon_sha256":"d350e6e95aa0b419d325112b52e513e786e3c089eff24a088c59f6a1d4ae3bdc"},"schema_version":"1.0","source":{"id":"2606.28693","kind":"arxiv","version":1}},"canonical_sha256":"19460ac5586f83b918ceefa4908020f6547c6283325294532384fb2a9ab45b61","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"19460ac5586f83b918ceefa4908020f6547c6283325294532384fb2a9ab45b61","first_computed_at":"2026-06-30T01:16:47.995033Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-30T01:16:47.995033Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"9nT6e/bGRGFc1tGv/XL6Y3Cz6PWey6lh3Z6XFrQhxaNjKVfS6cLpICqs9dzo96ozbvecCWXxwAppxDnjjSMLAA==","signature_status":"signed_v1","signed_at":"2026-06-30T01:16:47.995544Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.28693","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ae0fbd103be8dcd8d0c31eb2107e78104119d203c473ef65994b669196629f7b","sha256:a284e9a340bcf72ac657426db6828e14dcc19687794a48935e23a1fae4336aad"],"state_sha256":"3554440589d4f0f22d26ddd49ee8a25114478fdb47439206b8d995ef9b7be8be"}