Density is at most the spread of the square

Saharon Shelah

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

2007-08-15

Logic

Abstract:We show the following result: Assume B is an infinite Boolean Algebra and lambda=d(B). Then s(B*B)$, i.e. s(uf(B)xuf(B))>= lambda$ (if lambda limit - obtained)

What problem does this paper attempt to address?

On the arithmetic of density

Menachem Kojman

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

2015-10-09

Abstract:The $\kappa$-density of a cardinal $\mu\ge\kappa$ is the least cardinality of a dense collection of $\kappa$-subsets of $\mu$ and is denoted by $\mathcal D(\mu,\kappa)$. The Singular Density Hypothesis (SDH) for a singular cardinal $\mu$ of cofinality $cf\mu=\kappa$ is the equation $\mathcal D(\mu,\kappa)=\mu^+$. The Generalized Density Hypothesis (GDH) for $\mu$ and $\lambda$ such that $\lambda\le\mu$ is: $\mathcal D(\mu,\lambda)=\mu$ if $cf\mu\not=cf\lambda$ and $\mathcal D(\mu,\lambda)=\mu^+$ if $cf\mu=cf\lambda$. Density is shown to satisfy Silver's theorem. The most important case is: Theorem 2.6. If $\kappa=cf\kappa<\theta=cf\mu<\mu$ and the set of cardinals $\lambda<\mu$ of cofinality $\kappa$ that satisfy the \textsf{SDH} is stationary in $\mu$ then the SDH holds at $\mu$. A more general version is given in Theorem 2.8 A corollary of Theorem 2.6 is: Theorem 3.2 If the Singular Density Hypothesis holds for all sufficiently large singular cardinals of some fixed cofinality $\kappa$, then for all cardinals $\lambda$ with $cf\lambda \ge \kappa$, for all sufficiently large $\mu$, the GDH holds.

Logic
On DEPTH and DEPTH^+ of Boolean Algebras

Shimon Garti,Saharon Shelah

DOI: https://doi.org/10.1007/s00012-008-2065-1

2006-12-10

Abstract:We show that the Depth^+ of an ultraproduct of Boolean Algebras, can not jump over the Depth^+ of every component by more than one cardinality. We can have, consequently, similar results for the Depth invariant.

Logic
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
VC-Density Calculations in Pairs of Ordered Vector Spaces

Ayhan Günaydın,Ebru Nayir

2024-05-16

Abstract:We show that the VC-density of any formula in a pair of divisible ordered abelian groups is bounded by the number of parameter variables.

Logic
Densities on Dedekind domains, completions and Haar measure

Luca Demangos,Ignazio Longhi

DOI: https://doi.org/10.1007/s00209-023-03415-2

2024-01-11

Mathematische Zeitschrift

Abstract:Let D be the ring of S -integers in a global field and its profinite completion. Given we consider its closure and ask what can be learned from about the "size" of X . In particular, we ask when the density of X is equal to the Haar measure of We provide a general definition of density which encompasses the most commonly used ones. Using it we give a necessary and sufficient condition for the equality between density and measure which subsumes a criterion due to Poonen and Stoll. We also show how Ekedahl's sieve fits into our setting and find conditions ensuring that can be written as a product of local closures. 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 Finally, we show that the closure of the set of prime elements of D is the union of the group of units of with a negligible part.

mathematics
Density modulo 1 and Hardy fields

Michel Abramoff,Daniel Berend,Grigori Kolesnik

DOI: https://doi.org/10.1007/s11856-024-2696-8

2024-12-05

Israel Journal of Mathematics

Abstract:In this article we extend Boshernitzan's result on density modulo 1 of sequences arising from functions belonging to a Hardy field. We also merge these results with Furstenberg's ×2×3 theorem. We prove, for example, that, given a vector f of subpolynomial functions in a Hardy field, such that is dense modulo 1 in R d , the sequence (2 m 3 n α , f ( n )) m,n ≥1 is dense modulo 1 in R d +1 for irrational α . Some negative results concerning Furstenberg's theorem are obtained as well.

mathematics
Infinite unrestricted sumsets of the form $B+B$ in sets with large density

