Degree of Ball Maps with Maximum Geometric Rank

Abdullah Al Helal

2024-10-19

Abstract:This work focuses on the degree bound of maps between balls with maximum geometric rank and minimum target dimension where this geometric rank occurs. Specifically, we show that rational proper maps between $\mathbb{B}_n$ and $\mathbb{B}_N$ with $n \geq 2$, $N = \frac{n(n+1)}{2}$, and geometric rank $n-1$ cannot have a degree of more than $n+1$.

Complex Variables

What problem does this paper attempt to address?

Proper maps of ball complements & differences and rational sphere maps

Abdullah Al Helal,Jiří Lebl,Achinta Kumar Nandi

2024-10-10

Abstract:We consider proper holomorphic maps of ball complements and differences in complex euclidean spaces of dimension at least two. Such maps are always rational, which naturally leads to a related problem of classifying rational maps taking concentric spheres to concentric spheres, what we call $m$-fold sphere maps; a proper map of the difference of concentric balls is a $2$-fold sphere map. We prove that proper maps of ball complements are in one to one correspondence with polynomial proper maps of balls taking infinity to infinity. We show that rational $m$-fold sphere maps of degree less than $m$ (or polynomial maps of degree $m$ or less) must take all concentric spheres to concentric spheres and we provide a complete classification of them. We prove that these degree bounds are sharp.

Complex Variables
Degrees of maps and multiscale geometry

Aleksandr Berdnikov,Larry Guth,Fedor Manin

DOI: https://doi.org/10.1017/fmp.2023.33

2024-01-19

Forum of Mathematics Pi

Abstract:We study the degree of an L-Lipschitz map between Riemannian manifolds, proving new upper bounds and constructing new examples. For instance, if is the connected sum of k copies of for , then we prove that the maximum degree of an L-Lipschitz self-map of is between and . More generally, we divide simply connected manifolds into three topological types with three different behaviors. Each type is defined by purely topological criteria. For scalable simply connected n-manifolds, the maximal degree is . For formal but nonscalable simply connected n-manifolds, the maximal degree grows roughly like . And for nonformal simply connected n-manifolds, the maximal degree is bounded by for some .

mathematics, applied
Maximal degree of a map of surfaces

Andrey Ryabichev

DOI: https://doi.org/10.2140/pjm.2024.328.145

2023-08-15

Abstract:Given closed possibly nonorientable surfaces $M,N$, we prove that if a map $f:M\to N$ has degree $d>0$, then $\chi(M)\le d\cdot\chi(N)$. We give all necessary comments on the definition and properties of geometric degree, which can be defined for any map. Our proof is based on the Kneser-Edmonds factorization theorem, simple natural proof of which is also presented.

Geometric Topology
The degrees of maps between manifolds

H. Duan,S. Wang

DOI: https://doi.org/10.1007/s00209-002-0475-x

2003-01-01

Mathematische Zeitschrift

Abstract:. We study the question: which integers k can be realized as the degree of a map between two given closed ( n -1)-connected 2 n -manifolds? Mathematics Subject Classification (2000): 57R19, 55M25
On the Third Gap for Proper Holomorphic Maps between Balls

Xiaojun Huang,Shanyu Ji,Wanke Yin

DOI: https://doi.org/10.48550/arXiv.1201.6440

2014-10-14

Abstract:In this paper, we study the gap rigidity phenomenon for proper holomorphic maps between balls of different dimension. We show that any $F\in prop_3({\mathbb{B}}^n, {\mathbb{B}} ^N)$, with $3n<N\leq 4n-7$ and $n\geq 7$, is equivalent to a map of the form $(G,0)$ with $G\in Rat ({\mathbb{B}}^n,{\mathbb{B}}^{3n})$. The main ingredients for the proof of our main theorem are the normal form obtained by Huang-Ji-Xu and a lemma of the first author.

Complex Variables
Dynamical and arithmetic degrees for random iterations of maps on projective space

Wade Hindes

DOI: https://doi.org/10.48550/arXiv.1904.04709

2019-04-09

Abstract:We show that the dynamical degree of an (i.i.d) random sequence of dominant, rational self-maps on projective space is almost surely constant. We then apply this result to height growth and height counting problems in random orbits.

