{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:UVKRUA43WBUPGIL4DUO5REZGR5","short_pith_number":"pith:UVKRUA43","canonical_record":{"source":{"id":"1203.6186","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2012-03-28T07:51:11Z","cross_cats_sorted":[],"title_canon_sha256":"5e2fc3d334c41af04ace94cf9f2c258da28290ac08eb45e90f835557660de912","abstract_canon_sha256":"1e97fb2fe04b7f3deb8f152b50ff3bb8a0d056255008c334c2cb10a8b5598cd6"},"schema_version":"1.0"},"canonical_sha256":"a5551a039bb068f3217c1d1dd893268f456838de75140ff079e29b57d193eedd","source":{"kind":"arxiv","id":"1203.6186","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1203.6186","created_at":"2026-05-18T03:27:54Z"},{"alias_kind":"arxiv_version","alias_value":"1203.6186v4","created_at":"2026-05-18T03:27:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1203.6186","created_at":"2026-05-18T03:27:54Z"},{"alias_kind":"pith_short_12","alias_value":"UVKRUA43WBUP","created_at":"2026-05-18T12:27:25Z"},{"alias_kind":"pith_short_16","alias_value":"UVKRUA43WBUPGIL4","created_at":"2026-05-18T12:27:25Z"},{"alias_kind":"pith_short_8","alias_value":"UVKRUA43","created_at":"2026-05-18T12:27:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:UVKRUA43WBUPGIL4DUO5REZGR5","target":"record","payload":{"canonical_record":{"source":{"id":"1203.6186","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2012-03-28T07:51:11Z","cross_cats_sorted":[],"title_canon_sha256":"5e2fc3d334c41af04ace94cf9f2c258da28290ac08eb45e90f835557660de912","abstract_canon_sha256":"1e97fb2fe04b7f3deb8f152b50ff3bb8a0d056255008c334c2cb10a8b5598cd6"},"schema_version":"1.0"},"canonical_sha256":"a5551a039bb068f3217c1d1dd893268f456838de75140ff079e29b57d193eedd","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:27:54.804664Z","signature_b64":"Ui585Z4EK8S7tqXhFSI8JdhXdCd+zdFgjdp3tzEIjTI1tq+sFVjqN/QRSOD0YRUlI5nLjNyomg3Vqum6m7W9DQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a5551a039bb068f3217c1d1dd893268f456838de75140ff079e29b57d193eedd","last_reissued_at":"2026-05-18T03:27:54.804025Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:27:54.804025Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1203.6186","source_version":4,"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-18T03:27:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0veaCkCUaVsMhLaHqbk6o8jiCPh64simQhp008YSloEgJRnGdDd/UerV1gIlCQlSG+d0Oi5q5ifLEeNIjGOkCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T03:26:38.929860Z"},"content_sha256":"76820c7bcdcbe970fe2437e0ab30eba502c5121ddbc71787c95d8f5824ec0bb1","schema_version":"1.0","event_id":"sha256:76820c7bcdcbe970fe2437e0ab30eba502c5121ddbc71787c95d8f5824ec0bb1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:UVKRUA43WBUPGIL4DUO5REZGR5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"An analysis of inhomogeneous signature-based Gr\\\"obner basis computations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.AC","authors_text":"Christian Eder","submitted_at":"2012-03-28T07:51:11Z","abstract_excerpt":"In this paper we give an insight into the behaviour of signature-based Gr\\\"obner basis algorithms, like F5, G2V or SB, for inhomogeneous input. On the one hand, it seems that the restriction to sig-safe reductions puts a penalty on the performance. The lost connection between polynomial degree and signature degree can disallow lots of reductions and can lead to an overhead in the computations. On the other hand, the way critical pairs are sorted and corresponding s-polynomials are handled in signature-based algorithms is a very efficient one, strongly connected to sorting w.r.t. the well-known"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1203.6186","kind":"arxiv","version":4},"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-18T03:27:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JbZQakXDnlMpIqfnkATEhJGoYuvTgdjj15zu0bf50h0Q0R0aVtQLI+HOJxfwTJi+kovZsXflac0GjvuH1Tk+Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T03:26:38.930505Z"},"content_sha256":"b7ffe2a76a12aa845408279577db8042469f8eec706b144a528153092ddc653e","schema_version":"1.0","event_id":"sha256:b7ffe2a76a12aa845408279577db8042469f8eec706b144a528153092ddc653e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UVKRUA43WBUPGIL4DUO5REZGR5/bundle.json","state_url":"https://pith.science/pith/UVKRUA43WBUPGIL4DUO5REZGR5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UVKRUA43WBUPGIL4DUO5REZGR5/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-06-05T03:26:38Z","links":{"resolver":"https://pith.science/pith/UVKRUA43WBUPGIL4DUO5REZGR5","bundle":"https://pith.science/pith/UVKRUA43WBUPGIL4DUO5REZGR5/bundle.json","state":"https://pith.science/pith/UVKRUA43WBUPGIL4DUO5REZGR5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UVKRUA43WBUPGIL4DUO5REZGR5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:UVKRUA43WBUPGIL4DUO5REZGR5","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":"1e97fb2fe04b7f3deb8f152b50ff3bb8a0d056255008c334c2cb10a8b5598cd6","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2012-03-28T07:51:11Z","title_canon_sha256":"5e2fc3d334c41af04ace94cf9f2c258da28290ac08eb45e90f835557660de912"},"schema_version":"1.0","source":{"id":"1203.6186","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1203.6186","created_at":"2026-05-18T03:27:54Z"},{"alias_kind":"arxiv_version","alias_value":"1203.6186v4","created_at":"2026-05-18T03:27:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1203.6186","created_at":"2026-05-18T03:27:54Z"},{"alias_kind":"pith_short_12","alias_value":"UVKRUA43WBUP","created_at":"2026-05-18T12:27:25Z"},{"alias_kind":"pith_short_16","alias_value":"UVKRUA43WBUPGIL4","created_at":"2026-05-18T12:27:25Z"},{"alias_kind":"pith_short_8","alias_value":"UVKRUA43","created_at":"2026-05-18T12:27:25Z"}],"graph_snapshots":[{"event_id":"sha256:b7ffe2a76a12aa845408279577db8042469f8eec706b144a528153092ddc653e","target":"graph","created_at":"2026-05-18T03:27:54Z","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":"In this paper we give an insight into the behaviour of signature-based Gr\\\"obner basis algorithms, like F5, G2V or SB, for inhomogeneous input. On the one hand, it seems that the restriction to sig-safe reductions puts a penalty on the performance. The lost connection between polynomial degree and signature degree can disallow lots of reductions and can lead to an overhead in the computations. On the other hand, the way critical pairs are sorted and corresponding s-polynomials are handled in signature-based algorithms is a very efficient one, strongly connected to sorting w.r.t. the well-known","authors_text":"Christian Eder","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2012-03-28T07:51:11Z","title":"An analysis of inhomogeneous signature-based Gr\\\"obner basis computations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1203.6186","kind":"arxiv","version":4},"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:76820c7bcdcbe970fe2437e0ab30eba502c5121ddbc71787c95d8f5824ec0bb1","target":"record","created_at":"2026-05-18T03:27:54Z","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":"1e97fb2fe04b7f3deb8f152b50ff3bb8a0d056255008c334c2cb10a8b5598cd6","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2012-03-28T07:51:11Z","title_canon_sha256":"5e2fc3d334c41af04ace94cf9f2c258da28290ac08eb45e90f835557660de912"},"schema_version":"1.0","source":{"id":"1203.6186","kind":"arxiv","version":4}},"canonical_sha256":"a5551a039bb068f3217c1d1dd893268f456838de75140ff079e29b57d193eedd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a5551a039bb068f3217c1d1dd893268f456838de75140ff079e29b57d193eedd","first_computed_at":"2026-05-18T03:27:54.804025Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:27:54.804025Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Ui585Z4EK8S7tqXhFSI8JdhXdCd+zdFgjdp3tzEIjTI1tq+sFVjqN/QRSOD0YRUlI5nLjNyomg3Vqum6m7W9DQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:27:54.804664Z","signed_message":"canonical_sha256_bytes"},"source_id":"1203.6186","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:76820c7bcdcbe970fe2437e0ab30eba502c5121ddbc71787c95d8f5824ec0bb1","sha256:b7ffe2a76a12aa845408279577db8042469f8eec706b144a528153092ddc653e"],"state_sha256":"fc429d83a4d98798feb43f90e109bc347a358fb12be144aeb99f5a387aac2457"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"89nZi3UhNrY3Bg5bY9maWBssoozi/YxFqw9xSOXey6pEUAmgjdXbrItDUk/XT9DDoccYabqnE+wIHEw/wlr3Aw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T03:26:38.933574Z","bundle_sha256":"18bea84783e069fe0c5b31b9d2d0d807b6d0f36dc8de7f5ec5461c9cf223ee7d"}}