https://arxiv.org/api/DKHBYdQNGGyiWiTLNip4g/8Q5+0 2026-06-10T12:42:20Z 10652 225 15 http://arxiv.org/abs/2605.19536v1 2026-05-19T08:37:15Z

In continuum topology optimization (TO), two essential procedures are involved: structural analysis through the solution of partial differential equations (PDEs) and the subsequent update of design variables. Both procedures can be addressed by training neural networks using the corresponding physical information. Accordingly, Physics-Informed Neural Network (PINN)-based algorithms have been developed for TO. However, PINN-based methods suffer from several notable limitations, including high computational cost, spectral bias, and limited adaptability in solving PDEs.To overcome these challenges, this study proposes a novel algorithm that incorporates two Higher-Order ReLU-based Kolmogorov-Arnold Networks (HRKANs). Specifically, a displacement-informed HRKAN (d-HRKAN) is designed to predict PDE solutions, while a sensitivity-informed HRKAN (s-HRKAN) is developed to perform sensitivity analysis for updating design variables. For convenience, the proposed approach is referred to as the Dual Physics-Informed Kolmogorov-Arnold Networks-based Topology Optimization (DPIKAN-TO) method. By leveraging learnable activation functions, the proposed neural networks can accurately approximate the responses of complex structural systems. Moreover, compared with conventional PINN-based methods, DPIKAN-TO demonstrates significantly improved computational efficiency and reduced computational cost. Numerical examples show that DPIKAN-TO can successfully identify optimal material layouts for linear structures, compliant mechanisms, and fluid-solid coupled systems. Furthermore, owing to the use of learnable activation functions, the proposed framework can be readily extended to structural optimization problems governed by new types of PDEs.

2026-05-19T08:37:15Z 52pages, 21figures Junyuan Zhang Jing Cao Abdullah Dawar Kun Cai Qinghua Qin http://arxiv.org/abs/2605.08659v3 2026-05-19T08:15:11Z

Biomolecular generators are often adapted with reward feedback to improve task-specific utility, but pushing utility alone can concentrate generation on a narrow family of candidates. Maintaining diversity is difficult because sample diversity is a set-level property. We introduce Supergroup Relative Policy Optimization (SGRPO), a flexible GRPO-style framework that directly constructs rewards from set-level diversity. For each condition, SGRPO samples a supergroup of candidate sets, compares their diversity under the same condition, and redistributes the group diversity reward to individual rollouts through leave-one-out diversity contributions before combining it with rollout-level utility. This design decouples SGRPO from a particular generator, utility reward, or diversity metric, and allows instantiation with different GRPO-style approaches. We evaluate SGRPO on de novo small-molecule design, pocket-based small-molecule design, and de novo protein design, instantiating it with both GRPO and Coupled-GRPO across autoregressive and discrete diffusion generators. Across decoding sweeps, SGRPO expands the utility-diversity Pareto frontier and achieves the best frontier-level metrics relative to pretrained generators, GRPO, and memory-assisted GRPO when applicable. Our analyses further show that direct set-level diversity rewards remain effective with small groups and help preserve broader generation-distribution coverage during post-training. The code is available at https://github.com/IDEA-XL/SGRPO.

2026-05-09T03:55:15Z Xinwu Ye He Cao Hao Li Bin Feng Zijing Liu Xiangru Tang Yu Li Shenghua Gao http://arxiv.org/abs/2605.19492v1 2026-05-19T07:47:48Z

In the context of building acoustics, sound transmission loss estimations are crucial to quantify the noise pollution in buildings. When developing building prototypes in the sense of an acoustic-oriented design process, it is desirable to have an virtual prototype, especially in early development stages, to estimate, for instance, the influence of different material or geometry configurations on to the sound transmission loss. This contribution aims to present a simple virtual prototype of an building acoustics test facility in accordance with DIN EN ISO 10140 for the measurement of the sound transmission loss of single- and double-leaf walls with and without insulation. Here, the finite element method is used as the numerical modelling method of choice. In the course of this, geometry and mesh creation was done using SALOME 9.14 whereas the institute's in-house research code elPaSo was utilised for the matrix assembly and solving procedure. At first, elPaSo was verified by the commercial software COMSOL 6.3 considering a small-scale test facility. Afterwards, the large-scale test facility finite element model was created using a frequency- and domain-specific discretisation approach. The sound transmission loss of three different test specimens was estimated in one-third-octave bands from 8 Hz to 630 Hz, where the double-leaf wall with insulation exhibited good agreement to the theoretical sound transmission loss profile from literature.

