{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:4DBACYLM6IUUTRKTISRWHXT6WU","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":"e7c4ed79972aafaea7caf6fe036ff3908493f2151ac79d26b1686d256abf774c","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CC","submitted_at":"2017-04-27T18:15:50Z","title_canon_sha256":"11654b7bc813a2a259e3a02a9db38a951f29085f9e231385be630e898f5f70f6"},"schema_version":"1.0","source":{"id":"1704.08705","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1704.08705","created_at":"2026-05-18T00:32:43Z"},{"alias_kind":"arxiv_version","alias_value":"1704.08705v3","created_at":"2026-05-18T00:32:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1704.08705","created_at":"2026-05-18T00:32:43Z"},{"alias_kind":"pith_short_12","alias_value":"4DBACYLM6IUU","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_16","alias_value":"4DBACYLM6IUUTRKT","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_8","alias_value":"4DBACYLM","created_at":"2026-05-18T12:30:58Z"}],"graph_snapshots":[{"event_id":"sha256:35a6c11229eba09380417f80e2f89b7d709ad941631fe09a0a622330c864fbd0","target":"graph","created_at":"2026-05-18T00:32:43Z","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":"We present a general framework for balancing expressions (terms) in form of so called tree straight-line programs. The latter can be seen as circuits over the free term algebra extended by contexts (terms with a hole) and the operations which insert terms/contexts into contexts. It is shown that for every term one can compute in DLOGTIME-uniform TC$^0$ a tree straight-line program of logarithmic depth and size $O(n/\\log n)$. This allows reducing the term evaluation problem over an arbitrary algebra $\\mathcal{A}$ to the term evaluation problem over a derived two-sorted algebra $\\mathcal{F}(\\mat","authors_text":"Markus Lohrey, Moses Ganardi","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CC","submitted_at":"2017-04-27T18:15:50Z","title":"A universal tree balancing theorem"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1704.08705","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:8e309b28eb24a5939f99e1821e3d46701f0399f42edf09644c0b74e0c0884874","target":"record","created_at":"2026-05-18T00:32:43Z","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":"e7c4ed79972aafaea7caf6fe036ff3908493f2151ac79d26b1686d256abf774c","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CC","submitted_at":"2017-04-27T18:15:50Z","title_canon_sha256":"11654b7bc813a2a259e3a02a9db38a951f29085f9e231385be630e898f5f70f6"},"schema_version":"1.0","source":{"id":"1704.08705","kind":"arxiv","version":3}},"canonical_sha256":"e0c201616cf22949c55344a363de7eb50ad4476a49def5e9d2a54b2653902be2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e0c201616cf22949c55344a363de7eb50ad4476a49def5e9d2a54b2653902be2","first_computed_at":"2026-05-18T00:32:43.333646Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:32:43.333646Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"SewiyhAKoZ5i98U3KaF8YqTrvYqxuTWz1dp5ezHsQJ9/NpgfIDc3ndW4saDzNj00ycIbfZ0y0h1dOUcy4tAYBw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:32:43.334490Z","signed_message":"canonical_sha256_bytes"},"source_id":"1704.08705","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8e309b28eb24a5939f99e1821e3d46701f0399f42edf09644c0b74e0c0884874","sha256:35a6c11229eba09380417f80e2f89b7d709ad941631fe09a0a622330c864fbd0"],"state_sha256":"ae2cdacf4f94a11a135c43010b8943bd3765ab655ac1365c926d06adf4befbcb"}