{"id":"e73b5f3e-0e1a-4c75-be7d-c4e031b5bb1d","arxiv_id":"2506.07241","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Tropical hypersurfaces become shellable after one-point compactification, and tight spans of regular subdivisions are collapsible but not generally shellable.","lead":"This paper proves that certain unbounded polyhedra, and the tropical hypersurfaces built from them, admit shelling orders after adding a single point at infinity. It also shows that tight spans of regular subdivisions are always collapsible, even though they are not always shellable.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 15's collapsibility proof depends on an unproved duality step: the restriction of the dualized matching to the tight-span subcomplex is asserted to have exactly one critical cell, with no proof of the needed matching-boundary properties.","rationale":"The reader identified the duality step in Theorem 15 as the weakest assumption, specifically the unproved regularity of the Poincare dual block complex and the matching-restriction property. My analysis agrees: the most load-bearing step is the assertion that mu* restricted to the tight-span subcomplex has exactly one critical cell. This requires an unproved matching property (every interior cell except gamma matched to an interior cell, every boundary cell except alpha and beta matched to a boundary cell), not merely a regularity statement. Proposition 14 does not supply this property for the particular matching arising from the line shelling. The authors' own Remark 17 concedes that the general duality framework requires extra work, which makes the gap explicit in the manuscript. This does not refute the theorem, but it does mean the central claim is not fully proved; the conditional verdict is therefore unchanged.","tokens_in":15666,"tokens_out":14681,"duration_ms":169766,"concrete_test":"Implement the proof for small regular subdivisions: for each such Sigma, compute the Bruggesser-Mani line-shelling order, construct the Chari acyclic matching mu on H(Sigma_+), dualize to mu* on Sigma*_+, and count critical cells in the subcomplex corresponding to the tight span (dual cells of interior cells of Sigma). Test this on the triangulation of Example 13 (with the shelling order 123,234,346,136,156,157,567) and on all regular triangulations of point configurations with up to 6 points in R^2 and up to 7 points in R^3. If any instance yields a critical-cell count different from 1, Theorem 15 is false. If all instances pass, the concern is a missing proof rather than a counterexample, and the standard conditional verdict is appropriate.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central new result, Theorem 15, asserts that the tight span of a regular subdivision is collapsible. The proof reduces this to a matching problem on the Poincare dual of the complex Sigma_+, formed by adding the cell delta = P to Sigma. An acyclic matching mu on H(Sigma_+) with critical cells alpha and delta is constructed from the line shelling. The proof then says that after dualizing, the induced matching mu* restricts to the tight span with exactly one critical cell, namely gamma* (the dual of the interior d-cell gamma matched to the boundary (d-1)-cell beta). This conclusion needs three facts: (i) Sigma*_+ is a regular cell complex; (ii) the dual cells of the interior cells of Sigma form a subcomplex whose underlying space is the tight span; and (iii) every cell of that subcomplex except gamma* is matched within the subcomplex by mu*. The paper asserts (i) with the phrase 'because the subdivision Sigma is regular', but regularity of a polytopal subdivision does not by itself make the dual block complex regular without a PL condition, which is not proved. More importantly, (iii) is not established: it requires that the specific matching mu coming from the Bruggesser-Mani line shelling pairs every interior cell except gamma with another interior cell, and every boundary cell except alpha and beta with another boundary cell. Proposition 14 only states existence of some acyclic matching with one critical cell for a ball and two for a sphere; it does not show that the restriction of this particular mu to H(dSigma) has exactly two critical cells. Remark 17 explicitly says that the duality framework 'requires some extra work' and is beyond the scope of the article. Thus the proof of Theorem 15 contains a genuine gap at its key step; the theorem may be true, but it is not supported by the argument as written.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper studies shellability of boundaries of unbounded polyhedra through one-point compactifications. The main results are: a line-shelling theorem for one-point compactified boundaries when the recession cone is one- or full-dimensional (Corollary 4); shellability of one-point compactified tropical hypersurfaces in the tropical torus and in tropical projective space (Corollaries 18, 20, 32); collapsibility of tight spans of arbitrary regular subdivisions (Theorem 15); and a shelling of covector decompositions by lexicographic coarse type (Theorem 24). The proof of Theorem 15 uses Chari's discrete Morse theory and a duality argument that is only sketched; Remark 17 concedes that the general duality statement requires extra work. Several examples illustrate the limits of shellability for tight spans.","tokens_in":15860,"tokens_out":30152,"duration_ms":285051,"significance":"If the main theorem is correct, it strengthens the known contractibility of tight spans to collapsibility, and the shellability results for compactified tropical hypersurfaces are new and potentially useful for the topology of tropical moduli spaces. The paper makes good use of explicit examples (Examples 13, 16, 25) and raises two open questions. The reliance on Chari-Forman discrete Morse theory and on the duality between shellings and dual cell complexes is a promising approach. However, the central proof currently has a gap, and one result (Theorem 24) has a proof that appears inconsistent with its statement; these need to be fixed before the paper's claims are fully supported.","major_comments":[{"comment":"The proof of Theorem 15 is incomplete in its duality step. After forming the sphere Σ_+ and reversing the Hasse diagram, the proof asserts that the Poincaré dual Σ*_+ is a regular cell complex, that the duals of the interior cells of Σ form a subcomplex equal to the tight span, and that the induced matching μ* restricts to that subcomplex with exactly one critical cell. None of these facts is proved; in particular, it is not shown that the line-shelling matching μ pairs every interior cell other than γ with an interior cell and every boundary cell other than α and β with a boundary cell. Proposition 14 only gives existence of an acyclic matching with the stated number of critical cells, not the required interior/boundary separation. Remark 17 explicitly says that the general duality argument is only a sketch and that working out the details is beyond the scope of the article, yet Theorem 15 is the central new result and depends on exactly those details. This gap must be closed.","section":"Section 4, Theorem 15"},{"comment":"The sentence \"Since μ restricts to an acyclic matching on H(∂Σ), it follows that μ* restricts to the dual of ∂Σ in H(Σ*_+)\" is not justified. One must prove that the acyclic matching produced by Chari's construction from the shelling of Σ restricts to the acyclic matching produced by the induced shelling of ∂Σ; this compatibility does not follow from the existence statement in Proposition 14. A proof or a precise reference is needed.","section":"Section 4, Theorem 15"},{"comment":"The proof of Theorem 24 appears to establish the reverse of the stated lexicographic order. In Eq. (9), the left-hand side is negative and the denominator ∑ u_i ϵ^i − ϵ^{d+1} is positive, so λ is negative; a smaller value of ∑ u_i ϵ^i gives a larger |λ|, hence the corresponding intersection point is encountered later along the direction −η. Since for sufficiently small ϵ the order of the sums is the lexicographic order of the coarse types, the order along −η is decreasing lexicographic, not increasing. If the theorem intends increasing lexicographic order, the orientation or the statement must be corrected.","section":"Section 5, Theorem 24, Eq. (9)"}],"minor_comments":[{"comment":"The sentence \"the boundary of the compactification F ∪ {∗}, which is a sphere\" is misleading; F ∪ {∗} is a ball, and its boundary is a sphere. Please reword.","section":"Section 2, Lemma 2"},{"comment":"In condition (S3), the phrase \"appear first in this ordering\" should be clarified as \"appear first in the ordering of the maximal cells of ∂σ_j\".","section":"Section 2, Definition 1"},{"comment":"The statement \"The cells of the tight span of Σ are in bijection with the interior cells of Σ\" is used essentially but not proved or referenced; it should be stated as a lemma.","section":"Section 4, Theorem 15"},{"comment":"The matched pairs in Fig. 2 are hard to read; listing the pairs explicitly would help the reader verify the example.","section":"Section 4, Example 16"},{"comment":"The role of the very negative value of t in the sentence after Eq. (9) is unclear, since the sign of λ is already determined by the signs of the numerator and the denominator; please explain.","section":"Section 5, Theorem 24"},{"comment":"The proof invokes a shelling of D(V) with the facet at infinity last, but the preceding results only state that the first facet can be chosen arbitrarily; please justify the last-facet choice.","section":"Section 6, Corollary 32"},{"comment":"The phrase \"because the subdivision Σ is regular\" is ambiguous, since \"regular\" is used both for height-regular subdivisions of point configurations and for regular cell complexes; the proof should state explicitly that Σ_+ is a polytopal (hence PL) cell complex, so the dual block complex is regular.","section":"Section 4, Theorem 15"}],"recommendation":"major_revision","confidential_remarks":"The main theorem is likely true, but the proof of Theorem 15 is not complete as written. The authors are clearly aware of the missing duality details (Remark 17), so this is a matter of completing the proof rather than a fundamental error. The direction issue in Theorem 24 may be a simple sign or wording error, but it must be fixed. The paper's heavy use of [Jos21], a textbook by one of the authors, is for standard background facts and does not appear circular. I recommend major revision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things to know up front. The headline result—tight spans of regular subdivisions are collapsible (Theorem 15)—is not actually proved in the text; the key duality step is asserted. Everything around it, the line-shelling framework and the tropical hypersurface corollaries, is in much better shape.\n\nWhat is new and good: Corollary 4 genuinely extends Bruggesser–Mani line shellings to one-point compactifications of pointed unbounded polyhedra when the recession cone has dimension 1 or full. That covers the two cases that matter for domes and extended Newton polyhedra, and it yields the shellability of compactified tropical hypersurfaces (Corollaries 18, 20, 32) in a clean way. Proposition 7's shellability of regular subdivisions is known, and they say so; their proof via the compactification is a nice repackaging. Example 13 is a good counterexample, though the nonshellability claim is outsourced to a figure in [BW96] rather than proved in-line.\n\nThe soft spot is Theorem 15. After building Σ+ = Σ ∪ δ and using Chari to get an acyclic matching with critical cells α and δ, they \"turn the Hasse diagram upside down\" and assert that the induced matching μ* restricts to the tight span with exactly one critical cell. That needs three facts: the Poincaré dual block complex Σ*_+ is a regular cell complex; the duals of interior cells of Σ form a subcomplex realizing the tight span; and the restriction of μ* to that subcomplex has exactly one critical cell. None of these is proved. Regularity of the subdivision alone does not make the dual block complex regular, and the matching-restriction claim needs the boundary behavior of the specific matching, not just the existence of some matching from Proposition 14. Remark 17 says the duality framework \"requires some extra work\" and is \"beyond the scope\"—which is exactly where the proof needed it. So the theorem is plausible, but as written it is a conjecture plus a sketch.\n\nThe citation pattern is fine; [Jos21] supplies standard background, not the new results. There is no fitting or free-parameter business. If I were the editor, I would send it to referees—the shelling material is worth having—but I would tell the referee to focus on Theorem 15 and insist that the duality step be worked out or the theorem separated as a conjecture. As it stands, I would not cite the collapsibility result as proved.","headline":"A genuinely useful shelling toolkit for unbounded polyhedra, wrapped around a headline collapsibility theorem whose proof currently skips the central duality step.","tokens_in":16564,"tokens_out":4487,"would_cite":false,"duration_ms":46926,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["52B70","52B05","05E45","14T10"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that the tight span of any regular subdivision is collapsible, and that compactifying a tropical hypersurface by one point yields a shellable regular cell complex.","keywords":["shellability","collapsibility","tropical hypersurface","tight span","regular subdivision","discrete Morse theory","one-point compactification","covector decomposition"],"falsifier":"Find a regular subdivision of a point configuration whose tight span is homeomorphic to a contractible but non-collapsible complex, such as a triangulated dunce hat; because every collapsible complex admits an acyclic matching with exactly one critical cell, such an example would refute Theorem 15. A smaller check would be to compute the matching constructed in the proof of Theorem 15 for the triangulation in Example 13 and verify that its restriction to the tight span leaves exactly the claimed critical cell unmatched.","tokens_in":15357,"feed_emoji":"📐","tokens_out":8014,"duration_ms":77769,"temperature":0.7,"pith_summary":"This paper extends the classical Bruggesser–Mani line-shelling method from polytopes to unbounded polyhedra by compactifying the boundary with a single point, and applies the result to tropical geometry. It proves that the one-point compactification of any tropical hypersurface is shellable, both in the tropical projective torus and, under a full-support condition, in max-tropical projective space. Its central structural result is that the tight span of any regular subdivision is collapsible: the complex admits an acyclic matching with exactly one critical cell, which strengthens the previously known fact that tight spans are contractible. A worked example shows that tight spans need not be shellable, so collapsibility is the sharp statement.","feed_headline":"Tropical hypersurfaces become shellable with one extra point","feed_subtitle":"The same line-shelling proof shows every tight span of a regular subdivision collapses to a vertex.","key_machinery":"The load-bearing objects are the one-point compactification of the boundary of an unbounded polyhedron, the line shellings of Bruggesser and Mani, and Chari's acyclic matchings from discrete Morse theory. The proof of Theorem 15 also uses the extended Newton polyhedron $U(A,\\omega)$ and the dome $D(A,\\omega)$ of a height function; the bounded cells of the dome project to the tight span $T(A,\\omega)$, while the lower faces of the extended Newton polyhedron project to the regular subdivision $\\Sigma(A,\\omega)$. The final step passes to the Poincaré dual of the cell decomposition of a sphere to locate the unique critical cell inside the tight span.","core_discovery":"On the paper's own terms, the central discovery is that the shelling idea travels across a duality. A generic vertical line through an unbounded polyhedron orders the compactified facets of its one-point compactification, and this ordering is a shelling whenever the recession cone is one-dimensional or full-dimensional; those are exactly the shapes that occur for the extended Newton polyhedron and the dome of a tropical polynomial. Since a tropical hypersurface is the codimension-one skeleton of the normal complex, shellability of the compactified normal complex yields shellability of the compactified hypersurface. Separately, the same line-shelling, translated through Chari's discrete Morse theory into an acyclic matching on the subdivided ball, then extended to the surrounding sphere and Poincaré dualized, gives an acyclic matching with a unique critical cell on the tight span; uniqueness of the critical cell is exactly collapsibility.","pith_inferences":["If the duality step sketched in Remark 17 can be made fully rigorous, the same line-shelling-plus-dual-block argument may supply a discrete Morse proof of Poincaré duality for arbitrary regular cell decompositions of manifolds, not just the ball/sphere pair used here.","Collapsibility of tight spans means that algorithms computing homology of tropical polytopes could reduce the complex to a single vertex by a matching, potentially avoiding expensive triangulations of the full normal complex.","The paper's line-shelling compactification technique is likely to apply beyond tropical hypersurfaces: any unbounded polyhedral complex whose recession cones are either pointed rays or full-dimensional would inherit a shellable one-point compactification.","Question 27 (shellability of all tropical polytope covector decompositions) might be approachable by checking whether the lexicographic shelling of Theorem 24 can be reordered locally, since Example 25 shows such reorderings can repair a non-shelling."],"forward_implications":["Every tight span of a regular subdivision is collapsible, hence contractible; the stronger conclusion replaces the previously known contractibility of tight spans.","Compactifying any tropical hypersurface by one point yields a shellable regular cell complex, so the compactified hypersurface is homotopy equivalent to a wedge of spheres.","The covector decomposition of any tropical polytope is collapsible (Corollary 26), giving a discrete Morse reduction of the polytope to a single vertex.","For full-support matrices, the closure of a min-tropical hyperplane arrangement in max-tropical projective space is shellable (Corollary 32), and stars of its cells are shellable as well."],"supporting_citations":[{"why":"Supplies the classical line-shelling theorem for polytopes that Corollary 4 extends to unbounded polyhedra via one-point compactification.","marker":"[BM71]"},{"why":"Supplies the equivalence that shellable balls and spheres admit acyclic matchings with one or two critical cells, the bridge to collapsibility in Theorem 15.","marker":"[Cha00]"},{"why":"Supplies the discrete Morse theory framework, including the Morse inequalities used to identify the unique critical cell as a vertex.","marker":"[For98]"},{"why":"Supplies the definition of nonpure shellability and the skeleton theorem (Proposition 6) used to derive shellability of tropical hypersurfaces from shellable spheres.","marker":"[BW96]"},{"why":"Supplies the correspondence between tropical hypersurfaces' normal complexes and the dome, and the known contractibility of tight spans that Theorem 15 strengthens.","marker":"[Jos21]"},{"why":"Supplies standard facts on regular subdivisions and tight spans, including the result Proposition 7 varies by a shelling proof.","marker":"[DRS10]"},{"why":"Supplies the earlier contractibility of tight spans that collapsibility strengthens.","marker":"[Hir06]"},{"why":"Supplies the dual block complex construction that Remark 17 invokes to justify the Poincaré dual step in Theorem 15.","marker":"[Mun84]"},{"why":"Supplies a second reference for the combinatorial Poincaré duality framework cited in Remark 17.","marker":"[Bas10]"}],"fun_headline_variants":["One-point compactification makes tropical hypersurfaces shellable","Line shelling of unbounded polyhedra via compactification","Duality extends shellability to tropical hypersurfaces","Tight spans collapsible via line shelling duality","Shelling trick collapses tight spans of subdivisions"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof of Theorem 15 takes for granted that the Poincaré dual of the regular cell decomposition of the sphere is again a regular cell complex and that the tight span's cells form a subcomplex of that dual; Remark 17 only sketches this using Munkres and Basak, leaving the details beyond the article's scope.","fun_headline_variants_meta":{"raw":{"variants":["One-point compactification makes tropical hypersurfaces shellable","Line shelling of unbounded polyhedra via compactification","Duality extends shellability to tropical hypersurfaces","Tight spans collapsible via line shelling duality","Shelling trick collapses tight spans of subdivisions"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000689,"raw_usage":{"total_tokens":3043,"prompt_tokens":787,"completion_tokens":2256,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":403,"completion_tokens_details":{"reasoning_tokens":2188}},"tokens_in":403,"tokens_out":2256,"duration_ms":16551,"temperature":1.0,"reasoning_tokens":2188,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T05:40:18.597513+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find a regular subdivision of a point configuration whose tight span is homeomorphic to a contractible but non-collapsible complex, such as a triangulated dunce hat; because every collapsible complex admits an acyclic matching with exactly one critical cell, such an example would refute Theorem 15. A smaller check would be to compute the matching constructed in the proof of Theorem 15 for the triangulation in Example 13 and verify that its restriction to the tight span leaves exactly the claimed critical cell unmatched.","supporting_citations":[],"review_version":1}