Search

The article presents information on the 2005 Information Theory Society Paper Award, which is given annually to for a valuable publication in the field of information theory. This year the award was jointly awarded to researchers Shuo-Yen Robert Li, Raymond W. Yeung, and Ning Cai for their paper "Linear Network Coding" which appeared in the February 2003 issue of the journal "IEEE Transactions on Information Theory." Shuo-Yen Robert Li has done his B.S. in mathematics from National Taiwan University in 1970 and Ph.D. in mathematics from the University of California, Berkeley, in 1974. Yeung was born in Hong Kong on June 3, 1962. He has done B.S., M.Eng., Ph.D. in electrical engineering from Cornell University in Ithaca, New York. His research work include information theory and network coding. Ning Cai has done his B.S. in mathematics from the Normal College of Beijing in Beijing, China in 1982. He completed his Ph.D. in mathematics from the University of Bielefeld in Bielefeld, Germany in 1988. He has done research in the field of combinatorics, information theory and their applications.

This paper provides a link between matroid theory and locally repairable codes (LRCs) that are either linear or more generally almost affine. Using this link, new results on both LRCs and matroid theory are derived. The parameters $(n,k,d,r,\delta )$ of LRCs are generalized to matroids, and the matroid analog of the generalized singleton bound by Gopalan et al. for linear LRCs is given for matroids. It is shown that the given bound is not tight for certain classes of parameters, implying a nonexistence result for the corresponding locally repairable almost affine codes that are coined perfect in this paper. Constructions of classes of matroids with a large span of the parameters $(n,k,d,r,\delta )$ and the corresponding local repair sets are given. Using these matroid constructions, new LRCs are constructed with prescribed parameters. The existence results on linear LRCs and the nonexistence results on almost affine LRCs given in this paper strengthen the nonexistence and existence results on perfect linear LRCs given by Song et al. [ABSTRACT FROM AUTHOR]

Spatially-coupled (SC) codes are a family of graph-based codes that have attracted significant attention, thanks to their capacity approaching performance and low decoding latency. An SC code is constructed by partitioning an underlying block code into a number of components and coupling their copies together. In this paper, we first introduce a general approach for the enumeration of detrimental combinatorial objects in the graph of finite-length SC codes. Our approach is general in the sense that it effectively works for SC codes with various partitioning schemes, column weights, and memories. Next, we present a two-stage framework for the construction of high performance binary SC codes optimized for the additive white Gaussian noise channels; we aim at minimizing the number of detrimental combinatorial objects in the error floor region. In the first stage, we deploy a novel partitioning scheme, called the optimal overlap partitioning, to produce the optimal partitioning corresponding to the smallest number of detrimental objects. In the second stage, we apply a new circulant power optimizer to further reduce the number of detrimental objects in the lifted graph. SC codes constructed by our new framework have up to two orders of magnitude error floor performance improvement and up to 0.6 dB SNR gain compared to prior state-of-the-art SC codes. [ABSTRACT FROM AUTHOR]

The inverse function x → x−1 on F2n, is one of the most studied functions in cryptography due to its widespread use as an S-box in block ciphers like AES. In this paper, we show that, if n ≥ 5, every function that is CCZ-equivalent to the inverse function is already EA-equivalent to it. This confirms a conjecture by Budaghyan, Calderini and Villa. We also prove that every permutation that is CCZ-equivalent to the inverse function is already affine equivalent to it. The majority of the paper is devoted to proving that there is no permutation polynomial of the form L1(x−1) + L2(x) over F2n if n ≥ 5, where L1,L2 are nonzero linear functions. In the proof, we combine Kloosterman sums, quadratic forms and tools from additive combinatorics. [ABSTRACT FROM AUTHOR]

We consider the probabilistic group testing problem where $d$ random defective items in a large population of $N$ items are identified with high probability by applying binary tests. It is known that the $\Theta (d \log N)$ tests are necessary and sufficient to recover the defective set with vanishing probability of error when $d = O(N^{\alpha })$ for some $\alpha \in (0, 1)$. However, to the best of our knowledge, there is no explicit (deterministic) construction achieving $\Theta (d \log N)$ tests in general. In this paper, we show that a famous construction introduced by Kautz and Singleton for the combinatorial group testing problem (which is known to be suboptimal for combinatorial group testing for moderate values of $d$) achieves the order optimal $\Theta (d \log N)$ tests in the probabilistic group testing problem when $d = \Omega (\log ^{2}\,\,N)$. This provides a strongly explicit construction achieving the order optimal result in the probabilistic group testing setting for a wide range of values of $d$. To prove the order-optimality of Kautz and Singleton’s construction in the probabilistic setting, we provide a novel analysis of the probability of a non-defective item being covered by a random defective set directly, rather than arguing from combinatorial properties of the underlying code, which has been the main approach in the literature. Furthermore, we use a recursive technique to convert this construction into one that can also be efficiently decoded with only a log-log factor increase in the number of tests. [ABSTRACT FROM AUTHOR]

This paper addresses the problem of adding redundancy to a collection of physical objects so that the overall system is more robust to failures. In contrast to its information counterpart, which can exploit parity to protect multiple information symbols from a single erasure, physical redundancy can only be realized through duplication and substitution of objects. We propose a bipartite graph model for designing defect-tolerant systems, in which the defective objects are replaced by the judiciously connected redundant objects. The fundamental limits of this model are characterized under various asymptotic settings and both asymptotic and finite-size systems that approach these limits are constructed. Among other results, we show that the simple modular redundancy is in general suboptimal. As we develop, this combinatorial problem of defect tolerant system design has a natural interpretation as one of graph coloring, and the analysis is significantly different from that traditionally used in information redundancy for error-control codes. [ABSTRACT FROM AUTHOR]

