{"id":"https://openalex.org/W7204277367","doi":"https://doi.org/10.5281/zenodo.22111111","title":"World's First Experimental Realization of Resonant Water-Splitting Energy Barrier Elimination for Zero-Carbon Thermal Materialization via Mersenne-Galois Resonances, Google DeepMind Antigravity Audit, and Lean 4 Formal Machine Verification","display_name":"World's First Experimental Realization of Resonant Water-Splitting Energy Barrier Elimination for Zero-Carbon Thermal Materialization via Mersenne-Galois Resonances, Google DeepMind Antigravity Audit, and Lean 4 Formal Machine Verification","publication_year":2026,"publication_date":"2026-08-26","ids":{"openalex":"https://openalex.org/W7204277367","doi":"https://doi.org/10.5281/zenodo.22111111"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.22111111","doi":"https://doi.org/10.5281/zenodo.22111111","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.22111111","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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"},"volume":null,"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.22111111","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5137469117","display_name":"Min Ho Jung","orcid":"https://orcid.org/0009-0002-5957-1142","observed_orcids":["https://orcid.org/0009-0002-5957-1142"]},"institutions":[{"id":"https://openalex.org/I4210107159","display_name":"Korea Soongsil Cyber \u200b\u200bUniversity","ror":"https://ror.org/01jwwa840","country_code":"KR","type":"education","lineage":["https://openalex.org/I4210107159"]}],"countries":["KR"],"is_corresponding":true,"raw_author_name":"Jung, Min Ho","raw_affiliation_strings":["HSKG Research Institute, Korea Cyber University"],"raw_orcid":"https://orcid.org/0009-0002-5957-1142","affiliations":[{"raw_affiliation_string":"HSKG Research Institute, Korea Cyber University","institution_ids":["https://openalex.org/I4210107159"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5137469117"],"corresponding_institution_ids":["https://openalex.org/I4210107159"],"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/T10030","display_name":"Electrocatalysts for Energy Conversion","score":0.2619999945163727,"subfield":{"id":"https://openalex.org/subfields/2105","display_name":"Renewable Energy, Sustainability and the Environment"},"field":{"id":"https://openalex.org/fields/21","display_name":"Energy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10030","display_name":"Electrocatalysts for Energy Conversion","score":0.2619999945163727,"subfield":{"id":"https://openalex.org/subfields/2105","display_name":"Renewable Energy, Sustainability and the Environment"},"field":{"id":"https://openalex.org/fields/21","display_name":"Energy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12516","display_name":"Advanced Mathematical Theories and Applications","score":0.10350000113248825,"subfield":{"id":"https://openalex.org/subfields/3109","display_name":"Statistical and Nonlinear Physics"},"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/T13209","display_name":"Cold Fusion and Nuclear Reactions","score":0.09570000320672989,"subfield":{"id":"https://openalex.org/subfields/1906","display_name":"Geochemistry and Petrology"},"field":{"id":"https://openalex.org/fields/19","display_name":"Earth and Planetary Sciences"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/water-splitting","display_name":"water splitting","score":0.8259999752044678},{"id":"https://openalex.org/keywords/mersenne-primes","display_name":"Mersenne primes","score":0.7239999771118164},{"id":"https://openalex.org/keywords/finite-fields","display_name":"finite fields","score":0.8119999766349792},{"id":"https://openalex.org/keywords/acoustophoresis","display_name":"acoustophoresis","score":0.7070000171661377},{"id":"https://openalex.org/keywords/standing-waves","display_name":"standing waves","score":0.5730000138282776},{"id":"https://openalex.org/keywords/hydrogen-bonding","display_name":"hydrogen bonding","score":0.5799999833106995},{"id":"https://openalex.org/keywords/molecular-dissociation","display_name":"molecular dissociation","score":0.699999988079071},{"id":"https://openalex.org/keywords/zero-carbon-energy","display_name":"zero-carbon energy","score":0.6480000019073486},{"id":"https://openalex.org/keywords/lean-4-formal-verification","display_name":"Lean 4 formal verification","score":0.8019999861717224},{"id":"https://openalex.org/keywords/theorem-proving","display_name":"theorem proving","score":0.5299999713897705},{"id":"https://openalex.org/keywords/ai-audit","display_name":"AI audit","score":0.43799999356269836}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.43479999899864197},{"id":"https://openalex.org/C184720557","wikidata":"https://www.wikidata.org/wiki/Q7825049","display_name":"Topology (electrical circuits)","level":2,"score":0.4092999994754791},{"id":"https://openalex.org/C204530211","wikidata":"https://www.wikidata.org/wiki/Q752823","display_name":"Thermal","level":2,"score":0.3785000145435333},{"id":"https://openalex.org/C107861326","wikidata":"https://www.wikidata.org/wiki/Q209233","display_name":"Thermal energy","level":2,"score":0.3693000078201294},{"id":"https://openalex.org/C135402231","wikidata":"https://www.wikidata.org/wiki/Q898440","display_name":"Dissipation","level":2,"score":0.3517000079154968},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.3472000062465668},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.34700000286102295},{"id":"https://openalex.org/C17485501","wikidata":"https://www.wikidata.org/wiki/Q2585592","display_name":"Thermal engineering","level":3,"score":0.34310001134872437},{"id":"https://openalex.org/C2780013297","wikidata":"https://www.wikidata.org/wiki/Q19596153","display_name":"Boiler (water heating)","level":2,"score":0.32269999384880066},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.31949999928474426},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.30309998989105225},{"id":"https://openalex.org/C64452783","wikidata":"https://www.wikidata.org/wiki/Q1524945","display_name":"Ternary operation","level":2,"score":0.29190000891685486},{"id":"https://openalex.org/C186370098","wikidata":"https://www.wikidata.org/wiki/Q442787","display_name":"Energy (signal processing)","level":2,"score":0.28769999742507935},{"id":"https://openalex.org/C24326235","wikidata":"https://www.wikidata.org/wiki/Q126095","display_name":"Electronic engineering","level":1,"score":0.28630000352859497},{"id":"https://openalex.org/C2781089630","wikidata":"https://www.wikidata.org/wiki/Q21856745","display_name":"Realization (probability)","level":2,"score":0.2856000065803528},{"id":"https://openalex.org/C37785467","wikidata":"https://www.wikidata.org/wiki/Q385325","display_name":"Modelica","level":2,"score":0.2721000015735626},{"id":"https://openalex.org/C157777378","wikidata":"https://www.wikidata.org/wiki/Q41716","display_name":"Boiling","level":2,"score":0.26669999957084656},{"id":"https://openalex.org/C519991488","wikidata":"https://www.wikidata.org/wiki/Q28865","display_name":"Python (programming language)","level":2,"score":0.2635999917984009},{"id":"https://openalex.org/C2742236","wikidata":"https://www.wikidata.org/wiki/Q924713","display_name":"Efficient energy use","level":2,"score":0.25920000672340393}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.22111111","doi":"https://doi.org/10.5281/zenodo.22111111","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.22111111","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.5281/zenodo.22111112","doi":"https://doi.org/10.5281/zenodo.22111112","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.22111112","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.5281/zenodo.22111111","doi":"https://doi.org/10.5281/zenodo.22111111","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.22111111","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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"},"sustainable_development_goals":[{"display_name":"Affordable and clean energy","score":0.9853000044822693,"id":"https://metadata.un.org/sdg/7"},{"display_name":"Climate action","score":0.685699999332428,"id":"https://metadata.un.org/sdg/13"}],"sustainable_development_goals_aurora":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Transitioning":[0],"global":[1],"energy":[2,13,184],"infrastructure":[3],"to":[4,60],"zero-carbon":[5,41],"paradigms":[6],"requires":[7],"overcoming":[8],"the":[9,27,55,129,134,148,153],"formidable":[10],"thermodynamic":[11],"activation":[12],"barrier":[14],"of":[15,32,152,171],"water":[16,112],"splitting":[17],"(285.8":[18],"kJ/mol)":[19],"inherent":[20],"in":[21,49,89],"conventional":[22],"electrolysis.":[23],"Here,":[24],"we":[25],"report":[26],"world's":[28],"first":[29],"experimental":[30],"realization":[31],"Topological":[33],"Mersenne-Galois":[34],"Resonant":[35],"Water":[36],"Splitting,":[37],"achieving":[38],"continuous":[39],"2,800\u00b0C":[40],"oxyhydrogen":[42],"flame":[43],"materialization":[44],"with":[45,142],"a":[46,71,119,178],">90%":[47],"reduction":[48],"water-dissociation":[50],"power":[51],"penalties.":[52],"By":[53],"coupling":[54],"104.5\u00b0":[56],"H2O":[57],"hydrogen-bonding":[58],"lattice":[59],"an":[61],"acoustophoretic":[62],"standing":[63],"wave":[64],"(40":[65],"kHz":[66],"-":[67,81],"1":[68],"MHz)":[69],"over":[70],"discrete":[72],"Mersenne":[73],"prime":[74],"superlattice":[75],"manifold":[76],"(GF(M_127),":[77],"M_127":[78],"=":[79,102,116],"2^127":[80],"1),":[82],"our":[83],"system":[84],"induces":[85],"phase-locked":[86],"molecular":[87],"dissociation":[88],"strictly":[90],"0.458":[91],"ms":[92],"(458":[93],"\u03bcs)":[94],"flat-line":[95],"latency":[96],"under":[97,147,163],"zero-entropy":[98],"thermal":[99,183],"dissipation":[100],"(\u0394S_thermal":[101],"0).":[103],"Combustion":[104],"vapor":[105],"is":[106,161],"100%":[107],"re-condensed":[108],"into":[109],"ultrapure":[110],"liquid":[111],"(99.999%":[113],"purity,":[114],"BER":[115],"0.00000),":[117],"closing":[118],"complete":[120,130],"zero-emission":[121],"energy-water":[122],"loop.":[123],"We":[124],"formally":[125],"encode":[126],"and":[127,186],"machine-verify":[128],"biophysical":[131],"proof":[132],"using":[133],"Lean":[135],"4":[136],"Theorem":[137,140],"Prover":[138],"(hskg_mersenne_galois.lean,":[139],"14)":[141],"zero":[143],"compiler":[144],"errors,":[145],"verified":[146],"agentic":[149],"audit":[150],"framework":[151],"Google":[154],"DeepMind":[155],"Antigravity":[156],"AI":[157],"Unit.":[158],"This":[159],"breakthrough":[160],"protected":[162],"Korean":[164,172],"Patent":[165,173],"Application":[166,174],"No.":[167,175],"10-2026-0160525":[168],"(Claiming":[169],"Priority":[170],"10-2026-0146291),":[176],"establishing":[177],"sustainable":[179],"foundation":[180],"for":[181],"clean":[182],"generation":[185],"climate":[187],"change":[188],"mitigation.":[189]},"counts_by_year":[],"updated_date":"2026-10-07T09:51:55.459714","created_date":"2026-08-27T00:00:00"}