Related papers: The M\"obius function of permutations with an inde…
In this paper we derive some identities and inequalities on the M\"obius mu function. Our main tool is phi functions for intervals of positive integers and their unions.
Let $\gcd(m,n)$ denote the greatest common divisor of the positive integers $m$ and $n$, and let $\mu$ represent the M\" obius function. For any real number $x>5$, we define the summatory function of the M\" obius function involving the…
For a fixed odd prime $\ell$, we define a variant of the classical M\"{o}bius function on the poset of isomorphism classes of finite abelian $\ell$-groups, then we prove an analog of Hall's theorem on the vanishing of the M\"{o}bius…
We establish a Crapo complementation formula for the M\"obius function $\mu^X$ in a general decomposition space $X$ in terms of a convex subspace $K$ and its complement: $\mu^X \simeq \mu^{X\setminus K} + \mu^X*\zeta^K*\mu^X$. We work at…
Estimating nonlinear functionals of probability distributions from samples is a fundamental statistical problem. The "plug-in" estimator obtained by applying the target functional to the empirical distribution of samples is biased.…
This short note provides a sharper upper bound of a well known inequality for the sum of divisors function. This is a problem in pure mathematics related to the distribution of prime numbers. Furthermore, the technique is completely…
For a nilmanifold $G/\Gamma$, a $1$-Lipschitz continuous function $F$ and the M\"obius sequence $\mu(n)$, we prove a bound on the decay of the averaged short interval correlation $$\frac1{HN}\sum_{n\leq N}\Big|\sum_{h\leq H}…
Let $\mu(n)$ denote the M\"obius function, define $M(x)= \sum_{n\leq x}^{}\mu (n)$. The main result of this paper is to prove that \begin{equation*} \displaystyle\lim_{x \to +\infty}\frac{M(x)}{x}=0 \end{equation*} which is equivalent to…
The interval poset of a permutation catalogues the intervals that appear in its one-line notation, according to set inclusion. We study this poset, describing its structural, characterizing, and enumerative properties.
We initiate the study of the enumerative combinatorics of the intervals in the Dyck pattern poset. More specifically, we find some closed formulas to express the size of some specific intervals, as well as the number of their covering…
We introduce the notion of decomposition space as a general framework for incidence algebras and M\"obius inversion: it is a simplicial infinity-groupoid satisfying an exactness condition weaker than the Segal condition, which expresses…
An elementary recursive relation for M$\ddot{\mathrm{o}}$bius function $\mu (n)$ is introduced by two simple ways. With this recursive relation, $\mu (n)$ can be calculated without directly knowing the factorization of the $n$. $\mu (1)…
We derive bounds on the mean oscillation of the decreasing rearrangement $f^*$ on $\mathbb{R}_+$ in terms of the mean oscillation of $f$ on a suitable measure space $X$. In the special case of a doubling metric measure space, the bound…
Any permutation has a disjoint cycle decomposition and concept generates an equivalence class on the symmetry group called the cycle-type. The main focus of this work is on permutations of restricted cycle-types, with particular emphasis on…
We discuss the multiplicity of the non-trivial zeros of the Riemann zeta-function and the summatory function $M(x)$ of the M\"obius function. The purpose of this paper is to consider two open problems under some conjectures. One is that…
We obtain asymptotic formulas for the $2k$th moments of partially smoothed divisor sums of the M\"obius function. When $2k$ is small compared with $A$, the level of smoothing, then the main contribution to the moments come from integers…
The M\"{o}bius energy is one of the knot energies, and is named after its M\"{o}bius invariant property. It is known to have several different expressions. One is in terms of the cosine of conformal angle, and is called the cosine formula.…
Let X be a finite set. This paper describes some topological and combinatorial properties of the poset \Omega_X of order relations on X. In particular, the homotopy type of all the intervals in \Omega_X is precisely determined, and the…
The M\"obius polynomial is an invariant of ranked posets, closely related to the M\"obius function. In this paper, we study the M\"obius polynomial of face posets of convex polytopes. We present formulas for computing the M\"obius…
We investigate function field analogs of the distribution of primes, and prime $k$-tuples, in "very short intervals" of the form $I(f) := \{ f(x) + a : a \in \mathbb{F}_p \}$ for $f(x) \in \mathbb{F}_p[x]$ and $p$ prime, as well as…