The pseudometric topology induced by upper asymptotic density

Jonathan M. Keith

2024-10-09

Abstract:Upper asymptotic density induces a pseudometric on the power set of the natural numbers, with respect to which $P(\mathbb{N})$ is complete. The collection $D$ of sets with asymptotic density is closed in this pseudometric, and closed subsets of $D$ are characterised by a generalisation of an additivity property (AP0).

General Topology,Logic

What problem does this paper attempt to address?

Asymptotic $ψ$-densities of subsets of natural numbers

Janne Heittokangas,Zinelaabidine Latreuch

2024-03-12

Abstract:The sizes of subsets of the natural numbers are typically quantified in terms of asymptotic (linear) and logarithmic densities. These concepts have been generalized to weighted $w$-densities, where a specific weight function $w$ plays a key role. In this paper, a parallel theory of asymptotic $\psi$-densities is introduced, where the weight is expressed slightly differently in terms of differentiable functions $\psi$, which are either concave or convex and satisfy certain asymptotic properties. Alternative new proofs for known results on analytic and Abel densities are also given.

Classical Analysis and ODEs,Complex Variables
Kneser's theorem for upper Buck density and relative results

Francois Hennecart

2024-10-17

Abstract:Kneser's theorem in the integers asserts that denoting by $ \underline{\mathrm{d}}$ the lower asymptotic density, if $\underline{\mathrm{d}}(X_1+\cdots+X_k)<\sum_{i=1}^k\underline{\mathrm{d}}(X_i)$ then the sumset $X_1+\cdots+X_k$ is \emph{periodic} for some positive integer $q$. In this article we establish a similar statement for upper Buck density and compare it with the corresponding result due to Jin involving upper Banach density. We also provide the construction of sequences verifying counterintuitive properties with respect to Buck density of a sequence $A$ and its sumset $A+A$.

Number Theory
Densities for sets of natural numbers vanishing on a given family

Rafał Filipów,Jacek Tryba

DOI: https://doi.org/10.1016/j.jnt.2019.10.015

2023-09-03

Abstract:Abstract upper densities are monotone and subadditive functions from the power set of positive integers into the unit real interval that generalize the upper densities used in number theory, including the upper asymptotic density, the upper Banach density, and the upper logarithmic density. At the open problem session of the Workshop ``Densities and their application'', held at St. Étienne in July 2013, G. Grekos asked a question whether there is a ``nice'' abstract upper density, whose the family of null sets is precisely a given ideal of subsets of $\mathbb{N}$, where ``nice'' would mean the properties of the familiar densities consider in number theory. In 2018, M. Di Nasso and R. Jin (Acta Arith. 185 (2018), no. 4) showed that the answer is positive for the summable ideals (for instance, the family of finite sets and the family of sequences whose series of reciprocals converge) when ``nice'' density means translation invariant and rich density (i.e. density which is onto the unit interval). In this paper we extend their result to all ideals with the Baire property.

Number Theory,Logic
On lower density operators

Gertruda Ivanova,Elżbieta Wagner-Bojakowska

DOI: https://doi.org/10.1515/ms-2024-0014

2024-05-29

Mathematica Slovaca

Abstract:The classical density topology is an extension of the natural topology on the real line, as the interior of arbitrary Lebesgue measurable set A is contained in the set of density points of A . Also each density point of A belongs to the closure of A for arbitrary measurable set A . In this paper, we concentrate on lower density operators for which the inclusions mentioned above are not fulfilled. In the first part, examples of such lower density operators generated by measure-preserving bijections are given. There are introduced three conditions to investigate lower density operators for which only the second inclusion holds. In the second part, the concept of operator D introduced by K. Kuratowski is applied to the characterization of such operators.

mathematics
Combinatorial characterization of pseudometrics

O. Dovgoshey,J. Luukkainen

DOI: https://doi.org/10.1007/s10474-020-01020-x

2020-01-25

Acta Mathematica Hungarica

