Paper Citation Record · LEDGER

Complexity landscape for local certification

As of 8 August 2026, this Paper Citation Record lists 43 of 43 outbound references and 0 inbound Pith citation observations for arXiv:2505.20915.

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

pith.paper-citation-record.v1
2505.20915 v1

Coverage vector

measured 43 of 43 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T14:02:15.387341Z

measured 43 of 43 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-07T06:34:17.273281+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

43 of 43 outbound references displayed

verified exact13
verified fuzzy6
unresolved23
parse uncertain0
malformed identifier0
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation a8221d0e-19c1-40fe-92c5-b7a5e557f5ea · outbound

This paper cites Introduction to Distributed Self-Stabilizing Algorithms.

Complexity landscape for local certification Introduction to Distributed Self-Stabilizing Algorithms

Reference 1

Resolution: verified exact; doi, observed 2026-08-07T14:02:18.002139Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation c298bc6c-7229-4cb4-9c93-1ddf61f56aef · outbound

This paper cites An introduction to population protocols.

Complexity landscape for local certification An introduction to population protocols

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:02:20.725276Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation bff872e6-7f49-4ad5-9367-152028f565b1 · outbound

This paper cites The distributed complexity of locally checkable problems on paths is decidable.

Complexity landscape for local certification The distributed complexity of locally checkable problems on paths is decidable

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-07T14:02:11.724568Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ea4a60c9-db64-4814-b3dc-8c2408668bde · outbound

This paper cites Efficient classification of locally checkable problems in regular trees.

Complexity landscape for local certification Efficient classification of locally checkable problems in regular trees

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-07T14:02:11.880687Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ef0810d1-52f8-42fc-ad6a-7c5eab96610d · outbound

This paper cites Locally checkable problems in rooted trees.

Complexity landscape for local certification Locally checkable problems in rooted trees

Reference 5

Resolution: verified exact; doi, observed 2026-08-07T14:02:17.752843Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation ed63a88a-5a02-4ffb-9053-3c69769f0278 · outbound

This paper cites Almost global problems in the LOCAL model.

Complexity landscape for local certification Almost global problems in the LOCAL model

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-07T14:02:12.154909Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c5292451-0934-4364-92fe-5c821fd11c0c · outbound

This paper cites Korhonen, Tuomo Lempi \" a inen, Dennis Olivetti, and Jukka Suomela.

Complexity landscape for local certification Korhonen, Tuomo Lempi \" a inen, Dennis Olivetti, and Jukka Suomela

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-07T14:02:12.265037Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9b8c2f22-b65b-41cd-9361-bf92864862ba · outbound

This paper cites Optimal local certification on graphs of bounded pathwidth.

Complexity landscape for local certification Optimal local certification on graphs of bounded pathwidth

Reference 8

Resolution: verified exact; local_arxiv, observed 2026-08-07T14:02:17.503363Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 0af5010d-4ddf-4197-860b-fb1963162fc9 · outbound

This paper cites Memory space requirements for self-stabilizing leader election protocols.

Complexity landscape for local certification Memory space requirements for self-stabilizing leader election protocols

Reference 9

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T14:02:18.791467Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation eec79c02-0249-453e-b4c3-62d2e61dea56 · outbound

This paper cites Silent MST approximation for tiny memory.

Complexity landscape for local certification Silent MST approximation for tiny memory

Reference 10

Resolution: verified exact; doi, observed 2026-08-07T14:02:17.312948Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation c5db4194-36a9-446f-b18b-c52714323508 · outbound

This paper cites On proof-labeling schemes versus silent self-stabilizing algorithms.

Complexity landscape for local certification On proof-labeling schemes versus silent self-stabilizing algorithms

Reference 11

Resolution: verified exact; doi, observed 2026-08-07T14:02:17.144796Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation e93f2be1-212e-4b4b-b116-72fffe7ac5e6 · outbound

This paper cites Local certification of forbidden subgraphs.

Complexity landscape for local certification Local certification of forbidden subgraphs

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-07T14:02:12.839100Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 952e48c6-5ac6-4224-aee1-57c8dd5b6d54 · outbound

