{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:QYX7ZWH3346EVPGXED6FJRLPCG","short_pith_number":"pith:QYX7ZWH3","canonical_record":{"source":{"id":"1707.08353","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2017-07-26T10:16:21Z","cross_cats_sorted":["math.LO"],"title_canon_sha256":"e366aa9f9f2d02a35a45a7ddabe0b458cda944531bbbd1f5caf401c6ca01c912","abstract_canon_sha256":"53ae262b8835fd9c0b5d7df35f7a0bcf944fbfefba8bac179fa2714f989b9a29"},"schema_version":"1.0"},"canonical_sha256":"862ffcd8fbdf3c4abcd720fc54c56f11a8306d91d732908895cd3992e7342403","source":{"kind":"arxiv","id":"1707.08353","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.08353","created_at":"2026-05-18T00:18:41Z"},{"alias_kind":"arxiv_version","alias_value":"1707.08353v2","created_at":"2026-05-18T00:18:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.08353","created_at":"2026-05-18T00:18:41Z"},{"alias_kind":"pith_short_12","alias_value":"QYX7ZWH3346E","created_at":"2026-05-18T12:31:39Z"},{"alias_kind":"pith_short_16","alias_value":"QYX7ZWH3346EVPGX","created_at":"2026-05-18T12:31:39Z"},{"alias_kind":"pith_short_8","alias_value":"QYX7ZWH3","created_at":"2026-05-18T12:31:39Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:QYX7ZWH3346EVPGXED6FJRLPCG","target":"record","payload":{"canonical_record":{"source":{"id":"1707.08353","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2017-07-26T10:16:21Z","cross_cats_sorted":["math.LO"],"title_canon_sha256":"e366aa9f9f2d02a35a45a7ddabe0b458cda944531bbbd1f5caf401c6ca01c912","abstract_canon_sha256":"53ae262b8835fd9c0b5d7df35f7a0bcf944fbfefba8bac179fa2714f989b9a29"},"schema_version":"1.0"},"canonical_sha256":"862ffcd8fbdf3c4abcd720fc54c56f11a8306d91d732908895cd3992e7342403","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:18:41.477549Z","signature_b64":"tbCQBhf795xlAsHz67DX2GzYhCJoWf/JZYiXGBFIfO970+U4cnEh9YzIZwMFQD+VERYKOkZFzoXPYsCVo0qYDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"862ffcd8fbdf3c4abcd720fc54c56f11a8306d91d732908895cd3992e7342403","last_reissued_at":"2026-05-18T00:18:41.476981Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:18:41.476981Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1707.08353","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-18T00:18:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Sfa2y2eNViyUo8QthE2659kvEcoh/mHmAEU7lf3TvFiY7x8x4Ktx4euV8lLKzYio0neKInp2oAhEXUxnmKU+DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T22:14:10.406880Z"},"content_sha256":"21ecc6b576f8be0eb2941ea7edb05268dffb9b2b40641a5483ff8b0a5ecc5543","schema_version":"1.0","event_id":"sha256:21ecc6b576f8be0eb2941ea7edb05268dffb9b2b40641a5483ff8b0a5ecc5543"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:QYX7ZWH3346EVPGXED6FJRLPCG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Elementary equivalence in Artin groups of finite type","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.LO"],"primary_cat":"math.GR","authors_text":"Arpan Kabiraj, Rishi Vyas, T. V. H. Prathamesh","submitted_at":"2017-07-26T10:16:21Z","abstract_excerpt":"Irreducible Artin groups of finite type can be parametrized via their associated Coxeter diagrams into six sporadic examples and four infinite families, each of which is further parametrized by the natural numbers. Within each of these four infinite families, we investigate the relationship between elementary equivalence and isomorphism. For three out of the four families, we show that two groups in the same family are equivalent if and only if they are isomorphic; a positive, but weaker, result is also attained for the fourth family. In particular, we show that two braid groups are elementari"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.08353","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-18T00:18:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"aGQ4wqYwV08cvQIJ/v00pZd35Zsky6vNyYRs3DvAKdEank54V94pdUFmFEhzeIiD0Fss/X7rZmbgIymYjuXnDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T22:14:10.407224Z"},"content_sha256":"4c0c547f8e7ddc66f4faf6125d5a7f9085c7594a15d5e457bbe3c89ebfaaab63","schema_version":"1.0","event_id":"sha256:4c0c547f8e7ddc66f4faf6125d5a7f9085c7594a15d5e457bbe3c89ebfaaab63"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QYX7ZWH3346EVPGXED6FJRLPCG/bundle.json","state_url":"https://pith.science/pith/QYX7ZWH3346EVPGXED6FJRLPCG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QYX7ZWH3346EVPGXED6FJRLPCG/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-03T22:14:10Z","links":{"resolver":"https://pith.science/pith/QYX7ZWH3346EVPGXED6FJRLPCG","bundle":"https://pith.science/pith/QYX7ZWH3346EVPGXED6FJRLPCG/bundle.json","state":"https://pith.science/pith/QYX7ZWH3346EVPGXED6FJRLPCG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QYX7ZWH3346EVPGXED6FJRLPCG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:QYX7ZWH3346EVPGXED6FJRLPCG","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":"53ae262b8835fd9c0b5d7df35f7a0bcf944fbfefba8bac179fa2714f989b9a29","cross_cats_sorted":["math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2017-07-26T10:16:21Z","title_canon_sha256":"e366aa9f9f2d02a35a45a7ddabe0b458cda944531bbbd1f5caf401c6ca01c912"},"schema_version":"1.0","source":{"id":"1707.08353","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.08353","created_at":"2026-05-18T00:18:41Z"},{"alias_kind":"arxiv_version","alias_value":"1707.08353v2","created_at":"2026-05-18T00:18:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.08353","created_at":"2026-05-18T00:18:41Z"},{"alias_kind":"pith_short_12","alias_value":"QYX7ZWH3346E","created_at":"2026-05-18T12:31:39Z"},{"alias_kind":"pith_short_16","alias_value":"QYX7ZWH3346EVPGX","created_at":"2026-05-18T12:31:39Z"},{"alias_kind":"pith_short_8","alias_value":"QYX7ZWH3","created_at":"2026-05-18T12:31:39Z"}],"graph_snapshots":[{"event_id":"sha256:4c0c547f8e7ddc66f4faf6125d5a7f9085c7594a15d5e457bbe3c89ebfaaab63","target":"graph","created_at":"2026-05-18T00:18:41Z","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":"Irreducible Artin groups of finite type can be parametrized via their associated Coxeter diagrams into six sporadic examples and four infinite families, each of which is further parametrized by the natural numbers. Within each of these four infinite families, we investigate the relationship between elementary equivalence and isomorphism. For three out of the four families, we show that two groups in the same family are equivalent if and only if they are isomorphic; a positive, but weaker, result is also attained for the fourth family. In particular, we show that two braid groups are elementari","authors_text":"Arpan Kabiraj, Rishi Vyas, T. V. H. Prathamesh","cross_cats":["math.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2017-07-26T10:16:21Z","title":"Elementary equivalence in Artin groups of finite type"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.08353","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:21ecc6b576f8be0eb2941ea7edb05268dffb9b2b40641a5483ff8b0a5ecc5543","target":"record","created_at":"2026-05-18T00:18:41Z","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":"53ae262b8835fd9c0b5d7df35f7a0bcf944fbfefba8bac179fa2714f989b9a29","cross_cats_sorted":["math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2017-07-26T10:16:21Z","title_canon_sha256":"e366aa9f9f2d02a35a45a7ddabe0b458cda944531bbbd1f5caf401c6ca01c912"},"schema_version":"1.0","source":{"id":"1707.08353","kind":"arxiv","version":2}},"canonical_sha256":"862ffcd8fbdf3c4abcd720fc54c56f11a8306d91d732908895cd3992e7342403","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"862ffcd8fbdf3c4abcd720fc54c56f11a8306d91d732908895cd3992e7342403","first_computed_at":"2026-05-18T00:18:41.476981Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:18:41.476981Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"tbCQBhf795xlAsHz67DX2GzYhCJoWf/JZYiXGBFIfO970+U4cnEh9YzIZwMFQD+VERYKOkZFzoXPYsCVo0qYDg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:18:41.477549Z","signed_message":"canonical_sha256_bytes"},"source_id":"1707.08353","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:21ecc6b576f8be0eb2941ea7edb05268dffb9b2b40641a5483ff8b0a5ecc5543","sha256:4c0c547f8e7ddc66f4faf6125d5a7f9085c7594a15d5e457bbe3c89ebfaaab63"],"state_sha256":"ed85c18984115f76eae27021c7731549fecb1876d70850ad8468a05d5968bcb9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NXmnah7FzADszxrDyJWm9/2oxoAMH4NvM6KrTNtPRNa52NGWXt5AqRaA4J7RN+fwWu6yHsT9cCu2wDwA2RihBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T22:14:10.409104Z","bundle_sha256":"c5758a6da73bde250bb8916b40e02fb45d578e2e1e062e93ff0089758e501eee"}}