Holographic State Complexity from Group Cohomology

Adewale Oluwasanmi

Sydney Timmerman, Yi Li

Frank Roumen

We will define two ways to assign cohomology groups to effect algebras, which occur in the algebraic study of quantum logic. The first way is based on Connes' cyclic cohomology. The resulting cohomology groups are related to the state space of the effect algebra, and can be computed using variations on the Kunneth and Mayer-Vietoris sequences. The second way involves a chain complex of ordered abelian groups, and gives rise to a cohomological characterization of state extensions on effect algebras. This has applications to no-go theorems in quantum foundations, such as Bell's theorem.

Javier Martín García

Wissam A Chemissany, Tobias J. Osborne

Radoslav C. Rashkov

We develop a cohomological framework for entanglement entropy that unifies information theory, operator algebras, and noncommutative geometry. Entropy is a 1-cocycle in information cohomology; we generalize this to the quantum setting via Hochschild and cyclic cohomology. For an inclusion of von Neumann algebras N contained in M with a faithful normal state w admitting a cyclic and separating vector, and a conditional expectation E: M -> N (whose existence is equivalent to modular invariance of N by Takesaki's theorem), we construct the entanglement complex as the image of the transgression map tau_w on the relative cyclic complex, where A is a dense *-subalgebra of M and B = A intersect N. Our main result identifies entanglement cohomology with the kernel of the restriction map HC*(A) -> HC*(B), up to the connecting homomorphism d of the long exact sequence of the pair (A,B); when d = 0, the identification is exact. The relative modular cocycle u_t = (Dw : D(w|_N) o E)_t generates explicit entanglement classes when E is not w-invariant, with the Araki relative entropy as its infinitesimal generator. The framework accommodates Type III von Neumann algebras, where no local density matrix exists, and leads to a holographic proposal: a subspace of H^1_ent is conjecturally dual to linearized modular Hamiltonian perturbations of the bulk entanglement wedge. We verify the construction in finite-dimensional, type II_1, and type III_1 examples.