{"id":"W2520022270","doi":"10.37236/6450","title":"Lower Bounds on Words Separation: Are There Short Identities in Transformation Semigroups?","year":2017,"lang":"en","type":"article","venue":"The Electronic Journal of Combinatorics","topic":"semigroups and automata theory","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"Natural Sciences and Engineering Research Council of Canada; Russian Foundation for Basic Research","keywords":"Unary operation; Mathematics; Combinatorics; Identity (music); Multiplicative function; Upper and lower bounds; Inverse; Identity function; Function (biology); Discrete mathematics; Constant (computer programming); Mathematical analysis; Geometry","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.004027695,0.00166927,0.002338339,0.002329927,0.003009418,0.004933543,0.003964778,0.003278684,0.0135982],"category_scores_gemma":[0.04132767,0.001067861,0.002576098,0.002705861,0.005729595,0.02037621,0.005120266,0.00903252,0.003729032],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003188673,"about_ca_system_score_gemma":0.001982646,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009467559,"about_ca_topic_score_gemma":0.001072668,"domain_scores_codex":[0.9940658,0.001042451,0.0004302145,0.001752376,0.001542091,0.001167174],"domain_scores_gemma":[0.9405437,0.04682657,0.002433223,0.005582232,0.002462258,0.002151958],"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.001375265,0.0005328744,0.006565474,0.001017273,0.0001040596,0.0005063973,0.001473244,0.03678156,0.0145645,0.8005381,0.01110855,0.1254328],"study_design_scores_gemma":[0.00005347369,0.0001683487,0.0008288579,0.00008408406,0.0000588983,0.0002912089,0.0001450193,0.06785398,0.006904987,0.9185519,0.005002008,0.00005730684],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2666729,0.007154894,0.6552168,0.007750593,0.0007107059,0.000177488,0.001096856,0.002486965,0.05873274],"genre_scores_gemma":[0.8260751,0.002983537,0.1454043,0.002075993,0.001501857,0.000581861,0.001919685,0.001543065,0.01791462],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0135982,"threshold_uncertainty_score":0.0454905,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01173349770541633,"score_gpt":0.2718810865264232,"score_spread":0.2601475888210069,"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."}}