Abstract:Let X, Y be sets and let $\Phi, \Psi$ be mappings with the domains X2 and Y2 respectively. We say that $\Phi$ is combinatorially similar to $\Psi$ if there are bijections $f \colon \Phi(X^2) \to \Psi(Y^{2})$ and $g \colon Y \to X$ such that $\Psi(x, y) = f(\Phi(g(x), g(y)))$ for all $x, y \in Y$. It is shown that the semigroups of binary relations generated by sets $\{\Phi^{-1}(a) \colon a \in \Phi(X^{2})\}$ and $\{\Psi^{-1}(b) \colon b \in \Psi(Y^{2})\}$ are isomorphic for combinatorially similar $\Phi$ and $\Psi$. The necessary and sufficient conditions under which a given mapping is combinatorially similar to a pseudometric, or strongly rigid pseudometric, or discrete pseudometric are found. The algebraic structure of semigroups generated by $\{d^{-1}(r) \colon r \in d(X^{2})\}$ is completely described for nondiscrete, strongly rigid pseudometrics and, also, for discrete pseudometrics $d \colon X^{2} \to \mathbb{R}$.

mathematics
The $p$-adic limits of class numbers in $\mathbb{Z}_p$-towers

Jun Ueki,Hyuga Yoshizaki

2024-06-01

Abstract:This article discusses variants of Weber's class number problem in the spirit of arithmetic topology to connect the results of Sinnott--Kisilevsky and Kionke. Let $p$ be a prime number. We first prove the $p$-adic convergence of class numbers in a $\mathbb{Z}_p$-extension of a global field and a similar result in a $\mathbb{Z}_p$-cover of a compact 3-manifold. Secondly, we establish an explicit formula for the $p$-adic limit of the $p$-power-th cyclic resultants of a polynomial using roots of unity of orders prime to $p$, the $p$-adic logarithm, and the Iwasawa invariants. Finally, we give thorough investigations of torus knots, twist knots, and elliptic curves; we complete the list of the cases with $p$-adic limits being in $\mathbb{Z}$ and find the cases such that the base $p$-class numbers are small and $\nu$'s are arbitrarily large.

Number Theory,Geometric Topology
On Metrics Inducing the Fürstenberg Topology on the Integers

Alexander Dirmeier

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

2019-12-25

General Topology

Abstract:We investigate various classes of metrics on the integers, which induce the F\"urstenberg topology and establish the connection between the metrics and the topology. We analyze the norm-like mappings underlying these metrics, with respect to their efficient computability for natural numbers and the analytic behavior of sequences under those mappings. Subsequently, we give some applications to number theory and establish some new propositions at the intersection of number theory and topology.
Pseudo-absolute values: foundations

Antoine Sédillot

2024-11-06

Abstract:In this article, we introduce pseudo-absolute values, which generalise usual absolute values. Roughly speaking, a pseudo-absolute value on a field $K$ is a map $|\cdot| : K \to [0,+\infty]$ satisfying axioms similar to those of usual absolute values. This notion allows to include "pathological" absolute values one can encounter trying to incorporate the analogy between Diophantine approximation and Nevanlinna theory in an Arakelov theoretic framework. It turns out that the space of all pseudo-absolute values can be endowed with a compact Hausdorff topology in a similar way as the Berkovich analytic spectrum of a Banach ring. Moreover, we introduce both local and global notions of analytic spaces over pseudo-valued fields and interpret them as analytic counterparts to Zariski-Riemann spaces.

Number Theory,Algebraic Geometry
On a generalized notion of metrics

Wolf-Jürgen Beyn

DOI: https://doi.org/10.1007/s00010-024-01092-y

2024-06-23

Aequationes Mathematicae

Abstract:In these notes we generalize the notion of a (pseudo) metric measuring the distance of two points, to a (pseudo) n -metric which assigns a value to a tuple of points. Some elementary properties of pseudo n -metrics are provided and their construction via exterior products is investigated. We discuss some examples from the geometry of Euclidean vector spaces leading to pseudo n -metrics on the unit sphere, on the Stiefel manifold, and on the Grassmann manifold. Further, we construct a pseudo n -metric on hypergraphs and discuss the problem of generalizing the Hausdorff metric for closed sets to a pseudo n -metric.

mathematics, applied
Categorically related topologies and hemimetrical analogues of the Baire and Kenderov theorems

