{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:77TEBML5RWCRYMNGETDHZZJIXM","short_pith_number":"pith:77TEBML5","canonical_record":{"source":{"id":"1804.06699","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"stat.ME","submitted_at":"2018-04-18T13:08:07Z","cross_cats_sorted":[],"title_canon_sha256":"caa17f044beea9aa86e2c450fdbd73cbf694eaa5f8845337628e8ad675ff6a1a","abstract_canon_sha256":"10eb37cea72dc73f180552510e8af6acb9ebbf0a1834f722221db96d892d4dc0"},"schema_version":"1.0"},"canonical_sha256":"ffe640b17d8d851c31a624c67ce528bb11c7625d5ab993ecfeb0070fe6f984b9","source":{"kind":"arxiv","id":"1804.06699","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.06699","created_at":"2026-05-18T00:04:58Z"},{"alias_kind":"arxiv_version","alias_value":"1804.06699v2","created_at":"2026-05-18T00:04:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.06699","created_at":"2026-05-18T00:04:58Z"},{"alias_kind":"pith_short_12","alias_value":"77TEBML5RWCR","created_at":"2026-05-18T12:32:11Z"},{"alias_kind":"pith_short_16","alias_value":"77TEBML5RWCRYMNG","created_at":"2026-05-18T12:32:11Z"},{"alias_kind":"pith_short_8","alias_value":"77TEBML5","created_at":"2026-05-18T12:32:11Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:77TEBML5RWCRYMNGETDHZZJIXM","target":"record","payload":{"canonical_record":{"source":{"id":"1804.06699","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"stat.ME","submitted_at":"2018-04-18T13:08:07Z","cross_cats_sorted":[],"title_canon_sha256":"caa17f044beea9aa86e2c450fdbd73cbf694eaa5f8845337628e8ad675ff6a1a","abstract_canon_sha256":"10eb37cea72dc73f180552510e8af6acb9ebbf0a1834f722221db96d892d4dc0"},"schema_version":"1.0"},"canonical_sha256":"ffe640b17d8d851c31a624c67ce528bb11c7625d5ab993ecfeb0070fe6f984b9","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:04:58.873830Z","signature_b64":"Fo4rBoqnZNRR4ykJgXT9RoUOSSa+k6bruXBtrlbtJ1fDqV8X7PK2GeL9f5JIRRc/aD8ApB2KVEK3PaPuOuMgCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ffe640b17d8d851c31a624c67ce528bb11c7625d5ab993ecfeb0070fe6f984b9","last_reissued_at":"2026-05-18T00:04:58.873385Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:04:58.873385Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1804.06699","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:04:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"d3UdDpdR9Dp3Uownc/mKewU6g1Yep2N3jV7AoCXUkuDFoGtuir7Fjy9iwi+mOhVk1Xv+GA5krL65irhPmc23Dw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-21T13:22:12.930260Z"},"content_sha256":"adbf078b41bb60752a72577446356b4bbd7c00aea3cc6d916d00c8f5e1f34f09","schema_version":"1.0","event_id":"sha256:adbf078b41bb60752a72577446356b4bbd7c00aea3cc6d916d00c8f5e1f34f09"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:77TEBML5RWCRYMNGETDHZZJIXM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Is a Finite Intersection of Balls Covered by a Finite Union of Balls in Euclidean Spaces ?","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"stat.ME","authors_text":"Vincent Runge","submitted_at":"2018-04-18T13:08:07Z","abstract_excerpt":"Considering a finite intersection of balls and a finite union of other balls in an Euclidean space, we propose an exact method to test whether the intersection is covered by the union. We reformulate this problem into quadratic programming problems. For each problem, we study the intersection between a sphere and a Voronoi-like polyhedron. That way we get information about a possible overlap between the frontier of the union and the intersection of balls. If the polyhedra are non-degenerate, the initial nonconvex geometric problem, which is NP-hard in general, is tractable in polynomial time b"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.06699","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:04:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"B0D6H1sr6NKi9EXLi0m8GJoGxrvcqvQdFacYWknWcQ39hqbWINPlTMws2PCkm2lqNrUTDBQqQ1M4/aFxnD6bDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-21T13:22:12.930609Z"},"content_sha256":"c6ee1ecf64a2ec66bda9226ee46cd560ea2d6d30c3135a51f58e509fb1e7976f","schema_version":"1.0","event_id":"sha256:c6ee1ecf64a2ec66bda9226ee46cd560ea2d6d30c3135a51f58e509fb1e7976f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/77TEBML5RWCRYMNGETDHZZJIXM/bundle.json","state_url":"https://pith.science/pith/77TEBML5RWCRYMNGETDHZZJIXM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/77TEBML5RWCRYMNGETDHZZJIXM/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-07-21T13:22:12Z","links":{"resolver":"https://pith.science/pith/77TEBML5RWCRYMNGETDHZZJIXM","bundle":"https://pith.science/pith/77TEBML5RWCRYMNGETDHZZJIXM/bundle.json","state":"https://pith.science/pith/77TEBML5RWCRYMNGETDHZZJIXM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/77TEBML5RWCRYMNGETDHZZJIXM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:77TEBML5RWCRYMNGETDHZZJIXM","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":"10eb37cea72dc73f180552510e8af6acb9ebbf0a1834f722221db96d892d4dc0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"stat.ME","submitted_at":"2018-04-18T13:08:07Z","title_canon_sha256":"caa17f044beea9aa86e2c450fdbd73cbf694eaa5f8845337628e8ad675ff6a1a"},"schema_version":"1.0","source":{"id":"1804.06699","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.06699","created_at":"2026-05-18T00:04:58Z"},{"alias_kind":"arxiv_version","alias_value":"1804.06699v2","created_at":"2026-05-18T00:04:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.06699","created_at":"2026-05-18T00:04:58Z"},{"alias_kind":"pith_short_12","alias_value":"77TEBML5RWCR","created_at":"2026-05-18T12:32:11Z"},{"alias_kind":"pith_short_16","alias_value":"77TEBML5RWCRYMNG","created_at":"2026-05-18T12:32:11Z"},{"alias_kind":"pith_short_8","alias_value":"77TEBML5","created_at":"2026-05-18T12:32:11Z"}],"graph_snapshots":[{"event_id":"sha256:c6ee1ecf64a2ec66bda9226ee46cd560ea2d6d30c3135a51f58e509fb1e7976f","target":"graph","created_at":"2026-05-18T00:04:58Z","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":"Considering a finite intersection of balls and a finite union of other balls in an Euclidean space, we propose an exact method to test whether the intersection is covered by the union. We reformulate this problem into quadratic programming problems. For each problem, we study the intersection between a sphere and a Voronoi-like polyhedron. That way we get information about a possible overlap between the frontier of the union and the intersection of balls. If the polyhedra are non-degenerate, the initial nonconvex geometric problem, which is NP-hard in general, is tractable in polynomial time b","authors_text":"Vincent Runge","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"stat.ME","submitted_at":"2018-04-18T13:08:07Z","title":"Is a Finite Intersection of Balls Covered by a Finite Union of Balls in Euclidean Spaces ?"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.06699","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:adbf078b41bb60752a72577446356b4bbd7c00aea3cc6d916d00c8f5e1f34f09","target":"record","created_at":"2026-05-18T00:04:58Z","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":"10eb37cea72dc73f180552510e8af6acb9ebbf0a1834f722221db96d892d4dc0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"stat.ME","submitted_at":"2018-04-18T13:08:07Z","title_canon_sha256":"caa17f044beea9aa86e2c450fdbd73cbf694eaa5f8845337628e8ad675ff6a1a"},"schema_version":"1.0","source":{"id":"1804.06699","kind":"arxiv","version":2}},"canonical_sha256":"ffe640b17d8d851c31a624c67ce528bb11c7625d5ab993ecfeb0070fe6f984b9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ffe640b17d8d851c31a624c67ce528bb11c7625d5ab993ecfeb0070fe6f984b9","first_computed_at":"2026-05-18T00:04:58.873385Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:04:58.873385Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Fo4rBoqnZNRR4ykJgXT9RoUOSSa+k6bruXBtrlbtJ1fDqV8X7PK2GeL9f5JIRRc/aD8ApB2KVEK3PaPuOuMgCg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:04:58.873830Z","signed_message":"canonical_sha256_bytes"},"source_id":"1804.06699","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:adbf078b41bb60752a72577446356b4bbd7c00aea3cc6d916d00c8f5e1f34f09","sha256:c6ee1ecf64a2ec66bda9226ee46cd560ea2d6d30c3135a51f58e509fb1e7976f"],"state_sha256":"2f9ed5023c1139823eaa4038ddfdf1858787989604b1717f580b8d9d976b0c38"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bFq8LgFXPPC8Kmd61oWUCM6lxZ5gXMBVt/MVhfbgmeNczhExi0pC/mVzBJ+VME6Lyk3GK6XnphQwr96hA3pFAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-21T13:22:12.932935Z","bundle_sha256":"cc4822643dd7aa4b58211ce5628067f37534ab7a2208aaebf80e097716e5d827"}}