{"id":"W4416007859","doi":"","title":"Effective Computation of Generalized Abelian Complexity for Pisot Type Substitutive Sequences","year":2025,"lang":"en","type":"article","venue":"ArXiv.org","topic":"semigroups and automata theory","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Abelian group; Bounded function; Equivalence (formal languages); Substitution (logic); Fixed point; Type (biology); Function (biology)","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.001009113,0.0004917366,0.000669382,0.001894183,0.0009124212,0.003107179,0.0008923957,0.0006806371,0.004927797],"category_scores_gemma":[0.005845811,0.0002959204,0.0009728043,0.001538277,0.002661821,0.005462439,0.00214111,0.001401853,0.000520296],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002714268,"about_ca_system_score_gemma":0.0006092611,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008883889,"about_ca_topic_score_gemma":0.001212173,"domain_scores_codex":[0.9987771,0.0002606871,0.00009662989,0.000274216,0.0003865804,0.0002046693],"domain_scores_gemma":[0.9968691,0.002051574,0.0002382886,0.0004438143,0.0002574859,0.0001396761],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001011937,0.00002664261,0.001637183,0.00007391929,0.00001693186,0.0001154711,0.0004479673,0.01196571,0.005413087,0.9570267,0.0005392609,0.02263595],"study_design_scores_gemma":[0.00002005664,0.00005412571,0.0007847673,0.00002392658,0.00003040526,0.0001320748,0.0001230326,0.1257507,0.01645285,0.8535587,0.003028604,0.0000407648],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4283599,0.0001809919,0.554691,0.0004002815,0.00004730417,0.00007330107,0.0002471947,0.0008790151,0.01512114],"genre_scores_gemma":[0.9357668,0.00008938212,0.0605869,0.00006012139,0.00005386395,0.00007986917,0.0002505326,0.0001556993,0.002956929],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004927797,"threshold_uncertainty_score":0.01969343,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04945202475005005,"score_gpt":0.3168927961153011,"score_spread":0.267440771365251,"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."}}