{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:QQGP6FMZMJ6WYVGRJY3CZD2QWK","short_pith_number":"pith:QQGP6FMZ","canonical_record":{"source":{"id":"2504.08876","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2025-04-11T15:04:16Z","cross_cats_sorted":["cs.PL","cs.SE"],"title_canon_sha256":"95a52321b85f9c10ec6124c68490d3f3e13b98b931551f27823fad917375fbf1","abstract_canon_sha256":"715a96a9cea7a797dcdd902d3b7a35493f154b307cdaaba718857b7750635003"},"schema_version":"1.0"},"canonical_sha256":"840cff1599627d6c54d14e362c8f50b2beb26fcf5e55320ed341762619402d56","source":{"kind":"arxiv","id":"2504.08876","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.08876","created_at":"2026-07-05T10:50:33Z"},{"alias_kind":"arxiv_version","alias_value":"2504.08876v2","created_at":"2026-07-05T10:50:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.08876","created_at":"2026-07-05T10:50:33Z"},{"alias_kind":"pith_short_12","alias_value":"QQGP6FMZMJ6W","created_at":"2026-07-05T10:50:33Z"},{"alias_kind":"pith_short_16","alias_value":"QQGP6FMZMJ6WYVGR","created_at":"2026-07-05T10:50:33Z"},{"alias_kind":"pith_short_8","alias_value":"QQGP6FMZ","created_at":"2026-07-05T10:50:33Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:QQGP6FMZMJ6WYVGRJY3CZD2QWK","target":"record","payload":{"canonical_record":{"source":{"id":"2504.08876","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2025-04-11T15:04:16Z","cross_cats_sorted":["cs.PL","cs.SE"],"title_canon_sha256":"95a52321b85f9c10ec6124c68490d3f3e13b98b931551f27823fad917375fbf1","abstract_canon_sha256":"715a96a9cea7a797dcdd902d3b7a35493f154b307cdaaba718857b7750635003"},"schema_version":"1.0"},"canonical_sha256":"840cff1599627d6c54d14e362c8f50b2beb26fcf5e55320ed341762619402d56","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:50:33.256361Z","signature_b64":"3jCJRcz1rvZ2dD36lzGaY3vTX+p9msC9h/cf17K/Bca2QpLKtu4GC9iqUfIKwL+foZyVEdd+ZVEorSx01c6UDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"840cff1599627d6c54d14e362c8f50b2beb26fcf5e55320ed341762619402d56","last_reissued_at":"2026-07-05T10:50:33.255855Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:50:33.255855Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2504.08876","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-07-05T10:50:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sp9A9x9Oxl28WuYAMmUvz8JOVfiHjSKtQmMDcjg8PRoczup2AUz0j9iffLaI6tmUOX5Jdz28U+KRwpF3hFGwAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-13T04:11:52.799410Z"},"content_sha256":"30d08736fac865a2b667db2a982431cc935db7763bc9d9f07af5719941951df6","schema_version":"1.0","event_id":"sha256:30d08736fac865a2b667db2a982431cc935db7763bc9d9f07af5719941951df6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:QQGP6FMZMJ6WYVGRJY3CZD2QWK","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Is Productivity in Quantum Programming Equivalent to Expressiveness?","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL","cs.SE"],"primary_cat":"quant-ph","authors_text":"Danny Valerio-Ram\\'irez, Francini Corrales-Garro, Santiago N\\'u\\~nez-Corrales","submitted_at":"2025-04-11T15:04:16Z","abstract_excerpt":"The expressiveness of quantum programming languages plays a crucial role in the efficient and comprehensible representation of quantum algorithms. Unlike classical programming languages, which offer mature and well-defined abstraction mechanisms, quantum languages must integrate cognitively challenging concepts such as superposition, interference and entanglement while maintaining clarity and usability. However, identifying and characterizing differences in expressiveness between quantum programming paradigms remains an open area of study. Our work investigates the landscape of expressiveness "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.08876","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2504.08876/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"},"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-07-05T10:50:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sr4BpNFO8t8t8Q4Pe65xn6LikrijMP3UNuM48JgfbJ+FYO9esLSDD9Erk81cUKtqxyxSL3E3NDSattfulF9VBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-13T04:11:52.799936Z"},"content_sha256":"31b49a77259fe28f07611f6d71b6e1ecaea236d6a02b93547383da3ef5adb9c3","schema_version":"1.0","event_id":"sha256:31b49a77259fe28f07611f6d71b6e1ecaea236d6a02b93547383da3ef5adb9c3"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QQGP6FMZMJ6WYVGRJY3CZD2QWK/bundle.json","state_url":"https://pith.science/pith/QQGP6FMZMJ6WYVGRJY3CZD2QWK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QQGP6FMZMJ6WYVGRJY3CZD2QWK/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-08-13T04:11:52Z","links":{"resolver":"https://pith.science/pith/QQGP6FMZMJ6WYVGRJY3CZD2QWK","bundle":"https://pith.science/pith/QQGP6FMZMJ6WYVGRJY3CZD2QWK/bundle.json","state":"https://pith.science/pith/QQGP6FMZMJ6WYVGRJY3CZD2QWK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QQGP6FMZMJ6WYVGRJY3CZD2QWK/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:QQGP6FMZMJ6WYVGRJY3CZD2QWK","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":"715a96a9cea7a797dcdd902d3b7a35493f154b307cdaaba718857b7750635003","cross_cats_sorted":["cs.PL","cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2025-04-11T15:04:16Z","title_canon_sha256":"95a52321b85f9c10ec6124c68490d3f3e13b98b931551f27823fad917375fbf1"},"schema_version":"1.0","source":{"id":"2504.08876","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.08876","created_at":"2026-07-05T10:50:33Z"},{"alias_kind":"arxiv_version","alias_value":"2504.08876v2","created_at":"2026-07-05T10:50:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.08876","created_at":"2026-07-05T10:50:33Z"},{"alias_kind":"pith_short_12","alias_value":"QQGP6FMZMJ6W","created_at":"2026-07-05T10:50:33Z"},{"alias_kind":"pith_short_16","alias_value":"QQGP6FMZMJ6WYVGR","created_at":"2026-07-05T10:50:33Z"},{"alias_kind":"pith_short_8","alias_value":"QQGP6FMZ","created_at":"2026-07-05T10:50:33Z"}],"graph_snapshots":[{"event_id":"sha256:31b49a77259fe28f07611f6d71b6e1ecaea236d6a02b93547383da3ef5adb9c3","target":"graph","created_at":"2026-07-05T10:50:33Z","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/2504.08876/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The expressiveness of quantum programming languages plays a crucial role in the efficient and comprehensible representation of quantum algorithms. Unlike classical programming languages, which offer mature and well-defined abstraction mechanisms, quantum languages must integrate cognitively challenging concepts such as superposition, interference and entanglement while maintaining clarity and usability. However, identifying and characterizing differences in expressiveness between quantum programming paradigms remains an open area of study. Our work investigates the landscape of expressiveness ","authors_text":"Danny Valerio-Ram\\'irez, Francini Corrales-Garro, Santiago N\\'u\\~nez-Corrales","cross_cats":["cs.PL","cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2025-04-11T15:04:16Z","title":"Is Productivity in Quantum Programming Equivalent to Expressiveness?"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.08876","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:30d08736fac865a2b667db2a982431cc935db7763bc9d9f07af5719941951df6","target":"record","created_at":"2026-07-05T10:50:33Z","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":"715a96a9cea7a797dcdd902d3b7a35493f154b307cdaaba718857b7750635003","cross_cats_sorted":["cs.PL","cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2025-04-11T15:04:16Z","title_canon_sha256":"95a52321b85f9c10ec6124c68490d3f3e13b98b931551f27823fad917375fbf1"},"schema_version":"1.0","source":{"id":"2504.08876","kind":"arxiv","version":2}},"canonical_sha256":"840cff1599627d6c54d14e362c8f50b2beb26fcf5e55320ed341762619402d56","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"840cff1599627d6c54d14e362c8f50b2beb26fcf5e55320ed341762619402d56","first_computed_at":"2026-07-05T10:50:33.255855Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:50:33.255855Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"3jCJRcz1rvZ2dD36lzGaY3vTX+p9msC9h/cf17K/Bca2QpLKtu4GC9iqUfIKwL+foZyVEdd+ZVEorSx01c6UDw==","signature_status":"signed_v1","signed_at":"2026-07-05T10:50:33.256361Z","signed_message":"canonical_sha256_bytes"},"source_id":"2504.08876","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:30d08736fac865a2b667db2a982431cc935db7763bc9d9f07af5719941951df6","sha256:31b49a77259fe28f07611f6d71b6e1ecaea236d6a02b93547383da3ef5adb9c3"],"state_sha256":"3c6c68c0251c649b48b26495d6e3dc71f0a63060e9bfab5cf528a91486215d95"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5EvMhulXGew1Qx397i8PTU76DMemdPQQdzMRD/M+AxJBZwRi5z47Fm/bHX4pA+pezfADYT04j8NuWNAB6w/qDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-13T04:11:52.803351Z","bundle_sha256":"bb095066113f24e1982ab330770f47e65db2112205179a7f79ff98025094ff0b"}}