Pith. sign in

REVIEW 5 major objections 4 minor 18 references

Arrangements of circles supported by small chords and compatible with natural real algebraic functions

T0 review · 5 major / 4 minor · reviewed 2026-08-10 · deepseek-v4-flash

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

Pith's one-line read The paper gives a complete local classification of Poincaré-Reeb V-digraph changes caused by adding small chord-supported circles to SSC-NI arrangements.

desk verdict New class of circle arrangements with a plausible but unproven completeness claim; the SSC-NI construction is worth knowing about, but the local-change classification needs a real proof. read the letter →

arxiv 2501.11819 v2 pith:NFQ6IT5V submitted 2025-01-21 math.AG math.COmath.MG

Naoki Kitazawa This is my paper · ORCID
classification math.AGmath.COmath.MG MSC 14P0514P1052C1557R4558C05
keywords arrangementsofcirclesSSC-NIPoincaré-ReebV-digraphsReebgraphsMorse-BottfunctionsrealalgebraicmapssmallchordsMBC
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

The paper aims to prove that the Poincaré-Reeb V-digraph of a planar region changes in a completely classifiable way when a tiny circle supported by a chord is added to a circle arrangement of the SSC-NI type. SSC-NI arrangements are built circle by circle: each new circle passes through two nearby points of existing circles and keeps its arc close to the chord joining them. The regions these arrangements surround arise as images of natural real algebraic maps whose compositions with projections are Morse-Bott functions, so each local graph change is simultaneously a local change of a Reeb graph of such a function. The paper gives the complete list of local changes, compares it with the earlier MBCC class, and exhibits a three-circle example whose pair of graphs is not realized by MBCC arrangements alone. If the classification is correct, it provides explicit real algebraic maps and functions realizing these transitions and a combinatorial description of how such regions collapse to graphs as circles are added.

What carries the argument

The central object is the Poincaré-Reeb V-digraph $G_{D_S,i}$ of the region $D_S$ for the projection $\pi_{2,1,i}$: its vertices are connected components of level sets that contain a vertical or horizontal pole of some circle, or a point where exactly two circles meet, and its edges are oriented by the value of the projection, giving a directed graph with a vertex function. The construction that drives the argument is an SSC-NI arrangement, built inductively by adding, at each step, a sufficiently small circle that passes through the two boundary points of a chord of the existing arrangement and whose arc lies close to that chord. The chord type, the signs of the chord vector, and, for chords through two circles, the tuple of four signs at the double point determine which of the allowed local moves occurs. The supported and unsupported CS-regions select which side of the chord the new circle encloses, and that choice controls the orientation and number of new vertices in the changed graph.

What would settle it

Construct an SSC-NI arrangement and add, at a vertical pole, the exceptional chord of Proposition 2(3) with $p_{1,2,1}=0$, then draw the level sets of the first-coordinate projection before and after the addition. If the resulting local change has any vertex configuration other than the two- or three-adjacent-edge patterns of Theorem 2(2), or if the two new vertex values can be arranged on opposite sides of the old extremal value in a way Theorem 5 excludes, then the completeness claim is refuted.

Watch

Extended reading notes

Core claim

The paper's central claim is that for an SSC-NI arrangement — a circle arrangement built stepwise by adding, at each step, a sufficiently small circle whose arc runs close to a chord of the existing arrangement — adding such a circle changes the Poincaré-Reeb V-digraph of the region locally in one of a few explicitly described ways: two new vertices appear inside an edge, two new vertices appear in the two edges adjacent to an existing vertex, or an edge containing an extremal vertex is replaced by two or three adjacent edges (Theorems 2, 4, and 5). Whether a given move occurs is decided by the chord type described in Proposition 2, by the tuple of signs attached to a chord through two circles (Proposition 3 and Theorem 3), and by whether the new circle encloses a supported or unsupported circular-segment region; Theorem 1 records that the enlarged pair remains in the relevant inductive and Morse-Bott-compatible classes. The list is asserted to be complete, the same classification holds for the second coordinate projection by symmetry, and the construction produces real algebraic maps whose compositions with projections are Morse-Bott functions with the corresponding Reeb V-digraphs.