Oleksandr V. Maslyuchenko

DOI: https://doi.org/10.1007/s00025-024-02197-1

2024-06-15

Results in Mathematics

Abstract:A non-negative function is called a hemimetric if and for any . Then is a hemimetric as well. We call it the dual hemimetric. We show the existence of the universal hemimetric space which allows to prove the hemimetrizability of a premetric space with the weak triangle inequality. Then we generalize the Baire horizontal theorem and obtain some version of the Baire curves theorem for a separately continuous function ranged in a regular hemimetrizable space. In particular, we show that if X is a topological space, Y is a first countable space at , Z is a regular hemimetrizable space and is a separately continuous function, then there is a residual set A in X such that f is continuous at every point of . We also generalize the Kenderov theorem on the Čech complete spaces and prove that that the open ball topology for the dual hemimetric is categorically related to the open ball topology for a hemimetric d with respect to any -unfavorable for the Christensen -game space. More precisely, if X is a -unfavorable space for the Christensen -game and continuous with respect to a hemimetric d on Y , then there is a dense -set A in X such that f is continuous on A with respect to the dual hemimetric at every point of A . Therefore, f is continuous on A with respect to the pseudometric . Moreover, we show that this result cannot be extended to an -favorable space for the Saint-Raymond game.

mathematics, applied
The characterizations of dense-pseudocompact and dense-connected spaces

Fucai Lin,Qiyun Wu

2023-04-07

Abstract:Assume that $\mathcal{P}$ is a topological property of a space $X$, then we say that $X$ is {\it dense-$\mathcal{P}$} if each dense subset of $X$ has the property $\mathcal{P}$. In this paper, we mainly discuss dense subsets of a space $X$, and we prove that: (1) if $X$ is Tychonoff space, then $X$ is dense-pseudocompact iff the range of each continuous real-valued function $f$ on $X$ is finite, iff $X$ is finite, iff $X$ is hereditarily pseudocompact; (2) $X$ is dense-connected iff $\overline{U}=X$ for any non-empty open subset $U$ of $X$; (3) $X$ is dense-ultraconnected iff for point $x\in X$, we have $\overline{\{x\}}=X$ or $\{x\}\cup (X\setminus\overline{\{x\}})$ is the unique open neighborhood of $x$ in $\{x\}\cup (X\setminus\overline{\{x\}})$, iff for any two points $x$ and $y$ in $X$, we have $x\in \overline{\{y\}}$ or $y\in \overline{\{x\}}$. Moreover, we give a characterization of a topological group (resp., paratopological group, quasi-topological group) $G$ such that $G$ is dense-connected.

General Topology,Group Theory
Kahane's upper density and syndetic sets in LCA groups

Szilárd Gy. Révész

2023-11-07

Abstract:Asymptotic uniform upper density, shortened as a.u.u.d., or simply upper density, is a classical notion which was first introduced by Kahane for sequences in the real line. Syndetic sets were defined by Gottschalk and Hendlund. For a locally compact group $G$, a set $S\subset G$ is syndetic, if there exists a compact subset $C\Subset G$ such that $SC=G$. Syndetic sets play an important role in various fields of applications of topological groups and semigroups, ergodic theory and number theory. A lemma in the book of Fürstenberg says that once a subset $A \subset {\mathbb Z}$ has positive a.u.u.d., then its difference set $A-A$ is syndetic. The construction of a reasonable notion of a.u.u.d. in general locally compact Abelian groups (LCA groups for short) was not known for long, but in the late 2000's several constructions were worked out to generalize it from the base cases of ${\mathbb Z}^d$ and ${\mathbb R}^d$. With the notion available, several classical results of the Euclidean setting became accessible even in general LCA groups. Here we work out various versions in a general LCA group $G$ of the classical statement that if a set $S\subset G$ has positive asymptotic uniform upper density, then the difference set $S-S$ is syndetic.

Classical Analysis and ODEs
Asymptotics of Lower Dimensional Zero-Density Regions

Hengrui Luo,Steve N. MacEachern,Mario Peruggia

DOI: https://doi.org/10.1080/02331888.2023.2262665

2023-09-23

