{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:M7ZC62EYJSQRPMUFSHCNICAGMR","short_pith_number":"pith:M7ZC62EY","schema_version":"1.0","canonical_sha256":"67f22f68984ca117b28591c4d40806645045ccc043726487aaaa6178084219bc","source":{"kind":"arxiv","id":"2606.19492","version":1},"attestation_state":"computed","paper":{"title":"Functional completeness and primitive positive decomposition of relations on finite domains","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LO","math.RA"],"primary_cat":"math.LO","authors_text":"Sergiy Koshkin","submitted_at":"2026-06-17T18:28:51Z","abstract_excerpt":"We give a new and elementary construction of primitive positive decomposition of higher arity relations into binary relations on finite domains. Such decompositions come up in applications to constraint satisfaction problems, clone theory and relational databases. The construction exploits functional completeness of 2-input functions in many-valued logic by interpreting relations as graphs of partially defined multivalued 'functions'. The 'functions' are then composed from ordinary functions in the usual sense. The construction is computationally effective and relies on well-developed methods "},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2606.19492","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.LO","submitted_at":"2026-06-17T18:28:51Z","cross_cats_sorted":["cs.LO","math.RA"],"title_canon_sha256":"5c52f2ccd66cc74c236f2688be770b8a8fb404a1483837f5f7c652f60e948537","abstract_canon_sha256":"d36bc811185aa6d820feb05ede469253fe4de1888db0b08a2a8e0688f6cbf094"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-19T16:12:27.183238Z","signature_b64":"86T7r4dQsWozqP2cPigxMAYL+sixfrWQxasnazxIO+Fp5ZtWuLpAZFFNFHuhplkfOk7oatljo/YHJLoX5OQJAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"67f22f68984ca117b28591c4d40806645045ccc043726487aaaa6178084219bc","last_reissued_at":"2026-06-19T16:12:27.182890Z","signature_status":"signed_v1","first_computed_at":"2026-06-19T16:12:27.182890Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Functional completeness and primitive positive decomposition of relations on finite domains","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LO","math.RA"],"primary_cat":"math.LO","authors_text":"Sergiy Koshkin","submitted_at":"2026-06-17T18:28:51Z","abstract_excerpt":"We give a new and elementary construction of primitive positive decomposition of higher arity relations into binary relations on finite domains. Such decompositions come up in applications to constraint satisfaction problems, clone theory and relational databases. The construction exploits functional completeness of 2-input functions in many-valued logic by interpreting relations as graphs of partially defined multivalued 'functions'. The 'functions' are then composed from ordinary functions in the usual sense. The construction is computationally effective and relies on well-developed methods "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.19492","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2606.19492/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2606.19492","created_at":"2026-06-19T16:12:27.182954+00:00"},{"alias_kind":"arxiv_version","alias_value":"2606.19492v1","created_at":"2026-06-19T16:12:27.182954+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.19492","created_at":"2026-06-19T16:12:27.182954+00:00"},{"alias_kind":"pith_short_12","alias_value":"M7ZC62EYJSQR","created_at":"2026-06-19T16:12:27.182954+00:00"},{"alias_kind":"pith_short_16","alias_value":"M7ZC62EYJSQRPMUF","created_at":"2026-06-19T16:12:27.182954+00:00"},{"alias_kind":"pith_short_8","alias_value":"M7ZC62EY","created_at":"2026-06-19T16:12:27.182954+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/M7ZC62EYJSQRPMUFSHCNICAGMR","json":"https://pith.science/pith/M7ZC62EYJSQRPMUFSHCNICAGMR.json","graph_json":"https://pith.science/api/pith-number/M7ZC62EYJSQRPMUFSHCNICAGMR/graph.json","events_json":"https://pith.science/api/pith-number/M7ZC62EYJSQRPMUFSHCNICAGMR/events.json","paper":"https://pith.science/paper/M7ZC62EY"},"agent_actions":{"view_html":"https://pith.science/pith/M7ZC62EYJSQRPMUFSHCNICAGMR","download_json":"https://pith.science/pith/M7ZC62EYJSQRPMUFSHCNICAGMR.json","view_paper":"https://pith.science/paper/M7ZC62EY","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2606.19492&json=true","fetch_graph":"https://pith.science/api/pith-number/M7ZC62EYJSQRPMUFSHCNICAGMR/graph.json","fetch_events":"https://pith.science/api/pith-number/M7ZC62EYJSQRPMUFSHCNICAGMR/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/M7ZC62EYJSQRPMUFSHCNICAGMR/action/timestamp_anchor","attest_storage":"https://pith.science/pith/M7ZC62EYJSQRPMUFSHCNICAGMR/action/storage_attestation","attest_author":"https://pith.science/pith/M7ZC62EYJSQRPMUFSHCNICAGMR/action/author_attestation","sign_citation":"https://pith.science/pith/M7ZC62EYJSQRPMUFSHCNICAGMR/action/citation_signature","submit_replication":"https://pith.science/pith/M7ZC62EYJSQRPMUFSHCNICAGMR/action/replication_record"}},"created_at":"2026-06-19T16:12:27.182954+00:00","updated_at":"2026-06-19T16:12:27.182954+00:00"}