Paper Citation Record · LEDGER

Model Checking Matrix Product States against Linear Chain Logic

As of 15 August 2026, this Paper Citation Record lists 47 of 47 outbound references and 0 inbound Pith citation observations for arXiv:2605.14356.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2605.14356 v1

Coverage vector

measured 47 of 47 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-06-30T20:56:58.616906Z

measured 47 of 47 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-14T06:32:32.682623+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

47 of 47 outbound references displayed

verified exact4
verified fuzzy37
unresolved5
parse uncertain0
malformed identifier0
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 74e4e7f6-45f4-4f40-8944-aa95b3eb5db5 · outbound

This paper cites Clarke, Orna Grumberg, and Doron A.

Model Checking Matrix Product States against Linear Chain Logic Clarke, Orna Grumberg, and Doron A

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T18:34:01.989717Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 9144ebdb-1f01-443c-bc2e-e08c194716cd · outbound

This paper cites MIT Press.

Model Checking Matrix Product States against Linear Chain Logic MIT Press

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T18:34:01.976902Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation c18b2500-52cf-4286-ba1b-c4b96255f52f · outbound

This paper cites Model-checking quantum systems.National Science Review, 6(1):28–31, 2019.

Model Checking Matrix Product States against Linear Chain Logic Model-checking quantum systems.National Science Review, 6(1):28–31, 2019

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T18:34:01.979424Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 0e9c78e2-81f0-4dfd-b617-4278a861d8fc · outbound

This paper cites Cambridge University Press, 2021.

Model Checking Matrix Product States against Linear Chain Logic Cambridge University Press, 2021

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T18:44:06.397720Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation bf9a067a-3997-4e7c-a416-a39373beb3a9 · outbound

This paper cites an unresolved cited work.

Model Checking Matrix Product States against Linear Chain Logic Unresolved cited work

Reference 5

Resolution: unresolved; raw_fallback, observed 2026-07-07T18:34:01.974151Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 46b55726-6793-4346-8e17-01031ca14d2f · outbound

This paper cites Review of Decoherence Free Subspaces, Noiseless Subsystems, and Dynamical Decoupling.

Model Checking Matrix Product States against Linear Chain Logic Review of Decoherence Free Subspaces, Noiseless Subsystems, and Dynamical Decoupling

Reference 6

Resolution: verified exact; local_arxiv, observed 2026-07-01T14:35:46.647173Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation b4a36067-dc81-4830-b9ed-6ecd3cad2882 · outbound

This paper cites The Structure of Decoherence-free Subsystems.

Model Checking Matrix Product States against Linear Chain Logic The Structure of Decoherence-free Subsystems

Reference 7

Resolution: verified exact; local_arxiv, observed 2026-07-01T14:35:46.645065Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 36e7fd2e-c1af-4af4-941f-c482ac9eeb15 · outbound

This paper cites Morgan Kaufmann, 2 edition, 2024.

Model Checking Matrix Product States against Linear Chain Logic Morgan Kaufmann, 2 edition, 2024

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T18:44:06.386073Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 224bd63e-5a61-4459-9bac-06a0dc9ff218 · outbound

This paper cites Springer, 2019.

Model Checking Matrix Product States against Linear Chain Logic Springer, 2019

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T18:44:06.388602Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation acc62d11-22e0-4c1c-9b27-fc872ad079df · outbound

This paper cites Regular language quantum states.

Model Checking Matrix Product States against Linear Chain Logic Regular language quantum states

Reference 10

Resolution: metadata mismatch; local_arxiv, observed 2026-07-01T14:35:46.635708Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation b0d3aa8f-4d2e-4b92-ba67-c98fa172baad · outbound

This paper cites The density-matrix renormalization group in the age of matrix product states.Annals of Physics, 326(1):96–192, 2011.

Model Checking Matrix Product States against Linear Chain Logic The density-matrix renormalization group in the age of matrix product states.Annals of Physics, 326(1):96–192, 2011

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T18:34:01.972201Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 037a8270-22f1-45e9-8fdb-89a5f37aca76 · outbound

This paper cites Hastings.

Model Checking Matrix Product States against Linear Chain Logic Hastings

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T18:44:06.367926Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 6e06951e-8cea-42ac-a13e-5c6bead02a74 · outbound

This paper cites Vazirani.

Model Checking Matrix Product States against Linear Chain Logic Vazirani

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T18:34:01.969964Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 2cb71502-bda5-49c2-aeab-63d0808de67e · outbound

This paper cites Clarke, E.

Model Checking Matrix Product States against Linear Chain Logic Clarke, E

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T18:44:06.394085Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 9c8ad82a-4bc7-4b1d-bb70-b495ff96dfee · outbound

This paper cites Model checking quantum Markov chains.Journal of Computer and System Sciences, 79(7):1181–1198, 2013.

Model Checking Matrix Product States against Linear Chain Logic Model checking quantum Markov chains.Journal of Computer and System Sciences, 79(7):1181–1198, 2013

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T18:44:06.400756Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation c19307a8-420e-42f6-9e38-2c0a341472ca · outbound

