Mathieu Dutour Sikirić

Mathieu Dutour Sikirić

(m,s)-Super-metric and Super-cut Cones

Definitions

  • (m,s)-Super-metric: A function d defined over (m+1)-tuples of {1,...,n} that is invariant under permutation, equals 0 if any two elements are identical, is non-negative, and satisfies the (m,s)-super-metric triangle inequality: s · d(x1,...,xm+1) ≤ ∑ d(x1,...,xi-1,xi+1,...,xm+1).
  • Super-metric Cone (SMETm,sn): The polyhedral cone of all (m,s)-super-metrics.
  • Super-cut Cone (SCUTm,sn): The positive span of all (0,1)-valued extreme rays of SMETm,sn.

Computational Results

Cones for n=5

ConeDimGroupExtreme RaysFacetsDetails
SMET2,2510Sym(5)132 (6 orbits)20 (1 orbit)TeX | PS
SCUT2,2510Sym(5)20 (2 orbits)220 (6 orbits)TeX | PS

Cones for n=6

ConeDimGroupExtreme RaysFacetsDetails
SMET3,3/2615Sym(6)331,989 (596 orbits)45 (2 orbits)
SMET3,2615Sym(6)12,670 (40 orbits)45 (2 orbits)TeX | PS
SCUT3,2615Sym(6)247 (5 orbits)866,745 (1345 orbits)List
SMET3,5/2615Sym(6)85,504 (201 orbits)45 (2 orbits)
SMET3,3615Sym(6)1,138 (12 orbits)30 (1 orbit)TeX | PS
SCUT3,3615Sym(6)21 (2 orbits)150 (3 orbits)TeX | PS
SMET2,2620Sym(6)21,775,425 (30827 orbits)60 (1 orbit)List
SCUT2,2620Sym(6)96 (3 orbits)≥ 243,692,840

Cones for n=7

ConeDimGroupExtreme RaysFacetsDetails
SMET4,2721Sym(7)2,561,166 (661 orbits)63 (2 orbits)List
SMET4,3721Sym(7)838,729 (274 orbits)63 (2 orbits)List
SMET4,4721Sym(7)39,406 (37 orbits)42 (1 orbit)TeX | PS
SCUT4,4721Sym(7)112 (2 orbits)148,554 (114 orbits)List
SMET3,3735Sym(7)≥ 594,481,939105 (1 orbit)
SMET2,2735Sym(7)≥ 465,468,248140 (1 orbit)

Cones for n=8

ConeDimGroupExtreme RaysFacets
SMET5,2828Sym(8)≥ 222,891,59884 (2 orbits)
SMET5,3828Sym(8)≥ 422,241,16484 (2 orbits)
SMET5,4828Sym(8)≥ 84,711,67584 (2 orbits)
SMET5,5828Sym(8)775,807 (92 orbits)56 (1 orbit)