Perfect binary codes of infinite length

A subset C of infinite-dimensional binary cube is called a perfect binary code with distance 3 if all balls of radius 1 (in the Hamming metric) with centers in C are pairwise disjoint and their union cover this binary cube. Similarly, we can define a perfect binary code in zero layer, consisting of all vectors of infinite-dimensional binary cube having finite supports. In this article we prove that the cardinality of all cosets of perfect binary codes in zero layer is the cardinality of the continuum. Moreover, the cardinality of all cosets of perfect binary codes in the whole binary cube is equal to the cardinality of the hypercontinuum.     

Balanced Graph Partitions

We prove that the set of vertices V, |V| = rk, of a connected graph G can be split into r subsets of the same cardinality in such a way that the distance between any vertex of G and any subset of the partition is at most r.     

Linear Programming Bounds for Codes via a Covering Argument

We recover the first linear programming bound of McEliece, Rodemich, Rumsey, and Welch for binary error-correcting codes and designs via a covering argument. It is possible to show, interpreting the following notions appropriately, that if a code has a large distance, then its dual has a small covering radius and, therefore, is large. This implies the original code to be small. We also point out that this bound is a natural isoperimetric constant of the Hamming cube, related to its Faber–Krahn minima. While our approach belongs to the general framework of Delsarte’s linear programming method, its main technical ingredient is Fourier duality for the Hamming cube. In particular, we do not deal directly with Delsarte’s linear program or orthogonal polynomial theory. This research was partially supported by ISF grant 039-7682.     

On weight distributions of perfect colorings and completely regular codes

A vertex coloring of a graph is called “perfect” if for any two colors a and b, the number of the color-b neighbors of a color-a vertex x does not depend on the choice of x, that is, depends only on a and b (the corresponding partition of the vertex set is known as “equitable”). A set of vertices is called “completely regular” if the coloring according to the distance from this set is perfect. By the “weight distribution” of some coloring with respect to some set we mean the information about the number of vertices of every color at every distance from the set. We study the weight distribution of a perfect coloring (equitable partition) of a graph with respect to a completely regular set (in particular, with respect to a vertex if the graph is distance-regular). We show how to compute this distribution by the knowledge of the color composition over the set. For some partial cases of completely regular sets, we derive explicit formulas of weight distributions. Since any (other) completely regular set itself generates a perfect coloring, this gives universal formulas for calculating the weight distribution of any completely regular set from its parameters. In the case of Hamming graphs, we prove a very simple formula for the weight enumerator of an arbitrary perfect coloring.     

<Emphasis Type="Italic">L</Emphasis><Subscript>1</Subscript>-norm packings from function fields

In this paper, we study some packings in a cube, namely, how to pack n points in a cube so as to maximize the minimal distance. The distance is induced by the L₁-norm which is analogous to the Hamming distance in coding theory. Two constructions with reasonable parameters are obtained, by using some results from a function field including divisor class group, narrow ray class group, and so on. We also present some asymptotic results of the two packings.     

A sum-product estimate in algebraic division algebras

LetA be a finite subset of some normed division algebra over ℝ with cardinality ⋎A⋎. We prove that either the sum set or the product set ofA has cardinality ⋎A⋎^1+δ for some δ>0. Partially supported by NSA grant No. MDA 904-03-1-0045.     

Intersection theorems in permutation groups

The Hamming distance between two permutations of a finite setX is the number of elements ofX on which they differ. In the first part of this paper, we consider bounds for the cardinality of a subset (or subgroup) of a permutation groupP onX with prescribed distances between its elements. In the second part. We consider similar results for sets ofs-tuples of permutations; the role of Hamming distance is played by the number of elements ofX on which, for somei, the ith permutations of the two tuples differ.     

A Sublinear Bipartiteness Tester for Bounded Degree Graphs

