The distributivity numbers of of P(om) /fin and its square

Saharon Shelah,Otmar Spinas

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

1996-06-15

Logic

Abstract:We show that in a model obtained by forcing with a countable support iteration of length omega_2 of Mathias forcing h(2), the distributivity number of r.o.(P(omega)/fin)^2, is omega_1 but h, the one of P(omega)/fin, is omega_2.

What problem does this paper attempt to address?

Distribution of $ω(n)$ over $h$-free and $h$-full numbers

Sourabhashis Das,Wentang Kuo,Yu-Ru Liu

2024-09-17

Abstract:Let $\omega(n)$ denote the number of distinct prime factors of a natural number $n$. In 1917, Hardy and Ramanujan proved that $\omega(n)$ has normal order $\log \log n$ over naturals. In this work, we establish the first and the second moments of $\omega(n)$ over $h$-free and $h$-full numbers using a new counting argument and prove that $\omega(n)$ has normal order $\log \log n$ over these subsets.

Number Theory
On quasi-infinitely divisible distributions

Alexander Lindner,Lei Pan,Ken-iti Sato

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

2017-01-10

Abstract:A quasi-infinitely divisible distribution on $\mathbb{R}$ is a probability distribution whose characteristic function allows a Lévy-Khintchine type representation with a "signed Lévy measure", rather than a Lévy measure. Quasi-infinitely divisible distributions appear naturally in the factorization of infinitely divisible distributions. Namely, a distribution $\mu$ is quasi-infinitely divisible if and only if there are two infinitely divisible distributions $\mu_1$ and $\mu_2$ such that $\mu_1 \ast \mu = \mu_2$. The present paper studies certain properties of quasi-infinitely divisible distributions in terms of their characteristic triplet, such as properties of supports, finiteness of moments, continuity properties and weak convergence, with various examples constructed. In particular, it is shown that the set of quasi-infinitely divisible distributions is dense in the set of all probability distributions with respect to weak convergence. Further, it is proved that a distribution concentrated on the integers is quasi-infinitely divisible if and only if its characteristic function does not have zeroes, with the use of the Wiener-Lévy theorem on absolutely convergent Fourier series. A number of fine properties of such distributions are proved based on this fact. A similar characterisation is not true for non-lattice probability distributions on the line.

Probability
The number of preimages of iterates of $ϕ$ and $σ$

Agbolade Patrick Akande

2024-01-09

Abstract:Paul Erdos and Carl Pomerance have proofs on an asymptotic upper bound on the number of preimages of Euler's totient function $\phi$ and the sum-of-divisors functions $\sigma$. In this paper, we will extend the upper bound to the number of preimages of iterates of $\phi$ and $\sigma$. Using these new asymptotic upper bounds, a conjecuture in Konick and Katai's paper, "On the uniform distribution of certain sequences involving the Euler totient function and the sum of divisors function" is now proven and many corollaries follow from their proven conjecture.

Number Theory
On the distribution of $ϕ(σ(n))$

Saunak Bhattacharjee,Anup B. Dixit

DOI: https://doi.org/10.5281/zenodo.12685741

2024-08-04

Abstract:Let $\phi(n)$ be the Euler totient function and $\sigma(n)$ denote the sum of divisors of $n$. In this note, we obtain explicit upper bounds on the number of positive integers $n\leq x$ such that $\phi(\sigma(n)) > cn$ for any $c>0$. This is a refinement of a result of Alaoglu and Erdős.

Number Theory
Does a Program Yield the Right Distribution?

Mingshuai Chen,Joost-Pieter Katoen,Lutz Klinkenberg,Tobias Winkler

DOI: https://doi.org/10.1007/978-3-031-13185-1_5

2022-01-01

