{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:HHBOX3H2PMRETPOZGXCZVRP66Q","short_pith_number":"pith:HHBOX3H2","canonical_record":{"source":{"id":"1803.04528","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-03-12T20:55:40Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"49d878d777e37d85c2e593a78805b01a29ea0e282c7ad4995ce6dd762276ec3d","abstract_canon_sha256":"bb0cae3fc31e0f46aba48b086e9476501d114463b9cfd8796c9391ed9b95faf4"},"schema_version":"1.0"},"canonical_sha256":"39c2ebecfa7b2249bdd935c59ac5fef41664518514d1ae889a7253cba7697321","source":{"kind":"arxiv","id":"1803.04528","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1803.04528","created_at":"2026-05-18T00:21:18Z"},{"alias_kind":"arxiv_version","alias_value":"1803.04528v1","created_at":"2026-05-18T00:21:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.04528","created_at":"2026-05-18T00:21:18Z"},{"alias_kind":"pith_short_12","alias_value":"HHBOX3H2PMRE","created_at":"2026-05-18T12:32:28Z"},{"alias_kind":"pith_short_16","alias_value":"HHBOX3H2PMRETPOZ","created_at":"2026-05-18T12:32:28Z"},{"alias_kind":"pith_short_8","alias_value":"HHBOX3H2","created_at":"2026-05-18T12:32:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:HHBOX3H2PMRETPOZGXCZVRP66Q","target":"record","payload":{"canonical_record":{"source":{"id":"1803.04528","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-03-12T20:55:40Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"49d878d777e37d85c2e593a78805b01a29ea0e282c7ad4995ce6dd762276ec3d","abstract_canon_sha256":"bb0cae3fc31e0f46aba48b086e9476501d114463b9cfd8796c9391ed9b95faf4"},"schema_version":"1.0"},"canonical_sha256":"39c2ebecfa7b2249bdd935c59ac5fef41664518514d1ae889a7253cba7697321","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:21:18.817598Z","signature_b64":"GP5ya6fgIUXD1GofLWTr0UZeGnxa/36ArtW1SeqKzaWMVKBVv5yMxviR07Vdkl2T4JtvwMpiQCqLPsHfbDFECA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"39c2ebecfa7b2249bdd935c59ac5fef41664518514d1ae889a7253cba7697321","last_reissued_at":"2026-05-18T00:21:18.816973Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:21:18.816973Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1803.04528","source_version":1,"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-18T00:21:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"p0NJwEgIAuRqlzbMb1EWePurxNtPg0YW1VBOUKGNhz1H6KkI8hxMj6Pj2VwWP9CMYHDwrlt0YmOBZHcVaZmxDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T21:03:51.513046Z"},"content_sha256":"63a6b705168e611344b72f00c48762f9c59da0a68054bbb5cee30c6224204937","schema_version":"1.0","event_id":"sha256:63a6b705168e611344b72f00c48762f9c59da0a68054bbb5cee30c6224204937"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:HHBOX3H2PMRETPOZGXCZVRP66Q","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On sufficient conditions for mixed monotonicity","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"math.OC","authors_text":"Liren Yang, Necmiye Ozay, Oscar Mickelin","submitted_at":"2018-03-12T20:55:40Z","abstract_excerpt":"Mixed monotone systems form an important class of nonlinear systems that have recently received attention in the abstraction-based control design area. Slightly different definitions exist in the literature, and it remains a challenge to verify mixed monotonicity of a system in general. In this paper, we first clarify the relation between different existing definitions of mixed monotone systems, and then give two sufficient conditions for mixed monotone functions defined on Euclidean space. These sufficient conditions are more general than the ones from the existing control literature, and the"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.04528","kind":"arxiv","version":1},"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-18T00:21:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZsDjToogOkbxrCeGajytiAx0pgI9mgR0N8OqjmcwkYgXcbf19WkSGQmNnGeFmxFGifc4pZ57OjwVpxaFnkl9Dg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T21:03:51.513885Z"},"content_sha256":"f19c5611c31279a62b4a3c4a828d67b6ba0c6957a827923f6743e0c81db0d98b","schema_version":"1.0","event_id":"sha256:f19c5611c31279a62b4a3c4a828d67b6ba0c6957a827923f6743e0c81db0d98b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HHBOX3H2PMRETPOZGXCZVRP66Q/bundle.json","state_url":"https://pith.science/pith/HHBOX3H2PMRETPOZGXCZVRP66Q/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HHBOX3H2PMRETPOZGXCZVRP66Q/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-09T21:03:51Z","links":{"resolver":"https://pith.science/pith/HHBOX3H2PMRETPOZGXCZVRP66Q","bundle":"https://pith.science/pith/HHBOX3H2PMRETPOZGXCZVRP66Q/bundle.json","state":"https://pith.science/pith/HHBOX3H2PMRETPOZGXCZVRP66Q/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HHBOX3H2PMRETPOZGXCZVRP66Q/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:HHBOX3H2PMRETPOZGXCZVRP66Q","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":"bb0cae3fc31e0f46aba48b086e9476501d114463b9cfd8796c9391ed9b95faf4","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-03-12T20:55:40Z","title_canon_sha256":"49d878d777e37d85c2e593a78805b01a29ea0e282c7ad4995ce6dd762276ec3d"},"schema_version":"1.0","source":{"id":"1803.04528","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1803.04528","created_at":"2026-05-18T00:21:18Z"},{"alias_kind":"arxiv_version","alias_value":"1803.04528v1","created_at":"2026-05-18T00:21:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.04528","created_at":"2026-05-18T00:21:18Z"},{"alias_kind":"pith_short_12","alias_value":"HHBOX3H2PMRE","created_at":"2026-05-18T12:32:28Z"},{"alias_kind":"pith_short_16","alias_value":"HHBOX3H2PMRETPOZ","created_at":"2026-05-18T12:32:28Z"},{"alias_kind":"pith_short_8","alias_value":"HHBOX3H2","created_at":"2026-05-18T12:32:28Z"}],"graph_snapshots":[{"event_id":"sha256:f19c5611c31279a62b4a3c4a828d67b6ba0c6957a827923f6743e0c81db0d98b","target":"graph","created_at":"2026-05-18T00:21:18Z","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":"Mixed monotone systems form an important class of nonlinear systems that have recently received attention in the abstraction-based control design area. Slightly different definitions exist in the literature, and it remains a challenge to verify mixed monotonicity of a system in general. In this paper, we first clarify the relation between different existing definitions of mixed monotone systems, and then give two sufficient conditions for mixed monotone functions defined on Euclidean space. These sufficient conditions are more general than the ones from the existing control literature, and the","authors_text":"Liren Yang, Necmiye Ozay, Oscar Mickelin","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-03-12T20:55:40Z","title":"On sufficient conditions for mixed monotonicity"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.04528","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:63a6b705168e611344b72f00c48762f9c59da0a68054bbb5cee30c6224204937","target":"record","created_at":"2026-05-18T00:21:18Z","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":"bb0cae3fc31e0f46aba48b086e9476501d114463b9cfd8796c9391ed9b95faf4","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-03-12T20:55:40Z","title_canon_sha256":"49d878d777e37d85c2e593a78805b01a29ea0e282c7ad4995ce6dd762276ec3d"},"schema_version":"1.0","source":{"id":"1803.04528","kind":"arxiv","version":1}},"canonical_sha256":"39c2ebecfa7b2249bdd935c59ac5fef41664518514d1ae889a7253cba7697321","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"39c2ebecfa7b2249bdd935c59ac5fef41664518514d1ae889a7253cba7697321","first_computed_at":"2026-05-18T00:21:18.816973Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:21:18.816973Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"GP5ya6fgIUXD1GofLWTr0UZeGnxa/36ArtW1SeqKzaWMVKBVv5yMxviR07Vdkl2T4JtvwMpiQCqLPsHfbDFECA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:21:18.817598Z","signed_message":"canonical_sha256_bytes"},"source_id":"1803.04528","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:63a6b705168e611344b72f00c48762f9c59da0a68054bbb5cee30c6224204937","sha256:f19c5611c31279a62b4a3c4a828d67b6ba0c6957a827923f6743e0c81db0d98b"],"state_sha256":"27aca6754f675bedab9063c3a28ca32833bbb11f1c5f4a53f25924f3c27d6833"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EvLfedooi/kcTm1zre71g4TY97WzIrYLKUFig8P8BB7RiEUAbraphcvZDCBdb/1aaiu96s1eFNnuMJdaPDnTDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-09T21:03:51.517933Z","bundle_sha256":"64655063e60fcca52a4eb33d239bd3d592abfee2807b9324fa5535078770da00"}}