Academia.edu no longer supports Internet Explorer.
To browse Academia.edu and the wider internet faster and more securely, please take a few seconds to upgrade your browser.
2006, Linear Algebra and its Applications
The Rado-Horn Theorem gives a characterization of those sets of vectors which can be written as the union of a fixed number of linearly independent sets. In this paper we study the redundant case. We show that then the span of the vectors can be written as the direct sum of a subspace which directly fails the Rado-Horn criteria and a subspace for which the Rado-Horn criteria hold. As a corollary, we characterize those sets of vectors which, after the deletion of a fixed number of vectors, can be written as the finite union of linearly independent sets.
Journal of Combinatorial Theory, Series A, 1986
Let V be an n-dimensional vector space over GF(q) and for integers k > t > 0 let m,(n, k, t) denote the maximum possible number of subspaces in a t-intersecting family 9 of k-dimensional subspaces of V, i.e., dim Fn F' > c holds for all F, F E F. It is shown that m&n, k, t) = max{ [;::I, [ '"; 'I} for n > 2k -t while for n < 2k -t trivially m&n, k, t) = [;I holds. 0 1986 Academic Press. Inc.
Linear Algebra and its Applications, 2012
The Rado-Horn theorem provides necessary and sufficient conditions for when a collection of vectors can be partitioned into a fixed number of linearly independent sets. Such partitions exist if and only if every subset of the vectors satisfies the so-called Rado-Horn inequality. Today there are at least six proofs of the Rado-Horn theorem, but these tend to be extremely delicate or require intimate knowledge of matroid theory. In this paper we provide an elementary proof of the Rado-Horn theorem as well as elementary proofs for several generalizations including results for the redundant case when the hypotheses of the Rado-Horn theorem fail. Another problem with the existing proofs of the Rado-Horn Theorem is that they give no information about how to actually partition the vectors. We start by considering a specific partition of the vectors, and the proof consists of showing that this is an optimal partition. We further show how certain structures we construct in the proof are at the heart of the Rado-Horn theorem by characterizing subsets of vectors which maximize the Rado-Horn inequality. Lastly, we demonsrate how these results may be used to select an optimal partition with respect to spanning properties of the vectors.
arXiv (Cornell University), 2022
Motivated by the theory of locally definable groups, we study the theory of Kvector spaces with a predicate for the union X of an infinite family of independent subspaces. We show that if K is infinite then the theory is complete and admits quantifier elimination in the language of K-vector spaces with predicates for the n-folds sums of X with itself. If K is finite this is no longer true, but we still have that in a natural completion every formula is equivalent to a boolean combination of existential formulas in the language of vector spaces together with a predicate for X. 1. The reduct to L K−vs is a K-vector space. 2. The predicate X is closed under multiplication by every λ ∈ K. In other words, it is a union of subspaces. 3. The parallelism relation x y := x + y ∈ X is an equivalence relation on X \ {0}; if Y is an equivalence class, then Y ∪ {0} is a subspace, which we call an axis. 4. There are infinitely many axes. 5. The axes are linearly independent: if Y 0 ,. .. , Y n are pairwise distinct axes and a i ∈ Y i \{0}, then a 0 ,. .. , a n are linearly independent. 6. The predicates X n are interpreted as the n-fold sum of X with itself, with the convention that X 0 = {0}.
Linear Algebra and its Applications, 2009
In this note, we find a sharp bound for the minimal number (or in general, indexing set) of subspaces of a fixed (finite) codimension needed to cover any vector space V over any field. If V is a finite set, this is related to the problem of partitioning V into subspaces.
Journal of Combinatorial Theory, Series A, 2014
More than twenty-five years ago, Manickam, Miklós, and Singhi conjectured that for positive integers n, k with n ≥ 4k, every set of n real numbers with nonnegative sum has at least n−1 k−1 k-element subsets whose sum is also nonnegative. We verify this conjecture when n ≥ 8k 2 , which simultaneously improves and simplifies a bound of Alon, Huang, and Sudakov and also a bound of Pokrovskiy when k < 10 45. Moreover, our arguments resolve the vector space analogue of this conjecture. Let V be an n-dimensional vector space over a finite field. Assign a real-valued weight to each 1-dimensional subspace in V so that the sum of all weights is zero. Define the weight of a subspace S ⊂ V to be the sum of the weights of all the 1-dimensional subspaces it contains. We prove that if n ≥ 3k, then the number of k-dimensional subspaces in V with nonnegative weight is at least the number of k-dimensional subspaces in V that contain a fixed 1-dimensional subspace. This result verifies a conjecture of Manickam and Singhi from 1988.
2015 Twenty First National Conference on Communications (NCC), 2015
Subspace codes are subsets of the projective space Pq(n), which is the set of all subspaces of the vector space F n q. Koetter and Kschischang argued that subspace codes are useful for error and erasure correction in random network coding. Linearity in subspace codes was defined by Braun, Etzion and Vardy, and they conjectured that the largest cardinality of a linear subspace code in Pq(n) is 2 n. In this paper, we show that the conjecture holds for linear subspace codes that are closed under intersection, i.e., codes having the property that the intersection of any pair of codewords is also a codeword. The proof is via a characterization of such codes in terms of partitions of linearly independent subsets of F n q .
Journal of Number Theory, 2003
We study the maximum size and the structure of sets of natural numbers which contain no solution of one or more linear equations. Thus, for every natural i and kX2; we find the minimum a ¼ aði; kÞ such that if the upper density of a strongly k-sum-free set ADN is at least a; then A is contained in a maximal strongly k-sum-free set which is a union of at most i arithmetic progressions. We also determine the maximum density of sets of natural numbers without solutions to the equation x ¼ y þ az; where a is a fixed integer.
2005
A Smarandache multi-space is a union of n spaces A 1 , A 2 , • • • , A n with some additional conditions holding. Combining Smarandache multispaces with linear vector spaces in classical linear algebra, the conception of multi-vector spaces is introduced. Some characteristics of a multi-vector space are obtained in this paper.
arXiv (Cornell University), 2024
A complete answer to the question about subspaces generated by {±1}-vectors, which arose in the work of I. Kanter and H. Sompolinsky on associative memories, is given. More precisely, let vectors v1,. .. , vp, p ≤ n − 1, be chosen at random uniformly and independently from {±1} n ⊂ R n. Then the probability P(p, n) that span v1,. .. , vp ∩ {{±1} n \ {±v1,. .. , ±vp}} = ∅ is shown to be 4 p 3 3 4 n + O 5 8 + on(1) n as n → ∞, where the constant implied by the O-notation does not depend on p. The main term in this estimate is the probability that some 3 vectors vj 1 , vj 2 , vj 3 of vj , j = 1,. .. , p, have a linear combination that is a {±1}vector different from ±vj 1 , ±vj 2 , ±vj 3 .
2020
The problem of generation and oneness considered for expressing about an element is very important and has a big effect in mathematics in general and in algebra in special for example in vector spaces, every element from this space is expressed in a unique way as a linear combination of elements of its
Journal of Combinatorial Designs, 2008
Let V n (q) denote a vector space of dimension n over the field with q elements. A set P of subspaces of V n (q) is a partition of V n (q) if every nonzero element of V n (q) is contained in exactly one element of P. Suppose there exists a partition of V n (q) into x i subspaces of dimension n i , 1 ≤ i ≤ k. Then x 1 ,. .. , x k satisfy the Diophantine equation k i=1 (q n i − 1)x i = q n − 1. However, not every solution of the Diophantine equation corresponds to a partition of V n (q). In this article, we show that there exists a partition of V n (2) into x subspaces of dimension 3 and y subspaces of dimension 2 if and only if 7x + 3y = 2 n − 1 and y = 1. In doing so, we introduce techniques useful in constructing further partitions. We also show that partitions of V n (q) induce uniformly resolvable designs on q n points.
Linear Algebra and its Applications, 2003
Let V , W be finite dimensional vector spaces over a field K, each with n distinguished subspaces, with a dimension-preserving correspondence between intersections. When does this guarantee the existence of an isomorphism between V and W matching corresponding subspaces? The setting where it happens requires that the distinguished subspaces be generated by subsets of a given redundant base of the space; this gives rise to a (0,1)-incidence table called tent, an object which occurs in the study of Butler B(1)-groups.
Let V be an n-dimensional vector space over a finite field. Assign a real-valued weight to each 1-dimensional subspace in V so that the sum of all weights is zero. Define the weight of a subspace S ⊂ V to be the sum of the weights of all the 1-dimensional subspaces it contains. We prove that if n ≥ 3k, then the number of k-dimensional subspaces in V with nonnegative weight is at least the number of k-dimensional subspaces in V that contain a fixed 1-dimensional subspace. This result verifies a conjecture of Manickam and Singhi from 1988.
Journal of Combinatorial Theory, Series A, 1994
It is shown that the convex hull of a spanning set V of L½(d+ 1)kJ + 1 points in Nd has a supporting spanned hyperplane (equivalently, a facet of [V]) which misses at least k points of V. Spanning sets of cardinality L½(d+ 1)kj not having such a supporting hyperplane are fully described. The related problem where the spanned hyperplane does not have to be supporting, but still leaves at least k points of V on one side, is discussed and solved in some instances (e.g., d odd or k ~< 9, k ~ 8).
IEEE Transactions on Information Theory, 2005
Two subspaces of a vector space are here called "nonintersecting" if they meet only in the zero vector. Motivated by the design of noncoherent multiple-antenna communications systems, we consider the following question. How many pairwise nonintersecting M t-dimensional subspaces of an m-dimensional vector space V over a field F can be found, if the generator matrices for the subspaces may contain only symbols from a given finite alphabet A ⊆ F? The most important case is when F is the field of complex numbers C ; then M t is the number of antennas. If A = F = GF (q) it is shown * This work was carried out during F. E. Oggier's visit to AT&T Shannon Labs during the summer of 2003. She thanks the Fonds National Suisse, Bourses et Programmes d'Échange for support. case when F = C only the case M t = 2 is considered. It is shown that if A is a PSK-configuration, consisting of the 2 r complex roots of unity, the number of nonintersecting planes is at least 2 r(m−2) and at most 2 r(m−1)−1 (the lower bound may in fact be the best that can be achieved).
2015
For a vector space $V$ the \emph{intersection graph of subspaces} of $V$, denoted by $G(V)$, is the graph whose vertices are in a one-to-one correspondence with proper nontrivial subspaces of $V$ and two distinct vertices are adjacent if and only if the corresponding subspaces of $V$ have a nontrivial (nonzero) intersection. In this paper, we study the clique number, the chromatic number, the domination number and the independence number of the intersection graphs of subspaces of a vector space.
Linear and Multilinear Algebra, 2018
Motivated by existence problems of the maximum number of spanning sets (MS) and the minimum number of Linearly independent sets (ML) which partition a generator in a finite dimensional vector space, we introduce a real time iterative algorithm with polynomial complexity. The algorithm starts with an arbitrary partition and improves it to obtain the final partition. In addition this algorithm gives the conclusion of the Rado-Horn theorem, and facilitates using of this theorem.
Integers, 2000
We prove that if a subset of a d-dimensional vector space over a finite field with q elements has more than q d−1 elements, then it determines all the possible directions. If a set has more than q k elements, it determines a k-dimensional set of directions. We prove stronger results for sets that are sufficiently random. This result is best possible as the example of a k-dimensional hyperplane shows. We can view this question as an Erdős type problem where a sufficiently large subset of a vector space determines a large number of configurations of a given type. See, for example, ([7]), [1], [4], [11], [12] and the references contained therein. For discrete subsets of R d , this question has been previously studied by Pach, Pinchasi and Sharir. See ([8]).
Designs, Codes and Cryptography, 2023
In this paper we settle the question of whether a finite-dimensional vector space V over F p , with p an odd prime, and the family of all the k-sets of elements of V summing up to a given element x, form a 1-(v, k, λ 1 ) or a 2-(v, k, λ 2 ) block design, and, in either case, we find a closed form for λ i and characterize the automorphism group. The question is discussed also in the case where the elements of the k-sets are required to be all nonzero, as the two cases happen to be intrinsically inseparable. The "twin case" p = 2, which has strict connections with coding theory, was completely discussed in a recent paper by G. Falcone and the present author.
2011
For a vector space $V$ the \emph{intersection graph of subspaces} of $V$, denoted by $G(V)$, is the graph whose vertices are in a one-to-one correspondence with proper nontrivial subspaces of $V$ and two distinct vertices are adjacent if and only if the corresponding subspaces of $V$ have a nontrivial (nonzero) intersection. In this paper, we study the clique number, the
Loading Preview
Sorry, preview is currently unavailable. You can download the paper by clicking the button above.