{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:KXER3QQQEXGCP6ZDYSDTGXRO7W","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":"6e68211246d04d89ad4f9fecd6ea8f1fa1041d575ab1d23d7f4f1051aa4d5dec","cross_cats_sorted":["math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2013-09-19T19:58:53Z","title_canon_sha256":"ca2200a43e53386f3263682b3382655b605f6f5dab1f9674e175f4250c3589fd"},"schema_version":"1.0","source":{"id":"1309.5082","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1309.5082","created_at":"2026-05-18T01:22:08Z"},{"alias_kind":"arxiv_version","alias_value":"1309.5082v4","created_at":"2026-05-18T01:22:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1309.5082","created_at":"2026-05-18T01:22:08Z"},{"alias_kind":"pith_short_12","alias_value":"KXER3QQQEXGC","created_at":"2026-05-18T12:27:51Z"},{"alias_kind":"pith_short_16","alias_value":"KXER3QQQEXGCP6ZD","created_at":"2026-05-18T12:27:51Z"},{"alias_kind":"pith_short_8","alias_value":"KXER3QQQ","created_at":"2026-05-18T12:27:51Z"}],"graph_snapshots":[{"event_id":"sha256:d9ea28024dba4c9ef60e90e65ef293a958f8e0fadda5ddb9ea3c9d688cdba52a","target":"graph","created_at":"2026-05-18T01:22:08Z","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 investigate symbolic and regular powers of monomial ideals. For a square-free monomial ideal $I$ in $k[x_0, \\ldots, x_n]$ we show $I^{t(m+e-1)-e+r)}$ is a subset of $M^{(t-1)(e-1)+r-1}(I^{(m)})^t$ for all positive integers $m$, $t$ and $r$, where $e$ is the big-height of $I$ and $M = (x_0, \\ldots, x_n)$. This captures two conjectures ($r=1$ and $r=e$): one of Harbourne-Huneke and one of Bocci-Cooper-Harbourne. We also introduce the symbolic polyhedron of a monomial ideal and use this to explore symbolic powers of non-square-free monomial ideals.","authors_text":"Andrew H. Hoefel, Huy T\\`ai H\\`a, Robert J. D. Embree, Susan M. Cooper","cross_cats":["math.CO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2013-09-19T19:58:53Z","title":"Symbolic Powers of Monomial Ideals"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1309.5082","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:9231322451b40e82913ce7499709cd3d149d32dfac6a4f6b306f8333cd474864","target":"record","created_at":"2026-05-18T01:22:08Z","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":"6e68211246d04d89ad4f9fecd6ea8f1fa1041d575ab1d23d7f4f1051aa4d5dec","cross_cats_sorted":["math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2013-09-19T19:58:53Z","title_canon_sha256":"ca2200a43e53386f3263682b3382655b605f6f5dab1f9674e175f4250c3589fd"},"schema_version":"1.0","source":{"id":"1309.5082","kind":"arxiv","version":4}},"canonical_sha256":"55c91dc21025cc27fb23c487335e2efd87194731697840b04c1f21fc6833e4c9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"55c91dc21025cc27fb23c487335e2efd87194731697840b04c1f21fc6833e4c9","first_computed_at":"2026-05-18T01:22:08.791812Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:22:08.791812Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"zst37AfyZhWTRuIs9B3PelRxTSq8XXPasSvjCqKJC8HQoap3Kgbgz1GrW47fueaMv1NTCWOc5htsJH3wBFM0BQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:22:08.792337Z","signed_message":"canonical_sha256_bytes"},"source_id":"1309.5082","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9231322451b40e82913ce7499709cd3d149d32dfac6a4f6b306f8333cd474864","sha256:d9ea28024dba4c9ef60e90e65ef293a958f8e0fadda5ddb9ea3c9d688cdba52a"],"state_sha256":"993a22b238166e64dd7790464cc837d0584bc77a588f4086cea20a36052252ff"}