More Like this

1. Distributional stability of the Szarek and Ball inequalities

   https://doi.org/10.1007/s00208-023-02669-9  

   Eskenazis, Alexandros; Nayar, Piotr; Tkocz, Tomasz (June 2024, Mathematische Annalen)

   Abstract We prove an extension of Szarek’s optimal Khinchin inequality (1976) for distributions close to the Rademacher one, when all the weights are uniformly bounded by a$$1/\sqrt{2}$$ $1/\sqrt{2}$ fraction of their total$$\ell _2$$ ${\ell }_2$ -mass. We also show a similar extension of the probabilistic formulation of Ball’s cube slicing inequality (1986). These results establish the distributional stability of these optimal Khinchin-type inequalities. The underpinning to such estimates is the Fourier-analytic approach going back to Haagerup (1981). 

   more » « less
2. On Extreme Constant Width Bodies in $$\mathbb {R}^3$$

   https://doi.org/10.1007/s00454-025-00779-6  

   Hynd, Ryan (September 2025, Discrete & Computational Geometry)

   Abstract We consider the family of constant width bodies in$$\mathbb {R}^3$$ $R^3$ which is convex under Minkowski addition. Extreme shapes cannot be expressed as a nontrivial convex combination of other constant width bodies. We show that each Meissner polyhedron is extreme. We also explain that each constant width body obtained by rotating a symmetric Reuleaux polygon about its line of symmetry is extreme. In addition, we conjecture a general characterization of all extreme constant width shapes. 

   more » « less
3. Improved effective Łojasiewicz inequality and applications

   https://doi.org/10.1017/fms.2024.66  

   Basu, Saugata; Mohammad-Nezhad, Ali (December 2024, Forum of Mathematics, Sigma)

   Abstract Let$$\mathrm {R}$$be a real closed field. Given a closed and bounded semialgebraic set$$A \subset \mathrm {R}^n$$and semialgebraic continuous functions$$f,g:A \rightarrow \mathrm {R}$$such that$$f^{-1}(0) \subset g^{-1}(0)$$, there exist an integer$$N> 0$$and$$c \in \mathrm {R}$$such that the inequality (Łojasiewicz inequality)$$|g(x)|^N \le c \cdot |f(x)|$$holds for all$$x \in A$$. In this paper, we consider the case whenAis defined by a quantifier-free formula with atoms of the form$$P = 0, P>0, P \in \mathcal {P}$$for some finite subset of polynomials$$\mathcal {P} \subset \mathrm {R}[X_1,\ldots ,X_n]_{\leq d}$$, and the graphs of$$f,g$$are also defined by quantifier-free formulas with atoms of the form$$Q = 0, Q>0, Q \in \mathcal {Q}$$, for some finite set$$\mathcal {Q} \subset \mathrm {R}[X_1,\ldots ,X_n,Y]_{\leq d}$$. We prove that the Łojasiewicz exponent in this case is bounded by$$(8 d)^{2(n+7)}$$. Our bound depends ondandnbut is independent of the combinatorial parameters, namely the cardinalities of$$\mathcal {P}$$and$$\mathcal {Q}$$. The previous best-known upper bound in this generality appeared inP. Solernó, Effective Łojasiewicz Inequalities in Semi-Algebraic Geometry, Applicable Algebra in Engineering, Communication and Computing (1991)and depended on the sum of degrees of the polynomials defining$$A,f,g$$and thus implicitly on the cardinalities of$$\mathcal {P}$$and$$\mathcal {Q}$$. As a consequence, we improve the current best error bounds for polynomial systems under some conditions. Finally, we prove a version of Łojasiewicz inequality in polynomially bounded o-minimal structures. We prove the existence of a common upper bound on the Łojasiewicz exponent for certain combinatorially defined infinite (but not necessarily definable) families of pairs of functions. This improves a prior result of Chris Miller (C. Miller, Expansions of the real field with power functions, Ann. Pure Appl. Logic (1994)). 

   more » « less
4. Lieb–Thirring Inequality for the 2D Pauli Operator

   https://doi.org/10.1007/s00220-024-05177-2  

   Frank, Rupert L; Kovařík, Hynek (February 2025, Communications in Mathematical Physics)

   Abstract By the Aharonov–Casher theorem, the Pauli operatorPhas no zero eigenvalue when the normalized magnetic flux$$\alpha $$ $\alpha$ satisfies$$|\alpha |<1$$ $\left|\alpha \right|<1$ , but it does have a zero energy resonance. We prove that in this case a Lieb–Thirring inequality for the$$\gamma $$ $\gamma$ -th moment of the eigenvalues of$$P+V$$ $P+V$ is valid under the optimal restrictions$$\gamma \ge |\alpha |$$ $\gamma \ge \left|\alpha \right|$ and$$\gamma >0$$ $\gamma >0$ . Besides the usual semiclassical integral, the right side of our inequality involves an integral where the zero energy resonance state appears explicitly. Our inequality improves earlier works that were restricted to moments of order$$\gamma \ge 1$$ $\gamma \ge 1$ . 

   more » « less
5. Some sharp inequalities of Mizohata–Takeuchi-type

   https://doi.org/10.4171/RMI/1463  

   Carbery, Anthony; Iliopoulou, Marina; Wang, Hong (June 2024, Revista Matemática Iberoamericana)

   Let\Sigmabe a strictly convex, compact patch of aC^{2}hypersurface in\mathbb{R}^{n}, with non-vanishing Gaussian curvature and surface measured\sigmainduced by the Lebesgue measure in\mathbb{R}^{n}. The Mizohata–Takeuchi conjecture states that \int |\widehat{g d\sigma}|^{2} w \leq C \|Xw\|_{\infty} \int |g|^{2} for allg\in L^{2}(\Sigma)and all weightsw \colon \mathbb{R}^{n}\rightarrow [0,+\infty), whereXdenotes theX-ray transform. As partial progress towards the conjecture, we show, as a straightforward consequence of recently-established decoupling inequalities, that for every\varepsilon>0, there exists a positive constantC_{\varepsilon}, which depends only on\Sigmaand\varepsilon, such that for allR \geq 1and all weightsw \colon \mathbb{R}^{n}\rightarrow [0,+\infty), we have \int_{B_R}|\widehat{g d\sigma}|^{2} w \leq C_{\varepsilon} R^{\varepsilon} \sup_{T} \Big(\int_{T} w^{(n+1)/2}\Big)^{2/(n+1)}\int |g|^{2}, whereTranges over the family of tubes in\mathbb{R}^{n}of dimensionsR^{1/2}\times \cdots \times R^{1/2}\times R. From this we deduce the Mizohata–Takeuchi conjecture with anR^{(n-1)/(n+1)}-loss; i.e., that \int_{B_R}|\widehat{g d\sigma}|^{2} w \leq C_{\varepsilon} R^{\frac{n-1}{n+1}+ \varepsilon}\|Xw\|_{\infty} \int |g|^{2} for any ballB_{R}of radiusRand any\varepsilon>0. The power(n-1)/(n+1)here cannot be replaced by anything smaller unless properties of\widehat{g d\sigma}beyond ‘decoupling axioms’ are exploited. We also provide estimates which improve this inequality under various conditions on the weight, and discuss some new cases where the conjecture holds. 

   more » « less