{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:TSJCYLVTEPIKTDA33SWUZFWUMP","short_pith_number":"pith:TSJCYLVT","canonical_record":{"source":{"id":"1401.1225","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2014-01-06T21:13:41Z","cross_cats_sorted":["cs.DM"],"title_canon_sha256":"e51956037d518e65ab48fa3a6201a96321975d58e1b7e31c83da0c31a3e18d79","abstract_canon_sha256":"48d2a93e7e8567413c25abf667f53e78173353a56155a793a7997a5bb6903850"},"schema_version":"1.0"},"canonical_sha256":"9c922c2eb323d0a98c1bdcad4c96d463dcb292e19b4712291cb8b7d4b679f8e9","source":{"kind":"arxiv","id":"1401.1225","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1401.1225","created_at":"2026-05-18T03:03:09Z"},{"alias_kind":"arxiv_version","alias_value":"1401.1225v1","created_at":"2026-05-18T03:03:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1401.1225","created_at":"2026-05-18T03:03:09Z"},{"alias_kind":"pith_short_12","alias_value":"TSJCYLVTEPIK","created_at":"2026-05-18T12:28:52Z"},{"alias_kind":"pith_short_16","alias_value":"TSJCYLVTEPIKTDA3","created_at":"2026-05-18T12:28:52Z"},{"alias_kind":"pith_short_8","alias_value":"TSJCYLVT","created_at":"2026-05-18T12:28:52Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:TSJCYLVTEPIKTDA33SWUZFWUMP","target":"record","payload":{"canonical_record":{"source":{"id":"1401.1225","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2014-01-06T21:13:41Z","cross_cats_sorted":["cs.DM"],"title_canon_sha256":"e51956037d518e65ab48fa3a6201a96321975d58e1b7e31c83da0c31a3e18d79","abstract_canon_sha256":"48d2a93e7e8567413c25abf667f53e78173353a56155a793a7997a5bb6903850"},"schema_version":"1.0"},"canonical_sha256":"9c922c2eb323d0a98c1bdcad4c96d463dcb292e19b4712291cb8b7d4b679f8e9","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:03:09.325725Z","signature_b64":"qN5F3x9jkXxsd2aDzZG8Q0W8GCd62zggmCGHf68Gq/ZVYytuuDHgRXm44mbiazmaLXGgo9INHjpzcpX4Z4K5Bw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9c922c2eb323d0a98c1bdcad4c96d463dcb292e19b4712291cb8b7d4b679f8e9","last_reissued_at":"2026-05-18T03:03:09.324928Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:03:09.324928Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1401.1225","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-18T03:03:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AOw30awmy8RB9Pmkzf3C13pJorUKfQF7vpNPlljRZwM/rMEq1v+JeIHA6mErhJvUouvq1UUM07K/7YA8au9DBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T23:09:53.544096Z"},"content_sha256":"faf986536e91a454c95d318c424efb48b70145a80344c3774ce6467ccf8d8243","schema_version":"1.0","event_id":"sha256:faf986536e91a454c95d318c424efb48b70145a80344c3774ce6467ccf8d8243"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:TSJCYLVTEPIKTDA33SWUZFWUMP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On the Duality of Semiantichains and Unichain Coverings","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DM"],"primary_cat":"math.CO","authors_text":"Bart{\\l}omiej Bosek, Grzegorz Matecki, Kolja Knauer, Stefan Felsner","submitted_at":"2014-01-06T21:13:41Z","abstract_excerpt":"We study a min-max relation conjectured by Saks and West: For any two posets $P$ and $Q$ the size of a maximum semiantichain and the size of a minimum unichain covering in the product $P\\times Q$ are equal. For positive we state conditions on $P$ and $Q$ that imply the min-max relation. Based on these conditions we identify some new families of posets where the conjecture holds and get easy proofs for several instances where the conjecture had been verified before. However, we also have examples showing that in general the min-max relation is false, i.e., we disprove the Saks-West conjecture."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1401.1225","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-18T03:03:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4jXJ+vBt/vJRckUDhHdRdpTOk9fe0MnwEiIx98Bv+6Zlh1apTph/zNtd0Ch3LKo06LpWIc53LaxQsFi7nVFVBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T23:09:53.544795Z"},"content_sha256":"6a28543061a19c58e2365fca4223ca854548bc0287dd36b259ccdad486724026","schema_version":"1.0","event_id":"sha256:6a28543061a19c58e2365fca4223ca854548bc0287dd36b259ccdad486724026"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TSJCYLVTEPIKTDA33SWUZFWUMP/bundle.json","state_url":"https://pith.science/pith/TSJCYLVTEPIKTDA33SWUZFWUMP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TSJCYLVTEPIKTDA33SWUZFWUMP/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-25T23:09:53Z","links":{"resolver":"https://pith.science/pith/TSJCYLVTEPIKTDA33SWUZFWUMP","bundle":"https://pith.science/pith/TSJCYLVTEPIKTDA33SWUZFWUMP/bundle.json","state":"https://pith.science/pith/TSJCYLVTEPIKTDA33SWUZFWUMP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TSJCYLVTEPIKTDA33SWUZFWUMP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:TSJCYLVTEPIKTDA33SWUZFWUMP","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":"48d2a93e7e8567413c25abf667f53e78173353a56155a793a7997a5bb6903850","cross_cats_sorted":["cs.DM"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2014-01-06T21:13:41Z","title_canon_sha256":"e51956037d518e65ab48fa3a6201a96321975d58e1b7e31c83da0c31a3e18d79"},"schema_version":"1.0","source":{"id":"1401.1225","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1401.1225","created_at":"2026-05-18T03:03:09Z"},{"alias_kind":"arxiv_version","alias_value":"1401.1225v1","created_at":"2026-05-18T03:03:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1401.1225","created_at":"2026-05-18T03:03:09Z"},{"alias_kind":"pith_short_12","alias_value":"TSJCYLVTEPIK","created_at":"2026-05-18T12:28:52Z"},{"alias_kind":"pith_short_16","alias_value":"TSJCYLVTEPIKTDA3","created_at":"2026-05-18T12:28:52Z"},{"alias_kind":"pith_short_8","alias_value":"TSJCYLVT","created_at":"2026-05-18T12:28:52Z"}],"graph_snapshots":[{"event_id":"sha256:6a28543061a19c58e2365fca4223ca854548bc0287dd36b259ccdad486724026","target":"graph","created_at":"2026-05-18T03:03:09Z","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 a min-max relation conjectured by Saks and West: For any two posets $P$ and $Q$ the size of a maximum semiantichain and the size of a minimum unichain covering in the product $P\\times Q$ are equal. For positive we state conditions on $P$ and $Q$ that imply the min-max relation. Based on these conditions we identify some new families of posets where the conjecture holds and get easy proofs for several instances where the conjecture had been verified before. However, we also have examples showing that in general the min-max relation is false, i.e., we disprove the Saks-West conjecture.","authors_text":"Bart{\\l}omiej Bosek, Grzegorz Matecki, Kolja Knauer, Stefan Felsner","cross_cats":["cs.DM"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2014-01-06T21:13:41Z","title":"On the Duality of Semiantichains and Unichain Coverings"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1401.1225","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:faf986536e91a454c95d318c424efb48b70145a80344c3774ce6467ccf8d8243","target":"record","created_at":"2026-05-18T03:03:09Z","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":"48d2a93e7e8567413c25abf667f53e78173353a56155a793a7997a5bb6903850","cross_cats_sorted":["cs.DM"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2014-01-06T21:13:41Z","title_canon_sha256":"e51956037d518e65ab48fa3a6201a96321975d58e1b7e31c83da0c31a3e18d79"},"schema_version":"1.0","source":{"id":"1401.1225","kind":"arxiv","version":1}},"canonical_sha256":"9c922c2eb323d0a98c1bdcad4c96d463dcb292e19b4712291cb8b7d4b679f8e9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9c922c2eb323d0a98c1bdcad4c96d463dcb292e19b4712291cb8b7d4b679f8e9","first_computed_at":"2026-05-18T03:03:09.324928Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:03:09.324928Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"qN5F3x9jkXxsd2aDzZG8Q0W8GCd62zggmCGHf68Gq/ZVYytuuDHgRXm44mbiazmaLXGgo9INHjpzcpX4Z4K5Bw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:03:09.325725Z","signed_message":"canonical_sha256_bytes"},"source_id":"1401.1225","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:faf986536e91a454c95d318c424efb48b70145a80344c3774ce6467ccf8d8243","sha256:6a28543061a19c58e2365fca4223ca854548bc0287dd36b259ccdad486724026"],"state_sha256":"6b857cb21d62ee4040922a75ec7e3d6bd6227551a6426553e0b7a7c2c114bb36"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pr+aMBFwvB/BaqFWf3ptfXd1zrfXQ/NtlEFUCn7EStm/uaP914llxbPa8n5W9f56XvMrY5Pl1hQ50vdmlBvXDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T23:09:53.548638Z","bundle_sha256":"699c5c8df9c55e10ab14ddb99446d5436c5cf8f8e9315cea660273cfb802dfa4"}}