d , and the testing algorithm can perform queries of the form: ``who is the ith neighbor of vertex v'. The tester should determine with high probability whether the graph is bipartite or ε-far from bipartite for any given distance parameter ε. Distance between graphs is defined to be the fraction of entries on which the graphs differ in their incidence-lists representation. Our testing algorithm has query complexity and running time where N is the number of graph vertices. It was shown before that queries are necessary (for constant ε), and hence the performance of our algorithm is tight (in its dependence on N), up to polylogarithmic factors. In our analysis we use techniques that were previously applied to prove fast convergence of random walks on expander graphs. Here we use the contrapositive statement by which slow convergence implies small cuts in the graph, and further show that these cuts have certain additional properties. This implication is applied in showing that for any graph, the graph vertices can be divided into disjoint subsets such that: (1) the total number of edges between the different subsets is small; and (2) each subset itself exhibits a certain mixing property that is useful in our analysis. Received: February 6, 1998     

L_1-norm packings from function fields

In this paper,we study some packings in a cube,namely,how to pack n points in a cube so as to maximize the minimal distance.The distance is induced by the L_1-norm which is analogous to the Hamming distance in coding theory.Two constructions with reasonable parameters are obtained,by using some results from a function field including divisor class group,narrow ray class group,and so on.We also present some asymptotic results of the two packings.     

Factoring by subsets of cardinality of prime power

Rédei's theorem asserts that if a finite abelian group is expressed as a direct product of subsets of prime cardinality, then at least one of the factors must be periodic. (A periodic subset is a direct product of some subset and a nontrivial subgroup.) A. D. Sands proved that if a finite cyclic group is the direct product of subsets each of which has cardinality that is a power of a prime, then at least one of the factors is periodic. We prove that the same conclusion holds if a general finite abelian group is factored as a direct product of cyclic subsets of prime cardinalities and general subsets of cardinalities that are powers of primes provided that the components of the group corresponding to these latter primes are cyclic.     

Fuzzy codes and distance properties

A fuzzy code is defined as a fuzzy subset of n-tuples over a set F. An analysis of the Hamming distance between two fuzzy codewords and the error-correcting capability of a regular code in terms of its corresponding fuzzy code is presented.     

An Algorithm for Solving the Shortest Path Improvement Problem on Rooted Trees Under Unit Hamming Distance

Shortest path problems play important roles in computer science, communication networks, and transportation networks. In a shortest path improvement problem under unit Hamming distance, an edge-weighted graph with a set of source–terminal pairs is given. The objective is to modify the weights of the edges at a minimum cost under unit Hamming distance such that the modified distances of the shortest paths between some given sources and terminals are upper bounded by the given values. As the shortest path improvement problem is NP-hard, it is meaningful to analyze the complexity of the shortest path improvement problem defined on rooted trees with one common source. We first present a preprocessing algorithm to normalize the problem. We then present the proofs of some properties of the optimal solutions to the problem. A dynamic programming algorithm is proposed for the problem, and its time complexity is analyzed. A comparison of the computational experiments of the dynamic programming algorithm and MATLAB functions shows that the algorithm is efficient although its worst-case complexity is exponential time.     

Bounds on the Distance Two-Domination Number of a Graph

 For a graph G = (V, E), a subset D⊆V(G) is said to be distance two-dominating set in G if for each vertex u∈V−D, there exists a vertex v∈D such that d(u,v)≤2. The minimum cardinality of a distance two-dominating set in G is called a distance two-domination number and is denoted by γ₂(G). In this note we obtain various upper bounds for γ₂(G) and characterize the classes of graphs attaining these bounds. Received: May 31, 1999 Final version received: July 13, 2000     

Proof of the squashed cube conjecture

We prove a conjecture of R. L. Graham and H. O. Pollak to the effect that every connected graph onn vertices has a distance-preserving embedding in “squashed cube” of dimensionn?1. This means that to each vertex of the graph a string ofn?1 symbols from the alphabet {0, 1, *} can be assigned in such a way that the length of the shortest path between two vertices is equal to the Hamming distance between the corresponding strings, with * being regarded as at distance zero from either 1 or 0. Our labelling thus provides an efficient addressing scheme for the loop-switching communications system proposed by J. R. Pierce.     

