{"id":"34d46afa-c1c3-4b6f-9d93-7d5e66104359","arxiv_id":"1908.03220","paper_version":1,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A new class of N=2 holomorphic Lifshitz supersymmetric models is shown to possess exact lines of quantum critical fixed points with coupling-dependent dynamical exponent z.","lead":"This paper constructs a family of supersymmetric, non-Lorentz-invariant quantum field theories with four supercharges and a holomorphic structure, and shows that in three critical dimensions the interaction strength is exactly marginal, giving a line of scale-invariant 'Lifshitz' fixed points.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Strong-coupling fixed-line claim rests on unproven suppression of soliton/instanton corrections to the effective superpotential.","rationale":"The reader's weakest assumption identifies exactly the point where the central claim is least secure: the non-renormalization theorem's assumptions 1-3 (unbroken supersymmetry and faithful IR description) are not established non-perturbatively, and the paper itself flags soliton/instanton effects in Section 4. My stress test agrees and sharpens this into a concrete, potentially fatal mechanism: the soliton solutions (4.1) are normalizable in the marginal cases, and the tunneling amplitude (4.2) is unsuppressed at large λ_n, so instanton corrections to W_eff are not controlled precisely where the strong-coupling claim is made. Since the beta-function identity β_n=0 follows directly from W_eff = W_tree, any nonzero non-perturbative superpotential correction breaks the fixed-line argument. The proposed test—an explicit one-instanton calculation in the d=6, n=3 theory—would settle whether such corrections exist. If they vanish, the paper's strongest claim stands; if not, the conclusion would need to be restricted to weak or intermediate coupling. The verdict remains CONDITIONAL, because the logical structure is sound and the caveat is explicitly acknowledged, but the strong-coupling statement currently goes beyond what is proven.","tokens_in":42113,"tokens_out":11866,"duration_ms":133301,"concrete_test":"Compute the leading instanton correction to the effective superpotential in the d=6, n=3 marginal theory (the simplest case) by evaluating the functional integral around the one-soliton configuration (4.1) with standard instanton calculus: collect the zero modes, count fermion zero modes from the index theorem, and integrate the collective coordinates. If the resulting ΔW_eff vanishes (as in some supersymmetric quantum mechanics models) the concern is resolved and the non-renormalization theorem extends non-perturbatively. If ΔW_eff is nonzero (for instance, proportional to e^{-C/|λ_3|^2} times a holomorphic monomial in Φ), then β_λ3 acquires non-perturbative corrections, the exact fixed line fails at strong coupling, and the paper's Section 3.5 claim must be restricted to weak coupling.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim in Section 3.5 is that β_n(λ_n)=0 identically, so every value of λ_n labels an exact Lifshitz quantum critical point, with z=2+2γ_Φ(λ_n), and that this holds non-perturbatively and at strong coupling. The proof rests on the non-renormalization theorem of Section 3.3, which asserts W_eff = W_tree. That theorem explicitly assumes: (1) supersymmetry and relevant global symmetries are non-anomalous and unbroken; (2) the system is smooth in the weak-coupling limit; (3) IR physics is faithfully described by the microscopic degrees of freedom. The paper's own Section 4 shows that these assumptions are not guaranteed at strong coupling: soliton-like supersymmetric vacua (Eq. 4.1) exist in L^2 for the marginal cases, and the tunneling/instanton amplitude is bounded by e^{-C |λ_n|^{-2/(n-2)}}, which tends to 1 as |λ_n|→∞. Thus instanton contributions to W_eff are not exponentially suppressed exactly in the strong-coupling regime where the claim is made. If any such contribution survives, the effective superpotential acquires corrections, the relations g_cn = g Z_Φ and f_cn = f_n Z_Φ^{n/2} that underlie Eq. (3.74) are modified, and λ_n no longer has vanishing beta function. The fixed line would then be reduced to a discrete set of points, or destroyed entirely. The paper acknowledges this caveat in Section 4 but the abstract and Section 3.5 state the strong-coupling conclusion without this qualification. This is the single most load-bearing gap: every other step in the argument is internally consistent, but the non-perturbative step is uncontrolled.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper constructs a class of non-relativistic (Lifshitz) supersymmetric field theories in d+1 dimensions with four real supercharges and a holomorphic superpotential, following earlier work on N=1 time-domain supersymmetry. The authors prove a non-renormalization theorem for the superpotential using holomorphy, global symmetries and a weak-coupling smoothness assumption, then identify three classically marginal cases (d=6, n=3; d=4, n=4; d=3, n=6). For each case they argue that the dimensionless coupling lambda_n has an identically vanishing beta function, so every value of lambda_n labels an exact Lifshitz scale-invariant fixed point with dynamical critical exponent z = 2 + 2 gamma_Phi(lambda_n). They compute the one-loop anomalous dimension in the three marginal cases and find it positive, and they discuss the gapless singular case f2 > 0, including its IR singularities and the role of non-renormalization in protecting the singular sphere. The paper closes with an extended discussion of non-perturbative effects, especially soliton-like vacua and instanton corrections, and explicitly lists these as open issues.","tokens_in":42387,"tokens_out":8016,"duration_ms":87468,"significance":"If the main claim holds, the paper provides rare examples of interacting Lifshitz field theories with exact scale invariance at arbitrary coupling, and it demonstrates that holomorphic non-renormalization can operate outside relativistic supersymmetry. The construction is explicit and the supporting calculations are concrete: the non-renormalization proof carefully adapts Seiberg's holomorphy argument, the one-loop anomalous dimension computations for the three marginal cases are shown in detail, and the dual-scale RG formalism in Section 3.2 is a useful contribution in its own right. The cross-check between time-first regularization with a spatial cutoff and split dimensional regularization in Section 3.5 strengthens the perturbative part of the paper. However, the strong-coupling portion of the central claim is conditional on assumptions that the paper itself shows are not guaranteed, and this gap must be addressed before the result can be accepted as stated.","major_comments":[{"comment":"The claim that beta_n(lambda_n) = 0 identically and that every value of lambda_n gives an exact Lifshitz quantum critical point at strong coupling is not established by the argument given. The non-renormalization theorem of Section 3.3 relies on assumptions 1-3: unbroken supersymmetry and global symmetries, smoothness in the weak-coupling limit, and faithful description of the IR by microscopic degrees of freedom. Section 4 then shows that these assumptions can fail in the strong-coupling regime: soliton-like vacua exist (Eq. 4.1), and the tunneling amplitude bound in Eq. (4.2) is e^{-S_E} <= e^{-C |lambda_n|^{-2/(n-2)}}, which tends to 1 as |lambda_n| -> infinity. Thus instanton corrections to W_eff are not exponentially suppressed exactly where the strong-coupling claim is made. The abstract and Section 3.5 should either prove that such contributions vanish or explicitly state the line-of-fixed-points result as conditional on assumptions 1-3, with the strong-coupling regime left as an open problem.","section":"Abstract and Section 3.5 vs. Section 4"},{"comment":"The proof of W_eff = W_tree excludes non-perturbative contributions by invoking the weak-coupling smoothness assumption together with the expansion in non-negative powers of the couplings. This is legitimate for small couplings but cannot be used to justify the same conclusion at large |lambda_n|. The authors acknowledge this in the same paragraph and in Section 4, but the statement of the non-renormalization theorem and the subsequent use of Eq. (3.75) in Section 3.5 present the result as unconditional. The paper should separate the theorem, which holds under the stated assumptions, from the strong-coupling corollary, which does not follow from the given proof.","section":"Section 3.3, paragraph after Eq. (3.48)"},{"comment":"The gapless singular case analysis relies on the same non-renormalization theorem to conclude that Im(f2) remains zero and that the singular sphere radius k0 is not renormalized. If dynamical supersymmetry breaking occurs through the soliton or instanton effects described in Section 4, this protection mechanism fails and the IR analysis in Section 3.6 is not valid. The conjectural nature of the IR fixed point is already acknowledged, but the dependence of the earlier conclusions on the unproven non-perturbative assumptions should be stated more prominently in this subsection as well.","section":"Section 3.6"}],"minor_comments":[{"comment":"There are several typographical issues: 'T able' in the caption of Table 1, 'Kähler' appears with inconsistent spelling in a few places, and reference [7] contains 'La 1.825Sr0.175CuO4' with the subscript notation not typeset correctly.","section":"Various"},{"comment":"The symbol k is used both as a spatial momentum vector and as its modulus; please clarify the notation, for example by writing |k| explicitly in denominators such as (k-q)^4.","section":"Eq. (3.85)"},{"comment":"The statement that 'these equations then have an infinite set of solutions' is confusing because it is followed by a discussion of scheme dependence. It would be clearer to say that Eqs. (3.83)-(3.84) are consistent only when Eq. (3.80) holds, and that the remaining freedom in gamma_s and gamma_t reflects renormalization-scheme dependence.","section":"Section 3.5, after Eq. (3.84)"},{"comment":"The notation delta(k1+...+k_{n-1}) is used with an absolute value inside a delta function; please define whether this is | |k1+...+k_{n-1}| - k0 | and explain how the domain restriction is implemented in the measure.","section":"Section 3.6, Eq. (3.96)"},{"comment":"The analogy with the quenched-disorder result in reference [52] is mentioned only in passing in the Discussion; a sentence explaining the precise connection to the relation z = 2 + gamma_g would help the reader.","section":"Introduction"}],"recommendation":"major_revision","confidential_remarks":"The technical core of the paper, namely the non-renormalization theorem under explicit assumptions and the perturbative checks, is solid and worth publishing. The main obstacle is the mismatch between the abstract and Section 3.5, which promise an unconditional strong-coupling result, and the body of the paper, which explicitly leaves the relevant non-perturbative effects unresolved. This is fixable by rewording the claims as conditional and highlighting the open problem rather than by adding new technical content. The paper is within the scope of JHEP and would be a useful contribution once the claims are made precise."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The one thing to know: this is a real construction, not a repackaging. The paper builds N=2 time-domain supersymmetric Lifshitz theories with four supercharges, a holomorphic superpotential, and a non-renormalization theorem modeled on Seiberg's holomorphy argument. The genuinely new payoff is the claim that marginal couplings λ_n have identically vanishing beta functions in three critical dimensions, giving exact-looking lines of Lifshitz quantum critical points with z depending on λ_n. That result is novel and worth taking seriously.\n\nWhat it does well: the non-renormalization proof is careful and states its assumptions plainly. The perturbative supergraph argument in Section 3.4 and the explicit one-loop anomalous dimension computations for d=6, n=3 and the two other marginal cases in Appendix D are concrete and internally consistent. The dual-scale RG formalism in Section 3.2 is a useful addition to the non-Lorentzian toolkit. The paper also deserves credit for putting the soliton/instanton caveat on the table in Section 4, even if it does not control it.\n\nThe soft spot is exactly the one the stress-test note identifies. The abstract and Section 3.5 say the fixed-line conclusion is not perturbative and applies at strong coupling. What the proof actually establishes is that the superpotential is not renormalized under the stated assumptions: supersymmetry unbroken, weak-coupling smoothness, and IR completeness of the microscopic degrees of freedom. Those assumptions may fail in exactly the strong-coupling regime where the boundary of the claim lies. The paper's own Eq. (4.2) gives an instanton tunneling amplitude bounded by e^{-C|λ_n|^{-2/(n-2)}}, which is not suppressed as |λ_n| grows. If any nonperturbative correction to the effective superpotential survives, the relations g_cn = g Z_Φ and f_cn = f_n Z_Φ^{n/2} are modified and β_n = 0 is no longer automatic. So the strong-coupling line is a conjecture, not a theorem. That is not a fatal flaw—the perturbative result and the exact statement conditional on the assumptions are still valuable—but the claim needs to be restated honestly with the qualification.\n\nMinor additional point: the positivity of z-2 is only shown to one loop, and the paper admits this. Fine, as long as readers are not left with the impression that z > 2 is nonperturbatively proven.\n\nWho this is for: people working on non-relativistic supersymmetry, Lifshitz field theories, and possible holographic duals of non-Lorentzian critical points. It deserves a serious referee. My recommendation is to send it to review, and in revision to make the strong-coupling statement conditional on unbroken SUSY and IR completeness, or to prove that the instanton contributions actually cancel. As written, accept only with that revision.","headline":"Genuinely new N=2 holomorphic Lifshitz SUSY models with a clean non-renormalization argument, but the strong-coupling fixed-line claim goes beyond what the paper actually controls.","tokens_in":42980,"tokens_out":1588,"would_cite":true,"duration_ms":20863,"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":"Supersymmetric Lifshitz theories with holomorphic superpotentials have exact lines of quantum critical points, one for every coupling value.","keywords":["Supersymmetry","Lifshitz scaling","quantum critical point","non-renormalization theorem","holomorphic superpotential","time domain supersymmetry","dynamical critical exponent","Wess-Zumino model"],"falsifier":"Look for a nonzero two-loop $\\beta$ function for $\\lambda_n$ in one of the three marginal models, or for a non-vanishing instanton tunneling amplitude between the trivial vacuum and a soliton vacuum; either would remove the exact fixed line.","tokens_in":41872,"feed_emoji":"⚛","tokens_out":7354,"duration_ms":76221,"temperature":0.7,"pith_summary":"This paper constructs non-relativistic field theories whose supersymmetry closes on the Hamiltonian and therefore gives four real supercharges but no boost symmetry. The theories are built from a holomorphic superpotential $W(\\Phi)$, and the paper proves a non-renormalization theorem: quantum corrections do not alter $W$. When the interaction is marginal, in $d=6$ with $n=3$, $d=4$ with $n=4$, and $d=3$ with $n=6$, the dimensionless coupling $\\lambda_n=f_n g^{-n/2}$ has identically vanishing $\\beta$ function. Hence every value of $\\lambda_n$ labels a Lifshitz quantum critical point with exact scale invariance and a coupling-dependent dynamical critical exponent $z=2+2\\gamma_\\Phi(\\lambda_n)$, without relying on perturbative control. This gives explicit families of strongly coupled, non-Lorentzian fixed points that still admit exact statements.","feed_headline":"Every coupling is a Lifshitz critical point in three models","feed_subtitle":"Holomorphic supersymmetry freezes the beta function, so z=2+2γ(λ) varies with the coupling.","key_machinery":"The load-bearing object is the holomorphic superfield $\\Phi(t,x,\\theta,\\theta^\\dagger)$ defined by $D^\\dagger_{\\dot\\alpha}\\Phi=0$, with superpotential $W(\\Phi)=\\int d^dx\\, (G(\\Phi)\\partial_i\\Phi\\partial_i\\Phi+F(\\Phi))$. Holomorphicity restricts the effective action to terms that can be expanded in non-negative powers of $\\Phi$ and the couplings, and the $U(1)\\times U(1)_R$ charge assignments then force every loop correction back to the classical tree-level form. Supergraph identities of the Lifshitz covariant derivatives reduce every closed loop to a single $d^4\\theta$ integral, which cannot be converted into the $d^2\\theta$ integral of a superpotential term without introducing a time derivative; this is the technical mechanism that protects $W$ from renormalization. What carries the result through to the marginal cases is the ratio invariance $\\lambda_n=f_n g^{-n/2}$ under the common field-strength renormalization.","core_discovery":"The paper's central claim is that in each of the three marginal cases the dimensionless coupling $\\lambda_n=f_n g^{-n/2}$ is exactly marginal: $\\beta_{\\lambda_n}=0$ for every value, not only near zero coupling. The proof combines the holomorphicity of the superpotential with two $U(1)\\times U(1)_R$ symmetries, following the relativistic non-renormalization argument: any possible correction to the superpotential would need a homogeneous factor that forces it back to a tree-level single-vertex contribution, so the quantum effective superpotential equals the classical one. Since after canonical normalization both $g$ and $f_n$ pick up the same power of the field-strength factor $Z_\\Phi$, their ratio is invariant and the $\\beta$ function vanishes. The anomalous dimension $\\gamma_\\Phi(\\lambda_n)$ coming from the Kähler potential is generically nonzero, so the dynamical exponent $z=2+2\\gamma_\\Phi(\\lambda_n)$ varies continuously along the fixed line. The paper stresses that the non-renormalization argument is non-perturbative and applies at strong coupling, provided supersymmetry and the global symmetries remain unbroken and the infrared physics is described by the same degrees of freedom.","pith_inferences":["If the exact fixed lines survive strong-coupling checks, they provide a rare example of a non-Lorentzian fixed manifold with continuously varying $z$; an analogous holomorphic non-renormalization could be sought in models with more supercharges or with vector and matrix degrees of freedom.","A concrete test is to evaluate the Witten index or the instanton action of the soliton vacua discussed in the paper; a nonzero tunneling amplitude into a non-supersymmetric ground state would invalidate the fixed line at strong coupling.","Since the $d=3$, $n=6$ case lives in $3+1$ dimensions, it could serve as a toy arena for condensed-matter quantum critical phenomena with $z\\neq1$, a connection the paper does not itself develop.","The scheme-independence of $z$ and $\\gamma_\\Phi$ in the dual-scale formalism suggests that extracting these quantities from numerical or lattice probes may require care; computing them beyond one loop in a scheme-independent way would be a useful cross-check."],"forward_implications":["In $d=6, n=3$; $d=4, n=4$; and $d=3, n=6$, every real value of $\\lambda_n$ is a scale-invariant fixed point, so these are one-parameter families of interacting Lifshitz conformal field theories rather than isolated fixed points.","The dynamical critical exponent $z=2+2\\gamma_\\Phi(\\lambda_n)$ changes along the line; the one-loop calculation gives $\\gamma_\\Phi>0$ and hence $z>2$ in all three marginal cases at weak coupling.","The non-renormalization theorem fixes the moduli space of vacua exactly: it is the solution set of the differential equation $\\delta W/\\delta\\varphi=0$, including non-constant soliton vacua that can break spatial translation symmetry.","For the gapless case with real positive $f_2$, the superpotential remains unrenormalized while the effective coupling $\\tilde\\lambda_n=f_n v^{-n/2}\\mu_s^{-1}$ is relevant, so the theory is strongly coupled in the infrared and may flow to a different Lifshitz fixed point."],"supporting_citations":[{"why":"Supplies the holomorphic charge-counting non-renormalization argument that is adapted to the Lifshitz setting.","marker":"[11]"},{"why":"Provides the supergraph and GRS propagator technology used in the perturbative proof of non-renormalization.","marker":"[12]"},{"why":"Defines the earlier N=1 time-domain Lifshitz superspace models whose N=2 holomorphic extension is constructed here.","marker":"[22]"},{"why":"Establishes the weighted Lifshitz power-counting and renormalization framework used for classifying marginal operators.","marker":"[29]"},{"why":"Supplies the split dimensional regularization method used in the one-loop calculation of the anomalous dimension.","marker":"[35]"},{"why":"Gives the textbook supergraph method for reducing loops to a single superspace integral, adapted to the non-boost-invariant case.","marker":"[45]"},{"why":"Provides the Fermi-surface shell renormalization procedure adapted to the gapless singular case.","marker":"[47]"},{"why":"Supplies the effective-field-theory picture of the Fermi surface used for the strongly coupled gapless analysis.","marker":"[48]"}],"fun_headline_variants":["Every coupling stays marginal: Lifshitz critical lines","Holomorphic SUSY imposes exact marginality of λ","Beta function vanishes: z varies with coupling","Non-renormalization pins superpotential, yields Lifshitz lines","Three marginal models: exact critical lines, z varies"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The conclusion rests on the symmetry pairing bosons with fermions remaining unbroken and on no new low-energy degrees of freedom appearing; if either fails, the superpotential's protected form and the fixed line are lost.","fun_headline_variants_meta":{"raw":{"variants":["Every coupling stays marginal: Lifshitz critical lines","Holomorphic SUSY imposes exact marginality of λ","Beta function vanishes: z varies with coupling","Non-renormalization pins superpotential, yields Lifshitz lines","Three marginal models: exact critical lines, z varies"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000437,"raw_usage":{"total_tokens":2187,"prompt_tokens":876,"completion_tokens":1311,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":492,"completion_tokens_details":{"reasoning_tokens":1233}},"tokens_in":492,"tokens_out":1311,"duration_ms":12304,"temperature":1.0,"reasoning_tokens":1233,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T14:20:51.465438+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Look for a nonzero two-loop $\\beta$ function for $\\lambda_n$ in one of the three marginal models, or for a non-vanishing instanton tunneling amplitude between the trivial vacuum and a soliton vacuum; either would remove the exact fixed line.","supporting_citations":[{"cited_title":"Improved Methods for Supergraphs,","cited_arxiv_id":null,"evidence_quote":"Provides the supergraph and GRS propagator technology used in the perturbative proof of non-renormalization."},{"cited_title":"Supersymmetry and supergravity,","cited_arxiv_id":null,"evidence_quote":"Gives the textbook supergraph method for reducing loops to a single superspace integral, adapted to the non-boost-invariant case."}],"review_version":1}