2026-05-19T07:47:48Z 29 pages, 19 figures, submitted to Acta Acustica (under review) Sebastian Schmidt Sabine C. Langer http://arxiv.org/abs/2605.28858v1 2026-05-19T07:38:50Z

This work presents an end-to-end strategy for solving inverse problems constrained by Partial Differential Equations within a fully differentiable Machine Learning framework. The proposed formulation provides a unified and user-friendly methodology applicable to a wide range of problems, from data assimilation to closure modeling. Our approach combines a baseline differentiable PDE solver, which predicts the state w from the nonlinear system $R(w) = 0$, with a generic additive, parametrized, and differentiable correction $f_φ(w)$, with trainable parameters $φ$. We show how to optimize phi within a fully differentiable Python workflow by reformulating the PDE as an implicit layer, enabling its integration into arbitrary objective functions, while leveraging PyTorch's automatic differentiation graph. The method is demonstrated on the Reynolds-Averaged Navier-Stokes equations for compressible flows, where the closure term, or a portion of it, is modeled using trainable parameters or a Neural Network. The first application considers the 2D NASA Wall-Mounted Hump test case, where a production-term parameter is optimized against time-averaged LES data. A second application is carried out on the VKI LS-59 turbine blade, where the Spalart-Allmaras eddy viscosity field is reconstructed through the optimization of a trainable spatial field. A dataset is generated starting from the VKI LS-59 turbine blade geometry using the differentiable BROADCAST solver with the Spalart-Allmaras turbulence model. The results highlight the flexibility of the framework, showing its applicability beyond turbulence modeling to a broader class of physics-informed PDE-constrained problems with data-driven components.

2026-05-19T07:38:50Z Luca Saverio MONHADE Michele Alessandro Bucci MONHADE Gianmarco Farro MONHADE Cédric Content MONHADE Denis Sipp MONHADE http://arxiv.org/abs/2605.28857v1 2026-05-19T05:56:58Z

Compliance minimization is a central objective in structural topology optimization, commonly interpreted as the total strain energy of a system. In this work, we examine the influence of alternative compliance formulations based on different norm representations of structural energy. Specifically, we consider three formulations: the classical quadratic compliance, its square-root form corresponding to an l2 norm, and a spectral l1 -norm based formulation derived from the stiffness weighted displacement field. Although these formulations arise from the same stiffness displacement relationship, they generate markedly different optimization landscapes and result in distinct structural topologies. Numerical results indicate that the classical formulation produces well-distributed load paths, whereas the l1 -based formulation promotes sparse and highly localized structural members. These findings underscore the critical role of objective function selection in topology optimization and offer insights into alternative formulations for achieving tailored structural performance.

2026-05-19T05:56:58Z Jyotiranjan Nayak Shafeequdheen P Vijayakrishna Rowthu http://arxiv.org/abs/2606.00057v1 2026-05-19T05:23:54Z

Public transportation (PT) agencies generate vast amounts of heterogeneous data from automatic fare collection (AFC), automatic passenger counting (APC), vehicle location (AVL/CAD), schedule and real-time feeds (GTFS/GTFS-RT), and proprietary platforms. These datasets offer unprecedented opportunities for data-driven planning, operations, and passenger services, but their potential is constrained by fragmentation, inconsistent update frequencies, and the lack of reproducible, interoperable pipelines. While contemporary data platform patterns and architectural styles from enterprise computing address analogous challenges in other sectors, their adaptation to the PT domain remains mostly underexplored. Transit systems present unique conditions, including the convergence of Information Technology (IT) and Operational Technology (OT), long asset lifecycles, rigorous security requirements, multi-agency coordination requirements, and the need to operate on live systems that preclude controlled experimentation.

