Source author record

Brendan Pass

Brendan Pass appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

28works
16topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

28 published item(s)

preprint2022arXiv

Monge solutions and uniqueness in multi-marginal optimal transport: weaker conditions on the cost, stronger conditions on the marginals

We establish a general condition on the cost function to obtain uniqueness and Monge solutions in the multi-marginal optimal transport problem, under the assumption that a given collection of the marginals are absolutely continuous with respect to local coordinates. When only the first marginal is assumed to be absolutely continuous, our condition is equivalent to the twist on splitting sets condition found in [23]. In addition, it is satisfied by the special cost functions in our earlier work [32, 33], when absolute continuity is imposed on certain other collections of marginals. We also present several new examples of cost functions which violate the twist on splitting sets condition but satisfy the new condition introduced here; we therefore obtain Monge solution and uniqueness results for these cost functions, under regularity conditions on an appropriate subset of the marginals.

preprint2022arXiv

Transport type metrics on the space of probability measures involving singular base measures

We develop the theory of a metric, which we call the $ν$-based Wasserstein metric and denote by $W_ν$, on the set of probability measures $\mathcal P(X)$ on a domain $X \subseteq \mathbb{R}^m$. This metric is based on a slight refinement of the notion of generalized geodesics with respect to a base measure $ν$ and is relevant in particular for the case when $ν$ is singular with respect to $m$-dimensional Lebesgue measure; it is also closely related to the concept of linearized optimal transport. The $ν$-based Wasserstein metric is defined in terms of an iterated variational problem involving optimal transport to $ν$; we also characterize it in terms of integrations of classical Wasserstein distance between the conditional probabilities and through limits of certain multi-marginal optimal transport problems. As we vary the base measure $ν$, the $ν$-based Wasserstein metric interpolates between the usual quadratic Wasserstein distance and a metric associated with the uniquely defined generalized geodesics obtained when $ν$ is sufficiently regular. When $ν$ concentrates on a lower dimensional submanifold of $\mathbb{R}^m$, we prove that the variational problem in the definition of the $ν$-based Wasserstein distance has a unique solution. We establish geodesic convexity of the usual class of functionals and of the set of source measures $μ$ such that optimal transport between $μ$ and $ν$ satisfies a strengthening of the generalized nestedness condition introduced in \cite{McCannPass20}.We finally introduce a slight variant of the dual metric mentioned above in order to prove convergence of an iterative scheme to solve a variational problem arising in game theory.

preprint2021arXiv

Identification of hedonic equilibrium and nonseparable simultaneous equations

This paper derives conditions under which preferences and technology are nonparametrically identified in hedonic equilibrium models, where products are differentiated along more than one dimension and agents are characterized by several dimensions of unobserved heterogeneity. With products differentiated along a quality index and agents characterized by scalar unobserved heterogeneity, single crossing conditions on preferences and technology provide identifying restrictions in Ekeland, Heckman and Nesheim (2004) and Heckman, Matzkin and Nesheim (2010). We develop similar shape restrictions in the multi-attribute case. These shape restrictions, which are based on optimal transport theory and generalized convexity, allow us to identify preferences for goods differentiated along multiple dimensions, from the observation of a single market. We thereby derive nonparametric identification results for nonseparable simultaneous equations and multi-attribute hedonic equilibrium models with (possibly) multiple dimensions of unobserved heterogeneity. One of our results is a proof of absolute continuity of the distribution of endogenously traded qualities, which is of independent interest.

preprint2020arXiv

Generalized barycenters and variance maximization on metric spaces

We show that the variance of a probability measure $μ$ on a compact subset $X$ of a complete metric space $M$ is bounded by the square of the circumradius $R$ of the canonical embedding of $X$ into the space $P(M)$ of probability measures on $M$, equipped with the Wasserstein metric. When barycenters of measures on $X$ are unique (such as on CAT($0$) spaces), our approach shows that $R$ in fact coincides with the circumradius of $X$ and so this result extends a recent result of Lim-McCann from Euclidean space. Our approach involves bi-linear minimax theory on $P(X) \times P(M)$ and extends easily to the case when the variance is replaced by very general moments. As an application, we provide a simple proof of Jung's theorem on CAT($k$) spaces, a result originally due to Dekster and Lang-Schroeder.

