{"id":"c433d222-e69c-4b2c-a408-019e587b374a","arxiv_id":"1908.05862","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The Hartree-Fock and reduced Hartree-Fock equations are shown to be locally and globally well-posed in modulation spaces for a range of parameters, including data outside Sobolev spaces.","lead":"This paper proves local and global well-posedness for the Hartree-Fock equations and their reduced form in modulation spaces, which are low-regularity function spaces on R^d. It extends earlier single-particle results to the N-particle system, including endpoint cases and a harmonic potential.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1.2's p>2 cases are vacuous: under 0<γ<min{α,d/2}, the stated condition 1/p+γ/d−1=1/(p+ε) has no solution for any p>2, so the claimed global well-posedness for M^{p,1}_s∩L^2 data is not actually stated.","rationale":"I read the paper as aiming to establish local and global well-posedness for Hartree-Fock and reduced Hartree-Fock equations in modulation spaces, with the main advertised low-regularity consequence being the p=2, q=2d/(d+γ) case beyond H^{γ/2}. For that core case the argument appears coherent: the trilinear estimates in Section 3 are plausible, and the global bootstrap in Lemma 4.2 correctly uses the subcritical conditions γ<α and γ<d/2. The p≤2 modulation spaces do embed into L^2, because q≤2d/(d+γ)<2 and each frequency block satisfies the Bernstein-type estimate ||□_k f||_{L^2}≤C||□_k f||_{L^p}, so the use of L^2 conservation and Strichartz estimates is justified. The reader's weakest assumption about external Strichartz estimates is reasonable but not the sharpest internal problem. The sharpest concrete issue is that the p>2 branches of Theorem 1.2 are algebraically empty under the stated hypotheses: the defining equation cannot hold for any p>2 when γ<d/2. This does not invalidate the p≤2 results, but it means the theorem's statement overclaims the scope of the modulation-space well-posedness result. The correct fix is either to restrict the second branch to 1<p<d/(d−γ) (which is contained in p<2) or to replace the impossible condition with a genuine hypothesis on s for M^{p,1}_s∩L^2. Because the core p≤2 argument stands, the conditional verdict should remain.","tokens_in":25503,"tokens_out":42199,"duration_ms":370912,"concrete_test":"Fix d=3, α=2, γ=1, so 0<γ<min{α,d/2}=1.5, and take p=3 in the second branch of Theorem 1.2(a). The condition reads 1/3+1/3−1=−1/3=1/(3+ε), which forces ε=−6, contradicting ε>0. For general p>2, 1/p+γ/d−1<0 while 1/(p+ε)>0, giving the same contradiction. This settles the vacuity. Additionally, re-derive the admissible p-range from Proposition 3.2(ii): 1/p+γ/d−1=1/(p+ε) with γ/d<1/2 implies p<d/(d−γ)<2, so the branch should be 1<p<d/(d−γ), not 2<p<∞.","verdict_should_be":"UNCHANGED","load_bearing_attack":"In Theorem 1.2(a) and (b), the modulation space X is defined for 2<p<∞ by the relation 1/p+γ/d−1=1/(p+ε) for some ε>0. Under the theorem's standing hypothesis 0<γ<min{α,d/2}, we have γ/d<1/2, and for p>2 we also have 1/p<1/2. Hence 1/p+γ/d−1<0, whereas 1/(p+ε)>0. Therefore no ε>0 can satisfy the displayed relation. This makes every p>2 branch in Theorem 1.2 empty, including the M^{p,1}_s∩L^2_rad case in part (b). Since Lemma 4.2 and the surrounding global-bootstrap argument only treat data in X∩L^2, and for the nonempty p≤2 cases X embeds in L^2, the proof actually establishes the p≤2 part only; the advertised weighted-space results for p>2 are not covered. The defect is internal: either the intended relation was 1/p+γ/d−1=1/(p+ε) with p<d/(d−γ)<2, or the p>2 branch needs a different, non-vacuous condition.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies local and global well-posedness for the N-particle Hartree-Fock system (1.1), the reduced Hartree-Fock system (1.2), and their harmonic-potential counterparts (1.4) and (1.5), in modulation spaces on R^d. The main tools are new trilinear estimates for the Hartree-type operator H_γ(f,g,h) on modulation spaces (Propositions 3.1-3.3), combined with existing modulation-space multiplier bounds and L^2-based Strichartz estimates. The principal results are Theorem 1.1 (local existence), Theorem 1.2 (global existence for φ(h(ξ))=|ξ|^α), and Theorem 1.3 (global existence with harmonic potential). Several proofs are delegated to sketches or omitted as analogous.","tokens_in":25795,"tokens_out":14772,"duration_ms":123651,"significance":"If the results hold, the paper extends the global well-posedness theory of Hartree-Fock equations to modulation spaces, giving data that can lie outside H^{γ/2}, and it settles the endpoint q=2d/(d+γ) cases previously left open in the first author's work. The trilinear estimates on modulation spaces are a useful technical contribution in their own right. The paper is careful to identify parameter regimes (e.g., γ<min{α,d/2}) and to rely on explicit known Strichartz estimates, so the central p≤2 part of the theory is plausible and likely correct. However, the statement of Theorem 1.2 contains a vacuous branch for p>2, and the proofs of several main theorems are only sketched, which prevents the paper from being accepted in its current form.","major_comments":[{"comment":"The p>2 branches of Theorem 1.2 are empty under the stated hypotheses. The theorem assumes 0<γ<min{α,d/2}, and for p>2 one has 1/p<1/2 and γ/d<1/2, hence 1/p+γ/d−1<0. The relation defining the second case of X, namely 1/p+γ/d−1=1/(p+ε), requires the left side to equal a positive number for some ε>0, which is impossible. Consequently the cases M^{p,1}_s in part (a) and M^{p,1}_s∩L^2_rad for 2<p<∞ in part (b) are vacuous. The global bootstrap in Lemma 4.2 only treats the nonempty p≤2 cases, so the theorem's advertised coverage of p>2 is not actually established. The statement should be corrected, for example by restricting the second branch to 1<p<d/(d−γ) (which is <2) or by replacing the condition with one that is not impossible for p>2.","section":"Theorem 1.2, Section 1.2"},{"comment":"Several results stated as main theorems are not proved: Theorem 1.1(ii) is dismissed with \"we omit the details,\" Proposition 4.3 with \"we omit its details,\" Theorem 1.2(ii) with \"we shall omit the details,\" and Theorem 1.3 with a single-sentence sketch. For a journal submission these are load-bearing claims, not routine verifications. In particular, Theorem 1.3 requires a global bootstrap adapted to the harmonic-oscillator propagator, where the L^2 Strichartz theory and the modulation-space bounds must be combined with the finite-time blow-up criterion; this is not immediate from Theorem 5.1 alone. The authors should provide full proofs or, at a minimum, an explicit description of the modifications needed for the harmonic and reduced cases.","section":"Sections 4.1-5.2 (Theorems 1.1(ii), 1.2(ii), 1.3; Proposition 4.3)"},{"comment":"The global bootstrap in Lemma 4.2 depends on choosing q with d/(d−γ)<q≤2 and then choosing β>1 so that (2β,2q) is α-fractional admissible with 1/β<1. The text states that the compatibility condition is q−1/(q)<α/d and that this is compatible with q>d/(d−γ) iff γ<α. This is correct, but only after also using γ<d/2 to ensure d/(d−γ)<2; the proof should state this explicitly. More importantly, the argument uses the conservation of the L^2 norm, so it applies only to solutions with initial data in X∩L^2. For the p≤2 cases this is fine because q≤2d/(d+γ)<2 implies M^{p,q}⊂L^2, but the presentation should make this embedding step explicit for the p>2 branch if that branch is retained after correction.","section":"Lemma 4.2, Section 4.2"}],"minor_comments":[{"comment":"The definition φ(h(D))f = F^{-1}e^{itφ∘h(·)}Ff includes the factor e^{it} inside what is later used as the linear propagator; this appears to be a notation mistake, since (1.1) uses φ(h(D)) as the free-evolution operator and Proposition 2.3 correctly defines U(t)=e^{itφ(h(D))}. Please correct the displayed definition.","section":"Section 1.2, equation display before (1.1)"},{"comment":"The proof of part (7) is mislabeled: the sentence \"The proof of statement (6) is trivial, indeed, we have ‖f‖_{M^{p,q}}=‖\\bar{f}‖_{M^{p,q}}\" proves part (7) (invariance under complex conjugation), not part (6) (Banach space property). The numbering should be fixed.","section":"Lemma 2.1(7) proof, Section 2.2"},{"comment":"The abstract contains the typo \"boundedeness\" for \"boundedness\"; a careful proofreading pass is needed for similar small errors, e.g., in the second paragraph of Section 1.1.","section":"Abstract and throughout"},{"comment":"In the proof of Lemma 3.1(ii), the norm ‖f‖_{M^{p,1}_s} appears, but s is not present in the lemma statement (which is for M^{p,1}∩L^2). This is likely a typo and should be ‖f‖_{M^{p,1}∩L^2}.","section":"Lemma 3.1(ii), Section 3"},{"comment":"In Proposition 4.3 the space-time integrability exponent is written L^{4α/γ} but α is not defined in that proposition's statement; the same exponent appears in Theorem 1.2 with α from φ∘h(ξ)=|ξ|^α. Please make the dependence on α explicit in Proposition 4.3.","section":"Proposition 4.3 statement"}],"recommendation":"major_revision","confidential_remarks":"The paper's central idea and the p≤2 part of Theorem 1.2 appear sound, and the trilinear estimates are a useful contribution. The main obstacle to acceptance is the internally inconsistent statement of Theorem 1.2 for p>2, which would be visible to any careful reader, and the over-reliance on omitted proofs for several main theorems. The authors should be asked to correct the statement and to supply the missing proofs or detailed sketches. The paper is within the scope of math.AP and the reliance on the first author's earlier papers is appropriate as a baseline rather than a circular input."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"What you should know: this is a genuine extension of the modulation-space well-posedness program for Hartree-type equations. It treats the full N-particle Hartree-Fock system, including the Fock exchange term, as well as the reduced system, and closes the endpoint q=2d/(d+γ) that earlier work left open. The trilinear estimates in Section 3 are the real workhorse and look correct. For data in the p≤2 range, the global result is plausible and the argument hangs together: the L^2-conservation plus a bootstrap on the modulation-space norm via Strichartz estimates is coherent.\n\nThe soft spot is real and it is in the statement of Theorem 1.2. Under the standing hypothesis γ<d/2, the displayed relation 1/p+γ/d−1=1/(p+ε) cannot hold for any p>2, since the left side is negative. That makes every M^{p,1}_s branch in Theorem 1.2(a) and (b) empty. So the theorem as stated advertises global well-posedness for weighted modulation spaces with p>2, but that part of the statement has no content. The p≤2 branches are unaffected, because those spaces embed into L^2, so the proof actually establishes a true (but weaker) theorem. This needs to be fixed before publication: either find a non-vacuous condition or remove the p>2 claims.\n\nSecond soft spot: a substantial fraction of the paper is \"we omit the details\" or \"sketch\". Theorem 1.1(ii), Proposition 4.3, Theorem 1.2(ii), and Theorem 1.3 are all delegated. For the reduced Hartree-Fock equation and the harmonic-potential case—which are half the advertised results—this is too much to leave out. A referee should insist on the arguments.\n\nNo circularity, no fitted parameters. Citations to the modulation-space multiplier estimates and Strichartz estimates are appropriate.\n\nBottom line: the paper deserves a serious referee, but not acceptance as is. It needs the p>2 bug fixed and the omitted proofs supplied. The p≤2 endpoint results for N≥1 are worth having.","headline":"A useful extension of modulation-space well-posedness to N-particle Hartree-Fock, but Theorem 1.2's p>2 branches are empty as stated and too many proofs are sketches.","tokens_in":26335,"tokens_out":5897,"would_cite":true,"duration_ms":52151,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q40","35Q55","42B35","35A01"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper establishes local and global well-posedness for the $N$-particle Hartree-Fock equations and their reduced analog in modulation spaces, including a harmonic-potential version, with data rougher than Sobolev spaces allow.","keywords":["Hartree-Fock equations","reduced Hartree-Fock equations","modulation spaces","global well-posedness","local well-posedness","harmonic potential","Strichartz estimates","trilinear estimates"],"falsifier":"A concrete check is whether the split $\\hat K=k_1+k_2$ with $k_2\\in L^q$, $d/(d-\\gamma)<q\\le 2$, can still be chosen as $\\gamma$ approaches $d/2$; if the resulting Hausdorff-Young control of $\\|K*(f\\bar g)\\|_{FL^1}$ fails at $\\gamma=d/2$, the global bootstrap in Lemma 4.2 cannot be extended to that endpoint.","tokens_in":25302,"feed_emoji":"⚛️","tokens_out":9781,"duration_ms":78982,"temperature":0.7,"pith_summary":"This paper establishes local and global well-posedness for the $N$-particle Hartree-Fock equations and the reduced Hartree-Fock equations (the version without the exchange term) in modulation spaces $M^{p,q}(\\mathbb{R}^d)$, for a range of exponents depending on the singularity exponent $\\gamma$. It also proves the analogous results when a harmonic oscillator potential $-\\Delta+|x|^2$ is added. The significance is that modulation spaces contain functions rougher than any fixed Sobolev space $H^s$ with $s>\\gamma/2$, so the global theorems solve these fermionic mean-field equations for initial data that lie beyond the usual $L^2$-based Sobolev scale. A key technical step is a trilinear estimate showing that the Hartree nonlinearity $(|x|^{-\\gamma} * (f \\bar g))h$ is bounded on the relevant modulation spaces.","feed_headline":"Hartree-Fock equations now solved globally with rougher data","feed_subtitle":"Low-regularity initial data beyond the usual Sobolev scale are covered, including the endpoint exponent for any particle number.","key_machinery":"The load-bearing object is the Hartree-type trilinear operator $H_\\gamma(f,g,h)=(|\\cdot|^{-\\gamma}*(f\\bar g))h$ together with the modulation-space boundedness estimates of Propositions 3.1 and 3.2, which reduce the nonlinearity to the Hardy-Littlewood-Sobolev inequality plus the algebra and Fourier-invariance properties of modulation spaces. The propagator is controlled through unimodular Fourier multiplier estimates on $M^{p,q}$ (including polynomial symbols and $|\\xi|^{\\alpha}$), and the global-in-time step runs a bootstrap: the Hartree potential's Fourier transform is split as $\\hat K=k_1+k_2$ into $L^p+L^q$, Strichartz estimates bound the $L^{2q}$ norms of the solution components, and Gronwall's inequality closes the estimate, with the constraints $\\gamma<d/2$ and $\\gamma<\\alpha$ arising from the choice of the admissible pair.","core_discovery":"On the paper's own terms, the central discovery is Theorem 1.2: when the dispersive symbol is $\\varphi(h(\\xi))=|\\xi|^{\\alpha}$ and $0<\\gamma<\\min\\{\\alpha,d/2\\}$, both the full Hartree-Fock system and its reduced analog have unique global solutions in $C(\\mathbb{R},X) \\cap L^{4\\alpha/\\gamma}_{\\mathrm{loc}}(\\mathbb{R},L^{4d/(2d-\\gamma)}(\\mathbb{R}^d))$ for initial data in the stated modulation-space class $X$, where $X$ is either $M^{p,q}$ with $1\\le p\\le 2$ and $1\\le q\\le 2d/(d+\\gamma)$, or a weighted $M^{p,1}_s$ space with an interacting Sobolev condition. The same global statement holds with a harmonic potential (Theorem 1.3) in $M^{p,p}$ for $1\\le p\\le 2d/(d+\\gamma)$ and $0<\\gamma<\\min\\{2,d/2\\}$. The endpoint exponent $q=2d/(d+\\gamma)$, previously handled only for $N=1$, is now covered for any number of particles. Because $M^{2,2d/(d+\\gamma)}$ contains functions outside $H^s$ for every $s>\\gamma/2$, the result is read as global well-posedness for data beyond the Sobolev threshold.","pith_inferences":["Because the proof never uses energy conservation, a plausible extension is to data with infinite $L^2$ norm but finite modulation norm; that would require replacing the $L^2$ conservation step in the bootstrap.","The trilinear $H_\\gamma$ estimate is independent of the $N$-particle coupling structure, so it should apply to other Hartree-type and nonlocal nonlinear Schrödinger equations posed in modulation spaces, including systems with different sign patterns in the exchange term.","The $L^p+L^q$ split of the Hartree potential's Fourier transform forces the condition $\\gamma<d/2$; a sharper decomposition or endpoint Strichartz control may extend the global range toward $\\gamma<d$, which is a testable refinement of Theorem 1.2."],"forward_implications":["Global well-posedness holds for initial data in $M^{2,2d/(d+\\gamma)}$ that need not belong to $H^s$ for any $s>\\gamma/2$, so the Cauchy problem is well-posed on a strictly larger space than the Sobolev theory allows.","The endpoint $q=2d/(d+\\gamma)$ is included for any $N\\ge 1$, extending the earlier single-particle result to the full Hartree-Fock system.","The sign of $\\kappa$ (attractive or repulsive Hartree/Fock interaction) does not affect the argument, because global existence is obtained without using energy conservation.","The same pattern gives global well-posedness for the harmonic-potential versions (1.4) and (1.5) in $M^{p,p}$, with the $L^2$ norm conserved along the flow.","For $\\varphi(h(\\xi))=|\\xi|^{\\alpha}$ with $\\alpha\\in(2d/(2d-1),2)$, the global result requires radial data, and the $L^2$ Strichartz theory supplies all needed admissible-pair bounds."],"supporting_citations":[{"why":"Defines modulation spaces via the short-time Fourier transform and supplies the norm equivalence used throughout.","marker":"[21]"},{"why":"Provides the algebra property and pointwise multiplication estimates for modulation spaces used in the trilinear bounds.","marker":"[39]"},{"why":"Supplies the unimodular Fourier multiplier estimates, including polynomial symbols, that control the propagator on modulation spaces.","marker":"[19]"},{"why":"Provides the radial Strichartz estimates for the fractional dispersive case that the global argument uses.","marker":"[26]"},{"why":"Supplies the standard Strichartz estimates for the quadratic case and the admissible-pair framework.","marker":"[27]"},{"why":"Shows the harmonic-oscillator propagator is an isometry on $M^{p,p}$, a key input for the harmonic-potential theorems.","marker":"[7]"},{"why":"Provides the Strichartz estimates for the harmonic-oscillator Schrödinger propagator used in Theorem 1.3.","marker":"[12]"}],"fun_headline_variants":["Hartree-Fock global well-posedness in modulation spaces","Global Hartree-Fock for data beyond every Sobolev space","Endpoint exponent for Hartree-Fock with any particle number","Modulation spaces extend Hartree-Fock global theory to rougher data"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The global argument rests on the Strichartz and modulation-space multiplier estimates holding in the exact exponent ranges used; the proof needs an auxiliary exponent that exists only when $\\gamma<\\min\\{\\alpha,d/2\\}$, and if either external estimate fails near that range the global conclusion loses support.","fun_headline_variants_meta":{"raw":{"variants":["Hartree-Fock global well-posedness in modulation spaces","Global Hartree-Fock for data beyond every Sobolev space","Endpoint exponent for Hartree-Fock with any particle number","Modulation spaces extend Hartree-Fock global theory to rougher data"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000376,"raw_usage":{"total_tokens":1983,"prompt_tokens":907,"completion_tokens":1076,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":523,"completion_tokens_details":{"reasoning_tokens":1002}},"tokens_in":523,"tokens_out":1076,"duration_ms":10420,"temperature":1.0,"reasoning_tokens":1002,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T13:04:56.589753+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A concrete check is whether the split $\\hat K=k_1+k_2$ with $k_2\\in L^q$, $d/(d-\\gamma)<q\\le 2$, can still be chosen as $\\gamma$ approaches $d/2$; if the resulting Hausdorff-Young control of $\\|K*(f\\bar g)\\|_{FL^1}$ fails at $\\gamma=d/2$, the global bootstrap in Lemma 4.2 cannot be extended to that endpoint.","supporting_citations":[{"cited_title":"Mathema- tisches Institut, 1983","cited_arxiv_id":null,"evidence_quote":"Defines modulation spaces via the short-time Fourier transform and supplies the norm equivalence used throughout."},{"cited_title":"2, 399–429","cited_arxiv_id":null,"evidence_quote":"Provides the algebra property and pointwise multiplication estimates for modulation spaces used in the trilinear bounds."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the unimodular Fourier multiplier estimates, including polynomial symbols, that control the propagator on modulation spaces."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the radial Strichartz estimates for the fractional dispersive case that the global argument uses."},{"cited_title":"5, 955–980","cited_arxiv_id":null,"evidence_quote":"Supplies the standard Strichartz estimates for the quadratic case and the admissible-pair framework."},{"cited_title":"(eds) Analysis and Partial Differentia l Equations: Perspectives from Developing Countries","cited_arxiv_id":null,"evidence_quote":"Shows the harmonic-oscillator propagator is an isometry on $M^{p,p}$, a key input for the harmonic-potential theorems."},{"cited_title":"4, 937–964","cited_arxiv_id":null,"evidence_quote":"Provides the Strichartz estimates for the harmonic-oscillator Schrödinger propagator used in Theorem 1.3."}],"review_version":1}