{"as_of":"2026-08-04T19:01:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:ddbd4e701c4d1a6e1e1a2543470a1af1a8d5535dd4356540e6849e0c0febd5a8","coverage":[{"denominator":112,"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-01T03:36:05.051623Z","state":"measured"},{"denominator":100,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":100,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-04T06:34:03.388597+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2607.23137/citation-record","integrity":"/paper/2607.23137/integrity","json":"/paper/2607.23137/citation-record.json","paper":"/paper/2607.23137"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:36:01.550175Z","title":"2006.Infinite dimensional analysis: a hitchhiker’s guide","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:01.550175Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:c5f38f94dbd3fc65efe49ee2a10554a365ee1b12dd136b67376cab14be4de364","observation_id":"f7846035-677c-467e-b86c-d0fc4f125aed","resolution":{"observed_at":"2026-08-01T03:36:01.550175Z","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-01T03:36:01.611360Z","title":null,"venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:01.611360Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:bd4fb2b60aa454a3ae6d823ed6ffec39ba2720dd56d32d81cc674a72c69552ce","observation_id":"16d31ce0-4f06-4cf1-bc22-3bff87058d2b","resolution":{"observed_at":"2026-08-01T03:36:01.611360Z","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-01T03:36:01.653694Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:01.653694Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:32f44f93ef66e6e49cf6178b88a6ec76cb2f2497e03fe7e12097848367817030","observation_id":"224c443e-1492-4f90-9d3e-493f6f19eed1","resolution":{"observed_at":"2026-08-01T03:36:01.653694Z","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-01T03:36:01.759668Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:01.759668Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:82c3886aead0a0df139bf512e6bcfe15e09155c90ac2247095ea183960cd92f1","observation_id":"20502da6-9a19-4fd8-acf4-8640c17d50a8","resolution":{"observed_at":"2026-08-01T03:36:01.759668Z","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-01T03:36:01.855253Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:01.855253Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:2d420badbfbba63505a9f199cfa67c4e642102b562dc2a3a4da925f136444a03","observation_id":"d2a07dc3-018d-4077-9571-c4c4f16cbbcc","resolution":{"observed_at":"2026-08-01T03:36:01.855253Z","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-01T03:36:01.966377Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:01.966377Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:772a722123b77749850fed05389e3fecafe98195b4cc05eb67cca50565a9885d","observation_id":"4251d8ea-c26d-473b-ad65-353e9e9ec481","resolution":{"observed_at":"2026-08-01T03:36:01.966377Z","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-01T03:36:02.042839Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:02.042839Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:e408967a767f9f7c56261969bf2f405bce9bd45be8e24f76c331385937adc09d","observation_id":"6e89f817-57f5-49fb-857d-d1b72089f340","resolution":{"observed_at":"2026-08-01T03:36:02.042839Z","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-01T03:36:02.138621Z","title":"2020.Boundary value problems, Weyl functions, and differential operators","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:02.138621Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:f7dad3c995027f1ddf50c5562e606adebab08772d7b072d4192377c27908c298","observation_id":"c1b63db1-b61f-4d3e-a0a4-d7207766e4f9","resolution":{"observed_at":"2026-08-01T03:36:02.138621Z","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.1017/s030821050900078x","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:38:24.268136Z","title":null,"venue":null,"work_id":"bc5dc286-f21e-43c7-af74-96424583f604","year":2010},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:02.251275Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:0acc436b84c184616e2d715f69158487dda8a56b10e5a300c6534f6bfebc3b82","observation_id":"12e15ef3-17ea-41eb-9396-33704fcd1e2f","resolution":{"observed_at":"2026-08-01T03:38:24.324632Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-01T03:36:02.342046Z","title":"Eli Bourassa, Rafael N","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:02.342046Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:e247f40f08126f17bacfd356e75fe7ce331d1f0eda9af7756215216c8eba4eb2","observation_id":"f2fbaa25-9b0c-4ab1-b2f0-7c36b0fad3e8","resolution":{"observed_at":"2026-08-01T03:36:02.342046Z","resolver_source":null,"status":"malformed_identifier"},"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-01T03:36:02.447739Z","title":null,"venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:02.447739Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:f0b37db9ee1face5e368453587c47a45016e9026bcf4287e173df89d3651556b","observation_id":"ea25792a-0ae1-4c3a-860f-409b336e04f1","resolution":{"observed_at":"2026-08-01T03:36:02.447739Z","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-01T03:36:02.524642Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:02.524642Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:23f6ddcc8bb0a36abc8040acfed359f06b1e77309baaf46b3a5e661527051389","observation_id":"a21808f1-5b80-46cb-ae05-f49e07ab68a6","resolution":{"observed_at":"2026-08-01T03:36:02.524642Z","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-01T03:36:02.604921Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:02.604921Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:8fc74d469fc3b6c545d5b5159a6b89c7c48cbf44b457d39bb5b0409ba6658f23","observation_id":"a1446ae3-f976-4392-9976-3250b9180a04","resolution":{"observed_at":"2026-08-01T03:36:02.604921Z","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-01T03:36:02.750796Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:02.750796Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:60fa42bd52878ba9bef3a8160d2f81b5962a203fa19d1bc795894f688d1ad07c","observation_id":"18901baa-48ae-4a99-b8b7-224dcc819777","resolution":{"observed_at":"2026-08-01T03:36:02.750796Z","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-01T03:36:02.824887Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:02.824887Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:2dbed5e877f6c05aabf02e5f044db165516724f87371e2365709b6c30aec036c","observation_id":"ebf241ec-53ba-49a6-88a3-2892f351dd1b","resolution":{"observed_at":"2026-08-01T03:36:02.824887Z","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-01T03:36:02.903578Z","title":"1998.Multivalued linear operators","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:02.903578Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:59ff2b7fc2e230326071bc1510db51ee005b4db1250fcbe184eeb57a605a8122","observation_id":"c5558333-a7c1-4633-bf42-459cb83cda7d","resolution":{"observed_at":"2026-08-01T03:36:02.903578Z","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-01T03:36:02.964553Z","title":null,"venue":null,"work_id":null,"year":1976},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:02.964553Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:4abd76aedebce8367509c509240ca7c8890c2928bea49d1fd1df2e4b6de6a0d2","observation_id":"8a79af37-9742-40d7-88c6-27102eaac2a6","resolution":{"observed_at":"2026-08-01T03:36:02.964553Z","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-01T03:36:03.062651Z","title":null,"venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:03.062651Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:ffad43d6aaf163c07e1b35b7ba939e464df430ed0710e14abd7cc96099d43f3b","observation_id":"1c28fcf8-617f-4546-bb9f-d74aacdcaf30","resolution":{"observed_at":"2026-08-01T03:36:03.062651Z","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-01T03:36:03.172772Z","title":"Diestel and J","venue":null,"work_id":null,"year":1977},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:03.172772Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:22b87f62734628b83341ed58578bf7418edf29ca6ed81f53da9ecadab987734b","observation_id":"732bd928-5726-4dd4-9b3f-bd3f64381f56","resolution":{"observed_at":"2026-08-01T03:36:03.172772Z","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-01T03:36:03.285061Z","title":"Dunford and J.T","venue":null,"work_id":null,"year":1988},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:03.285061Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:b52d919764b6c3983badb7af6c3ccc2936b9dd1b851021d4c4658023a8820111","observation_id":"1b84bffb-03ef-4c61-8d87-3158826b7c29","resolution":{"observed_at":"2026-08-01T03:36:03.285061Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2605.16523","last_updated":"2026-05-15T18:17:55Z","snapshot_observed_at":"2026-07-06T23:27:38.955917Z","submitted_at":"2026-05-15T18:17:55Z","title":"End-to-End Formalization of Quantum Error Correction","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2605.16523","snapshot_observed_at":"2026-08-01T03:36:03.367982Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:03.367982Z"},"links":{"cited_paper":"/paper/2605.16523","citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:cdeb10137b313ba8c206bb77ff6f6f74acdfcc817108e07b1f00854a40a352b7","observation_id":"343c0698-eec5-4359-aed3-d13fd3309b8c","resolution":{"observed_at":"2026-08-01T03:36:03.367982Z","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-01T03:36:03.448773Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:03.448773Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:459bef3c2968e3b5d53790e98b7d344015882bcbc34b978b1657c14dd07b847a","observation_id":"8135d9ab-edcd-467c-8aca-0da58e18b644","resolution":{"observed_at":"2026-08-01T03:36:03.448773Z","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-01T03:36:03.562336Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:03.562336Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:6a4dfe8812152662a0ba6815fc4a5e7f356cd40869a2a710b6cd100a61fb6b24","observation_id":"b9ae6162-7e4c-4e6b-84d9-82a169ecfc0b","resolution":{"observed_at":"2026-08-01T03:36:03.562336Z","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-01T03:36:03.620800Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:03.620800Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:b67cf75a21d079185880b87817a1f71ae6c39de3ca044040a36a39cd590f77bd","observation_id":"5aaedffb-e594-4091-a3c0-b683859c758a","resolution":{"observed_at":"2026-08-01T03:36:03.620800Z","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-01T03:36:03.727726Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:03.727726Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:4bd6021fd73c66efdf370f04656e05326c2ded2fa76e21dedb114ee5d2b20bf6","observation_id":"43e0bed2-6254-4b77-bbbb-572e48f63c74","resolution":{"observed_at":"2026-08-01T03:36:03.727726Z","resolver_source":null,"status":"malformed_identifier"},"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-01T03:36:03.784058Z","title":null,"venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:03.784058Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:f025fb3d59d3a25effad03449da42473dd9b3120f16952a0d912f5b1e697f5de","observation_id":"99e9d9da-571c-49c8-9a4d-d53cfd4f9890","resolution":{"observed_at":"2026-08-01T03:36:03.784058Z","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-01T03:36:03.834773Z","title":"2001.Statistical structure of quantum theory","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:03.834773Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:80dc9e8d86b358427194664e1a635120e14e550f70597b0ead2a2d5485823723","observation_id":"520573f8-4a8d-4257-bb11-af5831406d0c","resolution":{"observed_at":"2026-08-01T03:36:03.834773Z","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-01T03:36:03.947857Z","title":"2011.Probabilistic and statistical aspects of quantum theory","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:03.947857Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:47d4a8339cb7bbb3b26e7be0b49771341d29ad892e9bc7aedeb6f23bc9b07e02","observation_id":"8e26ff52-f3d4-413e-a23b-e4978a8f0229","resolution":{"observed_at":"2026-08-01T03:36:03.947857Z","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-01T03:36:04.003139Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:04.003139Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:f4c7dc5258ed7004f677c8791f25bf2ff5aeb223acf9d7b2535d5d4409d1484f","observation_id":"32d7704a-fcc0-47ad-8389-a0d1e928b024","resolution":{"observed_at":"2026-08-01T03:36:04.003139Z","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-01T03:36:04.113243Z","title":"2016.Analysis in Banach spaces","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:04.113243Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:328da8378acd3527c6e833bfae3fbdc59ceeec62490348235a9fc57eceadbec6","observation_id":"a4680456-8c9f-468a-b886-9ace9a7d0f3a","resolution":{"observed_at":"2026-08-01T03:36:04.113243Z","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-01T03:36:04.172889Z","title":"1997.Fundamentals of the Theory of Operator Algebras","venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:04.172889Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:70491541f012bb2e32691c964835d45b2224151ee012f8e0536f679f47e45726","observation_id":"b3e21ff5-401e-4e79-b1c7-410754ed15b1","resolution":{"observed_at":"2026-08-01T03:36:04.172889Z","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-01T03:36:04.277805Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:04.277805Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:f26335b8eace76aa6cc097345a54dc62f82c3b9c54963bd8051655be24d9dd3b","observation_id":"79a93f56-62f6-4945-adbf-5d06145953b7","resolution":{"observed_at":"2026-08-01T03:36:04.277805Z","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-01T03:36:04.337832Z","title":"2013.Perturbation theory for linear operators","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:04.337832Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:422b54d16155c8cfcd79b37bb518898d3f0f7f5106664e9735dd2771cdfcdb31","observation_id":"2909be7b-8f24-421a-acad-74308bf9f2ed","resolution":{"observed_at":"2026-08-01T03:36:04.337832Z","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-01T03:36:04.446142Z","title":null,"venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:04.446142Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:def5cef8120bfcff15a704dc7f26a1a8e4ca834bff93dbd8de702c2b4c4eb520","observation_id":"267a0502-4c6a-4caf-8d0d-986a015a4a55","resolution":{"observed_at":"2026-08-01T03:36:04.446142Z","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-01T03:36:04.552045Z","title":null,"venue":null,"work_id":null,"year":1981},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:04.552045Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:abad9aa2005bf921ad69f0472edc0c37d74651ee03f093a8a942b6b384aa8c01","observation_id":"4f63f7c5-d50d-4c1b-a35a-829c0b4fefb0","resolution":{"observed_at":"2026-08-01T03:36:04.552045Z","resolver_source":null,"status":"malformed_identifier"},"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-01T03:36:04.663742Z","title":null,"venue":null,"work_id":null,"year":1971},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:04.663742Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:048511208973def65cace91a6467b127c53221ac781e8d86aaac44e90edf56e1","observation_id":"69c4ba7d-618d-42bf-b6ea-8707d9e4e6aa","resolution":{"observed_at":"2026-08-01T03:36:04.663742Z","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-01T03:36:04.723704Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:04.723704Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:7279ab8f327b6479754bb9bbad7ac2e3ce3c8a0091b84c8ff8ee6f3f666a34fb","observation_id":"b6cf3e8e-ee88-445b-b4d8-a57e65c180a6","resolution":{"observed_at":"2026-08-01T03:36:04.723704Z","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.4230/lipics.icalp.2021.136","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:38:24.073831Z","title":null,"venue":null,"work_id":"6367366b-36bd-4758-b266-9bf680b06831","year":2021},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:04.780302Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:56ca608dc1db650d3dae81a6b7903ddcc6e8b634a53e5d8e920e25d77d84f038","observation_id":"b53ce3af-a533-491b-a9a7-8e9b920cc88d","resolution":{"observed_at":"2026-08-01T03:38:24.210009Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3158123","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:38:23.983267Z","title":null,"venue":null,"work_id":"1c40e60e-667d-42fa-a0f5-bd0aff63b2e4","year":2018},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:04.784548Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:4605128a1d3239525d41c55fd480ceb1d85c732ecd4313f1ae5e915eb00b1a11","observation_id":"93870229-6eb3-4d62-8dd9-1218b217c922","resolution":{"observed_at":"2026-08-01T03:38:24.033375Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-01T03:36:04.789010Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:04.789010Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:7cbbbbcb9556a2b5a478d0227b7dd1cbfca436cb5006a0545c46fbc8e9e8ce0a","observation_id":"4d09749b-2812-4f79-93cd-ffd96eecf186","resolution":{"observed_at":"2026-08-01T03:36:04.789010Z","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-01T03:36:04.793492Z","title":"Braunstein","venue":null,"work_id":null,"year":1999},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:04.793492Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:10aad358b682255739f24cc9c37ff2e505ed7d64223cc8ccef0d485c8c48e91a","observation_id":"6f26266c-a6d0-48f0-9dd2-d714e0f21625","resolution":{"observed_at":"2026-08-01T03:36:04.793492Z","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-01T03:36:04.797746Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:04.797746Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:808e099dfb23e9bdb82ac2126ac9e93e312e24b31ebf8d605f785a73d6267d2b","observation_id":"eac11128-8e7b-4256-8902-2c165063cb94","resolution":{"observed_at":"2026-08-01T03:36:04.797746Z","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-01T03:36:04.801956Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:04.801956Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:7d111c1d010f3c7e63780193a7adaa9b733ec94323006823b2c9391f09977325","observation_id":"2d7b27d2-30cd-4f0c-872d-067bd03a91e5","resolution":{"observed_at":"2026-08-01T03:36:04.801956Z","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-01T03:36:04.805988Z","title":"2005.Abstraction, Refinement and Proof for Probabilistic Systems","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:04.805988Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:94ec8c0d9d0f6a87d9f53e9906159ef9132a981c5aeee737d9abf0e0e53ea868","observation_id":"9defc0aa-2762-40da-9aae-21c2a2bb1e74","resolution":{"observed_at":"2026-08-01T03:36:04.805988Z","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-01T03:36:04.810847Z","title":null,"venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:04.810847Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:c805e58bdee5774bd327cefab39fff824662af52a15e180ba1af1426e6623421","observation_id":"f22d6969-7b67-4cdf-b983-c7248ca5dfa1","resolution":{"observed_at":"2026-08-01T03:36:04.810847Z","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-01T03:36:04.815193Z","title":null,"venue":null,"work_id":null,"year":1984},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:04.815193Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:2b6242f51143568cdc4b2cdc456341170b5b15ef330976fc9e946211bf8e8d2a","observation_id":"8293bc3c-a9a3-475f-86da-ad9abc86b33b","resolution":{"observed_at":"2026-08-01T03:36:04.815193Z","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.4204/eptcs.340.14","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:38:23.822682Z","title":null,"venue":null,"work_id":"494bb7c7-184b-4b62-8bae-bde9a3afde60","year":2021},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:04.819421Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:3c92f51eab7ae1970d8235c69487fa99dd5a555e039bad422ed5e917b9649882","observation_id":"f09a972c-2ab3-44a4-a64a-c5ff18a49f08","resolution":{"observed_at":"2026-08-01T03:38:23.967716Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-01T03:36:04.823573Z","title":"1980.Methods of modern mathematical physics: Functional analysis","venue":null,"work_id":null,"year":1980},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:04.823573Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:adca838e1ac8d9718f8919bb71d02b85e133d111276dff7ac99f2d0e5424130a","observation_id":"5a1ef2ef-77d8-42fc-96a9-c868f09558ee","resolution":{"observed_at":"2026-08-01T03:36:04.823573Z","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-01T03:36:04.827936Z","title":"1987.Real and complex analysis","venue":null,"work_id":null,"year":1987},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:04.827936Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:17929d542660721e48eb06c90a2a18c92393c5aed460a0274b29379c209d44e3","observation_id":"1f8e5e70-e4a3-49d1-b93c-e8cdefd68fda","resolution":{"observed_at":"2026-08-01T03:36:04.827936Z","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-01T03:36:04.832029Z","title":"2012.Unbounded self-adjoint operators on Hilbert space","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:04.832029Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:7f6f1c88cac8db4d02c7f076947be486b65343aaaf742e497f19008da71ad113","observation_id":"4b935485-54fc-4e76-b01f-1c86197cad34","resolution":{"observed_at":"2026-08-01T03:36:04.832029Z","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-01T03:36:04.835900Z","title":null,"venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:04.835900Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:4b77f0c9eef979c7a622fe75e19722efb6881c6979ecf99c19efeeb5d1743efb","observation_id":"e441d4bd-419f-4862-a03c-bc92ffb0c881","resolution":{"observed_at":"2026-08-01T03:36:04.835900Z","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.1017/s0308210500019776","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:38:23.719258Z","title":null,"venue":null,"work_id":"668f2ee7-c8e4-4e3e-acf6-5db763497d3e","year":1978},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:04.839904Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:8e73d33c691da6e81d85d6e2ed1dc3ec79f2889f00d1798fc8116e7d6d628f99","observation_id":"9cab4f38-82d3-49fc-8aec-8f98e8b9e896","resolution":{"observed_at":"2026-08-01T03:38:23.796590Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2101.08939","last_updated":"2026-07-01T11:45:53Z","snapshot_observed_at":"2026-08-01T00:15:10.666616Z","submitted_at":"2021-01-22T04:07:12Z","title":"Hoare meets Heisenberg: A Lightweight Logic for Quantum Programs","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2101.08939","snapshot_observed_at":"2026-08-01T03:36:04.844247Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:04.844247Z"},"links":{"cited_paper":"/paper/2101.08939","citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:f09674b4f52f8198a5f571532c6f4ddbefd5f59da56f3c9ed0effed8df56d2b2","observation_id":"44adf98e-8eb7-4db1-afcd-ff1f018bbd40","resolution":{"observed_at":"2026-08-01T03:36:04.844247Z","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-01T03:36:04.848693Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:04.848693Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:92e6f2e09ac6f64f4fabe36414e14949c93b0abf5e23e521f50a6234364e1a32","observation_id":"c45ad392-b6ab-4e3e-a942-3dc936273084","resolution":{"observed_at":"2026-08-01T03:36:04.848693Z","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-01T03:36:04.852588Z","title":"Tse, Haocun Yu, N","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:04.852588Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:a43d95c013d5931e75ac23a0a6f65304865cc12347ee53d9e9df061788c91d0e","observation_id":"6e228854-783a-4d36-a6e4-df7a48f7e766","resolution":{"observed_at":"2026-08-01T03:36:04.852588Z","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-01T03:36:04.856854Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:04.856854Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:0bad0fc6ec5e94aecd7d8ec5fbc29693be96ff66be4d9da4a34d7a035c392b0c","observation_id":"576501c9-397f-4b68-8d3d-cc16cca5b7e0","resolution":{"observed_at":"2026-08-01T03:36:04.856854Z","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-01T03:36:04.861229Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:04.861229Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:cd38b5ecfb61cf0b2581eae9054e9ad270f368e64417260ca215f23b5f7d473e","observation_id":"cf378017-2e60-4d5c-9b01-0ad7a5d0e258","resolution":{"observed_at":"2026-08-01T03:36:04.861229Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2105.10914","last_updated":"2024-07-04T15:59:55Z","snapshot_observed_at":"2026-07-06T11:11:58.263934Z","submitted_at":"2021-05-23T11:11:03Z","title":"Quantum references","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2105.10914","snapshot_observed_at":"2026-08-01T03:36:04.865227Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:04.865227Z"},"links":{"cited_paper":"/paper/2105.10914","citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:3b0b3adf08ca74b6d2743dcb297eef123e03aa5662913528a408bf228e6e7079","observation_id":"598d1591-5601-4023-9a57-21d612ee2fe8","resolution":{"observed_at":"2026-08-01T03:36:04.865227Z","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-01T03:36:04.869441Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:04.869441Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:ffec275a7d5fb72fee082c2155a5ad85befeeb54c726795439bc765b0780ea84","observation_id":"1a329be6-c29b-442a-9511-2653fafaea0c","resolution":{"observed_at":"2026-08-01T03:36:04.869441Z","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-01T03:36:04.873158Z","title":null,"venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:04.873158Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:6e4c053b66906f24b34403111d9debc03c21b82ee2303dfc0daae8365e8942c6","observation_id":"2eb4f01d-58c4-4673-b173-56eaae11a58f","resolution":{"observed_at":"2026-08-01T03:36:04.873158Z","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-01T03:36:04.876980Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:04.876980Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:2e1e31b93780c3e19f2cf151fea85be5f0caee4dc26dc4f12b666c99ce1a8176","observation_id":"e61204b9-6fe7-44fe-a04d-54a8dd71c0d0","resolution":{"observed_at":"2026-08-01T03:36:04.876980Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2111.13728","last_updated":"2021-11-26T19:40:53Z","snapshot_observed_at":"2026-07-31T03:36:07.698445Z","submitted_at":"2021-11-26T19:40:53Z","title":"QECV: Quantum Error Correction Verification","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2111.13728","snapshot_observed_at":"2026-08-01T03:36:04.880772Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:04.880772Z"},"links":{"cited_paper":"/paper/2111.13728","citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:6327512d83d16db042ce8e602e4cb31dad0bd87218b1a0e51c7a3df3174bdcaa","observation_id":"b41cc290-2aca-41f0-a802-23120cc530ee","resolution":{"observed_at":"2026-08-01T03:36:04.880772Z","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-01T03:36:04.884978Z","title":null,"venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:04.884978Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:4f870988c45aac880d32b30b220aa4088d77a4058e0fe28f727418169b63f0d5","observation_id":"bde80235-a8c1-48e5-b48d-68b6eac70a8c","resolution":{"observed_at":"2026-08-01T03:36:04.884978Z","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.1007/s00165-018-0465-3","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:38:23.633052Z","title":null,"venue":null,"work_id":"bfd7cddc-28d2-4738-979c-c3fda1992d29","year":2019},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:04.888909Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:54fcb892293aa953919b095567187e160e82d3024349d54fd2ea01daf1238fa9","observation_id":"23ad30d3-b1d4-456b-b8f3-4d7c32f7d91c","resolution":{"observed_at":"2026-08-01T03:38:23.694464Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2205.01959","last_updated":"2022-05-04T08:57:44Z","snapshot_observed_at":"2026-07-06T13:06:30.887962Z","submitted_at":"2022-05-04T08:57:44Z","title":"Birkhoff-von Neumann Quantum Logic as an Assertion Language for Quantum Programs","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2205.01959","snapshot_observed_at":"2026-08-01T03:36:04.893217Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:04.893217Z"},"links":{"cited_paper":"/paper/2205.01959","citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:f7ee0cf5c05135f3f1a5436f8e7d3b58c74a4440874f6b0a295f9eaed4527833","observation_id":"87d345ad-85bc-4160-af1b-bfd0c55a2c75","resolution":{"observed_at":"2026-08-01T03:36:04.893217Z","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.1017/cbo9781139193313.009","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:38:23.518435Z","title":null,"venue":null,"work_id":"e42226bc-376b-4c53-8205-2855834969fb","year":2010},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:04.897813Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:ce9b89645c7ec8c3f63cdce503e966f6b0b76d7c267c9b8911101823e4da499a","observation_id":"310a8191-281d-400e-8a3c-ceb8d985c1b0","resolution":{"observed_at":"2026-08-01T03:38:23.603304Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-01T03:36:04.902008Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:04.902008Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:569bb6bf910a030d1f752c861f1fc7fcb919601ee4e86a3d05394f7327d1d568","observation_id":"e1bdcdf4-5117-4738-ace2-c93059798bb6","resolution":{"observed_at":"2026-08-01T03:36:04.902008Z","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.1016/j.scico.2013.03.016","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:38:23.393737Z","title":null,"venue":null,"work_id":"9a411c8c-1684-49dc-8acb-2753bea85317","year":2013},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:04.906121Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:273093a327ec011281e7a41942703fce8d74669b3a305fefa769ac4a01e5d76e","observation_id":"147321c7-30c5-4ecd-9bfa-33c99445aa1d","resolution":{"observed_at":"2026-08-01T03:38:23.509176Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3765903","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:38:23.305312Z","title":null,"venue":null,"work_id":"4c6daf23-d7fc-4544-ac4e-35a110153cd1","year":2026},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:04.910450Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:9adcfedbd13cb08b57495d9dc669b4ceee6bf153a2b5232c673f6495a40e47d9","observation_id":"4761f284-f4f0-4038-a56c-58b5d04281b6","resolution":{"observed_at":"2026-08-01T03:38:23.385879Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1810.11334","last_updated":"2019-10-01T13:35:51Z","snapshot_observed_at":"2026-08-03T16:48:44.459731Z","submitted_at":"2018-10-26T14:10:44Z","title":"Reasoning about Parallel Quantum Programs","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1810.11334","snapshot_observed_at":"2026-08-01T03:36:04.914728Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:04.914728Z"},"links":{"cited_paper":"/paper/1810.11334","citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:23d45a4941d3a918dc8555c41daf8d4c148be3c15ae9ff928f2488a4f2bc1b0e","observation_id":"81acf81d-dcf2-4bbc-bb85-c36850a37e5b","resolution":{"observed_at":"2026-08-01T03:36:04.914728Z","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.1145/3587154","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T03:38:23.215689Z","title":null,"venue":null,"work_id":"727c39b9-e900-448f-899d-2980048662f0","year":2023},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:04.919316Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:e36ad12f3b7236360392e30a9a01d1e7c00c8c30f79e45c194d3f7abd4d073bc","observation_id":"f808191b-8c40-43b0-8163-c84f26cfbe7a","resolution":{"observed_at":"2026-08-01T03:38:23.259788Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-01T03:36:04.923612Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:04.923612Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:1a04a75714cdfd3275caaa67720dcebf76fd426c95dcbd1ada2c9e3ec77580a2","observation_id":"224e5319-5746-4281-b783-6a182537a3b9","resolution":{"observed_at":"2026-08-01T03:36:04.923612Z","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-01T03:36:04.929107Z","title":"By the definition of closure, the domain Dom(𝑇) is dense inDom(𝔱 𝑇)with respect to the form norm","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:04.929107Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:2c400b530379dcf1486d58c52dce818ec582b26ab12832eff11d271d01b02994","observation_id":"bdb14ada-54cf-4b17-b938-df7664a2b906","resolution":{"observed_at":"2026-08-01T03:36:04.929107Z","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-01T03:36:04.933257Z","title":"continue","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:04.933257Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:7903ec808374c7866ffc5f5dd8d9952b1b638c293666ff1990365a805517a095","observation_id":"8650cc3e-5ad6-4f87-959f-e89c9ec49966","resolution":{"observed_at":"2026-08-01T03:36:04.933257Z","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-01T03:36:04.940112Z","title":"We show that Í 𝑖 𝔱𝑄[𝐾𝑖 u]= Í 𝑗 𝔱𝑄[𝐿𝑗 u]for any𝑢∈H","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:04.940112Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:10aedd1fce7093536d73b772ab6e973d01ce6db11f0397ec6c7cedabcfcc6996","observation_id":"a7626f2b-1285-4716-9641-839b35c54c5d","resolution":{"observed_at":"2026-08-01T03:36:04.940112Z","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-01T03:36:04.944833Z","title":"By the spectral approximation𝑄= Ã 𝑛𝑄𝑛 used above, and the continuity of the trace over positive forms, we have: Tr(𝑄J𝑆K(𝜌))=sup 𝑛 Tr 𝑄𝑛J𝑆K(𝜌)","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:04.944833Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:dbc1a07e997d8a812a02e1ebd5f103b360606ccc926ebc00cd13bccd0cf674f1","observation_id":"4b7d3960-c7bc-4295-9b26-ff4fbe05784b","resolution":{"observed_at":"2026-08-01T03:36:04.944833Z","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-01T03:36:04.949518Z","title":"• Validity:By the Exact Duality established above,Tr(wlp(𝑆,𝑄)𝜌)=Tr(𝑄J𝑆K(𝜌))≥Tr(𝑄J𝑆K(𝜌))","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":79,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:04.949518Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:c6e4f7a60b25c2626eef4b690cfefa07d063024fd74621ed2eef0dd35d09be09","observation_id":"84c17044-770a-4f2a-b9d7-ee5042928afd","resolution":{"observed_at":"2026-08-01T03:36:04.949518Z","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-01T03:36:04.955491Z","title":"By definition, Dom(𝔱𝑄)⊆Dom(𝔱 𝑃) and 𝔱𝑃[v]≤𝔱 𝑄[v] for all v∈Dom(𝔱 𝑄)","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":80,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:04.955491Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:0aa2b0b22ae4dbdaf2d8c8730ea665b674736e3f1cbee6392c7a7925afb2fed4","observation_id":"31cca163-a3cf-401d-aa49-0c3a09090579","resolution":{"observed_at":"2026-08-01T03:36:04.955491Z","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-01T03:36:04.959766Z","title":"By Theorem A.3, the form 𝔱𝑃 is defined by 𝔱𝑃[v]=Í 𝑗𝑐𝑗 𝔱𝑃 𝑗[v]and is a closed form","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":81,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:04.959766Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:724cbbf0d7f87d0768e1fd348c4361445526a36e454ea7af6314a9e4704bfeab","observation_id":"8b3ac64e-1a4d-4d6b-bbef-311db79da02c","resolution":{"observed_at":"2026-08-01T03:36:04.959766Z","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-01T03:36:04.964098Z","title":"By Theo- rem A.3,𝔱𝑃(v)=sup 𝑛 𝔱𝑃𝑛(v)","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":82,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:04.964098Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:397e77d1d75bc758fc1b7a57043d797a6ca899e3c1e5f2d0884d21a215be80c5","observation_id":"53d9ca98-6360-4ae8-b3f2-f328d8f3efec","resolution":{"observed_at":"2026-08-01T03:36:04.964098Z","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-01T03:36:04.968903Z","title":"Hence Tr(𝑃𝑠𝑦𝑛𝜌)=Tr(𝑄𝜌)=Tr(𝑄JskipK(𝜌))","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":83,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:04.968903Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:f7d0b338793178bdbee10f0f635d87b84476b331b6c19309a930f8e610510972","observation_id":"3f347249-b6b3-4ece-a329-f83f10e7dcb7","resolution":{"observed_at":"2026-08-01T03:36:04.968903Z","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-01T03:36:04.973049Z","title":"By the induction hypothesis for 𝑆2,𝑅∈P","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":84,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:04.973049Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:b4b2a82e5ae1acddc4db45a1d668a149437d48a39febc0b38d97d5652ca6201c","observation_id":"4bf704c4-cf11-46d7-9926-7666cdb4a3ee","resolution":{"observed_at":"2026-08-01T03:36:04.973049Z","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-01T03:36:04.976937Z","title":"The measurement outcome space is denoted by(Ω𝑀,Σ𝑀,𝜇) , the Kraus-density operator at outcome𝜈 by𝑀𝜈, and the continuation with𝑥=𝜈 by𝑆 𝜈","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":85,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:04.976937Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:ef62dea7023497ee1b266f419643036412d9944aab944fb1059b2438763c36bd","observation_id":"2fa1a916-e7b7-478d-8aed-f935da378a43","resolution":{"observed_at":"2026-08-01T03:36:04.976937Z","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-01T03:36:04.981070Z","title":"Define𝑋 0 =0, and 𝔱𝑋𝑛+1[u]= 𝔱 𝑄[𝑀0u]+𝔱 wlpsyn(𝑆𝑏𝑜𝑑 𝑦,𝑋𝑛)[𝑀1u]","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":86,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:04.981070Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:9319f62abf66f38150f92eed5e235ec7c24a3088776a16dfccb57c08712370e5","observation_id":"58ba0a12-c02a-41da-b741-4bdb3382d612","resolution":{"observed_at":"2026-08-01T03:36:04.981070Z","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-01T03:36:04.985659Z","title":"The total cost is C(𝑆,𝜌)= ∞∑︁ 𝑘=0 𝜀Tr(𝜌 𝑘)+C(𝑆 𝑏𝑜𝑑𝑦,𝑀 1𝜌𝑘𝑀† 1) <∞","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":87,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:04.985659Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:b03b660802b48ab20fde321ca0368c6000e47db63422982a3fa1aef98bb692ac","observation_id":"e39d43ac-66af-4679-8cb8-4afee480074a","resolution":{"observed_at":"2026-08-01T03:36:04.985659Z","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-01T03:36:04.990005Z","title":"Their sum is 𝔱𝑄[u]+𝜀∥ u∥2, which exactly matches the syntactic rule 𝔱wp(skip,𝑄)[u]","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":88,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:04.990005Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:ca55c8013f13deb272aa54531617cbcff8c52bac076cbdbe55005de1266e4f04","observation_id":"e5373e07-c39e-4645-aac2-bbfda9091f3d","resolution":{"observed_at":"2026-08-01T03:36:04.990005Z","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-01T03:36:04.994018Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":89,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:04.994018Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:ec2703f394b79c2f58c55b7455cc400b8c5d714a2c2d12b2e96aa1671bdbd9dc","observation_id":"d1daeaaf-4333-481b-8d58-9d1dcad2b09d","resolution":{"observed_at":"2026-08-01T03:36:04.994018Z","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-01T03:36:04.998675Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":90,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:04.998675Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:60cc78bdd14959c2a52b0ce590f938dabfa33e4f6f2ab560bf2fdb2bd5ab58ae","observation_id":"84341996-d23a-49af-ab37-313baf6e6aa3","resolution":{"observed_at":"2026-08-01T03:36:04.998675Z","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-01T03:36:05.003171Z","title":"Both components are defined as infinite limits of their 𝑁 -step truncations","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":91,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:05.003171Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:ce51d8e6b742df112772cb502f208488a042a4e7e9967e0ffc39be8dbb6dd6fc","observation_id":"f2158779-dd17-458d-ad68-3eaed26e0e28","resolution":{"observed_at":"2026-08-01T03:36:05.003171Z","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-01T03:36:05.008109Z","title":"Thus, equality𝑃=wlp(𝑆,𝑄) holds trivially, which implies𝑃⊒wlp(𝑆,𝑄)","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":92,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:05.008109Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:a92ffd1e3dacbfaa2b63c66a16d22195f4d39c4db7fc1a19511a1c274696bb2a","observation_id":"5905e428-a776-4f1c-83e0-2431673481df","resolution":{"observed_at":"2026-08-01T03:36:05.008109Z","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-01T03:36:05.012270Z","title":"By the monotonicity of the wlp transformer (Theorem C.2.1), wlp(𝑆 1,𝑅)⊒wlp(𝑆 1,wlp(𝑆 2,𝑄))","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":93,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:05.012270Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:a82506cf79e590c3e058ce26471602fd9ab2355b22e2bfa31557bc2bc2a2fadd","observation_id":"28f08dc9-7fbf-4760-b4ba-3f9212b01dda","resolution":{"observed_at":"2026-08-01T03:36:05.012270Z","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-01T03:36:05.016711Z","title":"By induction hypothesis,𝑃𝜈⊒wlp(𝑆 𝜈,𝑄) , which means 𝔱𝑃𝜈[v]≥𝔱 wlp(𝑆 𝜈,𝑄)[v] for allv","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":94,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:05.016711Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:4e74ef1171c273822d737f0645d10887626edc5278eb0115974e1d728790aa71","observation_id":"abf7e4d3-a4e1-4da6-a7ea-260535ef30e5","resolution":{"observed_at":"2026-08-01T03:36:05.016711Z","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-01T03:36:05.020952Z","title":"By the induction hypothesis,𝑅⊒wlp(𝑆 𝑏𝑜𝑑𝑦,𝑃)","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":95,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:05.020952Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:5c1e95fdfa93f2a17011542a799cd47fe05b2d78aaf3635c22dafa786a1b1074","observation_id":"0ad88f5c-0ab3-46aa-a3b9-deea3bca392d","resolution":{"observed_at":"2026-08-01T03:36:05.020952Z","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-01T03:36:05.025092Z","title":"By the monotonicity of wlp,𝑄′⊒𝑄=⇒wlp(𝑆,𝑄 ′) ⊒wlp(𝑆,𝑄)","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":96,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:05.025092Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:930b50352547879796f57c4abbc5b2191a772494d6f3bff3b6566fff99c30bcf","observation_id":"51eceab7-ee70-4576-9ee5-77af61e8cf99","resolution":{"observed_at":"2026-08-01T03:36:05.025092Z","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-01T03:36:05.029353Z","title":"For abort, the semantic weakest liberal precondition is wlp(abort,𝑄)= 0(by Definition C.4)","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":97,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:05.029353Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:821d4958f29358ebc68ccbb8e5c450b0dee9e83b4f552be017e39c69e349d7c0","observation_id":"4c62d466-e449-4d6b-beee-8852d2a26608","resolution":{"observed_at":"2026-08-01T03:36:05.029353Z","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-01T03:36:05.033574Z","title":"By the induction hypothesis, ⊢ {𝑃𝜈}𝑆𝜈{𝑄} is derivable for all𝜈∈Ω 𝑀","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":98,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:05.033574Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:40d8615f66ae9fccbc0d0790914e1ee8d70d9aa6bcbdb73267b4875c2b4772d6","observation_id":"94012bae-7b12-4274-9d4f-ac8658601f67","resolution":{"observed_at":"2026-08-01T03:36:05.033574Z","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-01T03:36:05.037920Z","title":"We must derive⊢{wlp(𝑆,𝑄)}𝑆{𝑄}","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":99,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:05.037920Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:5fd31fcc270b306819c291fa784cb9473956f376849d912aee57e27031b760b7","observation_id":"a8f0e1b4-71e9-4600-88f0-03e28f2b65f4","resolution":{"observed_at":"2026-08-01T03:36:05.037920Z","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-01T03:36:05.042415Z","title":"Evaluating its quadratic form yields 𝔱𝑃𝑠 𝑦𝑛[u]= 𝔱 𝑄[u]+𝜀 ∥u∥2","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":100,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:05.042415Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:d48dced25fc691b77aed5e1344da379065db8d7932579033e7113679c03bc74e","observation_id":"7b8c83af-34aa-46a5-ab2e-3397d9292ba8","resolution":{"observed_at":"2026-08-01T03:36:05.042415Z","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-01T03:36:05.046589Z","title":"By the induction hypothesis, we have𝑃⊒wp(𝑆 1,𝑅) and𝑅⊒wp(𝑆 2,𝑄)","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":101,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:05.046589Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:d29034ed7dbc0cb9303b0488706fc00b7875f9f9c94f1864a1dea928b741297d","observation_id":"7aa68c1e-414e-4fa9-9194-b0f0eec1f580","resolution":{"observed_at":"2026-08-01T03:36:05.046589Z","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-01T03:36:05.051623Z","title":"The derived precondition is𝑃𝑝𝑟𝑒 =𝜀𝐼+ ∫ Ω𝑀 𝑀† 𝜈𝑃𝜈𝑀𝜈𝑑𝜇(𝜈)","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems","version":1},"reference_index":102,"source":"pdf_text","source_observed_at":"2026-08-01T03:36:05.051623Z"},"links":{"citing_paper":"/paper/2607.23137"},"observation_digest":"sha256:cd30a1d6720ab1c8f02c2ec4ea81ccd7e0e8e98c91d589d55299b4a2b019ddb7","observation_id":"901021a3-9a14-4e39-abd1-90e52543764c","resolution":{"observed_at":"2026-08-01T03:36:05.051623Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.23137","last_updated":"2026-07-25T10:36:34Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-01T03:35:55.409990Z","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems"},"reference_resolution":{"displayed":100,"state_counts":{"malformed_identifier":3,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":87,"verified_exact":10,"verified_fuzzy":0},"total_outbound_references":112},"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-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"thesis":"As of 4 August 2026, this Paper Citation Record lists 100 of 112 outbound references and 0 inbound Pith citation observations for arXiv:2607.23137."}