A density version of a theorem of Banach

David A. Ross

2024-11-18

Abstract:The S-measure construction from nonstandard analysis is used to prove an extension of a result on the intersection of sets in a finitely-additive measure space. This is then used to give a density-limit version of a representation theorem of Banach.

Functional Analysis,Logic

What problem does this paper attempt to address?

Combinational Proof for a Theorem Concerning the Upper Banach Density

Huang, Boxu

DOI: https://doi.org/10.1007/s40840-024-01671-x

2024-03-20

Bulletin of the Malaysian Mathematical Sciences Society

Abstract:In this paper, we introduce a combinatorial proof approach for a theorem regarding the upper Banach density of a subset S of and present a finite IP-set revision of the theorem originally established by Li, Tu, and Ye.

mathematics
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
A Szemerédi type theorem for sets of positive density in approximate lattices

Michael Björklund,Alexander Fish

2024-09-12

Abstract:An extension of Szemerédi's Theorem is proved for sets of positive density in approximate lattices in general locally compact and second countable abelian groups. As a consequence, we establish a recent conjecture of Klick, Strungaru and Tcaciuc. Via a novel version of Furstenberg's Correspondence principle, which should be of independent interest, we show that our Szemerédi Theorems can be deduced from a general \emph{transverse} multiple recurrence theorem, which we establish using recent works of Austin.

Dynamical Systems,Combinatorics,Number Theory
On a question of Kaplansky concerning his density theorem

George A. Elliott,Charles J. K. Griffin

2024-09-13

Abstract:A new proof following a suggestion of Kaplansky to use a result of Dixmier, and in this way avoid unbounded nets of operators, is given of the Kaplansky density theorem.

Operator Algebras,Functional Analysis
Density Properties of Sets in Finite-Dimensional, Strictly Convex Banach Spaces

Bobby Wilson

2023-10-16

Abstract:In this article, we examine the theorem of Mattila establishing rectifiability for regular sets in the setting of strictly convex, finite-dimensional Banach spaces.

Classical Analysis and ODEs
A density theorem for Borel-Type Congruence subgroups and arithmetic applications

Edgar Assing

2023-03-16

Abstract:We use a (pre)-Kuznetsov type formula to prove a density result for the Borel-type congruence subgroup of GLn. This has some arithmetic applications to optimal lifting and counting considered earlier by A. Kamber and H. Lavner for $GL_3$.

Number Theory
Density of quantized approximations

Petr Anatolevich Borodin,Konstantin Sergeevich Shklyaev

DOI: https://doi.org/10.4213/rm10115e

2024-03-04

Russian Mathematical Surveys

Abstract:The paper contains a review of known results and proofs of new results on conditions on a set in a Banach space that are necessary or sufficient for the additive semigroup to be dense in . We prove, in particular, that if is a rectifiable curve in a uniformly smooth real space , and does not lie entirely in any closed half-space, then is dense in . We present known and new results on the approximation by simple partial fractions (logarithmic derivatives of polynomials) in various spaces of functions of a complex variable. Meanwhile, some well-known theorems, in particular, Korevaar's theorem, are derived from new general results on the density of a semigroup. We also study approximation by sums of shifts of one function, which are a natural generalization of simple partial fractions. Bibliography: 79 titles.

mathematics
Generalizing the de Finetti--Hewitt--Savage theorem

Irfan Alam

2023-06-21