Consider a group of stations connected through a multiple-access channel, with the constraint that if at a time instant exactly one station transmits a message, then the message is successfully received by any other station, whereas if two or more stations simultaneously transmit their messages then a conflict occurs and all messages are lost. Let us assume that $n$ is the number of stations and that an (arbitrary) subset $A$ of them, $|A|\leq k\leq n$ , is active, that is, there are at most $k$ stations that have a message to send over the channel. In the classical conflict resolution problem, the issue is to schedule the transmissions of each station to let every active station use the channel alone (i.e., without conflict) at least once, and this requirement must be satisfied whatever might be the set of active stations $A$ . The parameter to optimize is, usually, the worst case number of transmissions that any station has to attempt before all message transmissions are successful. In this paper, we study the following question: is it possible to obtain a significant improvement on the protocols that solve the classical conflict resolution problem if we allow the protocols to fail over a “small” fraction of all possible subsets of active stations? In other words, is it possible to significantly reduce the number of transmissions that must be attempted if the set of active stations is chosen uniformly at random and the conflict resolution algorithm is only required to work correctly with “high” probability? In this paper, we will show that this is indeed the case. Our main technical tool is a generalization of selectors, a recently introduced combinatorial structure that has found applications in several areas. As it turned out for selectors, we believe that our new combinatorial structures are likely to be useful also outside the present context. [ABSTRACT FROM PUBLISHER]

The notion of correlation immune functions has been introduced by Siegenthaler (1984) in symmetric cryptography in the framework of stream ciphers. At the conference CRYPTO’91 by Camion et al., it has been pointed out that this notion existed in statistics and combinatorics. It has recently been highlighted that such functions also play an important role in a new framework related to side-channel attack counter-measures. Since then, the interest in correlation immune Boolean functions has been renewed, and new challenges regarding these functions have appeared. Specifically, low Hamming weight correlation immune functions have been selected as useful for counter-measures to side-channel attacks. Despite their importance, the literature is not abundant in this research direction. Two very interesting articles in which such correlation immune functions were nicely explored, given this novel use of them. Carlet initiated the first one in 2013, and the second one is due to Carlet and Chen (2018). This paper deals with correlation immune Boolean functions aiming to produce more candidates of those processing low Hamming weights. We shall focus on correlation immune Boolean functions with Hamming weights power of 2 (which offer a flexibility to control the correlation immunity aspects) and present several methods of designing them. Some design methods are efficient and could be employed to derive such functions. Consequently, given two positive integers $n$ and $m$ , we derive new effective constructions of correlation immune Boolean functions with Hamming weight power of 2. Furthermore, an upper bound on the correlation immunity of the newly constructed $n$ -variable Boolean functions with Hamming weight $2^{m}$ was determined for $n-m\ge 0$. Besides, exact values and lower bounds on the maximum correlation immunity of those functions are explored and discussed, mainly when the values of $n$ and $m$ are very close. This paper also exhibits explicit examples of those correlation immune functions that illustrate our methods. [ABSTRACT FROM AUTHOR]

In addition to their applications in data communication and storage, linear codes also have nice applications in combinatorics and cryptography. Minimal linear codes, a special type of linear codes, are preferred in secret sharing. In this paper, a necessary and sufficient condition for a binary linear code to be minimal is derived. This condition enables us to obtain three infinite families of minimal binary linear codes with $w_{\min }/w_{\max } \leq 1/2$ from a generic construction, where $w_{\min }$ and $w_{\max }$ , respectively, denote the minimum and maximum nonzero weights in a code. The weight distributions of all these minimal binary linear codes are also determined. [ABSTRACT FROM AUTHOR]

Codes that can correct up to $t$ symmetric errors and detect all unidirectional errors, known as $t$ -EC-AUED codes, are studied in this paper. Given positive integers $q$ , $a$ , and $t$ , let $n_{q}(a,t+1)$ denote the length of the shortest $q$ -ary $t$ -EC-AUED code of size $a$. We introduce combinatorial constructions for $q$ -ary $t$ -EC-AUED codes via one-factorizations of complete graphs, and concatenation of MDS codes and codes from resolvable set systems. Consequently, we determine the exact values of $n_{q}(a,t+1)$ for several new infinite families of $q,a$ , and $t$. [ABSTRACT FROM AUTHOR]

This paper studies properties of binary runlength-limited sequences with additional constraints on their Hamming weight and/or their number of runs of identical symbols. An algebraic and a probabilistic (entropic) characterization of the exponential growth rate of the number of such sequences, i.e., their information capacity, are obtained by using the methods of multivariate analytic combinatorics, and properties of the capacity as a function of its parameters are stated. The second-order term in the asymptotic expansion of the rate of these sequences is also given, and the typical values of the relevant quantities are derived. Several applications of the results are illustrated, including bounds on codes for weight-preserving and run-preserving channels (e.g., the run-preserving insertion-deletion channel), a sphere-packing bound for channels with sparse error patterns, and the asymptotics of constant-weight sub-block constrained sequences. In addition, the asymptotics of a closely related notion— $q$ -ary sequences with fixed Manhattan weight—is briefly discussed, and an application in coding for molecular timing channels is illustrated. [ABSTRACT FROM AUTHOR]

