On direct and inverse limits of Minkowski's balls, domains, and their critical lattices

Nikolaj Glazunov

2023-08-08

Abstract:We construct direct and inverse systems of Minkowski's balls and domains, direct and inverse systems of their critical lattices and calculate their direct and inverse limits.

Metric Geometry,Number Theory

What problem does this paper attempt to address?

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
On packing of Minkowski balls. II

Nikolaj Glazunov

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

2023-03-25

Abstract:This is the continuation of the author's ArXiv presentation "On packing of Minkowski balls. I". In section 2 we investigate lattice packings of Minkowski balls and domains. By results of the proof of Minkowski conjecture about the critical determinant we devide the balls and domains on 3 classes: Minkowski, Davis and Chebyshev-Cohn. 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. Direct limits of direct systems of Minkowski balls and domains and their critical lattices are calculated.

Number Theory
On coverings by Minkowski balls in the plane and a duality

Nikolaj Glazunov

2023-12-06

Abstract:Lattice coverings in the real plane by Minkowski balls are studied. We exploit the duality of admissible lattices of Minkowski balls and inscribed convex symmetric hexagons of these balls. An explicit moduli space of the areas of these hexagons is constructed, giving the values of the determinants of corresponding covering lattices. Low and upper bounds for covering constants of Minkowski balls are given. The best known value of covering density of Minkowski ball is obtained. One conjecture and one problem are formulated.

Number Theory
Towards Strong Reverse Minkowski-type Inequalities for Lattices

Daniel Dadush,Oded Regev

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

2016-06-22

Abstract:We present a natural reverse Minkowski-type inequality for lattices, which gives upper bounds on the number of lattice points in a Euclidean ball in terms of sublattice determinants, and conjecture its optimal form. The conjecture exhibits a surprising wealth of connections to various areas in mathematics and computer science, including a conjecture motivated by integer programming by Kannan and Lovász (Annals of Math. 1988), a question from additive combinatorics asked by Green, a question on Brownian motions asked by Saloff-Coste (Colloq. Math. 2010), a theorem by Milman and Pisier from convex geometry (Ann. Probab. 1987), worst-case to average-case reductions in lattice-based cryptography, and more. We present these connections, provide evidence for the conjecture, and discuss possible approaches towards a proof. Our main technical contribution is in proving that our conjecture implies the $\ell_2$ case of the Kannan and Lovász conjecture. The proof relies on a novel convex relaxation for the covering radius, and a rounding procedure for based on "uncrossing" lattice subspaces.

Metric Geometry,Computational Complexity,Functional Analysis,Probability
Moduli spaces as ball quotients I, local theory

Kefeng Liu,Yang Shen

2018-01-01

Abstract: We give a Hodge theoretic criterion to characterize locally the period domains of certain projective manifolds to be complex balls.
Limits of vector lattices

Walt van Amstel,Jan Harm van der Walt

2023-08-24

Abstract:If $K$ is a compact Hausdorff space so that the Banach lattice $C(K)$ is isometrically lattice isomorphic to a dual of some Banach lattice, then $C(K)$ can be decomposed as the $\ell^\infty$-direct sum of the carriers of a maximal singular family of order continuous functionals on $C(K)$. In order to generalise this result to the vector lattice $C(X)$ of continuous, real valued functions on a realcompact space $X$, we consider direct and inverse limits in suitable categories of vector lattices. We develop a duality theory for such limits and apply this theory to show that $C(X)$ is lattice isomorphic to the order dual of some vector lattice $F$ if and only if $C(X)$ can be decomposed as the inverse limit of the carriers of all order continuous functionals on $C(X)$. In fact, we obtain a more general result: A Dedekind complete vector lattice $E$ is perfect if and only if it is lattice isomorphic to the inverse limit of the carriers of a suitable family of order continuous functionals on $E$. A number of other applications are presented, including a decomposition theorem for order dual spaces in terms of spaces of Radon measures.

Functional Analysis
On the arithmetic and algebraic properties of Minkowski balls and spheres

Nikolaj Glazunov

