3,095 research outputs found
Entanglement and quantum combinatorial designs
We introduce several classes of quantum combinatorial designs, namely quantum
Latin squares, cubes, hypercubes and a notion of orthogonality between them. A
further introduced notion, quantum orthogonal arrays, generalizes all previous
classes of designs. We show that mutually orthogonal quantum Latin arrangements
can be entangled in the same way than quantum states are entangled.
Furthermore, we show that such designs naturally define a remarkable class of
genuinely multipartite highly entangled states called -uniform, i.e.
multipartite pure states such that every reduction to parties is maximally
mixed. We derive infinitely many classes of mutually orthogonal quantum Latin
arrangements and quantum orthogonal arrays having an arbitrary large number of
columns. The corresponding multipartite -uniform states exhibit a high
persistency of entanglement, which makes them ideal candidates to develop
multipartite quantum information protocols.Comment: 14 pages, 3 figures. Comments are very welcome
Coded Caching based on Combinatorial Designs
We consider the standard broadcast setup with a single server broadcasting
information to a number of clients, each of which contains local storage
(called \textit{cache}) of some size, which can store some parts of the
available files at the server. The centralized coded caching framework,
consists of a caching phase and a delivery phase, both of which are carefully
designed in order to use the cache and the channel together optimally. In prior
literature, various combinatorial structures have been used to construct coded
caching schemes. In this work, we propose a binary matrix model to construct
the coded caching scheme. The ones in such a \textit{caching matrix} indicate
uncached subfiles at the users. Identity submatrices of the caching matrix
represent transmissions in the delivery phase. Using this model, we then
propose several novel constructions for coded caching based on the various
types of combinatorial designs. While most of the schemes constructed in this
work (based on existing designs) have a high cache requirement (uncached
fraction being or , being
the number of users), they provide a rate that is either constant or decreasing
() with increasing , and moreover require competitively
small levels of subpacketization (being ), which is an
extremely important parameter in practical applications of coded caching. We
mark this work as another attempt to exploit the well-developed theory of
combinatorial designs for the problem of constructing caching schemes,
utilizing the binary caching model we develop.Comment: 10 pages, Appeared in Proceedings of IEEE ISIT 201
A Census Of Highly Symmetric Combinatorial Designs
As a consequence of the classification of the finite simple groups, it has
been possible in recent years to characterize Steiner t-designs, that is
t-(v,k,1) designs, mainly for t = 2, admitting groups of automorphisms with
sufficiently strong symmetry properties. However, despite the finite simple
group classification, for Steiner t-designs with t > 2 most of these
characterizations have remained longstanding challenging problems. Especially,
the determination of all flag-transitive Steiner t-designs with 2 < t < 7 is of
particular interest and has been open for about 40 years (cf. [11, p. 147] and
[12, p. 273], but presumably dating back to 1965). The present paper continues
the author's work [20, 21, 22] of classifying all flag-transitive Steiner
3-designs and 4-designs. We give a complete classification of all
flag-transitive Steiner 5-designs and prove furthermore that there are no
non-trivial flag-transitive Steiner 6-designs. Both results rely on the
classification of the finite 3-homogeneous permutation groups. Moreover, we
survey some of the most general results on highly symmetric Steiner t-designs.Comment: 26 pages; to appear in: "Journal of Algebraic Combinatorics
A feasibility approach for constructing combinatorial designs of circulant type
In this work, we propose an optimization approach for constructing various
classes of circulant combinatorial designs that can be defined in terms of
autocorrelations. The problem is formulated as a so-called feasibility problem
having three sets, to which the Douglas-Rachford projection algorithm is
applied. The approach is illustrated on three different classes of circulant
combinatorial designs: circulant weighing matrices, D-optimal matrices, and
Hadamard matrices with two circulant cores. Furthermore, we explicitly
construct two new circulant weighing matrices, a and a
, whose existence was previously marked as unresolved in the most
recent version of Strassler's table
Construction of Codes for Network Coding
Based on ideas of K\"otter and Kschischang we use constant dimension
subspaces as codewords in a network. We show a connection to the theory of
q-analogues of a combinatorial designs, which has been studied in Braun, Kerber
and Laue as a purely combinatorial object. For the construction of network
codes we successfully modified methods (construction with prescribed
automorphisms) originally developed for the q-analogues of a combinatorial
designs. We then give a special case of that method which allows the
construction of network codes with a very large ambient space and we also show
how to decode such codes with a very small number of operations
Compressed sensing with combinatorial designs: theory and simulations
In 'An asymptotic result on compressed sensing matrices', a new construction
for compressed sensing matrices using combinatorial design theory was
introduced. In this paper, we use deterministic and probabilistic methods to
analyse the performance of matrices obtained from this construction. We provide
new theoretical results and detailed simulations. These simulations indicate
that the construction is competitive with Gaussian random matrices, and that
recovery is tolerant to noise. A new recovery algorithm tailored to the
construction is also given.Comment: 18 pages, 3 figure
On the existence of block-transitive combinatorial designs
Block-transitive Steiner -designs form a central part of the study of
highly symmetric combinatorial configurations at the interface of several
disciplines, including group theory, geometry, combinatorics, coding and
information theory, and cryptography. The main result of the paper settles an
important open question: There exist no non-trivial examples with (or
larger). The proof is based on the classification of the finite 3-homogeneous
permutation groups, itself relying on the finite simple group classification.Comment: 9 pages; to appear in "Discrete Mathematics and Theoretical Computer
Science (DMTCS)
Nontrivial t-Designs over Finite Fields Exist for All t
A - design over \F_q is a collection of -dimensional
subspaces of \F_q^n, called blocks, such that each -dimensional subspace
of \F_q^n is contained in exactly blocks. Such -designs over
\F_q are the -analogs of conventional combinatorial designs. Nontrivial
- designs over \F_q are currently known to exist only for
. Herein, we prove that simple (meaning, without repeated blocks)
nontrivial - designs over \F_q exist for all and ,
provided that and is sufficiently large. This may be regarded as
a -analog of the celebrated Teirlinck theorem for combinatorial designs
- …