Published October 20, 2026
| Version 1.0.0-candidate
Preprint
Open
Exact finite-horizon gap constants and non-attainment for Davis-Yin splitting
Authors/Creators
Description
Exact averaged comparison-gap constants for Davis-Yin splitting, including sharp two-dimensional families, an open-range attainment classification and a critical-endpoint extension. Written proofs and fail-closed exact checks are included. AI-assisted work; external human peer review and proof-assistant formalisation are not claimed.
Files
davis-yin-gap-sharpness-v1.0.0.pdf
Additional details
Related works
- Is supplement to
- https://github.com/ipitchford/davis-yin-gap-sharpness (URL)