Sreekumar Sreejith, Cohen Asaf, Gündüz Deniz
Department of Electrical and Computer Engineering , Cornell University, Ithaca, NY 14850, USA.
The School of Electrical and Computer Engineering, Ben-Gurion University of the Negev, Beer-Sheva 8410501, Israel.
Entropy (Basel). 2020 Jun 16;22(6):665. doi: 10.3390/e22060665.
A distributed binary hypothesis testing (HT) problem involving two parties, a remote observer and a detector, is studied. The remote observer has access to a discrete memoryless source, and communicates its observations to the detector via a rate-limited noiseless channel. The detector observes another discrete memoryless source, and performs a binary hypothesis test on the joint distribution of its own observations with those of the observer. While the goal of the observer is to maximize the type II error exponent of the test for a given type I error probability constraint, it also wants to keep a private part of its observations as oblivious to the detector as possible. Considering both equivocation and average distortion under a causal disclosure assumption as possible measures of privacy, the trade-off between the communication rate from the observer to the detector, the type II error exponent, and privacy is studied. For the general HT problem, we establish single-letter inner bounds on both the rate-error exponent-equivocation and rate-error exponent-distortion trade-offs. Subsequently, single-letter characterizations for both trade-offs are obtained (i) for testing against conditional independence of the observer's observations from those of the detector, given some additional side information at the detector; and (ii) when the communication rate constraint over the channel is zero. Finally, we show by providing a counter-example where the strong converse which holds for distributed HT without a privacy constraint does not hold when a privacy constraint is imposed. This implies that in general, the rate-error exponent-equivocation and rate-error exponent-distortion trade-offs are not independent of the type I error probability constraint.
研究了一个涉及远程观测者和检测器两方的分布式二元假设检验(HT)问题。远程观测者可以访问一个离散无记忆源,并通过速率受限的无噪声信道将其观测结果传达给检测器。检测器观测另一个离散无记忆源,并对其自身观测结果与观测者观测结果的联合分布进行二元假设检验。虽然观测者的目标是在给定的第一类错误概率约束下最大化检验的第二类错误指数,但它也希望尽可能让检测器对其观测结果的一部分保密。考虑到因果披露假设下的含糊度和平均失真作为隐私的可能度量,研究了从观测者到检测器的通信速率、第二类错误指数和隐私之间的权衡。对于一般的HT问题,我们建立了速率 - 错误指数 - 含糊度和速率 - 错误指数 - 失真权衡的单字母内界。随后,对于(i)在检测器有一些额外边信息的情况下,针对检验观测者的观测结果与检测器的观测结果的条件独立性;以及(ii)当信道上的通信速率约束为零时,获得了这两种权衡的单字母表征。最后,我们通过提供一个反例表明,在无隐私约束的分布式HT中成立的强反例在施加隐私约束时不成立。这意味着一般来说,速率 - 错误指数 - 含糊度和速率 - 错误指数 - 失真权衡并不独立于第一类错误概率约束。