{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:RSEOQFB3L3HU46S4PIXIIGYWWE","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":"8046032db3d86a256e28bb91de45b493388333866402fdafc9e7b2c183f3ead1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2023-06-08T06:55:15Z","title_canon_sha256":"73b3c5eee9bcef8e3346a9c8dceccc8c5f083b97d0049fdf1581b60fa42c1d6d"},"schema_version":"1.0","source":{"id":"2306.04969","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2306.04969","created_at":"2026-07-05T06:18:44Z"},{"alias_kind":"arxiv_version","alias_value":"2306.04969v1","created_at":"2026-07-05T06:18:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2306.04969","created_at":"2026-07-05T06:18:44Z"},{"alias_kind":"pith_short_12","alias_value":"RSEOQFB3L3HU","created_at":"2026-07-05T06:18:44Z"},{"alias_kind":"pith_short_16","alias_value":"RSEOQFB3L3HU46S4","created_at":"2026-07-05T06:18:44Z"},{"alias_kind":"pith_short_8","alias_value":"RSEOQFB3","created_at":"2026-07-05T06:18:44Z"}],"graph_snapshots":[{"event_id":"sha256:c61c7b90e1e7c2d52da67d47719b98cf286060ccc5c5f18fe4b9af02000912e1","target":"graph","created_at":"2026-07-05T06:18:44Z","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/2306.04969/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We prove a non-archimedean analogue of J{\\o}rgensen's inequality, and use it to deduce several algebraic convergence results. As an application we show that every dense subgroup of $\\mathrm{SL}(\\mathbb{Q}_p)$ contains two elements which generate a dense subgroup of $\\mathrm{SL}(\\mathbb{Q}_p)$, which is a special case of a result by Breuillard and Gelander. We also list several other related results, which are well-known to experts, but not easy to locate in the literature; for example, we show that a non-elementary subgroup of $\\mathrm{SL}(K)$ over a non-archimedean local field $K$ is discrete","authors_text":"Harris Pok Hei Leung, Jeroen Schillewaert, Matthew Conder","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2023-06-08T06:55:15Z","title":"Basic Non-Archimedean J{\\o}rgensen Theory"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2306.04969","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:66104b64252f694d8bfd3ad3bceeb85653c88393306dc0ee7d384923e2e2d75b","target":"record","created_at":"2026-07-05T06:18:44Z","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":"8046032db3d86a256e28bb91de45b493388333866402fdafc9e7b2c183f3ead1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2023-06-08T06:55:15Z","title_canon_sha256":"73b3c5eee9bcef8e3346a9c8dceccc8c5f083b97d0049fdf1581b60fa42c1d6d"},"schema_version":"1.0","source":{"id":"2306.04969","kind":"arxiv","version":1}},"canonical_sha256":"8c88e8143b5ecf4e7a5c7a2e841b16b1306cd861cf674531c5170865d039b759","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8c88e8143b5ecf4e7a5c7a2e841b16b1306cd861cf674531c5170865d039b759","first_computed_at":"2026-07-05T06:18:44.160603Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:18:44.160603Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"E6qaKIJ/rf8TwKO6eoXybkjNowS+AWjwozadPg7GF3o+Xk6LBXQP5F/eHdVcqfXExxFp+uXlQ5FL7xd1ntDyBw==","signature_status":"signed_v1","signed_at":"2026-07-05T06:18:44.161001Z","signed_message":"canonical_sha256_bytes"},"source_id":"2306.04969","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:66104b64252f694d8bfd3ad3bceeb85653c88393306dc0ee7d384923e2e2d75b","sha256:c61c7b90e1e7c2d52da67d47719b98cf286060ccc5c5f18fe4b9af02000912e1"],"state_sha256":"100a6ba6215fc4c1d445d24df98c92171f85d2a6e4a38fa03f91863f47740638"}