preprint2020arXiv

Multi-marginal optimal transport on the Heisenberg group

We consider the multi-marginal optimal transport of aligning several compactly supported marginals on the Heisenberg group to minimize the total cost, which we take to be the sum of the squared Carnot-Carathéodory distances from the marginal points to their barycenter. Under certain technical hypotheses, we prove existence and uniqueness of optimal maps. We also point out several related open questions.

preprint2020arXiv

Multi-marginal optimal transportation problem for cyclic costs

We study a multi-marginal optimal transportation problem with a cost function of the form $c(x_{1}, \ldots,x_{m})=\sum_{k=1}^{m-1}|x_{k}-x_{k+1}|^{2} + |x_{m}- F(x_{1})|^{2}$, where $F: \mathbb{R}^n \rightarrow \mathbb{R}^n$. When $m=4$, $F$ is a positive multiple of the identity mapping, and the first and last marginals are absolutely continuous with respect to Lebesgue measure, we establish that any solution of the Kantorovich problem is induced by a map; the solution is therefore unique. We go on to show that this result is sharp in a certain sense. Precisely, we exhibit examples showing that Kantorovich solutions may concentrate on a higher dimensional sets if any of the following hold: 1) $F$ is any linear mapping other than a positive scalar multiple of the identity, 2) the last marginal is not absolutely continuous with respect to Lebesgue measure, or 3) the number of marginals $m \geq 5$, even when $F$ is the identity mapping.

preprint2016arXiv

Multi- to one-dimensional transportation

Fix probability densities $f$ and $g$ on open sets $X \subset \mathbf{R}^m$ and $Y \subset \mathbf{R}^n$ with $m\ge n\ge1$. Consider transporting $f$ onto $g$ so as to minimize the cost $-s(x,y)$. We give a non-degeneracy condition (a) on $s \in C^{1,1}$ which ensures the set of $x$ paired with [$g$-a.e.] $y\in Y$ lie in a codimension $n$ submanifold of $X$. Specializing to the case $m>n=1$, we discover a nestedness criteria relating $s$ to $(f,g)$ which allows us to construct a unique optimal solution in the form of a map $F:X \longrightarrow \overline Y$. When $s\in C^2 \cap W^{3,1}$ and $\log f$ and $\log g$ are bounded, the Kantorovich dual potentials $(u,v)$ satisfy $v \in C^{1,1}_{loc}(Y)$, and the normal velocity $V$ of $F^{-1}(y)$ with respect to changes in $y$ is given by $V(x) = v"(f(x))-s_{yy}(x,f(x))$. Positivity (b) of $V$ locally implies a Lipschitz bound on $f$; moreover, $v \in C^2$ if ${F^{-1}(y)}$ intersects $\partial X \in C^1$ transversally (c). On subsets where (a)-(c) can be be quantified, for each integer $r \ge1$ the norms of $u,v \in C^{r+1,1}$ and $F \in C^{r,1}$ are controlled by these bounds, $||\log f,\log g, \partial X ||_{C^{r-1,1}}, ||\partial X||_{C^{1,1}}$, $||s||_{C^{r+1,1}}$, and the smallness of $F^{-1}(y)$. We give examples showing regularity extends from $X$ to part of $\bar X$, but not from $Y$ to $\bar Y$. We also show that when $s$ remains nested for all $(f,g)$, the problem in $\mathbf{R}^m \times \mathbf{R}$ reduces to a supermodular problem in $\mathbf{R} \times \mathbf{R}$.

preprint2016arXiv

Multidimensional matching

We present a general analysis of multidimensional matching problems with transferable utility, paying particular attention to the case in which the dimensions of heterogeneity on the two sides of the market are unequal. A particular emphasis is put on problems where agents on one side of the market are multidimensional and agents on the other side are uni-dimensional, we describe a general approach to solve such problems. Lastly, we analyze several examples, including an hedonic model with differentiated products, a marriage market model where wives are differentiated in income and fertility, and a competitive variation of the Rochet-Choné problem. In the latter example, we show that the bunching phenomena, observed by Rochet and Choné in the monopoly context, do not occur in the competitive context

preprint2015arXiv

