{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:I2D6AQFPHNKRTZ4WGSSQON5BEC","short_pith_number":"pith:I2D6AQFP","schema_version":"1.0","canonical_sha256":"4687e040af3b5519e79634a50737a120930b7bc15d2daf2aecf3cb25f71dcb10","source":{"kind":"arxiv","id":"1611.08680","version":4},"attestation_state":"computed","paper":{"title":"Randomized feasible interpolation and monotone circuits with a local oracle","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CC"],"primary_cat":"math.LO","authors_text":"Jan Krajicek","submitted_at":"2016-11-26T09:08:13Z","abstract_excerpt":"We generalize the feasible interpolation theorem for semantic derivations from K.(1997) by allowing randomized protocols (protocols in the sense of K.(1997). We also introduce an extension of the monotone circuit model, monotone circuits with a local oracle (CLOs), that does correspond to communication protocols for the monotone Karchmer-Wigderson multi-function $KW^m[U,V]$ making errors. The new randomized feasible interpolation thus shows that a short semantic derivation (from a certain class of derivations larger than in the original method) of the disjointness of $U, V$, $U$ closed upwards"},"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":"1611.08680","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2016-11-26T09:08:13Z","cross_cats_sorted":["cs.CC"],"title_canon_sha256":"decea2f238c58c67e9c7fd85e34537d1ebc9922ef0dce7e7173387efebacf10f","abstract_canon_sha256":"e3c356d44847ab6cc2e88dd769fb8ae76be302bb9925822e1cc2af0826132ec9"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:00:09.454116Z","signature_b64":"CSzOm9AlnknDnku6DCwFee2Lpu89In2Oi/FpOoNbId3am75acWH+LZpjxE75FzM1kRHIPcHk0DarNlOlaybIDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4687e040af3b5519e79634a50737a120930b7bc15d2daf2aecf3cb25f71dcb10","last_reissued_at":"2026-05-18T00:00:09.453580Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:00:09.453580Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Randomized feasible interpolation and monotone circuits with a local oracle","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CC"],"primary_cat":"math.LO","authors_text":"Jan Krajicek","submitted_at":"2016-11-26T09:08:13Z","abstract_excerpt":"We generalize the feasible interpolation theorem for semantic derivations from K.(1997) by allowing randomized protocols (protocols in the sense of K.(1997). We also introduce an extension of the monotone circuit model, monotone circuits with a local oracle (CLOs), that does correspond to communication protocols for the monotone Karchmer-Wigderson multi-function $KW^m[U,V]$ making errors. The new randomized feasible interpolation thus shows that a short semantic derivation (from a certain class of derivations larger than in the original method) of the disjointness of $U, V$, $U$ closed upwards"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1611.08680","kind":"arxiv","version":4},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1611.08680","created_at":"2026-05-18T00:00:09.453665+00:00"},{"alias_kind":"arxiv_version","alias_value":"1611.08680v4","created_at":"2026-05-18T00:00:09.453665+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1611.08680","created_at":"2026-05-18T00:00:09.453665+00:00"},{"alias_kind":"pith_short_12","alias_value":"I2D6AQFPHNKR","created_at":"2026-05-18T12:30:22.444734+00:00"},{"alias_kind":"pith_short_16","alias_value":"I2D6AQFPHNKRTZ4W","created_at":"2026-05-18T12:30:22.444734+00:00"},{"alias_kind":"pith_short_8","alias_value":"I2D6AQFP","created_at":"2026-05-18T12:30:22.444734+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/I2D6AQFPHNKRTZ4WGSSQON5BEC","json":"https://pith.science/pith/I2D6AQFPHNKRTZ4WGSSQON5BEC.json","graph_json":"https://pith.science/api/pith-number/I2D6AQFPHNKRTZ4WGSSQON5BEC/graph.json","events_json":"https://pith.science/api/pith-number/I2D6AQFPHNKRTZ4WGSSQON5BEC/events.json","paper":"https://pith.science/paper/I2D6AQFP"},"agent_actions":{"view_html":"https://pith.science/pith/I2D6AQFPHNKRTZ4WGSSQON5BEC","download_json":"https://pith.science/pith/I2D6AQFPHNKRTZ4WGSSQON5BEC.json","view_paper":"https://pith.science/paper/I2D6AQFP","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1611.08680&json=true","fetch_graph":"https://pith.science/api/pith-number/I2D6AQFPHNKRTZ4WGSSQON5BEC/graph.json","fetch_events":"https://pith.science/api/pith-number/I2D6AQFPHNKRTZ4WGSSQON5BEC/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/I2D6AQFPHNKRTZ4WGSSQON5BEC/action/timestamp_anchor","attest_storage":"https://pith.science/pith/I2D6AQFPHNKRTZ4WGSSQON5BEC/action/storage_attestation","attest_author":"https://pith.science/pith/I2D6AQFPHNKRTZ4WGSSQON5BEC/action/author_attestation","sign_citation":"https://pith.science/pith/I2D6AQFPHNKRTZ4WGSSQON5BEC/action/citation_signature","submit_replication":"https://pith.science/pith/I2D6AQFPHNKRTZ4WGSSQON5BEC/action/replication_record"}},"created_at":"2026-05-18T00:00:09.453665+00:00","updated_at":"2026-05-18T00:00:09.453665+00:00"}