This paper cites Model Checking Quantum Systems --- A Survey.

Model Checking Matrix Product States against Linear Chain Logic Model Checking Quantum Systems --- A Survey

Reference 16

Resolution: verified exact; local_arxiv, observed 2026-07-01T14:35:46.644706Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 4fadbf6a-e66e-4c9c-bb8b-bd9bb6256675 · outbound

This paper cites A practical introduction to tensor networks: Matrix product states and projected entangled pair states.Annals of Physics, 349:117–158, 2014.

Model Checking Matrix Product States against Linear Chain Logic A practical introduction to tensor networks: Matrix product states and projected entangled pair states.Annals of Physics, 349:117–158, 2014

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T18:44:06.391167Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation f3f9a57f-643d-4e5f-83db-c1e12ccc86bd · outbound

This paper cites Wolf, and J.

Model Checking Matrix Product States against Linear Chain Logic Wolf, and J

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T18:44:06.383217Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation aadecf2f-28e0-4d99-b557-3aa5e2e7ec64 · outbound

This paper cites an unresolved cited work.

Model Checking Matrix Product States against Linear Chain Logic Unresolved cited work

Reference 19

Resolution: unresolved; raw_fallback, observed 2026-07-07T18:44:06.380647Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation d726fc1f-ddc2-490c-92b2-95f612075126 · outbound

This paper cites Nielsen and Isaac L.

Model Checking Matrix Product States against Linear Chain Logic Nielsen and Isaac L

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T18:44:06.378174Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation c3da2811-7e99-4300-bfa9-3a5128354386 · outbound

This paper cites Ignacio Cirac, David Perez-Garcia, Norbert Schuch, and Frank Verstraete.

Model Checking Matrix Product States against Linear Chain Logic Ignacio Cirac, David Perez-Garcia, Norbert Schuch, and Frank Verstraete

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T18:44:06.365576Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation fbbe2b7e-7f44-4593-b8c5-08fc1385ec5c · outbound

This paper cites Ignacio Cirac, Norbert Schuch, and David Perez-Garcia.

Model Checking Matrix Product States against Linear Chain Logic Ignacio Cirac, Norbert Schuch, and David Perez-Garcia

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T18:34:01.985187Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation bdf32616-29ec-4302-9a4e-f7fbf951ee74 · outbound

This paper cites Completely positive linear maps on complex matrices.Linear Algebra and Its Applications, 10(3):285–290, 1975.

Model Checking Matrix Product States against Linear Chain Logic Completely positive linear maps on complex matrices.Linear Algebra and Its Applications, 10(3):285–290, 1975

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T18:34:01.982190Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation f958f2f3-d635-4b11-8265-320c15a2b38b · outbound

This paper cites Prentice-Hall, 2 edition, 1971.

Model Checking Matrix Product States against Linear Chain Logic Prentice-Hall, 2 edition, 1971

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T18:34:01.987566Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation de384e03-f355-4eb2-a064-678c236a4733 · outbound

This paper cites Ignacio Cirac, David Perez-Garcia, Norbert Schuch, and Frank Verstraete.

Model Checking Matrix Product States against Linear Chain Logic Ignacio Cirac, David Perez-Garcia, Norbert Schuch, and Frank Verstraete

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T18:44:06.403910Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 013e9f06-a21d-4c0f-a203-6335e4689e7e · outbound

This paper cites Springer, 2 edition, 2006.

Model Checking Matrix Product States against Linear Chain Logic Springer, 2 edition, 2006

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T18:34:04.840295Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation a22be465-c84e-41ff-98a8-d7da7d29f26a · outbound

This paper cites A probabilistic logic for verifying continuous-time Markov chains.

Model Checking Matrix Product States against Linear Chain Logic A probabilistic logic for verifying continuous-time Markov chains

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T18:34:01.991754Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation ccb198e4-5d80-4c91-9918-c3a26832ffb6 · outbound

This paper cites Skolem’s prob- lem — on the border between decidability and undecidability.

Model Checking Matrix Product States against Linear Chain Logic Skolem’s prob- lem — on the border between decidability and undecidability

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T18:44:06.362986Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 25b8c71e-00dd-4078-94c1-376e17953896 · outbound

This paper cites Hahn, Andrea Turrini, and Shenggang Ying.

Model Checking Matrix Product States against Linear Chain Logic Hahn, Andrea Turrini, and Shenggang Ying

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T18:44:06.373080Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 4ed2164a-f252-4ff8-828e-7e629b7ec2e1 · outbound

This paper cites Lieb, and Hal Tasaki.

Model Checking Matrix Product States against Linear Chain Logic Lieb, and Hal Tasaki

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T18:44:06.370410Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 2d088fdf-f0a0-4858-959b-ddaa14ece6ba · outbound

This paper cites an unresolved cited work.

Model Checking Matrix Product States against Linear Chain Logic Unresolved cited work

Reference 31

Resolution: unresolved; raw_fallback, observed 2026-07-07T18:44:06.375792Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 09302ad7-c9c1-48be-95d0-1160cbc2f647 · outbound

