{"as_of":"2026-08-11T17:37:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:37bb7bf79d635c2863c9be827f7e482c57f1df7aad4a6d16abfcdd1ae914deb6","coverage":[{"denominator":101,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":100,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-10T14:36:23.566982Z","state":"measured"},{"denominator":101,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":101,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-11T06:34:44.6726+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-04T11:10:47.749788Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":1,"source":"pith","source_observed_at":"2026-08-05T02:28:24.338817Z","state":"measured"}],"external_citation_measurements":[{"count":0,"observed_at":"2026-08-05T02:28:24.338817Z","source":"pith"}],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"cited_work":{"arxiv_id":"2501.15238","doi":"10.48550/arxiv.2501.15238","metadata_source":"pith","pith_arxiv_id":"2501.15238","snapshot_observed_at":"2026-08-05T02:49:54.815029Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","venue":"cs.LO","work_id":"064a6e8e-71f2-43a3-bc35-3705798e6d15","year":2025},"citing_paper":{"arxiv_id":"2510.07051","last_updated":"2026-06-30T16:41:20Z","snapshot_observed_at":"2026-08-09T00:33:32.489857Z","submitted_at":"2025-10-08T14:19:03Z","title":"Complete Relational Logic for Infinite-Dimensional Quantum Programs with Unbounded Assertions","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-04T11:10:47.749788Z"},"links":{"cited_paper":"/paper/2501.15238","citing_paper":"/paper/2510.07051"},"observation_digest":"sha256:a244c72b54782b795c46ed6e519636efdd98023c7223f8bfbe736ffded8af856","observation_id":"5be6407f-cf5b-4af7-90c7-2a4553b2f43b","resolution":{"observed_at":"2026-08-04T11:13:29.366714Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2501.15238/citation-record","integrity":"/paper/2501.15238/integrity","json":"/paper/2501.15238/citation-record.json","paper":"/paper/2501.15238"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:23.280536Z","title":"Quantum relational hoare logic,","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.280536Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:a9a25a8cb4819baa966831abd87266af167a8aa3b077195cc87efd24db54000c","observation_id":"d8a94c4a-588a-4c37-bde2-928f888ef015","resolution":{"observed_at":"2026-08-10T14:36:23.280536Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:23.284371Z","title":"Relational proofs for quantum programs,","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.284371Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:289f069aea6cd83a03fa5a1eac1ad8e073a656f14777f8bc100759744c41fd02","observation_id":"1512fd1d-6f8b-43a8-9ea7-020f7b2c7342","resolution":{"observed_at":"2026-08-10T14:36:23.284371Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:23.287197Z","title":"Quantum Relational Hoare Logic with E x- pectations,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.287197Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:dc7af625fd7eac2903430b6d0dcff101ec7eda58b9a94d262e326eb9a8f854d2","observation_id":"3e7f5276-60a3-4fcc-a61a-4def2dfb1994","resolution":{"observed_at":"2026-08-10T14:36:23.287197Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:23.289583Z","title":"A quantitative probabilistic relational hoare logic,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.289583Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:3106fbc233d6cf916099e3924f5bada5258d3265d5f1dab63ffb74ff9b0c07d2","observation_id":"d2004561-3843-4a6c-aa37-4d53efed307d","resolution":{"observed_at":"2026-08-10T14:36:23.289583Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:23.292742Z","title":null,"venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.292742Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:ddcbbf70f30234c0a5140678533ee82fd0cf7c0d25b60c07462466a491ccc56d","observation_id":"c6ce977a-5da4-4b8c-93e5-d48c53575af9","resolution":{"observed_at":"2026-08-10T14:36:23.292742Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:23.295160Z","title":"The existence of probability measures wit h given marginals,","venue":null,"work_id":null,"year":1965},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.295160Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:751accc011f55bc8d5276921f8ae30adc2f717af09dab66099ab98aa014034ac","observation_id":"796a4a75-f3e7-4005-bf57-ac58614d4f63","resolution":{"observed_at":"2026-08-10T14:36:23.295160Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:23.297710Z","title":"Strassen’s theorem for quantum couplings,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.297710Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:258cbf26df07c71274014e9e5ca22cc321785f3f35e56704df4f0e9e3ded4d01","observation_id":"0747d5ce-846a-44ed-afb5-c7a7b8358b0f","resolution":{"observed_at":"2026-08-10T14:36:23.297710Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:23.299998Z","title":"On quantum optimal transport,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.299998Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:79443790f134f1383856f50f42a227dd04da11d1aacb22910d389da446048d12","observation_id":"b62c8709-513b-4243-ae32-7e0d4c803bd4","resolution":{"observed_at":"2026-08-10T14:36:23.299998Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:23.303266Z","title":"M´ emoire sur la th´ eorie des d´ eblais et des re mblais,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.303266Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:4982f7c481648189f19d8e82530bd1a938bb6f5e8e43279913be3fd401ca207b","observation_id":"a8579c8e-b0a4-4dd0-99d9-70f37cf94c1c","resolution":{"observed_at":"2026-08-10T14:36:23.303266Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1088/1751-8121/acb9c8","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:23.634409Z","title":"Monotonicity of a quantum 2-wasserstein distance,","venue":null,"work_id":"fd1f673d-d69f-46ed-b266-5cdca2cf1665","year":2023},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.306285Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:8fb11347b5c2b9fd60a4ee36c787d72623135f23de8bc91bd9f8831987fa9cb3","observation_id":"b4234245-6aa7-4477-a404-5760d4ccff19","resolution":{"observed_at":"2026-08-10T14:36:23.638434Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2211.11713","last_updated":"2022-11-21T18:33:50Z","snapshot_observed_at":"2026-07-06T14:21:22.601555Z","submitted_at":"2022-11-21T18:33:50Z","title":"On the monotonicity of a quantum optimal transport cost","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2211.11713","snapshot_observed_at":"2026-08-10T14:36:23.310280Z","title":"On the monotonicity of a quantum op timal transport cost,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.310280Z"},"links":{"cited_paper":"/paper/2211.11713","citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:b205dc3224f2be7413f679afab872bb73ea818657d693f95b9d62ab21fa10abb","observation_id":"fb87bc45-7b2f-4452-9f26-b40299c30eae","resolution":{"observed_at":"2026-08-10T14:36:23.310280Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:23.313826Z","title":"Quantum earth mover ’s distance, a no-go quantum Kantorovich–Rubinstein theorem, and quant um marginal problem,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.313826Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:541a1ed6598e3380e48d9860d9b4fcadf789ebcae2533c4f56f13002e1e1c423","observation_id":"4495a5a7-f79e-47ae-ad6b-d1664729a76d","resolution":{"observed_at":"2026-08-10T14:36:23.313826Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:23.316883Z","title":"Monogamy of quantum entanglem ent and other correlations,","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.316883Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:99eb5ea2e046360c79c4a44c49a172a3f62778852b6457b5acf653dcabe721a1","observation_id":"c2d11b29-d8e1-4f01-af58-2a036d221806","resolution":{"observed_at":"2026-08-10T14:36:23.316883Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:23.320110Z","title":"Floyd–hoare logic for quantum programs,","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.320110Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:828a64ea7dbf4c5d8d974ee4f6398cdf7a1b2ff7b32994535968aef70db570f6","observation_id":"e6043cc3-35d5-4af7-965f-fb91a38aca4a","resolution":{"observed_at":"2026-08-10T14:36:23.320110Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:23.322760Z","title":"San Francisco, CA, USA: Morgan Kaufmann Publishers Inc., 2016","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.322760Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:c6cdb88dc4573a140b4c2100dc539f942a854e4cfc1af8e172dd178f3712e35a","observation_id":"e9394c13-59d1-428d-b323-7d89ecb1460d","resolution":{"observed_at":"2026-08-10T14:36:23.322760Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:23.325819Z","title":"Approximate relational rea soning for quan- tum programs,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.325819Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:18d628425d2102db411b56f0b507bb01ee8b5fd0e71c3098aba9b1b834378c50","observation_id":"94073545-d129-46e2-b1d0-8e076fc0022b","resolution":{"observed_at":"2026-08-10T14:36:23.325819Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:23.328780Z","title":"An applied quantum hoare log ic,","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.328780Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:0f3c7039da9369a167ae9229596c574a8abd64a8186ed511164a7ccad13edeba","observation_id":"44218d3c-0c8e-4de5-b049-fbcb4b0c6c92","resolution":{"observed_at":"2026-08-10T14:36:23.328780Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:23.332369Z","title":"Quantitative robustness analysis of quantum programs,","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.332369Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:2bba33944c42bfb907e69e591272b69a43741c9d1e789eb4bf4af41dee161ef9","observation_id":"aa4350dc-5cb1-407c-8240-27213c73b903","resolution":{"observed_at":"2026-08-10T14:36:23.332369Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:23.335389Z","title":"Glei pnir: toward practical error analysis for quantum programs,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.335389Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:27b2756095a2747c30043dd5317beacd2da601aebef7dc0c956e77b4fcaaf4a5","observation_id":"e3ecd361-043b-42ee-83c2-67a5a31d514b","resolution":{"observed_at":"2026-08-10T14:36:23.335389Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:23.338426Z","title":"Quantum Computing in the NISQ era and beyo nd,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.338426Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:c5e89038cf5e62fa452ee10aa1689837266ede7fd8d187663907954d7736cc4f","observation_id":"a87996ff-d1c8-4426-82a7-0ae1b7e04718","resolution":{"observed_at":"2026-08-10T14:36:23.338426Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:23.340887Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.340887Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:5bea445ee61370900ecd71c8863d55a329643efdb8a24e7d17271ff6ad3860c7","observation_id":"0df8fa9a-1661-4e07-a587-9ebed5ece8d3","resolution":{"observed_at":"2026-08-10T14:36:23.340887Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"6698.27670","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:23.866604Z","title":"Quantum circuits with mixed states,","venue":null,"work_id":"fdab5c33-ac52-4fb8-956b-207f77cd7da0","year":1998},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.344014Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:e32b30ad3834d4e12120dbe81bedf91aa2eb806966d5df1793ae59dc189f0bbe","observation_id":"32973b43-27b6-4266-a680-eeb14aa53100","resolution":{"observed_at":"2026-08-10T14:36:23.870778Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:23.346788Z","title":"Quantum information-flow se curity: Noninterference and access control,","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.346788Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:82e05840e563d94fbd0b6c050005832be86a214ef8cabc06b69f74c3c23214e1","observation_id":"20cde2b2-203f-4c0a-9fc7-51456e500a08","resolution":{"observed_at":"2026-08-10T14:36:23.346788Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:23.349300Z","title":"Gentle measurement of q uantum states and differential privacy,","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.349300Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:902cfb6eacc5a8344589e22027683f95dbae9c4ade8383dd7001cebb3c01df52","observation_id":"28efce47-c160-4b58-ba7a-fd59572d5677","resolution":{"observed_at":"2026-08-10T14:36:23.349300Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:23.351994Z","title":"Differential privacy in quantum co mputation,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.351994Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:5ae3f3d5c145d6284216075bf92cc8e87cc54593990f67a4de71b8b69b3612a9","observation_id":"9ee9e412-7517-43a9-bf8e-c933b1ad7265","resolution":{"observed_at":"2026-08-10T14:36:23.351994Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:23.355124Z","title":"For mal certification of code-based cryptographic proofs,","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.355124Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:7259177532d82ff580ce6850d2927d1babd35712b48d84f0c4149b5cdd89ae12","observation_id":"d0d59fe9-0c33-4d05-a4d1-ca6dbb3dc67b","resolution":{"observed_at":"2026-08-10T14:36:23.355124Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:23.357472Z","title":"A pre-expectation calculus for probabilistic sensitivity,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.357472Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:dc4edea084e7ad682316e6ad92be97118345cd35653419ac082f0848e7b1ced6","observation_id":"765229c2-f91c-44ff-92a2-1b5e042f3bb4","resolution":{"observed_at":"2026-08-10T14:36:23.357472Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:23.359780Z","title":"Asynchronous probabilistic couplings in hig her-order separation logic,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.359780Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:5f21b5118c98e5c95a1ceda9671f7b98b5d4d1262520bd9642330b447448e378","observation_id":"f390ce37-0d5b-4040-bbe2-24e8e75357d8","resolution":{"observed_at":"2026-08-10T14:36:23.359780Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:23.362547Z","title":"The monge distance between quantum states,","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.362547Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:e4bc8639cacd30d0cf098ec7e736003c2bf6040be9b1768e3e084b798e1347bd","observation_id":"efaa719d-21e7-4e12-96d2-f7fe38400d0f","resolution":{"observed_at":"2026-08-10T14:36:23.362547Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:23.365728Z","title":"The monge metric on the sphere and geometry of quantum states,","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.365728Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:77c184aa1f874a9a45f516b20b543f10352243aa176c3ec42f719064df0f7ffa","observation_id":"9998540e-4a38-40e8-b58a-c17394bcced8","resolution":{"observed_at":"2026-08-10T14:36:23.365728Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:23.368981Z","title":"On the mean field and cla ssical limits of quantum mechanics,","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.368981Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:9248f9fd026337ff592ee6f1d93772fe90b29f57ab28312e63333d04b621a837","observation_id":"5652d983-e7e0-4d63-bace-2a1d1f24292b","resolution":{"observed_at":"2026-08-10T14:36:23.368981Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:23.372530Z","title":"Quantum and Semiquantum Pseudome trics and applications,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.372530Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:ebadf7d7a4e9884e028b1fcdc8259821e2a9dc85736a364f21594b8075dd215c","observation_id":"99d45942-1e1f-4157-9a04-1d0d711f8124","resolution":{"observed_at":"2026-08-10T14:36:23.372530Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:23.376091Z","title":"To- wards Optimal Transport for Quantum Densities,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.376091Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:03e84f61b2ffaf5273a7cb7b36eb13011ff8907417bd5f42f0e5d2526d2964b4","observation_id":"cfecd730-5217-4eb3-a39e-40b48e9b4b5d","resolution":{"observed_at":"2026-08-10T14:36:23.376091Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:23.383578Z","title":"Quantum optimal transport is cheaper,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.383578Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:e7afcd15824333ed3c0ad8d7bc89e6e187fbe81d48eb0a0179307e1732d21972","observation_id":"a50c7b0a-d934-4d38-9f21-605b0b1bb63a","resolution":{"observed_at":"2026-08-10T14:36:23.383578Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:23.386656Z","title":"Quantum optimal transport with quantum channels,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.386656Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:d55e8a85571e5bfc1ff8cfd43e19f83731e0623c669d34646bd4a9d5bf189e0b","observation_id":"edac704d-2fdf-43de-a815-aa69fb9bcda1","resolution":{"observed_at":"2026-08-10T14:36:23.386656Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:23.389436Z","title":"Cham: Springer Nature Switzerland, 2024, pp","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.389436Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:3b22928b8e6e1f5ba4dc59d82fdb236f31abfd9fdfb1f5aa85cee7e076067515","observation_id":"85ef1594-29cc-499a-a032-9ea0de3909d8","resolution":{"observed_at":"2026-08-10T14:36:23.389436Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:23.392902Z","title":"Li mitations of variational quantum algorithms: A quantum optimal trans port approach,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.392902Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:6a3d760b611fd76173a42ba2c3cfd72e87d1712008e3fbbdfd57e1a9dc078779","observation_id":"610cf6b0-52c6-463f-9ae5-9d19f4031cbe","resolution":{"observed_at":"2026-08-10T14:36:23.392902Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2403.18617","last_updated":"2025-06-16T09:40:10Z","snapshot_observed_at":"2026-07-06T17:51:56.621426Z","submitted_at":"2024-03-27T14:32:03Z","title":"Quantum concentration inequalities and equivalence of the thermodynamical ensembles: an optimal mass transport approach","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.18617","snapshot_observed_at":"2026-08-10T14:36:23.395691Z","title":"Quantum concentration inequalities and equivalence of the thermodynamical ensem bles: an optimal mass transport approach,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.395691Z"},"links":{"cited_paper":"/paper/2403.18617","citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:4a62ebf94055b46a82334d95f31b0541ad1d1c10763e291822440e89c97c03fe","observation_id":"990f5a62-2882-4b04-a780-2a26708103dc","resolution":{"observed_at":"2026-08-10T14:36:23.395691Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:24.339606Z","title":"Quantum monge-kantorovich problem and transport distance between density matrices,","venue":null,"work_id":"99c3eb21-b351-4dbf-981f-d523cf28af4c","year":2022},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.398581Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:26227cab0a442daff43851c4631b289c4913aafea4822b2b892836e0358707bc","observation_id":"ec056194-d85c-4677-ba92-e7dfc6bdc069","resolution":{"observed_at":"2026-08-10T14:36:24.342260Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:24.332272Z","title":"Quantum earth mover ’s distance, a no-go quantum kantorovich–rubinstein theorem , and quantum marginal problem,","venue":null,"work_id":"d6b33065-7458-405c-b4f9-2fb7cc7c5c40","year":2022},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.401421Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:9c04ecacfbd94977355645925affe3660317c2342c611270d0a3d81a7ff4142f","observation_id":"829a30c3-428a-4539-96ca-9d7c7052cf87","resolution":{"observed_at":"2026-08-10T14:36:24.335376Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"quant-ph/0402130","last_updated":"2007-03-05T10:43:28Z","snapshot_observed_at":"2026-07-07T07:14:39.814847Z","submitted_at":"2004-02-18T19:37:24Z","title":"A categorical semantics of quantum protocols","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"quant-ph/0402130","snapshot_observed_at":"2026-08-10T14:36:23.403734Z","title":"A categorical semantics of q uantum proto- cols,","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.403734Z"},"links":{"cited_paper":"/paper/quant-ph/0402130","citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:c1a6e3ef801eb78ba5cb679d8d8eecb7e52037487e4dc70a3a59be3c61e861bc","observation_id":"4f28657f-ac8f-4c5a-90c8-ba4cfe8f25f8","resolution":{"observed_at":"2026-08-10T14:36:23.403734Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:24.325033Z","title":"Coecke and A","venue":null,"work_id":"04fea73f-c687-4c40-b46f-4e508c2191ac","year":2017},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.406436Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:5b8edb34a97efe3d5f7777f0aa8a0e40f15d86dbfc745262425d9d922fe9aed0","observation_id":"92c405e4-ccd6-47bc-8a0a-6a01f6be86c9","resolution":{"observed_at":"2026-08-10T14:36:24.327818Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:23.409388Z","title":"Heunen and J","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.409388Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:33d64f835f19ec0d73e18683bf858f6d1f082450e2944eefc2ae24a2f16d3171","observation_id":"079c5b35-d5e9-4ad8-8dde-05af10c7ef57","resolution":{"observed_at":"2026-08-10T14:36:23.409388Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:24.316803Z","title":"Interacting quantum observab les,","venue":null,"work_id":"9f7d0cd6-0e0d-4f5b-aafc-9118a9582302","year":2008},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.412761Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:50dd9c84f8dabd54468dba1de582a83a291c9aee1e01ab97cc2bd718e30455c5","observation_id":"5e32629a-f16a-4f26-9669-5585dc810bc9","resolution":{"observed_at":"2026-08-10T14:36:24.319771Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:24.308389Z","title":"Zh: A complete graphical c alculus for quantum computations involving classical non-lineari ty,","venue":null,"work_id":"caada916-9e2b-4b50-8b80-0fdb7823b6bf","year":null},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.415855Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:224c2bff3cc4cb36f704735fc75ee1548d38d489cf8fb18ac8d8d934f2c288b9","observation_id":"8fa0c31d-b714-4e4f-afe0-bb0680feeb40","resolution":{"observed_at":"2026-08-10T14:36:24.311827Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1501.07082","last_updated":"2015-01-28T12:20:58Z","snapshot_observed_at":"2026-08-09T01:17:06.561114Z","submitted_at":"2015-01-28T12:20:58Z","title":"A Diagrammatic Axiomatisation for Qubit Entanglement","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1501.07082","snapshot_observed_at":"2026-08-10T14:36:23.421938Z","title":"A diagrammatic axiomatisation fo r qubit entan- glement,","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.421938Z"},"links":{"cited_paper":"/paper/1501.07082","citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:9e9f5742ee5751c39c53eb86396d1a8fdba6671209ea9e70829f3dad71c269d0","observation_id":"59c2e192-a07c-43e9-831c-a3ac1d040ab6","resolution":{"observed_at":"2026-08-10T14:36:23.421938Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:23.425388Z","title":"Automating equational pr oofs in dirac notation,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.425388Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:ccb6c5382fdb00ed80b5b42fb2c93c4aee46f8dbadb7026f3dc96b8930867766","observation_id":"201fd846-ee39-4987-95e0-d9b9998c4be1","resolution":{"observed_at":"2026-08-10T14:36:23.425388Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:23.427852Z","title":"Algebraic effects, linearity, and quantum programming languages,","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.427852Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:3036f523fc55df09a5998813c008b95ffe95cd42d400a9e46b8bc815da067064","observation_id":"10aed373-8ec1-4e01-9c48-215200e92544","resolution":{"observed_at":"2026-08-10T14:36:23.427852Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:24.301302Z","title":"Wit h a few square roots, quantum computing is as easy as pi,","venue":null,"work_id":"4917d823-7f01-473b-a689-e12d11b7cd7c","year":null},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.430238Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:dc17934b63a1330a7ba7e7b63401f3e0a4718041e0f08213ec922f3f96140e0a","observation_id":"d21a9cbf-573a-44c8-b6de-f1a89c08b8a1","resolution":{"observed_at":"2026-08-10T14:36:24.303885Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"quant-ph/0407005","last_updated":"2004-07-01T08:59:53Z","snapshot_observed_at":"2026-07-07T07:16:27.599778Z","submitted_at":"2004-07-01T08:59:53Z","title":"A Process Algebraic Approach to Concurrent and Distributed Quantum Computation: Operational Semantics","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"quant-ph/0407005","snapshot_observed_at":"2026-08-10T14:36:23.434978Z","title":"A process algebraic approach to concurrent and distributed quantum computation: Operational semanti cs,","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.434978Z"},"links":{"cited_paper":"/paper/quant-ph/0407005","citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:2088503df2b4a62aaf71338aa21993832927143c0a36968f60d415908ed248c6","observation_id":"94af87b4-3ad2-4dba-889b-25e73aee5e3e","resolution":{"observed_at":"2026-08-10T14:36:23.434978Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"quant-ph/0409052","last_updated":"2004-09-09T10:35:24Z","snapshot_observed_at":"2026-08-07T23:56:36.672285Z","submitted_at":"2004-09-09T10:35:24Z","title":"Communicating Quantum Processes","version":1},"cited_work":{"arxiv_id":"quant-ph/0409052","doi":null,"metadata_source":"pith","pith_arxiv_id":"quant-ph/0409052","snapshot_observed_at":"2026-08-10T14:36:23.665091Z","title":"Communicating Quantum Processes","venue":"quant-ph","work_id":"2e3c316c-958c-4408-af20-d508795ee4d6","year":2004},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.437586Z"},"links":{"cited_paper":"/paper/quant-ph/0409052","citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:984955b6a5731809306784a1c6aabf79be20645470a361133a5eed5ec8e069f0","observation_id":"0cb2165e-c985-485c-b9ed-1920b766d903","resolution":{"observed_at":"2026-08-10T14:36:23.667921Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:24.293758Z","title":"Quantum bisimilarity via barbs and contexts: Curbing the power of no n- deterministic observers,","venue":null,"work_id":"380c604c-54f7-4300-90e5-d49781739479","year":2024},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.440341Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:fd848beaa3c2c4efa2f1cb716b777fb72c6aab42207519380e0514d38d7446d8","observation_id":"bd105e51-9a71-40f1-b137-a3ea55c5aba1","resolution":{"observed_at":"2026-08-10T14:36:24.296389Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"0707.0330","last_updated":"2010-09-06T22:42:54Z","snapshot_observed_at":"2026-08-04T21:54:34.843572Z","submitted_at":"2007-07-03T01:49:55Z","title":"An Algebra of Quantum Processes","version":2},"cited_work":{"arxiv_id":"0707.0330","doi":null,"metadata_source":"pith","pith_arxiv_id":"0707.0330","snapshot_observed_at":"2026-08-10T14:36:23.655082Z","title":"An Algebra of Quantum Processes","venue":"quant-ph","work_id":"917b3b95-a3c3-416c-83ed-01ed424fe139","year":2007},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.443362Z"},"links":{"cited_paper":"/paper/0707.0330","citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:553516082d08847726ef9205f1760bff0d8dedd9fb3050dc7a41ce6c2bca17fd","observation_id":"847cf297-2fd5-4b23-8a39-fd428746430b","resolution":{"observed_at":"2026-08-10T14:36:23.657915Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:24.287243Z","title":"Relationa l proofs for quantum programs,","venue":null,"work_id":"9cc9a040-e614-4f3d-8c3a-143179f5e46c","year":2019},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.446271Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:de231942f757d940375df1eac6a84d3df9bd21efcdf36af8edb57ef3be20a885","observation_id":"d1d7cc9c-cbba-4525-8e57-b0276f49c804","resolution":{"observed_at":"2026-08-10T14:36:24.289924Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:24.280512Z","title":"Introduction to Haar Measure Tools in Quant um Informa- tion: A Beginner’s Tutorial,","venue":null,"work_id":"6bdb5cc2-0a59-4b06-a1c6-c51cfee6172e","year":2024},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.449014Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:9750364a145df392c2b93623edc2f85f05b0d87ea12925d3f237b2ff799a231c","observation_id":"69a36e27-6b8f-4348-97f5-a0e28127bdd9","resolution":{"observed_at":"2026-08-10T14:36:24.283284Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:24.273838Z","title":"N OTATIONS AND PRELIMINARIES","venue":null,"work_id":"fcb2833f-6f77-48f8-aaff-e16404639167","year":2008},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.452430Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:a9fb35952aa179ecc016be17d4fea8e7de6b171bd683da5fc788d97be394f9ec","observation_id":"00b7bc6c-c518-4506-a35d-25156a72c792","resolution":{"observed_at":"2026-08-10T14:36:24.276430Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:24.267032Z","title":"If ǫ = +∞, then both (1) and (2) trivially hold","venue":null,"work_id":"86271bfa-0936-4b76-b356-f4c6dee4de38","year":null},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.455308Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:f1463262c99aa00912962ea60f9d228f01561391d706e8e9f08f7b0c539e2797","observation_id":"38c8c28c-bf93-4c11-8b57-125eab6d56c5","resolution":{"observed_at":"2026-08-10T14:36:24.269628Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:24.260326Z","title":"• For any A ∈ Pos(H1 ⊗ H2), we define A⋆ ∈ Pos(H⋆ 1 ⊗ H⋆","venue":null,"work_id":"7263f453-759e-49aa-8750-29db07901012","year":null},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.457738Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:fb0c9a8f88678cbed151e8dd2bc8e395d96dae90e03d1f209454cff2fc216ecf","observation_id":"7d19dc55-cdcb-4ae7-8752-6c47c44c2fca","resolution":{"observed_at":"2026-08-10T14:36:24.263120Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:24.253438Z","title":"• For ρ ∈ D(H⋆ 1 ⊗ H⋆ 2), we define the projection: Π ⊥ ⋆ (ρ) = (P ⊥ ⋆ ⊗P ⊥ ⋆ )ρ(P ⊥ ⋆ ⊗P ⊥ ⋆ ) ∈ D(H1 ⊗ H2)","venue":null,"work_id":"b9b08522-c0cd-47e3-8d10-6191501f5e09","year":null},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.460073Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:f7b1c04ef22a973fce7b31083e71b8feacabdc172e9ed48b63e0e7828ff4ee0d","observation_id":"d485b80c-3a45-4cc0-8fc5-a48b42b5f1c3","resolution":{"observed_at":"2026-08-10T14:36:24.255772Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:24.246766Z","title":null,"venue":null,"work_id":"1738bd19-e6b6-4bd2-8858-1112f475305d","year":null},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.462282Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:0587ec06b5e3680d21f257b6efdd721f547f1d1b577c4a5fe13b94b766962698","observation_id":"8e56d3b6-7b2e-4d94-bb6f-8c6e8da72419","resolution":{"observed_at":"2026-08-10T14:36:24.249111Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:24.240657Z","title":"In fact, Π ⊥ ⋆ (ρ↑) = ρ","venue":null,"work_id":"e18474e0-f046-4f0d-9b3d-7a4568a865df","year":null},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.465340Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:12935eb2fcc6266c6d2562ea77b27697df0376d5d2c950f07a5cb22d9bf86439","observation_id":"dbcef39d-aa92-48e7-9397-b60ba73e170c","resolution":{"observed_at":"2026-08-10T14:36:24.242972Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:24.233443Z","title":"As a consequence, if ρ : ⟨ρ1,ρ 2⟩p, then tr(A⋆ρ↑) = tr(Aρ)","venue":null,"work_id":"6a43a87e-dafe-4af4-ac8b-b98c71046c2d","year":null},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.467880Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:65029ce2fbc861b99a9babe6036ae9ad6963c47dc1baf473fc019ddb3816ad28","observation_id":"000264b2-e3e1-4704-9b94-e34ad3999522","resolution":{"observed_at":"2026-08-10T14:36:24.236506Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:24.226658Z","title":"Π ⊥ ⋆ (ρ↑) = ρ is trivial by computation","venue":null,"work_id":"200dad09-51ee-4a55-8575-6f4b94ceaddf","year":null},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.470306Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:70c7c3ffff15b8d3ed88e2218e1bd1a0a10b0f6e5f8b4c78f60eb696334cf9e1","observation_id":"d0e93f4d-639d-4302-8b10-8338b555a595","resolution":{"observed_at":"2026-08-10T14:36:24.229010Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:24.220334Z","title":null,"venue":null,"work_id":"7af68c96-b4ea-40be-b920-575377c84321","year":null},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.473476Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:d27e5b91667bd04887130417de4b856fc1eba46f121a7be046529284422ea976","observation_id":"26df3132-018b-4a12-8962-4d7669d76923","resolution":{"observed_at":"2026-08-10T14:36:24.222688Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:24.214193Z","title":null,"venue":null,"work_id":"eed62f28-9a8e-47b6-a4da-daaa3f18be61","year":null},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.475752Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:137dca89ba7161136ee18f793c08108534eb8c846a3aeb5fe52dde068ff202e8","observation_id":"374c6704-b071-4e3f-aeeb-1419848aae96","resolution":{"observed_at":"2026-08-10T14:36:24.216602Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:24.206739Z","title":"• (1 ⇒ 3)","venue":null,"work_id":"4abffda3-ea8d-426e-b7ef-1951c41f83f6","year":null},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.478391Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:28f9d480bac0874d5302d5fab28708e753b6671249b5d6e177de3dbf3c36040f","observation_id":"515cd10c-0fc4-45b3-9e58-e4d0a398e4d1","resolution":{"observed_at":"2026-08-10T14:36:24.209122Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:24.200751Z","title":null,"venue":null,"work_id":"666e6c1a-4d4a-4187-a45f-c3760f6a4ce5","year":null},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.481685Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:feda0aa8fab74c98d88360686f5b412cbc9f101e8576ac7a7a862615a0c44321","observation_id":"b9ed9caf-401f-49bb-8e14-93d582f27297","resolution":{"observed_at":"2026-08-10T14:36:24.203084Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:24.193975Z","title":"What remaining to be shown is (2) equivalent to (4)","venue":null,"work_id":"944512da-32eb-4309-965d-61fb33255aa8","year":null},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.484335Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:2781f7597cd46b68eb72dd99d89f0b87e8d6235b445a1396ec4040d46173f441","observation_id":"da328780-9646-40bb-b055-8a6b31b8d2b8","resolution":{"observed_at":"2026-08-10T14:36:24.196609Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:24.187615Z","title":null,"venue":null,"work_id":"66099013-8561-4d1b-846e-467d5db3af71","year":null},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.487193Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:bcde1305e209ab4641b238269c28f91c721f7392bc443b3223649c5175403e64","observation_id":"162c0f46-4cbd-4cbb-a870-91bca7045193","resolution":{"observed_at":"2026-08-10T14:36:24.190062Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:24.180984Z","title":"• (2 ⇒ 4)","venue":null,"work_id":"46a16c67-7b3d-4feb-a6d5-22e53c7ae67e","year":null},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.489433Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:a351a9ed193eae0535deec12146aee730e9d8b6b496a631a7c02dd0e83f3d76c","observation_id":"103d100c-3c0c-400c-8165-fe9f0606955d","resolution":{"observed_at":"2026-08-10T14:36:24.183479Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:24.174325Z","title":"Furthermore, observe that tr(Z1ρ⋆","venue":null,"work_id":"b0f6444f-c753-48ed-a64a-f23e81684373","year":null},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.492370Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:9b0cec6c1c01713167b05dbd32b521ad8387a3909e3278fd8ec219e87a0f8214","observation_id":"d6c1e162-2a34-41df-ba23-89c503cd5cc2","resolution":{"observed_at":"2026-08-10T14:36:24.176757Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:24.167021Z","title":"Q UANTUM OPTIMAL TRANSPORT","venue":null,"work_id":"8921d4e7-b92b-465e-9567-b0b63c59cc99","year":null},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.494802Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:3a1d0c92d5a5979e48358357af27f109efb1bf45a303a4f4bb8941b29d190809","observation_id":"649ea253-95be-4a7d-b80a-96f9c17f11b9","resolution":{"observed_at":"2026-08-10T14:36:24.169493Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:24.153869Z","title":null,"venue":null,"work_id":"962838d9-9e7c-4925-8ebb-a2d1e66111a3","year":null},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.500153Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:6a7d91278334c64cd542f6565f03174e1a44f37d2a90e708e19867de1b91f27c","observation_id":"4d4ca7ba-41c0-482f-9785-212ebdd38c10","resolution":{"observed_at":"2026-08-10T14:36:24.156221Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:24.146986Z","title":"On the other hand, 1 + tr(cσ) = 1 −c +c(1 + tr(σ)) ≥ 1 −c +c(tr(E1(ρ′ 1/c)) + tr(E2(ρ′ 2/c))) = 1 −c + (tr(E1(ρ′ 1)) + tr(E2(ρ′ 2)))","venue":null,"work_id":"f732d01e-60f7-4bc2-bab2-500936c9a892","year":null},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.503418Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:43e658a657e3e2db5f1178651831c66c64855186349ec910586aa6882e85f33d","observation_id":"effc8a4f-1a5c-4d9a-b89e-a8a507433741","resolution":{"observed_at":"2026-08-10T14:36:24.150159Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:24.138573Z","title":null,"venue":null,"work_id":"c5fb9d06-9eb6-43a9-90d5-4a48086bfbb3","year":null},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":79,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.505857Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:03e6377c326cf1918a391d953119354234703f71652c41c5c44f2e7d63063cee","observation_id":"eb4fd9d0-6078-48b3-a67d-78857456c641","resolution":{"observed_at":"2026-08-10T14:36:24.141484Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:24.130714Z","title":"Lemma C.4 (Monotonicity for Quantum Channels)","venue":null,"work_id":"ae04ed13-097c-4bff-aa4e-60e4b8ef6381","year":null},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":80,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.508763Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:fe47469bb36dc5082825c03a912f0d43c472c4d9189e223e79aab9a479d59c39","observation_id":"50020edd-4353-4791-b9b1-efe773671353","resolution":{"observed_at":"2026-08-10T14:36:24.134005Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:24.124293Z","title":"(E1, E2) is monotone w.r .t","venue":null,"work_id":"01197f62-6f1b-41c9-8b85-7d386f8b247e","year":null},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":81,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.512116Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:2ff1206cfd4d2393df16f647b3f2c604adaa17f6559fa1c6421e443651379982","observation_id":"5327faca-d21d-4adf-862f-604879c68355","resolution":{"observed_at":"2026-08-10T14:36:24.126852Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:24.116830Z","title":"Suppose (E1, E2) is monotone w.r .t","venue":null,"work_id":"d0a88ca7-6a39-47c4-a4b6-cf81078a56c4","year":null},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":82,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.514917Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:f57d3f2a70b929519896691538039b43f1824e9a722072c900c4383eb5e7778f","observation_id":"0f0219b0-df0d-4ba5-a35a-d0004d855d72","resolution":{"observed_at":"2026-08-10T14:36:24.119494Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:24.110278Z","title":"Suppose (E1, E ′","venue":null,"work_id":"20e822ee-4c01-4214-9688-be2918cab29e","year":null},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":83,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.517295Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:8b9b20ac278a5e68245a693f362f07a09dd8a0f0f7eafe84b5b0cf0aa440ae9e","observation_id":"46fc821b-f09d-40cf-9d3a-9983bfc32725","resolution":{"observed_at":"2026-08-10T14:36:24.113055Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:24.102371Z","title":"Ci and Cm, and (E2, E ′","venue":null,"work_id":"4b71a912-008d-4f24-b93c-34a4137a6f10","year":null},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":84,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.520139Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:3dc7fe10e380c6232c91ca07e293e140d7879eb8ad5357963a535e7cb676ca75","observation_id":"a8bf016a-0439-420b-9cb0-aedc923904d2","resolution":{"observed_at":"2026-08-10T14:36:24.104860Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:24.095300Z","title":"Cm and Co, then (E2 ◦ E1, E ′ 2 ◦ E ′","venue":null,"work_id":"79a62425-bccc-4f74-8c0f-9efb28802c03","year":null},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":85,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.523425Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:47ab3448891cec6aff793343357c3f3998f6139c00b29a01b24acc4750a019a9","observation_id":"1ab896ba-341e-43fd-852b-957a7976d76e","resolution":{"observed_at":"2026-08-10T14:36:24.097882Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:24.088793Z","title":"F or any super-operatorE, its dual E † is another super-operator","venue":null,"work_id":"046b4d6c-4451-450b-9289-5b1c39368056","year":null},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":86,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.525746Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:cf1287a34404b4566eaa886e87bd36b47d2acd5987c11f1d7738649c7341d155","observation_id":"15136db1-bf19-4974-be73-270d9fda4227","resolution":{"observed_at":"2026-08-10T14:36:24.091363Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:24.160715Z","title":null,"venue":null,"work_id":"6d82a88b-7455-4380-94cf-ef3f26893e8e","year":null},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":87,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.527968Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:1f711557fa7e74dd6d6468a933f7aa309f5bea3559d616d3dc9d47087c875d03","observation_id":"90105f23-a7f3-43ee-8a6c-2b82a1f3a13e","resolution":{"observed_at":"2026-08-10T14:36:24.163180Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:24.080888Z","title":"only if” part holds directly by the monotonicity of stab le QOT under data processing [11]. For the “if","venue":null,"work_id":"79ad5186-4970-4de6-bae6-6c110fcbcb5a","year":null},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":88,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.530078Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:b3a746c862c78e4f2e89a25e3ee0f5d87988dd7691fbad47b453c415c19f47fb","observation_id":"ee7bd865-b076-48da-957a-bc3271cb3517","resolution":{"observed_at":"2026-08-10T14:36:24.083593Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:24.074768Z","title":null,"venue":null,"work_id":"e4ba0550-a6e4-4ab8-b752-a0457f7cafce","year":null},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":89,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.532435Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:d93cae9a858e4074449954ac4c45877a02ec8ad03792b0a658ea045dfa97b3b4","observation_id":"da63ee3e-91e1-4176-a1c0-aea67df7cb97","resolution":{"observed_at":"2026-08-10T14:36:24.077189Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:24.068137Z","title":"A Q UANTUM RELATIONAL HOARE LOGIC","venue":null,"work_id":"741a6765-c377-4e7d-895b-fe830f483f24","year":null},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":90,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.534742Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:ff9510d1b25b0fdbf32ccb4c5fc037762e84959fc2b5816cf94b26fefd168c1e","observation_id":"3b1e09a0-401d-4d9b-8d92-d943ef5e4bd2","resolution":{"observed_at":"2026-08-10T14:36:24.070605Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:24.061021Z","title":null,"venue":null,"work_id":"bd7d8f28-2cd8-4a70-be3c-9bc8c38d0bbe","year":null},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":91,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.537588Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:0c59622626e854d6e198ed1f690612c65ddaa570d4f53b3e39dcf37c6f7b0c49","observation_id":"c7881317-b8db-4246-bb59-4206fae1b75e","resolution":{"observed_at":"2026-08-10T14:36:24.064079Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:24.054575Z","title":null,"venue":null,"work_id":"2a8e37ff-65fe-41c4-8fb5-9a3b479cbe5b","year":null},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":92,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.539833Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:4ede8553b91187f5b8859ef09e1df8853168d9757b270d59e50172283251bf63","observation_id":"720a155b-1880-4656-bc72-00fb9f55cb85","resolution":{"observed_at":"2026-08-10T14:36:24.057071Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:24.046670Z","title":null,"venue":null,"work_id":"e5e9aa5a-0552-4e80-bbda-a29c6e9430ee","year":null},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":93,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.542487Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:d62304598cfca9f4570f07c579f7a43bf12aba40dc85bac107531a28e1e43936","observation_id":"9f820ce7-6ae7-48af-82a4-c8d4ce22c615","resolution":{"observed_at":"2026-08-10T14:36:24.049606Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:24.040454Z","title":"A PPLICATIONS","venue":null,"work_id":"b70efd14-f606-4a84-84e2-a8414cd4ea38","year":null},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":94,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.545478Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:98d4625de6bb8d5c29857d9c9df3a03891c160963d6d945bc6250d5c6696095a","observation_id":"5528dc9e-a130-431e-9442-1586c94cc2d0","resolution":{"observed_at":"2026-08-10T14:36:24.042757Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:24.034056Z","title":null,"venue":null,"work_id":"f48f3b8f-6a42-4d67-a218-f896c5c7a572","year":null},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":95,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.548837Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:a626b4857d821044151543d02a775c07ade44332959162816a7b83687a93daec","observation_id":"4a965f20-c7fe-4d45-a62d-5f79552ed367","resolution":{"observed_at":"2026-08-10T14:36:24.036442Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:24.027419Z","title":"3We could also just ask all programs to be interpreted over H = Hall variables, or over H = Hvar(S1)∪ var(S2)","venue":null,"work_id":"41fff988-6361-4c48-9df3-34fb5066e5d0","year":null},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":96,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.552056Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:07e815119f40dbe21c36a8131f4eb1c0c8aa0e3954c00553ee14ce086fcd71f9","observation_id":"da9daf10-ff1a-4509-8422-9e7660a602a5","resolution":{"observed_at":"2026-08-10T14:36:24.029979Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:24.020645Z","title":null,"venue":null,"work_id":"a055ef96-e234-4614-a057-751a92cdd863","year":null},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":97,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.554825Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:278421abebdb9ac48e1310b64fb7f945b4226c2e63d12735a19c9f969716e99d","observation_id":"faa33da3-5374-492f-afdb-02e3e68ea4fc","resolution":{"observed_at":"2026-08-10T14:36:24.023279Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:24.013764Z","title":null,"venue":null,"work_id":"ee5a0868-8d45-44c3-bf32-02a7dd770be9","year":null},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":98,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.557048Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:180b578653e76b232bfe1c5831255ffdc49e00406a61e16e58ad391e790efa83","observation_id":"3b747fb8-4eba-4dc2-ac52-5b7230d74e9f","resolution":{"observed_at":"2026-08-10T14:36:24.016206Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:24.007004Z","title":null,"venue":null,"work_id":"c0bc06de-fc0f-4254-ace1-dca8d24436b3","year":null},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":99,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.559541Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:f38b822414300a041be98282ada118bca5d69b82734785144b296bebd3681067","observation_id":"fa2fa603-3f4b-4009-9832-0b4006e390be","resolution":{"observed_at":"2026-08-10T14:36:24.009501Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:23.999849Z","title":"HerePi,sym =Psym[H[n]−i] ⊗ (Ii⟨1⟩ ⊗Ii⟨2⟩) for i ∈ [n]","venue":null,"work_id":"30d07a80-ffac-4d3d-b6ab-4ccb66e882e0","year":null},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":100,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.561971Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:85f903a6edae60d89c8f4f8a03a1932e12469fc93635427cd687efd6c7b97883","observation_id":"c62a5a7b-c777-4a4e-9c14-fc3e4d80a3f5","resolution":{"observed_at":"2026-08-10T14:36:24.002476Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:23.991502Z","title":null,"venue":null,"work_id":"330d55c9-ca8b-4ed4-a306-54d8e48b5613","year":null},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":101,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.564597Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:951edeff9e3cc27d5fc95f84244f6243afe9f80aeeaa8227efb7df624e54d5e1","observation_id":"3712ac1b-c4ad-4491-a7a1-cf8d2fbd2513","resolution":{"observed_at":"2026-08-10T14:36:23.994391Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:23.983554Z","title":"finite” component of A, and XA = ∑ λi=+∞Xi is the “infinite","venue":null,"work_id":"4b81643a-44fe-4539-91e8-69c90de5cd54","year":null},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":102,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.566982Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:552d30bfe5e0100dbe21c8d3ad3aa10aacdfc52cdc977285ee1ac1462fff642c","observation_id":"be53c1d9-54a0-43af-9dac-84cf5d17b80c","resolution":{"observed_at":"2026-08-10T14:36:23.986205Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4204/e","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:23.593151Z","title":"Available: http://dx.doi.org/10.4204/E PTCS.287.2","venue":null,"work_id":"24a9556b-fb8f-4065-bf02-a567a634f8f5","year":null},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":2019,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.418628Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:ca0d2a0615fcdcbc0c38fa300c5bc634b099f7da9e005f49ed16ff7b776f584e","observation_id":"58cf7574-a620-4cf8-838b-b4de7fcb00fa","resolution":{"observed_at":"2026-08-10T14:36:23.596552Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:23.379699Z","title":"Available: https://hal.science/hal-019 63667","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality","version":1},"reference_index":2022,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:23.379699Z"},"links":{"citing_paper":"/paper/2501.15238"},"observation_digest":"sha256:511129d5c5ccf08b3fbda79292e2d0e465ec53221a294cafb47f587f74bd089a","observation_id":"353268e6-f875-47c2-9bd6-853a7fe2fd2a","resolution":{"observed_at":"2026-08-10T14:36:23.379699Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2501.15238","last_updated":"2025-01-25T15:01:25Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-10T14:26:30.625202Z","submitted_at":"2025-01-25T15:01:25Z","title":"Complete Quantum Relational Hoare Logics from Optimal Transport Duality"},"reference_resolution":{"displayed":100,"state_counts":{"malformed_identifier":2,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":60,"verified_exact":3,"verified_fuzzy":34},"total_outbound_references":101},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"thesis":"As of 11 August 2026, this Paper Citation Record lists 100 of 101 outbound references and 1 inbound Pith citation observation for arXiv:2501.15238."}