{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:H2L3JYDWKSAITGG4DJMPAHYI32","short_pith_number":"pith:H2L3JYDW","canonical_record":{"source":{"id":"2506.16397","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CC","submitted_at":"2025-06-19T15:29:23Z","cross_cats_sorted":["cs.LO","math.LO"],"title_canon_sha256":"648983a190cde58950119ca2160fd756ca639a828ec84071372795f9644a5022","abstract_canon_sha256":"f39f218a8cf7790b3b566022cae3593c24b21f6faabd86ff1256a067df5aea68"},"schema_version":"1.0"},"canonical_sha256":"3e97b4e07654808998dc1a58f01f08dea6a8592de8d2fb92e306bc5d3872840a","source":{"kind":"arxiv","id":"2506.16397","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.16397","created_at":"2026-07-05T11:24:35Z"},{"alias_kind":"arxiv_version","alias_value":"2506.16397v1","created_at":"2026-07-05T11:24:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.16397","created_at":"2026-07-05T11:24:35Z"},{"alias_kind":"pith_short_12","alias_value":"H2L3JYDWKSAI","created_at":"2026-07-05T11:24:35Z"},{"alias_kind":"pith_short_16","alias_value":"H2L3JYDWKSAITGG4","created_at":"2026-07-05T11:24:35Z"},{"alias_kind":"pith_short_8","alias_value":"H2L3JYDW","created_at":"2026-07-05T11:24:35Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:H2L3JYDWKSAITGG4DJMPAHYI32","target":"record","payload":{"canonical_record":{"source":{"id":"2506.16397","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CC","submitted_at":"2025-06-19T15:29:23Z","cross_cats_sorted":["cs.LO","math.LO"],"title_canon_sha256":"648983a190cde58950119ca2160fd756ca639a828ec84071372795f9644a5022","abstract_canon_sha256":"f39f218a8cf7790b3b566022cae3593c24b21f6faabd86ff1256a067df5aea68"},"schema_version":"1.0"},"canonical_sha256":"3e97b4e07654808998dc1a58f01f08dea6a8592de8d2fb92e306bc5d3872840a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:24:35.780335Z","signature_b64":"1glg/KX06nstkhGYd/3lW4CLDanWflC0hDYKudcDEwy2vM3KDlnR6+VgNGRH1hZAd2U7YNz22nmed3y2TVaPBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3e97b4e07654808998dc1a58f01f08dea6a8592de8d2fb92e306bc5d3872840a","last_reissued_at":"2026-07-05T11:24:35.779851Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:24:35.779851Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2506.16397","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T11:24:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VepsTFAJN64hjywnnCVazyni/yD3Dg8idGjgV9CFneUjZ3J5vKZdAp7Kuvbai/MOiOISr5cshoIVbdav85swAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T10:38:03.754211Z"},"content_sha256":"dbb57a940a4df646e4f90e7ffc85c52791876512ebfe661a39465ce041ee17c4","schema_version":"1.0","event_id":"sha256:dbb57a940a4df646e4f90e7ffc85c52791876512ebfe661a39465ce041ee17c4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:H2L3JYDWKSAITGG4DJMPAHYI32","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"New Bounds for the Ideal Proof System in Positive Characteristic","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LO","math.LO"],"primary_cat":"cs.CC","authors_text":"Amik Raj Behera, Nutan Limaye, Srikanth Srinivasan, Varun Ramanathan","submitted_at":"2025-06-19T15:29:23Z","abstract_excerpt":"In this work, we prove upper and lower bounds over fields of positive characteristics for several fragments of the Ideal Proof System (IPS), an algebraic proof system introduced by Grochow and Pitassi (J. ACM 2018). Our results extend the works of Forbes, Shpilka, Tzameret, and Wigderson (Theory of Computing 2021) and also of Govindasamy, Hakoniemi, and Tzameret (FOCS 2022). These works primarily focused on proof systems over fields of characteristic $0$, and we are able to extend these results to positive characteristic.\n  The question of proving general IPS lower bounds over positive charact"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.16397","kind":"arxiv","version":1},"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.16397/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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T11:24:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"z+8heZnGPCCpmT7BwrqG+XCQzMEtYxMxcy4URXzg9xzY8HXczMLImzvkiWTuhAeU7Qsg+xMc/Nuk14PXsEujAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T10:38:03.754710Z"},"content_sha256":"7450798dac907acfe2a3a2f27d0d52dfb99b94d6199baaf0b5e369f727458b8b","schema_version":"1.0","event_id":"sha256:7450798dac907acfe2a3a2f27d0d52dfb99b94d6199baaf0b5e369f727458b8b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/H2L3JYDWKSAITGG4DJMPAHYI32/bundle.json","state_url":"https://pith.science/pith/H2L3JYDWKSAITGG4DJMPAHYI32/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/H2L3JYDWKSAITGG4DJMPAHYI32/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-05T10:38:03Z","links":{"resolver":"https://pith.science/pith/H2L3JYDWKSAITGG4DJMPAHYI32","bundle":"https://pith.science/pith/H2L3JYDWKSAITGG4DJMPAHYI32/bundle.json","state":"https://pith.science/pith/H2L3JYDWKSAITGG4DJMPAHYI32/state.json","well_known_bundle":"https://pith.science/.well-known/pith/H2L3JYDWKSAITGG4DJMPAHYI32/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:H2L3JYDWKSAITGG4DJMPAHYI32","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":"f39f218a8cf7790b3b566022cae3593c24b21f6faabd86ff1256a067df5aea68","cross_cats_sorted":["cs.LO","math.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CC","submitted_at":"2025-06-19T15:29:23Z","title_canon_sha256":"648983a190cde58950119ca2160fd756ca639a828ec84071372795f9644a5022"},"schema_version":"1.0","source":{"id":"2506.16397","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.16397","created_at":"2026-07-05T11:24:35Z"},{"alias_kind":"arxiv_version","alias_value":"2506.16397v1","created_at":"2026-07-05T11:24:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.16397","created_at":"2026-07-05T11:24:35Z"},{"alias_kind":"pith_short_12","alias_value":"H2L3JYDWKSAI","created_at":"2026-07-05T11:24:35Z"},{"alias_kind":"pith_short_16","alias_value":"H2L3JYDWKSAITGG4","created_at":"2026-07-05T11:24:35Z"},{"alias_kind":"pith_short_8","alias_value":"H2L3JYDW","created_at":"2026-07-05T11:24:35Z"}],"graph_snapshots":[{"event_id":"sha256:7450798dac907acfe2a3a2f27d0d52dfb99b94d6199baaf0b5e369f727458b8b","target":"graph","created_at":"2026-07-05T11:24:35Z","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/2506.16397/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In this work, we prove upper and lower bounds over fields of positive characteristics for several fragments of the Ideal Proof System (IPS), an algebraic proof system introduced by Grochow and Pitassi (J. ACM 2018). Our results extend the works of Forbes, Shpilka, Tzameret, and Wigderson (Theory of Computing 2021) and also of Govindasamy, Hakoniemi, and Tzameret (FOCS 2022). These works primarily focused on proof systems over fields of characteristic $0$, and we are able to extend these results to positive characteristic.\n  The question of proving general IPS lower bounds over positive charact","authors_text":"Amik Raj Behera, Nutan Limaye, Srikanth Srinivasan, Varun Ramanathan","cross_cats":["cs.LO","math.LO"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CC","submitted_at":"2025-06-19T15:29:23Z","title":"New Bounds for the Ideal Proof System in Positive Characteristic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.16397","kind":"arxiv","version":1},"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:dbb57a940a4df646e4f90e7ffc85c52791876512ebfe661a39465ce041ee17c4","target":"record","created_at":"2026-07-05T11:24:35Z","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":"f39f218a8cf7790b3b566022cae3593c24b21f6faabd86ff1256a067df5aea68","cross_cats_sorted":["cs.LO","math.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CC","submitted_at":"2025-06-19T15:29:23Z","title_canon_sha256":"648983a190cde58950119ca2160fd756ca639a828ec84071372795f9644a5022"},"schema_version":"1.0","source":{"id":"2506.16397","kind":"arxiv","version":1}},"canonical_sha256":"3e97b4e07654808998dc1a58f01f08dea6a8592de8d2fb92e306bc5d3872840a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3e97b4e07654808998dc1a58f01f08dea6a8592de8d2fb92e306bc5d3872840a","first_computed_at":"2026-07-05T11:24:35.779851Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:24:35.779851Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"1glg/KX06nstkhGYd/3lW4CLDanWflC0hDYKudcDEwy2vM3KDlnR6+VgNGRH1hZAd2U7YNz22nmed3y2TVaPBA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:24:35.780335Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.16397","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:dbb57a940a4df646e4f90e7ffc85c52791876512ebfe661a39465ce041ee17c4","sha256:7450798dac907acfe2a3a2f27d0d52dfb99b94d6199baaf0b5e369f727458b8b"],"state_sha256":"3340eb1ad71f82c7e3462dc2f8a0eebe3ba16b017c358905eec692750bd8de74"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RCF10ruMLsPNa86jAdzudLCytQDtbiiJKi+bjk5WWaXjENG+Mza7oooHHIE00wT0evYFJyaMzIHb0slg+rSxDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-05T10:38:03.759204Z","bundle_sha256":"653d7b4e903bc7d9904cf88692be9bd81b6f9fa8eb0972eaa4cce21cd5f3142d"}}