{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:O2YW3ZC2JBI5AT6LEDDUVC6NEF","short_pith_number":"pith:O2YW3ZC2","canonical_record":{"source":{"id":"1404.2359","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2014-04-09T03:57:52Z","cross_cats_sorted":[],"title_canon_sha256":"28d78a8c45343231d2408d1733fe521daaf53a7254c903f0d238f199548151b5","abstract_canon_sha256":"215454b9fde9bda3eb405c306f3d7ba0ec4a10087d9e17e33550970ced4c180a"},"schema_version":"1.0"},"canonical_sha256":"76b16de45a4851d04fcb20c74a8bcd2166c8ef216b8294459403a3322e67ed26","source":{"kind":"arxiv","id":"1404.2359","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1404.2359","created_at":"2026-05-18T01:09:07Z"},{"alias_kind":"arxiv_version","alias_value":"1404.2359v3","created_at":"2026-05-18T01:09:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1404.2359","created_at":"2026-05-18T01:09:07Z"},{"alias_kind":"pith_short_12","alias_value":"O2YW3ZC2JBI5","created_at":"2026-05-18T12:28:41Z"},{"alias_kind":"pith_short_16","alias_value":"O2YW3ZC2JBI5AT6L","created_at":"2026-05-18T12:28:41Z"},{"alias_kind":"pith_short_8","alias_value":"O2YW3ZC2","created_at":"2026-05-18T12:28:41Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:O2YW3ZC2JBI5AT6LEDDUVC6NEF","target":"record","payload":{"canonical_record":{"source":{"id":"1404.2359","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2014-04-09T03:57:52Z","cross_cats_sorted":[],"title_canon_sha256":"28d78a8c45343231d2408d1733fe521daaf53a7254c903f0d238f199548151b5","abstract_canon_sha256":"215454b9fde9bda3eb405c306f3d7ba0ec4a10087d9e17e33550970ced4c180a"},"schema_version":"1.0"},"canonical_sha256":"76b16de45a4851d04fcb20c74a8bcd2166c8ef216b8294459403a3322e67ed26","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:09:07.300306Z","signature_b64":"nicDjdx28vd1AT/m9/wDja2o/CoHWOcYWBnKeAyB5BbYn4mstx6qHG9YtOSPbJIQt8RCiFSsEawgE2WH916SBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"76b16de45a4851d04fcb20c74a8bcd2166c8ef216b8294459403a3322e67ed26","last_reissued_at":"2026-05-18T01:09:07.299775Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:09:07.299775Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1404.2359","source_version":3,"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-18T01:09:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vxX/8kk82fd9nLrI5SFom3Kk2EJeghZDii8CPkalMBMMg/DK48QHH1YBPsh+sJTTwveqss3v60fCzSOawXc+BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T21:31:50.754907Z"},"content_sha256":"5fe114fd310429f51daca6006f4370284b714ca213b09760d60229491b825f15","schema_version":"1.0","event_id":"sha256:5fe114fd310429f51daca6006f4370284b714ca213b09760d60229491b825f15"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:O2YW3ZC2JBI5AT6LEDDUVC6NEF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Diagram monoids and Graham-Houghton graphs: idempotents and generating sets of ideals","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.GR","authors_text":"James East, Robert Gray","submitted_at":"2014-04-09T03:57:52Z","abstract_excerpt":"We study the ideals of the partition, Brauer, and Jones monoid, establishing various combinatorial results on generating sets and idempotent generating sets via an analysis of their Graham--Houghton graphs. We show that each proper ideal of the partition monoid P_n is an idempotent generated semigroup, and obtain a formula for the minimal number of elements (and the minimal number of idempotent elements) needed to generate these semigroups. In particular, we show that these two numbers, which are called the rank and idempotent rank (respectively) of the semigroup, are equal to each other, and "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1404.2359","kind":"arxiv","version":3},"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-18T01:09:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SMMRHyrq1wJ+uLCxbdSjvx22GGF1ja170EclYEtHECHROLXaUf5F83unfrvsAjncoOvkT1DsHe9rkZHHZOBCCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T21:31:50.755599Z"},"content_sha256":"3a323279ccd53110b6ceb08bda51930f0b0cf76256f2490af5831d2d2fbab61d","schema_version":"1.0","event_id":"sha256:3a323279ccd53110b6ceb08bda51930f0b0cf76256f2490af5831d2d2fbab61d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/O2YW3ZC2JBI5AT6LEDDUVC6NEF/bundle.json","state_url":"https://pith.science/pith/O2YW3ZC2JBI5AT6LEDDUVC6NEF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/O2YW3ZC2JBI5AT6LEDDUVC6NEF/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-28T21:31:50Z","links":{"resolver":"https://pith.science/pith/O2YW3ZC2JBI5AT6LEDDUVC6NEF","bundle":"https://pith.science/pith/O2YW3ZC2JBI5AT6LEDDUVC6NEF/bundle.json","state":"https://pith.science/pith/O2YW3ZC2JBI5AT6LEDDUVC6NEF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/O2YW3ZC2JBI5AT6LEDDUVC6NEF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:O2YW3ZC2JBI5AT6LEDDUVC6NEF","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":"215454b9fde9bda3eb405c306f3d7ba0ec4a10087d9e17e33550970ced4c180a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2014-04-09T03:57:52Z","title_canon_sha256":"28d78a8c45343231d2408d1733fe521daaf53a7254c903f0d238f199548151b5"},"schema_version":"1.0","source":{"id":"1404.2359","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1404.2359","created_at":"2026-05-18T01:09:07Z"},{"alias_kind":"arxiv_version","alias_value":"1404.2359v3","created_at":"2026-05-18T01:09:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1404.2359","created_at":"2026-05-18T01:09:07Z"},{"alias_kind":"pith_short_12","alias_value":"O2YW3ZC2JBI5","created_at":"2026-05-18T12:28:41Z"},{"alias_kind":"pith_short_16","alias_value":"O2YW3ZC2JBI5AT6L","created_at":"2026-05-18T12:28:41Z"},{"alias_kind":"pith_short_8","alias_value":"O2YW3ZC2","created_at":"2026-05-18T12:28:41Z"}],"graph_snapshots":[{"event_id":"sha256:3a323279ccd53110b6ceb08bda51930f0b0cf76256f2490af5831d2d2fbab61d","target":"graph","created_at":"2026-05-18T01:09:07Z","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 ideals of the partition, Brauer, and Jones monoid, establishing various combinatorial results on generating sets and idempotent generating sets via an analysis of their Graham--Houghton graphs. We show that each proper ideal of the partition monoid P_n is an idempotent generated semigroup, and obtain a formula for the minimal number of elements (and the minimal number of idempotent elements) needed to generate these semigroups. In particular, we show that these two numbers, which are called the rank and idempotent rank (respectively) of the semigroup, are equal to each other, and ","authors_text":"James East, Robert Gray","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2014-04-09T03:57:52Z","title":"Diagram monoids and Graham-Houghton graphs: idempotents and generating sets of ideals"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1404.2359","kind":"arxiv","version":3},"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:5fe114fd310429f51daca6006f4370284b714ca213b09760d60229491b825f15","target":"record","created_at":"2026-05-18T01:09:07Z","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":"215454b9fde9bda3eb405c306f3d7ba0ec4a10087d9e17e33550970ced4c180a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2014-04-09T03:57:52Z","title_canon_sha256":"28d78a8c45343231d2408d1733fe521daaf53a7254c903f0d238f199548151b5"},"schema_version":"1.0","source":{"id":"1404.2359","kind":"arxiv","version":3}},"canonical_sha256":"76b16de45a4851d04fcb20c74a8bcd2166c8ef216b8294459403a3322e67ed26","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"76b16de45a4851d04fcb20c74a8bcd2166c8ef216b8294459403a3322e67ed26","first_computed_at":"2026-05-18T01:09:07.299775Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:09:07.299775Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"nicDjdx28vd1AT/m9/wDja2o/CoHWOcYWBnKeAyB5BbYn4mstx6qHG9YtOSPbJIQt8RCiFSsEawgE2WH916SBg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:09:07.300306Z","signed_message":"canonical_sha256_bytes"},"source_id":"1404.2359","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5fe114fd310429f51daca6006f4370284b714ca213b09760d60229491b825f15","sha256:3a323279ccd53110b6ceb08bda51930f0b0cf76256f2490af5831d2d2fbab61d"],"state_sha256":"c35c43915f0ce6bdff9599f1c32510f0a2e836250d59eafa2955fb2e322ba1ec"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/BOI68uJUX2ddY+MHLNzrpBcCmDRbui0BAVjheTofnCg8wEBdMtOy1sBfzO8GIXNzratRRvbOj6lF0mcwEvwAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T21:31:50.759376Z","bundle_sha256":"7ac9c8fa9a439c935ef8fd556c8f1265374d7f737c5215e2a75484bba616be10"}}