En combinatoria , un conjunto de diferencias es un subconjunto de tamaño de un grupo de orden tal que cada elemento no identidad de puede expresarse como un producto de elementos de exactamente maneras. Se dice que un conjunto de diferencias es cíclico , abeliano , no abeliano , etc., si el grupo tiene la propiedad correspondiente. Un conjunto de diferencias con a veces se denomina plano o simple . [1] Si es un grupo abeliano escrito en notación aditiva, la condición definitoria es que cada elemento distinto de cero de pueda escribirse como una diferencia de elementos de exactamente maneras. De esta manera surge el término "conjunto de diferencias".
![{\displaystyle v}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle G}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle d_{1}d_{2}^{-1}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle D}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle\lambda}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle D}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle G}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \lambda =1}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle G}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle G}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle D}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle\lambda}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Hechos básicos
- Un argumento de conteo simple muestra que hay exactamente pares de elementos que producirán elementos no idénticos, por lo que cada conjunto de diferencias debe satisfacer la ecuación
![{\displaystyle k^{2}-k}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle D}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle k^{2}-k=(v-1)\lambda.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- If es un conjunto de diferencias y luego también lo es, y se denomina traducción de ( en notación aditiva).
![{\displaystyle D}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle g\en G,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle gD=\{gd:d\en D\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle D}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle D+g}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- El complemento de un conjunto en diferencias es un conjunto en diferencias. [2]
![{\displaystyle (v,k,\lambda)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (v,vk,v-2k+\lambda)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- El conjunto de todas las traslaciones de un conjunto de diferencias forma un diseño de bloques simétrico , llamado desarrollo de y denotado por. En tal diseño hay elementos (generalmente llamados puntos) y bloques (subconjuntos). Cada bloque del diseño consta de puntos, cada punto está contenido en bloques. Dos bloques cualesquiera tienen exactamente elementos en común y dos puntos cualesquiera están contenidos simultáneamente en exactamente bloques. El grupo actúa como un grupo de automorfismos del diseño. Es marcadamente transitivo tanto en puntos como en bloques. [3]
![{\displaystyle D}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle D}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle desarrollador(D).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle k}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle k}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle\lambda}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle\lambda}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- En particular, si , entonces el conjunto diferencia da lugar a un plano proyectivo . Un ejemplo de un conjunto de diferencias (7,3,1) en el grupo es el subconjunto . Las traducciones de este conjunto de diferencias forman el plano de Fano .
![{\displaystyle \lambda =1}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {Z} /7\mathbb {Z} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \{1,2,4\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Dado que cada conjunto de diferencias da un diseño simétrico , el conjunto de parámetros debe satisfacer el teorema de Bruck-Ryser-Chowla . [4]
- No todos los diseños simétricos ofrecen un conjunto diferente. [5]
Conjuntos de diferencias equivalentes e isomorfas
Dos conjuntos de diferencias en grupo y en grupo son equivalentes si hay un isomorfismo de grupo entre ellos y tal que para algunos Los dos conjuntos de diferencias son isomorfos si los diseños y son isomorfos como diseños de bloques.![{\ Displaystyle D_ {1}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle G_ {1}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle D_ {2}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \psi }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle G_ {1}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle G_ {2}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle D_{1}^{\psi }=\{d^{\psi }\colon d\in D_{1}\}=gD_{2}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle g \ en G_ {2}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle dev (D_ {1})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle dev (D_ {2})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Los conjuntos de diferencias equivalentes son isomórficos, pero existen ejemplos de conjuntos de diferencias isomórficos que no son equivalentes. En el caso de los conjuntos de diferencias cíclicos, todos los conjuntos de diferencias isomórficos conocidos son equivalentes. [6]
Multiplicadores
Un multiplicador de una diferencia establecida en un grupo es un automorfismo de grupo tal que para algunos Si es abeliano y es el automorfismo que mapea , entonces se llama multiplicador numérico o de Hall . [7]![{\displaystyle D}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \phi}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle G}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle D^{\phi }=gD}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle g\en G.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle G}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \phi}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle h\mapsto h^{t}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Se ha conjeturado que si p es un primo que divide y no divide a v , entonces el automorfismo de grupo definido por fija alguna traducción de D (esto equivale a ser un multiplicador). Se sabe que es cierto cuando es un grupo abeliano, y esto se conoce como el primer teorema del multiplicador. Un resultado más general conocido, el segundo teorema del multiplicador, dice que si hay una diferencia en un grupo abeliano de exponentes (el mínimo común múltiplo de los órdenes de cada elemento), sea un número entero coprimo . Si existe un divisor de tal que para cada primo p que divide m , existe un número entero i con , entonces t es un divisor numérico. [8]![{\displaystyle k-\lambda}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle g\mapsto g^{p}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle p>\lambda}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle G}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle D}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (v,k,\lambda)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle G}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystylev^{*}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle v}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle m>\lambda}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle k-\lambda}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle t\equiv p^{i}\ {\pmod {v^{*}}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Por ejemplo, 2 es un multiplicador del conjunto de diferencias (7,3,1) mencionado anteriormente.
Se ha mencionado que un multiplicador numérico de una diferencia establecida en un grupo abeliano fija una traducción de , pero también se puede demostrar que hay una traducción de la cual está fijada por todos los multiplicadores numéricos de [9]![{\displaystyle D}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle G}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle D}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle D}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle D.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Parámetros
Los conjuntos de diferencias conocidos o sus complementos tienen uno de los siguientes conjuntos de parámetros: [10]
-diferencia establecida para alguna potencia prima y algún entero positivo . Estos se conocen como parámetros clásicos y existen muchas construcciones de conjuntos de diferencias que tienen estos parámetros.![{\displaystyle q}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle n}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
-diferencia establecida para algún número entero positivo . Los conjuntos de diferencias con v = 4 n − 1 se denominan conjuntos de diferencias tipo Paley .![{\displaystyle n}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
-diferencia establecida para algún número entero positivo . Un conjunto de diferencias con estos parámetros es un conjunto de diferencias de Hadamard .![{\displaystyle n}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
-diferencia establecida para alguna potencia prima y algún entero positivo . Conocidos como parámetros de McFarland .![{\displaystyle q}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle n}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
-diferencia establecida para algún número entero positivo . Conocidos como parámetros de Spence .![{\displaystyle n}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
-diferencia establecida para alguna potencia prima y algún entero positivo . Los conjuntos de diferencias con estos parámetros se denominan conjuntos de diferencias de Davis-Jedwab-Chen .![{\displaystyle q}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle n}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Conjuntos de diferencias conocidas
En muchas construcciones de conjuntos de diferencias, los grupos que se utilizan están relacionados con los grupos aditivos y multiplicativos de cuerpos finitos . La notación utilizada para indicar estos campos difiere según la disciplina. En esta sección, se encuentra el campo de orden de Galois donde se encuentra una potencia prima o prima. El grupo bajo la suma se denota por , mientras que es el grupo multiplicativo de elementos distintos de cero.![{\displaystyle {\rm {GF}}(q)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle q,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle q}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle G=({\rm {GF}}(q),+)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\rm {GF}}(q)^{*}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Paley -conjunto de diferencias:
![{\displaystyle (4n-1,2n-1,n-1)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Sea una potencia primordial. En el grupo , sea el conjunto de todos los cuadrados distintos de cero.
![{\displaystyle q=4n-1}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle G=({\rm {GF}}(q),+)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle D}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Cantante -conjunto de diferencias:
![{\displaystyle ((q^{n+2}-1)/(q-1),(q^{n+1}-1)/(q-1),(q^{n}-1)/ (q-1))}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Dejar . Entonces el conjunto es un conjunto de diferencias, ¿dónde está la función de seguimiento?
![{\displaystyle G={\rm {GF}}(q^{n+2})^{*}/{\rm {GF}}(q)^{*}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle D=\{x\in G~|~{\rm {Tr}}_{q^{n+2}/q}(x)=0\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle ((q^{n+2}-1)/(q-1),(q^{n+1}-1)/(q-1),(q^{n}-1)/ (q-1))}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\rm {{Tr}_{q^{n+2}/q}(x)=x+x^{q}+\cdots +x^{q^{n+1}}.} }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Poder primo gemelo: diferencia establecida cuando y son ambos poderes primos:
![{\displaystyle \left(q^{2}+2q,{\frac {q^{2}+2q-1}{2}},{\frac {q^{2}+2q-3}{4} }\bien)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle q}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle q+2}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- En el grupo , dejemos [11]
![{\displaystyle G=({\rm {GF}}(q),+)\oplus ({\rm {GF}}(q+2),+)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle D=\{(x,y)\colon y=0{\text{ o }}x{\text{ y }}y{\text{ son distintos de cero y ambos son cuadrados o ambos no son cuadrícula}}\}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Historia
El uso sistemático de conjuntos de diferencias cíclicos y métodos para la construcción de diseños de bloques simétricos se remonta a RC Bose y un artículo suyo fundamental en 1939. [12] Sin embargo, varios ejemplos aparecieron antes, como los "Conjuntos de diferencias de Paley". que se remontan a 1933. [13] La generalización del concepto de conjunto de diferencias cíclicas a grupos más generales se debe a RH Bruck [14] en 1955. [15] Marshall Hall Jr. [16] introdujo los multiplicadores en 1947. [ 17]
Solicitud
Xia, Zhou y Giannakis descubren que los conjuntos de diferencias se pueden utilizar para construir un libro de códigos vectoriales complejo que logre el difícil límite de Welch en la amplitud máxima de correlación cruzada. El libro de códigos así construido forma también la llamada variedad Grassmanniana .
Generalizaciones
Una familia de diferencias es un conjunto de subconjuntos de un grupo tal que el orden de es , el tamaño de es para todos , y cada elemento no idéntico de puede expresarse como un producto de elementos de para algunos (es decir, ambos provienen del mismo ) exactamente de la misma manera.
![{\displaystyle B=\{B_{1},\ldots,B_{s}\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle G}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle G}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle v}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle B_ {i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle k}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle i}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle G}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle d_{1}d_{2}^{-1}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle B_ {i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle i}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle d_ {1}, d_ {2}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle B_ {i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle\lambda}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Un conjunto de diferencias es una familia de diferencias con La ecuación de parámetros anterior se generaliza a [18]
El desarrollo de una familia de diferencias es un diseño 2 . Cada diseño 2 con un grupo de automorfismo regular es para alguna familia diferente![{\displaystyle s=1.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle s(k^{2}-k)=(v-1)\lambda.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle dev(B)=\{B_{i}+g:i=1,\ldots ,s,g\in G\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle desarrollador(B)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle B.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Ver también
Notas
- ^ van Lint y Wilson 1992, pág. 331
- ^ Wallis 1988, pag. 61 - Teorema 4.5
- ^ van Lint y Wilson 1992, pág. 331 - Teorema 27.2. El teorema solo establece la transitividad puntual, pero la transitividad en bloque se deriva de esto por el segundo corolario de la p. 330.
- ^ Colbourn y Dinitz 2007, pág. 420 (18,7 Observación 2)
- ^ Colbourn y Dinitz 2007, pág. 420 (18,7 Observación 1)
- ^ Colbourn y Dinitz 2007, pág. 420 (Observación 18.9)
- ^ van Lint y Wilson 1992, pág. 345
- ^ van Lint y Wilson 1992, pág. 349 (Teorema 28.7)
- ^ Beth, Jungnickel y Lenz 1986, pág. 280 (Teorema 4.6)
- ^ Colbourn y Dinitz 2007, págs. 422-425
- ^ Colbourn y Dinitz 2007, pág. 425 (Construcción 18.49)
- ^ Bose, RC (1939), "Sobre la construcción de diseños de bloques incompletos equilibrados", Annals of Eugenics , 9 (4): 353–399, doi : 10.1111/j.1469-1809.1939.tb02219.x , JFM 65.1110.04 , Zbl 0023.00102
- ^ Wallis 1988, pag. 69
- ^ Bruck, RH (1955), "Conjuntos de diferencias en un grupo finito", Transactions of the American Mathematical Society , 78 (2): 464–481, doi : 10.2307/1993074 , JSTOR 1993074, Zbl 0065.13302
- ^ van Lint y Wilson 1992, pág. 340
- ^ Hall Jr., Marshall (1947), "Planos proyectivos cíclicos", Duke Mathematical Journal , 14 (4): 1079–1090, doi :10.1215/s0012-7094-47-01482-8, S2CID 119846649, Zbl 0029.22502
- ^ Beth, Jungnickel y Lenz 1986, pág. 275
- ^ Beth, Jungnickel y Lenz 1986, pág. 310 (2.8.a)
Referencias
- Beth, Tomás; Jungnickel, Dieter ; Lenz, Hanfried (1986), Teoría del diseño , Cambridge: Cambridge University Press, ISBN 0-521-33334-2, Zbl 0602.05001
- Colbourn, Charles J.; Dinitz, Jeffrey H. (2007), Manual de diseños combinatorios , Matemáticas discretas y sus aplicaciones (2ª ed.), Boca Ratón: Chapman & Hall/CRC, ISBN 978-1-58488-506-1, Zbl 1101.05001
- van Lint, JH; Wilson, RM (1992), Un curso de combinatoria , Cambridge: Cambridge University Press , ISBN 0-521-42260-4, Zbl 0769.05001
- Wallis, WD (1988). Diseños combinatorios . Marcel Dekker. ISBN 0-8247-7942-8. Zbl 0637.05004.
Otras lecturas
- Moore, EH; Pollastek, HSK (2013). Conjuntos de diferencias: conexión de álgebra, combinatoria y geometría. AMS. ISBN 978-0-8218-9176-6.
- Almacenador, Thomas (1967). Ciclotomía y conjuntos diferenciales . Chicago: Compañía editorial Markham. Zbl 0157.03301.
- Xia, Pengfei; Zhou, Shengli; Giannakis, Georgios B. (2005). "Lograr el límite de Welch con conjuntos de diferencias" (PDF) . Transacciones IEEE sobre teoría de la información . 51 (5): 1900-1907. doi :10.1109/TIT.2005.846411. ISSN 0018-9448. S2CID 8916926. Zbl 1237.94007..
- Xia, Pengfei; Zhou, Shengli; Giannakis, Georgios B. (2006). "Corrección para lograr el límite galés con conjuntos de diferencia ". Traducción IEEE. inf. Teoría . 52 (7): 3359. doi :10.1109/tit.2006.876214. Zbl 1237.94008.
- Zwillinger, Daniel (2003). Tablas y fórmulas matemáticas estándar CRC . Prensa CRC. pag. 246.ISBN 1-58488-291-3.