{"id":"https://openalex.org/W7151880503","doi":"https://doi.org/10.48550/arxiv.2604.04941","title":"Algebraic Structure Discovery for Real World Combinatorial Optimisation Problems: A General Framework from Abstract Algebra to Quotient Space Learning","display_name":"Algebraic Structure Discovery for Real World Combinatorial Optimisation Problems: A General Framework from Abstract Algebra to Quotient Space Learning","publication_year":2026,"publication_date":"2026-03-10","ids":{"openalex":"https://openalex.org/W7151880503","doi":"https://doi.org/10.48550/arxiv.2604.04941"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2604.04941","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.04941","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,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2604.04941","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5078427167","display_name":"Min Sun","orcid":"https://orcid.org/0000-0001-5623-5974"},"institutions":[{"id":"https://openalex.org/I118019719","display_name":"Roche (Switzerland)","ror":"https://ror.org/00by1q217","country_code":"CH","type":"company","lineage":["https://openalex.org/I118019719"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Sun, Min","raw_affiliation_strings":["F. Hoffmann-La Roche AG, Roche Pharma Research and Early Development"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"F. Hoffmann-La Roche AG, Roche Pharma Research and Early Development","institution_ids":["https://openalex.org/I118019719"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085293440","display_name":"Federica Storti","orcid":"https://orcid.org/0000-0002-5764-1656"},"institutions":[{"id":"https://openalex.org/I118019719","display_name":"Roche (Switzerland)","ror":"https://ror.org/00by1q217","country_code":"CH","type":"company","lineage":["https://openalex.org/I118019719"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Storti, Federica","raw_affiliation_strings":["F. Hoffmann-La Roche AG, Roche Pharma Research and Early Development"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"F. Hoffmann-La Roche AG, Roche Pharma Research and Early Development","institution_ids":["https://openalex.org/I118019719"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5133197580","display_name":"Valentina Martino","orcid":null},"institutions":[{"id":"https://openalex.org/I118019719","display_name":"Roche (Switzerland)","ror":"https://ror.org/00by1q217","country_code":"CH","type":"company","lineage":["https://openalex.org/I118019719"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Martino, Valentina","raw_affiliation_strings":["F. Hoffmann-La Roche AG, Roche Pharma Research and Early Development"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"F. Hoffmann-La Roche AG, Roche Pharma Research and Early Development","institution_ids":["https://openalex.org/I118019719"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113760328","display_name":"Miguel Gonz\u00e1lez-Andrades","orcid":null},"institutions":[{"id":"https://openalex.org/I118019719","display_name":"Roche (Switzerland)","ror":"https://ror.org/00by1q217","country_code":"CH","type":"company","lineage":["https://openalex.org/I118019719"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Gonzalez-Andrades, Miguel","raw_affiliation_strings":["F. Hoffmann-La Roche AG, Roche Pharma Research and Early Development"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"F. Hoffmann-La Roche AG, Roche Pharma Research and Early Development","institution_ids":["https://openalex.org/I118019719"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5107600269","display_name":"Tony Kam-Thong","orcid":null},"institutions":[{"id":"https://openalex.org/I118019719","display_name":"Roche (Switzerland)","ror":"https://ror.org/00by1q217","country_code":"CH","type":"company","lineage":["https://openalex.org/I118019719"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Kam-Thong, Tony","raw_affiliation_strings":["F. Hoffmann-La Roche AG, Roche Pharma Research and Early Development"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"F. Hoffmann-La Roche AG, Roche Pharma Research and Early Development","institution_ids":["https://openalex.org/I118019719"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I118019719"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.21170000731945038,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.21170000731945038,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10211","display_name":"Computational Drug Discovery Methods","score":0.1404000073671341,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T12536","display_name":"Topological and Geometric Data Analysis","score":0.05649999901652336,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.5324000120162964},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.5232999920845032},{"id":"https://openalex.org/keywords/quotient","display_name":"Quotient","score":0.5142999887466431},{"id":"https://openalex.org/keywords/isomorphism","display_name":"Isomorphism (crystallography)","score":0.504800021648407},{"id":"https://openalex.org/keywords/algebraic-structure","display_name":"Algebraic structure","score":0.4799000024795532},{"id":"https://openalex.org/keywords/quotient-space","display_name":"Quotient space (topology)","score":0.4410000145435333},{"id":"https://openalex.org/keywords/bitwise-operation","display_name":"Bitwise operation","score":0.43880000710487366},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.424699991941452}],"concepts":[{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.5324000120162964},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.5232999920845032},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5188999772071838},{"id":"https://openalex.org/C199422724","wikidata":"https://www.wikidata.org/wiki/Q41118","display_name":"Quotient","level":2,"score":0.5142999887466431},{"id":"https://openalex.org/C203436722","wikidata":"https://www.wikidata.org/wiki/Q902950","display_name":"Isomorphism (crystallography)","level":3,"score":0.504800021648407},{"id":"https://openalex.org/C182419690","wikidata":"https://www.wikidata.org/wiki/Q205464","display_name":"Algebraic structure","level":2,"score":0.4799000024795532},{"id":"https://openalex.org/C40753290","wikidata":"https://www.wikidata.org/wiki/Q1139111","display_name":"Quotient space (topology)","level":3,"score":0.4410000145435333},{"id":"https://openalex.org/C134765980","wikidata":"https://www.wikidata.org/wiki/Q879126","display_name":"Bitwise operation","level":2,"score":0.43880000710487366},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.424699991941452},{"id":"https://openalex.org/C39685927","wikidata":"https://www.wikidata.org/wiki/Q173183","display_name":"Boolean algebra","level":2,"score":0.4221000075340271},{"id":"https://openalex.org/C2777044963","wikidata":"https://www.wikidata.org/wiki/Q5384707","display_name":"Equivalence class (music)","level":2,"score":0.41530001163482666},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4120999872684479},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.38670000433921814},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.33489999175071716},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.33399999141693115},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.32120001316070557},{"id":"https://openalex.org/C2781067378","wikidata":"https://www.wikidata.org/wiki/Q17027399","display_name":"Interpretability","level":2,"score":0.31630000472068787},{"id":"https://openalex.org/C136003732","wikidata":"https://www.wikidata.org/wiki/Q3854337","display_name":"Algebraic operation","level":3,"score":0.31349998712539673},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.3059999942779541},{"id":"https://openalex.org/C50820777","wikidata":"https://www.wikidata.org/wiki/Q213723","display_name":"Hypercube","level":2,"score":0.27059999108314514},{"id":"https://openalex.org/C13336665","wikidata":"https://www.wikidata.org/wiki/Q125977","display_name":"Vector space","level":2,"score":0.2533000111579895}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2604.04941","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.04941","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,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2604.04941","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.04941","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,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Many":[0],"combinatorial":[1,165],"optimisation":[2],"problems":[3],"hide":[4],"algebraic":[5,32,155],"structures":[6],"that,":[7],"once":[8],"exposed,":[9],"shrink":[10],"the":[11,16,20,82,98,126],"search":[12],"space":[13],"and":[14,45,64,111,119,153],"improve":[15],"chance":[17],"of":[18,57,133],"finding":[19],"global":[21,127],"optimal":[22],"solution.":[23],"We":[24],"present":[25],"a":[26,54,71,74,102,158],"general":[27,160],"framework":[28],"that":[29,41,106,151],"(i)":[30],"identifies":[31],"structure,":[33],"(ii)":[34],"formalises":[35],"operations,":[36],"(iii)":[37],"constructs":[38],"quotient":[39],"spaces":[40],"collapse":[42],"redundant":[43],"representations,":[44],"(iv)":[46],"optimises":[47],"directly":[48],"over":[49],"these":[50],"reduced":[51],"spaces.":[52],"Across":[53],"broad":[55],"family":[56],"rule-combination":[58],"tasks":[59],"(e.g.,":[60],"patient":[61],"subgroup":[62],"discovery":[63],"rule-based":[65],"molecular":[66],"screening),":[67],"conjunctive":[68],"rules":[69,93,110],"form":[70],"monoid.":[72],"Via":[73],"characteristic-vector":[75],"encoding,":[76],"we":[77],"prove":[78],"an":[79],"isomorphism":[80],"to":[81,131,137,162],"Boolean":[83],"hypercube":[84],"$\\{0,1\\}^n$":[85],"with":[86],"bitwise":[87,95],"OR,":[88],"so":[89],"logical":[90],"AND":[91],"in":[92,97,129],"becomes":[94],"OR":[96],"encoding.":[99],"This":[100],"yields":[101],"principled":[103],"quotient-space":[104],"formulation":[105],"groups":[107],"functionally":[108],"equivalent":[109],"guides":[112],"structure-aware":[113],"search.":[114],"On":[115],"real":[116],"clinical":[117],"data":[118],"synthetic":[120],"benchmarks,":[121],"quotient-space-aware":[122],"genetic":[123],"algorithms":[124],"recover":[125],"optimum":[128],"48%":[130],"77%":[132],"runs":[134],"versus":[135],"35%":[136],"37%":[138],"for":[139],"standard":[140],"approaches,":[141],"while":[142],"maintaining":[143],"diversity":[144],"across":[145],"equivalence":[146],"classes.":[147],"These":[148],"results":[149],"show":[150],"exposing":[152],"exploiting":[154],"structure":[156],"offers":[157],"simple,":[159],"route":[161],"more":[163],"efficient":[164],"optimisation.":[166]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-04-09T00:00:00"}