The Cardinality of Sets of k -Independent Vectors over Finite Fields

A set of vectors is k-independent if all its subsets with no more than k elements are linearly independent. We obtain a result concerning the maximal possible cardinality Ind _q (n, k) of a k-independent set of vectors in the n-dimensional vector space F _q ⁿ over the finite field F _q of order q. Namely, we give a necessary and sufficient condition for Ind _q (n, k) = n + 1. We conclude with some pertinent remarks re applications of our results to codes, graphs and hypercubes.     

Tensor Product Representations of the Lie Superalgebra 𝔭(n) and Their Centralizers

Abstract

We construct an associative algebra A _k and show that there is a representation of A _k on V ^?k , where V is the natural 2n-dimensional representation of the Lie superalgebra 𝔭(n). We prove that A _k is the full centralizer of 𝔭(n) on V ^?k , thereby obtaining a “Schur-Weyl duality” for the Lie superalgebra 𝔭(n). This result is used to understand the representation theory of the Lie superalgebra 𝔭(n). In particular, using A _k we decompose the tensor space V ^?k , for k = 2 or 3, and show that V ^?k is not completely reducible for any k ≥ 2.     

Some constructions of linearly optimal group codes

We continue here the research on (quasi)group codes over (quasi)group rings. We give some constructions of [n,n-3,3]_q-codes over F_q for n=2q and n=3q. These codes are linearly optimal, i.e. have maximal dimension among linear codes having a given length and distance. Although codes with such parameters are known, our main results state that we can construct such codes as (left) group codes. In the paper we use a construction of Reed-Solomon codes as ideals of the group ring F_qG where G is an elementary abelian group of order q.     

The graph induced by affine <Emphasis Type="Italic">M</Emphasis>-flats over finite fields II

Let AG(n, F _q) be the n-dimensional affine space over F _q, where F _q is a finite field with q elements. Denote by Γ ^(m) the graph induced by m-flats of AG(n, F _q). For any two adjacent vertices E and F of is studied. In particular, sizes of maximal cliques in Γ ^(m) are determined and it is shown that Γ ^(m) is not edge-regular when m<n−1. Supported by the National Natural Science Foundation of China (19571024) and Hunan Provincial Department of Education (02C512).     

Conjectured statistics for the q,t-Catalan numbers

We introduce the distribution function F_n(q,t) of a pair of statistics on Catalan words and conjecture F_n(q,t) equals Garsia and Haiman's q,t-Catalan sequence C_n(q,t), which they defined as a sum of rational functions. We show that F_n,s(q,t), defined as the sum of these statistics restricted to Catalan words ending in s ones, satisfies a recurrence relation. As a corollary we are able to verify that F_n(q,t)=C_n(q,t) when t=1/q. We also show the partial symmetry relation F_n(q,1)=F_n(1,q). By modifying a proof of Haiman of a q-Lagrange inversion formula based on results of Garsia and Gessel, we obtain a q-analogue of the general Lagrange inversion formula which involves Catalan words grouped according to the number of ones at the end of the word.     

Three enumeration formulas of standard Young tableaux of truncated shapes

In this paper we consider the enumeration of three kinds of standard Young tableaux (SYT) of truncated shapes by use of the method of multiple integrals. A product formula for the number of truncated shapes of the form (n^m, n ? r)\δ_k–1 is given, which implies that the number of SYT of truncated shape (n², 1)\(1) is the number of level steps in all 2-Motzkin paths. The number of SYT with three rows truncated by some boxes ((n + k)³)\(k) is discussed. Furthermore, the integral representation of the number of SYT of truncated shape (n^m)\(3, 2) is derived, which implies a simple formula of the number of SYT of truncated shape (nⁿ)\(3, 2).     

Codes And Xor Graph Products

