{"id":"f3071e1f-26ea-473a-b442-38007771f901","arxiv_id":"2604.19843","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"MH-PINN compactifies unbounded domains with mapping and enforces wave boundary conditions through network architecture for efficient, accurate simulations.","lead":"This paper introduces a Mapping-based Hard-constrained Physics-Informed Neural Network (MH-PINN) that compactifies infinite domains via coordinate mapping and uses a hard-constrained network to satisfy boundary and radiation conditions for wave problems. It targets efficiency gains in acoustic and elastic simulations by avoiding artificial boundaries and boundary loss terms.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.3","headline":"Inverse factor correction for asymptotic boundary coefficients lacks explicit verification that it preserves exact far-field radiation in mapped coordinates for general geometries.","rationale":"The reader's weakest assumption directly identifies the same point: correctness of the mapping-plus-correction step for arbitrary geometries. Full text availability does not remove the need for an explicit check that the hard constraint remains exact post-mapping; numerical examples alone cannot substitute for this verification when the claim is geometric generality.","tokens_in":1675,"tokens_out":347,"duration_ms":24103,"concrete_test":"Take the 2D acoustic scattering example with known exact solution (e.g., plane-wave scattering by a unit circle). After training, evaluate the residual of the Sommerfeld radiation condition on a large circle (r=100) in the original coordinates by transforming the network output back; compare the L2 residual against the analytic decay rate. If the residual fails to decrease proportionally to network capacity or remains above 1e-3, the correction does not enforce the far-field condition exactly.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central claim requires that the hard-constrained architecture plus inverse factor correction exactly enforces the Sommerfeld (or equivalent) radiation condition after compactification, without residual mapping-induced phase or amplitude errors. The abstract and method description indicate this correction is introduced to handle asymptotic factors, yet the construction appears to rely on a specific functional form whose derivation is not shown to be geometry-independent or to commute with the coordinate transformation for arbitrary scatterers. If the correction is only approximate or tuned per example, the elimination of boundary loss terms does not guarantee satisfaction of the unbounded condition, undermining both accuracy claims and the asserted geometric adaptability.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript introduces the Mapping-based Hard-constrained Physics-Informed Neural Network (MH-PINN) for unbounded wave problems. It proposes a coordinate mapping to compactify the infinite physical domain into a finite computational domain, a physics-based hard-constrained network architecture that exactly satisfies inner boundary conditions and far-field radiation conditions (eliminating boundary loss terms), and an inverse factor correction for boundary coefficients to handle asymptotic factors and enable geometric adaptability. These are demonstrated through numerical examples on acoustic radiation/scattering and elastic dynamics problems, with claims of improved efficiency and accuracy over standard approaches.","tokens_in":1795,"tokens_out":623,"duration_ms":34760,"significance":"If the central claims are verified with quantitative evidence, the method could provide a notable advance for PINN-based solvers of unbounded wave problems by removing artificial truncation and boundary-loss penalties while enforcing radiation conditions exactly, potentially improving convergence for high-frequency cases and extending applicability to complex geometries without per-problem tuning.","major_comments":[{"comment":"Abstract and Method section: the claim that the hard-constrained architecture plus inverse factor correction exactly enforces the Sommerfeld (or equivalent) radiation condition after compactification is load-bearing for the elimination of boundary loss terms, yet no derivation or explicit verification is provided that the correction preserves exact far-field behavior in mapped coordinates for general (non-spherical) geometries or commutes with the coordinate transformation without introducing phase/amplitude errors.","section":"Abstract and Method"},{"comment":"Numerical Examples section: the abstract asserts accuracy and efficiency via numerical examples, but the description provides no quantitative error metrics (e.g., L2 or relative errors against analytic solutions), baseline comparisons (e.g., to standard PINNs, FEM with PML, or other mapping methods), or convergence studies with respect to frequency or network size, leaving the central performance claims without substantiation.","section":"Numerical Examples"},{"comment":"Method section on coordinate mapping: the construction of the mapping for arbitrary scatterer geometries and its interaction with the hard constraints and inverse correction are not shown to be free of mapping-induced errors in the far field; this is required to support the asserted geometric adaptability and exact satisfaction of unbounded conditions.","section":"Method"}],"minor_comments":[{"comment":"The abstract would benefit from explicitly naming the governing equations (e.g., Helmholtz or time-harmonic elastic wave equation) and the precise form of the far-field condition being enforced.","section":"Abstract"},{"comment":"Notation for the inverse factor correction and the mapped coordinates could be clarified with an explicit equation or diagram to aid reproducibility.","section":"Method"}],"recommendation":"major_revision","confidential_remarks":"The work fits the scope of math.NA, but the absence of quantitative verification and derivation details in the manuscript as described suggests the editor should request supplementary material containing the missing derivations, error tables, and code for the numerical examples before further review."},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the constructive and detailed comments. We address each major point below and will revise the manuscript accordingly to strengthen the derivations, quantitative validations, and methodological details.","responses":[{"response":"We agree that an explicit derivation is necessary to rigorously support the exact enforcement claim. In the revised manuscript, we will add a dedicated derivation subsection in the Method section. This will mathematically show that the inverse factor correction preserves the Sommerfeld condition in mapped coordinates, commutes with the transformation without phase/amplitude errors, and holds for general (non-spherical) geometries, including supporting analysis and verification steps.","revision_made":"yes","referee_comment":"[Abstract and Method] Abstract and Method section: the claim that the hard-constrained architecture plus inverse factor correction exactly enforces the Sommerfeld (or equivalent) radiation condition after compactification is load-bearing for the elimination of boundary loss terms, yet no derivation or explicit verification is provided that the correction preserves exact far-field behavior in mapped coordinates for general (non-spherical) geometries or commutes with the coordinate transformation without introducing phase/amplitude errors."},{"response":"We acknowledge that the current numerical examples lack sufficient quantitative substantiation. We will revise this section to include L2 and relative error metrics against analytic solutions, direct baseline comparisons to standard PINNs and FEM with PML (and other mapping approaches where relevant), and convergence studies with respect to frequency and network size. These additions will directly support the efficiency and accuracy claims.","revision_made":"yes","referee_comment":"[Numerical Examples] Numerical Examples section: the abstract asserts accuracy and efficiency via numerical examples, but the description provides no quantitative error metrics (e.g., L2 or relative errors against analytic solutions), baseline comparisons (e.g., to standard PINNs, FEM with PML, or other mapping methods), or convergence studies with respect to frequency or network size, leaving the central performance claims without substantiation."},{"response":"We will expand the Method section with a detailed exposition of the coordinate mapping construction for arbitrary scatterer geometries. We will explicitly analyze and demonstrate its interaction with the hard constraints and inverse correction, including proofs and tests confirming the absence of mapping-induced far-field errors. This will bolster the claims of geometric adaptability and exact unbounded condition satisfaction.","revision_made":"yes","referee_comment":"[Method] Method section on coordinate mapping: the construction of the mapping for arbitrary scatterer geometries and its interaction with the hard constraints and inverse correction are not shown to be free of mapping-induced errors in the far field; this is required to support the asserted geometric adaptability and exact satisfaction of unbounded conditions."}],"tokens_in":1415,"tokens_out":571,"duration_ms":27020,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main move here is a coordinate mapping that squeezes the infinite physical domain into a finite computational one, combined with a network structure that bakes in the inner boundary conditions and the far-field radiation condition by construction. This removes the usual boundary loss terms, which the authors argue helps convergence on high-frequency unbounded wave problems in acoustics and elastodynamics. They also add an inverse factor correction on the boundary coefficients to account for asymptotic factors after mapping, claiming this makes the method adaptable to different geometries without PML-style truncation errors. Numerical examples on radiation, scattering, and elastic cases are included to illustrate the workflow. That combination of mapping plus hard constraints is the concrete addition over standard PINNs. The examples show the method running on relevant problems, and skipping boundary losses is a practical step that could reduce training cost. The soft spot is the correction term. The description introduces it to handle asymptotic factors, yet there is no explicit check that the mapped radiation condition remains exact for arbitrary scatterers or that the correction commutes with the transformation without introducing phase or amplitude residuals. If the construction is example-specific rather than general, the claim of exact enforcement weakens. The abstract asserts accuracy and efficiency, but without detailed error tables or baseline comparisons in the results, it is hard to judge how well the claims hold. This is for readers already working on PINN variants for wave problems who want ideas on domain handling and constraint design. Someone focused on computational acoustics or elastodynamics might pick up the mapping trick even if the correction needs more scrutiny. Send it for peer review. The core idea targets a real limitation in current PINN practice for unbounded domains, and referees can test the generality of the far-field enforcement directly.","headline":"MH-PINN maps the domain and hard-constrains both inner boundaries and radiation conditions to drop those loss terms, but the inverse factor correction for asymptotic behavior is not shown to hold exactly across general geometries.","tokens_in":2261,"tokens_out":424,"would_cite":false,"duration_ms":30514,"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":"A coordinate mapping combined with hard physics constraints lets neural networks solve wave problems over infinite domains without boundary loss terms or artificial truncation.","keywords":["physics-informed neural networks","unbounded domains","wave propagation","coordinate mapping","hard constraints","acoustic scattering","elastic waves","far-field radiation"],"falsifier":"Run MH-PINN on a canonical unbounded problem such as plane-wave scattering by a sphere or cylinder for which an exact series solution is known, then check whether the computed far-field pattern matches the analytic result to within a small tolerance at large distances when no boundary loss is used.","tokens_in":2587,"feed_emoji":"🌊","tokens_out":657,"duration_ms":24962,"temperature":0.7,"pith_summary":"The paper presents MH-PINN as a way to handle wave equations that extend to infinity, where standard neural networks struggle with sampling and convergence. A coordinate transformation shrinks the infinite physical space into a finite computational box, removing the need for artificial outer boundaries like perfectly matched layers. Inside this mapped domain the network is structured so that inner boundary conditions and far-field radiation conditions are satisfied exactly by construction, eliminating separate boundary loss terms. The resulting method shows fast convergence on high-frequency acoustic radiation, scattering, and elastic problems while remaining adaptable to different geometries through an inverse factor correction on boundary coefficients.","feed_headline":"Mapped PINNs solve infinite wave problems without boundary losses","feed_subtitle":"Coordinate compactification plus hard constraints remove truncation errors and loss terms for acoustic and elastic waves.","key_machinery":"Coordinate mapping that compactifies the infinite domain together with a physics-based hard-constrained network structure that enforces inner boundary and far-field radiation conditions by architecture.","core_discovery":"The MH-PINN compactifies an unbounded physical domain into a finite computational domain via coordinate mapping and embeds the governing physics into a hard-constrained network architecture that automatically satisfies both the inner boundary conditions and the far-field radiation conditions, thereby removing all boundary loss terms and the associated truncation errors.","pith_inferences":["The same mapping-plus-hard-constraint idea could be tested on other unbounded PDEs such as electromagnetic or fluid problems.","Real-time engineering simulations over infinite domains become more feasible if the training cost stays low.","Accuracy on highly irregular or multiply-connected geometries would test the limits of the current mapping choice.","Coupling the mapped network with time-stepping schemes could extend the method to transient unbounded waves."],"forward_implications":["High-frequency wave problems converge faster because boundary loss terms are removed.","The method applies directly to acoustic radiation, scattering, and elastic wave problems without domain truncation.","Geometric adaptability is achieved through the inverse factor correction on boundary coefficients.","Artificial truncation errors from perfectly matched layers or other outer boundary treatments are avoided.","The approach yields both efficiency gains and exact satisfaction of radiation conditions at infinity."],"fun_headline_variants":["Mapping compactifies infinite waves into finite PINN domains","Hard-constrained PINNs avoid boundary losses via domain mapping","MH-PINN embeds radiation conditions directly into network structure","Coordinate mapping resolves sampling for unbounded wave PINNs"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The chosen coordinate mapping and inverse factor correction will correctly capture asymptotic factors and far-field behavior for arbitrary geometries without introducing significant mapping-induced errors.","fun_headline_variants_meta":{"raw":{"variants":["Mapping compactifies infinite waves into finite PINN domains","Hard-constrained PINNs avoid boundary losses via domain mapping","MH-PINN embeds radiation conditions directly into network structure","Coordinate mapping resolves sampling for unbounded wave PINNs"]},"model":"grok-4.3","cost_usd":0.00842,"raw_usage":{"total_tokens":3780,"prompt_tokens":609,"num_sources_used":0,"completion_tokens":61,"cost_in_usd_ticks":84199500,"prompt_tokens_details":{"text_tokens":609,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":3110,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":609,"tokens_out":61,"duration_ms":36930,"temperature":1.0,"reasoning_tokens":3110,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-05-10T02:08:22.263500+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"Run MH-PINN on a canonical unbounded problem such as plane-wave scattering by a sphere or cylinder for which an exact series solution is known, then check whether the computed far-field pattern matches the analytic result to within a small tolerance at large distances when no boundary loss is used.","supporting_citations":[],"review_version":1}