{"id":"https://openalex.org/W7158514298","doi":"https://doi.org/10.48550/arxiv.2604.26333","title":"Distributional Learning of Graph Languages Generated by Fixed-Interface Clause Systems","display_name":"Distributional Learning of Graph Languages Generated by Fixed-Interface Clause Systems","publication_year":2026,"publication_date":"2026-04-29","ids":{"openalex":"https://openalex.org/W7158514298","doi":"https://doi.org/10.48550/arxiv.2604.26333"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2604.26333","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.26333","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":null,"license_id":null,"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.26333","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5013978252","display_name":"Takayoshi Shoudai","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Shoudai, Takayoshi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040215557","display_name":"Satoshi Matsumoto","orcid":"https://orcid.org/0000-0001-7925-801X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Matsumoto, Satoshi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5134897839","display_name":"Yusuke Suzuki","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Suzuki, Yusuke","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5134902711","display_name":"Tomoyuki Uchida","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Uchida, Tomoyuki","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9214000105857849,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9214000105857849,"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/T11273","display_name":"Advanced Graph Neural Networks","score":0.019600000232458115,"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.004999999888241291,"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/learnability","display_name":"Learnability","score":0.7042999863624573},{"id":"https://openalex.org/keywords/parameterized-complexity","display_name":"Parameterized complexity","score":0.5105999708175659},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.4756999909877777},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.45969998836517334},{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.4108000099658966},{"id":"https://openalex.org/keywords/tuple","display_name":"Tuple","score":0.3702999949455261},{"id":"https://openalex.org/keywords/graph-property","display_name":"Graph property","score":0.35100001096725464}],"concepts":[{"id":"https://openalex.org/C2777723229","wikidata":"https://www.wikidata.org/wiki/Q4367921","display_name":"Learnability","level":2,"score":0.7042999863624573},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5410000085830688},{"id":"https://openalex.org/C165464430","wikidata":"https://www.wikidata.org/wiki/Q1570441","display_name":"Parameterized complexity","level":2,"score":0.5105999708175659},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4959000051021576},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.4756999909877777},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.47369998693466187},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.45969998836517334},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.4108000099658966},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.39719998836517334},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.37709999084472656},{"id":"https://openalex.org/C118930307","wikidata":"https://www.wikidata.org/wiki/Q600590","display_name":"Tuple","level":2,"score":0.3702999949455261},{"id":"https://openalex.org/C64339825","wikidata":"https://www.wikidata.org/wiki/Q722659","display_name":"Graph property","level":5,"score":0.35100001096725464},{"id":"https://openalex.org/C198838072","wikidata":"https://www.wikidata.org/wiki/Q729271","display_name":"Context-free language","level":3,"score":0.3474000096321106},{"id":"https://openalex.org/C97256817","wikidata":"https://www.wikidata.org/wiki/Q1462316","display_name":"Spurious relationship","level":2,"score":0.3440000116825104},{"id":"https://openalex.org/C110546421","wikidata":"https://www.wikidata.org/wiki/Q1315869","display_name":"Arity","level":2,"score":0.3400000035762787},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.32919999957084656},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.3287999927997589},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.30390000343322754},{"id":"https://openalex.org/C52370388","wikidata":"https://www.wikidata.org/wiki/Q752532","display_name":"Regular language","level":3,"score":0.2939999997615814},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.2596000134944916},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.25220000743865967},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.2506999969482422}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2604.26333","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.26333","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2604.26333","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.26333","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"score":0.4818791449069977,"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Distributional":[0],"learning":[1,40,95,213],"provides":[2],"a":[3,50,63,208,219],"useful":[4],"framework":[5,22],"for":[6,156,214],"studying":[7],"the":[8,38,57,71,85,105,113,136,144,161,167,179,205],"learnability":[9],"of":[10,53,211],"structured":[11],"languages":[12,25,55,217],"from":[13,99,169],"positive":[14,43,107,170],"data.":[15],"In":[16],"this":[17,21],"paper,":[18],"we":[19],"extend":[20],"to":[23,117,121],"graph":[24,54,216],"generated":[26],"by":[27,70,104,125],"fixed-interface":[28,220],"clause":[29,197],"systems":[30],"(FICSs).":[31],"We":[32,48,128,175],"formulate":[33],"FICSs":[34],"explicitly":[35],"and":[36,45,81,90,120,148,172,199],"study":[37],"corresponding":[39,145],"problem":[41],"under":[42,62],"presentations":[44],"membership":[46,126,173,200],"queries.":[47,127,174],"consider":[49],"bounded":[51],"class":[52],"satisfying":[56],"finite":[58],"context":[59],"property":[60],"(FCP)":[61],"bounded-degree":[64],"assumption.":[65],"The":[66,94],"bounds":[67],"are":[68,141,152,202],"expressed":[69],"degree":[72],"bound":[73],"$\u0394$":[74],"together":[75],"with":[76],"five":[77],"structural":[78],"parameters":[79],"$m,s,t,w$,":[80],"$d$,":[82],"which":[83],"control":[84],"clause-system":[86],"structure,":[87],"interface":[88,114],"ranks,":[89],"local":[91],"head-frame":[92],"complexity.":[93],"algorithm":[96],"constructs":[97],"hypotheses":[98],"ordered":[100,192],"boundary":[101,193],"representations":[102,110],"induced":[103],"observed":[106,137],"examples.":[108],"These":[109],"make":[111],"explicit":[112],"information":[115],"needed":[116],"compare":[118],"contexts":[119,132],"test":[122],"candidate":[123],"clauses":[124,140,151],"prove":[129,177],"that":[130,178],"target":[131,139,162],"eventually":[133,153],"appear":[134],"in":[135,166,218],"sample,":[138],"reconstructed":[142],"over":[143],"predicate":[146,195],"representatives,":[147],"spurious":[149],"non-fact":[150],"excluded.":[154],"Consequently,":[155],"every":[157],"fixed":[158],"parameter":[159],"tuple,":[160],"language":[163],"is":[164],"identifiable":[165],"limit":[168],"data":[171],"also":[176],"learner":[180],"has":[181],"polynomial-time":[182],"update":[183],"on":[184],"$\\FICSLFCP_\u0394(m,s,t,w,d)$:":[185],"at":[186],"each":[187],"stage,":[188],"only":[189],"polynomially":[190],"many":[191],"representations,":[194],"symbols,":[196],"candidates,":[198],"queries":[201],"needed.":[203],"Overall,":[204],"paper":[206],"gives":[207],"parameterized":[209],"reformulation":[210],"distributional":[212],"interface-based":[215],"setting.":[221]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-05-01T00:00:00"}