Abstract:Topological data analysis (TDA) allows us to explore the topological features of a dataset. Among topological features, lower dimensional ones have recently drawn the attention of practitioners in mathematics and statistics due to their potential to aid the discovery of low dimensional structure in a data set. However, lower dimensional features are usually challenging to detect based on finite samples and using TDA methods that ignore the probabilistic mechanism that generates the data. In this paper, lower dimensional topological features occurring as zero-density regions of density functions are introduced and thoroughly investigated. Specifically, we consider sequences of coverings for the support of a density function in which the coverings are comprised of balls with shrinking radii. We show that, when these coverings satisfy certain sufficient conditions as the sample size goes to infinity, we can detect lower dimensional, zero-density regions with increasingly higher probability while guarding against false detection. We supplement the theoretical developments with the discussion of simulated experiments that elucidate the behavior of the methodology for different choices of the tuning parameters that govern the construction of the covering sequences and characterize the asymptotic results.

Statistics Theory
On a Generalization of Quasi-metric Space

Sugata Adhya,A. Deb Ray

2023-08-18

Abstract:We find an extension of the quasi-metric (to be called $g$-quasi metric) such that the induced generalized topology may fail to form a topology. We show that $g$-quasi metrizability is a $g$-topologically invariant property of generalized topological spaces. Extending metric product and uniform continuity for $g$-quasi metric spaces, we note that a $g$-quasi metric may fail to be uniformly continuous in the extended sense unlike usual metric. Finally, we extend the study of completeness, Lebesgue property and weak $G$-completeness for $g$-quasi metric spaces.

General Topology
Approximating Diffusion on Finite Multi-Topology Systems Using Ultrametrics

Patrick Erik Bradley,Angel Alfredo Moran Ledezma

2024-10-21

Abstract:Motivated by multi-topology building and city model data, first a lossless representation of multiple $T_0$-topologies on a given finite set by a vertex-edge-weighted graph is given, and the subdominant ultrametric of the associated weighted graph distance matrix is proposed as an index structure for these data. This is applied in a heuristic parallel topological sort algorithm for edge-weighted directed acyclic graphs. Such structured data are of interest in simulation of processes like heat flows on building or city models on distributed processors. With this in view, the bulk of this article calculates the spectra of certain unbounded self-adjoint $p$-adic Laplacian operators on the $L^2$-spaces of a compact open subdomain of the $p$-adic number field associated with a finite graph $G$ with respect to the restricted Haar measure. as well as to a Radon measure coming from an ultrametric on the vertices of $G$ with the help of $p$-adic polynomial interpolation. In the end, error bounds are given for the solutions of the corresponding heat equations by finite approximations of such operators.

Discrete Mathematics,Mathematical Physics,Analysis of PDEs
Densities on Dedekind domains, completions and Haar measure

Luca Demangos,Ignazio Longhi

2023-12-13

Abstract:Let $D$ be the ring of $S$-integers in a global field and $\hat{D}$ its profinite completion. We discuss the relation between density in $D$ and the Haar measure of $\hat{D}$: in particular, we ask when the density of a subset $X$ of $D$ is equal to the Haar measure of its closure in $\hat{D}$. In order to have a precise statement, we give a general definition of density which encompasses the most commonly used ones. Using it we provide a necessary and sufficient condition for the equality between density and measure which subsumes a criterion due to Poonen and Stoll. In another direction, we extend the Davenport-Erdős theorem to every $D$ as above and offer a new interpretation of it as a "density=measure" result. Our point of view also provides a simple proof that in any $D$ the set of elements divisible by at most $k$ distinct primes has density 0 for any natural number $k$. Finally, we show that the closure of the set of prime elements of $D$ is the union of the group of units of $\hat{D}$ with a negligible part.

Number Theory
On Metrics for Probabilistic Systems: Definitions and Algorithms

Taolue Chen,Tingting Han,Jian Lu

DOI: https://doi.org/10.1016/j.camwa.2008.10.041

IF: 3.218

2009-01-01

Computers & Mathematics with Applications

