{"schema_version":"source-reader-v1","record":{"source_id":"feige-conjecture-fu","versions":[{"work":{"authors":["Weibo Fu","Yanjun Han","Guanyang Wang","Jun Yan","Peng Zhang","Zhengqing Zhou"],"kind":"research_paper","publication":"preprint","publication_note":"Source publication and attributed assessments are distinct from independent OpenMath review.","ai_role":"self_reported","ai_note":"The authors report GPT-5.6 Pro assistance in proof discovery; the calibration theorem of Vlassis and Thomas and Grünbaum-type inequalities are mathematical inputs, not authors of this paper.","artifacts":[],"published":{"value":"2026-07-27"}},"id":"feige-conjecture:source:fu:v1","source_id":"feige-conjecture-fu","title":"Sharp small-deviation inequalities for sums of independent nonnegative random variables","owner":"Weibo Fu, Yanjun Han, Guanyang Wang, Jun Yan, Peng Zhang, Zhengqing Zhou","url":"https://arxiv.org/abs/2607.23980v1","subject_scope":"Proves two parameter-range lower bounds, with the finite-n bound sharp when δ ≥ 1.","revision":"2026-07-27","content_sha256":"29b7a68622eee0c46a86dc6e712c47e66e7b1821fd23255af9fe878f6957c842","update_method":"Compare the exact source and publish a new immutable curation revision.","identifier_policy":"Stable source identity with exact versioned passages.","observed_on":"2026-10-13","source_updated_on":null,"rights":"metadata-link","license":"Original source license and document rights apply.","terms_url":"https://arxiv.org/abs/2607.23980v1","attribution":"Weibo Fu, Yanjun Han, Guanyang Wang, Jun Yan, Peng Zhang, Zhengqing Zhou","rights_note":"OpenMath supplies its own mathematical paraphrases and links; proof text is not republished.","check_interval_days":90}],"entries":[{"id":"feige-conjecture:entry:fu-history:v1","source_version_id":"feige-conjecture:source:fu:v1","item_id":"§1.1, Background and related work; references [Fei04], [HZZ10], [GHLL20]","url":"https://arxiv.org/abs/2607.23980v1","wording":"Feige proved the first universal lower bound, 1/13 (2004); it was later improved to 1/8 by He, Zhang and Zhang (2010), to approximately 0.14 by Garnett (2020), and to 0.1798 by Guo, He, Ling and Liu (2020).","wording_kind":"paraphrase","locator":"§1.1, Background and related work; references [Fei04], [HZZ10], [GHLL20]","supersedes":null},{"id":"feige-conjecture:entry:fu:v1","source_version_id":"feige-conjecture:source:fu:v1","item_id":"fu","url":"https://arxiv.org/abs/2607.23980v1","wording":"Proves two parameter-range lower bounds, with the finite-n bound sharp when δ ≥ 1.","wording_kind":"paraphrase","locator":"Theorem 1.1, Corollary 1.2 and AI disclosure","supersedes":null}],"problems":[{"slug":"feige-conjecture","title":"Feige’s probability conjecture","publication_version":7}],"selected_version_id":"feige-conjecture:source:fu:v1","available_versions":[{"id":"feige-conjecture:source:fu:v1","revision":"2026-07-27","observed_on":"2026-10-13","title":"Sharp small-deviation inequalities for sums of independent nonnegative random variables","publication":"preprint","content_sha256":"29b7a68622eee0c46a86dc6e712c47e66e7b1821fd23255af9fe878f6957c842","used_in_current_publications":true}],"usages":[{"id":"source-use-57106b19c2d172c21fd9","entry_id":"feige-conjecture:entry:fu-history:v1","problem":{"slug":"feige-conjecture","title":"Feige’s probability conjecture","publication_version":7},"kind":"assessment","title":"Earlier lower bound 1/8","claim":{"id":"claim-feige-bound-one-eighth","version":1,"slug":"feige-bound-one-eighth","title":"A fourth-moment lower bound: 1/8"},"fragment":"claim-feige-bound-one-eighth","assessment":{"id":"feige-conjecture:report:one-eighth:v1","entry_id":"feige-conjecture:entry:fu-history:v1","state":"resolved","source_label":"Earlier lower bound 1/8","scope":"Only the exact statement and passage cited here; not an independent OpenMath assessment.","source_date":null,"observed_on":"2026-10-21","evidence_url":"https://arxiv.org/abs/2607.23980v1","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-97015b7ff6011e49a81a","entry_id":"feige-conjecture:entry:fu-history:v1","problem":{"slug":"feige-conjecture","title":"Feige’s probability conjecture","publication_version":7},"kind":"assessment","title":"Earlier lower bound 0.1798","claim":{"id":"claim-feige-bound-0-1798","version":1,"slug":"feige-bound-0-1798","title":"A moment and Berry–Esseen lower bound: 0.1798"},"fragment":"claim-feige-bound-0-1798","assessment":{"id":"feige-conjecture:report:0-1798:v1","entry_id":"feige-conjecture:entry:fu-history:v1","state":"resolved","source_label":"Earlier lower bound 0.1798","scope":"Only the exact statement and passage cited here; not an independent OpenMath assessment.","source_date":null,"observed_on":"2026-10-21","evidence_url":"https://arxiv.org/abs/2607.23980v1","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-eadcc29f15643f114dd6","entry_id":"feige-conjecture:entry:fu-history:v1","problem":{"slug":"feige-conjecture","title":"Feige’s probability conjecture","publication_version":7},"kind":"assessment","title":"Earlier lower bound 1/13","claim":{"id":"claim-feige-bound-one-thirteenth","version":1,"slug":"feige-bound-one-thirteenth","title":"Feige’s first universal lower bound: 1/13"},"fragment":"claim-feige-bound-one-thirteenth","assessment":{"id":"feige-conjecture:report:one-thirteenth:v1","entry_id":"feige-conjecture:entry:fu-history:v1","state":"resolved","source_label":"Earlier lower bound 1/13","scope":"Only the exact statement and passage cited here; not an independent OpenMath assessment.","source_date":null,"observed_on":"2026-10-21","evidence_url":"https://arxiv.org/abs/2607.23980v1","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-bf37193b39dfd657143c","entry_id":"feige-conjecture:entry:fu-history:v1","problem":{"slug":"feige-conjecture","title":"Feige’s probability conjecture","publication_version":7},"kind":"question","title":"Feige’s probability conjecture","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-71f9f83b4de09e74f795","entry_id":"feige-conjecture:entry:fu-history:v1","problem":{"slug":"feige-conjecture","title":"Feige’s probability conjecture","publication_version":7},"kind":"statement","title":"A fourth-moment lower bound: 1/8","claim":{"id":"claim-feige-bound-one-eighth","version":1,"slug":"feige-bound-one-eighth","title":"A fourth-moment lower bound: 1/8"},"fragment":"claim-feige-bound-one-eighth","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-a2750641fb07a710490a","entry_id":"feige-conjecture:entry:fu-history:v1","problem":{"slug":"feige-conjecture","title":"Feige’s probability conjecture","publication_version":7},"kind":"statement","title":"Feige’s first universal lower bound: 1/13","claim":{"id":"claim-feige-bound-one-thirteenth","version":1,"slug":"feige-bound-one-thirteenth","title":"Feige’s first universal lower bound: 1/13"},"fragment":"claim-feige-bound-one-thirteenth","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-d57db915512a120dbf2d","entry_id":"feige-conjecture:entry:fu-history:v1","problem":{"slug":"feige-conjecture","title":"Feige’s probability conjecture","publication_version":7},"kind":"statement","title":"A moment and Berry–Esseen lower bound: 0.1798","claim":{"id":"claim-feige-bound-0-1798","version":1,"slug":"feige-bound-0-1798","title":"A moment and Berry–Esseen lower bound: 0.1798"},"fragment":"claim-feige-bound-0-1798","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-786bed0438db8497a968","entry_id":"feige-conjecture:entry:fu:v1","problem":{"slug":"feige-conjecture","title":"Feige’s probability conjecture","publication_version":7},"kind":"assessment","title":"Conditional mathematical implication in the cited source","claim":{"id":"claim-feige-conjecture-consequence","version":1,"slug":"feige-conjecture-consequence","title":"The universal constant is a limit across dimensions"},"fragment":"claim-feige-conjecture-consequence","assessment":{"id":"feige-conjecture:report:consequence:v1","entry_id":"feige-conjecture:entry:fu:v1","state":"resolved","source_label":"Conditional mathematical implication in the cited source","scope":"Finite-dimensional equality examples attain their own larger constants. The limiting value 1/e is approached as n grows, rather than attained in one finite dimension.","source_date":null,"observed_on":"2026-10-13","evidence_url":"https://arxiv.org/abs/2607.23980v1","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-c9c3d12f6ae860f7dc62","entry_id":"feige-conjecture:entry:fu:v1","problem":{"slug":"feige-conjecture","title":"Feige’s probability conjecture","publication_version":7},"kind":"assessment","title":"Sharp unit-slack bound proved by Fu and coauthors","claim":{"id":"claim-feige-unit-slack","version":1,"slug":"feige-unit-slack","title":"The dimension-free unit-slack inequality"},"fragment":"claim-feige-unit-slack","assessment":{"id":"feige-conjecture:report:unit-fu:v1","entry_id":"feige-conjecture:entry:fu:v1","state":"resolved","source_label":"Sharp unit-slack bound proved by Fu and coauthors","scope":"Theorem 1.1 at δ = 1, including finite-dimensional sharpness.","source_date":"2026-07-27","observed_on":"2026-10-13","evidence_url":"https://arxiv.org/abs/2607.23980v1","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-dd5371a36bc994a6e751","entry_id":"feige-conjecture:entry:fu:v1","problem":{"slug":"feige-conjecture","title":"Feige’s probability conjecture","publication_version":7},"kind":"assessment","title":"Sharp unit-slack bound proved by Fu and coauthors","claim":{"id":"claim-feige-sharp-finite-unit-slack","version":1,"slug":"feige-sharp-finite-unit-slack","title":"The optimal bound for a fixed number of variables"},"fragment":"claim-feige-sharp-finite-unit-slack","assessment":{"id":"feige-conjecture:report:unit-fu:v1","entry_id":"feige-conjecture:entry:fu:v1","state":"resolved","source_label":"Sharp unit-slack bound proved by Fu and coauthors","scope":"Theorem 1.1 at δ = 1, including finite-dimensional sharpness.","source_date":"2026-07-27","observed_on":"2026-10-13","evidence_url":"https://arxiv.org/abs/2607.23980v1","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-f0589cb5cff257d592c1","entry_id":"feige-conjecture:entry:fu:v1","problem":{"slug":"feige-conjecture","title":"Feige’s probability conjecture","publication_version":7},"kind":"assessment","title":"Two parameter-range bounds proved in the cited paper","claim":{"id":"claim-feige-july-deviation-bounds","version":2,"slug":"feige-july-deviation-bounds","title":"The July bounds in two deviation ranges"},"fragment":"claim-feige-july-deviation-bounds","assessment":{"id":"feige-conjecture:report:ranges:v1","entry_id":"feige-conjecture:entry:fu:v1","state":"resolved","source_label":"Two parameter-range bounds proved in the cited paper","scope":"Lower bound δ(n/(n+δ))^n for 0 < δ < 1, and (1−1/(n+δ))^n for δ ≥ 1. Sharpness is asserted only in the second range.","source_date":"2026-07-27","observed_on":"2026-10-13","evidence_url":"https://arxiv.org/abs/2607.23980v1","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-0cce83190ad0c88b6974","entry_id":"feige-conjecture:entry:fu:v1","problem":{"slug":"feige-conjecture","title":"Feige’s probability conjecture","publication_version":7},"kind":"bound","title":"Unit-slack probability","claim":{"id":"claim-feige-unit-slack","version":1,"slug":"feige-unit-slack","title":"The dimension-free unit-slack inequality"},"fragment":"claim-feige-unit-slack","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-fab04368638b467a9bd8","entry_id":"feige-conjecture:entry:fu:v1","problem":{"slug":"feige-conjecture","title":"Feige’s probability conjecture","publication_version":7},"kind":"bound","title":"Unit-slack probability","claim":{"id":"claim-feige-sharp-finite-unit-slack","version":1,"slug":"feige-sharp-finite-unit-slack","title":"The optimal bound for a fixed number of variables"},"fragment":"claim-feige-sharp-finite-unit-slack","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-37192341cb52c639ba97","entry_id":"feige-conjecture:entry:fu:v1","problem":{"slug":"feige-conjecture","title":"Feige’s probability conjecture","publication_version":7},"kind":"connection","title":"The finite constants (n/(n+1))^n decrease to 1/e; each is strictly larger than 1/e.","claim":null,"fragment":"connections","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-71e745678cce4dbc1d09","entry_id":"feige-conjecture:entry:fu:v1","problem":{"slug":"feige-conjecture","title":"Feige’s probability conjecture","publication_version":7},"kind":"construction","title":"A finite-dimensional extremizer","claim":{"id":"claim-feige-sharp-finite-unit-slack","version":1,"slug":"feige-sharp-finite-unit-slack","title":"The optimal bound for a fixed number of variables"},"fragment":"claim-feige-sharp-finite-unit-slack","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-b7d6bbbbcfe6874c0c27","entry_id":"feige-conjecture:entry:fu:v1","problem":{"slug":"feige-conjecture","title":"Feige’s probability conjecture","publication_version":7},"kind":"definition","title":"Strict small-deviation event","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-59533facef833f9bc704","entry_id":"feige-conjecture:entry:fu:v1","problem":{"slug":"feige-conjecture","title":"Feige’s probability conjecture","publication_version":7},"kind":"milestone","title":"Separately authored proofs of the unit-slack bound","claim":null,"fragment":"history","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-89c4e35617a41815a869","entry_id":"feige-conjecture:entry:fu:v1","problem":{"slug":"feige-conjecture","title":"Feige’s probability conjecture","publication_version":7},"kind":"milestone","title":"Feige’s probability question","claim":null,"fragment":"history","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-9f0454b943697da2cc9e","entry_id":"feige-conjecture:entry:fu:v1","problem":{"slug":"feige-conjecture","title":"Feige’s probability conjecture","publication_version":7},"kind":"proof","title":"Fu–Han–Wang–Yan–Zhang–Zhou account","claim":{"id":"claim-feige-sharp-finite-unit-slack","version":1,"slug":"feige-sharp-finite-unit-slack","title":"The optimal bound for a fixed number of variables"},"fragment":"claim-feige-sharp-finite-unit-slack","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-fa4e9354079a45090bdc","entry_id":"feige-conjecture:entry:fu:v1","problem":{"slug":"feige-conjecture","title":"Feige’s probability conjecture","publication_version":7},"kind":"question","title":"Feige’s probability conjecture","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-f0742be38790fe4dd96d","entry_id":"feige-conjecture:entry:fu:v1","problem":{"slug":"feige-conjecture","title":"Feige’s probability conjecture","publication_version":7},"kind":"reading","title":"Read the mathematical argument; inspect its Claim for assessment and scope.","claim":null,"fragment":"provenance","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-06d2c35964f5c2b772c6","entry_id":"feige-conjecture:entry:fu:v1","problem":{"slug":"feige-conjecture","title":"Feige’s probability conjecture","publication_version":7},"kind":"statement","title":"The dimension-free unit-slack inequality","claim":{"id":"claim-feige-unit-slack","version":1,"slug":"feige-unit-slack","title":"The dimension-free unit-slack inequality"},"fragment":"claim-feige-unit-slack","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-1d3e3fd9a7e87daa335f","entry_id":"feige-conjecture:entry:fu:v1","problem":{"slug":"feige-conjecture","title":"Feige’s probability conjecture","publication_version":7},"kind":"statement","title":"The universal constant is a limit across dimensions","claim":{"id":"claim-feige-conjecture-consequence","version":1,"slug":"feige-conjecture-consequence","title":"The universal constant is a limit across dimensions"},"fragment":"claim-feige-conjecture-consequence","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-4b7049b57c0500fe8e3e","entry_id":"feige-conjecture:entry:fu:v1","problem":{"slug":"feige-conjecture","title":"Feige’s probability conjecture","publication_version":7},"kind":"statement","title":"The July bounds in two deviation ranges","claim":{"id":"claim-feige-july-deviation-bounds","version":2,"slug":"feige-july-deviation-bounds","title":"The July bounds in two deviation ranges"},"fragment":"claim-feige-july-deviation-bounds","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-c86c65fd00cd11080fd0","entry_id":"feige-conjecture:entry:fu:v1","problem":{"slug":"feige-conjecture","title":"Feige’s probability conjecture","publication_version":7},"kind":"statement","title":"The optimal bound for a fixed number of variables","claim":{"id":"claim-feige-sharp-finite-unit-slack","version":1,"slug":"feige-sharp-finite-unit-slack","title":"The optimal bound for a fixed number of variables"},"fragment":"claim-feige-sharp-finite-unit-slack","assessment":null,"superseded":false,"formalization":null,"update":null}],"linked_entries":[],"linked_sources":[]}}