This paper cites On the spectral gap of random quantum channels.

Model Checking Matrix Product States against Linear Chain Logic On the spectral gap of random quantum channels

Reference 32

Resolution: verified exact; local_arxiv, observed 2026-07-01T14:35:46.639502Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 5a3a6aa0-e9c5-4457-8555-cfc1ce796ee3 · outbound

This paper cites Hastings and Tohru Koma.

Model Checking Matrix Product States against Linear Chain Logic Hastings and Tohru Koma

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T18:34:04.834961Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 4e71bff4-3b7f-4425-a527-4e875c31a56f · outbound

This paper cites The one-dimensional Ising model with a transverse field.Annals of Physics, 57:79–90, 1970.

Model Checking Matrix Product States against Linear Chain Logic The one-dimensional Ising model with a transverse field.Annals of Physics, 57:79–90, 1970

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T18:34:04.830377Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 489efa89-edaa-4965-9539-2d17b2943eaa · outbound

This paper cites Oxford University Press, 2003.

Model Checking Matrix Product States against Linear Chain Logic Oxford University Press, 2003

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T18:34:04.832892Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 77a29eaf-bfae-40db-9c33-48b6d45276d0 · outbound

This paper cites an unresolved cited work.

Model Checking Matrix Product States against Linear Chain Logic Unresolved cited work

Reference 36

Resolution: unresolved; raw_fallback, observed 2026-07-07T18:34:04.836848Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation f4b5cd72-07d9-4185-9b60-fa5bdeb149ed · outbound

This paper cites Rams, Vid Stojevic, Norbert Schuch, and Frank Ver- straete.

Model Checking Matrix Product States against Linear Chain Logic Rams, Vid Stojevic, Norbert Schuch, and Frank Ver- straete

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T18:34:04.822711Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation d17a5ffa-5ce9-490f-b47d-2cb8051f6aec · outbound

This paper cites Diagonalizing transfer matrices and matrix product operators: A medley of exact and computational methods.Annual Review of Condensed Matter Physics, 8:355–406, 2017.

Model Checking Matrix Product States against Linear Chain Logic Diagonalizing transfer matrices and matrix product operators: A medley of exact and computational methods.Annual Review of Condensed Matter Physics, 8:355–406, 2017

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T18:34:04.825365Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 3ec1d375-6050-4850-a17d-bd0b2c9d0df5 · outbound

This paper cites David Mermin and Herbert Wagner.

Model Checking Matrix Product States against Linear Chain Logic David Mermin and Herbert Wagner

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T18:34:04.827812Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 2a4e7fa3-adc1-4c97-ba9a-ad2a6308e642 · outbound

This paper cites Berezinskii.

Model Checking Matrix Product States against Linear Chain Logic Berezinskii

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T18:34:04.838676Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 4f8863ad-9065-40ac-8c43-8481aeb87496 · outbound

This paper cites Kosterlitz and David J.

Model Checking Matrix Product States against Linear Chain Logic Kosterlitz and David J

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T18:34:04.819107Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation e6c46ac0-5481-4aee-bebc-bb07fe78b75a · outbound

This paper cites Cambridge University Press, 2 edi- tion, 2011.

Model Checking Matrix Product States against Linear Chain Logic Cambridge University Press, 2 edi- tion, 2011

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T18:34:04.815180Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 42461435-8cad-4c0e-a152-a87bc5d8131b · outbound

This paper cites Lieb, and Hal Tasaki.

Model Checking Matrix Product States against Linear Chain Logic Lieb, and Hal Tasaki

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T18:34:04.817127Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 5cb62143-294b-4111-80d1-cfd09c08e054 · outbound

This paper cites On the positivity problem for simple linear recurrence sequences,.

Model Checking Matrix Product States against Linear Chain Logic On the positivity problem for simple linear recurrence sequences,

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T18:34:04.820955Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation d909be9e-ca50-4b3d-b7b8-1a6ec3a870bf · outbound

This paper cites If the sum hits zero periodically, we need the terms of the second largest modulus to determine the sign.

Model Checking Matrix Product States against Linear Chain Logic If the sum hits zero periodically, we need the terms of the second largest modulus to determine the sign

Reference 45

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T18:34:04.808383Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 9d0bf1e3-e1bd-41c2-bb0a-2454504527e5 · outbound

This paper cites (There is a computable thresholdN 2, after which the sum of all terms of the second largest modulus are exponentially dominating the rest.).

Model Checking Matrix Product States against Linear Chain Logic (There is a computable thresholdN 2, after which the sum of all terms of the second largest modulus are exponentially dominating the rest.)

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T18:34:04.810627Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 9e67d8c1-f6d1-44cc-b724-98712fdf5238 · outbound

This paper cites an unresolved cited work.

Model Checking Matrix Product States against Linear Chain Logic Unresolved cited work

Reference 47

Resolution: unresolved; raw_fallback, observed 2026-07-07T18:34:04.813143Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Pith citing papers

No inbound Pith citation observations are available.