{"id":"https://openalex.org/W7155225145","doi":"https://doi.org/10.48550/arxiv.2604.19212","title":"The Logical Expressiveness of Topological Neural Networks","display_name":"The Logical Expressiveness of Topological Neural Networks","publication_year":2026,"publication_date":"2026-04-21","ids":{"openalex":"https://openalex.org/W7155225145","doi":"https://doi.org/10.48550/arxiv.2604.19212"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2604.19212","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.19212","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":"article"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2604.19212","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5081540694","display_name":"Amirreza Akbari","orcid":"https://orcid.org/0009-0002-1433-3781"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Akbari, Amirreza","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5134246373","display_name":"Amauri H. Souza","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Souza, Amauri H.","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5134360878","display_name":"Vikas Garg","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Garg, Vikas","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"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/T11273","display_name":"Advanced Graph Neural Networks","score":0.9768999814987183,"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/T11273","display_name":"Advanced Graph Neural Networks","score":0.9768999814987183,"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/T12292","display_name":"Graph Theory and Algorithms","score":0.0038999998942017555,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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.002899999963119626,"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/expressive-power","display_name":"Expressive power","score":0.5932000279426575},{"id":"https://openalex.org/keywords/graph-isomorphism","display_name":"Graph isomorphism","score":0.5324000120162964},{"id":"https://openalex.org/keywords/pairwise-comparison","display_name":"Pairwise comparison","score":0.4878000020980835},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.4309999942779541},{"id":"https://openalex.org/keywords/truth-table","display_name":"Truth table","score":0.40119999647140503},{"id":"https://openalex.org/keywords/logical-conjunction","display_name":"Logical conjunction","score":0.3919999897480011},{"id":"https://openalex.org/keywords/hierarchy","display_name":"Hierarchy","score":0.39100000262260437},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.3880000114440918},{"id":"https://openalex.org/keywords/binary-number","display_name":"Binary number","score":0.38269999623298645}],"concepts":[{"id":"https://openalex.org/C195818886","wikidata":"https://www.wikidata.org/wiki/Q5421724","display_name":"Expressive power","level":2,"score":0.5932000279426575},{"id":"https://openalex.org/C61665672","wikidata":"https://www.wikidata.org/wiki/Q303100","display_name":"Graph isomorphism","level":4,"score":0.5324000120162964},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5210000276565552},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5081999897956848},{"id":"https://openalex.org/C184898388","wikidata":"https://www.wikidata.org/wiki/Q1435712","display_name":"Pairwise comparison","level":2,"score":0.4878000020980835},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.4309999942779541},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4122999906539917},{"id":"https://openalex.org/C56949724","wikidata":"https://www.wikidata.org/wiki/Q219079","display_name":"Truth table","level":2,"score":0.40119999647140503},{"id":"https://openalex.org/C21847791","wikidata":"https://www.wikidata.org/wiki/Q191081","display_name":"Logical conjunction","level":2,"score":0.3919999897480011},{"id":"https://openalex.org/C31170391","wikidata":"https://www.wikidata.org/wiki/Q188619","display_name":"Hierarchy","level":2,"score":0.39100000262260437},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.3880000114440918},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.38269999623298645},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.38190001249313354},{"id":"https://openalex.org/C74992188","wikidata":"https://www.wikidata.org/wiki/Q239179","display_name":"Non-classical logic","level":3,"score":0.3783999979496002},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3774000108242035},{"id":"https://openalex.org/C134752490","wikidata":"https://www.wikidata.org/wiki/Q374182","display_name":"Logical consequence","level":2,"score":0.37139999866485596},{"id":"https://openalex.org/C203436722","wikidata":"https://www.wikidata.org/wiki/Q902950","display_name":"Isomorphism (crystallography)","level":3,"score":0.36390000581741333},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.34380000829696655},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.3424000144004822},{"id":"https://openalex.org/C65180967","wikidata":"https://www.wikidata.org/wiki/Q130901","display_name":"Binary relation","level":2,"score":0.3222000002861023},{"id":"https://openalex.org/C64339825","wikidata":"https://www.wikidata.org/wiki/Q722659","display_name":"Graph property","level":5,"score":0.27309998869895935},{"id":"https://openalex.org/C78023250","wikidata":"https://www.wikidata.org/wiki/Q657596","display_name":"Unary operation","level":2,"score":0.2718999981880188},{"id":"https://openalex.org/C184720557","wikidata":"https://www.wikidata.org/wiki/Q7825049","display_name":"Topology (electrical circuits)","level":2,"score":0.26829999685287476},{"id":"https://openalex.org/C44291984","wikidata":"https://www.wikidata.org/wiki/Q1074173","display_name":"Question answering","level":2,"score":0.26109999418258667},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.2524999976158142},{"id":"https://openalex.org/C177877439","wikidata":"https://www.wikidata.org/wiki/Q7604413","display_name":"Statistical relational learning","level":3,"score":0.2524000108242035},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.2502000033855438}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2604.19212","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.19212","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":"article"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2604.19212","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.19212","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":"article"},"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":{"Graph":[0],"neural":[1,37],"networks":[2,38],"(GNNs)":[3],"are":[4],"the":[5,22,28,75,106,116,134,167],"standard":[6,142],"for":[7,47,124,185],"learning":[8],"on":[9],"graphs,":[10],"yet":[11],"they":[12],"have":[13,40],"limited":[14],"expressive":[15],"power,":[16],"often":[17],"expressed":[18],"in":[19],"terms":[20],"of":[21,30,78,109,118,121,141],"Weisfeiler-Leman":[23],"(WL)":[24],"hierarchy":[25],"or":[26],"within":[27],"framework":[29],"first-order":[31],"logic.":[32],"In":[33,93,130],"this":[34,81,94,98],"context,":[35],"topological":[36,135],"(TNNs)":[39],"recently":[41],"emerged":[42],"as":[43],"a":[44,68,146,181],"promising":[45],"alternative":[46],"graph":[48],"representation":[49],"learning.":[50],"By":[51],"incorporating":[52],"higher-order":[53,119],"relational":[54],"structures":[55],"into":[56],"message-passing":[57],"schemes,":[58],"TNNs":[59,90],"offer":[60],"higher":[61],"representational":[62],"power":[63,117],"than":[64],"traditional":[65],"GNNs.":[66],"However,":[67],"fundamental":[69],"question":[70,99],"remains":[71],"open:":[72],"what":[73],"is":[74],"logical":[76,182],"expressiveness":[77,183],"TNNs?":[79],"Answering":[80],"allows":[82],"us":[83],"to":[84],"characterize":[85],"precisely":[86],"which":[87,155],"binary":[88],"classifiers":[89],"can":[91],"represent.":[92],"paper,":[95],"we":[96,132],"address":[97],"by":[100],"analyzing":[101],"isomorphism":[102],"tests":[103,123],"derived":[104],"from":[105],"underlying":[107],"mechanisms":[108],"general":[110],"TNNs.":[111,186],"We":[112,164],"introduce":[113,133],"and":[114],"investigate":[115],"variants":[120],"WL-based":[122],"combinatorial":[125],"complexes,":[126],"called":[127],"$k$-CCWL":[128],"test.":[129],"addition,":[131],"counting":[136,143,149],"logic":[137,144],"(TC$_k$),":[138],"an":[139],"extension":[140],"featuring":[145],"novel":[147],"pairwise":[148],"quantifier":[150],"$":[151,154,170],"\\exists^{N}(x_i,x_j)\\,":[152],"\u03c6(x_i,x_j),":[153],"explicitly":[156],"quantifies":[157],"pairs":[158],"$(x_i,":[159],"x_j)$":[160],"satisfying":[161],"property":[162],"$\u03c6$.":[163],"rigorously":[165],"prove":[166],"exact":[168],"equivalence:":[169],"\\text{k-CCWL}":[171],"\\equiv":[172,174],"\\text{TC}_{k{+}2}":[173],"\\text{Topological":[175],"}(k{+}2)\\text{-pebble":[176],"game}.$":[177],"These":[178],"results":[179],"establish":[180],"theory":[184]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2026-04-23T00:00:00"}