TJC-1814: cite Juang's concurrent public counterexample family - #4
Merged
Conversation
Priority sweep for release-checklist gate 2 found that H. Juang posted a three-parameter integral counterexample family on the Rybin digraph in the public discussion following Rybin's announcement (July 22, 2026, ~7.7h after the original post), including the observation that parameters near m/b = sqrt(2)-1 push the ratio toward (4*sqrt(2)+2)/7 - the extremal direction of Proposition 4.1 under a = b + m. Juang's example (70, 29, 1) has the demands and unsplittable optimum 2ab of our Pell member (a, b) = (99, 70) with a slightly different split. Added: a "Concurrent public family" paragraph in Section 4 relating the two families and delimiting this paper's contributions (closed-form ratio, exact limit, and - with Theorem A's upper bound - exactness and non-attainment of the supremum); a reference entry; acknowledgements and README provenance mentions. PDF regenerated on Typst 0.15.1 (double-compile deterministic); fast tests green. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Release-checklist gate 2 (literature/priority through release date) surfaced concurrent public work: H. Juang's X post (July 22, 2026, 20:02 UTC — 7.7h after Rybin's announcement, before this repo existed) gives a three-parameter integral counterexample family on the same digraph and observes that m/b ≈ √2−1 pushes the ratio toward (4√2+2)/7 — the extremal direction of our Proposition 4.1 under a = b+m. Cross-validated: his (70,29,1) example has the demands and unsplittable optimum 2ab of our Pell member (a,b) = (99,70), with a slightly different split.
This PR adds the scholarly attribution: a "Concurrent public family" paragraph in §4 relating the families and delimiting this paper's contributions (closed-form ratio, exact limit, upper bound ⇒ exact non-attained supremum), a bibliography entry, and acknowledgements/README provenance mentions. Neutral wording — no independence claims asserted in either direction. PDF regenerated on Typst 0.15.1, deterministic; fast suite 17/17.
Review the §4 wording before arXiv/tag — strengthen or soften as you see fit.
🤖 Generated with Claude Code