Load-bearing premise

The classification rests on an unproved genericity assumption: after any sufficiently small chord-supported circle is added, the enlarged arrangement again satisfies the same crossing conditions, and the graph change is determined only by the chord type and sign pattern, independent of the exact radii and positions.

Editorial extensions

If this is right

  • Every generic chord-supported addition to an SSC-NI arrangement produces one of the listed local moves, so the stepwise construction of such an arrangement gives a stepwise, completely classified evolution of its Poincaré-Reeb V-digraph.
  • Since every SSC-NI arrangement is also an NCI and an MBC arrangement, each such region carries a natural real algebraic map whose composition with a projection is a Morse-Bott function, and the classified moves are realized by these functions.
  • The SSC-NI class is strictly broader than the MBCC class: Example 2 is a three-circle SSC-NI arrangement whose pair of Poincaré-Reeb V-digraphs is not realized by MBCC arrangements alone.
  • By symmetry between the two coordinate projections, the same complete list of local changes holds for the Poincaré-Reeb V-digraph of the second projection, with horizontal and vertical poles interchanged.
  • The results provide explicit real algebraic maps realizing the listed Reeb V-digraph changes, contributing to the problem of reconstructing functions with prescribed Reeb V-digraphs.

Reading between the lines

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

  • A natural next step, not taken in the paper, is to view the classified moves as a rewriting system on Poincaré-Reeb V-digraphs and ask which finite V-digraphs are reachable from a single circle by finite sequences of chord-supported additions.
  • The dependence on sign tuples suggests that the same local classification should persist under small deformations of the circles as long as the chord boundary points remain transverse; testing this by varying radii while holding the sign pattern fixed would isolate where the genericity assumption is doing the work.
  • The extra pairs of graphs realized by SSC-NI arrangements but not by MBCC ones may correspond to Morse-Bott functions whose Reeb graphs have vertex-value coincidences that centered-circle constructions cannot produce, giving a geometric handle on the reconstruction problem.
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.

Referee Report

5 major / 4 minor

Summary. The paper defines a new class of circle arrangements, called SSC-NI arrangements, obtained by inductively adding a circle that is a circular secant supported by a small chord of the existing configuration. It claims a complete classification of the local changes of the Poincaré-Reeb V-digraph of the enclosed region when such a small chord-supported circle is added (Theorems 1–5), and it uses these changes to produce real algebraic maps and Morse-Bott functions whose Reeb graphs realize the changes. Example 2 presents a three-circle SSC-NI arrangement whose pair of Reeb V-digraphs is stated not to be realizable by MBCC arrangements alone. The paper also poses two open problems.

Significance. If the classification were correct and complete, it would supply a new explicit family of arrangements with precisely controlled Reeb V-digraphs, complementing the author's earlier work in [7] and supporting the program of realizing prescribed graphs by real algebraic maps. The algebraic construction in Section 2 is a useful idea, and Example 2 is a concrete illustration of the proposed class. However, the main theorems are not proved in the manuscript: the proofs are presented only as informal 'Notes on our proof' with figures, and the claimed completeness of the list is not demonstrated. The paper also relies heavily on the author's preprint [7] for definitions and background results, which reduces its self-containedness.

