Paper Citation Record · LEDGER

Supercritical Tradeoffs for Monotone Circuits

As of 15 August 2026, this Paper Citation Record lists 44 of 44 outbound references and 1 inbound Pith citation observation for arXiv:2411.14268.

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

pith.paper-citation-record.v1
2411.14268 v1

Coverage vector

measured 44 of 44 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-12T15:33:03.881826Z

measured 45 of 45 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 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-14T04:18:58.406537Z

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

44 of 44 outbound references displayed

verified exact19
verified fuzzy5
unresolved18
parse uncertain0
malformed identifier0
metadata mismatch2

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 287342d2-85e4-4c5f-ac1d-9b58140dc021 · outbound

This paper cites A combinatorial characterization of resolution width.

Supercritical Tradeoffs for Monotone Circuits A combinatorial characterization of resolution width

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-12T15:33:03.730108Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8dce5a1b-ced6-4226-bdd9-7d68079b45b9 · outbound

This paper cites The complexity of hex and the J ordan curve theorem.

Supercritical Tradeoffs for Monotone Circuits The complexity of hex and the J ordan curve theorem

Reference 2

Resolution: verified exact; doi, observed 2026-08-12T15:33:04.147955Z

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 af63d78c-e336-4519-bf5d-ed095e61f9c2 · outbound

This paper cites Time-space trade-offs in resolution: Superpolynomial lower bounds for superlinear space.

Supercritical Tradeoffs for Monotone Circuits Time-space trade-offs in resolution: Superpolynomial lower bounds for superlinear space

Reference 3

Resolution: verified exact; doi, observed 2026-08-12T15:33:04.136809Z

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 6fa6edd6-6712-416f-a664-1aa9ecb12b95 · outbound

This paper cites On the complexity of finding narrow proofs.

Supercritical Tradeoffs for Monotone Circuits On the complexity of finding narrow proofs

Reference 4

Resolution: verified exact; doi, observed 2026-08-12T15:33:04.125830Z

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 ada46bd1-fa69-4755-9e88-c49986bc4d18 · outbound

This paper cites Supercritical Size-Width Tree-Like Resolution Trade-Offs for Graph Isomorphism.

Supercritical Tradeoffs for Monotone Circuits Supercritical Size-Width Tree-Like Resolution Trade-Offs for Graph Isomorphism

Reference 5

Resolution: verified exact; local_arxiv, observed 2026-08-12T15:33:04.115472Z

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 829038c2-cff0-4c5d-b1e1-7cd904dd2012 · outbound

This paper cites Supercritical space-width trade-offs for resolution.

Supercritical Tradeoffs for Monotone Circuits Supercritical space-width trade-offs for resolution

Reference 6

Resolution: verified exact; doi, observed 2026-08-12T15:33:04.101315Z

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 84b4dd1a-8201-4d80-a551-d48b37c949fc · outbound

This paper cites Near-optimal lower bounds on quantifier depth and W eisfeiler-- L eman refinement steps.

Supercritical Tradeoffs for Monotone Circuits Near-optimal lower bounds on quantifier depth and W eisfeiler-- L eman refinement steps

Reference 7

Resolution: verified exact; doi, observed 2026-08-12T15:33:04.090931Z

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 71db5b47-3d98-4a59-8c99-c02a5a3823a5 · outbound

This paper cites Some trade-off results for polynomial calculus: extended abstract.

Supercritical Tradeoffs for Monotone Circuits Some trade-off results for polynomial calculus: extended abstract

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-12T15:33:03.758815Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f770fc58-0470-4ffd-ae2d-1dddc0e027d2 · outbound

This paper cites Making hard problems harder.

Supercritical Tradeoffs for Monotone Circuits Making hard problems harder

Reference 9

Resolution: verified exact; doi, observed 2026-08-12T15:33:04.080673Z

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 144f4899-04d9-4507-a468-a5e0065a4a78 · outbound

This paper cites A simple supercritical tradeoff between size and height in resolution.

Supercritical Tradeoffs for Monotone Circuits A simple supercritical tradeoff between size and height in resolution

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:33:04.904402Z

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 28f2c807-a8f2-4639-8a85-4c988306eefe · outbound

This paper cites Short proofs are narrow---resolution made simple.

Supercritical Tradeoffs for Monotone Circuits Short proofs are narrow---resolution made simple

Reference 11

Resolution: metadata mismatch; raw_fallback, observed 2026-08-12T15:33:04.791808Z

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 651e54e6-dad8-4b0b-b91d-5bb87e07ab75 · outbound

This paper cites Super-critical trade-offs in resolution over parities via lifting.

Supercritical Tradeoffs for Monotone Circuits Super-critical trade-offs in resolution over parities via lifting

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:33:04.893575Z

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 4a779999-948b-4aa3-99ef-fca00c257f5a · outbound

This paper cites Truly supercritical trade-offs for resolution, cutting planes, monotone circuits, and W eisfeiler-- L eman.

