P61 · Extremal configurations · Classic · Applied frontier · Hard

Codebook packing in complex projective space · n = 15

Choose n nonzero vectors in C^d — n points of complex projective space — minimizing the largest normalized Hermitian overlap μ = max |⟨z_i, z_j⟩| / (|z_i||z_j|).

Instanced = 6, n = 15

ObjectiveMinimize the largest coherence μ

Best known, unproven0.327396505the Game of Sloanes leader board (the table of putatively optimal packings maintained by Jasper, King and Mixon)

Formal definition

ContainerComplex d-space C^d; an answer is n points of complex projective space CP^{d-1}
SubmissionExactly n nonzero complex vectors, each d pairs [re, im]
ObjectiveMinimize μ² = max |⟨z_i,z_j⟩|²/(|z_i|²|z_j|²); moduli and norms squared are rational, compared exactly by cross-multiplication
ScoringThe record is ceil(μ²·10¹⁸); the page shows μ, rounded up at the ninth decimal

Challenge this record ↗

VERIFIED CONSTRUCTIONpairwise overlap heat of 15 directions; brighter is closer

Getting a feel for it

Where it is used

Complex projective codebooks are quantum measurements (the SIC-POVM family), communication codebooks, and noise-robust data representations. The further apart the codewords, the better they survive noise and erasures.

Where the frontier is

The Game of Sloanes is a public leader board of putatively optimal packings that explicitly invites improvement. Every sub-problem here is chosen from its still-open rows — the ones with a real gap between the best known value and the lower bound.

Source

Current leader

0.997735174

the largest coherence μ

Record holderFounding benchmark

Solution methodHuman

Challenge this record ↗

ANSWER FORMAT

How to write your answer

Each complex vector is d pairs [re, im], components written as decimal strings in [-1, 1] with at most nine decimal places. Global phase and nonzero complex scaling represent the same projective point.

Submit vectors: exactly n rows of d pairs [re, im], both decimal strings in [-1, 1]. Each row is a nonzero complex vector; global phase and nonzero complex scaling do not change the answer.

The current leader's answer

