[论文解读] Combinatorial Identities Involving the Mobius Function

Mohamed El Bachraoui, Mohamed Salim|ArXiv.org|Sep 16, 2009

Advanced Mathematical Identities参考文献 6被引用 4

一句话总结

本文利用区间及其并集的φ函数，推导出涉及莫比乌斯函数的新组合恒等式。它建立了关于与给定整数互素的非空子集数量的精确公式，从而得出涉及下取整函数和最大公约数条件的莫比乌斯变换和的新型求值结果，关键结果将这些和与模数下整数的相对互素性联系起来。

ABSTRACT

In this paper we derive some identities and inequalities on the Möbius mu function. Our main tool is phi functions for intervals of positive integers and their unions.

研究动机与目标

• 通过φ函数作为主要工具，推导出涉及莫比乌斯函数的新组合恒等式。
• 将现有关于区间中互素子集数量的公式扩展至不相交区间的并集。
• 建立涉及下取整函数和最大公约数条件的莫比乌斯变换和的精确求值。
• 将莫比乌斯反演推广至算术函数的多变量情形。
• 为并集区间中与模数互素的k元子集提供显式公式。

提出的方法

• 定义φ函数Φ(A,n)和Φk(A,n)，分别表示集合A中与n互素的非空子集和k元子集的数量。
• 对区间并集[l₁,m₁] ∪ [l₂,m₂]应用莫比乌斯反演，推导出涉及n的因子d的求和的闭式表达式。
• 应用恒等式∑_{d|n} μ(d) f(⌊m/d⌋)将计数问题转化为莫比乌斯加权和。
• 通过莫比乌斯函数的性质，利用容斥原理来计数最大公约数为1的子集。
• 通过递归分解和双重求和重排，分离重叠区间的贡献。
• 通过归纳法和组合双射论证证明结果，将子集映射为在最大公约数约束下的缩放对应物。

实验结果

研究问题

• RQ1 在[l₁,m₁] ∪ [l₂,m₂]中，与n互素的非空子集的确切数量是多少？
• RQ2 莫比乌斯函数如何用于在相对互素性的背景下求解涉及下取整函数差值的和？
• RQ3 当gcd(m,n) = 1或>1时，∑_{d|n} μ(d) 2^{⌊m/d⌋ - ⌊(m-1)/d⌋} 的值是多少？
• RQ4 在区间子集的背景下，莫比乌斯反演公式如何推广至多变量算术函数？
• RQ5 在两个区间的并集中，与给定模数n互素的k元子集的数量是多少？

主要发现

• 与n互素的[l₁,m₁] ∪ [l₂,m₂]的非空子集数量为∑_{d|n} μ(d) 2^{⌊m₁/d⌋ + ⌊m₂/d⌋ - ⌊(l₁-1)/d⌋ - ⌊(l₂-1)/d⌋}。
• 与n互素的[l₁,m₁] ∪ [l₂,m₂]的k元子集数量为∑_{d|n} μ(d) ⎛⌊m₁/d⌋ + ⌊m₂/d⌋ - ⌊(l₁-1)/d⌋ - ⌊(l₂-1)/d⌋⎞ / k。
• 当m > 1时，若gcd(m,n) = 1，则∑_{d|n} μ(d) 2^{⌊m/d⌋ - ⌊(m-1)/d⌋} = 1，否则为0。
• 当m > 1时，若gcd(m,n) = gcd(m+1,n) = 1，则∑_{d|n} μ(d) 2^{⌊(m+1)/d⌋ - ⌊(m-1)/d⌋} = 3；若gcd(m,n)与gcd(m+1,n)中恰好一个为1，则值为2；否则为1。
• 当m和m+1均与n互素时，∑_{d|n} μ(d) (⌊(m+1)/d⌋ - ⌊(m-1)/d⌋) = 2；当恰好一个与n互素时，值为1；当两者均不互素时，值为0。
• 当m和m+1均与n互素时，∑_{d|n} μ(d) ⎛⌊(m+1)/d⌋ - ⌊(m-1)/d⌋ + 1⎞ / 2 = 3；当恰好一个与n互素时，值为2；当两者均不互素时，值为1。