On the Triangle Inequality for the Jaccard Distance in Arbitrary Lattices

arXiv:2608.181942026-08-20

衡量两个集合相似度的Jaccard距离,在比集合更广的数学结构格中何时仍满足三角不等式,这篇论文给出了明确条件

Jaccard相似度是一种有百年历史的方法,用0到1之间的数字衡量两个集合的重叠程度,把它变成距离后必须满足三角不等式才能算作真正的度量。以往的证明严重依赖集合或布尔代数特有的性质,比如分配律以及存在全局最大和最小元素,这些性质在更一般的数学结构格中并不成立。这篇论文只关注赋值函数(衡量元素大小的函数)本身的性质,证明了在模性条件下任意格都成立三角不等式,在超模且对数次模条件下相对有余元的分配格成立,并进一步给出了三角不等式成立所必须满足的必要条件。

论文原文摘要（英文）

This paper presents new theoretical results on generalizing the Jaccard distance for lattices and real valuations. We demonstrate that when the valuation is strictly positive, monotone, and modular, the Jaccard distance satisfies the triangle inequality on arbitrary lattices, effectively generalizing earlier results that depended heavily on distributivity. Moving to relatively complemented distributive lattices (which safely drop the requirement for the global bounds found in Boolean algebras), we prove the triangle inequality holds as long as the valuation is positive, monotone, supermodular, and $\log$-submodular. Additionally, we adapt the symmetric-difference Jaccard formulation for submodular valuations to sectionally complemented distributive lattices. Shifting to necessary conditions, we prove that supermodularity is a strict requirement for the standard generalized Jaccard distance to operate as a valid metric. Finally, we map the practical value of relaxing these structural constraints to computational fields like quantum information theory, formal concept analysis, and machine learning, closing with a brief look at open mathematical problems.

作者 · Costin B\u{a}dic\u{a}, Amelia B\u{a}dic\u{a}