Let $\alpha$ be irrational and let $q_j$ be the denominators of its continued-fraction convergents. We study the function \[ h(x)=\sum_{j\geq1}\frac{\cos(2\pi q_jx)}{q_j} \] and the skew product \[f(x,y)=(x+\alpha,y+h(x))\quad\mathrm{mod}\quad\mathbb{Z}^2.\] The function $h$ is H\"older continuous of every exponent below one. A Fourier argument shows that $h$ is not Lipschitz. The map $f$ is a toral pseudo-rotation with rotation vector $(\alpha,0)$, but it has neither bounded mean motion nor $C^0$-rigidity. Suppose $\alpha$ satisfies the Diophantine condition $\mathrm{DC}(\tau)$. Then, $f$ has $(C,1-1/\tau)$-deviation when $\tau>1$; and it has $(C_\delta,\delta)$-deviation for every $0<\delta<1$, but not for $\delta=0$ when $\tau=1$.
Let $\mu$ be a log-concave probability measure on $\mathbb R^n$ and let $f\colon\mathbb R^n\to\mathbb R^k$ be a polynomial mapping of degree at most $d$. We show that \[ \mu(f\in A) \le C\bigl(\lambda_k(A)\bigr)^{\frac{1}{k(d-1)+1}} \] for every Borel set $A\subset\mathbb R^k$ whenever the image measure $\mu\circ f^{-1}$ is absolutely continuous. The constant $C$ is independent of the dimension $n$, and the exponent $\frac{1}{k(d-1)+1}$ is sharp. This extends the scalar Carbery--Wright inequality and answers, in the log-concave setting, a question raised by Avni, Glazer, and Larsen. In addition, we show that the density of $\mu\circ f^{-1}$, whenever it exists, belongs to the Nikolskii--Besov space $B^{\frac{1}{k(d-1)+1}}_{1,\infty}(\mathbb R^k)$, with a dimension-free bound for the corresponding norm. A central difficulty in passing from scalar polynomials to vector-valued polynomial mappings is the lack of a suitable nondegeneracy parameter quantifying absolute continuity of $\mu\circ f^{-1}$, as the variance does in the scalar case. Natural candidates such as the covariance matrix or the Jacobian matrix either fail to characterize this property or do not lead to dimension-free estimates. We identify such a parameter and define it to be the covariance matrix of the vector formed by the monomials of degree up to $d^{k-1}$ in the normalized components of $f$. The dimension-free nature of our results allows us to extend Kusuoka's absolute continuity criterion for Gaussian polynomial random vectors to the log-concave setting. Moreover, in this setting, we obtain estimates relating convergence in distribution to convergence in total variation for polynomial random vectors.
Let $\mu$ be an $n$-AD-regular measure in $\mathbb{R}^d$. Chousionis, Garnett, Le and Tolsa [CGLT] proved that $\mu$ is uniformly $n$-rectifiable if and only if the square function built from the density differences $\Delta_\mu(x,r)=\mu(B(x,r))/r^n-\mu(B(x,2r))/(2r)^n$ satisfies a Carleson condition. In this paper we show that the same characterization holds if the density is first composed with a function $F$ which is bi-Lipschitz on the interval $[c_0^{-1},c_0]$ determined by the AD-regularity constant $c_0$. The main example is $F=\log$, introduced in [Le], for which the square function takes the scale-invariant form $\Delta_\mu^{\log}(x,r) = \log\bigl(\mu(B(x,r))/\mu(B(x,2r))\bigr)+n\log 2$. We give a complete proof, extend the statement to the smooth square functions of [CGLT], where the density is replaced by the convolution of $\mu$ with a Gaussian or a more general radial kernel, discuss what happens when $F$ is not bi-Lipschitz, and treat the case $\mu(\mathbb{R}^d)<\infty$, where the behavior of $F$ near zero enters in only one of the two implications. We also show that the qualitative characterization of $n$-rectifiable measures by Tolsa and Toro [TT], in terms of the same square function at $\mu$-almost every point, holds after composition with any locally bi-Lipschitz $F$. This requires neither AD-regularity nor doubling, and for $F=\log$ the condition $\lim_{r\to0}\Delta_\mu(x,r)=0$ becomes $\lim_{r\to0}\mu(B(x,r))/\mu(B(x,2r))=2^{-n}$.
Let $r_n$ be the infimum of \[ \frac{\lVert P'-P'(0)P\rVert_{H^2}}{\lVert P\rVert_{H^2}} \] over all degree-$n$ polynomials $P$ satisfying $P(0)=1$ whose zeros lie in the closed unit disk. We prove the quantitative residual bound \[ r_n\geq \exp\!\bigl(-(1+o(1))\sqrt n\log n\bigr) \qquad(n\to\infty). \] As an application, we answer Erd\H{o}s Problem 973 on exterior power sums in the negative, in a form quantitatively stronger than the answer first obtained by Luo, Yang, and Zhu.
Xiaojun Tan, Qihang Wang, Wei Huang et al.· 0 citations
Let $\gamma\subset\mathbb R^{m},\,m\geq2,$ be a closed curve of length $2\pi$ with its curvature $\kappa$, parametrized by arc length, and let $\lambda_\gamma$ be the first eigenvalue of the periodic curvature Schr\"odinger operator $-d^2/d s^2+\kappa(s)^2$. We obtain \[ \lambda_\gamma\geq \frac{\sqrt{\pi}}{2} \left(\frac{\Gamma(7/6)}{\Gamma(5/3)}\right)^3. \] This is a near-sharp lower bound for the Ovals problem. Our proof introduces a new geometric approach. We derive a convolution identity from the closure condition and combine it with projection averaging over tangent directions and sharp Poincar\'e inequalities on antipodal arcs. As applications, we provide an improved two-state kinetic Lieb-Thirring inequality and the corresponding two-eigenvalue constant.
Let $M$ be a connected geodesically complete Riemannian manifold without boundary, write $\mu$ for Riemannian volume, and set $V(o,r)=\mu(B(o,r))$ for geodesic balls centered at $o$. For $0<\alpha<2$, let $X^{(\alpha)}$ be the process obtained by subordinating Brownian motion with an independent $\alpha/2$-stable subordinator; its $L^2$-generator is $-(-\Delta)^{\alpha/2}$. We prove that \[ \int^\infty\frac{dt}{V(o,t^{1/\alpha})}=\infty \] implies that \(X^{(\alpha)}\) is recurrent. The proof uses a spectral trace estimate and radial cutoffs on $M\times(0,\infty)$, where the auxiliary measure is $y^{1-\alpha}\,d\mu\,dy$. It proves the sufficient implication in Grigor'yan's Problem~26.
Let $V$ be an $n$-dimensional Euclidean vector space, ,where $n\ge 4$, and $\ell = \lfloor\frac{n}{2}\rfloor$. We prove the sharp pointwise estimate \[ q_2(E) \ge -\frac{2(\ell -1)}{3\ell} \mathrm{Scal}(E) \mathrm{Id}_{\Lambda^2V^*} \] for every algebraic curvature tensor $E$ on $V$ with nonnegative sectional curvature. Applying this estimate to the decomposition $\operatorname{Rm}_{g}=K_{\min}I+E$, we obtain the vanishing of $H^2(M; \mathbb{R})$ under a dimension-dependent strict sectional-scalar curvature pinching condition. At the weak endpoint, all harmonic two-forms are parallel. Apart from the flat case, this yields $b_2(M)=0$ in odd dimensions and $b_2(M)\le 1$ in even dimensions. At even-dimensional endpoint, $b_2(M)>0$ forces $(M, g)$ to be isometric, up to scaling, to $\mathbb{CP}^{\ell}$ with its Fubini-Study metric. As a consequence every closed five-dimensional manifold satisfying the strict pinching condition implies is a rational homology sphere. An anisotropic rescaling of the same homogeneous four-frame estimate also gives the sharp pointwise sectional-scalar pinching criterion \[ K_{\min} \ge \frac{n(n-1)}{n^2-n+12}S_0 \quad \Longrightarrow \mathrm{PIC2}. \] The strict pinching places the curvature tensor in the interior of PIC2 and normalized Ricci flow brings it to a positive constant sectional curvature.
Jianquan Ge· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
