{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:3UEJZ3OM4DTX4BVSZJ5LKE5LFE","short_pith_number":"pith:3UEJZ3OM","canonical_record":{"source":{"id":"1403.0209","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GT","submitted_at":"2014-03-02T14:04:03Z","cross_cats_sorted":[],"title_canon_sha256":"7c6a87c94fa59424661da5342579713232609699605426a0b5b673f4cff095b7","abstract_canon_sha256":"ad22912dcc0e6697683d5cbc9815b61963c0cc6477538dd7141009ed98f84541"},"schema_version":"1.0"},"canonical_sha256":"dd089cedcce0e77e06b2ca7ab513ab293be227f617d47a5ef104a1098db29b62","source":{"kind":"arxiv","id":"1403.0209","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1403.0209","created_at":"2026-05-18T02:57:25Z"},{"alias_kind":"arxiv_version","alias_value":"1403.0209v1","created_at":"2026-05-18T02:57:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1403.0209","created_at":"2026-05-18T02:57:25Z"},{"alias_kind":"pith_short_12","alias_value":"3UEJZ3OM4DTX","created_at":"2026-05-18T12:28:11Z"},{"alias_kind":"pith_short_16","alias_value":"3UEJZ3OM4DTX4BVS","created_at":"2026-05-18T12:28:11Z"},{"alias_kind":"pith_short_8","alias_value":"3UEJZ3OM","created_at":"2026-05-18T12:28:11Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:3UEJZ3OM4DTX4BVSZJ5LKE5LFE","target":"record","payload":{"canonical_record":{"source":{"id":"1403.0209","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GT","submitted_at":"2014-03-02T14:04:03Z","cross_cats_sorted":[],"title_canon_sha256":"7c6a87c94fa59424661da5342579713232609699605426a0b5b673f4cff095b7","abstract_canon_sha256":"ad22912dcc0e6697683d5cbc9815b61963c0cc6477538dd7141009ed98f84541"},"schema_version":"1.0"},"canonical_sha256":"dd089cedcce0e77e06b2ca7ab513ab293be227f617d47a5ef104a1098db29b62","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:57:25.443453Z","signature_b64":"IwDIT1rmp8pviEW5cBNilVAuZc8nmB92BFF0vKL+YGSITw4Zt3msi4TXsznhjHzVPYxWcIhEWGAoTCwGtCZuDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"dd089cedcce0e77e06b2ca7ab513ab293be227f617d47a5ef104a1098db29b62","last_reissued_at":"2026-05-18T02:57:25.442866Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:57:25.442866Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1403.0209","source_version":1,"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:57:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"brrJnHUjKYTgN7VzsnUABaT99y46N0WkoWrbNJaS9MI+DAdgJD6Ki+urAnf1vgj/mcN4dQ3cpzLDJeb04ABbBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T16:23:41.634646Z"},"content_sha256":"aa293451399d3092a687fe79bcd69645aa121a20b4ed5db1fadd7647430828b6","schema_version":"1.0","event_id":"sha256:aa293451399d3092a687fe79bcd69645aa121a20b4ed5db1fadd7647430828b6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:3UEJZ3OM4DTX4BVSZJ5LKE5LFE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Realizing Exterior Cromwell moves on rectangular diagrams by Reidemeister moves","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.GT","authors_text":"Chuichiro Hayashi, Tatsuo Ando, Yuki Nishikawa","submitted_at":"2014-03-02T14:04:03Z","abstract_excerpt":"If a rectangular diagram represents the trivial knot, then it can be deformed into the trivial rectangular diagram with only four edges by a finite sequence of merge operations and exchange operations, without increasing the number of edges, which was shown by I. A. Dynnikov.\n  Using this, Henrich and Kauffman gave an upper bound for the number of Reidemeister moves needed for unknotting a knot diagram of the trivial knot.\n  However, exchange or merge moves on the top and bottom pairs of edges of rectangular diagrams are not considered in the proof.\n  In this paper, we show that there is a rec"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1403.0209","kind":"arxiv","version":1},"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:57:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Lk9Vvs0REsK9RDt7CaAN4JvTB783gYB5zzMk3w5mFYDUCCgQyIsB9EF3VXcYcOb9KQOAGn+SYoACP6PHbLE/CQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T16:23:41.635209Z"},"content_sha256":"3225bec5a0686b704b8f5ad7a8a172e12207759a9e58599aebec1a7edbd28301","schema_version":"1.0","event_id":"sha256:3225bec5a0686b704b8f5ad7a8a172e12207759a9e58599aebec1a7edbd28301"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3UEJZ3OM4DTX4BVSZJ5LKE5LFE/bundle.json","state_url":"https://pith.science/pith/3UEJZ3OM4DTX4BVSZJ5LKE5LFE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3UEJZ3OM4DTX4BVSZJ5LKE5LFE/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-23T16:23:41Z","links":{"resolver":"https://pith.science/pith/3UEJZ3OM4DTX4BVSZJ5LKE5LFE","bundle":"https://pith.science/pith/3UEJZ3OM4DTX4BVSZJ5LKE5LFE/bundle.json","state":"https://pith.science/pith/3UEJZ3OM4DTX4BVSZJ5LKE5LFE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3UEJZ3OM4DTX4BVSZJ5LKE5LFE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:3UEJZ3OM4DTX4BVSZJ5LKE5LFE","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":"ad22912dcc0e6697683d5cbc9815b61963c0cc6477538dd7141009ed98f84541","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GT","submitted_at":"2014-03-02T14:04:03Z","title_canon_sha256":"7c6a87c94fa59424661da5342579713232609699605426a0b5b673f4cff095b7"},"schema_version":"1.0","source":{"id":"1403.0209","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1403.0209","created_at":"2026-05-18T02:57:25Z"},{"alias_kind":"arxiv_version","alias_value":"1403.0209v1","created_at":"2026-05-18T02:57:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1403.0209","created_at":"2026-05-18T02:57:25Z"},{"alias_kind":"pith_short_12","alias_value":"3UEJZ3OM4DTX","created_at":"2026-05-18T12:28:11Z"},{"alias_kind":"pith_short_16","alias_value":"3UEJZ3OM4DTX4BVS","created_at":"2026-05-18T12:28:11Z"},{"alias_kind":"pith_short_8","alias_value":"3UEJZ3OM","created_at":"2026-05-18T12:28:11Z"}],"graph_snapshots":[{"event_id":"sha256:3225bec5a0686b704b8f5ad7a8a172e12207759a9e58599aebec1a7edbd28301","target":"graph","created_at":"2026-05-18T02:57:25Z","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":"If a rectangular diagram represents the trivial knot, then it can be deformed into the trivial rectangular diagram with only four edges by a finite sequence of merge operations and exchange operations, without increasing the number of edges, which was shown by I. A. Dynnikov.\n  Using this, Henrich and Kauffman gave an upper bound for the number of Reidemeister moves needed for unknotting a knot diagram of the trivial knot.\n  However, exchange or merge moves on the top and bottom pairs of edges of rectangular diagrams are not considered in the proof.\n  In this paper, we show that there is a rec","authors_text":"Chuichiro Hayashi, Tatsuo Ando, Yuki Nishikawa","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GT","submitted_at":"2014-03-02T14:04:03Z","title":"Realizing Exterior Cromwell moves on rectangular diagrams by Reidemeister moves"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1403.0209","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:aa293451399d3092a687fe79bcd69645aa121a20b4ed5db1fadd7647430828b6","target":"record","created_at":"2026-05-18T02:57:25Z","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":"ad22912dcc0e6697683d5cbc9815b61963c0cc6477538dd7141009ed98f84541","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GT","submitted_at":"2014-03-02T14:04:03Z","title_canon_sha256":"7c6a87c94fa59424661da5342579713232609699605426a0b5b673f4cff095b7"},"schema_version":"1.0","source":{"id":"1403.0209","kind":"arxiv","version":1}},"canonical_sha256":"dd089cedcce0e77e06b2ca7ab513ab293be227f617d47a5ef104a1098db29b62","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"dd089cedcce0e77e06b2ca7ab513ab293be227f617d47a5ef104a1098db29b62","first_computed_at":"2026-05-18T02:57:25.442866Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:57:25.442866Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"IwDIT1rmp8pviEW5cBNilVAuZc8nmB92BFF0vKL+YGSITw4Zt3msi4TXsznhjHzVPYxWcIhEWGAoTCwGtCZuDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:57:25.443453Z","signed_message":"canonical_sha256_bytes"},"source_id":"1403.0209","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:aa293451399d3092a687fe79bcd69645aa121a20b4ed5db1fadd7647430828b6","sha256:3225bec5a0686b704b8f5ad7a8a172e12207759a9e58599aebec1a7edbd28301"],"state_sha256":"1a53a89c4b54153a533078a64e131e8bfeb98a927ff527d3a5c97c50deacb46d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9zOitrS6hC43mEebJ2qkEoBHi7n/FjZNiupN84gyskBKk/B/BzrFo64MUT3KQYmA0fVg9sThM+5Yv37gyEQQCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-23T16:23:41.637832Z","bundle_sha256":"1f9d8d524550f7161e3b932ee30094060da351ece3d89d94949e2ba904dcf583"}}