A Criterion for Attaining the Welch Bounds with Applications for Mutually Unbiased Bases

Authors:
Aleksandrs Belovs;Juris Smotrovs
Affiliations:
Department of Combinatorics and Optimization, and Institute for Quantum Computing, University of Waterloo, Waterloo, Canada N2L 3G1;Department of Computer Science, University of Latvia, Rīga, Latvia
Venue:
Mathematical Methods in Computer Science
Year:
2008

Citing 10
Cited 0

Matrix analysis

Matrix analysis
Design theory

Design theory
Orthogonal vectors in the n-dimensional cube and codes with missing distances

Combinatorica
Differentially uniform mappings for cryptography

EUROCRYPT '93 Workshop on the theory and application of cryptographic techniques on Advances in cryptology
Planar Functions and Planes of Lenz-Barlotti Class II

Designs, Codes and Cryptography
Highly nonlinear mappings

Journal of Complexity - Special issue on coding and cryptography
Picturing qubits in phase space

IBM Journal of Research and Development
A family of skew Hadamard difference sets

Journal of Combinatorial Theory Series A
Nonlinear functions in abelian groups and relative difference sets

Discrete Applied Mathematics
Generalized Welch bound equality sequences are tight frames

IEEE Transactions on Information Theory

Quantified Score

Hi-index	0.00

Visualization

Abstract

The paper gives a short introduction to mutually unbiased bases and the Welch bounds and demonstrates that the latter is a good technical tool to explore the former. In particular, a criterion for a system of vectors to satisfy the Welch bounds with equality is given and applied for the case of MUBs. This yields a necessary and sufficient condition on a set of orthonormal bases to form a complete system of MUBs. This condition takes an especially elegant form in the case of homogeneous systems of MUBs. We express some known constructions of MUBs in this form. Also it is shown how recently obtained results binding MUBs and some combinatorial structures (such as perfect nonlinear functions and relative difference sets) naturally follow from this criterion. Some directions for proving non-existence results are sketched as well.