{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:OOV7HCUZB7H26NSRQN4ZLBJW2J","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":"4b8733c82496ac6c5373974b07e233a15933bc904552196375173534bb0f985a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2017-08-23T20:16:04Z","title_canon_sha256":"22386969f9bdd1151eeeaa63be9491cfbd5edfc4b432f56fd226e3e7c5f685b7"},"schema_version":"1.0","source":{"id":"1708.07175","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1708.07175","created_at":"2026-05-18T00:15:30Z"},{"alias_kind":"arxiv_version","alias_value":"1708.07175v3","created_at":"2026-05-18T00:15:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1708.07175","created_at":"2026-05-18T00:15:30Z"},{"alias_kind":"pith_short_12","alias_value":"OOV7HCUZB7H2","created_at":"2026-05-18T12:31:34Z"},{"alias_kind":"pith_short_16","alias_value":"OOV7HCUZB7H26NSR","created_at":"2026-05-18T12:31:34Z"},{"alias_kind":"pith_short_8","alias_value":"OOV7HCUZ","created_at":"2026-05-18T12:31:34Z"}],"graph_snapshots":[{"event_id":"sha256:8d621ba43d4c970f43752fee8b64be1ca06cbd96c3c6928502495d9fd5f1abd3","target":"graph","created_at":"2026-05-18T00:15:30Z","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":"A simple proof of Atanassov's Conjecture is presented. Atanassov's Conjecture is a generalization of Sperner's Lemma, a lemma which has been used to prove Brouwer's Fixed Point Theorem, among other fixed point theorems. The proof of Atanassov's Conjecture is based on the Brouwer Degree of maps and is extremely elementary. It is much simpler than the original proofs given for the conjecture and provides some insight into the nature of the conjecture. Furthermore, a generalization of the conjecture is presented and finally a new theorem, similar to the original Sperner Lemma, is proved.","authors_text":"Yitzchak Shmalo","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2017-08-23T20:16:04Z","title":"A Proof of Atanassov's Conjecture and Other Generalizations of Sperner's Lemma"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1708.07175","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:16ed78bff608786bb17b5568bca5ecbc1d144eb851ca06eaf20446eb9c17eefb","target":"record","created_at":"2026-05-18T00:15:30Z","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":"4b8733c82496ac6c5373974b07e233a15933bc904552196375173534bb0f985a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2017-08-23T20:16:04Z","title_canon_sha256":"22386969f9bdd1151eeeaa63be9491cfbd5edfc4b432f56fd226e3e7c5f685b7"},"schema_version":"1.0","source":{"id":"1708.07175","kind":"arxiv","version":3}},"canonical_sha256":"73abf38a990fcfaf36518379958536d2467572767dd8a6ecdc02ec57046ff472","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"73abf38a990fcfaf36518379958536d2467572767dd8a6ecdc02ec57046ff472","first_computed_at":"2026-05-18T00:15:30.617439Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:15:30.617439Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"4Qzk/AVwU0AC67PPSy2ziXD/h5uyTWEE8wnXLFhuvBesBLcQ0kRvUCMxbTCOGjHX1/pxmT4w+G5aT9CaE56wBA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:15:30.618109Z","signed_message":"canonical_sha256_bytes"},"source_id":"1708.07175","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:16ed78bff608786bb17b5568bca5ecbc1d144eb851ca06eaf20446eb9c17eefb","sha256:8d621ba43d4c970f43752fee8b64be1ca06cbd96c3c6928502495d9fd5f1abd3"],"state_sha256":"4f2c113eb04d784e9fddbce8502249467bdcb98d549dc568274e04a33ce733d8"}