{"id":"https://openalex.org/W7163528035","doi":"https://doi.org/10.48550/arxiv.2606.04458","title":"A Certified Lower Bound for Lebesgue's Universal Cover Problem","display_name":"A Certified Lower Bound for Lebesgue's Universal Cover Problem","publication_year":2026,"publication_date":"2026-06-03","ids":{"openalex":"https://openalex.org/W7163528035","doi":"https://doi.org/10.48550/arxiv.2606.04458"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2606.04458","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.04458","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.2606.04458","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5048278176","display_name":"Niantao Xie","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Xie, Niantao","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5048278176"],"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/T10996","display_name":"Computational Geometry and Mesh Generation","score":0.1331000030040741,"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"}},"topics":[{"id":"https://openalex.org/T10996","display_name":"Computational Geometry and Mesh Generation","score":0.1331000030040741,"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"}},{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":0.10989999771118164,"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.10459999740123749,"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/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.8029999732971191},{"id":"https://openalex.org/keywords/cover","display_name":"Cover (algebra)","score":0.6909999847412109},{"id":"https://openalex.org/keywords/certificate","display_name":"Certificate","score":0.6344000101089478},{"id":"https://openalex.org/keywords/regular-polygon","display_name":"Regular polygon","score":0.4837000072002411},{"id":"https://openalex.org/keywords/equilateral-triangle","display_name":"Equilateral triangle","score":0.46880000829696655},{"id":"https://openalex.org/keywords/public-key-certificate","display_name":"Public key certificate","score":0.3206999897956848},{"id":"https://openalex.org/keywords/finite-set","display_name":"Finite set","score":0.29649999737739563}],"concepts":[{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.8029999732971191},{"id":"https://openalex.org/C2780428219","wikidata":"https://www.wikidata.org/wiki/Q16952335","display_name":"Cover (algebra)","level":2,"score":0.6909999847412109},{"id":"https://openalex.org/C96865113","wikidata":"https://www.wikidata.org/wiki/Q2946816","display_name":"Certificate","level":2,"score":0.6344000101089478},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6270999908447266},{"id":"https://openalex.org/C112680207","wikidata":"https://www.wikidata.org/wiki/Q714886","display_name":"Regular polygon","level":2,"score":0.4837000072002411},{"id":"https://openalex.org/C146786541","wikidata":"https://www.wikidata.org/wiki/Q157002","display_name":"Equilateral triangle","level":2,"score":0.46880000829696655},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4438000023365021},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.3776000142097473},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3449000120162964},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.32440000772476196},{"id":"https://openalex.org/C167529545","wikidata":"https://www.wikidata.org/wiki/Q274758","display_name":"Public key certificate","level":4,"score":0.3206999897956848},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3084999918937683},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.29649999737739563},{"id":"https://openalex.org/C199521495","wikidata":"https://www.wikidata.org/wiki/Q181487","display_name":"Audit","level":2,"score":0.2937000095844269},{"id":"https://openalex.org/C67405866","wikidata":"https://www.wikidata.org/wiki/Q6007261","display_name":"Implicit certificate","level":5,"score":0.29319998621940613},{"id":"https://openalex.org/C206194317","wikidata":"https://www.wikidata.org/wiki/Q1138624","display_name":"Convex hull","level":3,"score":0.2870999872684479},{"id":"https://openalex.org/C95611797","wikidata":"https://www.wikidata.org/wiki/Q17502105","display_name":"Infimum and supremum","level":2,"score":0.2849999964237213},{"id":"https://openalex.org/C62057728","wikidata":"https://www.wikidata.org/wiki/Q7366568","display_name":"Root certificate","level":5,"score":0.2754000127315521},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.2621999979019165},{"id":"https://openalex.org/C2779227376","wikidata":"https://www.wikidata.org/wiki/Q6505497","display_name":"Layer (electronics)","level":2,"score":0.25690001249313354}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2606.04458","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.04458","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.2606.04458","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.04458","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":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Lebesgue's":[0],"universal":[1,227],"cover":[2,213],"problem":[3],"asks":[4],"for":[5,202],"the":[6,9,31,37,62,65,82,94,100,139,142,157,192,203,207,211,220,223],"infimum":[7,221],"of":[8,11,19,23,51,64,68,222,225],"areas":[10,224],"planar":[12,21],"sets":[13,39,160],"that":[14],"contain":[15],"a":[16,41,48,75,90,108,125,199],"congruent":[17],"copy":[18],"every":[20],"set":[22],"diameter":[24,52],"at":[25],"most":[26],"one.":[27,53],"We":[28,73],"work":[29],"in":[30,156],"convex":[32,66,102,194,226],"Brass$-$Sharifi":[33,95],"three-test-set":[34,103],"framework,":[35],"where":[36,217],"test":[38,71,159],"are":[40,132],"closed":[42],"disk,":[43],"an":[44,148,163],"equilateral":[45],"triangle,":[46],"and":[47,121,161,171,182],"regular":[49],"pentagon":[50],"For":[54],"each":[55,122],"normalized":[56,84],"placement":[57],"$v$,":[58],"let":[59],"$A(v)$":[60],"denote":[61],"area":[63,175,197],"hull":[67,204],"these":[69],"three":[70,158],"sets.":[72],"construct":[74],"finite":[76,212],"certificate":[77],"proving":[78],"$A(v)\\ge":[79],"0.833$":[80],"throughout":[81],"admissible":[83,112],"domain.":[85],"The":[86,105,111,129,152],"threshold":[87],"$0.833$":[88],"yields":[89,214],"certified":[91,133,167,187],"improvement":[92],"over":[93],"lower":[96,200],"bound":[97,144,201],"$0.832$":[98],"within":[99],"same":[101],"framework.":[104],"proof":[106],"is":[107,114,145,176,219],"finite-cover":[109],"argument.":[110],"domain":[113,123],"covered":[115],"by":[116,134,179],"finitely":[117],"many":[118],"parameter":[119],"domains,":[120,141],"carries":[124],"local":[126,136,143,208],"lower-bound":[127],"certificate.":[128],"non-witness":[130],"domains":[131],"supporting":[135],"records.":[137],"On":[138],"witness":[140,153],"obtained":[146],"from":[147],"inner-witness":[149],"polygon":[150],"construction.":[151],"points":[154],"lie":[155],"determine":[162],"ordered":[164],"polygonal":[165,188],"region":[166,189],"to":[168],"be":[169],"simple":[170],"positively":[172],"oriented.":[173],"Its":[174],"bounded":[177],"below":[178],"interval":[180],"orientation":[181],"shoelace":[183],"estimates.":[184],"Since":[185],"this":[186],"lies":[190],"inside":[191],"corresponding":[193],"hull,":[195],"its":[196],"gives":[198],"area.":[205],"Combining":[206],"inequalities":[209],"with":[210],"$\u03b1_{cvx}\\ge":[215],"0.833$,":[216],"$\u03b1_{cvx}$":[218],"covers.":[228]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-06-05T00:00:00"}