Skip to content

kelly_lean — carnets suivants : fractional Kelly, erreur d'estimation, multi-issue (plan #16231) #19516

Description

@jsboige

Part of #16231 (EPIC renommage / plans de croissance Lean).

Contexte mesure (2026-10-06)

Le lake QuantConnect/kelly_lean/ est ferme : 3 modules FR + 3 siblings EN, 0 sorry (organe count_code_sorry.py), theoreme phare kelly_optimal + kelly_unique prouves (optimalite et unicite de la fraction de Kelly f* = (b*p - q)/b pour la log-croissance esperee). Deux carnets compagnons existent (Python Monte-Carlo + Lean #check).

Le carnet Lean lui-meme (§4.1) nomme trois frontieres non couvertes : p estime / tirages non-i.i.d. / cotes dynamiques. La table de croissance complete est postee sur #16231.

Carnets suivants proposes (2-4), dans l'ordre de priorite

  1. Fractional Kelly mesure — lake (module Fractional : growth(c*f*) ≤ growth(f*), egalite seulement pour c = 1) + companion Python : surface croissance/variance sur la fraction c, multi-seed — la reponse chiffree au « pourquoi demi-Kelly » du §4.1.1.
  2. Erreur d'estimation : biais de l'optimiste — companion Python (Lean optionnel) : kellyFrac(p_hat) applique a p_hat ~ N(p, sigma) → surexposition moyenne, perte de croissance mesuree vs p vrai ; justification quantitative de la fraction.
  3. Kelly multi-issue — lake (generaliser Bet a n issues) + companion : cas diagonal en forme fermee, Monte-Carlo contre la forme.
  4. Cotes dynamiques / sequence — companion Python seul : bookmaker qui ajuste b_t ; le critere reste myope-optimal sans etre separement optimal ; hors lake (§4.1.3).

Renommage prealable

Alignement des suffixes kernel des compagnons (table postee sur #16231 : Kelly_companion.ipynb → Kelly_companion-Python.ipynb, Kelly_companion_lean.ipynb → Kelly_companion-Lean.ipynb), precedent Tweety #19150.

Acceptance

  • Renommage livre (markdown-only + entree rename-ledger.tsv).
  • Carnet 1 (Fractional Kelly) : lake compile (0 nouveau sorry), companion execute avec sorties multi-seed.
  • Carnet 2 ou 3 ou 4 : au moins un livre ensuite, au choix de la lane.
  • Section « Carnets suivants » du README kelly_lean alimentee (totaux laisses au catalogue).

Activity

  1. jsboige commented on Oct 6, 2026

    @jsboige
    OwnerAuthor

    [CLAIMED] lane myia-po-2024:CoursIA-2 — carnet 1 (Fractional Kelly) : lake Fractional + companion Python multi-seed, scope = MyIA.AI.Notebooks/QuantConnect/kelly_lean/Fractional.lean + MyIA.AI.Notebooks/QuantConnect/kelly_companion-Fractional.ipynb

  2. jsboige commented on Oct 6, 2026

    @jsboige
    OwnerAuthor

    [CLAIMED-AMEND] lane myia-po-2024:CoursIA-2 -- paths: MyIA.AI.Notebooks/QuantConnect/kelly_lean/Kelly/MultiIssue*.lean, MyIA.AI.Notebooks/QuantConnect/kelly_lean/Kelly_companion-Multi-Issue-Python.ipynb, MyIA.AI.Notebooks/QuantConnect/kelly_lean/multi_issue_growth.png

  3. jsboige commented on Oct 6, 2026

    @jsboige
    OwnerAuthor

    [CLAIMED] carnet 4 (Cotes dynamiques) -- myia-po-2024:CoursIA-2 -- PR #19552 ouverte

    Carnet 4 du plan #16231 / #19516 livre en c.59 (PR #19552, branche feature/19516-cotes-dynamiques).

    Livrables :

    • Kelly_companion-Cotes-Dynamiques-Python.ipynb (5 cellules code, exec_count 1..5, 0 erreur)
    • cotes_dynamiques_growth.png (figure 2 panneaux : trajectoire b_t + barres de croissance par strategie)

    Resultats multi-seed (8 seeds, T=2000, p=0.55, b_t oscillant 1 +/- 0.3) :

    Strategie /T perte vs oracle % vs oracle
    oracle 0.010342 0.000000 100.00%
    lazy K=10 0.007405 -0.002936 71.61%
    lazy K=50 0.003589 -0.006753 34.70%
    naive b_0 0.003598 -0.006743 34.79%

    Surprise mesuree : lazy K=50 ~ naive (T_cycle=200 << K=50, donc entre 2 ajustements la cote passe par un cycle quasi complet). Le ratio K/T_cycle est le parametre decisif ; il faudrait K <= 20 (T_cycle/10) pour capturer l'essentiel.

    Plan #19516 carnet 4 ferme. Prochaine etape : mise a jour de la section Carnets suivants du README kelly_lean pour integrer les 4 carnets.

  4. added 12 commits that reference this issue on Oct 6, 2026
  5. added 2 commits that reference this issue on Oct 7, 2026
  6. jsboige commented on Oct 9, 2026

    @jsboige
    OwnerAuthor

    [INFO] candidate-delivered — lane myia-po-2026:CoursIA-2

    Confrontation des quatre critères d'acceptation au réel, première main contre origin/main (977e8bbdbb). Les quatre sont couverts par du contenu déjà sur main.

    Critère Mesure
    Renommage livré (markdown-only + entrée rename-ledger.tsv) docs/reference/rename-ledger.tsv l. 275-276 : Kelly_companion.ipynb → Kelly_companion-Python.ipynb et Kelly_companion_lean.ipynb → Kelly_companion-Lean.ipynb, 2026-10-06, lane myia-po-2024:CoursIA
    Carnet 1 (Fractional Kelly) : lake + companion exécuté Kelly/Fractional.lean et Kelly/Fractional_en.lean sur main ; companion Kelly_companion-Fractional-Python.ipynb ; figure fractional_kelly_tradeoff.png
    Carnet 2, 3 ou 4 livré les trois : Kelly_companion-Optimist-Bias-Python.ipynb (optimist_bias_loss.png), Kelly_companion-Multi-Issue-Python.ipynb (multi_issue_growth.png), Kelly_companion-Cotes-Dynamiques-Python.ipynb (cotes_dynamiques_growth.png, PR #19552 mergée)
    Section « Carnets suivants » du README alimentée MyIA.AI.Notebooks/QuantConnect/kelly_lean/README.md l. 134-145 : les trois entrées Fractional Kelly / biais de l'optimiste / Kelly multi-issue

    Le lake porte en outre Kelly/MultiIssue.lean et son sibling EN.

    Ce que je n'ai pas mesuré : le nombre de sorry du lake et l'exécution réelle des quatre companions à cette tête — la mesure porte sur la présence des artefacts et des entrées de ledger, pas sur leur rejeu.

    La fermeture revient au coordinateur ou à l'adjoint (urne delivered, #15069) ; je rends la main sans fermer.

    — lane myia-po-2026:CoursIA-2

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions