{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:M7RWR5NZ5RWKIFXJNTK4JQA7K6","short_pith_number":"pith:M7RWR5NZ","canonical_record":{"source":{"id":"2405.20904","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"math.CO","submitted_at":"2024-05-31T15:15:51Z","cross_cats_sorted":["cs.DM"],"title_canon_sha256":"52ed291981a9c1830a385b7e3fe2b89cfc58efe5650a68dc53f424192dd7f947","abstract_canon_sha256":"563bf9d6a0ff731fcf4c6473cf18100d2e593a1a8edcc687e113ebb147903ee6"},"schema_version":"1.0"},"canonical_sha256":"67e368f5b9ec6ca416e96cd5c4c01f57a164b8d80477b28a26781e466ab4bac3","source":{"kind":"arxiv","id":"2405.20904","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2405.20904","created_at":"2026-07-05T09:20:23Z"},{"alias_kind":"arxiv_version","alias_value":"2405.20904v4","created_at":"2026-07-05T09:20:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.20904","created_at":"2026-07-05T09:20:23Z"},{"alias_kind":"pith_short_12","alias_value":"M7RWR5NZ5RWK","created_at":"2026-07-05T09:20:23Z"},{"alias_kind":"pith_short_16","alias_value":"M7RWR5NZ5RWKIFXJ","created_at":"2026-07-05T09:20:23Z"},{"alias_kind":"pith_short_8","alias_value":"M7RWR5NZ","created_at":"2026-07-05T09:20:23Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:M7RWR5NZ5RWKIFXJNTK4JQA7K6","target":"record","payload":{"canonical_record":{"source":{"id":"2405.20904","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"math.CO","submitted_at":"2024-05-31T15:15:51Z","cross_cats_sorted":["cs.DM"],"title_canon_sha256":"52ed291981a9c1830a385b7e3fe2b89cfc58efe5650a68dc53f424192dd7f947","abstract_canon_sha256":"563bf9d6a0ff731fcf4c6473cf18100d2e593a1a8edcc687e113ebb147903ee6"},"schema_version":"1.0"},"canonical_sha256":"67e368f5b9ec6ca416e96cd5c4c01f57a164b8d80477b28a26781e466ab4bac3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:20:23.510748Z","signature_b64":"EHHCpvSi+3pA6fggSENiov0jnaibL7gOjd5HQPTn2/TZUKThqArdl6wY2wT93PQdee4VnaWefitws3VHDMUZAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"67e368f5b9ec6ca416e96cd5c4c01f57a164b8d80477b28a26781e466ab4bac3","last_reissued_at":"2026-07-05T09:20:23.510328Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:20:23.510328Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2405.20904","source_version":4,"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-07-05T09:20:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JnZudVYpa97ZMvxVJPK6j9MDCmjVQ+um8usQe3PhHWfSDmYZJtbeGss6B5RLGy/p8tflKHxjbPqj3f3LjuKWBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-23T17:56:46.543768Z"},"content_sha256":"0cd668f7f8cf30f3d13489f4107dbecc17223b00a03be3feea64ea065c817626","schema_version":"1.0","event_id":"sha256:0cd668f7f8cf30f3d13489f4107dbecc17223b00a03be3feea64ea065c817626"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:M7RWR5NZ5RWKIFXJNTK4JQA7K6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Solving systems of equations on antichains for the computation of the ninth Dedekind Number","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":["cs.DM"],"primary_cat":"math.CO","authors_text":"Lennart Van Hirtum, Patrick De Causmaecker","submitted_at":"2024-05-31T15:15:51Z","abstract_excerpt":"We study systems of equations on antichains, together with a way to count the number of solutions. We start with a simple example, generalise and show more applications. One of the results was used in the recent computation of D(9), the others have potential to speed up existing techniques in the future.\n  In fact, the result of two independent computations of D(9) were published nearly at the same time, in one of them the authors of the present paper were involved. D(n) counts the monotone Boolean functions or antichains on subsets of a set of n elements. The number rises doubly exponentially"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.20904","kind":"arxiv","version":4},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2405.20904/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T09:20:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gG8PDt5+BTgXoo9jkufvmAuIeEF6J5+YF7r9immmR5NfiTwbZ6Xr3UosOF/hI8xjyxMCpJZpPMaU/cRbpXePBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-23T17:56:46.544262Z"},"content_sha256":"5f2c7bf097c3c75a29c33cd39652ab8eab852c8591bf08ba5262149e365f31c9","schema_version":"1.0","event_id":"sha256:5f2c7bf097c3c75a29c33cd39652ab8eab852c8591bf08ba5262149e365f31c9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/M7RWR5NZ5RWKIFXJNTK4JQA7K6/bundle.json","state_url":"https://pith.science/pith/M7RWR5NZ5RWKIFXJNTK4JQA7K6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/M7RWR5NZ5RWKIFXJNTK4JQA7K6/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-08-23T17:56:46Z","links":{"resolver":"https://pith.science/pith/M7RWR5NZ5RWKIFXJNTK4JQA7K6","bundle":"https://pith.science/pith/M7RWR5NZ5RWKIFXJNTK4JQA7K6/bundle.json","state":"https://pith.science/pith/M7RWR5NZ5RWKIFXJNTK4JQA7K6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/M7RWR5NZ5RWKIFXJNTK4JQA7K6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:M7RWR5NZ5RWKIFXJNTK4JQA7K6","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":"563bf9d6a0ff731fcf4c6473cf18100d2e593a1a8edcc687e113ebb147903ee6","cross_cats_sorted":["cs.DM"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"math.CO","submitted_at":"2024-05-31T15:15:51Z","title_canon_sha256":"52ed291981a9c1830a385b7e3fe2b89cfc58efe5650a68dc53f424192dd7f947"},"schema_version":"1.0","source":{"id":"2405.20904","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2405.20904","created_at":"2026-07-05T09:20:23Z"},{"alias_kind":"arxiv_version","alias_value":"2405.20904v4","created_at":"2026-07-05T09:20:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.20904","created_at":"2026-07-05T09:20:23Z"},{"alias_kind":"pith_short_12","alias_value":"M7RWR5NZ5RWK","created_at":"2026-07-05T09:20:23Z"},{"alias_kind":"pith_short_16","alias_value":"M7RWR5NZ5RWKIFXJ","created_at":"2026-07-05T09:20:23Z"},{"alias_kind":"pith_short_8","alias_value":"M7RWR5NZ","created_at":"2026-07-05T09:20:23Z"}],"graph_snapshots":[{"event_id":"sha256:5f2c7bf097c3c75a29c33cd39652ab8eab852c8591bf08ba5262149e365f31c9","target":"graph","created_at":"2026-07-05T09:20:23Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2405.20904/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We study systems of equations on antichains, together with a way to count the number of solutions. We start with a simple example, generalise and show more applications. One of the results was used in the recent computation of D(9), the others have potential to speed up existing techniques in the future.\n  In fact, the result of two independent computations of D(9) were published nearly at the same time, in one of them the authors of the present paper were involved. D(n) counts the monotone Boolean functions or antichains on subsets of a set of n elements. The number rises doubly exponentially","authors_text":"Lennart Van Hirtum, Patrick De Causmaecker","cross_cats":["cs.DM"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"math.CO","submitted_at":"2024-05-31T15:15:51Z","title":"Solving systems of equations on antichains for the computation of the ninth Dedekind Number"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.20904","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:0cd668f7f8cf30f3d13489f4107dbecc17223b00a03be3feea64ea065c817626","target":"record","created_at":"2026-07-05T09:20:23Z","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":"563bf9d6a0ff731fcf4c6473cf18100d2e593a1a8edcc687e113ebb147903ee6","cross_cats_sorted":["cs.DM"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"math.CO","submitted_at":"2024-05-31T15:15:51Z","title_canon_sha256":"52ed291981a9c1830a385b7e3fe2b89cfc58efe5650a68dc53f424192dd7f947"},"schema_version":"1.0","source":{"id":"2405.20904","kind":"arxiv","version":4}},"canonical_sha256":"67e368f5b9ec6ca416e96cd5c4c01f57a164b8d80477b28a26781e466ab4bac3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"67e368f5b9ec6ca416e96cd5c4c01f57a164b8d80477b28a26781e466ab4bac3","first_computed_at":"2026-07-05T09:20:23.510328Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:20:23.510328Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"EHHCpvSi+3pA6fggSENiov0jnaibL7gOjd5HQPTn2/TZUKThqArdl6wY2wT93PQdee4VnaWefitws3VHDMUZAA==","signature_status":"signed_v1","signed_at":"2026-07-05T09:20:23.510748Z","signed_message":"canonical_sha256_bytes"},"source_id":"2405.20904","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0cd668f7f8cf30f3d13489f4107dbecc17223b00a03be3feea64ea065c817626","sha256:5f2c7bf097c3c75a29c33cd39652ab8eab852c8591bf08ba5262149e365f31c9"],"state_sha256":"945c34491d8e1b18b27c3cd6f0c2f415662d88afd5fc21ada663e8474b984bb9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JmZLdRj3ExWmYMu3eaEIgYzhLrfCxKJIApYNgIGvzFE7HyT3323Fu8ow6HzTGgeT0alLEebI0w86lDphhdeqBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-23T17:56:46.549180Z","bundle_sha256":"c80c1e0e86643a4705747d8ba41d28fcf2b31485550bba383ff401c8feb038ca"}}