{"id":"3e30d4a7-b4fc-46b6-90c3-298ce73e1e4d","arxiv_id":"2608.04411","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"New explicit constructions show exponential tightness of the product-versus-operator norm gap and noncommutative Bohnenblust-Hille constant, disprove the dimension-free quantum Fourier Entropy-Influence inequality, and prove the Aaronson-Ambainis bound for anti-commuting Pauli-string Hamiltonians.","lead":"Explicit qubit Hamiltonian families show that several dimension-free quantum estimates must grow exponentially in degree, and a Hermitian-dilation construction refutes the quantum Fourier Entropy-Influence conjecture. The paper also proves the quantum Aaronson-Ambainis influence bound for Hamiltonians built from pairwise anti-commuting Pauli strings, and analyzes how much qubit load such constructions require.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No load-bearing objection to the central claims identified; the main constructions check out, with only display-level overstatements.","rationale":"The reader's weakest assumption was the external Jiang-Kalev-Mruczkiewicz-Neven anti-commuting Pauli-string construction. I do not find that assumption load-bearing or wrong: the recursive E_r construction is valid, and the paper's sketch is sufficient to verify pairwise anti-commutation and weight r. The stronger and more novel claims, Theorem 1 and the Section 6.6 QFEI counterexample, are self-contained and correct. The reader correctly identified real deficiencies: the false strict comparison in Theorem 1's display, and the inconsistent counting in Section 8.3. I also found a genuine proof gap in Section 8.2, where the probability sum over anti-commuting pairs should be 1 - sum |alpha_l|^4 rather than 1; this is patchable but is not a mere typo. Since these issues are confined to peripheral or supporting claims and do not affect the central tightness or counterexample results, the appropriate verdict remains CONDITIONAL rather than ACCEPT or REJECT. The paper would be publishable after the display errors and Section 8.2 argument are corrected.","tokens_in":20065,"tokens_out":33716,"duration_ms":322646,"concrete_test":"Independently re-derive Proposition 3 by expanding the Hermitian dilation O_f in the Pauli basis and computing the squared coefficients: for the Rudin-Shapiro phase family with a_j = 1/sqrt(n), verify that the two coefficients per subset A have squared magnitudes |f_hat(A)|^2/2, so that H[O_n] = H[f_n] + 1 and Inf[O_n] = 1 + n/(n+1). If this calculation reproduces (83)-(85), the Section 6.6 counterexample to the quantum Entropy-Influence conjecture is confirmed.","verdict_should_be":"UNCHANGED","load_bearing_attack":"No significant objection identified that would threaten the paper's central claims. The quaternion construction of Theorem 1 is internally coherent: the product-state bound follows from the quaternion norm, the dimer overlap and Pauli-coefficient identities in Lemmas 2 and 3 are consistent, and the lower bound L_m in (51) follows from the stated matrix elements. The Hermitian-dilation transfer in Section 6 is also correct: for the weighted Rudin-Shapiro family, every Fourier coefficient splits into equal real and imaginary parts, so H[O_n] = H[f_n] + 1 = log_2 n + O(1), while Inf[O_n] = 1 + n/(n+1) < 2; this gives a genuine obstruction to a dimension-free quantum Entropy-Influence inequality. The cited anti-commuting Pauli-string family from [16] is a real and standard construction; the recursion described in Section 4.1 for E_r is valid, so Theorem 2 and the noncommutative Bohnenblust-Hille lower bound are not undermined by that external dependence. The manuscript does contain real but non-central defects: the strict inequality L_m > (9/2)^m displayed after (51) is false for every m >= 1, since L_m is asymptotically (1/2)(9/2)^m; the proof in Section 8.2 writes the probability of choosing two different anti-commuting strings as 1, ignoring the same-string collision term sum |alpha_l|^4; and the counting in Section 8.3 is internally inconsistent. None of these defects invalidates the main tightness results or the QFEI counterexample, but they do justify a conditional verdict pending correction.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies dimension-free constants for several quantum inequalities. It constructs homogeneous qubit Hamiltonians from a quaternion-valued recursion and proves an exponential gap between operator norm and product-state norm; it reproduces and extends a construction of exponentially many pairwise anticommuting Pauli strings to show that the noncommutative Bohnenblust-Hille constant must grow exponentially in degree; it builds quantum Boolean functions by Hermitian dilation of a weighted scalar Rudin-Shapiro phase family, giving an explicit counterexample to the quantum Fourier Entropy-Influence conjecture; and it discusses the quantum Aaronson-Ambainis conjecture for Hamiltonians supported on anticommuting Pauli strings. The main tools are exact counts of scalar quaternion words, dimer overlap identities, a Hadamard suffix identity, and exact entropy/influence transfer formulas for the Hermitian dilation.","tokens_in":20309,"tokens_out":20885,"duration_ms":170279,"significance":"If the main results stand, the paper is significant: the quaternion construction gives a constructive lower bound with exponential base larger than 2 for the homogeneous product-norm comparison problem; the flat-spectrum construction gives an exponential lower bound for the noncommutative Bohnenblust-Hille constant; and the Hermitian-dilation counterexample is a clean, explicit obstruction to a dimension-free quantum Entropy-Influence inequality. The central constructions are explicit and largely checkable: the quaternion recursion, the dimer overlap identity, the Hadamard suffix identity, and the dilation transfer formulas are all concrete and exact. The dependence on the external anticommuting Pauli-string construction of Jiang-Kalev-Mruczkiewicz-Neven is acknowledged, and the described recursion is consistent with the standard construction. The main weaknesses are localized but real: one proof in Section 8.2 has a missing collision term, and the counting in Section 8.3 is inconsistent; several display-level identities also contain quantitative errors.","major_comments":[{"comment":"The proof of (88) uses the assertion that the probability that two independently chosen strings have an anticommuting local overlap is 1. With independent sampling with replacement from the distribution |alpha_l|^2, the probability that the two choices are distinct is 1 - sum_l |alpha_l|^4, and for equal choices there is no local anticommutation. The displayed lower bound should therefore contain the factor 1 - sum_l |alpha_l|^4, and since the manuscript imposes no control on this collision term, the conclusion max_q Inf_q(P) >= 3/(10r) is not established as written. The stated theorem may be repairable by a case split on sum_l |alpha_l|^4 (if the collision probability is large, a single dominant string directly gives a large influence), but that argument is absent and is needed.","section":"§8.2"},{"comment":"The counting in this section is internally inconsistent. If the operator has L^{d-1} Pauli strings each of coefficient magnitude L, then its ell_p norm satisfies ||hat B||_{ell_p}^p = L^{d-1} L^p, so ||hat B||_{ell_p} = L^{(d+p-1)/p}, not L^{d/p} as stated. If a different normalization is intended, it is not specified. In addition, the bound ||B||_{op} <= L^{(d+1)/2} is asserted after 'the same doubling trick' without the promised derivation. Thus the claimed non-random proof of the sharp exponent p = 2d/(d+1) is not established as written, even though the underlying commutative result is classical.","section":"§8.3"}],"minor_comments":[{"comment":"The displayed inequality L_m > (9/2)^m is false for every m >= 1; for example, m = 1 gives L_1 = 3 < 9/2. The correct behavior is L_m = (1/2)(9/2)^m(1+o(1)), which still gives the intended exponential gap with base 3/sqrt(2) per degree. The false comparison should be corrected or removed.","section":"§3.7, after Eq. (53)"},{"comment":"The displayed formula for P_n appears to have the wrong qubit count and normalization. With the recursion of (11), P_n acts on n+1 qubits and the exact form is P_n = i 2^n (|1^{n+1}><0^{n+1}| - |0^{n+1}><1^{n+1}|), giving operator norm 2^n, not 2^{n-1}. Section 8 also states ||P_n||_{op} = 2^n. The discrepancy does not affect the exponential-gap conclusion but should be fixed.","section":"§2.2"},{"comment":"The word 'estimates' is misspelled as 'estima tes' in the title and abstract; this should be corrected.","section":"Title and abstract"},{"comment":"The sentence says the Bloch coordinates are those 'of pure state e1 ⊗ e1'; this should presumably be the Bloch coordinates of e1 (or of the first tensor factor), and the wording should be cleaned up.","section":"§2.1, Eq. (15)"},{"comment":"The symbol B is reused for different operators in the same paragraph: B denotes the suffix operators from (61) and then a new operator S = B_1 + ... + B_L is also called B in (89). Please introduce separate notation.","section":"§8.3"}],"recommendation":"major_revision","confidential_remarks":"The central QFEI counterexample and the quaternion/dimer construction appear sound and are the strongest parts of the paper. Sections 8.2 and 8.3 are the main liabilities: the first has a genuine missing term in the probability argument, and the second has an arithmetic inconsistency. Both seem repairable, but as they stand they invalidate the proofs of the claims in those sections. The paper also leans heavily on the authors' own preprints [5] and [23]; I do not see this as a circularity, but the editor may want to confirm that the overlap with [23] is properly attributed before acceptance."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The main constructions are sound. The quaternion recursion in Theorem 1 gives a genuine exponential gap between product norm and operator norm, with base roughly 3/sqrt(2) ≈ 2.12, improving the base-2 XY Rudin–Shapiro example. The dimer overlap computation is neat and the product-state bound follows cleanly from the quaternion norm. The Hermitian dilation in Section 6 is the real gem: it transfers Schechtman's scalar phase counterexample to a quantum Boolean function with entropy log n and total influence < 2, so the dimension-free QFEI statement is dead. That part deserves a serious referee and will be citable after minor cleanup. The anti-commuting-string flat-spectrum Boolean functions and the noncommutative BH exponential lower bound (repeated from [23]) also check out; the dependence on Jiang–Kalev–Mruczkiewicz–Neven is standard and not a weak point.\n\nThe soft spots are real but not load-bearing. First, the display after (51) claims L_m > (9/2)^m, which is false for every m ≥ 1; the correct asymptotic is L_m ~ (1/2)(9/2)^m, still exponential with the same base, so this is an overstatement, not a collapse. Second, Section 8.2's probabilistic argument writes the probability of two independent draws being locally anti-commuting as 1, ignoring the same-string probability sum |alpha_l|^4; the inequality should be 1 - that sum, and the proof needs a small extra step (or a bound on that sum) to still yield maxInf ≥ c/r. Third, Section 8.3's counting is genuinely inconsistent as written and should be rewritten or cut; the commutative BH sharpness already has a standard KSZ proof, so this section is not essential. Finally, the paper leans heavily on the authors' own [5] and [23]; the new vs. repeated material should be labelled more carefully, since the QFEI transfer and the quaternion gap are the actual novel contributions.\n\nWho is this for? Anyone working on quantum Boolean functions, product-state numerical radius, or tightness of quantum harmonic-analysis inequalities. It deserves peer review—conditional accept, asking for the display correction, the Section 8.2 patch, and Section 8.3 repair.","headline":"The quaternionic product-state gap and the Hermitian-dilation QFEI counterexample are real and check out, but the draft has a false inequality in Theorem 1's display and a gap in an auxiliary proof that need fixing before publication.","tokens_in":20928,"tokens_out":2979,"would_cite":true,"duration_ms":26083,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves exponential norm gaps and refutes the quantum Entropy–Influence conjecture.","keywords":["Bohnenblust–Hille inequality","quantum Boolean functions","Fourier entropy–influence conjecture","operator norm","product-state numerical radius","Rudin–Shapiro polynomials","anti-commuting Pauli strings","Aaronson–Ambainis conjecture"],"falsifier":"Enumerate the Section 4.1 recursion for $r=4,5,6$: form the claimed $3^r$ strings on $(3^r-1)/2$ qubits and check every pair for anti-commutation and every row for distinctness; a single violation invalidates $H_d^2=N_d I$ and the derived lower bounds. Independently, for $m=1,2,3$ compute the exact operator norm of $H_{2m}$ by optimizing over tensor-product states and compare it with the lower bound $(9^m+2\\cdot6^m+3)/(2^{m+1}+4)$.","tokens_in":19779,"feed_emoji":"⚛️","tokens_out":15220,"duration_ms":123404,"temperature":0.7,"pith_summary":"This paper proves several tightness and counterexample results for quantum harmonic-analysis inequalities. Its main construction is a quaternion tensor product $H_{2m}$: a $2m$-qubit, $2m$-homogeneous Hermitian operator whose expectation on tensor-product states never exceeds 1, yet whose operator norm is at least $(9^m+2\\cdot 6^m+3)/(2^{m+1}+4)$, so the ratio grows like $(3/\\sqrt{2})^d$ and the comparison constant must be exponential in degree. It then builds flat-spectrum quantum Boolean functions from anti-commuting Pauli strings, showing the non-commutative Bohnenblust–Hille constant is necessarily exponential. It also disproves the quantum Entropy–Influence conjecture: a Hermitian dilation of a weighted Rudin–Shapiro phase function has total influence below 2 while its Fourier entropy grows like $\\log_2 n$, so no universal constant $C$ satisfies $\\mathrm{Ent}[O]\\le C\\,\\mathrm{Inf}[O]$. Finally, it proves a quantum Aaronson–Ambainis bound $\\mathrm{Var}[P]\\le 10\\,r\\,\\max\\mathrm{Inf}[P]$ for Hamiltonians built from pairwise anti-commuting Pauli strings of weight between $r$ and $10r$.","feed_headline":"No universal entropy-influence bound for quantum Boolean functions","feed_subtitle":"A Hermitian dilation of Rudin–Shapiro phases gives entropy log n while influence stays below 2.","key_machinery":"The argument rides on three interlocking objects. The first is the quaternion product $R_d=\\prod_{r=1}^d(X_r i+Y_r j+Z_r k)$, whose scalar component $H_{2m}^{(0)}$ is Hermitian and homogeneous; the scalar-word count $A_\\ell=(3^\\ell+3(-1)^\\ell)/4$ and the dimer overlap identity $\\langle D_0,P_aD_1\\rangle=2^{1-m}c_a$ pin down its exact Pauli coefficients and matrix elements. The second is the flat-spectrum assembly: take pairwise anti-commuting Pauli strings $P_\\ell$ of weight $r$, attach commuting suffix operators $B_\\ell$ built from a Hadamard matrix, and use the identity $\\sum_\\ell B_\\ell^2=L^{k+1}I$ to make $H_d^2=N_d I$; this is what transfers a norm estimate into a statement about $\\ell^p$ coefficients. The third is the Hermitian dilation $O_f$, the block operator with off-diagonal blocks $F_f$ and $F_f^*$, which converts a unimodular complex function $f$ into a quantum Boolean function while preserving influence exactly and entropy up to one bit.","core_discovery":"On the paper's own terms, the central discovery is a collection of exact formulas that force exponential constants. In Theorem 1, the quaternion recursion $R_d=\\prod_{r=1}^d(X_r i+Y_r j+Z_r k)$ defines $H_{2m}=H^{(0)}_{2m}$, whose Pauli coefficients are the scalar parts of quaternion words; the scalar-word count $N_m=(9^m+3)/4$ and the dimer matrix elements give $\\langle D_0,H_{2m}D_0\\rangle=3^m$ and $\\langle D_0,H_{2m}D_1\\rangle=2^{1-m}N_m$, so the vector $|D_0\\rangle+|D_1\\rangle$ witnesses the lower bound $\\|H_{2m}\\|_{\\mathrm{op}}\\ge(9^m+2\\cdot6^m+3)/(2^{m+1}+4)$. In Section 4, the Hadamard-suffix identity $\\sum_{\\ell=1}^L B_\\ell^2=L^{k+1}I$ turns $L=2^k$ anti-commuting strings $P_\\ell$ of weight $r$ into a quantum Boolean function $O_d$ with $O_d^2=I$ and $N_d=L^{k+1}$ equal Pauli coefficients; the ratio $\\|\\widehat{O_d}\\|_{\\ell^{2d/(d+1)}}/\\|O_d\\|_{\\mathrm{op}}\\ge 3^{d/8}$ forces the non-commutative Bohnenblust–Hille constant to be exponential. In Section 6, the Hermitian dilation of the scalar weighted Rudin–Shapiro phase family with $a_j=1/\\sqrt n$ gives $\\mathrm{Inf}[O_n]<2$ and $\\mathrm{Ent}[O_n]=\\log_2 n+O(1)$, a direct counterexample to the quantum Entropy–Influence conjecture. Finally, Theorem 4's counting bound $w\\ge 3(N-1)/(2L)$ implies that exponentially many anti-commuting strings must concentrate qubit load, which yields $\\max\\mathrm{Inf}[P]\\ge 3/(10r)$ and hence $\\mathrm{Var}[P]\\le 10r\\,\\max\\mathrm{Inf}[P]$, proving the quantum Aaronson–Ambainis inequality for this class.","pith_inferences":["The Hermitian-dilation transfer formulas imply a general principle the paper does not state as such: any sequence of unimodular complex functions with $\\mathrm{Ent}[f]/\\mathrm{Inf}[f]\\to\\infty$ yields a quantum Boolean counterexample with the same divergence, so the quantum Entropy–Influence conjecture fails for the entire family of phase functions, not just this example.","A natural testable extension is to run the same weighted Rudin–Shapiro construction with other weight profiles, for example $a_j=j^{-\\alpha}$; the paper computes only the equal-weight case $a_j=1/\\sqrt n$, and the transfer formulas predict the entropy–influence ratio whenever $\\sum_j p_j<2$ and $\\sum_j h_2(p_j)\\to\\infty$.","The quaternion algebra in Section 3 could be replaced by other Clifford-type products; the paper does not explore whether bases larger than $3/\\sqrt2$ are attainable, so the true supremum of the homogeneous comparison constant remains an open question suggested by its method."],"forward_implications":["For every even degree $d=2m$, no dimension-free constant smaller than $(3/\\sqrt2)^d$ can bound the operator norm of a $d$-homogeneous Hamiltonian by its product-state expectation; product-state ansätze for ground-state estimation therefore lose exponentially in degree.","The non-commutative Bohnenblust–Hille constant must grow exponentially in $d$, so the subexponential constants of the classical Hamming-cube inequality do not transfer to Pauli Hamiltonians.","The quantum Entropy–Influence conjecture, as formulated with a universal constant $C$, is false for qubit quantum Boolean functions; entropy can grow logarithmically in the number of qubits while total influence is bounded.","For Hamiltonians on pairwise anti-commuting Pauli strings with weight at most $10r$, the quantum Aaronson–Ambainis inequality holds with explicit constants $C=10$, $K=1$.","The Bohnenblust–Hille exponent $2d/(d+1)$ is sharp for the Hamming cube, and a non-random $Z$-only construction exhibits the obstruction."],"supporting_citations":[{"why":"Supplies the pairwise anti-commuting, weight-$r$ Pauli-string family; flat spectrum and BH lower bound assume it.","marker":"[16]"},{"why":"Establishes exponential lower bound for non-commutative BH constant; Section 4.1 reproduces and extends its construction.","marker":"[23]"},{"why":"Gives the product-norm upper bounds ($3^d$, and $2^d$ for X,Y-only) that the new lower bounds match.","marker":"[5]"},{"why":"Provides the Hamming-cube Bohnenblust–Hille inequality with subexponential constants used as the upper comparison.","marker":"[10]"},{"why":"States the quantum Entropy–Influence conjecture disproved in Section 6.","marker":"[3]"},{"why":"Provides the scalar weighted Rudin–Shapiro phase family with unit modulus used for the quantum counterexample.","marker":"[22]"},{"why":"Defines the Aaronson–Ambainis conjecture, whose quantum variant is proved for anti-commuting-string Hamiltonians.","marker":"[1]"},{"why":"Gives the degree-2 constant 9 for the product-norm comparison, the starting baseline.","marker":"[17]"}],"fun_headline_variants":["Quantum entropy-influence conjecture false via Rudin-Shapiro","Tight quantum estimates: exponential Bohnenblust-Hille constants","Counterexamples to quantum entropy-influence and Bohnenblust-Hille","Hermitian dilation of Rudin-Shapiro phases breaks entropy-influence","No universal entropy-influence bound: quantum counterexample"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the recursive family of $3^r$ pairwise anti-commuting, weight-$r$ Pauli strings supplied by [16] exists for every $r$ with no hidden collisions; if that construction fails, the flat-spectrum identity $H_d^2=N_d I$, the exponential Bohnenblust–Hille lower bound, and the Section 6 counterexample built on it all collapse.","fun_headline_variants_meta":{"raw":{"variants":["Quantum entropy-influence conjecture false via Rudin-Shapiro","Tight quantum estimates: exponential Bohnenblust-Hille constants","Counterexamples to quantum entropy-influence and Bohnenblust-Hille","Hermitian dilation of Rudin-Shapiro phases breaks entropy-influence","No universal entropy-influence bound: quantum counterexample"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000749,"raw_usage":{"total_tokens":3410,"prompt_tokens":1094,"completion_tokens":2316,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":710,"completion_tokens_details":{"reasoning_tokens":2227}},"tokens_in":710,"tokens_out":2316,"duration_ms":14769,"temperature":1.0,"reasoning_tokens":2227,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T14:41:36.585838+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Enumerate the Section 4.1 recursion for $r=4,5,6$: form the claimed $3^r$ strings on $(3^r-1)/2$ qubits and check every pair for anti-commutation and every row for distinctness; a single violation invalidates $H_d^2=N_d I$ and the derived lower bounds. Independently, for $m=1,2,3$ compute the exact operator norm of $H_{2m}$ by optimizing over tensor-product states and compare it with the lower bound $(9^m+2\\cdot6^m+3)/(2^{m+1}+4)$.","supporting_citations":[{"cited_title":"Dense Hamiltonians at the Parseval Limit: The Noncommutative BH Constant is Exponential and the Quantum FEI Conjecture is False","cited_arxiv_id":"2608.01424","evidence_quote":"Establishes exponential lower bound for non-commutative BH constant; Section 4.1 reproduces and extends its construction."},{"cited_title":"Approximating the operator norm of local Hamiltonians via few quantum states","cited_arxiv_id":"2509.11979","evidence_quote":"Gives the product-norm upper bounds ($3^d$, and $2^d$ for X,Y-only) that the new lower bounds match."},{"cited_title":"Defant, M","cited_arxiv_id":null,"evidence_quote":"Provides the Hamming-cube Bohnenblust–Hille inequality with subexponential constants used as the upper comparison."},{"cited_title":"Entropy versus influence for complex functions of modulus one 2","cited_arxiv_id":"2009.12753","evidence_quote":"Provides the scalar weighted Rudin–Shapiro phase family with unit modulus used for the quantum counterexample."},{"cited_title":"Aaronson and A","cited_arxiv_id":null,"evidence_quote":"Defines the Aaronson–Ambainis conjecture, whose quantum variant is proved for anti-commuting-string Hamiltonians."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the degree-2 constant 9 for the product-norm comparison, the starting baseline."}],"review_version":2}