{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:ZLWLN7OFRKOOXTUQ6DSQUS4FJQ","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":"e4549ec6cb88b29343583859ccde91d87a48fb4d3af189e3f98a2adf5cd140d9","cross_cats_sorted":["math.AC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2018-02-05T19:54:57Z","title_canon_sha256":"b7e1f4eccc259fe522c23b6a6064b3d10739ff9350e7ef0b2bcb266144240739"},"schema_version":"1.0","source":{"id":"1802.01624","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1802.01624","created_at":"2026-05-18T00:14:00Z"},{"alias_kind":"arxiv_version","alias_value":"1802.01624v2","created_at":"2026-05-18T00:14:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1802.01624","created_at":"2026-05-18T00:14:00Z"},{"alias_kind":"pith_short_12","alias_value":"ZLWLN7OFRKOO","created_at":"2026-05-18T12:33:07Z"},{"alias_kind":"pith_short_16","alias_value":"ZLWLN7OFRKOOXTUQ","created_at":"2026-05-18T12:33:07Z"},{"alias_kind":"pith_short_8","alias_value":"ZLWLN7OF","created_at":"2026-05-18T12:33:07Z"}],"graph_snapshots":[{"event_id":"sha256:a778aef231d14257ac09b740ea2fc293f34f4a8b57fb840a42f969650f37872c","target":"graph","created_at":"2026-05-18T00:14:00Z","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":"Triangular decomposition is a classic, widely used and well-developed way to represent algebraic varieties with many applications. In particular, there exist sharp degree bounds for a single triangular set in terms of intrinsic data of the variety it represents, and powerful randomized algorithms for computing triangular decompositions using Hensel lifting in the zero-dimensional case and for irreducible varieties. However, in the general case, most of the algorithms computing triangular decompositions produce embedded components, which makes it impossible to directly apply the intrinsic degre","authors_text":"Agnes Szanto, Gleb Pogudin","cross_cats":["math.AC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2018-02-05T19:54:57Z","title":"Irredundant Triangular Decomposition"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1802.01624","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:e0e27d05265dfa9c9fb616110a414f3bdf17bcb32a24fd0a143cdda4e3d04d40","target":"record","created_at":"2026-05-18T00:14:00Z","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":"e4549ec6cb88b29343583859ccde91d87a48fb4d3af189e3f98a2adf5cd140d9","cross_cats_sorted":["math.AC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2018-02-05T19:54:57Z","title_canon_sha256":"b7e1f4eccc259fe522c23b6a6064b3d10739ff9350e7ef0b2bcb266144240739"},"schema_version":"1.0","source":{"id":"1802.01624","kind":"arxiv","version":2}},"canonical_sha256":"caecb6fdc58a9cebce90f0e50a4b854c0d23869a9693003c28c01e70886f775c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"caecb6fdc58a9cebce90f0e50a4b854c0d23869a9693003c28c01e70886f775c","first_computed_at":"2026-05-18T00:14:00.371942Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:14:00.371942Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"apQ8AQxYIXWP0p2L3WzWb8fKrkH7KCJQx2hnq71fy9EYA0y1WUmdKh9q3luvPQZXSxQ5Z9pur2OhkEEHEzS3CA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:14:00.372550Z","signed_message":"canonical_sha256_bytes"},"source_id":"1802.01624","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e0e27d05265dfa9c9fb616110a414f3bdf17bcb32a24fd0a143cdda4e3d04d40","sha256:a778aef231d14257ac09b740ea2fc293f34f4a8b57fb840a42f969650f37872c"],"state_sha256":"f6704fe10dcef418ccd8620e6d57150d67715c893d3f427e795a1043185a633e"}