In this paper, we revisit the combinatorial error model of Mazumdar et al. that models errors in high-density magnetic recording caused by lack of knowledge of grain boundaries in the recording medium. We present new upper bounds on the cardinality/rate of binary block codes that correct errors within this model. All our bounds, except for one, are obtained using combinatorial arguments based on hypergraph fractional coverings. The exception is a bound derived via an information-theoretic argument. Our bounds significantly improve upon existing bounds from the prior literature. [ABSTRACT FROM PUBLISHER]

This paper provides a comprehensive analysis of nonbinary low-density parity check (LDPC) codes built out of protographs. We consider both random and constrained edge-weight labeling, and refer to the former as the unconstrained nonbinary protograph-based LDPC codes (U-NBPB codes) and to the latter as the constrained nonbinary protograph-based LDPC codes (C-NBPB codes). Equipped with combinatorial definitions extended to the nonbinary domain, ensemble enumerators of codewords, trapping sets, stopping sets, and pseudocodewords are calculated. The exact enumerators are presented in the finite-length regime, and the corresponding growth rates are calculated in the asymptotic regime. An EXIT chart tool for computing the iterative decoding thresholds of protograph-based LDPC codes is presented, followed by several examples of finite-length U-NBPB and C-NBPB codes with high performance. Throughout this paper, we provide accompanying examples, which demonstrate the advantage of nonbinary protograph-based LDPC codes over their binary counterparts and over random constructions. The results presented in this paper advance the analytical toolbox of nonbinary graph-based codes. [ABSTRACT FROM AUTHOR]

Combinatorial structures called stopping sets are useful in analyzing the performance of a linear code when coupled with an iterative decoding algorithm over an erasure channel. In this paper, we consider stopping sets of Hermitian codes. [ABSTRACT FROM PUBLISHER]

Frequency hopping sequences (FHSs) are employed to mitigate the interferences caused by the hits of frequencies in frequency hopping spread spectrum systems. In this paper, we present combinatorial constructions for FHS sets, including direct constructions by using cyclotomic classes, recursive constructions based on cyclic difference matrices, merging blocks, and discrete logarithm. By these constructions, a number of series of new FHS sets are then produced. These FHS sets are optimal with respect to the Peng–Fan bounds. [ABSTRACT FROM PUBLISHER]

Ovoids in ${\mathrm {PG}}(3, {\mathrm {GF}}(q))$ have been an interesting topic in coding theory, combinatorics, and finite geometry for a long time. So far only two families of ovoids are known. The first is the elliptic quadrics and the second is the Tits ovoids. It is known that an ovoid in ${\mathrm {PG}}(3, {\mathrm {GF}}(q))$ corresponds to a $[q^{2}+1, 4, q^{2}-q]$ code over ${\mathrm {GF}}(q)$ , which is called an ovoid code. The objectives of this paper are to develop the general theories of subfield codes and to study the subfield codes of the two families of ovoid codes. The dimensions, minimum weights, and the weight distributions of the subfield codes of the elliptic quadric codes and Tits ovoid codes are settled. The parameters of the duals of these subfield codes are also studied. Some of the codes presented in this paper are optimal, and some are distance-optimal. The parameters of the subfield codes are new. [ABSTRACT FROM AUTHOR]

In recent years, self-dual MDS codes have attracted a lot of attention due to theoretical interest and practical importance. Similar to self-dual MDS codes, self-dual near MDS (NMDS for short) codes have nice structures as well. From both theoretical and practical points of view, it is natural to study self-dual NMDS codes. Although there has been lots of work on NMDS codes in literature, little is known for self-dual NMDS codes. It seems more challenging to construct self-dual NMDS codes than self-dual MDS codes. The only work on construction of self-dual NMDS codes shows existence of $q$ -ary self-dual NMDS codes of length $q-1$ for odd prime power $q$ or length up to 16 for some small primes $q$ with $q\le 197$. In this paper, we make use of properties of elliptic curves to construct self-dual NMDS codes. It turns out that, as long as $2|q$ and $n$ is even with $4\le n\le q+\lfloor 2\sqrt {q}\rfloor -2$ , one can construct a self-dual NMDS code of length $n$ over $ {\mathbb {F}}_{q}$. Furthermore, for odd prime power $q$ , there exists a self-dual NMDS code of length $n$ over $ {\mathbb {F}}_{q}$ if $q\ge 4^{n+3}\times (n+3)^{2}$. [ABSTRACT FROM AUTHOR]

Locally repairable codes are desirable for distributed storage systems to improve the repair efficiency. In this paper, a connection between locally repairable codes with multiple disjoint repair sets and packings is derived under the condition that each repair set contains exactly one check symbol. Particularly, conditions under which an optimal locally repairable code corresponds to a packing are also characterized. As an application of this connection, some optimal locally repairable codes can be obtained by packings. Specifically, two constructions of locally repairable codes are proposed which not only generalize some known explicit constructions but also give optimal locally repairable codes with flexible new parameters. [ABSTRACT FROM AUTHOR]