Abstract:AbstractWe study discrete probabilistic programs with potentially unbounded looping behaviors over an infinite state space. We present, to the best of our knowledge, the first decidability result for the problem of determining whether such a program generates exactly a specified distribution over its outputs (provided the program terminates almost-surely). The class of distributions that can be specified in our formalism consists of standard distributions (geometric, uniform, etc.) and finite convolutions thereof. Our method relies on representing these (possibly infinite-support) distributions as probability generating functions which admit effective arithmetic operations. We have automated our techniques in a tool called $$\textsc {Prodigy}$$ P R O D I G Y , which supports automatic invariance checking, compositional reasoning of nested loops, and efficient queries to the output distribution, as demonstrated by experiments.
On the distribution of powered numbers

Jörg Brüdern,Olivier Robert

2023-06-09

Abstract:Asymptotic formulae are established for the number of natural numbers $m$ with largest square-free divisor not exceeding $m^{\vartheta}$, for any fixed positive parameter $\vartheta$. Related counting functions are also considered.

Number Theory
Odd moments in the distribution of primes

Vivian Kuperberg

2024-07-30

Abstract:Montgomery and Soundararajan showed that the distribution of $\psi(x+H) - \psi(x)$, for $0 \le x \le N$, is approximately normal with mean $ \sim H$ and variance $\sim H \log (N/H)$, when $N^{\delta} \le H \le N^{1-\delta}$. Their work depends on showing that sums $R_k(h)$ of $k$-term singular series are $\mu_k(-h \log h + Ah)^{k/2} + O_k(h^{k/2-1/(7k) + \varepsilon})$, where $A$ is a constant and $\mu_k$ are the Gaussian moment constants. We study lower-order terms in the size of these moments. We conjecture that when $k$ is odd, $R_k(h) \asymp h^{(k-1)/2}(\log h)^{(k+1)/2}$. We prove an upper bound with the correct power of $h$ when $k = 3$, and prove analogous upper bounds in the function field setting when $k =3$ and $k = 5$. We provide further evidence for this conjecture in the form of numerical computations.

Number Theory
The cohomology of $p$-adic distribution representations

Weibo Fu

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

2022-03-12

Abstract:We give a generalization of Kostant's theorem on Lie algebra cohomology of finite dimensional highest weight representations to some infinite dimensional cases over a $p$-adic family of highest weight distribution representations. For proving this, we develop a theory of eigen orthonormalizable Banach representations of $p$-adic torus over an affinoid algebra, and we construct an eigen orthonormalizable weight completion of the distribution representations.

Number Theory,Representation Theory
The distribution of arithmetic functions of general random integers

Emmanuel Kowalski

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

2019-09-09

Abstract:We consider very general "random integers" and (attempt to) prove that many multiplicative and additive functions of such integers have limiting distributions. These integers include, for instance, the curvatures of Apollonian circle packings, trace of Frobenius elements for elliptic curves, the Ramanujan tau-function, Mersenne numbers, and many others.

Number Theory,Probability
On the strength of Hausdorff's gap condition

James Hirschorn

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

2008-06-29

Logic

Abstract:Hausdorff's gap condition was satisfied by his original 1936 construction of an (omega-1,omega-1) gap in P(N)/Fin. We solve an open problem in determining whether Hausdorff's condition is actually stronger than the more modern indestructibility condition, by constructing an indestructible (omega-1,omega-1) gap not equivalent to any gap satisfying Hausdorff's condition, from uncountably many random reals.
Measure theoretic properties of large products of consecutive partial quotients

Adam Brown-Sarre,Gerardo González Robert,Mumtaz Hussain

2024-05-17

Abstract:The theory of uniform approximation of real numbers motivates the study of products of consecutive partial quotients in regular continued fractions. For any non-decreasing positive function $\varphi:\mathbb{N}\to\mathbb{R}_{>0}$ and $\ell\in \mathbb{N}$, we determine the Lebesgue measure and Hausdorff dimension of the set $\mathcal{F}_{\ell}(\varphi)$ of irrational numbers $x$ whose regular continued fraction $x~=~[a_1(x),a_2(x),\ldots]$ is such that for infinitely many $n\in\mathbb{N}$ there are two numbers $1\leq j<k \leq n$ satisfying \[ a_{k}(x)\cdots a_{k+\ell-1}(x)\geq \varphi(n), \; a_{j}(x)\cdots a_{j+\ell-1}(x)\geq \varphi(n). \] One of the consequences of the results is that the strong law of large numbers for products of $\ell$ consecutive partial quotients is impossible even if the block with the largest product is removed.

Number Theory
The distribution of the largest digit for parabolic Iterated Function Systems of the interval

Hiroki Takahasi

2024-11-27

Abstract:We investigate the distribution of the largest digit for a wide class of infinite parabolic Iterated Function Systems (IFSs) of the unit interval. Due to the recurrence to parabolic (neutral) fixed points, the dimension analysis of these systems become more delicate than that of uniformly contracting IFSs. We show that the Hausdorff dimensions of level sets associated with the largest digits are constantly equal to the Hausdorff dimension of the limit set of the IFS. This result is an analogue of Wu and Xu's theorem [Math. Proc. Camb. Phil. Soc. {\bf 146} (2009), 207--212] on the regular continued fraction. Examples of application of our result include the backward (aka minus, or negative) continued fractions, even integer continued fractions, and go beyond. Our main technical tool is a dimension theory for non-uniformly expanding Markov interval maps with infinitely many branches.

Dynamical Systems
On the largest square divisor of shifted primes

Jori Merikoski

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

2020-11-02

Abstract:We show that there are infinitely many primes $p$ such that $p-1$ is divisible by a square $d^2 \geq p^\theta$ for $\theta=1/2+1/2000.$ This improves the work of Matomäki (2009) who obtained the result for $\theta=1/2-\varepsilon$ (with the added constraint that $d$ is also a prime), which improved the result of Baier and Zhao (2006) with $\theta=4/9-\varepsilon.$ Similarly as in the work of Matomäki, we apply Harman's sieve method to detect primes $p \equiv 1 \, (d^2)$. To break the $\theta=1/2$ barrier we prove a new bilinear equidistribution estimate modulo smooth square moduli $d^2$ by using a similar argument as Zhang (2014) used to obtain equidistribution beyond the Bombieri-Vinogradov range for primes with respect to smooth moduli. To optimize the argument we incorporate technical refinements from the Polymath project (2014). Since the moduli are squares, the method produces complete exponential sums modulo squares of primes which are estimated using the results of Cochrane and Zheng (2000).

Number Theory
The Distribution of Polynomials in Monotone Independent Elements

Marwa Banna,Pei-Lun Tseng

2024-05-08

Abstract:Building on the work of Arizmendi and Celestino (2021), we derive the $*$-distributions of polynomials in monotone independent and infinitesimally monotone independent elements. For non-zero complex numbers $\alpha$ and $\beta$, we derive explicitly the $*$-distribution of $p_{\alpha,\beta}=\alpha ab + \beta ba$ whenever $a$ and $b$ are monotone or infinitesimally monotone independent elements. This encompasses both cases of the commutator and anti-commutator. This approach can be pushed to study more general polynomials. As applications, we derive the limiting distribution with respect to the partial trace of polynomials in a certain class of random matrices.

Probability
Distributivity and minimality in perfect tree forcings for singular cardinals

Maxwell Levine,Heike Mildenberger

DOI: https://doi.org/10.1007/s11856-024-2607-z

2024-04-28

Israel Journal of Mathematics

Abstract:Dobrinen, Hathaway and Prikry studied a forcing P κ consisting of perfect trees of height λ and width κ where κ is a singular λ-strong limit of cofinality λ. They showed that if κ is singular of countable cofinality, then P κ is minimal for ω -sequences assuming that κ is a supremum of a sequence of measurable cardinals. We obtain this result without the measurability assumption.

mathematics
Sumsets and entropy revisited

Ben Green,Freddie Manners,Terence Tao

DOI: https://doi.org/10.1002/rsa.21252

