{"id":"692b9bc1-abd4-4760-afa1-4fa248b33fa3","arxiv_id":"1908.09397","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"A local persistent cohomology algorithm partitions a point cloud into manifold, boundary, and intersection points, demonstrated on cyclo-octane conformations and a Henneberg minimal surface.","lead":"This paper presents an unsupervised algorithm that detects singular regions, such as intersections of surfaces, in point cloud data by computing local persistent cohomology in small annular neighborhoods around each point. A generalist might read it because it offers a way to relax the common manifold hypothesis and find non-manifold features directly from data.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The classification rule in Procedure 1 is not supported by a theorem or sampling conditions; without a density/radius bound, observed success on two examples cannot establish the central claim.","rationale":"The reader's weakest assumption is precisely that counting persistent intervals in the discrete annulus Ay recovers the cohomology of the boundary of a small neighborhood in the true stratified space, with no sampling or radius conditions stated. My independent reading of the paper finds the same gap: the connection from stratified-space link cohomology to the finite Rips barcode of Ay is entirely heuristic. The paper's two examples are visually compelling but do not provide a theorem or a systematic parameter study. Since the reader already returned CONDITIONAL and my concern reinforces rather than redirects that verdict, I recommend no change. A synthetic ground-truth experiment is the most direct way to test whether the bar-counting rule is robust or merely tuned to these examples.","tokens_in":828,"tokens_out":992,"duration_ms":59397,"concrete_test":"Run Procedure 1 on a synthetic stratified space with known ground truth, e.g., two planes in R^3 intersecting along a line, sampled uniformly with controlled density. Sweep r and s over a grid (for instance r from 0.02 to 0.2, s-r from 0.01 to 0.1) and sampling density from sparse to dense, and compute precision and recall for labeling points as Pint when they lie within a small distance of the intersection line, Pbnd near the domain boundary, and Pman otherwise. If no parameter regime yields high precision and recall consistently across densities, the empirical claim is not supported; if a robust regime exists, the heuristic is credible. Repeat with a curved two-manifold to test dependence on curvature.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is that Procedure 1 partitions a point cloud into Pman, Pbnd, and Pint by counting H^{k-1} intervals in the Vietoris–Rips barcode of the finite annulus Ay whose lengths exceed s-r. For this rule to be valid, the barcode of Ay must faithfully recover the cohomology of the boundary of a small neighborhood in the underlying stratified space, as asserted in the Stratified Spaces section: 'we are able to approximate its cohomology via the persistent cohomology of all the data points lying within an annular neighbourhood Ay of y.' No theorem in the paper quantifies this approximation: there is no sampling density, curvature bound, feature-size condition, or relation between r, s, and the normal-triviality radius under which the number of long H^{k-1} bars equals 0, 1, or more than 1 at boundary, manifold, and intersection points. The stability theorem cited only controls barcode movement under bounded perturbation of points; it does not imply that a finite Rips annulus reproduces the link cohomology. The paper also uses a single global (r, s) for all points, and the reported values (0.4, 0.25) violate the stated condition 0 < r < s, making even the exact configuration unclear. Since the evaluation is visual only, the observed red/cyan coloring on two data sets could plausibly be an artifact of the chosen radii rather than a robust detection of singular regions.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a method for detecting singular (non-manifold) regions in point cloud data using local persistent cohomology. For each data point y, the algorithm forms an annular neighborhood A_y of points at distance between parameters r and s, computes the (k-1)-dimensional Vietoris-Rips barcode of A_y, and counts bars longer than s-r. Based on this count (0, 1, or >1), the point is classified as boundary, manifold, or intersection. The method is demonstrated on two datasets: the 24-dimensional cyclo-octane conformation space (union of a Klein bottle and sphere along two circles) and the Henneberg minimal surface immersed in R^3 (with four self-intersections). The authors report that all non-manifold regions are successfully identified in both cases. The paper frames the approach via stratified spaces and links, and claims the local annulus barcode approximates the cohomology of the boundary of a small neighborhood.","tokens_in":6719,"tokens_out":2906,"duration_ms":30450,"significance":"If the central claim were rigorously established, this would be a valuable contribution to topological data analysis: a simple, parallelizable, unsupervised procedure for detecting intersections of manifolds directly from point cloud data, without requiring points to be sampled from the singularities themselves. The two case studies are well chosen and the visual results are suggestive. The paper also gives credit for a concrete algorithmic procedure, use of existing software (Ripser), and a stability-based argument for robustness to bounded noise. However, the theoretical bridge between the discrete annulus barcode and the continuous link cohomology is asserted rather than proven, and the evaluation is entirely qualitative. The potential utility is high, but the current evidence is not sufficient to establish the method's reliability beyond the two hand-picked examples.","major_comments":[{"comment":"The central assumption, stated as 'we are able to approximate its cohomology via the persistent cohomology of all the data points lying within an annular neighbourhood Ay', is not supported by any theorem or quantitative condition. No sampling density, curvature bound, feature-size condition, or relation between r, s and the normal-triviality radius is given under which the (k-1)-dimensional Vietoris-Rips barcode of the finite annulus reproduces the cohomology of the link. The stability theorem cited (ref. 17) only bounds the movement of barcode intervals under bounded perturbation of points; it does not connect the continuous boundary ∂U_y to the discrete Rips annulus. This is a load-bearing gap because the decision rule in Procedure 1 depends entirely on this approximation.","section":"Methods, Stratified Spaces"},{"comment":"The reported annulus parameters violate the condition 0 < r < s stated in Procedure 1 and in the introduction. The paper lists (r, s) = (0.4, 0.25) for cyclo-octane and (2, 1.5) for the Henneberg surface, both with r > s. If these values are taken literally, the annular neighborhoods are empty, making the method undefined. This inconsistency must be corrected and the actual parameter ordering clarified; as written, the experimental configuration is not reproducible.","section":"Procedure 1 and Datasets"},{"comment":"The central claim that the method 'successfully identifies all the non-manifold regions in two completely different data sets' is supported only by visual inspection of two-dimensional ISOMAP projections. There is no quantitative comparison with known ground truth (e.g., distance to the true intersection curves), no precision/recall or confusion-matrix analysis, no sensitivity study of the classification with respect to the hand-picked radii, and no assessment of how the red/cyan coloring changes if (r, s) are varied. Without such evaluation, the two examples remain anecdotal, and the reported success could be an artifact of the specific parameter choices.","section":"Empirical evaluation (Figures 2 and 3)"},{"comment":"The decision rule counts intervals in the (k-1)-dimensional barcode whose length exceeds s-r. The threshold s-r is asserted without derivation or justification. It is not explained why this particular persistence threshold should separate boundary, manifold, and intersection points, nor how it relates to the scale of the underlying geometry. Since this threshold directly determines the classification, it requires either a theoretical justification or an empirical sensitivity analysis.","section":"Procedure 1, threshold choice"}],"minor_comments":[{"comment":"The phrase 'we obtain not only a one-parameter family of cohomology vector spaces' is fine, but the following sentence says 'for all pairs of real numbers t≤u' while the map direction should be clarified: in cohomology the induced map goes V(u) → V(t), which is correctly stated later; consider aligning the notation to avoid confusion.","section":"Methods, Persistent cohomology"},{"comment":"Reference 18 contains a typo: 'Algebriac Topology' should be 'Algebraic Topology'.","section":"References"},{"comment":"The sentence 'for instance, the relative sum-of-squares of the for first n−1 singular values of Ax is nearly one for x away from an intersection' contains a grammatical error ('of the for') and the alternative method is not described or cited; please revise.","section":"Introduction"},{"comment":"The parametrization of the Henneberg surface is given with β ∈ [0.4, 0.6]; it would be helpful to state the number of sample points per parameter direction and whether the sampling is uniform in β and φ, as this affects the interpretation of the annulus radii.","section":"Datasets"},{"comment":"The caption states 'the dimensions of H1(Ax) from left to right are 1, 0 and 3 respectively' — please double-check the dimension for the boundary case (middle panel), as a thickened half-circle should have H1 dimension 0, which is consistent, but the text could be clearer.","section":"Figure 1 caption"}],"recommendation":"major_revision","confidential_remarks":"The paper is a concise letter-style manuscript with a promising idea, but the current form is not yet acceptable. The parameter reversal (r > s) is a concrete error that any referee would catch, and the missing theoretical justification for the annulus-to-link approximation is substantial. The authors may be able to address the concerns by adding a precise approximation theorem under explicit sampling conditions, or by replacing the theoretical claim with a far more rigorous quantitative evaluation on synthetic examples with known ground truth. The journal should also verify the reproducibility of the reported experiments, since the parameter values as written cannot produce the shown results."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's the short version: this paper proposes a clean, local persistent cohomology rule for labelling points of a point cloud as manifold-like, boundary, or intersection, and demonstrates it on two known datasets. The novelty is Procedure 1 – counting long (k-1)-dimensional barcode intervals in an annulus around each point, mapping count 0/1/>1 to boundary/manifold/intersection. That is a genuinely simple and appealing idea, and the paper is clearly written. The two case studies (cyclo-octane conformations and the Henneberg surface) are well chosen, the method is unsupervised apart from the radii, and the authors explicitly acknowledge the radii are data-dependent.\n\nThe soft spots are substantial, though. The central claim that the barcode of a finite sampled annulus recovers the cohomology of the local link is asserted in the Stratified Spaces section but never proven. No sampling density, curvature, or feature-size condition is given under which the count rule has the intended meaning. The stability theorem only controls interval movement under bounded perturbation; it does not imply that a Rips annulus reproduces link cohomology. The threshold s-r also appears without derivation. On the experimental side, the evaluation is visual only – no precision/recall, no sensitivity to r and s, and no comparison against local PCA or other baselines. There is also a concrete notation inconsistency: the algorithm says 0 < r < s, but the reported cyclo-octane pair is (0.4, 0.25). That looks like a typo (order swapped), but it needs fixing.\n\nThese are addressable rather than fatal. The core idea is plausible and the demonstrations are suggestive, but the gap between the stratified-space formalism and the finite-sample algorithm is wide. A serious referee should ask for either a theorem in a simplified setting or a thorough experimental study with parameter sweeps and quantitative accuracy. As written, this is a good workshop or conference-level contribution, not yet a complete journal paper.\n\nWho should read it: applied topologists and anyone doing geometric data analysis who wants a cheap local singularity detector. I'd cite it if I were in that area, and I'd bring it to a reading group for a lively discussion about when local persistence actually has the meaning we want. It deserves peer review – a good referee can push the authors to close the gap.\n\nThat's my honest take.","headline":"Local persistence rule for detecting intersections is a clean new idea; the gap between theory and algorithm needs work.","tokens_in":7202,"tokens_out":2802,"would_cite":true,"duration_ms":28483,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["55N31","62R40"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proposes an unsupervised criterion—counting long-lived cohomology intervals in a thin annulus around each point—that partitions a dataset into manifold, boundary, and singular points, and it demonstrates the criterion on two…","keywords":["persistent cohomology","topological data analysis","stratified spaces","singularity detection","non-manifold data","annular neighbourhood","Vietoris-Rips barcode","cyclo-octane conformation space"],"falsifier":"Sample two transversely intersecting disks in $\\mathbb{R}^3$ at several densities with known labels for interior, boundary, and intersection points; run Procedure 1 with the paper's rule. Any interior point whose degree-1 annulus barcode has 0 or more than 1 long intervals, or any intersection point whose count is exactly 1, would contradict the claim.","tokens_in":6161,"feed_emoji":"📍","tokens_out":6480,"duration_ms":60888,"temperature":0.7,"pith_summary":"Most data analysis assumes points cluster near a smooth manifold, but many real datasets sit near spaces with singularities: places where several manifolds meet along a lower-dimensional seam. This paper argues that such seams can be detected directly from point clouds by looking at the topology of a thin annulus around each point. For every data point $y$, the method counts the long-lived intervals in the $(k-1)$-dimensional persistent cohomology barcode of the annulus $A_y$; the count is $0$ near boundaries, $1$ in manifold-like regions, and more than $1$ near intersections of $k$-dimensional pieces. If the paper is right, one unsupervised, locally computable statistic reveals where the manifold hypothesis fails, without needing any point sampled exactly on the singularity. The paper supports the claim by recovering the two singular circles in the cyclo-octane conformation space and all four self-intersections of the Henneberg minimal surface.","feed_headline":"Counting loops in a ring around each point finds singularities","feed_subtitle":"Counting long-lived loops in a narrow annulus around each point separates manifold, boundary, and intersection regions without labels.","key_machinery":"The load-bearing object is the annular neighbourhood $A_y$ of a data point $y$: the subset of points whose distance from $y$ lies between two fixed radii $r$ and $s$. The paper treats $A_y$ as a discrete proxy for the boundary $\\partial U_y$ of a small neighborhood of $y$ in the underlying stratified space. The criterion is the number of intervals in the $(k-1)$-dimensional Vietoris-Rips persistent cohomology barcode of $A_y$ whose length exceeds $s-r$; this count is interpreted as the number of local branches of the space around $y$. Stratification theory supplies the reason: by equisingularity, the homeomorphism type of $\\partial U_y$ is constant along each stratum, so points in the same stratum share the same branch count.","core_discovery":"The paper's central discovery is that singular regions of a stratified dataset can be found by counting, for each point $y$, the number of intervals in the $(k-1)$-dimensional persistent cohomology barcode of the annulus $A_y=\\{x : r\\leq \\|x-y\\|\\leq s\\}$ whose persistence exceeds $s-r$. If the count is $0$, $y$ is a boundary point; if $1$, a manifold point; and if more than $1$, an intersection point. Procedure 1 turns this into a partition of the dataset into $P_{\\mathrm{man}}$, $P_{\\mathrm{bnd}}$, and $P_{\\mathrm{int}}$. The annulus is a discrete proxy for the boundary of a small neighbourhood in the underlying space, and by equisingularity the cohomology of that boundary is constant along each stratum, so the count reflects the number of local branches meeting at $y$. The method recovers the singular circles of cyclo-octane's conformation space and the self-intersections of the Henneberg minimal surface even though no sampled points lie exactly on those singularities.","pith_inferences":["A direct stress test would sweep sampling density and curvature for a synthetic pair of intersecting manifolds and record how the three-way partition degrades; the paper does not provide such a phase portrait.","Because the annulus barcode is a per-point object, one could replace the hard 0/1/more-than-1 rule with a clustering of barcode signatures, potentially exposing strata that are not captured by a single cohomological degree.","An adaptive choice of $r$ and $s$ per point (for instance, derived from local nearest-neighbour distances) is a natural extension that could remove the paper's reliance on one global radius pair."],"forward_implications":["The same criterion can be iterated: rerun the procedure on the detected intersection points to uncover lower-dimensional singularities contained inside them.","The per-point computations are independent, so the method scales by parallelising across a cluster.","The stability theorem for persistent homology means the partition is stable under bounded perturbations of the input points.","The method separates points near the singular set even when no data point lies exactly on the singularity, so it applies to sampled data from singular spaces.","It provides an unsupervised first step toward relaxing the manifold hypothesis in data analysis."],"supporting_citations":[{"why":"Supplies the local-cohomology and stratification theory that the annulus-barcode criterion is built on.","marker":"[7]"},{"why":"Source of the Henneberg minimal surface dataset and of the alternative local-dimension criterion the paper compares with.","marker":"[14]"},{"why":"Establishes the topology of cyclo-octane's conformation space (Klein bottle and sphere along two circles) and provides the underlying conformational dataset.","marker":"[16]"},{"why":"Gives the stability theorem that makes the persistent barcodes robust to bounded noise.","marker":"[17]"},{"why":"Provides the publicly available cyclo-octane dataset through the JavaPlex software package.","marker":"[21]"},{"why":"Used to compute the Vietoris-Rips persistent cohomology barcodes in the implementation.","marker":"[22]"}],"fun_headline_variants":["Count loops around each point to find data singularities","Topological annuli separate manifold, boundary, and intersection points","Persistent cohomology of annuli reveals singular strata in data","Local topology detects intersections even without sampled singularities","Annulus barcode count spots non-manifold regions in high dimensions"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The method assumes that the persistent cohomology of the sampled annulus $A_y$ faithfully reproduces the cohomology of the boundary of a true small neighbourhood of $y$, and that one fixed global pair of radii $r,s$ and the fixed threshold $s-r$ work for every point in the dataset.","fun_headline_variants_meta":{"raw":{"variants":["Count loops around each point to find data singularities","Topological annuli separate manifold, boundary, and intersection points","Persistent cohomology of annuli reveals singular strata in data","Local topology detects intersections even without sampled singularities","Annulus barcode count spots non-manifold regions in high dimensions"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000718,"raw_usage":{"total_tokens":3213,"prompt_tokens":924,"completion_tokens":2289,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":540,"completion_tokens_details":{"reasoning_tokens":2205}},"tokens_in":540,"tokens_out":2289,"duration_ms":14884,"temperature":1.0,"reasoning_tokens":2205,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T11:13:21.011445+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Sample two transversely intersecting disks in $\\mathbb{R}^3$ at several densities with known labels for interior, boundary, and intersection points; run Procedure 1 with the paper's rule. Any interior point whose degree-1 annulus barcode has 0 or more than 1 long intervals, or any intersection point whose count is exactly 1, would contradict the claim.","supporting_citations":[{"cited_title":"& Hinton, G","cited_arxiv_id":null,"evidence_quote":"Supplies the local-cohomology and stratification theory that the annulus-barcode criterion is built on."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Source of the Henneberg minimal surface dataset and of the alternative local-dimension criterion the paper compares with."},{"cited_title":"B., De Silva, V","cited_arxiv_id":null,"evidence_quote":"Establishes the topology of cyclo-octane's conformation space (Klein bottle and sphere along two circles) and provides the underlying conformational dataset."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the stability theorem that makes the persistent barcodes robust to bounded noise."},{"cited_title":"& Adams, H","cited_arxiv_id":null,"evidence_quote":"Used to compute the Vietoris-Rips persistent cohomology barcodes in the implementation."}],"review_version":1}