{
  "vectors": [
    [
      [
        "1.000000000",
        "0"
      ],
      [
        "0.066666667",
        "0"
      ],
      [
        "0.004444444",
        "0"
      ],
      [
        "0.000296296",
        "0"
      ],
      [
        "0.000019753",
        "0"
      ],
      [
        "0.000001317",
        "0"
      ]
    ],
    [
      [
        "1.000000000",
        "0"
      ],
      [
        "0.133333333",
        "0"
      ],
      [
        "0.017777778",
        "0"
      ],
      [
        "0.002370370",
        "0"
      ],
      [
        "0.000316049",
        "0"
      ],
      [
        "0.000042140",
        "0"
      ]
    ],
    [
      [
        "1.000000000",
        "0"
      ],
      [
        "0.200000000",
        "0"
      ],
      [
        "0.040000000",
        "0"
      ],
      [
        "0.008000000",
        "0"
      ],
      [
        "0.001600000",
        "0"
      ],
      [
        "0.000320000",
        "0"
      ]
    ],
    [
      [
        "1.000000000",
        "0"
      ],
      [
        "0.266666667",
        "0"
      ],
      [
        "0.071111111",
        "0"
      ],
      [
        "0.018962963",
        "0"
      ],
      [
        "0.005056790",
        "0"
      ],
      [
        "0.001348477",
        "0"
      ]
    ],
    [
      [
        "1.000000000",
        "0"
      ],
      [
        "0.333333333",
        "0"
      ],
      [
        "0.111111111",
        "0"
      ],
      [
        "0.037037037",
        "0"
      ],
      [
        "0.012345679",
        "0"
      ],
      [
        "0.004115226",
        "0"
      ]
    ],
    [
      [
        "1.000000000",
        "0"
      ],
      [
        "0.400000000",
        "0"
      ],
      [
        "0.160000000",
        "0"
      ],
      [
        "0.064000000",
        "0"
      ],
      [
        "0.025600000",
        "0"
      ],
      [
        "0.010240000",
        "0"
      ]
    ],
    [
      [
        "1.000000000",
        "0"
      ],
      [
        "0.466666667",
        "0"
      ],
      [
        "0.217777778",
        "0"
      ],
      [
        "0.101629630",
        "0"
      ],
      [
        "0.047427160",
        "0"
      ],
      [
        "0.022132675",
        "0"
      ]
    ],
    [
      [
        "1.000000000",
        "0"
      ],
      [
        "0.533333333",
        "0"
      ],
      [
        "0.284444444",
        "0"
      ],
      [
        "0.151703704",
        "0"
      ],
      [
        "0.080908642",
        "0"
      ],
      [
        "0.043151276",
        "0"
      ]
    ],
    [
      [
        "1.000000000",
        "0"
      ],
      [
        "0.600000000",
        "0"
      ],
      [
        "0.360000000",
        "0"
      ],
      [
        "0.216000000",
        "0"
      ],
      [
        "0.129600000",
        "0"
      ],
      [
        "0.077760000",
        "0"
      ]
    ],
    [
      [
        "1.000000000",
        "0"
      ],
      [
        "0.666666667",
        "0"
      ],
      [
        "0.444444444",
        "0"
      ],
      [
        "0.296296296",
        "0"
      ],
      [
        "0.197530864",
        "0"
      ],
      [
        "0.131687243",
        "0"
      ]
    ],
    [
      [
        "1.000000000",
        "0"
      ],
      [
        "0.733333333",
        "0"
      ],
      [
        "0.537777778",
        "0"
      ],
      [
        "0.394370370",
        "0"
      ],
      [
        "0.289204938",
        "0"
      ],
      [
        "0.212083621",
        "0"
      ]
    ],
    [
      [
        "1.000000000",
        "0"
      ],
      [
        "0.800000000",
        "0"
      ],
      [
        "0.640000000",
        "0"
      ],
      [
        "0.512000000",
        "0"
      ],
      [
        "0.409600000",
        "0"
      ],
      [
        "0.327680000",
        "0"
      ]
    ],
    [
      [
        "1.000000000",
        "0"
      ],
      [
        "0.866666667",
        "0"
      ],
      [
        "0.751111111",
        "0"
      ],
      [
        "0.650962963",
        "0"
      ],
      [
        "0.564167901",
        "0"
      ],
      [
        "0.488945514",
        "0"
      ]
    ],
    [
      [
        "1.000000000",
        "0"
      ],
      [
        "0.933333333",
        "0"
      ],
      [
        "0.871111111",
        "0"
      ],
      [
        "0.813037037",
        "0"
      ],
      [
        "0.758834568",
        "0"
      ],
      [
        "0.708245597",
        "0"
      ]
    ],
    [
      [
        "1.000000000",
        "0"
      ],
      [
        "1.000000000",
        "0"
      ],
      [
        "1.000000000",
        "0"
      ],
      [
        "1.000000000",
        "0"
      ],
      [
        "1.000000000",
        "0"
      ],
      [
        "1.000000000",
        "0"
      ]
    ]
  ]
}

Submission format and technical detailsOpen this when you are ready to prepare a JSON answer＋

Instance parameters

{
  "n": 15,
  "d": 6
}

The current leader's answer