2026-05-19T05:23:54Z Diego Da Silva Raphael Y. de Camargo Mayuri A. Morais Amer Shalaby http://arxiv.org/abs/2605.21522v1 2026-05-19T04:14:06Z

Protein-protein interactions (PPIs) govern nearly all cellular processes, yet computational methods for identifying binding partners typically produce ranked predictions without mechanistic justification. This creates a fundamental barrier to adoption because biologists cannot assess whether predictions reflect genuine biochemical insight or spurious correlations. We present \textbf{Protein Thoughts}, a framework that reformulates PPI discovery as an interpretable search problem with explicit reasoning. The system decomposes binding evidence into four biologically meaningful signals: sequence similarity reflecting evolutionary relationships, structural complementarity capturing geometric fit, interface balance, and chemical compatibility encoding residue-level interactions. Rather than collapsing these signals into an opaque score, we preserve their individual contributions through a transparent value function that enables both ranking and auditing. To navigate large candidate spaces efficiently, we introduce hypothesis-guided entropy-regularized Tree-of-Thoughts search. A fine-tuned language model generates search directives from embedding-derived features, classifying candidates as high-priority, exploratory, or skippable. These directives condition a Boltzmann policy that balances exploitation with entropy-driven exploration, while hypothesis-aware pruning prevents premature abandonment of promising candidates. For candidates exhibiting score disagreement, hypothesis-conditioned embedding-space flow matching transports protein embeddings toward the binder manifold. On the SHS148k benchmark, Protein Thoughts achieves mean best-binder rank of 11.2 versus 47.7 for an entropic tree search baseline, a 76% improvement, and for binding prediction the trained value function achieves $91.08 \pm 0.19$ Micro-F1, outperforming existing PPI methods on the same dataset.

2026-05-19T04:14:06Z Kingsley Yeon Xuefeng Liu Promit Ghosal http://arxiv.org/abs/2510.08986v3 2026-05-18T22:12:24Z

We introduce CAPC-CG, the Chinese Adaptive Policy Communication (Central Government) Corpus, the first open dataset of Chinese policy directives annotated with a five-color taxonomy of clear and ambiguous language categories, building on Ang's theory of adaptive policy communication. Spanning 1949-2023, this corpus includes national laws, administrative regulations, and ministerial rules issued by China's top authorities. Each document is segmented into paragraphs, producing a total of 3.3 million units. Alongside the corpus, we release comprehensive metadata, a two-round labeling framework, and a gold-standard annotation set developed by expert and trained coders. Inter-annotator agreement achieves a Fleiss's kappa of K = 0.86 on directive labels, indicating high reliability for supervised modeling. We provide baseline classification results with several large language models (LLMs), together with our annotation codebook, and describe patterns from the dataset. This release aims to support downstream tasks and multilingual NLP research in policy communication.

2025-10-10T04:11:57Z Accepted for publication in the Proceedings of ACL Main 2026 Bolun Sun Charles Chang Yuen Yuen Ang Ruotong Mu Yuchen Xu Zhengxin Zhang Pingxu Hao http://arxiv.org/abs/2605.19146v1 2026-05-18T21:56:19Z

Financial options are fundamental to traditional markets, enabling strategies ranging from hedging to speculating. Yet, while the Automated Market Maker paradigm has revolutionized decentralized spot markets, no equivalent standard has emerged for on-chain options. Typical designs attempt to replicate centralized exchange mechanics, requiring high-frequency oracles and robust liquidation engines which may fail during stress events. This paper presents a design for amortizing perpetual options tailored to the operational and adversarial constraints of blockchain environments. Leveraging this primitive, we introduce a decentralized market framework with minimal consistency requirements. We demonstrate that this contract functions as a foundational risk primitive for DeFi, enabling applications such as endogenous collateralization and explicitly priced de-peg insurance, thereby showing that this design provides a layer for mutualizing tail risk across protocols without reliance on centralized clearing institutions.

2026-05-18T21:56:19Z Maxim Bichuch Zachary Feinstein http://arxiv.org/abs/2606.00056v1 2026-05-18T21:25:56Z

This study develops a dimensionless multi-domain physics-informed neural network (PINN) framework for electro-osmotic radial consolidation considering smear effects and combined vacuum and surcharge loading. Three PINN-based models are investigated: a standard soft-constrained PINN (Std-PINN), a modified gated PINN (Mod-PINN), and a modified gated PINN with hard-constraint boundary encoding (Mod-HC-PINN). The models are evaluated against FEM reference solutions under four loading cases, including constant vacuum, exponential vacuum, exponential vacuum with ramp surcharge, and exponential vacuum with cyclic haversine surcharge. The results indicate that the gated architecture applied in Mod-PINN improves the resolution of steep pressure gradients near the cathode and smear-zone interface under constant vacuum loading. Under time-dependent loading, the soft-constrained Mod-PINN shows reduced accuracy because it must learn multiple competing objectives simultaneously. The Mod-HC-PINN mitigates this issue by embedding the cathode boundary and initial conditions into the output structure, thereby reducing the optimization burden and improving physical consistency. The Mod-HC-PINN achieves MAE values of 0.43, 0.41, and 0.27 kPa for the exponential vacuum, ramp surcharge, and cyclic surcharge cases, respectively. Sensitivity analyses further demonstrate that the proposed framework remains robust across practical ranges of network architecture, collocation density, and permeability contrast.

2026-05-18T21:25:56Z Dong Li Yapeng Cao Shuai Huang Yujun Cui Haiping Fu Lu Yang He Wei http://arxiv.org/abs/2605.19110v1 2026-05-18T20:55:40Z

This paper studies whether multimodal large language models (LLMs) can serve as inspectable spatial proposal modules for stress-aware topology optimization. IterSIMP-σ keeps the SIMP optimizer as a compliance-minimizing finite-element solver and places a deterministic stress pass, gate evaluator, and hybrid LLM/rule interpreter around it. After each solve, density and von Mises stress fields are rendered; the interpreter proposes ranked spatial interventions; and deterministic safeguards accept, reject, or stop each action. The main action is a soft density seed, where selected elements are initialized at elevated density before the next solve but remain free under the optimality-criteria update. We evaluate the loop on a 16-problem 2D controller-policy benchmark, a six-problem exploratory 3D extension, passive-solid and input ablations, stress-threshold sensitivity, and a fixed-volume attribution study comparing LLM proposals with deterministic max-stress hotspot seeding, random stress-region seeding, and rule-based control. The 2D controller-policy benchmark shows a small retained-compliance difference (1.9% lower geometric mean for the soft-seed LLM), but this diagnostic is not statistically significant (W = 33, two-sided p = 0.382) and is not a fixed-volume feasible-final comparison. In the fixed-volume study, the LLM condition completed 44/48 attempted evaluations; 25/44 completed evaluations produced all-gate-passing retained states. Feasible-final scoring against rule-based control is split 4/4/1, and deterministic exact-hotspot seeding remains competitive. Accepted LLM spatial actions with per-step records have mean normalized seed-to-hotspot distance 0.221. The results support IterSIMP-σ as an inspectable LLM-assisted design-automation framework for spatial interventions, not yet as evidence that LLM visual reasoning improves stress-constrained optimization.

2026-05-18T20:55:40Z 44 pages, 19 figures, 14 tables Shaoliang Yang Jun Wang Yunsheng Wang http://arxiv.org/abs/2605.19046v1 2026-05-18T19:12:49Z

Biological regulatory networks can be represented by computational models, which allow the study and analysis of biological behaviours, therefore providing a better understanding of a given biological process. However, as new information is acquired, biological models may need to be revised in order to also account for this new information. Current model revision tools are scarce and often lack the flexibility to integrate with broader analysis workflows. Here, we present pyModRev, an enhanced iteration of the model revision tool ModRev, capable of verifying the consistency of Boolean regulatory models, and finding minimal repairs in case of inconsistency. pyModRev supports model validation against both steady state observations as well as time-series data, being able to consider different update schemes simultaneously. pyModRev supports different model formats, and is available as a Python package in PyPI, for easy integration with other model analysis tools, significantly improving accessibility and utility for the logical modelling community.