On spectral bounds for cutsets

Let Γ be a simple and connected graph. A k-vertex separator [k-edge separator] is a subset of vertices [edges] whose deletion separates the vertex [edge] set of Γ into two parts of equal cardinality, that are at distance greater than k in Γ. Here we investigate the relation between the cardinality of these cutsets and the laplacian spectrum of Γ. As a consequence of the study, we obtain the well-known lower bounds for the bandwidth and the bipartition width of a graph.     

Geodesics in Graphs,an Extremal Set Problem,and Perfect Hash Families

 A set U of vertices of a graph G is called a geodetic set if the union of all the geodesics joining pairs of points of U is the whole graph G. One result in this paper is a tight lower bound on the minimum number of vertices in a geodetic set. In order to obtain that result, the following extremal set problem is solved. Find the minimum cardinality of a collection 𝒮 of subsets of [n]={1,2,…,n} such that, for any two distinct elements x,y∈[n], there exists disjoint subsets A _x ,A _y ∈𝒮 such that x∈A _x and y∈A _y . This separating set problem can be generalized, and some bounds can be obtained from known results on families of hash functions. Received: May 19, 2000 Final version received: July 5, 2001     

Total restrained bondage in graphs

A subset S of vertices of a graph G with no isolated vertex is a total restrained dominating set if every vertex is adjacent to a vertex in S and every vertex in V (G) S is also adjacent to a vertex in V (G) S. The total restrained domination number of G is the minimum cardinality of a total restrained dominating set of G. In this paper we initiate the study of total restrained bondage in graphs. The total restrained bondage number in a graph G with no isolated vertex, is the minimum cardinality of a subset of edges E such that G E has no isolated vertex and the total restrained domination number of G E is greater than the total restrained domination number of G. We obtain several properties, exact values and bounds for the total restrained bondage number of a graph.     

笛卡尔乘积图里的最小k-路点覆盖

对于子集$S\subseteq V(G)$,如果图$G$里的每一条$k$路都至少包含$S$中的一个点,那么我们称集合$S$是图$G$的一个$k$-路点覆盖.很明显,这个子集并不唯一.我们称最小的$k$-路点覆盖的基数为$k$-路点覆盖数, 记作$\psi_k(G)$.本文给出了一些笛卡尔乘积图上$\psi_k(G)$值的上界或下界.     

Minimal separating sets of maximum size

A connected graph G can be disconnected or reduced to a single vertex by removing an appropriate subset of the vertex set V(G), and can be disconnected by removing a suitable subset of the edge set E(G). Attention has usually been centered on separating sets having minimum cardinality, and parameters called the vertex connectivity and the edge connectivity defined. These classical concepts are generalized by using separating sets which are minimal. By considering the maximum as well as the minimum cardinality of such sets, one defines vertex and edge connectivity parameters. Sharp upper bounds are established for these numbers and their values computed for certain classes of graphs. An analogue of Whitney's theorem on connectivity is obtained. Parameters are also defined for minimal separating sets consisting of a mixture of vertices and edges, and these are shown to depend on the maximum and minimum values of the vertex and edge connectivity parameters.     

Patterns of quadratic residues and nonresidues for infinitely many primes

If S is a nonempty, finite subset of the positive integers, we address the question of when the elements of S consist of various mixtures of quadratic residues and nonresidues for infinitely many primes. We are concerned in particular with the problem of characterizing those subsets of integers that consist entirely of either (1) quadratic residues or (2) quadratic nonresidues for such a set of primes. We solve problem (1) and we show that problem (2) is equivalent to a purely combinatorial problem concerning families of subsets of a finite set. For sets S of (essentially) small cardinality, we solve problem (2). Related results and some associated enumerative combinatorics are also discussed.