Paper Citation Record · LEDGER

Enriched Categories for Parameterized Circuit Semantics

As of 20 August 2026, this Paper Citation Record lists 40 of 40 outbound references and 0 inbound Pith citation observations for arXiv:2501.12481.

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

pith.paper-citation-record.v1
2501.12481 v1

Coverage vector

measured 40 of 40 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-10T17:17:22.704750Z

measured 40 of 40 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-20T06:33:59.587034+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

40 of 40 outbound references displayed

verified exact2
verified fuzzy19
unresolved16
parse uncertain1
malformed identifier2
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 9e8634e1-3a66-416c-904d-6d8de1718aec · outbound

This paper cites Quantum 5, p.

Enriched Categories for Parameterized Circuit Semantics Quantum 5, p

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-10T17:17:22.563967Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fc6ac79c-acf2-406c-9fe0-69d5afaa75cc · outbound

This paper cites an unresolved cited work.

Enriched Categories for Parameterized Circuit Semantics Unresolved cited work

Reference 2

Resolution: unresolved; raw_fallback, observed 2026-08-10T17:17:23.508070Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 132328b5-0d3e-44bd-840d-87e5e643a8aa · outbound

This paper cites In: Principles of Programming Languages , Association for Computing Machinery, pp.

Enriched Categories for Parameterized Circuit Semantics In: Principles of Programming Languages , Association for Computing Machinery, pp

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-10T17:17:22.572696Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ad31ef8c-cfeb-41d1-be9e-1c886bde78a3 · outbound

This paper cites Bishop, Steven Heidel, Colm A.

Enriched Categories for Parameterized Circuit Semantics Bishop, Steven Heidel, Colm A

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T17:17:23.497830Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 2eed8bc0-c449-426e-9f5f-2e5f0f3eaa9c · outbound

This paper cites Self-published.

Enriched Categories for Parameterized Circuit Semantics Self-published

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T17:17:23.371609Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 476d276a-86a3-4b72-80f6-b3bc6ae0dcbf · outbound

This paper cites Pearson, doi:10.5555/1841628.

Enriched Categories for Parameterized Circuit Semantics Pearson, doi:10.5555/1841628

Reference 6

Resolution: verified exact; doi, observed 2026-08-10T17:17:22.821368Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation bcc14d9d-a0bd-4812-8f17-9ec143ac4dff · outbound

This paper cites Oxford University Press, doi:10.1093/oso/9780198739623.001.0001.

Enriched Categories for Parameterized Circuit Semantics Oxford University Press, doi:10.1093/oso/9780198739623.001.0001

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-10T17:17:22.587807Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 36e0f83f-9c3c-407d-a888-cbfe88d75c08 · outbound

This paper cites Elektronische Infor- mationsverarbeitung und Kybernetik 1(1), pp.

Enriched Categories for Parameterized Circuit Semantics Elektronische Infor- mationsverarbeitung und Kybernetik 1(1), pp

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T17:17:23.361611Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation a26bd865-d393-4b7a-9b87-7bb0c0aca37d · outbound

This paper cites Bir gitta Whaley & E.

Enriched Categories for Parameterized Circuit Semantics Bir gitta Whaley & E

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-10T17:17:22.595101Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e0b5195c-f1ca-4520-a638-0986e9a22a6a · outbound

This paper cites In: Logic in Computer Science, ACM, pp.

Enriched Categories for Parameterized Circuit Semantics In: Logic in Computer Science, ACM, pp

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-10T17:17:22.598845Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 24e1c63d-4b05-4394-9524-3c4f20093c51 · outbound

This paper cites Springer, doi: 10.1007/3-540-44761-X.

Enriched Categories for Parameterized Circuit Semantics Springer, doi: 10.1007/3-540-44761-X

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-10T17:17:22.602207Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4d13be4c-d120-4b70-b3f0-a441389f9f41 · outbound

This paper cites Advances in Mathematics 88(1), pp.

Enriched Categories for Parameterized Circuit Semantics Advances in Mathematics 88(1), pp

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-10T17:17:22.606338Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b5a0a973-5082-4498-92cf-df671268865e · outbound

This paper cites M Kelly (1964): On MacLane’s conditions for coherence of natural associati vities, commutativities, etc.

Enriched Categories for Parameterized Circuit Semantics M Kelly (1964): On MacLane’s conditions for coherence of natural associati vities, commutativities, etc

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-10T17:17:22.610539Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 02c78bff-44d4-4670-9498-7ae60850c15d · outbound

This paper cites Springer, doi: 10.1112/blms/15.1.96.

