{"title":"General construction and classes of explicit L1-optimal couplings","authors":"Giovanni Puccetti, Ludger Rüschendorf","doi":"10.3150/22-bej1481","DOIUrl":null,"url":null,"abstract":"The main scope of this paper is to give some explicit classes of examples of L1-optimal couplings. Optimal transportation w.r.t. the Kantorovich metric ℓ1 (resp. the Wasserstein metric W1) between two absolutely continuous measures is known since the basic papers of Kantorovich and Rubinstein (Dokl. Akad. Nauk SSSR 115 (1957) 1058–1061) and Sudakov (Proc. Steklov Inst. Math. 141 (1979) 1–178) to occur on rays induced by a decomposition of the basic space (and more generally to higher dimensional decompositions in the case of general measures) induced by the corresponding dual potentials. Several papers have given this kind of structural result and established existence and uniqueness of solutions in varying generality. Since the dual problems pose typically too strong challenges to be solved in explicit form, these structural results have so far been applied for the solution of few particular instances. First, we give a self-contained review of some basic optimal coupling results and we propose and investigate in particular some basic principles for the construction of L1-optimal couplings given by a reduction principle and some usable forms of the decomposition method. This reduction principle, together with symmetry properties of the reduced measures, gives a hint to the decomposition of the space into sectors and via the non crossing property of optimal transport leads to the choice of transportation rays. The optimality of the induced transports is then a consequence of the characterization results of optimal couplings. Then, we apply these principles to determine in explicit form L1-optimal couplings for several classes of examples of elliptical distributions. In particular, we give for the first time a general construction of L1-optimal couplings between two bivariate Gaussian distributions. We also discuss optimality of special constructions like shifts and scalings, and provide an extended class of dual functionals allowing for the closed-form computation of the ℓ1-metric or of accurate lower bounds of it in a variety of examples.","PeriodicalId":55387,"journal":{"name":"Bernoulli","volume":"124 1","pages":"0"},"PeriodicalIF":1.5000,"publicationDate":"2023-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Bernoulli","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.3150/22-bej1481","RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"STATISTICS & PROBABILITY","Score":null,"Total":0}
引用次数: 0
Abstract
The main scope of this paper is to give some explicit classes of examples of L1-optimal couplings. Optimal transportation w.r.t. the Kantorovich metric ℓ1 (resp. the Wasserstein metric W1) between two absolutely continuous measures is known since the basic papers of Kantorovich and Rubinstein (Dokl. Akad. Nauk SSSR 115 (1957) 1058–1061) and Sudakov (Proc. Steklov Inst. Math. 141 (1979) 1–178) to occur on rays induced by a decomposition of the basic space (and more generally to higher dimensional decompositions in the case of general measures) induced by the corresponding dual potentials. Several papers have given this kind of structural result and established existence and uniqueness of solutions in varying generality. Since the dual problems pose typically too strong challenges to be solved in explicit form, these structural results have so far been applied for the solution of few particular instances. First, we give a self-contained review of some basic optimal coupling results and we propose and investigate in particular some basic principles for the construction of L1-optimal couplings given by a reduction principle and some usable forms of the decomposition method. This reduction principle, together with symmetry properties of the reduced measures, gives a hint to the decomposition of the space into sectors and via the non crossing property of optimal transport leads to the choice of transportation rays. The optimality of the induced transports is then a consequence of the characterization results of optimal couplings. Then, we apply these principles to determine in explicit form L1-optimal couplings for several classes of examples of elliptical distributions. In particular, we give for the first time a general construction of L1-optimal couplings between two bivariate Gaussian distributions. We also discuss optimality of special constructions like shifts and scalings, and provide an extended class of dual functionals allowing for the closed-form computation of the ℓ1-metric or of accurate lower bounds of it in a variety of examples.
期刊介绍:
BERNOULLI is the journal of the Bernoulli Society for Mathematical Statistics and Probability, issued four times per year. The journal provides a comprehensive account of important developments in the fields of statistics and probability, offering an international forum for both theoretical and applied work.
BERNOULLI will publish:
Papers containing original and significant research contributions: with background, mathematical derivation and discussion of the results in suitable detail and, where appropriate, with discussion of interesting applications in relation to the methodology proposed.
Papers of the following two types will also be considered for publication, provided they are judged to enhance the dissemination of research:
Review papers which provide an integrated critical survey of some area of probability and statistics and discuss important recent developments.
Scholarly written papers on some historical significant aspect of statistics and probability.