New processing models are being adopted in Big Data engineering to overcome the limitations of traditional technology. Among them, MapReduce stands out by allowing for the processing of large volumes of data over a distributed infrastructure that can change during runtime. The developer only designs the functionality of the program and its execution is managed by a distributed system. As a consequence, a program can behave differently at each execution because it is automatically adapted to the resources available at each moment. Therefore, when the program has a design fault, this could be revealed in some executions and masked in others. However, during testing, these faults are usually masked because the test infrastructure is stable, and they are only revealed in production because the environment is more aggressive with infrastructure failures, among other reasons. This paper proposes new testing techniques that aimed to detect these design faults by simulating different infrastructure configurations. The testing techniques generate a representative set of infrastructure configurations that as whole are more likely to reveal failures using random testing, and partition testing together with combinatorial testing. The techniques are automated by using a test execution engine called MRTest that is able to detect these faults using only the test input data, regardless of the expected output. Our empirical evaluation shows that MRTest can automatically detect these design faults within a reasonable time. [ABSTRACT FROM AUTHOR]

A new method of deembedding a test fixture effect from the data of microwave measurements is presented in this paper. It is shown that the traditional unterminating problem (the problem of finding fixture characteristics) being posed in a finite frequency range may be reduced to a problem of fitting the characteristics of the ‘thru’ experiment. The latter is proposed to be solved by using the genetic algorithm (GA). A special trick is suggested to take fixture power loss into consideration, which is sometimes necessary to increase the goodness of fitting the characteristics. Physically correct constraints for optimization variables and optimal parameters of the GA are discussed in this paper. The method is applicable for all microwave fixtures, except for those whose characteristics are influenced by the relative position of the adapters comprising the fixture. The method does not have any specific frequency limitation and does not require any calibration standards. The results of the experiments performed have validated a high efficiency of the method proposed, and confirm that the accuracy of a deembedding problem solution is close to the goodness of fitting data of the ‘thru’ experiment. [ABSTRACT FROM AUTHOR]

The basic goal of threshold group testing is to identify up to $d$ defective items among a population of $n$ items, where $d$ is usually much smaller than $n$. The outcome of a test on a subset of items is positive if the subset has at least $u$ defective items, negative if it has up to $\ell $ defective items, where $0 \leq \ell < u$ , and arbitrary otherwise. This is called threshold group testing. The parameter $g = u - \ell - 1$ is called the gap. In this paper, we focus on the case $g > 0$ , i.e., threshold group testing with a gap. Note that the results presented here are also applicable to the case $g = 0$ ; however, the results are not as efficient as those in related work. Currently, a few reported studies have investigated test designs and decoding algorithms for identifying defective items. Most of the previous studies have not been feasible because there are numerous constraints on their problem settings or the decoding complexities of their proposed schemes are relatively large. Therefore, it is compulsory to reduce the number of tests as well as the decoding complexity, i.e., the time for identifying the defective items, for achieving practical schemes. The work presented here makes five contributions. The first is a more accurate theorem for a non-adaptive algorithm for threshold group testing proposed by Chen and Fu. The second is an improvement in the construction of disjunct matrices, which are the main tools for tackling (threshold) group testing and other tasks such as constructing cover-free families or learning hidden graphs. Specifically, we present a better exact upper bound on the number of tests for disjunct matrices compared with that in related work. The third and fourth contributions are a reduced exact upper bound on the number of tests and a reduced asymptotic bound on the decoding time for identifying defective items in a noisy setting on test outcomes. The fifth contribution is a simulation on the number of tests of the resulting improvements for previous work and the proposed theorems. [ABSTRACT FROM AUTHOR]

This paper considers the problem of linear Boolean classification, where the goal is to determine in which set, among two given sets of Boolean vectors, an unknown vector belongs to by making linear queries. Finding the least number of queries is equivalent to determining the minimal rank of a matrix over $GF(2)$ , whose kernel does not intersect a given set $S$ . In the case where $S$ is a Hamming ball, this reduces to finding linear codes of largest dimension. For a general set $S$ , this is an instance of the critical problem posed by Crapo and Rota in 1970, open in general. This paper focuses on the case where $S$ is an annulus. As opposed to balls, it is shown that an optimal kernel is composed not only of dense but also of sparse vectors, and the optimal mixture is identified in various cases. These findings corroborate a proposed conjecture that for an annulus of inner and outer radius $nq$ and $np$ respectively, the optimal relative rank is given by the normalized entropy $(1-q)H(p/(1-q))$ , an extension of the Gilbert–Varshamov bound. [ABSTRACT FROM AUTHOR]

In this paper, we study the data exchange problem, where a set of users is interested in gaining access to a common file, but where each has only partial knowledge about it as side-information. Assuming that the file is broken into packets, the side-information considered is in the form of linear combinations of the file packets. Given that the collective information of all the users is sufficient to allow recovery of the entire file, the goal is for each user to gain access to the file, while minimizing some communication cost. We assume that the users can communicate over a noiseless broadcast channel, and that the communication cost is a sum of each user’s cost function over the number of bits it transmits. For instance, the communication cost could simply be the total number of bits that needs to be transmitted. In the most general case studied in this paper, each user can have any arbitrary convex cost function. We provide deterministic, polynomial-time algorithms (in the number of users and packets), which find an optimal communication scheme that minimizes the communication cost. To further lower the complexity, we also propose a simple randomized algorithm inspired by our deterministic algorithm, which is based on a random linear network-coding scheme. [ABSTRACT FROM AUTHOR]

