https://arxiv.org/api/EG+7Gu80W4FYiGdQEKt5WTPQr8s 2026-06-11T00:36:42Z 10652 405 15 http://arxiv.org/abs/2604.28017v1 2026-04-30T15:38:34Z

Constant Product Market Makers use fees that are typically fixed proportions of trade size. When these fees are automatically reinvested into the pool, as in Uniswap~V2 and some designs of Uniswap V4, the final state after a trade can depend on how the trade is split into smaller transactions. This path dependence complicates the risk assessment for liquidity providers and affects composability guarantees. We characterize the functional class of fee structures that ensure path independence: the combined fee factor must depend only on the current pool invariant k=xy. For this class, we derive a system of ordinary differential equations governing pool dynamics and obtain a closed-form integral exchange formula. Within this class, we construct a parametric family of fee functions that achieve zero Impermanent Loss for a given initial pool state, and prove that no universal fee function can eliminate Impermanent Loss for all initial states simultaneously. We analyze implications for arbitrage windows and slippage, and validate our theory through controlled simulations. Our framework provides protocol designers with a principled approach to fee optimization that aligns liquidity provider and trader incentives while preserving composability.

2026-04-30T15:38:34Z Andrey Voronin Roman Vlasov Vladimir Gorgadze Andrey Seoev Yury Yanovich http://arxiv.org/abs/2604.28014v1 2026-04-30T15:35:51Z

Decentralized Finance (DeFi) is a rapidly evolving segment of blockchain technology that enables a transformative approach to financial services through Web3 applications. By leveraging smart contracts, DeFi allows developers to build flexible and innovative financial instruments. Among the most prominent DeFi primitives by liquidity are decentralized exchange~(DEX) swap protocols~(such as Uniswap, Curve, and Balancer) that facilitate fast token-to-token exchanges. However, new exchange mechanisms also introduce new market inefficiencies that can be systematically exploited by arbitrageurs. This paper focuses on swap protocols based on the Automated Market Maker~(AMM), where the product of reserves is preserved as an invariant. We analyze the interaction between arbitrageurs and AMM liquidity pools and develop a mathematical model grounded in empirical pool configurations. Using this model, we derive bounds on the joint revenue of liquidity providers~(LPs) and arbitrageurs, propose a method to estimate the expected number of blocks until the occurrence of Impermanent Loss~(IL), and obtain a lower bound on the pool fee required to achieve a fixed target probability of staying in the Impermanent Gain (IG) zone within a block. The proposed framework extends existing LP risk-assessment methodologies by quantifying symbiotic profitability zones, providing a principled basis for fee selection that aligns LP-arbitrageur incentives and enhances market stability.

2026-04-30T15:35:51Z Ignat Melnikov Roman Vlasov Vladimir Gorgadze Andrey Seoev Yury Yanovich http://arxiv.org/abs/2604.27962v1 2026-04-30T14:56:13Z

Designing mechanical linkages involves combinatorial topology selection and continuous parameter fitting. We show that language models can systematically improve linkage designs through symbolic representations. Language model agents explore discrete topologies while numerical optimisers fit continuous parameters. A symbolic lifting operator translates simulator trajectories into qualitative descriptors, motion labels, temporal predicates, and structural diagnostics that models interpret across iterative design cycles. Across six engineering-relevant motion targets and three open-source models (Llama 3.3 70B, Qwen3 4B, Qwen3 MoE 30B-A3B), the modular architecture reduces geometric error by up to 68% and improves structural validity by up to 134% over monolithic baselines. Critically, 78.6% of iterative refinement trajectories show measurable improvement, with the system correctly diagnosing overconstraint (56.3%) and underconstraint (35.6%) failure modes and proposing grounded corrections. Models across all three families acquire interpretable mechanical reasoning strategies without fine-tuning, demonstrating that principled symbolic abstraction bridges generative AI and the numerical precision required for engineering design.

2026-04-30T14:56:13Z João Pedro Gandarela Thiago Rios Stefan Menzel André Freitas http://arxiv.org/abs/2605.05234v1 2026-04-30T14:45:19Z