2024-07-31

Abstract:This paper gives a brief overview of some new work in number theory and algebra, and also studies the arithmetic and algebraic properties of Minkowski balls and spheres.

Number Theory
Inverse Limits in Category Ltop (I)

SG Li

DOI: https://doi.org/10.1016/s0165-0114(97)00341-2

IF: 4.462

1999-01-01

Fuzzy Sets and Systems

Abstract:This paper is devoted to the study of the inverse limits in LTop, the category of L-fuzzy topological spaces and continuous L-valued Zadeh-functions between them, where L is a completely distributive complete lattice. Structures of such limits are described and a series of their properties are investigated. Furthermore, the mappings between two arbitrary inverse systems is defined and some of their properties are discussed for the case of category LTop.
Critical Ising interfaces in multiply-connected domains

Konstantin Izyurov

DOI: https://doi.org/10.1007/s00440-015-0685-x

IF: 1.944

2015-12-28

Probability Theory and Related Fields

Abstract:We prove a general result on convergence of interfaces in the critical planar Ising model to conformally invariant curves absolutely continuous with respect to SLE(3). Our setup includes multiple interfaces on arbitrary finitely connected domains, and we also treat the radial SLE case. In the case of simply and doubly connected domains, the limiting processes are described explicitly in terms of rational and elliptic functions, respectively.

statistics & probability
An analogue of Koebe's theorem and the openness of a limit map in one class

Evgeny Sevost'yanov,Valery Targonskii

2024-05-28

Abstract:We study mappings that satisfy the inverse modulus inequality of Poletsky type in a fixed domain. It is shown that, under some additional restrictions, the image of a ball under such mappings contains a fixed ball uniformly over the class. This statement can be interpreted as the well-known analogue of Koebe's theorem for analytic functions. As an application of the obtained result, we show that, if a sequence of mappings belonging to the specified class converges locally uniformly, then the limit mapping is open.

Complex Variables
On the Isoperimetric Deficit Upper Limit

Jiazu Zhou,Lei Ma,Wenxue Xu

DOI: https://doi.org/10.4134/bkms.2013.50.1.175

2013-01-01

Abstract:In this paper, the reverse Bonnesen style inequalities for convex domain in the Euclidean plane R-2 are investigated. The Minkowski mixed convex set of two convex sets K and L is studied and some new geometric inequalities are obtained. From these inequalities obtained, some isoperimetric deficit upper limits, that is, the reverse Bonnesen style inequalities for convex domain K are obtained. These isoperimetric deficit upper limits obtained are more fundamental than the known results of Bottema ([5]) and Pleijel ([22]).
A simple proof of a reverse Minkowski theorem for integral lattices

Oded Regev,Noah Stephens-Davidowitz

2023-06-06

Abstract:We prove that for any integral lattice $\mathcal{L} \subset \mathbb{R}^n$ (that is, a lattice $\mathcal{L}$ such that the inner product $\langle \mathbf{y}_1,\mathbf{y}_2 \rangle$ is an integer for all $\mathbf{y}_1, \mathbf{y}_2 \in \mathcal{L}$) and any positive integer $k$, \[ |\{ \mathbf{y} \in \mathcal{L} \ : \ \|\mathbf{y}\|^2 = k\}| \leq 2 \binom{n+2k-2}{2k-1} \; , \] giving a nearly tight reverse Minkowski theorem for integral lattices.

Metric Geometry,Number Theory
Characterizing Inverse Sequences For Which Their Inverse Limits Are Homeomorphic

M. Črepnjak,T. Sovič

DOI: https://doi.org/10.1007/s10474-024-01394-2

2024-02-21

Acta Mathematica Hungarica

Abstract:In [11], Mioduszewski characterized inverse sequences of polyhedra for which their inverse limits are homeomorphic. In this article, we obtain a more general characterization: we characterize inverse sequences of arbitrary compact metric spaces and continuous single-valued functions for which their inverse limits are homeomorphic. In our approach, set-valued functions are used instead of continuous single-valued functions in almost commutative diagrams. Using this characterization we give an alternative proof that the Brouwer-Janiszewski-Knaster continuum and the pseudo-arc are circle-like continua.

