Search

We introduce notions of Cheeger constants for graphons and graphings. We prove Cheeger and Buser inequalities for these. On the way we prove co-area formulae for graphons and graphings., Comment: 35 pgs, 4 figures; v2: 39 pgs, 5 figures. Relationships between Cheeger constant of finite weighted graph and associated canonical graphon added

We define spherical Heron triangles (spherical triangles with "rational" side-lengths and angles) and parametrize them via rational points of certain families of elliptic curves. We show that the congruent number problem has infinitely many solutions for most areas in the spherical setting and we find a spherical Heron triangle with rational medians. We also explore the question of spherical triangles with a single rational median or a single a rational area bisector (median splitting the triangle in half), and discuss various problems involving isosceles spherical triangles., Comment: 22 pages, 2 figures

We derive presentations of the interval groups related to all quasi-Coxeter elements in the Coxeter group of type $D_n$. Type $D_n$ is the only infinite family of finite Coxeter groups that admits proper quasi-Coxeter elements. The presentations we obtain are over a set of generators in bijection with what we call a Carter generating set, and the relations are those defined by the related Carter diagram together with a twisted or a cycle commutator relator, depending on whether the quasi-Coxeter element is a Coxeter element or not. The proof is based on the description of two combinatorial techniques related to the intervals of quasi-Coxeter elements. In a subsequent work [4], we complete our analysis to cover all the exceptional cases of finite Coxeter groups, and establish that almost all the interval groups related to proper quasi-Coxeter elements are not isomorphic to the related Artin groups, hence establishing a new family of interval groups with nice presentations. Alongside the proof of the main results, we establish important properties related to the dual approach to Coxeter and Artin groups.

We study $\gamma$-vectors associated with $h^*$-vectors of symmetric edge polytopes both from a deterministic and a probabilistic point of view. On the deterministic side, we prove nonnegativity of $\gamma_2$ for any graph and completely characterize the case when $\gamma_2 = 0$. The latter also confirms a conjecture by Lutz and Nevo in the realm of symmetric edge polytopes. On the probabilistic side, we show that the $\gamma$-vectors of symmetric edge polytopes of most Erd\H{o}s-R\'enyi random graphs are asymptotically almost surely nonnegative up to any fixed entry. This proves that Gal's conjecture holds asymptotically almost surely for arbitrary unimodular triangulations in this setting., Comment: v2: 30 pages, 4 figures. To appear on SIAM Journal on Discrete Mathematics

We study first passage percolation (FPP) with stationary edge weights on Cayley graphs of finitely generated virtually nilpotent groups. Previous works of Benjamini-Tessera and Cantrell-Furman show that scaling limits of such FPP are given by Carnot-Carath\'eodory metrics on the associated graded nilpotent Lie group. We show a converse, i.e. that for any Cayley graph of a finitely generated nilpotent group, any Carnot-Carath\'eodory metric on the associated graded nilpotent Lie group is the scaling limit of some FPP with stationary edge weights on that graph. Moreover, for any Cayley graph of any finitely generated virtually nilpotent group, any conjugation-invariant metric is the scaling limit of some FPP with stationary edge weights on that graph. We also show that the conjugation-invariant condition is also a necessary condition in all cases where scaling limits are known to exist., Comment: 36 pages, 3 figures

The classical Cauchy rigidity theorem for convex polytopes reads that if two convex polytopes have isometric developments then they are congruent. In other words, we can decide whether two polyhedra are isometric or not by using their developments only. In this article, we study a similar problem about whether it is possible, using only the developments of two convex polyhedra of Euclidean 3-space, to understand that these polyhedra are (or are not) affine-equivalent., 21 pages, 4 figures; this v4 is an English translation of v3 which is in Russian

We prove that every finite Borel measure $\mu$ in $\mathbb{R}^N$ that is bounded from above by the Hausdorff measure $\mathcal{H}^s$ can be split in countable many parts $\mu\lfloor_{E_k}$ that are bounded from above by the Hausdorff content $\mathcal{H}_\infty^s$. Such a result generalises a theorem due to R. Delaware that says that any Borel set with finite Hausdorff measure can be decomposed as a countable disjoint union of straight sets. We apply this decomposition to show the existence of solutions of a Dirichlet problem involving an exponential nonlinearity., Comment: Added application to solution of semilinear PDE involving exponential

