{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:RLHF7OVSIXB2OHSKQUB5O3UYOS","short_pith_number":"pith:RLHF7OVS","canonical_record":{"source":{"id":"1701.03625","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.PR","submitted_at":"2017-01-13T11:01:45Z","cross_cats_sorted":[],"title_canon_sha256":"d52daebe960add7eb3cbb88b76694d7d51f5476a6a1548710392ef335704bc99","abstract_canon_sha256":"ca91f10e5e8e8f51371ef3ae327f2167bb132452c3f7a17bd8698075c53ff306"},"schema_version":"1.0"},"canonical_sha256":"8ace5fbab245c3a71e4a8503d76e9874a9870dd119b9b5249112ea667fb0e620","source":{"kind":"arxiv","id":"1701.03625","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1701.03625","created_at":"2026-05-18T00:17:55Z"},{"alias_kind":"arxiv_version","alias_value":"1701.03625v3","created_at":"2026-05-18T00:17:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1701.03625","created_at":"2026-05-18T00:17:55Z"},{"alias_kind":"pith_short_12","alias_value":"RLHF7OVSIXB2","created_at":"2026-05-18T12:31:39Z"},{"alias_kind":"pith_short_16","alias_value":"RLHF7OVSIXB2OHSK","created_at":"2026-05-18T12:31:39Z"},{"alias_kind":"pith_short_8","alias_value":"RLHF7OVS","created_at":"2026-05-18T12:31:39Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:RLHF7OVSIXB2OHSKQUB5O3UYOS","target":"record","payload":{"canonical_record":{"source":{"id":"1701.03625","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.PR","submitted_at":"2017-01-13T11:01:45Z","cross_cats_sorted":[],"title_canon_sha256":"d52daebe960add7eb3cbb88b76694d7d51f5476a6a1548710392ef335704bc99","abstract_canon_sha256":"ca91f10e5e8e8f51371ef3ae327f2167bb132452c3f7a17bd8698075c53ff306"},"schema_version":"1.0"},"canonical_sha256":"8ace5fbab245c3a71e4a8503d76e9874a9870dd119b9b5249112ea667fb0e620","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:17:55.000675Z","signature_b64":"f6DXlZ8K7W25Cuzw6h+5p2iAzfh+Ks65ZP2w0tinTTxoLXehhh/Xleh5CXsDO3L4Ezmf2udFrVZ3L8Ur/zlkAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8ace5fbab245c3a71e4a8503d76e9874a9870dd119b9b5249112ea667fb0e620","last_reissued_at":"2026-05-18T00:17:55.000032Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:17:55.000032Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1701.03625","source_version":3,"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:17:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QxN5gLkwt/nRlczJ6E5W60T3dVP8Kk706/D+jtAUNA7mQfyi7rMoERIyEkBh/3H2zj+Q0pcY/NkLkweeIUdOAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T05:36:04.456501Z"},"content_sha256":"2ead82e695f4fcaaf59bc77ead821bd21cf0d920c73037903d1ec6d2b918861b","schema_version":"1.0","event_id":"sha256:2ead82e695f4fcaaf59bc77ead821bd21cf0d920c73037903d1ec6d2b918861b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:RLHF7OVSIXB2OHSKQUB5O3UYOS","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Derivative and divergence formulae for diffusion semigroups","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.PR","authors_text":"Anton Thalmaier, James Thompson","submitted_at":"2017-01-13T11:01:45Z","abstract_excerpt":"For a semigroup $P_t$ generated by an elliptic operator on a smooth manifold $M$, we use straightforward martingale arguments to derive probabilistic formulae for $P_t(V(f))$, not involving derivatives of $f$, where $V$ is a vector field on $M$. For non-symmetric generators, such formulae correspond to the derivative of the heat kernel in the forward variable. As an application, these formulae can be used to derive various shift-Harnack inequalities."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1701.03625","kind":"arxiv","version":3},"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:17:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bgXqc3y3s5ntTMoPdYDpquIct2cHxRIjJ6l639CduwCwRuUnfXPEI1AhEGrwiLb0VJ8tJYvZGelpUWBUtH0XCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T05:36:04.456928Z"},"content_sha256":"139c0dc1d0643cd74750a503901767cf916f8800e842d5bb0c8a84ff5d4e86c7","schema_version":"1.0","event_id":"sha256:139c0dc1d0643cd74750a503901767cf916f8800e842d5bb0c8a84ff5d4e86c7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/RLHF7OVSIXB2OHSKQUB5O3UYOS/bundle.json","state_url":"https://pith.science/pith/RLHF7OVSIXB2OHSKQUB5O3UYOS/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/RLHF7OVSIXB2OHSKQUB5O3UYOS/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-05-27T05:36:04Z","links":{"resolver":"https://pith.science/pith/RLHF7OVSIXB2OHSKQUB5O3UYOS","bundle":"https://pith.science/pith/RLHF7OVSIXB2OHSKQUB5O3UYOS/bundle.json","state":"https://pith.science/pith/RLHF7OVSIXB2OHSKQUB5O3UYOS/state.json","well_known_bundle":"https://pith.science/.well-known/pith/RLHF7OVSIXB2OHSKQUB5O3UYOS/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:RLHF7OVSIXB2OHSKQUB5O3UYOS","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":"ca91f10e5e8e8f51371ef3ae327f2167bb132452c3f7a17bd8698075c53ff306","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.PR","submitted_at":"2017-01-13T11:01:45Z","title_canon_sha256":"d52daebe960add7eb3cbb88b76694d7d51f5476a6a1548710392ef335704bc99"},"schema_version":"1.0","source":{"id":"1701.03625","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1701.03625","created_at":"2026-05-18T00:17:55Z"},{"alias_kind":"arxiv_version","alias_value":"1701.03625v3","created_at":"2026-05-18T00:17:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1701.03625","created_at":"2026-05-18T00:17:55Z"},{"alias_kind":"pith_short_12","alias_value":"RLHF7OVSIXB2","created_at":"2026-05-18T12:31:39Z"},{"alias_kind":"pith_short_16","alias_value":"RLHF7OVSIXB2OHSK","created_at":"2026-05-18T12:31:39Z"},{"alias_kind":"pith_short_8","alias_value":"RLHF7OVS","created_at":"2026-05-18T12:31:39Z"}],"graph_snapshots":[{"event_id":"sha256:139c0dc1d0643cd74750a503901767cf916f8800e842d5bb0c8a84ff5d4e86c7","target":"graph","created_at":"2026-05-18T00:17: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":"For a semigroup $P_t$ generated by an elliptic operator on a smooth manifold $M$, we use straightforward martingale arguments to derive probabilistic formulae for $P_t(V(f))$, not involving derivatives of $f$, where $V$ is a vector field on $M$. For non-symmetric generators, such formulae correspond to the derivative of the heat kernel in the forward variable. As an application, these formulae can be used to derive various shift-Harnack inequalities.","authors_text":"Anton Thalmaier, James Thompson","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.PR","submitted_at":"2017-01-13T11:01:45Z","title":"Derivative and divergence formulae for diffusion semigroups"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1701.03625","kind":"arxiv","version":3},"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:2ead82e695f4fcaaf59bc77ead821bd21cf0d920c73037903d1ec6d2b918861b","target":"record","created_at":"2026-05-18T00:17: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":"ca91f10e5e8e8f51371ef3ae327f2167bb132452c3f7a17bd8698075c53ff306","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.PR","submitted_at":"2017-01-13T11:01:45Z","title_canon_sha256":"d52daebe960add7eb3cbb88b76694d7d51f5476a6a1548710392ef335704bc99"},"schema_version":"1.0","source":{"id":"1701.03625","kind":"arxiv","version":3}},"canonical_sha256":"8ace5fbab245c3a71e4a8503d76e9874a9870dd119b9b5249112ea667fb0e620","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8ace5fbab245c3a71e4a8503d76e9874a9870dd119b9b5249112ea667fb0e620","first_computed_at":"2026-05-18T00:17:55.000032Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:17:55.000032Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"f6DXlZ8K7W25Cuzw6h+5p2iAzfh+Ks65ZP2w0tinTTxoLXehhh/Xleh5CXsDO3L4Ezmf2udFrVZ3L8Ur/zlkAw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:17:55.000675Z","signed_message":"canonical_sha256_bytes"},"source_id":"1701.03625","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2ead82e695f4fcaaf59bc77ead821bd21cf0d920c73037903d1ec6d2b918861b","sha256:139c0dc1d0643cd74750a503901767cf916f8800e842d5bb0c8a84ff5d4e86c7"],"state_sha256":"21e24b53a80f30f2f14b817f1ba97974040c3c06ed7683205d940b14b1c1a34a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RX/8wz2F3Cni2lmsj5QmXLNsO9C4JgDTlvQdDeby2NY9ZviHQtnUbDAI7HE9Z1Ca0ldTIvaqbqFDW8xYmnJ7AA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T05:36:04.460556Z","bundle_sha256":"0f1447e9fcdaab644c5157d0331b23193a067420fbd97827c58e1ba35233ccd2"}}