1: \begin{abstract} 

2:     This paper is concerned with an optimization problem governed by 

3:     the Kantorovich optimal transportation problem. This gives rise to a bilevel optimization problem, which can be reformulated as a mathematical problem with complementarity constraints in the space of regular Borel measures.

4:     Because of the non-smoothness induced by the complementarity relations, problems of this type are frequently regularized. Here we apply a quadratic regularization of the Kantorovich problem.

5:     As the title indicates, this is the first part in a series of three papers.

6:     It addresses the existence of optimal solutions to the bilevel Kantorovich problem and its quadratic regularization, whereas part II and III are dedicated to the convergence analysis for vanishing regularization.

7: \end{abstract}

8: