{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:QS5KSO4HL4LX7RR34AHR23OD6T","short_pith_number":"pith:QS5KSO4H","schema_version":"1.0","canonical_sha256":"84baa93b875f177fc63be00f1d6dc3f4e53d72eef07aabbefbe4ac18c2c2b05e","source":{"kind":"arxiv","id":"2601.17930","version":2},"attestation_state":"computed","paper":{"title":"A Rigorous and Self--Contained Proof of the Grover--Rudolph State Preparation Algorithm","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.NA","math.NA"],"primary_cat":"quant-ph","authors_text":"Antonio Falco, Daniela Falco-Pomares, Hermann G. Matthies","submitted_at":"2026-01-25T18:00:48Z","abstract_excerpt":"We give a rigorous and self-contained analysis of the Grover--Rudolph quantum state-preparation algorithm, which encodes a probability distribution $\\{p_k\\}$ as an $n$-qubit amplitude state $\\sum_k\\sqrt{p_k}\\ket{k}$ via a hierarchy of controlled $\\RY$ rotations determined by a dyadic refinement of the target. We formalize the dyadic probability tree, derive the trigonometric factorization of conditional masses, and prove by induction that the circuit prepares exactly the desired measurement law. We further prove that perturbing each rotation angle by at most $\\eta$ changes the output distribut"},"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":"2601.17930","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2026-01-25T18:00:48Z","cross_cats_sorted":["cs.NA","math.NA"],"title_canon_sha256":"73e699de50d096d258965ec904d36f08d39b1a3d0dba55326be46c65c447006d","abstract_canon_sha256":"c7dacf5936039afccb23b4ca4645df5a579945406f914c19cf84ce964526445d"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-26T01:02:31.026789Z","signature_b64":"nLifYdUpdW5bDcfvLHn6dOXdoVwfhRbxGUalS6C6MWw66vYYYBCwAQWP51ajX7O0pIbsUwHbBJ1gAtfG9JboBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"84baa93b875f177fc63be00f1d6dc3f4e53d72eef07aabbefbe4ac18c2c2b05e","last_reissued_at":"2026-05-26T01:02:31.025944Z","signature_status":"signed_v1","first_computed_at":"2026-05-26T01:02:31.025944Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A Rigorous and Self--Contained Proof of the Grover--Rudolph State Preparation Algorithm","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.NA","math.NA"],"primary_cat":"quant-ph","authors_text":"Antonio Falco, Daniela Falco-Pomares, Hermann G. Matthies","submitted_at":"2026-01-25T18:00:48Z","abstract_excerpt":"We give a rigorous and self-contained analysis of the Grover--Rudolph quantum state-preparation algorithm, which encodes a probability distribution $\\{p_k\\}$ as an $n$-qubit amplitude state $\\sum_k\\sqrt{p_k}\\ket{k}$ via a hierarchy of controlled $\\RY$ rotations determined by a dyadic refinement of the target. We formalize the dyadic probability tree, derive the trigonometric factorization of conditional masses, and prove by induction that the circuit prepares exactly the desired measurement law. We further prove that perturbing each rotation angle by at most $\\eta$ changes the output distribut"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2601.17930","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/2601.17930/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":"2601.17930","created_at":"2026-05-26T01:02:31.026047+00:00"},{"alias_kind":"arxiv_version","alias_value":"2601.17930v2","created_at":"2026-05-26T01:02:31.026047+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2601.17930","created_at":"2026-05-26T01:02:31.026047+00:00"},{"alias_kind":"pith_short_12","alias_value":"QS5KSO4HL4LX","created_at":"2026-05-26T01:02:31.026047+00:00"},{"alias_kind":"pith_short_16","alias_value":"QS5KSO4HL4LX7RR3","created_at":"2026-05-26T01:02:31.026047+00:00"},{"alias_kind":"pith_short_8","alias_value":"QS5KSO4H","created_at":"2026-05-26T01:02:31.026047+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2604.24289","citing_title":"On the complexity of quantum numerical integration: an angle-structure characterization","ref_index":10,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/QS5KSO4HL4LX7RR34AHR23OD6T","json":"https://pith.science/pith/QS5KSO4HL4LX7RR34AHR23OD6T.json","graph_json":"https://pith.science/api/pith-number/QS5KSO4HL4LX7RR34AHR23OD6T/graph.json","events_json":"https://pith.science/api/pith-number/QS5KSO4HL4LX7RR34AHR23OD6T/events.json","paper":"https://pith.science/paper/QS5KSO4H"},"agent_actions":{"view_html":"https://pith.science/pith/QS5KSO4HL4LX7RR34AHR23OD6T","download_json":"https://pith.science/pith/QS5KSO4HL4LX7RR34AHR23OD6T.json","view_paper":"https://pith.science/paper/QS5KSO4H","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2601.17930&json=true","fetch_graph":"https://pith.science/api/pith-number/QS5KSO4HL4LX7RR34AHR23OD6T/graph.json","fetch_events":"https://pith.science/api/pith-number/QS5KSO4HL4LX7RR34AHR23OD6T/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/QS5KSO4HL4LX7RR34AHR23OD6T/action/timestamp_anchor","attest_storage":"https://pith.science/pith/QS5KSO4HL4LX7RR34AHR23OD6T/action/storage_attestation","attest_author":"https://pith.science/pith/QS5KSO4HL4LX7RR34AHR23OD6T/action/author_attestation","sign_citation":"https://pith.science/pith/QS5KSO4HL4LX7RR34AHR23OD6T/action/citation_signature","submit_replication":"https://pith.science/pith/QS5KSO4HL4LX7RR34AHR23OD6T/action/replication_record"}},"created_at":"2026-05-26T01:02:31.026047+00:00","updated_at":"2026-05-26T01:02:31.026047+00:00"}