Supercritical Tradeoffs for Monotone Circuits Truly supercritical trade-offs for resolution, cutting planes, monotone circuits, and W eisfeiler-- L eman

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:33:04.883771Z

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 bab3fcd3-321f-4fc1-820c-70d05154bc80 · outbound

This paper cites Lifting with simple gadgets and applications to circuit and proof complexity.

Supercritical Tradeoffs for Monotone Circuits Lifting with simple gadgets and applications to circuit and proof complexity

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-12T15:33:03.780230Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1e70781c-b4fe-4290-b2ac-5e8ed8128e45 · outbound

This paper cites How limited interaction hinders real communication (and what it means for proof and circuit complexity).

Supercritical Tradeoffs for Monotone Circuits How limited interaction hinders real communication (and what it means for proof and circuit complexity)

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-12T15:33:03.784104Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b39743d2-849b-42d4-b90c-93e66daa18df · outbound

This paper cites On the power and limitations of branch and cut.

Supercritical Tradeoffs for Monotone Circuits On the power and limitations of branch and cut

Reference 16

Resolution: verified exact; doi, observed 2026-08-12T15:33:04.065133Z

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 a120f1c0-e0d9-4a3f-9b23-b35e9ab2571a · outbound

This paper cites Unique end of potential line.

Supercritical Tradeoffs for Monotone Circuits Unique end of potential line

Reference 17

Resolution: verified exact; doi, observed 2026-08-12T15:33:04.054453Z

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 01a0073b-2c3c-4c3f-a6cb-da8ba31f03ca · outbound

This paper cites Extremely deep proofs.

Supercritical Tradeoffs for Monotone Circuits Extremely deep proofs

Reference 18

Resolution: verified exact; doi, observed 2026-08-12T15:33:04.045013Z

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 60257c04-a5b5-44c2-847d-1189ebcf04e9 · outbound

This paper cites A characterization of span program size and improved lower bounds for monotone span programs.

Supercritical Tradeoffs for Monotone Circuits A characterization of span program size and improved lower bounds for monotone span programs

Reference 19

Resolution: metadata mismatch; raw_fallback, observed 2026-08-12T15:33:04.674854Z

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 418b672e-6906-40d0-a458-ec137383be9a · outbound

This paper cites Monotone circuit lower bounds from resolution.

Supercritical Tradeoffs for Monotone Circuits Monotone circuit lower bounds from resolution

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-12T15:33:03.801012Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 87772dba-3d75-4f5f-a1ef-e4747546b49e · outbound

This paper cites Further collapses in TFNP.

Supercritical Tradeoffs for Monotone Circuits Further collapses in TFNP

Reference 21

Resolution: verified exact; doi, observed 2026-08-12T15:33:04.028947Z

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 a1ce7ec3-65d5-4197-a4d1-e78719b4e816 · outbound

This paper cites Separations in proof complexity and TFNP.

Supercritical Tradeoffs for Monotone Circuits Separations in proof complexity and TFNP

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-12T15:33:03.807630Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 55fd56f4-c9c5-4e6d-bd53-5da1b9b70fc2 · outbound

This paper cites The iteration number of the W eisfeiler-- L eman algorithm.

Supercritical Tradeoffs for Monotone Circuits The iteration number of the W eisfeiler-- L eman algorithm

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-12T15:33:03.810887Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 56b92ba0-f3c5-4001-8801-664715d23590 · outbound

This paper cites Compressing CFI graphs and lower bounds for the W eisfeiler-- L eman refinements.

Supercritical Tradeoffs for Monotone Circuits Compressing CFI graphs and lower bounds for the W eisfeiler-- L eman refinements

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-12T15:33:03.814082Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f7f1ea91-f83e-4526-a56a-63cb32e5a5b7 · outbound

This paper cites Hardness condensation by restriction.

Supercritical Tradeoffs for Monotone Circuits Hardness condensation by restriction

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-12T15:33:03.817423Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3cb029bf-81a4-465c-94bf-67951a0478f1 · outbound

This paper cites Communication lower bounds via critical block sensitivity.

Supercritical Tradeoffs for Monotone Circuits Communication lower bounds via critical block sensitivity

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-12T15:33:03.820551Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 66d2d0ea-c42f-471d-b9d1-c4af6eb63964 · outbound

This paper cites Unpublished manuscript, 2024.

Supercritical Tradeoffs for Monotone Circuits Unpublished manuscript, 2024

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:33:04.873240Z

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 cac6f373-db3d-4140-9621-1b38040b18f6 · outbound

This paper cites Random formulas, monotone circuits, and interpolation.

Supercritical Tradeoffs for Monotone Circuits Random formulas, monotone circuits, and interpolation

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-12T15:33:03.827560Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b7dd79ee-2e2c-4679-b2cc-642084d12f7a · outbound

This paper cites Hard submatrices for non-negative rank and communication complexity.

Supercritical Tradeoffs for Monotone Circuits Hard submatrices for non-negative rank and communication complexity

Reference 29

Resolution: verified exact; doi, observed 2026-08-12T15:33:04.000904Z

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 08b4376b-0231-4d28-a57f-91a2cf654baa · outbound

