Search results for "Mathematics::Metric Geometry"
showing 10 items of 139 documents
A density problem for Sobolev spaces on Gromov hyperbolic domains
2017
We prove that for a bounded domain $\Omega\subset \mathbb R^n$ which is Gromov hyperbolic with respect to the quasihyperbolic metric, especially when $\Omega$ is a finitely connected planar domain, the Sobolev space $W^{1,\,\infty}(\Omega)$ is dense in $W^{1,\,p}(\Omega)$ for any $1\le p<\infty$. Moreover if $\Omega$ is also Jordan or quasiconvex, then $C^{\infty}(\mathbb R^n)$ is dense in $W^{1,\,p}(\Omega)$ for $1\le p<\infty$.
On the Directly and Subdirectly Irreducible Many-Sorted Algebras
2015
AbstractA theorem of single-sorted universal algebra asserts that every finite algebra can be represented as a product of a finite family of finite directly irreducible algebras. In this article, we show that the many-sorted counterpart of the above theorem is also true, but under the condition of requiring, in the definition of directly reducible many-sorted algebra, that the supports of the factors should be included in the support of the many-sorted algebra. Moreover, we show that the theorem of Birkhoff, according to which every single-sorted algebra is isomorphic to a subdirect product of subdirectly irreducible algebras, is also true in the field of many-sorted algebras.
A Primer on Carnot Groups: Homogenous Groups, Carnot-Carathéodory Spaces, and Regularity of Their Isometries
2017
AbstractCarnot groups are distinguished spaces that are rich of structure: they are those Lie groups equipped with a path distance that is invariant by left-translations of the group and admit automorphisms that are dilations with respect to the distance. We present the basic theory of Carnot groups together with several remarks.We consider them as special cases of graded groups and as homogeneous metric spaces.We discuss the regularity of isometries in the general case of Carnot-Carathéodory spaces and of nilpotent metric Lie groups.
Assouad dimension, Nagata dimension, and uniformly close metric tangents
2013
We study the Assouad dimension and the Nagata dimension of metric spaces. As a general result, we prove that the Nagata dimension of a metric space is always bounded from above by the Assouad dimension. Most of the paper is devoted to the study of when these metric dimensions of a metric space are locally given by the dimensions of its metric tangents. Having uniformly close tangents is not sufficient. What is needed in addition is either that the tangents have dimension with uniform constants independent from the point and the tangent, or that the tangents are unique. We will apply our results to equiregular subRiemannian manifolds and show that locally their Nagata dimension equals the to…
Ultrametric Vs. Quantum Query Algorithms
2014
Ultrametric algorithms are similar to probabilistic algorithms but they describe the degree of indeterminism by p-adic numbers instead of real numbers. This paper introduces the notion of ultrametric query algorithms and shows an example of advantages of ultrametric query algorithms over deterministic, probabilistic and quantum query algorithms.
Quasihyperbolic boundary conditions and capacity: Hölder continuity of quasiconformal mappings
2001
We prove that quasiconformal maps onto domains which satisfy a suitable growth condition on the quasihyperbolic metric are uniformly continuous when the source domain is equipped with the internal metric. The obtained modulus of continuity and the growth assumption on the quasihyperbolic metric are shown to be essentially sharp. As a tool, we prove a new capacity estimate.
Rigidity and almost rigidity of Sobolev inequalities on compact spaces with lower Ricci curvature bounds
2021
We prove that if $M$ is a closed $n$-dimensional Riemannian manifold, $n \ge 3$, with ${\rm Ric}\ge n-1$ and for which the optimal constant in the critical Sobolev inequality equals the one of the $n$-dimensional sphere $\mathbb{S}^n$, then $M$ is isometric to $\mathbb{S}^n$. An almost-rigidity result is also established, saying that if equality is almost achieved, then $M$ is close in the measure Gromov-Hausdorff sense to a spherical suspension. These statements are obtained in the ${\rm RCD}$-setting of (possibly non-smooth) metric measure spaces satisfying synthetic lower Ricci curvature bounds. An independent result of our analysis is the characterization of the best constant in the Sob…
Riesz transform and vertical oscillation in the Heisenberg group
2023
We study the $L^{2}$-boundedness of the $3$-dimensional (Heisenberg) Riesz transform on intrinsic Lipschitz graphs in the first Heisenberg group $\mathbb{H}$. Inspired by the notion of vertical perimeter, recently defined and studied by Lafforgue, Naor, and Young, we first introduce new scale and translation invariant coefficients $\operatorname{osc}_{\Omega}(B(q,r))$. These coefficients quantify the vertical oscillation of a domain $\Omega \subset \mathbb{H}$ around a point $q \in \partial \Omega$, at scale $r > 0$. We then proceed to show that if $\Omega$ is a domain bounded by an intrinsic Lipschitz graph $\Gamma$, and $$\int_{0}^{\infty} \operatorname{osc}_{\Omega}(B(q,r)) \, \frac{dr}{…
Packing a multidisperse system of hard disks in a circular environment.
2008
We consider the problem of finding the densest closed packing of hard disks with proposed different radii in a circular environment, such that the radius of the circumcircle is minimal. With our approach, we are able to find denser packings for various problem instances than known from the literature. Both for the dynamics of the simulation and for the optimum values of the radii of the circumcircles, we find various scaling laws.
Indefinite integrals from Wronskians and related linear second-order differential equations
2021
Many indefinite integrals are derived for Bessel functions and associated Legendre functions from particular transformations of their differential equations which are closely linked to Wronskians. A large portion of the results for Bessel functions is known, but all the results for associated Legendre functions appear to be new. The method can be applied to many other special functions. All results have been checked by differentiation using Mathematica.