Abstract:In this paper, we consider the behavioral pseudometrics for probabilistic systems, which are a quantitative analogue of probabilistic bisimilarity in the sense that the distance zero captures the probabilistic bisimilarity. The model we are interested in is probabilistic automata, which are based on state transition systems and make a clear distinction between probabilistic and nondeterministic choices. The pseudometrics are defined as the greatest fixpoint of a monotonic functional on the complete lattice of state metrics. A distinguished characteristic of this pseudometric lies in that it does not discount the future, which addresses some algorithmic challenges to compute the distance of two states in the model. We solve this problem by providing an approximation algorithm: up to any desired degree of accuracy ε, the distance can be approximated to within ε in time exponential in the size of the model and logarithmic in 1ε. One of the key ingredients of our algorithm is to express a pseudometric being a post-fixpoint as the elementary sentence over real closed fields, which allows us to exploit Tarski’s decision procedure, together with the binary search to approximate the behavioral distance.
On the Bures metric, C*-norm, and the quantum metric

Konrad Aguilar,Karina Behera,Tron Omland,Nicole Wu

2024-06-11

Abstract:We prove that the topology on the density space with respect to a unital C*-algebra and a faithful induced by the C*-norm is finer than the Bures metric topology. We also provide an example when this containment is strict. Next, we provide a metric on the density space induced by a quantum metric in the sense of Rieffel and prove that the induced topology is the same as the topology induced by the Bures metric and C*-norm when the C*-algebra is assumed to be finite dimensional. Finally, we provide an example of when the Bures metric and induced quantum metric are not metric equivalent. Thus, we provide a bridge between these aspects of quantum information theory and noncommutative metric geometry.

Operator Algebras,Functional Analysis
Pseudometric spaces. From minimality to maximality in the groups of combinatorial self-similarities

Viktoriia Bilet,Oleksiy Dovgoshey

2023-11-23

Abstract:The group of combinatorial self-similarities of a pseudometric space $(X, d)$ is the maximal subgroup of the symmetric group $\mathbf{Sym} (X)$ whose elements preserve the four-point equality $d(x,y)=d(u,v)$. Let us denote by $\mathcal{IP}$ the class of all pseudometric spaces $(X, d)$ for which every combinatorial self-similarity $\Phi\colon~X~\to~X$ satisfies the equality $d(x, \Phi(x))=0,$ but all permutations of metric reflection of $(X, d)$ are combinatorial self-similarities of this reflection. The structure of $\mathcal{IP}$ spaces is fully described.

Metric Geometry
Counting in Uncountably Categorical Pseudofinite Structures

Alexander Van Abel

2023-11-09

Abstract:We show that every definable subset of an uncountably categorical pseudofinite structure has pseudofinite cardinality which is polynomial (over the rationals) in the size of any strongly minimal subset, with the degree of the polynomial equal to the Morley rank of the subset. From this fact, we show that classes of finite structures whose ultraproducts all satisfy the same uncountably categorical theory are polynomial $R$-mecs as well as $N$-dimensional asymptotic classes, where $N$ is the Morley rank of the theory.

Logic

The pseudometric topology induced by upper asymptotic density

Asymptotic $ψ$-densities of subsets of natural numbers

Kneser's theorem for upper Buck density and relative results

Densities for sets of natural numbers vanishing on a given family

On lower density operators

Combinatorial characterization of pseudometrics

The $p$-adic limits of class numbers in $\mathbb{Z}_p$-towers

On Metrics Inducing the Fürstenberg Topology on the Integers

Pseudo-absolute values: foundations

On a generalized notion of metrics

Categorically related topologies and hemimetrical analogues of the Baire and Kenderov theorems

The characterizations of dense-pseudocompact and dense-connected spaces

Kahane's upper density and syndetic sets in LCA groups

Asymptotics of Lower Dimensional Zero-Density Regions

On a Generalization of Quasi-metric Space

Approximating Diffusion on Finite Multi-Topology Systems Using Ultrametrics

Densities on Dedekind domains, completions and Haar measure

On Metrics for Probabilistic Systems: Definitions and Algorithms

On the Bures metric, C*-norm, and the quantum metric

Pseudometric spaces. From minimality to maximality in the groups of combinatorial self-similarities

Counting in Uncountably Categorical Pseudofinite Structures