由b→sℓℓ跃迁介导的排他性稀有衰变从四夸克算子中得到贡献，而这些贡献不能以局部形式简单地表达。 相反，需要计算一个双局部算子的矩阵元素。 在某些运动学区域中，此双局部算子服从某种类型的算子乘积展开，其系数可以在扰动理论中计算。 我们回顾形式主义，并针对主要的SM运算符O 1,2，对领先的3维运算符进行NLO匹配的改进计算。 该计算是在两个相关的质量尺度（魅力夸克质量mc和Dilepton平方质量q 2）上完全解析地执行的，我们特别注意复q 2平面中的解析连续性。 这允许首次研究NLO处非局部形