Number Theory,Dynamical Systems
Rational Maps of Balls and their Associated Groups

Dusty Grundmeier,Jiří Lebl

2024-05-07

Abstract:Given a proper, rational map of balls, D'Angelo and Xiao introduced five natural groups encoding properties of the map. We study these groups using a recently discovered normal form for rational maps of balls. Using this normal form, we also provide several new groups associated to the map.

Complex Variables
New lower bound on ball packing density in high-dimensional hyperbolic spaces

Irene Gil Fernández,Jaehoon Kim,Hong Liu,Oleg Pikhurko

2024-09-26

Abstract:We present a new lower bound on the Bowen-Radin maximal density of radius-R ball packings in the m-dimensional hyperbolic space, improving on the basic covering bound by factor \Omega(m(R+\ln m)) as m tends to infinity. This is done by applying the recent theorem of Campos, Jenssen, Michelen and Sahasrabudhe on independent sets in graphs with sparse neighbourhoods.

Combinatorics,Metric Geometry
Euclidean Maximum Matchings in the Plane---Local to Global

Ahmad Biniaz,Anil Maheshwari,Michiel Smid

2024-05-31

Abstract:Let $M$ be a perfect matching on a set of points in the plane where every edge is a line segment between two points. We say that $M$ is globally maximum if it is a maximum-length matching on all points. We say that $M$ is $k$-local maximum if for any subset $M'=\{a_1b_1,\dots,a_kb_k\}$ of $k$ edges of $M$ it holds that $M'$ is a maximum-length matching on points $\{a_1,b_1,\dots,a_k,b_k\}$. We show that local maximum matchings are good approximations of global ones. Let $\mu_k$ be the infimum ratio of the length of any $k$-local maximum matching to the length of any global maximum matching, over all finite point sets in the Euclidean plane. It is known that $\mu_k\geqslant \frac{k-1}{k}$ for any $k\geqslant 2$. We show the following improved bounds for $k\in\{2,3\}$: $\sqrt{3/7}\leqslant\mu_2< 0.93 $ and $\sqrt{3}/2\leqslant\mu_3< 0.98$. We also show that every pairwise crossing matching is unique and it is globally maximum. Towards our proof of the lower bound for $\mu_2$ we show the following result which is of independent interest: If we increase the radii of pairwise intersecting disks by factor $2/\sqrt{3}$, then the resulting disks have a common intersection.

Computational Geometry,Discrete Mathematics
An example of homogeneous cones whose basic relative invariant has maximal degree

Hideto Nakashima

2024-05-15

Abstract:It is known that degrees of basic relative invariants of homogeneous open convex cones of rank $r$ are less than or equal to $2^{r-1}$. In this article, we show that there exists a homogeneous cone of rank $r$ one of whose basic relative invariants has degree $2^{r-1}$. The main idea for this is to construct such a homogeneous cone inductively to have specific structure constants which enable us to calculate degrees of its basic relative invariants. We study homogeneous cones of rank $3$ in detail in order to see non-triviality of the existence of homogeneous cones with given structure constants.

Algebraic Geometry
Minimal degree rational open up mappings and related questions

Sergei Kalmykov,Béla Nagy,Olivier Sète

DOI: https://doi.org/10.54330/afm.131296

2023-07-03

Abstract:We establish the existence and uniqueness of rational conformal maps of minimal degree $n+1$ for opening up $n$ arcs. In earlier results, the degree was exponential in $n$. We also discuss two related problems. (a) We establish existence of rational functions of minimal degree with prescribed critical values, and show that the number of (suitably normalized) rational functions is given in terms of the Hurwitz numbers. (b) We consider the problem of finding rational functions of minimal degree with prescribed critical points, where we establish existence of solutions by considering certain polynomial equations, and where the number of normalized solutions is bounded from above by a Catalan number. We illustrate our results with two examples.

Complex Variables,Algebraic Geometry
Large rank simple bundles of all homological dimensions

Kaiying Hou

2023-12-21

Abstract:For $n\geq 3$ and $r\geq n$, we show that there are rank-$r$ vector bundles on $\mathbb{P}^n$ with arbitrary homological dimension. We apply the Bernstein-Gel'fand-Gel'fand correspondence to translate the vector bundle question into a problem on modules over the exterior algebra. Then, we use linear algebra to construct the desired modules.

