{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:76GOQYEB7ZINPWQWTRYZYLWIFK","short_pith_number":"pith:76GOQYEB","schema_version":"1.0","canonical_sha256":"ff8ce86081fe50d7da169c719c2ec82ab8a4dd50608128b6adfa288a16ce1a6f","source":{"kind":"arxiv","id":"2606.07945","version":1},"attestation_state":"computed","paper":{"title":"Directed Convex Powerspaces and Convex Powerdomains","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":["math.CT"],"primary_cat":"math.GN","authors_text":"Yuxu Chen","submitted_at":"2026-06-06T02:29:32Z","abstract_excerpt":"It is known that lower powerdomains preserve and reflect both continuity and quasicontinuity, while the preservation of quasicontinuity by upper and convex powerdomains had long been open. Directed spaces provide a topological extension framework for dcpos. Powerdomains of dcpos can be characterized as the $D$-completions of the corresponding directed powerspaces. Using this observation, the authors proved in 2024 that upper powerdomains do not preserve quasicontinuity. In this paper, we prove that directed convex powerspaces and convex powerdomains do not preserve quasicontinuity, but they do"},"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":"2606.07945","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"math.GN","submitted_at":"2026-06-06T02:29:32Z","cross_cats_sorted":["math.CT"],"title_canon_sha256":"266f8de4aea92c4b9989c20ff612ed0eed6f06ecc82b8201cdada2a9d6723516","abstract_canon_sha256":"0cc2c3ea61c920d97c308ed1e74482ad8e418a9dc46ad55256099dfa137da3f9"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-09T01:04:56.098101Z","signature_b64":"Rt6YySwJoen1BJIEXxAN2lXy9QPGCB3CqG9THYVhC0C+F67avRvjggL2IX+D1qeHJfx7KZ7xfXlQ05NMffOvBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ff8ce86081fe50d7da169c719c2ec82ab8a4dd50608128b6adfa288a16ce1a6f","last_reissued_at":"2026-06-09T01:04:56.097705Z","signature_status":"signed_v1","first_computed_at":"2026-06-09T01:04:56.097705Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Directed Convex Powerspaces and Convex Powerdomains","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":["math.CT"],"primary_cat":"math.GN","authors_text":"Yuxu Chen","submitted_at":"2026-06-06T02:29:32Z","abstract_excerpt":"It is known that lower powerdomains preserve and reflect both continuity and quasicontinuity, while the preservation of quasicontinuity by upper and convex powerdomains had long been open. Directed spaces provide a topological extension framework for dcpos. Powerdomains of dcpos can be characterized as the $D$-completions of the corresponding directed powerspaces. Using this observation, the authors proved in 2024 that upper powerdomains do not preserve quasicontinuity. In this paper, we prove that directed convex powerspaces and convex powerdomains do not preserve quasicontinuity, but they do"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.07945","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2606.07945/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":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":"2606.07945","created_at":"2026-06-09T01:04:56.097769+00:00"},{"alias_kind":"arxiv_version","alias_value":"2606.07945v1","created_at":"2026-06-09T01:04:56.097769+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.07945","created_at":"2026-06-09T01:04:56.097769+00:00"},{"alias_kind":"pith_short_12","alias_value":"76GOQYEB7ZIN","created_at":"2026-06-09T01:04:56.097769+00:00"},{"alias_kind":"pith_short_16","alias_value":"76GOQYEB7ZINPWQW","created_at":"2026-06-09T01:04:56.097769+00:00"},{"alias_kind":"pith_short_8","alias_value":"76GOQYEB","created_at":"2026-06-09T01:04:56.097769+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/76GOQYEB7ZINPWQWTRYZYLWIFK","json":"https://pith.science/pith/76GOQYEB7ZINPWQWTRYZYLWIFK.json","graph_json":"https://pith.science/api/pith-number/76GOQYEB7ZINPWQWTRYZYLWIFK/graph.json","events_json":"https://pith.science/api/pith-number/76GOQYEB7ZINPWQWTRYZYLWIFK/events.json","paper":"https://pith.science/paper/76GOQYEB"},"agent_actions":{"view_html":"https://pith.science/pith/76GOQYEB7ZINPWQWTRYZYLWIFK","download_json":"https://pith.science/pith/76GOQYEB7ZINPWQWTRYZYLWIFK.json","view_paper":"https://pith.science/paper/76GOQYEB","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2606.07945&json=true","fetch_graph":"https://pith.science/api/pith-number/76GOQYEB7ZINPWQWTRYZYLWIFK/graph.json","fetch_events":"https://pith.science/api/pith-number/76GOQYEB7ZINPWQWTRYZYLWIFK/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/76GOQYEB7ZINPWQWTRYZYLWIFK/action/timestamp_anchor","attest_storage":"https://pith.science/pith/76GOQYEB7ZINPWQWTRYZYLWIFK/action/storage_attestation","attest_author":"https://pith.science/pith/76GOQYEB7ZINPWQWTRYZYLWIFK/action/author_attestation","sign_citation":"https://pith.science/pith/76GOQYEB7ZINPWQWTRYZYLWIFK/action/citation_signature","submit_replication":"https://pith.science/pith/76GOQYEB7ZINPWQWTRYZYLWIFK/action/replication_record"}},"created_at":"2026-06-09T01:04:56.097769+00:00","updated_at":"2026-06-09T01:04:56.097769+00:00"}