More Like this

1. Realizing trees of configurations in thin sets

   https://doi.org/10.2140/pjm.2025.335.355  

   Greenleaf, Allan; Iosevich, Alex; Taylor, Krystal (January 2025, Pacific Journal of Mathematics)

   Let $$\phi(x,y)$$ be a continuous function, smooth away from the diagonal, such that, for some $$\alpha>0$$, the associated generalized Radon transforms \begin{equation} \label{Radon} R_t^{\phi}f(x)=\int_{\phi(x,y)=t} f(y) \psi(y) d\sigma_{x,t}(y) \end{equation} map $$L^2({\mathbb R}^d) \to H^{\alpha}({\mathbb R}^d)$$ for all $t>0$. Let $$E$$ be a compact subset of $${\mathbb R}^d$$ for some $$d \ge 2$$, and suppose that the Hausdorff dimension of $$E$$ is $$>d-\alpha$$. We show that any tree graph $$T$$ on $k+1$ ($$k \ge 1$$) vertices is realizable in $$E$$, in the sense that there exist distinct $$x^1, x^2, \dots, x^{k+1} \in E$$ and $t>0$ such that the $$\phi$$-distance $$\phi(x^i, x^j)$$ is equal to $$t$$ for all pairs $(i,j)$ corresponding to the edges of the graph $$T$$. 

   more » « less
2. Additive Energies on Discrete Cubes

   de Dios Pont, Jaume; Greenfeld, Rachel; Ivanisvili, Paata; Madrid, Jose (September 2023, Discrete analysis)

   Gowers, Tim (Ed.)

   We prove that for $$d\geq 0$$ and $$k\geq 2$$, for any subset $$A$$ of a discrete cube $$\{0,1\}^d$$, the $k-$higher energy of $$A$$ (i.e., the number of $2k-$tuples $$(a_1,a_2,\dots,a_{2k})$$ in $$A^{2k}$$ with $$a_1-a_2=a_3-a_4=\dots=a_{2k-1}-a_{2k}$$) is at most $$|A|^{\log_{2}(2^k+2)}$$, and $$\log_{2}(2^k+2)$$ is the best possible exponent. We also show that if $$d\geq 0$$ and $$2\leq k\leq 10$$, for any subset $$A$$ of a discrete cube $$\{0,1\}^d$$, the $k-$additive energy of $$A$$ (i.e., the number of $2k-$tuples $$(a_1,a_2,\dots,a_{2k})$$ in $$A^{2k}$$ with $$a_1+a_2+\dots+a_k=a_{k+1}+a_{k+2}+\dots+a_{2k}$$) is at most $$|A|^{\log_2{ \binom{2k}{k}}}$$, and $$\log_2{ \binom{2k}{k}}$$ is the best possible exponent. We discuss the analogous problems for the sets $$\{0,1,\dots,n\}^d$$ for $$n\geq2$$. 

   more » « less
3. Multi-linear forms, graphs, and $L^p$-improving measures in $${\Bbb F}_q^d$$

   https://doi.org/10.4153/S0008414X2300086X  

   Bhowmik, Pablo; Iosevich, Alex; Koh, Doowon; Pham, Thang (February 2025, Canadian journal of mathematics)

   Abstract The purpose of this paper is to introduce and study the following graph-theoretic paradigm. Let$$ \begin{align*}T_Kf(x)=\int K(x,y) f(y) d\mu(y),\end{align*} $$where$$f: X \to {\Bbb R}$$,Xa set, finite or infinite, andKand$$\mu $$denote a suitable kernel and a measure, respectively. Given a connected ordered graphGonnvertices, consider the multi-linear form$$ \begin{align*}\Lambda_G(f_1,f_2, \dots, f_n)=\int_{x^1, \dots, x^n \in X} \ \prod_{(i,j) \in {\mathcal E}(G)} K(x^i,x^j) \prod_{l=1}^n f_l(x^l) d\mu(x^l),\end{align*} $$where$${\mathcal E}(G)$$is the edge set ofG. Define$$\Lambda _G(p_1, \ldots , p_n)$$as the smallest constant$$C>0$$such that the inequality(0.1)$$ \begin{align} \Lambda_G(f_1, \dots, f_n) \leq C \prod_{i=1}^n {||f_i||}_{L^{p_i}(X, \mu)} \end{align} $$holds for all nonnegative real-valued functions$$f_i$$,$$1\le i\le n$$, onX. The basic question is, how does the structure ofGand the mapping properties of the operator$$T_K$$influence the sharp exponents in (0.1). In this paper, this question is investigated mainly in the case$$X={\Bbb F}_q^d$$, thed-dimensional vector space over the field withqelements,$$K(x^i,x^j)$$is the indicator function of the sphere evaluated at$$x^i-x^j$$, and connected graphsGwith at most four vertices. 

   more » « less