Adaptive mesh refinement (AMR) is indispensable for efficient finite element analyses. However, its performance depends not only on the refinement itself but also on strategy to mark elements for refinement and the way it is tuned. This work compares classical marking methods (maximum, Dörfler bulk-chasing, quantile) with non-classical, statistically based approaches (z-score, Isolation Forest), all driven by the residual-based Kelly error estimator and tested on steady solid and fluid mechanics problems. The study finds quantile and z-score markings to be the most robust, Dörfler effective for large bulk parameters, and maximum marking sensitive to irregular fields. Isolation Forest can rival top classical methods with a generous contamination level but may fail under aggressive settings. These results offer practical guidance for selecting marking strategies that balance refinement aggressiveness and computational cost in adaptive FEM workflows.

2026-04-30T14:45:19Z 16 pages, 21 figures, conference special issue Oliver Wege Kaan Atak Marek Behr Norbert Hosters http://arxiv.org/abs/2604.27803v1 2026-04-30T12:47:07Z

The verification of bullion coin authenticity is essential for maintaining integrity within the precious metals market; however, the increasing sophistication of counterfeits has rendered traditional inspection methods insufficient. This paper proposes a non-destructive verification framework based on acoustic frequency analysis and deep neural networks. The methodology leverages the unique acoustic fingerprint of a coin, a physical signature determined by its material composition, mass, and geometry, captured through mechanical excitation. We implement a synergistic dual-model architecture consisting of an autoencoder that reconstructs the spectrum for anomaly detection and a deep learning classifier for coin type identification. To address the challenges of environmental noise and limited dataset diversity, a dynamically calculated anomaly threshold and data augmentation techniques were employed. Experimental results demonstrate that the integrated system achieves high precision in distinguishing authentic specimens from high-quality counterfeits, maintaining stability across varying recording conditions and devices. Beyond bullion authentication, the study highlights the scalability of the proposed non-destructive testing method for assessing the safety of critical components in the automotive and aerospace industries.

2026-04-30T12:47:07Z 10 pages, 10 figures Krzysztof Siwek Tran Hoai Linh Tomasz Gryczka Maciej Stodolski http://arxiv.org/abs/2604.18767v2 2026-04-30T11:59:24Z

Recent disruptions at major maritime chokepoints have exposed the structural fragility of liner shipping networks. Existing indicators measure connectivity, but none quantify its structural vulnerability from a supply-side perspective. We propose the Maritime Connectivity Vulnerability Index (MCVI), capturing three dimensions mapped to distinct UNCTAD sources: low overall connectivity (LSCI), weak bilateral integration (LSBCI), and port infrastructure concentration (PLSCI). The index covers 185 economies over 2006-2025 using pooled fractional rank normalization and equal-weight aggregation from publicly available data. SIDS exhibit a mean vulnerability 0.234 points above non-SIDS economies, with the gap widening from 0.232 to 0.249 over two decades. A modest global decline of 4.2% is observed. Port concentration dominates for nearly 40% of economies (72 of 185), establishing infrastructure diversification as a distinct policy priority. Rankings are highly stable across alternative weighting schemes, normalization methods (Spearman rho = 0.97-0.999), and PCA-derived weights; Monte Carlo simulation (1,000 replications) confirms rho > 0.95 in every realization. External validation shows strong negative correlation with the World Bank Logistics Performance Index (rho = -0.61 across seven waves) and positive correlation with ad valorem maritime freight rates (rho = +0.32). Panel regressions reveal a vulnerability paradox whereby small trade-dependent economies are simultaneously the most trade-open and the most vulnerable. Pre-crisis MCVI predicts trade losses during the COVID-19 supply shock (rho = -0.25, p < 0.005), while the contrasting positive correlation during the 2008-2009 demand shock (rho = +0.23, p = 0.01) validates the supply-side specificity of the index.

2026-04-20T19:23:07Z v2: Manuscript text, methodology, results, figures, tables, and conclusions are identical to v1. Only bibliographic metadata updated (author names, pagination, DOIs) for editorial consistency. No scientific content has been modified Mohamed Bouka Moulaye Abdel Kader Moulaye Ismail http://arxiv.org/abs/2603.20480v2 2026-04-30T11:40:15Z

