{"id":"3b8571a7-be94-4ed1-81ef-208b0fe42a63","arxiv_id":"2508.18065","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"A spatial-convolution regularization of the Biot displacement is introduced, and existence of weak solutions is proven for each fixed regularization scale for a nonlinear moving-domain fluid-poroelastic interaction problem with direct contact.","lead":"This paper proves that a smoothed version of a moving-boundary fluid-poroelastic interaction problem always has a weak solution for a fixed smoothing scale. It provides the first existence framework for direct-contact fluid-poroelastic interaction with nonlinear geometric coupling.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 5.1's h-independent existence time is not proven: §5.2 estimates depend on h, Remark 5.2 is heuristic, and Proposition 6.1 assumes existence on [0,T], so Theorem 4.1's h→0 limit may lack a common time interval.","rationale":"The reader's weakest assumption focused on the δ-dependence of the existence time and the absence of δ→0 consistency; these are limitations of the theorem's interpretation but are honestly stated in the paper. The stress-test identified a more structural proof gap: the h-independent existence time claimed in Theorem 5.1 is not rigorously established, and the paper's own Remark 5.2 admits the discrete estimates depend on h, while Proposition 6.1 assumes the existence it is supposed to prove. This makes the h→0 limit passage—already labeled a sketch in Section 6.2—logically incomplete. The concern is load-bearing because Theorem 4.1 is the central claim and its proof ends with this limit. However, the gap may be fillable with standard continuation arguments or uniform-in-h discrete estimates, so the appropriate verdict remains CONDITIONAL rather than REJECT. The paper's overall structure, energy estimates, and compactness arguments are substantial and give a plausible route to a complete proof, which supports a conditional acceptance pending a rigorous h→0 passage.","tokens_in":69846,"tokens_out":10185,"duration_ms":97954,"concrete_test":"Provide a rigorous proof that the h-level regularized interface weak solutions exist on a common time interval: either (a) re-derive the uniform bounds in Proposition 6.1 directly for the semidiscrete scheme with constants independent of h, or (b) start from the local existence on [0,T_h] and use a standard continuation argument together with the h-uniform a priori bounds (95)-(96) to extend all solutions to a fixed [0,T]. If neither is possible, the h→0 limit in Theorem 4.1 has no common time interval and the theorem is unproved; if one succeeds, the circularity is resolved.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorem 4.1's proof passes to the limit h→0 in the plate-approximated problems. For this limit to be meaningful, all h-level solutions must exist on a common time interval [0,T] with T independent of h. This condition is asserted in Theorem 5.1 but not established. In the proof of Proposition 5.2, the geometric estimates (68)-(69) are obtained with constants that 'potentially depend on h' (stated explicitly in the text). Remark 5.2 acknowledges the dependence and claims it 'vanishes in the limit as N→∞ because the plate velocities coincide,' but no rigorous N→∞-uniform-in-h estimate is given; the passage N→∞ in Section 5.4 is performed for fixed h, so the limiting existence time may depend on h. Proposition 6.1 then states the desired h-independent existence time, but its proof begins by assuming the h-level solution already exists on [0,T] and derives bounds on that interval; it contains no continuation or bootstrap argument showing that local existence can be extended to a uniform T. Thus the uniformity of the existence time is circular. Without a common time interval, the subsequent compactness and limit passage in Section 6.2—which the paper itself labels a sketch and defers to Section 5.4 for the moving-domain test-function construction—cannot yield a solution on a fixed [0,T], and Theorem 4.1 is not proved.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript introduces a regularized interface method for a two-dimensional fluid-poroelastic structure interaction (FPSI) problem with nonlinear geometric coupling. The Biot displacement is regularized by spatial convolution at scale δ>0, and the resulting smooth displacement defines regularized moving fluid and Biot domains and a regularized interface. A modified weak formulation is proposed so that the energy structure of the original problem is preserved. The main result, Theorem 4.1, asserts that for each fixed δ>0 and for sufficiently regular initial data satisfying geometric nondegeneracy conditions on the regularized data, there exists a local-in-time regularized interface weak solution. The proof strategy approximates the direct-contact problem by inserting a thin viscoelastic plate of thickness h>0, proves existence for the plate problem via a Lie operator splitting scheme, and then passes to the limit h→0. Section 6 also sketches the passage through the h-level weak formulation to the limiting direct-contact formulation, while deferring the δ→0 consistency to a companion paper.","tokens_in":70161,"tokens_out":4486,"duration_ms":47082,"significance":"If fully established, this would be the first existence result for a direct-contact Biot-fluid FPSI problem with nonlinear geometric coupling and vector-valued bulk displacements. The regularized interface method is a plausible new tool for low-regularity moving-boundary problems, and the energy-consistent modification of the weak formulation is a thoughtful construction. The paper also provides detailed a priori estimates and compactness arguments for the splitting scheme. However, the proof as written has load-bearing gaps: the h-independent existence time is not rigorously established, and the key limit passages are either sketched or deferred to earlier works. The δ→0 consistency is explicitly left to a companion paper, so the present manuscript establishes existence only for each fixed regularization scale.","major_comments":[{"comment":"The claim in Theorem 5.1 that the existence time T is independent of the plate thickness h is not proved. In the proof of Proposition 5.2, the geometric estimate (69) is obtained with constants that are explicitly allowed to depend on h, and Remark 5.2 only asserts heuristically that this dependence disappears in the limit N→∞ because the plate velocities coincide. Since the passage N→∞ in Section 5.4 is performed for each fixed h, it cannot by itself produce a limiting existence time uniform in h. No N-uniform-in-h estimate is supplied, so the uniformity asserted in Theorem 5.1 remains unsupported.","section":"Section 5.2, Proposition 5.2 and Remark 5.2"},{"comment":"Proposition 6.1 is the only result that is supposed to provide a common time interval [0,T] for all h>0, but its proof assumes that the h-level solution already exists on [0,T] and then uses estimates on that interval, for example the bounds on ζ_h in (95) and the integration in (96). There is no continuation or bootstrap argument showing that the local existence time obtained for each fixed h can be extended uniformly in h. Consequently the proof of the common time interval is circular, and the compactness and limit passage as h→0 in Section 6 does not have a valid common time domain on which to work.","section":"Section 6.1, Proposition 6.1"},{"comment":"The limit passages that connect the approximate problems to the final regularized interface weak solution are not fully written. Section 6.2 explicitly says the proof of Theorem 4.1 is concluded 'by sketching' the h→0 limit, and it defers the construction of moving-domain test functions to Section 5.4, which in turn defers the N→∞ passage to Section 9.3 of [48]. Because the weak formulation contains nonlinear geometric terms on moving domains, these limit passages are load-bearing for the central existence claim. The manuscript should either provide complete arguments for both limits or clearly state Theorem 4.1 as conditional on those details.","section":"Section 6.2 and Section 5.4"}],"minor_comments":[{"comment":"The final sentence of Theorem 6.1 says the limiting solution is a regularized interface weak solution 'in the sense of Definition 5.1', but the limiting direct-contact problem is defined in Definition 4.3; this is likely a typo and should be corrected.","section":"Section 6.2, Theorem 6.1"},{"comment":"In the paragraph describing the energy estimate, the text refers to 'the regularized interface weak formulation (Definition 3.2)', but Definition 3.2 is the original, non-regularized fixed-domain formulation; the intended reference appears to be Definition 4.3.","section":"Section 4.3"},{"comment":"Remark 6.1 states that Proposition 6.1 'completes the proof of Theorem 5.1', but Proposition 6.1 assumes existence of the h-level solution on [0,T] and only derives uniform geometric bounds; as written, it cannot complete the existence proof, and the remark should be rephrased to avoid this apparent circularity.","section":"Section 6, Remark 6.1"}],"recommendation":"major_revision","confidential_remarks":"The manuscript presents an interesting and potentially significant framework, but the central existence theorem is not fully proved in the current text. The missing uniform-in-h existence time and the sketched h→0 and N→∞ limit passages are load-bearing; I would encourage the authors to supply a rigorous continuation argument and complete limit passages. The paper also depends heavily on the authors' prior results [47,48,57], and the δ→0 consistency is explicitly deferred, which is acceptable but should be stated prominently."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"You should know two things. First, this paper introduces something genuinely new: a spatially convolved regularized interface that lets the authors formulate and attack a direct-contact fluid-poroelastic interaction problem with nonlinear moving geometry and vector-valued Biot displacement. That is a real advance over the plate-regularized settings in their prior work, and the energy-consistent modification of the weak formulation is a clever, well-motivated construction. Second, the main theorem is not fully proved in this version. The gaps are specific and load-bearing, not cosmetic.\n\nWhat the paper does well: the regularized interface method is clearly explained, the weak formulation is set up carefully, and the paper is honest about what is deferred. The energy identity in Section 4.3 is a nice structural observation. The use of a thin plate approximation and Lie splitting is reasonable, and the authors correctly note that the vector-valued displacement feature is what the regularization buys them. The dependence on their earlier papers [47,48] is heavy but appropriate, since this is a continuation of a technical program.\n\nWhere the soft spots are: Theorem 5.1 asserts an existence time T independent of the plate thickness h, but the proof does not establish it. Proposition 5.2's geometric estimates have constants that may depend on h; Remark 5.2 says the dependence vanishes as N->8 because the plate velocities coincide, but the N->8 passage is performed for fixed h and no uniform-in-h estimate is supplied. Proposition 6.1 then assumes the h-level solution already exists on [0,T] and derives bounds on that interval; there is no continuation or bootstrap argument showing local existence extends to a uniform T. The stress-test concern holds up. On top of this, the h->0 limit passage in Section 6.2 is explicitly labeled a sketch and deferred to Section 5.4, which in turn defers the moving-domain test-function construction to Section 9.3 of [48]. The delta->0 consistency is promised for a companion paper, which is fine for the stated theorem but means the paper establishes existence for a regularized problem whose relation to the original problem is still conjectural.\n\nWho should read it: researchers working on weak solutions for moving-boundary FSI/FPSI, especially those interested in regularization strategies for low-regularity interfaces. They will find the method worth studying even though the proof is incomplete. The paper deserves a serious referee, but the referee should demand that the h-uniform time interval and the full h->0 limit be written out. As it stands, Theorem 4.1 should be treated as a conditional result.","headline":"First existence claim for direct-contact FPSI with nonlinear geometry and vector-valued displacements, but the h->0 limit is sketched and the h-uniform existence time is not established; worth serious refereeing, not acceptance as-is.","tokens_in":70692,"tokens_out":2024,"would_cite":false,"duration_ms":23667,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q30","74F10","76S05","35A01","74B20"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that, for each fixed smoothing scale $\\delta>0$, a direct-contact fluid–poroelastic interaction problem with a nonlinear moving interface admits a weak solution on some time interval, obtained by inserting a thin…","keywords":["fluid-poroelastic structure interaction","Biot equations","moving interface","weak solutions","regularized interface method","nonlinear geometric coupling","Navier-Stokes equations","operator splitting"],"falsifier":"For a fixed $\\delta>0$, produce admissible initial data satisfying the three non-degeneracy conditions whose regularized interface map $\\hat\\Phi_{\\Gamma}^{\\eta^\\delta}$ loses injectivity—say $|r'(z)|\\to0$ at some positive time—before the construction yields a weak solution; such finite-time self-intersection would contradict the claimed existence. A complementary diagnostic is to measure the maximal existence time $T(\\delta)$ as $\\delta\\to0$: shrinking $T(\\delta)$ would not refute the theorem, but would show the result does not reach the original problem.","tokens_in":69612,"feed_emoji":"🌊","tokens_out":12169,"duration_ms":123446,"temperature":0.7,"pith_summary":"This paper proves that a moving-boundary problem coupling an incompressible viscous fluid with a poroelastic solid—where the shared interface is defined by the solid's deformation—has a weak solution once the deformation is smoothed. The natural finite-energy deformation belongs only to $H^1$, too rough even to define the moving interface, and no existence theory existed for this nonlinearly coupled direct-contact problem. The regularized interface method replaces the poroelastic displacement by a spatial convolution $\\hat\\eta^\\delta$ at scale $\\delta>0$, uses it to define the moving domains and interface, and adjusts the weak formulation so the original energy identity is preserved. The main theorem states that for each fixed $\\delta>0$, under non-degeneracy conditions on the smoothed initial geometry, a regularized interface weak solution exists on a time interval $T$ that may depend on $\\delta$. This supplies the first existence framework for direct-contact fluid–poroelastic interaction with nonlinear geometric coupling, including vector-valued solid displacements.","feed_headline":"Nonlinear fluid-poroelastic moving interface gets weak existence proof","feed_subtitle":"Smoothing the structure displacement at scale δ lets the moving fluid–Biot interface support weak solutions.","key_machinery":"The regularized interface method: replace the $H^1$ Biot displacement $\\hat\\eta$ by its convolution $\\hat\\eta^\\delta=(E\\hat\\eta*\\varphi_\\delta)|_{\\hat\\Omega_b}$ with a mollifier of scale $\\delta$, define the moving Biot domain, fluid domain, and interface using $\\hat\\eta^\\delta$, and modify the weak formulation—for instance by testing with convolved test functions $\\hat\\psi^\\delta$ and using the regularized interface velocity $\\hat\\xi^\\delta$—so that the energy estimate is unchanged. The existence proof then runs on two approximation levels: a viscoelastic plate of thickness $h>0$ with displacement $\\omega\\in H^2(\\Gamma)$ regularizes the interface dynamics; Lie operator splitting separates the plate update from the fluid–Biot update; and compactness arguments on moving domains pass first $N\\to\\infty$, then $h\\to0$. The load-bearing identities are the coercivity of the semidiscrete bilinear form and the uniform geometric estimates ($\\det(I+\\nabla\\eta^\\delta)\\ge c$, $J_f^\\omega\\ge c$, $|r'|\\ge\\alpha$), which keep the moving maps injective and non-degenerate throughout the limit passages.","core_discovery":"The central claim is Theorem 4.1: for a purely poroelastic or poroviscoelastic Biot medium, given divergence-free $u_0\\in L^2(\\Omega_f(0))$, $\\hat\\eta_0\\in H^1(\\hat\\Omega_b)$, $\\hat\\xi_0\\in L^2(\\hat\\Omega_b)$, $\\hat p_0\\in L^2(\\hat\\Omega_b)$, and assuming three geometric non-degeneracy conditions on the regularized initial data ($\\det(I+\\nabla\\hat\\eta^\\delta_0)\\ge c>0$, $J_f^{\\omega_0}\\ge c>0$, $|r'(z)|\\ge\\alpha>0$), there exists $T>0$ and a regularized interface weak solution $(u,\\eta,p)$ in the sense of Definition 4.3. The proof is constructive: it inserts a thin viscoelastic plate of thickness $h>0$ at the interface, solves the time-discrete problem by Lie operator splitting into a plate subproblem and a fluid–Biot subproblem, passes to the limit $N\\to\\infty$, and then takes the singular limit $h\\to 0$ with uniform-in-$h$ compactness on moving domains. The $\\delta$-regularization is what makes the $h\\to0$ limit viable: without it the plate's higher interface regularity is scaled by powers of $h$ and vanishes, so uniform geometric control of the interface is lost. The same a priori energy estimate as the original problem holds, which is the paper's criterion for the regularization being faithful.","pith_inferences":["Read strictly, Theorem 4.1 is existence for a $\\delta$-regularized surrogate problem rather than for the original one: since $T$, the constants, and the non-degeneracy assumptions all depend on the fixed scale $\\delta$, the claim that the regularized problem approximates the physical problem rests entirely on the announced $\\delta\\to0$ consistency result.","The smoothing scale $\\delta$ functions as a geometric regularization length, so one would expect the maximal existence time $T(\\delta)$ to shrink as $\\delta\\to0$; a quantitative estimate of $T(\\delta)$ in terms of $\\delta$ would be a natural next result and would say how much the regularization costs.","The same two-step structure—convolve the structure displacement to define the geometry, then repair the weak formulation to preserve energy—should transfer to fluid–elastic bulk interaction and to three-dimensional problems, where vector-valued displacements cause the same injectivity barrier.","A numerical consequence worth testing: any discretization of the Lie-splitting scheme that preserves the regularized weak formulation should be energy-stable uniformly in the plate thickness $h$, and the geometric non-degeneracy constants should degrade like a controlled function of $T$ and $\\delta$."],"forward_implications":["For every fixed $\\delta>0$, a direct-contact fluid–poroelastic problem with nonlinear geometric coupling has a weak solution, for both poroelastic and poroviscoelastic Biot media, with no plate or artificial mass left in the limiting problem.","The existence time and geometric safety margins of the $h$-plate approximations are independent of $h$, so the singular limit $h\\to0$ can be taken on a common time interval that depends only on $\\delta$ and the initial data.","Every regularized solution obeys the same a priori energy identity and dissipation structure as the formally derived original problem, which is the paper's notion of a consistent regularization.","Because the smoothed displacement is smooth enough to control injectivity in time, vector-valued structural displacements become tractable, going beyond the scalar transverse displacement assumptions common in weak fluid-structure theory.","The construction is modular and constructive: at each time step the plate update and the fluid–Biot update are solved separately, so the scheme is directly amenable to numerical operator-splitting implementations."],"supporting_citations":[{"why":"Establishes existence for the plate-separated FPSI problem with nonlinear geometric coupling; supplies the h>0 approximate problem and the template for its weak formulation.","marker":"[48]"},{"why":"Introduces the regularized weak formulation for FPSI with a poroelastic plate; the energy-consistency idea is extended here to a regularized interface.","marker":"[47]"},{"why":"Proposes the Lie operator splitting approach used to construct time-discrete approximate solutions.","marker":"[57]"},{"why":"Provides the compactness lemma for functions on moving domains used to pass limits as N tends to infinity and as h tends to zero.","marker":"[62]"},{"why":"Proves strong and weak well-posedness for a direct-contact Biot-fluid problem with linear coupling; the present nonlinear moving-domain result extends this direct-contact line.","marker":"[3]"},{"why":"Establishes uniqueness of weak solutions for a Biot-Stokes direct-contact problem, marking the benchmark that this paper generalizes to nonlinear moving geometry.","marker":"[4]"},{"why":"Supplies the Piola-transform identities and the injectivity theorem used to control Lagrangian and ALE maps.","marker":"[31]"},{"why":"Provides elliptic regularity estimates for the harmonic ALE map that control the fluid-domain geometry.","marker":"[42]"},{"why":"Supplies the compactness criterion for piecewise-constant time-discrete functions used in the pore-pressure and velocity limits.","marker":"[34]"},{"why":"Provides the fractional-Sobolev compact embedding used for the h-to-zero compactness arguments.","marker":"[36]"}],"fun_headline_variants":["Weak solutions proven for nonlinear fluid-Biot moving interface via regularization","Convolution smoothing unlocks weak solutions for fluid-poroelastic moving interface","First existence proof for nonlinear fluid-poroelastic moving interface","Regularized interface tames nonlinear fluid-poroelastic moving boundary","Smoothing Biot displacement yields weak solutions for moving interface"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The theorem requires the three geometric non-degeneracy bounds to hold for the smoothed initial data and allows the existence time and all constants to depend on the smoothing scale $\\delta$; it proves no $\\delta$-uniform bounds and no convergence as $\\delta\\to0$, so the unsmoothed, original problem is not yet covered.","fun_headline_variants_meta":{"raw":{"variants":["Weak solutions proven for nonlinear fluid-Biot moving interface via regularization","Convolution smoothing unlocks weak solutions for fluid-poroelastic moving interface","First existence proof for nonlinear fluid-poroelastic moving interface","Regularized interface tames nonlinear fluid-poroelastic moving boundary","Smoothing Biot displacement yields weak solutions for moving interface"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00102,"raw_usage":{"total_tokens":4424,"prompt_tokens":1189,"completion_tokens":3235,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":805,"completion_tokens_details":{"reasoning_tokens":3146}},"tokens_in":805,"tokens_out":3235,"duration_ms":24650,"temperature":1.0,"reasoning_tokens":3146,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T16:57:18.195378+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For a fixed $\\delta>0$, produce admissible initial data satisfying the three non-degeneracy conditions whose regularized interface map $\\hat\\Phi_{\\Gamma}^{\\eta^\\delta}$ loses injectivity—say $|r'(z)|\\to0$ at some positive time—before the construction yields a weak solution; such finite-time self-intersection would contradict the claimed existence. A complementary diagnostic is to measure the maximal existence time $T(\\delta)$ as $\\delta\\to0$: shrinking $T(\\delta)$ would not refute the theorem, but would show the result does not reach the original problem.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Establishes existence for the plate-separated FPSI problem with nonlinear geometric coupling; supplies the h>0 approximate problem and the template for its weak formulation."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces the regularized weak formulation for FPSI with a poroelastic plate; the energy-consistency idea is extended here to a regularized interface."},{"cited_title":"Muha and S","cited_arxiv_id":null,"evidence_quote":"Proposes the Lie operator splitting approach used to construct time-discrete approximate solutions."},{"cited_title":"Muha and S","cited_arxiv_id":null,"evidence_quote":"Provides the compactness lemma for functions on moving domains used to pass limits as N tends to infinity and as h tends to zero."},{"cited_title":"Avalos, E","cited_arxiv_id":null,"evidence_quote":"Proves strong and weak well-posedness for a direct-contact Biot-fluid problem with linear coupling; the present nonlinear moving-domain result extends this direct-contact line."},{"cited_title":"Uniqueness of Weak Solutions for Biot-Stokes Interactions","cited_arxiv_id":"2502.07061","evidence_quote":"Establishes uniqueness of weak solutions for a Biot-Stokes direct-contact problem, marking the benchmark that this paper generalizes to nonlinear moving geometry."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the Piola-transform identities and the injectivity theorem used to control Lagrangian and ALE maps."},{"cited_title":"Grisvard","cited_arxiv_id":null,"evidence_quote":"Provides elliptic regularity estimates for the harmonic ALE map that control the fluid-domain geometry."},{"cited_title":"Dreher and A","cited_arxiv_id":null,"evidence_quote":"Supplies the compactness criterion for piecewise-constant time-discrete functions used in the pore-pressure and velocity limits."},{"cited_title":"Flandoli and D","cited_arxiv_id":null,"evidence_quote":"Provides the fractional-Sobolev compact embedding used for the h-to-zero compactness arguments."}],"review_version":2}