Related papers: The Relative Capacity
In this paper the relative recognition principle will be proved. It states that a pair of spaces $(X_o,X_c)$ is weakly equivalent to $(\Omega^N_\text{rel}(\iota:B\hookrightarrow Y),\Omega^N(Y))$ if and only if $(X_o,X_c)$ are grouplike…
We study the relative algebraic closure $K$ of $\bar{\mathbb{F}}_p((t))$ inside $\bar{\mathbb{F}}((t^{\mathbb{Q}}))$. We show that the supports of elements in $K$ have order type strictly less than $\omega^\omega$. We also recover a theorem…
For $p\in(1,+\infty)$, we prove that for a $p$-energy on a metric measure space, under the volume doubling condition, the conjunction of the Poincar\'e inequality and the cutoff Sobolev inequality both with $p$-walk dimension strictly…
We give a new characterization of Sobolev-Slobodeckij spaces W^{1+s,p} for n/p<1+s, where n is the dimension of the domain. To achieve this we introduce a family of curvature energies inspired by the classical concept of integral Menger…
We introduce for any exponent $p>1$ the $p$-curvature functional for rectifiable curves in the two-dimensional sphere. We prove that this functional is finite and agrees with the integral of the geodesic curvature raised to the power $p$ on…
We give a necessary condition for a domain to have a bounded extension operator from $L^{1,p}(\Omega)$ to $L^{1,p}(\mathbb R^n)$ for the range $1 < p < 2$. The condition is given in terms of a power of the distance to the boundary of…
It is well known that sets of $p$-capacity zero are removable for bounded $p$-harmonic functions, but on metric spaces there are examples of removable sets of positive capacity. In this paper, we show that this can happen even on unweighted…
Consider percolation on the triangular lattice. Let $\kappa(p)$ be the free energy at the zero field. We show that $$|\kappa'''(p)| \leq |p-p_c|^{-1/3+o(1)} \mbox{ if } p \neq p_c.$$ Furthermore, we show that there exists a sequence…
We answer an open problem posed by Mossel--Oleszkiewicz--Sen regarding relations between $p$-log-Sobolev inequalities for $p\in(0,1]$. We show that for any interval $I\subset(0,1]$, there exist $q,p\in I$, $q<p$, and a measure $\mu$ for…
We find a strong-converse bound on the private capacity of a quantum channel assisted by unlimited two-way classical communication. The bound is based on the max-relative entropy of entanglement and its proof uses a new inequality for the…
We establish a sharp Sobolev trace inequality on the Siegel domain $\Omega_{n+1}$ involving the weighted norm-$W^{2,2}(\Omega_{n+1}, \rho^{1-2[\gamma]})$. The inequality is closely related the realization of fractional powers of the…
Given a finite point set $P\subset\mathbb{R}^d$, we call a multiset $A$ a one-sided weak $\varepsilon$-approximant for $P$ (with respect to convex sets), if $|P\cap C|/|P|-|A\cap C|/|A|\leq\varepsilon$ for every convex set $C$. We show…
In this paper, we characterize the weighted infinitesimal boundedness: for $0<\alpha<n$ and $1<p<\infty$, $$\|V\phi\|_{L^{p}(w)}^{p}\leq\epsilon\|(-\Delta)^{\frac{\alpha}{2}}\phi\|_{L^{p}(w)}^{p}+C(\epsilon)\|\phi\|_{L^{p}(w)}^{p}.$$ In…
For an infinite class of finite graphs of unbounded size, we define a limit object, to be called a $\textit{wide limit}$, relative to some computationally restricted class of functions. The limit object is a first order Boolean-valued…
We prove various sharp bounds for the anisotropic $p$-capacity $\mathrm{Cap}_{F,p}(K)$ ($1<p<n$) of compact sets $K$ in the Euclidean space $\mathbb{R}^n$ ($n\geq 3$). For example, using the inverse anisotropic mean curvature flow (IAMCF),…
We show that a proper open subset $\Omega\subset \mathbb{R}^n$ is an extension domain for $H^p$ ($0<p\le1$), if and only if it satisfies a certain geometric condition. When $n(\frac{1}{p}-1)\in \mathbb{N}$ this condition is equivalent to…
We construct whole-space extensions of functions in a fractional Sobolev space of order $s\in (0,1)$ and integrability $p\in (0,\infty)$ on an open set $O$ which vanish in a suitable sense on a portion $D$ of the boundary $\partial O$ of…
By using optimal mass transport theory, we provide a direct proof to the sharp $L^p$-log-Sobolev inequality $(p\geq 1)$ involving a log-concave homogeneous weight on an open convex cone $E\subseteq \mathbb R^n$. The perk of this proof is…
We describe some sufficient conditions, under which smooth and compactly supported functions are or are not dense in the fractional Sobolev space $W^{s,p}(\Omega)$ for an open, bounded set $\Omega\subset\mathbb{R}^{d}$. The density property…
We show that Sobolev space $W^1_1(\Omega)$ of any planar one-connected domain $\Omega$ has the Bounded Approximation property. The result holds independently from the properties of the boundary of $\Omega$. The prove is based on a new…