{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:L2CMJSEATYEZOSHTT4SRLDJJAZ","short_pith_number":"pith:L2CMJSEA","schema_version":"1.0","canonical_sha256":"5e84c4c8809e099748f39f25158d29064e7695705ecaf1245eef92039ae7e069","source":{"kind":"arxiv","id":"2403.05630","version":1},"attestation_state":"computed","paper":{"title":"The metric Menger problem","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.CC","math.MG"],"primary_cat":"math.CO","authors_text":"Joseph MacManus, J\\'ulia Balig\\'acs","submitted_at":"2024-03-08T19:08:31Z","abstract_excerpt":"We study a generalization of the well-known disjoint paths problem which we call the metric Menger problem, denoted MM(r,k), where one is given two subsets of a graph and must decide whether they can be connected by $k$ paths of pairwise distance at least $r$. We prove that this problem is NP-complete for every $r\\geq 3$ and $k\\geq 2$ by giving a reduction from 3SAT. This resolves a conjecture recently stated by Georgakopoulos and Papasoglu. On the other hand, we show that the problem is in XP when parameterised by treewidth and maximum degree by observing that it is `locally checkable'. In th"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2403.05630","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CO","submitted_at":"2024-03-08T19:08:31Z","cross_cats_sorted":["cs.CC","math.MG"],"title_canon_sha256":"5d02b5206e5b06f25fd53e5cb2041ec1094fdba3d9102af5e15b3fce2dd6ca6b","abstract_canon_sha256":"e38262b31fe13d24add96f2f8dba0335da7de446fa3aa7025880e1acabbae3c0"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:54:11.069600Z","signature_b64":"N0XjDJ99GSeisFUSIbpiEOJYdddACZrQYDJfT7uO99j2U/LF6geO0gUEBgH8Vy4z5MLmX/XXxtcpAW7TjAAjDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5e84c4c8809e099748f39f25158d29064e7695705ecaf1245eef92039ae7e069","last_reissued_at":"2026-07-05T07:54:11.069132Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:54:11.069132Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"The metric Menger problem","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.CC","math.MG"],"primary_cat":"math.CO","authors_text":"Joseph MacManus, J\\'ulia Balig\\'acs","submitted_at":"2024-03-08T19:08:31Z","abstract_excerpt":"We study a generalization of the well-known disjoint paths problem which we call the metric Menger problem, denoted MM(r,k), where one is given two subsets of a graph and must decide whether they can be connected by $k$ paths of pairwise distance at least $r$. We prove that this problem is NP-complete for every $r\\geq 3$ and $k\\geq 2$ by giving a reduction from 3SAT. This resolves a conjecture recently stated by Georgakopoulos and Papasoglu. On the other hand, we show that the problem is in XP when parameterised by treewidth and maximum degree by observing that it is `locally checkable'. In th"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2403.05630","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2403.05630/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2403.05630","created_at":"2026-07-05T07:54:11.069190+00:00"},{"alias_kind":"arxiv_version","alias_value":"2403.05630v1","created_at":"2026-07-05T07:54:11.069190+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2403.05630","created_at":"2026-07-05T07:54:11.069190+00:00"},{"alias_kind":"pith_short_12","alias_value":"L2CMJSEATYEZ","created_at":"2026-07-05T07:54:11.069190+00:00"},{"alias_kind":"pith_short_16","alias_value":"L2CMJSEATYEZOSHT","created_at":"2026-07-05T07:54:11.069190+00:00"},{"alias_kind":"pith_short_8","alias_value":"L2CMJSEA","created_at":"2026-07-05T07:54:11.069190+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2509.08762","citing_title":"Asymptotic structure. V. The coarse Menger conjecture in bounded path-width","ref_index":2,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/L2CMJSEATYEZOSHTT4SRLDJJAZ","json":"https://pith.science/pith/L2CMJSEATYEZOSHTT4SRLDJJAZ.json","graph_json":"https://pith.science/api/pith-number/L2CMJSEATYEZOSHTT4SRLDJJAZ/graph.json","events_json":"https://pith.science/api/pith-number/L2CMJSEATYEZOSHTT4SRLDJJAZ/events.json","paper":"https://pith.science/paper/L2CMJSEA"},"agent_actions":{"view_html":"https://pith.science/pith/L2CMJSEATYEZOSHTT4SRLDJJAZ","download_json":"https://pith.science/pith/L2CMJSEATYEZOSHTT4SRLDJJAZ.json","view_paper":"https://pith.science/paper/L2CMJSEA","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2403.05630&json=true","fetch_graph":"https://pith.science/api/pith-number/L2CMJSEATYEZOSHTT4SRLDJJAZ/graph.json","fetch_events":"https://pith.science/api/pith-number/L2CMJSEATYEZOSHTT4SRLDJJAZ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/L2CMJSEATYEZOSHTT4SRLDJJAZ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/L2CMJSEATYEZOSHTT4SRLDJJAZ/action/storage_attestation","attest_author":"https://pith.science/pith/L2CMJSEATYEZOSHTT4SRLDJJAZ/action/author_attestation","sign_citation":"https://pith.science/pith/L2CMJSEATYEZOSHTT4SRLDJJAZ/action/citation_signature","submit_replication":"https://pith.science/pith/L2CMJSEATYEZOSHTT4SRLDJJAZ/action/replication_record"}},"created_at":"2026-07-05T07:54:11.069190+00:00","updated_at":"2026-07-05T07:54:11.069190+00:00"}