{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:5BNJTPO5EWOBZALO76WEV5ABAP","short_pith_number":"pith:5BNJTPO5","canonical_record":{"source":{"id":"1708.02978","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AP","submitted_at":"2017-08-09T19:30:47Z","cross_cats_sorted":[],"title_canon_sha256":"49f05e2e11e8f2f7e7c97fd2b74f8290c924150637bd3609852a438df72ccd84","abstract_canon_sha256":"1e622e811337d684f0b2fb07e2f763bf725f19c4b0f283b70c5ffe5059380ebf"},"schema_version":"1.0"},"canonical_sha256":"e85a99bddd259c1c816effac4af40103e962ed0a318738e07e5184c5f7c38e83","source":{"kind":"arxiv","id":"1708.02978","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1708.02978","created_at":"2026-05-18T00:38:17Z"},{"alias_kind":"arxiv_version","alias_value":"1708.02978v1","created_at":"2026-05-18T00:38:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1708.02978","created_at":"2026-05-18T00:38:17Z"},{"alias_kind":"pith_short_12","alias_value":"5BNJTPO5EWOB","created_at":"2026-05-18T12:31:00Z"},{"alias_kind":"pith_short_16","alias_value":"5BNJTPO5EWOBZALO","created_at":"2026-05-18T12:31:00Z"},{"alias_kind":"pith_short_8","alias_value":"5BNJTPO5","created_at":"2026-05-18T12:31:00Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:5BNJTPO5EWOBZALO76WEV5ABAP","target":"record","payload":{"canonical_record":{"source":{"id":"1708.02978","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AP","submitted_at":"2017-08-09T19:30:47Z","cross_cats_sorted":[],"title_canon_sha256":"49f05e2e11e8f2f7e7c97fd2b74f8290c924150637bd3609852a438df72ccd84","abstract_canon_sha256":"1e622e811337d684f0b2fb07e2f763bf725f19c4b0f283b70c5ffe5059380ebf"},"schema_version":"1.0"},"canonical_sha256":"e85a99bddd259c1c816effac4af40103e962ed0a318738e07e5184c5f7c38e83","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:38:17.584377Z","signature_b64":"8v++KjPsbXRO/h0iAlaE067xtT/YpWy3N9NQt2fNcXar3QOsbuEp2RMR2NiAzyhhaHl4dUh3lH+lnr5PELrVCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e85a99bddd259c1c816effac4af40103e962ed0a318738e07e5184c5f7c38e83","last_reissued_at":"2026-05-18T00:38:17.583709Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:38:17.583709Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1708.02978","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:38:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"s7esBVtYDLe/EpfPMZq0q6aIeWn2/ww9Qvy+5Q7tB4qmsZerV+eD5U6N5MIQOYmRwxJqG+U+YBZfKOvpIo5bAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-22T22:19:06.877732Z"},"content_sha256":"4c96b2e582d34c332e98ff54378449a409775a9e9d8bed6f8f68b3333b88ef83","schema_version":"1.0","event_id":"sha256:4c96b2e582d34c332e98ff54378449a409775a9e9d8bed6f8f68b3333b88ef83"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:5BNJTPO5EWOBZALO76WEV5ABAP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On local Gevrey regularity for Gevrey vectors of subelliptic sums of squares -- an elementary proof of a sharp Gevrey Kotake-Narasimhan theorem","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.AP","authors_text":"David S. Tartakoff","submitted_at":"2017-08-09T19:30:47Z","abstract_excerpt":"We study the regularity of Gevrey vectors for H\\\"ormander operators $$ P = \\sum_{j=1}^m X_j^2 + X_0 + c$$ where the $X_j$ are real vector fields and $c(x)$ is a smooth function, all in Gevrey class $G^{s}.$ The principal hypothesis is that $P$ satisfies the subelliptic estimate: for some $\\varepsilon >0, \\; \\exists \\,C$ such that $$\\|v\\|_\\varepsilon^2 \\leq C\\left(|(Pv, v)| + \\|v\\|_0^2\\right) \\qquad \\forall v\\in C_0^\\infty.$$ We prove directly (without the now familiar use of adding a variable $t$ and proving suitable hypoellipticity for $Q=-D_t^2-P$ and then, using the hypothesis on the iterat"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1708.02978","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":""},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:38:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qnsPdwgANG2IXuhDo3abnQxO6wcul6agL58518pJwBHEg4muba2aNOzeoGwI3Id+xuFAGuON2PRRCcKB4dcSAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-22T22:19:06.878075Z"},"content_sha256":"98862e3f78a4bceff0710894f45fe75ff5b7a6eca736beb95d7cef6ef8539c78","schema_version":"1.0","event_id":"sha256:98862e3f78a4bceff0710894f45fe75ff5b7a6eca736beb95d7cef6ef8539c78"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5BNJTPO5EWOBZALO76WEV5ABAP/bundle.json","state_url":"https://pith.science/pith/5BNJTPO5EWOBZALO76WEV5ABAP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5BNJTPO5EWOBZALO76WEV5ABAP/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-22T22:19:06Z","links":{"resolver":"https://pith.science/pith/5BNJTPO5EWOBZALO76WEV5ABAP","bundle":"https://pith.science/pith/5BNJTPO5EWOBZALO76WEV5ABAP/bundle.json","state":"https://pith.science/pith/5BNJTPO5EWOBZALO76WEV5ABAP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5BNJTPO5EWOBZALO76WEV5ABAP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:5BNJTPO5EWOBZALO76WEV5ABAP","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":"1e622e811337d684f0b2fb07e2f763bf725f19c4b0f283b70c5ffe5059380ebf","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AP","submitted_at":"2017-08-09T19:30:47Z","title_canon_sha256":"49f05e2e11e8f2f7e7c97fd2b74f8290c924150637bd3609852a438df72ccd84"},"schema_version":"1.0","source":{"id":"1708.02978","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1708.02978","created_at":"2026-05-18T00:38:17Z"},{"alias_kind":"arxiv_version","alias_value":"1708.02978v1","created_at":"2026-05-18T00:38:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1708.02978","created_at":"2026-05-18T00:38:17Z"},{"alias_kind":"pith_short_12","alias_value":"5BNJTPO5EWOB","created_at":"2026-05-18T12:31:00Z"},{"alias_kind":"pith_short_16","alias_value":"5BNJTPO5EWOBZALO","created_at":"2026-05-18T12:31:00Z"},{"alias_kind":"pith_short_8","alias_value":"5BNJTPO5","created_at":"2026-05-18T12:31:00Z"}],"graph_snapshots":[{"event_id":"sha256:98862e3f78a4bceff0710894f45fe75ff5b7a6eca736beb95d7cef6ef8539c78","target":"graph","created_at":"2026-05-18T00:38:17Z","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":"We study the regularity of Gevrey vectors for H\\\"ormander operators $$ P = \\sum_{j=1}^m X_j^2 + X_0 + c$$ where the $X_j$ are real vector fields and $c(x)$ is a smooth function, all in Gevrey class $G^{s}.$ The principal hypothesis is that $P$ satisfies the subelliptic estimate: for some $\\varepsilon >0, \\; \\exists \\,C$ such that $$\\|v\\|_\\varepsilon^2 \\leq C\\left(|(Pv, v)| + \\|v\\|_0^2\\right) \\qquad \\forall v\\in C_0^\\infty.$$ We prove directly (without the now familiar use of adding a variable $t$ and proving suitable hypoellipticity for $Q=-D_t^2-P$ and then, using the hypothesis on the iterat","authors_text":"David S. Tartakoff","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AP","submitted_at":"2017-08-09T19:30:47Z","title":"On local Gevrey regularity for Gevrey vectors of subelliptic sums of squares -- an elementary proof of a sharp Gevrey Kotake-Narasimhan theorem"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1708.02978","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:4c96b2e582d34c332e98ff54378449a409775a9e9d8bed6f8f68b3333b88ef83","target":"record","created_at":"2026-05-18T00:38:17Z","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":"1e622e811337d684f0b2fb07e2f763bf725f19c4b0f283b70c5ffe5059380ebf","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AP","submitted_at":"2017-08-09T19:30:47Z","title_canon_sha256":"49f05e2e11e8f2f7e7c97fd2b74f8290c924150637bd3609852a438df72ccd84"},"schema_version":"1.0","source":{"id":"1708.02978","kind":"arxiv","version":1}},"canonical_sha256":"e85a99bddd259c1c816effac4af40103e962ed0a318738e07e5184c5f7c38e83","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e85a99bddd259c1c816effac4af40103e962ed0a318738e07e5184c5f7c38e83","first_computed_at":"2026-05-18T00:38:17.583709Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:38:17.583709Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"8v++KjPsbXRO/h0iAlaE067xtT/YpWy3N9NQt2fNcXar3QOsbuEp2RMR2NiAzyhhaHl4dUh3lH+lnr5PELrVCw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:38:17.584377Z","signed_message":"canonical_sha256_bytes"},"source_id":"1708.02978","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4c96b2e582d34c332e98ff54378449a409775a9e9d8bed6f8f68b3333b88ef83","sha256:98862e3f78a4bceff0710894f45fe75ff5b7a6eca736beb95d7cef6ef8539c78"],"state_sha256":"19de95c44f537919be331b83950660e5c1681caffbef3ec051daab12d67f0a93"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"345PGzoUA7LsVhkj6uJiU+P3Qzm/8k92NJQcjJPukZCbp9BQ8xxwbm8NKoCAjmWjWM1dWFk04OUxj7EMjn30BQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-22T22:19:06.879988Z","bundle_sha256":"8897e298804ca04734e2248756afe28614c95fdf9b8ccd06c9b671ff9c57642a"}}