相关论文: Asymptotic density and the Ershov hierarchy

We study connections between classical asymptotic density and c.e. sets. We prove that a c.e. Turing degree d is not low if and only if d contains a c.e. set A of density 1 which has no computable subsets of density 1, giving a natural…

It is known that the asymptotic density of states of a 2d CFT in an irreducible representation $\rho$ of a finite symmetry group $G$ is proportional to $(\dim\rho)^2$. We show how this statement can be generalized when the symmetry can be…

For $r \in [0,1]$ we say that a set $A \subseteq \omega$ is \emph{coarsely computable at density} $r$ if there is a computable set $C$ such that $\{n : C(n) = A(n)\}$ has lower density at least $r$. Let $\gamma(A) = \sup \{r : A \hbox{ is…

We determine the asymptotic density $\delta_k$ of the set of ordered $k$-tuples $(n_1,...,n_k)\in \N^k, k\ge 2$, such that there exists no prime power $p^a$, $a\ge 1$, appearing in the canonical factorization of each $n_i$, $1\le i\le k$,…

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…

Answering an open question raised by Cooper, we show that there exist $\Delta^0_2$ sets $D$ and $E$ such that the singleton degree of $E$ is a minimal cover of the singleton degree of $D$. This shows that the $\Sigma^{0}_{2}$ singleton…

We prove that if $E \subseteq \mathbb{R}^d$ ($d\geq 2$) is a Lebesgue-measurable set with density larger than $\frac{n-2}{n-1}$, then $E$ contains similar copies of every $n$-point set $P$ at all sufficiently large scales. Moreover,…

In this note we show that a set is provably $\Delta^0_2$ in the fragment $I\Sigma_n$ of arithmetic iff it is $I\Sigma_n$-provably in the class $D_\alpha$ of $\alpha$-r.e. sets in the Ershov hierarchy for an $\alpha <_{\epsilon_0}…

The asymptotic form of the energy density for a gas of particles surrounding a sphere of mass $M$ and radius $R$ is studied using Einstein's equations. It is shown that if the pressure of the gas $p$ varies linearly with the energy density…

We extend recent results on the Asymptotic Equipartition Property for the density of $n$ particles in $\beta$-ensembles, as $n$ tends to infinity. We prove the Large Deviation Principle of the log-density for a general potential and the…

We show that, in non-amenable groups, the density of elements of depth at least $d$ goes to $0$ exponentially in $d$.

Let $\mathrm{d}(A)$ be the asymptotic density (if it exists) of a sequence of integers $A$. For any real numbers $0\leq\alpha\leq\beta\leq 1$, we solve the question of the existence of a sequence $A$ of positive integers such that…

We show that for every fixed $\ell\in\mathbb{N}$, the set of $n$ with $n^\ell|\binom{2n}{n}$ has a positive asymptotic density $c_\ell$, and we give an asymptotic formula for $c_\ell$ as $\ell\to \infty$. We also show that $\# \{n\le x,…

Let $N$ be an $n$-dimensional compact riemannian manifold, with $n\geq 2$. In this paper, we prove that for any $\alpha\in [0,n]$, the set consisting of homeomorphisms on $N$ with lower and upper metric mean dimensions equal to $\alpha$ is…

We show that there are sets of integers with asymptotic density arbitrarily close to 1 in which there is no solution to the equation ab=c, with a,b,c in the set. We also consider some natural generalizations, as well as a specific numerical…

We consider the problem of estimating the edge density of densest $K$-node subgraphs of an Erd\"os-R\'{e}nyi graph $\mathbb{G}(n,1/2)$. The problem is well-understood in the regime $K=\Theta(\log n)$ and in the regime $K=\Theta(n)$. In the…

Let A be a set of positive integers with gcd(A) = 1, and let p_A(n) be the partition function of A. Let c = \pi \sqrt(2/3). Let \alpha > 0. It is proved that log p_A(n) ~ c\sqrt(\alpha n) if and only if the set A has asymptotic density…

Computably enumerable equivalence relations (ceers) received a lot of attention in the literature. The standard tool to classify ceers is provided by the computable reducibility $\leq_c$. This gives rise to a rich degree-structure. In this…

We derive explicit asymptotic expansions of the density of the supremum of a strictly stable process when the index $\alpha$ is not rational. In the case when parameters $\alpha$ and $\rho=\p(X_1>0)$ satisfy $\rho+k=l/\alpha$ for some…

In this paper we study asymptotic density of rational sets in free abelian group $\mathbb{Z}^n$ of rank $n$. We show that any rational set $R$ in $\mathbb{Z}^n$ has asymptotic density. If $R$ is given by its semi-simple decomposition we…