{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:B7K2NFHVRTUXSSAUIXU3SXPJ2B","short_pith_number":"pith:B7K2NFHV","canonical_record":{"source":{"id":"1604.05872","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MS","submitted_at":"2016-04-20T09:39:29Z","cross_cats_sorted":[],"title_canon_sha256":"7b15c70fe25b5fdae8773bcd2ba8068b2d616c4384a6e38f858ff50a012688d3","abstract_canon_sha256":"cf9c041e2152c88f2d00d338e067cb6fafa2bfb213d3c95eaeba8085b4f491b0"},"schema_version":"1.0"},"canonical_sha256":"0fd5a694f58ce979481445e9b95de9d0432fa89e63a87715319603c04da0e67e","source":{"kind":"arxiv","id":"1604.05872","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1604.05872","created_at":"2026-05-18T00:44:46Z"},{"alias_kind":"arxiv_version","alias_value":"1604.05872v1","created_at":"2026-05-18T00:44:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1604.05872","created_at":"2026-05-18T00:44:46Z"},{"alias_kind":"pith_short_12","alias_value":"B7K2NFHVRTUX","created_at":"2026-05-18T12:30:07Z"},{"alias_kind":"pith_short_16","alias_value":"B7K2NFHVRTUXSSAU","created_at":"2026-05-18T12:30:07Z"},{"alias_kind":"pith_short_8","alias_value":"B7K2NFHV","created_at":"2026-05-18T12:30:07Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:B7K2NFHVRTUXSSAUIXU3SXPJ2B","target":"record","payload":{"canonical_record":{"source":{"id":"1604.05872","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MS","submitted_at":"2016-04-20T09:39:29Z","cross_cats_sorted":[],"title_canon_sha256":"7b15c70fe25b5fdae8773bcd2ba8068b2d616c4384a6e38f858ff50a012688d3","abstract_canon_sha256":"cf9c041e2152c88f2d00d338e067cb6fafa2bfb213d3c95eaeba8085b4f491b0"},"schema_version":"1.0"},"canonical_sha256":"0fd5a694f58ce979481445e9b95de9d0432fa89e63a87715319603c04da0e67e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:44:46.053279Z","signature_b64":"EZNKkoyrwSH8VURPmjVd2kVhEdgsyD20KkNjkiM70TZdzeuae/SvHglLg0+jBJtmHRqfkHx1thp7sYgP8fi7AQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0fd5a694f58ce979481445e9b95de9d0432fa89e63a87715319603c04da0e67e","last_reissued_at":"2026-05-18T00:44:46.052699Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:44:46.052699Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1604.05872","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-18T00:44:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eqR5L2EbpEpL/cXMXbMoEgIHfDTWNQgMrt+CnBjHXi+N9bvuATQ3kSAKey17o+yuPeeEKENH/TaB4OLjyfRWCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-22T21:22:37.758980Z"},"content_sha256":"0a003db641fd9fab47f77feeb8bb7a2fc86789e0456faababaac40b6b21e00a4","schema_version":"1.0","event_id":"sha256:0a003db641fd9fab47f77feeb8bb7a2fc86789e0456faababaac40b6b21e00a4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:B7K2NFHVRTUXSSAUIXU3SXPJ2B","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"An algorithm for the optimization of finite element integration loops","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.MS","authors_text":"David A. Ham, Fabio Luporini, Paul H. J. Kelly","submitted_at":"2016-04-20T09:39:29Z","abstract_excerpt":"We present an algorithm for the optimization of a class of finite element integration loop nests. This algorithm, which exploits fundamental mathematical properties of finite element operators, is proven to achieve a locally optimal operation count. In specified circumstances the optimum achieved is global. Extensive numerical experiments demonstrate significant performance improvements over the state of the art in finite element code generation in almost all cases. This validates the effectiveness of the algorithm presented here, and illustrates its limitations."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1604.05872","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-18T00:44:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HmmF0F74Lx3wZVzuPWjQo2jKfTCtZ/TzIebdkofpC/9JajoHPzX1ru8dqx0launNxn6POsKE/Yh/4XOKrSdrAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-22T21:22:37.759657Z"},"content_sha256":"173a0c3c8e928ef6f8d87831a5579d90bd4e7490db015bf3120c55a7363b5410","schema_version":"1.0","event_id":"sha256:173a0c3c8e928ef6f8d87831a5579d90bd4e7490db015bf3120c55a7363b5410"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/B7K2NFHVRTUXSSAUIXU3SXPJ2B/bundle.json","state_url":"https://pith.science/pith/B7K2NFHVRTUXSSAUIXU3SXPJ2B/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/B7K2NFHVRTUXSSAUIXU3SXPJ2B/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-22T21:22:37Z","links":{"resolver":"https://pith.science/pith/B7K2NFHVRTUXSSAUIXU3SXPJ2B","bundle":"https://pith.science/pith/B7K2NFHVRTUXSSAUIXU3SXPJ2B/bundle.json","state":"https://pith.science/pith/B7K2NFHVRTUXSSAUIXU3SXPJ2B/state.json","well_known_bundle":"https://pith.science/.well-known/pith/B7K2NFHVRTUXSSAUIXU3SXPJ2B/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:B7K2NFHVRTUXSSAUIXU3SXPJ2B","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":"cf9c041e2152c88f2d00d338e067cb6fafa2bfb213d3c95eaeba8085b4f491b0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MS","submitted_at":"2016-04-20T09:39:29Z","title_canon_sha256":"7b15c70fe25b5fdae8773bcd2ba8068b2d616c4384a6e38f858ff50a012688d3"},"schema_version":"1.0","source":{"id":"1604.05872","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1604.05872","created_at":"2026-05-18T00:44:46Z"},{"alias_kind":"arxiv_version","alias_value":"1604.05872v1","created_at":"2026-05-18T00:44:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1604.05872","created_at":"2026-05-18T00:44:46Z"},{"alias_kind":"pith_short_12","alias_value":"B7K2NFHVRTUX","created_at":"2026-05-18T12:30:07Z"},{"alias_kind":"pith_short_16","alias_value":"B7K2NFHVRTUXSSAU","created_at":"2026-05-18T12:30:07Z"},{"alias_kind":"pith_short_8","alias_value":"B7K2NFHV","created_at":"2026-05-18T12:30:07Z"}],"graph_snapshots":[{"event_id":"sha256:173a0c3c8e928ef6f8d87831a5579d90bd4e7490db015bf3120c55a7363b5410","target":"graph","created_at":"2026-05-18T00:44:46Z","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":"We present an algorithm for the optimization of a class of finite element integration loop nests. This algorithm, which exploits fundamental mathematical properties of finite element operators, is proven to achieve a locally optimal operation count. In specified circumstances the optimum achieved is global. Extensive numerical experiments demonstrate significant performance improvements over the state of the art in finite element code generation in almost all cases. This validates the effectiveness of the algorithm presented here, and illustrates its limitations.","authors_text":"David A. Ham, Fabio Luporini, Paul H. J. Kelly","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MS","submitted_at":"2016-04-20T09:39:29Z","title":"An algorithm for the optimization of finite element integration loops"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1604.05872","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:0a003db641fd9fab47f77feeb8bb7a2fc86789e0456faababaac40b6b21e00a4","target":"record","created_at":"2026-05-18T00:44:46Z","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":"cf9c041e2152c88f2d00d338e067cb6fafa2bfb213d3c95eaeba8085b4f491b0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MS","submitted_at":"2016-04-20T09:39:29Z","title_canon_sha256":"7b15c70fe25b5fdae8773bcd2ba8068b2d616c4384a6e38f858ff50a012688d3"},"schema_version":"1.0","source":{"id":"1604.05872","kind":"arxiv","version":1}},"canonical_sha256":"0fd5a694f58ce979481445e9b95de9d0432fa89e63a87715319603c04da0e67e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0fd5a694f58ce979481445e9b95de9d0432fa89e63a87715319603c04da0e67e","first_computed_at":"2026-05-18T00:44:46.052699Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:44:46.052699Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"EZNKkoyrwSH8VURPmjVd2kVhEdgsyD20KkNjkiM70TZdzeuae/SvHglLg0+jBJtmHRqfkHx1thp7sYgP8fi7AQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:44:46.053279Z","signed_message":"canonical_sha256_bytes"},"source_id":"1604.05872","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0a003db641fd9fab47f77feeb8bb7a2fc86789e0456faababaac40b6b21e00a4","sha256:173a0c3c8e928ef6f8d87831a5579d90bd4e7490db015bf3120c55a7363b5410"],"state_sha256":"b109ef4d81a922b645cfaf0f0cb5a538f22f17068536e8e78c37c0dec867824b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"N08p4yBGjPrj1H/gx3p8Zsm0KFnJszSv9kuJc3wp4vh1SeWVMXg3Do2MiStCH4/0pwtyJ+wkqEADUodglMNXCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-22T21:22:37.763342Z","bundle_sha256":"ecfc7c7db08b4d072f528a189083e1e2bbaff4371b0f5a79a1707987f846a256"}}