Enriched Categories for Parameterized Circuit Semantics Springer, doi: 10.1112/blms/15.1.96

Reference 14

Resolution: verified exact; doi, observed 2026-08-10T17:17:22.780859Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation c6876d2c-f97d-4763-a003-37bc11b941cf · outbound

This paper cites Advances in Mathemat- ics 323, p.

Enriched Categories for Parameterized Circuit Semantics Advances in Mathemat- ics 323, p

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-10T17:17:22.618694Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ac26c6ba-21be-4f74-9f09-f17d3e7ff4de · outbound

This paper cites Hybrid Quantum-Classical Machine Learning with String Diagrams.

Enriched Categories for Parameterized Circuit Semantics Hybrid Quantum-Classical Machine Learning with String Diagrams

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-10T17:17:22.622358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4ef3946d-ce8a-48c5-a224-2f5531687dd8 · outbound

This paper cites Journal of Pure and Applied Algebra 184(2), pp.

Enriched Categories for Parameterized Circuit Semantics Journal of Pure and Applied Algebra 184(2), pp

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T17:17:23.350255Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 78a69246-1a2d-4e9c-ae42-2302ed2d6816 · outbound

This paper cites Rice University Studies 49, pp.

Enriched Categories for Parameterized Circuit Semantics Rice University Studies 49, pp

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T17:17:23.338106Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 76f96b3d-8b66-4000-8d72-a69703a9646c · outbound

This paper cites Springer, doi: 10.1007/ 978-1-4757-4721-8.

Enriched Categories for Parameterized Circuit Semantics Springer, doi: 10.1007/ 978-1-4757-4721-8

Reference 19

Resolution: malformed identifier; raw_fallback, observed 2026-08-10T17:17:23.327710Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 32939c77-4f0d-487d-a0ed-e7a0f6979137 · outbound

This paper cites EPTCS 318, pp.

Enriched Categories for Parameterized Circuit Semantics EPTCS 318, pp

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-10T17:17:22.636841Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a96d650f-bb6f-4360-bc64-b1e5a0a2f858 · outbound

This paper cites IEEE Journal on Emerging and Selected Topics in Circuits and Systems 12(3), pp.

Enriched Categories for Parameterized Circuit Semantics IEEE Journal on Emerging and Selected Topics in Circuits and Systems 12(3), pp

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-10T17:17:22.640420Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation acb941ab-5402-494b-a281-263684af58c5 · outbound

This paper cites In: New Structures for Physics, Springer, pp.

Enriched Categories for Parameterized Circuit Semantics In: New Structures for Physics, Springer, pp

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-10T17:17:22.643877Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f1b0be12-dc6f-45ab-ae83-a42b1371870e · outbound

This paper cites Springer, doi: 10.1007/ 978-3-662-03927-4.

Enriched Categories for Parameterized Circuit Semantics Springer, doi: 10.1007/ 978-3-662-03927-4

Reference 23

Resolution: malformed identifier; raw_fallback, observed 2026-08-10T17:17:23.317180Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation eb8c449b-5563-4ffa-a8ac-a40f5368dfe9 · outbound

This paper cites Optimal compilation of parametrised quantum circuits.

Enriched Categories for Parameterized Circuit Semantics Optimal compilation of parametrised quantum circuits

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-10T17:17:22.650438Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1a201bbe-05ed-4a37-8a1b-5a4b497e01fa · outbound

This paper cites Acar & Zhihao Jia (2022): Quartz: superoptimization of quantum circuits.

Enriched Categories for Parameterized Circuit Semantics Acar & Zhihao Jia (2022): Quartz: superoptimization of quantum circuits

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-10T17:17:22.654305Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0ae53c95-8eb8-4c41-85fd-00b222f204ef · outbound

This paper cites A collection C0.

Enriched Categories for Parameterized Circuit Semantics A collection C0

Reference 26

Resolution: parse uncertain; raw_fallback, observed 2026-08-10T17:17:23.307387Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 9b111fa0-1e05-476a-a730-938df5bbf33f · outbound

This paper cites For each X ,Y ∈ C0, a set C (X ,Y ) whose elements are denoted X f − →Y.

Enriched Categories for Parameterized Circuit Semantics For each X ,Y ∈ C0, a set C (X ,Y ) whose elements are denoted X f − →Y

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T17:17:23.297221Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation ed7cb7ba-3de2-4d4c-ab4d-fe8070495dbd · outbound

This paper cites For each X ∈ C0, a morphism 1 X ∈ C (X , X ).

