{"id":"cbacb461-2a7c-4bc4-9c09-6f90a68117eb","arxiv_id":"1908.06222","paper_version":1,"verdict":"REJECT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper asserts, without supplying the key construction, that Neumann Laplacian spectra on thin 3D neighborhoods of open book structures converge to a 2D limit operator with continuity and Kirchhoff conditions along bindings.","lead":"This paper announces how vibration frequencies change when a thin three-dimensional book-like shape is compressed onto its two-dimensional pages. A reader interested in quantum graphs or thin structures will find a clearly stated limiting model, but the central proof is deferred to another paper.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The central claim depends on Theorem 2.6, the existence of averaging and extension operators, which is explicitly deferred to another paper; no proof or sketch is given, leaving Theorem 2.7 unestablished.","rationale":"Both the reader and this pass identify the same load-bearing point: Theorem 2.7 is conditional on Theorem 2.6, and Theorem 2.6 is explicitly deferred. The paper's own text flags this omission ('The long technical task, to be addressed elsewhere'), and the conclusion section lists further restrictions, so there is no hidden or independent support for the existence of the operators. The conditional min-max argument of Theorem 2.4 is standard and, with a minor two-step ordering of the inequalities (first use K^epsilon to bound lambda_n^epsilon, then choose a fixed Lambda for J^epsilon), can be made rigorous; this internal gap is not the main problem. The main problem is that the existence result is the entire technical content of the paper and is absent. One cannot certify the central claim from the manuscript alone. The result may well be true—the quantum-graph analogy and the volume scaling of the binding (O(epsilon^2) versus O(epsilon) for pages) make it plausible—but plausibility is not proof. No machine-checked verification or reproducible code is provided. Therefore the reader's REJECT verdict is appropriate and does not need adjustment.","tokens_in":7092,"tokens_out":11059,"duration_ms":125939,"concrete_test":"Verify Theorem 2.6 in the local model: let M consist of two half-planes meeting at angle theta along a common binding, and define M^epsilon = {x : dist(x,M) < epsilon}. Construct explicit J^epsilon and K^epsilon by averaging over normal fibers away from the binding and splicing the two page contributions in a neighborhood of the binding, then check all four inequalities (9)-(12) with o(1) uniform on fixed spectral subspaces P^epsilon_Lambda and P_Lambda. In particular, quantify the H^{1/2} splice term in Q(J^epsilon u)-Q^epsilon(u): if it is not o(1)Q^epsilon(u) as epsilon tends to 0 for every angle theta allowed by the hypotheses, then Theorem 2.6 is false as stated and Theorem 2.7 requires an additional regularity or angle condition.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's main result, Theorem 2.7, is the immediate consequence of Theorem 2.4 and Theorem 2.6. Theorem 2.4 shows the abstract min-max implication, and its proof is essentially correct in outline (modulo a small ordering issue: one should first use K^epsilon to bound lambda_n^epsilon and then choose a fixed spectral window before applying J^epsilon; this is fixable). The load-bearing assumption is Theorem 2.6, stated on page 8 as 'The long technical task, to be addressed elsewhere, consists in proving the following statement' and then left unproved. The existence of the operators J^epsilon and K^epsilon satisfying the two near-isometry and two energy inequalities (9)-(12) is the technical bridge between the 3D forms Q^epsilon and the 2D form Q. This is not a routine detail: near a binding the trace of a G1 function is only H^{1/2}, not continuous, so the averaging map must produce a function whose page traces agree in H^{1/2} while preserving both L2 norm and energy to order o(1). If the natural normal-fiber averaging plus a splice at the binding loses a non-vanishing energy term (for instance, if the splice has energy comparable to ||u||^2_{H^{1/2}} rather than o(1)Q^epsilon(u)), then (10) fails and Theorem 2.7 would need extra hypotheses. Since the paper provides no construction, no estimates, and no reference to an available proof, the announced spectral convergence is not established by this manuscript.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript studies the Neumann Laplacian on a thin ``fattened'' neighborhood $M^\\epsilon$ of a two-dimensional stratified set $M$ in $\\mathbb{R}^3$, where $M$ is an ``open book'' structure with smooth two-dimensional pages meeting transversely along one-dimensional bindings. The authors propose a limiting operator $A$ on $M$ acting as the Laplace-Beltrami operator on each page with continuity and Kirchhoff conditions at the bindings, and they claim that, as $\\epsilon\\to 0$, each eigenvalue $\\lambda_n(A^\\epsilon)$ of the Neumann Laplacian on $M^\\epsilon$ converges to the corresponding eigenvalue $\\lambda_n(A)$. The proof is reduced in Section 2 to the existence of averaging operators $J^\\epsilon$ and extension operators $K^\\epsilon$ satisfying near-isometry and energy inequalities (9)--(12). Theorem 2.4 proves that such operators imply spectral convergence; Theorem 2.6 asserts their existence but is explicitly deferred to another text; Theorem 2.7 states the main convergence result as an immediate corollary. The paper's original content is therefore the abstract reduction of the spectral convergence problem to the construction of $J^\\epsilon$ and $K^\\epsilon$, together with the formulation of the limiting operator.","tokens_in":7364,"tokens_out":5832,"duration_ms":63256,"significance":"If the missing technical construction were supplied, the result would be a natural and interesting two-dimensional analogue of the well-developed spectral convergence theory for fattened graphs, with potential applications in physics and engineering. The manuscript is clearly written and the limiting operator is formulated in a plausible way, including the expected continuity and Kirchhoff conditions at the bindings. The paper also honestly states the restrictions of its approach, such as the absence of zero-dimensional strata and the assumption that the pages meet transversely. Credit is due for isolating the precise sufficient conditions for spectral convergence in Definitions 2.2 and 2.3 and for stating Theorem 2.4 in a clean conditional form. However, the decisive technical step, the construction of the operators $J^\\epsilon$ and $K^\\epsilon$ with the required estimates near the binding, is not carried out in this manuscript and is deferred to a separate publication. Consequently the main theorem is not established here, and the paper functions as a research announcement or reduction rather than a proof of the advertised convergence result.","major_comments":[{"comment":"The central claim of the paper, Theorem 2.7, depends entirely on Theorem 2.6, which asserts the existence of averaging and extension operators $J^\\epsilon$ and $K^\\epsilon$ satisfying (9)--(12). The manuscript states on page 8 that this is ``the long technical task, to be addressed elsewhere'' and provides no proof, no construction, and no reference to an available text. This is not a peripheral detail: inequalities (10) and (12) are exactly the estimates that must control the averaging and splicing near the binding, where traces of $H^1$ functions only lie in $H^{1/2}$. Without Theorem 2.6, Theorem 2.4 is a conditional statement and Theorem 2.7 does not follow. This omission cannot be repaired within the present manuscript's scope.","section":"Theorem 2.6, Section 2"},{"comment":"The proof applies the estimates (9)--(12) to arbitrary $n$-dimensional subspaces $W_n$ and $W^\\epsilon_n$ in (16)--(17), but those estimates are only assumed for vectors in the spectral subspaces $P^\\epsilon_\\Lambda$ and $P_\\Lambda$. A subspace realizing the min-max maximum need not be contained in a spectral subspace. The argument can be repaired by fixing $\\Lambda$ between $\\lambda_n(A)$ and $\\lambda_{n+1}(A)$, choosing $W^\\epsilon_n$ as the span of the first $n$ eigenfunctions of $A^\\epsilon$ and $W_n$ as the span of the first $n$ eigenfunctions of $A$, and using $K^\\epsilon$ first to bound $\\lambda^\\epsilon_n$ within a spectral window before applying $J^\\epsilon$. This ordering is not stated and should be made explicit.","section":"Proof of Theorem 2.4, inequalities (14)--(19)"},{"comment":"The definitions require the estimates (9)--(12) to hold uniformly over spectral subspaces corresponding to an arbitrary $\\Lambda$ not in the spectrum, with an $\\epsilon_0$ that may depend on $\\Lambda$. In the proof of Theorem 2.4 one must pass from a fixed $\\Lambda$ for $A$ to a corresponding $\\Lambda$ for $A^\\epsilon$ for sufficiently small $\\epsilon$. The manuscript does not discuss this uniformity or the role of spectral gaps near the limiting eigenvalues. This is likely fixable by a standard spectral-window argument, but it should be part of the proof rather than left implicit.","section":"Definitions 2.2--2.3"}],"minor_comments":[{"comment":"The characterization of the domain $G_2$ with the Kirchhoff condition (8) is stated without proof and described as standard. Since the binding is a singular set and the normal derivatives are traces of $H^2$ functions, a reference or a short justification of the precise sense in which the sum in (8) vanishes would be helpful.","section":"Proposition 1.5"},{"comment":"The remarks about phase transitions and corners are interesting but do not compensate for the absence of the main technical proof; they should be clearly labeled as conjectural or planned work rather than results of this paper.","section":"Section 3, final remarks"},{"comment":"There are minor typographical issues, including a duplicated reference [22] in the introduction and some informal spacing in displayed formulas; these do not affect the mathematics.","section":"General presentation"},{"comment":"The manuscript cites Post's book for the statement that averaging and extension operators are sufficient for spectral convergence. Since this is the backbone of Theorem 2.4, the precise theorem or proposition in [31] should be cited, not only the book as a whole.","section":"Reference [31]"}],"recommendation":"reject","confidential_remarks":"This submission reads as a reduction and announcement: the main theorem is conditional on an unproved existence statement explicitly deferred to a future longer paper. For a journal publication, this is a load-bearing gap that cannot be addressed by minor revisions. The correct venue for this material would be a full paper that includes the construction of $J^\\epsilon$ and $K^\\epsilon$, or a clearly labeled research announcement with the proofs appearing elsewhere and cited with precise references. I recommend rejection of the current manuscript, with encouragement to resubmit once the construction is included."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nHere's the short version: this is a research announcement, not a proof. The paper defines a natural 2D analog of quantum graphs — \"fattened open book structures\" — and states that Neumann Laplacian eigenvalues on the fattened 3D domain converge to those of a limiting operator with continuity and Kirchhoff conditions on the pages. The path is standard: construct averaging operators J^ε and extension operators K^ε with near-isometry and energy controls, then run a min-max argument. The min-max part, Theorem 2.4, is written cleanly and works under those axioms.\n\nThe problem is Theorem 2.6, which asserts the existence of J^ε and K^ε. It is stated on page 8 and explicitly deferred to \"another, much longer text.\" No construction, no estimates, no sketch. Everything rests on this. The stress-test worry — that the splice near the binding might produce an H^{1/2} energy contribution that does not vanish relative to the main energy — is exactly the kind of thing that could fail with extra hypotheses, and the paper gives no reason to rule it out. So as it stands, the main theorem 2.7 is not established in this manuscript.\n\nThat said, I want to be fair. The authors do not hide the gap; they flag it clearly. The problem is well-posed and the limiting operator is the natural guess. For someone working on thin structures or quantum graph analogs, this announcement is useful: it frames the question and gives the conditional reduction. But it is not a self-contained spectral convergence proof. The absence of any estimate near the binding is a load-bearing missing piece, not a technicality.\n\nI'd cite this if I wrote about open book structures, and I'd send it to a referee if the venue accepts research announcements — but I would not accept it as a complete paper. The authors should either include the proof of Theorem 2.6 or clearly present this as an announcement with the full version forthcoming. As it stands, it's a good outline with the core technical work openly postponed.","headline":"A clear research announcement that reduces the main spectral convergence theorem to a deferred construction of averaging and extension operators — the central claim is not proven in this manuscript.","tokens_in":7895,"tokens_out":2629,"would_cite":true,"duration_ms":26160,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35P99","58J05","58J90","58Z05"],"pacs":[],"model":"deepseek-v4-flash","headline":"For open book structures in 3D, the eigenvalues of the Neumann Laplacian on an epsilon-fattened neighborhood converge to those of a 2D limit operator as epsilon tends to zero.","keywords":["open book structure","spectral convergence","Neumann Laplacian","thin domains","averaging operators","extension operators","Laplace-Beltrami operator","Kirchhoff conditions"],"falsifier":"Compute numerically the first few Neumann Laplacian eigenvalues on an epsilon-fattened open book built from two disks meeting along a diameter, for epsilon decreasing to zero, and compare them with the eigenvalues of the claimed limit operator with continuity and Kirchhoff conditions at the binding. If the differences fail to vanish, or if no such averaging and extension operators can be constructed for this geometry, the convergence claim would be refuted.","tokens_in":6836,"feed_emoji":"🎵","tokens_out":9764,"duration_ms":84488,"temperature":0.7,"pith_summary":"The paper establishes that, for a class of branching 2D surfaces in three-space called open book structures, the eigenvalues of the Neumann Laplacian on a thin epsilon-neighborhood converge, as epsilon tends to zero, to the eigenvalues of a limit operator defined on the surface itself. The limit operator acts as the Laplace-Beltrami operator on each page and enforces continuity and Kirchhoff flux conditions at the binding where pages meet. This makes the limit operator a 2D analog of the quantum graph, extending a well-developed theory for thin graphs to thin branched surfaces. The proof is conditional: it shows that if certain averaging and extension operators exist, then convergence follows, and it asserts their existence in a separate theorem that is deferred to another publication.","feed_headline":"Thin shells over branched surfaces match the 2D limit spectrum","feed_subtitle":"Eigenvalues on the fattened body converge to those of a 2D operator with Kirchhoff junction conditions.","key_machinery":"The machinery is a pair of operator families: averaging operators $J^\\epsilon$ mapping functions on the fattened domain to functions on the surface, and extension operators $K^\\epsilon$ mapping in the opposite direction. They are required to be nearly isometries on low-energy spectral subspaces and to be nearly energy-nonincreasing, in the sense of Definitions 2.2 and 2.3. These inequalities let any finite-dimensional test space for one problem be transplanted into the other with only $o(1)$ changes to its Rayleigh quotient, which forces the min-max eigenvalues to coincide in the limit. The paper proves this implication (Theorem 2.4) and states the existence of such operators (Theorem 2.6) without proof.","core_discovery":"The paper's central claim is Theorem 2.7: for any open book structure M satisfying the stated hypotheses, and for any index n, the n-th eigenvalue $\\lambda_n(A^\\epsilon)$ of the Neumann Laplacian on the fattened domain $M^\\epsilon$ converges to $\\lambda_n(A)$, the n-th eigenvalue of the operator $A$ on $M$. The operator $A$ is the 2D analog of a quantum graph: on each page it is the Laplace-Beltrami operator, and across each binding it imposes continuity of the function and the Kirchhoff condition that the sum of normal derivatives over the incident pages vanishes. The proof works by replanting test spaces between the two quadratic forms using averaging and extension operators, then applying min-max to force the Rayleigh quotients together. The existence of these operators appears as Theorem 2.6, which is stated but not proved in this manuscript.","pith_inferences":["If the deferred construction of $J$ and $K$ can be carried out for structures with corners (0D strata), the same min-max comparison should yield convergence with vertex conditions at the corners, a case the paper leaves open.","Varying the fattening rate at bindings relative to pages is expected to change the effective junction condition; a concrete test would be to compute the limit of the spectrum under anisotropic shrinking to see whether delta-like or Robin couplings appear.","A numerical study on a simple open book, such as two rectangular pages meeting at a common edge, could validate the Kirchhoff condition as the correct junction rule and reveal how fast the convergence is in $\\epsilon$.","The proof structure suggests that adding a bounded potential to the Laplacian should preserve the convergence, since the operator inequalities are insensitive to lower-order terms; this is a testable extension of Theorem 2.7."],"forward_implications":["For every allowed open book structure, each Neumann eigenvalue of the thin 3D body converges to the corresponding eigenvalue of the 2D surface operator as the thickness goes to zero.","The limit operator gives a 2D analog of quantum graphs, so thin branched surfaces can be modeled by 2D surface operators with continuity and Kirchhoff conditions at the bindings.","Convergence holds eigenvalue by eigenvalue for each fixed index, so spectral gaps and multiplicities of the limit are inherited by sufficiently thin fattened domains.","The result covers the previously known smooth-surface case as a special case and extends the graph-case theory to branching 2D strata."],"supporting_citations":[{"why":"Supplies the criterion that averaging and extension operators with the stated inequalities imply spectral convergence, which Theorem 2.4 adapts to this setting.","marker":"[31]"},{"why":"Proves the analogous spectral convergence for fattened graphs, the one-dimensional result that this paper extends to 2D open books.","marker":"[27]"},{"why":"Provides the min-max characterization of eigenvalues that the proof of Theorem 2.4 uses to compare Rayleigh quotients.","marker":"[33]"},{"why":"Supplies the standard spectral theory and Sobolev embedding facts used to define the Neumann Laplacian and the limit operator.","marker":"[6]"},{"why":"Introduces the quantum graph framework and terminology that the 2D limit operator is modeled on.","marker":"[2]"}],"fun_headline_variants":["Fattened open books: spectra converge to 2D quantum graph","Quantum graphs in 2D: spectral limit for fattened open books","Thin branched 3D shells: eigenvalues approach 2D Kirchhoff limit","Open book shells: Neumann spectra limit to 2D operator","Branched 2D limit: Neumann Laplacian on fattened books converges"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole argument rests on the existence of averaging and extension operators that transfer functions between the 3D fattened domain and the 2D surface while nearly preserving lengths and energies; this existence is stated as a theorem but proved in another text.","fun_headline_variants_meta":{"raw":{"variants":["Fattened open books: spectra converge to 2D quantum graph","Quantum graphs in 2D: spectral limit for fattened open books","Thin branched 3D shells: eigenvalues approach 2D Kirchhoff limit","Open book shells: Neumann spectra limit to 2D operator","Branched 2D limit: Neumann Laplacian on fattened books converges"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001445,"raw_usage":{"total_tokens":5734,"prompt_tokens":772,"completion_tokens":4962,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":388,"completion_tokens_details":{"reasoning_tokens":4861}},"tokens_in":388,"tokens_out":4962,"duration_ms":34549,"temperature":1.0,"reasoning_tokens":4861,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T12:52:06.395582+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute numerically the first few Neumann Laplacian eigenvalues on an epsilon-fattened open book built from two disks meeting along a diameter, for epsilon decreasing to zero, and compare them with the eigenvalues of the claimed limit operator with continuity and Kirchhoff conditions at the binding. If the differences fail to vanish, or if no such averaging and extension operators can be constructed for this geometry, the convergence claim would be refuted.","supporting_citations":[{"cited_title":"Post, Spectral analysis on graph-like spaces, Springer-Verlag, Berlin, 2012","cited_arxiv_id":null,"evidence_quote":"Supplies the criterion that averaging and extension operators with the stated inequalities imply spectral convergence, which Theorem 2.4 adapts to this setting."},{"cited_title":"Kuchment and H","cited_arxiv_id":null,"evidence_quote":"Proves the analogous spectral convergence for fattened graphs, the one-dimensional result that this paper extends to 2D open books."},{"cited_title":"Reed and B","cited_arxiv_id":null,"evidence_quote":"Provides the min-max characterization of eigenvalues that the proof of Theorem 2.4 uses to compare Rayleigh quotients."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the standard spectral theory and Sobolev embedding facts used to define the Neumann Laplacian and the limit operator."},{"cited_title":"Berkolaiko and P","cited_arxiv_id":null,"evidence_quote":"Introduces the quantum graph framework and terminology that the 2D limit operator is modeled on."}],"review_version":1}