SeqSee: A schema-based approach to spectral sequence visualization

Dan Isaksen; Joey Beauvais-Feisthauer

REVIEW 3 major objections 5 minor 1 cited by

SeqSee: A schema-based approach to spectral sequence visualization

T0 review · 3 major / 5 minor · reviewed 2026-08-09 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read SeqSee claims that a minimal JSON schema can serve as a universal intermediate format for visualizing spectral sequences, splitting computation from display.

desk verdict A useful tooling paper with a real schema design whose 20-year generality claim outruns the evidence; the code is solid and honest, but the demonstration is too thin. read the letter →

arxiv 2501.18429 v2 pith:T5UU2CK6 submitted 2025-01-30 math.AT

Joey Beauvais-Feisthauer , Dan Isaksen This is my paper · ORCID

classification math.AT MSC 55-0455T18G40

keywords spectralsequencesAdamssequencevisualizationJSONschemaC-motivichomotopyinteractiveSVGintermediaterepresentationtheory

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

SeqSee is a software tool whose central claim is that spectral sequence visualization can be separated from spectral sequence computation by a standardized intermediate format. The paper defines a JSON schema with three parts—header, nodes, and edges—that records only the bigraded coordinates, elements, and relations a chart needs to show. A processing pipeline turns such a JSON file into a self-contained HTML page with an SVG figure and interactive JavaScript. The authors demonstrate this on the classical and C-motivic Adams spectral sequences and assert the schema is general enough to cover all of the spectral sequences they have worked with over the last twenty years. If that generality holds, SeqSee supplies a reusable boundary that lets projects computing spectral sequences in different formats converge on a single visualization layer.

What carries the argument

The central mechanism is the SeqSee JSON schema, an intermediate representation split into header, nodes, and edges. The header stores metadata and chart bounds; the nodes section maps element ids to integer bigraded coordinates, labels, and visual attributes; the edges section pairs source and target nodes to encode differentials and extensions. SeqSee works purely at the graphical level, plotting dots and lines at user-specified coordinates, so it is agnostic to grading conventions and to how the mathematical data was produced. The schema bears the argument because it is the single format that turns heterogeneous computation outputs into something one generic pipeline can render.

What would settle it

Take a chart from one of the other projects claimed to be in scope, such as the R-motivic stable stems, and convert it to JSON using only fields currently defined by the SeqSee schema. If any visual element of the original chart—a differential's slope or page, a node's multiplicity, an extension label—cannot be encoded without adding new fields, then the claimed generality fails.

Watch

Extended reading notes

Core claim

The paper's central claim is that a deliberately minimal JSON schema—header with metadata and chart bounds, a nodes dictionary keyed by element id and storing bigraded coordinates and labels, and an edges array connecting node pairs with mathematical and visual properties—is sufficient as an intermediate representation for spectral sequence charts. SeqSee consumes a file in this schema and emits a self-contained HTML file containing an SVG visualization and JavaScript interactivity. The demonstration on the classical and C-motivic Adams spectral sequences shows that dense charts with many nodes and edges render cleanly, and the paper asserts that the same schema handles charts from algebraic, homotopical, R-motivic, and C2-equivariant settings in the authors' prior work. The claim is deliberately limited: the schema preserves only what visualization needs, not the full algebraic structure of a spectral sequence.

Load-bearing premise

The whole approach stands on the assumption that everything worth drawing in a spectral sequence chart can be captured as a set of dots, lines, and chart settings in the SeqSee JSON format; the paper asserts this is true for the spectral sequences it has studied, without proving it.

Editorial extensions

If this is right

If the schema is as general as claimed, any project that can emit a conforming JSON file gets a browser-renderable interactive chart without writing bespoke graphics code.
Computation and visualization can evolve independently; new data formats require only a converter, not a new visualization tool.
Charts produced by the separate computation platforms named in the introduction can be displayed side by side in one common interface.
The schema gives future machine-generated spectral sequence projects a concrete output shape to target from the start.
Sharing a result reduces to sharing a single self-contained HTML file that readers can open without installing anything.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

