{"id":"https://openalex.org/W7214601966","doi":"https://doi.org/10.13140/rg.2.2.12294.54081","title":"An exact computer-assisted lower bound for Fisher-information convexity along the two-dimensional heat flow","display_name":"An exact computer-assisted lower bound for Fisher-information convexity along the two-dimensional heat flow","publication_year":2026,"publication_date":"2026-09-28","ids":{"openalex":"https://openalex.org/W7214601966","doi":"https://doi.org/10.13140/rg.2.2.12294.54081"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2610.20653","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.20653","pdf_url":"https://arxiv.org/pdf/2610.20653","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/2610.20653","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5029965952","display_name":"Fayez Abu-Ajamieh","orcid":"https://orcid.org/0000-0002-2814-0190","observed_orcids":["https://orcid.org/0000-0002-2814-0190"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Fayez Abu-Ajamieh","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5153238208","display_name":"Xiaoyan Huo","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xiaoyan Huo","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"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":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/T11564","display_name":"Mathematical Inequalities and Applications","score":0.5321999788284302,"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/T11564","display_name":"Mathematical Inequalities and Applications","score":0.5321999788284302,"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/T10229","display_name":"Geometric Analysis and Curvature Flows","score":0.4494999945163727,"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/T13500","display_name":"Probability and Statistical Research","score":0.0024999999441206455,"subfield":{"id":"https://openalex.org/subfields/2613","display_name":"Statistics and Probability"},"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/fisher-information","display_name":"Fisher information","score":0.9890000224113464},{"id":"https://openalex.org/keywords/heat-flow","display_name":"heat flow","score":0.7829999923706055},{"id":"https://openalex.org/keywords/log-convexity","display_name":"log-convexity","score":0.8040000200271606},{"id":"https://openalex.org/keywords/sharp-constants","display_name":"sharp constants","score":0.8040000200271606},{"id":"https://openalex.org/keywords/differential-inequalities","display_name":"differential inequalities","score":0.7319999933242798},{"id":"https://openalex.org/keywords/sum-of-squares-certificates","display_name":"sum-of-squares certificates","score":0.828000009059906},{"id":"https://openalex.org/keywords/gaussian-convolution","display_name":"Gaussian convolution","score":0.6430000066757202},{"id":"https://openalex.org/keywords/probability-measures","display_name":"probability measures","score":0.675000011920929},{"id":"https://openalex.org/keywords/two-dimensional-heat-equation","display_name":"two-dimensional heat equation","score":0.6840000152587891},{"id":"https://openalex.org/keywords/gram-matrix","display_name":"Gram matrix","score":0.7049999833106995},{"id":"https://openalex.org/keywords/computer-assisted-proof","display_name":"computer-assisted proof","score":0.6700000166893005}],"concepts":[{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.6638000011444092},{"id":"https://openalex.org/C2985596519","wikidata":"https://www.wikidata.org/wiki/Q179635","display_name":"Heat flow","level":3,"score":0.5824000239372253},{"id":"https://openalex.org/C72134830","wikidata":"https://www.wikidata.org/wiki/Q5166524","display_name":"Convexity","level":2,"score":0.5722000002861023},{"id":"https://openalex.org/C38349280","wikidata":"https://www.wikidata.org/wiki/Q1434290","display_name":"Flow (mathematics)","level":2,"score":0.5009999871253967},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.44749999046325684},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.4404999911785126},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.3977999985218048},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.31459999084472656},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.3010999858379364},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.2791000008583069},{"id":"https://openalex.org/C57879066","wikidata":"https://www.wikidata.org/wiki/Q41217","display_name":"Mechanics","level":1,"score":0.27149999141693115},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.25839999318122864},{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.2556999921798706}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:arXiv.org:2610.20653","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.20653","pdf_url":"https://arxiv.org/pdf/2610.20653","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.2610.20653","doi":"https://doi.org/10.48550/arxiv.2610.20653","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2610.20653","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":"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.13140/rg.2.2.12294.54081","doi":"https://doi.org/10.13140/rg.2.2.12294.54081","is_oa":false,"landing_page_url":"https://doi.org/10.13140/rg.2.2.12294.54081","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2610.20653","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.20653","pdf_url":"https://arxiv.org/pdf/2610.20653","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/W7214601966.pdf","grobid_xml":"https://content.openalex.org/works/W7214601966.grobid-xml"},"referenced_works_count":4,"referenced_works":["https://openalex.org/W3017074197","https://openalex.org/W4293166536","https://openalex.org/W4360849005","https://openalex.org/W7161690483"],"related_works":["https://openalex.org/W4360849005","https://openalex.org/W4405909137","https://openalex.org/W7161690483","https://openalex.org/W4417143750","https://openalex.org/W1985001533","https://openalex.org/W2010683218","https://openalex.org/W2069688650","https://openalex.org/W1513479443","https://openalex.org/W7116652942","https://openalex.org/W7213988534"],"abstract_inverted_index":{"We":[0,45,91],"study":[1],"the":[2,6,17,35,41,53,77,93,135,152],"sharp":[3,78,156],"constant":[4,79],"in":[5,31,95],"differential":[7],"inequality":[8],"\\[":[9,57,70],"I(t)I''(t)\\geq":[10],"c\\,[I'(t)]^2":[11],"\\]":[12,60,73],"for":[13,80],"Fisher":[14],"information":[15],"along":[16],"probability-normalized":[18],"heat":[19],"flow":[20],"on":[21,88,151],"$\\mathbb":[22,89],"R^2$.":[23,90],"The":[24,100,155],"unrestricted":[25],"log-convexity":[26],"value":[27,43,157],"$c=1$":[28],"is":[29,76,149],"false":[30],"two":[32],"dimensions,":[33],"whereas":[34],"known":[36],"square-root":[37],"convexity":[38],"theorem":[39],"gives":[40,69],"universal":[42,55],"$c=1/2$.":[44],"construct":[46],"an":[47,63,105],"exact,":[48],"machine-verifiable":[49],"sum-of-squares":[50],"certificate":[51],"proving":[52],"stronger":[54],"bound":[56,102],"c\\geq":[58],"\\frac{231691}{250000}=0.926764.":[59],"Together":[61],"with":[62],"independent":[64],"exact":[65,106],"Fourier/Gaussian-envelope":[66],"construction,":[67],"this":[68],"0.926764\\leq":[71],"c_*<0.94176665012062,":[72],"where":[74],"$c_*$":[75],"positive-time":[81],"Gaussian":[82],"convolutions":[83],"of":[84],"arbitrary":[85],"probability":[86],"measures":[87],"formulate":[92],"proof":[94],"explicit":[96],"two-dimensional":[97],"index":[98],"notation.":[99],"lower":[101],"follows":[103],"from":[104],"rational":[107,122],"polynomial":[108,137],"identity":[109,138],"involving":[110],"a":[111,115],"strictly":[112,132],"positive":[113,121,133],"denominator,":[114],"weighted":[116],"total":[117],"derivative,":[118],"and":[119,134],"eleven":[120],"Gram":[123],"matrices.":[124],"All":[125],"$491$":[126],"recorded":[127],"leading":[128],"principal":[129],"minors":[130],"are":[131],"complete":[136],"has":[139],"zero":[140],"residual.":[141],"No":[142],"symmetry,":[143],"log-concavity,":[144],"finite-variance,":[145],"or":[146],"finite-entropy":[147],"assumption":[148],"imposed":[150],"initial":[153],"measure.":[154],"remains":[158],"open.":[159]},"counts_by_year":[],"updated_date":"2026-11-08T12:12:28.789561","created_date":"2026-09-29T00:00:00"}