{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2007:5R4C73PKCORPFOATAOOLKCBEXU","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":"08aaf475d993a816fa60a15ca79b469d72ebe513ea2ee82399b384cb17fcdd7a","cross_cats_sorted":["math.GR"],"license":"","primary_cat":"math.CO","submitted_at":"2007-02-07T15:48:43Z","title_canon_sha256":"a89b025d7ef653a41b778f5ae20f08bc24fe704c7c419914ee83a441ee97b1f9"},"schema_version":"1.0","source":{"id":"math/0702192","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"math/0702192","created_at":"2026-05-18T04:08:52Z"},{"alias_kind":"arxiv_version","alias_value":"math/0702192v2","created_at":"2026-05-18T04:08:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.math/0702192","created_at":"2026-05-18T04:08:52Z"},{"alias_kind":"pith_short_12","alias_value":"5R4C73PKCORP","created_at":"2026-05-18T12:25:55Z"},{"alias_kind":"pith_short_16","alias_value":"5R4C73PKCORPFOAT","created_at":"2026-05-18T12:25:55Z"},{"alias_kind":"pith_short_8","alias_value":"5R4C73PK","created_at":"2026-05-18T12:25:55Z"}],"graph_snapshots":[{"event_id":"sha256:0a877d9fb15754ea39b45f10b6f94c45750129eb97fbc9a9f045833bb1dc4e5c","target":"graph","created_at":"2026-05-18T04:08:52Z","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":"Given a Coxeter system (W,S) equipped with an involutive automorphism T, the set of twisted identities is i(T) = {T(w)^{-1}w : w \\in W}. We point out how i(T) shows up in several contexts and prove that if there is no s \\in S such that sT(s) is of odd order greater than 1, then the Bruhat order on i(T) is a graded poset with rank function r given by halving the Coxeter length. Under the same condition, it is shown that the order complexes of the open intervals either are PL spheres or acyclic over the integers. In the general case, contractibility is shown for certain classes of intervals. Fur","authors_text":"Axel Hultman","cross_cats":["math.GR"],"headline":"","license":"","primary_cat":"math.CO","submitted_at":"2007-02-07T15:48:43Z","title":"Twisted identities in Coxeter groups"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"math/0702192","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:2c36e2a9a350d9a73adf99f693c862b77d4feb165325b1b84a20a2fd5f390d06","target":"record","created_at":"2026-05-18T04:08:52Z","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":"08aaf475d993a816fa60a15ca79b469d72ebe513ea2ee82399b384cb17fcdd7a","cross_cats_sorted":["math.GR"],"license":"","primary_cat":"math.CO","submitted_at":"2007-02-07T15:48:43Z","title_canon_sha256":"a89b025d7ef653a41b778f5ae20f08bc24fe704c7c419914ee83a441ee97b1f9"},"schema_version":"1.0","source":{"id":"math/0702192","kind":"arxiv","version":2}},"canonical_sha256":"ec782fedea13a2f2b813039cb50824bd39d45f2ef3a5b2f7704419cd0ebfd797","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ec782fedea13a2f2b813039cb50824bd39d45f2ef3a5b2f7704419cd0ebfd797","first_computed_at":"2026-05-18T04:08:52.921988Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:08:52.921988Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Q/J8+CNnq2WLqG2dFoAm6izxFCu44G0/MxeBvBJEeSl6OXQ48ueJS0OS6t7yBXBgp1bbTp8TXFkyrmzDgsfjAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T04:08:52.922494Z","signed_message":"canonical_sha256_bytes"},"source_id":"math/0702192","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2c36e2a9a350d9a73adf99f693c862b77d4feb165325b1b84a20a2fd5f390d06","sha256:0a877d9fb15754ea39b45f10b6f94c45750129eb97fbc9a9f045833bb1dc4e5c"],"state_sha256":"c942566d71ea990482d56d6716de40ad387421a6490ce9108cf30e227a070dfd"}