We prove a normal form for contact forms close to a Zoll one and deduce that Zoll contact forms on any closed manifold are local maximizers of the systolic ratio. Corollaries of this result are: (i) sharp local systolic inequalities for Riemannian and Finsler metrics close to Zoll ones, (ii) the perturbative case of a conjecture of Viterbo on the symplectic capacity of convex bodies, (iii) a generalization of Gromov's non-squeezing theorem in the intermediate dimensions for symplectomorphisms that are close to linear ones., 63 pages; v3: perturbative version of the Viterbo conjecture now proven for arbitrary symplectic capacities, added more properties to the normal form, added a statement on the local rigidity of Zoll contact forms

We investigate the planarity of the boundaries of right-angled Coxeter groups. We show that non-planarity of the defining graph does not necessarily imply non-planarity of every boundary of the associated right-angled Coxeter group, although it does in many cases. Our techniques yield a characterization of the triangle-free defining graphs such that the associated right-angled Coxeter group has boundary a Menger curve.

We give a complete classification of local and global conformal biharmonic maps between any two space forms by proving that a conformal map between two space forms is proper biharmonic if and only if the dimension is 4, the domain is flat, and it is a restriction of a M\"obius transformation. We also show that proper k-polyharmonic conformal maps between Euclidean spaces exist if and only if the dimension is 2k and they are precisely the restrictions of M\"obius transformations. This provides infinitely many simple examples of proper k-polyharmonic maps with nice geometric structure., Comment: 16 pages

In this paper, we introduce the Laguerre bounded variation space and the Laguerre perimeter, thereby investigating their properties. Moreover, we prove the isoperimetric inequality and the Sobolev inequality in the Laguerre setting. As applications, we derive the mean curvature for the Laguerre perimeter., In this paper we systematicallyinvestigate the theory of the Laguerre bounded variation space. Our results may have some potential applications in PDEs and potential theory

Binary polynomial optimization is equivalent to the problem of minimizing a linear function over the intersection of the multilinear set with a polyhedron. Many families of valid inequalities for the multilinear set are available in the literature, though giving a polyhedral characterization of the convex hull is not tractable in general as binary polynomial optimization is NP-hard. In this paper, we study the cardinality constrained multilinear set in the special case when the number of monomials is exactly two. We give an extended formulation, with two more auxiliary variables and exponentially many inequalities, of the convex hull of solutions of the standard linearization of this problem. We also show that the separation problem can be solved efficiently.

Given a graph G, the graph associahedron is a simple convex polytope whose face poset is based on the connected subgraphs of G. With the additional assignment of a color palette, we define the colorful graph associahedron, show it to be a collection of simple abstract polytopes, and explore its properties., Comment: 22 pages, 20 figures

It is proved that for any $0, Comment: 20 pages. Minor editing. Accepted to Studia Mathematica