Abstract:A sequence of random variables is called exchangeable if its joint distribution is invariant under permutations. The original formulation of de Finetti's theorem says that any exchangeable sequence of $\{0,1\}$-valued random variables can be thought of as a mixture of independent and identically distributed sequences in a certain precise mathematical sense. Interpreting this statement from a convex analytic perspective, Hewitt and Savage obtained the same conclusion for more general state spaces under some topological conditions. The main contribution of this paper is in providing a new framework that explains the theorem purely as a consequence of the underlying distribution of the random variables, with no topological conditions (beyond Hausdorffness) on the state space being necessary if the distribution is Radon. We also show that it is consistent with the axioms of ZFC that de Finetti's theorem holds for all sequences of exchangeable random variables taking values in any complete metric space. The framework we use is based on nonstandard analysis. We have provided a self-contained introduction to nonstandard analysis as an appendix, thus rendering measure theoretic probability and point-set topology as the only prerequisites for this paper. Our introduction aims to develop some new ideologies that might be of interest to mathematicians, philosophers, and mathematics educators alike. Our technical tools come from nonstandard topological measure theory, in which a highlight is a new generalization of Prokhorov's theorem. Modulo such technical tools, our proof relies on properties of the empirical measures induced by hyperfinitely many identically distributed random variables -- a feature that allows us to establish de Finetti's theorem in the generality that we seek while still retaining the combinatorial intuition of proofs of simpler versions of de Finetti's theorem.

Probability,Logic,Statistics Theory
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
A non-de Finetti theorem for countable Euclidean spaces

Colin Jahel,Pierre Perruchaud

2024-11-04

Abstract:The classical de Finetti Theorem classifies the $\mathrm{Sym}(\mathbb N)$-invariant probability measures on $[0,1]^{\mathbb N}$. More precisely it states that those invariant measures are combinations of measures of the form $\nu^{\otimes\mathbb N}$ where $\nu$ is a measure on $[0,1]$. Recently, Jahel--Tsankov generalized this theorem showing that under conditions on $M$, the group $\operatorname{Aut}(M)$ is de Finetti, i.e. $\operatorname{Aut}(M)$-invariant measures on $[0,1]^M$ are mixtures of measures of the form $\nu^{\otimes M}$ where $\nu$ is a measure on $[0,1]$. In this note, we give an example of a non-de Finetti non-Archimedean group.

Probability,Logic
On a density conjecture about unit fractions

Thomas F. Bloom

2023-10-12

Abstract:We prove that any set $A\subset \mathbb{N}$ of positive upper density contains a finite $S\subset A$ such that $\sum_{n\in S}\frac{1}{n}=1$, answering a question of Erdős and Graham.

Number Theory
Baire Category Lower Density Operators with Borel Values

Marek Balcerzak,Jacek Hejduk,Artur Wachowicz

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

2022-07-14

Abstract:We prove that the lower density operator associated with the Baire category density points in the real line has Borel values of class $\pmb \Pi^0_3$ which is analogous to the measure case. We also introduce the notion of the Baire category density point of a subset with the Baire property of the Cantor space, and we prove that it generates a lower density operator with Borel values of class $\pmb \Pi^0_3$.

General Topology
Bounded Scale Measure and Property A

Kevin Sinclair,Logan Higginbotham

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

2021-08-10

Abstract:We introduce a generalization for bounded geometry that we call bounded scale measure. We show that bounded scale measure is a coarse invariant unlike bounded geometry. We then show equivalent definitions for spaces with bounded scale measure and show other properties that spaces with bounded scale measure satisfy. From there, we generalize property A from uniformly discrete metric spaces to large scale spaces with bounded geometry. Lastly, we construct a definition for property A for large scale spaces with bounded scale measure and show that this definition of property A is a coarse invariant.

Geometric Topology,Metric Geometry
On non-Zariski density of $(D,S)$-integral points in forward orbits and the Subspace Theorem

Nathan Grieve,Chatchai Noytaptim

2024-07-11

Abstract:Working over a base number field $\KK$, we study the attractive question of Zariski non-density for $(D,S)$-integral points in $\mathrm{O}_f(x)$ the forward $f$-orbit of a rational point $x \in X(\KK)$. Here, $f \colon X \rightarrow X$ is a regular surjective self-map for $X$ a geometrically irreducible projective variety over $\KK$. Given a non-zero and effective $f$-quasi-polarizable Cartier divisor $D$ on $X$ and defined over $\KK$, our main result gives a sufficient condition, that is formulated in terms of the $f$-dynamics of $D$, for non-Zariski density of certain dynamically defined subsets of $\mathrm{O}_f(x)$. For the case of $(D,S)$-integral points, this result gives a sufficient condition for non-Zariski density of integral points in $\mathrm{O}_f(x)$. Our approach expands on that of Yasufuku, \cite{Yasufuku:2015}, building on earlier work of Silverman \cite{Silverman:1993}. Our main result gives an unconditional form of the main results of loc.~cit.; the key arithmetic input to our main theorem is the Subspace Theorem of Schmidt in the generalized form that has been given by Ru and Vojta in \cite{Ru:Vojta:2016} and expanded upon in \cite{Grieve:points:bounded:degree} and \cite{Grieve:qualitative:subspace}.

