{"id":"582cc23f-aca7-4667-92e5-9d60eabd63b9","arxiv_id":"2506.17628","paper_version":1,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For k-uniform sunflowers S(k,s,p), the eigenvalues are roots of λ^k=(e_p^T ξ)^s and the characteristic polynomial is given explicitly, though a corollary on the spectral radius is incorrect.","lead":"This paper derives formulas for the eigenvalues, spectral moments, and characteristic polynomial of sunflower-shaped hypergraphs, a natural family that generalizes star hypergraphs. The central formulas appear to work, but the paper's final statement about the spectral radius is numerically wrong and needs correction.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 3.7 is stated with rational exponents μ(ξ) and no grouping into a polynomial, so the central formula is not well-defined as a characteristic polynomial and integrality of the grouped multiplicities is never proved.","rationale":"The reader's weakest assumption was Lemma 2.1, but the more load-bearing problem is internal to Theorem 3.7: the formula is written as a product over individual ξ with rational exponents. For example, S(3,2,4) has sixteen nonzero ξ, each with μ(ξ)=3/2, and without grouping the expression is not a polynomial. The proof checks degree and spectral moments for the formal multiset, which is not enough to show that the expression lies in C[λ]; polynomial uniqueness from moment data requires integral exponents. I checked that the obstruction is likely not fatal: the μ_s-action has orbit size s, μ is constant on each orbit, and (e_p^T ξ)^s is orbit-invariant, so nonzero factors collect with integer exponents; and kμ(0) is an integer because K ≡ (k-1)^{k-s} (mod s). Thus the theorem can be repaired by restating it in grouped form. This supports the reader's CONDITIONAL verdict rather than changing it, but it identifies a more central gap than the cited Lemma 2.1. The corollary also has a clear typo in the spectral radius value, as shown by the single-edge case S(3,2,1)=K_3^3, whose spectral radius is 1, not 2^{1/3}. Consequently, the paper needs revision, but the core spectral-moment derivation appears sound in the small cases I checked.","tokens_in":11589,"tokens_out":39306,"duration_ms":422718,"concrete_test":"Using a computer algebra system, compute the resultant of the tensor eigen-system for S(3,2,2) (vertices a,b,x_1,x_2; equations λx_i^2 = product of the two other vertices; degree 32) and compare it with the grouped form of Theorem 3.7, λ^{23}(λ^3-4)^3. If the resultant matches, the central formula survives as a grouped polynomial and the issue is presentational; if it does not, the spectral-moment derivation in Section 3.2 is wrong.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorem 3.7, the central result, is not stated as a polynomial. The exponents μ(ξ) are rational in general: for k=3, s=2, p=4 each nonzero ξ∈{±1}^4 has μ(ξ)=3/2, and for k=3, s=1, p=2 the zero exponent is μ(0)=35/3. A characteristic polynomial must lie in C[λ], and a product of rational powers of distinct polynomials is not defined in C[λ] unless equal factors are collected and the resulting total exponents are nonnegative integers. The proof verifies only that the total degree and the formal power sums of the proposed rational-exponent multiset equal S_d(S); it never proves that the exponents integrate to integers. Matching power sums does not certify polynomiality when the candidate is not already known to be a polynomial. The gap is repairable: the μ_s-action on Ξ_p gives orbits of size s on which μ(ξ) is constant and (e_p^T ξ)^s is invariant, and kμ(0) is integral because (k-1)^{p(k-s)} ≡ K^p (mod s). But this argument is absent. Until Theorem 3.7 is restated in grouped form with integer exponents, the central formula is not a well-formed characteristic polynomial. Corollary 3.8 compounds the issue with a separate numerical error: the theorem implies the spectral radius is (p^s)^{1/k}, not (ps)^{1/k}.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies k-uniform sunflowers S(k,s,p), a family of non-linear uniform hypergraphs, and claims to determine all eigenvalues (Theorem 3.1), all spectral moments (Theorem 3.6), and an explicit characteristic polynomial (Theorem 3.7), together with a corollary on the spectral radius and its algebraic multiplicity (Corollary 3.8). The methods are tensor eigenvalue equations, a Harary–Sachs type spectral-moment formula from the literature, a structural characterization of the relevant Eulerian multi-digraphs, and matrix-tree computations. The eigenvalue construction and the digraph characterization are carefully argued and checkable, and small cases are consistent with Theorems 3.1 and 3.6. However, the central formula in Theorem 3.7 is not a well-defined polynomial as stated, and the proof of the spectral-moment formula contains a counting step that needs correction.","tokens_in":11874,"tokens_out":36704,"duration_ms":369040,"significance":"If the main theorem is repaired and restated correctly, this would be a valuable contribution: it would provide the first explicit characteristic polynomial for a family of non-linear uniform hypergraphs, confirm a conjecture of Fan for sunflowers, and demonstrate a transferable combination of spectral moments and matrix-tree methods. The eigenvalue construction in Theorem 3.1 and the Eulerian digraph characterization in Proposition 3.4 are specific and checkable. The paper does not include machine-checked proofs or code, but the derivations are explicit enough to be verified on small examples.","major_comments":[{"comment":"The central formula is not a well-defined characteristic polynomial as written. The exponents μ(ξ) are rational in general: for k=3, s=2, p=4, every full-support ξ in {±1}^4 has μ(ξ)=3/2, and for k=3, s=1, p=2, μ(0)=35/3. A product of powers of polynomials with rational exponents is not an element of C[λ], and the proof does not establish that, after collecting factors with equal (e_p^T ξ)^s, the exponents become nonnegative integers. The verification of total degree and of the power sums S_d(S) in the proof of Theorem 3.7 only shows that the rational-exponent multiset has the correct moments; it does not by itself certify polynomiality. The theorem should be restated in grouped form with integer exponents, and the integrality argument (for example via the μ_s-action on Ξ_p and the congruence that makes kμ(0) integral) should be supplied.","section":"Theorem 3.7"},{"comment":"The displayed equality |{f : D_f = D(m,Q), constraints}| = ((k-1)!)^d (s d/k)! / ∏_i (s m_i)! is false for a fixed multi-digraph D(m,Q). For fixed Q the correct count is ((k-1)!)^d ∏_{v∈S} (d/k)! / ∏_i q_{v,i}!, which depends on Q. For example, with k=3, s=2, p=2, d=6 and m=(1,1), the matrices Q=[[2,0],[0,2]] and Q=[[1,1],[1,1]] give counts 64 and 256, respectively, not 384 each. The displayed expression ϕ(m) is correct only after summing over all Q satisfying the constraints, via the identity Σ_Q ∏_{v∈S} (d/k)!/∏_i q_{v,i}! = (s d/k)! / ∏_i (s m_i)!. The proof should make this Q-summation explicit; as written, it contains an incorrect intermediate statement in a load-bearing step of the spectral-moment computation.","section":"Proof of Theorem 3.6, counting of f"},{"comment":"The spectral radius stated as k√ps is inconsistent with Theorems 3.1 and 3.7, which imply the largest eigenvalue is (p^s)^{1/k}. For k=3, s=2, p=4, Theorem 3.1 gives λ^3 = 16, so the spectral radius is 2^{4/3}, not 2. The algebraic multiplicity formula should also be written unambiguously as k^{p(k-s)+s-1-p} (equivalently k^{p(k-s-1)+s-1}); in the present plain-text rendering it is ambiguous. Please correct the value and clarify the notation.","section":"Corollary 3.8"}],"minor_comments":[{"comment":"The product in Theorem 3.7 ranges over all ξ∈Ξ_p, but for s=k-1 the proof sets μ(ξ)=0 for ξ∉Ξ_p^0; stating this explicitly in the theorem statement would avoid confusion.","section":"Theorem 3.7 vs Theorem 3.1"},{"comment":"The sentence claiming that the form of φ(λ) 'follows' from Theorem 3.1 and k-symmetry is too quick; the authors should explain how the spectral moments determine the multiplicities uniquely after the factors are grouped by equal (e_p^T ξ)^s.","section":"Proof of Theorem 3.7, first paragraph"},{"comment":"The notation k√ps is ambiguous; please use √[k]{p^s} and write the exponent explicitly as k^{ p(k-s)+s-1-p}.","section":"Corollary 3.8, notation"},{"comment":"The arrow notation V --m--> U is defined just before Lemma 3.2 but used again in Definition 3.3; re-stating it at the point of use would improve readability.","section":"Definition 3.3 and preceding paragraph"}],"recommendation":"major_revision","confidential_remarks":"The underlying approach is sound and the main result appears correct after repairs, but the rational-exponent issue in the central theorem and the counting gap in the proof of the spectral moments require substantive revision before the paper can be accepted. The corollary error suggests a hasty final section; the authors should also double-check all derived multiplicity statements against the grouped form of Theorem 3.7."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe short version: this paper genuinely extends the known hyperstar case S(k,1,p) to sunflowers S(k,s,p) with s≥2, and the eigenvector construction and spectral moment derivation are mostly sound. But the main theorem is not stated as a polynomial—it uses rational exponents and never groups equal factors—and the spectral-radius corollary is false as written. I think the central result can be fixed, but it needs real revision.\n\nWhat is new: prior work covered S(k,1,p); this gives eigenvalues, spectral moments, and a candidate characteristic polynomial for the non-linear sunflower family. Theorem 3.1's eigenvalue characterization via Ξ_p = {ξ : ξ_i^{s+1}=ξ_i} is clean, and the constructive eigenvector proof checks out. The digraph characterization in Proposition 3.4 and the matrix-tree computation are careful and explicit; the spectral moment formula in Theorem 3.6 passes small-case checks. That credit is earned.\n\nWhere it falls down: Theorem 3.7 writes φ_S(λ) = ∏ (λ^k - (e^T ξ)^s)^{μ(ξ)} with μ(ξ) rational. As a product over individual ξ this is not a polynomial—for k=3, s=2, p=4 each nonzero ξ has μ=3/2. The proof only checks total degree and power sums; that does not establish that the grouped multiplicities are integers. The fix is straightforward: group the product by the value of (e^T ξ)^s and prove the accumulated exponents are nonnegative integers, using the fact that the s-th roots act transitively on coordinates with μ constant on orbits and (e^T ξ)^s invariant. That argument is absent. Separately, Corollary 3.8 states the spectral radius is (ps)^{1/k}; the correct value is p^{s/k}, and the claimed algebraic multiplicity does not match the theorem. The corollary should be corrected or dropped.\n\nThis paper is for spectral hypergraph theorists. It deserves serious refereeing—the core method is sound and the result is new—but the revision must restate Theorem 3.7 in grouped polynomial form and fix the corollary. I would send it to review, not accept it as is.","headline":"Genuine extension to non-linear sunflowers with a checkable eigenvector proof, but the main formula as written is not a polynomial and the spectral-radius corollary is wrong; both are fixable.","tokens_in":12412,"tokens_out":6738,"would_cite":false,"duration_ms":61279,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["05C50","05C65"],"pacs":[],"model":"deepseek-v4-flash","headline":"Sunflower hypergraphs gain explicit characteristic polynomials","keywords":["characteristic polynomial","sunflower hypergraph","uniform hypergraph","eigenvalues","spectral moments","resultant","Eulerian multi-digraph","algebraic multiplicity"],"falsifier":"Compute the characteristic polynomial of a small sunflower such as $S(3,2,2)$ directly from the defining resultant by computer algebra and compare it term by term with the product in Theorem 3.7; a single mismatched coefficient, or an eigenvalue not of the form $\\lambda^k=(e_p^\\top\\xi)^s$, would refute the formula.","tokens_in":11375,"feed_emoji":"🌻","tokens_out":9628,"duration_ms":84715,"temperature":0.7,"pith_summary":"Sunflowers—uniform hypergraphs whose every edge shares the same $s$ seed vertices—form one of the simplest families that are not linear, yet until now their spectra were known only for the single-seed case of hyperstars. This paper establishes a complete answer: for a $k$-uniform sunflower with $s$ seeds and $p$ petals it determines every eigenvalue, every algebraic multiplicity, and every spectral moment, packaged into an explicit product formula for the characteristic polynomial. The result matters because computing the characteristic polynomial of a hypergraph is NP-hard in general, and explicit formulas exist only for a handful of families; sunflowers provide a natural test bed where the non-linear overlap of edges is controlled.","feed_headline":"Sunflower hypergraphs gain explicit characteristic polynomials","feed_subtitle":"Formula covers all seeds s and petals p, including non-linear cases known before only for single-seed stars.","key_machinery":"The argument runs on two coupled engines. First, an eigenvector reduction: writing $\\beta$ for the common value determined by $\\lambda^{k-s}\\beta^s=(x_S)^k$, each petal contributes $x_S x_{P_i}=\\beta\\xi_i$ with $\\xi_i^{s+1}=\\xi_i$, and the seed equations force $\\lambda^k=(e_p^\\top \\xi)^s$; this turns eigenvalues into the factors of the product. Second, to count multiplicities, the paper invokes the spectral-moment formula (Lemma 2.1), which expresses $S_d(S)$ as a weighted count of Eulerian multi-digraphs built from rooted hyperedges. The structural lemma (Proposition 3.4) characterizes every such digraph as $D(m,Q)$: a complete multi-digraph of multiplicity $d/k$ on the $s$ seeds, complete multi-digraphs $m_i K_{k-s}$ on each petal, and arcs from seeds to petals with multiplicities $q_{vi}$, subject to the balance equations $e_p^\\top m=d/k$, $Qe_p=(d/k)e_s$, $Q^\\top e_s=sm$. Matrix-tree and Schur-complement evaluations give the spanning-tree count, and inclusion-exclusion converts the totals into the multiplicity formula.","core_discovery":"For $k\\ge 3$, the paper shows that a complex number $\\lambda$ is an eigenvalue of $S(k,s,p)$ exactly when $\\lambda^k = (e_p^\\top \\xi)^s$ for some $p$-tuple $\\xi$ with each $\\xi_i^{s+1}=\\xi_i$ (so each coordinate is $0$ or an $s$-th root of unity), with the extra restriction that when $s=k-1$ only tuples whose support is empty or all of $[p]$ occur. The characteristic polynomial is then the product of these factors $\\lambda^k-(e_p^\\top \\xi)^s$ raised to multiplicities $\\mu(\\xi)$: $\\mu(0)$ is a closed expression in $k,s,p$, and for $\\xi\\ne 0$ it is $\\frac{1}{s}K^{p-|\\mathrm{supp}\\,\\xi|}k^{|\\mathrm{supp}\\,\\xi|(k-s-1)+s-1}$, where $K=(k-1)^{k-s}-s k^{k-s-1}$. Equivalently, the paper computes the $d$-th spectral moment as a single sum over these $\\xi$ of $(e_p^\\top \\xi)^{sd/k}$ times combinatorial weights, and the moment vanishes unless $k\\mid d$. For $k=2$ the formula reduces to the classical star-graph spectrum $\\{\\pm\\sqrt{p},\\,0^{p-1}\\}$.","pith_inferences":["The same $\\xi$-parametrization suggests that sunflowers with variable petal sizes or edge weights would still have eigenvalues governed by $\\lambda^k=\\sum_i w_i\\xi_i$ for suitable weights $w_i$; the spectral reduction should survive, while the counting of $D(m,Q)$ would need a generalized version.","Because the multiplicity formula separates by support size, for large $p$ the full-support tuples dominate the algebraic multiplicities; one could use this to approximate the distribution of eigenvalues of large sunflowers.","A natural testable extension is to check whether other symmetric non-linear hypergraphs (for example sunflowers with a shared core that is not a single set) admit the same product structure, which would indicate that the cored-hypergraph symmetry, rather than the sunflower shape specifically, drives the factorization."],"forward_implications":["The spectral radius of $S(k,s,p)$ is $\\sqrt[k]{ps}$, and its algebraic multiplicity is $k^{p(k-s)+s-1}-p$, confirming the stated conjecture on spectral-radius multiplicity for this family.","The $d$-th order spectral moment vanishes unless $k\\mid d$, and otherwise is given by a single explicit sum over the tuples $\\xi$; this gives a closed form for all traces of the adjacency tensor of a sunflower.","Setting $s=1$ recovers the known characteristic polynomial of hyperstars $S(k,1,p)$, and setting $k=2$ recovers the star spectrum $\\{\\pm\\sqrt{p},0^{p-1}\\}$.","The formula determines all eigenvalues with multiplicities at once, so the spectrum of any sunflower can be read off by evaluating sums over $p$ coordinates chosen from $0$ and the $s$-th roots of unity."],"supporting_citations":[{"why":"Supplies Lemma 2.1, the general spectral-moment formula that the entire multiplicity count is built on, and earlier spectra of power hypergraphs that motivate the approach.","marker":"[6]"},{"why":"Provides the characteristic polynomial of the one-seed sunflower S(k,1,p), the base case that this paper generalizes.","marker":"[1]"},{"why":"Gives the 3-uniform hyperstar S(3,1,p) polynomial that started the study of sunflower spectra.","marker":"[9]"},{"why":"Matrix-tree theorem used to compute the spanning-tree factor in the spectral-moment coefficient.","marker":"[12]"},{"why":"Schur-complement determinant identity used to evaluate the Laplacian minor in the spanning-tree count.","marker":"[2]"},{"why":"Supplies the k-symmetry and tensor trace formulas used to obtain spectral moments and to see that S_d(S)=0 when k does not divide d.","marker":"[24]"},{"why":"Classical star-graph spectrum used for the k=2 case and as the graph analogue of the result.","marker":"[11]"},{"why":"The conjecture on algebraic multiplicity of the spectral radius that Corollary 3.8 verifies for sunflowers.","marker":"[13]"},{"why":"Inclusion-exclusion and multinomial coefficient identities used to sum the spectral-moment counts into closed form.","marker":"[25]"},{"why":"Perron-Frobenius theorem for tensors used to identify the spectral radius as an eigenvalue in the corollary.","marker":"[3]"}],"fun_headline_variants":["Sunflower hypergraph spectrum: closed form for all cases","Explicit eigenvalues and moments for sunflower hypergraphs","Sunflowers: characteristic polynomial in one formula","Sunflower hypergraph spectra solved, stars as special case"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The entire multiplicity computation rests on the quoted, unproved spectral-moment formula in Lemma 2.1; if that formula is wrong, every spectral moment and the final characteristic polynomial formula collapses.","fun_headline_variants_meta":{"raw":{"variants":["Sunflower hypergraph spectrum: closed form for all cases","Explicit eigenvalues and moments for sunflower hypergraphs","Sunflowers: characteristic polynomial in one formula","Sunflower hypergraph spectra solved, stars as special case"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000154,"raw_usage":{"total_tokens":1163,"prompt_tokens":852,"completion_tokens":311,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":468,"completion_tokens_details":{"reasoning_tokens":249}},"tokens_in":468,"tokens_out":311,"duration_ms":3722,"temperature":1.0,"reasoning_tokens":249,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T19:11:11.473290+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the characteristic polynomial of a small sunflower such as $S(3,2,2)$ directly from the defining resultant by computer algebra and compare it term by term with the product in Theorem 3.7; a single mismatched coefficient, or an eigenvalue not of the form $\\lambda^k=(e_p^\\top\\xi)^s$, would refute the formula.","supporting_citations":[{"cited_title":"Chen, E.R","cited_arxiv_id":null,"evidence_quote":"Supplies Lemma 2.1, the general spectral-moment formula that the entire multiplicity count is built on, and earlier spectra of power hypergraphs that motivate the approach."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the characteristic polynomial of the one-seed sunflower S(k,1,p), the base case that this paper generalizes."},{"cited_title":"Cooper and A","cited_arxiv_id":null,"evidence_quote":"Gives the 3-uniform hyperstar S(3,1,p) polynomial that started the study of sunflower spectra."},{"cited_title":"Duval, C","cited_arxiv_id":null,"evidence_quote":"Matrix-tree theorem used to compute the spanning-tree factor in the spectral-moment coefficient."},{"cited_title":"Brualdi and H","cited_arxiv_id":null,"evidence_quote":"Schur-complement determinant identity used to evaluate the Laplacian minor in the spanning-tree count."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the k-symmetry and tensor trace formulas used to obtain spectral moments and to see that S_d(S)=0 when k does not divide d."},{"cited_title":"Cvetkovi´ c, M","cited_arxiv_id":null,"evidence_quote":"Classical star-graph spectrum used for the k=2 case and as the graph analogue of the result."},{"cited_title":"Stanley.Enumerative Combinatorics","cited_arxiv_id":null,"evidence_quote":"Inclusion-exclusion and multinomial coefficient identities used to sum the spectral-moment counts into closed form."},{"cited_title":"Chang, K","cited_arxiv_id":null,"evidence_quote":"Perron-Frobenius theorem for tensors used to identify the spectral radius as an eigenvalue in the corollary."}],"review_version":1}