度量几何
We study the dispersion of digital $(0,m,2)$-nets; i.e. the size of the largest axes-parallel box within such point sets. Digital nets are an important class of low-discrepancy point sets. We prove tight lower and upper bounds for certain…
In this work, the warped product of Hamilton spaces is introduced and it is shown that these spaces obtain Hamiltonian structure as well. Then, the geometric properties of warped product Hamilton spaces such as their nonlinear connections…
In this paper, a frame is introduced on tangent bundle of a Finsler manifold in a manner that it makes some simplicity to study the properties of the natural foliations in tangent bundle. Moreover, we show that the indicatrix bundle of a…
In this paper, a comprehensive study of contact and Sasakian structures on the indicatrix bundle of Finslerian warped product manifolds is reconstructed. In addition, the Kahler structure on the tangent bundle of these manifolds is studied…
We prove that on an arbitrary metric measure space a countable collection of test plans is sufficient to recover all $\rm BV$ functions and their total variation measures. In the setting of non-branching ${\sf CD}(K,N)$ spaces (with finite…
"V - E + F = 2", the famous Euler's polyhedral formula, has a natural generalization to convex polytopes in every finite dimension, also known as the Euler-Poincar\'e Formula. We provide another short inductive proof of the general formula.…
In this article, we introduce a notion of curvature, denoted by $ k_X(T)$, for a metric triple $T$ inside a (possibly discrete) metric space $X$. Such a notion enables us to consider curvature information of any metric space, including…
Gardner conjectured that if two bounded measurable sets $A,B \subset \mathbb{R}^n$ are equidecomposable by a set of isometries $\Gamma$ generating an amenable group then $A$ and $B$ admit a measurable equidecomposition by all isometries.…
We give characterizations for the parabolicity of regular trees.
An optimal transport path may be viewed as a geodesic in the space of probability measures under a suitable family of metrics. This geodesic may exhibit a tree-shaped branching structure in many applications such as trees, blood vessels,…
We show that the Poincar\'e constant of a log-concave measure in Euclidean space is monotone increasing along the heat flow. In fact, the entire spectrum of the associated Laplace operator is monotone decreasing. Two proofs of these results…
We characterize when bivariate real analytic functions are "dimension expanding" when applied to a Cartesian product. If $P$ is a bivariate real analytic function that is not locally of the form $P(x,y) = h(a(x) + b(y))$, then whenever $A$…
We provide new answers about the placement of mass on spheres so as to minimize energies of pairwise interactions. We find optimal measures for the $p$-frame energies, i.e. energies with the kernel given by the absolute value of the inner…
The polygon $P$ is small if its diameter equals one. When $n=2^s$, it is still an open problem to find the maximum perimeter or the maximum width of a small $n$-gon. Motivated by Bingane's series of works, we improve the lower bounds for…
In 1957, Hadwiger made a conjecture that every $n$-dimensional convex body can be covered by $2^n$ translations of its interior. The Hadwiger's covering functional $\gamma_m(K)$ is the smallest positive number $r$ such that $K$ can be…
This note provides a simple proof for the equality between the normalized volume of a convex polytope with $m$ vertices and the mixed volume of $m$ simplices and thus shows the seemingly restrictive problem of computing mixed volume of…
We introduce the quasi-hyperbolicity constant of a metric space, a rough isometry invariant that measures how a metric space deviates from being Gromov hyperbolic. This number, for unbounded spaces, lies in the closed interval $[1,2]$. The…
We show that the almost sure $\theta$-intermediate dimension of the image of the set $F_p =\{0, 1,\frac{1}{2^p},\frac{1}{3^p},\ldots\}$ under index-$h$ fractional Brownian motion is $\frac{\theta}{ph+\theta}$, a value that is smaller than…
We study outer Lipschitz geometry of real semialgebraic or, more general, definable in a polynomially bounded o-minimal structure over the reals, surface germs. In particular, any definable H\"older triangle is either Lipschitz normally…
This paper is devoted to show that the flatness of tangents of $1$-codimensional measures in Carnot Groups implies $C^1_\mathbb{G}$-rectifiability. As applications we prove that measures with $(2n+1)$-density in the Heisenberg groups…