AI 中文总结
研究针对齐格蒙德猜想的反链方法，通过对二元矩形稀疏反链的研究，给出常数\(c,C\gt0\)使得\(\int_E \exp(c h_{\mathcal{E}}) \leq C|E|\)，并应用于三维二元齐格蒙德猜想及平面二元矩形反链极大算子在\(L^p\)上的有界性证明。
AI 中文摘要
反链是一族矩形，其中没有一个成员包含另一个。给定一族矩形\(\mathcal{E}\)，令\(h_{\mathcal{E}}\)为其成员的指示函数之和。我们证明存在常数\(c,C\gt0\)，使得对于\(\mathbb{R}^2\)中每个二元矩形的稀疏反链\(\mathcal{E}\)，有\(\int_E \exp(c h_{\mathcal{E}}) \leq C|E|\)，其中\(E\)是\(\mathcal{E}\)中所有矩形的并集。对于没有反链条件的一般稀疏族，该估计需要用\(h_{\mathcal{E}}^{1/2}\)代替\(h_{\mathcal{E}}\)，所以反链的行为就好像它们处于少一维的情况。我们给出两个应用。首先，三维中的二元齐格蒙德猜想成立：与边长为\(2^{m_1} \times 2^{m_2} \times 2^{\Phi(m_1,m_2)}\)的二元矩形相关的极大算子是弱型\(L \log L\)，其中\(\Phi\)在每个变量上单调递增，这恢复了A. 科尔多瓦的一个定理。其次，平面上二元矩形的任意反链的极大算子在\(L^p\)上有界，范数为\(O(p')\)，这是单参数极大函数的增长情况。这个界是尖锐的，去掉反链条件会迫使常数像\((p')^2\)那样增长。证明通过对\(k\)重交集的界进行：对于平面上的稀疏反链，\(k\)重交集和最多以几何方式在\(k\)中增长，我们通过对该族归一化指示函数之Gram矩阵的\(L^2\)估计来证明。我们还表明，在每个维度中，反链的类似指数估计与\(k\)重交集界等价，并暗示齐格蒙德猜想的相应情况。
英文摘要
An antichain is a family of rectangles in which no member contains another. Given a family $\mathcal{E}$ of rectangles, let $h_{\mathcal{E}}$ be the sum of the indicator functions of its members. We show that there exist constants $c, C > 0$ such that for every sparse antichain $\mathcal{E}$ of dyadic rectangles in $\mathbb{R}^2$ one has $\int_E \exp(c h_{\mathcal{E}}) \leq C|E|$, where $E$ is the union of all the rectangles in $\mathcal{E}$. For general sparse families without the antichain condition, the estimate requires replacing $h_{\mathcal{E}}$ by $h_{\mathcal{E}}^{1/2}$, so antichains behave as if they lived in one dimension fewer. We give two applications. First, the dyadic Zygmund conjecture holds in dimension three: the maximal operator associated to dyadic rectangles with sidelengths $2^{m_1} \times 2^{m_2} \times 2^{Φ(m_1,m_2)}$, where $Φ$ is monotone increasing in each variable, is weak-type $L \log L$. This recovers a theorem of A. Córdoba. Second, the maximal operator of an arbitrary antichain of dyadic rectangles in the plane is bounded on $L^p$ with norm $O(p')$, which is the growth of the one-parameter maximal function. This bound is sharp, and removing the antichain condition forces a constant that grows like $(p')^2$ instead. The proofs proceed through bounds on $k$-fold intersections: for sparse antichains in the plane, the $k$-wise intersection sums grow at most geometrically in $k$, which we prove through an $L^2$ estimate for the Gram matrix of the normalized indicators of the family. We also show that, in every dimension, the analogous exponential estimate for antichains is equivalent to a $k$-wise intersection bound, and implies the corresponding case of Zygmund's conjecture.
Comments30 pages, 2 figures
