{"id":"W3021687661","doi":"10.4230/lipics.icalp.2017.93","title":"Subspace-Invariant AC^0 Formulas","year":2017,"lang":"en","type":"article","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","topic":"Complexity and Algorithms in Graphs","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Linear subspace; Combinatorics; Mathematics; Invariant (physics); Parity function; Omega; Hamming weight; Subspace topology; Discrete mathematics; Upper and lower bounds; Boolean function; Hamming code; Mathematical analysis; Physics; Pure mathematics; Algorithm; Mathematical physics; Quantum mechanics","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006127733,0.0004139577,0.0004769492,0.0008277076,0.000865115,0.002043283,0.001186466,0.0004483694,0.008061885],"category_scores_gemma":[0.004057229,0.0002766908,0.0008381559,0.0009225796,0.001900121,0.003808864,0.001849414,0.00149497,0.0007482137],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001507405,"about_ca_system_score_gemma":0.001236819,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001917512,"about_ca_topic_score_gemma":0.002025464,"domain_scores_codex":[0.9984764,0.0002543204,0.0001008288,0.0003194097,0.0005770144,0.0002719773],"domain_scores_gemma":[0.9963883,0.001623581,0.0003094484,0.0008848746,0.0006016616,0.0001921959],"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.0001548209,0.00005573546,0.001752028,0.000144751,0.00002049011,0.0001679839,0.0001436925,0.003374191,0.009504414,0.9429795,0.003424183,0.0382782],"study_design_scores_gemma":[0.00003700406,0.00006458844,0.001231166,0.00002360264,0.00004743279,0.0002826399,0.00008775101,0.04383098,0.0191318,0.925991,0.009242044,0.00003009735],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"methods","genre_scores_codex":[0.5422084,0.0006025844,0.3525152,0.001190327,0.0001906935,0.0001212078,0.001718742,0.00209246,0.09936035],"genre_scores_gemma":[0.9327165,0.0002221846,0.05466031,0.0003674979,0.0001263601,0.00009226731,0.001174902,0.0002953726,0.01034465],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.008061885,"threshold_uncertainty_score":0.02696967,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0313715502383439,"score_gpt":0.2874558150757654,"score_spread":0.2560842648374215,"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."}}