Searcharxiv⌕ Search

arXiv subjects

Sudhir R. Ghorpade

Publications and source records attributed to Sudhir R. Ghorpade.

At least 19 recordsLinked to original sources

Betti Numbers and Higher Weight Spectra of Reed-Muller Codes $RM_q(2,2)$

We determine all the Betti numbers of the $q$-ary second order Reed-Muller codes of length $q^2$, and also of the elongations of matroids associated to these codes. We then use it to determine the higher weight spectra of these codes. As a special case, we recover some results of Kaplan and Matei about counting certain curves over finite fields with prescribed rational intersection points. In geometric terms, our results relate to the affine Veronesean by which we mean the image of the affine plane $\mathbb{A}^2$ under the quadratic Veronese embedding of $\mathbb{P}^2$ in $\mathbb{P}^5$. Indeed, finding the higher weight spectra, of the Reed-Muller code considered here, corresponds to determining the number of $\mathbb{F}_q$-rational points on all possible sections of this affine Veronesean by linear subvarieties of $\mathbb{P}^5$.

math.CO↗

Enumeration of minimum weight codewords of affine Cartesian codes

Affine Cartesian codes were first discussed by Geil and Thomsen in 2013 in a broader framework and were formally introduced by López, Rentería-Márquez and Villarreal in 2014. These are linear error-correcting codes obtained by evaluating polynomials at points of a Cartesian product of subsets of the given finite field. They can be viewed as a vast generalization of Reed-Muller codes. In 1970, Delsarte, Goethals and MacWilliams gave a %characterization of minimum weight codewords of Reed-Muller codes and also formula for the minimum weight codewords of Reed-Muller codes. Carvalho and Neumann in 2020 considered affine Cartesian codes in a special setting where the subsets in the Cartesian product are nested subfields of the given finite field, and gave a characterization of their minimum weight codewords. We use this to give an explicit formula for the number of minimum weight codewords of affine Cartesian codes in the case of nested subfields. This is seen to unify the known formulas for the number of minimum weight codewords of Reed-Solomon codes and Reed-Muller codes.

cs.IT↗

Homotopy type of shellable $q$-complexes and their homology groups

The theory of shellable simplicial complexes brings together combinatorics, algebra, and topology in a remarkable way. Initially introduced by Alder for $q$-simplicial complexes, recent work of Ghorpade, Pratihar, and Randrianarisoa extends the study of shellability to $q$-matroid complexes and determines singular homology groups for a subclass of these $q$-simplicial complexes. In this paper, we determine the homotopy type of shellable $q$-simplicial complexes. Moreover, we establish the shellability of order complexes from lexicographically shellable $q$-simplicial complexes, that include the $q$-matroid complexes. This results in a comprehensive determination of the homology groups for any lexicographically shellable $q$-complexes.

math.CO↗

On the Minimum Distance, Minimum Weight Codewords, and the Dimension of Projective Reed-Muller Codes

We give an alternative proof of the formula for the minimum distance of a projective Reed-Muller code of an arbitrary order. It leads to a complete characterization of the minimum weight codewords of a projective Reed-Muller code. This is then used to determine the number of minimum weight codewords of a projective Reed-Muller code. Various formulas for the dimension of a projective Reed-Muller code, and their equivalences are also discussed.

cs.IT↗

A Combinatorial Approach to the Number of Solutions of Systems of Homogeneous Polynomial Equations over Finite Fields

We give a complete conjectural formula for the number $e_r(d,m)$ of maximum possible ${\mathbb{F}}q$-rational points on a projective algebraic variety defined by $r$ linearly independent homogeneous polynomial equations of degree $d$ in $m+1$ variables with coefficients in the finite field ${\mathbb{F}}q$ with $q$ elements, when $d<q$. It is shown that this formula holds in the affirmative for several values of $r$. In the general case, we give explicit lower and upper bounds for $e_r(d,m)$ and show that they are sometimes attained. Our approach uses a relatively recent result, called the projective footprint bound, together with results from extremal combinatorics such as the Clements-Lindström Theorem and its variants. Applications to the problem of determining the generalized Hamming weights of projective Reed-Muller codes are also included.

