Quantum Entropy Prover

• URL: http://arxiv.org/abs/2501.16025v1
• Date: Mon, 27 Jan 2025 13:10:23 GMT
• Title: Quantum Entropy Prover
• Authors: Shao-Lun Huang, Tobias Rippchen, Mario Berta,
• Abstract summary: We derive a framework for quantum systems based on the strong sub-additivity and weak monotonicity inequalities for the von-Neumann entropy. Our main contribution is the Python package qITIP, for which we present the theory and demonstrate its capabilities.
• Score: 17.38531785155932
• License:
• Abstract: Information inequalities govern the ultimate limitations in information theory and as such play an pivotal role in characterizing what values the entropy of multipartite states can take. Proving an information inequality, however, quickly becomes arduous when the number of involved parties increases. For classical systems, [Yeung, IEEE Trans. Inf. Theory (1997)] proposed a framework to prove Shannon-type inequalities via linear programming. Here, we derive an analogous framework for quantum systems, based on the strong sub-additivity and weak monotonicity inequalities for the von-Neumann entropy. Importantly, this also allows us to handle constrained inequalities, which - in the classical case - served as a crucial tool in proving the existence of non-standard, so-called non-Shannon-type inequalities [Zhang & Yeung, IEEE Trans. Inf. Theory (1998)]. Our main contribution is the Python package qITIP, for which we present the theory and demonstrate its capabilities with several illustrative examples

Related papers

• Minimal operational theories: classical theories with quantum features [41.94295877935867]
  We introduce a class of probabilistic theories, where system dynamics are constrained to the minimal set of operations. Specifically, the allowed instruments are limited to those derived from compositions of preparations, measurements, swap transformations, and conditional tests. We demonstrate that minimal theories with conditioning and a spanning set of non-separable states satisfy two quantum no-go theorems.
  arXiv  Detail & Related papers  (2024-08-02T16:24:09Z)
• Inevitable Negativity: Additivity Commands Negative Quantum Channel Entropy [2.7961972519572442]
  Quantum channels represent a broad spectrum of operations crucial to quantum information theory. This paper establishes a rigorous framework for assessing the uncertainty in both classical and quantum channels.
  arXiv  Detail & Related papers  (2024-06-19T20:33:17Z)
• Derivation of Standard Quantum Theory via State Discrimination [53.64687146666141]
  General Probabilistic Theories (GPTs) is a new information theoretical approach to single out standard quantum theory. We focus on the bound of the performance for an information task called state discrimination in general models. We characterize standard quantum theory out of general models in GPTs by the bound of the performance for state discrimination.
  arXiv  Detail & Related papers  (2023-07-21T00:02:11Z)
• Connecting classical finite exchangeability to quantum theory [45.76759085727843]
  Exchangeability is a fundamental concept in probability theory and statistics. It allows to model situations where the order of observations does not matter. It is well known that both theorems do not hold for finitely exchangeable sequences.
  arXiv  Detail & Related papers  (2023-06-06T17:15:19Z)
• Which entropy for general physical theories? [44.99833362998488]
  We address the problem of quantifying the information content of a source for an arbitrary information theory. The functions that solve this problem in classical and quantum theory are Shannon's and von Neumann's entropy, respectively. In a general information theory there are three different functions that extend the notion of entropy, and this opens the question as to whether any of them can universally play the role of the quantifier for the information content.
  arXiv  Detail & Related papers  (2023-02-03T10:55:13Z)
• Operator-valued Schatten spaces and quantum entropies [3.6985338895569204]
  Operator-valued Schatten spaces were introduced by G. Pisier as a noncommutative counterpart of $ell_p$-spaces. This family of operator spaces forms an vector-valued scale which makes it a powerful and convenient tool in a variety of applications.
  arXiv  Detail & Related papers  (2022-07-14T06:47:34Z)
• Quantum Mechanics as a Theory of Incompatible Symmetries [77.34726150561087]
  We show how classical probability theory can be extended to include any system with incompatible variables. We show that any probabilistic system (classical or quantal) that possesses incompatible variables will show not only uncertainty, but also interference in its probability patterns.
  arXiv  Detail & Related papers  (2022-05-31T16:04:59Z)
• Shannon theory beyond quantum: information content of a source [68.8204255655161]
  We extend the definition of information content to operational probabilistic theories. We prove relevant properties as the subadditivity, and the relation between purity and information content of a state.
  arXiv  Detail & Related papers  (2021-12-23T16:36:06Z)
• Testing quantum theory by generalizing noncontextuality [0.0]
  We prove that only Jordan-algebraic state spaces are exactly embeddable into quantum theory. We propose an experimental test of quantum theory by probing single physical systems.
  arXiv  Detail & Related papers  (2021-12-17T19:00:24Z)
• Inaccessible information in probabilistic models of quantum systems, non-contextuality inequalities and noise thresholds for contextuality [0.0]
  We quantify the inaccessible information of a model in terms of the maximum distinguishability of probability distributions. These bounds can be interpreted as a new class of robust preparation non-contextuality inequalities.
  arXiv  Detail & Related papers  (2020-03-12T19:23:14Z)
• From Thermodynamic Sufficiency to Information Causality [0.0]
  We derive information causality from monotonicity of divergence. We conjecture that under very weak regularity conditions it can be used to deduce the complex Hilbert space formalism of quantum theory.
  arXiv  Detail & Related papers  (2020-02-07T16:53:12Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.