{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:YSYGA2EQZ5XLO3UFEVYPBDCKHE","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"b1783ee22dd2d0bf470f02664eedd1e4a03aceb7f4a14933d54e2e0190409097","cross_cats_sorted":["math-ph","math.FA","math.MP"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"quant-ph","submitted_at":"2022-08-25T16:32:02Z","title_canon_sha256":"f975f93c689e46fdea7eb3c95f029a815c3b05afb5ca82c930444ce24fce1f0c"},"schema_version":"1.0","source":{"id":"2208.12194","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2208.12194","created_at":"2026-07-05T06:49:57Z"},{"alias_kind":"arxiv_version","alias_value":"2208.12194v4","created_at":"2026-07-05T06:49:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2208.12194","created_at":"2026-07-05T06:49:57Z"},{"alias_kind":"pith_short_12","alias_value":"YSYGA2EQZ5XL","created_at":"2026-07-05T06:49:57Z"},{"alias_kind":"pith_short_16","alias_value":"YSYGA2EQZ5XLO3UF","created_at":"2026-07-05T06:49:57Z"},{"alias_kind":"pith_short_8","alias_value":"YSYGA2EQ","created_at":"2026-07-05T06:49:57Z"}],"graph_snapshots":[{"event_id":"sha256:954c6877e9c5fe85f93e2cd4b584f3415f696dfef3024bfc3770d04f6d780238","target":"graph","created_at":"2026-07-05T06:49:57Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2208.12194/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Integral representations of quantum relative entropy, and of the directional second and higher order derivatives of von Neumann entropy, are established, and used to give simple proofs of fundamental, known data processing inequalities: the Holevo bound on the quantity of information transmitted by a quantum communication channel, and, much more generally, the monotonicity of quantum relative entropy under trace-preserving positive linear maps -- complete positivity of the map need not be assumed. The latter result was first proved by M\\\"uller-Hermes and Reeb, based on work of Beigi. For a sim","authors_text":"P\\'eter E. Frenkel","cross_cats":["math-ph","math.FA","math.MP"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"quant-ph","submitted_at":"2022-08-25T16:32:02Z","title":"Integral formula for quantum relative entropy implies data processing inequality"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2208.12194","kind":"arxiv","version":4},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:d8e824fd80f7205b47a08a587879f52e0af4e0b776e99bd7fe2cb5de034fe978","target":"record","created_at":"2026-07-05T06:49:57Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"b1783ee22dd2d0bf470f02664eedd1e4a03aceb7f4a14933d54e2e0190409097","cross_cats_sorted":["math-ph","math.FA","math.MP"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"quant-ph","submitted_at":"2022-08-25T16:32:02Z","title_canon_sha256":"f975f93c689e46fdea7eb3c95f029a815c3b05afb5ca82c930444ce24fce1f0c"},"schema_version":"1.0","source":{"id":"2208.12194","kind":"arxiv","version":4}},"canonical_sha256":"c4b0606890cf6eb76e852570f08c4a3927fa4bb9a88a68f15403e5ab94151bf4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c4b0606890cf6eb76e852570f08c4a3927fa4bb9a88a68f15403e5ab94151bf4","first_computed_at":"2026-07-05T06:49:57.809234Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:49:57.809234Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"WYELz8yYU8bjoqh4hdLTMfeN2fC2za7Ww172M0zNLh8XAAoX3OENHNE+h3pzzVG88iLSDkT3cgb1H3O9N2blAQ==","signature_status":"signed_v1","signed_at":"2026-07-05T06:49:57.809642Z","signed_message":"canonical_sha256_bytes"},"source_id":"2208.12194","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d8e824fd80f7205b47a08a587879f52e0af4e0b776e99bd7fe2cb5de034fe978","sha256:954c6877e9c5fe85f93e2cd4b584f3415f696dfef3024bfc3770d04f6d780238"],"state_sha256":"9f4a86c2389cd9be508ba384d96dfeba947a286d8831395eb9841f7428b0d251"}