math.AG↗

Shellability and homology of $q$-complexes and $q$-matroids

We consider a $q$-analogue of abstract simplicial complexes, called $q$-complexes, and discuss the notion of shellability for such complexes. It is shown that $q$-complexes formed by independent subspaces of a $q$-matroid are shellable. Further, we explicitly determine the homology of $q$-complexes corresponding to uniform $q$-matroids. We also outline some partial results concerning the determination of homology of arbitrary shellable $q$-complexes..

math.CO↗

On the Purity of Resolutions of Stanley-Reisner Rings Associated to Reed-Muller Codes

Following Johnsen and Verdure (2013), we can associate to any linear code $C$ an abstract simplicial complex and in turn, a Stanley-Reisner ring $R_C$. The ring $R_C$ is a standard graded algebra over a field and its projective dimension is precisely the dimension of $C$. Thus $R_C$ admits a graded minimal free resolution and the resulting graded Betti numbers are known to determine the generalized Hamming weights of $C$. The question of purity of the minimal free resolution of $R_C$ was considered by Ghorpade and Singh (2020) when $C$ is the generalized Reed-Muller code. They showed that the resolution is pure in some cases and it is not pure in many other cases. Here we give a complete characterization of the purity of graded minimal free resolutions of Stanley-Reisner rings associated to generalized Reed-Muller codes of an arbitrary order.

math.AC↗

Pure Resolutions, Linear Codes, and Betti Numbers

We consider the minimal free resolutions of Stanley-Reisner rings associated to linear codes and give an intrinsic characterization of linear codes having a pure resolution. We use this characterization to quickly deduce the minimal free resolutions of Stanley-Reisner rings associated to MDS codes as well as constant weight codes. We also deduce that the minimal free resolutions of Stanley-Reisner rings of first order Reed-Muller codes are pure, and explicitly describe the Betti numbers. Further, we show that in the case of higher order Reed-Muller codes, the minimal free resolutions are almost always not pure. The nature of the minimal free resolution of Stanley-Reisner rings corresponding to several classes of two-weight codes, besides the first order Reed-Muller codes, is also determined.

cs.IT↗

A Polymatroid Approach to Generalized Weights of Rank Metric Codes

We consider the notion of a $(q,m)$-polymatroid, due to Shiromoto, and the more general notion of $(q,m)$-demi-polymatroid, and show how generalized weights can be defined for them. Further, we establish a duality for these weights analogous to Wei duality for generalized Hamming weights of linear codes. The corresponding results of Ravagnani for Delsarte rank metric codes, and Martinez-Penas and Matsumoto for relative generalized rank weights are derived as a consequence.

cs.IT↗

Hyperplane Sections of Determinantal Varieties over Finite Fields and Linear Codes

We determine the number of ${\mathbb{F}}_q$-rational points of hyperplane sections of classical determinantal varieties defined by the vanishing of minors of a fixed size of a generic matrix, and identify sections giving the maximum number of ${\mathbb{F}}_q$-rational points. Further we consider similar questions for sections by linear subvarieties of a fixed codimension in the ambient projective space. This is closely related to the study of linear codes associated to determinantal varieties, and the determination of their weight distribution, minimum distance and generalized Hamming weights. The previously known results about these are generalized and expanded significantly

math.CO↗

Vanishing ideals of projective spaces over finite fields and a projective footprint bound

We consider the vanishing ideal of a projective space over a finite field. An explicit set of generators for this ideal has been given by Mercier and Rolland. We show that these generators form a universal Gröbner basis of the ideal. Further we give a projective analogue of the footprint bound, and a version of it that is suitable for estimating the number of points of a projective algebraic variety over a finite field. An application to Serre's inequality for the number of rational points of projective hypersurfaces over finite fields is included

