arXiv++ Combinatorics

In the first version of Chang, Slote, Volberg, and Zhang's paper \cite{BSA_of_PTF}, the authors modify a nice recursive approach due to Kane in \cite{Correct_exponent_for_AS} where he bounded the average sensitivity of polynomial threshold functions. In \cite{BSA_of_PTF} Kane's argument was adopted to estimate the boolean surface area of polynomial threshold function. The bridge is a combinatorial averaging lemma considering all balanced partitions. The lemma serves as a substitute for an additive property of average sensitivity. With the lemma, one can apply a Kane-type algorithm to derive a recurrence. Solving the recurrence then gives an upper bound of $e^{C_d \sqrt{\log n}}$ for the boolean surface area. In the second version of the same paper, the authors derive a polylog upper bound for BSA of PTFs. The difference is that they use a tail estimate for the sensitivity function. With the help of a polynomial restriction lemma in \cite{poly_restriction} they sharpen the upper bound. It is noteworthy that when applying the polynomial restriction, each coordinate is put into each part independently with equal probability. As a result, a partition does not necessarily have equal-size blocks. In other words, it may not be balanced. In this note, we first investigate the effect of different partitioning. Second, we use the recursive method in the first version to derive a polylog upper bound for $\mathbb E[s(x)^η]$ where $η< 1/2$. It is interesting to note the phase transition that happens at $η=1/2$ in both versions of the proof (but in a completely different form). Section 2.5 treats that.

We establish dimensional thresholds for dot product sets associated with compact subsets of translated paraboloids. Specifically, we prove that when the dimension of such a subset exceeds $ \frac{5}{4} = \frac{3}{2} - \frac{1}{4} $ in $\mathbb{R}^3$, and $ \frac{d}{2} - \frac{1}{4} - \frac{1}{8d - 4} $ in $\mathbb{R}^d$ for $d\geq 4$, its dot product set has positive Lebesgue measure. This result demonstrates that if a compact set in $ \mathbb{R}^d $ exhibits a paraboloidal structure, then the usual dimensional barrier of $ \frac{d}{2} $ for dot product sets can be lowered for $ d \geq 3 $. Our work serves as the continuous counterpart of a paper by Che-Jui Chang, Ali Mohammadi, Thang Pham, and Chun-Yen Shen, which examines the finite field setting with partial reliance on the extension conjecture. The key idea, closely following their paper, is to reformulate the dot product set on the paraboloid as a variant of a distance set. This reformulation allows us to leverage state-of-the-art results from the pinned distance problem, as established by Larry Guth, Alex Iosevich, Yumeng Ou, and Hong Wang for $ d = 2 $, and by Xiumin Du, Yumeng Ou, Kevin Ren, and Ruixiang Zhang for higher dimensions. Finally, we present explicit constructions and existence proofs that highlight the sharpness of our results.