Number Theory,Algebraic Geometry
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
A Chebotarev Density Theorem over Local Fields

Asvin G,Yifan Wei,John Yin

2023-12-14

Abstract:We compute the $p$-adic densities of points with a given splitting type along a (generically) finite map, analogous to the classical Chebotarev theorem over number fields and function fields. Under some mild hypotheses, we prove that these densities satisfy a functional equation in the size of the residue field. This functional equation is a direct reflection of Poincaré duality in étale cohomology. As a consequence, we prove a conjecture of Bhargava, Cremona, Fisher, and Gajović on factorization densities of p-adic polynomials. The key tool is the notion of admissible pairs associated to a group, which we use as an invariant of the inertia and decomposition action of a local field on the fibers of the finite map. We compute the splitting densities by Möbius inverting certain p-adic integrals along the poset of admissible pairs. The conjecture on factorization densities follows immediately for tamely ramified primes from our general results. We reduce the complete conjecture (including the wild primes) to the existence of an explicit "Tate-type" resolution of the "resultant locus" over the integers and complete the proof of the conjecture by constructing this resolution.

Number Theory,Algebraic Geometry
On the pointwise densities of the Cantor measure

Jun Wang,Min Wu,Ying Xiong

DOI: https://doi.org/10.1016/j.jmaa.2011.01.046

IF: 1.417

2011-01-01

Journal of Mathematical Analysis and Applications

Abstract:Let K(a) be the symmetrical Cantor set generated by ϕ0(x)=ax and ϕ1(x)=ax+(1−a), where 0<a<1/2. Let s be the Hausdorff dimension of K(a) and μ the Cantor measure. In this paper, under the hypothesis that a is slightly greater than 1/3, we obtain the explicit formulas of the upper and lower s-densities Θ⁎s(μ,x), Θ⁎s(μ,x) for every point x∈K(a). Moreover, we describe the range of a key quantity τ(x) in these formulas.
Subgraph densities in Markov spaces

Dávid Kunszenti-Kovács,László Lovász,Balázs Szegedy

DOI: https://doi.org/10.1016/j.aim.2023.109414

IF: 1.675

2024-02-01

Advances in Mathematics

Abstract:We generalize subgraph densities, arising in dense graph limit theory, to Markov spaces (symmetric measures on the square of a standard Borel space). More generally, we define an analogue of the set of homomorphisms in the form of a measure on maps of a finite graph into a Markov space. The existence of such homomorphism measures is not always guaranteed, but can be established under rather natural smoothness conditions on the Markov space and sparseness conditions on the graph. This continues a direction in graph limit theory in which such measures are viewed as limits of graph sequences.

mathematics

A density version of a theorem of Banach

Combinational Proof for a Theorem Concerning the Upper Banach Density

Densities on Dedekind domains, completions and Haar measure

A Szemerédi type theorem for sets of positive density in approximate lattices

On a question of Kaplansky concerning his density theorem

Density Properties of Sets in Finite-Dimensional, Strictly Convex Banach Spaces

A density theorem for Borel-Type Congruence subgroups and arithmetic applications

Density of quantized approximations

Generalizing the de Finetti--Hewitt--Savage theorem

On lower density operators

A non-de Finetti theorem for countable Euclidean spaces

On a density conjecture about unit fractions

Baire Category Lower Density Operators with Borel Values

Bounded Scale Measure and Property A

On non-Zariski density of $(D,S)$-integral points in forward orbits and the Subspace Theorem

Densities for sets of natural numbers vanishing on a given family

A Chebotarev Density Theorem over Local Fields

On the pointwise densities of the Cantor measure

Subgraph densities in Markov spaces