{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:INUZNL2NY4NZPIKPNVIAL6W4EU","short_pith_number":"pith:INUZNL2N","canonical_record":{"source":{"id":"1311.7008","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2013-11-27T15:32:16Z","cross_cats_sorted":["math.NT"],"title_canon_sha256":"387318aa881dc8dd9a14d60ad63e0debe1d45c4abd30ca1edf31801aff6e9c4b","abstract_canon_sha256":"76f136dc421e071f800296106216a1190e53bc53963db2879bbdfa44fdb92da6"},"schema_version":"1.0"},"canonical_sha256":"436996af4dc71b97a14f6d5005fadc25305fb190d41d17049c2d37cc13900856","source":{"kind":"arxiv","id":"1311.7008","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1311.7008","created_at":"2026-05-18T02:27:44Z"},{"alias_kind":"arxiv_version","alias_value":"1311.7008v3","created_at":"2026-05-18T02:27:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1311.7008","created_at":"2026-05-18T02:27:44Z"},{"alias_kind":"pith_short_12","alias_value":"INUZNL2NY4NZ","created_at":"2026-05-18T12:27:46Z"},{"alias_kind":"pith_short_16","alias_value":"INUZNL2NY4NZPIKP","created_at":"2026-05-18T12:27:46Z"},{"alias_kind":"pith_short_8","alias_value":"INUZNL2N","created_at":"2026-05-18T12:27:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:INUZNL2NY4NZPIKPNVIAL6W4EU","target":"record","payload":{"canonical_record":{"source":{"id":"1311.7008","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2013-11-27T15:32:16Z","cross_cats_sorted":["math.NT"],"title_canon_sha256":"387318aa881dc8dd9a14d60ad63e0debe1d45c4abd30ca1edf31801aff6e9c4b","abstract_canon_sha256":"76f136dc421e071f800296106216a1190e53bc53963db2879bbdfa44fdb92da6"},"schema_version":"1.0"},"canonical_sha256":"436996af4dc71b97a14f6d5005fadc25305fb190d41d17049c2d37cc13900856","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:27:44.846327Z","signature_b64":"R4+8ixtY0lF2+ha95Zw7739Q5rFl5DombCEbEqGwSMJfv93kH5deNJwPIlgMXpBimUnEcS3/u3MYjFEzDehBBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"436996af4dc71b97a14f6d5005fadc25305fb190d41d17049c2d37cc13900856","last_reissued_at":"2026-05-18T02:27:44.845892Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:27:44.845892Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1311.7008","source_version":3,"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:27:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"r1F3Vd0yyKXzH4mM75QgE9ajZi10A3cr4Qw0uMeFIiLSTjE7XjD5NsAMoCQqykq+DjKuVOJogQoS4hvOjdfyAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T20:09:51.367605Z"},"content_sha256":"8ba8e4242a384ffd137a3ce35b13ed7003f9bb8ce9bfc04a83cc3d6c29862a8f","schema_version":"1.0","event_id":"sha256:8ba8e4242a384ffd137a3ce35b13ed7003f9bb8ce9bfc04a83cc3d6c29862a8f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:INUZNL2NY4NZPIKPNVIAL6W4EU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Mixed Tate motives and the unit equation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.NT"],"primary_cat":"math.AG","authors_text":"Ishai Dan-Cohen, Stefan Wewers","submitted_at":"2013-11-27T15:32:16Z","abstract_excerpt":"This is the second installment in a sequence of articles devoted to \"explicit Chabauty-Kim theory\" for the thrice punctured line. Its ultimate goal is to construct an algorithmic solution to the unit equation whose halting will be conditional on Goncharov's conjecture about exhaustion of mixed Tate motives by motivic iterated integrals (refined somewhat with respect to ramification), and on Kim's conjecture about the determination of integral points via $p$-adic iterated integrals. In this installment we explain what this means while developing basic tools for the construction of the algorithm"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1311.7008","kind":"arxiv","version":3},"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:27:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JtaA6GPb/zcMjE+LCdO6smzrX20qScomEBv/BAKD+vLFXvxtdzvVinJFsN+bpL3tr7TN6JaE0dlWxqC60KhkCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T20:09:51.368415Z"},"content_sha256":"32f40dcee2ab8e071ab5ba84a513b296e70fefdc432db44f9ef9a9a402cd9c7f","schema_version":"1.0","event_id":"sha256:32f40dcee2ab8e071ab5ba84a513b296e70fefdc432db44f9ef9a9a402cd9c7f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/INUZNL2NY4NZPIKPNVIAL6W4EU/bundle.json","state_url":"https://pith.science/pith/INUZNL2NY4NZPIKPNVIAL6W4EU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/INUZNL2NY4NZPIKPNVIAL6W4EU/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-31T20:09:51Z","links":{"resolver":"https://pith.science/pith/INUZNL2NY4NZPIKPNVIAL6W4EU","bundle":"https://pith.science/pith/INUZNL2NY4NZPIKPNVIAL6W4EU/bundle.json","state":"https://pith.science/pith/INUZNL2NY4NZPIKPNVIAL6W4EU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/INUZNL2NY4NZPIKPNVIAL6W4EU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:INUZNL2NY4NZPIKPNVIAL6W4EU","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":"76f136dc421e071f800296106216a1190e53bc53963db2879bbdfa44fdb92da6","cross_cats_sorted":["math.NT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2013-11-27T15:32:16Z","title_canon_sha256":"387318aa881dc8dd9a14d60ad63e0debe1d45c4abd30ca1edf31801aff6e9c4b"},"schema_version":"1.0","source":{"id":"1311.7008","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1311.7008","created_at":"2026-05-18T02:27:44Z"},{"alias_kind":"arxiv_version","alias_value":"1311.7008v3","created_at":"2026-05-18T02:27:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1311.7008","created_at":"2026-05-18T02:27:44Z"},{"alias_kind":"pith_short_12","alias_value":"INUZNL2NY4NZ","created_at":"2026-05-18T12:27:46Z"},{"alias_kind":"pith_short_16","alias_value":"INUZNL2NY4NZPIKP","created_at":"2026-05-18T12:27:46Z"},{"alias_kind":"pith_short_8","alias_value":"INUZNL2N","created_at":"2026-05-18T12:27:46Z"}],"graph_snapshots":[{"event_id":"sha256:32f40dcee2ab8e071ab5ba84a513b296e70fefdc432db44f9ef9a9a402cd9c7f","target":"graph","created_at":"2026-05-18T02:27:44Z","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 is the second installment in a sequence of articles devoted to \"explicit Chabauty-Kim theory\" for the thrice punctured line. Its ultimate goal is to construct an algorithmic solution to the unit equation whose halting will be conditional on Goncharov's conjecture about exhaustion of mixed Tate motives by motivic iterated integrals (refined somewhat with respect to ramification), and on Kim's conjecture about the determination of integral points via $p$-adic iterated integrals. In this installment we explain what this means while developing basic tools for the construction of the algorithm","authors_text":"Ishai Dan-Cohen, Stefan Wewers","cross_cats":["math.NT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2013-11-27T15:32:16Z","title":"Mixed Tate motives and the unit equation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1311.7008","kind":"arxiv","version":3},"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:8ba8e4242a384ffd137a3ce35b13ed7003f9bb8ce9bfc04a83cc3d6c29862a8f","target":"record","created_at":"2026-05-18T02:27:44Z","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":"76f136dc421e071f800296106216a1190e53bc53963db2879bbdfa44fdb92da6","cross_cats_sorted":["math.NT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2013-11-27T15:32:16Z","title_canon_sha256":"387318aa881dc8dd9a14d60ad63e0debe1d45c4abd30ca1edf31801aff6e9c4b"},"schema_version":"1.0","source":{"id":"1311.7008","kind":"arxiv","version":3}},"canonical_sha256":"436996af4dc71b97a14f6d5005fadc25305fb190d41d17049c2d37cc13900856","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"436996af4dc71b97a14f6d5005fadc25305fb190d41d17049c2d37cc13900856","first_computed_at":"2026-05-18T02:27:44.845892Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:27:44.845892Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"R4+8ixtY0lF2+ha95Zw7739Q5rFl5DombCEbEqGwSMJfv93kH5deNJwPIlgMXpBimUnEcS3/u3MYjFEzDehBBg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:27:44.846327Z","signed_message":"canonical_sha256_bytes"},"source_id":"1311.7008","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8ba8e4242a384ffd137a3ce35b13ed7003f9bb8ce9bfc04a83cc3d6c29862a8f","sha256:32f40dcee2ab8e071ab5ba84a513b296e70fefdc432db44f9ef9a9a402cd9c7f"],"state_sha256":"657bb13160bd3ec6df003d62679a560ead14cf55578082f521a1519dc3817523"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"I72ZkpIRWrsPm/xy05QTAndn5JdJmRn65w5A3v4/EwMdFRJ9qWlrf9Tmjg10qBqKeQIHTK+UGIqMaQxwZJKGDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T20:09:51.373164Z","bundle_sha256":"5dff1aea79301be5767aaacc0a136410c73379b1673e9a1b31de24b5b50738c2"}}