{"id":"https://openalex.org/W7204484474","doi":"https://doi.org/10.48550/arxiv.2608.25760","title":"From estimate to proof: certified ground-state energy bounds for singular Schr\u00f6dinger operators on $R^3$","display_name":"From estimate to proof: certified ground-state energy bounds for singular Schr\u00f6dinger operators on $R^3$","publication_year":2026,"publication_date":"2026-08-26","ids":{"openalex":"https://openalex.org/W7204484474","doi":"https://doi.org/10.48550/arxiv.2608.25760"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2608.25760","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.25760","pdf_url":"https://arxiv.org/pdf/2608.25760","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-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","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/2608.25760","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5140156473","display_name":"Xuefeng Liu","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I20560788","display_name":"Tokyo Woman's Christian University","ror":"https://ror.org/03mb27p64","country_code":"JP","type":"education","lineage":["https://openalex.org/I20560788"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Liu, Xuefeng","raw_affiliation_strings":["Department of Information and Sciences , Tokyo Woman's Christian University 2-6-1 Zempukuji , Suginami-ku , Tokyo 167-8585 , Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Information and Sciences , Tokyo Woman's Christian University 2-6-1 Zempukuji , Suginami-ku , Tokyo 167-8585 , Japan","institution_ids":["https://openalex.org/I20560788"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5140156473"],"corresponding_institution_ids":["https://openalex.org/I20560788"],"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/T11022","display_name":"Spectral Theory in Mathematical Physics","score":0.9818999767303467,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"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/T11022","display_name":"Spectral Theory in Mathematical Physics","score":0.9818999767303467,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"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/T10002","display_name":"Advanced Chemical Physics Studies","score":0.003800000064074993,"subfield":{"id":"https://openalex.org/subfields/3107","display_name":"Atomic and Molecular Physics, and Optics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11416","display_name":"Numerical Solvers for Ordinary Differential Equations","score":0.0026000000070780516,"subfield":{"id":"https://openalex.org/subfields/2612","display_name":"Numerical Analysis"},"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/ground-state-energy-bounds","display_name":"ground state energy bounds","score":0.8740000128746033},{"id":"https://openalex.org/keywords/hydrogen-molecular-ion","display_name":"hydrogen molecular ion","score":0.8140000104904175},{"id":"https://openalex.org/keywords/sign-changing-potential","display_name":"sign-changing potential","score":0.7570000290870667},{"id":"https://openalex.org/keywords/quantum-chemistry","display_name":"quantum chemistry","score":0.4729999899864197},{"id":"https://openalex.org/keywords/spectral-geometry","display_name":"spectral geometry","score":0.48500001430511475},{"id":"https://openalex.org/keywords/interval-arithmetic","display_name":"interval arithmetic","score":0.35199999809265137}],"concepts":[{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.6783000230789185},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5252000093460083},{"id":"https://openalex.org/C186370098","wikidata":"https://www.wikidata.org/wiki/Q442787","display_name":"Energy (signal processing)","level":2,"score":0.5030999779701233},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.4943999946117401},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.45350000262260437},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.43939998745918274},{"id":"https://openalex.org/C98184364","wikidata":"https://www.wikidata.org/wiki/Q1780131","display_name":"Argument (complex analysis)","level":2,"score":0.3935999870300293},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.37880000472068787},{"id":"https://openalex.org/C158693339","wikidata":"https://www.wikidata.org/wiki/Q190524","display_name":"Eigenvalues and eigenvectors","level":2,"score":0.3723999857902527},{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.34850001335144043},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.34439998865127563},{"id":"https://openalex.org/C191252586","wikidata":"https://www.wikidata.org/wiki/Q1671453","display_name":"Interval arithmetic","level":3,"score":0.310699999332428},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.30889999866485596},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.2973000109195709},{"id":"https://openalex.org/C2780009758","wikidata":"https://www.wikidata.org/wiki/Q6804172","display_name":"Measure (data warehouse)","level":2,"score":0.2921999990940094},{"id":"https://openalex.org/C22789450","wikidata":"https://www.wikidata.org/wiki/Q420904","display_name":"Singular value decomposition","level":2,"score":0.28450000286102295},{"id":"https://openalex.org/C46304622","wikidata":"https://www.wikidata.org/wiki/Q374814","display_name":"Certification","level":2,"score":0.2808000147342682},{"id":"https://openalex.org/C99414536","wikidata":"https://www.wikidata.org/wiki/Q7098950","display_name":"Optimal stopping","level":2,"score":0.2750999927520752},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.2736000120639801},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2721000015735626},{"id":"https://openalex.org/C98375054","wikidata":"https://www.wikidata.org/wiki/Q442709","display_name":"Enclosure","level":2,"score":0.2700999975204468},{"id":"https://openalex.org/C2777210771","wikidata":"https://www.wikidata.org/wiki/Q4927124","display_name":"Block (permutation group theory)","level":2,"score":0.26019999384880066},{"id":"https://openalex.org/C198082294","wikidata":"https://www.wikidata.org/wiki/Q3399648","display_name":"Position (finance)","level":2,"score":0.25859999656677246},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.2572999894618988}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2608.25760","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.25760","pdf_url":"https://arxiv.org/pdf/2608.25760","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-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2608.25760","doi":"https://doi.org/10.48550/arxiv.2608.25760","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2608.25760","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-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2608.25760","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.25760","pdf_url":"https://arxiv.org/pdf/2608.25760","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-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[{"id":"https://openalex.org/G3322708467","display_name":"\u88dc\u9593\u8aa4\u5dee\u89e3\u6790\u3092\u8d85\u3048\u3066\u5207\u308a\u62d3\u304f\u6709\u9650\u8981\u7d20\u6cd5\u3068\u7cbe\u5ea6\u4fdd\u8a3c\u4ed8\u304d\u6570\u5024\u8a08\u7b97\u306e\u65b0\u305f\u306a\u308b\u5730\u5e73","funder_award_id":"24K00538","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G4448643973","display_name":"Locally Structured Spectral Learning of Dynamical Systems and Symbolic Regression for Governing Equations","funder_award_id":"26H02490","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"}],"funders":[{"id":"https://openalex.org/F4320334764","display_name":"Japan Society for the Promotion of Science","ror":"https://ror.org/00hhkn466"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7204484474.pdf","grobid_xml":"https://content.openalex.org/works/W7204484474.grobid-xml"},"referenced_works_count":7,"referenced_works":["https://openalex.org/W3120296170","https://openalex.org/W7117716057","https://openalex.org/W7143491991","https://openalex.org/W7160557882","https://openalex.org/W7167601217","https://openalex.org/W7205004605","https://openalex.org/W7213366495"],"related_works":["https://openalex.org/W7160557882","https://openalex.org/W2056328280","https://openalex.org/W2049697243","https://openalex.org/W7167601217","https://openalex.org/W2088494680","https://openalex.org/W7213366495","https://openalex.org/W4238537763","https://openalex.org/W2025153923","https://openalex.org/W2013074728","https://openalex.org/W4403073076"],"abstract_inverted_index":{"We":[0],"propose":[1],"a":[2,49,82,84,129,135,140,143,157,175,177],"rigorous":[3],"computational":[4],"method":[5,35],"that":[6,160],"certifies":[7,36,161],"the":[8,34,42,67,70,88,104,165,169],"separator":[9],"required":[10],"by":[11,93],"Temple's":[12,46],"inequality":[13,47,146],"and":[14,18,45,75,103,147,156,198],"its":[15,191],"Lehmann--Goerisch":[16,178],"refinements,":[17],"with":[19,28,48,128,139,151],"it":[20,100],"unconditional":[21],"ground-state":[22],"bounds":[23,163],"for":[24,96,182],"$H=-\u0394+V$":[25],"on":[26,87,124,164],"$R^3$":[27],"attractive":[29],"Coulomb":[30],"singularities.":[31],"For":[32,60],"H$_2^+$":[33],"$\u03bb_2^{\\rm":[37],"eee}\\ge-0.2035$":[38],"in":[39,113],"place":[40],"of":[41,56,131],"analytic":[43,68],"$-\\tfrac14$,":[44],"global":[50],"trial":[51],"then":[52],"gives":[53],"an":[54,125],"enclosure":[55],"width":[57],"below":[58],"$6.5\\times10^{-51}$.":[59],"linear":[61],"H$_3^{2+}$,":[62],"whose":[63],"central":[64],"nucleus":[65],"defeats":[66],"separator,":[69,83],"certified":[71],"widths":[72],"are":[73,200],"$1.3\\times10^{-12}$":[74],"$3.1\\times10^{-13}$":[76],"at":[77,116],"two":[78,167],"nuclear":[79],"separations.":[80],"Such":[81],"lower":[85,162],"bound":[86,105,150,190],"second":[89,170],"eigenvalue,":[90],"is":[91,101,106,111],"supplied":[92],"theory":[94],"only":[95],"special":[97],"configurations;":[98],"elsewhere":[99],"estimated":[102],"conditional.":[107],"Here":[108],"every":[109],"hypothesis":[110],"verified":[112],"interval":[114],"arithmetic":[115],"run":[117],"time.":[118],"Three":[119],"constructions":[120],"make":[121],"this":[122],"possible":[123],"unbounded":[126,132],"domain":[127],"potential":[130],"$L^\\infty$":[133],"norm:":[134],"two-sided":[136],"Neumann/Dirichlet":[137],"truncation":[138],"computable":[141],"remainder;":[142],"localized":[144],"Hardy":[145],"sharp":[148],"form":[149],"explicit":[152],"constants,":[153],"restoring":[154],"coercivity;":[155],"projection":[158],"stage":[159],"first":[166],"eigenvalues,":[168],"serving":[171],"as":[172],"separator.":[173],"On":[174],"box,":[176],"step":[179],"places":[180],"$\u03bb_1\\in[-0.553291,-0.550740]$":[181],"H$_2^+$.":[183],"The":[184],"coercivity":[185],"constant,":[186],"we":[187],"show,":[188],"must":[189],"own":[192],"optimum":[193],"from":[194],"above.":[195],"All":[196],"drivers":[197],"certificates":[199],"released.":[201]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-08-28T00:00:00"}