If the schema is adopted widely, it could become a de facto interchange format for spectral sequence data beyond stable homotopy, including equivariant slice spectral sequences and unstable charts mentioned in the outlook.
The universality claim is conditional on the two-dimensional nodes-and-edges abstraction; charts that encode hidden algebraic extensions or page-resolved differential structure may force schema extensions, so the claim is best read as covering chart-level information.
A concrete test of the claim would be to convert a dataset from one of the other listed projects, such as the R-motivic charts, and check whether every visual feature of the original output survives the conversion.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Morning,

Quick take: this is a useful tool paper with a real design idea — a JSON schema as the boundary between spectral sequence computation and visualization. The code is on GitHub, MIT-licensed, and the case study works. That part is solid.

But the paper claims more than it shows. Section 1 says SeqSee is “general enough to handle all of the many spectral sequences that the second author has studied in the last 20 years.” That’s a big empirical claim, and the only evidence is a single small chart of the C-motivic Adams spectral sequence. The schema in Section 4 is just nodes and edges — no edge kind to distinguish differentials from extensions, no page or r-length, no support for the notation conventions used in the R-motivic and C2-equivariant work the authors cite. The stress-test note is right: expressive completeness is asserted, not demonstrated.

To be fair, the paper is honest about the limits. Section 2 says charts “do not attempt to capture the full structure,” and Section 5 says users must write their own converters. So the lossiness is acknowledged. That actually makes the 20-year claim harder to swallow: if the schema is deliberately lossy, then claiming it handles everything is a claim about what visual information is needed, and that’s not argued.

The internal inconsistency about HTML being “self-contained” vs. having dependencies and not working offline is minor but sloppy. A sentence fix.

Would I send this out? Yes, for the tool itself. The schema approach is genuinely new relative to ext-rs and SSeqCpp, and the community would benefit from a standard intermediate format. But the referee should ask for either a second, substantially different worked example (e.g., an R-motivic chart) or a careful statement of which features of the 20-year corpus the schema covers. The paper is not fatally flawed — just over-sold.

For a reader: someone computing spectral sequences and wanting to render them will find this useful. For a mathematician, there’s no new math here, so it’s a software paper. But it’s a competent one.

Recommendation: accept with revisions, with the revisions aimed at either demonstrating or scoping the generality claim.

Referee Report

3 major / 5 minor

Summary. The paper introduces SeqSee, a software tool that visualizes spectral sequences from a standardized JSON intermediate representation. The tool takes a JSON file conforming to the SeqSee schema, produces an interactive HTML file with an SVG chart, and is demonstrated on the classical and C-motivic Adams spectral sequences from the authors' prior work. The central claim is that the simple node-and-edge schema is general enough to handle all spectral sequence charts the second author has studied over the last 20 years, spanning classical, C-motivic, R-motivic, and C2-equivariant settings, and that SeqSee unifying visualization across computation platforms.

Significance. If the central claim is supported, SeqSee would provide a useful separation between spectral sequence computation and visualization, with a lightweight, open, MIT-licensed tool and a reusable JSON schema. The paper's strengths include a concrete schema sketch, a working repository reference, a case study with published data, and an explicit acknowledgment of the need for per-project converters. However, the paper's significance is currently limited because the generality claim is supported by a single small chart and an assertion about the past projects, with no feature inventory of those projects, no independent test or benchmark, and no comparison against the existing tools it aims to surpass.

major comments (3)

