{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:OR2VEOOCNJTFPLU4Z5TQDOB6WS","short_pith_number":"pith:OR2VEOOC","schema_version":"1.0","canonical_sha256":"74755239c26a6657ae9ccf6701b83eb49371f825944e4c626e2161905421d97d","source":{"kind":"arxiv","id":"2506.18086","version":3},"attestation_state":"computed","paper":{"title":"On the completeness of contraction map proof method for holographic entropy inequalities","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["math-ph","math.MP","quant-ph"],"primary_cat":"hep-th","authors_text":"Joydeep Naskar, Keiichiro Furuya, Ning Bao","submitted_at":"2025-06-22T16:21:54Z","abstract_excerpt":"The contraction map proof method is the commonly used method to prove holographic entropy inequalities. Existence of a contraction map corresponding to a holographic entropy inequality is a sufficient condition for its validity. But is it also necessary? In this note, we answer that question in affirmative for all linear holographic entropy inequalities with rational coefficients. We show that the pre-image of a non-contraction map is not a hypercube, but a proper cubical subgraph, and show that this manifests as alterations to the geodesic structure in the bulk, which leads to the violation o"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2506.18086","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"hep-th","submitted_at":"2025-06-22T16:21:54Z","cross_cats_sorted":["math-ph","math.MP","quant-ph"],"title_canon_sha256":"ea344ea921812cf1c820fd2a50c858c59c8bafa6c19f8623b7d791ce6ade930f","abstract_canon_sha256":"c7766052e1c1688f13459e5e1b2cae1a0d54d99b9a7bd8881e28c6b899c33aa6"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-15T00:21:12.226946Z","signature_b64":"bhgMsyBUY0EN+n2Ml+J85U8prKLxIfmxaxXg2rGw7uesU84eUMJHvlYRhiODLWxATj66F2XcOijc/+ERdd4lAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"74755239c26a6657ae9ccf6701b83eb49371f825944e4c626e2161905421d97d","last_reissued_at":"2026-07-15T00:21:12.226016Z","signature_status":"signed_v1","first_computed_at":"2026-07-15T00:21:12.226016Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"On the completeness of contraction map proof method for holographic entropy inequalities","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["math-ph","math.MP","quant-ph"],"primary_cat":"hep-th","authors_text":"Joydeep Naskar, Keiichiro Furuya, Ning Bao","submitted_at":"2025-06-22T16:21:54Z","abstract_excerpt":"The contraction map proof method is the commonly used method to prove holographic entropy inequalities. Existence of a contraction map corresponding to a holographic entropy inequality is a sufficient condition for its validity. But is it also necessary? In this note, we answer that question in affirmative for all linear holographic entropy inequalities with rational coefficients. We show that the pre-image of a non-contraction map is not a hypercube, but a proper cubical subgraph, and show that this manifests as alterations to the geodesic structure in the bulk, which leads to the violation o"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.18086","kind":"arxiv","version":3},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2506.18086/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2506.18086","created_at":"2026-07-15T00:21:12.226455+00:00"},{"alias_kind":"arxiv_version","alias_value":"2506.18086v3","created_at":"2026-07-15T00:21:12.226455+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.18086","created_at":"2026-07-15T00:21:12.226455+00:00"},{"alias_kind":"pith_short_12","alias_value":"OR2VEOOCNJTF","created_at":"2026-07-15T00:21:12.226455+00:00"},{"alias_kind":"pith_short_16","alias_value":"OR2VEOOCNJTFPLU4","created_at":"2026-07-15T00:21:12.226455+00:00"},{"alias_kind":"pith_short_8","alias_value":"OR2VEOOC","created_at":"2026-07-15T00:21:12.226455+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":2,"internal_anchor_count":2,"sample":[{"citing_arxiv_id":"2605.26617","citing_title":"On a mixed-state extension of the holographic signal inequality","ref_index":6,"is_internal_anchor":true},{"citing_arxiv_id":"2601.19979","citing_title":"Exploring the holographic entropy cone via reinforcement learning","ref_index":17,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/OR2VEOOCNJTFPLU4Z5TQDOB6WS","json":"https://pith.science/pith/OR2VEOOCNJTFPLU4Z5TQDOB6WS.json","graph_json":"https://pith.science/api/pith-number/OR2VEOOCNJTFPLU4Z5TQDOB6WS/graph.json","events_json":"https://pith.science/api/pith-number/OR2VEOOCNJTFPLU4Z5TQDOB6WS/events.json","paper":"https://pith.science/paper/OR2VEOOC"},"agent_actions":{"view_html":"https://pith.science/pith/OR2VEOOCNJTFPLU4Z5TQDOB6WS","download_json":"https://pith.science/pith/OR2VEOOCNJTFPLU4Z5TQDOB6WS.json","view_paper":"https://pith.science/paper/OR2VEOOC","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2506.18086&json=true","fetch_graph":"https://pith.science/api/pith-number/OR2VEOOCNJTFPLU4Z5TQDOB6WS/graph.json","fetch_events":"https://pith.science/api/pith-number/OR2VEOOCNJTFPLU4Z5TQDOB6WS/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/OR2VEOOCNJTFPLU4Z5TQDOB6WS/action/timestamp_anchor","attest_storage":"https://pith.science/pith/OR2VEOOCNJTFPLU4Z5TQDOB6WS/action/storage_attestation","attest_author":"https://pith.science/pith/OR2VEOOCNJTFPLU4Z5TQDOB6WS/action/author_attestation","sign_citation":"https://pith.science/pith/OR2VEOOCNJTFPLU4Z5TQDOB6WS/action/citation_signature","submit_replication":"https://pith.science/pith/OR2VEOOCNJTFPLU4Z5TQDOB6WS/action/replication_record"}},"created_at":"2026-07-15T00:21:12.226455+00:00","updated_at":"2026-07-15T00:21:12.226455+00:00"}