{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:TOCRLWRJ6DBOVPMAPU5NL7G4UP","short_pith_number":"pith:TOCRLWRJ","schema_version":"1.0","canonical_sha256":"9b8515da29f0c2eabd807d3ad5fcdca3f358913b47e7fc8a3952de05448f413d","source":{"kind":"arxiv","id":"2512.19340","version":3},"attestation_state":"computed","paper":{"title":"EMU circulation planning for Silesian Railways: case study and a quantum approach","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"quant-ph","authors_text":"Andrea Galad\\'ikov\\'a, Ewa K\\k{e}dziera, Krzysztof Domino, M\\'aty\\'as Koniorczyk, Wojciech Gamon, Zakaria Mzaouali","submitted_at":"2025-12-22T12:36:20Z","abstract_excerpt":"We study daily rolling stock circulation planning for electric multiple units (EMUs) on a regional passenger network, focusing on services where identical EMUs may be coupled in pairs on selected routes. Motivated by the operational needs of the regional operator Silesian Railways in Poland, we formulate an acyclic mixed-integer linear program on a one-day horizon that incorporates depot balance constraints, demand-driven seat and bicycle capacity limits, and simple crew availability constraints. Using a graph/hyper-graph representation of train movements, we first solve an ILP formulation. We"},"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":"2512.19340","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2025-12-22T12:36:20Z","cross_cats_sorted":[],"title_canon_sha256":"a2691e41e2c8c25987e9a8b4174fc968de676258f833d8e28e1c49e66a9913bf","abstract_canon_sha256":"e69bf8e51ef33d6c1cf79e55c005900e417212b419082389ded4ba00acddbcbf"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-04T01:08:38.461098Z","signature_b64":"xJiztKJUsX9x2Z271l9fhWxwzou4ARB46ycA5JQrsXWyNnRW0t3umHmXlBiqOd1Dcx5svRTWW57EZy0E4eLTDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9b8515da29f0c2eabd807d3ad5fcdca3f358913b47e7fc8a3952de05448f413d","last_reissued_at":"2026-06-04T01:08:38.460073Z","signature_status":"signed_v1","first_computed_at":"2026-06-04T01:08:38.460073Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"EMU circulation planning for Silesian Railways: case study and a quantum approach","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"quant-ph","authors_text":"Andrea Galad\\'ikov\\'a, Ewa K\\k{e}dziera, Krzysztof Domino, M\\'aty\\'as Koniorczyk, Wojciech Gamon, Zakaria Mzaouali","submitted_at":"2025-12-22T12:36:20Z","abstract_excerpt":"We study daily rolling stock circulation planning for electric multiple units (EMUs) on a regional passenger network, focusing on services where identical EMUs may be coupled in pairs on selected routes. Motivated by the operational needs of the regional operator Silesian Railways in Poland, we formulate an acyclic mixed-integer linear program on a one-day horizon that incorporates depot balance constraints, demand-driven seat and bicycle capacity limits, and simple crew availability constraints. Using a graph/hyper-graph representation of train movements, we first solve an ILP formulation. We"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2512.19340","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2512.19340/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":"2512.19340","created_at":"2026-06-04T01:08:38.460213+00:00"},{"alias_kind":"arxiv_version","alias_value":"2512.19340v3","created_at":"2026-06-04T01:08:38.460213+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2512.19340","created_at":"2026-06-04T01:08:38.460213+00:00"},{"alias_kind":"pith_short_12","alias_value":"TOCRLWRJ6DBO","created_at":"2026-06-04T01:08:38.460213+00:00"},{"alias_kind":"pith_short_16","alias_value":"TOCRLWRJ6DBOVPMA","created_at":"2026-06-04T01:08:38.460213+00:00"},{"alias_kind":"pith_short_8","alias_value":"TOCRLWRJ","created_at":"2026-06-04T01:08:38.460213+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/TOCRLWRJ6DBOVPMAPU5NL7G4UP","json":"https://pith.science/pith/TOCRLWRJ6DBOVPMAPU5NL7G4UP.json","graph_json":"https://pith.science/api/pith-number/TOCRLWRJ6DBOVPMAPU5NL7G4UP/graph.json","events_json":"https://pith.science/api/pith-number/TOCRLWRJ6DBOVPMAPU5NL7G4UP/events.json","paper":"https://pith.science/paper/TOCRLWRJ"},"agent_actions":{"view_html":"https://pith.science/pith/TOCRLWRJ6DBOVPMAPU5NL7G4UP","download_json":"https://pith.science/pith/TOCRLWRJ6DBOVPMAPU5NL7G4UP.json","view_paper":"https://pith.science/paper/TOCRLWRJ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2512.19340&json=true","fetch_graph":"https://pith.science/api/pith-number/TOCRLWRJ6DBOVPMAPU5NL7G4UP/graph.json","fetch_events":"https://pith.science/api/pith-number/TOCRLWRJ6DBOVPMAPU5NL7G4UP/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/TOCRLWRJ6DBOVPMAPU5NL7G4UP/action/timestamp_anchor","attest_storage":"https://pith.science/pith/TOCRLWRJ6DBOVPMAPU5NL7G4UP/action/storage_attestation","attest_author":"https://pith.science/pith/TOCRLWRJ6DBOVPMAPU5NL7G4UP/action/author_attestation","sign_citation":"https://pith.science/pith/TOCRLWRJ6DBOVPMAPU5NL7G4UP/action/citation_signature","submit_replication":"https://pith.science/pith/TOCRLWRJ6DBOVPMAPU5NL7G4UP/action/replication_record"}},"created_at":"2026-06-04T01:08:38.460213+00:00","updated_at":"2026-06-04T01:08:38.460213+00:00"}