{"id":"71222fc8-a2be-4ecc-b6b8-128327693e97","arxiv_id":"2501.11819","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"SSC-NI arrangements are defined, and a complete classification of local Poincaré-Reeb V-digraph changes under chord-supported circle additions is asserted, with an example not realizable by the previous MBCC class.","lead":"This paper introduces a new family of planar circle arrangements, called SSC-NI arrangements, and classifies how their Poincaré-Reeb graphs change when a small chord-supported circle is added. The work is a next step in the author's program to build explicit real algebraic functions and manifolds with prescribed Reeb graphs from circle arrangements.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Completeness of the local-change list is not established: Theorems 1–5 do not rule out extra vertices from the added circle's own poles or from second intersections when the chord is not positioned generically, so the claimed complete list may be incomplete.","rationale":"The paper's new SSC-NI class and the concrete Example 2 separating it from MBCC arrangements are genuinely interesting, and the construction of real algebraic maps and Morse-Bott functions via [6] is a valuable framework. However, the central classification theorems are supported only by proof notes and figures, not by complete arguments. The specific gap I identify—the fate of the added circle's own vertical poles and of possible second intersections with the existing circles—is a direct instance of the genericity assumption the reader flagged. If the proposed check reveals an extra vertex, the completeness claim in the abstract fails; if it does not, the concern is refuted and the conditional verdict could be upgraded. Thus I do not change the reader's CONDITIONAL verdict.","tokens_in":14620,"tokens_out":9958,"duration_ms":99853,"concrete_test":"Compute the Poincaré-Reeb V-digraph for the simplest non-trivial case: S0 the unit circle centered at the origin, DS0 the unit disk, and a chord with endpoints p1=(cos α, sin α), p2=(cos β, sin β) close together on the upper semicircle with β−α>0 and p2−p1 having components of opposite signs (Proposition 2(1)). Let C be the circle through p1,p2 whose center lies on the perpendicular bisector on the side that makes the arc inside DS0 follow the chord closely, and let its radius be R = L/(2 sin φ), where L=|p2−p1| and φ is the half-angle subtended by the chord; vary φ between 0 and π/2. For each φ, compute G_{DS′,1} explicitly (by hand or with a CAS) and count vertices near the chord.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is that Theorems 1–5 give a complete list of local changes of the Poincaré-Reeb V-digraph under addition of a sufficiently small chord-supported circle to an SSC-NI arrangement. The proofs are given as 'Notes on our proof' stating that 'we can check this by investigating carefully' (Theorem 2) and 'we can prove Theorem 3 by investigating carefully one by one' (Theorem 3), with no uniform argument. Concretely, the classification assumes that the only new vertices introduced in the graph for π2,1,1 are those corresponding to the two chord-boundary intersection points. But a generic small circle C has two vertical poles (extrema of the x-coordinate), and if either lies in the new region DS′ and is not identified with an intersection vertex in the quotient, it creates an additional vertex. Proposition 2 classifies only the slope of the chord relative to the existing circle S_j; it says nothing about the location of the poles of C. Similarly, when the chord connects two distinct circles (Theorem 3), C intersects each of those circles in a second point, and no proof is offered that those second intersections lie outside DS′. Theorem 1(2) even asserts the existence of a restricted CS-region ('This subclass is not empty') without proof. Thus the 'complete list' is not verified to be complete; it may silently depend on a genericity condition excluding these configurations, yet no such condition is stated or proved.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":14994,"tokens_out":6472,"duration_ms":65028,"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":[{"comment":"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.","section":"§3, Theorems 1–5 (Notes on our proof)"},{"comment":"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.","section":"§3, Theorem 2(1)"},{"comment":"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.","section":"§3, Theorems 3 and 4"},{"comment":"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.","section":"§3, Theorem 1(2)"},{"comment":"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.","section":"§3, 'sufficiently small' and genericity assumptions"}],"minor_comments":[{"comment":"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.","section":"Title and abstract"},{"comment":"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.","section":"§2.2"},{"comment":"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].","section":"§3, Theorem 5"},{"comment":"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.","section":"§3, Example 2"}],"recommendation":"major_revision","confidential_remarks":"The central classification claim is not supported by a complete proof in the current manuscript. The most serious issue is the unhandled possibility of extra vertices coming from the poles of the added circle and from second intersections with existing circles; the author must either exclude these configurations by explicit hypotheses or prove that they cannot occur. I recommend asking the author to supply a rigorous proof or to reframe the paper as an announcement, with the full case analysis placed in an appendix or a companion paper. The heavy reliance on the author's previous preprint [7] should also be addressed in the revision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: Kitazawa defines a new class of circle arrangements (SSC-NI) and claims a complete list of local changes of the Poincaré-Reeb V-digraph when a small chord-supported circle is added. The construction is genuinely new and Example 2 successfully separates the class from the earlier MBCC arrangements. But the completeness of the list is not established: the 'Notes on our proof' are sketches, and the text never rules out extra vertices coming from the new circle's own vertical poles or from second intersections with the old circles. For a 'complete list' theorem, that is a load-bearing gap.\n\nWhat's good: The SSC-NI class is clearly defined, the chord-based induction is a natural variant of the MBCC construction, and the paper explains how these arrangements still yield real algebraic maps and Morse-Bott functions through the author's earlier framework. Example 2 is concrete and shows the new class is not a restatement of [7]: the pair of Reeb V-digraphs is not realizable by MBCC arrangements alone. The four chord/sign cases in Proposition 2 and Theorem 3 are organized in a way that makes the geometry plausible.\n\nWhere I wince: Theorems 1–5 are the core of the paper, but their proofs are 'we can check by investigating carefully one by one' plus figures. That would be fine for a lemma, not for the complete classification that the abstract promises. The stress-test worry is real: when you add a circle SS through a chord, SS has vertical poles; if any of them lies on the boundary of the new region DS', it becomes a vertex in the Poincaré-Reeb graph, and the theorems do not list such vertices. Similarly, in the two-circle case (Theorem 3), SS will typically meet each old circle a second time, and nothing in the text shows those intersections stay out of DS'. If they enter, you get extra vertices. The paper might be saved by an implicit 'sufficiently small and generic' choice of the circular secant, but that condition is never stated as a uniform hypothesis. Theorem 1(2) even asserts a subclass is non-empty without proof. Also, the paper leans heavily on the unpublished preprint [7] for foundational definitions and for the analogues of Theorems 2–5, which makes it hard to check the claims in isolation.\n\nBottom line: The SSC-NI class is worth knowing about, and the example is nice. But the main theorem, as written, is not proven. I would send it to a referee, but the referee should be asked to verify the completeness claim or to make the genericity condition explicit and re-prove the list under it. If the author can do that, this would be a useful contribution to the singularity-theory/Reeb-graph literature.","headline":"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.","tokens_in":15450,"tokens_out":6903,"would_cite":false,"duration_ms":68296,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14P05","14P10","52C15","57R45","58C05"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper gives a complete local classification of Poincaré-Reeb V-digraph changes caused by adding small chord-supported circles to SSC-NI arrangements.","keywords":["arrangements of circles","SSC-NI arrangements","Poincaré-Reeb V-digraphs","Reeb graphs","Morse-Bott functions","real algebraic maps","small chords","MBC arrangements"],"falsifier":"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.","tokens_in":14429,"feed_emoji":"⭕","tokens_out":10509,"duration_ms":93709,"temperature":0.7,"pith_summary":"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.","feed_headline":"Complete list of Reeb graph moves from adding chord circles","feed_subtitle":"The classification covers small-chord circle arrangements and the real algebraic functions that realize their graphs.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Provides the earlier MBCC arrangement classification and the original formulation of Poincaré-Reeb V-digraphs; Theorems 2, 4, and 5 are presented as variants of its results.","marker":"[7]"},{"why":"Supplies the real algebraic map construction realizing these regions as images locally like moment maps, which motivates the SSC-NI class and gives the functions whose Reeb graphs are controlled.","marker":"[6]"},{"why":"Introduces Poincaré-Reeb graphs of real algebraic domains, the graph-theoretic object the paper adapts to its circle arrangements.","marker":"[2]"},{"why":"The author's earlier reconstruction theorem shows how prescribed Reeb graphs are realized by real algebraic functions, cited as the goal of the explicit construction in Problem 2.","marker":"[5]"}],"fun_headline_variants":["Chord circles: complete list of Reeb graph moves","All local Reeb graph changes from adding chord circles","SSC-NI arrangements: full classification of circle-add moves","Classifying local moves in chord-supported circle arrangements","Complete move list for chord circle Reeb graph changes"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Chord circles: complete list of Reeb graph moves","All local Reeb graph changes from adding chord circles","SSC-NI arrangements: full classification of circle-add moves","Classifying local moves in chord-supported circle arrangements","Complete move list for chord circle Reeb graph changes"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000523,"raw_usage":{"total_tokens":2517,"prompt_tokens":922,"completion_tokens":1595,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":538,"completion_tokens_details":{"reasoning_tokens":1518}},"tokens_in":538,"tokens_out":1595,"duration_ms":10335,"temperature":1.0,"reasoning_tokens":1518,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T17:49:27.189773+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[],"review_version":1}