mathematics
On free boundary minimal submanifolds in geodesic balls in $\mathbb H^n$ and $\mathbb S^n_+$

Vladimir Medvedev

2023-11-18

Abstract:We consider free boundary minimal submanifolds in geodesic balls in the hyperbolic space $\mathbb H^n$ and in the round upper hemisphere $\mathbb S^n_+$. Recently, Lima and Menezes have found a connection between free boundary minimal surfaces in geodesic balls in $\mathbb S^n_+$ and maximal metrics for a functional, defined on the set of Riemannian metrics on a given compact surface with boundary. This connection is similar to the connection between free boundary minimal submanifolds in Euclidean balls and the critical metrics of the functional \say{the $k$-th normalized Steklov eigenvalue}, introduced by Faser and Schoen. We define two natural functionals on the set of Riemannian metrics on a compact surface with boundary. One of these functionals is the high order generalization of the functional, introduced by Lima and Menezes. We prove that the critical metrics for these functionals arise as metrics induced by free boundary minimal immersions in geodesic balls in $\mathbb H^n$ and in $\mathbb S^n_+$, respectively. We also prove a converse statement. Besides that, we discuss the (Morse) index of free boundary minimal submanifolds in geodesic balls in $\mathbb H^n$ or $\mathbb S^n_+$. We show that the index of the critical spherical catenoids in these spaces is 4 and the index of a geodesic $k$-ball is $2(n-k)$. For the proof of these statements we introduce the notion of spectral index similarly to the case of free boundary minimal submanifolds in a unit ball in the Euclidean space.

Differential Geometry
Infinite Dimensional Multiplicity Free Spaces I: Limits of Compact Commutative Spaces

Joseph A. Wolf

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

2008-01-25

Abstract:We study direct limits $(G,K) = \varinjlim (G_n,K_n)$ of compact Gelfand pairs. First, we develop a criterion for a direct limit representation to be a multiplicity--free discrete direct sum of irreducible representations. Then we look at direct limits $G/K = \varinjlim G_n/K_n$ of compact riemannian symmetric spaces, where we combine our criterion with the Cartan--Helgason Theorem to show in general that the regular representation of $G = \varinjlim G_n$ on a certain function space $\varinjlim L^2(G_n/K_n)$ is multiplicity free. That method is not applicable for direct limits of nonsymmetric Gelfand pairs, so we introduce two other methods. The first, based on ``parabolic direct limits'' and ``defining representations'', extends the method used in the symmetric space case. The second uses some (new) branching rules from finite dimensional representation theory. In both cases we define function spaces $\cA(G/K)$, $\cC(G/K)$ and $L^2(G/K)$ to which our multiplicity--free criterion applies.

Representation Theory,Differential Geometry
Inverse limits on [0,1] using sequence of N-type maps

Xianjiu Huang,Chuanxi Zhu,Xi Wen

2010-01-01

Journal of Computational Analysis and Applications

Abstract:We examine the inverse limits generated by inverse sequences on [0, 1] with N-type bonding maps chose from a four-parameter family of piecewise linear continuous functions. We analyze the continua generated by these sequences and obtain sufficient conditions for these sequences to give rise to indecomposable inverse limits.
Inductive limits in the operator system and related categories

Linda Mawhinney,Ivan G. Todorov

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

2017-05-13

Abstract:We present a systematic development of inductive limits in the categories of ordered *-vector spaces, Archimedean order unit spaces, matrix ordered spaces, operator systems and operator C*-systems. We show that the inductive limit intertwines the operation of passing to the maximal operator system structure of an Archimedean order unit space, and that the same holds true for the minimal operator system structure if the connecting maps are complete order embeddings. We prove that the inductive limit commutes with the operation of taking the maximal tensor product with another operator system, and establish analogous results for injective functorial tensor products provided the connecting maps are complete order embeddings. We identify the inductive limit of quotient operator systems as a quotient of the inductive limit, in case the involved kernels are completely biproximinal. We describe the inductive limit of graph operator systems as operator systems of topological graphs, show that two such operator systems are completely order isomorphic if and only if their underlying graphs are isomorphic, identify the C*-envelope of such an operator system, and prove a version of Glimm's Theorem on the isomorphism of UHF algebras in the category of operator systems.

