{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:5XLBPS36RWM4FIU5HB2XENYQR6","short_pith_number":"pith:5XLBPS36","canonical_record":{"source":{"id":"1401.0752","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2014-01-03T23:11:52Z","cross_cats_sorted":["math.CO"],"title_canon_sha256":"fe61d5a52920391589036e299a77f6634714c016f7594cd9f7f2bf2e5579a4a4","abstract_canon_sha256":"952fb25a3561f59789cde2d6f031231c031b6f44ce8ed4096b7128ce3a1f3ed7"},"schema_version":"1.0"},"canonical_sha256":"edd617cb7e8d99c2a29d38757237108f9ff43943166c622a0b61ceada3f1885d","source":{"kind":"arxiv","id":"1401.0752","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1401.0752","created_at":"2026-05-18T02:40:18Z"},{"alias_kind":"arxiv_version","alias_value":"1401.0752v2","created_at":"2026-05-18T02:40:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1401.0752","created_at":"2026-05-18T02:40:18Z"},{"alias_kind":"pith_short_12","alias_value":"5XLBPS36RWM4","created_at":"2026-05-18T12:28:16Z"},{"alias_kind":"pith_short_16","alias_value":"5XLBPS36RWM4FIU5","created_at":"2026-05-18T12:28:16Z"},{"alias_kind":"pith_short_8","alias_value":"5XLBPS36","created_at":"2026-05-18T12:28:16Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:5XLBPS36RWM4FIU5HB2XENYQR6","target":"record","payload":{"canonical_record":{"source":{"id":"1401.0752","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2014-01-03T23:11:52Z","cross_cats_sorted":["math.CO"],"title_canon_sha256":"fe61d5a52920391589036e299a77f6634714c016f7594cd9f7f2bf2e5579a4a4","abstract_canon_sha256":"952fb25a3561f59789cde2d6f031231c031b6f44ce8ed4096b7128ce3a1f3ed7"},"schema_version":"1.0"},"canonical_sha256":"edd617cb7e8d99c2a29d38757237108f9ff43943166c622a0b61ceada3f1885d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:40:18.549215Z","signature_b64":"PYV+v2XV4C/qDOzEM7SvcEj7oOum06ygBwEimbjApYs3Cxx1oyhqweaILue6YzuFOMTGOPypgqxiGqaWKCMNDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"edd617cb7e8d99c2a29d38757237108f9ff43943166c622a0b61ceada3f1885d","last_reissued_at":"2026-05-18T02:40:18.548539Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:40:18.548539Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1401.0752","source_version":2,"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:40:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qXTP0Tt7wey/rPrf0hKtqSm9OVzm29JSUdzBciFtoN4DLqiILSGTweEv272AFRDd8HaPPnYo/rS1d8awsTpwBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-21T21:58:07.021197Z"},"content_sha256":"15994ff15a61b84da58d11cd9fa3a00dbe68f1bb4058b8b143aa654506e01377","schema_version":"1.0","event_id":"sha256:15994ff15a61b84da58d11cd9fa3a00dbe68f1bb4058b8b143aa654506e01377"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:5XLBPS36RWM4FIU5HB2XENYQR6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A strong geometric hyperbolicity property for directed graphs and monoids","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CO"],"primary_cat":"math.GR","authors_text":"Mark Kambites, Robert Gray","submitted_at":"2014-01-03T23:11:52Z","abstract_excerpt":"We introduce and study a strong \"thin triangle\"' condition for directed graphs, which generalises the usual notion of hyperbolicity for a metric space. We prove that finitely generated left cancellative monoids whose right Cayley graphs satisfy this condition must be finitely presented with polynomial Dehn functions, and hence word problems in NP. Under the additional assumption of right cancellativity (or in some cases the weaker condition of bounded indegree), they also admit algorithms for more fundamentally semigroup-theoretic decision problems such as Green's relations L, R, J, D and the "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1401.0752","kind":"arxiv","version":2},"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:40:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0JET6M1Occ3xCH4GtOz2LYuIWuYVKLtNDOSdF0oIvgbgS/9encWrim8VWmB9MDh7mqtACA+J5IIOZQ1/YmirCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-21T21:58:07.021570Z"},"content_sha256":"f7f00e171b6b0830bfca465eec65dbb10ee07393c7b3192e0bba927747f20385","schema_version":"1.0","event_id":"sha256:f7f00e171b6b0830bfca465eec65dbb10ee07393c7b3192e0bba927747f20385"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5XLBPS36RWM4FIU5HB2XENYQR6/bundle.json","state_url":"https://pith.science/pith/5XLBPS36RWM4FIU5HB2XENYQR6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5XLBPS36RWM4FIU5HB2XENYQR6/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-21T21:58:07Z","links":{"resolver":"https://pith.science/pith/5XLBPS36RWM4FIU5HB2XENYQR6","bundle":"https://pith.science/pith/5XLBPS36RWM4FIU5HB2XENYQR6/bundle.json","state":"https://pith.science/pith/5XLBPS36RWM4FIU5HB2XENYQR6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5XLBPS36RWM4FIU5HB2XENYQR6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:5XLBPS36RWM4FIU5HB2XENYQR6","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":"952fb25a3561f59789cde2d6f031231c031b6f44ce8ed4096b7128ce3a1f3ed7","cross_cats_sorted":["math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2014-01-03T23:11:52Z","title_canon_sha256":"fe61d5a52920391589036e299a77f6634714c016f7594cd9f7f2bf2e5579a4a4"},"schema_version":"1.0","source":{"id":"1401.0752","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1401.0752","created_at":"2026-05-18T02:40:18Z"},{"alias_kind":"arxiv_version","alias_value":"1401.0752v2","created_at":"2026-05-18T02:40:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1401.0752","created_at":"2026-05-18T02:40:18Z"},{"alias_kind":"pith_short_12","alias_value":"5XLBPS36RWM4","created_at":"2026-05-18T12:28:16Z"},{"alias_kind":"pith_short_16","alias_value":"5XLBPS36RWM4FIU5","created_at":"2026-05-18T12:28:16Z"},{"alias_kind":"pith_short_8","alias_value":"5XLBPS36","created_at":"2026-05-18T12:28:16Z"}],"graph_snapshots":[{"event_id":"sha256:f7f00e171b6b0830bfca465eec65dbb10ee07393c7b3192e0bba927747f20385","target":"graph","created_at":"2026-05-18T02:40:18Z","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 introduce and study a strong \"thin triangle\"' condition for directed graphs, which generalises the usual notion of hyperbolicity for a metric space. We prove that finitely generated left cancellative monoids whose right Cayley graphs satisfy this condition must be finitely presented with polynomial Dehn functions, and hence word problems in NP. Under the additional assumption of right cancellativity (or in some cases the weaker condition of bounded indegree), they also admit algorithms for more fundamentally semigroup-theoretic decision problems such as Green's relations L, R, J, D and the ","authors_text":"Mark Kambites, Robert Gray","cross_cats":["math.CO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2014-01-03T23:11:52Z","title":"A strong geometric hyperbolicity property for directed graphs and monoids"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1401.0752","kind":"arxiv","version":2},"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:15994ff15a61b84da58d11cd9fa3a00dbe68f1bb4058b8b143aa654506e01377","target":"record","created_at":"2026-05-18T02:40:18Z","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":"952fb25a3561f59789cde2d6f031231c031b6f44ce8ed4096b7128ce3a1f3ed7","cross_cats_sorted":["math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2014-01-03T23:11:52Z","title_canon_sha256":"fe61d5a52920391589036e299a77f6634714c016f7594cd9f7f2bf2e5579a4a4"},"schema_version":"1.0","source":{"id":"1401.0752","kind":"arxiv","version":2}},"canonical_sha256":"edd617cb7e8d99c2a29d38757237108f9ff43943166c622a0b61ceada3f1885d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"edd617cb7e8d99c2a29d38757237108f9ff43943166c622a0b61ceada3f1885d","first_computed_at":"2026-05-18T02:40:18.548539Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:40:18.548539Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"PYV+v2XV4C/qDOzEM7SvcEj7oOum06ygBwEimbjApYs3Cxx1oyhqweaILue6YzuFOMTGOPypgqxiGqaWKCMNDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:40:18.549215Z","signed_message":"canonical_sha256_bytes"},"source_id":"1401.0752","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:15994ff15a61b84da58d11cd9fa3a00dbe68f1bb4058b8b143aa654506e01377","sha256:f7f00e171b6b0830bfca465eec65dbb10ee07393c7b3192e0bba927747f20385"],"state_sha256":"09fefc98b1888d470e3936f58e6165c3a191b46ca5fe5a33570b9af241e79b69"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZOT0HztGZM1YLs2ymvoapan835mBwB+sbcwDcHTmKM7eN4nnoTTcd4HhBWfN9gx3/5jTo944QPZMgrJuHCV/Ag==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-21T21:58:07.023539Z","bundle_sha256":"d19e030ee6bdcccb09c4e55217eb7567ad8c65110c138d77543eeffcca405fdf"}}