2026-05-18T19:12:49Z Accepted at CMSB 2026. 12 pages, 2 figures Pedro T. Monteiro Filipe Gouveia http://arxiv.org/abs/2605.18290v1 2026-05-18T12:17:07Z

Dimensional accuracy in powder bed 3D printing of concrete is strongly influenced by binder distribution, and the resulting geometric deviations can be direction-dependent. This study examines how voxel-wise water dosage influences geometric fidelity and deviation anisotropy. Experiments show that small changes in water content can cause large, systematic deviations, including edge rounding and swelling. We quantify these effects using high-resolution stereophotogrammetry, aligning as-built scans with CAD models. We then compute deviation metrics such as point-wise distance errors and volumetric differences across multiple water-dosage settings, revealing repeatable, directionally biased deformation patterns that intensify with higher water content. Mechanical testing indicates that stiffness and strength change only marginally, with no clear trend in the tested range. This is explained by excess voxel water diffusing into surrounding powder, leaving the effective water-cement ratio largely unchanged. Finally, we demonstrate a design-compensation concept that pre-adjusts digital geometry to counter predictable deviations, improving accuracy without post-processing.

2026-05-18T12:17:07Z 34 pages, 19 figures Christoph Wolf Petr Hlaváček Annika Robens-Radermacher Daniel Kadoke Jörg F. Unger http://arxiv.org/abs/2605.18254v1 2026-05-18T11:54:44Z

This work presents an efficient algorithm for generating statistically representative microstructures of particulate composites in periodic representative volume elements. The Swelling and Random Migration (SRM) algorithm combines collective particle rearrangements with an adaptive cell-based neighbor-search scheme, enabling near-linear computational scaling for low to intermediate volume fractions and allowing simulations with up to $10^7$ particles in two and three dimensions. SRM offers great flexibility, allowing the controlled generation of both equilibrium-like and strongly non-equilibrium particle arrangements. The method is readily extendable to non-spherical inclusions; this capability is demonstrated by modeling thin circular platelets and generating qualitatively distinct platelet microstructures, including highly interconnected "house-of-cards" networks and metastable quasi-nematic domains. The results highlight the importance of microstructural arrangement in structure-property relationships and establish SRM as a powerful tool for generating realistic, diverse, and computationally accessible particle configurations for composite material modeling.

2026-05-18T11:54:44Z Sergejs Tarasovs http://arxiv.org/abs/2605.18170v1 2026-05-18T10:12:57Z

Signal integrity (SI) analysis in printed circuit board (PCB) interconnects faces increasing complexity due to diverse integrated circuit (IC) buffer technologies, varying operating conditions, and manufacturing tolerances. Existing machine learning (ML) surrogate models for predicting SI metrics such as the inner eye contour, eye-height (EH), eye-width (EW), and transient waveform features typically rely on fixed buffer parameters, requiring costly new data generation and retraining cycles for every technology shift. This paper introduces a buffer-parameterized ML surrogate modeling methodology capable of handling cross-technology variations without retraining by treating IC buffer characteristics, e.g., clock frequency, supply voltage, rise/fall times, jitter, and internal resistors and capacitors, as dynamic model inputs alongside PCB parameters. To identify the optimal surrogate architecture for this high-dimensional space, a comprehensive benchmarking study compares tree-based methods (RFR/GBM), kernel methods (SVR/KRR), Gaussian process regression (GPR), and neural networks. The framework is subsequently validated on a complex interconnect with 44 design parameters. Results show that while anisotropic GPR excels in low-data regimes, neural networks heavily outperform other models on large datasets. Finally, the practical value of the ML surrogate models is demonstrated through a cross-technology design space exploration and optimization scenario, showcasing massive computational speedups for eye mask compliance checking compared to simulation.

2026-05-18T10:12:57Z 12 pages, 16 figures, 7 tables. This work has been submitted to the IEEE for possible publication Julian Withöft Werner John Emre Ecik Ralf Brüning Jürgen Götze