Algebraic Geometry
On Lattice points and Optimal Packing of Minkowski's Balls and Domains

Nikolaj Glazunov

DOI: https://doi.org/10.48550/arXiv.2305.15739

2023-05-25

Abstract:We investigate lattice packings of Minkowski's balls and domains, as well as the distribution of lattice points on Minkowski's curves which are boundaries of Minkowski's balls. By results of the proof of Minkowski's conjecture about the critical determinant we devide the balls and domains on 3 classes: Minkowski, Davis and Chebyshev-Cohn balls. The optimal lattice packings of the balls and domains are obtained. The minimum areas of hexagons inscribed in the balls and domains and circumscribed around their are given. We construct direct systems of these balls, domains and their critical lattices and calculate their direct limits.

Number Theory
Holomorphic mappings of maximal rank into projective spaces

Dinh Tuan Huynh

2024-07-23

Abstract:Let $1\leq p\leq n$ be two positive integers. For a linearly nondegenerate holomorphic mapping $f\colon\mathbb{C}^p\rightarrow\mathbb{P}^n(\mathbb{C})$ of maximal rank intersecting a family of hyperplanes in general position, we obtain a Cartan's type Second Main Theorem in which the counting functions are truncated to level $n+1-p$. Our result strengthens the classical results of Stoll and Vitter, and interpolates the important works of Cartan and Carlson-Griffiths.

Complex Variables
Balls into bins via local search: cover time and maximum load

Karl Bringmann,Thomas Sauerwald,Alexandre Stauffer,He Sun

DOI: https://doi.org/10.48550/arXiv.1310.0801

2014-02-16

Abstract:We study a natural process for allocating m balls into n bins that are organized as the vertices of an undirected graph G. Balls arrive one at a time. When a ball arrives, it first chooses a vertex u in G uniformly at random. Then the ball performs a local search in G starting from u until it reaches a vertex with local minimum load, where the ball is finally placed on. Then the next ball arrives and this procedure is repeated. For the case m = n, we give an upper bound for the maximum load on graphs with bounded degrees. We also propose the study of the cover time of this process, which is defined as the smallest m so that every bin has at least one ball allocated to it. We establish an upper bound for the cover time on graphs with bounded degrees. Our bounds for the maximum load and the cover time are tight when the graph is transitive or sufficiently homogeneous. We also give upper bounds for the maximum load when m > n.

Probability,Discrete Mathematics,Combinatorics
On certain extremal Banach-Mazur distances in small dimensions

Florian Grundbacher,Tomasz Kobos

2024-07-12

Abstract:We study the maximal possible Banach-Mazur distance for certain pairs of symmetric convex bodies. A classical consequence of the John Ellipsoid Theorem is that the Banach-Mazur distance of a symmetric convex body $K \subseteq \mathbb{R}^n$ to the $n$-dimensional Euclidean ball is not greater than $\sqrt{n}$. Equality holds in every dimension $n$ for the unit balls of $\ell_1^n$ and $\ell_{\infty}^n$, that is, for cross-polytopes and parallelotopes in dimension $n$. While it is known that in dimension $n \geq 4$, there are more convex bodies (not affinely equivalent to either of the previous two) with the distance $\sqrt{n}$ to the ball, and that for $n=2$ the parallelogram is unique, the characterization of the equality case for dimension $n=3$ seems to have never been published. We prove that the three-dimensional cross-polytopes and parallelotopes are the only symmetric convex bodies in $\mathbb{R}^3$ with the distance $\sqrt{3}$ to the Euclidean ball. Moreover, in the planar case we establish the stability of the uniqueness of the parallelogram with the best possible (linear) order of the estimate. We also consider the maximal possible Banach-Mazur distance between planar $1$-symmetric convex bodies. In this case, we prove that the maximal possible distance is $\sqrt{2}$ and characterize the equality case, which again involves a parallelogram.

Metric Geometry,Functional Analysis
Counting rational maps on $\mathbb{P}^1$ with prescribed local conditions

Khoa D. Nguyen,Anwesh Ray

2024-10-04

