Small sets of complementary observables

Two observables are called complementary if preparing a physical object in an eigenstate of one of them yields a completely random result in a measurement of the other. We investigate small sets of complementary observables that cannot be extended by yet another complementary observable. We construct explicit examples of the unextendible sets up to dimension $16$ and conjecture certain small sets to be unextendible in higher dimensions. Our constructions provide three complementary measurements, only one observable away from the ultimate minimum of two observables in the set. Almost all of our examples in finite dimension allow to discriminate pure states from some mixed states, and shed light on the complex topology of the Bloch space of higher-dimensional quantum systems

Affine Constellations Without Mutually Unbiased Counterparts

It has been conjectured that a complete set of mutually unbiased bases in a space of dimension d exists if and only if there is an affine plane of order d. We introduce affine constellations and compare their existence properties with those of mutually unbiased constellations, mostly in dimension six. The observed discrepancies make a deeper relation between the two existence problems unlikely.Comment: 8 page

Icosahedron designs

It is known from the work of Adams and Bryant that icosahedron designs of order v exist for v ≡ 1 (mod 60) as well as for v = 16. Here we prove that icosahedron designs exist if and only if v ≡ 1, 16, 21 or 36 (mod 60), wit

A lower bound on HMOLS with equal sized holes

It is known that $N(n)$, the maximum number of mutually orthogonal latin squares of order $n$, satisfies the lower bound $N(n) \ge n^{1/14.8}$ for large $n$. For $h\ge 2$, relatively little is known about the quantity $N(h^n)$, which denotes the maximum number of `HMOLS' or mutually orthogonal latin squares having a common equipartition into $n$ holes of a fixed size $h$. We generalize a difference matrix method that had been used previously for explicit constructions of HMOLS. An estimate of R.M. Wilson on higher cyclotomic numbers guarantees our construction succeeds in suitably large finite fields. Feeding this into a generalized product construction, we are able to establish the lower bound $N(h^n) \ge (\log n)^{1/\delta}$ for any $\delta>2$ and all $n > n_0(h,\delta)$

Mutually orthogonal latin squares with large holes

Two latin squares are orthogonal if, when they are superimposed, every ordered pair of symbols appears exactly once. This definition extends naturally to `incomplete' latin squares each having a hole on the same rows, columns, and symbols. If an incomplete latin square of order $n$ has a hole of order $m$, then it is an easy observation that $n \ge 2m$. More generally, if a set of $t$ incomplete mutually orthogonal latin squares of order $n$ have a common hole of order $m$, then $n \ge (t+1)m$. In this article, we prove such sets of incomplete squares exist for all $n,m \gg 0$ satisfying $n \ge 8(t+1)^2 m$

Existence of frame SOLS of type anb1

AbstractAn SOLS (self-orthogonal latin square) of order v with ni missing sub-SOLS (holes) of order hi (1⩽i⩽k), which are disjoint and spanning (i.e. ∑i=1knihi=v), is called a frame SOLS and denoted by FSOLS(h1n1h2n2 ⋯hknk). It has been proved that for b⩾2 and n odd, an FSOLS(anb1) exists if and only if n⩾4 and n⩾1+2b/a. In this paper, we show the existence of FSOLS(anb1) for n even and FSOLS(an11) for n odd

Constructing and embedding mutually orthogonal Latin squares: reviewing both new and existing results

We review results for the embedding of orthogonal partial Latin squares in orthogonal Latin squares, comparing and contrasting these with results for embedding partial Latin squares in Latin squares. We also present a new construction that uses the existence of a set of $t$ mutually orthogonal Latin squares of order $n$ to construct a set of $2t$ mutually orthogonal Latin squares of order $n^t$