{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:XERIJZPJDG7ELHQMLVCADCJEKW","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":"0fa7852132a9949b98c7f452ab1c86f86cc14e2b4176a035046fa563ed2a38f5","cross_cats_sorted":["cs.DB"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"quant-ph","submitted_at":"2025-06-09T08:46:56Z","title_canon_sha256":"3640a0fd9bbad589219f1a50bad2df056611d9c4a4ffabf1085b32045824c9a2"},"schema_version":"1.0","source":{"id":"2506.07552","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.07552","created_at":"2026-07-05T11:18:29Z"},{"alias_kind":"arxiv_version","alias_value":"2506.07552v1","created_at":"2026-07-05T11:18:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.07552","created_at":"2026-07-05T11:18:29Z"},{"alias_kind":"pith_short_12","alias_value":"XERIJZPJDG7E","created_at":"2026-07-05T11:18:29Z"},{"alias_kind":"pith_short_16","alias_value":"XERIJZPJDG7ELHQM","created_at":"2026-07-05T11:18:29Z"},{"alias_kind":"pith_short_8","alias_value":"XERIJZPJ","created_at":"2026-07-05T11:18:29Z"}],"graph_snapshots":[{"event_id":"sha256:3876b466c63f603719ed4007cf109e6fe15b3af63f0a6ea811e03365b767eb48","target":"graph","created_at":"2026-07-05T11:18:29Z","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/2506.07552/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Deriving formulations for computing and estimating tight worst-case size increases for conjunctive queries with various constraints has been at the core of theoretical database research. If the problem has no constraints or only one constraint, such as functional dependencies or degree constraints, tight worst-case size bounds have been proven, and they are even practically computable. If the problem has more than one constraint, computing tight bounds can be difficult in practice and may even require an infinite number of linear inequalities in its optimization formulation. While these challe","authors_text":"Jiaheng Lu, Valter Uotila","cross_cats":["cs.DB"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"quant-ph","submitted_at":"2025-06-09T08:46:56Z","title":"Quantum Information-Theoretical Size Bounds for Conjunctive Queries with Functional Dependencies"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.07552","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:cd9eeecccbcb384022b4a2990037e490a124298f8f5f6e5b3fcad450d6ecaf84","target":"record","created_at":"2026-07-05T11:18:29Z","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":"0fa7852132a9949b98c7f452ab1c86f86cc14e2b4176a035046fa563ed2a38f5","cross_cats_sorted":["cs.DB"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"quant-ph","submitted_at":"2025-06-09T08:46:56Z","title_canon_sha256":"3640a0fd9bbad589219f1a50bad2df056611d9c4a4ffabf1085b32045824c9a2"},"schema_version":"1.0","source":{"id":"2506.07552","kind":"arxiv","version":1}},"canonical_sha256":"b92284e5e919be459e0c5d440189245594f444d8eae91967054eeb6ae3af041d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b92284e5e919be459e0c5d440189245594f444d8eae91967054eeb6ae3af041d","first_computed_at":"2026-07-05T11:18:29.319367Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:18:29.319367Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"V+B+zeCJvOh5dIw8/IrvtnxJiYzcGo9nV0tZgG9LFXQCMOMNJXUB3xpy7Yh9r4/OqcoL0OxejRi00NGIeIQyBA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:18:29.319888Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.07552","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:cd9eeecccbcb384022b4a2990037e490a124298f8f5f6e5b3fcad450d6ecaf84","sha256:3876b466c63f603719ed4007cf109e6fe15b3af63f0a6ea811e03365b767eb48"],"state_sha256":"e43512cdf5899e4d45293746083dc77855fbea066ba747531444abed59608642"}