Nonpositive curvature, the variance functional, and the Wasserstein barycenter

This paper connects nonpositive sectional curvature of a Riemannian manifold with the displacement convexity of the variance functional on the space $P(M)$ of probability measures over $M$. We show that $M$ has nonpositive sectional curvature and has trivial topology (i.e, is homeomorphic to $\mathbf{R}^n$) if and only if the variance functional on $P(M)$ is displacement convex. This is followed by a Jensen type inequality for the variance functional with respect to Wasserstein barycenters, as well as by a result comparing the variance of the Wasserstein and linear barycenters of a probability measure on $P(M)$ (that is, an element of $P(P(M))$). These results are applied to invariant measures under isometry group actions, giving a comparison for the variance functional between the Wasserstein projection and the $L^2$ projection to the set of invariant measures.

preprint2015arXiv

Solutions to multi-marginal optimal transport problems concentrated on several graphs

We study solutions to the multi-marginal Monge-Kantorovich problem which are concentrated on several graphs over the first marginal. We first present two general conditions on the cost function which ensure, respectively, that any solution must concentrate on either finitely many or countably many graphs. We show that local differential conditions on the cost, known to imply local $d$-rectifiability of the solution, are sufficient to imply a local version of the first of our conditions. We exhibit two examples of cost functions satisfying our conditions, including the Coulomb cost from density functional theory in one dimension. We also prove a number of results relating to the uniqueness and extremality of optimal measures. These include a sufficient condition on a collection of graphs for any competitor in the Monge-Kantorovich problem concentrated on them to be extremal, and a general negative result, which shows that when the problem is symmetric with respect to permutations of the variables, uniqueness cannot occur except under very special circumstances.

preprint2015arXiv

The multi-marginal optimal partial transport problem

We introduce and study a multi-marginal optimal partial transport problem. Under a natural and sharp condition on the dominating marginals, we establish uniqueness of the optimal plan. Our strategy of proof establishes and exploits a connection with another novel problem, which we call the Monge-Kantorovich partial barycenter problem (with quadratic cost). This latter problem has a natural interpretation as a variant of the mines and factories description of optimal transport. We then turn our attention to various analytic properties of these two problems. Of particular interest, we show that monotonicity of the active marginals can fail, a surprising difference from the two marginal case.

preprint2015arXiv

Wasserstein Barycenters over Riemannian manifolds

We study barycenters in the space of probability measures on a Riemannian manifold, equipped with the Wasserstein metric. Under reasonable assumptions, we establish absolute continuity of the barycenter of general measures $Ω\in P(P(M))$ on Wasserstein space, extending on one hand, results in the Euclidean case (for barycenters between finitely many measures) of Agueh and Carlier \cite{ac} to the Riemannian setting, and on the other hand, results in the Riemannian case of Cordero-Erausquin, McCann, Schmuckenschläger \cite{c-ems} for barycenters between two measures to the multi-marginal setting. Our work also extends these results to the case where $Ω$ is not finitely supported. As applications, we prove versions of Jensen's inequality on Wasserstein space and a generalized Brunn-Minkowski inequality for a random measurable set on a Riemannian manifold.

preprint2014arXiv

Multi-marginal optimal transport: theory and applications

Over the past five years, multi-marginal optimal transport, a generalization of the well known optimal transport problem of Monge and Kantorovich, has begun to attract considerable attention, due in part to a wide variety of emerging applications. Here, we survey this problem, addressing fundamental theoretical questions including the uniqueness and structure of solutions. The (partial) answers to these questions uncover a surprising divergence from the classical two marginal setting, and reflect a delicate dependence on the cost function. We go one to describe two applications of the multi-marginal problem.

preprint2014arXiv

On Khinchine type inequalities for pairwise independent Rademacher random variables

We consider Khintchine type inequalities on the $p$-th moments of vectors of $N$ pairwise independent Rademacher random variables. We establish that an analogue of Khintchine's inequality cannot hold in this setting with a constant that is independent of $N$; in fact, we prove that the best constant one can hope for is at least $N^{1/2-1/p}$. Furthermore, we show that this estimate is sharp for exchangeable vectors when $p = 4$. As a fortunate consequence of our work, we obtain similar results for $3$-wise independent vectors.

