{"as_of":"2026-08-13T06:33:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:9bbd3e018473eddc840ee246233da79ecb4c8edc397616ac8b2da570c0bb3779","coverage":[{"denominator":44,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":44,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T15:33:03.881826Z","state":"measured"},{"denominator":44,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":44,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-13T06:32:02.005865+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/2411.14268/citation-record","integrity":"/paper/2411.14268/integrity","json":"/paper/2411.14268/citation-record.json","paper":"/paper/2411.14268"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:03.730108Z","title":"A combinatorial characterization of resolution width","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.730108Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:55f48f072d3a79586161598a3891c0f8e08bfdb0378a9a7729ba8f260340d200","observation_id":"287342d2-85e4-4c5f-ac1d-9b58140dc021","resolution":{"observed_at":"2026-08-12T15:33:03.730108Z","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.2016.24","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:04.144195Z","title":"The complexity of hex and the J ordan curve theorem","venue":null,"work_id":"4f0b7d05-b9e8-424e-84f5-c2360ae7894f","year":2016},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.734700Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:2b639696f197b6380644d2ccf105c6c2de76b52331e4f4722b6fd24c52478b57","observation_id":"8dce5a1b-ced6-4226-bdd9-7d68079b45b9","resolution":{"observed_at":"2026-08-12T15:33:04.147955Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1137/130914085","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:04.132819Z","title":"Time-space trade-offs in resolution: Superpolynomial lower bounds for superlinear space","venue":null,"work_id":"4ffca27c-8cb8-4da8-9f06-27f95893de9e","year":2016},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.738733Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:aa5563dc0f3aaacd3086856e064f8b7b38d4054df88d26351ca78f79cae00c36","observation_id":"af63d78c-e336-4519-bf5d-ed095e61f9c2","resolution":{"observed_at":"2026-08-12T15:33:04.136809Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/focs.2012.48","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:04.122306Z","title":"On the complexity of finding narrow proofs","venue":null,"work_id":"3c973276-1caa-411b-87a1-c57e3d76eae5","year":2012},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.742657Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:1e2ec9eb4764c9092e981d4113de2a3d4d0ef4e232afff660bd65e24c3c8201a","observation_id":"6fa6edd6-6712-416f-a664-1aa9ecb12b95","resolution":{"observed_at":"2026-08-12T15:33:04.125830Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2407.17947","last_updated":"2025-07-10T10:11:05Z","snapshot_observed_at":"2026-08-12T23:14:58.304700Z","submitted_at":"2024-07-25T11:07:28Z","title":"Supercritical Size-Width Tree-Like Resolution Trade-Offs for Graph Isomorphism","version":2},"cited_work":{"arxiv_id":"2407.17947","doi":"10.48550/arxiv.2407.17947","metadata_source":"pith","pith_arxiv_id":"2407.17947","snapshot_observed_at":"2026-08-12T18:16:22.223912Z","title":"Supercritical Size-Width Tree-Like Resolution Trade-Offs for Graph Isomorphism","venue":"cs.LO","work_id":"e4b1e730-2b3e-4af2-83c5-43b98f233baf","year":2024},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.746425Z"},"links":{"cited_paper":"/paper/2407.17947","citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:44b8546728ee825cd36934ef87bdc19a205c5ff8c854441b7023858e2493fb54","observation_id":"ada46bd1-fa69-4755-9e88-c49986bc4d18","resolution":{"observed_at":"2026-08-12T15:33:04.115472Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1137/16m1109072","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:04.097716Z","title":"Supercritical space-width trade-offs for resolution","venue":null,"work_id":"ad061a75-2123-4f96-ad20-f1612652c0fd","year":2020},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.751219Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:9b09d5ffb58f9ba70a99c9b6b64cd7f3779c1eba455651882792b04862bc1259","observation_id":"829038c2-cff0-4c5d-b1e1-7cd904dd2012","resolution":{"observed_at":"2026-08-12T15:33:04.101315Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3195257","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:04.087278Z","title":"Near-optimal lower bounds on quantifier depth and W eisfeiler-- L eman refinement steps","venue":null,"work_id":"aa6c5904-a22f-47ed-8c16-45b90f1b29d0","year":2023},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.755157Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:29fb7639171c6b92a232d454d35a7529e675fecc671a62f371ff1791dd452c4b","observation_id":"84b4dd1a-8201-4d80-a551-d48b37c949fc","resolution":{"observed_at":"2026-08-12T15:33:04.090931Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:33:03.758815Z","title":"Some trade-off results for polynomial calculus: extended abstract","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.758815Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:e669d45b280afb4d0ac735c9911765120fc694bbe1ba7794be958faf56e93206","observation_id":"71db5b47-3d98-4a59-8c99-c02a5a3823a5","resolution":{"observed_at":"2026-08-12T15:33:03.758815Z","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.1109/ccc.2006.26","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:04.077185Z","title":"Making hard problems harder","venue":null,"work_id":"e99d135f-0971-4993-be79-cb0e38c8dd00","year":2006},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.762296Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:f9a877fafaeb8305435a88ee5a1f98854f09ec09f1c44f746e257524541d833f","observation_id":"f770fc58-0470-4ffd-ae2d-1dddc0e027d2","resolution":{"observed_at":"2026-08-12T15:33:04.080673Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:04.900706Z","title":"A simple supercritical tradeoff between size and height in resolution","venue":null,"work_id":"d5e45176-9942-4d19-8bc5-b066193c2a64","year":2024},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.765693Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:7a52f481ede8d2e4caa3332f056ce3fef4c99ddaed61545696a5dbbd7297fc20","observation_id":"144f4899-04d9-4507-a468-a5e0065a4a78","resolution":{"observed_at":"2026-08-12T15:33:04.904402Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"5827.37583","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:04.786466Z","title":"Short proofs are narrow---resolution made simple","venue":null,"work_id":"a94520ad-a981-4e12-a89f-9a4d2925163b","year":2001},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.769747Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:c6d64c3037bb99797046736e44180c3297eeb98f2b9c0b11dfe5704cfcdc8cde","observation_id":"28f2c807-a8f2-4639-8a85-4c988306eefe","resolution":{"observed_at":"2026-08-12T15:33:04.791808Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:04.890039Z","title":"Super-critical trade-offs in resolution over parities via lifting","venue":null,"work_id":"78d30bdf-18a4-4105-89e3-e2479b9b9ccb","year":2024},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.773381Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:2d27cdd5c2a00977a759b163b22638aa12a3b1e96bf543c9eb5053d073930a19","observation_id":"651e54e6-dad8-4b0b-b91d-5bb87e07ab75","resolution":{"observed_at":"2026-08-12T15:33:04.893575Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:04.879678Z","title":"Truly supercritical trade-offs for resolution, cutting planes, monotone circuits, and W eisfeiler-- L eman","venue":null,"work_id":"7dc19bbd-5833-4bf2-9ad0-f99bdaac56a4","year":2024},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.776895Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:8c94b115a8bd7fae70e8214bcb43fe60b9d1a63007f51d653581bee8f0a626fc","observation_id":"4a779999-948b-4aa3-99ef-fca00c257f5a","resolution":{"observed_at":"2026-08-12T15:33:04.883771Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:33:03.780230Z","title":"Lifting with simple gadgets and applications to circuit and proof complexity","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.780230Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:667ab047aab9069a710dd687a1f6aa6fb2767a909189dbb0cb1b0e4f6cfd848a","observation_id":"bab3fcd3-321f-4fc1-820c-70d05154bc80","resolution":{"observed_at":"2026-08-12T15:33:03.780230Z","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-12T15:33:03.784104Z","title":"How limited interaction hinders real communication (and what it means for proof and circuit complexity)","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.784104Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:79069036036363df88c47e5ed90b2347a4bcf9115e046de2efad5326140f872a","observation_id":"1e70781c-b4fe-4290-b2ac-5e8ed8128e45","resolution":{"observed_at":"2026-08-12T15:33:03.784104Z","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.ccc.2021.6","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:04.061100Z","title":"On the power and limitations of branch and cut","venue":null,"work_id":"ea1cd265-7808-4cb5-90f8-9b1ab9d9361a","year":2021},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.787415Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:4f325c60a949b20f0429f642e927c3966b78ebff3e21f39d4bfba0bc5d17faa2","observation_id":"b39743d2-849b-42d4-b90c-93e66daa18df","resolution":{"observed_at":"2026-08-12T15:33:04.065133Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.jcss.2020.05.007","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:04.051148Z","title":"Unique end of potential line","venue":null,"work_id":"ff04cf63-9ac6-4c1f-989b-2d455581ba20","year":2020},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.790714Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:d84544149469bedb2cc2be5a90c8bbd7329aba00c3bf5fd03429052561ee66a1","observation_id":"a120f1c0-e0d9-4a3f-9b23-b35e9ab2571a","resolution":{"observed_at":"2026-08-12T15:33:04.054453Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.itcs.2022.70","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:04.041587Z","title":"Extremely deep proofs","venue":null,"work_id":"ef2eede0-3d51-46da-99cf-ab234f6d64ab","year":2022},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.794187Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:974712f8894723dacc0329ec4f8a86887fb482bfe47360ecdce7968480aefe3b","observation_id":"01a0073b-2c3c-4c3f-a6cb-da8ba31f03ca","resolution":{"observed_at":"2026-08-12T15:33:04.045013Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"6698.27685","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:04.669498Z","title":"A characterization of span program size and improved lower bounds for monotone span programs","venue":null,"work_id":"a2410be3-c57c-46eb-9f0b-39c3ed48e3c6","year":1998},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.797544Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:f2377f2647188474348e7dc39d49253c826ceb34a6b8345bb5460592d594a731","observation_id":"60257c04-a5b5-44c2-847d-1189ebcf04e9","resolution":{"observed_at":"2026-08-12T15:33:04.674854Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:33:03.801012Z","title":"Monotone circuit lower bounds from resolution","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.801012Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:b5276887041b21a2455ad8f39ad543a549add42d5b9406fdc8fd67f97b7ee7b3","observation_id":"418b672e-6906-40d0-a458-ec137383be9a","resolution":{"observed_at":"2026-08-12T15:33:03.801012Z","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.1137/22m1498346","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:04.025398Z","title":"Further collapses in TFNP","venue":null,"work_id":"521c5e73-ca27-4dac-b709-1c78de5a8582","year":2024},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.804284Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:04ca51413e2023ba55233606bcb45c39be6e419a5ad06f0910c2c99a40e96199","observation_id":"87772dba-3d75-4f5f-a1ef-e4747546b49e","resolution":{"observed_at":"2026-08-12T15:33:04.028947Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:33:03.807630Z","title":"Separations in proof complexity and TFNP","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.807630Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:5bef177b35556135f331d6a556344dd49b2bf9205d6e6b9ee34582d9e4e7afcc","observation_id":"a1ce7ec3-65d5-4197-a4d1-e78719b4e816","resolution":{"observed_at":"2026-08-12T15:33:03.807630Z","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-12T15:33:03.810887Z","title":"The iteration number of the W eisfeiler-- L eman algorithm","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.810887Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:ced916789430e6e16bbf265dbcb5e3e78370581de6b5d829196f2c4126cd6c9c","observation_id":"55fd56f4-c9c5-4e6d-bd53-5da1b9b70fc2","resolution":{"observed_at":"2026-08-12T15:33:03.810887Z","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-12T15:33:03.814082Z","title":"Compressing CFI graphs and lower bounds for the W eisfeiler-- L eman refinements","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.814082Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:f1561a076ee9a952b1e9c526385b106c640d45ef45dfa647c239e5aef1eed5da","observation_id":"56b92ba0-f3c5-4001-8801-664715d23590","resolution":{"observed_at":"2026-08-12T15:33:03.814082Z","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-12T15:33:03.817423Z","title":"Hardness condensation by restriction","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.817423Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:7eae421bc423b4e1687ac456cd22092e90385ecc57e371e77ecc36a3965de504","observation_id":"f7f1ea91-f83e-4526-a56a-63cb32e5a5b7","resolution":{"observed_at":"2026-08-12T15:33:03.817423Z","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-12T15:33:03.820551Z","title":"Communication lower bounds via critical block sensitivity","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.820551Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:5a07ea2bdf11e136bd3721846a317779bd4c6f89fc0e2eab9b36aa5dec04098f","observation_id":"3cb029bf-81a4-465c-94bf-67951a0478f1","resolution":{"observed_at":"2026-08-12T15:33:03.820551Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:04.869918Z","title":"Unpublished manuscript, 2024","venue":null,"work_id":"f991c535-1467-4e2a-b063-8dd59e146d8b","year":2024},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.823944Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:a7ffa2565d33b8f3e4b405b35fb101a36782dc706ddf04c9ae149d595b677b18","observation_id":"66d2d0ea-c42f-471d-b9d1-c4af6eb63964","resolution":{"observed_at":"2026-08-12T15:33:04.873240Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:33:03.827560Z","title":"Random formulas, monotone circuits, and interpolation","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.827560Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:e68c23a4827f75b340f5179a982375ea905d3390770e748791a3850e3cb9a100","observation_id":"cac6f373-db3d-4140-9621-1b38040b18f6","resolution":{"observed_at":"2026-08-12T15:33:03.827560Z","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.ccc.2024.13","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:03.997138Z","title":"Hard submatrices for non-negative rank and communication complexity","venue":null,"work_id":"f404bee7-82d8-43d3-bddc-047e1b271ac7","year":2024},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.830964Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:4ceea7e58af20c7f4b85324e397ec95e9b4aaf42896cb4aafa544c9fc1882ef3","observation_id":"b7dd79ee-2e2c-4679-b2cc-642084d12f7a","resolution":{"observed_at":"2026-08-12T15:33:04.000904Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:33:03.834199Z","title":"Boolean Function Complexity: Advances and Frontiers , volume 27 of Algorithms and Combinatorics","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.834199Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:e5fc1e10628965e98be7d819dee1e9c39ad5166a90717f9972b01f218162362d","observation_id":"08b4376b-0231-4d28-a57f-91a2cf654baa","resolution":{"observed_at":"2026-08-12T15:33:03.834199Z","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-12T15:33:03.837864Z","title":"On monotone formulae with restricted depth","venue":null,"work_id":null,"year":1984},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.837864Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:19a25d9fea71b26a5036f668cb8ad5ad7e5b30c0ac6ef91c0d00b59997b9e67b","observation_id":"f7d066f0-15d2-4864-a605-968597c8e341","resolution":{"observed_at":"2026-08-12T15:33:03.837864Z","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":"2212.62265","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:04.358662Z","title":"Monotone circuits for connectivity require super-logarithmic depth","venue":null,"work_id":"b356455b-83aa-4e62-ada0-fa2d9faf2185","year":1988},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.841213Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:602089c69728a613c1a780a1600a1ea4df598ce596cb15b3fe4b4ca06cee53ff","observation_id":"21e57994-c14d-4688-b20c-ae3efb079588","resolution":{"observed_at":"2026-08-12T15:33:04.366733Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:33:03.845046Z","title":"Lifting with sunflowers","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.845046Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:b6eecbd1d4514592b0b96bb1b4445a0b8d9a6234c164e8cec81323276d621977","observation_id":"c7cb35cd-1552-4445-9a5c-d0540ba1f84a","resolution":{"observed_at":"2026-08-12T15:33:03.845046Z","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.jcss.2023.04.006","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:03.973121Z","title":"Space characterizations of complexity measures and size-space trade-offs in propositional proof systems","venue":null,"work_id":"15e3bf27-3030-4628-99c6-50127fb1f989","year":2023},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.848274Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:5e90101dbbbcb97066be2a5b71be9288ce4b218eca857aa4989c724dfab72edb","observation_id":"8d877988-e20c-4cb3-b9c2-3c008a75abec","resolution":{"observed_at":"2026-08-12T15:33:03.977073Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.2307/2589349","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:03.962020Z","title":"Proofs as games","venue":null,"work_id":"09475550-572d-4336-bef8-2d0ec1178d71","year":2000},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.851703Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:960cab221a0bac30849714b0f42c884073091df463b1147b8790ac36f92deb73","observation_id":"db1bfc2d-8bee-4463-bcc6-d607e3a88462","resolution":{"observed_at":"2026-08-12T15:33:03.965850Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:33:03.855334Z","title":"Applications of matrix methods to the theory of lower bounds in computational complexity","venue":null,"work_id":null,"year":1990},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.855334Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:dccc192170fd7b88167b09be832633cc2ee53d2d51590963f2fdc9bce870c9f5","observation_id":"778befd1-b280-4da8-af97-722236feb10c","resolution":{"observed_at":"2026-08-12T15:33:03.855334Z","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/2858790","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:03.945388Z","title":"A new kind of tradeoffs in propositional proof complexity","venue":null,"work_id":"efb43846-a0a6-42e4-9055-eb73ce7b96b8","year":2016},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.858742Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:25f37332db5e16cd99684b3bc738b803d27df2f3f803fa4310eafba465e64b56","observation_id":"e0283f96-25c4-416f-b2a3-1cf66d3a49df","resolution":{"observed_at":"2026-08-12T15:33:03.948961Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s00037-017-0163-1","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:03.935124Z","title":"On space and depth in resolution","venue":null,"work_id":"a4b9e9a0-7cec-4791-a9b9-80183f133ca0","year":2017},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.861963Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:c40b15c9592784ef9d33c01bf933f81bf07fd9898ead5b4190993340e0c5988f","observation_id":"b2321f59-4844-471d-afca-5288cb801fee","resolution":{"observed_at":"2026-08-12T15:33:03.938731Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2016.0840","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:04.294308Z","title":"On the width of semialgebraic proofs and algorithms","venue":null,"work_id":"2306689d-9f53-4829-867c-ed4d1f8de55d","year":2017},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.865306Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:7dbf11d346252fd5c4df17bc9a8cdf56c60497b168fbcedb7ed4c6379936dcdf","observation_id":"b3ecc054-1342-4af1-868c-2a59261bb41c","resolution":{"observed_at":"2026-08-12T15:33:04.299498Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:33:03.868429Z","title":"Separation of the monotone NC hierarchy","venue":null,"work_id":null,"year":1999},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.868429Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:1041f493b3e8f4571b368bb1ec9b3fadd08f17dd91944753b222dea2b3558cac","observation_id":"fea28b2e-ea41-4f3c-a9f5-a74a1a4cb437","resolution":{"observed_at":"2026-08-12T15:33:03.868429Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:04.859163Z","title":"Unified Lower Bounds for Monotone Computation","venue":null,"work_id":"0dc2e98f-1eb7-4cf5-a447-2c351aecfb4a","year":2018},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.871907Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:d74feccf0feb94c916bb902a52e9aa467be51c42c6ad7b80181ff87ab665fd3f","observation_id":"f34a078e-3d2d-4874-ab43-89c06b1aacbb","resolution":{"observed_at":"2026-08-12T15:33:04.863298Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.ccc.2015.392","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:03.916139Z","title":"Correlation bounds against monotone NC ^1","venue":null,"work_id":"dada58db-6662-4e91-a466-63461f71c8ac","year":2015},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.875007Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:0cb7acfadb88b0a34b1ca8ddc8c7949b19098295177e4af95a72fa6f33c6abe0","observation_id":"d38c7b05-8189-4f50-b97b-c05a71d65eea","resolution":{"observed_at":"2026-08-12T15:33:03.921411Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:33:03.878293Z","title":"Formula size-depth tradeoffs for iterated sub-permutation matrix multiplication","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.878293Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:6bdf638b26663f479c58636ce23ab72f78aa9b75a89abd130bb47d8847c59911","observation_id":"b7b4a639-3f89-49a1-8078-4f0f6f48c36a","resolution":{"observed_at":"2026-08-12T15:33:03.878293Z","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-12T15:33:03.881826Z","title":"A switching lemma for small restrictions and lower bounds for k - DNF resolution","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.881826Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:162ef71a4cea87bf32532e061ca165fd9a22545a199a8ed219965eb71a9e4eae","observation_id":"053e35c7-a15d-485a-b014-45e282a15ee2","resolution":{"observed_at":"2026-08-12T15:33:03.881826Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","latest_version":1,"primary_category":"cs.CC","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits"},"reference_resolution":{"displayed":44,"state_counts":{"malformed_identifier":0,"metadata_mismatch":2,"parse_uncertain":0,"unresolved":18,"verified_exact":19,"verified_fuzzy":5},"total_outbound_references":44},"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-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"thesis":"As of 13 August 2026, this Paper Citation Record lists 44 of 44 outbound references and 0 inbound Pith citation observations for arXiv:2411.14268."}