{"id":"https://openalex.org/W7225746982","doi":"https://doi.org/10.5281/zenodo.24047492","title":"Triangle-overlap cores and density bounds for Tuza's conjecture","display_name":"Triangle-overlap cores and density bounds for Tuza's conjecture","publication_year":2026,"publication_date":"2026-11-10","ids":{"openalex":"https://openalex.org/W7225746982","doi":"https://doi.org/10.5281/zenodo.24047492"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24047492","doi":"https://doi.org/10.5281/zenodo.24047492","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24047492","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.24047492","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5160539636","display_name":"Yasuhito Tsujimura","orcid":"https://orcid.org/0009-0004-9964-9607","observed_orcids":["https://orcid.org/0009-0004-9964-9607"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Tsujimura, Yasuhito","raw_affiliation_strings":["Universion Closure Logic"],"raw_orcid":"https://orcid.org/0009-0004-9964-9607","affiliations":[{"raw_affiliation_string":"Universion Closure Logic","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5160539636"],"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/T11329","display_name":"Limits and Structures in Graph Theory","score":0.86080002784729,"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"}},"topics":[{"id":"https://openalex.org/T11329","display_name":"Limits and Structures in Graph Theory","score":0.86080002784729,"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"}},{"id":"https://openalex.org/T10374","display_name":"Advanced Graph Theory Research","score":0.13099999725818634,"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.0026000000070780516,"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":[],"concepts":[{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.8406000137329102},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6118999719619751},{"id":"https://openalex.org/C2164484","wikidata":"https://www.wikidata.org/wiki/Q5170150","display_name":"Core (optical fiber)","level":2,"score":0.6021000146865845},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5954999923706055},{"id":"https://openalex.org/C62354387","wikidata":"https://www.wikidata.org/wiki/Q875399","display_name":"Boundary (topology)","level":2,"score":0.5709999799728394},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.5633000135421753},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5568000078201294},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.5446000099182129},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.47760000824928284},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.4702000021934509},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.4415999948978424},{"id":"https://openalex.org/C162307627","wikidata":"https://www.wikidata.org/wiki/Q204833","display_name":"Enhanced Data Rates for GSM Evolution","level":2,"score":0.4101000130176544},{"id":"https://openalex.org/C2775997480","wikidata":"https://www.wikidata.org/wiki/Q586277","display_name":"Degree (music)","level":2,"score":0.40230000019073486},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.3856000006198883},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.305400013923645},{"id":"https://openalex.org/C136979486","wikidata":"https://www.wikidata.org/wiki/Q773483","display_name":"Existential quantification","level":2,"score":0.27489998936653137},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.26420000195503235},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.2630999982357025},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2531000077724457}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.24047492","doi":"https://doi.org/10.5281/zenodo.24047492","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24047492","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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"},{"id":"doi:10.5281/zenodo.24047493","doi":"https://doi.org/10.5281/zenodo.24047493","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24047493","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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":"doi:10.5281/zenodo.24047492","doi":"https://doi.org/10.5281/zenodo.24047492","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24047492","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"This":[0],"record":[1],"contains":[2,125],"the":[3,24,46,73,77,81,90,141,176,185,191,195,210],"paper":[4,25,71,199,207],"Triangle-overlap":[5],"cores":[6],"and":[7,16,34,56,84,137,151,167,184,190],"density":[8,74],"bounds":[9],"for":[10,100,139],"Tuza's":[11,27],"conjecture":[12,118],"by":[13,148],"Yasuhito":[14],"Tsujimura":[15],"its":[17],"finite-verification":[18],"package.":[19],"For":[20],"finite":[21,135,143,188],"simple":[22],"graphs,":[23],"proves":[26],"triangle":[28],"packing-covering":[29],"inequality":[30],"under":[31],"explicit":[32],"triangle-overlap":[33],"maximum-average-degree":[35],"conditions.":[36],"Each":[37],"edge":[38],"may":[39],"belong":[40],"to":[41,76,89],"at":[42,52,60],"most":[43,53,61],"four":[44],"triangles;":[45],"four-triangle":[47],"edges":[48],"form":[49],"components":[50,224],"with":[51,164,170,218],"two":[54],"edges;":[55],"maximum":[57,65],"average":[58],"degree":[59],"25/2":[62,93],"suffices.":[63],"No":[64],"vertex-degree":[66],"bound":[67,92],"is":[68,113,200,216],"imposed.":[69],"The":[70,115,121,173,197,206,213],"localizes":[72],"condition":[75,109],"induced":[78],"subgraph":[79],"on":[80,161],"Hifumi":[82],"core":[83,112],"establishes":[85],"a":[86,101,106],"quantitative":[87],"strengthening":[88],"strict":[91],"+":[94],"2/56775.":[95],"A":[96],"separate":[97],"reduction":[98],"theorem":[99],"broader":[102],"overlap":[103],"class":[104],"gives":[105],"density-free":[107],"sufficient":[108],"when":[110],"this":[111],"empty.":[114],"general":[116],"Tuza":[117],"remains":[119],"unresolved.":[120],"accompanying":[122],"verification":[123,214],"package":[124,215],"an":[126],"offline":[127],"English":[128],"reader":[129],"guide,":[130],"source":[131],"code,":[132],"fixed":[133],"inputs,":[134],"certificates,":[136],"commands":[138],"replaying":[140],"eight":[142],"proof":[144],"obligations":[145],"F001-F008.":[146],"Start":[147],"extracting":[149],"Tuza_Verification_v1.zip":[150],"opening":[152],"START_HERE.html":[153],"inside":[154],"tuza-verification.":[155],"Full":[156],"replay":[157],"has":[158],"been":[159],"tested":[160],"macOS":[162],"ARM64":[163,169],"Apple":[165],"Clang":[166],"Ubuntu":[168],"GNU":[171],"GCC.":[172],"guide":[174],"states":[175],"measured":[177],"runtimes,":[178],"resource":[179],"requirements,":[180],"exact":[181],"checked":[182],"domains,":[183],"boundary":[186],"between":[187],"computation":[189],"analytic":[192],"arguments":[193],"in":[194,221],"paper.":[196],"corresponding":[198],"publicly":[201],"available":[202],"as":[203],"arXiv:2611.11128v1:":[204],"https://arxiv.org/abs/2611.11128v1":[205],"PDF":[208],"preserves":[209],"submitted":[211],"version.":[212],"released":[217],"verification-use":[219],"terms":[220],"RIGHTS.txt;":[222],"third-party":[223],"retain":[225],"their":[226],"respective":[227],"licenses.":[228]},"counts_by_year":[],"updated_date":"2026-11-11T12:16:26.678958","created_date":"2026-11-11T00:00:00"}