2 papers
math.OC2026
Formalization of Two Fixed-Point Algorithms in Hilbert Spaces
Yifan Bai, Yantao Li, Jian Yu +1
Iterative algorithms are fundamental tools for approximating fixed-points of nonexpansive operators in real Hilbert spaces. Among them, Krasnosel'ski\uı--Mann iteration and Halper…
hep-ph2025
Identifying CP Basis Invariants in SMEFT
Neda Darvishi, Yining Wang, Jiang-Hao Yu
Building on our automated framework that uses ring diagrams for classifying CP basis invariants [Phys. Rev. D 108, 115030 (2023)], this paper broadens the application of the method…