Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Bernoulli sampling lemma #1240

Draft
wants to merge 10 commits into
base: master
Choose a base branch
from
Draft

Bernoulli sampling lemma #1240

wants to merge 10 commits into from

Commits on Dec 3, 2024

  1. deprecate approximation and make its interface accessible

    @affeldt-aist
    affeldt-aist committed Dec 3, 2024
    Configuration menu
    Copy the full SHA
    84ff007 View commit details
    Browse the repository at this point in the history

  2. expectation of product

    @affeldt-aist
    affeldt-aist committed Dec 3, 2024
    Configuration menu
    Copy the full SHA
    e2b0624 View commit details
    Browse the repository at this point in the history

  3. use bool instead of I_2

    @affeldt-aist
    affeldt-aist committed Dec 3, 2024
    Configuration menu
    Copy the full SHA
    3426f2e View commit details
    Browse the repository at this point in the history

  4. complete thm 2.13

    @affeldt-aist
    affeldt-aist committed Dec 3, 2024
    Configuration menu
    Copy the full SHA
    d32696d View commit details
    Browse the repository at this point in the history

  5. expectation of product

    @affeldt-aist
    affeldt-aist committed Dec 3, 2024
    Configuration menu
    Copy the full SHA
    fa54dbf View commit details
    Browse the repository at this point in the history

  6. sampling_lemma 

    bernoulli probability measure
wise_inde_weak
complete pairwise_independentM
mutually_independent_weak
bayes
binomial_mmt_gen_fun
generalizing discrete random variables
bernoulli RVs are discrete
bernoulli_mmt_gen_fun

Co-authored-by: @affeldt-aist
Co-authored-by: @t6s
    @hoheinzollern @affeldt-aist
    hoheinzollern authored and affeldt-aist committed Dec 3, 2024
    Configuration menu
    Copy the full SHA
    e53b576 View commit details
    Browse the repository at this point in the history

  7. analytical argument

    @t6s @affeldt-aist
    t6s authored and affeldt-aist committed Dec 3, 2024
    Configuration menu
    Copy the full SHA
    ac95cac View commit details
    Browse the repository at this point in the history

  8. derivable1_homo/mono -> ger/gtr0_derive1_homo

    @t6s @affeldt-aist
    t6s authored and affeldt-aist committed Dec 3, 2024
    Configuration menu
    Copy the full SHA
    9c18d41 View commit details
    Browse the repository at this point in the history

  9. renamings

    @affeldt-aist
    affeldt-aist committed Dec 3, 2024
    Configuration menu
    Copy the full SHA
    f947149 View commit details
    Browse the repository at this point in the history

  10. split files

    @affeldt-aist
    affeldt-aist committed Dec 3, 2024
    Configuration menu
    Copy the full SHA
    404d5e6 View commit details
    Browse the repository at this point in the history