Given a compact Sasaki manifold, we endow the space of the Sasaki potentials with an analogue of Mabuchi metric. We show that its metric completion is negatively curved in the sense of Alexandrov., 20 pages, Publicacions Matem\`atiques

In the Zermelo--Fraenkel set theory with the Axiom of Choice a forcing notion is "$\kappa$-distributive" if and only if it is "$\kappa$-sequential". We show that without the Axiom of Choice this equivalence fails, even if we include a weak form of the Axiom of Choice, the Principle of Dependent Choice for $\kappa$. Still, the equivalence may still hold along with very strong failures of the Axiom of Choice, assuming the consistency of large cardinal axioms. We also prove that while a $\kappa$-distributive forcing notion may violate Dependent Choice, it must preserve the Axiom of Choice for families of size $\kappa$. On the other hand, a $\kappa$-sequential can violate the Axiom of Choice for countable families. We also provide a condition of "quasiproperness" which is sufficient for the preservation of Dependent Choice, and is also necessary if the forcing notion is sequential., Comment: 12 pages; accepted version

We analyze the axiomatic strength of the following theorem due to Rival and Sands [28] in the style of reverse mathematics. Every infinite partial order P of finite width contains an infinite chain C such that every element of P is either comparable with no element of C or with infinitely many elements of C. Our main results are the following. The Rival–Sands theorem for infinite partial orders of arbitrary finite width is equivalent to $\mathsf {I}\Sigma ^0_{2} + \mathsf {ADS}$ over $\mathsf {RCA}_0$ . For each fixed $k \geq 3$ , the Rival–Sands theorem for infinite partial orders of width $\leq \!k$ is equivalent to $\mathsf {ADS}$ over $\mathsf {RCA}_0$ . The Rival–Sands theorem for infinite partial orders that are decomposable into the union of two chains is equivalent to $\mathsf {SADS}$ over $\mathsf {RCA}_0$ . Here $\mathsf {RCA}_0$ denotes the recursive comprehension axiomatic system, $\mathsf {I}\Sigma ^0_{2}$ denotes the $\Sigma ^0_2$ induction scheme, $\mathsf {ADS}$ denotes the ascending/descending sequence principle, and $\mathsf {SADS}$ denotes the stable ascending/descending sequence principle. To the best of our knowledge, these versions of the Rival–Sands theorem for partial orders are the first examples of theorems from the general mathematics literature whose strength is exactly characterized by $\mathsf {I}\Sigma ^0_{2} + \mathsf {ADS}$ , by $\mathsf {ADS}$ , and by $\mathsf {SADS}$ . Furthermore, we give a new purely combinatorial result by extending the Rival–Sands theorem to infinite partial orders that do not have infinite antichains, and we show that this extension is equivalent to arithmetical comprehension over $\mathsf {RCA}_0$ .

The aim of this work is to study the rigidity problem for Steiner's inequality for the anisotropic perimeter, that is, the situation in which the only extremals of the inequality are vertical translations of the Steiner symmetral that we are considering. Our main contribution consists in giving conditions under which rigidity in the anisotropic setting is equivalent to rigidity in the Euclidean setting. Such conditions are given in term of a restriction to the possible values of the normal vectors to the boundary of the Steiner symmetral (see Corollary 1.17, and Corollary 1.18).

Magnitude is a numerical invariant of compact metric spaces, originally inspired by category theory and now known to be related to myriad other geometric quantities. Generalizing earlier results in $\ell_1^n$ and Euclidean space, we prove an upper bound for the magnitude of a convex body in a hypermetric normed space in terms of its Holmes-Thompson intrinsic volumes. As applications of this bound, we give short new proofs of Mahler's conjecture in the case of a zonoid, and Sudakov's minoration inequality., v3: minor expositional clarifications. To appear in the Canadian Mathematical Bulletin

Any two geometric ideal triangulations of a cusped complete hyperbolic $3$-manifold $M$ are related by a sequence of Pachner moves through topological triangulations. We give a bound on the length of this sequence in terms of the total number of tetrahedra and a lower bound on dihedral angles. This leads to a naive but effective algorithm to check if two hyperbolic knots are equivalent, given geometric ideal triangulations of their complements. Given a geometric ideal triangulation of $M$, we also give a lower bound on the systole length of $M$ in terms of the number of tetrahedra and a lower bound on dihedral angles., Comment: Exposition improved, more figures added, no change to statements of Theorems. This version is accepted for publication in the journal Algebraic & Geometric Topology

We show two stability results for a closed Riemannian manifold whose Ricci curvature is small in the Kato sense and whose first Betti number is equal to the dimension. The first one is a geometric stability result stating that such a manifold is Gromov-Hausdorff close to a flat torus. The second one states that, under a stronger assumption, such a manifold is diffeomorphic to a torus: this extends a result by Colding and Cheeger-Colding obtained in the context of a lower bound on the Ricci curvature., 24 pages. Comments are welcome!

We give an alternate proof to the following generalization of the uniformization theorem by Bonk and Kleiner. Any linearly locally connected and Ahlfors 2-regular closed metric surface is quasisymmetrically equivalent to a model surface of the same topology. Moreover, we show that this is also true for surfaces as above with non-empty boundary and that the corresponding map can be chosen in a canonical way. Our proof is based on a local argument involving the existence of quasisymmetric parametrizations for metric discs as shown in a paper of Lytchak and Wenger.

Building on H. Tran's study of Loewner hulls generated by complex-valued driving functions, which showed the existence of a phase transition, we answer the question of whether the phase transition for complex-driven hulls matches the phase transition for real-driven hulls. This is accomplished through a detailed study of the Loewner hulls generated by driving functions $c\sqrt{1-t}$ and $c\sqrt{\tau + t}$ for $c \in \mathbb{C}$ and $\tau \geq 0$. This family also provides examples of new geometric behavior that is possible for complex-driven hulls but prohibited for real-driven hulls.

Computation of the volumes of polyhedra is a classical geometry problem known since ancient mathematics and preserving its importance until present time. Deriving volume formulas for 3-dimensional non-Euclidean polyhedra of a given combinatorial type is a very difficult problem. Nowadays, it is fully solved for a tetrahedron, the most simple polyhedron in the combinatorial sense. However, it is well known that for a polyhedron of a special type its volume formula becomes much simpler. This fact was noted by Lobachevsky who found the volume of the so-called ideal tetrahedron in hyperbolic space (all vertices of this tetrahedron are on the absolute).In this survey, we present main results on volumes of arbitrary non-Euclidean tetrahedra and polyhedra of special types (both tetrahedra and polyhedra of more complex combinatorial structure) in 3-dimensional spherical and hyperbolic spaces of constant curvature K = 1 and K = -1, respectively. Moreover, we consider the new method by Sabitov for computation of volumes in hyperbolic space (described by the Poincare model in upper half-space). This method allows one to derive explicit volume formulas for polyhedra of arbitrary dimension in terms of coordinates of vertices. Considering main volume formulas for non-Euclidean polyhedra, we will give proofs (or sketches of proofs) for them. This will help the reader to get an idea of basic methods for computation of volumes of bodies in non-Euclidean spaces of constant curvature.

We consider the notion of discrete Ricci curvature for graphs defined by Schmuckenschl{\"a}ger \cite{shmuck} and compute its value for Bruhat graphs associated to finite Coxeter groups. To do so we work with the geometric realization of a finite Coxeter group and a classical result obtained by Dyer in \cite{Dyer}. As an application we obtain a bound for the spectral gap of the Bruhat graph of any finite Coxeter group and an isoperimetric inequality for them. Our proofs are case-free., Comment: 12 pages. arXiv admin note: text overlap with arXiv:2102.10134

A random variable $Y_1$ is said to be smaller than $Y_2$ in the increasing concave stochastic order if $\mathbb{E}[\phi(Y_1)] \leq \mathbb{E}[\phi(Y_2)]$ for all increasing concave functions $\phi$ for which the expected values exist, and smaller than $Y_2$ in the increasing convex order if $\mathbb{E}[\psi(Y_1)] \leq \mathbb{E}[\psi(Y_2)]$ for all increasing convex $\psi$. This article develops nonparametric estimators for the conditional cumulative distribution functions $F_x(y) = \mathbb{P}(Y \leq y \mid X = x)$ of a response variable $Y$ given a covariate $X$, solely under the assumption that the conditional distributions are increasing in $x$ in the increasing concave or increasing convex order. Uniform consistency and rates of convergence are established both for the $K$-sample case $X \in \{1, \dots, K\}$ and for continuously distributed $X$.

In this paper, we first introduce the quermassintegrals for convex hypersurfaces with capillary boundary in the unit Euclidean ball $\mathbb{B}^{n+1}$ and derive its first variational formula. Then by using a locally constrained nonlinear curvature flow, which preserves the $n$-th quermassintegral and non-decreases the $k$-th quermassintegral, we obtain the Alexandrov-Fenchel inequality for convex hypersurfaces with capillary boundary in $\mathbb{B}^{n+1}$. This generalizes the result in \cite{SWX} for convex hypersurfaces with free boundary in $\mathbb{B}^{n+1}$., To appear in Trans. Amer. Math. Soc

We derive upper and lower bounds for the Assouad and lower dimensions of self-affine measures in $\mathbb{R}^d$ generated by diagonal matrices and satisfying suitable separation conditions. The upper and lower bounds always coincide for $d=2,3$ yielding precise explicit formulae for the dimensions. Moreover, there are easy to check conditions guaranteeing that the bounds coincide for $d \geq 4$. An interesting consequence of our results is that there can be a `dimension gap' for such self-affine constructions, even in the plane. That is, we show that for some self-affine carpets of `Bara\'nski type' the Assouad dimension of all associated self-affine measures strictly exceeds the Assouad dimension of the carpet by some fixed $\delta>0$ depending only on the carpet. We also provide examples of self-affine carpets of `Bara\'nski type' where there is no dimension gap and in fact the Assouad dimension of the carpet is equal to the Assouad dimension of a carefully chosen self-affine measure., Comment: v2: accepted version, to appear in ETDS, small changes to presentation, 22 pages, 1 figure

We define the Aumann-Pettis-Sugeno integrals of vector multifunctions relative to a fuzzy vector measure and present several classic properties. Some comparative results with other integrals of Pettis-Lebesgue and Aumann-Sugeno type and some estimation results are also established.

Let $\mathsf{T}$ be a triangulated category with shift functor $\Sigma \colon \mathsf{T} \to \mathsf{T}$. Suppose $(\mathsf{A},\mathsf{B})$ is a co-t-structure with coheart $\mathsf{S} = \Sigma \mathsf{A} \cap \mathsf{B}$ and extended coheart $\mathsf{C} = \Sigma^2 \mathsf{A} \cap \mathsf{B} = \mathsf{S} * \Sigma \mathsf{S}$, which is an extriangulated category. We show that there is a bijection between co-t-structures $(\mathsf{A}',\mathsf{B}')$ in $\mathsf{T}$ such that $\mathsf{A} \subseteq \mathsf{A}' \subseteq \Sigma \mathsf{A}$ and complete cotorsion pairs in the extended coheart $\mathsf{C}$. In the case that $\mathsf{T}$ is Hom-finite, $\mathbf{k}$-linear and Krull-Schmidt, we show further that there is a bijection between complete cotorsion pairs in $\mathsf{C}$ and functorially finite torsion pairs in $\mathsf{mod}\, \mathsf{S}$., Comment: 15 pages, 2 figures

A lattice equable quadrilateral is a quadrilateral in the plane whose vertices lie on the integer lattice and which is equable in the sense that its area equals its perimeter. This paper treats the tangential and extangential cases. We show that up to Euclidean motions, there are only 6 convex tangential lattice equable quadrilaterals, while the concave ones are arranged in 7 infinite families, each being given by a well known Diophantine equation of order 2 in 3 variables. On the other hand, apart from the kites, up to Euclidean motions there is only one concave extangential lattice equable quadrilateral, while there are infinitely many convex ones.

We study the collapsing of Calabi-Yau metrics and of Kahler-Ricci flows on fiber spaces where the base is smooth. We identify the collapsed Gromov-Hausdorff limit of the Kahler-Ricci flow when the divisorial part of the discriminant locus has simple normal crossings. In either setting, we also obtain an explicit bound for the real codimension 2 Hausdorff measure of the Cheeger-Colding singular set, and identify a sufficient condition from birational geometry to understand the metric behavior of the limiting metric on the base., Comment: 36 pages; final version to appear in J. Reine Angew. Math

We study abstract group actions of locally compact Hausdorff groups on CAT(0) spaces. Under mild assumptions on the action we show that it is continuous or has a global fixed point. This mirrors results by Dudley and Morris-Nickolas for actions on trees. As a consequence we obtain a geometric proof for the fact that any abstract group homomorphism from a locally compact Hausdorff group into a torsion free CAT(0) group is continuous., Comment: Comments are welcome

We consider an exhaustion of the modular orbifold by compact subsurfaces and show that the growth rate, in terms of word length, of the reciprocal geodesics on such subsurfaces (so named low lying reciprocal geodesics) converge to the growth rate of the full set of reciprocal geodesics on the modular orbifold. We derive a similar result for the low lying geodesics and their growth rate convergence to the growth rate of the full set of closed geodesics., 21 pages, 2 figures

The 'popcorn function' isThe `popcorn function' is a well-known and important example in real analysis with many interesting features. We prove that the box dimension of the graph of the popcorn function is 4/3, as well as computing the Assouad dimension and Assouad spectrum. The main ingredients include Duffin-Schaeffer type estimates from Diophantine approximation and the Chung-Erd\H{o}s inequality from probability theory., Comment: 13 pages, 2 figures