2024-09-05

Abstract:The entropic doubling $\sigma_{\operatorname{ent}}[X]$ of a random variable $X$ taking values in an abelian group $G$ is a variant of the notion of the doubling constant $\sigma[A]$ of a finite subset $A$ of $G$, but it enjoys somewhat better properties; for instance, it contracts upon applying a homomorphism. In this paper we develop further the theory of entropic doubling and give various applications, including: (1) A new proof of a result of Pálvölgyi and Zhelezov on the ``skew dimension'' of subsets of $\mathbf{Z}^D$ with small doubling; (2) A new proof, and an improvement, of a result of the second author on the dimension of subsets of $\mathbf{Z}^D$ with small doubling; (3) A proof that the Polynomial Freiman--Ruzsa conjecture over $\mathbf{F}_2$ implies the (weak) Polynomial Freiman--Ruzsa conjecture over $\mathbf{Z}$.

Number Theory,Combinatorics
On a family of arithmetic series related to the Möbius function

Gérald Tenenbaum

2024-09-16

Abstract:Let $P^-(n)$ denote the smallest prime factor of a natural integer $n>1$. Furthermore let $\mu$ and $\omega$ denote respectively the Möbius function and the number of distinct prime factors function. We show that, given any set ${\scr P}$ of prime numbers with a natural density, we have $\sum_{P^-(n)\in \scr P}\mu(n)\omega(n)/n=0$ and provide a effective estimate for the rate of convergence. This extends a recent result of Alladi and Johnson, who considered the case when ${\scr P}$ is an arithmetic progression.

Number Theory
Arithmetic of a certain semigroup of probability distributions on the group $\mathbb{R}\times \mathbb{Z}(2)$

Gennadiy Feldman

2023-12-14

Abstract:We consider a certain convolution semigroup $\Theta$ of probability distributions on the group $\mathbb{R}\times \mathbb{Z}(2)$, where $\mathbb{R}$ is the group of real numbers and $\mathbb{Z}(2)$ is the additive group of the integers modulo 2. This semigroup appeared in connection with the study of a characterization problem of mathematical statistics on $a$-adic solenoids containing an element of order 2. We answer the questions that arise in the study of arithmetic of the semigroup $\Theta$. Namely, we describe the class of infinitely divisible distributions, the class of indecomposable distributions, and the class of distributions which have no indecomposable factors.

Probability
Quasi-geometric infinite divisibility

Nadjib Bouzar

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

2021-12-08

Probability

Abstract:The object of this paper is to introduce and study the concept of quasi-geometric infinite divisibility for distributions on $\bf R_+$. These distributions arise as mixing distributions of (discrete) geometric infinitely divisible Poisson mixtures. Several characterizations and closure properties are presented. A connection between quasi-geometric infinite divisibility and log-convex (log-concave) distributions is established. A generalized notion of quasi-infinite divisibility is also discussed.

The distributivity numbers of of P(om) /fin and its square

Distribution of $ω(n)$ over $h$-free and $h$-full numbers

On quasi-infinitely divisible distributions

The number of preimages of iterates of $ϕ$ and $σ$

On the distribution of $ϕ(σ(n))$

Does a Program Yield the Right Distribution?

On the distribution of powered numbers

Odd moments in the distribution of primes

The cohomology of $p$-adic distribution representations

The distribution of arithmetic functions of general random integers

On the strength of Hausdorff's gap condition

Measure theoretic properties of large products of consecutive partial quotients

The distribution of the largest digit for parabolic Iterated Function Systems of the interval

On the largest square divisor of shifted primes

The Distribution of Polynomials in Monotone Independent Elements

Distributivity and minimality in perfect tree forcings for singular cardinals

Sumsets and entropy revisited

On a family of arithmetic series related to the Möbius function

Arithmetic of a certain semigroup of probability distributions on the group $\mathbb{R}\times \mathbb{Z}(2)$

Quasi-geometric infinite divisibility