What is the maximum possible number, f₃(n), of vectors of length n over {0,1,2} such that the Hamming distance between every two is even? What is the maximum possible number, g³(n), of vectors in {0,1,2}ⁿ such that the Hamming distance between every two is odd? We investigate these questions, and more general ones, by studying Xor powers of graphs, focusing on their independence number and clique number, and by introducing two new parameters of a graph G. Both parameters denote limits of series of either clique numbers or independence numbers of the Xor powers of G (normalized appropriately), and while both limits exist, one of the series grows exponentially as the power tends to infinity, while the other grows linearly. As a special case, it follows that f₃(n) = Θ(2ⁿ) whereas g₃(n)=Θ(n). * Research supported in part by a USA-Israeli BSF grant, by the Israel Science Foundation and by the Hermann Minkowski Minerva Center for Geometry at Tel Aviv University. † Research partially supported by a Charles Clore Foundation Fellowship.     

CT bursts—from classical to array coding

R.T. Chien and D.T. Tang [On definition of a burst, IBM J. Res. Develop. 9 (1965) 292-293] introduced the concept of Chien and Tang bursts (CT bursts) for classical coding systems where codes are subsets (or subspaces) of the space , the space of all n-tuples with entries from a finite field F_q. In this paper, we extend the notion of CT bursts for array coding systems where array codes are subsets (or subspaces) of the space Mat_m×s(F_q), the linear space of all m×s matrices with entries from a finite field F_q, endowed with a non-Hamming metric [M.Yu. Rosenbloom, M.A. Tsfasman, Codes for m-metric, Problems Inform. Transmission 33 (1997) 45-52]. We also obtain some bounds on the parameters of array codes for the detection and correction of CT burst errors.     

A new class of superregular matrices and MDP convolutional codes

This paper deals with the problem of constructing superregular matrices that lead to MDP convolutional codes. These matrices are a type of lower block triangular Toeplitz matrices with the property that all the square submatrices that can possibly be nonsingular due to the lower block triangular structure are nonsingular. We present a new class of matrices that are superregular over a sufficiently large finite field F$\mathbb{F}$. Such construction works for any given choice of characteristic of the field F$\mathbb{F}$ and code parameters (n,k,δ)$(n,k,\delta )$ such that (n−k)|δ$(n-k)|\delta$. We also discuss the size of F$\mathbb{F}$ needed so that the proposed matrices are superregular.     

A p, q-Analogue of the Generalized Derangement Numbers

In this paper, we study the numbers D _n,k which are defined as the number of permutations σ of the symmetric group S _n such that σ has no cycles of length j for j ≤ k. In the case k = 1, D _n,1 is simply the number of derangements of an n-element set. As such, we shall call the numbers D _n,k generalized derangement numbers. Garsia and Remmel [4] defined some natural q-analogues of D _n,1, denoted by D _n,1(q), which give rise to natural q-analogues of the two classical recursions of the number of derangements. The method of Garsia and Remmel can be easily extended to give natural p, q-analogues D _n,1(p, q) which satisfy natural p, q-analogues of the two classical recursions for the number of derangements. In [4], Garsia and Remmel also suggested an approach to define q-analogues of the numbers D _n,k . In this paper, we show that their ideas can be extended to give a p, q-analogue of the generalized derangements numbers. Again there are two classical recursions for eneralized derangement numbers. However, the p, q-analogues of the two classical recursions are not as straightforward when k ≥ 2. Partially supported by NSF grant DMS 0400507.     

Intersection theorems with geometric consequences

In this paper we prove that ifℱ is a family ofk-subsets of ann-set, μ₀, μ₁, ..., μ_s are distinct residues modp (p is a prime) such thatk ≡ μ₀ (modp) and forF ≠ F′ ≠ℱ we have |F ∩F′| ≡ μ_i (modp) for somei, 1 ≦i≦s, then |ℱ|≦( _s ⁿ ). As a consequence we show that ifR ⁿ is covered bym sets withm<(1+o(1)) (1.2) ⁿ then there is one set within which all the distances are realised. It is left open whether the same conclusion holds for compositep.     