major comments (5)
  1. [§3, Theorems 1–5 (Notes on our proof)] The proofs of the main classification are not given. The 'Notes on our proof' for Theorem 2 states that the statement can be proved 'by investigating carefully one by one', and the other theorems use similar language, but no case-by-case verification or general argument is actually supplied. Since the abstract and the introduction assert a 'complete list' of local changes, the lack of proof leaves the central claim unsupported. A complete proof, either by a detailed case analysis or by a uniform argument, is required.
  2. [§3, Theorem 2(1)] The proposed local change adds only two vertices on the edge containing q_{DS,1}(xj',0). However, the Poincaré-Reeb V-digraph has vertices at all preimage components containing vertical poles of circles in S', and the added circle S' has two vertical poles (Definition 1). The proof does not show that these poles lie on the part of S' outside DS' or that they are identified with the two added vertices. If a vertical pole lies in the boundary of DS', it would create an additional vertex, making the list in Theorem 2(1) incomplete. This requires an explicit genericity or position argument that is absent from the text.
  3. [§3, Theorems 3 and 4] When the chord endpoints lie on two distinct circles, the circular secant S' also meets each of those circles in a second intersection point in addition to the chord endpoint. These second intersections may lie in DS' and would then be double points of S' with an existing circle, hence vertices of G_{DS',1}. Theorem 4 asserts local changes with no such vertices, but no proof is given that the second intersections are outside DS'. The completeness of the list therefore requires a proof that the chosen secant and the region exclude all extra intersection vertices.
  4. [§3, Theorem 1(2)] The assertion 'This subclass is not empty' is an existence statement with no proof. It is not clear that for every concave DS-point there exists a supported CS-region of the restricted class containing the bounded CS-region whose boundary curve contains xj',0. Since Theorem 5 depends on this case, the non-emptiness of this subclass must be established, not merely illustrated by figures.
  5. [§3, 'sufficiently small' and genericity assumptions] The theorems are stated for 'sufficiently small' chord-supported circles, but no uniform bound or precise genericity condition is given, and the proof notes do not show that the asserted local changes are independent of the chosen radius and position within the small range. In particular, the assumption that the new arrangement is again NI and that the new region satisfies the MBC intersection conditions is used throughout but never proved. This is a load-bearing gap in the completeness claim of the classification.
minor comments (4)
  1. [Title and abstract] The title and abstract contain conspicuous spacing and typographical artifacts (e.g., 'COMP ATIBLE', 'W e have', 'd efined'), which should be corrected in a revised version.
  2. [§2.2] The statement that the Poincaré-Reeb set is a graph is referred to [7] for the proof; since [7] is an arXiv preprint, the present paper should either prove this fact or clearly state that the result is taken from an external source.
  3. [§3, Theorem 5] The proof of Theorem 5 refers to '[7, Theorem 5 with Problem 1]' and to numbers i(v1) and i(v2) without reproducing the statement or notation, making the proof unverifiable without consulting [7].
  4. [§3, Example 2] Example 2 asserts that the pair of Reeb V-digraphs of the given SSC-NI arrangement is not realized by MBCC arrangements alone, but this claim is not proved in the text; it is referred to [7, Theorems 2 and 3], so the reader cannot verify the non-realizability from the information provided.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity; the SSC-NI classification is a new statement, not definitionally forced. The main caveat is that several central theorems are stated as variants of the author's prior [7] and their proofs are deferred to case-by-case checking, which is a self-citation burden and a completeness gap rather than a circular derivation.

full rationale

The derivation chain in this paper does not reduce to its own inputs. The central object, the SSC-NI arrangement, is defined in Definition 9 by the operations in Theorems 1 and 3, but those theorems are geometric existence statements about chords and circles, not restatements of the target local-change classification. The local-change theorems (Theorems 2, 4, and 5) are genuinely new statements for SSC-NI arrangements, even though they are explicitly presented as variants of the author's earlier MBCC results in [7]. The proof notes say 'We can prove Theorem 2 by investigating carefully one by one' and 'The case (1) is shown by investigating carefully as ever,' and Theorem 5 is described as 'same as the case of [7, Theorem 5 with Problem 1].' This is a real reliance on the author's own preprint for the analogous classification, and the claimed completeness of the list is not independently demonstrated. However, that is an omitted-proof or under-justification concern, not circularity: the paper does not fit parameters, rename a known result, or define the output in terms of the input. The main completeness claim may be fragile, but it is not equivalent to an assumption by construction. Score 2 reflects the minor self-citation burden and the unproved completeness of the classification, while acknowledging that the central claim still has independent content.

