finite field
1566 papers tagged with this keyword
Betti and Hodge numbers of configuration spaces of a punctured elliptic curve from its zeta functions
Published
• View Publication
• BIB
Given an elliptic curve $E$ defined over $\mathbb{C}$, let $E^{\times}$ be an open subset of $E$ obtained by removing a point. In this paper, we show that the $i$-th Betti number of the unordered configuration space $\mathrm{Conf}^{n}(E^{\times})$ of $n$ points on $E^{\times}$ appears as a coefficient of an explicit rational function in two variables. We also compute its Hodge numbers as coefficients of another explicit rational function in four variables. Our result is interesting because these rational functions resemble the generating function of the $\mathbb{F}_{q}$-point counts of $\mathrm{Conf}^{n}(E^{\times})$, which can be obtained from the zeta function of $E$ over a finite field $\mathbb{F}_{q}$. We show that the mixed Hodge structure of the $i$-th singular cohomology group $H^{i}(\mathrm{Conf}^{n}(E^{\times}))$ with complex coefficients is pure of weight $w(i)$, an explicit integer we provide in this paper. This purity statement implies our main result about the Betti numbers and the Hodge numbers. Our proof uses Totaro's spectral sequence computation that describes the weight filtration of the mixed Hodge structure on $H^{i}(\mathrm{Conf}^{n}(E^{\times}))$.
Linear Shannon Capacity of Cayley Graphs
Published
• View Publication
• BIB
The Shannon capacity of a graph is a fundamental quantity in zero-error information theory measuring the rate of growth of independent sets in graph powers. Despite being well-studied, this quantity continues to hold several mysteries. Lovász famously proved that the Shannon capacity of $C_5$ (the 5-cycle) is at most $\sqrt{5}$ via his theta function. This bound is achieved by a simple linear code over $\mathbb{F}_5$ mapping $x \mapsto 2x$. This motivates the notion of linear Shannon capacity of graphs, which is the largest rate achievable when restricting oneself to linear codes. We give a simple proof based on the polynomial method that the linear Shannon capacity of $C_5$ is $\sqrt{5}$. Our method applies more generally to Cayley graphs over the additive group of finite fields $\mathbb{F}_q$, giving an upper bound on the linear Shannon capacity. We compare this bound to the Lovász theta function, showing that they match for self-complementary Cayley graphs (such as $C_5$), and that the bound is smaller in some cases. We also exhibit a quadratic gap between linear and general Shannon capacity for some graphs.
E-series of character varieties of non-orientable surfaces
Published
• View Publication
• BIB
In this paper we are interested in two kinds of (stacky) character varieties associated to a compact non-orientable surface. (A) We consider the quotient stack of the space of representations of the fundamental group of this surface to GL(n). (B) We choose a set of k-punctures on the surface and a generic k-tuple of semisimple conjugacy classes of GL(n), and we consider the stack of anti-invariant local systems on the orientation cover of the surface with local monodromies around the punctures given by the prescribed conjugacy classes. We compute the number of points of these spaces over finite fields from which we get a formula for their E-series (a certain specialization of the mixed Poincaré series). In case (B), we discuss the mixed Poincaré series when the surface is the real projective plane and k=1.
Construction of LDPC convolutional codes via difference triangle sets
Published
• View Publication
• BIB
In this paper, a construction of $(n,k,δ)$ LDPC convolutional codes over arbitrary finite fields, which generalizes the work of Robinson and Bernstein and the later work of Tong is provided. The sets of integers forming a $(k,w)$-(weak) difference triangle set are used as supports of some columns of the sliding parity-check matrix of an $(n,k,δ)$ convolutional code, where $n\in\mathbb{N}$, $n>k$. The parameters of the convolutional code are related to the parameters of the underlying difference triangle set. In particular, a relation between the free distance of the code and $w$ is established as well as a relation between the degree of the code and the scope of the difference triangle set. Moreover, we show that some conditions on the weak difference triangle set ensure that the Tanner graph associated to the sliding parity-check matrix of the convolutional code is free from $2\ell$-cycles not satisfying the full rank condition over any finite field. Finally, we relax these conditions and provide a lower bound on the field size, depending on the parity of $\ell$, that is sufficient to still avoid $2\ell$-cycles. This is important for improving the performance of a code and avoiding the presence of low-weight codewords and absorbing sets.
A construction of minimal linear codes from partial difference sets
Published
• View Publication
• BIB
In this paper, we study a class of linear codes defined by characteristic functions of certain subsets of a finite field. We derive a sufficient and necessary condition for such a code to be a minimal linear code by a character-theoretical approach. We obtain new three-weight or four-weight minimal linear codes that do not satisfy the Ashikhmin-Barg condition by using partial difference sets. We show that our construction yields minimal linear codes that do not arise from cutting vectorial blocking sets, and also discuss their applications in secret sharing schemes.
Counting Elements on Full Matrix Groups over Finite Field with Prescribed Eigenvalues
In the present article we shown a formula to compute the number of all matrices over the finite field $F$ whit prescribed eigenvalues. Using this formula we obtain one inequality for the number of $(k+1)$-potent elements over finite rings.
A lower bound on HMOLS with equal sized holes
Published
• View Publication
• BIB
It is known that $N(n)$, the maximum number of mutually orthogonal latin squares of order $n$, satisfies the lower bound $N(n) \ge n^{1/14.8}$ for large $n$. For $h\ge 2$, relatively little is known about the quantity $N(h^n)$, which denotes the maximum number of `HMOLS' or mutually orthogonal latin squares having a common equipartition into $n$ holes of a fixed size $h$. We generalize a difference matrix method that had been used previously for explicit constructions of HMOLS. An estimate of R.M. Wilson on higher cyclotomic numbers guarantees our construction succeeds in suitably large finite fields. Feeding this into a generalized product construction, we are able to establish the lower bound $N(h^n) \ge (\log n)^{1/δ}$ for any $δ>2$ and all $n > n_0(h,δ)$.
On some polynomial version on the sum-product problem for subgroups
Published
• View Publication
• BIB
We generalize two results about subgroups of multiplicative group of finite field of prime order. In particular, the lower bound on the cardinality of the set of values of polynomial $P(x,y)$ is obtained under the certain conditions, if variables $x$ and $y$ belong to a subgroup $G$ of the multiplicative group of the filed of residues. Also the paper contains a proof of the result that states that if a subgroup $G$ can be presented as a set of values of the polynomial $P(x,y)$, where $x\in A$, and $y\in B$ then the cardinalities of sets $A$ and $B$ are close (in order) to a square root of the cardinality of subgroup $G$.
Uniform estimates for almost primes over finite fields
Published in Proc. Amer. Math. Soc. 150 (2022), 2807-2822
• View Publication
• BIB
We establish a new asymptotic formula for the number of polynomials of degree $n$ with $k$ prime factors over a finite field $\mathbb{F}_q$. The error term tends to $0$ uniformly in $n$ and in $q$, and $k$ can grow beyond $\log n$. Previously, asymptotic formulas were known either for fixed $q$, through the works of Warlimont and Hwang, or for small $k$, through the work of Arratia, Barbour and Tavaré.
As an application, we estimate the total variation distance between the number of cycles in a random permutation on $n$ elements and the number of prime factors of a random polynomial of degree $n$ over $\mathbb{F}_q$. The distance tends to $0$ at rate $1/(q\sqrt{\log n})$. Previously this was only understood when either $q$ is fixed and $n$ tends to $\infty$, or $n$ is fixed and $q$ tends to $\infty$, by results of Arratia, Barbour and Tavaré.
Bijections for faces of the Shi and Catalan arrangements
Published
• View Publication
• BIB
In 1986, Shi derived the famous formula $(n+1)^{n-1}$ for the number of regions of the Shi arrangement, a hyperplane arrangement in $\mathbb{R}^n$. There are at least two different bijective explanations of this formula, one by Pak and Stanley, another by Athanasiadis and Linusson. In 1996, Athanasiadis used the finite field method to derive a formula for the number of $k$-dimensional faces of the Shi arrangement for any $k$. Until now, the formula of Athanasiadis did not have a bijective explanation. In this paper, we extend a bijection for regions defined by Bernardi to obtain a bijection between the $k$-dimensional faces of the Shi arrangement for any $k$ and a set of decorated binary trees. Furthermore, we show how these trees can be converted to a simple set of functions of the form $f: [n-1] \to [n+1]$ together with a marked subset of $\text{Im}(f)$. This correspondence gives the first bijective proof of the formula of Athanasiadis. In the process, we also obtain a bijection and counting formula for the faces of the Catalan arrangement. All of our results generalize to both extended arrangements.
Superregular matrices over small finite fields
Published
• View Publication
• BIB
A trivially zero minor of a matrix is a minor having all its terms in the Leibniz formula equal to zero. A matrix is superregular if all of its minors that are not trivially zero are nonzero. In the area of Coding Theory, superregular matrices over finite fields are connected with codes with optimum distance proprieties. When a superregular matrix has all its entries nonzero, it is called full superregular and these matrices are used to construct Maximum Distance Separable block codes. In the context of convolutional codes, lower triangular Toeplitz superregular matrices are employed to build convolutional codes with optimal column distance. Although full superregular matrices over small fields are known (e.g. Cauchy matrices), the few known general constructions of these matrices having a lower triangular Toeplitz structure require very large field sizes. In this work we investigate lower triangular Toeplitz superregular matrices over small finite prime fields. Following the work of Hutchinson, Smarandache and Trumpf, we study the minimum number of different nontrivial minors that such a matrix have, and exhibit concrete constructions of superregular matrices of this kind.
Non-trivial $t$-intersecting families for vector spaces
Published
• View Publication
• BIB
Let $V$ be an $n$-dimensional vector space over a finite field $\mathbb{F}_q$. In this paper we describe the structure of maximal non-trivial $t$-intersecting families of $k$-dimensional subspaces of $V$ with large size. We also determine the non-trivial $t$-intersecting families with maximum size. In the special case when $t=1$ our result gives rise to the well-known Hilton-Milner Theorem for vector spaces.
Enumerating alternating matrix spaces over finite fields with explicit coordinates
Published
• View Publication
• BIB
We initiate the study of enumerating linear subspaces of alternating matrices over finite fields with explicit coordinates. We postulate that this study can be viewed as a linear algebraic analogue of the classical topic of enumerating labelled graphs. To support this viewpoint, we present q-analogues of Gilbert's formula for enumerating connected graphs (Can. J. Math., 1956), and Read's formula for enumerating c-colored graphs (Can. J. Math., 1960). We also develop an analogue of Riddell's formula relating the exponential generating function of graphs with that of connected graphs (Riddell's PhD thesis, 1951), building on Eulerian generating functions developed by Srinivasan (Discrete Math., 2006).
The uncertainty principle over finite fields
Published
• View Publication
• BIB
In this paper we study the uncertainty principle (UP) connecting a function over a finite field and its Mattson-Solomon polynomial, which is a kind of Fourier transform in positive characteristic. Three versions of the UP over finite fields are studied, in connection with the asymptotic theory of cyclic codes. We first show that no finite field satisfies the strong version of UP, introduced recently by Evra, Kowalsky, Lubotzky, 2017. A refinement of the weak version is given, by using the asymptotic Plotkin bound. A naive version, which is the direct analogue over finite fields of the Donoho-Stark bound over the complex numbers, is proved by using the BCH bound. It is strong enough to show that there exist sequences of cyclic codes of length $n$, arbitrary rate, and minimum distance $Ω(n^α)$ for all $0<α<1/2$. Finally, a connection with Ramsey Theory is pointed out.
Algebraic constructions of complete $m$-arcs
Published
• View Publication
• BIB
Let $m$ be a positive integer, $q$ be a prime power, and $\mathrm{PG}(2,q)$ be the projective plane over the finite field $\mathbb F_q$. Finding complete $m$-arcs in $\mathrm{PG}(2,q)$ of size less than $q$ is a classical problem in finite geometry. In this paper we give a complete answer to this problem when $q$ is relatively large compared with $m$, explicitly constructing the smallest $m$-arcs in the literature so far for any $m\geq 8$. For any fixed $m$, our arcs $\mathcal A_{q,m}$ satisfy $|\mathcal A_{q,m}|-q\rightarrow -\infty$ as $q$ grows. To produce such $m$-arcs, we develop a Galois theoretical machinery that allows the transfer of geometric information of points external to the arc, to arithmetic one, which in turn allows to prove the $m$-completeness of the arc.
Generalized Paley graphs and their complete subgraphs of orders three and four
Published in Res. Math. Sci. 8: 18 (2021)
• View Publication
• BIB
Let $k \geq 2$ be an integer. Let $q$ be a prime power such that $q \equiv 1 \pmod {k}$ if $q$ is even, or, $q \equiv 1 \pmod {2k}$ if $q$ is odd. The generalized Paley graph of order $q$, $G_k(q)$, is the graph with vertex set $\mathbb{F}_q$ where $ab$ is an edge if and only if ${a-b}$ is a $k$-th power residue. We provide a formula, in terms of finite field hypergeometric functions, for the number of complete subgraphs of order four contained in $G_k(q)$, $\mathcal{K}_4(G_k(q))$, which holds for all $k$. This generalizes the results of Evans, Pulham and Sheehan on the original ($k$=2) Paley graph. We also provide a formula, in terms of Jacobi sums, for the number of complete subgraphs of order three contained in $G_k(q)$, $\mathcal{K}_3(G_k(q))$. In both cases we give explicit determinations of these formulae for small $k$. We show that zero values of $\mathcal{K}_4(G_k(q))$ (resp. $\mathcal{K}_3(G_k(q))$) yield lower bounds for the multicolor diagonal Ramsey numbers $R_k(4)=R(4,4,\cdots,4)$ (resp. $R_k(3)$). We state explicitly these lower bounds for small $k$ and compare to known bounds. We also examine the relationship between both $\mathcal{K}_4(G_k(q))$ and $\mathcal{K}_3(G_k(q))$, when $q$ is prime, and Fourier coefficients of modular forms.
On the separability of cyclotomic schemes over finite field
Published
• View Publication
• BIB
It is proved that with finitely many possible exceptions, each cyclotomic scheme over finite field is determined up to isomorphism by the tensor of 2-dimensional intersection numbers; for infinitely many schemes, this result cannot be improved. As a consequence, the Weisfeiler-Leman dimension of a Paley graph or tournament is at most 3 with possible exception of several small graphs.
The resolution of Niho's last conjecture concerning sequences, codes, and Boolean functions
Published
• View Publication
• BIB
A new method is used to resolve a long-standing conjecture of Niho concerning the crosscorrelation spectrum of a pair of maximum length linear recursive sequences of length $2^{2 m}-1$ with relative decimation $d=2^{m+2}-3$, where $m$ is even. The result indicates that there are at most five distinct crosscorrelation values. Equivalently, the result indicates that there are at most five distinct values in the Walsh spectrum of the power permutation $f(x)=x^d$ over a finite field of order $2^{2 m}$ and at most five distinct nonzero weights in the cyclic code of length $2^{2 m}-1$ with two primitive nonzeros $α$ and $α^d$. The method used to obtain this result proves constraints on the number of roots that certain seventh degree polynomials can have on the unit circle of a finite field. The method also works when $m$ is odd, in which case the associated crosscorrelation and Walsh spectra have at most six distinct values.
Automorphisms of linear functional graphs over vector spaces
Published
• View Publication
• BIB
Let $\mathbb{F}_q$ be a finite field with $q$ elements, $n\geq2$ a positive integer, $\mathbb{V}_0$ a $n$-dimensional vector space over $\mathbb{F}_q$ and $\mathbb{T}_0$ the set of all linear functionals from $\mathbb{V}_0$ to $\mathbb{F}_q$. Let $\mathbb{V}=\mathbb{V}_0\setminus\{0\}$ and $\mathbb{T}=\mathbb{T}_0\setminus\{0\}$. The \emph{linear functional graph} of $\mathbb{V}_0$ dented by $\digamma(\mathbb{V})$, is an undirected bipartite graph, whose vertex set $V$ is partitioned into two sets as $V=\mathbb{V}\cup \mathbb{T}$ and two vertices $v\in \mathbb{V}$ and $f\in \mathbb{T}$ are adjacent if and only if $f$ sends $v$ to the zero element of $\mathbb{F}_q$ (i.e. $f(v)=0$). In this paper, the structure of all automorphisms of this graph is characterized and formolized. Also the cardinal number of automorphisms group
for this graph is determined.
Incidences between quadratic subspaces over finite fields
Published
• View Publication
• BIB
Let $\mathbb{F}_{q}$ be a finite field of order $q$, where $q$ is an odd prime power. A quadratic subspace $(W,Q)$ of $(\mathbb{F}_{q}^{n},x_{1}^{2}+x_{2}^{2}+\cdots+x_{n}^{2})$ is called dot$_{k}$-subspace if $Q$ is isometrically isomorphic to $x_{1}^{2}+x_{2}^{2}+\cdots+x_{k}^{2}$. In this paper, we obtain bounds for the number of incidences $I(\mathcal{K},\mathcal{H})$ between a collection $\mathcal{K}$ of dot$_{k}$-subspaces and a collection $\mathcal{H}$ of dot$_{h}$-subspaces when $h \geq 4k-4$, which is given by \[\left | I(\mathcal{K},\mathcal{H})-\frac{|\mathcal{K}||\mathcal{H}|}{q^{k(n-h)}}\right | \lesssim q^{\frac{k(2h-n-2k+4)+h(n-h-1)-2}{2}}\sqrt{|\mathcal{K}||\mathcal{H}|}. \] In particular, we improve the error term obtained by Phuong, Thang and Vinh (2019) for general collections of affine subspaces in the presence of our additional conditions.