On transfinite diameters in $\mathbb{C}^{d}$ for generalized notions of degree

We give a general formula for the $C$-transfinite diameter $\delta_C(K)$ of a compact set $K\subset \mathbb{C}^2$ which is a product of univariate compacta where $C\subset (\mathbb{R}^+)^2$ is a convex body. Along the way we prove a Rumely type formula relating $\delta_C(K)$ and the $C$-Robin function $\rho_{V_{C,K}}$ of the $C$-extremal plurisubharmonic function $V_{C,K}$ for $C \subset (\mathbb{R}^+)^2$ a triangle $T_{a,b}$ with vertices $(0,0)$, $(b,0)$, $(0,a)$. Finally, we show how the definition of $\delta_C(K)$ can be extended to include many nonconvex bodies $C\subset \mathbb{R}^d$ for $d$-circled sets $K\subset \mathbb{C}^d$, and we prove an integral formula for $\delta_C(K)$ which we use to compute a formula for $\delta_C(\mathbb{B})$ where $\mathbb{B}$ is the Euclidean unit ball in $\mathbb{C}^2$.

TWO NOTABLE CLASSES OF PROJECTIVE VECTOR FIELDS

Here, we find some necessary conditions for a projective vector field on a Randers metric to preserve the non-Riemannian quantities $\Xi$ and $H$.They are known in the contexts as the $C$-projective and $H$-projective vector fields. We find all projective vector fields of the Funk type metrics on the Euclidean unit ball $\mathbb{B}^n(1)$.

A note on norms of signed sums of vectors

Improving a result of Hajela, we show for every function f with limn→∞f(n) = ∞ and f(n) = o(n) that there exists n0 = n0(f) such that for every n ⩾ n0 and any S ⊆ {–1, 1}n with cardinality |S| ⩽ 2n/f(n) one can find orthonormal vectors x1, …, xn ∈ ℝn satisfying $\begin{array}{} \displaystyle \|\varepsilon_1x_1+\dots+\varepsilon_nx_n\|_{\infty }\geqslant c\sqrt{\log f(n)} \end{array}$ for all (ε1, …, εn) ∈ S. We obtain analogous results in the case where x1, …, xn are independent random points uniformly distributed in the Euclidean unit ball $\begin{array}{} \displaystyle B_2^n \end{array}$ or in any symmetric convex body, and the $\begin{array}{} \displaystyle \ell_{\infty }^n \end{array}$-norm is replaced by an arbitrary norm on ℝn.

Intrinsic and Dual Volume Deviations of Convex Bodies and Polytopes

We establish estimates for the asymptotic best approximation of the Euclidean unit ball by polytopes under a notion of distance induced by the intrinsic volumes. We also introduce a notion of distance between convex bodies that is induced by the Wills functional and apply it to derive asymptotically sharp bounds for approximating the ball in high dimensions. Remarkably, it turns out that there is a polytope that is almost optimal with respect to all intrinsic volumes simultaneously, up to absolute constants. Finally, we establish asymptotic formulas for the best approximation of smooth convex bodies by polytopes with respect to a distance induced by dual volumes, which originate from Lutwak’s dual Brunn–Minkowski theory.

Geometric Estimates in Interpolation on an n-Dimensional Ball

Suppose \(n\in {\mathbb N}\). Let \(B_n\) be a Euclidean unit ball in \({\mathbb R}^n\) given by the inequality \(\|x\|\leq 1\), \(\|x\|:=\left(\sum\limits_{i=1}^n x_i^2\right)^{\frac{1}{2}}\). By \(C(B_n)\) we mean a set of continuous functions \(f:B_n\to{\mathbb R}\) with the norm \(\|f\|_{C(B_n)}:=\max\limits_{x\in B_n}|f(x)|\). The symbol \(\Pi_1\left({\mathbb R}^n\right)\) denotes a set of polynomials in \(n\) variables of degree \(\leq 1\), i.e. linear functions upon \({\mathbb R}^n\). Assume that \(x^{(1)}, \ldots, x^{(n+1)}\) are vertices of an \(n\)-dimensional nondegenerate simplex \(S\subset B_n\). The interpolation projector \(P:C(B_n)\to \Pi_1({\mathbb R}^n)\) corresponding to \(S\) is defined by the equalities \(Pf\left(x^{(j)}\right)=f\left(x^{(j)}\right).\) Denote by \(\|P\|_{B_n}\) the norm of \(P\) as an operator from \(C(B_n)\) on to \(C(B_n)\). Let us define \(\theta_n(B_n)\) as the minimal value of \(\|P\|_{B_n}\) under the condition \(x^{(j)}\in B_n\). We describe the approach in which the norm of the projector can be estimated from the bottom through the volume of the simplex. Let \(\chi_n(t):=\frac{1}{2^nn!}\left[ (t^2-1)^n \right] ^{(n)}\) be the standardized Legendre polynomial of degree \(n\). We prove that \(\|P\|_{B_n}\geq\chi_n^{-1}\left(\frac{vol(B_n)}{vol(S)}\right).\) From this, we obtain the equivalence \(\theta_n(B_n)\) \(\asymp\) \(\sqrt{n}\). Also we estimate the constants from such inequalities and give the comparison with the similar relations for linear interpolation upon the \(n\)-dimensional unit cube. These results have applications in polynomial interpolation and computational geometry.

Approximation of metric spaces by Reeb graphs: Cycle rank of a Reeb graph, the co-rank of the fundamental group, and large components of level sets on Riemannian manifolds

For a connected locally path-connected topological space X and a continuous function f on it such that its Reeb graph Rf is a finite topological graph, we show that the cycle rank of Rf, i.e., the first Betti number b1(Rf), in computational geometry called number of loops, is bounded from above by the co-rank of the fundamental group ?1(X), the condition of local path-connectedness being important since generally b1(Rf) can even exceed b1(X). We give some practical methods for calculating the co-rank of ?1(X) and a closely related value, the isotropy index. We apply our bound to improve upper bounds on the distortion of the Reeb quotient map, and thus on the Gromov-Hausdorff approximation of the space by Reeb graphs, for the distance function on a compact geodesic space and for a simple Morse function on a closed Riemannian manifold. This distortion is bounded from below by what we call the Reeb width b(M) of a metric space M, which guarantees that any real-valued continuous function on M has large enough contour (connected component of a level set). We show that for a Riemannian manifold, b(M) is non-zero and give a lower bound on it in terms of characteristics of the manifold. In particular, we show that any real-valued continuous function on a closed Euclidean unit ball E of dimension at least two has a contour C with diam(C??E)??3.

ON THE KÄHLER–EINSTEIN METRIC OF BERGMAN–HARTOGS DOMAINS

We study the complete Kähler–Einstein metric of certain Hartogs domains ${\rm\Omega}_{s}$ over bounded homogeneous domains in $\mathbb{C}^{n}$. The generating function of the Kähler–Einstein metric satisfies a complex Monge–Ampère equation with Dirichlet boundary condition. We reduce the Monge–Ampère equation to an ordinary differential equation and solve it explicitly when we take the parameter $s$ for some critical value. This generalizes previous results when the base is either the Euclidean unit ball or a bounded symmetric domain.

A Note on Strongly Starlike Mappings in Several Complex Variables

Letfbe a normalized biholomorphic mapping on the Euclidean unit ball𝔹ninℂnand letα∈0,1. In this paper, we will show that iffis strongly starlike of orderαin the sense of Liczberski and Starkov, then it is also strongly starlike of orderαin the sense of Kohr and Liczberski. We also give an example which shows that the converse of the above result does not hold in dimensionn≥2.

Centrally symmetric convex bodies and sections having maximal quermassintegrals

Let d ≧ 2, and let K ⊂ ℝd be a convex body containing the origin 0 in its interior. In a previous paper we have proved the following. The body K is 0-symmetric if and only if the following holds. For each ω ∈ Sd−1, we have that the (d − 1)-volume of the intersection of K and an arbitrary hyperplane, with normal ω, attains its maximum if the hyperplane contains 0. An analogous theorem, for 1-dimensional sections and 1-volumes, has been proved long ago by Hammer (see [2]). In this paper we deal with the ((d − 2)-dimensional) surface area, or with lower dimensional quermassintegrals of these intersections, and prove an analogous, but local theorem, for small C2-perturbations, or C3-perturbations of the Euclidean unit ball, respectively.