{"id":"https://openalex.org/W7126271007","doi":"https://doi.org/10.48550/arxiv.2601.21150","title":"Can Neural Networks Learn Small Algebraic Worlds? An Investigation Into the Group-theoretic Structures Learned By Narrow Models Trained To Predict Group Operations","display_name":"Can Neural Networks Learn Small Algebraic Worlds? An Investigation Into the Group-theoretic Structures Learned By Narrow Models Trained To Predict Group Operations","publication_year":2026,"publication_date":"2026-01-29","ids":{"openalex":"https://openalex.org/W7126271007","doi":"https://doi.org/10.48550/arxiv.2601.21150"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2601.21150","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2601.21150","pdf_url":"https://arxiv.org/pdf/2601.21150","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2601.21150","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5066361433","display_name":"Henry Kvinge","orcid":"https://orcid.org/0000-0003-4108-1364","observed_orcids":["https://orcid.org/0000-0003-4108-1364"]},"institutions":[{"id":"https://openalex.org/I142606810","display_name":"Pacific Northwest National Laboratory","ror":"https://ror.org/05h992307","country_code":"US","type":"facility","lineage":["https://openalex.org/I1325736334","https://openalex.org/I1330989302","https://openalex.org/I142606810","https://openalex.org/I39565521"]},{"id":"https://openalex.org/I201448701","display_name":"University of Washington","ror":"https://ror.org/00cvxb145","country_code":"US","type":"education","lineage":["https://openalex.org/I201448701"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kvinge, Henry","raw_affiliation_strings":["Department of Mathematics , University of Washington","Pacific Northwest National Laboratory"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics , University of Washington","institution_ids":["https://openalex.org/I201448701"]},{"raw_affiliation_string":"Pacific Northwest National Laboratory","institution_ids":["https://openalex.org/I142606810"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5124377016","display_name":"Andrew Aguilar","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I142606810","display_name":"Pacific Northwest National Laboratory","ror":"https://ror.org/05h992307","country_code":"US","type":"facility","lineage":["https://openalex.org/I1325736334","https://openalex.org/I1330989302","https://openalex.org/I142606810","https://openalex.org/I39565521"]},{"id":"https://openalex.org/I201448701","display_name":"University of Washington","ror":"https://ror.org/00cvxb145","country_code":"US","type":"education","lineage":["https://openalex.org/I201448701"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Aguilar, Andrew","raw_affiliation_strings":["Department of Mathematics , University of Washington","Pacific Northwest National Laboratory"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics , University of Washington","institution_ids":["https://openalex.org/I201448701"]},{"raw_affiliation_string":"Pacific Northwest National Laboratory","institution_ids":["https://openalex.org/I142606810"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5119845305","display_name":"Nayda Farnsworth","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I142606810","display_name":"Pacific Northwest National Laboratory","ror":"https://ror.org/05h992307","country_code":"US","type":"facility","lineage":["https://openalex.org/I1325736334","https://openalex.org/I1330989302","https://openalex.org/I142606810","https://openalex.org/I39565521"]},{"id":"https://openalex.org/I39660569","display_name":"Colgate University","ror":"https://ror.org/05d23ve83","country_code":"US","type":"education","lineage":["https://openalex.org/I39660569"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Farnsworth, Nayda","raw_affiliation_strings":["Colgate University","Pacific Northwest National Laboratory"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Colgate University","institution_ids":["https://openalex.org/I39660569"]},{"raw_affiliation_string":"Pacific Northwest National Laboratory","institution_ids":["https://openalex.org/I142606810"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014998173","display_name":"Grace O'Brien","orcid":"https://orcid.org/0000-0003-2134-6273","observed_orcids":["https://orcid.org/0000-0003-2134-6273"]},"institutions":[{"id":"https://openalex.org/I142606810","display_name":"Pacific Northwest National Laboratory","ror":"https://ror.org/05h992307","country_code":"US","type":"facility","lineage":["https://openalex.org/I1325736334","https://openalex.org/I1330989302","https://openalex.org/I142606810","https://openalex.org/I39565521"]},{"id":"https://openalex.org/I201448701","display_name":"University of Washington","ror":"https://ror.org/00cvxb145","country_code":"US","type":"education","lineage":["https://openalex.org/I201448701"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"O'Brien, Grace","raw_affiliation_strings":["Department of Mathematics , University of Washington","Pacific Northwest National Laboratory"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics , University of Washington","institution_ids":["https://openalex.org/I201448701"]},{"raw_affiliation_string":"Pacific Northwest National Laboratory","institution_ids":["https://openalex.org/I142606810"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013333866","display_name":"Robert J. Jasper","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I142606810","display_name":"Pacific Northwest National Laboratory","ror":"https://ror.org/05h992307","country_code":"US","type":"facility","lineage":["https://openalex.org/I1325736334","https://openalex.org/I1330989302","https://openalex.org/I142606810","https://openalex.org/I39565521"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jasper, Robert","raw_affiliation_strings":["Pacific Northwest National Laboratory"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Pacific Northwest National Laboratory","institution_ids":["https://openalex.org/I142606810"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5124341845","display_name":"Sarah Scullen","orcid":"https://orcid.org/0000-0003-4020-0536","observed_orcids":["https://orcid.org/0000-0003-4020-0536"]},"institutions":[{"id":"https://openalex.org/I142606810","display_name":"Pacific Northwest National Laboratory","ror":"https://ror.org/05h992307","country_code":"US","type":"facility","lineage":["https://openalex.org/I1325736334","https://openalex.org/I1330989302","https://openalex.org/I142606810","https://openalex.org/I39565521"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Scullen, Sarah","raw_affiliation_strings":["Pacific Northwest National Laboratory"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Pacific Northwest National Laboratory","institution_ids":["https://openalex.org/I142606810"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5092897312","display_name":"Helen Jenne","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I142606810","display_name":"Pacific Northwest National Laboratory","ror":"https://ror.org/05h992307","country_code":"US","type":"facility","lineage":["https://openalex.org/I1325736334","https://openalex.org/I1330989302","https://openalex.org/I142606810","https://openalex.org/I39565521"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jenne, Helen","raw_affiliation_strings":["Pacific Northwest National Laboratory"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Pacific Northwest National Laboratory","institution_ids":["https://openalex.org/I142606810"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10320","display_name":"Neural Networks and Applications","score":0.2660999894142151,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10320","display_name":"Neural Networks and Applications","score":0.2660999894142151,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13904","display_name":"Artificial Intelligence Applications","score":0.13699999451637268,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10849","display_name":"Finite Group Theory Research","score":0.09369999915361404,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/group-theory","display_name":"group theory","score":0.7260000109672546},{"id":"https://openalex.org/keywords/neural-network","display_name":"artificial neural networks","score":0.6050000190734863},{"id":"https://openalex.org/keywords/abstract-algebra","display_name":"abstract algebra","score":0.5569999814033508},{"id":"https://openalex.org/keywords/group-operations","display_name":"group operations","score":0.6399999856948853},{"id":"https://openalex.org/keywords/modular-arithmetic","display_name":"modular arithmetic","score":0.9129999876022339},{"id":"https://openalex.org/keywords/permutations","display_name":"permutations","score":0.734000027179718},{"id":"https://openalex.org/keywords/identity-element","display_name":"identity element","score":0.7480000257492065},{"id":"https://openalex.org/keywords/commutativity","display_name":"commutativity","score":0.9950000047683716},{"id":"https://openalex.org/keywords/subgroups","display_name":"subgroups","score":0.9520000219345093},{"id":"https://openalex.org/keywords/unsupervised-representation-learning","display_name":"unsupervised feature learning","score":0.6190000176429749},{"id":"https://openalex.org/keywords/mathematical-discovery","display_name":"mathematical discovery","score":0.40299999713897705}],"concepts":[{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.6504999995231628},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.64410001039505},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6299999952316284},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.5928999781608582},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.5509999990463257},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.5317000150680542},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.5116999745368958},{"id":"https://openalex.org/C2778355321","wikidata":"https://www.wikidata.org/wiki/Q17079427","display_name":"Identity (music)","level":2,"score":0.49320000410079956},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.48730000853538513},{"id":"https://openalex.org/C2781311116","wikidata":"https://www.wikidata.org/wiki/Q83306","display_name":"Group (periodic table)","level":2,"score":0.4514999985694885},{"id":"https://openalex.org/C2781121602","wikidata":"https://www.wikidata.org/wiki/Q3504403","display_name":"Modular neural network","level":4,"score":0.3650999963283539},{"id":"https://openalex.org/C130327152","wikidata":"https://www.wikidata.org/wiki/Q748349","display_name":"Mathematical structure","level":2,"score":0.35589998960494995},{"id":"https://openalex.org/C108583219","wikidata":"https://www.wikidata.org/wiki/Q197536","display_name":"Deep learning","level":2,"score":0.34290000796318054},{"id":"https://openalex.org/C79581498","wikidata":"https://www.wikidata.org/wiki/Q1367530","display_name":"Suite","level":2,"score":0.32739999890327454},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.320499986410141},{"id":"https://openalex.org/C76969082","wikidata":"https://www.wikidata.org/wiki/Q486902","display_name":"Mathematical model","level":2,"score":0.3183000087738037},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.3140000104904175},{"id":"https://openalex.org/C183778304","wikidata":"https://www.wikidata.org/wiki/Q165474","display_name":"Commutative property","level":2,"score":0.30550000071525574},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.3046000003814697},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.2935999929904938},{"id":"https://openalex.org/C182419690","wikidata":"https://www.wikidata.org/wiki/Q205464","display_name":"Algebraic structure","level":2,"score":0.28200000524520874},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.2572000026702881},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.25099998712539673}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2601.21150","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2601.21150","pdf_url":"https://arxiv.org/pdf/2601.21150","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2601.21150","doi":"https://doi.org/10.48550/arxiv.2601.21150","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2601.21150","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2601.21150","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2601.21150","pdf_url":"https://arxiv.org/pdf/2601.21150","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7126271007.pdf","grobid_xml":"https://content.openalex.org/works/W7126271007.grobid-xml"},"referenced_works_count":7,"referenced_works":["https://openalex.org/W4316135772","https://openalex.org/W4389649281","https://openalex.org/W4402952666","https://openalex.org/W4403364901","https://openalex.org/W4414581312","https://openalex.org/W4414827381","https://openalex.org/W4415108068"],"related_works":["https://openalex.org/W3006373938","https://openalex.org/W2593639632","https://openalex.org/W175572396","https://openalex.org/W4388685768","https://openalex.org/W4319453780","https://openalex.org/W7168651567","https://openalex.org/W3159986071","https://openalex.org/W3131357847","https://openalex.org/W7140089898","https://openalex.org/W7097565838"],"abstract_inverted_index":{"While":[0],"a":[1,11,92,105,112,124,129,143],"real-world":[2],"research":[3],"program":[4],"in":[5,40,50,64,79,219,245],"mathematics":[6,65],"may":[7],"be":[8,102,256],"guided":[9],"by":[10,104],"motivating":[12],"question,":[13],"the":[14,27,47,52,83,120,151,159,189,220,223,234,237,248],"process":[15],"of":[16,122,139,145,176,191,207,236,250],"mathematical":[17,94,98,265],"discovery":[18],"is":[19],"typically":[20,56],"open-ended.":[21],"Ideally,":[22],"exploration":[23],"needed":[24],"to":[25,59,71,85,90,127,148,198,229,258],"answer":[26],"original":[28],"question":[29,75],"will":[30,69],"reveal":[31],"new":[32,264],"structures,":[33],"patterns,":[34],"and":[35],"insights":[36],"that":[37,100,171,186,202,244],"are":[38,195,217,227],"valuable":[39],"their":[41],"own":[42],"right.":[43],"This":[44],"contrasts":[45],"with":[46],"exam-style":[48],"paradigm":[49],"which":[51,86],"machine":[53],"learning":[54],"community":[55],"applies":[57],"AI":[58,109],"math.":[60],"To":[61],"maximize":[62],"progress":[63],"using":[66],"AI,":[67],"we":[68,81,118,168,183,226],"need":[70],"go":[72],"beyond":[73],"simple":[74],"answering.":[76],"With":[77],"this":[78],"mind,":[80],"explore":[82],"extent":[84],"narrow":[87],"models":[88,172,187],"trained":[89],"solve":[91],"fixed":[93],"task":[95,121],"learn":[96,173],"broader":[97],"structure":[99,262],"can":[101,255],"extracted":[103],"researcher":[106],"or":[107,137,163],"other":[108,224],"system.":[110],"As":[111],"basic":[113],"test":[114],"case":[115],"for":[116,214],"this,":[117],"use":[119],"training":[123],"neural":[125,253],"network":[126],"predict":[128],"group":[130],"operation":[131],"(for":[132],"example,":[133,182],"performing":[134],"modular":[135,192],"arithmetic":[136],"composition":[138],"permutations).":[140],"We":[141,194],"describe":[142],"suite":[144],"tests":[146],"designed":[147],"assess":[149],"whether":[150],"model":[152],"captures":[153],"significant":[154],"group-theoretic":[155],"notions":[156,231],"such":[157,232],"as":[158,233],"identity":[160,238],"element,":[161],"commutativity,":[162],"subgroups.":[164],"Through":[165],"extensive":[166],"experimentation":[167],"find":[169,184],"evidence":[170],"representations":[174,249],"capable":[175],"capturing":[177],"abstract":[178,261],"algebraic":[179],"properties.":[180],"For":[181],"hints":[185],"capture":[188],"commutativity":[190],"arithmetic.":[193],"also":[196],"able":[197],"train":[199],"linear":[200],"classifiers":[201],"reliably":[203],"distinguish":[204],"between":[205],"elements":[206],"certain":[208],"subgroups":[209,216],"(even":[210],"though":[211],"no":[212],"labels":[213],"these":[215],"included":[218],"data).":[221],"On":[222],"hand,":[225],"unable":[228],"extract":[230],"concept":[235],"element.":[239],"Together,":[240],"our":[241],"results":[242],"suggest":[243],"some":[246],"cases":[247],"even":[251],"small":[252],"networks":[254],"used":[257],"distill":[259],"interesting":[260],"from":[263],"objects.":[266]},"counts_by_year":[{"year":2026,"cited_by_count":3}],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-02-01T00:00:00"}