4. Singmaster’s Conjecture In The Interior Of Pascal’s Triangle

   https://doi.org/10.1093/qmath/haac006  

   Matomäki, Kaisa; Radziwiłł, Maksym; Shao, Xuancheng; Tao, Terence; Teräväinen, Joni (April 2022, The Quarterly Journal of Mathematics)

   Abstract Singmaster’s conjecture asserts that every natural number greater than one occurs at most a bounded number of times in Pascal’s triangle; that is, for any natural number $$t \geq 2$$, the number of solutions to the equation $$\binom{n}{m} = t$$ for natural numbers $$1 \leq m \lt n$$ is bounded. In this paper we establish this result in the interior region $$\exp(\log^{2/3+\varepsilon} n) \leq m \leq n - \exp(\log^{2/3+\varepsilon} n)$$ for any fixed ɛ > 0. Indeed, when t is sufficiently large depending on ɛ, we show that there are at most four solutions (or at most two in either half of Pascal’s triangle) in this region. We also establish analogous results for the equation $$(n)_m = t$$, where $$(n)_m := n(n-1) \dots (n-m+1)$$ denotes the falling factorial. 

   more » « less
5. On a conjectural symmetric version of Ehrhard’s inequality

   https://doi.org/10.1090/tran/9177  

   Livshyts, Galyna (May 2024, Transactions of the American Mathematical Society)

   We formulate a plausible conjecture for the optimal Ehrhard-type inequality for convex symmetric sets with respect to the Gaussian measure. Namely, letting $J_{k-<\#comment/>1}\left(s\right)={\int <\#comment/>}_0^s{t}^{k-<\#comment/>1}{e}^{-<\#comment/>\frac{t^2}{2}}dt$and $c_{k-<\#comment/>1}=J_{k-<\#comment/>1}(+\mathrm{\infty <\#comment/>})$, we conjecture that the function $F:[0,1]\to <\#comment/>\mathbb{R}$, given by $F\left(a\right)=\underset{k=1}{\overset{n}{\sum <\#comment/>}}{1}_{a\in <\#comment/>E_k}\cdot <\#comment/>\left({\mathrm{\beta <\#comment/>}}_k{J}_{k-<\#comment/>1}^{-<\#comment/>1}\right(c_{k-<\#comment/>1}a)+{\mathrm{\alpha <\#comment/>}}_k)$(with an appropriate choice of a decomposition $[0,1]={\cup <\#comment/>}_i{E}_i$and coefficients ${\mathrm{\alpha <\#comment/>}}_i,{\mathrm{\beta <\#comment/>}}_i$) satisfies, for all symmetric convex sets $K$and $L$, and any $\mathrm{\lambda <\#comment/>}\in <\#comment/>[0,1]$, $F\left(\mathrm{\gamma <\#comment/>}\right(\mathrm{\lambda <\#comment/>}K+(1-<\#comment/>\mathrm{\lambda <\#comment/>})L\left)\right)\ge <\#comment/>\mathrm{\lambda <\#comment/>}F\left(\mathrm{\gamma <\#comment/>}\right(K\left)\right)+(1-<\#comment/>\mathrm{\lambda <\#comment/>})F\left(\mathrm{\gamma <\#comment/>}\right(L\left)\right).$We explain that this conjecture is “the most optimistic possible”, and is equivalent to the fact that for any symmetric convex set $K$, itsGaussian concavity power $p_s(K,\mathrm{\gamma <\#comment/>})$is greater than or equal to $p_s(R{B}_2^k\times <\#comment/>{\mathbb{R}}^{n-<\#comment/>k},\mathrm{\gamma <\#comment/>})$, for some $k\in <\#comment/>\{1,\dots <\#comment/>,n\}$. We call the sets $R{B}_2^k\times <\#comment/>{\mathbb{R}}^{n-<\#comment/>k}$round $k$-cylinders; they also appear as the conjectured Gaussian isoperimetric minimizers for symmetric sets, see Heilman [Amer. J. Math. 143 (2021), pp. 53–94]. In this manuscript, we make progress towards this question, and show that for any symmetric convex set $K$in ${\mathbb{R}}^n$, $p_s(K,\mathrm{\gamma <\#comment/>})\ge <\#comment/>\underset{F\in <\#comment/>L^2(K,\mathrm{\gamma <\#comment/>})\cap <\#comment/>Lip\left(K\right):\int <\#comment/>F=1}{sup}\left(2T_{\mathrm{\gamma <\#comment/>}}^F\right(K)-<\#comment/>Var(F\left)\right)+\frac{1}{n-<\#comment/>\mathbb{E}{X}^2},$where $T_{\mathrm{\gamma <\#comment/>}}^F\left(K\right)$is the $F-<\#comment/>$torsional rigidity of $K$with respect to the Gaussian measure.Moreover, the equality holds if and only if $K=R{B}_2^k\times <\#comment/>{\mathbb{R}}^{n-<\#comment/>k}$for some $R>0$and $k=1,\dots <\#comment/>,n$.As a consequence, we get $p_s(K,\mathrm{\gamma <\#comment/>})\ge <\#comment/>Q(\mathbb{E}|X{|}^2,\mathbb{E}\Vert <\#comment/>X{\Vert <\#comment/>}_K^4,\mathbb{E}\Vert <\#comment/>X{\Vert <\#comment/>}_K^2,r(K\left)\right),$where $Q$is a certain rational function of degree $2$, the expectation is taken with respect to the restriction of the Gaussian measure onto $K$, $\Vert <\#comment/>\cdot <\#comment/>{\Vert <\#comment/>}_K$is the Minkowski functional of $K$, and $r\left(K\right)$is the in-radius of $K$. The result follows via a combination of some novel estimates, the $L2$method (previously studied by several authors, notably Kolesnikov and Milman [J. Geom. Anal. 27 (2017), pp. 1680–1702; Amer. J. Math. 140 (2018), pp. 1147–1185;Geometric aspects of functional analysis, Springer, Cham, 2017; Mem. Amer. Math. Soc. 277 (2022), v+78 pp.], Kolesnikov and the author [Adv. Math. 384 (2021), 23 pp.], Hosle, Kolesnikov, and the author [J. Geom. Anal. 31 (2021), pp. 5799–5836], Colesanti [Commun. Contemp. Math. 10 (2008), pp. 765–772], Colesanti, the author, and Marsiglietti [J. Funct. Anal. 273 (2017), pp. 1120–1139], Eskenazis and Moschidis [J. Funct. Anal. 280 (2021), 19 pp.]), and the analysis of the Gaussian torsional rigidity. As an auxiliary result on the way to the equality case characterization, we characterize the equality cases in the “convex set version” of the Brascamp-Lieb inequality, and moreover, obtain a quantitative stability version in the case of the standard Gaussian measure; this may be of independent interest. All the equality case characterizations rely on the careful analysis of the smooth case, the stability versions via trace theory, and local approximation arguments. In addition, we provide a non-sharp estimate for a function $F$whose composition with $\mathrm{\gamma <\#comment/>}\left(K\right)$is concave in the Minkowski sense for all symmetric convex sets. 

   more » « less