{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:RSBMH5YWBEWSK5PVPL6WR7LC7D","short_pith_number":"pith:RSBMH5YW","schema_version":"1.0","canonical_sha256":"8c82c3f716092d2575f57afd68fd62f8efc23d1fa51ef39090841973d8345cf8","source":{"kind":"arxiv","id":"1707.00215","version":1},"attestation_state":"computed","paper":{"title":"Automaton groups and complete square complexes","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.AT"],"primary_cat":"math.GR","authors_text":"Bohdan Kivva, Ievgen Bondarenko","submitted_at":"2017-07-01T23:01:33Z","abstract_excerpt":"The first example of a non-residually finite group in the classes of finitely presented small-cancelation groups, automatic groups, and CAT(0) groups was constructed by Wise as the fundamental group of a complete square complex (CSC for short) with twelve squares. At the same time, Janzen and Wise proved that CSCs with at most three squares, five or seven squares have residually finite fundamental group. The smallest open cases were CSCs with four squares and directed complete VH complexes with six squares. We prove that the CSC with four squares studied by Janzen and Wise has a non-residually"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1707.00215","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2017-07-01T23:01:33Z","cross_cats_sorted":["math.AT"],"title_canon_sha256":"9b60f92f12436c3c2a9f1a9ad1f384042da44038f14bbfe4afff05c66d21d9d9","abstract_canon_sha256":"34aacb8f4c8b51cde63f99f4493d9e6156b47e16678a5953d7a25393dacf451f"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:41:04.098348Z","signature_b64":"yb6Xf2lVjmKstLtIaNIIpyjGJvDjk1GiPp3Wddq9OQl1YbLrh/gdY4CXLGaIKkzwCpHOzzJL8Y7+HGnH5X1GCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8c82c3f716092d2575f57afd68fd62f8efc23d1fa51ef39090841973d8345cf8","last_reissued_at":"2026-05-18T00:41:04.097657Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:41:04.097657Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Automaton groups and complete square complexes","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.AT"],"primary_cat":"math.GR","authors_text":"Bohdan Kivva, Ievgen Bondarenko","submitted_at":"2017-07-01T23:01:33Z","abstract_excerpt":"The first example of a non-residually finite group in the classes of finitely presented small-cancelation groups, automatic groups, and CAT(0) groups was constructed by Wise as the fundamental group of a complete square complex (CSC for short) with twelve squares. At the same time, Janzen and Wise proved that CSCs with at most three squares, five or seven squares have residually finite fundamental group. The smallest open cases were CSCs with four squares and directed complete VH complexes with six squares. We prove that the CSC with four squares studied by Janzen and Wise has a non-residually"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.00215","kind":"arxiv","version":1},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1707.00215","created_at":"2026-05-18T00:41:04.097760+00:00"},{"alias_kind":"arxiv_version","alias_value":"1707.00215v1","created_at":"2026-05-18T00:41:04.097760+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.00215","created_at":"2026-05-18T00:41:04.097760+00:00"},{"alias_kind":"pith_short_12","alias_value":"RSBMH5YWBEWS","created_at":"2026-05-18T12:31:39.905425+00:00"},{"alias_kind":"pith_short_16","alias_value":"RSBMH5YWBEWSK5PV","created_at":"2026-05-18T12:31:39.905425+00:00"},{"alias_kind":"pith_short_8","alias_value":"RSBMH5YW","created_at":"2026-05-18T12:31:39.905425+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/RSBMH5YWBEWSK5PVPL6WR7LC7D","json":"https://pith.science/pith/RSBMH5YWBEWSK5PVPL6WR7LC7D.json","graph_json":"https://pith.science/api/pith-number/RSBMH5YWBEWSK5PVPL6WR7LC7D/graph.json","events_json":"https://pith.science/api/pith-number/RSBMH5YWBEWSK5PVPL6WR7LC7D/events.json","paper":"https://pith.science/paper/RSBMH5YW"},"agent_actions":{"view_html":"https://pith.science/pith/RSBMH5YWBEWSK5PVPL6WR7LC7D","download_json":"https://pith.science/pith/RSBMH5YWBEWSK5PVPL6WR7LC7D.json","view_paper":"https://pith.science/paper/RSBMH5YW","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1707.00215&json=true","fetch_graph":"https://pith.science/api/pith-number/RSBMH5YWBEWSK5PVPL6WR7LC7D/graph.json","fetch_events":"https://pith.science/api/pith-number/RSBMH5YWBEWSK5PVPL6WR7LC7D/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/RSBMH5YWBEWSK5PVPL6WR7LC7D/action/timestamp_anchor","attest_storage":"https://pith.science/pith/RSBMH5YWBEWSK5PVPL6WR7LC7D/action/storage_attestation","attest_author":"https://pith.science/pith/RSBMH5YWBEWSK5PVPL6WR7LC7D/action/author_attestation","sign_citation":"https://pith.science/pith/RSBMH5YWBEWSK5PVPL6WR7LC7D/action/citation_signature","submit_replication":"https://pith.science/pith/RSBMH5YWBEWSK5PVPL6WR7LC7D/action/replication_record"}},"created_at":"2026-05-18T00:41:04.097760+00:00","updated_at":"2026-05-18T00:41:04.097760+00:00"}