-
Zero-sum-free tuples and hyperplane arrangements
Authors:
Sunil K. Chebolu,
Papa A. Sissokho
Abstract:
A vector $(v_{1}, v_{2}, \cdots, v_{d})$ in $\mathbb{Z}_n^{d}$ is said to be a zero-sum-free $d$-tuple if there is no non-empty subset of its components whose sum is zero in $\mathbb{Z}_n$. We denote the cardinality of this collection by $α_n^d$. We let $β_n^d$ denote the cardinality of the set of zero-sum-free tuples in $\mathbb{Z}_n^{d}$ where $\gcd(v_1, \cdots,v_d, n) = 1$. We show that…
▽ More
A vector $(v_{1}, v_{2}, \cdots, v_{d})$ in $\mathbb{Z}_n^{d}$ is said to be a zero-sum-free $d$-tuple if there is no non-empty subset of its components whose sum is zero in $\mathbb{Z}_n$. We denote the cardinality of this collection by $α_n^d$. We let $β_n^d$ denote the cardinality of the set of zero-sum-free tuples in $\mathbb{Z}_n^{d}$ where $\gcd(v_1, \cdots,v_d, n) = 1$. We show that $α_n^d=φ(n)\binom{n-1}{d}$ when $d > n/2$, and in the general case, we prove recursive formulas, divisibility results, bounds, and asymptotic results for $α_n^d$ and $β_n^d$. In particular, $α_n^{n-1} = β_n^1= φ(n)$, suggesting that these sequences can be viewed as generalizations of Euler's totient function. We also relate the problem of computing $α_n^d$ to counting points in the complement of a certain hyperplane arrangement defined over $\mathbb{Z}_n$. It is shown that the hyperplane arrangement's characteristic polynomial captures $α_n^d$ for all integers $n$ that are relatively prime to some determinants. We study the row and column patterns in the numbers $α_n^{d}$. We show that for any fixed $d$, $\{α_n^d \}$ is asymptotically equivalent to $\{ n^d\}$. We also show a connection between the asymptotic growth of $β_n^d$ and the value of the Riemann zeta function $ζ(d)$. Finally, we show that $α_n^d$ arises naturally in the study of Mathieu-Zhao subspaces in products of finite fields.
△ Less
Submitted 5 January, 2022;
originally announced January 2022.
-
Geometry of the minimal solutions of a linear Diophantine Equation
Authors:
Papa Amar Sissokho
Abstract:
Let $a_1,\ldots,a_n$ and $b_1,\ldots,b_m$ be fixed positive integers, and let ${\mathcal S}$ denote the set of all nonnegative integer solutions of the equation $x_1a_1+\ldots +x_na_n=y_1b_1+\ldots +y_mb_m$. A solution $(x_1,\ldots,x_n,y_1,\ldots,y_m)$ in ${\mathcal S}$ is called $\textit{minimal}$ if it cannot be expressed as the sum of two nonzero solutions in ${\mathcal S}$. For each pair…
▽ More
Let $a_1,\ldots,a_n$ and $b_1,\ldots,b_m$ be fixed positive integers, and let ${\mathcal S}$ denote the set of all nonnegative integer solutions of the equation $x_1a_1+\ldots +x_na_n=y_1b_1+\ldots +y_mb_m$. A solution $(x_1,\ldots,x_n,y_1,\ldots,y_m)$ in ${\mathcal S}$ is called $\textit{minimal}$ if it cannot be expressed as the sum of two nonzero solutions in ${\mathcal S}$. For each pair $(i,j)$ with $1\leq i\leq n$ and $1\leq j\leq m$, the solution whose only nonzero coordinates are $x_i=b_j$ and $y_j=a_i$ is called a $\textit{generator}$. Our main result shows that every minimal solution is a convex combination of the generators and the zero-solution. This proves a conjecture of Henk-Weismantel and, independently, Hoşten-Sturmfels.
△ Less
Submitted 12 August, 2021;
originally announced August 2021.
-
The maximum size of a partial spread II: Upper bounds
Authors:
Esmeralda Nastase,
Papa Sissokho
Abstract:
Let $n$ and $t$ be positive integers with $t<n$, and let $q$ be a prime power. A partial $(t-1)$-spread of ${\rm PG}(n-1,q)$ is a set of $(t-1)$-dimensional subspaces of ${\rm PG}(n-1,q)$ that are pairwise disjoint. Let $r\equiv n\pmod{t}$ with $0\leq r<t$, and let $θ_i=(q^i-1)/(q-1)$. We essentially prove that if $2\leq r<t\leq θ_r$, then the maximum size of a partial $(t-1)$-spread of…
▽ More
Let $n$ and $t$ be positive integers with $t<n$, and let $q$ be a prime power. A partial $(t-1)$-spread of ${\rm PG}(n-1,q)$ is a set of $(t-1)$-dimensional subspaces of ${\rm PG}(n-1,q)$ that are pairwise disjoint. Let $r\equiv n\pmod{t}$ with $0\leq r<t$, and let $θ_i=(q^i-1)/(q-1)$. We essentially prove that if $2\leq r<t\leq θ_r$, then the maximum size of a partial $(t-1)$-spread of ${\rm PG}(n-1,q)$ is bounded from above by $(θ_n-θ_{t+r})/θ_t+q^r-(q-1)(t-3)+1$. We actually give tighter bounds when certain divisibility conditions are satisfied. These bounds improve on the previously known upper bound for the maximum size partial ($t-1$)-spreads of ${\rm PG}(n-1,q)$; for instance, when $\lceil\frac{θ_r}{2}\rceil+4\leq t\leq θ_r$ and $q>2$. The exact value of the maximum size partial $(t-1)$-spread has been recently determined for $t>θ_r$ by the authors of this paper (see Năstase-Sissokho [21]).
△ Less
Submitted 3 July, 2017; v1 submitted 29 June, 2016;
originally announced June 2016.
-
The structure of the minimum size supertail of a subspace partition
Authors:
E. Nastase,
P. Sissokho
Abstract:
Let $V=V(n,q)$ denote the vector space of dimension $n$ over the finite field with $q$ elements. A subspace partition ${\mathcal P}$ of $V$ is a collection of nontrivial subspaces of $V$ such that each nonzero vector of $V$ is in exactly one subspace of ${\mathcal P}$. For any integer $d$, the $d$-supertail of ${\mathcal P}$ is the set of subspaces in ${\mathcal P}$ of dimension less than $d$, and…
▽ More
Let $V=V(n,q)$ denote the vector space of dimension $n$ over the finite field with $q$ elements. A subspace partition ${\mathcal P}$ of $V$ is a collection of nontrivial subspaces of $V$ such that each nonzero vector of $V$ is in exactly one subspace of ${\mathcal P}$. For any integer $d$, the $d$-supertail of ${\mathcal P}$ is the set of subspaces in ${\mathcal P}$ of dimension less than $d$, and it is denoted by $ST$. Let $σ_q(n,t)$ denote the minimum number of subspaces in any subspace partition of $V$ in which the largest subspace has dimension $t$. It was shown by Heden et al. that $|ST|\geq σ_q(d,t)$, where $t$ is the largest dimension of a subspace in $ST$. In this paper, we show that if $|ST|=σ_q(d,t)$, then the union of all the subspaces in $ST$ constitutes a subspace under certain conditions.
△ Less
Submitted 1 June, 2016;
originally announced June 2016.
-
The maximum size of a partial spread in a finite projective space
Authors:
Esmeralda Nastase,
Papa Sissokho
Abstract:
Let $n$ and $t$ be positive integers with $t<n$, and let $q$ be a prime power. A $\textit{partial $(t-1)$-spread}$ of ${\rm PG}(n-1,q)$ is a set of $(t-1)$-dimensional subspaces of ${\rm PG}(n-1,q)$ that are pairwise disjoint. Let $r=n\mbox{ mod } t$ and $0\leq r<t$. We prove that if $t>(q^r-1)/(q-1)$, then the maximum size, i.e., cardinality, of a partial $(t-1)$-spread of ${\rm PG}(n-1,q)$ is…
▽ More
Let $n$ and $t$ be positive integers with $t<n$, and let $q$ be a prime power. A $\textit{partial $(t-1)$-spread}$ of ${\rm PG}(n-1,q)$ is a set of $(t-1)$-dimensional subspaces of ${\rm PG}(n-1,q)$ that are pairwise disjoint. Let $r=n\mbox{ mod } t$ and $0\leq r<t$. We prove that if $t>(q^r-1)/(q-1)$, then the maximum size, i.e., cardinality, of a partial $(t-1)$-spread of ${\rm PG}(n-1,q)$ is $(q^n-q^{t+r})/(q^t-1)+1$. This essentially settles a main open problem in this area. Prior to this result, this maximum size was only known for $r\in\{0,1\}$ and for $r=q=2$.
△ Less
Submitted 3 July, 2017; v1 submitted 16 May, 2016;
originally announced May 2016.
-
Avoiding zero-sum subsequences of prescribed length over the integers
Authors:
C. Augspurger,
M. Minter,
K. Shoukry,
P. Sissokho,
K. Voss
Abstract:
Let $t$ and $k$ be a positive integers, and let $I_k=\{i\in \mathbb{Z}:\; -k\leq i\leq k\}$. Let $\mathsf{s}'_t(I_k)$ be the smallest positive integer $\ell$ such that every zero-sum sequence $S$ over $I_k$ of length $|S|\ge \ell$ contains a zero-sum subsequence of length $t$. If no such $\ell$ exists, then let $\mathsf{s}'_t(I_k)=\infty$.
In this paper, we prove that $\mathsf{s}'_t(I_k)$ is fin…
▽ More
Let $t$ and $k$ be a positive integers, and let $I_k=\{i\in \mathbb{Z}:\; -k\leq i\leq k\}$. Let $\mathsf{s}'_t(I_k)$ be the smallest positive integer $\ell$ such that every zero-sum sequence $S$ over $I_k$ of length $|S|\ge \ell$ contains a zero-sum subsequence of length $t$. If no such $\ell$ exists, then let $\mathsf{s}'_t(I_k)=\infty$.
In this paper, we prove that $\mathsf{s}'_t(I_k)$ is finite if and only if every integer in $[1,D(I_k)]$ divides $t$, where $D(I_k)=\max\{2,2k-1\}$ is the Davenport constant of $I_k$. Moreover, we prove that if $\mathsf{s}'_t(I_k)$ is finite, then $t+k(k-1)\leq \mathsf{s}'_t(I_k)\leq t+(2k-2)(2k-3)$. We also show that $\mathsf{s}'_t(I_k)=t+k(k-1)$ holds for $k\leq 3$ and conjecture that this equality holds for any $k\geq1$.
△ Less
Submitted 1 December, 2016; v1 submitted 12 March, 2016;
originally announced March 2016.
-
Level Matrices
Authors:
George Seelinger,
Papa Sissokho,
Larry Spence,
Charles Vanden Eynden
Abstract:
Let $n>1$ and $k>0$ be fixed integers. A matrix is said to be level if all its column sums are equal. A level matrix with $m$ rows is called reducible if we can delete $j$ rows, $0<j<m$, so that the remaining matrix is level. We ask if there is a minimum integer $\ell=\ell(n,k)$ such that for all $m>\ell$, any $m\times n$ level matrix with entries in $\{0,\ldots,k\}$ is reducible. It is known that…
▽ More
Let $n>1$ and $k>0$ be fixed integers. A matrix is said to be level if all its column sums are equal. A level matrix with $m$ rows is called reducible if we can delete $j$ rows, $0<j<m$, so that the remaining matrix is level. We ask if there is a minimum integer $\ell=\ell(n,k)$ such that for all $m>\ell$, any $m\times n$ level matrix with entries in $\{0,\ldots,k\}$ is reducible. It is known that $\ell(2,k)=2k-1$. In this paper, we establish the existence of $\ell(n,k)$ for $n\geq 3$ by giving upper and lower bounds for it. We then apply this result to bound the number of certain types of vector space multipartitions.
△ Less
Submitted 22 January, 2014;
originally announced January 2014.
-
A Note on Minimal zero-sum sequences over ${\mathbb Z}$
Authors:
Papa A. Sissokho
Abstract:
A zero-sum sequence over ${\mathbb Z}$ is a sequence with terms in ${\mathbb Z}$ that sum to $0$. It is called minimal if it does not contain a proper zero-sum subsequence. Consider a minimal zero-sum sequence over ${\mathbb Z}$ with positive terms $a_1,\ldots,a_h$ and negative terms $b_1,\ldots,b_k$. We prove that $h\leq \lfloor σ^+/k\rfloor$ and $k\leq \lfloor σ^+/h\rfloor$, where…
▽ More
A zero-sum sequence over ${\mathbb Z}$ is a sequence with terms in ${\mathbb Z}$ that sum to $0$. It is called minimal if it does not contain a proper zero-sum subsequence. Consider a minimal zero-sum sequence over ${\mathbb Z}$ with positive terms $a_1,\ldots,a_h$ and negative terms $b_1,\ldots,b_k$. We prove that $h\leq \lfloor σ^+/k\rfloor$ and $k\leq \lfloor σ^+/h\rfloor$, where $σ^+=\sum_{i=1}^h a_i=-\sum_{j=1}^k b_j$. These bounds are tight and improve upon previous results. We also show a natural partial order structure on the collection of all minimal zero-sum sequences over the set $\{i\in {\mathbb Z}:\; -n\leq i\leq n\}$ for any positive integer $n$.
△ Less
Submitted 25 July, 2014; v1 submitted 3 January, 2014;
originally announced January 2014.
-
A zero-sum theorem over Z
Authors:
Marvin Sahs,
Papa Sissokho,
Jordan Torf
Abstract:
A zero-sum sequence of integers is a sequence of nonzero terms that sum to 0. Let $k>0$ be an integer and let $[-k,k]$ denote the set of all nonzero integers between $-k$ and $k$. Let $\ell(k)$ be the smallest integer $\ell$ such that any zero-sum sequence with elements from $[-k,k]$ and length greater than $\ell$ contains a proper nonempty zero-sum subsequence. In this paper, we prove a more gene…
▽ More
A zero-sum sequence of integers is a sequence of nonzero terms that sum to 0. Let $k>0$ be an integer and let $[-k,k]$ denote the set of all nonzero integers between $-k$ and $k$. Let $\ell(k)$ be the smallest integer $\ell$ such that any zero-sum sequence with elements from $[-k,k]$ and length greater than $\ell$ contains a proper nonempty zero-sum subsequence. In this paper, we prove a more general result which implies that $\ell(k)=2k-1$ for $k>1$.
△ Less
Submitted 11 December, 2012;
originally announced December 2012.
-
Extremal sizes of subspace partitions
Authors:
Olof Heden,
Juliane Lehmann,
Esmeralda Nastase,
Papa Sissokho
Abstract:
A subspace partition $Π$ of $V=V(n,q)$ is a collection of subspaces of $V$ such that each 1-dimensional subspace of $V$ is in exactly one subspace of $Π$. The size of $Π$ is the number of its subspaces. Let $σ_q(n,t)$ denote the minimum size of a subspace partition of $V$ in which the largest subspace has dimension $t$, and let $ρ_q(n,t)$ denote the maximum size of a subspace partition of $V$ in w…
▽ More
A subspace partition $Π$ of $V=V(n,q)$ is a collection of subspaces of $V$ such that each 1-dimensional subspace of $V$ is in exactly one subspace of $Π$. The size of $Π$ is the number of its subspaces. Let $σ_q(n,t)$ denote the minimum size of a subspace partition of $V$ in which the largest subspace has dimension $t$, and let $ρ_q(n,t)$ denote the maximum size of a subspace partition of $V$ in which the smallest subspace has dimension $t$. In this paper, we determine the values of $σ_q(n,t)$ and $ρ_q(n,t)$ for all positive integers $n$ and $t$. Furthermore, we prove that if $n\geq 2t$, then the minimum size of a maximal partial $t$-spread in $V(n+t-1,q)$ is $σ_q(n,t)$.
△ Less
Submitted 14 April, 2011;
originally announced April 2011.
-
On the existence of a (2,3)-spread in V(7,2)
Authors:
Olof Heden,
Papa A. Sissokho
Abstract:
An $(s,t)$-spread in a finite vector space $V=V(n,q)$ is a collection $\mathcal F$ of $t$-dimensional subspaces of $V$ with the property that every $s$-dimensional subspace of $V$ is contained in exactly one member of $\mathcal F$. It is remarkable that no $(s,t)$-spreads has been found yet, except in the case $s=1$. In this note, the concept $α$-point to a $(2,3)$-spread $\mathcal F$ in {…
▽ More
An $(s,t)$-spread in a finite vector space $V=V(n,q)$ is a collection $\mathcal F$ of $t$-dimensional subspaces of $V$ with the property that every $s$-dimensional subspace of $V$ is contained in exactly one member of $\mathcal F$. It is remarkable that no $(s,t)$-spreads has been found yet, except in the case $s=1$. In this note, the concept $α$-point to a $(2,3)$-spread $\mathcal F$ in {$V=V(7,2)$} is introduced. A classical result of Thomas, applied to the vector space $V$, states that all points of $V$ cannot be $α$-points to a given $(2,3)$-spread $\mathcal F$ in $V$. {In this note, we strengthened this result by proving that} every 6-dimensional subspace of $V$ must contain at least one point that is not an $α$-point to a given $(2,3)$-spread of $V$.
△ Less
Submitted 27 January, 2011;
originally announced January 2011.
-
On deformation theory and graph homology
Authors:
Fusun Akman,
Lucian M. Ionescu,
Papa A. Sissokho
Abstract:
Deformation theory of associative algebras and in particular of Poisson algebras is reviewed. The role of an almost contraction leading to a canonical solution of the corresponding Maurer-Cartan equation is noted. This role is reminiscent of the homotopical perturbation lemma, with the infinitesimal deformation cocycle as initiator.
Applied to star-products, we show how Moyal's formula can be…
▽ More
Deformation theory of associative algebras and in particular of Poisson algebras is reviewed. The role of an almost contraction leading to a canonical solution of the corresponding Maurer-Cartan equation is noted. This role is reminiscent of the homotopical perturbation lemma, with the infinitesimal deformation cocycle as initiator.
Applied to star-products, we show how Moyal's formula can be obtained using such an almost contraction and conjecture that the merger operation provides a canonical solution at least in the case of linear Poisson structures.
△ Less
Submitted 4 July, 2005;
originally announced July 2005.
-
A canonical semi-classical star-product
Authors:
Lucian M. Ionescu,
Papa A. Sissokho
Abstract:
We study the Maurer-Cartan equation of the pre-Lie algebra of graphs controling the deformation theory of associative algebras and prove that there is a canonical solution within the class of graphs without circuits, without assuming the Jacobi identity. The proof is based on the unique factorization property of graph insertions.
We study the Maurer-Cartan equation of the pre-Lie algebra of graphs controling the deformation theory of associative algebras and prove that there is a canonical solution within the class of graphs without circuits, without assuming the Jacobi identity. The proof is based on the unique factorization property of graph insertions.
△ Less
Submitted 4 July, 2005;
originally announced July 2005.
