{"id":"https://openalex.org/W7225795041","doi":"https://doi.org/10.5281/zenodo.24146515","title":"Covering hypercubic grids by polygonal trails: capacity bounds and the optimum for P(4,3)","display_name":"Covering hypercubic grids by polygonal trails: capacity bounds and the optimum for P(4,3)","publication_year":2026,"publication_date":"2026-11-11","ids":{"openalex":"https://openalex.org/W7225795041","doi":"https://doi.org/10.5281/zenodo.24146515"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24146515","doi":"https://doi.org/10.5281/zenodo.24146515","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24146515","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":"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"},"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.24146515","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5138577699","display_name":"Aldo Roberto Pessolano","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Pessolano, Aldo Roberto","raw_affiliation_strings":["Independent Researcher"],"raw_orcid":"https://orcid.org/0009-0005-6539-2249","affiliations":[{"raw_affiliation_string":"Independent Researcher","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5009448062","display_name":"Marco Rip\u00e0","orcid":"https://orcid.org/0000-0002-6036-5541","observed_orcids":["https://orcid.org/0000-0002-6036-5541"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Rip\u00e0, Marco","raw_affiliation_strings":["Independent Researcher"],"raw_orcid":"https://orcid.org/0000-0002-6036-5541","affiliations":[{"raw_affiliation_string":"Independent Researcher","institution_ids":[]}]}],"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/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.6366999745368958,"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/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.6366999745368958,"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/T12504","display_name":"Mathematics and Applications","score":0.12849999964237213,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"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/T10996","display_name":"Computational Geometry and Mesh Generation","score":0.07370000332593918,"subfield":{"id":"https://openalex.org/subfields/1704","display_name":"Computer Graphics and Computer-Aided Design"},"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/C187691185","wikidata":"https://www.wikidata.org/wiki/Q2020720","display_name":"Grid","level":2,"score":0.6158999800682068},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.5080999732017517},{"id":"https://openalex.org/C135692309","wikidata":"https://www.wikidata.org/wiki/Q111124","display_name":"Square (algebra)","level":2,"score":0.505299985408783},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.48750001192092896},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4740000069141388},{"id":"https://openalex.org/C178650486","wikidata":"https://www.wikidata.org/wiki/Q1128619","display_name":"Square tiling","level":3,"score":0.4489000141620636},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.44179999828338623},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.41819998621940613},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4027999937534332},{"id":"https://openalex.org/C29123130","wikidata":"https://www.wikidata.org/wiki/Q874709","display_name":"Computational geometry","level":2,"score":0.38429999351501465},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.3490999937057495},{"id":"https://openalex.org/C64543145","wikidata":"https://www.wikidata.org/wiki/Q162942","display_name":"Intersection (aeronautics)","level":2,"score":0.3001999855041504},{"id":"https://openalex.org/C65682993","wikidata":"https://www.wikidata.org/wiki/Q1056451","display_name":"Reflection (computer programming)","level":2,"score":0.2994000017642975},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2939000129699707},{"id":"https://openalex.org/C77926391","wikidata":"https://www.wikidata.org/wiki/Q603880","display_name":"Finite field","level":2,"score":0.2784000039100647},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.262800008058548},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.2502000033855438}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.24146515","doi":"https://doi.org/10.5281/zenodo.24146515","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24146515","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":"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"},{"id":"doi:10.5281/zenodo.24146516","doi":"https://doi.org/10.5281/zenodo.24146516","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24146516","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":"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"}],"best_oa_location":{"id":"doi:10.5281/zenodo.24146515","doi":"https://doi.org/10.5281/zenodo.24146515","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24146515","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":"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":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"The":[0,125,178,190],"classical":[1],"nine-dot":[2],"puzzle":[3],"asks":[4],"for":[5,28,138],"a":[6,10,60,69,100,112,129,134,193],"polygonal":[7],"trail":[8,70,102,115],"through":[9,103],"square":[11],"grid":[12,80],"using":[13],"as":[14,17],"few":[15],"segments":[16,47,75],"possible.":[18],"We":[19,97],"study":[20],"its":[21],"higher-dimensional":[22],"analogue":[23],"on":[24],"P(n,k)":[25],":=":[26],"{0,\u2026,n\u22121}^k":[27],"integers":[29],"n,k":[30],"\u2265":[31,52,56,73,95],"2,":[32,57],"allowing":[33],"arbitrary":[34],"real":[35],"vertices":[36],"and":[37,41,54,93,111,140,158,164,174,182],"unrestricted":[38],"segment":[39],"directions,":[40],"denote":[42],"the":[43,64,108,121,141,147,152,161,171,196],"minimum":[44],"number":[45],"of":[46,63,71,83,106,198],"by":[48,146],"h(n,k).":[49],"For":[50],"n":[51],"3":[53],"k":[55],"we":[58],"give":[59],"geometric":[61],"proof":[62,176,184],"previously":[65,135],"stated":[66],"capacity":[67,127],"bound:":[68],"r":[72],"1":[74],"meets":[76],"at":[77,188],"most":[78],"1+r(n\u22121)":[79],"points.":[81],"Refinements":[82],"this":[84],"bound,":[85],"combined":[86],"with":[87],"exhaustive":[88],"finite":[89,153],"checks,":[90],"establish":[91],"h(4,3)=23":[92],"h(5,3)":[94],"32.":[96],"also":[98],"exhibit":[99],"22-segment":[101],"63":[104],"points":[105],"P(4,3),":[107],"maximum":[109],"possible,":[110],"23-segment":[113],"covering":[114],"contained":[116],"in":[117],"[0,4]^3,":[118],"which":[119],"settles":[120],"corresponding":[122],"box-constrained":[123],"problem.":[124],"general":[126],"theorem,":[128],"large-grid":[130],"lower":[131],"bound":[132],"refuting":[133],"proposed":[136],"formula":[137],"h(n,k),":[139],"boxed":[142],"construction":[143],"are":[144,186],"verified":[145],"Lean":[148],"4":[149],"kernel,":[150],"whereas":[151],"exclusions":[154],"use":[155,197],"native":[156,162],"reflection":[157],"additionally":[159],"trust":[160],"compiler":[163],"runtime.":[165],"A":[166],"companion":[167,179],"technical":[168,180],"note":[169,181],"provides":[170],"computational":[172],"specification":[173],"reproducible":[175,183],"artifacts.":[177],"artifacts":[185],"available":[187],"https://doi.org/10.5281/zenodo.24145830.":[189],"manuscript":[191],"includes":[192],"declaration":[194],"detailing":[195],"AI":[199],"assistance.":[200]},"counts_by_year":[],"updated_date":"2026-11-12T12:28:57.059296","created_date":"2026-11-12T00:00:00"}