{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:SF5SGHVRRV2VPBWKI56P3WMFNO","short_pith_number":"pith:SF5SGHVR","canonical_record":{"source":{"id":"1805.03425","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2018-05-09T09:10:15Z","cross_cats_sorted":["math.CA","math.NA"],"title_canon_sha256":"c6ef4bbc74c0221a0899e6694a45e2a3969d4a43e77ea54bf4d5e0a055c57db0","abstract_canon_sha256":"64d4c12078d5e5ea60b946706359ab6f9cb2598aa3817c6b854cbfb9fb443f6b"},"schema_version":"1.0"},"canonical_sha256":"917b231eb18d755786ca477cfdd9856bbe0f8dfffbd94407acf118688a9abd8d","source":{"kind":"arxiv","id":"1805.03425","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1805.03425","created_at":"2026-05-18T00:16:20Z"},{"alias_kind":"arxiv_version","alias_value":"1805.03425v1","created_at":"2026-05-18T00:16:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1805.03425","created_at":"2026-05-18T00:16:20Z"},{"alias_kind":"pith_short_12","alias_value":"SF5SGHVRRV2V","created_at":"2026-05-18T12:32:53Z"},{"alias_kind":"pith_short_16","alias_value":"SF5SGHVRRV2VPBWK","created_at":"2026-05-18T12:32:53Z"},{"alias_kind":"pith_short_8","alias_value":"SF5SGHVR","created_at":"2026-05-18T12:32:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:SF5SGHVRRV2VPBWKI56P3WMFNO","target":"record","payload":{"canonical_record":{"source":{"id":"1805.03425","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2018-05-09T09:10:15Z","cross_cats_sorted":["math.CA","math.NA"],"title_canon_sha256":"c6ef4bbc74c0221a0899e6694a45e2a3969d4a43e77ea54bf4d5e0a055c57db0","abstract_canon_sha256":"64d4c12078d5e5ea60b946706359ab6f9cb2598aa3817c6b854cbfb9fb443f6b"},"schema_version":"1.0"},"canonical_sha256":"917b231eb18d755786ca477cfdd9856bbe0f8dfffbd94407acf118688a9abd8d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:16:20.260545Z","signature_b64":"765y6/vjkjt8se0CRwUOAFWNW6ItS/WVNxbeNIrCth18NrScmZa+4zkadgnmwQCEWDFk2vMT/dhQFeB0mLcnDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"917b231eb18d755786ca477cfdd9856bbe0f8dfffbd94407acf118688a9abd8d","last_reissued_at":"2026-05-18T00:16:20.259934Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:16:20.259934Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1805.03425","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:16:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TUEMsSpnRhekSWVQERlNm2bl2w9r+0R7C3jmwx5pSE5j2Hi0p7TUmUy7M699r7eoRDj5YNuzARvgzlsEBz4FBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T11:33:06.085358Z"},"content_sha256":"fa747e5dbced682b3d8aa406fb4701443e012d82d8b7a52c47349cf3aa35c0d9","schema_version":"1.0","event_id":"sha256:fa747e5dbced682b3d8aa406fb4701443e012d82d8b7a52c47349cf3aa35c0d9"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:SF5SGHVRRV2VPBWKI56P3WMFNO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Numerical invariant tori of symplectic integrators for integrable Hamiltonian systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CA","math.NA"],"primary_cat":"math.DS","authors_text":"Zaijiu Shang, Zhaodong Ding","submitted_at":"2018-05-09T09:10:15Z","abstract_excerpt":"In this paper, we study the persistence of invariant tori of integrable Hamiltonian systems satisfying R\\\"{u}ssmann's non-degeneracy condition when symplectic integrators are applied to them. Meanwhile, we give an estimate of the measure of the set occupied by the invariant tori in the phase space. On an invariant torus, the one-step map of the scheme is conjugate to a one parameter family of linear rotations with a step size dependent frequency vector in terms of iteration. These results are a generalization of Shang's theorems (1999, 2000), where the non-degeneracy condition is assumed in th"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1805.03425","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:16:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wiVuHHnAd324G162Jr73xtrLLXSaWAPWVGcPMlSywcDE/YCdyReFyCYL1tK4RikK+KEOpOcywwi4hfISdfrPDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T11:33:06.085720Z"},"content_sha256":"225677b276038cbe2f91133a55104ba20c2589ee2ba0703712828adf7052f1d7","schema_version":"1.0","event_id":"sha256:225677b276038cbe2f91133a55104ba20c2589ee2ba0703712828adf7052f1d7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/SF5SGHVRRV2VPBWKI56P3WMFNO/bundle.json","state_url":"https://pith.science/pith/SF5SGHVRRV2VPBWKI56P3WMFNO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/SF5SGHVRRV2VPBWKI56P3WMFNO/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-26T11:33:06Z","links":{"resolver":"https://pith.science/pith/SF5SGHVRRV2VPBWKI56P3WMFNO","bundle":"https://pith.science/pith/SF5SGHVRRV2VPBWKI56P3WMFNO/bundle.json","state":"https://pith.science/pith/SF5SGHVRRV2VPBWKI56P3WMFNO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/SF5SGHVRRV2VPBWKI56P3WMFNO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:SF5SGHVRRV2VPBWKI56P3WMFNO","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":"64d4c12078d5e5ea60b946706359ab6f9cb2598aa3817c6b854cbfb9fb443f6b","cross_cats_sorted":["math.CA","math.NA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2018-05-09T09:10:15Z","title_canon_sha256":"c6ef4bbc74c0221a0899e6694a45e2a3969d4a43e77ea54bf4d5e0a055c57db0"},"schema_version":"1.0","source":{"id":"1805.03425","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1805.03425","created_at":"2026-05-18T00:16:20Z"},{"alias_kind":"arxiv_version","alias_value":"1805.03425v1","created_at":"2026-05-18T00:16:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1805.03425","created_at":"2026-05-18T00:16:20Z"},{"alias_kind":"pith_short_12","alias_value":"SF5SGHVRRV2V","created_at":"2026-05-18T12:32:53Z"},{"alias_kind":"pith_short_16","alias_value":"SF5SGHVRRV2VPBWK","created_at":"2026-05-18T12:32:53Z"},{"alias_kind":"pith_short_8","alias_value":"SF5SGHVR","created_at":"2026-05-18T12:32:53Z"}],"graph_snapshots":[{"event_id":"sha256:225677b276038cbe2f91133a55104ba20c2589ee2ba0703712828adf7052f1d7","target":"graph","created_at":"2026-05-18T00:16:20Z","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 the persistence of invariant tori of integrable Hamiltonian systems satisfying R\\\"{u}ssmann's non-degeneracy condition when symplectic integrators are applied to them. Meanwhile, we give an estimate of the measure of the set occupied by the invariant tori in the phase space. On an invariant torus, the one-step map of the scheme is conjugate to a one parameter family of linear rotations with a step size dependent frequency vector in terms of iteration. These results are a generalization of Shang's theorems (1999, 2000), where the non-degeneracy condition is assumed in th","authors_text":"Zaijiu Shang, Zhaodong Ding","cross_cats":["math.CA","math.NA"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2018-05-09T09:10:15Z","title":"Numerical invariant tori of symplectic integrators for integrable Hamiltonian systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1805.03425","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:fa747e5dbced682b3d8aa406fb4701443e012d82d8b7a52c47349cf3aa35c0d9","target":"record","created_at":"2026-05-18T00:16:20Z","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":"64d4c12078d5e5ea60b946706359ab6f9cb2598aa3817c6b854cbfb9fb443f6b","cross_cats_sorted":["math.CA","math.NA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2018-05-09T09:10:15Z","title_canon_sha256":"c6ef4bbc74c0221a0899e6694a45e2a3969d4a43e77ea54bf4d5e0a055c57db0"},"schema_version":"1.0","source":{"id":"1805.03425","kind":"arxiv","version":1}},"canonical_sha256":"917b231eb18d755786ca477cfdd9856bbe0f8dfffbd94407acf118688a9abd8d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"917b231eb18d755786ca477cfdd9856bbe0f8dfffbd94407acf118688a9abd8d","first_computed_at":"2026-05-18T00:16:20.259934Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:16:20.259934Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"765y6/vjkjt8se0CRwUOAFWNW6ItS/WVNxbeNIrCth18NrScmZa+4zkadgnmwQCEWDFk2vMT/dhQFeB0mLcnDg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:16:20.260545Z","signed_message":"canonical_sha256_bytes"},"source_id":"1805.03425","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fa747e5dbced682b3d8aa406fb4701443e012d82d8b7a52c47349cf3aa35c0d9","sha256:225677b276038cbe2f91133a55104ba20c2589ee2ba0703712828adf7052f1d7"],"state_sha256":"f6e35fe1d2e74a99ac62a4a469520491ae207a0e071db47f40e373c7252facc3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gkNOeKyIaiz3U5RqcmvH811P/RAOgF4NoTDj/1ZZ915AV6pDl+UWva98nm2TChDHDWldoEVHu8LTZUg6VV4YBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-26T11:33:06.087922Z","bundle_sha256":"bf95b361cb57874f67ddc3ae5b305c55e45bb79076b2d01c95df5fa06fab11f2"}}