Consider the following subset of the unit cube in $\mathbb R^n$:
$$
\mathcal D = \{ p = (p\_1,p\_2,\dots,p\_n) \in [0,1]^n:\; p\_1 \le p\_2 \le \cdots \le p\_n\}.
$$
We would like to construct a probability measure supported on $\mathcal D$, continuous w.r.t. to
the $n$-dimensional Lebesgue measure and "somehow" diffuse for large $n$. By this last statement, I roughly mean that the variances of the components of the vector $p$ stay bounded away from 0 under that measure. The problem is quite open-ended, but I will try to make this a bit more precise towards the end.


To see the difficulty, consider the general approach of starting with a probability distribution on $[0,1]^n$ and conditioning it to lie in $\mathcal D$. If we start with the uniform distribution on $[0,1]^n$ and perform this conditioning, we are effectively looking at the *[order statistics](https://en.wikipedia.org/wiki/Order_statistic)* of a sample of size $n$ from the uniform distribution on $[0,1]$. The resulting marginal distributions of the components of $p$ are well-known: $p\_k \sim \text{Beta}(k, n+1-k)$ whose variance rapidly goes to zero as $n \to \infty$.


In general, there seems to be a repulsion among the coordinates of $p$, induced by the order constraint, that forces their variances to shrink. The open-ended question is whether we can fight this repulsion and come up with a distribution whose marginal coordinates have more or less constant variances as $n\to \infty$?


We can also make the problem more precise by asking this (though I am afraid it might be too much to ask):



> 
> Is there a distribution on $[0,1]^n$ ($n \ge 2$) supported on
> $\mathcal D$ and absolutely continuous w.r.t. to the Lebesgue measure
> whose marginal distributions are all uniform on $[0,1]$?
> 
> 
> 


A second more relaxed question could be something like this: For a distribution $Q$ on $[0,1]^n$, let $\text{var}\_i(Q)$ be the variance of its $i$ coordinate (i.e., the variance of $p\_i$ where $p \sim Q$).



> 
> Is there a sequence of distributions $Q\_{n}$ on $[0,1]^n$ ($n \ge 2$) supported on
> $\mathcal D$ and absolutely continuous w.r.t. to the Lebesgue measure, with the propery that the sequence $n \mapsto \min\_{1 \le i\le n} \text{var}\_i(Q\_n)$ is bounded away from zero as $n\to \infty$?
> 
> 
> 


We can also relax the minimum to, say, the arithmetic average if the above is still too stringent.


A bit more generally, I am interested in the answer to the higher-order versions of this problem, for example, the case where we have a collection of points $(p\_{ij})\_{i,j=1}^{n\_1,n\_2}$ arranged in the $2$-dimensional lattice $[n\_1] \times [n\_2]$ with the constraints being imposed by the natural partial order, $p\_{i,j} \le p\_{i',j'}$ if $i \le i'$ and $j \le j'$. You can then imagine the 3-dimensional version and so on.



A diffuse probability distribution in high dimensions with order constraints
Let $X$ be any nondegenerate random variable with values in the interval $[0,1]$. Let $p:=(p\_1,\dots,p\_n)$, where $p\_1=\dots=p\_n=X$. Then $p$ takes values in $\mathcal D$ and $\min\_i Var\,p\_i=Var\,X>0$ for all $n$.


This answers positively your second question. Letting $X$ be uniformly distributed on $[0,1]$, we almost get a positive answer to your first question, except that the joint distribution of $p\_1,\dots,p\_n$ is not absolutely continuous here.


On the other hand, if you insist on the absolutelte continuity, then it is also clear now that the answer to your first question is negative. Indeed, suppose that $p\_1,\dots,p\_n$ are random variables (r.v.'s) such that each of them has the uniformly distribution on $[0,1]$ (or any other distribution) and $p\_1\le\dots\le p\_n$. Then, for each $j\in\{1,\dots,n-1\}$, the r.v. $p\_j$ is [stochastically no greater](https://en.wikipedia.org/wiki/Stochastic_ordering#Usual_stochastic_order) than $p\_{j+1}$. Therefore and because $p\_j$ has the same distribution as $p\_{j+1}$, we have $p\_j=p\_{j+1}$ almost surely (a.s.), again for each $j\in\{1,\dots,n-1\}$; details on this conclusion are given by Lemma 1 below. Thus, $p\_1=\dots=p\_n$ a.s. and hence the joint distribution of $p\_1,\dots,p\_n$ is, necessarily, not absolutely continuous.




---



> 
> **Lemma 1:** Let $Y$ and $Z$ be identically distributed r.v.'s such that $Y\le Z$ a.s. Then $Y=Z$ a.s.
> 
> 
> 


$\newcommand\Q{\mathbb Q}$*Proof:* Suppose the contrary: that $Y$ and $Z$ are identically distributed r.v.'s such that $Y\le Z$ a.s. but $P(Y=Z)<1$. Then, denoting by $\Q$ the set of all rational real numbers, we get
$$0<P(Y<Z)=P\Big(\bigcup\_{r\in\Q}\{Y\le r<Z\}\Big),$$
so that for some $r\in\Q$ we have
$$0<P(Y\le r<Z)=P(Y\le r)-P(Z\le r),$$
which contradicts the condition that $Y$ and $Z$ are identically distributed; the equality in the latter display holds because $Y\le Z$ a.s. $\Box$




---


Somehow, previously I missed the absolute continuity condition in your second question. It can still be answered positively, with the following modification of the previous answer. For $i=1,\dots,n$, let $p\_i:=Y+i/(3n)$, where $Y$ is uniformly distributed on $[1/4,1/2]$. Then $0<p\_1<\cdots<p\_n<1$ and $Var\,p\_i=Var\,Y>0$ for all $n,i$. Also, $0<1/4<p\_i\le5/6<1$ for $i=1,\dots,n$ and $p\_{i+1}-p\_i=1/(3n)>0$ for $i=1,\dots,n-1$. So, convolving the distribution of $p=(p\_1,\dots,p\_n)$ with any absolutely continuous distribution supported on the $n$-cube of a small enough size centered at the origin, we get the desired result.