Ioannis Kousek,Tristán Radić

2024-04-19

Abstract:For a set $A \subset \mathbb{N}$ we characterize in terms of its density when there exists an infinite set $B \subset \mathbb{N}$ and $t \in \{0,1\}$ such that $B+B \subset A-t$, where $B+B : =\{b_1+b_2\colon b_1,b_2 \in B\}$. Specifically, when the lower density $\underline{d}(A) >1/2$ or the upper density $\overline{d}(A)> 3/4$, the existence of such a set $B\subset \mathbb{N}$ and $t\in \{0,1\}$ is assured. Furthermore, whenever $\underline{d}(A) > 3/4$ or $\overline{d}(A)>5/6$, we show that the shift $t$ is unnecessary and we also provide examples to show that these bounds are sharp. Finally, we construct a syndetic three-coloring of the natural numbers that does not contain a monochromatic $B+B+t$ for any infinite set $B \subset \mathbb{N}$ and number $t \in \mathbb{N}$.

Dynamical Systems,Combinatorics,Number Theory
A bound for the density of any Hausdorff space

Nathan Carlson

DOI: https://doi.org/10.1016/j.topol.2024.108838

IF: 0.583

2024-01-26

Topology and its Applications

Abstract:We show, in a certain specific sense, that both the density and the cardinality of a Hausdorff space are related to the "degree" to which the space is nonregular. It was shown by Šapirovskiĭ that d(X)≤πχ(X)c(X) for a regular space X and the author observed this holds if the space is only quasiregular. We generalize this result to the class of all Hausdorff spaces by introducing the nonquasiregularity degree nq(X) , which is countable when X is quasiregular, and showing d(X)≤πχ(X)c(X)nq(X) for any Hausdorff space X . This demonstrates that the degree to which a space is nonquasiregular has a fundamental and direct connection to its density and, ultimately, its cardinality. Importantly, if X is Hausdorff then nq(X) is "small" in the sense that nq(X)≤min⁡{ψc(X),L(X),pct(X)} . This results in a unified proof of both Šapirovskiĭ's density bound for regular spaces and Sun's bound πχ(X)c(X)ψc(X) for the cardinality of a Hausdorff space X . A consequence is an improved bound for the cardinality of a Hausdorff space. An example is given of a compact, Hausdorff space X for which our new bound is a strict improvement over Sun's bound.

mathematics, applied
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
On small densities defined without pseudorandomness

Thomas Karam

2024-05-07

Abstract:We identify an assumption on linear forms $\phi_1, \dots, \phi_k: \mathbb{F}_p^n \to \mathbb{F}_p$ that is much weaker than approximate joint equidistribution on the Boolean cube $\{0,1\}^n$ and is in a sense almost as weak as linear independence, but which guarantees that every subset of $\{0,1\}^n$ on which none of $\phi_1, \dots, \phi_k$ has full image has a density which tends to 0 with $k$. This density is at most quasipolynomially small in $k$, a bound that is necessarily close to sharp.

Number Theory,Combinatorics,Probability
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
More on cardinal invariants of Boolean algebras

Andrzej Roslanowski,Saharon Shelah

DOI: https://doi.org/10.48550/arXiv.math/9808056

1998-08-13

Abstract:We address several questions of Donald Monk related to irredundance and spread of Boolean algebras, gaining both some ZFC knowledge and consistency results. We show in ZFC that irr(B_0 times B_1)= max(irr(B_0),irr(B_1)). We prove consistency of the statement ``there is a Boolean algebra B such that irr(B)<s(B otimes B)'' and we force a superatomic Boolean algebra B_* such that s(B_*)=inc(B_*)=kappa, irr(B_*)=Id(B_*)=kappa^+ and Sub(B_*)=2^(kappa^+). Next we force a superatomic algebra B_0 such that irr(B_0)<inc(B_0) and a superatomic algebra B_1 such that t(B_1)>Aut(B_1). Finally we show that consistently there is a Boolean algebra B of size lambda such that there is no free sequence in B of length lambda, there is an ultrafilter of tightness lambda (so t(B)=lambda) and lambda notin Depth_(Hs)(B).

