{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2009:KY4JBCBL6JLS5WD26NMQNWG6DX","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":"dc7a4a018217bd3ac5d1f1e7123e97eacfda57ac300dfdb41937b8f9abcaae60","cross_cats_sorted":["math.RA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.FA","submitted_at":"2009-09-16T13:28:28Z","title_canon_sha256":"b01aead9421d19e4676d422f894a6acba1714cc47263632a03d8e43682121f5c"},"schema_version":"1.0","source":{"id":"0909.3009","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0909.3009","created_at":"2026-05-18T04:35:05Z"},{"alias_kind":"arxiv_version","alias_value":"0909.3009v2","created_at":"2026-05-18T04:35:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0909.3009","created_at":"2026-05-18T04:35:05Z"},{"alias_kind":"pith_short_12","alias_value":"KY4JBCBL6JLS","created_at":"2026-05-18T12:26:00Z"},{"alias_kind":"pith_short_16","alias_value":"KY4JBCBL6JLS5WD2","created_at":"2026-05-18T12:26:00Z"},{"alias_kind":"pith_short_8","alias_value":"KY4JBCBL","created_at":"2026-05-18T12:26:00Z"}],"graph_snapshots":[{"event_id":"sha256:f0101de3f06bf3c5ff789df783b78495e87bc72b8b7ad6807a4dea227f47476c","target":"graph","created_at":"2026-05-18T04:35:05Z","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":"In [arXiv 0811.3913] the authors introduced the notion of quasi-polynomial function as being a mapping f: X^n -> X defined and valued on a bounded chain X and which can be factorized as f(x_1,...,x_n)=p(phi(x_1),...,phi(x_n)), where p is a polynomial function (i.e., a combination of variables and constants using the chain operations / and) and phi is an order-preserving map. In the current paper we study this notion in the more general setting where the underlying domain and codomain sets are, possibly different, bounded distributive lattices, and where the inner function is not necessarily or","authors_text":"Jean-Luc Marichal, Miguel Couceiro","cross_cats":["math.RA"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.FA","submitted_at":"2009-09-16T13:28:28Z","title":"Quasi-polynomial functions over bounded distributive lattices"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0909.3009","kind":"arxiv","version":2},"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:66c27d5bb1ab8f2da55dc7d92385900cee25e94dc9a96a8a1759a64026189c4d","target":"record","created_at":"2026-05-18T04:35:05Z","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":"dc7a4a018217bd3ac5d1f1e7123e97eacfda57ac300dfdb41937b8f9abcaae60","cross_cats_sorted":["math.RA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.FA","submitted_at":"2009-09-16T13:28:28Z","title_canon_sha256":"b01aead9421d19e4676d422f894a6acba1714cc47263632a03d8e43682121f5c"},"schema_version":"1.0","source":{"id":"0909.3009","kind":"arxiv","version":2}},"canonical_sha256":"563890882bf2572ed87af35906d8de1de7030627a48012eee6446bd9369bf1b2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"563890882bf2572ed87af35906d8de1de7030627a48012eee6446bd9369bf1b2","first_computed_at":"2026-05-18T04:35:05.266512Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:35:05.266512Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"SQruZ0TlOZLMkPid07+WBjI+IVJF0w3GnQ+Mh3v1TFmt8cNPVOWbEpnZCCD0VhK+4zIOax0HoIvur04kPSAXBg==","signature_status":"signed_v1","signed_at":"2026-05-18T04:35:05.266935Z","signed_message":"canonical_sha256_bytes"},"source_id":"0909.3009","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:66c27d5bb1ab8f2da55dc7d92385900cee25e94dc9a96a8a1759a64026189c4d","sha256:f0101de3f06bf3c5ff789df783b78495e87bc72b8b7ad6807a4dea227f47476c"],"state_sha256":"a65bb4f9c52936071e8fb60fe84805fe37e1abbab1d05019f613291244f18ac5"}