{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2004:NZWMVJ24KSY2OGSEN4O6ZWJBCV","short_pith_number":"pith:NZWMVJ24","canonical_record":{"source":{"id":"math/0410616","kind":"arxiv","version":2},"metadata":{"license":"","primary_cat":"math.GR","submitted_at":"2004-10-29T10:45:59Z","cross_cats_sorted":[],"title_canon_sha256":"7bd4502a8a6ed6fe42554582076b03902b37fa1da9e3e9dd0aab75de6f92e212","abstract_canon_sha256":"a7e40a9b1cb302464cfc2dd2d8d50a7613ccc93da814109b4e733c22bc11eb77"},"schema_version":"1.0"},"canonical_sha256":"6e6ccaa75c54b1a71a446f1decd921156a15b37156021344f1b95f4c4ef5acbf","source":{"kind":"arxiv","id":"math/0410616","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"math/0410616","created_at":"2026-05-18T03:55:35Z"},{"alias_kind":"arxiv_version","alias_value":"math/0410616v2","created_at":"2026-05-18T03:55:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.math/0410616","created_at":"2026-05-18T03:55:35Z"},{"alias_kind":"pith_short_12","alias_value":"NZWMVJ24KSY2","created_at":"2026-05-18T12:25:52Z"},{"alias_kind":"pith_short_16","alias_value":"NZWMVJ24KSY2OGSE","created_at":"2026-05-18T12:25:52Z"},{"alias_kind":"pith_short_8","alias_value":"NZWMVJ24","created_at":"2026-05-18T12:25:52Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2004:NZWMVJ24KSY2OGSEN4O6ZWJBCV","target":"record","payload":{"canonical_record":{"source":{"id":"math/0410616","kind":"arxiv","version":2},"metadata":{"license":"","primary_cat":"math.GR","submitted_at":"2004-10-29T10:45:59Z","cross_cats_sorted":[],"title_canon_sha256":"7bd4502a8a6ed6fe42554582076b03902b37fa1da9e3e9dd0aab75de6f92e212","abstract_canon_sha256":"a7e40a9b1cb302464cfc2dd2d8d50a7613ccc93da814109b4e733c22bc11eb77"},"schema_version":"1.0"},"canonical_sha256":"6e6ccaa75c54b1a71a446f1decd921156a15b37156021344f1b95f4c4ef5acbf","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:55:35.916901Z","signature_b64":"JKKF7upt9Nv+pjykdHyX7HOvYbwrtXhRTNTRIJ3mbnaZ1cnzcS1Ih66vTDtYbUETVPLWuqVoCST8D81yaXc1Aw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6e6ccaa75c54b1a71a446f1decd921156a15b37156021344f1b95f4c4ef5acbf","last_reissued_at":"2026-05-18T03:55:35.916322Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:55:35.916322Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"math/0410616","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-18T03:55:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lFc4rbC2h5VnMEgRSWnpbVBwYmQC5rAYikpzUv7OURyQWd74HWkG4PrhPs7AaOePrxayky+L7M9SrR8FdxpjAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T15:39:59.761605Z"},"content_sha256":"4c7d7060fceb4e1c3b574d68b7c2945f8b900922c237194ad96f3b02524dd008","schema_version":"1.0","event_id":"sha256:4c7d7060fceb4e1c3b574d68b7c2945f8b900922c237194ad96f3b02524dd008"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2004:NZWMVJ24KSY2OGSEN4O6ZWJBCV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Cone types and geodesic languages for lamplighter groups and Thompson's group F","license":"","headline":"","cross_cats":[],"primary_cat":"math.GR","authors_text":"Jennifer Taback, Murray Elder, Sean Cleary","submitted_at":"2004-10-29T10:45:59Z","abstract_excerpt":"We study languages of geodesics in lamplighter groups and Thompson's group F. We show that the lamplighter groups $L_n$ have infinitely many cone types, have no regular geodesic languages, and have 1-counter, context-free and counter geodesic languages with respect to certain generating sets. We show that the full language of geodesics with respect to one generating set for the lamplighter group is not counter but is context-free, while with respect to another generating set the full language of geodesics is counter and context-free. In Thompson's group F with respect to the standard finite ge"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"math/0410616","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-18T03:55:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UksCjBfRHS5gy8S5S74Tw39dsDflh4xw9n5Hqr6MEQwRcRsl53GDC49tSN+vIqHCM+uZNODTnfTnRilAUkIjCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T15:39:59.762305Z"},"content_sha256":"3e822c30e94a1dbf01d6ff5f550bc87cf41aeec9f507ac9759d24f3944756d4f","schema_version":"1.0","event_id":"sha256:3e822c30e94a1dbf01d6ff5f550bc87cf41aeec9f507ac9759d24f3944756d4f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NZWMVJ24KSY2OGSEN4O6ZWJBCV/bundle.json","state_url":"https://pith.science/pith/NZWMVJ24KSY2OGSEN4O6ZWJBCV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NZWMVJ24KSY2OGSEN4O6ZWJBCV/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-06T15:39:59Z","links":{"resolver":"https://pith.science/pith/NZWMVJ24KSY2OGSEN4O6ZWJBCV","bundle":"https://pith.science/pith/NZWMVJ24KSY2OGSEN4O6ZWJBCV/bundle.json","state":"https://pith.science/pith/NZWMVJ24KSY2OGSEN4O6ZWJBCV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NZWMVJ24KSY2OGSEN4O6ZWJBCV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2004:NZWMVJ24KSY2OGSEN4O6ZWJBCV","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":"a7e40a9b1cb302464cfc2dd2d8d50a7613ccc93da814109b4e733c22bc11eb77","cross_cats_sorted":[],"license":"","primary_cat":"math.GR","submitted_at":"2004-10-29T10:45:59Z","title_canon_sha256":"7bd4502a8a6ed6fe42554582076b03902b37fa1da9e3e9dd0aab75de6f92e212"},"schema_version":"1.0","source":{"id":"math/0410616","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"math/0410616","created_at":"2026-05-18T03:55:35Z"},{"alias_kind":"arxiv_version","alias_value":"math/0410616v2","created_at":"2026-05-18T03:55:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.math/0410616","created_at":"2026-05-18T03:55:35Z"},{"alias_kind":"pith_short_12","alias_value":"NZWMVJ24KSY2","created_at":"2026-05-18T12:25:52Z"},{"alias_kind":"pith_short_16","alias_value":"NZWMVJ24KSY2OGSE","created_at":"2026-05-18T12:25:52Z"},{"alias_kind":"pith_short_8","alias_value":"NZWMVJ24","created_at":"2026-05-18T12:25:52Z"}],"graph_snapshots":[{"event_id":"sha256:3e822c30e94a1dbf01d6ff5f550bc87cf41aeec9f507ac9759d24f3944756d4f","target":"graph","created_at":"2026-05-18T03:55:35Z","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 study languages of geodesics in lamplighter groups and Thompson's group F. We show that the lamplighter groups $L_n$ have infinitely many cone types, have no regular geodesic languages, and have 1-counter, context-free and counter geodesic languages with respect to certain generating sets. We show that the full language of geodesics with respect to one generating set for the lamplighter group is not counter but is context-free, while with respect to another generating set the full language of geodesics is counter and context-free. In Thompson's group F with respect to the standard finite ge","authors_text":"Jennifer Taback, Murray Elder, Sean Cleary","cross_cats":[],"headline":"","license":"","primary_cat":"math.GR","submitted_at":"2004-10-29T10:45:59Z","title":"Cone types and geodesic languages for lamplighter groups and Thompson's group F"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"math/0410616","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:4c7d7060fceb4e1c3b574d68b7c2945f8b900922c237194ad96f3b02524dd008","target":"record","created_at":"2026-05-18T03:55:35Z","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":"a7e40a9b1cb302464cfc2dd2d8d50a7613ccc93da814109b4e733c22bc11eb77","cross_cats_sorted":[],"license":"","primary_cat":"math.GR","submitted_at":"2004-10-29T10:45:59Z","title_canon_sha256":"7bd4502a8a6ed6fe42554582076b03902b37fa1da9e3e9dd0aab75de6f92e212"},"schema_version":"1.0","source":{"id":"math/0410616","kind":"arxiv","version":2}},"canonical_sha256":"6e6ccaa75c54b1a71a446f1decd921156a15b37156021344f1b95f4c4ef5acbf","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6e6ccaa75c54b1a71a446f1decd921156a15b37156021344f1b95f4c4ef5acbf","first_computed_at":"2026-05-18T03:55:35.916322Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:55:35.916322Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"JKKF7upt9Nv+pjykdHyX7HOvYbwrtXhRTNTRIJ3mbnaZ1cnzcS1Ih66vTDtYbUETVPLWuqVoCST8D81yaXc1Aw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:55:35.916901Z","signed_message":"canonical_sha256_bytes"},"source_id":"math/0410616","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4c7d7060fceb4e1c3b574d68b7c2945f8b900922c237194ad96f3b02524dd008","sha256:3e822c30e94a1dbf01d6ff5f550bc87cf41aeec9f507ac9759d24f3944756d4f"],"state_sha256":"40ad70da0afd0912069e12f08f2f8deacce9d00c5da792724724e295f8762db4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NVFRQ2X1GXex0HuZXNGGEeO/96iNV0hVnceYeSfsZgmW3OKtIH19tn8P8+j1df3PZV9wYzxYTEj96pClMXRXAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-06T15:39:59.765996Z","bundle_sha256":"021ed876a6bb892c12e84251d9aee2d1bb05c1f1bebe6bb7fbd6ccdcaaec4cce"}}