{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:7KJRKBB3PPMQW6GUQJNW237DYX","short_pith_number":"pith:7KJRKBB3","canonical_record":{"source":{"id":"1904.12337","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.CC","submitted_at":"2019-04-28T15:48:00Z","cross_cats_sorted":["cs.DS"],"title_canon_sha256":"d686ce3820786bb998caf6b911f60604c4ee845b71aff011a8c1d1a09652376e","abstract_canon_sha256":"d1d59a155d6d13c0ec832a9b4b02f68db8a671ba5aa602ded01120e47112538b"},"schema_version":"1.0"},"canonical_sha256":"fa9315043b7bd90b78d4825b6d6fe3c5fc10837c508e19cc23ddf2f458d3454e","source":{"kind":"arxiv","id":"1904.12337","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1904.12337","created_at":"2026-05-17T23:47:36Z"},{"alias_kind":"arxiv_version","alias_value":"1904.12337v1","created_at":"2026-05-17T23:47:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1904.12337","created_at":"2026-05-17T23:47:36Z"},{"alias_kind":"pith_short_12","alias_value":"7KJRKBB3PPMQ","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_16","alias_value":"7KJRKBB3PPMQW6GU","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_8","alias_value":"7KJRKBB3","created_at":"2026-05-18T12:33:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:7KJRKBB3PPMQW6GUQJNW237DYX","target":"record","payload":{"canonical_record":{"source":{"id":"1904.12337","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.CC","submitted_at":"2019-04-28T15:48:00Z","cross_cats_sorted":["cs.DS"],"title_canon_sha256":"d686ce3820786bb998caf6b911f60604c4ee845b71aff011a8c1d1a09652376e","abstract_canon_sha256":"d1d59a155d6d13c0ec832a9b4b02f68db8a671ba5aa602ded01120e47112538b"},"schema_version":"1.0"},"canonical_sha256":"fa9315043b7bd90b78d4825b6d6fe3c5fc10837c508e19cc23ddf2f458d3454e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:47:36.735946Z","signature_b64":"nhtzRr8K0j5zQU4WP0NYPxavXEFc7tTiunKPNsthc0eiSb7/gT764DQoiIMtbTFAFxm5OVEydCiPfRsd0XX2CA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fa9315043b7bd90b78d4825b6d6fe3c5fc10837c508e19cc23ddf2f458d3454e","last_reissued_at":"2026-05-17T23:47:36.735438Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:47:36.735438Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1904.12337","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-05-17T23:47:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"v8x/V+YuUTozUOyaiBLfjvDKDhoGXFnjiNzBYXj/3ycYPDa7nPZGxUl/lSd5aK4cDxmrE+TfGmCh+EB4OcdXCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T07:35:09.734777Z"},"content_sha256":"2388d08e0e42df43902a310dea09d72949a309d19247b96c21cf7f8bc70bb266","schema_version":"1.0","event_id":"sha256:2388d08e0e42df43902a310dea09d72949a309d19247b96c21cf7f8bc70bb266"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:7KJRKBB3PPMQW6GUQJNW237DYX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Efficient Black-Box Identity Testing over Free Group Algebra","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":["cs.DS"],"primary_cat":"cs.CC","authors_text":"Abhranil Chatterjee, Partha Mukhopadhyay, Rajit Datta, V.Arvind","submitted_at":"2019-04-28T15:48:00Z","abstract_excerpt":"Hrube\\v{s} and Wigderson [HW14] initiated the study of noncommutative arithmetic circuits with division computing a noncommutative rational function in the free skew field, and raised the question of rational identity testing. It is now known that the problem can be solved in deterministic polynomial time in the white-box model for noncommutative formulas with inverses, and in randomized polynomial time in the black-box model [GGOW16, IQS18, DM18], where the running time is polynomial in the size of the formula. The complexity of identity testing of noncommutative rational functions remains op"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1904.12337","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":""},"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-05-17T23:47:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2EeqCKan40nx83w4RC4KIf+N+rvTulpDhlIs1CJG4GtmZPAlK2EuWTTkCIU5jxJhxETgyGXrDr12ygQeEZBVCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T07:35:09.735474Z"},"content_sha256":"65b772781909997ecdf3789b66bb67f2963a27633b79fac77b360c57a606c594","schema_version":"1.0","event_id":"sha256:65b772781909997ecdf3789b66bb67f2963a27633b79fac77b360c57a606c594"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7KJRKBB3PPMQW6GUQJNW237DYX/bundle.json","state_url":"https://pith.science/pith/7KJRKBB3PPMQW6GUQJNW237DYX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7KJRKBB3PPMQW6GUQJNW237DYX/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-05-31T07:35:09Z","links":{"resolver":"https://pith.science/pith/7KJRKBB3PPMQW6GUQJNW237DYX","bundle":"https://pith.science/pith/7KJRKBB3PPMQW6GUQJNW237DYX/bundle.json","state":"https://pith.science/pith/7KJRKBB3PPMQW6GUQJNW237DYX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7KJRKBB3PPMQW6GUQJNW237DYX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:7KJRKBB3PPMQW6GUQJNW237DYX","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":"d1d59a155d6d13c0ec832a9b4b02f68db8a671ba5aa602ded01120e47112538b","cross_cats_sorted":["cs.DS"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.CC","submitted_at":"2019-04-28T15:48:00Z","title_canon_sha256":"d686ce3820786bb998caf6b911f60604c4ee845b71aff011a8c1d1a09652376e"},"schema_version":"1.0","source":{"id":"1904.12337","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1904.12337","created_at":"2026-05-17T23:47:36Z"},{"alias_kind":"arxiv_version","alias_value":"1904.12337v1","created_at":"2026-05-17T23:47:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1904.12337","created_at":"2026-05-17T23:47:36Z"},{"alias_kind":"pith_short_12","alias_value":"7KJRKBB3PPMQ","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_16","alias_value":"7KJRKBB3PPMQW6GU","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_8","alias_value":"7KJRKBB3","created_at":"2026-05-18T12:33:12Z"}],"graph_snapshots":[{"event_id":"sha256:65b772781909997ecdf3789b66bb67f2963a27633b79fac77b360c57a606c594","target":"graph","created_at":"2026-05-17T23:47:36Z","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"},"paper":{"abstract_excerpt":"Hrube\\v{s} and Wigderson [HW14] initiated the study of noncommutative arithmetic circuits with division computing a noncommutative rational function in the free skew field, and raised the question of rational identity testing. It is now known that the problem can be solved in deterministic polynomial time in the white-box model for noncommutative formulas with inverses, and in randomized polynomial time in the black-box model [GGOW16, IQS18, DM18], where the running time is polynomial in the size of the formula. The complexity of identity testing of noncommutative rational functions remains op","authors_text":"Abhranil Chatterjee, Partha Mukhopadhyay, Rajit Datta, V.Arvind","cross_cats":["cs.DS"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.CC","submitted_at":"2019-04-28T15:48:00Z","title":"Efficient Black-Box Identity Testing over Free Group Algebra"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1904.12337","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:2388d08e0e42df43902a310dea09d72949a309d19247b96c21cf7f8bc70bb266","target":"record","created_at":"2026-05-17T23:47:36Z","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":"d1d59a155d6d13c0ec832a9b4b02f68db8a671ba5aa602ded01120e47112538b","cross_cats_sorted":["cs.DS"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.CC","submitted_at":"2019-04-28T15:48:00Z","title_canon_sha256":"d686ce3820786bb998caf6b911f60604c4ee845b71aff011a8c1d1a09652376e"},"schema_version":"1.0","source":{"id":"1904.12337","kind":"arxiv","version":1}},"canonical_sha256":"fa9315043b7bd90b78d4825b6d6fe3c5fc10837c508e19cc23ddf2f458d3454e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fa9315043b7bd90b78d4825b6d6fe3c5fc10837c508e19cc23ddf2f458d3454e","first_computed_at":"2026-05-17T23:47:36.735438Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:47:36.735438Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"nhtzRr8K0j5zQU4WP0NYPxavXEFc7tTiunKPNsthc0eiSb7/gT764DQoiIMtbTFAFxm5OVEydCiPfRsd0XX2CA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:47:36.735946Z","signed_message":"canonical_sha256_bytes"},"source_id":"1904.12337","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2388d08e0e42df43902a310dea09d72949a309d19247b96c21cf7f8bc70bb266","sha256:65b772781909997ecdf3789b66bb67f2963a27633b79fac77b360c57a606c594"],"state_sha256":"c7aa76d4575fdb179a658d2c190d8f40d2c58c681b6b2c42ed45156b2390729f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HM0uVSbY40vfjXNKwX4Vdo5dY2UL+ObjBn/cR1L8bqEOp5jJijEaaOKK6uRKL50BkRfdpmw/UoI5d7DWZkmFBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T07:35:09.739152Z","bundle_sha256":"3ffb66a7792fa5ea611f1452db3eb802169e2583a4c526e64409c81aea7b4775"}}