This paper cites Renaming in distributed certification.

Complexity landscape for local certification Renaming in distributed certification

Reference 13

Resolution: verified exact; doi, observed 2026-08-07T14:02:17.002372Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 44f70e1f-4cfa-4b10-a53a-dcfa2e15918f · outbound

This paper cites How local constraints influence network diameter and applications to LCL generalizations.

Complexity landscape for local certification How local constraints influence network diameter and applications to LCL generalizations

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-07T14:02:13.049731Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4750f750-1e24-47df-9a2a-d82e11a9d11d · outbound

This paper cites Local certification of local properties: Tight bounds, trade-offs and new parameters.

Complexity landscape for local certification Local certification of local properties: Tight bounds, trade-offs and new parameters

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-07T14:02:13.098481Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 111ffb0a-ba6d-45a6-9b19-fe422f111724 · outbound

This paper cites A lower bound for the distributed lov \' a sz local lemma.

Complexity landscape for local certification A lower bound for the distributed lov \' a sz local lemma

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-07T14:02:13.188116Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8352614d-ddae-4225-80b7-1c8da0dde22f · outbound

This paper cites a inen, Patric R. J. \.

Complexity landscape for local certification a inen, Patric R. J. \

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-07T14:02:13.284438Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f7a382a6-c7ed-4a25-8c0f-3ae19ea37f8f · outbound

This paper cites On a problem of partitions.

Complexity landscape for local certification On a problem of partitions

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:02:20.371766Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 1ba2c31c-c5fe-41ca-844d-45fcb471a8ae · outbound

This paper cites Approximate proof-labeling schemes.

Complexity landscape for local certification Approximate proof-labeling schemes

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-07T14:02:13.471361Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 63c61938-a292-410a-9d19-f908712a755d · outbound

This paper cites The complexity landscape of distributed locally checkable problems on trees.

Complexity landscape for local certification The complexity landscape of distributed locally checkable problems on trees

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-07T14:02:13.556626Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7d4cbad5-012f-441d-9cef-4175778c3523 · outbound

This paper cites The distributed complexity of locally checkable labeling problems beyond paths and trees.

Complexity landscape for local certification The distributed complexity of locally checkable labeling problems beyond paths and trees

Reference 21

Resolution: verified exact; doi, observed 2026-08-07T14:02:16.649307Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation dc46c972-d851-4111-96b8-1d480dd6c0c8 · outbound

This paper cites An exponential separation between randomized and deterministic complexity in the LOCAL model.

Complexity landscape for local certification An exponential separation between randomized and deterministic complexity in the LOCAL model

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-07T14:02:13.750950Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b569e821-262e-4167-bced-758ad0210f9b · outbound

This paper cites A time hierarchy theorem for the LOCAL model.

Complexity landscape for local certification A time hierarchy theorem for the LOCAL model

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-07T14:02:13.837080Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 448f0fd0-ae30-42d4-b01a-f283a9ce2504 · outbound

This paper cites Distributed graph problems through an automata-theoretic lens.

Complexity landscape for local certification Distributed graph problems through an automata-theoretic lens

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-07T14:02:13.937501Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b1bbf497-38c9-4b4c-a063-251242deb00a · outbound

This paper cites A tight meta-theorem for LOCAL certification of mso$ _ 2 $ properties within bounded treewidth graphs.

Complexity landscape for local certification A tight meta-theorem for LOCAL certification of mso$ _ 2 $ properties within bounded treewidth graphs

Reference 25

Resolution: verified exact; doi, observed 2026-08-07T14:02:16.477957Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 81dd18c9-604a-47a9-8da6-ba05525f3cbb · outbound

This paper cites Self-Stabilization.

Complexity landscape for local certification Self-Stabilization

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:02:20.082307Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation d5270ec4-4663-4280-b4a2-e0e5f7d73e12 · outbound

This paper cites Introduction to local certification.

Complexity landscape for local certification Introduction to local certification

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-07T14:02:14.284448Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c1fc2f05-c480-4945-b588-35f7776bf5f9 · outbound

This paper cites What can be certified compactly? compact local certification of MSO properties in tree-like graphs.

