{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:4HIZ3CIRRJ2HTOIQ7XOVEOX6WZ","short_pith_number":"pith:4HIZ3CIR","canonical_record":{"source":{"id":"1508.03166","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2015-08-13T10:29:13Z","cross_cats_sorted":["math.CO"],"title_canon_sha256":"ce4faa1a8a458bf427e205a9c8e9e1d11f520151fb43f7e8f22527b12870b151","abstract_canon_sha256":"a24e444e152ce9300b2ed9b9a97fd6a8d267297186db4940e679f06203936131"},"schema_version":"1.0"},"canonical_sha256":"e1d19d89118a7479b910fddd523afeb67a9a33ea9c89aef96d250f51ced478ec","source":{"kind":"arxiv","id":"1508.03166","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1508.03166","created_at":"2026-05-18T01:35:21Z"},{"alias_kind":"arxiv_version","alias_value":"1508.03166v1","created_at":"2026-05-18T01:35:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1508.03166","created_at":"2026-05-18T01:35:21Z"},{"alias_kind":"pith_short_12","alias_value":"4HIZ3CIRRJ2H","created_at":"2026-05-18T12:29:05Z"},{"alias_kind":"pith_short_16","alias_value":"4HIZ3CIRRJ2HTOIQ","created_at":"2026-05-18T12:29:05Z"},{"alias_kind":"pith_short_8","alias_value":"4HIZ3CIR","created_at":"2026-05-18T12:29:05Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:4HIZ3CIRRJ2HTOIQ7XOVEOX6WZ","target":"record","payload":{"canonical_record":{"source":{"id":"1508.03166","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2015-08-13T10:29:13Z","cross_cats_sorted":["math.CO"],"title_canon_sha256":"ce4faa1a8a458bf427e205a9c8e9e1d11f520151fb43f7e8f22527b12870b151","abstract_canon_sha256":"a24e444e152ce9300b2ed9b9a97fd6a8d267297186db4940e679f06203936131"},"schema_version":"1.0"},"canonical_sha256":"e1d19d89118a7479b910fddd523afeb67a9a33ea9c89aef96d250f51ced478ec","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:35:21.559057Z","signature_b64":"hFSlC//L4GGB8dLPC/5LndbhFFgS0jNPd0ZAVV2nIusBIQqleGkgvO6JagRpNersqvYJVnvzZkwCT+T0/21XBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e1d19d89118a7479b910fddd523afeb67a9a33ea9c89aef96d250f51ced478ec","last_reissued_at":"2026-05-18T01:35:21.558343Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:35:21.558343Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1508.03166","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:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1opQaA3zdi9aF9mflBhYuYdCf/uO6KXCweAJk6WRcun03jNPQ/E+qZvhjSjoYjUNN3rULfaaTQPidQX6vVj3CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T16:51:26.027363Z"},"content_sha256":"182d9a042af5538949c08d3562c328c76e2e6cdae0e607414225f210b21759da","schema_version":"1.0","event_id":"sha256:182d9a042af5538949c08d3562c328c76e2e6cdae0e607414225f210b21759da"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:4HIZ3CIRRJ2HTOIQ7XOVEOX6WZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Relations between counting functions on free groups and free monoids","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CO"],"primary_cat":"math.GR","authors_text":"Alexey Talambutsa, Tobias Hartnick","submitted_at":"2015-08-13T10:29:13Z","abstract_excerpt":"We consider finite sums of counting functions on the free group $F_n$ and the free monoid $M_n$ for $n \\geq 2$. Two such sums are considered equivalent if they differ by a bounded function. We find the complete set of linear relations between equivalence classes of sums of counting functions and apply this result to construct an explicit basis for the vector space of such equivalence classes. Moreover, we provide a graphical algorithm to determine whether two given sums of counting functions are equivalent. In particular, this yields an algorithm to decide whether two sums of Brooks quasimorph"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1508.03166","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:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JCvDWUJTp1/56O5il19yooJ6TDS48AIF7uRkiKYA6JzoxG44y/DQ8HyyVDYPxWeDVXu3C3pvVYdNRM1mT6g0Cw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T16:51:26.028053Z"},"content_sha256":"9e289b6c0745bfc114fa8f346f236855d556c9357af9a447923cd038689c5982","schema_version":"1.0","event_id":"sha256:9e289b6c0745bfc114fa8f346f236855d556c9357af9a447923cd038689c5982"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4HIZ3CIRRJ2HTOIQ7XOVEOX6WZ/bundle.json","state_url":"https://pith.science/pith/4HIZ3CIRRJ2HTOIQ7XOVEOX6WZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4HIZ3CIRRJ2HTOIQ7XOVEOX6WZ/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-27T16:51:26Z","links":{"resolver":"https://pith.science/pith/4HIZ3CIRRJ2HTOIQ7XOVEOX6WZ","bundle":"https://pith.science/pith/4HIZ3CIRRJ2HTOIQ7XOVEOX6WZ/bundle.json","state":"https://pith.science/pith/4HIZ3CIRRJ2HTOIQ7XOVEOX6WZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4HIZ3CIRRJ2HTOIQ7XOVEOX6WZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:4HIZ3CIRRJ2HTOIQ7XOVEOX6WZ","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":"a24e444e152ce9300b2ed9b9a97fd6a8d267297186db4940e679f06203936131","cross_cats_sorted":["math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2015-08-13T10:29:13Z","title_canon_sha256":"ce4faa1a8a458bf427e205a9c8e9e1d11f520151fb43f7e8f22527b12870b151"},"schema_version":"1.0","source":{"id":"1508.03166","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1508.03166","created_at":"2026-05-18T01:35:21Z"},{"alias_kind":"arxiv_version","alias_value":"1508.03166v1","created_at":"2026-05-18T01:35:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1508.03166","created_at":"2026-05-18T01:35:21Z"},{"alias_kind":"pith_short_12","alias_value":"4HIZ3CIRRJ2H","created_at":"2026-05-18T12:29:05Z"},{"alias_kind":"pith_short_16","alias_value":"4HIZ3CIRRJ2HTOIQ","created_at":"2026-05-18T12:29:05Z"},{"alias_kind":"pith_short_8","alias_value":"4HIZ3CIR","created_at":"2026-05-18T12:29:05Z"}],"graph_snapshots":[{"event_id":"sha256:9e289b6c0745bfc114fa8f346f236855d556c9357af9a447923cd038689c5982","target":"graph","created_at":"2026-05-18T01:35:21Z","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 consider finite sums of counting functions on the free group $F_n$ and the free monoid $M_n$ for $n \\geq 2$. Two such sums are considered equivalent if they differ by a bounded function. We find the complete set of linear relations between equivalence classes of sums of counting functions and apply this result to construct an explicit basis for the vector space of such equivalence classes. Moreover, we provide a graphical algorithm to determine whether two given sums of counting functions are equivalent. In particular, this yields an algorithm to decide whether two sums of Brooks quasimorph","authors_text":"Alexey Talambutsa, Tobias Hartnick","cross_cats":["math.CO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2015-08-13T10:29:13Z","title":"Relations between counting functions on free groups and free monoids"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1508.03166","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:182d9a042af5538949c08d3562c328c76e2e6cdae0e607414225f210b21759da","target":"record","created_at":"2026-05-18T01:35:21Z","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":"a24e444e152ce9300b2ed9b9a97fd6a8d267297186db4940e679f06203936131","cross_cats_sorted":["math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2015-08-13T10:29:13Z","title_canon_sha256":"ce4faa1a8a458bf427e205a9c8e9e1d11f520151fb43f7e8f22527b12870b151"},"schema_version":"1.0","source":{"id":"1508.03166","kind":"arxiv","version":1}},"canonical_sha256":"e1d19d89118a7479b910fddd523afeb67a9a33ea9c89aef96d250f51ced478ec","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e1d19d89118a7479b910fddd523afeb67a9a33ea9c89aef96d250f51ced478ec","first_computed_at":"2026-05-18T01:35:21.558343Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:35:21.558343Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"hFSlC//L4GGB8dLPC/5LndbhFFgS0jNPd0ZAVV2nIusBIQqleGkgvO6JagRpNersqvYJVnvzZkwCT+T0/21XBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:35:21.559057Z","signed_message":"canonical_sha256_bytes"},"source_id":"1508.03166","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:182d9a042af5538949c08d3562c328c76e2e6cdae0e607414225f210b21759da","sha256:9e289b6c0745bfc114fa8f346f236855d556c9357af9a447923cd038689c5982"],"state_sha256":"677566d62324e24d1d2c493c1080905b76fd37f96a6a3f939d0096309cdce8fd"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WOhwzlO1a+SL3wdBaHlXdSlVQkfNNfm9KIfrDjybIwgg1HfduD02croy4gn27Rc1zL2dNS9I8r8zbqTX5oY2Aw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T16:51:26.031680Z","bundle_sha256":"2b5f918f1037ba37849e0d8a8334592f1fda0e10746c65007d93a3b1cf3c1a5c"}}