{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:NT6AIZCE4OSMDOPBN3XAF4FLJR","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":"a2fa2499456268f64e2a3760a725998753d6865555819f0aebfcdecec7346dfc","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CA","submitted_at":"2015-05-29T20:47:53Z","title_canon_sha256":"40394efa027ff640bbd5f471f9b8b154a7a4c87ecf1ada41723508de4ac98d85"},"schema_version":"1.0","source":{"id":"1506.00025","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1506.00025","created_at":"2026-05-18T01:59:55Z"},{"alias_kind":"arxiv_version","alias_value":"1506.00025v1","created_at":"2026-05-18T01:59:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1506.00025","created_at":"2026-05-18T01:59:55Z"},{"alias_kind":"pith_short_12","alias_value":"NT6AIZCE4OSM","created_at":"2026-05-18T12:29:34Z"},{"alias_kind":"pith_short_16","alias_value":"NT6AIZCE4OSMDOPB","created_at":"2026-05-18T12:29:34Z"},{"alias_kind":"pith_short_8","alias_value":"NT6AIZCE","created_at":"2026-05-18T12:29:34Z"}],"graph_snapshots":[{"event_id":"sha256:1d3ee3928021c0a3801e60b4dfad0952e44e4281f55e05d2312b2ce20aa4d080","target":"graph","created_at":"2026-05-18T01:59:55Z","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":"The Sard theorem from 1942 requires that a mapping $f:\\mathbb{R}^n \\to \\mathbb{R}^m$ is of class $C^k$, $k > \\max (n-m,0)$. In 1957 Duvovitski\\u{\\i} generalized Sard's theorem to the case of $C^k$ mappings for all $k$. Namely he proved that, for almost all $y\\in \\mathbb{R}^m$, $\\mathcal{H}^{\\ell}(C_f \\cap f^{-1}(y))=0$ where $\\ell = \\max(n-m-k+1,0)$, ${\\mathcal H}^{\\ell}$ denotes the Hausdorff measure, and $C_f$ is the set of critical points of $f$. In 2001 De Pascale proved that the Sard theorem holds true for Sobolev mappings of the class $W_{\\rm loc}^{k,p}(\\mathbb{R}^n,\\mathbb{R}^m)$, $k>\\m","authors_text":"Piotr Haj{\\l}asz, Scott Zimmerman","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CA","submitted_at":"2015-05-29T20:47:53Z","title":"The Dubovitski\\u{\\i}-Sard Theorem in Sobolev Spaces"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1506.00025","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:d3a48d91dcdfeb110044ce10fac934cd71819dfd6bee67f2db704d5634c411ce","target":"record","created_at":"2026-05-18T01:59:55Z","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":"a2fa2499456268f64e2a3760a725998753d6865555819f0aebfcdecec7346dfc","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CA","submitted_at":"2015-05-29T20:47:53Z","title_canon_sha256":"40394efa027ff640bbd5f471f9b8b154a7a4c87ecf1ada41723508de4ac98d85"},"schema_version":"1.0","source":{"id":"1506.00025","kind":"arxiv","version":1}},"canonical_sha256":"6cfc046444e3a4c1b9e16eee02f0ab4c45539b7b96219c8492203f1840d9b6fd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6cfc046444e3a4c1b9e16eee02f0ab4c45539b7b96219c8492203f1840d9b6fd","first_computed_at":"2026-05-18T01:59:55.642857Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:59:55.642857Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"H/TTFM4fDdr0f4pM7/fMaSkQDDq1QYrOfTsqYoepT9FnBDEZnDa2CUJTpcdwvcjrjfV23lpaMTRED6+BqS03Cw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:59:55.643426Z","signed_message":"canonical_sha256_bytes"},"source_id":"1506.00025","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d3a48d91dcdfeb110044ce10fac934cd71819dfd6bee67f2db704d5634c411ce","sha256:1d3ee3928021c0a3801e60b4dfad0952e44e4281f55e05d2312b2ce20aa4d080"],"state_sha256":"c2d8aff9411c8c6d033a643b3ec277c8bb9b6e9cd8cf3b866b571439490e93c7"}