{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:V2HKZ3LEAPGDGXYXPAQB52TNR2","short_pith_number":"pith:V2HKZ3LE","canonical_record":{"source":{"id":"1708.04579","kind":"arxiv","version":5},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.MG","submitted_at":"2017-08-07T06:50:20Z","cross_cats_sorted":["math.CO"],"title_canon_sha256":"1f9f368bd275867c865e820eb5b74994340a3948a21cb4933b891c7bc1511fd0","abstract_canon_sha256":"9ad4b105cf65e102dd790d0e83a0a9461ba13b11efb4d38cad9082a17191a6a2"},"schema_version":"1.0"},"canonical_sha256":"ae8eaced6403cc335f1778201eea6d8eab22986b5990a1fe889761679a92a0e6","source":{"kind":"arxiv","id":"1708.04579","version":5},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1708.04579","created_at":"2026-05-17T23:45:58Z"},{"alias_kind":"arxiv_version","alias_value":"1708.04579v5","created_at":"2026-05-17T23:45:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1708.04579","created_at":"2026-05-17T23:45:58Z"},{"alias_kind":"pith_short_12","alias_value":"V2HKZ3LEAPGD","created_at":"2026-05-18T12:31:49Z"},{"alias_kind":"pith_short_16","alias_value":"V2HKZ3LEAPGDGXYX","created_at":"2026-05-18T12:31:49Z"},{"alias_kind":"pith_short_8","alias_value":"V2HKZ3LE","created_at":"2026-05-18T12:31:49Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:V2HKZ3LEAPGDGXYXPAQB52TNR2","target":"record","payload":{"canonical_record":{"source":{"id":"1708.04579","kind":"arxiv","version":5},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.MG","submitted_at":"2017-08-07T06:50:20Z","cross_cats_sorted":["math.CO"],"title_canon_sha256":"1f9f368bd275867c865e820eb5b74994340a3948a21cb4933b891c7bc1511fd0","abstract_canon_sha256":"9ad4b105cf65e102dd790d0e83a0a9461ba13b11efb4d38cad9082a17191a6a2"},"schema_version":"1.0"},"canonical_sha256":"ae8eaced6403cc335f1778201eea6d8eab22986b5990a1fe889761679a92a0e6","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:45:58.296199Z","signature_b64":"RiibbXc5YXgQzdpuh4yKbGsRpSSOIyVB+IX+XX0+1jMWTfj0jWakXmZWjP2dHn9+ko++/v80zDoE6yWfC02eAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ae8eaced6403cc335f1778201eea6d8eab22986b5990a1fe889761679a92a0e6","last_reissued_at":"2026-05-17T23:45:58.295550Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:45:58.295550Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1708.04579","source_version":5,"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:45:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lsgAlkl5cVhS763Li5/rKTxhlS7IUJtjgLq2jfvXJ96AendiN7yHW+tvFYgBICp2SK4zMf0tKOteLpGy5Ag4Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T16:20:38.756632Z"},"content_sha256":"c48ac884ce1ab83cb47f4ef72b6371ee7bc93965f17cd307a6544643e285760e","schema_version":"1.0","event_id":"sha256:c48ac884ce1ab83cb47f4ef72b6371ee7bc93965f17cd307a6544643e285760e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:V2HKZ3LEAPGDGXYXPAQB52TNR2","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Discrete Midpoint Convexity","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CO"],"primary_cat":"math.MG","authors_text":"Akihisa Tamura, Fabio Tardella, Kazuo Murota, Satoko Moriguchi","submitted_at":"2017-08-07T06:50:20Z","abstract_excerpt":"For a function defined on a convex set in a Euclidean space, midpoint convexity is the property requiring that the value of the function at the midpoint of any line segment is not greater than the average of its values at the endpoints of the line segment. Midpoint convexity is a well-known characterization of ordinary convexity under very mild assumptions. For a function defined on the integer lattice, we consider the analogous notion of discrete midpoint convexity, a discrete version of midpoint convexity where the value of the function at the (possibly noninteger) midpoint is replaced by th"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1708.04579","kind":"arxiv","version":5},"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:45:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/BjvhEdyotlhbN8GtLC/F7GrR+Vk8ZoVWO6Wr5thdQLJnizafqDlwHijjA6dgeQlOecJ5ucKiVAZrRPh6BF4Ag==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T16:20:38.757360Z"},"content_sha256":"867709115b8c44262f279b8a75a896b49353c6ce208ce0f5b17d01d01a1d8439","schema_version":"1.0","event_id":"sha256:867709115b8c44262f279b8a75a896b49353c6ce208ce0f5b17d01d01a1d8439"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/V2HKZ3LEAPGDGXYXPAQB52TNR2/bundle.json","state_url":"https://pith.science/pith/V2HKZ3LEAPGDGXYXPAQB52TNR2/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/V2HKZ3LEAPGDGXYXPAQB52TNR2/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-06-11T16:20:38Z","links":{"resolver":"https://pith.science/pith/V2HKZ3LEAPGDGXYXPAQB52TNR2","bundle":"https://pith.science/pith/V2HKZ3LEAPGDGXYXPAQB52TNR2/bundle.json","state":"https://pith.science/pith/V2HKZ3LEAPGDGXYXPAQB52TNR2/state.json","well_known_bundle":"https://pith.science/.well-known/pith/V2HKZ3LEAPGDGXYXPAQB52TNR2/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:V2HKZ3LEAPGDGXYXPAQB52TNR2","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":"9ad4b105cf65e102dd790d0e83a0a9461ba13b11efb4d38cad9082a17191a6a2","cross_cats_sorted":["math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.MG","submitted_at":"2017-08-07T06:50:20Z","title_canon_sha256":"1f9f368bd275867c865e820eb5b74994340a3948a21cb4933b891c7bc1511fd0"},"schema_version":"1.0","source":{"id":"1708.04579","kind":"arxiv","version":5}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1708.04579","created_at":"2026-05-17T23:45:58Z"},{"alias_kind":"arxiv_version","alias_value":"1708.04579v5","created_at":"2026-05-17T23:45:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1708.04579","created_at":"2026-05-17T23:45:58Z"},{"alias_kind":"pith_short_12","alias_value":"V2HKZ3LEAPGD","created_at":"2026-05-18T12:31:49Z"},{"alias_kind":"pith_short_16","alias_value":"V2HKZ3LEAPGDGXYX","created_at":"2026-05-18T12:31:49Z"},{"alias_kind":"pith_short_8","alias_value":"V2HKZ3LE","created_at":"2026-05-18T12:31:49Z"}],"graph_snapshots":[{"event_id":"sha256:867709115b8c44262f279b8a75a896b49353c6ce208ce0f5b17d01d01a1d8439","target":"graph","created_at":"2026-05-17T23:45:58Z","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":"For a function defined on a convex set in a Euclidean space, midpoint convexity is the property requiring that the value of the function at the midpoint of any line segment is not greater than the average of its values at the endpoints of the line segment. Midpoint convexity is a well-known characterization of ordinary convexity under very mild assumptions. For a function defined on the integer lattice, we consider the analogous notion of discrete midpoint convexity, a discrete version of midpoint convexity where the value of the function at the (possibly noninteger) midpoint is replaced by th","authors_text":"Akihisa Tamura, Fabio Tardella, Kazuo Murota, Satoko Moriguchi","cross_cats":["math.CO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.MG","submitted_at":"2017-08-07T06:50:20Z","title":"Discrete Midpoint Convexity"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1708.04579","kind":"arxiv","version":5},"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:c48ac884ce1ab83cb47f4ef72b6371ee7bc93965f17cd307a6544643e285760e","target":"record","created_at":"2026-05-17T23:45:58Z","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":"9ad4b105cf65e102dd790d0e83a0a9461ba13b11efb4d38cad9082a17191a6a2","cross_cats_sorted":["math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.MG","submitted_at":"2017-08-07T06:50:20Z","title_canon_sha256":"1f9f368bd275867c865e820eb5b74994340a3948a21cb4933b891c7bc1511fd0"},"schema_version":"1.0","source":{"id":"1708.04579","kind":"arxiv","version":5}},"canonical_sha256":"ae8eaced6403cc335f1778201eea6d8eab22986b5990a1fe889761679a92a0e6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ae8eaced6403cc335f1778201eea6d8eab22986b5990a1fe889761679a92a0e6","first_computed_at":"2026-05-17T23:45:58.295550Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:45:58.295550Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"RiibbXc5YXgQzdpuh4yKbGsRpSSOIyVB+IX+XX0+1jMWTfj0jWakXmZWjP2dHn9+ko++/v80zDoE6yWfC02eAQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:45:58.296199Z","signed_message":"canonical_sha256_bytes"},"source_id":"1708.04579","source_kind":"arxiv","source_version":5}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c48ac884ce1ab83cb47f4ef72b6371ee7bc93965f17cd307a6544643e285760e","sha256:867709115b8c44262f279b8a75a896b49353c6ce208ce0f5b17d01d01a1d8439"],"state_sha256":"970f897843cf7608fb90d595b84860b7c48438d3311e802b58dd5d4ca8168034"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"E2aUALsKSU7ZjN/rrCVexqX9dC42vKlGjs4MIK5/5Oc7hkyIhpcMkm6m2pfcn0rHciZN6BLOFH/vEQkforDNBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-11T16:20:38.761675Z","bundle_sha256":"9dd6d144d8009e2448d1c2d712bddc3f8900b4a4e3477ba397391f7e156a6f60"}}