{"id":"W2741405093","doi":"10.23638/lmcs-15(3:3)2019","title":"Subspace-Invariant AC$^0$ Formulas","year":2019,"lang":"en","type":"preprint","venue":"Logical Methods in Computer Science","topic":"Complexity and Algorithms in Graphs","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Linear subspace; Combinatorics; Mathematics; Invariant (physics); Parity function; Omega; Subspace topology; Hamming weight; Upper and lower bounds; Discrete mathematics; Boolean function; Hamming code; Mathematical analysis; Physics; Pure mathematics; Algorithm; Mathematical physics; Quantum mechanics","routes":{"ca_aff":true,"ca_fund":true,"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.0003815666,0.0004695551,0.0003509861,0.0004135839,0.0005846075,0.001017682,0.001069266,0.0003526359,0.01077337],"category_scores_gemma":[0.001352791,0.0002301014,0.0007490663,0.0003971327,0.001205877,0.002155876,0.001843141,0.001380914,0.001483037],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008318269,"about_ca_system_score_gemma":0.000784756,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001588524,"about_ca_topic_score_gemma":0.002120764,"domain_scores_codex":[0.9993024,0.00009783211,0.00003176983,0.0001568251,0.0002033689,0.0002078278],"domain_scores_gemma":[0.9994016,0.0001776858,0.00006187153,0.0002086988,0.00009602894,0.0000541789],"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.0003915413,0.0001549822,0.001954132,0.000200069,0.00003899644,0.0002906022,0.0002941304,0.01557044,0.03080643,0.8456523,0.005440024,0.0992064],"study_design_scores_gemma":[0.0000794563,0.0002431915,0.001015542,0.00002831616,0.00007305735,0.0002357257,0.000130184,0.1506592,0.06935303,0.758966,0.01916234,0.00005386999],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4481385,0.0004085901,0.4583476,0.0007995001,0.0001962751,0.0001457017,0.001050843,0.003714241,0.08719876],"genre_scores_gemma":[0.8910825,0.0002074389,0.09305614,0.0004497554,0.0001053472,0.0001286118,0.0009757199,0.0004881674,0.01350635],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01077337,"threshold_uncertainty_score":0.03604048,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1122676605300957,"score_gpt":0.402389845439322,"score_spread":0.2901221849092263,"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."}}