4 votos

Construya un conjunto grande tal que cualquier elemento k + l abarque el espacio vectorial

Deje $\mathbb{F}_q^k$ $k$- dimensiones vectorspace sobre un campo finito, y deje $l \ge 0$ ser un número entero. La pregunta es cómo construir un (a lo sumo) gran conjunto $A \subset \mathbb{F}_q^k$ de manera tal que si se toma una $k+l$ elementos distintos de a $A$, entonces estos puntos span $\mathbb{F}_q^k$.

Esta pregunta es una versión más general de mi pregunta anterior, que manejó el caso de $l=0$.

En más términos geométricos la pregunta suena como esto: la Construcción de un gran conjunto de puntos en $\mathbb{P}^{k-1}(\mathbb{F}_q)$ de manera tal que no $k+l$ se encuentran en la misma hyperplane.

En la respuesta a mi pregunta anterior se señaló que para el caso de $l=0$ estos objetos se denominan $\mathcal{K}$-arcos y son bien conocidos.

Yo creo que para $l>0$ estos objetos se denominan $(\mathcal{K},k+l)$-arcos, pero no pude encontrar cualquier tipo de construcción para ellos.

4voto

MathChat Puntos 540

Como usted ha mencionado, esta es una generalización natural de $\mathcal{K}$-arcos. Aparte de algunos casos particulares, no se sabe mucho acerca de estos objetos. La mayoría de los resultados/construcciones en la literatura todavía están lidiando con el $\mathbb{P}^2(\mathbb{F}_q)$de los casos. Parece que, incluso en este caso, el general sharp límites son un poco escaso.

Un procedimiento sencillo para la construcción de una "gran" conjunto de $n$$\mathbb{P}^2(\mathbb{F}_q)$, con el no $r+1$ en la misma línea es:

Escoge un irreductible curva proyectiva $\mathcal{C}: f(x,y,z)=0$ grado $r>1$ con un número "grande" $n$ $\mathbb{F}_q$- puntos. Entonces por el teorema de Bezout, tiene en la mayoría de las $r$ puntos colineales.

Para ilustrar el caso de $(k,l)=(3,1)$ en su notación, acaba de tomar una curva elíptica $\mathcal{C}$ alcanzar el Hasse-Weil-Serre de la envolvente: $n=1+q+[2q]$.

Para obtener detalles adicionales (límites/construcciones), se puede ver en el papel (y las referencias pertinentes): http://www.sciencedirect.com/science/article/pii/S1071579705000250

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X