Assumptions & free parameters 1 free parameters · 6 assumptions · 1 invented entities

The central claims rely on standard topology and singularity theory, on the defining geometric hypotheses of MBC/NI arrangements, and on the paper's new construction rule of chord-supported circles. No data or empirical constants are involved. The main implicit parameter is the 'sufficiently small' radius, which is used to ensure the new circle and region stay under control.

free parameters (1)
  • Sufficiently small radius epsilon
    Theorems 1-5 depend on choosing circles and CS-regions that are 'sufficiently small'; no quantitative bound is supplied, and the arguments require only existence of such a choice.
assumptions (6)
  • standard math Standard CW/graph and quotient-topology background, including that the preimage decomposition yields a finite graph.
    Section 2.2 uses this to define Poincaré-Reeb V-digraphs; the proof is deferred to [7].
  • standard math Ehresmann fibration theorem (or relative version) applied to projections restricted to closures of regions on edge interiors.
    Section 2.2 uses it to identify edge preimages as trivial interval bundles.
  • standard math Implicit function theorem and standard real algebraic geometry facts used to prove that constructed zero sets are non-singular manifolds.
    Section 2.3, used for the real algebraic map construction.
  • domain assumption The defining conditions of MBC/NI arrangements: at most two circles meet inside the region, intersections are transverse, and no intersection occurs at vertical or horizontal poles.
    Definition 2 and Definition 3; this is the geometric setting of the whole paper.
  • ad hoc to paper In each inductive step, the new chord-supported circle can be chosen so that the chord lies wholly inside or outside the region and the new region is again an NI arrangement.
    Proposition 1 and Definitions 6-7; this is the paper's new construction rule.
  • domain assumption The Poincaré-Reeb V-digraph of the region is isomorphic to the Reeb V-digraph of the composed real algebraic function, and the function is Morse-Bott.
    Section 2.3, relying on [6]; this connects combinatorics to real algebraic functions but is not central to Theorems 1-5.
invented entities (1)
  • SSC-NI arrangement and its CS-regions
    purpose: A new class of circle arrangements with chord-supported additions whose local Reeb-graph changes are classified.
    Definition 9; a mathematical construct with no falsifiable empirical handle, only internal consistency checks.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Arrangements of circles supported by small chords and compatible with natural real algebraic functions." pith.science (2026). https://pith.science/paper/NFQ6IT5V

@misc{pith2026250111819,
  author       = {Pith},
  title        = {Pith review of: Arrangements of circles supported by small chords and compatible with natural real algebraic functions},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/NFQ6IT5V}},
  note         = {Machine review of arXiv:2501.11819}
}
read the original abstract

We have previously proposed a study of arrangements of small circles which also surround regions in the plane realized as the images of natural real algebraic maps yielding Morse-Bott functions by projections. Among studies of arrangements, families of smooth regular submanifolds in smooth manifolds, this study is fundamental, explicit, and new, surprisingly. We have obtained a complete list of local changes of the graphs the regions naturally collapse to in adding a (generic) small circle to an existing arrangement of the proposed class. Here, we propose a similar and essentially different class of arrangements of circles. The present study also yields real algebraic maps and nice real algebraic functions similarly and we present a similar study. We are interested in topological properties and combinatorics among such arrangements and regions and applications to constructing such real algebraic maps and manifolds explicitly and understanding their global structures.

Figures

Figures reproduced from arXiv: 2501.11819 by the authors.

