The Self-Trapping Selectivity Principle: Zeolite Shape-Selectivity and Pt–Sn Ensemble Effects.

{"webpage:":[0],"The":[1,62,199,272,452],"Self-Trapping":[2],"Selectivity":[3],"Principle:":[4],"Zeolite":[5],"Shape-Selectivity":[6],"and":[7,26,125,132,149,157,212,230,308,338,409,445,473],"Pt–Sn":[8,242],"Ensemble":[9],"Effects.":[10],"Formerly:":[11],"Operator":[12],"Firing":[13,47],"Order":[14,48],"as":[15,44,49,68,97,160,233,249,367,417],"a":[16,35,81,98,107,117,155,161,163,171,179,191,206,234,237,250,260,327,349],"Mechanism":[17],"for":[18,203,480],"Ethanol-to-Hydrocarbon":[19],"Selectivity:":[20],"A":[21],"Contact-Geometric":[22],"Analysis":[23],"of":[24,38,72,109,253,317,322,336,345,393,412],"ZSM-5":[25],"MCM-22":[27],"Zeolites":[28],"Note":[29],"on":[30,420,463,475],"this":[31,96,403],"version:":[32],"V5":[33],"is":[34,64,77,168,210,231,275,357,400],"new":[36],"version":[37,404],"the":[39,50,87,102,221,227,254,286,298,311,318,339,353,372,387,391,410,413,433,437,441,446,457],"same":[40,103,255,312],"Zenodo":[41],"record":[42],"series":[43],"V1–V4":[45],"(\\"Operator":[46],"Missing":[51],"Mechanism...\\"),":[52],"but":[53],"it":[54,76,159],"replaces":[55],"that":[56,121,209,329,479],"framing":[57],"rather":[58],"than":[59],"extending":[60],"it.":[61],"pathway":[63],"no":[65,282,406],"longer":[66],"analyzed":[67],"an":[69,314],"ordered":[70],"pipeline":[71,415],"four":[73],"operators":[74,419],"(compression/constraint/fold/unfold);":[75],"bounded":[78,169],"instead":[79],"by":[80,170,285,359],"single":[82],"self-trapping":[83,173,223],"radius":[84,174],"derived":[85,358],"from":[86,92,220,226,239,425],"DNLS":[88,172,222],"equation.":[89],"Readers":[90],"arriving":[91],"V4":[93],"should":[94],"treat":[95],"different":[99,144],"theorem":[100],"about":[101],"two":[104],"zeolites,":[105],"not":[106,214,225,236,294,361,369,385,430],"revision":[108],"Theorem":[110],"4/5.":[111],"Sousa":[112,376],"et":[113,377],"al.":[114],"(2014)":[115],"posed":[116],"specific":[118],"mechanistic":[119],"question":[120],"remains":[122],"unanswered:":[123],"HZSM-5":[124],"HMCM-22":[126],"have":[127],"nominally":[128],"identical":[129],"acid":[130],"chemistry":[131],"both":[133],"possess":[134],"10-ring":[135],"apertures,":[136],"yet":[137,295],"ethanol":[138],"conversion":[139],"over":[140],"them":[141],"gives":[142],"markedly":[143],"product":[145],"distributions,":[146],"coke":[147],"locations":[148],"deactivation":[150],"profiles.":[151],"This":[152],"paper":[153],"proposes":[154],"mechanism":[156],"states":[158],"theorem:":[162],"reaction":[164],"pathway's":[165],"spatial":[166],"extent":[167],"r*(λ)":[175],"=":[176,195],"a√(J/λ)":[177],"(a":[178],"lattice":[180],"length":[181],"scale,":[182],"J":[183],"inter-site":[184],"coupling,":[185],"λ":[186],"on-site":[187],"binding":[188],"energy),":[189],"giving":[190],"transition-state":[192],"selectivity":[193,379],"σ":[194],"1":[196],"−":[197],"(J/λ)(a/r_pore)².":[198],"contact":[200],"manifold":[201],"used":[202],"coordinates":[204],"has":[205],"Reeb":[207,228,319],"flow":[208,320],"volume-preserving":[211],"does":[213],"itself":[215],"confine":[216],"anything;":[217],"confinement":[218],"comes":[219],"transition,":[224],"dynamics,":[229],"tagged":[232],"model,":[235],"derivation":[238],"first":[240],"principles.":[241],"ensemble":[243],"effects":[244],"(Corollary":[245],"1)":[246],"are":[247,306,365,384],"treated":[248],"second":[251],"instance":[252],"bound.":[256],"Every":[257],"claim":[258],"carries":[259],"status":[261],"tag":[262],"(VERIFIED":[263],"/":[264,266,268,270,291,341,448],"DERIVED":[265],"SIMULATION":[267],"MODEL":[269],"OPEN).":[271],"algebraic":[273],"core":[274],"formalized":[276],"in":[277,348,386,402],"Lean":[278,289,458,464],"4":[279],"(13":[280],"theorems,":[281],"sorry;":[283],"compiled":[284],"author":[287],"under":[288,297],"4.32.0":[290],"Mathlib":[292],"v4.32.0,":[293],"run":[296,462],"source":[299],"repository's":[300],"pinned":[301],"v4.14.0).":[302],"Three":[303],"supporting":[304],"files":[305,459],"included":[307],"were":[309],"checked":[310],"way:":[313],"elementary":[315],"model":[316],"(8":[321],"11":[323],"written":[324],"theorems":[325],"kernel-audited),":[326],"check":[328],"its":[330],"exterior":[331],"derivative":[332],"equals":[333],"Mathlib's":[334],"(11":[335],"13),":[337],"volume-preservation":[340],"no-attracting-set":[342],"argument":[343],"(9":[344],"9),":[346],"each":[347],"simplified":[350],"coordinate":[351],"model;":[352],"general":[354],"contact-manifold":[355],"statement":[356],"hand,":[360],"machine-checked.":[362],"Open":[363],"items":[364],"stated":[366],"open,":[368],"implied":[370],"solved:":[371],"quantitative":[373],"fit":[374],"to":[375],"al.'s":[378],"data":[380],"(their":[381],"measured":[382],"numbers":[383],"publicly":[388],"accessible":[389],"text);":[390],"normalization":[392],"r*;":[394],"Prediction":[395],"1,":[396],"whose":[397],"earlier":[398,426],"formula":[399],"withdrawn":[401],"with":[405],"replacement":[407],"yet;":[408],"definition":[411],"operator":[414],"C/K/F/U":[416],"actual":[418],"L²(X_cat).":[421],"What":[422],"was":[423],"cut":[424],"drafts":[427],"stays":[428],"cut,":[429],"silently":[431],"reintroduced:":[432],"seven-domain":[434],"\\"Coherence":[435],"Bridge,\\"":[436],"macroscopic":[438],"extrudate-pellet":[439],"corollary,":[440],"\\"helical":[442],"phase\\"":[443],"prediction,":[444],"unified-theory":[447],"clean-energy":[449],"framing.":[450],"Ps.":[451],"paper's":[453],"abstract":[454],"still":[455],"says":[456],"haven't":[460],"been":[461],"v4.14.0.":[465,476],"That":[466],"understates":[467],"things:":[468],"io's":[469],"CI":[470],"builds":[471],"CatGT_Main.lean":[472],"ContactMorphism.lean":[474],"Will":[477],"fix":[478],"V6":[481]}