{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:ETD6IDNL4JTYB3FQRTOR5KYZMW","short_pith_number":"pith:ETD6IDNL","canonical_record":{"source":{"id":"1304.3794","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2013-04-13T09:34:56Z","cross_cats_sorted":[],"title_canon_sha256":"a1c44ed915d90e677d9228972fd60bcde38e84d7b452d8eb2c83b3327974a154","abstract_canon_sha256":"f1853346aaf06f9e9378acb009e5a15975d03a6026a323ee7de1f91dabd377a8"},"schema_version":"1.0"},"canonical_sha256":"24c7e40dabe26780ecb08cdd1eab19659b60aec0c3e6f26ea30e41c26c96917f","source":{"kind":"arxiv","id":"1304.3794","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1304.3794","created_at":"2026-05-18T02:48:43Z"},{"alias_kind":"arxiv_version","alias_value":"1304.3794v3","created_at":"2026-05-18T02:48:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1304.3794","created_at":"2026-05-18T02:48:43Z"},{"alias_kind":"pith_short_12","alias_value":"ETD6IDNL4JTY","created_at":"2026-05-18T12:27:43Z"},{"alias_kind":"pith_short_16","alias_value":"ETD6IDNL4JTYB3FQ","created_at":"2026-05-18T12:27:43Z"},{"alias_kind":"pith_short_8","alias_value":"ETD6IDNL","created_at":"2026-05-18T12:27:43Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:ETD6IDNL4JTYB3FQRTOR5KYZMW","target":"record","payload":{"canonical_record":{"source":{"id":"1304.3794","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2013-04-13T09:34:56Z","cross_cats_sorted":[],"title_canon_sha256":"a1c44ed915d90e677d9228972fd60bcde38e84d7b452d8eb2c83b3327974a154","abstract_canon_sha256":"f1853346aaf06f9e9378acb009e5a15975d03a6026a323ee7de1f91dabd377a8"},"schema_version":"1.0"},"canonical_sha256":"24c7e40dabe26780ecb08cdd1eab19659b60aec0c3e6f26ea30e41c26c96917f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:48:43.576890Z","signature_b64":"g/dDWHQ9srHcw83KSc1c1jPu9gHKMSJVGmBaBmLHWozAdwxFOFYOoJlrmre7igpCpjppI4thfOEiT2Ss+vTQAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"24c7e40dabe26780ecb08cdd1eab19659b60aec0c3e6f26ea30e41c26c96917f","last_reissued_at":"2026-05-18T02:48:43.576288Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:48:43.576288Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1304.3794","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-18T02:48:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"W38GPus7vLsa4++XBXhGw7OMIpsGxVs9lypSl/41rPQXv6lBNh0FprUq/Dn5HChbw2USBr368Hlk5eUbvYWuDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-08T22:08:50.571899Z"},"content_sha256":"869cfc8d98586dd2437c2e0ad35194c2861c03154918806cca9bf10b6e3d231a","schema_version":"1.0","event_id":"sha256:869cfc8d98586dd2437c2e0ad35194c2861c03154918806cca9bf10b6e3d231a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:ETD6IDNL4JTYB3FQRTOR5KYZMW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Positive Lyapunov exponents for Hamiltonian linear differential systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.DS","authors_text":"Mario Bessa, Paulo Varandas","submitted_at":"2013-04-13T09:34:56Z","abstract_excerpt":"In the present paper we give a positive answer to some questions posed by Viana on the existence of positive Lyapunov exponents for Hamiltonian linear differential systems. We prove that there exists an open and dense set of Hamiltonian linear differential systems, over a suspension flow with bounded roof function, displaying at least one positive Lyapunov exponent. In consequence, typical cocycles over a uniformly hyperbolic flow are chaotic. Finally, we obtain similar results for cocycles over flows preserving an ergodic, hyperbolic measure with local product structure."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1304.3794","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-18T02:48:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pHItR0ynNGso3LjbHAMPSKaJq1E2soqURoRdkBzHor33wa+NdstccLM2LiaEyqCFYY14137XWnVN1eizO9AVBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-08T22:08:50.572238Z"},"content_sha256":"eb26ae5c1ecb5f67c0f02437ca66b0c502c4d7b75216fbef2c409cc136cb515b","schema_version":"1.0","event_id":"sha256:eb26ae5c1ecb5f67c0f02437ca66b0c502c4d7b75216fbef2c409cc136cb515b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ETD6IDNL4JTYB3FQRTOR5KYZMW/bundle.json","state_url":"https://pith.science/pith/ETD6IDNL4JTYB3FQRTOR5KYZMW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ETD6IDNL4JTYB3FQRTOR5KYZMW/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-08T22:08:50Z","links":{"resolver":"https://pith.science/pith/ETD6IDNL4JTYB3FQRTOR5KYZMW","bundle":"https://pith.science/pith/ETD6IDNL4JTYB3FQRTOR5KYZMW/bundle.json","state":"https://pith.science/pith/ETD6IDNL4JTYB3FQRTOR5KYZMW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ETD6IDNL4JTYB3FQRTOR5KYZMW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:ETD6IDNL4JTYB3FQRTOR5KYZMW","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":"f1853346aaf06f9e9378acb009e5a15975d03a6026a323ee7de1f91dabd377a8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2013-04-13T09:34:56Z","title_canon_sha256":"a1c44ed915d90e677d9228972fd60bcde38e84d7b452d8eb2c83b3327974a154"},"schema_version":"1.0","source":{"id":"1304.3794","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1304.3794","created_at":"2026-05-18T02:48:43Z"},{"alias_kind":"arxiv_version","alias_value":"1304.3794v3","created_at":"2026-05-18T02:48:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1304.3794","created_at":"2026-05-18T02:48:43Z"},{"alias_kind":"pith_short_12","alias_value":"ETD6IDNL4JTY","created_at":"2026-05-18T12:27:43Z"},{"alias_kind":"pith_short_16","alias_value":"ETD6IDNL4JTYB3FQ","created_at":"2026-05-18T12:27:43Z"},{"alias_kind":"pith_short_8","alias_value":"ETD6IDNL","created_at":"2026-05-18T12:27:43Z"}],"graph_snapshots":[{"event_id":"sha256:eb26ae5c1ecb5f67c0f02437ca66b0c502c4d7b75216fbef2c409cc136cb515b","target":"graph","created_at":"2026-05-18T02:48:43Z","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 the present paper we give a positive answer to some questions posed by Viana on the existence of positive Lyapunov exponents for Hamiltonian linear differential systems. We prove that there exists an open and dense set of Hamiltonian linear differential systems, over a suspension flow with bounded roof function, displaying at least one positive Lyapunov exponent. In consequence, typical cocycles over a uniformly hyperbolic flow are chaotic. Finally, we obtain similar results for cocycles over flows preserving an ergodic, hyperbolic measure with local product structure.","authors_text":"Mario Bessa, Paulo Varandas","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2013-04-13T09:34:56Z","title":"Positive Lyapunov exponents for Hamiltonian linear differential systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1304.3794","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:869cfc8d98586dd2437c2e0ad35194c2861c03154918806cca9bf10b6e3d231a","target":"record","created_at":"2026-05-18T02:48:43Z","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":"f1853346aaf06f9e9378acb009e5a15975d03a6026a323ee7de1f91dabd377a8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2013-04-13T09:34:56Z","title_canon_sha256":"a1c44ed915d90e677d9228972fd60bcde38e84d7b452d8eb2c83b3327974a154"},"schema_version":"1.0","source":{"id":"1304.3794","kind":"arxiv","version":3}},"canonical_sha256":"24c7e40dabe26780ecb08cdd1eab19659b60aec0c3e6f26ea30e41c26c96917f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"24c7e40dabe26780ecb08cdd1eab19659b60aec0c3e6f26ea30e41c26c96917f","first_computed_at":"2026-05-18T02:48:43.576288Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:48:43.576288Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"g/dDWHQ9srHcw83KSc1c1jPu9gHKMSJVGmBaBmLHWozAdwxFOFYOoJlrmre7igpCpjppI4thfOEiT2Ss+vTQAw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:48:43.576890Z","signed_message":"canonical_sha256_bytes"},"source_id":"1304.3794","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:869cfc8d98586dd2437c2e0ad35194c2861c03154918806cca9bf10b6e3d231a","sha256:eb26ae5c1ecb5f67c0f02437ca66b0c502c4d7b75216fbef2c409cc136cb515b"],"state_sha256":"6a6c413bd2c6cec9b445b6dd12ee37f2e3e92728774381a0382d75a769adca56"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Y6lGYExqfGvj5xJY6FI9oSnacL0RncLXIVd6B/nPTwLPJ1IocSrgcHL2nDm+1iKx2csNRNqQC9Uk26T0ToJDAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-08T22:08:50.574128Z","bundle_sha256":"3a28207b30d25414b1c012e714e730901d7a3e76c6ad8491fab2080239239531"}}