Environmental, Social, and Governance (ESG) considerations play a central role in contemporary financial decision-making. In parallel, Large Language Model (LLM) applications in this domain have primarily emphasized well-defined discriminative tasks, such as classification or scoring, which have proven effective for structured analysis and benchmarking. However, this prevailing focus offers limited support for more interactive and generative ESG scenarios, where embedded domain knowledge and contextual understanding are essential. In this work, we propose an ESG-oriented adaptation pipeline for LLMs that integrates ESG principles not only as a target domain, but also as guiding constraints throughout training and evaluation. Building on the Qwen-3-4B architecture, we explore parameter-efficient adaptation strategies using Low-Rank Adaptation (LoRA) and the Instruction-Residual Method (IRM) to produce three ESG-specialized models. We evaluate the proposed models on ESG question answering under both zero-shot and knowledge-augmented settings, using a diverse set of generative, semantic, readability, and environmental impact metrics. Our results show that the ESG-adapted models consistently outperform their original counterparts and competitive baselines such as Llama-3 and Gemma-3. Although limitations remain in tool-based knowledge integration, this work establishes a foundation for ESG-oriented language generation and highlights the importance of responsible, domain-aware LLM adaptation.

2026-03-20T20:24:43Z Gabriel Assis Ayrton Surica Pedro Kroll Gabriela Aires Darian Rabbani Edson Bollis Lucas Pellicer Aline Paes http://arxiv.org/abs/2605.00071v1 2026-04-30T11:15:04Z

Agentic payment systems extend delegated action to financial transfers, but scaling them on stablecoin rails in regulated settings requires safeguards that remain effective when humans are not continuously in the loop. We present a compliance-aware architecture that combines x402-style, signature-based payment authorisation and relayed execution with programmable compliance embedded as an on-chain guardrail via a policy wrapper and policy manager coordinating modular checks. By enforcing compliance at the point of execution, rather than as a separate off-chain workflow, the approach preserves low-friction settlement when conditions are satisfied, records transaction-linked on-chain attestations, and supports structured resolution when requirements are pending.

2026-04-30T11:15:04Z Demo Paper Track Kenneth See Xue Wen Tan http://arxiv.org/abs/2604.27432v1 2026-04-30T05:14:31Z

The pressure for Water Resource Recovery Facilities (WRRF) operators to efficiently treat wastewater is greater than ever because of the water crisis, produced by the climate change effects and more restrictive regulations. Technicians and researchers need to evaluate WRRF performance to ensure maximum efficiency. For this purpose, numerical techniques, such as CFD, have been widely applied to the wastewater sector to model biological reactors and secondary settling tanks with high spatial and temporal accuracy. However, limitations such as complexity and learning curve, prevent extending CFD usage among wastewater modeling experts. This paper presents HydroSludge, a framework that provides a series of tools that simplify the implementation of the processes and workflows in a WRRF. This work leverages HydroSludge to preprocess existing data, aid the meshing process, and perform CFD simulations. Its intuitive interface proves itself as an effective tool to increase the efficiency of wastewater treatment

2026-04-30T05:14:31Z Water Environment Research(93), pp. 3049--3063, Oct. 2021. ISSN: 1061-4303 S. Iserte P. Carratalà R. Arnau R. Martínez-Cuenca P. Barreda L. Basiero J. Climent S. Chiva 10.1002/wer.1656 http://arxiv.org/abs/2604.25186v2 2026-04-30T03:30:43Z

