{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:O6OMS6LPARNFEGV6ZVWQS26CPM","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":"fa1a088d861ff1b9fa1c6d1ab6bf1ecc6a20e2efff365766b79d2c1a00cb6956","cross_cats_sorted":["cs.NE","math.FA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2026-04-26T15:31:51Z","title_canon_sha256":"919220f8bd93ac8b977161f914e63724eb3d3f3ff8ab69b6ade6f3006efbe920"},"schema_version":"1.0","source":{"id":"2604.23765","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2604.23765","created_at":"2026-05-20T00:05:45Z"},{"alias_kind":"arxiv_version","alias_value":"2604.23765v2","created_at":"2026-05-20T00:05:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2604.23765","created_at":"2026-05-20T00:05:45Z"},{"alias_kind":"pith_short_12","alias_value":"O6OMS6LPARNF","created_at":"2026-05-20T00:05:45Z"},{"alias_kind":"pith_short_16","alias_value":"O6OMS6LPARNFEGV6","created_at":"2026-05-20T00:05:45Z"},{"alias_kind":"pith_short_8","alias_value":"O6OMS6LP","created_at":"2026-05-20T00:05:45Z"}],"graph_snapshots":[{"event_id":"sha256:bac17728d16f88be2c115ae2ae0ace6336ff1420350b8cc055ea0d1b54863350","target":"graph","created_at":"2026-05-20T00:05:45Z","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":4,"items":[{"attestation":"unclaimed","claim_id":"C1","kind":"strongest_claim","source":"verdict.strongest_claim","status":"machine_extracted","text":"We show that deep KANs in which all edge functions are either affine or equal to a fixed continuous function σ are dense in C(K) for every compact set K⊂R^n if and only if σ is non-affine."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The edge functions are continuous real-valued functions and the KAN architecture follows the standard Kolmogorov-Arnold representation with summation at nodes; the proofs rely on this continuity and the specific layered structure without additional restrictions on width or activation placement."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"Deep KANs with edge functions restricted to affine maps plus one fixed non-affine continuous function σ are dense in C(K) for any compact K if and only if σ is non-affine."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"Deep KANs achieve universal approximation on compact sets precisely when they include one fixed non-affine continuous edge function."}],"snapshot_sha256":"f5035a5fadedb87aeef7f5ac38311853f82a36d13bf6eaf0c7507a8489bdc962"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[{"findings_count":0,"name":"doi_compliance","ran_at":"2026-05-19T22:46:58.820231Z","status":"completed","version":"1.0.0"}],"endpoint":"/pith/2604.23765/integrity.json","findings":[],"snapshot_sha256":"9fa96978f917cd1b15ce850e2f0c6ba4983686e5075c8936a04ef3d8a36ba9ad","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We analyze the universal approximation property of Kolmogorov-Arnold Networks (KANs) in terms of their edge functions. If these functions are all affine, then universality clearly fails. How many non-affine functions are needed, in addition to affine ones, to ensure universality? We show that a single one suffices. More precisely, we prove that deep KANs in which all edge functions are either affine or equal to a fixed continuous function $\\sigma$ are dense in $C(K)$ for every compact set $K\\subset\\mathbb{R}^n$ if and only if $\\sigma$ is non-affine. In contrast, for KANs with exactly two hidde","authors_text":"Vugar Ismailov","cross_cats":["cs.NE","math.FA"],"headline":"Deep KANs achieve universal approximation on compact sets precisely when they include one fixed non-affine continuous edge function.","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2026-04-26T15:31:51Z","title":"Necessary and sufficient conditions for universality of Kolmogorov-Arnold networks"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2604.23765","kind":"arxiv","version":2},"verdict":{"created_at":"2026-05-08T06:23:18.008354Z","id":"9c284f1c-7076-4f5d-9344-51f1ca65a38e","model_set":{"reader":"grok-4.3"},"one_line_summary":"Deep KANs with edge functions restricted to affine maps plus one fixed non-affine continuous function σ are dense in C(K) for any compact K if and only if σ is non-affine.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"Deep KANs achieve universal approximation on compact sets precisely when they include one fixed non-affine continuous edge function.","strongest_claim":"We show that deep KANs in which all edge functions are either affine or equal to a fixed continuous function σ are dense in C(K) for every compact set K⊂R^n if and only if σ is non-affine.","weakest_assumption":"The edge functions are continuous real-valued functions and the KAN architecture follows the standard Kolmogorov-Arnold representation with summation at nodes; the proofs rely on this continuity and the specific layered structure without additional restrictions on width or activation placement."}},"verdict_id":"9c284f1c-7076-4f5d-9344-51f1ca65a38e"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:2e929a323f916b9142e01358e87e815d558bc601e6571903ac3b7d9c17cc8f06","target":"record","created_at":"2026-05-20T00:05:45Z","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":"fa1a088d861ff1b9fa1c6d1ab6bf1ecc6a20e2efff365766b79d2c1a00cb6956","cross_cats_sorted":["cs.NE","math.FA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2026-04-26T15:31:51Z","title_canon_sha256":"919220f8bd93ac8b977161f914e63724eb3d3f3ff8ab69b6ade6f3006efbe920"},"schema_version":"1.0","source":{"id":"2604.23765","kind":"arxiv","version":2}},"canonical_sha256":"779cc9796f045a521abecd6d096bc27b17dc796d1aa26f53f6291cc4917c7d55","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"779cc9796f045a521abecd6d096bc27b17dc796d1aa26f53f6291cc4917c7d55","first_computed_at":"2026-05-20T00:05:45.162277Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-20T00:05:45.162277Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"euY+vk53YkW8cjVRBrok/mXqRXCvNJHs7lokXKVBcu3n4Qb8X/v1armRs4RT+GMWQH/7JFaKlDcuJoECvwecAQ==","signature_status":"signed_v1","signed_at":"2026-05-20T00:05:45.162875Z","signed_message":"canonical_sha256_bytes"},"source_id":"2604.23765","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2e929a323f916b9142e01358e87e815d558bc601e6571903ac3b7d9c17cc8f06","sha256:bac17728d16f88be2c115ae2ae0ace6336ff1420350b8cc055ea0d1b54863350"],"state_sha256":"f6d38fde51005bf161b189cf46932fc0a05fa41f32aa3ee12f90d17b6d477fdb"}