preprint2013arXiv

A general condition for Monge solutions in the multi-marginal optimal transport problem

We develop a general condition on the cost function which is sufficient to imply Monge solution and uniqueness results in the multi-marginal optimal transport problem. This result unifies and generalizes several results in the rather fragmented literature on multi-marginal problems. We also provide a systematic way to generate new examples from old ones.

preprint2013arXiv

Decoupling of DeGiorgi-type systems via multi-marginal optimal transport

We exhibit a surprising relationship between elliptic gradient systems of PDEs, multi-marginal Monge-Kantorovich optimal transport problem, and multivariable Hardy-Littlewood inequalities. We show that the notion of an orientable elliptic system, conjectured in [6] to imply that (in low dimensions) solutions with certain monotonicity properties are essentially 1-dimensional, is equivalent to the definition of a compatible cost function, known to imply uniqueness and structural results for optimal measures to certain Monge-Kantorovich problems [11]. Orientable nonlinearities and compatible cost functions turned out to be also related to submodular functions, which appear in rearrangement inequalities of Hardy-Littlewood type. We use this equivalence to establish a decoupling result for certain solutions to elliptic PDEs and show that under the orientability condition, the decoupling has additional properties, due to the connection to optimal transport.

preprint2013arXiv

Infinite-body optimal transport with Coulomb Cost

We introduce and analyze symmetric infinite-body optimal transport (OT) problems with cost function of pair potential form. We show that for a natural class of such costs, the optimizer is given by the independent product measure all of whose factors are given by the one-body marginal. This is in striking contrast to standard finite-body OT problems, in which the optimizers are typically highly correlated, as well as to infinite-body OT problems with Gangbo-Swiech cost. Moreover, by adapting a construction from the study of exchangeable processes in probability theory, we prove that the corresponding $N$-body OT problem is well approximated by the infinite-body problem. To our class belongs the Coulomb cost which arises in many-electron quantum mechanics. The optimal cost of the Coulombic N-body OT problem as a function of the one-body marginal density is known in the physics and quantum chemistry literature under the name SCE functional, and arises naturally as the semiclassical limit of the celebrated Hohenberg-Kohn functional. Our results imply that in the inhomogeneous high-density limit (i.e. $N\to\infty$ with arbitrary fixed inhomogeneity profile $ρ/N$), the SCE functional converges to the mean field functional. We also present reformulations of the infinite-body and N-body OT problems as two-body OT problems with representability constraints and give a dual characterization of representable two-body measures which parallels an analogous result by Kummer on quantum representability of two-body density matrices.

preprint2013arXiv

Multi-marginal optimal transport on Riemannian manifolds

We study a multi-marginal optimal transportation problem on a Riemannian manifold, with cost function given by the average distance squared from multiple points to their barycenter. Under a standard regularity condition on the first marginal, we prove that the optimal measure is unique and concentrated on the graph of a function over the first variable, thus inducing a Monge solution. This result generalizes McCann's polar factorization theorem on manifolds from 2 to several marginals, in the same sense that a well known result of Gangbo and Swiech generalizes Brenier's polar factorization theorem on $\mathbb{R}^n$.

preprint2013arXiv

N-density representability and the optimal transport limit of the Hohenberg-Kohn functional

We derive and analyze a hierarchy of approximations to the strongly correlated limit of the Hohenberg-Kohn functional. These "density representability approximations" are obtained by first noting that in the strongly correlated limit, N-representability of the pair density reduces to the requirement that the pair density must come from a symmetric N-point density. One then relaxes this requirement to the existence of a representing symmetric k-point density with k < N. The approximate energy can be computed by simulating a fictitious k-electron system. We investigate the approximations by deriving analytically exact results for a 2-site model problem, and by incorporating them into a self-consistent Kohn-Sham calculation for small atoms. We find that the low order representability conditions already capture the main part of the correlations.

preprint2012arXiv

Multi-marginal optimal transport and multi-agent matching problems: uniqueness and structure of solutions

