{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:7NGOOENUNLFHFO642PYWGRSBRF","short_pith_number":"pith:7NGOOENU","canonical_record":{"source":{"id":"1207.4402","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2012-07-18T15:53:18Z","cross_cats_sorted":["cs.DM"],"title_canon_sha256":"276e141b458bd5e328e8f411aa410f40c9d866a1ddd4d6d2878845167bec0d9e","abstract_canon_sha256":"1463d2e55ba419fd1db618bf40d884b7d7bbbb370351eca87496cfdebba014a4"},"schema_version":"1.0"},"canonical_sha256":"fb4ce711b46aca72bbdcd3f1634641896f07dad17a5b0e5cb80dad2976b76d1f","source":{"kind":"arxiv","id":"1207.4402","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1207.4402","created_at":"2026-05-18T01:58:27Z"},{"alias_kind":"arxiv_version","alias_value":"1207.4402v3","created_at":"2026-05-18T01:58:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1207.4402","created_at":"2026-05-18T01:58:27Z"},{"alias_kind":"pith_short_12","alias_value":"7NGOOENUNLFH","created_at":"2026-05-18T12:26:58Z"},{"alias_kind":"pith_short_16","alias_value":"7NGOOENUNLFHFO64","created_at":"2026-05-18T12:26:58Z"},{"alias_kind":"pith_short_8","alias_value":"7NGOOENU","created_at":"2026-05-18T12:26:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:7NGOOENUNLFHFO642PYWGRSBRF","target":"record","payload":{"canonical_record":{"source":{"id":"1207.4402","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2012-07-18T15:53:18Z","cross_cats_sorted":["cs.DM"],"title_canon_sha256":"276e141b458bd5e328e8f411aa410f40c9d866a1ddd4d6d2878845167bec0d9e","abstract_canon_sha256":"1463d2e55ba419fd1db618bf40d884b7d7bbbb370351eca87496cfdebba014a4"},"schema_version":"1.0"},"canonical_sha256":"fb4ce711b46aca72bbdcd3f1634641896f07dad17a5b0e5cb80dad2976b76d1f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:58:27.555690Z","signature_b64":"/H+xZMcYkiKUH8H+RiUgplSZgJSSFcFN6TdTDBJYKspwipkQluzJ6eHVBUJvxhOKNyZh+fRCHub6lXyZfsLyCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fb4ce711b46aca72bbdcd3f1634641896f07dad17a5b0e5cb80dad2976b76d1f","last_reissued_at":"2026-05-18T01:58:27.555024Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:58:27.555024Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1207.4402","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:58:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AvL/+xqtlNqQbvygWwMT/B5VijrmKNxe0V3YAIAnmXAvudJGBkAtFa/xOvmGoBh9jhNtWfZCG+072Nb5S7VJCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T15:02:26.236196Z"},"content_sha256":"11cfe10e4cc9602497ad27dd339c00b0e28b0abc8c1be6b5b958cca213ee4857","schema_version":"1.0","event_id":"sha256:11cfe10e4cc9602497ad27dd339c00b0e28b0abc8c1be6b5b958cca213ee4857"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:7NGOOENUNLFHFO642PYWGRSBRF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Regular families of forests, antichains and duality pairs of relational structures","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DM"],"primary_cat":"math.CO","authors_text":"Claude Tardif, D\\\"om\\\"ot\\\"or P\\'alv\\\"olgyi, G\\'abor Tardos, P\\'eter L. Erd\\H{o}s","submitted_at":"2012-07-18T15:53:18Z","abstract_excerpt":"Homomorphism duality pairs play crucial role in the theory of relational structures and in the Constraint Satisfaction Problem. The case where both classes are finite is fully characterized. The case when both side are infinite seems to be very complex. It is also known that no finite-infinite duality pair is possible if we make the additional restriction that both classes are antichains. In this paper we characterize the infinite-finite antichain dualities and infinite-finite dualities with trees or forest on the left hand side. This work builds on our earlier papers that gave several example"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1207.4402","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:58:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MNZPawf+Qtvs0a3KaDlR48mdVczJyIN6yx0NzSMWDwypNTljpbsF/bt81SuKu79l3jwPC/hzTSaBdygnZ9CrBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T15:02:26.236892Z"},"content_sha256":"2e094135f050d907094282ad37514a4db6ac362e1dacd65e2a849fdaed0aec04","schema_version":"1.0","event_id":"sha256:2e094135f050d907094282ad37514a4db6ac362e1dacd65e2a849fdaed0aec04"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7NGOOENUNLFHFO642PYWGRSBRF/bundle.json","state_url":"https://pith.science/pith/7NGOOENUNLFHFO642PYWGRSBRF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7NGOOENUNLFHFO642PYWGRSBRF/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-31T15:02:26Z","links":{"resolver":"https://pith.science/pith/7NGOOENUNLFHFO642PYWGRSBRF","bundle":"https://pith.science/pith/7NGOOENUNLFHFO642PYWGRSBRF/bundle.json","state":"https://pith.science/pith/7NGOOENUNLFHFO642PYWGRSBRF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7NGOOENUNLFHFO642PYWGRSBRF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:7NGOOENUNLFHFO642PYWGRSBRF","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":"1463d2e55ba419fd1db618bf40d884b7d7bbbb370351eca87496cfdebba014a4","cross_cats_sorted":["cs.DM"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2012-07-18T15:53:18Z","title_canon_sha256":"276e141b458bd5e328e8f411aa410f40c9d866a1ddd4d6d2878845167bec0d9e"},"schema_version":"1.0","source":{"id":"1207.4402","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1207.4402","created_at":"2026-05-18T01:58:27Z"},{"alias_kind":"arxiv_version","alias_value":"1207.4402v3","created_at":"2026-05-18T01:58:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1207.4402","created_at":"2026-05-18T01:58:27Z"},{"alias_kind":"pith_short_12","alias_value":"7NGOOENUNLFH","created_at":"2026-05-18T12:26:58Z"},{"alias_kind":"pith_short_16","alias_value":"7NGOOENUNLFHFO64","created_at":"2026-05-18T12:26:58Z"},{"alias_kind":"pith_short_8","alias_value":"7NGOOENU","created_at":"2026-05-18T12:26:58Z"}],"graph_snapshots":[{"event_id":"sha256:2e094135f050d907094282ad37514a4db6ac362e1dacd65e2a849fdaed0aec04","target":"graph","created_at":"2026-05-18T01:58:27Z","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":"Homomorphism duality pairs play crucial role in the theory of relational structures and in the Constraint Satisfaction Problem. The case where both classes are finite is fully characterized. The case when both side are infinite seems to be very complex. It is also known that no finite-infinite duality pair is possible if we make the additional restriction that both classes are antichains. In this paper we characterize the infinite-finite antichain dualities and infinite-finite dualities with trees or forest on the left hand side. This work builds on our earlier papers that gave several example","authors_text":"Claude Tardif, D\\\"om\\\"ot\\\"or P\\'alv\\\"olgyi, G\\'abor Tardos, P\\'eter L. Erd\\H{o}s","cross_cats":["cs.DM"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2012-07-18T15:53:18Z","title":"Regular families of forests, antichains and duality pairs of relational structures"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1207.4402","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:11cfe10e4cc9602497ad27dd339c00b0e28b0abc8c1be6b5b958cca213ee4857","target":"record","created_at":"2026-05-18T01:58:27Z","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":"1463d2e55ba419fd1db618bf40d884b7d7bbbb370351eca87496cfdebba014a4","cross_cats_sorted":["cs.DM"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2012-07-18T15:53:18Z","title_canon_sha256":"276e141b458bd5e328e8f411aa410f40c9d866a1ddd4d6d2878845167bec0d9e"},"schema_version":"1.0","source":{"id":"1207.4402","kind":"arxiv","version":3}},"canonical_sha256":"fb4ce711b46aca72bbdcd3f1634641896f07dad17a5b0e5cb80dad2976b76d1f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fb4ce711b46aca72bbdcd3f1634641896f07dad17a5b0e5cb80dad2976b76d1f","first_computed_at":"2026-05-18T01:58:27.555024Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:58:27.555024Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"/H+xZMcYkiKUH8H+RiUgplSZgJSSFcFN6TdTDBJYKspwipkQluzJ6eHVBUJvxhOKNyZh+fRCHub6lXyZfsLyCg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:58:27.555690Z","signed_message":"canonical_sha256_bytes"},"source_id":"1207.4402","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:11cfe10e4cc9602497ad27dd339c00b0e28b0abc8c1be6b5b958cca213ee4857","sha256:2e094135f050d907094282ad37514a4db6ac362e1dacd65e2a849fdaed0aec04"],"state_sha256":"6b412ceedede8c29f09741dc9c4a09ae893da3b0726419575d594139e5f58610"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"aruVOtA5uO3aJDCqXjwNZyeB9t9yNnFx485yaYPhgljQGk8tL0JFdKfBCYgDKSGFOr6dZtrnFVioINvhhuSFDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T15:02:26.240759Z","bundle_sha256":"6ccc36819a1fbef2de3cdc8b6cbe93219b561451b6a233308b73ac2fa5577c2c"}}