
An obvious connection with the specification of vector quantile regression (i.e. the validity of an affine in $x$ form for the conditional quantile) is given by:

If $Y=\nabla \varphi(U)+ Db(U)^T X$ with

-   $u\mapsto \varphi(u)+ b(u)\cdot x$ convex and smooth for $m$-a.e $x$,

-   $\mathop{\mathrm{Law}}\nolimits(U)=\mu$, ${{\bf}{E}}(X\vert U)=0$,

then $U$ solves (\[maxcorrmimd\]).

This result follows from [@ccg], but for the sake of completeness, we give a proof: $$Y=\nabla \Phi_X(U), \mbox{ with } \Phi_X(t)=\varphi(t)+b(X)\cdot t.$$ Let $V$ be such that ${\mathop{\mathrm{Law}}\nolimits}(V)=\mu$, ${{{\bf}E}}(X\vert V)=0$, then by Young’s inequality $$V\cdot Y \le  \Phi_X(V)+\Phi_X^*(Y)$$ but $Y=\nabla \Phi_X(U)$ implies that $$U\cdot Y =  \Phi_X(U)+\Phi_X^*(Y)$$ so taking expectations gives the desired result.

Duality {#mvqr2}
-------

From now on, we do not assume a particular form for the conditional quantile and wish to study which information (\[maxcorrmimd\]) can give regarding the dependence of $X$ and $Y$. Once again, a good starting point is convex duality. As explained in details in [@ccg], the dual of ([maxcorrmimd]{}) takes the form $$\label{dualmimc}
\inf_{(\psi, \varphi, b)} {{\bf}{E}}(\psi(X,Y)+\varphi(U)) \; : \;
\psi(x,y)+\varphi(t)+b(t)\cdot x\ge t\cdot y.$$ where $U$ is any uniformly distributed random vector on $[0,1]^d$ i.e. $\mathop{\mathrm{Law}}\nolimits(U)=\mu=\mathop{\mathrm{uniform}}\nolimits([0,1]^d)$ and the infimum is taken over continuous functions $\psi\in C(\mathop{\mathrm{spt}}\nolimits
An obvious connection with the specification of vector quantile regression (i.e. the validity of an affine in $ x$ human body for the conditional quantile) is render by: 

 If $ Y=\nabla \varphi(U)+ Db(U)^T X$ with 

 -    $ u\mapsto \varphi(u)+ b(u)\cdot x$ convex and smooth for $ m$-a.e $ x$, 

 -    $ \mathop{\mathrm{Law}}\nolimits(U)=\mu$, $ { { \bf}{E}}(X\vert U)=0 $, 

 then $ U$ solves (\[maxcorrmimd\ ]). 

 This result follows from [ @ccg ], but for the sake of completeness, we hold a proof: $ $ Y=\nabla \Phi_X(U), \mbox { with } \Phi_X(t)=\varphi(t)+b(X)\cdot t.$$ Let $ V$ be such that $ { \mathop{\mathrm{Law}}\nolimits}(V)=\mu$, $ { { { \bf}E}}(X\vert V)=0 $, then by Young ’s inequality $ $ V\cdot Y \le   \Phi_X(V)+\Phi_X^*(Y)$$ but $ Y=\nabla \Phi_X(U)$ incriminate that $ $ U\cdot yttrium =   \Phi_X(U)+\Phi_X^*(Y)$$ so taking expectations gives the desired resultant role. 

 Duality { # mvqr2 } 
 ------- 

 From now on, we do not wear a particular form for the conditional quantile and wish to study which information (\[maxcorrmimd\ ]) can give see the dependence of $ X$ and $ Y$. Once again, a good starting compass point is convex duality. As explained in details in [ @ccg ], the dual of ([ maxcorrmimd ] { }) takes the kind $ $ \label{dualmimc } 
 \inf_{(\psi, \varphi, b) } { { \bf}{E}}(\psi(X, Y)+\varphi(U) ) \; : \; 
 \psi(x, y)+\varphi(t)+b(t)\cdot x\ge t\cdot y.$$ where $ U$ is any uniformly distributed random vector on $ [ 0,1]^d$ i.e. $ \mathop{\mathrm{Law}}\nolimits(U)=\mu=\mathop{\mathrm{uniform}}\nolimits([0,1]^d)$ and the infimum is taken over continuous functions $ \psi\in C(\mathop{\mathrm{spt}}\nolimits

An lbvious connection with uhe specification of vecvor quahtile reeression (i.e. the validity of en adfine in $x$ form for the conaitional euantile) is jiven by:

If $Y=\nable \varphi(M)+ Db(U)^F X$ wnti

-   $u\mapsto \varkhi(u)+ b(u)\cdot f$ convex and skoutk for $m$-a.e $x$,

-   $\mathop{\mathrm{Law}}\nolimitf(U)=\mu$, ${{\bf}{R}}(X\gert U)=0$,

then $U$ sjlvex (\[maxdorrmimd\]).

This result follows from [@cdg], but hor the sake of completeness, we give a prlof: $$J=\nabla \Phi_X(U), \mbox{ aith } \Phi_X(t)=\carpru(t)+b(X)\cdot t.$$ Ldt $V$ be subk that ${\mathkp{\mathrm{Law}}\nolimits}(V)=\mu$, ${{{\bf}E}}(X\vert V)=0$, thzn by Young’w uneeoality $$V\cdot Y \le  \Phi_X(V)+\Phi_X^*(Y)$$ but $Y=\natla \Phi_C(U)$ implies thab $$U\cdmt T =  \Phi_X(U)+\Phi_X^*(Y)$$ so takmng expectations givgs the deshrzd result.

Duality {#mvqr2}
-------

Drim nof on, we ai nut zsxuje a pwrtmcular form for the cobditional quantile snq wish to studg whicr ynformation (\[maxcorrmimd\]) can give regardpng fhe dependence of $X$ and $Y$. Once again, a good dtarting [oint is convex duality. As explained in details it [@ccg], ghe dmal ud ([laxcorrmimd]{}) takes the form $$\label{dualmimc}
\inf_{(\psy, \vsrihi, b)} {{\bf}{E}}(\psi(X,Y)+\varihi(U)) \; : \;
\psi(x,y)+\varphi(y)+b(h)\ccjt x\ge t\cdot i.$$ where $U$ js any uniformly dlstribujed rabdom vectjr om $[0,1]^d$ i.e. $\mathop{\mathrm{Law}}\nolimuts(U)=\mu=\mathop{\iqthrm{uniform}}\nolimics([0,1]^d)$ and the nnfimuk is yaken over continuous fbnctiohs $\psi\in C(\mwthop{\mathdo{spt}}\nolimits
An obvious connection with the specification of regression the validity an affine in quantile) given by: If \varphi(U)+ Db(U)^T X$ - $u\mapsto \varphi(u)+ b(u)\cdot x$ convex smooth for $m$-a.e $x$, - $\mathop{\mathrm{Law}}\nolimits(U)=\mu$, ${{\bf}{E}}(X\vert U)=0$, then $U$ solves (\[maxcorrmimd\]). This follows from [@ccg], but for the sake of completeness, we give a proof: \Phi_X(U), with \Phi_X(t)=\varphi(t)+b(X)\cdot Let $V$ be such that ${\mathop{\mathrm{Law}}\nolimits}(V)=\mu$, ${{{\bf}E}}(X\vert V)=0$, then by Young’s inequality $$V\cdot Y \le \Phi_X(V)+\Phi_X^*(Y)$$ $Y=\nabla \Phi_X(U)$ implies that $$U\cdot Y = \Phi_X(U)+\Phi_X^*(Y)$$ taking expectations gives the result. Duality {#mvqr2} ------- From on, do not a form the conditional quantile wish to study which information (\[maxcorrmimd\]) can give regarding the dependence of $X$ and $Y$. Once again, good starting convex duality. explained details [@ccg], the dual takes the form $$\label{dualmimc} \inf_{(\psi, \varphi, : \; \psi(x,y)+\varphi(t)+b(t)\cdot x\ge t\cdot y.$$ where $U$ any uniformly random vector on $[0,1]^d$ i.e. $\mathop{\mathrm{Law}}\nolimits(U)=\mu=\mathop{\mathrm{uniform}}\nolimits([0,1]^d)$ the infimum is taken over continuous functions $\psi\in

An obvious connection with thE specificaTion oF veCtoR qUantIle rEgression (i.e. the VAlidIty of an affine in $x$ form foR the cOnDItioNAl QuantIle) is giVEn BY:

if $Y=\NaBlA \vaRpHI(U)+ db(U)^T X$ WitH

-   $u\mapstO \varphi(u)+ b(u)\CdoT x$ Convex and smoOTh For $m$-a.e $x$,

-   $\matHop{\Mathrm{Law}}\nolImiTs(U)=\mu$, ${{\bF}{E}}(x\veRT U)=0$,

theN $U$ sOlves (\[MaxcorRMimd\]).

ThIs result fOlLOws froM [@Ccg], but fOR ThE sakE of completeness, we GIvE A proof: $$Y=\nabla \PhI_X(U), \mboX{ wITh } \pHI_X(t)=\VarPhi(t)+b(X)\cdot T.$$ LEt $V$ be SUch that ${\MAtHOP{\MatHRm{Law}}\nolimits}(v)=\mu$, ${{{\bf}E}}(X\vert v)=0$, TheN by YouNg’S inEQualitY $$V\cdoT Y \LE  \PhI_X(V)+\Phi_X^*(Y)$$ but $y=\nabLa \Phi_X(U)$ imPlies tHAt $$U\cdot y =  \phi_X(U)+\PhI_X^*(Y)$$ so tAkiNg eXpecTAtIoNs gIvES thE DeSirED reSult.

DualItY {#mVqr2}
-------

FrOm noW ON, WE do nOt aSsumE a parTicular form foR thE conDItiOnal qUantiLe anD wIsh to Study wHich iNfOrmation (\[maxcorrMimd\]) Can give reGarDiNg tHe DepenDEnce of $x$ anD $Y$. ONce agaiN, a good sTArtInG POInT is convex duality. As ExPLAiNed in detAils in [@CCg], ThE Dual of ([maXcOrrMimd]{}) TAKes thE forM $$\LaBel{dualmImc}
\inf_{(\PSi, \VaRphi, b)} {{\bf}{e}}(\pSi(X,Y)+\vaRpHi(U)) \; : \;
\Psi(X,y)+\varPHi(t)+b(T)\cdot x\Ge t\cdot y.$$ Where $u$ Is any uniformly DIstributed ranDOm VECtOR on $[0,1]^d$ I.e. $\mAthop{\mathrm{law}}\nOLimiTs(U)=\mU=\MaThoP{\MathrM{unifOrM}}\NoLImits([0,1]^d)$ and the infimum Is Taken oVer coNtinuous functIons $\psi\in C(\MATHop{\mathrM{spt}}\NOlIMits

An obvious connection wit h the spec ifica tio n o fvect or q uantile regres s ion(i.e. the validity ofan af fi n e in $x $ for m for t h ec o ndi ti on alqu a nt ile)isgiven b y:

If $Y= \na bl a \varphi(U) +  D b(U)^T X$wit h

-   $u\ma pst o \var ph i(u ) + b(u )\c dot x $ conv e x andsmooth fo r$ m$-a.e $x$,

-  $ \mat hop{\mathrm{Law}} \ no l imits(U)=\mu$,  ${{\b f} { E} } ( X\v ert  U)=0$,

t he n $U$ solves( \[ m a x cor r mimd\]).

Thi s result fo l low s from  [ @cc g ], but  forth e  sa ke of compl eten ess, we g ive ap roof: $ $ Y=\nabl a \Phi _X( U),  \mb o x{  w ith  } \Ph i _X (t) = \va rphi(t)+ b( X) \cdot  t.$ $ L e t $V $ b e su ch th at ${\mathop{ \ma thrm { Law }}\no limit s}(V )= \mu$,  ${{{\ bf}E} }( X\vert V)=0$, t henby Young’ s i ne qua li ty $$ V \cdotY \ le \Phi_X (V)+\Ph i _X^ *( Y ) $ $but $Y=\nabla \Phi _X ( U )$  implies  that$ $U \c d ot Y = \P hi_ X(U) + \ Phi_X ^*(Y ) $$  so taki ng exp e ct at ions gi ve s thede sir edresul t .

D uality  {#mvqr2 }
--- - ---

From nowo n, we do nota ss u m ea  par tic ular form f or t h e co ndit i on alq uanti le an dw is h  to study which inf or mation  (\[m axcorrmimd\])  can giver e g arding t he d e pe n dence of $X$ a nd $Y $. Once ag a in, a go od st arting p oint is c o n vex dual ity . A s e xpl a i ne d in detailsi n  [@c cg ], thedua l of ([ max cor rmi md] {} ) takes t he form$$ \l ab el {du almim c }
\inf_{ (\ psi ,\va rphi, b)} {{ \bf}{ E}}( \p si ( X,Y )+\varp h i( U ) ) \;  :  \ ;
\p si( x, y)+\v arph i (t) +b(t)\c dot x\get\c d ot y .$ $where $ U$ is any uni fo rmly distr ib ute d rand o m  vectoron $[0,1]^d$ i.e. $\mat h op{\mat hrm {Law} }\no limits(U) =\m u=\mat hop { \mathr m{unif orm}} \n oli m i ts([0 , 1 ]^ d)$  a nd the inf i m umis ta ke n ov er cont inuous functions $ \ psi \in C(\mathop {\m athr m { sp t}} \ no l imi ts 

An obvious_connection with_the specification of vector_quantile regression_(i.e._the validity_of_an affine in_$x$ form for_the conditional quantile) is_given by:

If $Y=\nabla_\varphi(U)+_Db(U)^T X$ with

-   $u\mapsto \varphi(u)+ b(u)\cdot x$ convex and smooth for $m$-a.e_$x$,

-_ _$\mathop{\mathrm{Law}}\nolimits(U)=\mu$,_${{\bf}{E}}(X\vert_U)=0$,

then $U$ solves (\[maxcorrmimd\]).

This result_follows from [@ccg], but for_the sake_of completeness, we give a proof: $$Y=\nabla \Phi_X(U),_\mbox{_with } \Phi_X(t)=\varphi(t)+b(X)\cdot_t.$$ Let $V$ be such that ${\mathop{\mathrm{Law}}\nolimits}(V)=\mu$, ${{{\bf}E}}(X\vert V)=0$,_then by Young’s inequality $$V\cdot Y_\le  \Phi_X(V)+\Phi_X^*(Y)$$_but_$Y=\nabla_\Phi_X(U)$ implies that $$U\cdot_Y =  \Phi_X(U)+\Phi_X^*(Y)$$ so taking_expectations gives the desired result.

Duality {#mvqr2}
-------

From_now on, we do not assume a_particular form for the conditional quantile_and wish to study which_information (\[maxcorrmimd\])_can give regarding the dependence_of $X$ and_$Y$. Once_again, a good_starting point is convex duality. As_explained in details_in [@ccg], the dual of ([maxcorrmimd]{})_takes_the form $$\label{dualmimc}
\inf_{(\psi,_\varphi,_b)}_{{\bf}{E}}(\psi(X,Y)+\varphi(U)) \;_: \;
\psi(x,y)+\varphi(t)+b(t)\cdot x\ge_t\cdot_y.$$ where_$U$_is any uniformly distributed random vector_on_$[0,1]^d$ i.e. $\mathop{\mathrm{Law}}\nolimits(U)=\mu=\mathop{\mathrm{uniform}}\nolimits([0,1]^d)$ and the infimum is_taken over continuous functions_$\psi\in_C(\mathop{\mathrm{spt}}\nolimits