Complexity landscape for local certification What can be certified compactly? compact local certification of MSO properties in tree-like graphs

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-07T14:02:14.349370Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 56b7deb4-34d9-48c4-b666-1f2c21e3b9e8 · outbound

This paper cites Survey of distributed decision.

Complexity landscape for local certification Survey of distributed decision

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:02:19.793688Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation c29ad4a9-e52e-4580-888c-56476d6ea22f · outbound

This paper cites What can be decided locally without identifiers? In ACM Symposium on Principles of Distributed Computing , pages 157--165.

Complexity landscape for local certification What can be decided locally without identifiers? In ACM Symposium on Principles of Distributed Computing , pages 157--165

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-07T14:02:14.497969Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 82bda2cd-c691-4118-9ce8-1cc1994e891d · outbound

This paper cites Halld \' o rsson, and Amos Korman.

Complexity landscape for local certification Halld \' o rsson, and Amos Korman

Reference 32

Resolution: verified exact; doi, observed 2026-08-07T14:02:16.224949Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 3ee29c6c-fbb8-4471-ad7a-8e55c6c3e712 · outbound

This paper cites Node labels in local decision.

Complexity landscape for local certification Node labels in local decision

Reference 33

Resolution: verified exact; doi, observed 2026-08-07T14:02:16.049776Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 65a39030-571b-4d46-ba9a-599c844d2f92 · outbound

This paper cites Towards a complexity theory for local distributed computing.

Complexity landscape for local certification Towards a complexity theory for local distributed computing

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-07T14:02:14.723281Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 30f2c2f6-db93-4bcc-900f-80e9adad40de · outbound

This paper cites Distributed certification for classes of dense graphs.

Complexity landscape for local certification Distributed certification for classes of dense graphs

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-07T14:02:14.789280Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5252cca5-855f-4ada-beae-d1df39e72d99 · outbound

This paper cites A meta-theorem for distributed certification.

Complexity landscape for local certification A meta-theorem for distributed certification

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-07T14:02:14.854082Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9fceff8e-bdd0-487f-a213-3863c5f2a05c · outbound

This paper cites Locally checkable proofs in distributed computing.

Complexity landscape for local certification Locally checkable proofs in distributed computing

Reference 37

Resolution: verified exact; doi, observed 2026-08-07T14:02:15.863326Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 634e71ff-425d-41cd-9a3f-e61dd6553105 · outbound

This paper cites An introduction to the theory of numbers.

Complexity landscape for local certification An introduction to the theory of numbers

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:02:19.518075Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation c70573e2-cc51-469f-890e-12ed1ef05d93 · outbound

This paper cites On the computational complexity of algorithms.

Complexity landscape for local certification On the computational complexity of algorithms

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:02:19.314041Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 5c7f1b8d-305a-48a0-a404-23e7a7217cc3 · outbound

This paper cites Massively parallel computation: Algorithms and applications.

Complexity landscape for local certification Massively parallel computation: Algorithms and applications

Reference 40

Resolution: verified exact; doi, observed 2026-08-07T14:02:15.731082Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 72b90e2c-808e-47bd-a26c-fdaebbd331bb · outbound

This paper cites Proof labeling schemes.

Complexity landscape for local certification Proof labeling schemes

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-07T14:02:15.188865Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2a98667b-1080-499a-92f6-f25ed69be06d · outbound

This paper cites Distributed Complexity of $P_k$-freeness: Decision and Certification.

Complexity landscape for local certification Distributed Complexity of $P_k$-freeness: Decision and Certification

Reference 42

Resolution: verified exact; local_arxiv, observed 2026-08-07T14:02:15.576167Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 141b3b53-d6ff-4638-8336-f36b3512b74d · outbound

This paper cites Rabin and Dana S.

Complexity landscape for local certification Rabin and Dana S

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-07T14:02:15.315861Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 02eb1c5f-3844-4319-8a63-be7dbffff876 · outbound

This paper cites Landscape of locality (invited talk).

Complexity landscape for local certification Landscape of locality (invited talk)

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-07T14:02:15.387341Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.