Search arXiv⌕ Search

arXiv · 2504.02235

Clustering of Conditional Mutual Information via Quantum Belief-Propagation Channels

Abstract

Conditional mutual information (CMI) has recently attracted significant attention as a key quantity for characterizing quantum correlations in many-body systems. While it is conjectured that CMI decays rapidly in finite-temperature Gibbs states, a complete and general proof remains elusive. In this work, we introduce a new formulation of the problem based on the \emph{belief propagation (BP) channel}, namely a completely positive trace-preserving (CPTP) map that realizes local perturbations of the Hamiltonian. Within this framework, we prove that establishing the quasi-locality of BP channels implies the decay of CMI, thereby reducing the original conjecture to a more tractable problem. We show that such quasi-local BP channels can be constructed under natural physical conditions, such as uniform rapid mixing or uniform clustering. Under these assumptions, we obtain conditional proofs of CMI decay valid at all temperatures. Moreover, because these assumptions are automatically satisfied at high temperatures, our results in that regime yield unconditional proofs of CMI decay. At the same time, in order to better understand the high-temperature behavior of Gibbs states, we revisit the cluster expansion method. Contrary to common intuition, we demonstrate that when multipartite correlations such as CMI are considered, the cluster expansion suffers from intrinsic divergence problems rooted in the Baker--Campbell--Hausdorff formula, revealing fundamental limitations of this traditional approach.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Kohtaro Kato, Tomotaka Kuwahara. 2025-09-19. Clustering of Conditional Mutual Information via Quantum Belief-Propagation Channels. https://arxiv.org/abs/2504.02235

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Bounded information as a foundation for quantum theory

The purpose of this paper is to formalize the concept that best synthesizes our intuitive understanding of quantum mechanics - that the information carried by a system is limited - and, from this principle, to construct the foundations of quantum theory. In our discussion, we also introduce a second important hypothesis: if a measurement closely approximates an ideal one in terms of experimental precision, the information it provides about a physical system is independent of the measurement method and, specifically, of the system's physical quantities being measured. This principle can be expressed in terms of metric properties of a manifold whose points represent the state of the system. These and other reasonable hypotheses provide the foundation for a framework of quantum reconstruction. The theory presented in this paper is based on a description of physical systems in terms of their statistical properties, specifically statistical parameters, and focuses on the study of estimators for these parameters. To achieve the goal of quantum reconstruction, a divide-and-conquer approach is employed, wherein the space of two discrete conjugate Hamiltonian variables is partitioned into a binary tree of nested sets. This approach naturally leads to the reconstruction of the linear and probabilistic structure of quantum mechanics.

quant-ph↗

Reducibility of native weighted graphs on Rydberg Arrays

We investigate the classical reducibility of random unit-disk graph (UDG) instances of the maximum independent set (MIS) and maximum weighted independent set (MWIS) problems, which can be natively realised in Rydberg atom quantum processors. Using state-of-the-art kernelisation techniques, we systematically probe how far classical preprocessing can simplify such native optimisation problems of varying size and connectivity. While many small or sparse instances can be fully reduced, dense graphs often retain finite irreducible kernels even after extensive reductions. Introducing vertex weights tends to increase reducibility, whereas extending the interaction range in the underlying UDG connectivity suppresses the reduction efficiency. By exploring where classical reductions cease to be effective, we aim to delineate the regime of problem instances that remain computationally demanding - those most relevant for testing and benchmarking near-term quantum optimisation hardware. We find that for the remaining finite kernels, quantum execution would require non-native embeddings with substantial resource overheads, suggesting that directly running native instances may be more practical than embedding a reduced kernel.

quant-ph↗

When Complementary Measurements Count the Same Classical Bit Twice: Counterexamples to CQC, ECQC, and Complementarity-Based Certification

Mutually unbiased measurements are commonly expected to expose independent facets of a quantum state: a correlation that is classical in one basis should disappear in a complementary basis. In higher dimensions, however, this intuition becomes particularly subtle because correlations recovered in different settings need not represent different information. To expose this loophole, we propose a two-branch classical null test: before the setting is chosen, a shared bit selects one of two orthogonal product preparations, producing a rank-two classical--classical state, and the candidate protocol then runs unchanged. Different settings can read the same bit through different outcome patterns. This two-branch classical architecture disproves the complementary-quantum correlation (CQC) conjecture in every dimension $d\geq3$. A distinct rank-two classical--classical state disproves its complete-basis extension (ECQC) at $d=7$, with an overrun that grows without bound along prime dimensions. Its qutrit CQC instance also gives classical false positives for a proposed quantum-correlation measure and a proposed one-sided semi-device-independent steering criterion, and refutes a conditional-probability conjecture. The failures identify the missing requirement: information read in different settings must be nonredundant. In experiments and applications, the same low-overhead architecture can serve as a calibration test before a multibasis score is assigned quantum meaning.

quant-ph↗