从亚调函数到矩阵行列式：强化韩氏、沙茨氏与费舍尔不等式
密码学与安全
2026-05-14 v2
摘要
Dembo、Cover和Thomas于1991年提出了一种优雅的信息论框架，用于证明正定矩阵的行列式不等式，该框架依赖于微分熵的结构不等式。亚调函数（submodular functions）本质上包含了熵，因而因为遵循熵基本性质的广义形式（链式法则以及条件化后函数值减小的性质），天然满足这些结构性不等式。应用亚可加性，可得出韩氏不等式（Han's inequality，1978）、分区亚可加性（即对分区的亚可加性）分别导致哈德顿不等式、沙茨氏不等式和费舍尔不等式。此框架进一步恢复了韩氏不等式的一个强化版——Ky Fan不等式（1955）。这种改进根本上源于条件亚可加性相对于无条件亚可加性所获得的联合熵的更紧上界。本文在亚调函数的通用语境下，建立了韩氏不等式和分区亚可加性的条件化强化版。我们推导了这些强化界限的等式条件，并刻画了它们何时严格改善其无条件版本的情形。我们将这些结果特化到微分熵，并据此建立了沙茨氏和费舍尔不等式的强化版。沙茨氏不等式的强化版在特殊情况下恢复了Ky Fan不等式，而对于任意非对角正定矩阵均严格强于经典沙茨氏不等式。我们还推导了一个关于特征值的不等式，该不等式概括并严格强化了Ky Fan相应的特征值不等式。我们提供数值例证以明确说明所提出的矩阵行列式界限的紧密性。
引用
@article{arxiv.2605.11997,
title = {A microservices-based endpoint monitoring platform with predictive NLP models for real-time security and hate-speech risk alerting},
author = {Darlan Noetzold and Anubis Graciela De Moraes Rossetto and Juan Francisco De Paz Santana and Valderi Reis Quietinho Leithardt},
journal= {arXiv preprint arXiv:2605.11997},
year = {2026}
}