{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:PR6ZUPNTURNMYPEOSFOCBQGAZF","short_pith_number":"pith:PR6ZUPNT","canonical_record":{"source":{"id":"1610.02075","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2016-10-06T21:28:54Z","cross_cats_sorted":["math.AG"],"title_canon_sha256":"d495ecf43dad28ceaf0fe6db7e113a13547e76826d59fce8ad540931d10952b7","abstract_canon_sha256":"28250ac7bfe30f546a46d76cd9ad1532dc6ba88f9deea7d5ff6178b0cf3c2f8a"},"schema_version":"1.0"},"canonical_sha256":"7c7d9a3db3a45acc3c8e915c20c0c0c95a3fb8658b7609670816fbb621c40db5","source":{"kind":"arxiv","id":"1610.02075","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1610.02075","created_at":"2026-05-18T00:38:42Z"},{"alias_kind":"arxiv_version","alias_value":"1610.02075v2","created_at":"2026-05-18T00:38:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1610.02075","created_at":"2026-05-18T00:38:42Z"},{"alias_kind":"pith_short_12","alias_value":"PR6ZUPNTURNM","created_at":"2026-05-18T12:30:39Z"},{"alias_kind":"pith_short_16","alias_value":"PR6ZUPNTURNMYPEO","created_at":"2026-05-18T12:30:39Z"},{"alias_kind":"pith_short_8","alias_value":"PR6ZUPNT","created_at":"2026-05-18T12:30:39Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:PR6ZUPNTURNMYPEOSFOCBQGAZF","target":"record","payload":{"canonical_record":{"source":{"id":"1610.02075","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2016-10-06T21:28:54Z","cross_cats_sorted":["math.AG"],"title_canon_sha256":"d495ecf43dad28ceaf0fe6db7e113a13547e76826d59fce8ad540931d10952b7","abstract_canon_sha256":"28250ac7bfe30f546a46d76cd9ad1532dc6ba88f9deea7d5ff6178b0cf3c2f8a"},"schema_version":"1.0"},"canonical_sha256":"7c7d9a3db3a45acc3c8e915c20c0c0c95a3fb8658b7609670816fbb621c40db5","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:38:42.052149Z","signature_b64":"1cdUwIfrItF0eC+KgZGlkGXxBilSNKIi/FNXk1wOyucIGN+lUQAHZkItes7wYRFFTpUJGoVhSWiOJoYeGmjFDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7c7d9a3db3a45acc3c8e915c20c0c0c95a3fb8658b7609670816fbb621c40db5","last_reissued_at":"2026-05-18T00:38:42.051601Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:38:42.051601Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1610.02075","source_version":2,"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:38:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7tmxy3W70Z0mg7OqzLM2NxVZI6EFDm8E/Mdg9hLra5E4elowoSg+14sIPNdkcj/Q0SJfKEMKrk07l3lyzMSBDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T05:25:53.590367Z"},"content_sha256":"4c9dcb8fd879e8efd99ab31d2b5a75d5ff7ce13dc53322443112de7a4fbd7f44","schema_version":"1.0","event_id":"sha256:4c9dcb8fd879e8efd99ab31d2b5a75d5ff7ce13dc53322443112de7a4fbd7f44"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:PR6ZUPNTURNMYPEOSFOCBQGAZF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Equivariant Gr\\\"obner bases","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.AG"],"primary_cat":"math.AC","authors_text":"Anton Leykin, Christopher J. Hillar, Robert Krone","submitted_at":"2016-10-06T21:28:54Z","abstract_excerpt":"Algorithmic computation in polynomial rings is a classical topic in mathematics. However, little attention has been given to the case of rings with an infinite number of variables until recently when theoretical efforts have made possible the development of effective routines. Ability to compute relies on finite generation up to symmetry for ideals invariant under a large group or monoid action, such as the permutations of the natural numbers. We summarize the current state of theory and applications for equivariant Gr\\\"obner bases, develop several algorithms to compute them, showcase our soft"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1610.02075","kind":"arxiv","version":2},"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:38:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QpoXB8qkC2Do7vq1yjlczKXby96KUJ8hTV4sVRW3x0fBHsfPqYLWr308fWQwMShwTEQjoEAor92neYiYf71bBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T05:25:53.590711Z"},"content_sha256":"88fb0d0780628892488493d840043bbb50a54aef107f0d9f709ebf6ed90590ce","schema_version":"1.0","event_id":"sha256:88fb0d0780628892488493d840043bbb50a54aef107f0d9f709ebf6ed90590ce"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PR6ZUPNTURNMYPEOSFOCBQGAZF/bundle.json","state_url":"https://pith.science/pith/PR6ZUPNTURNMYPEOSFOCBQGAZF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PR6ZUPNTURNMYPEOSFOCBQGAZF/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-03T05:25:53Z","links":{"resolver":"https://pith.science/pith/PR6ZUPNTURNMYPEOSFOCBQGAZF","bundle":"https://pith.science/pith/PR6ZUPNTURNMYPEOSFOCBQGAZF/bundle.json","state":"https://pith.science/pith/PR6ZUPNTURNMYPEOSFOCBQGAZF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PR6ZUPNTURNMYPEOSFOCBQGAZF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:PR6ZUPNTURNMYPEOSFOCBQGAZF","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":"28250ac7bfe30f546a46d76cd9ad1532dc6ba88f9deea7d5ff6178b0cf3c2f8a","cross_cats_sorted":["math.AG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2016-10-06T21:28:54Z","title_canon_sha256":"d495ecf43dad28ceaf0fe6db7e113a13547e76826d59fce8ad540931d10952b7"},"schema_version":"1.0","source":{"id":"1610.02075","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1610.02075","created_at":"2026-05-18T00:38:42Z"},{"alias_kind":"arxiv_version","alias_value":"1610.02075v2","created_at":"2026-05-18T00:38:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1610.02075","created_at":"2026-05-18T00:38:42Z"},{"alias_kind":"pith_short_12","alias_value":"PR6ZUPNTURNM","created_at":"2026-05-18T12:30:39Z"},{"alias_kind":"pith_short_16","alias_value":"PR6ZUPNTURNMYPEO","created_at":"2026-05-18T12:30:39Z"},{"alias_kind":"pith_short_8","alias_value":"PR6ZUPNT","created_at":"2026-05-18T12:30:39Z"}],"graph_snapshots":[{"event_id":"sha256:88fb0d0780628892488493d840043bbb50a54aef107f0d9f709ebf6ed90590ce","target":"graph","created_at":"2026-05-18T00:38:42Z","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":"Algorithmic computation in polynomial rings is a classical topic in mathematics. However, little attention has been given to the case of rings with an infinite number of variables until recently when theoretical efforts have made possible the development of effective routines. Ability to compute relies on finite generation up to symmetry for ideals invariant under a large group or monoid action, such as the permutations of the natural numbers. We summarize the current state of theory and applications for equivariant Gr\\\"obner bases, develop several algorithms to compute them, showcase our soft","authors_text":"Anton Leykin, Christopher J. Hillar, Robert Krone","cross_cats":["math.AG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2016-10-06T21:28:54Z","title":"Equivariant Gr\\\"obner bases"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1610.02075","kind":"arxiv","version":2},"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:4c9dcb8fd879e8efd99ab31d2b5a75d5ff7ce13dc53322443112de7a4fbd7f44","target":"record","created_at":"2026-05-18T00:38:42Z","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":"28250ac7bfe30f546a46d76cd9ad1532dc6ba88f9deea7d5ff6178b0cf3c2f8a","cross_cats_sorted":["math.AG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2016-10-06T21:28:54Z","title_canon_sha256":"d495ecf43dad28ceaf0fe6db7e113a13547e76826d59fce8ad540931d10952b7"},"schema_version":"1.0","source":{"id":"1610.02075","kind":"arxiv","version":2}},"canonical_sha256":"7c7d9a3db3a45acc3c8e915c20c0c0c95a3fb8658b7609670816fbb621c40db5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7c7d9a3db3a45acc3c8e915c20c0c0c95a3fb8658b7609670816fbb621c40db5","first_computed_at":"2026-05-18T00:38:42.051601Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:38:42.051601Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"1cdUwIfrItF0eC+KgZGlkGXxBilSNKIi/FNXk1wOyucIGN+lUQAHZkItes7wYRFFTpUJGoVhSWiOJoYeGmjFDg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:38:42.052149Z","signed_message":"canonical_sha256_bytes"},"source_id":"1610.02075","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4c9dcb8fd879e8efd99ab31d2b5a75d5ff7ce13dc53322443112de7a4fbd7f44","sha256:88fb0d0780628892488493d840043bbb50a54aef107f0d9f709ebf6ed90590ce"],"state_sha256":"41fd9c95e9f573fe77ad0c5350564ab89132aca8a2409add0053d7ee6169f57c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IddVVRdMEgUbpHWv/EcXeIdwGEOgMi1XPeY8QrBoZxLhigqm9GpwNj9qvM1tyvsGsA91J9LxiE5S93qjNuFKDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T05:25:53.592609Z","bundle_sha256":"6ed377bf69e57181c31497d6d918b84d707cb0ae502fa97570f7dbe9edd379dd"}}