{"id":"https://openalex.org/W7212082471","doi":"https://doi.org/10.48550/arxiv.2609.07745","title":"A construction of F-irregular graphs","display_name":"A construction of F-irregular graphs","publication_year":2026,"publication_date":"2026-09-07","ids":{"openalex":"https://openalex.org/W7212082471","doi":"https://doi.org/10.48550/arxiv.2609.07745"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2609.07745","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.07745","pdf_url":"https://arxiv.org/pdf/2609.07745","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/2609.07745","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5143640341","display_name":"James Alexander Schreib","orcid":"https://orcid.org/0009-0005-1048-0209","observed_orcids":["https://orcid.org/0009-0005-1048-0209"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Schreib, James Alexander","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5143640341"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":1,"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/T10374","display_name":"Advanced Graph Theory Research","score":0.6596999764442444,"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"}},"topics":[{"id":"https://openalex.org/T10374","display_name":"Advanced Graph Theory Research","score":0.6596999764442444,"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/T12541","display_name":"Graph Labeling and Dimension Problems","score":0.22360000014305115,"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/T11476","display_name":"Graph theory and applications","score":0.06069999933242798,"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/subgraph-counting","display_name":"subgraph counting","score":0.6100000143051147},{"id":"https://openalex.org/keywords/threshold-graphs","display_name":"threshold graphs","score":0.6909999847412109},{"id":"https://openalex.org/keywords/lean-4-formalization","display_name":"Lean 4 formalization","score":0.7739999890327454}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.774399995803833},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.7368999719619751},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5683000087738037},{"id":"https://openalex.org/C184898388","wikidata":"https://www.wikidata.org/wiki/Q1435712","display_name":"Pairwise comparison","level":2,"score":0.46560001373291016},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4341999888420105},{"id":"https://openalex.org/C80899671","wikidata":"https://www.wikidata.org/wiki/Q1304193","display_name":"Vertex (graph theory)","level":3,"score":0.3955000042915344},{"id":"https://openalex.org/C128115575","wikidata":"https://www.wikidata.org/wiki/Q5597083","display_name":"Graph factorization","level":5,"score":0.3301999866962433},{"id":"https://openalex.org/C193435613","wikidata":"https://www.wikidata.org/wiki/Q2997928","display_name":"Connected component","level":2,"score":0.32829999923706055},{"id":"https://openalex.org/C119770614","wikidata":"https://www.wikidata.org/wiki/Q5516347","display_name":"Gadget","level":2,"score":0.32710000872612},{"id":"https://openalex.org/C203776342","wikidata":"https://www.wikidata.org/wiki/Q1378376","display_name":"Line graph","level":3,"score":0.31769999861717224},{"id":"https://openalex.org/C168291704","wikidata":"https://www.wikidata.org/wiki/Q902252","display_name":"Complement graph","level":5,"score":0.30970001220703125},{"id":"https://openalex.org/C147792647","wikidata":"https://www.wikidata.org/wiki/Q5282847","display_name":"Distance-hereditary graph","level":5,"score":0.3068999946117401},{"id":"https://openalex.org/C76444178","wikidata":"https://www.wikidata.org/wiki/Q72897900","display_name":"Connectivity","level":3,"score":0.305400013923645},{"id":"https://openalex.org/C123482549","wikidata":"https://www.wikidata.org/wiki/Q826467","display_name":"Regular graph","level":5,"score":0.3043000102043152},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.29670000076293945},{"id":"https://openalex.org/C32972407","wikidata":"https://www.wikidata.org/wiki/Q1187620","display_name":"Perfect graph","level":5,"score":0.28839999437332153},{"id":"https://openalex.org/C149530733","wikidata":"https://www.wikidata.org/wiki/Q5597091","display_name":"Graph power","level":4,"score":0.28690001368522644},{"id":"https://openalex.org/C2994516854","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Finite graph","level":3,"score":0.27320000529289246},{"id":"https://openalex.org/C198414033","wikidata":"https://www.wikidata.org/wiki/Q5155607","display_name":"Comparability graph","level":5,"score":0.2667999863624573}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2609.07745","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.07745","pdf_url":"https://arxiv.org/pdf/2609.07745","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.2609.07745","doi":"https://doi.org/10.48550/arxiv.2609.07745","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2609.07745","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:2609.07745","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.07745","pdf_url":"https://arxiv.org/pdf/2609.07745","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/W7212082471.pdf","grobid_xml":"https://content.openalex.org/works/W7212082471.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7221005850","https://openalex.org/W7221791778","https://openalex.org/W7221161071","https://openalex.org/W7213603308","https://openalex.org/W7221638608","https://openalex.org/W7214057522","https://openalex.org/W7197086568","https://openalex.org/W7131875363","https://openalex.org/W3164203540","https://openalex.org/W7204718909"],"abstract_inverted_index":{"For":[0,58],"a":[1,8,12,53,67,82,117],"fixed":[2],"graph":[3,14,45,69],"F,":[4,60],"the":[5,17,61,64,75,92,135],"F-degree":[6],"of":[7,19,21,119,129],"vertex":[9],"v":[10],"in":[11],"host":[13,65],"H":[15,22,30],"is":[16,31,78,132],"number":[18],"subgraphs":[20],"isomorphic":[23],"to":[24],"F":[25,46],"that":[26,41],"contain":[27],"v,":[28],"and":[29,123],"F-irregular":[32,56,106],"if":[33],"its":[34,140],"F-degrees":[35],"are":[36],"pairwise":[37,102],"distinct.":[38],"We":[39],"show":[40],"every":[42,109],"finite":[43,54,104],"connected":[44,55,105],"on":[47],"at":[48,79],"least":[49,80],"three":[50],"vertices":[51],"admits":[52],"host.":[57],"noncomplete":[59,110],"proof":[62],"builds":[63],"from":[66,116],"threshold":[68],"with":[70,86],"one":[71],"deleted":[72],"edge;":[73],"when":[74],"minimum":[76],"degree":[77],"two,":[81],"small":[83],"incidence":[84],"gadget":[85],"distinct":[87],"weighted":[88],"column":[89],"sums":[90],"separates":[91],"remaining":[93],"exceptional":[94],"vertices.":[95],"The":[96,112],"construction":[97],"also":[98],"yields":[99],"infinitely":[100],"many":[101],"non-isomorphic":[103],"hosts":[107],"for":[108],"F.":[111],"complete-pattern":[113,137],"case":[114],"follows":[115],"theorem":[118,138],"Chartrand,":[120],"Holbert,":[121],"Oellermann":[122],"Swart.":[124],"A":[125],"Lean":[126],"4":[127],"formalization":[128],"Theorem":[130],"1.1":[131],"described,":[133],"taking":[134],"published":[136],"as":[139],"sole":[141],"custom":[142],"axiom.":[143]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2026-09-10T00:00:00"}