In this paper, the problem of joint mode switching and power adaptation is studied for simultaneous wireless information and power transfer (SWIPT) over a fading channel. The receiver dynamically switches between information decoding (ID) and energy harvesting (EH) modes while the transmitter dynamically adapts the transmit power. Considering the nonlinearity of practical EH circuits, a realistic nonlinear EH model is adopted rather than the idealistic linear EH model. To characterize the ultimate performance tradeoff between ID and EH, an optimization problem is formulated to maximize the average harvested energy under the constraints on the average achievable rate and the average transmit power, which is a nonconvex and combinatorial problem. To solve this problem, first, the optimal power adaptation scheme for the nonlinear EH receiver that operates only in the EH mode is proposed. Using this scheme, the jointly optimal solution for the mode switching and power adaptation is then derived. By comparing the obtained results to the existing results, various useful and interesting insights into the optimized SWIPT system with nonlinear EH are presented. An important insight into the impact of nonlinear EH is that, to exploit the high energy conversion efficiency of the nonlinear circuit, the EH mode has to be selected only in the moderate range of channel gains. Also, in the EH mode, the power has to be adapted to the short-term power threshold only for the moderate channel gains. [ABSTRACT FROM AUTHOR]

Switch codes, first proposed by Wang et al., are codes that are designed to increase the parallelism of data writing and reading processes in network switches. A network switch is required to write $n$ incoming packets and read $k$ outgoing packets while using $m$ memory banks, each able to write and read one packet per time unit. Each set of $n$ packets written to the switch simultaneously is called a generation. The objective is to store the packets in the banks such that every request of $k$ packets, which can belong to previous generations, can be handled by reading at most one packet from every bank. In this paper, we study a new type of switch codes that can simultaneously deliver large packet request and good coding rate. These attractive features are achieved by relaxing the request model to a natural sub-class we call consecutive requests. For this new request model, we define a new type of codes called consecutive switch codes. These codes are studied in both the computational and combinatorial models, corresponding to whether the data can be encoded or not. For binary codes, we also study an intermediate model in which a coded packet is formed by the XOR operations of at most two input packets. We present several code constructions and prove the optimality of one family of these codes by providing the corresponding lower bound. Finally, we introduce a construction of conventional switch codes, which improves upon the best known results for the case $n=k$ . [ABSTRACT FROM AUTHOR]

As a crucial technique for integrated circuits (IC) test response compaction, X-compact employs a special kind of codes called X-codes for reliable compressions of the test response in the presence of unknown logic values (Xs). From a combinatorial view point, Fujiwara and Colbourn introduced an equivalent definition of X-codes and studied X-codes of small weights that have good detectability and X-tolerance. An $({\it\text { m, n, d, x}})~\text {X}$ -code is an $\text {m}\times \text {n}$ binary matrix with column vectors as its codewords. The parameters ${\it\text { d, x}}$ correspond to the test quality of the code. In this paper, bounds and constructions for constant weighted X-codes are investigated. First, we obtain a general result on the maximum number of codewords n for an $({\it\text { m, n, d, x}})~\text {X}$ -code of weight w, and we further improve this lower bound for the case with $\text {x}=2$ and $\text {w}=3$ through the probabilistic method. Then, using tools from additive combinatorics and finite fields, we present some explicit constructions for constant weighted X-codes with $\text {d}=3,7$ and $\text {x}=2$ , which are optimal for the case when $\text {d}=3, \text {w}=4$ and nearly optimal for the case when $\text {d}=3,\text {w}=3$. We also consider a special class of X-codes introduced by Fujiwara and Colbourn and improve the best known lower bound on the maximum number of codewords for this kind of X-codes. [ABSTRACT FROM AUTHOR]

Resistive memories store information in a crossbar arrangement of two-terminal devices that can be programmed to patterns of high or low resistance. While extremely compact, this technology suffers from the “sneak-path” problem: certain information patterns cannot be recovered, as multiple low resistances in parallel make a high resistance indistinguishable from a low resistance. In this paper, a multi-layer device is considered, and the number of bits it can store is derived exactly and asymptotic bounds are developed. The information density of a series of isolated arrays with extreme aspect ratios is derived in the single- and multi-layer cases with and without peripheral selection circuitry. This density is shown to be non-zero in the limit, unlike that of the arrays with moderate aspect ratios previously considered. A simple encoding scheme that achieves capacity asymptotically is presented. [ABSTRACT FROM AUTHOR]

Let p be a prime, n=2m and d=3p^m-2 with m\geq 2 , and \gcd (d,p^n-1)=1 . In this paper, the correlation distribution between a p -ary m -sequence of period p^n-1 and its d -decimation sequence is investigated in a unified approach. Some results for the binary case are extended to the general case. It is shown that the problem of determining the correlation distribution for d can be reduced to that of solving two combinatorial problems related to the unit circle of the finite field \mathbb {F}_{p^{n}} . For an arbitrary odd prime p , it seems difficult to solve these two problems. However, for p=3 , by studying the weight distribution of the ternary Zetterberg code and counting the numbers of solutions of some equations over \mathbb {F}_{3^{n}} , the two problems are solved, and thus, the corresponding correlation distribution for d$ is completely determined. It is noteworthy that this is the first time that the correlation distribution for a non-binary Niho decimation has been determined since 1976. [ABSTRACT FROM PUBLISHER]

Frameproof codes are used to fingerprint digital data. They can prevent copyrighted materials from unauthorized use. In this paper, we study upper and lower bounds for $w$ -frameproof codes of length N$ over an alphabet of size q$ . The upper bound is based on a combinatorial approach and the lower bound is based on a probabilistic construction. Both bounds can improve one of the previous results when q$ is small compared with w$ , say cq\leq w$ for some constant c\leq q$ . Furthermore, we pay special attention to binary frameproof codes. We show a binary w . [ABSTRACT FROM PUBLISHER]

