{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:ZCIC3QBSQR7KFC2H2B2SJJKOME","short_pith_number":"pith:ZCIC3QBS","canonical_record":{"source":{"id":"1809.09681","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2018-09-25T19:40:34Z","cross_cats_sorted":[],"title_canon_sha256":"a51dc6a2d9de3a28a3c184ddefa414fdda880d651f3a63ce9319bc72d4e63d5f","abstract_canon_sha256":"67d774af2c6ffa3d3076e57b8989b8e6654105358b9f0496f2acb545db47adda"},"schema_version":"1.0"},"canonical_sha256":"c8902dc032847ea28b47d07524a54e6125b3577f4df0151b8385a00b42960ece","source":{"kind":"arxiv","id":"1809.09681","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1809.09681","created_at":"2026-05-18T00:04:44Z"},{"alias_kind":"arxiv_version","alias_value":"1809.09681v1","created_at":"2026-05-18T00:04:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1809.09681","created_at":"2026-05-18T00:04:44Z"},{"alias_kind":"pith_short_12","alias_value":"ZCIC3QBSQR7K","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_16","alias_value":"ZCIC3QBSQR7KFC2H","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_8","alias_value":"ZCIC3QBS","created_at":"2026-05-18T12:33:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:ZCIC3QBSQR7KFC2H2B2SJJKOME","target":"record","payload":{"canonical_record":{"source":{"id":"1809.09681","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2018-09-25T19:40:34Z","cross_cats_sorted":[],"title_canon_sha256":"a51dc6a2d9de3a28a3c184ddefa414fdda880d651f3a63ce9319bc72d4e63d5f","abstract_canon_sha256":"67d774af2c6ffa3d3076e57b8989b8e6654105358b9f0496f2acb545db47adda"},"schema_version":"1.0"},"canonical_sha256":"c8902dc032847ea28b47d07524a54e6125b3577f4df0151b8385a00b42960ece","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:04:44.063369Z","signature_b64":"CbZmyVOM+TzLB060lfYNs4E6Fa1RNZ5v5ASj3aXnaG0ONvIcm1wpWajIGMgocjMnZHSnP/opKKFaQ7VcAAfRCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c8902dc032847ea28b47d07524a54e6125b3577f4df0151b8385a00b42960ece","last_reissued_at":"2026-05-18T00:04:44.062795Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:04:44.062795Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1809.09681","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:04:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eIXEah+g/s+YIWzVXtxwpIOFZPZMCo1YYp7t34PizZEdVqqAl+mzpQbo25Tn3iMSkapnk600WAeZJAdB2eNtDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T04:32:17.796529Z"},"content_sha256":"3df669a57f84a53b32dfa28305a99cd7de8dbafea6724c50ed178740f7e067d9","schema_version":"1.0","event_id":"sha256:3df669a57f84a53b32dfa28305a99cd7de8dbafea6724c50ed178740f7e067d9"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:ZCIC3QBSQR7KFC2H2B2SJJKOME","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"An algorithmic approach to the Polydegree Conjecture for plane polynomial automorphisms","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.AG","authors_text":"Armin Straub, Drew Lewis, Kaitlyn Perry","submitted_at":"2018-09-25T19:40:34Z","abstract_excerpt":"We study the interaction between two structures on the group of polynomial automorphisms of the affine plane: its structure as an amalgamated free product and as an infinite-dimensional algebraic variety. We introduce a new conjecture, and show how it implies the Polydegree Conjecture. As the new conjecture is an ideal membership question, this shows that the Polydegree Conjecture is algorithmically decidable. We further describe how this approach provides a unified and shorter method of recovering existing results of Edo and Furter."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1809.09681","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:04:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vOXrKLu8WAvdWH8kqV+H+y189ssnVUJ0AVe6TfRBEWAVuhiCdNDjElin8WEyFiXxrITJo6iEyvlvE8u4FmRIBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T04:32:17.796876Z"},"content_sha256":"6a260938e8ceefa24314d6f31176adcd26d36e1d4a7aec18af94c7581ed00f76","schema_version":"1.0","event_id":"sha256:6a260938e8ceefa24314d6f31176adcd26d36e1d4a7aec18af94c7581ed00f76"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZCIC3QBSQR7KFC2H2B2SJJKOME/bundle.json","state_url":"https://pith.science/pith/ZCIC3QBSQR7KFC2H2B2SJJKOME/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZCIC3QBSQR7KFC2H2B2SJJKOME/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-28T04:32:17Z","links":{"resolver":"https://pith.science/pith/ZCIC3QBSQR7KFC2H2B2SJJKOME","bundle":"https://pith.science/pith/ZCIC3QBSQR7KFC2H2B2SJJKOME/bundle.json","state":"https://pith.science/pith/ZCIC3QBSQR7KFC2H2B2SJJKOME/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZCIC3QBSQR7KFC2H2B2SJJKOME/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:ZCIC3QBSQR7KFC2H2B2SJJKOME","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":"67d774af2c6ffa3d3076e57b8989b8e6654105358b9f0496f2acb545db47adda","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2018-09-25T19:40:34Z","title_canon_sha256":"a51dc6a2d9de3a28a3c184ddefa414fdda880d651f3a63ce9319bc72d4e63d5f"},"schema_version":"1.0","source":{"id":"1809.09681","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1809.09681","created_at":"2026-05-18T00:04:44Z"},{"alias_kind":"arxiv_version","alias_value":"1809.09681v1","created_at":"2026-05-18T00:04:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1809.09681","created_at":"2026-05-18T00:04:44Z"},{"alias_kind":"pith_short_12","alias_value":"ZCIC3QBSQR7K","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_16","alias_value":"ZCIC3QBSQR7KFC2H","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_8","alias_value":"ZCIC3QBS","created_at":"2026-05-18T12:33:04Z"}],"graph_snapshots":[{"event_id":"sha256:6a260938e8ceefa24314d6f31176adcd26d36e1d4a7aec18af94c7581ed00f76","target":"graph","created_at":"2026-05-18T00:04:44Z","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 study the interaction between two structures on the group of polynomial automorphisms of the affine plane: its structure as an amalgamated free product and as an infinite-dimensional algebraic variety. We introduce a new conjecture, and show how it implies the Polydegree Conjecture. As the new conjecture is an ideal membership question, this shows that the Polydegree Conjecture is algorithmically decidable. We further describe how this approach provides a unified and shorter method of recovering existing results of Edo and Furter.","authors_text":"Armin Straub, Drew Lewis, Kaitlyn Perry","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2018-09-25T19:40:34Z","title":"An algorithmic approach to the Polydegree Conjecture for plane polynomial automorphisms"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1809.09681","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:3df669a57f84a53b32dfa28305a99cd7de8dbafea6724c50ed178740f7e067d9","target":"record","created_at":"2026-05-18T00:04:44Z","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":"67d774af2c6ffa3d3076e57b8989b8e6654105358b9f0496f2acb545db47adda","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2018-09-25T19:40:34Z","title_canon_sha256":"a51dc6a2d9de3a28a3c184ddefa414fdda880d651f3a63ce9319bc72d4e63d5f"},"schema_version":"1.0","source":{"id":"1809.09681","kind":"arxiv","version":1}},"canonical_sha256":"c8902dc032847ea28b47d07524a54e6125b3577f4df0151b8385a00b42960ece","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c8902dc032847ea28b47d07524a54e6125b3577f4df0151b8385a00b42960ece","first_computed_at":"2026-05-18T00:04:44.062795Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:04:44.062795Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"CbZmyVOM+TzLB060lfYNs4E6Fa1RNZ5v5ASj3aXnaG0ONvIcm1wpWajIGMgocjMnZHSnP/opKKFaQ7VcAAfRCw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:04:44.063369Z","signed_message":"canonical_sha256_bytes"},"source_id":"1809.09681","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3df669a57f84a53b32dfa28305a99cd7de8dbafea6724c50ed178740f7e067d9","sha256:6a260938e8ceefa24314d6f31176adcd26d36e1d4a7aec18af94c7581ed00f76"],"state_sha256":"2f0a44f8ad0e8dabbac56417c76a7785f7bc7f1ed30fbc5973bc7d019a62726b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ov8ShEgcU3szMR6oSYRn9r/myRl12TiaK2UZdx28iF3gScbrU6X4IwuQ5LJOlKw8nQenY4T6+lsVL3RwhKUlAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T04:32:17.798965Z","bundle_sha256":"58592bdb77892bcf8d6dd89b66940d1c13b0cb9e837a551124d6a8ce1b80c61a"}}