[§1 and §4] The central claim that SeqSee is 'general enough to handle all of the many spectral sequences that the second author has studied in the last 20 years' is not demonstrated. The schema shown in §4 contains only nodes with x, y, and label and edges with source and target; there is no explicit edge-kind field, no page/length attribute for differentials, and no documented enumeration of the mathematical or notational features required by the cited projects. To support this claim, the authors should provide a complete schema specification and either map each cited project's chart features onto the schema or give a second, substantially different worked example from the cited corpus.
[§1 and §5] There is an internal inconsistency about the output format. §1 calls the output 'a self-contained HTML file suitable for display in any browser,' while §5 states that 'the HTML files generated by SeqSee do have a few dependencies and cannot be used offline.' These statements cannot both be true of the same artifact. The authors should either make the output fully self-contained (e.g., by inlining KaTeX and any other assets) or revise the description to specify external dependencies explicitly, since this affects the reproducibility and portability claims.
[§5] The interoperability goal stated in §1—uniting visualization of spectral sequences computed by different platforms—is weakened by the admission that 'SeqSee users bear responsibility for converting their data into JSON' and that 'there can be no all-purpose tool.' The repository includes only one converter, jsonmaker, for a specific CSV format. The paper does not assess the conversion effort for the other cited data sources, nor does it provide a second converter or an explicit recipe for adapting jsonmaker. A minimal demonstration of a second converter, or a concrete description of the effort required, is needed to substantiate the cross-platform unification claim.

minor comments (5)

[Title page] The running title contains a typo: 'VISUALIZA TION' should be 'VISUALIZATION'.
[§3] The text refers to 'The Figure' without a number or direct reference to Figure 1; either number the figure or refer to it explicitly to avoid ambiguity.
[§4] The schema example omits the actual JSON Schema definition (such as a .json file or JSON-Schema meta-schema) used by the Python pipeline. Adding a link to the full schema in the repository, or an appendix listing its allowed fields, would make the representation reproducible.
[§5] The claim that SeqSee 'is more expressive and more user-friendly' than ext-rs and SSeqCpp is not supported with any comparison or evaluative criteria. A brief feature table or a short qualitative comparison would strengthen this point.
[References] Some reference URLs contain line breaks inserted mid-URL (e.g., [BIK24], [GI16], [Isa09], [IWX20]); these should be corrected so that all URLs are continuous.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: SeqSee is a visualization tool whose output is, by construction, a rendering of its input; no mathematical result is derived or predicted.

full rationale

SeqSee does not derive mathematical conclusions from its schema. The tool's pipeline is raw data, converted into JSON conforming to the SeqSee schema, then rendered as HTML and SVG. Each stage transforms representations rather than mathematical content, and the paper makes no prediction that could be forced by a fitted parameter or by a definitional equivalence. The claim that SeqSee is 'general enough to handle all of the many spectral sequences that the second author has studied in the last 20 years' is an empirical assertion supported only by the authors' own project list and a single case study; it is under-supported, and Section 5 even assigns users the burden of writing bespoke converters, but unsupported breadth is a correctness or evidence limitation, not circularity. Similarly, the admission in Section 2 that charts 'do not attempt to capture the full structure of the dataset' and the statement in Section 5 that generated HTML 'cannot be used offline' qualify the tool's claims without creating a self-referential loop. There is no self-citation chain that bears a load-bearing proof: the cited prior works are data sources and background, not authorities invoked to forbid alternatives or to establish a uniqueness theorem. Hence no circular step meets the evidentiary bar of Eq. X = Eq. Y by construction or fitted parameter renamed as prediction.

Assumptions & free parameters 0 free parameters · 3 assumptions · 0 invented entities

This is a software tooling paper, not a mathematical derivation. There are no fitted numerical parameters and no newly postulated mathematical entities. The only substantive assumptions are the standard definition of spectral sequences and the sufficiency of the schema for the intended visualization tasks.

assumptions (3)