We prove uniqueness and Monge solution results for multi-marginal optimal transportation problems with a certain class of surplus functions; this class arises naturally in multi-agent matching problems in economics. This result generalizes a seminal result of Gangbo and Świȩch on multi-marginal problems. Of particular interest, we show that this also yields a partial generalization of the Gangbo-Świȩch result to manifolds; alternatively, we we can think of this as a partial extension of McCann's theorem for quadratic costs on manifolds to the multi-marginal setting. We also show that the class of surplus functions considered here neither contains, nor is contained in, another class of surpluses studied by the present author, which also generalized Gangbo and Świȩch's result.

preprint2012arXiv

On a class of optimal transportation problems with infinitely many marginals

We prove existence and uniqueness results for solutions to a class of optimal transportation problems with infinitely many marginals, supported on the real line. We also provide a characterization of the solution with an explicit formula. We then show that this result implies an infinite dimensional rearrangement inequality, and use it to derive upper bounds on solutions to parabolic PDE via the Feynman-Kac formula. This result can be used to provide model independent bounds on the prices of certain derivatives in mathematical finance. As an another application, we obtain refined phase-space bounds in quantum physics.

preprint2012arXiv

Optimal transportation with infinitely many marginals

We formulate and study an optimal transportation problem with infinitely many marginals; this is a natural extension of the multi-marginal problem studied by Gangbo and Swiech (1998). We prove results on the existence, uniqueness and characterization of the optimizer, which are natural extensions of the results of Gangbo and Swiech. The proof relies on a relationship between this problem and the problem of finding barycenters in the Wasserstein space, a connection first observed for finitely many marginals by Agueh and Carlier (2011).

preprint2012arXiv

Remarks on the semi-classical Hohenberg-Kohn functional

In this note, we study an optimal transportation problem arising in density functional theory. We derive an upper bound on the semi-classical Hohenberg-Kohn functional derived by Cotar, Friesecke and Klüppelberg (2012) which can be computed in a straightforward way for a given single particle density. This complements a lower bound derived by the aforementioned authors. We also show that for radially symmetric densities the optimal transportation problem arising in the semi-classical Hohenberg-Kohn functional can be reduced to a 1-dimensional problem. This yields a simple new proof of the explicit solution to the optimal transport problem for two particles found by Cotar, Friesecke and Klüppelberg (2012). For more particles, we use our result to demonstrate two new qualitative facts: first, that the solution can concentrate on higher dimensional submanifolds and second that the solution can be non-unique, even with an additional symmetry constraint imposed.

preprint2011arXiv

Convexity and multi-dimensional screening for spaces with different dimensions

We study the principal-agent problem. We show that $b$-convexity of the space of products, a condition which appears in a recent paper by Figalli, Kim and McCann \cite{fkm}, is necessary to formulate the problem as a maximization over a convex set. We then show that when the dimension $m$ of the space of types is larger than the dimension $n$ of the space of products, this condition implies that the extra dimensions do not encode independent economic information. When $m$ is smaller than $n$, we show that under $b$-convexity of the space of products, it is always optimal for the principal to offer goods only from a certain prescribed subset. We show that this is equivalent to offering an $m$-dimensional space of goods.

preprint2011arXiv

Regularity properties of optimal transportation problems arising in hedonic pricing models

We study a form of optimal transportation surplus functions which arise in hedonic pricing models. We derive a formula for the Ma-Trudinger-Wang curvature of these functions, yielding necessary and sufficient conditions for them to satisfy \textbf{(A3w)}. We use this to give explicit new examples of surplus functions satisfying \textbf{(A3w)}, of the form $b(x,y)=H(x+y)$ where $H$ is a convex function on $\mathbb{R}^n$. We also show that the space of equilibrium contracts in the hedonic pricing model has the maximal possible dimension, a result of potential economic interest.

preprint2010arXiv

Regularity of optimal transportation between spaces with different dimensions

We study the regularity of solutions to an optimal transportation problem where the dimension of the source is larger than that of the target. We demonstrate that if the target is $c$-convex, then the source has a canonical foliation whose co-dimension is equal to the dimension of the target and the problem reduces to an optimal transportation problem between spaces with equal dimensions. If the $c$-convexity condition fails, we do not expect regularity for arbitrary smooth marginals, but, in the case where the source is 2-dimensional and the target is 1 dimensional, we identify sufficient conditions on the marginals and cost to ensure that the optimal map is continuous.