Show that X is a sub-gaussian random vector with dependent sub-gaussian coordinates












0












$begingroup$


Let $X in R^n$ be a zero mean, random vector with sub-gaussian coordinates $X_i$.



prove that X is a sub-gaussian random vector no matter if coordinates are independent or dependent.



It is easy to prove the result in the case of independent coordinates.



When it comes to the case of dependent coordinates, I think of the definition of multivariate normal distribution but don't know if it works for sub-gaussian family.



Assume a random vector Z $in R^n$ has independent zero mean, unit variance, sub-gaussian coordinates and denote $Sigma_X$as the covariance matrix of X, we can find a Z such that $Sigma_X^{1/2} Z$ has the same distribution as X.

Because for $forall a in R^n$ $a^{T}Sigma_X^{1/2} in R^n$, given the case of independent coordinates, we can say for $forall a in R^n, a^{T}Sigma_X^{1/2}Z = a^{T}X$ is sub-gaussion distributed. So X is a sub-gaussian random vector.



I am not sure if the proof is right for the whole sub-gaussian family, because I am not sure we can find a Z that $Sigma_X^{1/2} Z$ is distributed same as X.



Any suggestions and ideas?










share|cite|improve this question











$endgroup$

















    0












    $begingroup$


    Let $X in R^n$ be a zero mean, random vector with sub-gaussian coordinates $X_i$.



    prove that X is a sub-gaussian random vector no matter if coordinates are independent or dependent.



    It is easy to prove the result in the case of independent coordinates.



    When it comes to the case of dependent coordinates, I think of the definition of multivariate normal distribution but don't know if it works for sub-gaussian family.



    Assume a random vector Z $in R^n$ has independent zero mean, unit variance, sub-gaussian coordinates and denote $Sigma_X$as the covariance matrix of X, we can find a Z such that $Sigma_X^{1/2} Z$ has the same distribution as X.

    Because for $forall a in R^n$ $a^{T}Sigma_X^{1/2} in R^n$, given the case of independent coordinates, we can say for $forall a in R^n, a^{T}Sigma_X^{1/2}Z = a^{T}X$ is sub-gaussion distributed. So X is a sub-gaussian random vector.



    I am not sure if the proof is right for the whole sub-gaussian family, because I am not sure we can find a Z that $Sigma_X^{1/2} Z$ is distributed same as X.



    Any suggestions and ideas?










    share|cite|improve this question











    $endgroup$















      0












      0








      0





      $begingroup$


      Let $X in R^n$ be a zero mean, random vector with sub-gaussian coordinates $X_i$.



      prove that X is a sub-gaussian random vector no matter if coordinates are independent or dependent.



      It is easy to prove the result in the case of independent coordinates.



      When it comes to the case of dependent coordinates, I think of the definition of multivariate normal distribution but don't know if it works for sub-gaussian family.



      Assume a random vector Z $in R^n$ has independent zero mean, unit variance, sub-gaussian coordinates and denote $Sigma_X$as the covariance matrix of X, we can find a Z such that $Sigma_X^{1/2} Z$ has the same distribution as X.

      Because for $forall a in R^n$ $a^{T}Sigma_X^{1/2} in R^n$, given the case of independent coordinates, we can say for $forall a in R^n, a^{T}Sigma_X^{1/2}Z = a^{T}X$ is sub-gaussion distributed. So X is a sub-gaussian random vector.



      I am not sure if the proof is right for the whole sub-gaussian family, because I am not sure we can find a Z that $Sigma_X^{1/2} Z$ is distributed same as X.



      Any suggestions and ideas?










      share|cite|improve this question











      $endgroup$




      Let $X in R^n$ be a zero mean, random vector with sub-gaussian coordinates $X_i$.



      prove that X is a sub-gaussian random vector no matter if coordinates are independent or dependent.



      It is easy to prove the result in the case of independent coordinates.



      When it comes to the case of dependent coordinates, I think of the definition of multivariate normal distribution but don't know if it works for sub-gaussian family.



      Assume a random vector Z $in R^n$ has independent zero mean, unit variance, sub-gaussian coordinates and denote $Sigma_X$as the covariance matrix of X, we can find a Z such that $Sigma_X^{1/2} Z$ has the same distribution as X.

      Because for $forall a in R^n$ $a^{T}Sigma_X^{1/2} in R^n$, given the case of independent coordinates, we can say for $forall a in R^n, a^{T}Sigma_X^{1/2}Z = a^{T}X$ is sub-gaussion distributed. So X is a sub-gaussian random vector.



      I am not sure if the proof is right for the whole sub-gaussian family, because I am not sure we can find a Z that $Sigma_X^{1/2} Z$ is distributed same as X.



      Any suggestions and ideas?







      probability statistics normal-distribution






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Jan 15 at 1:36







      Dylon

















      asked Jan 13 at 18:32









      DylonDylon

      63




      63






















          1 Answer
          1






          active

          oldest

          votes


















          0












          $begingroup$

          Let $X=(X_1,...X_n) in R^n$ be a random vector with sub-gaussians coordinates $X_i$. By definition it is sub-gaussian iff the random variable $langle X,xrangle$ is sub-gaussian for any $x in mathbb{R}^n$.
          Consider $x in mathbb{R}^n$ We will show that $Y:= langle X,xrangle$ satisfies $$lVert YrVert_p leq K_2 sqrt{p} enspace forall pgeq 1$$
          (one of the equivalent definitions for being sub-gaussian).
          Indeed,
          begin{align*}
          lVert YrVert_p= lVert{displaystyle sum_{i=1}^nx_iX_i}rVert_p leqsum_{i=1}^n|x_i|lVert X_i rVert_p\
          leq (sum_{i=1}^n|x_i|K_{2i})sqrt{p} && (lVert X_i rVert_p leq K_{2i}sqrt{p}, enspace text{since $X_i$ are sub-gaussian}) \
          implieslVert YrVert_p leq Ksqrt{p} enspace forall pgeq 1 && (text{ where $K=sum_{i=1}^n|x_i|K_{2i}$})
          end{align*}

          I used prop 2.5.2 and definition 3.4.1 from the following book of Roman Vershynin High-Dimensional Probability






          share|cite|improve this answer










          New contributor




          sakas is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
          Check out our Code of Conduct.






          $endgroup$














            Your Answer








            StackExchange.ready(function() {
            var channelOptions = {
            tags: "".split(" "),
            id: "69"
            };
            initTagRenderer("".split(" "), "".split(" "), channelOptions);

            StackExchange.using("externalEditor", function() {
            // Have to fire editor after snippets, if snippets enabled
            if (StackExchange.settings.snippets.snippetsEnabled) {
            StackExchange.using("snippets", function() {
            createEditor();
            });
            }
            else {
            createEditor();
            }
            });

            function createEditor() {
            StackExchange.prepareEditor({
            heartbeatType: 'answer',
            autoActivateHeartbeat: false,
            convertImagesToLinks: true,
            noModals: true,
            showLowRepImageUploadWarning: true,
            reputationToPostImages: 10,
            bindNavPrevention: true,
            postfix: "",
            imageUploader: {
            brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
            contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
            allowUrls: true
            },
            noCode: true, onDemand: true,
            discardSelector: ".discard-answer"
            ,immediatelyShowMarkdownHelp:true
            });


            }
            });














            draft saved

            draft discarded


















            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3072363%2fshow-that-x-is-a-sub-gaussian-random-vector-with-dependent-sub-gaussian-coordina%23new-answer', 'question_page');
            }
            );

            Post as a guest















            Required, but never shown

























            1 Answer
            1






            active

            oldest

            votes








            1 Answer
            1






            active

            oldest

            votes









            active

            oldest

            votes






            active

            oldest

            votes









            0












            $begingroup$

            Let $X=(X_1,...X_n) in R^n$ be a random vector with sub-gaussians coordinates $X_i$. By definition it is sub-gaussian iff the random variable $langle X,xrangle$ is sub-gaussian for any $x in mathbb{R}^n$.
            Consider $x in mathbb{R}^n$ We will show that $Y:= langle X,xrangle$ satisfies $$lVert YrVert_p leq K_2 sqrt{p} enspace forall pgeq 1$$
            (one of the equivalent definitions for being sub-gaussian).
            Indeed,
            begin{align*}
            lVert YrVert_p= lVert{displaystyle sum_{i=1}^nx_iX_i}rVert_p leqsum_{i=1}^n|x_i|lVert X_i rVert_p\
            leq (sum_{i=1}^n|x_i|K_{2i})sqrt{p} && (lVert X_i rVert_p leq K_{2i}sqrt{p}, enspace text{since $X_i$ are sub-gaussian}) \
            implieslVert YrVert_p leq Ksqrt{p} enspace forall pgeq 1 && (text{ where $K=sum_{i=1}^n|x_i|K_{2i}$})
            end{align*}

            I used prop 2.5.2 and definition 3.4.1 from the following book of Roman Vershynin High-Dimensional Probability






            share|cite|improve this answer










            New contributor




            sakas is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
            Check out our Code of Conduct.






            $endgroup$


















              0












              $begingroup$

              Let $X=(X_1,...X_n) in R^n$ be a random vector with sub-gaussians coordinates $X_i$. By definition it is sub-gaussian iff the random variable $langle X,xrangle$ is sub-gaussian for any $x in mathbb{R}^n$.
              Consider $x in mathbb{R}^n$ We will show that $Y:= langle X,xrangle$ satisfies $$lVert YrVert_p leq K_2 sqrt{p} enspace forall pgeq 1$$
              (one of the equivalent definitions for being sub-gaussian).
              Indeed,
              begin{align*}
              lVert YrVert_p= lVert{displaystyle sum_{i=1}^nx_iX_i}rVert_p leqsum_{i=1}^n|x_i|lVert X_i rVert_p\
              leq (sum_{i=1}^n|x_i|K_{2i})sqrt{p} && (lVert X_i rVert_p leq K_{2i}sqrt{p}, enspace text{since $X_i$ are sub-gaussian}) \
              implieslVert YrVert_p leq Ksqrt{p} enspace forall pgeq 1 && (text{ where $K=sum_{i=1}^n|x_i|K_{2i}$})
              end{align*}

              I used prop 2.5.2 and definition 3.4.1 from the following book of Roman Vershynin High-Dimensional Probability






              share|cite|improve this answer










              New contributor




              sakas is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
              Check out our Code of Conduct.






              $endgroup$
















                0












                0








                0





                $begingroup$

                Let $X=(X_1,...X_n) in R^n$ be a random vector with sub-gaussians coordinates $X_i$. By definition it is sub-gaussian iff the random variable $langle X,xrangle$ is sub-gaussian for any $x in mathbb{R}^n$.
                Consider $x in mathbb{R}^n$ We will show that $Y:= langle X,xrangle$ satisfies $$lVert YrVert_p leq K_2 sqrt{p} enspace forall pgeq 1$$
                (one of the equivalent definitions for being sub-gaussian).
                Indeed,
                begin{align*}
                lVert YrVert_p= lVert{displaystyle sum_{i=1}^nx_iX_i}rVert_p leqsum_{i=1}^n|x_i|lVert X_i rVert_p\
                leq (sum_{i=1}^n|x_i|K_{2i})sqrt{p} && (lVert X_i rVert_p leq K_{2i}sqrt{p}, enspace text{since $X_i$ are sub-gaussian}) \
                implieslVert YrVert_p leq Ksqrt{p} enspace forall pgeq 1 && (text{ where $K=sum_{i=1}^n|x_i|K_{2i}$})
                end{align*}

                I used prop 2.5.2 and definition 3.4.1 from the following book of Roman Vershynin High-Dimensional Probability






                share|cite|improve this answer










                New contributor




                sakas is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                Check out our Code of Conduct.






                $endgroup$



                Let $X=(X_1,...X_n) in R^n$ be a random vector with sub-gaussians coordinates $X_i$. By definition it is sub-gaussian iff the random variable $langle X,xrangle$ is sub-gaussian for any $x in mathbb{R}^n$.
                Consider $x in mathbb{R}^n$ We will show that $Y:= langle X,xrangle$ satisfies $$lVert YrVert_p leq K_2 sqrt{p} enspace forall pgeq 1$$
                (one of the equivalent definitions for being sub-gaussian).
                Indeed,
                begin{align*}
                lVert YrVert_p= lVert{displaystyle sum_{i=1}^nx_iX_i}rVert_p leqsum_{i=1}^n|x_i|lVert X_i rVert_p\
                leq (sum_{i=1}^n|x_i|K_{2i})sqrt{p} && (lVert X_i rVert_p leq K_{2i}sqrt{p}, enspace text{since $X_i$ are sub-gaussian}) \
                implieslVert YrVert_p leq Ksqrt{p} enspace forall pgeq 1 && (text{ where $K=sum_{i=1}^n|x_i|K_{2i}$})
                end{align*}

                I used prop 2.5.2 and definition 3.4.1 from the following book of Roman Vershynin High-Dimensional Probability







                share|cite|improve this answer










                New contributor




                sakas is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                Check out our Code of Conduct.









                share|cite|improve this answer



                share|cite|improve this answer








                edited Apr 14 at 22:51





















                New contributor




                sakas is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                Check out our Code of Conduct.









                answered Apr 14 at 22:44









                sakassakas

                12




                12




                New contributor




                sakas is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                Check out our Code of Conduct.





                New contributor





                sakas is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                Check out our Code of Conduct.






                sakas is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                Check out our Code of Conduct.






























                    draft saved

                    draft discarded




















































                    Thanks for contributing an answer to Mathematics Stack Exchange!


                    • Please be sure to answer the question. Provide details and share your research!

                    But avoid



                    • Asking for help, clarification, or responding to other answers.

                    • Making statements based on opinion; back them up with references or personal experience.


                    Use MathJax to format equations. MathJax reference.


                    To learn more, see our tips on writing great answers.




                    draft saved


                    draft discarded














                    StackExchange.ready(
                    function () {
                    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3072363%2fshow-that-x-is-a-sub-gaussian-random-vector-with-dependent-sub-gaussian-coordina%23new-answer', 'question_page');
                    }
                    );

                    Post as a guest















                    Required, but never shown





















































                    Required, but never shown














                    Required, but never shown












                    Required, but never shown







                    Required, but never shown

































                    Required, but never shown














                    Required, but never shown












                    Required, but never shown







                    Required, but never shown







                    Popular posts from this blog

                    Bressuire

                    Cabo Verde

                    Gyllenstierna