In this paper, we propose an algorithm referred to as multipath matching pursuit (MMP) that investigates multiple promising candidates to recover sparse signals from compressed measurements. Our method is inspired by the fact that the problem to find the candidate that minimizes the residual is readily modeled as a combinatoric tree search problem and the greedy search strategy is a good fit for solving this problem. In the empirical results as well as the restricted isometry property-based performance guarantee, we show that the proposed MMP algorithm is effective in reconstructing original sparse signals for both noiseless and noisy scenarios. [ABSTRACT FROM AUTHOR]

Functional dependence occurs when the failure of one component causes other components within the same system to become inaccessible or unusable. It is one of the dynamic behaviors that have been recognized in the dynamic fault tree analysis, where a dynamic gate called FDEP was designed to model such behavior. Traditional approaches to handling functional dependence in the reliability analysis of fault-tolerant systems with imperfect fault coverage are mainly based on Markov models, which are often computationally intensive, and even intractable due to the well-known state space explosion problem. In addition, the Markov-based approaches are typically restricted to exponential time-to-failure distributions for system components. In this paper, a combinatorial, separable method based on the divide-and-conquer paradigm and total probability theorem is proposed for addressing the above problems. The proposed method obviates the use of inefficient Markov models, offering exact, computationally-efficient solutions to the reliability analysis of imperfect coverage systems subject to functional dependencies. The proposed method is applicable to the analysis of large systems with any arbitrary time-to-failure distributions. Several case studies are given to illustrate the application and advantages of the proposed method. [ABSTRACT FROM PUBLISHER]

Regression testing tasks of test case prioritization, test suite reduction/minimization, and regression test selection are typically centered around criteria that are based on code coverage, test execution costs, and code modifications. Researchers have developed and evaluated new individual criteria; others have combined existing criteria in different ways to form what we--and some others--call hybrid criteria. In this paper, we formalize the notion of combining multiple criteria into a hybrid. Our goal is to create a uniform representation of such combinations so that they can be described unambiguously and shared among researchers. We envision that such sharing will allow researchers to implement, study, extend, and evaluate the hybrids using a common set of techniques and tools. We precisely formulate three hybrid combinations, Rank, Merge, and Choice, and demonstrate their usefulness in two ways. First, we recast, in terms of our formulations, others' previously reported work on hybrid criteria. Second, we use our previous results on test case prioritization to create and evaluate new hybrid criteria. Our findings suggest that hybrid criteria of others can be described using our Merge and Rank formulations, and that the hybrid criteria we developed most often outperformed their constituent individual criteria. [ABSTRACT FROM PUBLISHER]

Objective: In this paper, a new vibrational modal analysis technique was developed for intraoperative cementless prosthesis fixation evaluation upon hammering. Methods: An artificial bone (Sawbones)-prosthesis system was excited by sweeping of a sine signal over a wide frequency range. The exponential sine sweep technique was implemented to the response signal in order to determine the linear impulse response. Recursive Fourier transform enhancement (RFTE) technique was applied to the linear impulse response signal in order to enhance the frequency spectrum with sharp and distinguishable peak values indicating distinct high natural frequencies of the system (ranging from 15 kHz to 90 kHz). The experiment was repeated with 5 Sawbones-prosthesis samples. Upon successive hammering during the prosthesis insertion, variation of each natural frequency was traced. Results: Compared to classical Fast Fourier Transform, RFTE provided a better tracing and enhancement of frequency components during insertion. Three different types of frequency evolving trends (monotonically increasing, insensitive, and plateau-like) were observed for all samples, as confirmed by a new finite element simulation of the prosthesis dynamic insertion. Two main mechanical phenomena (i.e., geometrical compaction and compressive stress) were shown to govern these trends in opposite ways. Follow-up of the plateau-like trend upon hammering showed that the frequency shift is a good indicator of fixation. Conclusion: Alongside the individual follow-up of frequency shifts, combinatorial frequency analysis provides new objective information on the mechanical stability of Sawbone-prosthesis fixation. Significance: The proposed vibrational technique based on RTFE can provide the surgeon with a new assistive diagnostic technique during the surgery by indicating when the bone-prosthesis fixation is acceptable, and beyond of which further hammering should be done cautiously to avoid bone fracture. [ABSTRACT FROM AUTHOR]

In this paper, we investigate properties of generalized bent Boolean functions and 2^k-bent (i.e., negabent, octabent, hexadecabent, et al.) Boolean functions in a uniform framework. From the Hadamard matrices, Hodžić and Pasalic presented sufficient conditions for generalized bent functions. Using cyclotomic fields and the decomposition of generalized bent functions, we generalize their results, prove that Hodžić and Pasalic’s conditions of generalized bent functions are not only sufficient but also necessary, and completely characterize generalized bent functions in terms of their component functions. Furthermore, we present a secondary construction of bent functions or semi-bent functions from generalized bent functions. Finally, we give the relations of generalized bent functions and 2^k-bent functions, demonstrate that 2^k-bent functions are actually a special class of generalized bent functions, and completely characterize 2^k-bent functions. [ABSTRACT FROM PUBLISHER]