Abstract:We explore distribution questions for rational maps on the projective line $\mathbb{P}^1$ over $\mathbb{Q}$ within the framework of arithmetic dynamics, drawing analogies to elliptic curves. Specifically, we investigate counting problems for rational maps $\phi$ of fixed degree $d \geq 2$ with prescribed reduction properties. Our main result establishes that the set of rational maps with minimal resultant has positive density. Additionally, for degree 2 rational maps, we perform explicit computations demonstrating that over $32.7\%$ possess a squarefree, and hence minimal, resultant.

Number Theory,Dynamical Systems
Euclidean Maximum Matchings in the Plane—Local to Global

Ahmad Biniaz,Anil Maheshwari,Michiel Smid

DOI: https://doi.org/10.1007/s00453-024-01279-4

IF: 0.909

2024-10-21

Algorithmica

Abstract:Let M be a perfect matching on a set of points in the plane where every edge is a line segment between two points. We say that M is globally maximum if it is a maximum-length matching on all points. We say that M is k - local maximum if for any subset of k edges of M it holds that is a maximum-length matching on points . We show that local maximum matchings are good approximations of global ones. Let be the infimum ratio of the length of any k -local maximum matching to the length of any global maximum matching, over all finite point sets in the Euclidean plane. It is known that for any . We show the following improved bounds for : and . We also show that every pairwise crossing matching is unique and it is globally maximum. Towards our proof of the lower bound for we show the following result which is of independent interest: If we increase the radii of pairwise intersecting disks by factor , then the resulting disks have a common intersection.

computer science, software engineering,mathematics, applied
The rank of universal $m$-gonal forms

Byeong Moon Kim,Dayoon Park

DOI: https://doi.org/10.48550/arXiv.2012.15066

2020-12-30

Abstract:In this article, we consider the rank of universal $m$-gonal forms for all sufficiently large $m$. Especially, we determine the minimal rank of universal $m$-gonal form and the maximal rank of kinds of proper universal $m$-gonal form.

Number Theory
Realising Sets of Integers As Mapping Degree Sets

Christoforos Neofytidis,Shicheng Wang,Zhongzi Wang

DOI: https://doi.org/10.1112/blms.12813

IF: 1.036

2023-01-01

Bulletin of the London Mathematical Society

Abstract:Given two closed oriented manifolds M,N$M,N$ of the same dimension, we denote the set of degrees of maps from M$M$ to N$N$ by D(M,N)$D(M,N)$. The set D(M,N)$D(M,N)$ always contains zero. We show the following (non-)realisability results. There exists an infinite subset A$A$ of Z$\mathbb {Z}$ containing 0 which cannot be realised as D(M,N)$D(M,N)$, for any closed oriented n$n$-manifolds M,N$M,N$.Every finite arithmetic progression of integers containing 0 can be realised as D(M,N)$D(M,N)$, for some closed oriented 3-manifolds M,N$M,N$.Together with 0, every finite geometric progression of positive integers starting from 1 can be realised as D(M,N)$D(M,N)$, for some closed oriented manifolds M,N$M,N$.(i)(ii)(iii)

Degree of Ball Maps with Maximum Geometric Rank

Proper maps of ball complements & differences and rational sphere maps

Degrees of maps and multiscale geometry

Maximal degree of a map of surfaces

The degrees of maps between manifolds

On the Third Gap for Proper Holomorphic Maps between Balls

Dynamical and arithmetic degrees for random iterations of maps on projective space

Rational Maps of Balls and their Associated Groups

New lower bound on ball packing density in high-dimensional hyperbolic spaces

Euclidean Maximum Matchings in the Plane---Local to Global

An example of homogeneous cones whose basic relative invariant has maximal degree

Minimal degree rational open up mappings and related questions

Large rank simple bundles of all homological dimensions

On Lattice points and Optimal Packing of Minkowski's Balls and Domains

Holomorphic mappings of maximal rank into projective spaces

Balls into bins via local search: cover time and maximum load

On certain extremal Banach-Mazur distances in small dimensions

Counting rational maps on $\mathbb{P}^1$ with prescribed local conditions

Euclidean Maximum Matchings in the Plane—Local to Global

The rank of universal $m$-gonal forms

Realising Sets of Integers As Mapping Degree Sets