{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:R7NZ6K366NU7IETB5X4EEOB65K","short_pith_number":"pith:R7NZ6K36","canonical_record":{"source":{"id":"1507.06953","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2015-07-24T18:43:59Z","cross_cats_sorted":["math.CO"],"title_canon_sha256":"db216d6cc423e7ffaae2e7f6810918c18b318bd23a002d789db49b6fa0a1def6","abstract_canon_sha256":"2a15d34ea23ce1aae4be280d52c09c8122ab633637ae82e25388ff62df662536"},"schema_version":"1.0"},"canonical_sha256":"8fdb9f2b7ef369f41261edf842383eeabd1a20c6535a05708965519dbe8cdc6c","source":{"kind":"arxiv","id":"1507.06953","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1507.06953","created_at":"2026-05-18T01:35:04Z"},{"alias_kind":"arxiv_version","alias_value":"1507.06953v1","created_at":"2026-05-18T01:35:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1507.06953","created_at":"2026-05-18T01:35:04Z"},{"alias_kind":"pith_short_12","alias_value":"R7NZ6K366NU7","created_at":"2026-05-18T12:29:39Z"},{"alias_kind":"pith_short_16","alias_value":"R7NZ6K366NU7IETB","created_at":"2026-05-18T12:29:39Z"},{"alias_kind":"pith_short_8","alias_value":"R7NZ6K36","created_at":"2026-05-18T12:29:39Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:R7NZ6K366NU7IETB5X4EEOB65K","target":"record","payload":{"canonical_record":{"source":{"id":"1507.06953","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2015-07-24T18:43:59Z","cross_cats_sorted":["math.CO"],"title_canon_sha256":"db216d6cc423e7ffaae2e7f6810918c18b318bd23a002d789db49b6fa0a1def6","abstract_canon_sha256":"2a15d34ea23ce1aae4be280d52c09c8122ab633637ae82e25388ff62df662536"},"schema_version":"1.0"},"canonical_sha256":"8fdb9f2b7ef369f41261edf842383eeabd1a20c6535a05708965519dbe8cdc6c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:35:04.499948Z","signature_b64":"bXsymLP6f3kFBBry1Y9gAozZ7lUx7TrGMkoNirPBVYjNf6sl8brzbC1j1lLpsXIg+V7dc0qIdm24ho1IVPYIDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8fdb9f2b7ef369f41261edf842383eeabd1a20c6535a05708965519dbe8cdc6c","last_reissued_at":"2026-05-18T01:35:04.499219Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:35:04.499219Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1507.06953","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-18T01:35:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0xtQYyzOh8s+kz0VmSCGDNOawrr0RoUf0PPiu6DbkZhEgDVbRqjGZQ4jHnbHinaUUgz7INJPM9Z50126DXoUCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T00:46:54.858445Z"},"content_sha256":"74c14fb24d12dd67c0e8f1d979cc469d58f76c7c65959c2a6337f6b37f664415","schema_version":"1.0","event_id":"sha256:74c14fb24d12dd67c0e8f1d979cc469d58f76c7c65959c2a6337f6b37f664415"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:R7NZ6K366NU7IETB5X4EEOB65K","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Pattern-avoiding access in binary search trees","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CO"],"primary_cat":"cs.DS","authors_text":"Kurt Mehlhorn, Laszlo Kozma, Mayank Goswami, Parinya Chalermsook, Thatchaphol Saranurak","submitted_at":"2015-07-24T18:43:59Z","abstract_excerpt":"The dynamic optimality conjecture is perhaps the most fundamental open question about binary search trees (BST). It postulates the existence of an asymptotically optimal online BST, i.e. one that is constant factor competitive with any BST on any input access sequence. The two main candidates for dynamic optimality in the literature are splay trees [Sleator and Tarjan, 1985], and Greedy [Lucas, 1988; Munro, 2000; Demaine et al. 2009] [..]\n  Dynamic optimality is trivial for almost all sequences: the optimum access cost of most length-n sequences is Theta(n log n), achievable by any balanced BS"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1507.06953","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-18T01:35:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kCiVhrp3EZ2PNYI9fwOGZVaC9WD5sW5JmgKqlmlgBUpozNA7wYoh20k3DNuf4FlSW/zKBL7r5IrLCtZG34/VAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T00:46:54.859108Z"},"content_sha256":"e2700ccdb517f650df7861382035c132a341b403ef4459c9b836297d72552d75","schema_version":"1.0","event_id":"sha256:e2700ccdb517f650df7861382035c132a341b403ef4459c9b836297d72552d75"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/R7NZ6K366NU7IETB5X4EEOB65K/bundle.json","state_url":"https://pith.science/pith/R7NZ6K366NU7IETB5X4EEOB65K/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/R7NZ6K366NU7IETB5X4EEOB65K/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-27T00:46:54Z","links":{"resolver":"https://pith.science/pith/R7NZ6K366NU7IETB5X4EEOB65K","bundle":"https://pith.science/pith/R7NZ6K366NU7IETB5X4EEOB65K/bundle.json","state":"https://pith.science/pith/R7NZ6K366NU7IETB5X4EEOB65K/state.json","well_known_bundle":"https://pith.science/.well-known/pith/R7NZ6K366NU7IETB5X4EEOB65K/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:R7NZ6K366NU7IETB5X4EEOB65K","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":"2a15d34ea23ce1aae4be280d52c09c8122ab633637ae82e25388ff62df662536","cross_cats_sorted":["math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2015-07-24T18:43:59Z","title_canon_sha256":"db216d6cc423e7ffaae2e7f6810918c18b318bd23a002d789db49b6fa0a1def6"},"schema_version":"1.0","source":{"id":"1507.06953","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1507.06953","created_at":"2026-05-18T01:35:04Z"},{"alias_kind":"arxiv_version","alias_value":"1507.06953v1","created_at":"2026-05-18T01:35:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1507.06953","created_at":"2026-05-18T01:35:04Z"},{"alias_kind":"pith_short_12","alias_value":"R7NZ6K366NU7","created_at":"2026-05-18T12:29:39Z"},{"alias_kind":"pith_short_16","alias_value":"R7NZ6K366NU7IETB","created_at":"2026-05-18T12:29:39Z"},{"alias_kind":"pith_short_8","alias_value":"R7NZ6K36","created_at":"2026-05-18T12:29:39Z"}],"graph_snapshots":[{"event_id":"sha256:e2700ccdb517f650df7861382035c132a341b403ef4459c9b836297d72552d75","target":"graph","created_at":"2026-05-18T01:35:04Z","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":"The dynamic optimality conjecture is perhaps the most fundamental open question about binary search trees (BST). It postulates the existence of an asymptotically optimal online BST, i.e. one that is constant factor competitive with any BST on any input access sequence. The two main candidates for dynamic optimality in the literature are splay trees [Sleator and Tarjan, 1985], and Greedy [Lucas, 1988; Munro, 2000; Demaine et al. 2009] [..]\n  Dynamic optimality is trivial for almost all sequences: the optimum access cost of most length-n sequences is Theta(n log n), achievable by any balanced BS","authors_text":"Kurt Mehlhorn, Laszlo Kozma, Mayank Goswami, Parinya Chalermsook, Thatchaphol Saranurak","cross_cats":["math.CO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2015-07-24T18:43:59Z","title":"Pattern-avoiding access in binary search trees"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1507.06953","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:74c14fb24d12dd67c0e8f1d979cc469d58f76c7c65959c2a6337f6b37f664415","target":"record","created_at":"2026-05-18T01:35:04Z","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":"2a15d34ea23ce1aae4be280d52c09c8122ab633637ae82e25388ff62df662536","cross_cats_sorted":["math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2015-07-24T18:43:59Z","title_canon_sha256":"db216d6cc423e7ffaae2e7f6810918c18b318bd23a002d789db49b6fa0a1def6"},"schema_version":"1.0","source":{"id":"1507.06953","kind":"arxiv","version":1}},"canonical_sha256":"8fdb9f2b7ef369f41261edf842383eeabd1a20c6535a05708965519dbe8cdc6c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8fdb9f2b7ef369f41261edf842383eeabd1a20c6535a05708965519dbe8cdc6c","first_computed_at":"2026-05-18T01:35:04.499219Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:35:04.499219Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"bXsymLP6f3kFBBry1Y9gAozZ7lUx7TrGMkoNirPBVYjNf6sl8brzbC1j1lLpsXIg+V7dc0qIdm24ho1IVPYIDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:35:04.499948Z","signed_message":"canonical_sha256_bytes"},"source_id":"1507.06953","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:74c14fb24d12dd67c0e8f1d979cc469d58f76c7c65959c2a6337f6b37f664415","sha256:e2700ccdb517f650df7861382035c132a341b403ef4459c9b836297d72552d75"],"state_sha256":"7c14fe4f0d773de6273eabd34d1546251d173b481f3b468bbee58c1977459905"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6s2G5NQ6O/5ivetvjLAWbuLjEqCwAz6sfyAIYPheA86qiprYMzqVTBTXkSk31kCfps++EGeJsFiumKZMiGQXDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T00:46:54.862689Z","bundle_sha256":"95e993c1399a59f36e571f0fad1fa75a51d9b2431633ccbaaeb9b91610da9efa"}}