Layerwise Terminal Discrepancy in Chen's Reverse-Heat Coupling on the Boolean Cube
2026-06-03 • Discrete Mathematics
Discrete Mathematics
AI summaryⓘ
The authors build on Chen's previous work related to a problem called Talagrand's convolution conjecture on the Boolean cube. They isolate and refine a key step involving testing discrepancies using a layered approach based on martingale techniques and score estimates. This refinement improves how certain error terms are handled by breaking them down layer by layer, rather than globally. As a result, their method achieves a slight improvement in bounding the behavior of the Boolean heat semigroup compared to Chen's earlier result.
Boolean cubeTalagrand's convolution conjectureperturbed reverse-heat approachmartingalestesting discrepancyscore energyCauchy--Schwarz inequalityBoolean heat semigroupanti-concentrationlogarithmic estimates
Authors
Yanjin Xiang, Zhihua Zhang
Abstract
We isolate a layerwise refinement of the terminal testing-discrepancy step in Chen's perturbed reverse-heat approach~\cite{Chen2026} to Talagrand's convolution conjecture on the Boolean cube. Built on the joint-filtration martingale formulation of Chen's coupling, and on Chen's approximate monotonicity and conditional squared-score estimates being available in the joint-filtration form stated below, we prove the localized testing estimate \[ D_E\le C_τ\bigl(\cS_E+\sqrt{\cS_E\,\Pp(E)}\bigr), \qquad E\in\mathcal F_θ, \] where \(D_E\) is the localized terminal testing discrepancy and \(\cS_E\) is the stopped perturbative score energy. Applying this estimate to the layers \(G_r(θ)=\{r\le R_θ<r+1\}\) replaces the global Cauchy--Schwarz discrepancy cost by the layerwise cost \[ O_τ\left(\fracα{\sqrt r}+\frac{α^2}{r}\right) \Pp(G_r(θ)), \qquad α\simeq\log\logη. \] Under these imported joint-filtration inputs, combining the localized estimate with the time-smoothed anti-concentration profile yields the black-box consequence \[ μ\{P_τf>η\|f\|_1\} \le C_τ\frac{\log\logη}{η\sqrt{\logη}}, \qquad η>e^3, \] for the Boolean heat semigroup. This makes a $(\log\logη)^{1/2}$ improvement over Chen's result.