Figure 1
Figure 1. Chords of S of three types for Proposition 2 (3). We can have the unique CS-region of {SS,CDS,xj′,0 } depending on CDS ,xj′,0 such that for the notation S Sj∈JCS,Sj S SS ′ (SS ′ ⊂ SS ) before CS,Sj := SS,xj′,0 , J := {SS,CDS,xj′ ,0 }, SS ′ := CDS ,xj′,0 , and SS := SCDS ,xj′,0 . Here we can also have the unique CS-region of {SS,CDS,xj′,0 } depending on CDS ,xj′,0 such that for the notation S Sj∈JCS,Sj S SS ′ before … view at source ↗
Figure 2
Figure 2. A supported CS-region at (DS , xj ′ ,0) for Theorem 1 (1) and Theorem 2 (1). (2) Let xj ′ ,0 be a concave DS -point. We restrict the class of supported CS￾regions at (DS , xj ′ ,0) to that of CS-regions of {SS,CDS,xj′ ,0 } containing the following uniquely defined bounded CS-region of S: for the notation S Sj∈JCS,Sj S SS ′ before CS,Sj is a curve containing xj ′ ,0 with J = {Sj}, SS ′ = CDS ,xj′,0 , and SS = SCDS ,x… view at source ↗
Figure 3
Figure 3. An unsupported CS-region at (DS , xj ′ ,0) for Theorem 1 (1) and Theorem 2 (2b) [PITH_FULL_IMAGE:figures/full_fig_p010_3.png] view at source ↗
Figures from the paper (5 more)
Figure 4
Figure 4. Figure 4: The intersection of a supported CS-region at (DS , xj ′ ,0) and DS for Theorem 2 (2) and Theorem 5 [PITH_FULL_IMAGE:figures/full_fig_p010_4.png]
Figure 5
Figure 5. Figure 5: Four types of chords at (DS , xj ′ ,0) for Theorem 3 (1a) [PITH_FULL_IMAGE:figures/full_fig_p013_5.png]
Figure 6
Figure 6. Figure 6: Three types of chords at (DS , xj ′ ,0) for Theorem 3 (1b). (2) Let xj ′ ,0 be a point such that for some straight line Lxj′,0 , the intersection satisfies DS T Lxj′,0 = {xj ′ ,0}. Then we can find chords at (DS , xj ′ ,0) to do a discussion similar to that in Theorem …
Figure 5
Figure 5. Figure 5: FIGURE 5 [PITH_FULL_IMAGE:figures/full_fig_p014_5.png]
Figure 7
Figure 7. Figure 7: Example 2: the set S consists of exactly 3 circles where the initial set S0 consists of one circle and two circles are added one after another. For Theorems 1–5, we have another similar result for the Poincar´e-Reeb V￾digraph of DS for π2,1,2 and that of DS′ for π2,1,2…

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

18 extracted references · 9 canonical work pages

  1. [7]

    N. Kitazawa, Arrangements of small circles for Morse-Bott functions and regions surrounded by them , arXiv:2412.20626v3 and the latest version will be submitt ed to https://arxiv.org/, 2024

    arXiv 2024

  2. [1]

    Bochnak, M

    J. Bochnak, M. Coste and M.-F. Roy, Real algebraic geometry , Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Rela ted Areas (3)], vol. 36, Springer- Verlag, Berlin, 1998. Translated from the 1987 French origi nal; Revised by the authors

    1998

  3. [2]

    Bodin, P

    A. Bodin, P. Popescu-Pampu and M. S. Sorea, Poincar´ e-Reeb graphs of real algebraic do- mains, Revista Matem´ atica Complutense, https://link.springer.com/article/10.1007/s13163- 023-00469-y, 2023, arXiv:2207.06871v2

    arXiv 2023

  4. [3]

    Arrangements of orthogonal circles with many intersections

    S. Carmesin and A. Schulz, Arrangements of orthogonal circles with many intersection s, Graph Drawing and Network Visualization (a conference pape r), SPRINGER NATURE Link, 2021, arXiv:2106.03557v2

    work page Pith review arXiv 2021

  5. [4]

    Golubitsky and V

    M. Golubitsky and V. Guillemin, Stable Mappings and Their Singularities , Graduate Texts in Mathematics (14), Springer-Verlag (1974)

    1974

  6. [5]

    Kitazawa, Real algebraic functions on closed manifolds whose Reeb gra phs are given graphs, Methods of Functional Analysis and Topology Vol

    N. Kitazawa, Real algebraic functions on closed manifolds whose Reeb gra phs are given graphs, Methods of Functional Analysis and Topology Vol. 28 No. 4 (2 022), 302–308, arXiv:2302.02339, 2023

    arXiv 2023

  7. [6]

    N. Kitazawa, Reconstructing real algebraic maps locally like moment-ma ps with prescribed images and compositions with the canonical projections to t he 1-dimensional real affine space , the title has changed from previous versions, arXiv:2303.1 0723, 2024

    2024

  8. [8]

    K. Kohn, R. Piene, K. Ranestad, F. Rydell, B. Shapiro, R. S inn, M-S. Sorea and S. Te- len, Adjoints and Canonical Forms of Polypols , to appear in Documenta Mathematica, arXiv:2108.11747

    work page Pith review arXiv

