Examples of doubly stochastic measures supported on the graphs of two functions

A doubly stochastic measure (DSM) is a measure μ on the unit square so that μ([0, 1] × A) = μ(A × [0, 1]) = m(A) where m is Lebesgue measure. The set of DSMs forms a convex set in the space of measures. It is known that DSMs supported on the union of two graphs of invertible functions are extreme points of that convex set (Seethoff and Shiflett, 1977/78 Seethoff, T.L., Shiflett. (1977/78). Doubly stochastic measures with prescribed support. Z. Wahrscheinlichkeitstheorie und Verw. Gebiete 41(4):283–288.[Crossref], [Web of Science ®] , [Google Scholar]). In general, there are few examples of extreme points in the literature. There are examples of so-called hairpins where the functions involved are inverses of each other, but there are also examples of the union of the graphs of a function and its inverse does not support a DSM (Sherwood and Taylor, 1988 Sherwood, H., Taylor, M.D. (1988). Doubly stochastic measures with hairpin support. Probab. Theory Related Fields 78(4):617–626.[Crossref], [Web of Science ®] , [Google Scholar]). In this paper, for a function f in a certain class, we find companion functions g so that the union of the graphs of f and g support a DSM even though the union of the graphs of f and f-inverse do not.