{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:PDL5334WIN32WNBCCTQKWE2ZUT","short_pith_number":"pith:PDL5334W","canonical_record":{"source":{"id":"2401.08883","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.AT","submitted_at":"2024-01-16T23:40:39Z","cross_cats_sorted":["math.GN","math.GT"],"title_canon_sha256":"1a159a79a1097a5753d822ceab42cb46e8fb936049dd9e98b577c50df83a2a26","abstract_canon_sha256":"5a97e8d341ac6cbc71cdb34939c4213042eca08e624033af347ecd4eb0758a5f"},"schema_version":"1.0"},"canonical_sha256":"78d7ddef964377ab342214e0ab1359a4d306f586b0257ad953fcf233058b3972","source":{"kind":"arxiv","id":"2401.08883","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2401.08883","created_at":"2026-05-27T14:06:35Z"},{"alias_kind":"arxiv_version","alias_value":"2401.08883v2","created_at":"2026-05-27T14:06:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2401.08883","created_at":"2026-05-27T14:06:35Z"},{"alias_kind":"pith_short_12","alias_value":"PDL5334WIN32","created_at":"2026-05-27T14:06:35Z"},{"alias_kind":"pith_short_16","alias_value":"PDL5334WIN32WNBC","created_at":"2026-05-27T14:06:35Z"},{"alias_kind":"pith_short_8","alias_value":"PDL5334W","created_at":"2026-05-27T14:06:35Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:PDL5334WIN32WNBCCTQKWE2ZUT","target":"record","payload":{"canonical_record":{"source":{"id":"2401.08883","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.AT","submitted_at":"2024-01-16T23:40:39Z","cross_cats_sorted":["math.GN","math.GT"],"title_canon_sha256":"1a159a79a1097a5753d822ceab42cb46e8fb936049dd9e98b577c50df83a2a26","abstract_canon_sha256":"5a97e8d341ac6cbc71cdb34939c4213042eca08e624033af347ecd4eb0758a5f"},"schema_version":"1.0"},"canonical_sha256":"78d7ddef964377ab342214e0ab1359a4d306f586b0257ad953fcf233058b3972","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-27T14:06:35.319017Z","signature_b64":"ryjM39t/uSCOPosjygR5S0xGVRAPGK5dLunz9V6OygXVbfw7ktbknA/tNABh3fPJ6MEklOHao5P3aplsRH60CA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"78d7ddef964377ab342214e0ab1359a4d306f586b0257ad953fcf233058b3972","last_reissued_at":"2026-05-27T14:06:35.317904Z","signature_status":"signed_v1","first_computed_at":"2026-05-27T14:06:35.317904Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2401.08883","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-27T14:06:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2FAWmHoZYTRseAPPXNInBHk1Jpg0rEBeOqSwp261uHM8X8mwttNB4ys7XmyWTqPFoIMWDn59ItLo++TMCe81CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T11:42:49.728161Z"},"content_sha256":"432e0af13c224fd74c17b6a33ba00446a6cd069c1292d1359c54713ddce06392","schema_version":"1.0","event_id":"sha256:432e0af13c224fd74c17b6a33ba00446a6cd069c1292d1359c54713ddce06392"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:PDL5334WIN32WNBCCTQKWE2ZUT","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On R-trees, homotopies, and covering maps","license":"http://creativecommons.org/licenses/by/4.0/","headline":"Every map of manifolds with the unique path lifting property is a covering map","cross_cats":["math.GN","math.GT"],"primary_cat":"math.AT","authors_text":"Curtis Kent, Gregory R. Conner, Jeremy Brazas, Paul Fabel","submitted_at":"2024-01-16T23:40:39Z","abstract_excerpt":"A map $p:E\\to X$ has the \\emph{unique path lifting} property if every path in $X$, after a choice of an initial point, lifts uniquely to a path in $E$. We prove that if a group $G$ acts on an $\\mathbb R$-tree $T$ such that the quotient map $p: T\\to T/G$ has the unique path lifting property, then the quotient space $T/G$ does not contain a disc. As a consequence, we show that every map of manifolds with the unique path lifting property is a covering map. The proof requires a study of one-dimensional backtracking in paths. We show the surprising and counterintuitive result that the equivalence r"},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"every map of manifolds with the unique path lifting property is a covering map","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"The equivalence relation of homotopies of paths rel. endpoints is generated by inserting and deleting one-dimensional backtracking (abstract).","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"Quotients of R-trees under group actions with unique path lifting contain no discs, implying that maps of manifolds with unique path lifting are covering maps, via the result that path homotopies are generated by one-dimensional backtracking.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"Every map of manifolds with the unique path lifting property is a covering map","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"073cd68237cb85f7c61a2e0e70eaef1b2bbf58c70a75f1fe360de16c981cc4d4"},"source":{"id":"2401.08883","kind":"arxiv","version":2},"verdict":{"id":"4a54dfd8-980f-4e64-8035-80eae4e35662","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-24T04:35:31.617527Z","strongest_claim":"every map of manifolds with the unique path lifting property is a covering map","one_line_summary":"Quotients of R-trees under group actions with unique path lifting contain no discs, implying that maps of manifolds with unique path lifting are covering maps, via the result that path homotopies are generated by one-dimensional backtracking.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"The equivalence relation of homotopies of paths rel. endpoints is generated by inserting and deleting one-dimensional backtracking (abstract).","pith_extraction_headline":"Every map of manifolds with the unique path lifting property is a covering map"},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2401.08883/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":20,"sample":[{"doi":"","year":1985,"title":"R.C. Alperin, K.N. Moss, Complete trees for groups with a real-valued length function, J. London Math. Soc. 31 (1985) no. 2, 55-68","work_id":"4752abc0-afdc-4e88-8e25-35c484d97750","ref_index":1,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":1956,"title":"R. D. Anderson, A continuous curve admitting monotone open maps onto all locally connected metric continua, BAMS 62 (1956) 264-265","work_id":"fb58a4c2-291a-41db-a223-5b68f17aed6c","ref_index":2,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2007,"title":"Berestovski i , C.P","work_id":"86ee993c-e7d1-4034-b89f-2ae072d622e6","ref_index":3,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2010,"title":"Berestovski i , C.P","work_id":"a9fb2081-c76c-4302-9bde-2fb295298540","ref_index":4,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2002,"title":"Bestvina, -trees in topology, geometry and group theory, Handbook of Geometric Topology, edited by R","work_id":"5aaa39c6-5309-4c6a-bcfa-25e2b3e10f6a","ref_index":5,"cited_arxiv_id":"","is_internal_anchor":false}],"resolved_work":20,"snapshot_sha256":"e0280670e570ca430a1485f4d082e80c7c2639df4207402b0906fa524209deee","internal_anchors":1},"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":"4a54dfd8-980f-4e64-8035-80eae4e35662"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-27T14:06:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eEteH4OlHXIOXW+2WL0PattB9AFFjTPwpT30bkIu61nzFwVav3cUuob1Wc5wFVrj6mgHnOlNX6erwLIFOZUFCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T11:42:49.729243Z"},"content_sha256":"f348a91866ee6fcb3da9aea1e83e21504fcaeb5960790d0e5c1f08fa0d01452b","schema_version":"1.0","event_id":"sha256:f348a91866ee6fcb3da9aea1e83e21504fcaeb5960790d0e5c1f08fa0d01452b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PDL5334WIN32WNBCCTQKWE2ZUT/bundle.json","state_url":"https://pith.science/pith/PDL5334WIN32WNBCCTQKWE2ZUT/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PDL5334WIN32WNBCCTQKWE2ZUT/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-10T11:42:49Z","links":{"resolver":"https://pith.science/pith/PDL5334WIN32WNBCCTQKWE2ZUT","bundle":"https://pith.science/pith/PDL5334WIN32WNBCCTQKWE2ZUT/bundle.json","state":"https://pith.science/pith/PDL5334WIN32WNBCCTQKWE2ZUT/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PDL5334WIN32WNBCCTQKWE2ZUT/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:PDL5334WIN32WNBCCTQKWE2ZUT","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":"5a97e8d341ac6cbc71cdb34939c4213042eca08e624033af347ecd4eb0758a5f","cross_cats_sorted":["math.GN","math.GT"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.AT","submitted_at":"2024-01-16T23:40:39Z","title_canon_sha256":"1a159a79a1097a5753d822ceab42cb46e8fb936049dd9e98b577c50df83a2a26"},"schema_version":"1.0","source":{"id":"2401.08883","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2401.08883","created_at":"2026-05-27T14:06:35Z"},{"alias_kind":"arxiv_version","alias_value":"2401.08883v2","created_at":"2026-05-27T14:06:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2401.08883","created_at":"2026-05-27T14:06:35Z"},{"alias_kind":"pith_short_12","alias_value":"PDL5334WIN32","created_at":"2026-05-27T14:06:35Z"},{"alias_kind":"pith_short_16","alias_value":"PDL5334WIN32WNBC","created_at":"2026-05-27T14:06:35Z"},{"alias_kind":"pith_short_8","alias_value":"PDL5334W","created_at":"2026-05-27T14:06:35Z"}],"graph_snapshots":[{"event_id":"sha256:f348a91866ee6fcb3da9aea1e83e21504fcaeb5960790d0e5c1f08fa0d01452b","target":"graph","created_at":"2026-05-27T14:06:35Z","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":4,"items":[{"attestation":"unclaimed","claim_id":"C1","kind":"strongest_claim","source":"verdict.strongest_claim","status":"machine_extracted","text":"every map of manifolds with the unique path lifting property is a covering map"},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The equivalence relation of homotopies of paths rel. endpoints is generated by inserting and deleting one-dimensional backtracking (abstract)."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"Quotients of R-trees under group actions with unique path lifting contain no discs, implying that maps of manifolds with unique path lifting are covering maps, via the result that path homotopies are generated by one-dimensional backtracking."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"Every map of manifolds with the unique path lifting property is a covering map"}],"snapshot_sha256":"073cd68237cb85f7c61a2e0e70eaef1b2bbf58c70a75f1fe360de16c981cc4d4"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2401.08883/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"A map $p:E\\to X$ has the \\emph{unique path lifting} property if every path in $X$, after a choice of an initial point, lifts uniquely to a path in $E$. We prove that if a group $G$ acts on an $\\mathbb R$-tree $T$ such that the quotient map $p: T\\to T/G$ has the unique path lifting property, then the quotient space $T/G$ does not contain a disc. As a consequence, we show that every map of manifolds with the unique path lifting property is a covering map. The proof requires a study of one-dimensional backtracking in paths. We show the surprising and counterintuitive result that the equivalence r","authors_text":"Curtis Kent, Gregory R. Conner, Jeremy Brazas, Paul Fabel","cross_cats":["math.GN","math.GT"],"headline":"Every map of manifolds with the unique path lifting property is a covering map","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.AT","submitted_at":"2024-01-16T23:40:39Z","title":"On R-trees, homotopies, and covering maps"},"references":{"count":20,"internal_anchors":1,"resolved_work":20,"sample":[{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":1,"title":"R.C. Alperin, K.N. Moss, Complete trees for groups with a real-valued length function, J. London Math. Soc. 31 (1985) no. 2, 55-68","work_id":"4752abc0-afdc-4e88-8e25-35c484d97750","year":1985},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":2,"title":"R. D. Anderson, A continuous curve admitting monotone open maps onto all locally connected metric continua, BAMS 62 (1956) 264-265","work_id":"fb58a4c2-291a-41db-a223-5b68f17aed6c","year":1956},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":3,"title":"Berestovski i , C.P","work_id":"86ee993c-e7d1-4034-b89f-2ae072d622e6","year":2007},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":4,"title":"Berestovski i , C.P","work_id":"a9fb2081-c76c-4302-9bde-2fb295298540","year":2010},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":5,"title":"Bestvina, -trees in topology, geometry and group theory, Handbook of Geometric Topology, edited by R","work_id":"5aaa39c6-5309-4c6a-bcfa-25e2b3e10f6a","year":2002}],"snapshot_sha256":"e0280670e570ca430a1485f4d082e80c7c2639df4207402b0906fa524209deee"},"source":{"id":"2401.08883","kind":"arxiv","version":2},"verdict":{"created_at":"2026-05-24T04:35:31.617527Z","id":"4a54dfd8-980f-4e64-8035-80eae4e35662","model_set":{"reader":"grok-4.3"},"one_line_summary":"Quotients of R-trees under group actions with unique path lifting contain no discs, implying that maps of manifolds with unique path lifting are covering maps, via the result that path homotopies are generated by one-dimensional backtracking.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"Every map of manifolds with the unique path lifting property is a covering map","strongest_claim":"every map of manifolds with the unique path lifting property is a covering map","weakest_assumption":"The equivalence relation of homotopies of paths rel. endpoints is generated by inserting and deleting one-dimensional backtracking (abstract)."}},"verdict_id":"4a54dfd8-980f-4e64-8035-80eae4e35662"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:432e0af13c224fd74c17b6a33ba00446a6cd069c1292d1359c54713ddce06392","target":"record","created_at":"2026-05-27T14:06:35Z","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":"5a97e8d341ac6cbc71cdb34939c4213042eca08e624033af347ecd4eb0758a5f","cross_cats_sorted":["math.GN","math.GT"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.AT","submitted_at":"2024-01-16T23:40:39Z","title_canon_sha256":"1a159a79a1097a5753d822ceab42cb46e8fb936049dd9e98b577c50df83a2a26"},"schema_version":"1.0","source":{"id":"2401.08883","kind":"arxiv","version":2}},"canonical_sha256":"78d7ddef964377ab342214e0ab1359a4d306f586b0257ad953fcf233058b3972","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"78d7ddef964377ab342214e0ab1359a4d306f586b0257ad953fcf233058b3972","first_computed_at":"2026-05-27T14:06:35.317904Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-27T14:06:35.317904Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ryjM39t/uSCOPosjygR5S0xGVRAPGK5dLunz9V6OygXVbfw7ktbknA/tNABh3fPJ6MEklOHao5P3aplsRH60CA==","signature_status":"signed_v1","signed_at":"2026-05-27T14:06:35.319017Z","signed_message":"canonical_sha256_bytes"},"source_id":"2401.08883","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:432e0af13c224fd74c17b6a33ba00446a6cd069c1292d1359c54713ddce06392","sha256:f348a91866ee6fcb3da9aea1e83e21504fcaeb5960790d0e5c1f08fa0d01452b"],"state_sha256":"31cf4996d451a45a7de7ba6a8e120860203f05b228c8d9e5a7133fe90ab19787"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"isd0O139QuUEypvx1tJJRt2MZ/Qu2wW6YUJFmmB4enr2REouFCN2VZEmcoZrlN2mmy6dQ5S8oBuVmAGvBM5RAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-10T11:42:49.734669Z","bundle_sha256":"0cad2d104fb35dd93f961e56a0204cb012212e81cebfe3376d55439bf81d418a"}}