{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:C2KEUP4FUTC23TAL6H2X7LDELR","short_pith_number":"pith:C2KEUP4F","canonical_record":{"source":{"id":"1707.09532","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DG","submitted_at":"2017-07-29T15:45:26Z","cross_cats_sorted":[],"title_canon_sha256":"dd618825bd98bcaffb714564938cfddb067e68adde4e6bd5c849708f295b6f7f","abstract_canon_sha256":"74355bc0ad807e52dc5ee12b3110cce133a4bb0883a15a9f29656ae10a83880c"},"schema_version":"1.0"},"canonical_sha256":"16944a3f85a4c5adcc0bf1f57fac645c72a71b17736b0cc33dcfb51287bfc16a","source":{"kind":"arxiv","id":"1707.09532","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.09532","created_at":"2026-05-18T00:39:11Z"},{"alias_kind":"arxiv_version","alias_value":"1707.09532v1","created_at":"2026-05-18T00:39:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.09532","created_at":"2026-05-18T00:39:11Z"},{"alias_kind":"pith_short_12","alias_value":"C2KEUP4FUTC2","created_at":"2026-05-18T12:31:08Z"},{"alias_kind":"pith_short_16","alias_value":"C2KEUP4FUTC23TAL","created_at":"2026-05-18T12:31:08Z"},{"alias_kind":"pith_short_8","alias_value":"C2KEUP4F","created_at":"2026-05-18T12:31:08Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:C2KEUP4FUTC23TAL6H2X7LDELR","target":"record","payload":{"canonical_record":{"source":{"id":"1707.09532","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DG","submitted_at":"2017-07-29T15:45:26Z","cross_cats_sorted":[],"title_canon_sha256":"dd618825bd98bcaffb714564938cfddb067e68adde4e6bd5c849708f295b6f7f","abstract_canon_sha256":"74355bc0ad807e52dc5ee12b3110cce133a4bb0883a15a9f29656ae10a83880c"},"schema_version":"1.0"},"canonical_sha256":"16944a3f85a4c5adcc0bf1f57fac645c72a71b17736b0cc33dcfb51287bfc16a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:39:11.017559Z","signature_b64":"Jk9c7sK9ee3EFuvobS5ixHD7MDYRwHaDcPJDYnm5oeEAvI5bqWoVmYYaSL++5Scgp2hhX/c1PY2KaQjc+jOYDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"16944a3f85a4c5adcc0bf1f57fac645c72a71b17736b0cc33dcfb51287bfc16a","last_reissued_at":"2026-05-18T00:39:11.016977Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:39:11.016977Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1707.09532","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:39:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SHqVZ6Zg+T7Dp2hcV+wdytu8sd3UlR7pT2heJP0ag3Vg6TgagDcG+yAhP6FjA/rFQwBdQRs4y/swQPj4DnrMAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T07:34:26.133432Z"},"content_sha256":"8ad21ae127d55e120ed080b092edc25d5ff5cf67d584909f0cf571eb9d8d2156","schema_version":"1.0","event_id":"sha256:8ad21ae127d55e120ed080b092edc25d5ff5cf67d584909f0cf571eb9d8d2156"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:C2KEUP4FUTC23TAL6H2X7LDELR","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Tractors and Tractrices in Riemannian Manifolds","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.DG","authors_text":"Jesper J. Madsen, Steen Markvorsen","submitted_at":"2017-07-29T15:45:26Z","abstract_excerpt":"We generalize the notion of planar bicycle tracks -- a.k.a. one-trailer systems -- to so-called tractor/tractrix systems in general Riemannian manifolds and prove explicit expressions for the length of the ensuing tractrices and for the area of the domains that are swept out by any given tractor/tractrix system. These expressions are sensitive to the curvatures of the ambient Riemannian manifold, and we prove explicit estimates for them based on Rauch's and Toponogov's comparison theorems. Moreover, the general length shortening property of tractor/tractrix systems is used to generate geodesic"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.09532","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:39:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"usXw4EHzRad4Wo5xoL6wSU/TanPaShqOEN7b0J0UuHm1d9dCPd8qhDXyx8ENnW0F2Io+f5Lw1Dalse5kqsWMDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T07:34:26.134022Z"},"content_sha256":"0624331cdcb56c5fc29af8cd8aa5f754d748bf57a4a0e2746d1761abd6191a00","schema_version":"1.0","event_id":"sha256:0624331cdcb56c5fc29af8cd8aa5f754d748bf57a4a0e2746d1761abd6191a00"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/C2KEUP4FUTC23TAL6H2X7LDELR/bundle.json","state_url":"https://pith.science/pith/C2KEUP4FUTC23TAL6H2X7LDELR/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/C2KEUP4FUTC23TAL6H2X7LDELR/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-27T07:34:26Z","links":{"resolver":"https://pith.science/pith/C2KEUP4FUTC23TAL6H2X7LDELR","bundle":"https://pith.science/pith/C2KEUP4FUTC23TAL6H2X7LDELR/bundle.json","state":"https://pith.science/pith/C2KEUP4FUTC23TAL6H2X7LDELR/state.json","well_known_bundle":"https://pith.science/.well-known/pith/C2KEUP4FUTC23TAL6H2X7LDELR/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:C2KEUP4FUTC23TAL6H2X7LDELR","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":"74355bc0ad807e52dc5ee12b3110cce133a4bb0883a15a9f29656ae10a83880c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DG","submitted_at":"2017-07-29T15:45:26Z","title_canon_sha256":"dd618825bd98bcaffb714564938cfddb067e68adde4e6bd5c849708f295b6f7f"},"schema_version":"1.0","source":{"id":"1707.09532","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.09532","created_at":"2026-05-18T00:39:11Z"},{"alias_kind":"arxiv_version","alias_value":"1707.09532v1","created_at":"2026-05-18T00:39:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.09532","created_at":"2026-05-18T00:39:11Z"},{"alias_kind":"pith_short_12","alias_value":"C2KEUP4FUTC2","created_at":"2026-05-18T12:31:08Z"},{"alias_kind":"pith_short_16","alias_value":"C2KEUP4FUTC23TAL","created_at":"2026-05-18T12:31:08Z"},{"alias_kind":"pith_short_8","alias_value":"C2KEUP4F","created_at":"2026-05-18T12:31:08Z"}],"graph_snapshots":[{"event_id":"sha256:0624331cdcb56c5fc29af8cd8aa5f754d748bf57a4a0e2746d1761abd6191a00","target":"graph","created_at":"2026-05-18T00:39:11Z","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 generalize the notion of planar bicycle tracks -- a.k.a. one-trailer systems -- to so-called tractor/tractrix systems in general Riemannian manifolds and prove explicit expressions for the length of the ensuing tractrices and for the area of the domains that are swept out by any given tractor/tractrix system. These expressions are sensitive to the curvatures of the ambient Riemannian manifold, and we prove explicit estimates for them based on Rauch's and Toponogov's comparison theorems. Moreover, the general length shortening property of tractor/tractrix systems is used to generate geodesic","authors_text":"Jesper J. Madsen, Steen Markvorsen","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DG","submitted_at":"2017-07-29T15:45:26Z","title":"Tractors and Tractrices in Riemannian Manifolds"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.09532","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:8ad21ae127d55e120ed080b092edc25d5ff5cf67d584909f0cf571eb9d8d2156","target":"record","created_at":"2026-05-18T00:39:11Z","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":"74355bc0ad807e52dc5ee12b3110cce133a4bb0883a15a9f29656ae10a83880c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DG","submitted_at":"2017-07-29T15:45:26Z","title_canon_sha256":"dd618825bd98bcaffb714564938cfddb067e68adde4e6bd5c849708f295b6f7f"},"schema_version":"1.0","source":{"id":"1707.09532","kind":"arxiv","version":1}},"canonical_sha256":"16944a3f85a4c5adcc0bf1f57fac645c72a71b17736b0cc33dcfb51287bfc16a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"16944a3f85a4c5adcc0bf1f57fac645c72a71b17736b0cc33dcfb51287bfc16a","first_computed_at":"2026-05-18T00:39:11.016977Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:39:11.016977Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Jk9c7sK9ee3EFuvobS5ixHD7MDYRwHaDcPJDYnm5oeEAvI5bqWoVmYYaSL++5Scgp2hhX/c1PY2KaQjc+jOYDA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:39:11.017559Z","signed_message":"canonical_sha256_bytes"},"source_id":"1707.09532","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8ad21ae127d55e120ed080b092edc25d5ff5cf67d584909f0cf571eb9d8d2156","sha256:0624331cdcb56c5fc29af8cd8aa5f754d748bf57a4a0e2746d1761abd6191a00"],"state_sha256":"d00b34482070afc84c023fa1f8edfffcd0d619d65d0e14b9bf2c370807bd200c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RzbL8eJuXNQ5DSeeN69XIpSnPawwZRrn2A0dYxxkIkqBdTfJW385pcT5pFJjGUqgQA80Uq9ro18dDhzBPdZABA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T07:34:26.137382Z","bundle_sha256":"a90fade78002ff48bcb866087bf125b413240a6d78565269abbccad047e1a1af"}}