Paper Citation Record · LEDGER

Grothendieck's theorem for Bessel sequences

As of 17 August 2026, this Paper Citation Record lists 23 of 23 outbound references and 0 inbound Pith citation observations for arXiv:2608.12280.

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

pith.paper-citation-record.v1
2608.12280 v1

Coverage vector

measured 23 of 23 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-16T00:20:06.588515Z

measured 23 of 23 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-17T06:30:58.91139+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

23 of 23 outbound references displayed

verified exact1
verified fuzzy13
unresolved9
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 0ec7cc7f-b5e6-4b9f-b07e-424e7d8a3d09 · outbound

This paper cites Quadratic forms on graphs.

Grothendieck's theorem for Bessel sequences Quadratic forms on graphs

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T00:20:06.990060Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation d849f7f7-0c10-4b1d-91f3-21d02e99d2bc · outbound

This paper cites Formalization of De Giorgi--Nash--Moser Theory in Lean.

Grothendieck's theorem for Bessel sequences Formalization of De Giorgi--Nash--Moser Theory in Lean

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-16T00:20:06.495046Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f332d2bc-b7c6-4030-9e53-b1f15e21fe45 · outbound

This paper cites Ball and Maria Prodromou.

Grothendieck's theorem for Bessel sequences Ball and Maria Prodromou

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T00:20:06.976952Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 02c0f240-5e8c-451b-9432-0e0a8ca36c8c · outbound

This paper cites Weak convergence of measures: Applications in probability , volume No.

Grothendieck's theorem for Bessel sequences Weak convergence of measures: Applications in probability , volume No

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T00:20:06.963685Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 3a728feb-4c41-4062-9c75-9f0659c89c09 · outbound

This paper cites Maximizing quadratic programs: extending Grothendieck’s inequality.

Grothendieck's theorem for Bessel sequences Maximizing quadratic programs: extending Grothendieck’s inequality

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T00:20:06.949274Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 83cfc2fd-69ea-40d4-8637-7771f305f482 · outbound

This paper cites Cantor measures with odd base do not admit Fourier frames.

Grothendieck's theorem for Bessel sequences Cantor measures with odd base do not admit Fourier frames

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-16T00:20:06.512881Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4467bc45-0d95-4bd9-a875-bf7531f8d910 · outbound

This paper cites The Lean 4 theorem prover and programming language.

Grothendieck's theorem for Bessel sequences The Lean 4 theorem prover and programming language

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T00:20:06.936071Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 1c55c17d-83ce-4358-a8b6-e0656a0b240b · outbound

This paper cites Résumé de la théorie métrique des produits tensoriels topologiques.

Grothendieck's theorem for Bessel sequences Résumé de la théorie métrique des produits tensoriels topologiques

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T00:20:06.922693Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation eda272a2-12ab-48c7-8c4c-0918dd1bce6d · outbound

This paper cites Progress in Formalizing Sphere Packing in Dimension 8.

Grothendieck's theorem for Bessel sequences Progress in Formalizing Sphere Packing in Dimension 8

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-16T00:20:06.526443Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c1281f90-5959-49a4-9124-ab0e44bbc0cc · outbound

This paper cites Semi-autonomous formalization of the Vlasov-Maxwell-Landau equilibrium.

Grothendieck's theorem for Bessel sequences Semi-autonomous formalization of the Vlasov-Maxwell-Landau equilibrium

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-16T00:20:06.530953Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a71e915c-cb5d-40d0-8d5c-52f658f99da0 · outbound

This paper cites Theorie der Orthogonalreihen , volume VI of Mono- grafje Matematyczne.

Grothendieck's theorem for Bessel sequences Theorie der Orthogonalreihen , volume VI of Mono- grafje Matematyczne

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T00:20:06.910026Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation ad982102-db78-466d-ac1d-42fee9ac5d83 · outbound

This paper cites an unresolved cited work.

Grothendieck's theorem for Bessel sequences Unresolved cited work

Reference 12

Resolution: unresolved; raw_fallback, observed 2026-08-16T00:20:06.897916Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 5939b13a-7915-4184-b823-952d81f19394 · outbound

This paper cites an unresolved cited work.

Grothendieck's theorem for Bessel sequences Unresolved cited work

Reference 13

Resolution: unresolved; raw_fallback, observed 2026-08-16T00:20:06.885833Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 486202b8-ca56-41c7-aafd-7009245e9581 · outbound

This paper cites Kashin and Stanislaw J.

Grothendieck's theorem for Bessel sequences Kashin and Stanislaw J

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T00:20:06.872716Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation b41e4a46-fedc-4b64-8f7d-292045f84eb0 · outbound

This paper cites Relaxations of quadratic programs in operator theory and system analysis.

Grothendieck's theorem for Bessel sequences Relaxations of quadratic programs in operator theory and system analysis

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T00:20:06.858810Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation a9d15f27-325f-4df1-ab30-5975a6835976 · outbound

This paper cites Menchoff.

Grothendieck's theorem for Bessel sequences Menchoff

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T00:20:06.842915Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 4c8afb82-5629-407f-867d-0ec16a7fd1fa · outbound

This paper cites A Formalization of the Mean-Field Derivation of the Vlasov Equation.

Grothendieck's theorem for Bessel sequences A Formalization of the Mean-Field Derivation of the Vlasov Equation

Reference 17

Resolution: verified exact; local_arxiv, observed 2026-08-16T00:20:06.628112Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 79610342-3a82-4338-ab93-c0058f0ac825 · outbound

This paper cites On maximization of quadratic form over intersection of ellipsoids with common center.

Grothendieck's theorem for Bessel sequences On maximization of quadratic form over intersection of ellipsoids with common center

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T00:20:06.829092Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 82f3dce9-8eb2-4c4a-af3f-2aa266e67839 · outbound

This paper cites an unresolved cited work.

Grothendieck's theorem for Bessel sequences Unresolved cited work

Reference 19

Resolution: unresolved; raw_fallback, observed 2026-08-16T00:20:06.814897Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 71055797-e2ad-475c-8550-de6bda0eb5f2 · outbound

This paper cites an unresolved cited work.

Grothendieck's theorem for Bessel sequences Unresolved cited work

Reference 20

Resolution: unresolved; raw_fallback, observed 2026-08-16T00:20:06.801494Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 8780cc67-fd6b-47b7-b94d-8a44f40c9c15 · outbound

This paper cites Grothendieck’s theorem, past and present.

Grothendieck's theorem for Bessel sequences Grothendieck’s theorem, past and present

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T00:20:06.787560Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation c854f12e-999c-4341-bfdf-1b262fd585c1 · outbound

This paper cites Tyrrell Rockafellar.

Grothendieck's theorem for Bessel sequences Tyrrell Rockafellar

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-16T00:20:06.584207Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 24ce3079-56a8-487b-887e-69bf20c6c348 · outbound

This paper cites The Lean mathematical library.

Grothendieck's theorem for Bessel sequences The Lean mathematical library

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T00:20:06.764746Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Pith citing papers

No inbound Pith citation observations are available.