Operator Algebras
On the Behavior of One Class of Mappings Acting Upon Domains with Locally Quasiconformal Boundary

Sevost'yanov, Evgeny,Dovhopiatyi, Oleksandr,Ilkevych, Nataliya,Androshchuk, Mariya

DOI: https://doi.org/10.1007/s11253-024-02357-0

2024-10-26

Ukrainian Mathematical Journal

Abstract:We study the mappings satisfying the so-called inverse Poletsky inequality. We consider mappings of the domains with quasiextreme distance, domains with locally quasiconformal boundary, and domains regular (in a sense of prime ends) onto the domains with locally quasiconformal boundary, regular domains, or domains that are locally Hölder equivalent to a half ball on their boundary. For these mappings, we prove their Hölder logarithmic continuity in a neighborhood of points of the boundary.

mathematics, applied
Bounds on Embeddings of Rational Homology Balls in Symplectic 4-manifolds

Tatyana Khodorovskiy

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

2013-07-16

Symplectic Geometry

Abstract:The rational homology balls $B_n$ appeared in Fintushel and Stern's rational blow-down construction [FS2]. Later, Symington [Sy1], defined this operation in the symplectic category. In [Kh2], the author defined the inverse procedure, the symplectic rational blow-up. In this paper, we study the obstructions to symplectically rationally blowing up a symplectic 4-manifold, i.e. the obstructions to symplectically embedding the rational homology balls $B_n$ into a symplectic 4-manifold. We prove a theorem and give additional examples which suggest that in order to symplectically embed the rational homology balls $B_n$, for high n, a symplectic 4-manifold must at least have a high enough $c_1^2$ as well.
On behavior of one class of mappings acting onto domains with a locally quasiconformal boundary

M.V. Androschuk,O. P. Dovhopiatyi,N. S. Ilkevych,E. A. Sevost'yanov

2023-09-30

Abstract:The article is devoted to the study of mappings that satisfy the so-called inverse Poletsky inequality. We consider mappings of quasiextremal distance domains, domains with a locally quasiconformal boundary, and domains which are regular in the sense of prime ends onto domains with a locally quasiconformal boundary, regular domains, or domains which are locally Hölder equivalent to a half-ball on its boundary. For such mappings, we have obtained the Hölder logarithmic continuity in some neighborhood of its boundary points.

Complex Variables

On direct and inverse limits of Minkowski's balls, domains, and their critical lattices

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

On packing of Minkowski balls. II

On coverings by Minkowski balls in the plane and a duality

Towards Strong Reverse Minkowski-type Inequalities for Lattices

Moduli spaces as ball quotients I, local theory

Limits of vector lattices

On the arithmetic and algebraic properties of Minkowski balls and spheres

Inverse Limits in Category Ltop (I)

Critical Ising interfaces in multiply-connected domains

An analogue of Koebe's theorem and the openness of a limit map in one class

On the Isoperimetric Deficit Upper Limit

A simple proof of a reverse Minkowski theorem for integral lattices

Characterizing Inverse Sequences For Which Their Inverse Limits Are Homeomorphic

On free boundary minimal submanifolds in geodesic balls in $\mathbb H^n$ and $\mathbb S^n_+$

Infinite Dimensional Multiplicity Free Spaces I: Limits of Compact Commutative Spaces

Inverse limits on [0,1] using sequence of N-type maps

Inductive limits in the operator system and related categories

On the Behavior of One Class of Mappings Acting Upon Domains with Locally Quasiconformal Boundary

Bounds on Embeddings of Rational Homology Balls in Symplectic 4-manifolds

On behavior of one class of mappings acting onto domains with a locally quasiconformal boundary