{"as_of":"2026-08-12T13:02:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:1602c9bd36d9ef44c7c3c4aa9aa7eed25a27b645dddb861514a298d194933ffe","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-12T06:34:41.77262+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:4713159d6e8eb0d2752dec0f8695e3c96e29d686b1b69f4d3728786e8bb46966","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:5f4e33d465f51d5521175787fb1e09e0ca7c174520057a6bfd2c6c5280b538c0","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:3e36e8dd3fa1e39c2c6a75d35d1ccd565d86b5c11ec91e57fc5d5cc38fb8e9ce","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:41ebd932ec040fb268c854ecf0c7c8744ff48e2734bb46e5fc8cbf4b00812323","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:91b3b52c11b119df625873da0b2cb2149066f0dd8a01031fd5a214307e692303","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:7b075d74ba805ce859129c3865b0349c0a6ff75bbbde9939c6f3e2b7c474dce9","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:bf4e8561a495dc23699f58a293f89200541484cfd1f5b79d903c1d9bffd3b2a7","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:760f765ee318aeee5f6134bf5cc63cba5507bbaab623b565967905dece8cf542","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:61fae08ca9226c7fcc61faf5c3097f9a9e488af15cb73cb216e95e64ed781387","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-08-11T18:44:25.381871Z","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:320abbce1eacd56fc1e182a36363ca95afc56f77d170147301dab32c848d4f3c","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-12T08:46:21.279639Z","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:c707c2420b1819ea34fca996cb111377af0d7164b8d701676337f7e9271696a6","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:2d9ee4542282892c76f7776c9e3bfdd1e3da2cf5feea6f9c3133374343079598","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:73fef1d81127fe7bbb778b148177b5d31eab9859453c40d90de779232a2c49aa","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:154a43685ce7eb8168dbc863d679de9f0c78c0903e1e110789d0d89c1911c35f","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:cb16b3e2af818a521eabc703e6da19e75c671647c3e9a7b650262468d262b669","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:0f63bad6e940a955080fa7379ebeda87d0df3d8e717c9618400c0d3a91b4ac7c","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:e949123ede1b7e613923876322bcc7f2c69547c8861148dd1d78bdd350ea8b51","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:7c8d09ae41592f29b6d824d98636251859a2fdb3df239088c5604e81578eec9c","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:356ee858896f44988f58c1f6207babea891c663e100a8baa79efa5aff21a2909","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:410be525e3feceb85adc3434554b7aef0eb6c5ce7667f3b21ceab6e8ea41d650","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:067401360e37f04728028589a0e3444e919d85bcc1a7790abee69dbcb8537884","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:07948308f099e824ed21109c102d9a71023a0c885d8cd5e44f5ee9cf0dad1996","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:cf0fdd2d0430b74f3360822f4ab42d71939da12b2b76e3f997772f1b4dc4d532","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:301679f8357d93ed4851cf06a87fee8f2d4b80947b413c816b02732d8d710c78","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:7220c2e9c78ecf8fd21f40bc6d2e82ec67ccb590c6543f07aee0cd26992165d4","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:4c339e3c6750bcaf391b58c952951f31cee25c04a985bce2930356d88cb32e2d","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:402331b7dcdcfd3650c3f432ad80c17c4f56541c05d4ce825fd16d20080f7995","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:0e53a9a6aec4558fd33483200a034ba960ce512b04219877f2bfbe1910c87d9c","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:03093235e946784e3f1c6a38618a4a90aec8c61b8ea3a2a7bad6aff13bd6ea35","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:1055911569847592f9755c8f250f61b4b49b21b4285131033e55d332ea5625f8","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:9ea910f0177ba18d80e28c0c2a57f28104575cb0b950f052fc398401c11d1824","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:9135afb7fabeb40eb7989274ee4673eac2f8a76c2f4b7ec0dd1f457d44ed7ce4","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:d09e5a8a432bf6bf28fc55b0c4fb794f27ff34cef43b07bcfb5e8622c70f9a36","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:1d97ee71ee3e23adcd9e192c2f0dd6808cf00d395446db3fc46a977d86d35997","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:6365c73f18b202a2364c961cadab5b468c248ca3a1aa34489f05b8317b6e67fb","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:13ff27fc4f5acfe9fb104e33ee87077ed0af44f94d71d0f78047c602528ecabc","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:d3f12d2591d952b4c1761edd33617f442978f641610bf92f5aba4936edf6832d","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:f4e1c7d4d46ae5b9c3cbbffe0b3f73f4ea0993dc392d2f4c289e4a4cc59b5cb5","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:30151cc83577c18212b2b01880247d3efd668245f21c75819a851fef76c754d6","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:6f3113ac1b7af218ab4295db1fd28df1d463f8358abb75d34529fe8b65cacd89","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:30730ced0d5f74d6e95546edb942c38c1a63fa99e16212aae3f71d68e67f4779","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:e45ccb9d74f78b888c562d87377ea0ed66972091c63a0064e8130549240d83c2","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:0cfc49ac10145b5f9e1705be61c3547e1e21607204685652074012db75ae9867","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:e9d4c37f7421a2d1850707b62e10d9da952a01d4fca74595177a8a66cd5f1ae9","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:16bc471fc2861e5a126d5be0bd0cb8a2113169c5daf1e9f12da60706d5504212","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:8da726d3f8876b1b82314c10527fc206d4764fb2a125f34fb1aaa55b9f6c206e","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:65780c4aea54e6495f27b9ef344a251ae6a825a213a40f4721d7e2d49343084d","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:798025634b0ba6ff4d34012713dbd3f76e2168cc4004079a29acf16259b56ac3","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:1bf0d527c2c0546c4d82cdb466a674e18cd7959fcd4e24e1b516b225bb5b1798","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:ec997ca845ec84a3d0c9aa5ff1a9edf1b73aec11a461bb8464c02f66c59764ed","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:d6bb6750fc9876647a01fc2bae9776755149cac6efc6bb76a37556745aa5776d","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:cba82cbf4c9ebffa2204f4c3b77f4e4b936c02452e50976ff7dd6f4926c41629","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:ae7562e1e20eb5e2d8ee99ef296e0f34f493c007ffbeee3dfecc7e703b10af0b","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:92f52ef1f4f706a364d93cc2140ee5c57afab906976f58e17fa2c7c4f0ec462a","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:04704e1cc96ad82d02d232d0a05d28c57ba1b5d61b3e3344789753596139a6da","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:70ff2db004f85bdf91af69f19ea04453d799cd5494eec669982f6287d804fa12","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:548197bd00ed26b71a4af1217d8e686202882d4c7a18e25ce5947144516754fb","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:bada5e49bce0074440726282399cb19351864c2507966cb04d0892d1eae98809","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:b48386e2948e915330cae418b29c3113a4838b9cd92d44e02f27566b3b05cf50","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"thesis":"As of 12 August 2026, this Paper Citation Record lists 100 of 101 outbound references and 1 inbound Pith citation observation for arXiv:2501.15238."}