{"id":"45ee3c78-7c8f-4398-9029-d09275c5411b","arxiv_id":"1908.07212","paper_version":3,"verdict":"REJECT","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"A theorem giving sufficient conditions for unique extrapolation and sampling of processes on oriented metric graphs, based on spectrum gaps that respect the graph topology, plus a density result with a proof gap for non-identity connections.","lead":"This paper introduces a topology-aware notion of spectrum degeneracy for signals on branched time lines and proves conditions for their unique recovery from a single branch or from equidistant samples. The author shows such recoverable signals are dense in a restricted class, but the proof for non-identity branch connections contains a gap.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 2's Condition-2 construction divides by H_p, but Condition 2(vi)(b) never requires H_p≠0; with H_p=0 the claimed density is false, so Theorems 1–2 are unsupported in the non-identity case.","rationale":"I read the paper as trying to establish a sampling and extrapolation theorem for T-branched processes, with the central mechanism being Lemma 2 (density of processes with spectrum gaps) combined with Lemma 1 (uniqueness from one branch). The reader's identification of the soft spot is correct: the Condition 2 proof needs the multiplier symbols H_p to be nonzero on the chosen frequency intervals, and this is neither stated nor implied by the assumptions. My counterexample with the zero operator shows this is more than a gap in a proof: it is a false statement under the stated assumptions. For H_p=0, any approximating process with a positive-measure spectrum gap and vanishing on a half-line must be identically zero, so a nonzero branch cannot be approximated. This invalidates the advertised generality of Theorems 1 and 2, which rest on Lemma 2. The identity-connection subcase (Condition 1) seems to be proved correctly and has independent value; the framework itself is reasonable. The conclusion is therefore the same as the reader's: reject the paper as written, since the central claim in its full generality is unsupported and in fact false for an admissible operator. No ad hominem is intended; this is an internal mathematical inconsistency with the stated Conditions.","tokens_in":12485,"tokens_out":13553,"duration_ms":135817,"concrete_test":"Instantiate the counterexample and run Lemma 2(i) on it: set m=2, Γ={(1,2)}, I_{1,2}=(−∞,0), h_{1,2}=0, H_1=0, D=(−1,1), x1=0, and x2(t)=e^{-t} for t>0, 0 otherwise. Verify that this T satisfies Condition 2 as written, with esssup_{ω∈D}|H_1(iω)−1|=1<∞, and then check whether any L² function x̂₂ with x̂₂|(−∞,0)=0 and Fourier transform vanishing on a positive-measure set can be nonzero; the Hardy-space uniqueness argument used elsewhere in the paper shows none exists, so Lemma 2(i) fails and the central approximation claim cannot hold without an additional invertibility hypothesis on H_p.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The weakest load-bearing point is Lemma 2's construction for Condition 2. In the proof of Lemma 2, X̂₁ is defined using the term H_p(iω)⁻¹ Y_{d,1} for d∈M_p, so the frequency intervals J_d(δ)⊂D must lie where H_p is nonzero and invertible. Condition 2(vi)(b), however, only requires H_p∈L∞ and esssup_{ω∈D}|H_p(iω)−1|<∞; it does not require H_p≠0 on D, or even a.e. The multiplier H_p=0 (i.e., the operator h_p=0) is therefore admissible. With such an operator the displayed construction divides by zero. The failure is not merely algebraic: take m=2, Γ={(1,2)}, I_{1,2}=(−∞,0), h_{1,2}=0, and D any open interval. This T satisfies Condition 2 as stated. Let x1=0 and x2(t)=e^{-t} for t>0, 0 otherwise. Then {x1,x2}∈L_{2,T}. Lemma 2(i) would require arbitrarily close x̂₂∈L² with x̂₂=0 on (−∞,0) and a positive-measure spectrum gap. By the Hardy-space uniqueness used in Proposition 1, any L² function supported on [0,∞) whose Fourier transform vanishes on a positive-measure set is identically zero. Hence no nonzero x̂₂ can exist, contradicting the ε-approximation. The identity (Condition 1) subcase appears sound, but the general non-identity case that Theorems 1 and 2 rely on is false under the stated assumptions.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript develops a theory of extrapolation and sampling for processes defined on spatial graphs, modeled as m-tuples {x_d} of L2 functions on the real line with gluing conditions x_k = h_{d,k}(x_d) on prescribed intervals I_{d,k}. It introduces a notion of spectrum degeneracy that respects the graph topology, proves uniqueness results from a single branch (Proposition 1, Corollary 1, Lemma 1), and claims a density result (Lemma 2) saying that every T-branched process is arbitrarily well approximable by processes with prescribed spectrum gaps, under either an identity-operator condition (Condition 1) or a Fourier-multiplier condition (Condition 2). Theorems 1 and 2 then assert that such approximating processes are uniquely recoverable from one branch, or from its past equidistant samples. The identity-operator part of the argument is a natural extension of classical Hardy-space uniqueness and appears sound; the non-identity part, which is the main advertised generalization, is defective as written.","tokens_in":12840,"tokens_out":21910,"duration_ms":201740,"significance":"If the main results were correct, the paper would contribute a meaningful extension of sampling and extrapolation theory to branched time domains, with concrete applications such as the fighter-jet forecasting scenario. The use of classical Hardy-space uniqueness is appropriate, and the identity-operator case yields an elegant sampling theorem from a single root branch. However, the non-identity case is essential to the paper's claimed generality, and the current Lemma 2 is false under the stated hypotheses; consequently Theorems 1 and 2 are unsupported as stated. The framework may be salvageable by strengthening the hypotheses on the multipliers H_p and by repairing the proof of Lemma 2, but the present version does not establish the advertised results for general Condition 2 topologies.","major_comments":[{"comment":"Condition 2(vi)(b) only requires H_p to be in L∞(iR) with esssup_{ω∈D}|H_p(iω)−1| < ∞, which is automatic from H_p∈L∞ and does not prevent H_p from vanishing on D. The proof of Lemma 2 defines X̂1 using H_p(iω)^{-1} on J_d(δ), so the construction is undefined for admissible H_p with H_p=0. This is not a cosmetic gap: take m=2, Γ={(1,2)}, I_{1,2}=(−∞,0), h_{1,2}=0, and D=(0,1). This T satisfies Condition 2. Let x1≡0 and x2(t)=e^{-t} for t>0 and 0 otherwise; then {x1,x2}∈L_{2,T}. Lemma 2(i) would require a sequence of approximating processes x̂2∈L2 with x̂2=0 on (−∞,0) and X̂2=0 on a positive-measure interval. By the Hardy-space uniqueness principle used in Proposition 1, such an x̂2 must be identically zero, so no nonzero approximation of x2 can exist. Hence Lemma 2 is false under the stated hypotheses, and Theorems 1 and 2, which rely on Lemma 2, are false as stated. A necessary repair is to add a condition such as essinf_{ω∈D}|H_p(iω)|>0, i.e. H_p^{-1}∈L∞(D), and to ensure that the construction is well defined on the chosen intervals J_d(δ).","section":"Section V, Proof of Lemma 2 (Condition 2)"},{"comment":"Even if invertibility of H_p on D is added, the proof of Lemma 2 does not verify the gluing condition for an edge (d,k)∈Γ with d∈M_p and k∈A(M_p). Such edges are allowed by Condition 2 and occur in Example 3: with M2={3} and A(M2)={4,5}, the edge (3,4) has source in M2 and target in A(M2). For such an edge, H_{d,k}=1 while H_{1,d}=H_p and H_{1,k}=1, so the displayed construction yields X̂_k−X̂_d=(1−H_p)(X̂1−X1) on I_{d,k} after using the original gluing X_k=X_d on that interval; this is not zero in general. Thus the constructed {x̂_d} need not satisfy x̂_k=x̂_d on I_{d,k}. The proof must either treat this case explicitly or impose an additional structural condition excluding edges from M_p to A(M_p); as written, Lemma 2 is unproved for the topologies advertised in Example 3.","section":"Section V, Proof of Lemma 2 (gluing verification)"}],"minor_comments":[{"comment":"The notation Y_{d,1} is used for d∈A(M_p) even when (1,d) is not in Γ, as for d=4,5 in Example 3; the initial definition Y_{k,d}=x_k−h_{d,k}(x_d) does not cover these pairs. The proof should explicitly define Y_{a,1}=X_a−X_1 for such a and Y_{d,1}=X_d−H_p X_1 for d∈M_p; as written, the notation is ambiguous.","section":"Section V, Proof of Lemma 2"},{"comment":"In the convergence argument, the line saying ‖x_d−x̂_d‖_{L2(R)}+‖x_d−x̂_d‖_{L2(R)}→0 repeats the L2 norm; the second norm should correspond to the C(R) norm (or the L1 norm of the Fourier transforms) as in statement (ii).","section":"Section V, Proof of Lemma 2"},{"comment":"The phrase 'there exists Γ∈G' should read 'there exists G∈G', and the notation {~x_d} is used both for the original and the approximating process; this should be cleaned up.","section":"Theorem 2"},{"comment":"The sentence 'By Lemma 1, x_{d1} is uniquely defined...' should refer to Proposition 1, not Lemma 1.","section":"Proof of Lemma 1"},{"comment":"The operator h_{1,2} is written as L2(R)→R; it should map L2(R) to L2(R).","section":"Example 4"}],"recommendation":"major_revision","confidential_remarks":"The paper is within the journal's scope, and the identity-operator case is a sound and interesting contribution. My main concern is that Lemma 2 is false under the stated assumptions: the H_p=0 counterexample is a direct falsification of Theorems 1 and 2 as stated. I believe this is a fixable hypothesis error rather than a hopeless approach, but the revision will require the author to either strengthen Condition 2 (e.g., require H_p^{-1}∈L∞(D)) and repair the proof for edges from M_p to A(M_p), or substantially restrict the class of topologies considered. If the author cannot produce a correct proof of the approximation theorem for the non-identity case, the paper should not be accepted."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: the paper has a legitimate new idea, a correct subcase, and a load-bearing flaw in the general part. The T-branched process formalism in Definition 1 is a reasonable way to model branching time domains, and the uniqueness results in Lemma 1 and Corollary 1 are sound and classical in spirit. The identity-connection case (Condition 1) of Lemma 2 is proved correctly and is a genuine contribution. The paper also does well at motivating the framework with concrete examples, and the exposition is mostly clear.\n\nThe soft spot is the proof of Lemma 2 under Condition 2. The construction divides by H_p(iω) on the frequency intervals J_d(δ). Condition 2(vi)(b) only requires H_p ∈ L∞ and esssup_D |H_p − 1| < ∞, which permits H_p ≡ 0 on D. In that case the construction divides by zero, and the failure is not merely algebraic. Take m=2, Γ={(1,2)}, I=(-∞,0), h_{1,2}=0, x1=0, x2(t)=e^{-t} for t>0. This fits Condition 2 as stated, but no nonzero L² function supported on [0,∞) can have a positive-measure spectrum gap, by the same Hardy-space argument the paper uses in Proposition 1. So the density claim is false under the stated assumptions, and Theorems 1 and 2—which lean on Lemma 2 for the non-identity case—are unsupported as written.\n\nThe fix looks straightforward: require H_p to be nonzero (or invertible) on D, or redesign the construction to avoid the division. But that is not a cosmetic issue; the advertised generality is not established in this version. The identity subcase remains intact and the framework is worth preserving.\n\nWho this is for: researchers working on sampling and extrapolation on metric graphs or branching models. I would not cite the main theorem as it stands, but I would point to the framework and Lemma 1 in discussion. I would send this to peer review, not desk reject, because the flaw is mechanical and likely repairable, and the identity case is a clean result. The reviewer should be told to check the Condition 2 construction carefully; with a small added hypothesis or a revised proof, this could be publishable.","headline":"A useful framework and a correct identity-connection case, but the non-identity density lemma has a real division-by-zero gap and the main theorems inherit it.","tokens_in":13376,"tokens_out":2933,"would_cite":false,"duration_ms":28833,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["42A38","58C99","94A20","42B30"],"pacs":[],"model":"deepseek-v4-flash","headline":"Branched processes are uniquely determined by the trace on a single branch when their spectrum gaps align with the graph topology.","keywords":["spectrum degeneracy","extrapolation","bandlimited processes","oriented branched 1-manifolds","sampling theorem","metric graphs","Fourier transform","branching processes"],"falsifier":"Pick the simplest nontrivial multiplier H_p(iω) that vanishes on a positive-measure subset of the chosen gap interval D and run the Lemma 2 construction with m = 2, I_{1,2} = (−∞, 0), and any band-limited x1. The formula for the modified root spectrum contains H_p(iω)^{-1}, so when H_p = 0 on D the right-hand side is undefined; checking whether any limiting choice of the gap intervals restores the gluing equality would settle whether the density claim survives for vanishing multiplier symbols. More broadly, a direct computation of the Lemma 2 construction for the piecewise loop of Example 4, where the branch link is not a single Fourier multiplier, will show whether the gluing equality at the switch point t = 1 can be maintained; if it cannot, the theorem's exclusion of that topology is confirmed.","tokens_in":12261,"feed_emoji":"🌳","tokens_out":10598,"duration_ms":113164,"temperature":0.7,"pith_summary":"This paper tries to move the classical sampling and extrapolation theory from functions on the real line to processes whose time domain is an oriented metric graph, a branched line in which one past trajectory can split into several future branches. It introduces a topology-aware notion of spectrum degeneracy: each branch is allowed its own set of frequencies where its Fourier transform vanishes. The main claim is that if the intervals on which branches are glued contain a semi-infinite ray and each branch carries a suitable spectrum gap, then the whole branching process is uniquely determined by the trace on a single root branch, and, when that root branch is band-limited, by its past equidistant samples alone. The paper also proves that arbitrary branching processes in a wide class can be approximated arbitrarily closely by such uniquely recoverable processes, so the sampling theorem becomes available up to any prescribed error. The point of caring is that forecasting problems with multiple scenarios, where one observed trajectory gives several possible futures, currently have no sampling theorem, and this is a candidate extension.","feed_headline":"Recover a whole branching process from one branch's past samples","feed_subtitle":"With compatible spectrum gaps, the classical sampling guarantee extends to split futures.","key_machinery":"The load-bearing mechanism is the one-sided uncertainty principle behind Proposition 1: an L2 function cannot vanish on a semi-infinite time interval and have its Fourier transform vanish on a semi-infinite frequency interval unless it is identically zero. The paper encodes this as a Hardy-space fact and then propagates it along the directed gluing chains of the graph: x1 determines x_{d_1} on the gluing set I_{d_0,d_1}, x_{d_1} then determines x_{d_2}, and so on, because at each step the union of the gluing interval and the next branch's spectrum gap has infinite measure. The second mechanism is the constructive spectral surgery of Lemma 2: small disjoint frequency intervals J_d(δ) are excised from each branch's spectrum, and the root branch's Fourier transform is redefined using the gluing mismatches Y_{k,d} so that the prescribed gaps appear while the gluing equalities are preserved. Branch operators are either identity or L∞ Fourier multipliers, which keeps this surgery in the frequency domain.","core_discovery":"The paper's central discovery is that a \"branched spectrum degeneracy\" - a vector of Fourier-spectrum gaps attached to the branches and compatible with the gluing topology - forces uniqueness of the whole T-branched process from one branch. Precisely, under Lemma 1, if every other branch is reachable from branch 1 through gluing chains and each step satisfies a condition of the form mes(I_{d_{k-1},d_k} ∪ G_{d_k}) = ∞, then x_1 alone determines all x_d; if the root branch has a spectrum gap belonging to I∞, its values on any positive-measure set determine everything. Corollary 2 adds the sampling version: if x_1 is band-limited to [−Ω, Ω], then the one-sided equidistant sequence {x_1(τk)}_{k≤s} with τ < π/Ω determines the entire branched process, even though the other branches need not be band-limited. Lemma 2 then shows that processes with such degeneracy are arbitrarily close to any T-branched process in L2, and in C for continuous processes, provided the paper's Conditions 1 or 2 hold. The theorem-level consequence is that the classical sampling theorem has a branching analogue: approximate recovery from the samples of one past branch, with error ε, for a broad family of branching topologies.","pith_inferences":["I read the density lemma as implying a practical recipe: to forecast a branching process, one chooses small frequency notches on each branch, solves the linear gluing equations for the root spectrum, and then samples; the paper does not prove stability or give a numerical algorithm, so robustness is an open question.","If the L∞-multiplier condition can be relaxed to allow piecewise-defined branch operators, the loop topology of Example 4 might become recoverable after all; that would be a natural next theorem.","The compact-manifold case with finite edges is left open; extending edges to rays with dummy branches is a plausible route, but whether uniqueness survives the extension is unproven.","Because the approximation error tends to zero as the chosen gap intervals shrink, the construction suggests a testable quantitative bound: convergence speed should depend on the size of the gaps and on how well the multiplier symbols are separated from zero."],"forward_implications":["A single observed branch, even only on a semi-infinite past interval, determines every other branch whenever the branches carry compatible spectrum gaps and the gluing intervals stretch to infinity.","For a band-limited root branch, the past equidistant samples {x1(τk)}_{k≤s} with τ < π/Ω determine the entire branching process, with the sampling rate set by the root band only.","Under Conditions 1 or 2, any T-branched process can be approximated in L2, and in C for continuous processes, by one that is uniquely recoverable from a single branch, so recovery holds up to any positive ε.","The branch operators may include shifts, time reversals, and convolutions, so models with transformed copies of a trajectory are covered as well as exact coincidences on a branch.","Situations in which one tracked path splits into several futures, such as a tracked object ejecting false targets, become representable in a sampling-theoretic recovery statement from the pre-split track."],"supporting_citations":[{"why":"Supplies the base fact that a function with a Fourier gap containing (−Ω, Ω) is uniquely determined by its past values, used for branch recovery.","marker":"[4]"},{"why":"Gives the earlier, simpler branching-line model and the linear extrapolation predictors that Remark 2 points to.","marker":"[5]"},{"why":"Provides the discrete-time spectrum-modification construction that Lemma 2 adapts to continuous branched processes.","marker":"[7]"},{"why":"Supplies the Hardy-space lemma used in Proposition 1 that a function with semi-infinite time support and semi-infinite frequency gap must vanish.","marker":"[8]"},{"why":"Proves that oversampled band-limited functions are determined by their one-sided sample sequences, used in Corollary 2.","marker":"[10]"},{"why":"Gives the past-sample prediction result for band-limited signals that underlies the one-sided sampling statement.","marker":"[24]"}],"fun_headline_variants":["One branch's samples reconstruct the whole branching process","Branching process determined by samples from a single branch","Sampling theorem generalized to branching scenarios","Branched spectrum gaps give full recovery from one branch"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that every interval on which two branches are forced to agree contains a semi-infinite ray, and that every non-identity way of linking one branch to another is a Fourier multiplier whose bounded symbol never vanishes on the frequency intervals used to create the spectrum gaps.","fun_headline_variants_meta":{"raw":{"variants":["One branch's samples reconstruct the whole branching process","Branching process determined by samples from a single branch","Sampling theorem generalized to branching scenarios","Branched spectrum gaps give full recovery from one branch"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000579,"raw_usage":{"total_tokens":2714,"prompt_tokens":914,"completion_tokens":1800,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":530,"completion_tokens_details":{"reasoning_tokens":1740}},"tokens_in":530,"tokens_out":1800,"duration_ms":13115,"temperature":1.0,"reasoning_tokens":1740,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T12:23:44.004911+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Pick the simplest nontrivial multiplier H_p(iω) that vanishes on a positive-measure subset of the chosen gap interval D and run the Lemma 2 construction with m = 2, I_{1,2} = (−∞, 0), and any band-limited x1. The formula for the modified root spectrum contains H_p(iω)^{-1}, so when H_p = 0 on D the right-hand side is undefined; checking whether any limiting choice of the gap intervals restores the gluing equality would settle whether the density claim survives for vanishing multiplier symbols. More broadly, a direct computation of the Lemma 2 construction for the piecewise loop of Example 4, where the branch link is not a single Fourier multiplier, will show whether the gluing equality at the switch point t = 1 can be maintained; if it cannot, the theorem's exclusion of that topology is confirmed.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the base fact that a function with a Fourier gap containing (−Ω, Ω) is uniquely determined by its past values, used for branch recovery."},{"cited_title":"Spectrum degeneracy for functions on branching lines and impact on extrapolation and sampling","cited_arxiv_id":"1705.06181","evidence_quote":"Gives the earlier, simpler branching-line model and the linear extrapolation predictors that Remark 2 points to."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the discrete-time spectrum-modification construction that Lemma 2 adapts to continuous branched processes."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the Hardy-space lemma used in Proposition 1 that a function with semi-infinite time support and semi-infinite frequency gap must vanish."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Proves that oversampled band-limited functions are determined by their one-sided sample sequences, used in Corollary 2."},{"cited_title":"(1987).On predicting a band-limited signal based on past sample values,” Proceedings of the IEEE 75 (8), pp","cited_arxiv_id":null,"evidence_quote":"Gives the past-sample prediction result for band-limited signals that underlies the one-sided sampling statement."}],"review_version":1}