We discuss lower-bound constructions for several no-dimensional theorems of combinatorial geometry in Banach spaces. The common mechanism is the Maurey--Pisier theorem: the supremal Rademacher type of a Banach space forces finite-dimensional \(\ell_p\)-structures, and standard-coordinate configurations in these model spaces give lower bounds for the error terms. For the Helly approximation property the relevant type is the type of the dual space. For colorful Radon, colorful Tverberg, selection, and weak \(\varepsilon\)-net statements the relevant type is the type of the original space. We show that the powers appearing in the no-dimensional Helly, Radon, Tverberg, and selection estimates are optimal at the supremal-type exponent. If the supremal type is attained, the known upper estimates coming from the corresponding type inequalities have the best possible order. We also include endpoint statements for spaces of trivial type. In this case the error terms in the Helly, Radon, Tverberg, and selection statements cannot tend to zero. Finally, we prove an endpoint obstruction for no-dimensional weak \(\eps\)-nets in spaces of trivial type. For every fixed cardinality bound, one can find a finite set in the unit ball for which no approximate weak \(\eps\)-net of that size exists below a fixed positive radius. The proof combines the simplex example in \(\ell_1^N\), the Lov\'asz theorem on the chromatic number of Kneser's graph, and finite representability of \(\ell_1^N\) in spaces of trivial type.
We establish two pointwise estimates for fractional difference operators, tracking explicitly the dependence of the constants on the smoothness index $s\in(0,1)$. Using these, within the framework of ball Banach function spaces we obtain two fractional Gagliardo--Nirenberg inequalities, including the BMO endpoint case. Furthermore, we establish endpoint asymptotic results as $s\to0^+$ and $s\to1^-$, proving that the asymptotic factors appearing in these inequalities have optimal order. Under the additional assumption that the underlying function space is rearrangement invariant, we show that the optimal Gagliardo--Nirenberg target spaces are precisely those given by the Calder\'on--Lozanovski\u{\i} space. This completely characterizes the rearrangement invariant target spaces for which the corresponding Gagliardo--Nirenberg inequalities hold, thereby answering an open question posed by K. Le\'snik, T. Roskovec, and F. Soudsk\'y. These results can be applied to various function spaces; in particular, they are completely new in the off-diagonal and BMO cases.
Pingxu Hu, Yinqin Li, Da-Chun Yang et al.· 0 citations
Given a complete doubling metric measure space $(X,\rho,\mu)$ supporting a Poincar\'e inequality, we prove weak-type characterizations of the Sobolev space $\dot{W}^{1,p}(\mu)$ and the space of functions of bounded variation, achieving a full analogy in general Poincar\'e spaces with the Euclidean results of Brezis et al. [Anal. PDE 17 (2024), 943-979]. The main novelty is that the finiteness of a weak-type norm, which only refers to differences or mean oscillations of $f$ without assuming any smoothness a priori, already guarantees the membership of $f$ in the relevant Sobolev or BV space. This distinguishes our contribution from the recent work of F. Dai et al. [Adv. Math. 502 (2026), Paper No. 111153], where the related norm-equivalence was obtained under the a priori Lipschitz assumption on $f$. A key intermediate step in our approach is a new localized Bourgain-Brezis-Mironescu type characterization. More precisely, we prove that, if $p\in(1,\infty)$ and $\gamma\in\mathbb R\setminus\{0\}$, then, for any $f\in L^1_{\mathrm{loc}}(\mu)$, \begin{equation*}\tag{$*$} \|f\|_{\dot W^{1,p}(\mu)} \sim \|\rho^{-1}\phi^{-\gamma}F\|_{L^{p,\infty}(\phi^{\gamma p}V^{-1})}, \qquad F\in\{\Delta f,m_f\},\quad \phi\in\{\rho,V\}, \end{equation*} where the homogeneous Sobolev space $\dot{W}^{1,p}(\mu)$ is defined by the minimal $p$-weak upper gradient and, for any $x,y\in X$, we denote $V(x,y):=\mu(B(x,\rho(x,y)))$ and $\Delta f(x,y):=|f(x) - f(y)|$, and $m_f(x,y)$ is the mean oscillation of $f$ on the ball $B(x,\rho(x,y))$. For $p=1$, the equivalence $(*)$ holds after replacing $\|f\|_{\dot W^{1,1}(\mu)}$ by a bounded variation norm and restricting the parameters to the optimal ranges $\gamma\in(-\infty,-1)\cup(0,\infty)$ for $\phi=\rho$ or $\gamma\in (-\infty,-\frac1d)\cup(0,\infty)$ for $\phi=V$, where $d\in(0,\infty)$ is the lower dimension of $X$.
T. Hytönen, Dachun Yang, Wen Yuan et al.· 0 citations
We prove dimension-free higher-order Sobolev norm estimates on open convex subsets of $\mathbb{R}^n$ with respect to Gaussian measure and use them to obtain norm equivalence on nonempty open convex subsets of $\ell^2$ endowed with a nondegenerate Gaussian measure. To the best of our knowledge, this is the first such equivalence theorem on a proper open subset of an infinite-dimensional Hilbert space, beyond the earlier whole-space results. We also prove the Malliavin--Sobolev norm equivalence for all $p\in[1,\infty)$ and $k\ge2$, including the case $p=1$, $k\ge3$ left open by Addona--Muratori--Rossi in \cite{AddonaMuratoriRossi}.
This paper investigates the approximation properties of linear Kantorovich-type sampling operators in the setting of general Banach lattices $X$ on the torus $\mathbb{T}$ and the real line $\mathbb{R}$. Under a natural assumption on the uniform boundedness of the Steklov averaging operators, we establish direct and inverse approximation estimates, as well as strong converse inequalities. Our framework does not require the underlying spaces to be translation-invariant, thereby covering a wide variety of classes and extending the estimates for Kantorovich-type operators previously known primarily for Lebesgue spaces $L_p$.
In this paper, we establish upper bounds for the second eigenvalue of the Schr\"odinger operator $L=\Delta+|\sigma|^2+k$ on $k$-dimensional closed submanifolds of the compact projective spaces $\mathbb F P^m$, where $\mathbb F\in\{\mathbb R,\mathbb C,\mathbb H\}$, as well as the Cayley projective plane. The estimates are obtained by combining the standard spherical embeddings of these spaces with a conformal test-function argument. In the complex, quaternionic, and Cayley cases, the resulting bounds involve correction terms that record the position of the tangent spaces of the submanifold relative to the corresponding geometric structures. We also derive universal estimates depending only on the dimension of the submanifold and the underlying division algebra. We show that equality in the sharp estimates forces the submanifold to be totally umbilical. Finally, using known classifications of totally umbilical submanifolds, we compute the second eigenvalue for the standard real, complex, quaternionic, and Cayley models and identify the totally geodesic examples that attain the sharp upper bounds.
We develop an abstract Banach principle in vector lattices and apply it to obtain lattice-theoretic versions of the individual and maximal ergodic theorems, without recourse to any measure representation. Considering a sequence of bounded operators with values in a Dedekind $\sigma$-complete vector lattice endowed with a locally solid topology satisfying the $\sigma$-Lebesgue property, we prove that the set of points at which the sequence is order convergent is a closed subspace and coincides with the whole space whenever convergence holds on a dense subset. Investigating positive, power-bounded, mean ergodic operators on order continuous Banach lattices, we construct a topology on the universal completion induced by a strictly positive order continuous functional and prove that the Ces\`aro means converge in order in the universal completion and, in particular, uo-converge in the original lattice. Moreover, we introduce the notion of a superinvariant pair and derive a lattice-theoretic Hopf inequality together with a weak type estimate via band projections, which yields an abstract maximal ergodic theorem. A spectral-theoretic version of the theorem follows from classical Perron--Frobenius theory. Finally, we specialise the abstract framework to the model space $L^0(\Omega)$ and revisit the classical Banach principle, the Hopf--Dunford--Schwartz theorem and Doob's martingale convergence theorem.
A. Dobrick· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