In a system that performs both encryption and lossy compression, the conventional way is to compress first and then encrypt the compressed data. This separation approach has been proved to be optimal. In certain applications where sensitive information should be protected as early as possible, it is preferable to perform the encryption first and then compress the encrypted data, which leads to the concept of the reversed system. Johnson et al. proposed an achievable scheme for the reversed system, where a modulo-sum encryption is followed by a compression using the Wyner–Ziv distributed source coding with side information. However, in general, this reversed system performs worse than the conventional system in the sense that it requires more compression rate and secrecy key rate. In this paper, we propose a new achievable scheme for the reversed system, where the encryption is conducted by a permutation cipher, and then, the encrypted data is compressed using the optimal rate-distortion code. The proposed scheme can achieve the optimal compression rate and secret key rate. As a result, we show that reversing the order of the encryption and compression does not necessarily compromise the performance of an encryption-compression system. We show that the proposed system attains strong secrecy, and the information leakage vanishes exponentially. [ABSTRACT FROM PUBLISHER]

Petabyte-scale distributed storage systems are currently transitioning to erasure codes to achieve higher storage efficiency. Classical codes, such as Reed–Solomon (RS), are highly sub-optimal for distributed environments due to their high overhead during single-failure events. Locally repairable codes (LRCs) form a new family of codes that are repair efficient. In particular, LRCs minimize the number of nodes participating in single node repairs. Fundamental bounds and methods for explicitly constructing LRCs suitable for deployment in distributed storage clusters are not fully understood and currently form an active area of research. In this paper, we present an explicit LRC that is simple to construct and is optimal for a specific set of coding parameters. Our construction is based on grouping RS symbols and then adding extra simple parities that allow for small repair locality. For the analysis of the optimality of the code, we derive a new result on the matroid represented by the code’s generator matrix. [ABSTRACT FROM PUBLISHER]

In this paper, we consider optimal q -ary cyclic constant-weight codes of length n , minimum distance d , and weight w codes. We introduce the pure and mixed difference method to present a combinatorial description for a cyclic (n,d,w)_{q} code and then obtain some tight upper bounds on the sizes of optimal cyclic (n,d,w)_{q} codes. Finally, by using Skolem-type sequences, we completely determine the sizes of optimal cyclic (n,d,3)3 codes with minimum distance 1\leq d\leq 6 . [ABSTRACT FROM AUTHOR]

When the information source is a continuous distribution and the rate–distortion function is strictly larger than the Shannon lower bound, the explicit evaluation of the rate–distortion function is not straightforward. We evaluate the rate–distortion function for an independent identically distributed gamma source with respect to the absolute-log distortion measure. The logarithmic transformation reduces this rate–distortion problem to that under the absolute distortion measure. Extending the explicit evaluation of the rate–distortion function for the Gaussian sources, we obtain the parametric form of the rate–distortion function. We show that the optimal distribution of reconstruction consists of a continuous component enclosed by left and right discrete components, and the left discrete component vanishes when the acceptable distortion is small. We further extend the result for a wider class of source distributions. [ABSTRACT FROM AUTHOR]

The proportional intensity model (PIM) has been used to model the intensity function of repairable systems taking non-time factors, such as operating conditions, and repair history, into consideration. This paper develops a kernelized PIM (KPIM) by combining the PIM and the kernel method to consider a scenario where a repairable system experiences piecewise operating conditions. The kernel method is used to approximate the PIM covariate function nonlinearly. An approach based on the regularized likelihood function is proposed to obtain the optimal parameters for the KPIM. A numerical example is provided to demonstrate the KPIM model, and the parameter estimation approach. [ABSTRACT FROM PUBLISHER]

Modern systems are becoming highly configurable to satisfy the varying needs of customers and users. Software product lines are hence becoming a common trend in software development to reduce cost by enabling systematic, large-scale reuse. However, high levels of configurability entail new challenges. Some faults might be revealed only if a particular combination of features is selected in the delivered products. But testing all combinations is usually not feasible in practice, due to their extremely large numbers. Combinatorial testing is a technique to generate smaller test suites for which all combinations of t features are guaranteed to be tested. In this paper, we present several theorems describing the probability of random testing to detect interaction faults and compare the results to combinatorial testing when there are no constraints among the features that can be part of a product. For example, random testing becomes even more effective as the number of features increases and converges toward equal effectiveness with combinatorial testing. Given that combinatorial testing entails significant computational overhead in the presence of hundreds or thousands of features, the results suggest that there are realistic scenarios in which random testing may outperform combinatorial testing in large systems. Furthermore, in common situations where test budgets are constrained and unlike combinatorial testing, random testing can still provide minimum guarantees on the probability of fault detection at any interaction level. However, when constraints are present among features, then random testing can fare arbitrarily worse than combinatorial testing. As a result, in order to have a practical impact, future research should focus on better understanding the decision process to choose between random testing and combinatorial testing, and improve combinatorial testing in the presence of feature constraints. [ABSTRACT FROM PUBLISHER]

This paper considers the reliability analysis of multistate systems (MSSs) subject to propagated failure with global effect (PFGE) and failure isolation effect. The PFGE can be caused by an imperfect fault coverage despite the presence of fault-tolerant mechanism or by a destructive effect of failures that originate from some system components on other components. The failure isolation effect is caused by functional dependence among system components, where the failure of some component can prevent the propagation of failures that originate from other components within the same system. Existing approaches for simultaneously addressing PFGE and failure isolation are limited to binary-state systems in which the system and its components exhibit two and only two states: operation or failure. In practice, however, many systems are MSS in which the system and/or its components may exhibit multiple performance levels corresponding to different states ranging from perfect operation to complete failure. In this paper, a separable and combinatorial methodology is proposed for evaluating the reliability of MSS subject to both PFGE and the failure isolation effect. The proposed method has no limitation on the type of time-to-failure distributions for the system components and is applicable to MSS with any arbitrary system structure. Application and advantages of the proposed method are illustrated through a detailed analysis of an example of a multistate memory system. [ABSTRACT FROM PUBLISHER]