math.AG↗

A Note on Nullstellensatz over Finite Fields

We give an expository account of Nullstellensatz-like results when the base field is finite. In particular, we discuss the vanishing ideal of the affine space and of the projective space over a finite field. As an application, we include an alternative proof of Ore's inequality for the number of points of affine hypersurfaces over finite fields.

math.AC↗

Minimum Distance and the Minimum Weight Codewords of Schubert Codes

We consider linear codes associated to Schubert varieties in Grassmannians. A formula for the minimum distance of these codes was conjectured in 2000 and after having been established in various special cases, it was proved in 2008 by Xiang. We give an alternative proof of this formula. Further, we propose a characterization of the minimum weight codewords of Schubert codes by introducing the notion of Schubert decomposable elements of certain exterior powers. It is shown that codewords corresponding to Schubert decomposable elements are of minimum weight and also that the converse is true in many cases. A lower bound, and in some cases, an exact formula, for the number of minimum weight codewords of Schubert codes is also given. From a geometric point of view, these results correspond to determining the maximum number of $\mathbb{F}_q$-rational points that can lie on a hyperplane section of a Schubert variety in a Grassmannian with its nondegenerate embedding in a projective subspace of the Plücker projective space, and also the number of hyperplanes for which the maximum is attained.

cs.IT↗

Hypersurfaces in weighted projective spaces over finite fields with applications to coding theory

We consider the question of determining the maximum number of $\mathbb{F}_q$-rational points that can lie on a hypersurface of a given degree in a weighted projective space over the finite field $\mathbb{F}_q$, or in other words, the maximum number of zeros that a weighted homogeneous polynomial of a given degree can have in the corresponding weighted projective space over $\mathbb{F}_q$. In the case of classical projective spaces, this question has been answered by J.-P. Serre. In the case of weighted projective spaces, we give some conjectures and partial results. Applications to coding theory are included and an appendix providing a brief compendium of results about weighted projective spaces is also included.

math.AG↗

Maximum Number of Common Zeros of Homogeneous Polynomials over Finite Fields

About two decades ago, Tsfasman and Boguslavsky conjectured a formula for the maximum number of common zeros that $r$ linearly independent homogeneous polynomials of degree $d$ in $m+1$ variables with coefficients in a finite field with $q$ elements can have in the corresponding $m$-dimensional projective space. Recently, it has been shown by Datta and Ghorpade that this conjecture is valid if $r$ is at most $m+1$ and can be invalid otherwise. Moreover a new conjecture was proposed for many values of $r$ beyond $m+1$. In this paper, we prove that this new conjecture holds true for several values of $r$. In particular, this settles the new conjecture completely when $d=3$. Our result also includes the positive result of Datta and Ghorpade as a special case. Further, we determine the maximum number of zeros in certain cases not covered by the earlier conjectures and results, namely, the case of $d=q-1$ and of $d=q$. All these results are directly applicable to the determination of the maximum number of points on sections of Veronese varieties by linear subvarieties of a fixed dimension, and also the determination of generalized Hamming weights of projective Reed-Muller codes.

math.AG↗

Number of Solutions of Systems of Homogeneous Polynomial Equations over Finite Fields

We consider the problem of determining the maximum number of common zeros in a projective space over a finite field for a system of linearly independent multivariate homogeneous polynomials defined over that field. There is an elaborate conjecture of Tsfasman and Boguslavsky that predicts the maximum value when the homogeneous polynomials have the same degree that is not too large in comparison to the size of the finite field. We show that this conjecture holds in the affirmative if the number of polynomials does not exceed the total number of variables. This extends the results of Serre (1991) and Boguslavsky (1997) for the case of one and two polynomials, respectively. Moreover, it complements our recent result that the conjecture is false, in general, if the number of polynomials exceeds the total number of variables.

math.AG↗