{"id":"W4417275471","doi":"10.1007/s00029-025-01109-7","title":"Combinatorial proofs of the type A quiver component formulas","year":2025,"lang":"en","type":"article","venue":"Selecta Mathematica","topic":"Algebraic structures and combinatorial models","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University; University of Toronto","funders":"","keywords":"Quiver; Mathematical proof; Component (thermodynamics); Locus (genetics); Type (biology); Combinatorial proof","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002292826,0.0001927098,0.0004091089,0.00006133078,0.0001393503,0.00002616501,0.0005455668,0.0001203883,0.0001084363],"category_scores_gemma":[0.0005734455,0.0001235558,0.0001600294,0.0005258349,0.00009749271,0.00005255007,0.000219741,0.0001948224,0.000008547822],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006498766,"about_ca_system_score_gemma":0.0001739642,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000008262708,"about_ca_topic_score_gemma":0.000002465444,"domain_scores_codex":[0.998634,0.00007739104,0.0004561907,0.0002002473,0.0003694469,0.0002626735],"domain_scores_gemma":[0.9985194,0.0003880808,0.0002074837,0.0006406893,0.000205913,0.00003838733],"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.00004653605,0.0001704968,0.00007940074,0.0003048417,0.00009994308,3.354392e-7,0.0004636805,6.694278e-7,0.0005535171,0.9950687,0.003120633,0.00009120182],"study_design_scores_gemma":[0.0006871521,0.00006467487,0.0001333217,0.0001844899,0.0001023565,0.000003099528,0.00004431184,0.000275271,0.00933163,0.9883286,0.0007234871,0.000121602],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9619781,0.000113826,0.001027679,0.0004973881,0.002816519,0.001223305,0.000003618078,0.0001160175,0.03222353],"genre_scores_gemma":[0.9980499,0.000002678503,0.0009914525,0.00005738917,0.00006515518,0.00002446161,8.21088e-7,0.00002162984,0.0007864709],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.03607183,"threshold_uncertainty_score":0.5038458,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01885435616280878,"score_gpt":0.2881818219798249,"score_spread":0.2693274658170162,"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."}}