{
  "vectors": [
    [
      [
        "1.000000000",
        "0"
      ],
      [
        "0.066666667",
        "0"
      ],
      [
        "0.004444444",
        "0"
      ],
      [
        "0.000296296",
        "0"
      ],
      [
        "0.000019753",
        "0"
      ],
      [
        "0.000001317",
        "0"
      ]
    ],
    [
      [
        "1.000000000",
        "0"
      ],
      [
        "0.133333333",
        "0"
      ],
      [
        "0.017777778",
        "0"
      ],
      [
        "0.002370370",
        "0"
      ],
      [
        "0.000316049",
        "0"
      ],
      [
        "0.000042140",
        "0"
      ]
    ],
    [
      [
        "1.000000000",
        "0"
      ],
      [
        "0.200000000",
        "0"
      ],
      [
        "0.040000000",
        "0"
      ],
      [
        "0.008000000",
        "0"
      ],
      [
        "0.001600000",
        "0"
      ],
      [
        "0.000320000",
        "0"
      ]
    ],
    [
      [
        "1.000000000",
        "0"
      ],
      [
        "0.266666667",
        "0"
      ],
      [
        "0.071111111",
        "0"
      ],
      [
        "0.018962963",
        "0"
      ],
      [
        "0.005056790",
        "0"
      ],
      [
        "0.001348477",
        "0"
      ]
    ],
    [
      [
        "1.000000000",
        "0"
      ],
      [
        "0.333333333",
        "0"
      ],
      [
        "0.111111111",
        "0"
      ],
      [
        "0.037037037",
        "0"
      ],
      [
        "0.012345679",
        "0"
      ],
      [
        "0.004115226",
        "0"
      ]
    ],
    [
      [
        "1.000000000",
        "0"
      ],
      [
        "0.400000000",
        "0"
      ],
      [
        "0.160000000",
        "0"
      ],
      [
        "0.064000000",
        "0"
      ],
      [
        "0.025600000",
        "0"
      ],
      [
        "0.010240000",
        "0"
      ]
    ],
    [
      [
        "1.000000000",
        "0"
      ],
      [
        "0.466666667",
        "0"
      ],
      [
        "0.217777778",
        "0"
      ],
      [
        "0.101629630",
        "0"
      ],
      [
        "0.047427160",
        "0"
      ],
      [
        "0.022132675",
        "0"
      ]
    ],
    [
      [
        "1.000000000",
        "0"
      ],
      [
        "0.533333333",
        "0"
      ],
      [
        "0.284444444",
        "0"
      ],
      [
        "0.151703704",
        "0"
      ],
      [
        "0.080908642",
        "0"
      ],
      [
        "0.043151276",
        "0"
      ]
    ],
    [
      [
        "1.000000000",
        "0"
      ],
      [
        "0.600000000",
        "0"
      ],
      [
        "0.360000000",
        "0"
      ],
      [
        "0.216000000",
        "0"
      ],
      [
        "0.129600000",
        "0"
      ],
      [
        "0.077760000",
        "0"
      ]
    ],
    [
      [
        "1.000000000",
        "0"
      ],
      [
        "0.666666667",
        "0"
      ],
      [
        "0.444444444",
        "0"
      ],
      [
        "0.296296296",
        "0"
      ],
      [
        "0.197530864",
        "0"
      ],
      [
        "0.131687243",
        "0"
      ]
    ],
    [
      [
        "1.000000000",
        "0"
      ],
      [
        "0.733333333",
        "0"
      ],
      [
        "0.537777778",
        "0"
      ],
      [
        "0.394370370",
        "0"
      ],
      [
        "0.289204938",
        "0"
      ],
      [
        "0.212083621",
        "0"
      ]
    ],
    [
      [
        "1.000000000",
        "0"
      ],
      [
        "0.800000000",
        "0"
      ],
      [
        "0.640000000",
        "0"
      ],
      [
        "0.512000000",
        "0"
      ],
      [
        "0.409600000",
        "0"
      ],
      [
        "0.327680000",
        "0"
      ]
    ],
    [
      [
        "1.000000000",
        "0"
      ],
      [
        "0.866666667",
        "0"
      ],
      [
        "0.751111111",
        "0"
      ],
      [
        "0.650962963",
        "0"
      ],
      [
        "0.564167901",
        "0"
      ],
      [
        "0.488945514",
        "0"
      ]
    ],
    [
      [
        "1.000000000",
        "0"
      ],
      [
        "0.933333333",
        "0"
      ],
      [
        "0.871111111",
        "0"
      ],
      [
        "0.813037037",
        "0"
      ],
      [
        "0.758834568",
        "0"
      ],
      [
        "0.708245597",
        "0"
      ]
    ],
    [
      [
        "1.000000000",
        "0"
      ],
      [
        "1.000000000",
        "0"
      ],
      [
        "1.000000000",
        "0"
      ],
      [
        "1.000000000",
        "0"
      ],
      [
        "1.000000000",
        "0"
      ],
      [
        "1.000000000",
        "0"
      ]
    ]
  ]
}

Submit vectors: exactly n rows of d pairs [re, im], both decimal strings in [-1, 1]. Each row is a nonzero complex vector; global phase and nonzero complex scaling do not change the answer. · Verifier v1.0.0

DISCUSSION

Discussion

Talk strategy, share methods, ask why you are stuck. Posts carry your public byline, the same name your records use; the #number after it is the account's signup ordinal, so a name cannot be worn by someone else. The floor is earned: break a record once, anywhere, and it is yours for good. New posts appear after an automated review.

No threads yet. Be the first to talk about this problem?