Logic,General Topology,Rings and Algebras
Ulam numbers have zero density

Theophilus Agama

2023-08-27

Abstract:In this paper we show that the natural density $\mathcal{D}[(U_m)]$ of Ulam numbers $(U_m)$ satisfies $\mathcal{D}[(U_m)]=0$. That is, we show that for $(U_m)\subset [1,k]$ then \begin{align}\lim \limits_{k\longrightarrow \infty}\frac{\left |(U_m)\cap [1,k]\right |}{k}=0.\nonumber \end{align}

Number Theory
Numerical Calculation of Coherent Synchrotron Radiation Effects Using TraFiC4

A. Kabel,M. Dohlus,T. Limberg

DOI: https://doi.org/10.1016/S0168-9002%2800%2900729-4

2000-09-26

Abstract:Coherent synchrotron radiation (CSR) occurs when short bunches travel on strongly bent trajectories. Its effects on high-quality beams can be severe and are well understood qualitatively. For quantitative results, however, one has to rely on numerical methods. There exist several simulation codes utilizing different approaches. We describe in some detail the code TraFiC4 developed at DESY for design and analysis purposes, which approaches the problem from first principles and solves the equations of motion either perturbatively or self-consistently. We present some calculational results and comparison with experimental data. Also, we give examples of how the code can be used to design beamlines with minimal emittance growth due to CSR.

Accelerator Physics
Density of the sums of shifts of a single function in the space on a compact Abelian group

Natalia Aleksandrovna Dyuzhina

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

2024-10-04

Sbornik Mathematics

Abstract:Let be a nontrivial compact Abelian group. The following result is proved: a real-valued function on such that the sums of shifts of it are dense in the -norm in the corresponding real space of mean zero functions exists if and only if the group is connected and has an infinite countable character group. Bibliography: 13 titles.

mathematics
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
Infinite Sumsets in Sets with Positive Density

Bryna Kra,Joel Moreira,Florian K. Richter,Donald Robertson

DOI: https://doi.org/10.1090/jams/1030

2024-02-22

Abstract:Motivated by questions asked by Erdos, we prove that any set $A\subset{\mathbb N}$ with positive upper density contains, for any $k\in{\mathbb N}$, a sumset $B_1+\cdots+B_k$, where $B_1,\dots,B_k\subset{\mathbb N}$ are infinite. Our proof uses ergodic theory and relies on structural results for measure preserving systems. Our techniques are new, even for the previously known case of $k=2$.

Dynamical Systems,Combinatorics,Number Theory
Sentences over Random Groups I: Existential Sentences

Sobhi Massalha

2024-08-12

Abstract:Random groups of density d<\frac{1}{2} are infinite hyperbolic, and of density d>\frac{1}{2} are finite. We prove that for any given system of equations \Sigma, all the solutions of \Sigma over a random group of density d<\frac{1}{2} are projected from solutions of \Sigma over the free group F_{k}, with overwhelming probability, where k is the rank of the group. We conclude that any given sentence in the Boolean algebra of universal sentences, is a truth sentence over F_{k} if and only if it is a truth sentence over random groups of density d<\frac{1}{2}, with overwhelming probability.

Group Theory,Logic
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

Density is at most the spread of the square

On the arithmetic of density

On DEPTH and DEPTH^+ of Boolean Algebras

A density version of a theorem of Banach

VC-Density Calculations in Pairs of Ordered Vector Spaces

Densities on Dedekind domains, completions and Haar measure

Density modulo 1 and Hardy fields

Infinite unrestricted sumsets of the form $B+B$ in sets with large density

A bound for the density of any Hausdorff space

Density of quantized approximations

On small densities defined without pseudorandomness

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

More on cardinal invariants of Boolean algebras

Ulam numbers have zero density

Numerical Calculation of Coherent Synchrotron Radiation Effects Using TraFiC4

Density of the sums of shifts of a single function in the space on a compact Abelian group

On a question of Kaplansky concerning his density theorem

Infinite Sumsets in Sets with Positive Density

Sentences over Random Groups I: Existential Sentences

Kneser's theorem for upper Buck density and relative results