{"id":"f9933309-8501-4c79-a3d1-fb2d2f3a3b2b","arxiv_id":"2606.11785","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Proves existence and well-posedness for Kohn-Sham DFT models of encapsulated 2D materials with Yukawa-screened interactions in periodic and quasi-periodic settings.","lead":"The paper proves well-posedness of nonlinear Kohn-Sham DFT models for 2D materials like graphene encapsulated between conducting electrodes, where screening turns the Coulomb interaction into a short-ranged Yukawa form. This result applies to both periodic and quasi-periodic cases such as twisted bilayer graphene at generic twist angles.","discovery_kind":"new_application","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"The reader's weakest assumption concerns physical modeling fidelity rather than the internal correctness of the well-posedness proof. Because the paper explicitly works inside the Dirichlet-screened model, that modeling step is not load-bearing for the mathematical claim. With the full text available, no separate technical gap in the periodic or quasi-periodic analysis is apparent, so the provisional UNVERDICTED verdict is left unchanged.","tokens_in":1612,"tokens_out":277,"duration_ms":12051,"concrete_test":"Reproduce the coercivity and weak lower-semicontinuity argument for the energy functional on the space of admissible densities for the quasi-periodic case (generic twist angle) and confirm that the direct method yields a minimizer without additional regularity assumptions on the twist.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is the existence of a mathematical proof that certain nonlinear Kohn-Sham models are well-posed when the Coulomb kernel is replaced by its Yukawa-screened version arising from Dirichlet electrodes. This modeling choice defines the setting in which well-posedness is asserted; the claim itself does not require the boundary condition to be microscopically derived. No gap in the functional-analytic argument for either the periodic or the quasi-periodic case is visible from the stated result.","agreement_with_reader":"disagree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript proves well-posedness for selected nonlinear Kohn-Sham DFT models of two-dimensional materials encapsulated between parallel conducting electrodes. Dirichlet boundary conditions at the electrodes screen the Coulomb kernel to a Yukawa interaction. The result is stated for both periodic structures (e.g., graphene) and quasi-periodic structures (e.g., twisted bilayer graphene at generic incommensurate twist angles).","tokens_in":1695,"tokens_out":324,"duration_ms":11567,"significance":"If the proofs are correct, the work supplies a rigorous existence theory for Kohn-Sham models in a physically relevant screened-interaction setting. The extension to quasi-periodic moiré materials at generic angles is technically noteworthy and directly relevant to current experimental systems. The paper ships a complete mathematical argument rather than numerical evidence or parameter fitting.","major_comments":[],"minor_comments":[{"comment":"§2: the precise functional setting (e.g., the precise Sobolev or Besov space for the density) is introduced only after the statement of the main theorem; moving the definition earlier would improve readability.","section":null},{"comment":"The abstract and introduction refer to “some nonlinear Kohn-Sham DFT models” without naming the exchange-correlation functional; a short explicit list in the introduction would clarify the scope.","section":null},{"comment":"Notation for the screened kernel (Yukawa parameter) is introduced in §1 but reused with different symbols in the quasi-periodic section; a single consistent symbol would reduce confusion.","section":null}],"recommendation":"accept","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for their positive summary, significance assessment, and recommendation to accept the manuscript.","responses":[],"tokens_in":1069,"tokens_out":38,"duration_ms":4312,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main takeaway is a clean existence result for nonlinear Kohn-Sham DFT when conducting electrodes turn the Coulomb kernel into a Yukawa interaction. The result covers periodic cases like graphene and, more notably, quasi-periodic moiré systems at generic incommensurate twist angles.\n\nWhat is new is the combination of the screened interaction with a proof that works for those generic twists without forcing commensurability. Earlier well-posedness results in the literature have stayed with periodic settings; this one explicitly handles the incommensurate case that shows up in twisted bilayer graphene and similar devices.\n\nThe paper does the basic job of stating the model, the functional setting, and the existence claim in both geometries. The Yukawa screening simplifies some estimates compared with the bare Coulomb case, which probably makes the variational argument more straightforward.\n\nThe modeling choice of perfect-conductor electrodes with Dirichlet conditions is taken as given rather than derived from electrode physics, but the paper does not claim otherwise, so this is not a hidden gap. The abstract gives no indication of circularity or unfalsifiable steps; the claim is a direct existence statement.\n\nThis is for people working on the mathematical side of DFT for 2D materials and for computational groups that want a rigorous footing for their encapsulated-device calculations. A reader who needs to check whether the functional spaces and the quasi-periodic handling are handled correctly will get value from the full text.\n\nIt deserves a serious referee. The central claim is concrete enough to be reviewed on its own terms.","headline":"The paper proves well-posedness for Yukawa-screened Kohn-Sham models in both periodic 2D and generic incommensurate moiré geometries.","tokens_in":2187,"tokens_out":386,"would_cite":false,"duration_ms":15214,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Kohn-Sham DFT models for 2D materials between conducting electrodes are well-posed when the Coulomb interaction is screened to Yukawa type.","keywords":["Kohn-Sham DFT","two-dimensional materials","Yukawa interaction","well-posedness","periodic structures","quasi-periodic materials","twisted bilayer graphene","moiré materials"],"falsifier":"A concrete periodic or quasi-periodic density for which the associated Kohn-Sham energy functional has no minimizer under the Yukawa kernel would show the well-posedness claim is false.","tokens_in":2512,"feed_emoji":"","tokens_out":613,"duration_ms":13672,"temperature":0.7,"pith_summary":"The paper proves that certain nonlinear Kohn-Sham density functional theory models remain mathematically well-posed when two-dimensional materials sit between parallel conducting electrodes. The electrodes impose Dirichlet boundary conditions that replace the long-range Coulomb kernel with a short-range Yukawa interaction. The result covers both periodic cases such as graphene and quasi-periodic cases such as twisted bilayer graphene at generic incommensurate twist angles. A sympathetic reader would care because these models are routinely used to compute electronic structure in real encapsulated devices, and the proof removes the possibility that solutions simply fail to exist.","feed_headline":"Kohn-Sham models for encapsulated 2D materials are well-posed","feed_subtitle":"Proves existence of solutions for graphene and twisted bilayers when electrodes screen interactions to Yukawa range","key_machinery":"The Kohn-Sham energy functional minimized over admissible densities with the Yukawa kernel in place of the Coulomb kernel, subject to Dirichlet conditions in the transverse direction and periodic or quasi-periodic conditions in the plane.","core_discovery":"The nonlinear Kohn-Sham equations with the Yukawa interaction admit solutions in the appropriate function spaces both for periodic densities and for quasi-periodic densities at incommensurate angles.","pith_inferences":["If real electrodes have finite conductivity, the interaction range could deviate from pure Yukawa form and require separate analysis.","The same functional setting might allow well-posedness proofs for other two-dimensional materials such as transition-metal dichalcogenides in identical electrode geometry.","Numerical schemes for twisted bilayer graphene could be benchmarked against the existence result to check convergence."],"forward_implications":["Existence of ground-state densities is guaranteed for periodic structures such as graphene.","Existence is also guaranteed for quasi-periodic moiré structures at generic twist angles.","Standard numerical minimization procedures are justified because a minimizer is known to exist.","The models apply directly to encapsulated two-dimensional materials without additional regularization for long-range effects."],"fun_headline_variants":["Yukawa Kohn-Sham models well-posed for encapsulated 2D materials","Nonlinear Kohn-Sham DFT well-posed under Yukawa electrode screening","Well-posed solutions for periodic and quasi-periodic Yukawa Kohn-Sham models","Electrode screening makes Yukawa Kohn-Sham models well-posed for 2D materials","Kohn-Sham equations well-posed for 2D materials with Yukawa Coulomb screening"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The electrodes are modeled as perfect conductors imposing Dirichlet boundary conditions that exactly convert the Coulomb interaction into a Yukawa interaction.","fun_headline_variants_meta":{"raw":{"variants":["Yukawa Kohn-Sham models well-posed for encapsulated 2D materials","Nonlinear Kohn-Sham DFT well-posed under Yukawa electrode screening","Well-posed solutions for periodic and quasi-periodic Yukawa Kohn-Sham models","Electrode screening makes Yukawa Kohn-Sham models well-posed for 2D materials","Kohn-Sham equations well-posed for 2D materials with Yukawa Coulomb screening"]},"model":"grok-4.3","cost_usd":0.007602,"raw_usage":{"total_tokens":3398,"prompt_tokens":499,"num_sources_used":0,"completion_tokens":97,"cost_in_usd_ticks":76024500,"prompt_tokens_details":{"text_tokens":499,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":2802,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":499,"tokens_out":97,"duration_ms":17615,"temperature":1.0,"reasoning_tokens":2802,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-27T08:21:21.938016+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"A concrete periodic or quasi-periodic density for which the associated Kohn-Sham energy functional has no minimizer under the Yukawa kernel would show the well-posedness claim is false.","supporting_citations":[],"review_version":1}