This paper presents a positive approach in an optimized design of a combinatory unified power-quality conditioner (UPQC) and superconducting fault current limiters (SFCLs). This is based on a normalized simulated annealing algorithm compared with analytic hierarchy process objective optimization. The optimization algorithm for simultaneous optimization computes and produces three-dimensional alignments in Pareto front at the end of the optimization run. The results show that the SFCL can reduce the volt-ampere rating of the UPQC by limiting the fault current, thereby reducing the cost of UPQC installation. The aforementioned algorithm requires advanced numerical techniques for simulation studies by PSCAD/EMTDC on a sample distribution system for determining a global optimal combination of UPQC and SFCL by considering individual parameters and accounting for the constraints, which is the main motivation of this paper. This will result in a more thorough knowledge of “scaling factors” and the system quality mechanism which will enable the most efficient systems from the viewpoints of cost cutting, energy savings, and downsizing. [ABSTRACT FROM AUTHOR]

Loopy belief propagation has been employed in a wide variety of applications with great empirical success, but it comes with few theoretical guarantees. In this paper, we analyze the performance of the max-product form of belief propagation for the weighted matching problem on general graphs. We show that the performance of max-product is exactly characterized by the natural linear programming (LP) relaxation of the problem. In particular, we first show that if the LP relaxation has no fractional optima then max-product always converges to the correct answer. This establishes the extension of the recent result by Bayati, Shah and Sharma, which considered bipartite graphs, to general graphs. Perhaps more interestingly, we also establish a tight converse, namely that the presence of any fractional LP optimum implies that max-product will fail to yield useful estimates on some of the edges. We extend our results to the weighted b-matching and r-edge-cover problems. We also demonstrate how to simplify the max-product message-update equations for weighted matching, making it easily deployable in distributed settings like wireless or sensor networks. [ABSTRACT FROM AUTHOR]

In this paper, we are concerned with Hadamard matrices with a certain noncyclic property. First we show that when the first column of a Sylvester Hadamard matrix of order 2m, m≥ 2, a positive integer, is removed, the number of shift distinct row vectors in the matrix is given by 2m - m. Then, for m ≥ 4, we construct an infinite family of Hadamard matrices with a property that when the first column of the Hadamard matrix is removed, all the row vectors of the matrix are shift distinct. These Hadamard matrices are useful in constructing low correlation zone sequences. [ABSTRACT FROM AUTHOR]

Information embedding (IE) is the transmission of information within a host signal subject to a distortion constraint. There are two types of embedding methods, namely irreversible IE and reversible IE, depending upon whether or not the host, as well as the message, is recovered at the decoder. In irreversible IE, only the embedded message is recovered at the decoder, and in reversible IE, both the message and the host are recovered at the decoder. In this paper, combinations of irreversible and reversible IE in multiple access channels (MAC) and physically degraded broadcast channels (BC) are considered. In this paper, MAC IE in which separate encoders embed their messages into their host signals subject to distortion constraints is considered. The embedded signals from the two encoders are transmitted to a single decoder across a MAC. For the MAC IE model, the following three cases are considered: A) no host recovery at the decoder, B) lossless recovery of one host at the decoder, and C) lossless recovery of both hosts at the decoder. For the cases A and B, inner bounds on the respective capacity regions are developed. For the case C, inner and outer bounds on the capacity region are developed, and the capacity region is obtained if the hosts are independent. In this paper, BCIE in which two messages intended for separate decoders are embedded into a given host sequence by a single encoder subject to a distortion constraint is also considered. For the BC IE model, the following four cases are considered: A') lossless recovery of the host sequence at neither of the decoders, B') lossless recovery of the host sequence at only the better decoder, C') lossless recovery of the host sequence at both decoders, and D') lossless recovery of the host sequence at only the worse decoder. For cases A' and B', inner and outer bounds on the respective capacity regions are developed. For cases C' and D', the identical capacity regions are obtained. [ABSTRACT FROM AUTHOR]

In this paper, we give three new constructions of binary sequences of period 4N with optimal autocorrelation value or optimal autocorrelation magnitude using N x 4 interleaved sequences. Yu and Gong recently found any binary sequence of period 4N with optimal autocorrelation value constructed from an almost difference set by Arasu et al. is an N x 4 interleaved sequence for which all four columns in its N x 4 array are shift equivalent up to the complement. We found that it is not necessary that four columns are shift equivalent. Instead, it could be a pair of related sequences together with their shifts as the column sequences. The first construction is to use a generalized GMW sequence of period N = 22k - 1 and its modified version, the second construction is to use a twin prime sequence of length N = p(p + 2) and its modified version, and the third construction, a pair of Legendre sequences of period N = p (p odd prime) with their respective first terms complementary (the 2-level autocorrelation property is not needed for the Legendre sequence). The comparison with the known constructions are given. For the new sequences with optimal autocorrelation value, their corresponding new almost difference sets are also derived. [ABSTRACT FROM AUTHOR]