A continuous selection of polynomial functions is a continuous function whose domain can be partitioned into finitely many pieces on which the function coincides with a polynomial. Given a set of finitely many polynomials, we show that there are only finitely many continuous selections of it and each one is semi-algebraic. Then, we establish some generic properties regarding the critical points, defined by the Clarke subdifferential, of these continuous selections. In particular, given a set of finitely many polynomials with generic coefficients, we show that the critical points of all continuous selections of it are finite and the critical values are all different, and we also derive the coercivity of those continuous selections which are bounded from below. We point out that some existing results about {\L}ojasiewicz's inequality and error bounds for the maximum function of some finitely many polynomials are also valid for all the continuous selections of them., Comment: 28 pages

We show that every isometric action on a Cantor set is conjugate to an inverse limit of actions on finite sets; and that every isometric action by a finitely generated amenable group is residually finite., 12 pages, comments welcome

Many valued topologies on L-sets, providing a common framework for fuzzy topologies on fuzzy sets and the fixed-basis lattice-valued topologies on ordinary sets, are the main subject of the present study. In this paper, we have introduced many valued topological L-set-spaces, referring to L-sets equipped with many valued topologies, in an axiomatic way and focused on the vindication of their axiomatization in a categorical framework. In order to attain this objective, we apply the theory of Hohle of topological space objects formulated in terms of a partially ordered monad on an abstract category, and show that the category of many valued topological L-set-spaces is isomorphic to the category of topological space objects with respect to a partially ordered monad on a category of L-sets.

A geodesic flower is a finite collection of geodesic loops based at the same point 𝑝 that satisfy the following balancing condition: the sum of all unit tangent vectors to all geodesic arcs meeting at 𝑝 is equal to the zero vector. In particular, a geodesic flower is a stationary geodesic net. We prove that, in every complete non-compact manifold with locally convex ends, there exists a non-trivial geodesic flower.

We define a new notion of affine subspace concentration conditions for lattice polytopes, and prove that they hold for smooth and reflexive polytopes with barycenter at the origin. Our proof involves considering the slope stability of the canonical extension of the tangent bundle by the trivial line bundle and with the extension class $c_1(\mathcal{T}_X)$ on Fano toric varieties., Comment: 14 pages, v2: published version, revisions following referee's comments, major changes in Lemma 3.2 and its proof, to appear in EPIGA

Munteanu defined the canonical connection associated to a strongly pseudoconvex complex Finsler manifold $(M,F)$. We first prove that the holomorphic sectional curvature tensors of the canonical connection coincide with those of the Chern-Finsler connection associated to $F$ if and only if $F$ is a K\"ahler-Finsler metric. We also investigate the relationship of the Ricci curvatures (resp. scalar curvatures) of these two connections when $M$ is compact. As an application, two characterizations of balanced complex Finsler metrics are given. Next, we obtain a sufficient and necessary condition for a balanced complex Finsler metric to be K\"ahler-Finsler. Finally, we investigate conformal transformations of a balanced complex Finsler metric., Comment: I misquoted the definition of canonical connection?

The generalized circumradius of a set of points $A \subseteq \mathbb{R}^d$ with respect to a convex body $K$ equals the minimum value of $\lambda \geq 0$ such that $A$ is contained in a translate of $\lambda K$. Each choice of $K$ gives a different function on the set of bounded subsets of $\mathbb{R}^d$; we characterize which functions can arise in this way. Our characterization draws on the theory of diversities, a recently introduced generalization of metrics from functions on pairs to functions on finite subsets. We additionally investigate functions which arise by restricting the generalised circumradius to a finite subset of $\mathbb{R}^d$. We obtain elegant characterizations in the case that $K$ is a simplex or parallelotope., Comment: To be published in Discrete and Computational Geometry

There are two definitions of Einstein-Finsler spaces introduced by Akbar-Zadeh, which we will show is equal along the integral curves of $I$-invariant projective vector fields. The sub-algebra of the $C$-projective vector fields, leaving the $H$-curvature invariant, has been studied extensively. Here we show on a closed Finsler space with negative definite Ricci curvature reduces to that of Killing vector fields. Moreover, if an Einstein-Finsler space admits such a projective vector field then the flag curvature is constant. Finally, a classification of compact isotropic mean Landsberg manifolds admitting certain projective vector fields is obtained with respect to the sign of Ricci curvature., 25 pages

