{"id":"https://openalex.org/W7214699682","doi":"https://doi.org/10.48550/arxiv.2609.32950","title":"Integrality, smoothness and normality bounds for cube-truncated Hadamard simplices","display_name":"Integrality, smoothness and normality bounds for cube-truncated Hadamard simplices","publication_year":2026,"publication_date":"2026-09-26","ids":{"openalex":"https://openalex.org/W7214699682","doi":"https://doi.org/10.48550/arxiv.2609.32950"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2609.32950","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.32950","pdf_url":"https://arxiv.org/pdf/2609.32950","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","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2609.32950","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5153488634","display_name":"Nikita Lebedev","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Lebedev, Nikita","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5153488634"],"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/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.9291999936103821,"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.9291999936103821,"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/T10061","display_name":"Algebraic Geometry and Number Theory","score":0.019600000232458115,"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/T12069","display_name":"Commutative Algebra and Its Applications","score":0.01510000042617321,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"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/integrality","display_name":"integrality","score":0.6460000276565552},{"id":"https://openalex.org/keywords/smoothness","display_name":"smoothness","score":0.9459999799728394},{"id":"https://openalex.org/keywords/normality","display_name":"normality","score":0.7789999842643738},{"id":"https://openalex.org/keywords/integer-decomposition","display_name":"integer decomposition","score":0.7300000190734863},{"id":"https://openalex.org/keywords/rounding","display_name":"rounding","score":0.31700000166893005},{"id":"https://openalex.org/keywords/counterexample","display_name":"counterexample","score":0.6949999928474426}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8125},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.6811000108718872},{"id":"https://openalex.org/C33676613","wikidata":"https://www.wikidata.org/wiki/Q13415176","display_name":"Dimension (graph theory)","level":2,"score":0.5866000056266785},{"id":"https://openalex.org/C102634674","wikidata":"https://www.wikidata.org/wiki/Q868473","display_name":"Smoothness","level":2,"score":0.5613999962806702},{"id":"https://openalex.org/C60292330","wikidata":"https://www.wikidata.org/wiki/Q1014065","display_name":"Hadamard transform","level":2,"score":0.554099977016449},{"id":"https://openalex.org/C92757383","wikidata":"https://www.wikidata.org/wiki/Q382497","display_name":"Affine transformation","level":2,"score":0.4860000014305115},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.47600001096725464},{"id":"https://openalex.org/C70710897","wikidata":"https://www.wikidata.org/wiki/Q680081","display_name":"Separable space","level":2,"score":0.4253999888896942},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3725000023841858},{"id":"https://openalex.org/C2776157432","wikidata":"https://www.wikidata.org/wiki/Q1375683","display_name":"Normality","level":2,"score":0.35910001397132874},{"id":"https://openalex.org/C145691206","wikidata":"https://www.wikidata.org/wiki/Q747980","display_name":"Polytope","level":2,"score":0.35120001435279846},{"id":"https://openalex.org/C64543145","wikidata":"https://www.wikidata.org/wiki/Q162942","display_name":"Intersection (aeronautics)","level":2,"score":0.34769999980926514},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.34529998898506165},{"id":"https://openalex.org/C62438384","wikidata":"https://www.wikidata.org/wiki/Q331350","display_name":"Simplex","level":2,"score":0.3325999975204468},{"id":"https://openalex.org/C112680207","wikidata":"https://www.wikidata.org/wiki/Q714886","display_name":"Regular polygon","level":2,"score":0.3246999979019165},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.30979999899864197},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.30550000071525574},{"id":"https://openalex.org/C135981907","wikidata":"https://www.wikidata.org/wiki/Q188056","display_name":"Triangulation","level":2,"score":0.30140000581741333},{"id":"https://openalex.org/C95611797","wikidata":"https://www.wikidata.org/wiki/Q17502105","display_name":"Infimum and supremum","level":2,"score":0.2897000014781952},{"id":"https://openalex.org/C108598597","wikidata":"https://www.wikidata.org/wiki/Q124255","display_name":"Conic section","level":2,"score":0.287200003862381},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.28600001335144043},{"id":"https://openalex.org/C176217482","wikidata":"https://www.wikidata.org/wiki/Q860554","display_name":"Metric (unit)","level":2,"score":0.2849000096321106},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.2791000008583069}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2609.32950","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.32950","pdf_url":"https://arxiv.org/pdf/2609.32950","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.32950","doi":"https://doi.org/10.48550/arxiv.2609.32950","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2609.32950","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.32950","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.32950","pdf_url":"https://arxiv.org/pdf/2609.32950","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":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7214699682.pdf","grobid_xml":"https://content.openalex.org/works/W7214699682.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2041591002","https://openalex.org/W4393968473","https://openalex.org/W156094634","https://openalex.org/W7164905375","https://openalex.org/W1998695454","https://openalex.org/W7221519291","https://openalex.org/W2767044683","https://openalex.org/W2795793083","https://openalex.org/W1631350821","https://openalex.org/W7062085177"],"abstract_inverted_index":{"Santos":[0],"asked":[1],"when":[2],"intersections":[3],"of":[4,45,67],"dilated":[5],"Hadamard":[6,93],"simplices":[7,66,94],"with":[8,109],"cubes":[9],"are":[10],"integral,":[11],"smooth,":[12],"or":[13],"normal,":[14],"in":[15,25,53,127],"a":[16,22,74],"prescribed":[17],"affine":[18],"lattice.":[19],"We":[20,35,85],"construct":[21,80],"nonintegral":[23],"example":[24,33,52],"dimension":[26,54],"eleven":[27],"and":[28,39,79,95,113],"prove":[29],"that":[30,41,57],"no":[31],"smaller-dimensional":[32],"exists.":[34],"characterize":[36],"smoothness":[37],"completely":[38],"show":[40],"every":[42],"smooth":[43],"member":[44],"this":[46],"family":[47],"is":[48],"normal.":[49],"An":[50],"explicit":[51],"fifteen":[55],"shows":[56],"integrality":[58,77],"alone":[59],"does":[60],"not":[61],"imply":[62],"normality.":[63],"For":[64],"Sylvester":[65,100],"order":[68],"at":[69],"least":[70],"sixteen,":[71],"we":[72],"establish":[73],"sharp":[75],"uniform":[76],"bound":[78],"counterexamples":[81],"immediately":[82],"below":[83],"it.":[84],"also":[86],"obtain":[87],"sufficient":[88],"normality":[89],"bounds":[90,97],"for":[91,98,107],"general":[92],"stronger":[96],"the":[99],"family.":[101],"The":[102],"proofs":[103],"use":[104],"integer":[105],"decomposition":[106],"boxes":[108],"separated":[110],"corner":[111],"cuts":[112],"rounding":[114],"under":[115],"three":[116],"signed":[117],"slab":[118],"constraints.":[119],"All":[120],"numbered":[121],"results":[122],"have":[123],"formal":[124],"counterparts":[125],"verified":[126],"Lean.":[128]},"counts_by_year":[],"updated_date":"2026-10-28T10:33:24.094632","created_date":"2026-09-30T00:00:00"}