Optimal Partitioned Cyclic Difference Packings for Frequency Hopping and Code Synchronization

Optimal partitioned cyclic difference packings (PCDPs) are shown to give rise to optimal frequency-hopping sequences and optimal comma-free codes. New constructions for PCDPs, based on almost difference sets and cyclic difference matrices, are given. These produce new infinite families of optimal PCDPs (and hence optimal frequency-hopping sequences and optimal comma-free codes). The existence problem for optimal PCDPs in ${\mathbb Z}_{3m}$, with $m$ base blocks of size three, is also solved for all $m\not\equiv 8,16\pmod{24}$.Comment: to appear in IEEE Transactions on Information Theor

Frame difference families and resolvable balanced incomplete block designs

Frame difference families, which can be obtained via a careful use of cyclotomic conditions attached to strong difference families, play an important role in direct constructions for resolvable balanced incomplete block designs. We establish asymptotic existences for several classes of frame difference families. As corollaries new infinite families of 1-rotational $(pq+1,p+1,1)$-RBIBDs over $\mathbb{F}_{p}^+ \times \mathbb{F}_{q}^+$ are derived, and the existence of $(125q+1,6,1)$-RBIBDs is discussed. We construct $(v,8,1)$-RBIBDs for $v\in\{624,1576,2976,5720,5776,10200,14176,24480\}$, whose existence were previously in doubt. As applications, we establish asymptotic existences for an infinite family of optimal constant composition codes and an infinite family of strictly optimal frequency hopping sequences.Comment: arXiv admin note: text overlap with arXiv:1702.0750

Hadamard partitioned difference families and their descendants

If $D$ is a $(4u^2,2u^2-u,u^2-u)$ Hadamard difference set (HDS) in $G$, then $\{G,G\setminus D\}$ is clearly a $(4u^2,[2u^2-u,2u^2+u],2u^2)$ partitioned difference family (PDF). Any $(v,K,\lambda)$-PDF will be said of Hadamard-type if $v=2\lambda$ as the one above. We present a doubling construction which, starting from any such PDF, leads to an infinite class of PDFs. As a special consequence, we get a PDF in a group of order $4u^2(2n+1)$ and three block-sizes $4u^2-2u$, $4u^2$ and $4u^2+2u$, whenever we have a $(4u^2,2u^2-u,u^2-u)$-HDS and the maximal prime power divisors of $2n+1$ are all greater than $4u^2+2u$

Additive monotones for resource theories of parallel-combinable processes with discarding

A partitioned process theory, as defined by Coecke, Fritz, and Spekkens, is a symmetric monoidal category together with an all-object-including symmetric monoidal subcategory. We think of the morphisms of this category as processes, and the morphisms of the subcategory as those processes that are freely executable. Via a construction we refer to as parallel-combinable processes with discarding, we obtain from this data a partially ordered monoid on the set of processes, with f > g if one can use the free processes to construct g from f. The structure of this partial order can then be probed using additive monotones: order-preserving monoid homomorphisms with values in the real numbers under addition. We first characterise these additive monotones in terms of the corresponding partitioned process theory. Given enough monotones, we might hope to be able to reconstruct the order on the monoid. If so, we say that we have a complete family of monotones. In general, however, when we require our monotones to be additive monotones, such families do not exist or are hard to compute. We show the existence of complete families of additive monotones for various partitioned process theories based on the category of finite sets, in order to shed light on the way such families can be constructed.Comment: In Proceedings QPL 2015, arXiv:1511.0118

High-rate self-synchronizing codes

Self-synchronization under the presence of additive noise can be achieved by allocating a certain number of bits of each codeword as markers for synchronization. Difference systems of sets are combinatorial designs which specify the positions of synchronization markers in codewords in such a way that the resulting error-tolerant self-synchronizing codes may be realized as cosets of linear codes. Ideally, difference systems of sets should sacrifice as few bits as possible for a given code length, alphabet size, and error-tolerance capability. However, it seems difficult to attain optimality with respect to known bounds when the noise level is relatively low. In fact, the majority of known optimal difference systems of sets are for exceptionally noisy channels, requiring a substantial amount of bits for synchronization. To address this problem, we present constructions for difference systems of sets that allow for higher information rates while sacrificing optimality to only a small extent. Our constructions utilize optimal difference systems of sets as ingredients and, when applied carefully, generate asymptotically optimal ones with higher information rates. We also give direct constructions for optimal difference systems of sets with high information rates and error-tolerance that generate binary and ternary self-synchronizing codes.Comment: 9 pages, no figure, 2 tables. Final accepted version for publication in the IEEE Transactions on Information Theory. Material presented in part at the International Symposium on Information Theory and its Applications, Honolulu, HI USA, October 201

New 22-designs from strong difference families

Strong difference families are an interesting class of discrete structures which can be used to derive relative difference families. Relative difference families are closely related to $2$-designs, and have applications in constructions for many significant codes, such as optical orthogonal codes and optical orthogonal signature pattern codes. In this paper, with a careful use of cyclotomic conditions attached to strong difference families, we improve the lower bound on the asymptotic existence results of $(\mathbb{F}_{p}\times \mathbb{F}_{q},\mathbb{F}_{p}\times \{0\},k,\lambda)$-DFs for $k\in\{p,p+1\}$. We improve Buratti's existence results for $2$-$(13q,13,\lambda)$ designs and $2$-$(17q,17,\lambda)$ designs, and establish the existence of seven new $2$-$(v,k,\lambda)$ designs for $(v,k,\lambda)\in\{(694,7,2),(1576,8,1),(2025,9,1),(765,9,2),(1845,9,2),(459,9,4)$, $(783,9,4)\}$.Comment: Version 1 is named "Improved cyclotomic conditions leading to new 2-designs: the use of strong difference families". Major revision according to the referees' comment