Tuesday, 1 September 2009

co.combinatorics - Constructing a smooth lattice from a discrete one.

I have the standard lattice L defined over partitions of 1ldotsn under the split-merge relation. I also have an antimonotone function from L to R that's submodular, and so gives me a metric on L via the construction d(x,y)=2f(xwedgey)f(x)f(y).



In general, but on this lattice specifically, I'm wondering if there's a construction that allows me to define a continuous lattice C with the property that L behaves like the "integer points" on C, and a metric d can be induced on C that when restricted to L behaves like d.



For example, if I have two points xley in L, I'd like to construct a point z "halfway" between x and y such that under the metric d,d(x,z)=d(z,y), and under the ordering that defines C,xlezley.

No comments:

Post a Comment