In this paper, we establish a closer relation between the Berwald scalar curvature and the [Formula: see text]-curvature. In fact, we prove that a Finsler metric has isotropic Berwald scalar curvature if and only if it has weakly isotropic [Formula: see text]-curvature. For Finsler metrics of scalar flag curvature and of weakly isotropic [Formula: see text]-curvature, they have almost isotropic [Formula: see text]-curvature if and only if the flag curvature is weakly isotropic.

Koszul type Coxeter simplex tilings exist in hyperbolic $n$-space $\mathbb{H}^n$ up to $ n = 9$, and their horoball packings achieve the highest known regular ball packing densities for $n = 3, 4, 5$. In this paper we determine the optimal horoball packing densities of Koszul simplex tilings in dimensions $6 \leq n \leq 9$, which give new lower bounds for optimal packing density in each dimension. The symmetries of the packings are given by Coxeter simplex groups, and a parameter related to the Busemann function gives an isometry invariant description of different optimal horoball packing configurations., Comment: 16 Pages, 6 Tables, 1 Figure. arXiv admin note: substantial text overlap with arXiv:1809.05411, arXiv:1401.6084

A small polygon is a polygon that has diameter one. The maximal perimeter of a convex equilateral small polygon with $n=2^s$ sides is not known when $s \ge 4$. In this paper, we construct a family of convex equilateral small $n$-gons, $n=2^s$ and $s \ge 4$, and show that their perimeters are within $O(1/n^4)$ of the maximal perimeter and exceed the previously best known values from the literature. In particular, for the first open case $n=16$, our result proves that Mossinghoff's equilateral hexadecagon is suboptimal.

This work establishes fast rates of convergence for empirical barycenters over a large class of geodesic spaces with curvature bounds in the sense of Alexandrov. More specifically, we show that parametric rates of convergence are achievable under natural conditions that characterize the bi-extendibility of geodesics emanating from a barycenter. These results largely advance the state-of-the-art on the subject both in terms of rates of convergence and the variety of spaces covered. In particular, our results apply to infinite-dimensional spaces such as the 2-Wasserstein space, where bi-extendibility of geodesics translates into regularity of Kantorovich potentials.

In this article, barycentric rational collocation method is introduced to solve Burgers’ equation. The algebraic equations of the barycentric rational collocation method are presented. Numerical analysis and error estimates are established. With the help of the barycentric rational interpolation theory, the convergence rates of the barycentric rational collocation method for Burgers’ equation are proved. Numerical experiments are carried out to validate the convergence rates and show the efficiency.

Results of Koebe (1936), Schramm (1992), and Springborn (2005) yield realizations of $3$-polytopes with edges tangent to the unit sphere. Here we study the algebraic degrees of such realizations. This initiates the research on constrained realization spaces of polytopes., 16 pages, 3 figures; minor additions

We investigate the orientably regular non-abelian coverings of regular maps. A complete classification of dihedral coverings of the Platonic maps for branching over faces (or, dually, vertices) is given. As a result, we generalise the results of Jones and Surowski on regular cyclic coverings of the Platonic maps.