{"id":"f486e414-8c9f-4434-b2a1-cbdaaa030516","arxiv_id":"2608.12413","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"For radial SU(2) hedgehog backgrounds, the first Faddeev-Popov zero mode can be orthogonal to the source in Zwanziger's horizon function, making the first Gribov-horizon crossing source-dark.","lead":"For certain symmetric gauge-field configurations, the first signal that a boundary of the allowed field region has been reached is not registered by the standard horizon function that measures crossing. The paper proves this using explicit three- and four-dimensional SU(2) examples and introduces a way to classify when such blind spots occur.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No load-bearing objection within the stated hedgehog scope; the dark-crossing construction is analytically sound, with robustness to symmetry-breaking being the acknowledged open limitation.","rationale":"The paper's central assertion is carefully scoped as a configurationwise statement about hedgehog families, and within that scope the mathematical chain is internally consistent: the exact source-selection rules (47) and (86) are subspace properties of the hedgehog ansatz, not perturbative cancellations; the finite-width theorems (4.5 and 5.2) give explicit sufficient conditions for a dark first crossing; and the finiteness propositions (4.7 and 5.4) correctly use the strict separation of the visible sector from threshold. I re-checked the main analytic steps, including the variational threshold characterization, the two-sided finite-width bounds, and the BPST positivity threshold in Sec. 6; no internal error surfaced. The reader's weakest-assumption identification matches my own: the construction depends on exact hedgehog symmetry, and the paper honestly leaves symmetry-breaking open in the conclusion. Because the claim is existence under symmetry rather than genericity, this is a scope limitation rather than a fatal flaw; the verdict should remain conditional, driven by the acknowledged open robustness question and by the absence of code or data for the numerical threshold tables.","tokens_in":20785,"tokens_out":22418,"duration_ms":195742,"concrete_test":"Take the negative-branch dark profile of Thm 4.5 (e.g., r0=10, w/r0=4e-4) and add a small symmetry-breaking perturbation A^a_i -> A^a_i + eps B^a_i with B chosen to have an L=1 angular component, e.g., B^a_i = delta_{ai} chi(r). Solve the resulting coupled eigenvalue problem for the lowest eigenvalue lambda(eps) and compute nu_1(eps) = <psi_1(eps), V_{A(eps)} psi_1(eps)>. If nu_1(eps) ~ c eps^2 with c>0, then at eps != 0 the horizon function diverges as nu_1/lambda, confirming that darkness is an exact-symmetry phenomenon; an independent check at eps=0 should reproduce lambda=0 and nu_1=0. This settles the scope of the central claim without altering the existence proof.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is an existence statement for exactly hedgehog-symmetric backgrounds, and the proofs support it: the source support is confined to L=1 (Thm 3.2) or hyperspherical degree n=1 (Thm 5.1), the finite-width comparisons (Prop 4.4, Thm 4.5, Thm 5.2) place the first negative-branch crossings in dark sectors, and Props 4.7 and 5.4 control the horizon form through the visible-sector gap. The one substantive limitation is that the darkness mechanism is not shown to be stable: under a generic symmetry-breaking perturbation the critical eigenvector acquires a nonzero overlap with ran T_A, and by Prop 2.2(a) the crossing becomes visible with H(A) diverging. The paper itself flags this in the final sentence of Sec. 7: 'How this suppression is modified by perturbations that break the underlying symmetry remains an open question.' For the configurationwise existence claim this is a scope boundary rather than an internal inconsistency; it would be the load-bearing gap only if the claims were extended to generic backgrounds. The reader's conditional verdict already reflects this limitation.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper addresses the configurationwise relation between the first Gribov horizon, defined by loss of positivity of the Faddeev-Popov operator M[A], and Zwanziger's horizon function H(A), which probes M[A]^{-1} through background-dependent sources. It introduces a source map T_A and a finite-rank visibility operator V_A = T_A T_A^* (Sec. 2), and proves a visibility criterion (Prop. 2.2) classifying crossings as dark, partially visible, or fully visible according to the rank of P_c V_{A_c} P_c. For radial SU(2) hedgehog backgrounds in three and four dimensions (Secs. 3 and 5), angular selection rules confine the source to orbital sector L=1 or hyperspherical degree n=1. Using variational threshold estimates for smooth narrow shells (Sec. 4), the paper constructs profiles for which the first negative-branch crossing in 3D lies in L>=2 and both first crossings in 4D lie in n>=2, so the critical subspace is annihilated by the source and H remains finite even though M develops a zero mode. The regular-gauge BPST background is analyzed separately (Sec. 6): its positivity threshold is determined exactly, the degree-one form is Hardy-critical at the physical amplitude, and the full-space source columns are not L^2, so a full-space horizon trace requires a further prescription. The paper explicitly restricts its claims to configurationwise spectral properties and states in Sec. 7 that stability under symmetry-breaking perturbations remains open.","tokens_in":20996,"tokens_out":31912,"duration_ms":294308,"significance":"If the results hold, the paper establishes a clean conceptual point: the first Gribov horizon and the singular response of the horizon functional are independent data, and the compressed visibility operator P_c V_{A_c} P_c is a degeneracy-safe diagnostic that separates the two. The analytic machinery is a strength: Prop. 2.1 and Prop. 2.2 are proved in detail; the angular selection rules in Thms. 3.2 and 5.1 are exact; Lemma 4.1 and Prop. 4.4 give variational control with explicit bounds; and Prop. 6.1 is an exact threshold with a constructive test function. The result is a genuine existence statement for exactly hedgehog-symmetric backgrounds, not a statistical statement about the Yang-Mills measure, and the authors are careful not to overclaim. The significance is primarily conceptual and methodological, and the explicit finite-width thresholds in Tables 2 and 3 are concrete and checkable.","major_comments":[{"comment":"The displayed lower bound µ_1[φ_w] ≥ (3/r0)(1 + sqrt(3w/r0))^2 is not what Theorem 4.4 supplies: the two-sided bound (64) gives µ_L[φ_w] ≥ µ_L (1 + sqrt(µ_L w))^{-2}, so for L=1 the correct bound is (3/r0)(1 + sqrt(3w/r0))^{-2}. As written, the inequality is false for small w and is actually larger than the upper bound from (64). Since this comparison is what excludes the visible L=1 channel and yields L_*(w)≥2, the proof of part (ii) is invalid as it stands. The stated threshold w/r0 < 5.2×10^{-4} is consistent with the corrected reciprocal bound, so the theorem is recoverable, but the display and the comparison need to be fixed.","section":"§4.1, Theorem 4.5 proof (inequality following Eq. (66))"},{"comment":"The same reciprocal error occurs in the four-dimensional comparison: the proof states µ_1^(4)[φ_w] ≥ (4/r0)(1+2s)^2, whereas Theorem 4.4 gives (4/r0)(1+2s)^{-2}. The displayed lower bound is false, and because it is the bound used to exclude n=1 on both amplitude branches, the proof of Theorem 5.2 as written is invalid. The condition (99) matches the comparison using the corrected reciprocal bound, so this is a fixable error, but it must be corrected.","section":"§5.2, Theorem 5.2 proof (Eq. (100))"}],"minor_comments":[{"comment":"The reference to 'theorem 4.1' should be to Lemma 4.1, which is the variational characterization used for µ_1[φ].","section":"§4.7, Prop. 4.7 proof"},{"comment":"The sentence 'On a Dirichlet ball this endpoint belongs to the first Gribov boundary' should specify that the box radius R must be taken sufficiently large, since Lemma 4.2 controls the finite-volume correction only asymptotically.","section":"§4.1, Theorem 4.5 and Lemma 4.2"},{"comment":"The symbol h is reused for g times the original profile after Eq. (31); the switch is easy to miss in Eqs. (36), (48), and (49). Please introduce a separate symbol, such as \tilde h = g h, or state the convention explicitly.","section":"§3, notation after Eq. (31)"},{"comment":"The sentence about the remainder in (27) being only o(τ^{-1}) is confusing because the preceding display already states the limiting statement (27); consider deleting or rephrasing it.","section":"§2, Prop. 2.2 proof"},{"comment":"The final sentence acknowledges that the suppression mechanism is not shown to be stable under symmetry-breaking perturbations. This is an honest scope limitation, but because the main theorems require exact hedgehog symmetry, the abstract or introduction should state even more prominently that the dark-crossing results are existence statements for exactly symmetric rays.","section":"§7, Conclusion"}],"recommendation":"major_revision","confidential_remarks":"The two reciprocal-inequality errors are likely transcription errors, since the numerical thresholds quoted in Theorems 4.5 and 5.2 are the correct ones obtained from the reciprocal bounds. Nevertheless, they occur in the proofs of the two central existence theorems and must be corrected before the paper can be accepted. The paper is within scope for a mathematical hep-lat or mathematical physics journal, and I see no basis for rejection."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"X,\n\nThe thing to know: this paper separates two questions that are usually fused: when the Faddeev–Popov operator M loses positivity, and when the horizon function H(A) actually diverges. The bridge is the visibility operator V_A = T_A T_A^* and its compression to the critical subspace. The classification (dark / partially visible / fully visible, by rank of P_c V_A P_c) is the genuinely new tool, and it does real work: in the 3D hedgehog, source columns live only in L=1, so any crossing in L≥2 is dark by an exact subspace argument, not by cancellation. The constructions of smooth narrow shells whose first negative-branch crossing is dark (Thm 4.5), and the 4D analogue with dark crossings on both branches (Thm 5.2), are the payoff. The BPST section is also careful: the threshold g_c(1) = 1 is exact, and the paper notes that the source columns fail L2 admissibility on R4.\n\nThe proofs are mostly a pleasure. Prop 2.1 is a clean monotone-convergence trace identity; the selection rules are exact because L^2 (or hyperspherical degree) is conserved. The Henyey check and the finite-width bounds (Prop 4.4) are controlled, and the Hardy test-function argument in Prop 6.1 is elegant. The paper also flags its own scope honestly: the final sentence of Sec. 7 admits the symmetry-breaking question is open. That is a real boundary—the dark crossings are existence statements for exactly hedgehog-symmetric rays, not generic configurations—but it is a stated boundary, not an internal inconsistency.\n\nSoft spots, in proportion. The numerical thresholds in Tables 2 and 3 come with no code or data, and 'direct threshold calculations' is thin; the analytic existence theorems carry the main claim, so this is a reproducibility request rather than a load-bearing flaw. Eq. (66)'s lower bound is justified in one sentence; the bound is valid (a pointwise estimate on the support), but a referee should ask for the line to be written out. Cross-references are sloppy—'theorem 3.1' for Lemma 3.1, 'theorem 4.1' for Lemma 4.1, 'theorem 4.7' for Proposition 4.7—copyediting, not substance. The self-citations to [21, 22] are used lightly; the tools are re-derived here.\n\nWho it's for: anyone working on the Gribov horizon, the FP spectrum, or lattice ghost studies. It deserves a serious referee. I'd send it to review and come back with a conditional accept: request code/data for the numerical tables, an expanded proof of (66), and the cross-reference fixes.","headline":"A clean conceptual separation—FP zero mode vs. source-sandwiched pole—proved for explicit hedgehog families; the visibility-operator classification is new and worth refereeing.","tokens_in":21516,"tokens_out":13163,"would_cite":true,"duration_ms":125072,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"A zero mode can occur at the first loss of Faddeev-Popov positivity without making the horizon function diverge, when the critical direction is annihilated by the source.","keywords":["Gribov horizon","Faddeev-Popov operator","horizon function","source visibility","hedgehog background","Landau gauge","zero modes","Yang-Mills"],"falsifier":"Take a smooth shell profile at $r_0=10$, $w/r_0=0.04$ in three dimensions and compute the lowest negative-amplitude zero mode; if the overlap $|\\langle\\psi_c, m_{\\mu d}\\rangle|^2$ of that mode with any source column is nonzero, or if the $L=1$ threshold is actually below the $L\\ge 2$ threshold, then the dark-first-crossing claim for that profile fails, and the paper's own variational formulas make this a directly checkable calculation.","tokens_in":20566,"feed_emoji":"🎯","tokens_out":9189,"duration_ms":81530,"temperature":0.7,"pith_summary":"The paper establishes a separation between two notions that are often conflated: the first Gribov horizon, where the Faddeev-Popov operator gains a zero mode, and the divergence of the nonlocal horizon function that probes the inverse operator through background-dependent sources. Its central claim is that a configuration can sit on the first Gribov boundary, with an $L^2$ zero mode and spectral infimum zero, while the horizon function remains finite, because the critical eigenvector is orthogonal to every source column entering the trace. This is shown explicitly for radial $SU(2)$ hedgehog backgrounds in three and four Euclidean dimensions: rotational symmetry confines the source to angular momentum $L=1$ (or hyperspherical degree $n=1$), while smooth narrow-shell profiles place the first crossing in a higher, source-dark channel. A sympathetic reader should care because spectral proximity to the Gribov boundary and source sensitivity to the critical direction are independent data, so eigenvalue-based diagnostics of horizon singularities can misread symmetric configurations. The paper restricts itself to configurationwise spectral statements and does not change the statistical weighting of backgrounds in the Yang-Mills integral.","feed_headline":"First Gribov crossing can stay invisible to the horizon probe","feed_subtitle":"Angular symmetry keeps the probe source off the critical channel, so the horizon function stays finite.","key_machinery":"The load-bearing objects are the source map $T_A$, defined by $(T_A e_{\\mu d})^a(x)=g f^{a\\ell d} A^\\ell_\\mu(x)$, and the finite-rank visibility operator $V_A=T_A T_A^*$ whose range is the source-accessible subspace of the ghost Hilbert space. The horizon function is the trace of $M^{-1/2} V_A M^{-1/2}$, so a crossing is singular only when the spectral projector at zero has nontrivial compression against $V_A$; the rank of $P_c V_A P_c$ gives the dark, partially visible, or fully visible classification. For hedgehog backgrounds, exact rotational symmetry separates the two inputs: the angular structure fixes the source sector ($L=1$ in three dimensions, $n=1$ in four), while the radial profile orders thresholds through the variational functional $\\mu_L[\\varphi]=\\inf Q_L[u]/\\int u^2\\,d\\varphi$ for a measure-supported shell. Theorems 4.5 and 5.2 show that smooth narrow shells minimize $\\mu_L/L$ or $\\mu_n/n$ in a source-dark channel, and finite-volume estimates of order $O(R^{-2L-1})$ control the box corrections.","core_discovery":"On the paper's own terms, the discovery is a degeneracy-safe classification of Faddeev-Popov crossings by the rank of the compressed visibility operator $P_c V_A P_c$. When this rank is zero the crossing is dark: the horizon function $H(A)$ stays bounded even though $M[A]$ has a zero mode; when it is intermediate the horizon diverges but sees only part of the critical subspace; when it is full the crossing is a genuine pole. For the three-dimensional hedgehog the source map $T_A$ has range in $L=1$, and the paper proves that smooth narrow shells have their first negative-amplitude threshold in a channel with $L\\ge 2$, so $V_c=0$ exactly along the ray. In four dimensions the source occupies degree $n=1$ and both amplitude branches can have their first crossings in degree $n\\ge 2$ because the degree-one channel is exceptional; the horizon function then remains finite at the boundary. A separate result treats the regular-gauge instanton background, where the physical amplitude is the exact Hardy-critical point in the visible degree-one channel, and both the generalized zero-energy solutions and the source columns fail to be square-integrable on $\\mathbb{R}^4$, so a full-space horizon trace requires an additional domain or regularization prescription.","pith_inferences":["If the exact hedgehog symmetry is perturbed, the darkness should become approximate rather than exact: source components leak into the critical sector with amplitude proportional to the symmetry-breaking overlap, so the horizon function should develop a large but finite value; this is the natural quantitative version of the paper's stated open question.","The inequality $\\mathrm{rank}\\,V_c \\le \\dim K$ extends beyond these families: whenever the critical degeneracy of the Faddeev-Popov operator exceeds the number of independent source labels, a crossing cannot be fully visible, so horizon-function divergences systematically undercount singular directions at highly degenerate boundaries.","A lattice test is directly available: on configurations with near-degenerate lowest Faddeev-Popov modes, compute the overlap of the lowest eigenvector with the momentum source; the prediction is that configurations sharing the same lowest eigenvalue can disagree sharply in the horizon functional.","In four dimensions, the instanton's Hardy-critical degree-one channel suggests that a weighted $L^2$ space with a logarithmically softer norm at infinity might restore square integrability of the source columns and yield a finite horizon trace; this is a concrete spectral calculation not performed in the paper."],"forward_implications":["Along these symmetric rays the first Gribov-boundary crossing is invisible to the horizon probe, so the no-pole condition is not activated there even though the Faddeev-Popov operator has lost positivity.","The rank classification governs degenerate crossings: at the three-dimensional critical width where the $L=1$ quintet and $L=2$ septet cross together ($r=12$), the horizon diverges with $\\mathrm{rank}\\,V_c=5$, and full visibility is impossible because the source-label space has dimension 9.","The finite-volume thresholds converge to half-line values with relative corrections of order $(b/R)^{2L+1}$, so the dark-first-crossing ordering is not a box artifact and can be checked in lattice or finite-ball calculations.","For the regular-gauge instanton background, the full-space $L^2$ horizon trace is undefined at the physical amplitude; any finite answer requires a weighted-space, finite-volume, or density prescription, and the paper shows why the naive trace fails."],"supporting_citations":[{"why":"It introduces the Gribov region and defines the first horizon as the boundary where the Faddeev-Popov operator loses positivity.","marker":"[11]"},{"why":"It supplies the closed-form control profile whose zero-energy modes and thresholds seed the visibility classification.","marker":"[13]"},{"why":"It provides the spectral-geometry framework for the hedgehog family that the paper extends to source visibility.","marker":"[22]"},{"why":"It develops the operator framework involving source maps and resolvent identities on which the visibility operator argument is built.","marker":"[21]"},{"why":"It treats the regular-gauge instanton spectrum and the boundary convention that the paper contrasts with its Friedrichs-form setting.","marker":"[16]"},{"why":"It shows the functional equivalence of the no-pole and horizon conditions, the background against which the paper separates eigenvalue vanishing from source-visible singularities.","marker":"[3]"},{"why":"It provides lattice bounds where the lowest Faddeev-Popov eigenvalue enters together with eigenvector overlap with the external source, motivating the visibility criterion.","marker":"[5]"}],"fun_headline_variants":["Dark Gribov crossings: horizon function stays finite","Angular symmetry hides first Gribov crossing from probe","Horizon function blind to first Gribov threshold","Degenerate Gribov crossings evade Zwanziger probe","First Gribov crossing can be dark to horizon source"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The dark-first-crossing conclusions rely on the exact hedgehog rotational symmetry of the backgrounds: only that symmetry confines the source to $L=1$ or $n=1$, and if it is broken the source can acquire components in the critical sector, so the first crossing can become visible and the horizon function can diverge.","fun_headline_variants_meta":{"raw":{"variants":["Dark Gribov crossings: horizon function stays finite","Angular symmetry hides first Gribov crossing from probe","Horizon function blind to first Gribov threshold","Degenerate Gribov crossings evade Zwanziger probe","First Gribov crossing can be dark to horizon source"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000526,"raw_usage":{"total_tokens":2562,"prompt_tokens":988,"completion_tokens":1574,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":604,"completion_tokens_details":{"reasoning_tokens":1495}},"tokens_in":604,"tokens_out":1574,"duration_ms":10982,"temperature":1.0,"reasoning_tokens":1495,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T14:12:45.320677+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a smooth shell profile at $r_0=10$, $w/r_0=0.04$ in three dimensions and compute the lowest negative-amplitude zero mode; if the overlap $|\\langle\\psi_c, m_{\\mu d}\\rangle|^2$ of that mode with any source column is nonzero, or if the $L=1$ threshold is actually below the $L\\ge 2$ threshold, then the dark-first-crossing claim for that profile fails, and the paper's own variational formulas make this a directly checkable calculation.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"It supplies the closed-form control profile whose zero-energy modes and thresholds seed the visibility classification."},{"cited_title":"Some Remarks on the Spectral Geometry of the Gribov Horizon","cited_arxiv_id":"2607.13228","evidence_quote":"It provides the spectral-geometry framework for the hedgehog family that the paper extends to source visibility."},{"cited_title":"Birman-Schwinger Formulation of the Faddeev-Popov Zero-Mode Problem","cited_arxiv_id":"2607.14425","evidence_quote":"It develops the operator framework involving source maps and resolvent identities on which the visibility operator argument is built."},{"cited_title":"On the spectrum of the Faddeev-Popov operator in topological background fields","cited_arxiv_id":"hep-th/0511307","evidence_quote":"It treats the regular-gauge instanton spectrum and the boundary convention that the paper contrasts with its Friedrichs-form setting."},{"cited_title":"Constraints on the IR behavior of the ghost propagator in Yang-Mills theories","cited_arxiv_id":"0804.2371","evidence_quote":"It provides lattice bounds where the lowest Faddeev-Popov eigenvalue enters together with eigenvector overlap with the external source, motivating the visibility criterion."}],"review_version":1}