{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:VRABA4UAUUV3OR65L4NYMBHV3Y","short_pith_number":"pith:VRABA4UA","canonical_record":{"source":{"id":"1804.05683","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2018-04-16T13:53:11Z","cross_cats_sorted":["math.AG"],"title_canon_sha256":"10645f6c92ba736d6cecafb8458e654feb6132ae6d7b090534c15aa711ba246b","abstract_canon_sha256":"5e972dc7c0e05888a47a1a8a088b45b464ec352f8c0339c8c2b19e6cf870d0bc"},"schema_version":"1.0"},"canonical_sha256":"ac40107280a52bb747dd5f1b8604f5de0c6198d0b75488577b3e91b1f833ecc9","source":{"kind":"arxiv","id":"1804.05683","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.05683","created_at":"2026-05-17T23:44:32Z"},{"alias_kind":"arxiv_version","alias_value":"1804.05683v3","created_at":"2026-05-17T23:44:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.05683","created_at":"2026-05-17T23:44:32Z"},{"alias_kind":"pith_short_12","alias_value":"VRABA4UAUUV3","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_16","alias_value":"VRABA4UAUUV3OR65","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_8","alias_value":"VRABA4UA","created_at":"2026-05-18T12:32:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:VRABA4UAUUV3OR65L4NYMBHV3Y","target":"record","payload":{"canonical_record":{"source":{"id":"1804.05683","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2018-04-16T13:53:11Z","cross_cats_sorted":["math.AG"],"title_canon_sha256":"10645f6c92ba736d6cecafb8458e654feb6132ae6d7b090534c15aa711ba246b","abstract_canon_sha256":"5e972dc7c0e05888a47a1a8a088b45b464ec352f8c0339c8c2b19e6cf870d0bc"},"schema_version":"1.0"},"canonical_sha256":"ac40107280a52bb747dd5f1b8604f5de0c6198d0b75488577b3e91b1f833ecc9","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:44:32.590361Z","signature_b64":"VqFC9RfT8pckUij5cCzKr2GxfUOAOiX29kp7NRXMezc/ZJAcxw+RRqCGYvz2sOvViicUdHMsIjJuydVTe7yMAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ac40107280a52bb747dd5f1b8604f5de0c6198d0b75488577b3e91b1f833ecc9","last_reissued_at":"2026-05-17T23:44:32.589608Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:44:32.589608Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1804.05683","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-17T23:44:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JD3Oa6YUre3Icr/m9G7QF5pNpJLHd3feG6OsbW7rSPu8egPhS+vs+QcpEFM2kLeFknU30ZdtoS6zytlE+04nCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T11:08:44.702151Z"},"content_sha256":"1503fbf6ccbbedfa14f04cdeb6832df574cc87dc80f7e19e7f256193128f6cb1","schema_version":"1.0","event_id":"sha256:1503fbf6ccbbedfa14f04cdeb6832df574cc87dc80f7e19e7f256193128f6cb1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:VRABA4UAUUV3OR65L4NYMBHV3Y","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Polyhedral Method for Sparse Systems with many Positive Solutions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.AG"],"primary_cat":"math.CO","authors_text":"Francisco Santos, Fr\\'ed\\'eric Bihan, Pierre-Jean Spaenlehauer","submitted_at":"2018-04-16T13:53:11Z","abstract_excerpt":"We investigate a version of Viro's method for constructing polynomial systems with many positive solutions, based on regular triangulations of the Newton polytope of the system. The number of positive solutions obtained with our method is governed by the size of the largest positively decorable subcomplex of the triangulation. Here, positive decorability is a property that we introduce and which is dual to being a subcomplex of some regular triangulation. Using this duality, we produce large positively decorable subcomplexes of the boundary complexes of cyclic polytopes. As a byproduct we get "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.05683","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-17T23:44:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"K+hesqHU02rtvKlcbsS3t90uU1WkS02b5YCDvlBuuUeuEFdjU+YwnI2WL3PFtsERAKr7DqX7JbiDR2VazrZzAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T11:08:44.702810Z"},"content_sha256":"aeae66cd6f6a61bc01ba6d689ecc2680e575e9075fb2e1482f4c83d935b20757","schema_version":"1.0","event_id":"sha256:aeae66cd6f6a61bc01ba6d689ecc2680e575e9075fb2e1482f4c83d935b20757"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VRABA4UAUUV3OR65L4NYMBHV3Y/bundle.json","state_url":"https://pith.science/pith/VRABA4UAUUV3OR65L4NYMBHV3Y/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VRABA4UAUUV3OR65L4NYMBHV3Y/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-31T11:08:44Z","links":{"resolver":"https://pith.science/pith/VRABA4UAUUV3OR65L4NYMBHV3Y","bundle":"https://pith.science/pith/VRABA4UAUUV3OR65L4NYMBHV3Y/bundle.json","state":"https://pith.science/pith/VRABA4UAUUV3OR65L4NYMBHV3Y/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VRABA4UAUUV3OR65L4NYMBHV3Y/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:VRABA4UAUUV3OR65L4NYMBHV3Y","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":"5e972dc7c0e05888a47a1a8a088b45b464ec352f8c0339c8c2b19e6cf870d0bc","cross_cats_sorted":["math.AG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2018-04-16T13:53:11Z","title_canon_sha256":"10645f6c92ba736d6cecafb8458e654feb6132ae6d7b090534c15aa711ba246b"},"schema_version":"1.0","source":{"id":"1804.05683","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.05683","created_at":"2026-05-17T23:44:32Z"},{"alias_kind":"arxiv_version","alias_value":"1804.05683v3","created_at":"2026-05-17T23:44:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.05683","created_at":"2026-05-17T23:44:32Z"},{"alias_kind":"pith_short_12","alias_value":"VRABA4UAUUV3","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_16","alias_value":"VRABA4UAUUV3OR65","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_8","alias_value":"VRABA4UA","created_at":"2026-05-18T12:32:59Z"}],"graph_snapshots":[{"event_id":"sha256:aeae66cd6f6a61bc01ba6d689ecc2680e575e9075fb2e1482f4c83d935b20757","target":"graph","created_at":"2026-05-17T23:44:32Z","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 investigate a version of Viro's method for constructing polynomial systems with many positive solutions, based on regular triangulations of the Newton polytope of the system. The number of positive solutions obtained with our method is governed by the size of the largest positively decorable subcomplex of the triangulation. Here, positive decorability is a property that we introduce and which is dual to being a subcomplex of some regular triangulation. Using this duality, we produce large positively decorable subcomplexes of the boundary complexes of cyclic polytopes. As a byproduct we get ","authors_text":"Francisco Santos, Fr\\'ed\\'eric Bihan, Pierre-Jean Spaenlehauer","cross_cats":["math.AG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2018-04-16T13:53:11Z","title":"A Polyhedral Method for Sparse Systems with many Positive Solutions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.05683","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:1503fbf6ccbbedfa14f04cdeb6832df574cc87dc80f7e19e7f256193128f6cb1","target":"record","created_at":"2026-05-17T23:44:32Z","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":"5e972dc7c0e05888a47a1a8a088b45b464ec352f8c0339c8c2b19e6cf870d0bc","cross_cats_sorted":["math.AG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2018-04-16T13:53:11Z","title_canon_sha256":"10645f6c92ba736d6cecafb8458e654feb6132ae6d7b090534c15aa711ba246b"},"schema_version":"1.0","source":{"id":"1804.05683","kind":"arxiv","version":3}},"canonical_sha256":"ac40107280a52bb747dd5f1b8604f5de0c6198d0b75488577b3e91b1f833ecc9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ac40107280a52bb747dd5f1b8604f5de0c6198d0b75488577b3e91b1f833ecc9","first_computed_at":"2026-05-17T23:44:32.589608Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:44:32.589608Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"VqFC9RfT8pckUij5cCzKr2GxfUOAOiX29kp7NRXMezc/ZJAcxw+RRqCGYvz2sOvViicUdHMsIjJuydVTe7yMAw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:44:32.590361Z","signed_message":"canonical_sha256_bytes"},"source_id":"1804.05683","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1503fbf6ccbbedfa14f04cdeb6832df574cc87dc80f7e19e7f256193128f6cb1","sha256:aeae66cd6f6a61bc01ba6d689ecc2680e575e9075fb2e1482f4c83d935b20757"],"state_sha256":"4685d21da95ce054aa7637c68f93283c1e58f86a26208e3c20cb54f13fe31af3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uA/Oh2ohuPnIW2hD7jUMb8Y4Yk9IdAJCsqMAbcQGAGJ441AQdJMgJmsGX2a7q71DDufC2eLTT9Mj7Q/WD8xdDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T11:08:44.706161Z","bundle_sha256":"4b2d205736080a75fbaf1c06d104c2b36ad037eb682faff68f55f217b83c807a"}}