{"id":"e15c5f24-c9b6-4342-90e4-ff14ff232783","arxiv_id":"2606.08174","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Superdirectivity is the spectral-collision limit in RKHS where array gain equals the reproducing kernel diagonal and the M squared endfire law arises from endpoint asymptotics of the Christoffel-Darboux kernel, with Christoffel collapse at the hard edge M times faster than interior under flat L2 geo","lead":"This paper gives a reproducing kernel Hilbert space (RKHS) interpretation of superdirectivity for linear antenna arrays, showing that as element spacing approaches zero the array behavior converges to a polynomial jet space where gain is the kernel diagonal. A smart generalist might read it to see a geometric account of the known M squared endfire law that avoids near-singular optimization and ties the scaling to boundary concentration in L2 geometry.","discovery_kind":"first_principles","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"The reader's weakest assumption (convergence to jet space under flat L² geometry) is the natural point to examine, but the physical measure and small-spacing limit align with it, leaving the reinterpretation internally consistent on the evidence given. Full-text derivations would still be needed for complete verification, but no load-bearing gap is visible.","tokens_in":1740,"tokens_out":315,"duration_ms":21724,"concrete_test":"For M=4 and d=0.01λ, form the Gram matrix of the array manifold vectors under the flat L²([-1,1]) inner product, compute its associated reproducing kernel diagonal at the endpoint u=1, and compare the value and scaling against the known Christoffel-Darboux kernel for Legendre polynomials of degree 3 evaluated at the hard edge.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim reinterprets superdirectivity via RKHS convergence of array subspaces to a polynomial jet space under flat L²([-1,1]) as spacing → 0, with gain identified as kernel diagonal and M² endfire scaling from Christoffel-Darboux endpoint asymptotics. The geometry matches the standard isotropic integration measure (∫ |B(u)|² du after u = cos θ substitution), and the exponential-to-polynomial limit is the expected Taylor-jet behavior. No internal inconsistency, circularity in the kernel construction, or mismatch with the array manifold inner product is apparent from the stated claims.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The paper develops a reproducing-kernel Hilbert space (RKHS) interpretation of array superdirectivity. As element spacing tends to zero, the exponential family of an M-element linear array undergoes spectral collision, with the associated finite-dimensional subspaces converging in the reproducing-kernel sense to a polynomial jet space over the flat L²([-1,1]) geometry. Array gain is identified with the diagonal evaluation of the reproducing kernel; the M² endfire law is obtained from the endpoint asymptotics of the Christoffel-Darboux kernel. The approach frames superdirectivity as a geometric boundary-concentration phenomenon in which the Christoffel function collapses M times faster at the hard edge than in the interior, and the quadratic scaling is shown to be specific to the flat L² measure.","tokens_in":1849,"tokens_out":554,"duration_ms":10424,"significance":"If the convergence and kernel-asymptotics claims hold, the work supplies a parameter-free, geometry-driven derivation of the classical M² endfire law that is independent of ill-conditioned matrix inversion. By linking array gain directly to the reproducing-kernel diagonal and to Christoffel-Darboux endpoint behavior, it connects superdirectivity to orthogonal-polynomial theory and RKHS limits, offering a conceptual separation between achievable gain and numerical conditioning that is not present in classical treatments.","major_comments":[{"comment":"The central claim that the finite-dimensional array subspaces converge in the reproducing-kernel metric to a polynomial jet space (as spacing → 0) is load-bearing for the entire M² derivation; the manuscript must supply the explicit limit argument, including the precise definition of the jet space and the rate at which the kernel converges, rather than merely stating the result.","section":"§3 (spectral-collision limit)"},{"comment":"The identification of array gain with the reproducing-kernel diagonal evaluation must be shown to follow directly from the array-manifold inner product without additional normalization; any implicit rescaling would undermine the claim that the M² law emerges purely from the geometry.","section":"§4 (gain = kernel diagonal)"}],"minor_comments":[{"comment":"Notation for the Christoffel-Darboux kernel and the associated Christoffel function should be introduced once and used consistently; the current abstract-to-text transition leaves the precise normalization ambiguous.","section":null},{"comment":"A short numerical verification (e.g., computed kernel diagonal versus M for small spacing) would strengthen the endpoint-asymptotics claim even if the analytic proof is complete.","section":null}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the constructive report and for identifying the points where additional explicit arguments are required. We address each major comment below and will incorporate the necessary expansions and clarifications in the revised manuscript.","responses":[{"response":"We agree that the explicit limit argument must be supplied. In the revised §3 we will insert a self-contained proof establishing that, as element spacing δ → 0, the finite-dimensional RKHS subspaces generated by the array manifold converge in the reproducing-kernel operator norm to the M-dimensional polynomial jet space consisting of all polynomials of degree at most M−1 on [−1,1] equipped with the flat L² inner product. The proof proceeds by showing that the difference between the array Gram matrix and the Gram matrix of the monomial basis tends to zero after appropriate rescaling by δ, yielding an O(δ) rate of convergence for the kernels in the strong operator topology. This supplies the missing quantitative statement without invoking matrix inversion.","revision_made":"yes","referee_comment":"[§3 (spectral-collision limit)] The central claim that the finite-dimensional array subspaces converge in the reproducing-kernel metric to a polynomial jet space (as spacing → 0) is load-bearing for the entire M² derivation; the manuscript must supply the explicit limit argument, including the precise definition of the jet space and the rate at which the kernel converges, rather than merely stating the result."},{"response":"We will revise the opening paragraphs of §4 to derive the identification directly. Starting from the array manifold vector a(θ) whose entries are the complex exponentials with the conventional normalization ||a(θ)||² = M, we show that the maximum directivity (array gain) equals the reproducing-kernel diagonal K(θ,θ) by the reproducing property applied to the normalized manifold function, with no auxiliary scaling factor introduced. The subsequent endpoint asymptotics of the Christoffel–Darboux kernel then yield the M² law purely from the geometry of the flat measure.","revision_made":"yes","referee_comment":"[§4 (gain = kernel diagonal)] The identification of array gain with the reproducing-kernel diagonal evaluation must be shown to follow directly from the array-manifold inner product without additional normalization; any implicit rescaling would undermine the claim that the M² law emerges purely from the geometry."}],"tokens_in":1417,"tokens_out":504,"duration_ms":12371,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The central point is that this work supplies an RKHS framing for superdirectivity in which array subspaces converge to a polynomial jet space as element spacing goes to zero, array gain is read off the kernel diagonal, and the quadratic endfire scaling comes from faster Christoffel-function collapse at the hard edge of L2([-1,1]).\n\nThe new piece is the explicit spectral-collision limit and the geometric identification of the M^2 factor with endpoint behavior under the flat measure. This is not just another optimization bound; it separates the theoretical gain limit from numerical ill-conditioning and pins the scaling to the specific L2 geometry that arises after the usual cosine substitution for isotropic patterns. That separation is useful and the geometry matches standard array manifold inner products.\n\nThe derivation looks internally consistent on the claims given. No circular normalization or self-referential step is apparent from the abstract or the stress-test check, and the exponential-to-polynomial limit is the expected Taylor-jet behavior.\n\nThe main limitation is that only the abstract is visible here, so the actual convergence argument, error bounds, and any numerical checks are not on the table. Without those steps it is hard to judge how tight the jet-space approximation is or whether the RKHS setting requires extra conditions on the array manifold. That is a moderate rather than fatal gap for a theoretical note.\n\nThe paper is aimed at readers who already know both array signal processing and orthogonal-polynomial asymptotics. It is worth sending to referees because the technique is distinct from prior work and the central geometric claim is falsifiable once the steps are written out.","headline":"The paper re-derives the M^2 superdirectivity law from RKHS boundary asymptotics of the Christoffel-Darboux kernel rather than optimization.","tokens_in":2373,"tokens_out":401,"would_cite":false,"duration_ms":12388,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Array superdirectivity is the endpoint concentration of the Christoffel-Darboux kernel when array subspaces collide to a polynomial jet space.","keywords":["superdirectivity","reproducing kernel Hilbert space","Christoffel-Darboux kernel","array gain","spectral collision","endfire directivity","polynomial jet space","boundary concentration"],"falsifier":"A numerical computation of the exact array gain for successively smaller spacings that fails to converge to the diagonal value of the Christoffel-Darboux kernel of the jet space, or an explicit change of the underlying measure that alters the quadratic endfire scaling.","tokens_in":2602,"feed_emoji":"📡","tokens_out":721,"duration_ms":14371,"temperature":0.7,"pith_summary":"The paper establishes that superdirectivity arises as a geometric limit rather than an optimization artifact. When the spacing of an M-element linear array tends to zero, the exponential family it generates undergoes spectral collision and its subspaces converge in the reproducing-kernel sense to a polynomial jet space on the interval. Array gain is then exactly the diagonal evaluation of the reproducing kernel, and the familiar M squared endfire law is recovered from the endpoint asymptotics of the Christoffel-Darboux kernel. The collapse of the Christoffel function at the hard edge occurs M times faster than in the interior, producing the quadratic scaling. This scaling is specific to the flat L2 geometry on [-1,1]; other geometries would yield different rates.","feed_headline":"Array gain reaches M squared at endfire from kernel endpoint asymptotics","feed_subtitle":"The quadratic scaling follows because the Christoffel function collapses M times faster at the hard edge than in the interior under flat L2","key_machinery":"The Christoffel-Darboux kernel of the polynomial jet space obtained as the spectral-collision limit of the array exponential family.","core_discovery":"Superdirectivity is the geometric boundary concentration phenomenon in which the Christoffel function of the limiting reproducing kernel collapses a factor of M faster at the endpoint than in the interior, so that array gain equals the reproducing-kernel diagonal and the M squared endfire law follows directly from the endpoint asymptotics of the Christoffel-Darboux kernel.","pith_inferences":["The same geometric mechanism could be used to predict superdirectivity limits for nonuniform or weighted array placements by changing the underlying measure.","Similar boundary concentration effects may govern resolution or gain limits in other interpolation or sampling problems on bounded intervals.","Because the gain limit is separated from numerical conditioning, the framework indicates that the theoretical M squared performance remains attainable if the design respects the flat geometry."],"forward_implications":["Array gain equals the diagonal evaluation of the reproducing kernel of the limiting jet space.","The M squared endfire directivity law is recovered from endpoint asymptotics without near-singular optimization.","Christoffel function collapse at the hard edge is exactly M times faster than interior collapse.","The quadratic scaling is tied to the flat L2([-1,1]) geometry; alternative RKHS geometries produce different concentration rates."],"fun_headline_variants":["RKHS limit yields M squared superdirectivity at endfire","Spectral collision gives polynomial jet for superdirective arrays","Christoffel endpoint gives M squared array gain at endfire","Superdirectivity from M faster Christoffel collapse at boundary"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The finite-dimensional subspaces generated by the linear array converge in the reproducing kernel sense to a polynomial jet space as element spacing tends to zero, and the flat L2 geometry on the interval is the correct setting for the array problem.","fun_headline_variants_meta":{"raw":{"variants":["RKHS limit yields M squared superdirectivity at endfire","Spectral collision gives polynomial jet for superdirective arrays","Christoffel endpoint gives M squared array gain at endfire","Superdirectivity from M faster Christoffel collapse at boundary"]},"model":"grok-4.3","cost_usd":0.007541,"raw_usage":{"total_tokens":3431,"prompt_tokens":614,"num_sources_used":0,"completion_tokens":68,"cost_in_usd_ticks":75412000,"prompt_tokens_details":{"text_tokens":614,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":2749,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":614,"tokens_out":68,"duration_ms":16031,"temperature":1.0,"reasoning_tokens":2749,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-27T19:20:48.092331+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"A numerical computation of the exact array gain for successively smaller spacings that fails to converge to the diagonal value of the Christoffel-Darboux kernel of the jet space, or an explicit change of the underlying measure that alters the quadratic endfire scaling.","supporting_citations":[],"review_version":1}