{"id":"https://openalex.org/W7213596757","doi":"https://doi.org/10.5281/zenodo.22823721","title":"The Frontier Triad: Swampland Distance Bounds, Tachyon Condensation, and Non-Perturbative Vacuum Decay on K3 \u00d7 T\u00b2","display_name":"The Frontier Triad: Swampland Distance Bounds, Tachyon Condensation, and Non-Perturbative Vacuum Decay on K3 \u00d7 T\u00b2","publication_year":2026,"publication_date":"2026-09-18","ids":{"openalex":"https://openalex.org/W7213596757","doi":"https://doi.org/10.5281/zenodo.22823721"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.22823721","doi":"https://doi.org/10.5281/zenodo.22823721","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.22823721","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.22823721","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5136896505","display_name":"Xavier Callens","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Callens, Xavier","raw_affiliation_strings":["SocrateAI Research Laboratory for Mathematical Physics & Formal Verification"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SocrateAI Research Laboratory for Mathematical Physics & Formal Verification","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5152120960","display_name":"SocrateAI Scientific Agora Collaboration","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"SocrateAI Scientific Agora Collaboration","raw_affiliation_strings":["SocrateAI Research Laboratory for Mathematical Physics & Formal Verification"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SocrateAI Research Laboratory for Mathematical Physics & Formal Verification","institution_ids":[]}]}],"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":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/T10025","display_name":"Black Holes and Theoretical Physics","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/3106","display_name":"Nuclear and High Energy Physics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10025","display_name":"Black Holes and Theoretical Physics","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/3106","display_name":"Nuclear and High Energy 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/T10048","display_name":"Particle physics theoretical and experimental studies","score":9.999999747378752e-05,"subfield":{"id":"https://openalex.org/subfields/3106","display_name":"Nuclear and High Energy 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/T11415","display_name":"Noncommutative and Quantum Gravity Theories","score":0.0,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/swampland-distance-conjecture","display_name":"Swampland Distance Conjecture","score":0.8849999904632568},{"id":"https://openalex.org/keywords/tachyon-condensation","display_name":"tachyon condensation","score":0.9929999709129333},{"id":"https://openalex.org/keywords/orientifolds","display_name":"orientifolds","score":0.6380000114440918},{"id":"https://openalex.org/keywords/o7-planes","display_name":"O7-planes","score":0.7279999852180481},{"id":"https://openalex.org/keywords/d7-branes","display_name":"D7-branes","score":0.9549999833106995},{"id":"https://openalex.org/keywords/tadpole-cancellation","display_name":"tadpole cancellation","score":0.9779999852180481},{"id":"https://openalex.org/keywords/false-vacuum-decay","display_name":"false vacuum decay","score":0.6949999928474426},{"id":"https://openalex.org/keywords/lean-4-formal-verification","display_name":"Lean 4 formal verification","score":0.6850000023841858},{"id":"https://openalex.org/keywords/diophantine-equations","display_name":"Diophantine equations","score":0.7580000162124634}],"concepts":[{"id":"https://openalex.org/C42458899","wikidata":"https://www.wikidata.org/wiki/Q41995","display_name":"Tachyon","level":2,"score":0.6761000156402588},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.4526999890804291},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.4490000009536743},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4268999993801117},{"id":"https://openalex.org/C157486923","wikidata":"https://www.wikidata.org/wiki/Q1376436","display_name":"String (physics)","level":2,"score":0.4065000116825104},{"id":"https://openalex.org/C33332235","wikidata":"https://www.wikidata.org/wiki/Q18362","display_name":"Theoretical physics","level":1,"score":0.3921999931335449},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.3799999952316284},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.33660000562667847},{"id":"https://openalex.org/C64543145","wikidata":"https://www.wikidata.org/wiki/Q162942","display_name":"Intersection (aeronautics)","level":2,"score":0.3353999853134155},{"id":"https://openalex.org/C206530611","wikidata":"https://www.wikidata.org/wiki/Q905896","display_name":"Diophantine equation","level":2,"score":0.3346000015735626},{"id":"https://openalex.org/C68797384","wikidata":"https://www.wikidata.org/wiki/Q2746792","display_name":"Noncommutative geometry","level":2,"score":0.33180001378059387},{"id":"https://openalex.org/C62354387","wikidata":"https://www.wikidata.org/wiki/Q875399","display_name":"Boundary (topology)","level":2,"score":0.320499986410141},{"id":"https://openalex.org/C147452769","wikidata":"https://www.wikidata.org/wiki/Q11452","display_name":"General relativity","level":2,"score":0.3102000057697296},{"id":"https://openalex.org/C124017977","wikidata":"https://www.wikidata.org/wiki/Q11412","display_name":"Gravitation","level":2,"score":0.3061000108718872},{"id":"https://openalex.org/C2779886137","wikidata":"https://www.wikidata.org/wiki/Q21030012","display_name":"Symmetry (geometry)","level":2,"score":0.2935999929904938},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.29339998960494995},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.2854999899864197},{"id":"https://openalex.org/C171036898","wikidata":"https://www.wikidata.org/wiki/Q256355","display_name":"Equivariant map","level":2,"score":0.2842000126838684},{"id":"https://openalex.org/C37914503","wikidata":"https://www.wikidata.org/wiki/Q156495","display_name":"Mathematical physics","level":1,"score":0.28119999170303345},{"id":"https://openalex.org/C67820243","wikidata":"https://www.wikidata.org/wiki/Q179164","display_name":"Unitary state","level":2,"score":0.27950000762939453},{"id":"https://openalex.org/C73373263","wikidata":"https://www.wikidata.org/wiki/Q845677","display_name":"Moduli space","level":2,"score":0.2791999876499176},{"id":"https://openalex.org/C115047598","wikidata":"https://www.wikidata.org/wiki/Q54505","display_name":"Quantum field theory","level":2,"score":0.27649998664855957},{"id":"https://openalex.org/C2777680557","wikidata":"https://www.wikidata.org/wiki/Q7259417","display_name":"Pullback","level":2,"score":0.27390000224113464},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.2736999988555908},{"id":"https://openalex.org/C5667645","wikidata":"https://www.wikidata.org/wiki/Q217255","display_name":"Lorentz transformation","level":2,"score":0.27239999175071716},{"id":"https://openalex.org/C49987212","wikidata":"https://www.wikidata.org/wiki/Q33198","display_name":"String theory","level":2,"score":0.27230000495910645},{"id":"https://openalex.org/C68249636","wikidata":"https://www.wikidata.org/wiki/Q385601","display_name":"Brane","level":2,"score":0.2712000012397766},{"id":"https://openalex.org/C13355873","wikidata":"https://www.wikidata.org/wiki/Q2920850","display_name":"Connection (principal bundle)","level":2,"score":0.26840001344680786},{"id":"https://openalex.org/C2780791683","wikidata":"https://www.wikidata.org/wiki/Q846785","display_name":"Action (physics)","level":2,"score":0.2669000029563904},{"id":"https://openalex.org/C2780813799","wikidata":"https://www.wikidata.org/wiki/Q3274237","display_name":"Zero (linguistics)","level":2,"score":0.257099986076355},{"id":"https://openalex.org/C143782950","wikidata":"https://www.wikidata.org/wiki/Q40460","display_name":"Orbifold","level":2,"score":0.2558000087738037},{"id":"https://openalex.org/C2777831296","wikidata":"https://www.wikidata.org/wiki/Q12518","display_name":"Tower","level":2,"score":0.25540000200271606},{"id":"https://openalex.org/C58315980","wikidata":"https://www.wikidata.org/wiki/Q179436","display_name":"Asymptote","level":2,"score":0.25200000405311584}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.5281/zenodo.22823721","doi":"https://doi.org/10.5281/zenodo.22823721","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.22823721","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.22823722","doi":"https://doi.org/10.5281/zenodo.22823722","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.22823722","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.22841098","doi":"https://doi.org/10.5281/zenodo.22841098","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.22841098","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.22823721","doi":"https://doi.org/10.5281/zenodo.22823721","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.22823721","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":[],"sustainable_development_goals_aurora":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Revision":[0],"(2026-09-18):":[1],"orientifold":[2,11,165],"bookkeeping.":[3],"The":[4,246,292],"tadpole":[5],"configuration":[6],"is":[7,147,297,338],"placed":[8],"in":[9,30,37,86,97,182,190,220,237,299,376],"the":[10,16,20,26,54,62,72,89,114,129,164,196,200,264,271,288,300,313,378,381,384,387],"K3":[12],"\u00d7":[13],"T\u00b2/Z2,":[14,24],"with":[15,88,195,226,363],"4":[17,160,173,315,346],"O7-planes":[18],"at":[19,243],"fixed":[21],"points":[22],"of":[23,32,53,68,78,104,116,163,184,199,261,294,386],"and":[25,35,59,76,137,159,188,380],"charges":[27],"are":[28,252,307,334],"stated":[29],"units":[31,183],"\u03bc7/4":[33],"(+1":[34],"\u22124":[36],"D7":[38,191],"units;":[39],"Sen":[40,125],"hep-th/9605150,":[41],"Tripathy\u2013Trivedi":[42],"hep-th/0301139).":[43],"Earlier":[44],"versions":[45],"said":[46],"\"the":[47],"T\u2074/Z2":[48],"orientifold\".":[49],"No":[50],"Lean":[51,238,247,314,340],"statement":[52],"paper":[55,250],"changed.":[56],"We":[57],"formulate":[58],"formally":[60],"verify":[61],"Frontier":[63],"Triad:":[64],"an":[65,101,150],"interlocking":[66],"triple":[67],"non-perturbative":[69],"constraints":[70],"guaranteeing":[71],"quantum":[73],"gravitational":[74],"consistency":[75],"stability":[77],"string":[79],"vacua":[80],"on":[81,351],"$K3":[82,166],"\\times":[83,167,170,174],"T^2$.":[84],"First,":[85],"accordance":[87],"Swampland":[90],"Distance":[91],"Conjecture":[92],"(SDC),":[93],"traversing":[94],"geodesic":[95],"distances":[96],"moduli":[98],"space":[99],"induces":[100],"exponential":[102],"tower":[103],"light":[105],"states":[106],"whose":[107],"mass":[108],"satisfies":[109],"$m(\\Delta\\phi)":[110],"\\le":[111],"m_0$,":[112],"delineating":[113],"boundary":[115],"effective":[117],"field":[118],"theories.":[119],"Second,":[120],"unstable":[121],"open-string":[122],"configurations":[123],"undergo":[124],"tachyon":[126,130],"condensation,":[127],"driving":[128],"potential":[131],"to":[132,283,287],"zero":[133],"($V(\\infty)":[134],"=":[135,176,180],"0$)":[136],"canceling":[138],"negative":[139,161],"brane":[140],"tensions.":[141],"Third,":[142],"Ramond-Ramond":[143],"(RR)":[144],"Tadpole":[145],"cancellation":[146],"verified":[148],"as":[149],"exact":[151],"Diophantine":[152],"screening":[153],"identity":[154],"between":[155],"16":[156],"positive":[157],"$D7$-branes":[158],"$O7$-planes":[162],"T^2/\\mathbb{Z}_2$:":[168],"$16":[169],"(+4)":[171],"+":[172],"(-16)":[175],"64":[177,179],"-":[178],"0$":[181],"$\\mu_7/4$":[185],"(charges":[186],"$+1$":[187],"$-4$":[189],"units).":[192],"In":[193],"tandem":[194],"strict":[197],"positivity":[198],"Coleman-De":[201],"Luccia":[202],"bounce":[203],"action":[204],"$B":[205],">":[206],"0$,":[207],"false":[208],"vacuum":[209],"decay":[210],"rates":[211],"$\\Gamma/V":[212],"\\sim":[213],"e^{-B}$":[214],"remain":[215],"exponentially":[216],"suppressed.":[217],"Every":[218],"theorem":[219],"this":[221,249,352],"triad":[222],"has":[223],"been":[224],"mechanized":[225],"no":[227,367],"axioms":[228,233,317,362,365],"beyond":[229],"Lean's":[230],"three":[231],"standard":[232,364],"(propext,":[234],"Classical.choice,":[235,319],"Quot.sound)":[236],"4.":[239],"Scope":[240],"note":[241],"(added":[242],"publication,":[244],"2026-09-18).":[245],"results":[248,262],"reports":[251],"arithmetic":[253],"instances":[254],"\u2014":[255,260],"integer":[256],"or":[257,273,278,326],"rational":[258],"models":[259],"from":[263],"cited":[265],"literature:":[266],"kernel-checked,":[267],"but":[268],"thin.":[269],"Where":[270],"title":[272],"abstract":[274],"says":[275],"\u201cformal":[276],"resolution\u201d":[277],"\u201cwe":[279],"prove\u201d,":[280],"it":[281],"refers":[282],"these":[284],"instances,":[285],"not":[286],"physical":[289,336],"problems":[290],"themselves.":[291],"tier":[293],"each":[295],"claim":[296],"listed":[298],"repository\u2019s":[301],"docs/VERIFIED_FOUNDATION.md":[302],"\u00a72.":[303],"Epistemic":[304],"tiers.":[305],"Claims":[306],"labelled":[308],"Tier":[309,322,327,331],"A":[310,332],"(checked":[311],"by":[312],"kernel;":[316],"propext,":[318],"Quot.sound":[320],"only),":[321],"L":[323],"(literature,":[324],"cited)":[325],"C":[328],"(conjecture).":[329],"Only":[330],"statements":[333],"machine-checked;":[335],"interpretation":[337],"not.":[339],"artifact:":[341],"SocrateAI-Scientific-Agora-LeanMaster,":[342],"tag":[343],"v3.21.0":[344],"(Lean":[345],"v4.33.1,":[347],"Mathlib).":[348],"Release":[349],"gates":[350],"tag:":[353],"all":[354],"ten":[355],"libraries":[356],"build;":[357],"648":[358],"theorems":[359],"pass":[360],"#print":[361],"only;":[366],"sorry/admit.":[368],"AI-assisted":[369],"tooling":[370],"(Anthropic":[371],"Claude":[372],"models)":[373],"was":[374],"used":[375],"preparing":[377],"formalization":[379],"manuscript,":[382],"under":[383],"direction":[385],"author.":[388]},"counts_by_year":[],"updated_date":"2026-10-08T09:06:37.294493","created_date":"2026-09-19T00:00:00"}