{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:CA6DLDXHWXDO5OQ4XWXBQ4SR5O","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":"5a7cb3c494aeb6b3d7d1d0db57d8d1b963263c4e72605b8e05ac0b5655d77cec","cross_cats_sorted":["math.MG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.GR","submitted_at":"2024-07-16T17:34:28Z","title_canon_sha256":"c8ef5a11a1e219190c5a1ab4bcb3af9fc614e04c1b43cf3d34e8c0c769cec6f7"},"schema_version":"1.0","source":{"id":"2407.11943","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2407.11943","created_at":"2026-07-05T08:44:42Z"},{"alias_kind":"arxiv_version","alias_value":"2407.11943v1","created_at":"2026-07-05T08:44:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2407.11943","created_at":"2026-07-05T08:44:42Z"},{"alias_kind":"pith_short_12","alias_value":"CA6DLDXHWXDO","created_at":"2026-07-05T08:44:42Z"},{"alias_kind":"pith_short_16","alias_value":"CA6DLDXHWXDO5OQ4","created_at":"2026-07-05T08:44:42Z"},{"alias_kind":"pith_short_8","alias_value":"CA6DLDXH","created_at":"2026-07-05T08:44:42Z"}],"graph_snapshots":[{"event_id":"sha256:36c4b48c9c8547e9ae61d6b4c178b7101b5deee58fdc3323722475610ee043d8","target":"graph","created_at":"2026-07-05T08:44:42Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2407.11943/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We study the horofunction boundary of finitely generated nilpotent groups, and the natural group action on it. More specifically, we prove the followings results: For discrete Heisenberg groups, we classify the orbits of Busemann points. As a byproduct, we observe that the set of orbits is finite and the set of Busemann points is countable. Furthermore, using the approximation with Lie groups, we observe that the entire horoboundary is uncountable. For the discrete Cartan group, we exhibit an continuum of Busemann points, disproving a conjecture of Tointon and Yadin. As a byproduct, we prove t","authors_text":"Corentin Bodart, Kenshiro Tashiro","cross_cats":["math.MG"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.GR","submitted_at":"2024-07-16T17:34:28Z","title":"Horofunctions on the Heisenberg and Cartan groups"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2407.11943","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:04ec095eb5216e794e5a7768825d18427621bf19cbd6a0f5987c540e86f6e5a8","target":"record","created_at":"2026-07-05T08:44:42Z","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":"5a7cb3c494aeb6b3d7d1d0db57d8d1b963263c4e72605b8e05ac0b5655d77cec","cross_cats_sorted":["math.MG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.GR","submitted_at":"2024-07-16T17:34:28Z","title_canon_sha256":"c8ef5a11a1e219190c5a1ab4bcb3af9fc614e04c1b43cf3d34e8c0c769cec6f7"},"schema_version":"1.0","source":{"id":"2407.11943","kind":"arxiv","version":1}},"canonical_sha256":"103c358ee7b5c6eeba1cbdae187251eb94165ec74e5aaa2bf8fe2377c62eefc5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"103c358ee7b5c6eeba1cbdae187251eb94165ec74e5aaa2bf8fe2377c62eefc5","first_computed_at":"2026-07-05T08:44:42.650221Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:44:42.650221Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"3EOnEtfqOxXNdKR6/ZOAoG1/qBwJcGO7GxQ6RS4dqlkHAB1jwk2ykuuWgBpKr305c8m4IuXUlij+d2APZik0AA==","signature_status":"signed_v1","signed_at":"2026-07-05T08:44:42.650746Z","signed_message":"canonical_sha256_bytes"},"source_id":"2407.11943","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:04ec095eb5216e794e5a7768825d18427621bf19cbd6a0f5987c540e86f6e5a8","sha256:36c4b48c9c8547e9ae61d6b4c178b7101b5deee58fdc3323722475610ee043d8"],"state_sha256":"d773060cf341e0b5e56f9a74341ef211f6bc64ba925353a1d3ff420c18fb4aa5"}