standard math A spectral sequence is a sequence (E_r, d_r) with E_{r+1} = H(E_r, d_r), which is inherently bigraded, so a two-dimensional chart is an appropriate summary.
Invoked in Section 2 to justify chart-based visualization; this is standard background, not a new assumption.
domain assumption A node/edge JSON schema preserves enough information for visualization of the spectral sequences under consideration, even though charts do not capture full structure.
The central utility claim depends on the abstraction given in Sections 2 and 4; the paper explicitly notes charts do not capture all structure, so sufficiency for a broad family is assumed.
domain assumption Users of SeqSee are willing and able to write custom converters into the JSON schema, since no generic converter is provided.
Stated in Section 5: 'SeqSee users bear responsibility for converting their data into JSON.' This assumption is necessary for the interoperability goal.

how reviews work

0 comments

Cite this review

Pith. "Pith review of SeqSee: A schema-based approach to spectral sequence visualization." pith.science (2026). https://pith.science/paper/T5UU2CK6

@misc{pith2026250118429,
  author       = {Pith},
  title        = {Pith review of: SeqSee: A schema-based approach to spectral sequence visualization},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/T5UU2CK6}},
  note         = {Machine review of arXiv:2501.18429}
}

read the original abstract

We present SeqSee, a software system that addresses spectral sequence visualization through a schema-based approach. By introducing a standardized JSON schema as an intermediate representation, SeqSee decouples the mathematical computations of spectral sequences from their visualizations. We demonstrate the system through a case study of the classical and C-motivic Adams spectral sequences.

Figures

Figures reproduced from arXiv: 2501.18429 by the authors.

**Figure 1.** SeqSee visualization of the initial part of the C-motivic Adams spectral sequence, displaying coordinate axes, nodes, and edges. Currently, there are at least three entirely separate machined-based projects [ext-rs; Bru22; Lin] for producing large-scale data that is relevant to the Adams spectral sequence. The authors foresee a need for these, and other more loosely related projects, to interoperate. SeqSee aims to … view at source ↗

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

The cohomology of $\mathbb{R}$-motivic $\mathcal{A}(2)$
math.AT 2025-09 conditional novelty 7.0 of 10

The tri-graded additive cohomology of R-motivic A(2) is computed via a ρ-Bockstein spectral sequence (56 indecomposables), with the ring structure only partially determined.

Reference graph

Works this paper leans on

5 extracted references · 3 canonical work pages · cited by 1 Pith paper

[5]

url: https://doi.org/10

doi: 10.5281/zenodo.6987227 . url: https://doi.org/10. 5281/zenodo.6987227. [IWX22b] Daniel C. Isaksen, Guozhen Wang, and Zhouli Xu. Classical and C- motivic Adams charts . Oct. 2022. doi: 10 . 5281 / zenodo . 6987157. url: https://doi.org/10.5281/zenodo.6987157. [Lin] Weinan Lin. SSeqCpp. url: https : / / github . com / WayneLin92 / SSeqCpp. [McC01] John...

work page doi:10.5281/zenodo.6987227 2022
[1269]

[Isa22] Daniel C

url: https://doi.org/10.1090/memo/1269. [Isa22] Daniel C. Isaksen. The homotopy of C-motivic modular forms . May

doi:10.1090/memo/1269
[2022]

Stable homotopy groups of spheres

doi: 10.5281/zenodo.6547197 . url: https://doi.org/10. 5281/zenodo.6547197. [IWX20] Daniel C. Isaksen, Guozhen Wang, and Zhouli Xu. “Stable homotopy groups of spheres”. In:Proc. Natl. Acad. Sci. USA117.40 (2020), pp. 24757– 24763. issn: 0027-8424,1091-6490. doi: 10 . 1073 / pnas . 2012335117. url: https://doi.org/10.1073/pnas.2012335117. [IWX22a] Daniel C...

work page doi:10.5281/zenodo.6547197 2020
[2024]

The cohomology of C2-equivariant A(1) and the homotopy of ko C2