Show all 18 references
  1. [9]

    Koll´ ar, Nash’s work in algebraic geometry , Bulletin (New Series) of the American Mathe- matical Society (2) 54, 2017, 307–324

    J. Koll´ ar, Nash’s work in algebraic geometry , Bulletin (New Series) of the American Mathe- matical Society (2) 54, 2017, 307–324

    2017

  2. [10]

    G. Reeb, Sur les points singuliers d´une forme de Pfaff compl´ etement int` egrable ou d´une fonction num´ erique, Comptes Rendus Hebdomadaires des S´ eances de I´Acad´ emiedes Sciences 222 (1946), 847–849. ARRANGEMENTS OF CIRCLES SUPPORTED BY SMALL CHORDS. 17

    1946

  3. [11]

    O. Saeki, Reeb spaces of smooth functions on manifolds , International Mathe- matics Research Notices, maa301, Volume 2022, Issue 11, Jun e 2022, 3740–3768, https://doi.org/10.1093/imrn/maa301

    2022 doi

  4. [12]

    Saeki, Reeb spaces of smooth functions on manifolds II , Res

    O. Saeki, Reeb spaces of smooth functions on manifolds II , Res. Math. Sci. 11, article number 24 (2024), https://link.springer.com/article/10.1007/ s40687-024-00436-z

    2024

  5. [13]

    Sharko, About Kronrod-Reeb graph of a function on a manifold , Methods of Functional Analysis and Topology 12 (2006), 389–396

    V. Sharko, About Kronrod-Reeb graph of a function on a manifold , Methods of Functional Analysis and Topology 12 (2006), 389–396

    2006

  6. [14]

    M. S. Sorea, The shapes of level curves of real polynomials near strict lo cal maxima , Ph. D. Thesis, Universit´ e de Lille, Laboratoire Paul Painlev´ e,2018

    2018

  7. [15]

    M. S. Sorea, Measuring the local non-convexity of real algebraic curves , Journal of Symbolic Computation 109 (2022), 482–509

    2022

  8. [16]

    Tamaki, Algebraic Topology A Guide to literature, http://pantodon.jp/index.rb?body=about, 2023

    D. Tamaki, Algebraic Topology A Guide to literature, http://pantodon.jp/index.rb?body=about, 2023

    2023

  9. [17]

    Tamaki, Algebraic Topology A Guide to literature (Su bmanifold arrangement), http://pantodon.jp/index.rb?body=submanifold arrangement, 2023

    D. Tamaki, Algebraic Topology A Guide to literature (Su bmanifold arrangement), http://pantodon.jp/index.rb?body=submanifold arrangement, 2023

    2023

  10. [18]

    Tamaki, Algebraic Topology A Guide to literature (Ar rangement variations), http://pantodon.jp/index.rb?body=arrangement variations, 2023

    D. Tamaki, Algebraic Topology A Guide to literature (Ar rangement variations), http://pantodon.jp/index.rb?body=arrangement variations, 2023. Institute of Mathematics for Industry, Kyushu University, 7 44 Motooka, Nishi-ku Fukuoka 819-0395, Japan, TEL (Office): +81-92-802-4402...

    2023

Pith tools

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