RACI-LEAN: A MACHINE-CHECKED FORMALIZATION OF RESTRICTED ACCESS TO CONICAL INTERSECTIONS AS A MECHANISTIC BASIS OF AGGREGATION-INDUCED EMISSION
Rattachement africain : cn, hk. Niveau de preuve : code pays fourni par la source.
Le résumé fourni par la source
Aggregation-induced emission (AIE) is usually rationalised by the phenomenological RIM/RIR picture, in which intramolecular motions are restricted in the aggregate. Here we develop RACI- Lean, a machine-checked formal theory in Lean 4 that states the mechanism more sharply: AIE follows when restricted geometry removes access to the S1/S0 conical intersection. We prove, within the Jablonski competition model, an exact criterion: emission enhancement occurs if and only if knr,agg × kr,sol < knr,sol × kr,agg, i.e. the nonradiative channel is suppressed more strongly than the radiative channel. The geometric part of the theory is formalised without proof gaps, including the codimension-two local structure of the CI seam and the Longuet-Higgins sign change around the intersection. As a first molecular instance, we combine ORCA SF-TDDFT calculations of tetraphenylethylene with crystallographic constraints to instantiate the criterion. No new experiments are introduced; all empirical inputs are literature values or quantum-chemical data.
Ce résumé expose les affirmations des auteurs. BNTIC ne l’interprète pas comme une validation indépendante des résultats.
Le contrôle bibliographique ouvert
DOI retrouvé dans Crossref DOI retrouvé ; titre concordant.
- Titre Crossref
- RACI-LEAN: A MACHINE-CHECKED FORMALIZATION OF RESTRICTED ACCESS TO CONICAL INTERSECTIONS AS A MECHANISTIC BASIS OF AGGREGATION-INDUCED EMISSION
- Date Crossref
- 24/08/2026
- Éditeur
- American Chemical Society (ACS)
- Type
- posted-content
Ce recoupement confirme des métadonnées liées au DOI. Il ne confirme ni la méthode ni les conclusions de l’étude, et il ne compte pas comme une seconde source scientifique indépendante.
Où se fait cette recherche
-
Shenzhen Technology University pays non établi dans la noticeUniversité ou école supérieure
-
Chinese University of Hong Kong pays non établi dans la noticeUniversité ou école supérieure
-
Faculty of Chemistry Shenzhen MSU-BIT University pays non établi dans la noticeUniversité ou école supérieure
-
School of Science and Engineering pays non établi dans la noticeUniversité ou école supérieure
Shenzhen Technology University, Chinese University of Hong Kong et Faculty of Chemistry Shenzhen MSU-BIT University, avec 1 autre affiliation.
Une affiliation ne permet pas de déduire la nationalité d’un auteur.