{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2008:JWGGFLKFOCEADAO6QR4IGUFIEL","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":"e1f4ee86a991aacec38a5c604e95ee1ce194d81f5a8cbcdd319b48002dcb51a3","cross_cats_sorted":["gr-qc","hep-th"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2008-03-06T13:26:32Z","title_canon_sha256":"aa78b03a82d0ceafbd78ce538a150fa918fe614ba544d46b03794236749b3504"},"schema_version":"1.0","source":{"id":"0803.0862","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0803.0862","created_at":"2026-07-04T17:09:43Z"},{"alias_kind":"arxiv_version","alias_value":"0803.0862v1","created_at":"2026-07-04T17:09:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0803.0862","created_at":"2026-07-04T17:09:43Z"},{"alias_kind":"pith_short_12","alias_value":"JWGGFLKFOCEA","created_at":"2026-07-04T17:09:43Z"},{"alias_kind":"pith_short_16","alias_value":"JWGGFLKFOCEADAO6","created_at":"2026-07-04T17:09:43Z"},{"alias_kind":"pith_short_8","alias_value":"JWGGFLKF","created_at":"2026-07-04T17:09:43Z"}],"graph_snapshots":[{"event_id":"sha256:80a2dbddba2823a76ea8cfacf92ea29183691351614b0f2b1a6e79aa645c53e7","target":"graph","created_at":"2026-07-04T17:09:43Z","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/0803.0862/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We present a very fast implementation of the Butler-Portugal algorithm for index canonicalization with respect to permutation symmetries. It is called xPerm, and has been written as a combination of a Mathematica package and a C subroutine. The latter performs the most demanding parts of the computations and can be linked from any other program or computer algebra system. We demonstrate with tests and timings the effectively polynomial performance of the Butler-Portugal algorithm with respect to the number of indices, though we also show a case in which it is exponential. Our implementation ha","authors_text":"Jose M. Martin-Garcia","cross_cats":["gr-qc","hep-th"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2008-03-06T13:26:32Z","title":"xPerm: fast index canonicalization for tensor computer algebra"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0803.0862","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:0374ab0d13c3e1a4f2a791498a8128cce651ed1c2bdbeb50712f78070fea01a9","target":"record","created_at":"2026-07-04T17:09:43Z","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":"e1f4ee86a991aacec38a5c604e95ee1ce194d81f5a8cbcdd319b48002dcb51a3","cross_cats_sorted":["gr-qc","hep-th"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2008-03-06T13:26:32Z","title_canon_sha256":"aa78b03a82d0ceafbd78ce538a150fa918fe614ba544d46b03794236749b3504"},"schema_version":"1.0","source":{"id":"0803.0862","kind":"arxiv","version":1}},"canonical_sha256":"4d8c62ad4570880181de84788350a822db5233456e2e6af392f07bce4e76826f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4d8c62ad4570880181de84788350a822db5233456e2e6af392f07bce4e76826f","first_computed_at":"2026-07-04T17:09:43.510041Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-04T17:09:43.510041Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"lJUYdPIu3dVeQukXWc2zkNLE+ODMai/IJ28/fvIRAaOS+q0Ky6YW6CxN6z6rXhVY80GLdGaoBbrkXGtu8hz4Cg==","signature_status":"signed_v1","signed_at":"2026-07-04T17:09:43.510385Z","signed_message":"canonical_sha256_bytes"},"source_id":"0803.0862","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0374ab0d13c3e1a4f2a791498a8128cce651ed1c2bdbeb50712f78070fea01a9","sha256:80a2dbddba2823a76ea8cfacf92ea29183691351614b0f2b1a6e79aa645c53e7"],"state_sha256":"63234a34027ed642e21149e4b84c46e6391d751fddda7c47a481a2017f104c79"}