{"id":"7fa2c097-9fb8-4025-ad85-ce60de8983bd","arxiv_id":"2508.14372","paper_version":1,"verdict":"REJECT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"Dehn-Sommerville manifolds form a broad class of finite simplicial complexes that the paper claims to endow with Dehn-Sommerville face symmetries, level-set closure, chromatic bound 2q+2, and monoid closure under joins.","lead":"This paper defines Dehn-Sommerville manifolds, finite simplicial complexes whose unit spheres are themselves Dehn-Sommerville spheres of lower dimension. The advertised payoff is that many manifold-like properties, such as redundant face counts, level-set structure and a chromatic bound, hold for this much larger class.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 3's central level-set step rests on an unproved 'level set in a simplex boundary is a sphere' lemma; without it the inductive unit-sphere argument has no foundation.","rationale":"The reader's weakest_assumption identifies the same unproved level-set lemma in Section 4.4, and I agree that it is the most load-bearing gap. I partially disagree with framing it alongside Lemma 4 as equally fragile: Lemma 4's conclusion (each wall lies in exactly two facets) can likely be recovered from Euler-characteristic bookkeeping on the join decomposition of unit spheres, and the announced equality w_m(G)=chi(G) appears provable from the star lemma plus chi(U(x))=(-1)^q for Dehn-Sommerville manifolds. The genuinely indispensable missing piece is the sphericity of the stable level set inside a simplex boundary. Because the paper gives only a one-line 'by induction' justification for a nontrivial poset/sphere statement, and because Theorem 3 is the foundation for the abstract's central claims, the rejection stands. The concrete test I propose would either expose a counterexample or confirm that the missing lemma is true but unproved; in the latter case the paper would still need a rigorous proof before acceptance.","tokens_in":29347,"tokens_out":37261,"duration_ms":442982,"concrete_test":"Independently test the 'by induction' step in Section 4.4: for every partition (c_0,...,c_k) of m+1 into positive parts with m <= 6 and k <= 3, build the poset of proper faces of the m-simplex that meet every color class, form its order complex, and check that it is a PL sphere of dimension m-k-1: pure dimension m-k-1, every unit sphere a sphere of dimension m-k-2, and Euler characteristic 1+(-1)^{m-k-1}. A simple script (Python/Mathematica) over all such partitions settles whether the asserted lemma holds. If any partition fails, Theorem 3 is false; if all pass, the lemma still needs a written proof before the paper's central claim can be accepted.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central new structural result is Theorem 3 (Section 4.4): for a Dehn-Sommerville q-manifold G and any vertex coloring g: V(G) -> A_k, the level set G_g = {x : g(x)=A_k} is a Dehn-Sommerville (q-k)-manifold. The proof reduces the unit sphere of x in G_g to a join of S^+(x) with the stable level set inside the boundary of x, i.e. the collection of proper faces y of the m-simplex x for which g(y)=A_k. The proof then asserts, with no real argument, that this collection is a (m-1-k)-sphere 'by induction' and that 'every level set in a boundary complex of a simplex x is a boundary complex of dimension k less.' This is the load-bearing step: if the stable level set is not a sphere, the join need not be a Dehn-Sommerville sphere and the induction defining G_g collapses. The assertion is not a trivial induction: the level set is not closed under taking subsets (a face meeting all k+1 colors has vertices that individually meet only one color), so the natural object is an open set whose comparability graph/order complex must be analyzed. The text does not analyze it, and no independent proof or computation is supplied. A second gap, Lemma 4, is also unproved, but Theorem 3 is the linchpin for the paper's main claims about level sets and the invariant theory advertised in Sections 1.8 and 12. I am not claiming the lemma is false—small cases (e.g. color multiplicities (2,2) and (1,3) in a 4-simplex) behave correctly—but as written the central theorem is not established.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper defines Dehn-Sommerville (DS) q-manifolds as finite simplicial complexes all of whose unit spheres are DS spheres, and DS spheres as complexes satisfying the same unit-sphere condition plus the Euler gem formula. It claims that this class generalizes discrete q-manifolds while retaining Dehn-Sommerville f-vector symmetries, and it announces new structural results: level sets of functions g:V(G)->A_k are DS (q-k)-manifolds (Theorem 3); all higher characteristic invariants w_m(G) equal the Euler characteristic; the chromatic number is at most 2q+2; odd-dimensional DS manifolds form a join monoid; and DS manifolds are invariant under barycentric refinement, edge refinement, and Cartesian products. The paper consists largely of examples, computational checks, and references to the author's earlier work, with the new results stated as theorems but proved only in sketch form.","tokens_in":29873,"tokens_out":25950,"duration_ms":259539,"significance":"If Theorem 3 and the invariant-theoretic claims were fully proved, the DS manifold class would be a natural and much broader setting for Dehn-Sommerville relations and discrete Sard/level-set theorems. The Dehn-Sommerville symmetry part of the paper is standard and plausible, and the many explicit examples (including non-manifold suspensions and non-Hamiltonian DS 2-manifolds) are useful. However, the central new results are not rigorously established: several load-bearing lemmas are asserted without proof, and one advertised theorem (w_m=chi) is not proved in the text at all. The paper ships reproducible code for examples, but no machine-checked proofs, so the claimed generality rests entirely on the manuscript's arguments.","major_comments":[{"comment":"The proof rests on an unproved assertion: for an m-simplex x with g(x)=A_k, the set L={y⊂x : y≠x, g(y)=A_k} is a (m−1−k)-sphere. The text says 'by induction' and 'one can check', but L is not closed under taking subsets (a face meeting all colors has faces meeting fewer colors), so L is not a subcomplex of S^-(x). The statement needs a real proof, e.g. via the order complex of L. Without this, the join computation for the unit sphere of x in G_g has no foundation, and Theorem 3 is not established.","section":"§4.4, Theorem 3"},{"comment":"The proof also assumes that S^+(x), the upper link of x (equivalently, the intersection of unit spheres of the vertices of x), is a DS (q-m-1)-sphere. This is not part of the definition of a DS manifold. The 'symmetry of f functions' remark is only a sketch, and the analogous intersection property in Lemma 4 is stated without proof. This property is used again in the chromatic-number argument (§9.3) and in Theorem 3; it is load-bearing and requires a proof.","section":"§4.3/§4.4, Lemma 4"},{"comment":"The chromatic bound chi(G)≤2q+2 depends on the claim that the dual graph of a DS q-manifold has vertex arboricity 2. The proof uses Lemma 6 (the cutting lemma G\\U(x) is a DS q-manifold), which is unproved, and a 'growing forests into the interior' induction that is only sketched. Since Lemma 6 itself relies on earlier unproved level-set/intersection properties, Corollary 3 is not supported by the text.","section":"§9, Lemma 6 and Theorem 13"},{"comment":"The advertised result that w_m(G)=chi(G) for every Dehn-Sommerville q-manifold is not proved anywhere in Section 12. The section proves Lemma 7 (star lemma) and Lemma 8 (local boundary formula) and then gives examples, but no theorem statement or induction is supplied that passes from these local identities to the global equality for DS manifolds. This is a main invariant-theory claim of the abstract and Section 1.8, so it is unsupported as written.","section":"§12 and §1.8"},{"comment":"The proof conflates two notions of 'unit sphere'. For simplicial complexes, S(x)=δU(x) is the topological boundary of the star, while for open sets such as G_g the unit sphere is the comparability-graph neighborhood. The join decomposition S(x)=S^-(x)⊕S^+(x) is asserted for the graph notion, but the DS hypothesis on G is phrased for the topological-boundary notion. A consistent dictionary (e.g. via Barycentric refinement and order complexes) is needed before the join argument can be verified.","section":"§4.4"}],"minor_comments":[{"comment":"In the proof of Theorem 3, 'The simplices in S^-(x) on which f still reaches A_k is by induction a (q−1−k)-manifold' should presumably be an (m−1−k)-manifold; the mixing of q and m obscures the induction.","section":"§4.4"},{"comment":"The proof of Theorem 5 contains an unresolved cross-reference 'Theorem (??)'.","section":"§5.1"},{"comment":"The title uses 'Dehn Sommerville' without a hyphen while the abstract and body use 'Dehn-Sommerville'; please unify.","section":"Title/Abstract"},{"comment":"References [35] and [36] are the same arXiv entry ('Green functions of energized complexes'); duplicate citations should be merged.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The manuscript relies very heavily on the author's prior work, and several of the new claims are asserted with references to [37] and [40] rather than proved in the text. The claimed w_m=chi theorem does not appear to have any proof in the submitted version. I would ask the editor to ensure that the revision supplies complete proofs of Theorem 3, Lemma 4, Lemma 6, and the w_m=chi statement before further consideration; the current version is not yet refereed as a research article."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The core idea here is genuinely worth a look: a Dehn-Sommerville q-manifold is defined by requiring every unit sphere to be a Dehn-Sommerville sphere, and that definition is clean enough to include suspensions of non-sphere manifolds and other objects that are not classical manifolds. The observation that odd-dimensional Dehn-Sommerville manifolds are automatically Dehn-Sommerville spheres follows from the author's sphere formula, and the examples (e.g. the double suspension of a homology sphere) are suggestive. I also give the paper credit for assembling the Dehn-Sommerville symmetry story through valuations, barycentric eigenvectors, and the h-vector palindromy; that is coherent and useful if you want one place to see the different frames. The paper is not a tautology: the definition of the class does not assume the f-vector symmetries or the higher-characteristic equalities, so those statements are real claims.\n\nBut the genuinely new claims are not backed by proof. Theorem 3 — the level-set result — is the linchpin, and its proof contains exactly the gap the stress-test flags: the assertion that the collection of proper faces of a simplex x on which the function still reaches the full target A_k is a sphere of dimension (m-1-k) is not proven. It is not a trivial induction, because that collection is not closed under taking subsets. The text just says it is so 'by induction.' Without that lemma, the unit-sphere induction for the level set collapses. The same goes for the higher-characteristic equality w_m(G)=chi(G): it is announced as new, but I do not see a derivation in the text, only a pointer to the earlier connection calculus. Lemma 4, used for the chromatic bound, is also unproved. And there is at least one internal inconsistency around the sphere dimension in Section 1.10 versus Section 3.3. The reliance on the author's own prior papers (sphere formula, connection calculus) is not disqualifying, but it means a reader has to take a lot on trust.\n\nI would not reject the paper outright. The definition is interesting enough that a major revision with complete proofs could make it a solid contribution. But as it stands, the advertised main theorem is not established, and the rest of the paper depends on it. If I were refereeing, I would recommend major revision: prove the level-set lemma or give a counterexample, derive the w_m=chi statement explicitly, and clarify the dimension inconsistencies.\n\nWho gets value now? Specialists in discrete combinatorial topology who know the author's framework and can test the conjectures themselves. I would not cite the central claims in my own work until the proofs are filled in.","headline":"A promising definition and a real program, but the central level-set theorem is unproved as written; the paper reads like a research announcement in need of complete proofs.","tokens_in":30214,"tokens_out":2030,"would_cite":false,"duration_ms":23880,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["05E45"],"pacs":[],"model":"deepseek-v4-flash","headline":"Level sets in Dehn-Sommerville manifolds stay Dehn-Sommerville","keywords":["Dehn-Sommerville manifolds","simplicial complexes","unit spheres","level sets","f-vector","Euler characteristic","chromatic number","higher characteristics"],"falsifier":"Check the level-set theorem computationally on a small simplex boundary: label the vertices of, say, a 4-simplex boundary with two colors, form the subcomplex of all proper faces that contain both colors, and verify it is a 1-sphere. A single example where this local complex is not such a sphere disproves the induction step behind Theorem 3. More broadly, find one Dehn-Sommerville q-manifold and one label function whose level set is nonempty but fails the unit-sphere test for a Dehn-Sommerville (q-k)-manifold.","tokens_in":29248,"feed_emoji":"🧩","tokens_out":8547,"duration_ms":79834,"temperature":0.7,"pith_summary":"Dehn-Sommerville manifolds are finite abstract simplicial complexes defined by a simple recursive condition: every unit sphere of a q-dimensional complex must itself be a Dehn-Sommerville sphere, with Euler characteristic 1+(-1)^q. The paper argues that despite this lightweight definition, the class carries much of the structure of genuine discrete manifolds: it satisfies all Dehn-Sommerville symmetries, so half of the f-vector is redundant; it is closed under level-set cuts, barycentric and edge refinements, Cartesian products, and joins; and every higher characteristic w_m equals the Euler characteristic. These properties matter because they make Dehn-Sommerville manifolds a broad, algorithmically tractable habitat in which manifold-like invariant theory and level-set constructions work without requiring geometric sphere structures at unit spheres. The central new result is an inductive closure theorem: for any function g from vertices to k labels, the collection of simplices whose labels exhaust the whole palette is again a Dehn-Sommerville (q-k)-manifold whenever nonempty.","feed_headline":"Level sets in Dehn-Sommerville manifolds stay Dehn-Sommerville","feed_subtitle":"These finite complexes behave like manifolds: level sets close, colors are bounded, half of face counts are redundant.","key_machinery":"The key machinery is the inductive definition via unit spheres together with the hyperbolic structure of every simplex x in a complex: the unit sphere S(x) splits as the join S^-(x) ⊕ S^+(x), where S^-(x) is the boundary sphere of the simplex x and S^+(x) is the sphere of proper cofaces containing x. In Dehn-Sommerville manifolds each factor is itself a Dehn-Sommerville sphere, and the level-set condition acts only on the stable factor, which is why Theorem 3 can reduce the dimension by k: the labelled part of a simplex boundary is claimed to be a sphere one dimension lower, and joining it with the unstable sphere yields a unit sphere of the right type. The same machinery feeds the monoid an","core_discovery":"On the paper's own terms, the central discovery is that a class of simplicial complexes introduced with almost no geometric baggage—define a q-dimensional Dehn-Sommerville manifold by requiring every unit sphere S(x) to be a Dehn-Sommerville (q-1)-sphere—behaves like a manifold across many structural operations. In particular, Theorem 3 states that for any Dehn-Sommerville q-manifold G and any function g from its vertices to the label set A_k={0,...,k}, the set G_g={x in G : g(x)=A_k} is a Dehn-Sommerville (q-k)-manifold if nonempty; the proof runs through the hyperbolic decomposition of every unit sphere S(x)=S^-(x) ⊕ S^+(x) into a stable and an unstable sphere, noting that the level-set co","pith_inferences":["This suggests that Dehn-Sommerville manifolds could serve as a testbed for algorithms that compute f-vectors, chromatic numbers, and higher characteristics, because the class is defined by a local, checkable condition on unit spheres rather than by global homeomorphism data.","If the level-set theorem survives scrutiny, it may supply a route to discrete analogues of Sard's theorem and Morse theory for a far larger class than q-manifolds; one could ask whether every Dehn-Sommerville manifold arises as a level set of a function on a larger Dehn-Sommerville manifold.","The chromatic bound 2q+2 may be tight only for exceptional high-chromatic examples; a computational search among small Dehn-Sommerville 2-manifolds could test whether the bound can be improved or whether chromatic number 6 actually occurs.","Because Dehn-Sommerville manifolds are closed under barycentric refinement and Cartesian products, spectral and random-walk constructions built on their Whitney complexes inherit a stable invariant theory, potentially connecting the class to numerical experiments on point clouds after dimension-reducing melting."],"forward_implications":["All higher characteristics w_m(G) equal the Euler characteristic on Dehn-Sommerville q-manifolds, unifying Euler characteristic, Wu characteristic, and their k-point analogues for this class.","Half of the f-vector entries of any Dehn-Sommerville manifold are determined by the other half via explicit Dehn-Sommerville equations, so enumerative questions about such complexes only need about half as many independent face counts.","Any Dehn-Sommerville q-manifold can be colored with at most 2q+2 colors, since its dual graph has vertex arboricity 2; this extends the q-manifold bound to the larger class.","The level-set theorem gives a discrete counterpart of regular-value level submanifolds: labeling vertices with k colors and taking all faces that see every color produces a (q-k)-dimensional Dehn-Sommerville manifold, yielding a combinatorial Sard-type statement.","Odd-dimensional Dehn-Sommerville manifolds form a monoid under joins, so one can build new higher-dimensional examples by joining or suspending non-manifold Dehn-Sommerville spheres."],"supporting_citations":[{"why":"Supplies the sphere formula sum_x ω(x)χ(S(x)) = 0 used to prove that odd-dimensional Dehn-Sommerville manifolds have zero Euler characteristic and hence are Dehn-Sommerville spheres.","marker":"[40]"},{"why":"Derives Dehn-Sommerville symmetries from Gauss-Bonnet, providing the f-polynomial even/odd criterion and the eigenvector viewpoint used throughout the paper.","marker":"[29]"},{"why":"Defines the higher characteristic invariants w_m and the k-point Green function/energy identities that the claim w_m(G)=χ(G) relies on.","marker":"[37]"},{"why":"Introduces the level-set construction for k=1 in the graph/complex setting, which the paper generalizes to arbitrary k.","marker":"[24]"},{"why":"Extends discrete level sets and algebraic sets in manifolds to higher codimension, supplying the framework for Theorem 3.","marker":"[38]"},{"why":"Gives the manifold-from-partitions and level-set perspective used to interpret Dehn-Sommerville manifolds as submanifolds.","marker":"[43]"},{"why":"Introduces Gauss-Bonnet for multi-linear valuations and the eigenvector approach to Dehn-Sommerville identities.","marker":"[25]"},{"why":"Establishes the connection-Laplacian unimodularity and Green-star framework in which the higher characteristic identities are formulated.","marker":"[26]"}],"fun_headline_variants":["Level sets of Dehn-Sommerville manifolds: same class, lower dimension","Odd Dehn-Sommerville manifolds are flat, form a monoid","Dehn-Sommerville manifolds: half the face counts are redundant","Dehn-Sommerville manifolds: chromatic number capped at 2q+2"],"cache_read_input_tokens":2688,"weakest_assumption_plain":"The weakest point is the unproved level-set-in-a-simplex-boundary lemma in Section 4.4: the paper asserts that inside the boundary of a single simplex, the pieces that still see all k labels form a sphere of the claimed dimension, and the chromatic estimate additionally rests on an unproved intersection-of-unit-spheres property in Lemma 4.","fun_headline_variants_meta":{"raw":{"variants":["Level sets of Dehn-Sommerville manifolds: same class, lower dimension","Odd Dehn-Sommerville manifolds are flat, form a monoid","Dehn-Sommerville manifolds: half the face counts are redundant","Dehn-Sommerville manifolds: chromatic number capped at 2q+2"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001189,"raw_usage":{"total_tokens":4752,"prompt_tokens":761,"completion_tokens":3991,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":505,"completion_tokens_details":{"reasoning_tokens":3906}},"tokens_in":505,"tokens_out":3991,"duration_ms":31252,"temperature":1.0,"reasoning_tokens":3906,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T18:36:51.682751+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Check the level-set theorem computationally on a small simplex boundary: label the vertices of, say, a 4-simplex boundary with two colors, form the subcomplex of all proper faces that contain both colors, and verify it is a 1-sphere. A single example where this local complex is not such a sphere disproves the induction step behind Theorem 3. More broadly, find one Dehn-Sommerville q-manifold and one label function whose level set is nonempty but fails the unit-sphere test for a Dehn-Sommerville (q-k)-manifold.","supporting_citations":[{"cited_title":"The Sphere Formula","cited_arxiv_id":"2301.05736","evidence_quote":"Supplies the sphere formula sum_x ω(x)χ(S(x)) = 0 used to prove that odd-dimensional Dehn-Sommerville manifolds have zero Euler characteristic and hence are Dehn-Sommerville spheres."},{"cited_title":"Characteristic Topological Invariants","cited_arxiv_id":"2302.02510","evidence_quote":"Defines the higher characteristic invariants w_m and the k-point Green function/energy identities that the claim w_m(G)=χ(G) relies on."},{"cited_title":"A Sard theorem for graph theory","cited_arxiv_id":"1508.05657","evidence_quote":"Introduces the level-set construction for k=1 in the graph/complex setting, which the paper generalizes to arbitrary k."},{"cited_title":"Discrete Algebraic sets in Discrete Manifolds","cited_arxiv_id":"2312.14671","evidence_quote":"Extends discrete level sets and algebraic sets in manifolds to higher codimension, supplying the framework for Theorem 3."},{"cited_title":"Manifolds from Partitions","cited_arxiv_id":"2401.07435","evidence_quote":"Gives the manifold-from-partitions and level-set perspective used to interpret Dehn-Sommerville manifolds as submanifolds."}],"review_version":1}