{"id":"W4417293759","doi":"10.48550/arxiv.2512.10017","title":"Complexity of Linear Subsequences of $k$-Automatic Sequences","year":2025,"lang":"","type":"preprint","venue":"ArXiv.org","topic":"semigroups and automata theory","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Subsequence; Construct (python library); Sequence (biology); State (computer science); Base (topology); Time complexity; Automaton","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.0009393879,0.0005260196,0.0006086746,0.0007365086,0.001034532,0.002636552,0.001655507,0.0009887998,0.008372057],"category_scores_gemma":[0.009310404,0.0005206587,0.001504128,0.0009964216,0.001689364,0.004575771,0.001395175,0.00149438,0.0008651987],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001707013,"about_ca_system_score_gemma":0.001277557,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001339906,"about_ca_topic_score_gemma":0.001492682,"domain_scores_codex":[0.9983097,0.0002740417,0.0002056527,0.0005992026,0.000339698,0.0002717527],"domain_scores_gemma":[0.9878248,0.008828983,0.0009896355,0.001207593,0.0007025803,0.0004464416],"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.001830096,0.0004277201,0.01812269,0.001076033,0.0001931049,0.0008304298,0.003630407,0.1997364,0.08227205,0.591595,0.005025258,0.09526079],"study_design_scores_gemma":[0.00007377094,0.0002285631,0.002301987,0.00004614561,0.00007930114,0.0002960514,0.0003932837,0.3206634,0.03190706,0.6416591,0.002283052,0.00006838957],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8635123,0.000151945,0.1252968,0.0007438092,0.00004409387,0.0001085076,0.0009638297,0.001277544,0.007901263],"genre_scores_gemma":[0.9410811,0.00009439437,0.05327645,0.00009890248,0.00004075131,0.0001566352,0.001737786,0.0002556933,0.003258293],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.008372057,"threshold_uncertainty_score":0.02800739,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1113495494963339,"score_gpt":0.3148273725985632,"score_spread":0.2034778231022293,"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."}}