Document understanding is a critical capability in financial credit review, onboarding, and remote verification, where both decision accuracy and evidence traceability matter. Compared with static document images, document videos present a temporally redundant and sequentially unfolding evidence stream, require evidence integration across frames, and preserve acquisition-process cues relevant to authenticity-sensitive and anti-fraud review. We introduce FCMBench-Video, a benchmark for document-video intelligence that evaluates document perception, temporal grounding, and evidence-grounded reasoning under realistic capture conditions. For privacy-compliant yet realistic data at scale, we organize construction as an atomic-acquisition and composition workflow that records reusable single-document clips, applies controlled degradations, and assembles long-form multi-document videos with prescribed temporal spans. FCMBench-Video is built from 495 atomic videos composed into 1,200 long-form videos paired with 11,322 expert-annotated question--answer instances, covering 28 document types over 20s--60s duration tiers and 5,960 Chinese / 5,362 English instances. Evaluations on nine recent Video-MLLMs show that FCMBench-Video provides meaningful separation across systems and capabilities: counting is the most duration-sensitive task, Cross-Document Validation and Evidence-Grounded Selection probe higher-level evidence integration, and Visual Prompt Injection provides a complementary robustness dimension. The overall score distribution is broad and approximately bell-shaped, indicating a benchmark that is neither saturated nor dominated by trivial cases. Together, these results position FCMBench-Video as a reproducible benchmark for tracking Video-MLLM progress on document-video understanding and probing capability boundaries in authenticity-sensitive credit-domain applications.

2026-04-28T03:45:09Z Runze Cui Fangxin Shang Yehui Yang Qing Yang Yanwu Xu Tao Chen http://arxiv.org/abs/2604.27193v1 2026-04-29T20:51:21Z

Automatic Emergency Braking (AEB) systems represent a safety-critical national interest, with the National Highway Traffic Safety Administration (NHTSA) Federal Motor Vehicle Safety Standard (FMVSS No. 127) requiring AEB in all new light vehicles sold in the United States by September 2029. However, production implementations frequently rely on deterministic stopping-distance or Time-to-Collision (TTC) thresholds that fail to capture uncertainty in sensing, road conditions, and vehicle dynamics. This paper presents a GPU-accelerated Monte Carlo framework for stochastic evaluation of emergency braking performance using a high-fidelity longitudinal vehicle model incorporating aerodynamic drag, road grade, brake actuator dynamics, and weight transfer effects. A one-thread-per-sample execution strategy exploits the independence of Monte Carlo rollouts, while deterministic CPU-generated sampling ensures bit-exact numerical consistency between CPU and GPU implementations. The framework is evaluated across four hardware platforms spanning development and deployment environments: two laptop GPUs (GTX 1650, RTX 5070) and two automotive-grade embedded platforms (Jetson Orin Nano, Jetson AGX Orin). Peak speedups of 54.57x are achieved while maintaining exact numerical agreement. Real-time feasibility analysis with a complete AEB timing budget (700 ms human reaction time minus 120 ms perception and 50 ms decision overhead) demonstrates that the Jetson AGX Orin can execute approximately 25,000 Monte Carlo samples within a 530 ms budget, enabling real-time probabilistic AEB evaluation as part of a complete embedded pipeline. These results establish Monte Carlo-based uncertainty evaluation as a deployable runtime component rather than an offline validation tool and provide quantitative guidance for risk-aware AEB threshold selection under the NHTSA final rule.

2026-04-29T20:51:21Z 10 pages, 6 figures. Submitted to IEEE journal for possible publication; under review Akshay Karjol Shadi Alawneh http://arxiv.org/abs/2604.27126v1 2026-04-29T19:24:12Z

This study presents an unsupervised machine learning workflow for electrofacies analysis in the offshore Keta Basin, Ghana, where core data are scarce. Six standard wireline logs from Well~C were analysed over a depth interval comprising approximately $11{,}195$ samples. K-means clustering was applied in multivariate log space, with the clustering structure evaluated using inertia and silhouette diagnostics. Four clusters were identified, supported by an average silhouette coefficient of approximately $0.50$, indicating moderate but meaningful separation. The resulting electrofacies exhibit systematic, depth-continuous patterns associated with variations in clay content, porosity, and rock framework properties, forming a geological continuum from shale-dominated to cleaner sandstone-dominated units. The results demonstrate that log-only, unsupervised clustering supported by quantitative metrics provides a robust and reproducible framework for subsurface characterisation. The proposed workflow offers a practical tool for early-stage formation evaluation in frontier offshore basins and a foundation for future integrated studies.

