摘要
过去十余年间，稀疏支配 （sparse domination）由一类二进技术工具逐渐演化为现代调和分析中的核心范式。它不仅为 A2A_2A2 定理提供了更透明的证明路径，而且在 one-weight 理论、two-weight 理论、多线性奇异积分、粗糙核算子、spaces of homogeneous type、向量值估计与矩阵权理论等方向持续产生方法论影响。本文以"历史主线---技术框架---代表性扩展---开放问题"为组织原则，对 Sparse 革命 （稀疏支配技术广泛应用后，为整个领域带来的深远变革和繁荣 ）的若干主干脉络作系统梳理。全文首先回顾从 Muckenhoupt 权理论到 A2A_2A2 猜想的历史背景，其后阐述 sparse family、sparse form 与点态/双线性 sparse domination 的基本机制，并讨论正 dyadic 模型、双权与测试条件、多线性与粗糙核方向的代表性进展。特别地，本文补充矩阵权与向量值理论一节，说明 convex body domination 如何将经典稀疏支配推广到更高维和非标量环境，并据此更新 matrix A2A_2A2 问题的现状。
关键词 ：稀疏支配；ApA_pAp 权；A2A_2A2 定理；双权不等式（two-weight inequality）；矩阵权（matrix weights）；向量值奇异积分（vector-valued singular integrals）
1. 引言
如果说 20 世纪后半叶加权调和分析的主线问题是"哪些权类刻画了经典算子的有界性"，那么过去十余年的一个中心变化则是："这些有界性可以在何种意义下被一个极其简单的正算子模型所控制"。Sparse 革命的重要性正在于，它把大量看似彼此分散的算子估计统一归约为一类稀疏平均或稀疏形式的估计问题。由此，一方面，许多加权不等式的证明结构获得简化；另一方面，稀疏支配又为更复杂的扩展方向------例如多线性、粗糙核、向量值和矩阵权------提供了新的共同语言。
从写作策略上看，一篇关于 sparse 革命的综述若要达到较高可信度，至少应满足三点。第一，必须把历史主线写清楚，即从 ApA_pAp 到 A2A_2A2 定理、再到 sparse domination 的方法转向。第二，必须区分 one-weight 理论、genuine two-weight 理论以及正 dyadic 模型之间的关系，而不能把它们混写成一个松散的"加权估计故事"。第三，若涉及 matrix weights、vector-valued 或更晚近的扩展，必须明确哪些结论已成为主线、哪些仍属于快速演化中的前沿问题。
基于这些考虑，本文不再追求"尽可能多的方向罗列"，而是选择一条文献链更稳固、术语更统一的组织方式：第 2 节回顾历史背景；第 3 节介绍稀疏支配的基本框架；第 4--5 节讨论 one-weight / two-weight、多线性与粗糙核等主线扩展；第 6 节专门补入矩阵权与向量值理论；第 7 节讨论 spaces of homogeneous type 及相关延拓；第 8 节给出若干开放问题。
2. 从 ApA_pAp 理论到 A2A_2A2 定理
2.1 Muckenhoupt 权与经典加权理论
现代加权调和分析的起点通常追溯到 Muckenhoupt 对 Hardy--Littlewood 极大算子的刻画 [1]。对于 1<p<∞1<p<\infty1<p<∞，权函数 www 属于 ApA_pAp 若且唯若
w\]Ap:=supQ(1∣Q∣∫Qw)(1∣Q∣∫Qw−1p−1)p−1\<∞, \[w\]_{A_p} :=\\sup_Q \\Big(\\frac1{\|Q\|}\\int_Q w\\Big) \\Big(\\frac1{\|Q\|}\\int_Q w\^{-\\frac1{p-1}}\\Big)\^{p-1} \<\\infty, \[w\]Ap:=Qsup(∣Q∣1∫Qw)(∣Q∣1∫Qw−p−11)p−1\<∞, 其中上确界遍历所有立方体 Q⊂RnQ\\subset \\mathbb{R}\^nQ⊂Rn。这一条件把"加权有界性"转化为"权的几何与平均行为"的定量约束。 随后，Hunt--Muckenhoupt--Wheeden 把相应理论推广到共轭函数与 Hilbert 变换 \[2\]，而 Coifman--Fefferman 则系统化地建立了奇异积分的经典加权理论 \[3\]。在这一阶段，问题的核心是刻画：什么样的权控制算子的有界性；而关于范数如何依赖于 $ \[w\]_{A_p}$ 的最优增长阶，仍然并不清楚。 #### 2.2 Buckley、Petermichl 与 A2A_2A2 猜想 Buckley 的工作给出了 Hardy--Littlewood 极大算子的 sharp ApA_pAp 界 \[4\]，从而提示：对于更复杂的奇异积分，最优的权常数依赖也应是一个可精确讨论的问题。对 Hilbert 变换及相关典型算子，Petermichl 通过 dyadic shift 模型和 Bellman 函数技术建立了 sharp 加权估计 \[5\]；对 Beurling 变换的研究则由 Petermichl--Volberg 给出 \[6\]。这些结果共同推动了一个统一猜想：对一般 Calderón--Zygmund 算子，L2(w)L\^2(w)L2(w) 范数应线性依赖于 $ \[w\]_{A_2}$。 #### 2.3 Hytönen 的 A2A_2A2 定理及其方法意义 Hytönen 最终证明了对一般 Calderón--Zygmund 算子，确有 ∥Tf∥L2(w)≲\[w\]A2∥f∥L2(w). \\\|T f\\\|_{L\^2(w)} \\lesssim \[w\]_{A_2}\\\|f\\\|_{L\^2(w)}. ∥Tf∥L2(w)≲\[w\]A2∥f∥L2(w). 这一结果发表于 *Annals of Mathematics* \[7\]，其后又在一篇更具综述性质的文章中以 dyadic representation 的形式作了系统阐释 \[8\]。从方法论上说，Hytönen 的突破并不只在于"得到了线性 A2A_2A2 界"，更在于把一般奇异积分与 dyadic 模型之间的联系推到了一个可普遍使用的程度。Sparse 革命正是在这一背景下获得了决定性的推动：如果一般算子的复杂性能够被足够简单的 dyadic/positive 模型捕捉，那么稀疏模型就有机会成为新的统一语言。 *** ** * ** *** ### 3. 稀疏支配的基本框架 #### 3.1 Sparse family 与 sparse operator 设 D\\mathcal DD 为一组二进立方体。一个子族 S⊂D\\mathcal S\\subset \\mathcal DS⊂D 称为 η\\etaη-sparse，如果对每个 Q∈SQ\\in\\mathcal SQ∈S 都存在可测集 EQ⊂QE_Q\\subset QEQ⊂Q 满足 ∣EQ∣≥η∣Q∣\|E_Q\|\\ge \\eta \|Q\|∣EQ∣≥η∣Q∣，且 {EQ}Q∈S\\{E_Q\\}_{Q\\in\\mathcal S}{EQ}Q∈S 两两不交。对应的标量 sparse operator 典型地写为 ASf(x)=∑Q∈S⟨∣f∣⟩Q 1Q(x). \\mathcal A_{\\mathcal S}f(x)=\\sum_{Q\\in\\mathcal S}\\langle \|f\|\\rangle_Q\\,\\mathbf 1_Q(x). ASf(x)=Q∈S∑⟨∣f∣⟩Q1Q(x). 从纯形式上看，这类算子异常简单：它是正的、局部的、没有振荡核，也不涉及任何复杂的抵消结构；但恰恰正是这种简单性，使之成为加权估计中"易于精确分析的代理对象"。 #### 3.2 局部振荡分解与 Lerner 的转向 Sparse 革命的另一条主线来自 Lerner 对局部平均振荡的分析。其 2010 年的工作 \[9\] 提供了一个与局部 sharp maximal function 相关的点态控制框架，而 2013 年关于 A2A_2A2 猜想的简单证明 \[10\] 则把这一思想推进到"用正的 dyadic 模型主控奇异积分"的范畴。与 Hytönen 的 dyadic representation 路线相比，Lerner 的方法更突出局部振荡与 stopping-time 结构，因此也更容易被后来的 sparse 语言直接吸收。 #### 3.3 点态 sparse domination 与 operator-free 视角 Lerner 在 2016 年的文章 \[11\] 给出了广为引用的点态 sparse domination 形式：在适当条件下，一个 Calderón--Zygmund 型算子 TTT 可以被有限多个 sparse operators 点态控制。Lacey 随后给出了更直接的 A2A_2A2 证明 \[12\]。Culiuc--Di Plinio--Ou 又利用 dyadic shift 的统一处理得到"uniform sparse domination" \[13\]。这些工作共同表明：稀疏支配并不是某个具体算子的偶然现象，而是 Calderón--Zygmund 理论中一条稳定的结构性原则。 从更抽象的角度看，sparse domination 的力量来自三个层面。第一，它把"有符号核算子"的复杂性压缩为"正模型"的估计；第二，它保留了足够多的局部尺度信息，使 many-scale 行为仍可被追踪；第三，它与 testing、Carleson 结构、外推和双权条件之间存在天然兼容性。因此，稀疏支配不只是一个证明技术，更是一个中介层：它把算子理论、权理论与几何分解技术连接起来。 *** ** * ** *** ### 4. one-weight、two-weight 与正 dyadic 模型 #### 4.1 one-weight 理论中的统一性 在标量 one-weight 情形下，稀疏支配最直接的应用是恢复并统一 sharp ApA_pAp 型估计。对典型 Calderón--Zygmund 算子，点态 sparse domination 结合对 AS\\mathcal A_{\\mathcal S}AS 的加权估计，可快速推出 ∥Tf∥Lp(w)≲\[w\]Apmax{1,1p−1}∥f∥Lp(w). \\\|Tf\\\|_{L\^p(w)}\\lesssim \[w\]_{A_p}\^{\\max\\{1,\\frac1{p-1}\\}}\\\|f\\\|_{L\^p(w)}. ∥Tf∥Lp(w)≲\[w\]Apmax{1,p−11}∥f∥Lp(w). 这并不意味着所有 sharp 结果都"只剩下 sparse operator 的计算"，但至少在方法层面，很多原本依赖 Bellman 函数、复杂 dyadic 模型或精细分解的论证，可以被归约为 sparse 模型与外推理论的组合。 #### 4.2 positive dyadic operators 与 two-weight 问题 真正的 two-weight 理论并不只是把一个权换成两个权那么简单。对一般奇异积分而言，必要充分条件往往涉及 testing 条件、Sawyer 型条件、甚至更复杂的 potential 或 bump 条件。正因为如此，正 dyadic 模型在 two-weight 理论中有特殊地位：它们既足够简化，又能保留 genuine two-weight 的困难。 Hänninen--Hytönen--Li 在 2016 年给出了正 dyadic operators 的统一 two-weight 框架 \[18\]；Hänninen--Verbitsky 对更一般的正 dyadic operators 的 Lp(σ)→Lq(ω)L\^p(\\sigma)\\to L\^q(\\omega)Lp(σ)→Lq(ω) 问题作了系统研究 \[19\]。从 sparse 革命的角度看，这些结果说明：当一般算子被 sparse 形式或正 dyadic 模型控制时，two-weight 理论中的许多问题可以先在正模型层面刻画，再回推到原算子。也就是说，稀疏支配在这里发挥的是"结构桥梁"的作用，而不是直接替代全部 two-weight 理论。 #### 4.3 Bloom 型问题与交换子方向 交换子与 Bloom 型 two-weight 问题是 sparse 范式另一个自然应用方向。其方法学意义在于：当算子中额外引入符号函数 bbb 的振荡时，稀疏支配仍能在一定程度上保持可操作性，只是此时出现的不再是最基本的 sparse operator，而是带有额外 BMO / Bloom--BMO 信息的 sparse form。对于综述写作而言，这一方向值得保留，但不宜在缺乏统一文献链时过度展开；因此本文仅把它作为 two-weight 之后的自然延伸，不作过细技术铺陈。 *** ** * ** *** ### 5. 多线性、粗糙核与端点方向 #### 5.1 多线性 sparse domination 多线性 Calderón--Zygmund 理论中的 sparse domination 一方面保持了标量情形的"正模型归约"特征，另一方面又引入了 multiple weights 与 multilinear forms 的新困难。此时最自然的对象是 ΛS,p⃗(f1,...,fm)=∑Q∈S∣Q∣∏j=1m⟨∣fj∣⟩pj,Q. \\Lambda_{\\mathcal S,\\vec p}(f_1,\\dots,f_m) = \\sum_{Q\\in\\mathcal S}\|Q\| \\prod_{j=1}\^m \\langle \|f_j\| \\rangle_{p_j,Q}. ΛS,p (f1,...,fm)=Q∈S∑∣Q∣j=1∏m⟨∣fj∣⟩pj,Q. 多线性 sparse domination 的意义在于：它允许把多输入算子的一般有界性问题转化为对一类局部平均乘积形式的控制；而后者与 multiple weights 的兼容性通常比原算子更容易分析。 #### 5.2 粗糙核与双线性 sparse form 对粗糙核奇异积分，点态 sparse domination 并不总是最自然的形式；在很多情形下，更基本的是双线性 sparse domination。Conde-Alonso、Culiuc、Di Plinio、Ou 的工作 \[14\] 表明，对一类粗糙奇异积分，可以建立以 sparse bilinear forms 为核心的主控原则。其重要性在于：即便点态控制不可得，sparse 形式仍可能保留足够强的定量信息，从而导出 sharp 的加权估计。这一现象说明 sparse 革命的真正对象并不必然是"点态正算子"，而更广泛地应当理解为"稀疏的、局部的、可量化的双线性结构"。 #### 5.3 端点与多尺度问题 在 Fourier multipliers、maximal truncations 和多尺度算子等方向，sparse domination 已经不再只是 one-weight 理论的附属工具，而开始参与端点和多尺度行为的分析。对于综述而言，较稳妥的写法不是罗列大量尚未完全稳定的最新 preprint，而是指出方法趋势： (1) 端点信息往往更自然地通过 sparse forms 而非单一 sparse operators 表达； (2) 多尺度问题推动了所谓 multi-scale sparse domination 与后续的 convex body domination 发展； (3) 粗糙核与端点理论依旧是 sparse 方法最活跃的试验场之一。 *** ** * ** *** ### 6. 矩阵权、凸体支配与向量值延拓 这一节是本文相对于前一版修订稿新增的重点内容。理由很简单：如果不讨论 matrix weights 与 vector-valued extensions，就很难完整呈现 sparse 革命从"标量加权理论工具"走向"高维与 Banach 空间值分析语言"的演变。 #### 6.1 向量值奇异积分的背景 向量值奇异积分并不是 sparse 时代才出现的课题。Bourgain 在 1980 年代的工作已经显示，Banach 空间几何（尤其是 UMD 性质）与奇异积分的有界性密切相关 \[20\]。此后，Hytönen 在 2012 年以随机 dyadic cubes 为工具重访向量值奇异积分 \[21\]。在这个背景下，sparse domination 的问题变成：能否把标量情形中"局部平均主控"的思想，推广到 Banach 空间值或 Rd\\mathbb R\^dRd-值函数？ #### 6.2 convex body domination：从标量 sparse 到矩阵权 Nazarov、Petermichl、Treil、Volberg 在 2017 年提出的 convex body domination 是这一问题的关键答案 \[22\]。其思想是用"凸体值平均"取代标量平均：对向量值函数 fff，不再只看 ⟨∣f∣⟩Q\\langle \|f\|\\rangle_Q⟨∣f∣⟩Q 这样的数值平均，而是把 QQQ 上所有可行的线性泛函平均组织成一个凸体。于是，原来标量 sparse operator 的目标函数值变为一个凸集，算子支配也相应升级为"目标点落在若干凸体平均的 Minkowski 和之中"。 这种推广的直接收益是：它为矩阵权 WWW 下的算子估计提供了统一入口。矩阵权 W(x)W(x)W(x) 是取值于正定矩阵的可测函数，Lp(W)L\^p(W)Lp(W) 范数由 ∣W1/p(x)f(x)∣\|W\^{1/p}(x)f(x)\|∣W1/p(x)f(x)∣ 定义。相较标量权，矩阵权最大的困难在于非交换性：平均与乘法不再可随意交换，许多标量技巧无法直接搬用。Convex body domination 的贡献在于，它在 sparse 层面保留了足够多的向量几何信息，从而可以推出一般 Calderón--Zygmund 算子的矩阵权估计 \[22\]。 #### 6.3 matrix A2A_2A2 问题的最新状态 在很长时间里，一个自然猜想是：矩阵权情形也许和标量 A2A_2A2 理论类似，算子范数可线性依赖于 \[W\]A2\[W\]_{A_2}\[W\]A2。然而，现有理论首先给出的普遍上界并不是线性的，而是来源于 convex body domination 的 3/23/23/2 指数型控制 \[22\]。更重要的是，Domelevo、Petermichl、Treil、Volberg 在 2024 年给出了一个否定性结果：所谓"matrix A2A_2A2 conjecture"的线性版本在一般情形下是错误的 \[25\]。随后，Treil--Volberg 关于矩阵权与 exponent 3/23/23/2 极大函数的研究进一步支持了这一指数的本质性 \[26\]。这意味着，矩阵权理论并不是"标量 sparse 理论的直接高维复制"，而有自己独立的几何障碍与 sharp 现象。 从综述立场看，这一点非常重要。对今天的 sparse 革命而言，matrix weights 不应再被写成"尚未解决的线性 A2A_2A2 猜想"，而应写成：**稀疏/凸体支配成功地把矩阵权问题纳入统一框架，但同时也揭示了矩阵权与标量权在 sharp 指数上的本质分歧。** #### 6.4 vector-valued sparse domination 的一般原理 除矩阵权外，vector-valued sparse domination 还沿着 quasi-Banach function spaces、UMD 空间与 ℓr\\ell\^rℓr-sparse 结构继续发展。Lorist 在 spaces of homogeneous type 中建立了点态 ℓr\\ell\^rℓr-sparse domination \[15\]；Lorist--Nieraeth 则证明，在适当的多线性 UMD 条件下，标量 sparse domination 可以提升为向量值 sparse domination \[16\]。从方法论角度看，这类结果的重要性在于：它们说明 sparse domination 不只是"针对单个函数的平均控制"，还能够在更高层次上与 Banach 函数空间结构兼容。 #### 6.5 矩阵权 two-weight 与定量估计 在矩阵权方向，另一条值得纳入综述主线的是定量 two-weight 与 bump 条件。Cruz-Uribe、Isralowitz、Moen 研究了矩阵权的 two-weight bump 条件 \[24\]，而 Müller--Rivera-Ríos 给出了某些奇异积分的定量 matrix-weighted 估计 \[23\]。这类工作表明：在 matrix-weighted 世界中，sparse/convex-body 思想并没有取代 testing、bump 或外推理论，而是与之形成互补关系。更准确地说，sparse 语言负责提供局部结构与支配形式，而真正的 sharp 定量界往往还需要结合矩阵权特有的分析工具。 *** ** * ** *** ### 7. spaces of homogeneous type 与进一步延拓 Sparse 革命的又一重要后果，是它推动了许多 Euclidean 工具向 spaces of homogeneous type 的转移。Lorist 的工作表明，在适当的 dyadic cube 结构下，可以建立 ℓr\\ell\^rℓr-sparse domination，并由此得到向量值 Calderón--Zygmund 算子在这些空间中的 A2A_2A2 定量估计 \[15\]。这说明 sparse domination 并不依赖于 Euclidean 线性结构本身，而更深地依赖于局部尺度分解、Carleson 控制和 stopping-time 的抽象结构。 从更广的视角看，这一方向提示了 sparse 理论的两个潜在延伸。第一，sparse domination 可能继续向非欧几里得、非齐次甚至随机环境推进；第二，随着 vector-valued 和 convex-body 语言的成熟，稀疏支配开始在概率分析、算子理论和某些 SPDE 相关问题中扮演更基础的角色。就投稿综述而言，这类内容宜保持"方法展望"的笔调，而不宜在文献链不稳时过度扩张。 *** ** * ** *** ### 8. 开放问题与若干判断 #### 8.1 标量理论中的持续问题 在标量框架下，粗糙核的端点行为、maximal truncations 的极限情形、某些 multilinear / multi-parameter 环境中的 sparse characterization 仍然是活跃问题。这里真正重要的不是罗列大量"可能的方向"，而是识别 sparse 方法当前最困难的边界： 1. 当核缺乏足够正则性时，点态 sparse domination 是否仍应被期待？ 2. 若点态支配失效，什么样的 sparse bilinear form 才是正确替代？ 3. 在多参数与乘积空间中，标准 sparse family 是否足以捕捉全部结构，还是需要更细的几何对象？ #### 8.2 matrix weights 的 sharp 指数问题 matrix weights 方向的中心问题已经发生变化。过去的表述通常是："matrix A2A_2A2 conjecture 是否成立？" 现在更准确的提法应当是："在一般 Calderón--Zygmund 框架下，3/23/23/2 指数的 sharp 性在多大范围内成立，其背后的结构性障碍究竟是什么？" 由于 2024 年的反例已否定了 naive 的线性猜想 \[25\]，这一问题不再是"追求标量理论的直接类比"，而是"理解矩阵权世界的独立几何"。 #### 8.3 向量值 sparse 理论的统一框架 对 vector-valued sparse domination 而言，一个自然问题是：在多大范围内，标量 sparse domination 自动蕴含 Banach 或 quasi-Banach 值的 sparse domination？Lorist--Nieraeth 的结果 \[16\] 已给出很强的正面推进，但统一框架仍未完全定型。特别是，当涉及 multilinear、endpoint 或 rough kernels 时，现有条件是否最优，仍值得进一步研究。 *** ** * ** *** ### 9. 结语 如果把 Sparse 革命仅仅理解为"证明 A2A_2A2 定理的一条新方法"，就低估了它的意义。更准确的说法是：Sparse 理论重塑了调和分析中"复杂算子---局部模型---定量权估计"之间的组织方式。它让 one-weight 理论获得统一表述，让 two-weight 与正 dyadic 模型之间的关系更清晰，也把粗糙核、多线性、vector-valued 与 matrix-weighted 等方向纳入同一方法论坐标。 与此同时，Sparse 革命的成熟并不意味着问题已经收束。恰恰相反，matrix A2A_2A2 问题的最新进展表明：当理论进入更高维、非标量与非交换结构时，sparse 语言所揭示的不只是统一性，还有与标量世界的根本差异。因此，在今天回顾 sparse 革命，更合理的立场应是：把它视为一种已经稳定成立的核心范式，同时承认其在矩阵权、向量值和多参数环境中仍处于持续深化之中。 *** ** * ** *** ### 参考文献 \[1\] B. Muckenhoupt, *Weighted norm inequalities for the Hardy maximal function* , Trans. Amer. Math. Soc. **165** (1972), 207--226. \[2\] R. Hunt, B. Muckenhoupt, and R. Wheeden, *Weighted norm inequalities for the conjugate function and Hilbert transform* , Trans. Amer. Math. Soc. **176** (1973), 227--251. \[3\] R. Coifman and C. Fefferman, *Weighted norm inequalities for maximal functions and singular integrals* , Studia Math. **51** (1974), no. 3, 241--250. \[4\] S. Buckley, *Estimates for operator norms on weighted spaces and reverse Jensen inequalities* , Trans. Amer. Math. Soc. **340** (1993), no. 1, 253--272. \[5\] S. Petermichl, *The sharp bound for the Hilbert transform on weighted Lebesgue spaces in terms of the classical ApA_pAp characteristic* , Amer. J. Math. **129** (2007), no. 5, 1355--1375. \[6\] S. Petermichl and A. Volberg, *Heating of the Ahlfors--Beurling operator: weakly quasiregular maps on the plane are quasiregular* , Duke Math. J. **112** (2002), no. 2, 281--305. \[7\] T. Hytönen, *The sharp weighted bound for general Calderón--Zygmund operators* , Ann. of Math. (2) **175** (2012), no. 3, 1473--1506. \[8\] T. Hytönen, *Representation of singular integrals by dyadic operators, and the A2A_2A2 theorem* , Expo. Math. **35** (2017), no. 2, 166--205. \[9\] A. K. Lerner, *A pointwise estimate for the local sharp maximal function with applications to singular integrals* , Bull. Lond. Math. Soc. **42** (2010), no. 5, 843--856. \[10\] A. K. Lerner, *A simple proof of the A2A_2A2 conjecture* , Int. Math. Res. Not. IMRN **2013**, no. 14, 3159--3170. \[11\] A. K. Lerner, *On pointwise estimates involving sparse operators* , New York J. Math. **22** (2016), 341--349. \[12\] M. T. Lacey, *An elementary proof of the A2A_2A2 bound* , Israel J. Math. **217** (2017), 181--195. \[13\] A. Culiuc, F. Di Plinio, and Y. Ou, *Uniform sparse domination of singular integrals via dyadic shifts* , Math. Res. Lett. **25** (2018), no. 1, 21--42. \[14\] J. M. Conde-Alonso, A. Culiuc, F. Di Plinio, and Y. Ou, *A sparse domination principle for rough singular integrals* , Anal. PDE **10** (2017), no. 5, 1255--1284. \[15\] E. Lorist, *On pointwise ℓr\\ell\^rℓr-sparse domination in a space of homogeneous type* , J. Geom. Anal. **31** (2021), no. 9, 9366--9405. \[16\] E. Lorist and Z. Nieraeth, *Sparse domination implies vector-valued sparse domination* , Math. Z. **301** (2022), no. 1, 1107--1141. \[17\] M. C. Pereyra, *Dyadic harmonic analysis and weighted inequalities: the sparse revolution* , in: *New Trends in Applied Harmonic Analysis. Vol. 2*, Birkhäuser/Springer, Cham, 2019, pp. 159--239. \[18\] T. S. Hänninen, T. P. Hytönen, and K. Li, *Two-weight Lp − LqL\^p\\!-\\!L\^qLp−Lq bounds for positive dyadic operators: unified approach to p≤qp\\le qp≤q and p\>qp\>qp\>q* , Potential Anal. **45** (2016), no. 3, 579--608. \[19\] T. S. Hänninen and I. E. Verbitsky, *On two-weight norm inequalities for positive dyadic operators* , Potential Anal. **54** (2021), no. 1, 129--154. \[20\] J. Bourgain, *Vector-valued singular integrals and the H1H\^1H1-BMO duality* , in: *Probability Theory and Harmonic Analysis* (Cleveland, Ohio, 1983), Monogr. Textbooks Pure Appl. Math. 98, Dekker, New York, 1986, pp. 1--19. \[21\] T. Hytönen, *Vector-valued singular integrals revisited---with random dyadic cubes* , Bull. Pol. Acad. Sci. Math. **60** (2012), no. 3, 269--283. \[22\] F. Nazarov, S. Petermichl, S. Treil, and A. Volberg, *Convex body domination and weighted estimates with matrix weights* , Adv. Math. **318** (2017), 279--306. \[23\] P. A. Muller and I. P. Rivera-Ríos, *Quantitative matrix weighted estimates for certain singular integral operators* , J. Math. Anal. Appl. **509** (2022), no. 1, Paper No. 125939. \[24\] D. Cruz-Uribe, J. Isralowitz, and K. Moen, *Two weight bump conditions for matrix weights* , Integral Equations Operator Theory **90** (2018), Art. 36. \[25\] K. Domelevo, S. Petermichl, S. Treil, and A. Volberg, *The matrix A2A_2A2 conjecture fails, i.e. 3/2\>13/2\>13/2\>1*, arXiv:2402.06961, 2024. \[26\] S. Treil and A. Volberg, *Matrix weights and a maximal function with exponent 3/23/23/2* , Adv. Nonlinear Stud. **25** (2025), no. 2, 285--297.