Maximum Number of Constant Weight Vertices of the Unit <Emphasis Type="Italic">n</Emphasis>-Cube Contained in a <Emphasis Type="Italic">k</Emphasis>-Dimensional Subspace

We introduce and solve a natural geometrical extremal problem. For the set E (n,w) = {x ⁿ {0,1} ⁿ : x ⁿ has w ones } of vertices of weight w in the unit cube of ⁿ we determine M (n,k,w) max{|U _k ⁿ E(n,w)|:U _k ⁿ is a k-dimensional subspace of ⁿ . We also present an extension to multi-sets and explain a connection to a higher dimensional Erds–Moser type problem.     

Non-uniform Turán-type problems

Given positive integers n,k,t, with 2?k?n, and t<2^k, let m(n,k,t) be the minimum size of a family F of (nonempty distinct) subsets of [n] such that every k-subset of [n] contains at least t members of F, and every (k-1)-subset of [n] contains at most t-1 members of F. For fixed k and t, we determine the order of magnitude of m(n,k,t). We also consider related Turán numbers T_?r(n,k,t) and T_r(n,k,t), where T_?r(n,k,t) (T_r(n,k,t)) denotes the minimum size of a family such that every k-subset of [n] contains at least t members of F. We prove that T_?r(n,k,t)=(1+o(1))T_r(n,k,t) for fixed r,k,t with and n→∞.     

Extending MDS Codes

A q-ary (n, k)-MDS code, linear or not, satisfies n ≤ q + k − 1. A code meeting this bound is said to have maximum length. Using purely combinatorial methods we show that an MDS code with n = q + k − 2 can be uniquely extended to a maximum length code if and only if q is even. This result is best possible in the sense that there is, for example, a non-extendable 4-ary (5, 4)-MDS code. It may be that the proof of our result is as interesting as the result itself. We provide a simple necessary and sufficient condition for code extendability. In future work, this condition might be suitably modified to give an extendability condition for arbitrary (shorter) MDS codes.Received December 1, 2003     

Transitive Edge Coloring of Graphs and Dimension of Lattices

We explore properties of edge colorings of graphs dened by set intersections. An edge coloring of a graph G with vertex set V ={1,2, . . . , n} is called transitive if one can associate sets F ₁,F ₂, . . .,F _n to vertices of G so that for any two edges ij,kl E(G), the color of ij and kl is the same if and only if F _i F _j = F _k F _l . The term transitive refers to a natural partial order on the color set of these colorings.We prove a canonical Ramsey type result for transitive colorings of complete graphs which is equivalent to a stronger form of a conjecture of A. Sali on hypergraphs. This—through the reduction of Sali—shows that the dimension of n-element lattices is o(n) as conjectured by Füredi and Kahn.The proof relies on concepts and results which seem to have independent interest. One of them is a generalization of the induced matching lemma of Ruzsa and Szemerédi for transitive colorings. * Research supported in part by OTKA Grant T029074.     

The k-orbit reconstruction and the orbit algebra

Let (G, W) be a permutation group on a finite set W = {w ₁,..., w _n}. We consider the natural action of G on the set of all subsets of W. Let h ₀, h ₁,..., h _N be the orbits of this action. For each i, 1 i N, there exists k, 1 k n, such that h _i is a set of k-element subsets of W. In this case h _i is called a symmetrized k-orbit of the group (G, W) or simply a k-orbit. With a k-orbit h _i we associate a multiset H(h _i ) = % MathType!MTEF!2!1!+-% feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr% 4rNCHbGeaGGipm0dc9vqaqpepu0xbbG8F4rqqrFfpeea0xe9Lq-Jc9% vqaqpepm0xbba9pwe9Q8fs0-yqaqpepae9pg0FirpepeKkFr0xfr-x% fr-xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeyykJeoaaa!3690!\[\langle \]h _i ⁽¹⁾, h _i ⁽²⁾,..., h _i ^(k)% MathType!MTEF!2!1!+-% feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr% 4rNCHbGeaGGipm0dc9vqaqpepu0xbbG8F4rqqrFfpeea0xe9Lq-Jc9% vqaqpepm0xbba9pwe9Q8fs0-yqaqpepae9pg0FirpepeKkFr0xfr-x% fr-xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeyOkJepaaa!36A1!\[\rangle \] of its (k – 1)-suborbits. Orbits h _i and h _j are called equivalent if H(h _i ) = H(h _j ). An orbit is reconstructible if it is equivalent to itself only. The paper concerns the k-orbit reconstruction problem and its connections with different problems in combinatorics. The technique developed is based on the notion of orbit and co-orbit algebras associated with a given permutation group (G, W).     

Large spaces of symmetric matrices of bounded rank are decomposable ∗

Let k and n be positive integers such that kn. Let S_n (F) denote the space of all n×n symmetric matrices over the field F with char F≠2. A subspace L of S_n (F) is said to be a k-subspace if rank Ak for every A?L.

Now suppose that k is even, and write k=2r. We say a k∥-subspace of S_n (F) is decomposable if there exists in Fⁿ a subspace W of dimension n?r such that x^tAx=0 for every x?W A?L.

We show here, under some mild assumptions on k n and F, that every k∥-subspace of S_n (F) of sufficiently large dimension must be decomposable. This is an analogue of a result obtained by Atkinson and Lloyd for corresponding subspaces of F^m,n .     

A note on matrix rigidity

In this paper we give an explicit construction ofn×n matrices over finite fields which are somewhat rigid, in that if we change at mostk entries in each row, its rank remains at leastCn(log _q k)/k, whereq is the size of the field andC is an absolute constant. Our matrices satisfy a somewhat stronger property, we will explain and call strong rigidity. We introduce and briefly discuss strong rigidity, because it is in a sense a simpler property and may be easier to use in giving explicit construction.This paper was written while on leave from Princeton, at the Hebrew University. The author wishes to acknowledge the National Science Foundation for supporting this research in part under PYI grant CCR-8858788, and a grant from the program of Medium and Long Term Research at Foreign Centers of Excellence.     

CLASSIFICATION OF COMPLETE 5-PARTITE GRAPHS AND CHROMATICITY OF 5-PARTITE GRAPHSWITH 5n VERTICES

For a graph G,P(G,λ)denotes the chromatic polynomial of G. Two graphs G and H are said to be chromatically equivalent,denoted by G-H,if P(G,λ)=p(H,λ). Let[G]= {H|H-G}. If [G]={G},then G is said to be chromatically unique. For a complete 5-partite graph G with 5n vertices, define θ(G)=(a(G,6)-2^n 1-2^n-1 5)/2n-2,where a(G,6) denotes the number of 6-independent partitions of G. In this paper, the authors show that θ(G)≥0 and determine all graphs with θ(G)= 0, 1, 2, 5/2, 7/2, 4, 17/4. By using these results the chromaticity of 5-partite graphs of the form G-S with θ(G)=0,1,2,5/2,7/2,4,17/4 is investigated,where S is a set of edges of G. Many new chromatically unique 5-partite graphs are obtained.     

Note edge-colourings of <Emphasis Type="Italic">K</Emphasis><Subscript><Emphasis Type="Italic">n,n</Emphasis></Subscript> with no long two-coloured cycles

Consider the set of all proper edge-colourings of a graph G with n colours. Among all such colourings, the minimum length of a longest two-coloured cycle is denoted L(n, G). The problem of understanding L(n, G) was posed by Häggkvist in 1978 and, specifically, L(n, K _n,n ) has received recent attention. Here we construct, for each prime power q ≥ 8, an edge-colouring of K _n,n with n colours having all two-coloured cycles of length ≤ 2q ², for integers n in a set of density 1 ? 3/(q ? 1). One consequence is that L(n, K _n,n ) is bounded above by a polylogarithmic function of n, whereas the best known general upper bound was previously 2n ? 4.