{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:WTMN3JFMGR2UC5O3EB7ZSBE7LD","short_pith_number":"pith:WTMN3JFM","canonical_record":{"source":{"id":"1601.00307","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2016-01-03T15:53:39Z","cross_cats_sorted":[],"title_canon_sha256":"f8e112f0e90b0461c321d388054ba25adb4cf20be9bf8992cf5c66084120d22e","abstract_canon_sha256":"d6fa2fb1bd08fac82d0b32e3d817da05aefde2585030b9b3f1f0af827e879db1"},"schema_version":"1.0"},"canonical_sha256":"b4d8dda4ac34754175db207f99049f58c606cc01c44b1918609c67ce7b4548ca","source":{"kind":"arxiv","id":"1601.00307","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1601.00307","created_at":"2026-05-18T01:13:30Z"},{"alias_kind":"arxiv_version","alias_value":"1601.00307v2","created_at":"2026-05-18T01:13:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1601.00307","created_at":"2026-05-18T01:13:30Z"},{"alias_kind":"pith_short_12","alias_value":"WTMN3JFMGR2U","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_16","alias_value":"WTMN3JFMGR2UC5O3","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_8","alias_value":"WTMN3JFM","created_at":"2026-05-18T12:30:51Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:WTMN3JFMGR2UC5O3EB7ZSBE7LD","target":"record","payload":{"canonical_record":{"source":{"id":"1601.00307","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2016-01-03T15:53:39Z","cross_cats_sorted":[],"title_canon_sha256":"f8e112f0e90b0461c321d388054ba25adb4cf20be9bf8992cf5c66084120d22e","abstract_canon_sha256":"d6fa2fb1bd08fac82d0b32e3d817da05aefde2585030b9b3f1f0af827e879db1"},"schema_version":"1.0"},"canonical_sha256":"b4d8dda4ac34754175db207f99049f58c606cc01c44b1918609c67ce7b4548ca","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:13:30.619032Z","signature_b64":"mIlIlQgzuZHZhHc5+0jQVFwzb0RuqmtIek/rpXuT1avd3SxoBvPCtAiuHsCY6/EIZaw4/A1kAvPjA7WBvxWXDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b4d8dda4ac34754175db207f99049f58c606cc01c44b1918609c67ce7b4548ca","last_reissued_at":"2026-05-18T01:13:30.618266Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:13:30.618266Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1601.00307","source_version":2,"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-18T01:13:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FNfiKDHBvmjcevMLKu170ZkcErkf7HKp65fiVzjghWlWP2LRwS3ow3XqXVpKlfB6jTF7+V4GkFZqmXXefSHZDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T12:52:20.463308Z"},"content_sha256":"89c5c2b5fd0bc21a7768b22fc9f0b86a3eaec937f120f4855f0755c5d37cc11b","schema_version":"1.0","event_id":"sha256:89c5c2b5fd0bc21a7768b22fc9f0b86a3eaec937f120f4855f0755c5d37cc11b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:WTMN3JFMGR2UC5O3EB7ZSBE7LD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Fourier-Taylor Parameterization of Unstable Manifolds for Parabolic Partial Differential Equations: Formalization, Implementation, and Rigorous Validation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.DS","authors_text":"Christian Reinhardt, Jason Mireles-James","submitted_at":"2016-01-03T15:53:39Z","abstract_excerpt":"In this paper we study high order expansions of chart maps for local finite dimensional unstable manifolds of hyperbolic equilibrium solutions of scalar parabolic partial differential equations. Our approach is based on studying an infinitesimal invariance equation for the chart map that recovers the dynamics on the manifold in terms of a simple conjugacy. We develop formal series solutions for the invariance equation and efficient numerical methods for computing the series coefficients to any desired finite order. We show, under mild non-resonance conditions, that the formal series expansion "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1601.00307","kind":"arxiv","version":2},"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-18T01:13:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"H30Ss10DHVOmfmKGo8bjjOvvS3QLXQlYOi5F0X4ntrD5fdScgFICodrs+lKFHrqmHKKVGYRBNjH/myc2QZuzBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T12:52:20.463971Z"},"content_sha256":"2ff3b806153c35348a447de63fcbf95d84d6ef6eb5c62c851e26a9075f7dbf61","schema_version":"1.0","event_id":"sha256:2ff3b806153c35348a447de63fcbf95d84d6ef6eb5c62c851e26a9075f7dbf61"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WTMN3JFMGR2UC5O3EB7ZSBE7LD/bundle.json","state_url":"https://pith.science/pith/WTMN3JFMGR2UC5O3EB7ZSBE7LD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WTMN3JFMGR2UC5O3EB7ZSBE7LD/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-06T12:52:20Z","links":{"resolver":"https://pith.science/pith/WTMN3JFMGR2UC5O3EB7ZSBE7LD","bundle":"https://pith.science/pith/WTMN3JFMGR2UC5O3EB7ZSBE7LD/bundle.json","state":"https://pith.science/pith/WTMN3JFMGR2UC5O3EB7ZSBE7LD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WTMN3JFMGR2UC5O3EB7ZSBE7LD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:WTMN3JFMGR2UC5O3EB7ZSBE7LD","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":"d6fa2fb1bd08fac82d0b32e3d817da05aefde2585030b9b3f1f0af827e879db1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2016-01-03T15:53:39Z","title_canon_sha256":"f8e112f0e90b0461c321d388054ba25adb4cf20be9bf8992cf5c66084120d22e"},"schema_version":"1.0","source":{"id":"1601.00307","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1601.00307","created_at":"2026-05-18T01:13:30Z"},{"alias_kind":"arxiv_version","alias_value":"1601.00307v2","created_at":"2026-05-18T01:13:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1601.00307","created_at":"2026-05-18T01:13:30Z"},{"alias_kind":"pith_short_12","alias_value":"WTMN3JFMGR2U","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_16","alias_value":"WTMN3JFMGR2UC5O3","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_8","alias_value":"WTMN3JFM","created_at":"2026-05-18T12:30:51Z"}],"graph_snapshots":[{"event_id":"sha256:2ff3b806153c35348a447de63fcbf95d84d6ef6eb5c62c851e26a9075f7dbf61","target":"graph","created_at":"2026-05-18T01:13:30Z","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":"In this paper we study high order expansions of chart maps for local finite dimensional unstable manifolds of hyperbolic equilibrium solutions of scalar parabolic partial differential equations. Our approach is based on studying an infinitesimal invariance equation for the chart map that recovers the dynamics on the manifold in terms of a simple conjugacy. We develop formal series solutions for the invariance equation and efficient numerical methods for computing the series coefficients to any desired finite order. We show, under mild non-resonance conditions, that the formal series expansion ","authors_text":"Christian Reinhardt, Jason Mireles-James","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2016-01-03T15:53:39Z","title":"Fourier-Taylor Parameterization of Unstable Manifolds for Parabolic Partial Differential Equations: Formalization, Implementation, and Rigorous Validation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1601.00307","kind":"arxiv","version":2},"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:89c5c2b5fd0bc21a7768b22fc9f0b86a3eaec937f120f4855f0755c5d37cc11b","target":"record","created_at":"2026-05-18T01:13:30Z","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":"d6fa2fb1bd08fac82d0b32e3d817da05aefde2585030b9b3f1f0af827e879db1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2016-01-03T15:53:39Z","title_canon_sha256":"f8e112f0e90b0461c321d388054ba25adb4cf20be9bf8992cf5c66084120d22e"},"schema_version":"1.0","source":{"id":"1601.00307","kind":"arxiv","version":2}},"canonical_sha256":"b4d8dda4ac34754175db207f99049f58c606cc01c44b1918609c67ce7b4548ca","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b4d8dda4ac34754175db207f99049f58c606cc01c44b1918609c67ce7b4548ca","first_computed_at":"2026-05-18T01:13:30.618266Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:13:30.618266Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"mIlIlQgzuZHZhHc5+0jQVFwzb0RuqmtIek/rpXuT1avd3SxoBvPCtAiuHsCY6/EIZaw4/A1kAvPjA7WBvxWXDg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:13:30.619032Z","signed_message":"canonical_sha256_bytes"},"source_id":"1601.00307","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:89c5c2b5fd0bc21a7768b22fc9f0b86a3eaec937f120f4855f0755c5d37cc11b","sha256:2ff3b806153c35348a447de63fcbf95d84d6ef6eb5c62c851e26a9075f7dbf61"],"state_sha256":"48e950c8b205ceeb69c1e215ca6a5a0ae44baa5fc7d36520a41fabf83fcc57ba"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nwGWVt54jl98g4ESTfEZBLl+xYdGWhxik1PtAyYI6MQiGiPcOcPo6jGK8E8JmfbnIUR0xLlQoy322xq6lWhtBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-06T12:52:20.467293Z","bundle_sha256":"eed4241aa18001756a36d4c86c8417cf82fb01e889bc2a14cd25a165d3a719b0"}}