{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:BBCDYUCB6I7ZCFU72Z6L4TWN4X","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":"479ff5b861c191294604c95932c726438c013be97770d119eda6b3a341cfd454","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2025-01-31T08:57:17Z","title_canon_sha256":"0325d8798bfbe01ba2a89d181153aef5a74868897129b19737691b366d348fd4"},"schema_version":"1.0","source":{"id":"2501.18966","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2501.18966","created_at":"2026-07-05T10:07:54Z"},{"alias_kind":"arxiv_version","alias_value":"2501.18966v1","created_at":"2026-07-05T10:07:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2501.18966","created_at":"2026-07-05T10:07:54Z"},{"alias_kind":"pith_short_12","alias_value":"BBCDYUCB6I7Z","created_at":"2026-07-05T10:07:54Z"},{"alias_kind":"pith_short_16","alias_value":"BBCDYUCB6I7ZCFU7","created_at":"2026-07-05T10:07:54Z"},{"alias_kind":"pith_short_8","alias_value":"BBCDYUCB","created_at":"2026-07-05T10:07:54Z"}],"graph_snapshots":[{"event_id":"sha256:51307ddec5ead9de9a2e5deba3f01589bd84b5cb72454d5aa11a0275386ba767","target":"graph","created_at":"2026-07-05T10:07:54Z","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/2501.18966/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Every simple game is a monotone Boolean function. For the other direction we just have to exclude the two constant functions. The enumeration of monotone Boolean functions with distinguishable variables is also known as the Dedekind's problem. The corresponding number for nine variables was determined just recently by two disjoint research groups. Considering permutations of the variables as symmetries we can also speak about non-equivalent monotone Boolean functions (or simple games). Here we consider simple games with minimum, i.e., simple games with a unique minimal winning vector. A closed","authors_text":"Dani Samaniego, Sascha Kurz","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2025-01-31T08:57:17Z","title":"Simple games with minimum"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2501.18966","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:0012b4d6f9fc0e516033156944051e080e4e04bf8303baddb38b3c264b9f76e5","target":"record","created_at":"2026-07-05T10:07:54Z","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":"479ff5b861c191294604c95932c726438c013be97770d119eda6b3a341cfd454","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2025-01-31T08:57:17Z","title_canon_sha256":"0325d8798bfbe01ba2a89d181153aef5a74868897129b19737691b366d348fd4"},"schema_version":"1.0","source":{"id":"2501.18966","kind":"arxiv","version":1}},"canonical_sha256":"08443c5041f23f91169fd67cbe4ecde5c20f314d55541bb7923263cbf2a15b67","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"08443c5041f23f91169fd67cbe4ecde5c20f314d55541bb7923263cbf2a15b67","first_computed_at":"2026-07-05T10:07:54.135871Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:07:54.135871Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"6HX1C6BeEHKjybUe8sGXbXlZ4Q1IBLpX3bslm/ewO0K5S9MiPuNqX3Ag1F7DeFxTBu491EtIgoJwDdTKoImGAA==","signature_status":"signed_v1","signed_at":"2026-07-05T10:07:54.139604Z","signed_message":"canonical_sha256_bytes"},"source_id":"2501.18966","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0012b4d6f9fc0e516033156944051e080e4e04bf8303baddb38b3c264b9f76e5","sha256:51307ddec5ead9de9a2e5deba3f01589bd84b5cb72454d5aa11a0275386ba767"],"state_sha256":"6d5d606f2a59567fd89f0ebb70426f5a0eb8f9016426aa45928f4157032e8b3c"}