{"id":"https://openalex.org/W7212016805","doi":"https://doi.org/10.48550/arxiv.2609.07827","title":"An explicit mono-monostatic polyhedron","display_name":"An explicit mono-monostatic polyhedron","publication_year":2026,"publication_date":"2026-09-07","ids":{"openalex":"https://openalex.org/W7212016805","doi":"https://doi.org/10.48550/arxiv.2609.07827"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2609.07827","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.07827","pdf_url":"https://arxiv.org/pdf/2609.07827","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.07827","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5086901506","display_name":"Tancredi Schettini Gherardini","orcid":"https://orcid.org/0000-0003-4067-0941","observed_orcids":["https://orcid.org/0000-0003-4067-0941"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Gherardini, Tancredi Schettini","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5086901506"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"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/T11830","display_name":"Point processes and geometric inequalities","score":0.3310999870300293,"subfield":{"id":"https://openalex.org/subfields/2604","display_name":"Applied Mathematics"},"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/T11830","display_name":"Point processes and geometric inequalities","score":0.3310999870300293,"subfield":{"id":"https://openalex.org/subfields/2604","display_name":"Applied Mathematics"},"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.17829999327659607,"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/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.14900000393390656,"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/equilibrium-position","display_name":"equilibrium position","score":0.5419999957084656},{"id":"https://openalex.org/keywords/convex-polytopes","display_name":"convex polytopes","score":0.777999997138977},{"id":"https://openalex.org/keywords/exact-rational-arithmetic","display_name":"exact rational arithmetic","score":0.9240000247955322},{"id":"https://openalex.org/keywords/ai-assisted-mathematics","display_name":"AI-assisted mathematics","score":0.7179999947547913}],"concepts":[{"id":"https://openalex.org/C54829058","wikidata":"https://www.wikidata.org/wiki/Q172937","display_name":"Polyhedron","level":2,"score":0.7885000109672546},{"id":"https://openalex.org/C64543145","wikidata":"https://www.wikidata.org/wiki/Q162942","display_name":"Intersection (aeronautics)","level":2,"score":0.6812999844551086},{"id":"https://openalex.org/C145691206","wikidata":"https://www.wikidata.org/wiki/Q747980","display_name":"Polytope","level":2,"score":0.6050000190734863},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6003999710083008},{"id":"https://openalex.org/C112680207","wikidata":"https://www.wikidata.org/wiki/Q714886","display_name":"Regular polygon","level":2,"score":0.5156999826431274},{"id":"https://openalex.org/C110943637","wikidata":"https://www.wikidata.org/wiki/Q4129097","display_name":"Convex polytope","level":5,"score":0.4544000029563904},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.41200000047683716},{"id":"https://openalex.org/C66882249","wikidata":"https://www.wikidata.org/wiki/Q169336","display_name":"Homogeneous","level":2,"score":0.3693999946117401},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.35899999737739563},{"id":"https://openalex.org/C151756577","wikidata":"https://www.wikidata.org/wiki/Q36810","display_name":"Quadrilateral","level":3,"score":0.3174999952316284},{"id":"https://openalex.org/C46304622","wikidata":"https://www.wikidata.org/wiki/Q374814","display_name":"Certification","level":2,"score":0.3158999979496002},{"id":"https://openalex.org/C2776608160","wikidata":"https://www.wikidata.org/wiki/Q4785462","display_name":"Natural (archaeology)","level":2,"score":0.29980000853538513},{"id":"https://openalex.org/C105239961","wikidata":"https://www.wikidata.org/wiki/Q160003","display_name":"Tetrahedron","level":2,"score":0.2994000017642975},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.29910001158714294},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2824000120162964},{"id":"https://openalex.org/C68363185","wikidata":"https://www.wikidata.org/wiki/Q180969","display_name":"Algebraic geometry","level":2,"score":0.2734000086784363},{"id":"https://openalex.org/C110202963","wikidata":"https://www.wikidata.org/wiki/Q1783542","display_name":"Convex geometry","level":5,"score":0.26910001039505005},{"id":"https://openalex.org/C184264201","wikidata":"https://www.wikidata.org/wiki/Q21199","display_name":"Natural number","level":2,"score":0.2685999870300293},{"id":"https://openalex.org/C22411076","wikidata":"https://www.wikidata.org/wiki/Q668113","display_name":"Hexahedron","level":3,"score":0.2628999948501587},{"id":"https://openalex.org/C184992742","wikidata":"https://www.wikidata.org/wiki/Q7243229","display_name":"Prime (order theory)","level":2,"score":0.26179999113082886},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.2614000141620636},{"id":"https://openalex.org/C134912446","wikidata":"https://www.wikidata.org/wiki/Q5166516","display_name":"Convex body","level":4,"score":0.2574999928474426}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:arXiv.org:2609.07827","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.07827","pdf_url":"https://arxiv.org/pdf/2609.07827","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":"pmh:oai:pure.mpg.de:item_3730108","doi":null,"is_oa":false,"landing_page_url":"https://hdl.handle.net/21.11116/0000-0013-8672-3","pdf_url":null,"source":{"id":"https://openalex.org/S4306400654","display_name":"MPG.PuRe (Max Planck Society)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I149899117","host_organization_name":"Max Planck Society","host_organization_lineage":["https://openalex.org/I149899117"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv","raw_type":"info:eu-repo/semantics/preprint"},{"id":"doi:10.48550/arxiv.2609.07827","doi":"https://doi.org/10.48550/arxiv.2609.07827","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2609.07827","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.07827","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.07827","pdf_url":"https://arxiv.org/pdf/2609.07827","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/W7212016805.pdf","grobid_xml":"https://content.openalex.org/works/W7212016805.grobid-xml"},"referenced_works_count":3,"referenced_works":["https://openalex.org/W4382536500","https://openalex.org/W4394665554","https://openalex.org/W4414683593"],"related_works":["https://openalex.org/W3206684487","https://openalex.org/W3202076446","https://openalex.org/W4366393738","https://openalex.org/W2029318282","https://openalex.org/W3047384893","https://openalex.org/W2188637023","https://openalex.org/W4391463031","https://openalex.org/W4413736067","https://openalex.org/W2084146329","https://openalex.org/W3138566077"],"abstract_inverted_index":{"A":[0],"convex":[1],"body":[2,99],"is":[3,74,143,184],"mono-monostatic":[4,24,39,60,126],"if,":[5],"resting":[6],"under":[7,171],"gravity":[8],"on":[9],"a":[10,85],"horizontal":[11],"plane,":[12],"it":[13],"has":[14,100],"exactly":[15],"one":[16,19,64],"stable":[17],"and":[18,32,34,84,135,162,192],"unstable":[20],"equilibrium":[21,101],"position.":[22],"Smooth":[23],"homogeneous":[25],"bodies":[26,127],"exist":[27],"(the":[28],"G\u00f6mb\u00f6c":[29],"of":[30,79,124,180,195],"Domokos":[31],"V\u00e1rkonyi),":[33],"L\u00e1ngi":[35],"proved":[36],"that":[37,97,120,132,177],"(homogeneous)":[38],"polyhedra":[40],"exist;":[41],"although":[42],"no":[43],"explicit":[44,112],"example":[45],"appears":[46],"to":[47,51,106],"have":[48],"been":[49],"published,":[50],"the":[52,62,72,98,117,129,136,140,149,156,163,185],"author's":[53],"knowledge.":[54],"We":[55,115,175],"construct":[56],"explicitly":[57],"two":[58],"such":[59,189],"polytopes,":[61],"smaller":[63],"having":[65],"$56946$":[66],"faces;":[67],"importantly,":[68],"we":[69,147],"certify":[70],"them:":[71],"polytope":[73],"presented":[75],"as":[76],"an":[77],"intersection":[78],"half-spaces":[80],"with":[81,104,111],"rational":[82,91],"data,":[83],"certifying":[86],"verification":[87],"establishes,":[88],"using":[89],"exact":[90,109,178],"arithmetic":[92],"for":[93],"every":[94],"decisive":[95],"comparison,":[96],"signature":[102],"$(S,H,U)=(1,0,1)$":[103],"respect":[105],"its":[107],"own":[108],"centroid,":[110],"nondegeneracy":[113],"margins.":[114],"describe":[116],"geometric":[118],"obstructions":[119],"make":[121],"naive":[122],"discretisations":[123],"smooth":[125],"fail,":[128],"adaptive":[130],"construction":[131],"overcomes":[133],"them,":[134],"certification":[137,179],"strategy.":[138],"While":[139],"result":[141],"itself":[142],"not":[144],"strikingly":[145],"novel,":[146],"emphasise":[148],"non-standard":[150],"(but":[151],"increasingly":[152],"more":[153],"common)":[154],"methodology:":[155],"entire":[157],"programme,":[158],"i.e.":[159],"experiments,":[160],"constructions":[161],"verifier":[164],"itself,":[165],"was":[166],"implemented":[167],"by":[168],"AI":[169],"agents":[170],"human":[172],"mathematical":[173,193],"direction.":[174],"argue":[176],"numerically":[181],"discovered":[182],"objects":[183],"natural":[186],"contract":[187],"between":[188],"AI-assisted":[190],"workflows":[191],"standards":[194],"rigour.":[196]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-09-10T00:00:00"}