{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:ZOT22ZNIBW7LMPLH4SEAH35YP4","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":"34327ab022d1c0c331bf0ad141a568d38661d4c14fea8a2b3662d0e8c25a395e","cross_cats_sorted":["math-ph","math.FA","math.MP"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.PR","submitted_at":"2019-05-08T15:32:24Z","title_canon_sha256":"50e2ffdcc0ab1570f23996cd87528b90131aac107e662e44263024c5472f6a53"},"schema_version":"1.0","source":{"id":"1905.03154","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1905.03154","created_at":"2026-05-17T23:46:42Z"},{"alias_kind":"arxiv_version","alias_value":"1905.03154v1","created_at":"2026-05-17T23:46:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.03154","created_at":"2026-05-17T23:46:42Z"},{"alias_kind":"pith_short_12","alias_value":"ZOT22ZNIBW7L","created_at":"2026-05-18T12:33:33Z"},{"alias_kind":"pith_short_16","alias_value":"ZOT22ZNIBW7LMPLH","created_at":"2026-05-18T12:33:33Z"},{"alias_kind":"pith_short_8","alias_value":"ZOT22ZNI","created_at":"2026-05-18T12:33:33Z"}],"graph_snapshots":[{"event_id":"sha256:bcd1c8a776de80605f6471671fddcaea8adcf6a6c02a175a57931d3a6bf87c21","target":"graph","created_at":"2026-05-17T23:46:42Z","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":"Let $O(2n+\\ell)$ be the group of orthogonal matrices of size $\\left(2n+\\ell\\right)\\times \\left(2n+\\ell\\right)$ equipped with the probability distribution given by normalized Haar measure. We study the probability \\begin{equation*} p_{2n}^{\\left(\\ell\\right)} = \\mathbb{P}\\left[M_{2n} \\, \\mbox{has no real eigenvalues}\\right], \\end{equation*} where $M_{2n}$ is the $2n\\times 2n$ left top minor of a $(2n+\\ell)\\times(2n+\\ell)$ orthogonal matrix. We prove that this probability is given in terms of a determinant identity minus a weighted Hankel matrix of size $n\\times n$ that depends on the truncation ","authors_text":"Martin Gebert, Mihail Poplavskyi","cross_cats":["math-ph","math.FA","math.MP"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.PR","submitted_at":"2019-05-08T15:32:24Z","title":"On pure complex spectrum for truncations of random orthogonal matrices and Kac polynomials"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.03154","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:b892860d1acbc02c82a24cfe539ba1431768a9e77c6e521ba19069677f5c72a0","target":"record","created_at":"2026-05-17T23:46:42Z","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":"34327ab022d1c0c331bf0ad141a568d38661d4c14fea8a2b3662d0e8c25a395e","cross_cats_sorted":["math-ph","math.FA","math.MP"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.PR","submitted_at":"2019-05-08T15:32:24Z","title_canon_sha256":"50e2ffdcc0ab1570f23996cd87528b90131aac107e662e44263024c5472f6a53"},"schema_version":"1.0","source":{"id":"1905.03154","kind":"arxiv","version":1}},"canonical_sha256":"cba7ad65a80dbeb63d67e48803efb87f1781b6399661a7fd93712ca7bf8dfcb6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"cba7ad65a80dbeb63d67e48803efb87f1781b6399661a7fd93712ca7bf8dfcb6","first_computed_at":"2026-05-17T23:46:42.713420Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:46:42.713420Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"XOy9PbkfE1OnPd4LY6sB+UDmtsUn6IpUJmn7qBj/tIV5WAhkLjvJzYSVC3lBnVgcXbD3hD6+sM1EYXry/iO0Aw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:46:42.714167Z","signed_message":"canonical_sha256_bytes"},"source_id":"1905.03154","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b892860d1acbc02c82a24cfe539ba1431768a9e77c6e521ba19069677f5c72a0","sha256:bcd1c8a776de80605f6471671fddcaea8adcf6a6c02a175a57931d3a6bf87c21"],"state_sha256":"e16c4d5e0a01f4c521383b119d07de97f1f910808fd302b81e757b39a1e1b083"}