{"id":"W4399151419","doi":"10.62056/a6n56c0kr","title":"The Round Complexity of Proofs in the Bounded Quantum Storage Model","year":2025,"lang":"en","type":"article","venue":"IACR Communications in Cryptology","topic":"Quantum Computing Algorithms and Architecture","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Montréal; National Research Council Canada","funders":"HORIZON EUROPE Framework Programme; Simons Institute for the Theory of Computing, University of California Berkeley; Agence Nationale de la Recherche; European Commission","keywords":"Mathematical proof; Bounded function; Quantum; Computer science; Storage model; Mathematics; Theoretical computer science; Physics; Quantum mechanics","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.008591052,0.00101077,0.002139297,0.00177944,0.002200236,0.008220837,0.005627498,0.003165696,0.01254022],"category_scores_gemma":[0.05288807,0.001391426,0.002618972,0.001989783,0.00701703,0.03210042,0.006751836,0.006885382,0.001365799],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.006841286,"about_ca_system_score_gemma":0.004892063,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002867925,"about_ca_topic_score_gemma":0.001447043,"domain_scores_codex":[0.9871745,0.004008429,0.0006894259,0.001757343,0.004400482,0.001969878],"domain_scores_gemma":[0.8875791,0.09097601,0.004175934,0.01400873,0.001949245,0.001310899],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0006890201,0.0001217466,0.0007496123,0.000329009,0.0001009924,0.0002456714,0.0006859952,0.1019193,0.003102454,0.8755808,0.002049993,0.01442545],"study_design_scores_gemma":[0.0000790541,0.00006351116,0.0002940437,0.0000289178,0.00004135423,0.000106347,0.0000776313,0.2384864,0.003260245,0.7558498,0.001676124,0.00003662157],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2135255,0.001422895,0.7437198,0.0100932,0.0001121281,0.0006429612,0.001409556,0.001345241,0.02772871],"genre_scores_gemma":[0.8855607,0.001283861,0.09991119,0.0007213965,0.0002935471,0.0006124527,0.0008829105,0.0005442152,0.01018977],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01254022,"threshold_uncertainty_score":0.04963726,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06019643846856042,"score_gpt":0.3417737951162954,"score_spread":0.2815773566477349,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}