2026-04-29T19:24:12Z 7 pages, 7 figures. Accepted to ICECET 2026 Hamdiya Adams Theophilus Ansah-Narh Daniel Kwadwo Asiedu Bruce Kofi Banoeng-Yakubo Marcellin Atemkeng Thomas Armah Richmond Opoku-Sarkodie Rebecca Davis Ezekiel Nii Noye Nortey http://arxiv.org/abs/2604.26770v1 2026-04-29T15:02:38Z

Automatic feature recognition (AFR) on B-Rep 3D-CAD models is central to CAD/CAM automation, yet most learning-based methods are complex, data-hungry, and evaluate instance grouping and semantic labeling separately. We present FeatureFox, a panoptic AFR pipeline that outputs machining instances with semantic labels: a calibrated binary edge classifier on enriched edge attributes localizes feature boundaries, instances are recovered as connected components in a pruned face-adjacency graph, and a per-instance classifier predicts the machining class from aggregated subgraph attributes. We evaluate on MFInstSeg using Panoptic Quality (PQ), which jointly scores instance separation and semantic correctness. FeatureFox is substantially more sample- and compute-efficient than the deep baseline AAGNet, reaching $\mathrm{PQ}>0.9$ with $\sim250$ training parts versus $\sim5{,}000$ for AAGNet, and training on the full MFInstSeg set takes seconds on a GPU. On the full training set, AAGNet surpasses FeatureFox marginally in PQ, while FeatureFox remains slightly ahead in feature-level recognition and localization accuracy. Finally, leveraging its low data requirement, we train FeatureFox on $270$ manually labeled industrial CAD parts and show qualitative generalization to an unseen real industrial part, indicating practical real-world applicability.

2026-04-29T15:02:38Z Bertram Fuchs Altay Kacan Aaron Haag Oliver Lohse http://arxiv.org/abs/2604.26591v1 2026-04-29T12:17:48Z

Technology mapping is a critical yet challenging stage in logic synthesis. While Large Language Models (LLMs) have been applied to generate optimization scripts, their potential for core algorithm enhancement remains untapped. We introduce MappingEvolve, an open-source framework that pioneers the use of LLMs to directly evolve technology mapping code. Our method abstracts the mapping process into distinct optimization operators and employs a hierarchical agent-based architecture, comprising a Planner, Evolver, and Evaluator, to guide the evolutionary search. This structured approach enables strategic and effective code modifications. Experiments show our method significantly outperforms direct evolution and strong baselines, achieving 10.04\% area reduction versus ABC and 7.93\% versus mockturtle, with 46.6\%--96.0\% $S_{overall}$ improvement on EPFL benchmarks, while explicitly navigating the area--delay trade-off. Our code and data are available at https://github.com/Flians/MappingEvolve.

2026-04-29T12:17:48Z Rongliang Fu Yi Liu Qiang Xu Tsung-Yi Ho 10.1145/3770743.3803988 http://arxiv.org/abs/2511.17259v3 2026-04-29T12:12:39Z

We study fundamental limitations of the generic Quantum Approximate Optimization Algorithm (QAOA) on constrained problems where valid solutions form a low dimensional manifold inside the Boolean hypercube, and we present a provable route to exponential improvements via constraint embedding. Focusing on permutation constrained objectives, we show that the standard generic QAOA ansatz, with a transverse field mixer and diagonal r local cost, faces an intrinsic feasibility bottleneck: even after angle optimization, circuits whose depth grows at most sublinearly with n cannot raise the total probability mass on the feasible manifold much above the uniform baseline suppressed by the size of the full Hilber space. Against this envelope we introduce a minimal constraint enhanced kernel (CE QAOA) that operates directly inside a product one hot subspace and mixes with a block local XY Hamiltonian. For permutation constrained problems, we prove an angle robust, depth matched exponential enhancement where the ratio between the feasible mass from CE QAOA and generic QAOA grows exponentially in $n^2$ for all depths up to a linear fraction of n, under a mild polynomial growth condition on the interaction hypergraph. Thanks to the problem algorithm co design in the kernel construction, the techniques and guarantees extend beyond permutations to a broad class of NP-Hard constrained optimization problems.

2025-11-21T14:04:01Z Chinonso Onah Kristel Michielsen