arXiv: 2404.14627 [math.AT]. url: https://arxiv.org/abs/ 2404.14627. [Gui+20] Bertrand J. Guillou et al. “The cohomology of C2-equivariant A(1) and the homotopy of ko C2 ”. In: Tunis. J. Math. 2.3 (2020), pp. 567–632. issn: 2576-7658,2576-7666. doi: 10 . 2140 / tunis . 2020 . 2 . 567. url: https://doi.org/10.2140/tunis.2020.2.567. 6 REFERENCES [Isa+24] Da...

arXiv 2020
[2025]

R-motivic v1- periodic homotopy

url: https://github.com/JoeyBF/SeqSee. [BIK24] Eva Belmont, Daniel C. Isaksen, and Hana Jia Kong. “ R-motivic v1- periodic homotopy”. In: Pacific J. Math. 330.1 (2024), pp. 43–84. issn: 0030-8730,1945-5844. doi: 10.2140/pjm.2024.330.43 . url: https: //doi.org/10.2140/pjm.2024.330.43. [BPS92] Dianne Barnes, David Poduska, and Paul Shick. “Unstable Adams sp...

work page doi:10.2140/pjm.2024.330.43 2024

Pith tools

Reviewed August 9, 2026 · model on record in the stance chip above.

[1] [5]

url: https://doi.org/10

doi: 10.5281/zenodo.6987227 . url: https://doi.org/10. 5281/zenodo.6987227. [IWX22b] Daniel C. Isaksen, Guozhen Wang, and Zhouli Xu. Classical and C- motivic Adams charts . Oct. 2022. doi: 10 . 5281 / zenodo . 6987157. url: https://doi.org/10.5281/zenodo.6987157. [Lin] Weinan Lin. SSeqCpp. url: https : / / github . com / WayneLin92 / SSeqCpp. [McC01] John...

work page doi:10.5281/zenodo.6987227 2022

[2] [1269]

[Isa22] Daniel C

url: https://doi.org/10.1090/memo/1269. [Isa22] Daniel C. Isaksen. The homotopy of C-motivic modular forms . May

doi:10.1090/memo/1269

[3] [2022]

Stable homotopy groups of spheres

doi: 10.5281/zenodo.6547197 . url: https://doi.org/10. 5281/zenodo.6547197. [IWX20] Daniel C. Isaksen, Guozhen Wang, and Zhouli Xu. “Stable homotopy groups of spheres”. In:Proc. Natl. Acad. Sci. USA117.40 (2020), pp. 24757– 24763. issn: 0027-8424,1091-6490. doi: 10 . 1073 / pnas . 2012335117. url: https://doi.org/10.1073/pnas.2012335117. [IWX22a] Daniel C...

work page doi:10.5281/zenodo.6547197 2020

[4] [2024]

The cohomology of C2-equivariant A(1) and the homotopy of ko C2

arXiv: 2404.14627 [math.AT]. url: https://arxiv.org/abs/ 2404.14627. [Gui+20] Bertrand J. Guillou et al. “The cohomology of C2-equivariant A(1) and the homotopy of ko C2 ”. In: Tunis. J. Math. 2.3 (2020), pp. 567–632. issn: 2576-7658,2576-7666. doi: 10 . 2140 / tunis . 2020 . 2 . 567. url: https://doi.org/10.2140/tunis.2020.2.567. 6 REFERENCES [Isa+24] Da...

arXiv 2020

[5] [2025]

R-motivic v1- periodic homotopy

url: https://github.com/JoeyBF/SeqSee. [BIK24] Eva Belmont, Daniel C. Isaksen, and Hana Jia Kong. “ R-motivic v1- periodic homotopy”. In: Pacific J. Math. 330.1 (2024), pp. 43–84. issn: 0030-8730,1945-5844. doi: 10.2140/pjm.2024.330.43 . url: https: //doi.org/10.2140/pjm.2024.330.43. [BPS92] Dianne Barnes, David Poduska, and Paul Shick. “Unstable Adams sp...

work page doi:10.2140/pjm.2024.330.43 2024