{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:AQP3NNQ7YU5YHDAXZDDE3FUFLX","short_pith_number":"pith:AQP3NNQ7","canonical_record":{"source":{"id":"1812.01532","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2018-12-04T17:04:50Z","cross_cats_sorted":["cond-mat.dis-nn","cs.MA","cs.RO","cs.SY"],"title_canon_sha256":"ddc4a8e49e6f00735d71c830d40e28d73e73c678e96ba13be46e4456dadc7813","abstract_canon_sha256":"09d6e71b4202cbe64270b7408c53cf6778fc8dcdbb6eae910565b395ceb14848"},"schema_version":"1.0"},"canonical_sha256":"041fb6b61fc53b838c17c8c64d96855dd9ae63e02c5cd289e7007e7b76e89123","source":{"kind":"arxiv","id":"1812.01532","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1812.01532","created_at":"2026-05-17T23:57:21Z"},{"alias_kind":"arxiv_version","alias_value":"1812.01532v2","created_at":"2026-05-17T23:57:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1812.01532","created_at":"2026-05-17T23:57:21Z"},{"alias_kind":"pith_short_12","alias_value":"AQP3NNQ7YU5Y","created_at":"2026-05-18T12:32:13Z"},{"alias_kind":"pith_short_16","alias_value":"AQP3NNQ7YU5YHDAX","created_at":"2026-05-18T12:32:13Z"},{"alias_kind":"pith_short_8","alias_value":"AQP3NNQ7","created_at":"2026-05-18T12:32:13Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:AQP3NNQ7YU5YHDAXZDDE3FUFLX","target":"record","payload":{"canonical_record":{"source":{"id":"1812.01532","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2018-12-04T17:04:50Z","cross_cats_sorted":["cond-mat.dis-nn","cs.MA","cs.RO","cs.SY"],"title_canon_sha256":"ddc4a8e49e6f00735d71c830d40e28d73e73c678e96ba13be46e4456dadc7813","abstract_canon_sha256":"09d6e71b4202cbe64270b7408c53cf6778fc8dcdbb6eae910565b395ceb14848"},"schema_version":"1.0"},"canonical_sha256":"041fb6b61fc53b838c17c8c64d96855dd9ae63e02c5cd289e7007e7b76e89123","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:57:21.130489Z","signature_b64":"6X+X93ZBeXacSRldZ4fZ+IT+K7j7YFwqL2ufAggLds9LomxEOpu0Jw00enC0cx6LhdIy07IoYymcsQ0GsLQIAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"041fb6b61fc53b838c17c8c64d96855dd9ae63e02c5cd289e7007e7b76e89123","last_reissued_at":"2026-05-17T23:57:21.129766Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:57:21.129766Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1812.01532","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-17T23:57:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lIJgydjBd9YZNTtsCQOL+XUmJXLhcH0JuviUep3c18NbtTHCfigc+ga8E2WGQlbvpX3UNqVpu5hhs05etPy4Dw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T21:16:11.285638Z"},"content_sha256":"4d9aba0ec3cdbbfb2711412992c7f6a351f2677d71754b235dde1a836801b033","schema_version":"1.0","event_id":"sha256:4d9aba0ec3cdbbfb2711412992c7f6a351f2677d71754b235dde1a836801b033"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:AQP3NNQ7YU5YHDAXZDDE3FUFLX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Control of automated guided vehicles without collision by quantum annealer and digital devices","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cond-mat.dis-nn","cs.MA","cs.RO","cs.SY"],"primary_cat":"quant-ph","authors_text":"Akira Miki, Masamichi J. Miyama, Masayoshi Terabe, Masayuki Ohzeki","submitted_at":"2018-12-04T17:04:50Z","abstract_excerpt":"We formulate an optimization problem to control a large number of automated guided vehicles in a plant without collision. The formulation consists of binary variables. A quadratic cost function over these variables enables us to utilize certain solvers on digital computers and recently developed purpose-specific hardware such as D-Wave 2000Q and the Fujitsu digital annealer. In the present study, we consider an actual plant in Japan, in which vehicles run, and assess efficiency of our formulation for optimizing the vehicles via several solvers. We confirm that our formulation can be a powerful"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1812.01532","kind":"arxiv","version":2},"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-17T23:57:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mJlSNcVrFEvE0OYJJ371xM2dxYzzIwsEbm0uD96t3QWG0WxnTkqu8+uu2jAx4h1crqRUXc5Di7q6e/IpYBy5DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T21:16:11.286353Z"},"content_sha256":"f8aa38a25a4508ab60511a07b582e38043cf5b76fdecff6c83b5bf52eccaf1e7","schema_version":"1.0","event_id":"sha256:f8aa38a25a4508ab60511a07b582e38043cf5b76fdecff6c83b5bf52eccaf1e7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/AQP3NNQ7YU5YHDAXZDDE3FUFLX/bundle.json","state_url":"https://pith.science/pith/AQP3NNQ7YU5YHDAXZDDE3FUFLX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/AQP3NNQ7YU5YHDAXZDDE3FUFLX/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-05T21:16:11Z","links":{"resolver":"https://pith.science/pith/AQP3NNQ7YU5YHDAXZDDE3FUFLX","bundle":"https://pith.science/pith/AQP3NNQ7YU5YHDAXZDDE3FUFLX/bundle.json","state":"https://pith.science/pith/AQP3NNQ7YU5YHDAXZDDE3FUFLX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/AQP3NNQ7YU5YHDAXZDDE3FUFLX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:AQP3NNQ7YU5YHDAXZDDE3FUFLX","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":"09d6e71b4202cbe64270b7408c53cf6778fc8dcdbb6eae910565b395ceb14848","cross_cats_sorted":["cond-mat.dis-nn","cs.MA","cs.RO","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2018-12-04T17:04:50Z","title_canon_sha256":"ddc4a8e49e6f00735d71c830d40e28d73e73c678e96ba13be46e4456dadc7813"},"schema_version":"1.0","source":{"id":"1812.01532","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1812.01532","created_at":"2026-05-17T23:57:21Z"},{"alias_kind":"arxiv_version","alias_value":"1812.01532v2","created_at":"2026-05-17T23:57:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1812.01532","created_at":"2026-05-17T23:57:21Z"},{"alias_kind":"pith_short_12","alias_value":"AQP3NNQ7YU5Y","created_at":"2026-05-18T12:32:13Z"},{"alias_kind":"pith_short_16","alias_value":"AQP3NNQ7YU5YHDAX","created_at":"2026-05-18T12:32:13Z"},{"alias_kind":"pith_short_8","alias_value":"AQP3NNQ7","created_at":"2026-05-18T12:32:13Z"}],"graph_snapshots":[{"event_id":"sha256:f8aa38a25a4508ab60511a07b582e38043cf5b76fdecff6c83b5bf52eccaf1e7","target":"graph","created_at":"2026-05-17T23:57:21Z","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 formulate an optimization problem to control a large number of automated guided vehicles in a plant without collision. The formulation consists of binary variables. A quadratic cost function over these variables enables us to utilize certain solvers on digital computers and recently developed purpose-specific hardware such as D-Wave 2000Q and the Fujitsu digital annealer. In the present study, we consider an actual plant in Japan, in which vehicles run, and assess efficiency of our formulation for optimizing the vehicles via several solvers. We confirm that our formulation can be a powerful","authors_text":"Akira Miki, Masamichi J. Miyama, Masayoshi Terabe, Masayuki Ohzeki","cross_cats":["cond-mat.dis-nn","cs.MA","cs.RO","cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2018-12-04T17:04:50Z","title":"Control of automated guided vehicles without collision by quantum annealer and digital devices"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1812.01532","kind":"arxiv","version":2},"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:4d9aba0ec3cdbbfb2711412992c7f6a351f2677d71754b235dde1a836801b033","target":"record","created_at":"2026-05-17T23:57:21Z","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":"09d6e71b4202cbe64270b7408c53cf6778fc8dcdbb6eae910565b395ceb14848","cross_cats_sorted":["cond-mat.dis-nn","cs.MA","cs.RO","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2018-12-04T17:04:50Z","title_canon_sha256":"ddc4a8e49e6f00735d71c830d40e28d73e73c678e96ba13be46e4456dadc7813"},"schema_version":"1.0","source":{"id":"1812.01532","kind":"arxiv","version":2}},"canonical_sha256":"041fb6b61fc53b838c17c8c64d96855dd9ae63e02c5cd289e7007e7b76e89123","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"041fb6b61fc53b838c17c8c64d96855dd9ae63e02c5cd289e7007e7b76e89123","first_computed_at":"2026-05-17T23:57:21.129766Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:57:21.129766Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"6X+X93ZBeXacSRldZ4fZ+IT+K7j7YFwqL2ufAggLds9LomxEOpu0Jw00enC0cx6LhdIy07IoYymcsQ0GsLQIAA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:57:21.130489Z","signed_message":"canonical_sha256_bytes"},"source_id":"1812.01532","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4d9aba0ec3cdbbfb2711412992c7f6a351f2677d71754b235dde1a836801b033","sha256:f8aa38a25a4508ab60511a07b582e38043cf5b76fdecff6c83b5bf52eccaf1e7"],"state_sha256":"8c799e71f2a6cbd0fde9fe272c2777aa7f2ef52a0ef9373c6240737d0236d3c8"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KyQn3wMNTUCcttHS3hT0MAw+v4sdUnbSojnkotnWhF9MTsCDbUOr79wEDEsq2zpfhQgh04smi1nhzD4gWStLBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T21:16:11.290735Z","bundle_sha256":"f06012c78fa5986f0485acadc3254a1ec11ac299554cb37421e98cff8ec54817"}}