This paper cites Boolean Function Complexity: Advances and Frontiers , volume 27 of Algorithms and Combinatorics.

Supercritical Tradeoffs for Monotone Circuits Boolean Function Complexity: Advances and Frontiers , volume 27 of Algorithms and Combinatorics

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-12T15:33:03.834199Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f7d066f0-15d2-4864-a605-968597c8e341 · outbound

This paper cites On monotone formulae with restricted depth.

Supercritical Tradeoffs for Monotone Circuits On monotone formulae with restricted depth

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-12T15:33:03.837864Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 21e57994-c14d-4688-b20c-ae3efb079588 · outbound

This paper cites Monotone circuits for connectivity require super-logarithmic depth.

Supercritical Tradeoffs for Monotone Circuits Monotone circuits for connectivity require super-logarithmic depth

Reference 32

Resolution: verified exact; raw_fallback, observed 2026-08-12T15:33:04.366733Z

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 c7cb35cd-1552-4445-9a5c-d0540ba1f84a · outbound

This paper cites Lifting with sunflowers.

Supercritical Tradeoffs for Monotone Circuits Lifting with sunflowers

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-12T15:33:03.845046Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8d877988-e20c-4cb3-b9c2-3c008a75abec · outbound

This paper cites Space characterizations of complexity measures and size-space trade-offs in propositional proof systems.

Supercritical Tradeoffs for Monotone Circuits Space characterizations of complexity measures and size-space trade-offs in propositional proof systems

Reference 34

Resolution: verified exact; doi, observed 2026-08-12T15:33:03.977073Z

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 db1bfc2d-8bee-4463-bcc6-d607e3a88462 · outbound

This paper cites Proofs as games.

Supercritical Tradeoffs for Monotone Circuits Proofs as games

Reference 35

Resolution: verified exact; doi, observed 2026-08-12T15:33:03.965850Z

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 778befd1-b280-4da8-af97-722236feb10c · outbound

This paper cites Applications of matrix methods to the theory of lower bounds in computational complexity.

Supercritical Tradeoffs for Monotone Circuits Applications of matrix methods to the theory of lower bounds in computational complexity

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-12T15:33:03.855334Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e0283f96-25c4-416f-b2a3-1cf66d3a49df · outbound

This paper cites A new kind of tradeoffs in propositional proof complexity.

Supercritical Tradeoffs for Monotone Circuits A new kind of tradeoffs in propositional proof complexity

Reference 37

Resolution: verified exact; doi, observed 2026-08-12T15:33:03.948961Z

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 b2321f59-4844-471d-afca-5288cb801fee · outbound

This paper cites On space and depth in resolution.

Supercritical Tradeoffs for Monotone Circuits On space and depth in resolution

Reference 38

Resolution: verified exact; doi, observed 2026-08-12T15:33:03.938731Z

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 b3ecc054-1342-4af1-868c-2a59261bb41c · outbound

This paper cites On the width of semialgebraic proofs and algorithms.

Supercritical Tradeoffs for Monotone Circuits On the width of semialgebraic proofs and algorithms

Reference 39

Resolution: verified exact; raw_fallback, observed 2026-08-12T15:33:04.299498Z

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 fea28b2e-ea41-4f3c-a9f5-a74a1a4cb437 · outbound

This paper cites Separation of the monotone NC hierarchy.

Supercritical Tradeoffs for Monotone Circuits Separation of the monotone NC hierarchy

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-12T15:33:03.868429Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f34a078e-3d2d-4874-ab43-89c06b1aacbb · outbound

This paper cites Unified Lower Bounds for Monotone Computation.

Supercritical Tradeoffs for Monotone Circuits Unified Lower Bounds for Monotone Computation

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:33:04.863298Z

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 d38c7b05-8189-4f50-b97b-c05a71d65eea · outbound

This paper cites Correlation bounds against monotone NC ^1.

Supercritical Tradeoffs for Monotone Circuits Correlation bounds against monotone NC ^1

Reference 42

Resolution: verified exact; doi, observed 2026-08-12T15:33:03.921411Z

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 b7b4a639-3f89-49a1-8078-4f0f6f48c36a · outbound

This paper cites Formula size-depth tradeoffs for iterated sub-permutation matrix multiplication.

Supercritical Tradeoffs for Monotone Circuits Formula size-depth tradeoffs for iterated sub-permutation matrix multiplication

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-12T15:33:03.878293Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 053e35c7-a15d-485a-b014-45e282a15ee2 · outbound

This paper cites A switching lemma for small restrictions and lower bounds for k - DNF resolution.

Supercritical Tradeoffs for Monotone Circuits A switching lemma for small restrictions and lower bounds for k - DNF resolution

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-12T15:33:03.881826Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation 980fe6c1-837d-4b80-9db7-53d2003c8b48 · inbound

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability cites this paper.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability Supercritical Tradeoffs for Monotone Circuits

Reference 63

Resolution: unresolved; no resolver link, observed 2026-08-14T04:18:58.406537Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.