{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:2SALJS6I6RZFU44PSFICT7KCHC","short_pith_number":"pith:2SALJS6I","canonical_record":{"source":{"id":"2601.07299","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"stat.AP","submitted_at":"2026-01-12T08:21:14Z","cross_cats_sorted":[],"title_canon_sha256":"aa1508aea4beb43bbe3afecd48c9b2810ff45826bc2017045816af0c38b9f9b9","abstract_canon_sha256":"2faef143507cc1e18332275b1fa0aac2cbb1aeba9201ecdc8b8d0a6f06c7055d"},"schema_version":"1.0"},"canonical_sha256":"d480b4cbc8f4725a738f915029fd4238a91f2900285331769ce6bd583fec21a1","source":{"kind":"arxiv","id":"2601.07299","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2601.07299","created_at":"2026-05-28T01:04:35Z"},{"alias_kind":"arxiv_version","alias_value":"2601.07299v2","created_at":"2026-05-28T01:04:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2601.07299","created_at":"2026-05-28T01:04:35Z"},{"alias_kind":"pith_short_12","alias_value":"2SALJS6I6RZF","created_at":"2026-05-28T01:04:35Z"},{"alias_kind":"pith_short_16","alias_value":"2SALJS6I6RZFU44P","created_at":"2026-05-28T01:04:35Z"},{"alias_kind":"pith_short_8","alias_value":"2SALJS6I","created_at":"2026-05-28T01:04:35Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:2SALJS6I6RZFU44PSFICT7KCHC","target":"record","payload":{"canonical_record":{"source":{"id":"2601.07299","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"stat.AP","submitted_at":"2026-01-12T08:21:14Z","cross_cats_sorted":[],"title_canon_sha256":"aa1508aea4beb43bbe3afecd48c9b2810ff45826bc2017045816af0c38b9f9b9","abstract_canon_sha256":"2faef143507cc1e18332275b1fa0aac2cbb1aeba9201ecdc8b8d0a6f06c7055d"},"schema_version":"1.0"},"canonical_sha256":"d480b4cbc8f4725a738f915029fd4238a91f2900285331769ce6bd583fec21a1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-28T01:04:35.222219Z","signature_b64":"DAHNIU9sSPClcx1V9ADF7Fdbl8JEpZRYhYlJLjok8Fbtwqtc4dLGBl2UeLr/UErUPj9YYIOk7LsuZqi5Lp46AA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d480b4cbc8f4725a738f915029fd4238a91f2900285331769ce6bd583fec21a1","last_reissued_at":"2026-05-28T01:04:35.221776Z","signature_status":"signed_v1","first_computed_at":"2026-05-28T01:04:35.221776Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2601.07299","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-28T01:04:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nmxqrIRJWLzuyXIFI+laFXZ6t5/ySSDDbaGxFAjWiQkdbGvu/61/PX7n3jL7yF1bMOs8iwOSE7OmV6PGxD7wBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T06:03:42.286553Z"},"content_sha256":"b94da5a7735dd4d4f2c5c6278877158abbba0e7266bdccde04781f9ef96028af","schema_version":"1.0","event_id":"sha256:b94da5a7735dd4d4f2c5c6278877158abbba0e7266bdccde04781f9ef96028af"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:2SALJS6I6RZFU44PSFICT7KCHC","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Cauchy-Gaussian Overbound for Heavy-tailed GNSS Measurement Errors","license":"http://creativecommons.org/licenses/by/4.0/","headline":"A Cauchy core plus Gaussian tails tightly overbounds heavy-tailed GNSS errors while preserving the property through convolution.","cross_cats":[],"primary_cat":"stat.AP","authors_text":"Li-Ta Hsu, Penggao Yan, Weisong Wen, Zhengdao Li","submitted_at":"2026-01-12T08:21:14Z","abstract_excerpt":"Overbounds of heavy-tailed measurement errors are essential to meet stringent navigation requirements in integrity monitoring applications. This paper proposes to leverage the bounding sharpness of the Cauchy distribution in the core and the Overbounds of heavy-tailed measurement errors are essential for meeting stringent navigation requirements in integrity-monitoring applications. This paper proposes to leverage the bounding sharpness of the Cauchy distribution in the core and the Gaussian distribution in the tails to tightly bound heavy-tailedglobal navigation satellite system measurement e"},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"our method can sharply bound heavy-tailed errors at both core and tail regions. In the position domain, the proposed method reduces the average vertical protection level by 15% for s.u. heavy-tailed errors compared to the single-CDF Gaussian overbound, and by 21% to 47% for n.s.u. heavy-tailed errors compared to the Navigation Discrete ENvelope and two-step Gaussian overbounds.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"The heavy-tailed GNSS measurement errors are unimodal (symmetric or not) and can be overbounded by a Cauchy core plus Gaussian tails with parameters chosen via the proposed procedure without violating the overbound in real data.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"A Cauchy-Gaussian overbound is developed to sharply bound heavy-tailed GNSS errors in core and tails, with a procedure for symmetric and asymmetric unimodal cases, a proof that the bound is preserved under convolution, and experimental reductions in vertical protection levels of 15-47% versus prior ","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"A Cauchy core plus Gaussian tails tightly overbounds heavy-tailed GNSS errors while preserving the property through convolution.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"2a503066b958846c0d91dc5c20086b9a1a801a90afb8e6ae97fabc8528ec2ce6"},"source":{"id":"2601.07299","kind":"arxiv","version":2},"verdict":{"id":"3c6e6bb3-237f-466b-9d7e-8d0d99d0262e","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-16T15:29:00.990326Z","strongest_claim":"our method can sharply bound heavy-tailed errors at both core and tail regions. In the position domain, the proposed method reduces the average vertical protection level by 15% for s.u. heavy-tailed errors compared to the single-CDF Gaussian overbound, and by 21% to 47% for n.s.u. heavy-tailed errors compared to the Navigation Discrete ENvelope and two-step Gaussian overbounds.","one_line_summary":"A Cauchy-Gaussian overbound is developed to sharply bound heavy-tailed GNSS errors in core and tails, with a procedure for symmetric and asymmetric unimodal cases, a proof that the bound is preserved under convolution, and experimental reductions in vertical protection levels of 15-47% versus prior ","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"The heavy-tailed GNSS measurement errors are unimodal (symmetric or not) and can be overbounded by a Cauchy core plus Gaussian tails with parameters chosen via the proposed procedure without violating the overbound in real data.","pith_extraction_headline":"A Cauchy core plus Gaussian tails tightly overbounds heavy-tailed GNSS errors while preserving the property through convolution."},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2601.07299/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":1,"snapshot_sha256":"ef3fb3080125596aed2408bdcce09a66c557b87621ee7fd1f633cbaed25ee946"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":"3c6e6bb3-237f-466b-9d7e-8d0d99d0262e"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-28T01:04:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8OILdeijtVNqiCUXezEKvfq3qH2VgzwKskMuVQ0XS4p/x/ItRitPbGFEdauOvX/lRU5qnEx302hZ2HnGIbrKAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T06:03:42.287044Z"},"content_sha256":"6fed20d3836e6a5703d8f2c37490791d7252f6e76a16c5ffa8cacb4c05c9eeb1","schema_version":"1.0","event_id":"sha256:6fed20d3836e6a5703d8f2c37490791d7252f6e76a16c5ffa8cacb4c05c9eeb1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/2SALJS6I6RZFU44PSFICT7KCHC/bundle.json","state_url":"https://pith.science/pith/2SALJS6I6RZFU44PSFICT7KCHC/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/2SALJS6I6RZFU44PSFICT7KCHC/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-05-30T06:03:42Z","links":{"resolver":"https://pith.science/pith/2SALJS6I6RZFU44PSFICT7KCHC","bundle":"https://pith.science/pith/2SALJS6I6RZFU44PSFICT7KCHC/bundle.json","state":"https://pith.science/pith/2SALJS6I6RZFU44PSFICT7KCHC/state.json","well_known_bundle":"https://pith.science/.well-known/pith/2SALJS6I6RZFU44PSFICT7KCHC/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:2SALJS6I6RZFU44PSFICT7KCHC","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":"2faef143507cc1e18332275b1fa0aac2cbb1aeba9201ecdc8b8d0a6f06c7055d","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"stat.AP","submitted_at":"2026-01-12T08:21:14Z","title_canon_sha256":"aa1508aea4beb43bbe3afecd48c9b2810ff45826bc2017045816af0c38b9f9b9"},"schema_version":"1.0","source":{"id":"2601.07299","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2601.07299","created_at":"2026-05-28T01:04:35Z"},{"alias_kind":"arxiv_version","alias_value":"2601.07299v2","created_at":"2026-05-28T01:04:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2601.07299","created_at":"2026-05-28T01:04:35Z"},{"alias_kind":"pith_short_12","alias_value":"2SALJS6I6RZF","created_at":"2026-05-28T01:04:35Z"},{"alias_kind":"pith_short_16","alias_value":"2SALJS6I6RZFU44P","created_at":"2026-05-28T01:04:35Z"},{"alias_kind":"pith_short_8","alias_value":"2SALJS6I","created_at":"2026-05-28T01:04:35Z"}],"graph_snapshots":[{"event_id":"sha256:6fed20d3836e6a5703d8f2c37490791d7252f6e76a16c5ffa8cacb4c05c9eeb1","target":"graph","created_at":"2026-05-28T01:04:35Z","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":4,"items":[{"attestation":"unclaimed","claim_id":"C1","kind":"strongest_claim","source":"verdict.strongest_claim","status":"machine_extracted","text":"our method can sharply bound heavy-tailed errors at both core and tail regions. In the position domain, the proposed method reduces the average vertical protection level by 15% for s.u. heavy-tailed errors compared to the single-CDF Gaussian overbound, and by 21% to 47% for n.s.u. heavy-tailed errors compared to the Navigation Discrete ENvelope and two-step Gaussian overbounds."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The heavy-tailed GNSS measurement errors are unimodal (symmetric or not) and can be overbounded by a Cauchy core plus Gaussian tails with parameters chosen via the proposed procedure without violating the overbound in real data."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"A Cauchy-Gaussian overbound is developed to sharply bound heavy-tailed GNSS errors in core and tails, with a procedure for symmetric and asymmetric unimodal cases, a proof that the bound is preserved under convolution, and experimental reductions in vertical protection levels of 15-47% versus prior "},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"A Cauchy core plus Gaussian tails tightly overbounds heavy-tailed GNSS errors while preserving the property through convolution."}],"snapshot_sha256":"2a503066b958846c0d91dc5c20086b9a1a801a90afb8e6ae97fabc8528ec2ce6"},"formal_canon":{"evidence_count":1,"snapshot_sha256":"ef3fb3080125596aed2408bdcce09a66c557b87621ee7fd1f633cbaed25ee946"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2601.07299/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Overbounds of heavy-tailed measurement errors are essential to meet stringent navigation requirements in integrity monitoring applications. This paper proposes to leverage the bounding sharpness of the Cauchy distribution in the core and the Overbounds of heavy-tailed measurement errors are essential for meeting stringent navigation requirements in integrity-monitoring applications. This paper proposes to leverage the bounding sharpness of the Cauchy distribution in the core and the Gaussian distribution in the tails to tightly bound heavy-tailedglobal navigation satellite system measurement e","authors_text":"Li-Ta Hsu, Penggao Yan, Weisong Wen, Zhengdao Li","cross_cats":[],"headline":"A Cauchy core plus Gaussian tails tightly overbounds heavy-tailed GNSS errors while preserving the property through convolution.","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"stat.AP","submitted_at":"2026-01-12T08:21:14Z","title":"Cauchy-Gaussian Overbound for Heavy-tailed GNSS Measurement Errors"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2601.07299","kind":"arxiv","version":2},"verdict":{"created_at":"2026-05-16T15:29:00.990326Z","id":"3c6e6bb3-237f-466b-9d7e-8d0d99d0262e","model_set":{"reader":"grok-4.3"},"one_line_summary":"A Cauchy-Gaussian overbound is developed to sharply bound heavy-tailed GNSS errors in core and tails, with a procedure for symmetric and asymmetric unimodal cases, a proof that the bound is preserved under convolution, and experimental reductions in vertical protection levels of 15-47% versus prior ","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"A Cauchy core plus Gaussian tails tightly overbounds heavy-tailed GNSS errors while preserving the property through convolution.","strongest_claim":"our method can sharply bound heavy-tailed errors at both core and tail regions. In the position domain, the proposed method reduces the average vertical protection level by 15% for s.u. heavy-tailed errors compared to the single-CDF Gaussian overbound, and by 21% to 47% for n.s.u. heavy-tailed errors compared to the Navigation Discrete ENvelope and two-step Gaussian overbounds.","weakest_assumption":"The heavy-tailed GNSS measurement errors are unimodal (symmetric or not) and can be overbounded by a Cauchy core plus Gaussian tails with parameters chosen via the proposed procedure without violating the overbound in real data."}},"verdict_id":"3c6e6bb3-237f-466b-9d7e-8d0d99d0262e"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:b94da5a7735dd4d4f2c5c6278877158abbba0e7266bdccde04781f9ef96028af","target":"record","created_at":"2026-05-28T01:04:35Z","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":"2faef143507cc1e18332275b1fa0aac2cbb1aeba9201ecdc8b8d0a6f06c7055d","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"stat.AP","submitted_at":"2026-01-12T08:21:14Z","title_canon_sha256":"aa1508aea4beb43bbe3afecd48c9b2810ff45826bc2017045816af0c38b9f9b9"},"schema_version":"1.0","source":{"id":"2601.07299","kind":"arxiv","version":2}},"canonical_sha256":"d480b4cbc8f4725a738f915029fd4238a91f2900285331769ce6bd583fec21a1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d480b4cbc8f4725a738f915029fd4238a91f2900285331769ce6bd583fec21a1","first_computed_at":"2026-05-28T01:04:35.221776Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-28T01:04:35.221776Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"DAHNIU9sSPClcx1V9ADF7Fdbl8JEpZRYhYlJLjok8Fbtwqtc4dLGBl2UeLr/UErUPj9YYIOk7LsuZqi5Lp46AA==","signature_status":"signed_v1","signed_at":"2026-05-28T01:04:35.222219Z","signed_message":"canonical_sha256_bytes"},"source_id":"2601.07299","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b94da5a7735dd4d4f2c5c6278877158abbba0e7266bdccde04781f9ef96028af","sha256:6fed20d3836e6a5703d8f2c37490791d7252f6e76a16c5ffa8cacb4c05c9eeb1"],"state_sha256":"fdb7dd0d361c50f674f428e51d26a1414147117e0c8449ad8d405895d949d5df"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8eoE3MD8EhpAFH/0GwoBht60NBt+z3YxzG5GAAI7ApJZgBdPBXJ6dPVKf6FYo9AwOpjE3KrIIcGBohsQemshBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T06:03:42.289698Z","bundle_sha256":"23cfcce69b936785574316f97c7c0e1e45b950d332638e69b334de5cec3bc81f"}}