Enriched Categories for Parameterized Circuit Semantics For each X ∈ C0, a morphism 1 X ∈ C (X , X )

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T17:17:23.285540Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation d8af035e-32f8-4bc0-9af0-201d64e84648 · outbound

This paper cites For each X ,Y, Z ∈ C0, a function ◦ : C (Y, Z) × C (X ,Y ) → C (X , Z).

Enriched Categories for Parameterized Circuit Semantics For each X ,Y, Z ∈ C0, a function ◦ : C (Y, Z) × C (X ,Y ) → C (X , Z)

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T17:17:23.276373Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation c9421f24-48ee-4787-8204-5554280f6613 · outbound

This paper cites For each X f − →Y g − →Z h− →Z, h ◦ (g ◦ f ) = (h ◦ g) ◦ f.

Enriched Categories for Parameterized Circuit Semantics For each X f − →Y g − →Z h− →Z, h ◦ (g ◦ f ) = (h ◦ g) ◦ f

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T17:17:23.266981Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 0159deb7-3e2e-4185-b4b3-64f49a42c789 · outbound

This paper cites For each X f − →Y , 1Y ◦ f = f = f ◦ 1X.

Enriched Categories for Parameterized Circuit Semantics For each X f − →Y , 1Y ◦ f = f = f ◦ 1X

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T17:17:23.255826Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 031d6706-0e96-4355-953e-cd7b3d099cd5 · outbound

This paper cites For each X f − →Y g − →Z, FX,Z(g ◦ f ) = FY,Z(g) ◦ FX,Y ( f ).

Enriched Categories for Parameterized Circuit Semantics For each X f − →Y g − →Z, FX,Z(g ◦ f ) = FY,Z(g) ◦ FX,Y ( f )

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T17:17:23.245699Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 7a1e275d-26e9-4774-993a-30b808f85ca0 · outbound

This paper cites For each X ∈ C0, FX,X (1X ) = 1F0(X).

Enriched Categories for Parameterized Circuit Semantics For each X ∈ C0, FX,X (1X ) = 1F0(X)

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T17:17:23.235492Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 73418061-89a1-4e62-8737-b44b31f91452 · outbound

This paper cites A functor ⊗ : C × C → C.

Enriched Categories for Parameterized Circuit Semantics A functor ⊗ : C × C → C

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T17:17:23.224915Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation b40c3c27-8f22-430f-be47-f4ea92edd83d · outbound

This paper cites An object I ∈ C0.

Enriched Categories for Parameterized Circuit Semantics An object I ∈ C0

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T17:17:23.214350Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation cb269ce4-d0f5-4348-8ca5-5725ad92b844 · outbound

This paper cites A natural isomorphism α : (−) ⊗ ((−) ⊗ (−)) ⇒ ((−) ⊗ (−)) ⊗ (−).

Enriched Categories for Parameterized Circuit Semantics A natural isomorphism α : (−) ⊗ ((−) ⊗ (−)) ⇒ ((−) ⊗ (−)) ⊗ (−)

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T17:17:23.202606Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 25d1ae17-eb5a-40e7-83fc-c01ee21edcbb · outbound

This paper cites Natural isomorphism λ : I ⊗ (−) ⇒ (−) and ρ : (−) ⊗ I ⇒ (−).

Enriched Categories for Parameterized Circuit Semantics Natural isomorphism λ : I ⊗ (−) ⇒ (−) and ρ : (−) ⊗ I ⇒ (−)

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T17:17:23.192007Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation e4499e8a-db2e-4b91-95a0-3b409bc250a7 · outbound

This paper cites J = F(I).

Enriched Categories for Parameterized Circuit Semantics J = F(I)

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T17:17:23.181907Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation f116e6b3-0580-41e0-be64-035b2fdaeab7 · outbound

This paper cites If X f − →Y and X ′ g − →Y ′, then F( f ⊗ g) = F( f ) ⊠ F(g).

Enriched Categories for Parameterized Circuit Semantics If X f − →Y and X ′ g − →Y ′, then F( f ⊗ g) = F( f ) ⊠ F(g)

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T17:17:23.171642Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 7a263a1b-c52a-4f1a-a0d1-efc9194eb14a · outbound

This paper cites For each X ,Y, Z ∈ C0, F(α (X,Y,Z)) = a(X,Y,Z), F(λ X ) = ℓX , and F(ρ X ) = rX.

Enriched Categories for Parameterized Circuit Semantics For each X ,Y, Z ∈ C0, F(α (X,Y,Z)) = a(X,Y,Z), F(λ X ) = ℓX , and F(ρ X ) = rX

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T17:17:23.161557Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Pith citing papers

No inbound Pith citation observations are available.