Funciones de Hilbert y códigos de tipo Reed Muller
|
|
- Trinidad Gil Villanueva
- hace 5 años
- Vistas:
Transcripción
1 Funciones de Hilbert y códigos de tipo Reed Muller Rafael Heraclio Villarreal, CINVESTAV-IPN XII Coloquio Nacional de Códigos, Criptografía, y Areas Relacionadas UAM, Casa de la Primera Imprenta de América CDMX, martes 27 junio, 2017, 16:00-16:40 horas
2 Sean K un campo, S = K [t] anillo de polinomios en una variable t, S d espacio vectorial de los f S con grado(f ) d, X = {P 1,..., P m } un conjunto de puntos en K, d 1 un entero. Problema de Interpolación: Dados escalares c 1,..., c m en K, existe f K [t] d tal que f (P i ) = c i para i = 1,..., m?
3 Sea K = F q un campo finito. Hay una función K -lineal T d : S d K m, f (f (P 1 ),..., f (P m )). La imagen de S d bajo T d, denotada por C X (d), se llama código Reed Solomon de grado d en X. Reformulación Problema de Interpolación: para que valores de d se satisface C d (X) = K m? cual es el menor entero d 1 tal que C d (X) = K m? El ideal anulador de X, denotado por I(X), es el conjunto de todos los polinomios de K [t] que se anulan en todos los puntos de X.
4 Por lo tanto S d /I(X) d C X (d). Usando el algoritmo de la división obtenemos: I(X) = ((t P 1 ) (t P m )). La función de Hilbert Afín de S/I(X), denotada por HX a (d), se define como H a X(d) := dim K (S d /I(X) d ) = dim K (C X (d)).
5 Sea g(t) = (t P 1 ) (t P m ). Es fácil ver que {1, t,..., t d } is a K -basis of S d/(g(t)) d si d < m 1, {1, t,..., t m 1 } is a K -basis of S d/(g(t)) d si d m 1. Por lo tanto obtenemos: d + 1 si 1 d < m 1 HX(d) a = m si d m 1. En particular H a X (d) = m si y solo si C X(d) = K m.
6 El menor entero d 1 para el que existe Interpolación polinomial es d = m 1. Este número se llama la regularidad de H a X y se denota por reg(ha X ). La distancia mínima de C X (d), denotada por δ X (d), se define como δ X (d) := min{ X \ V X (f ) : f S d \ I(X)}, donde V X (f ) = {α X f (α) = 0}.
7 Proposición Supongamos que para algún d 1 no hay interpolación polinomial, es decir, d < reg(hx a ) = m 1. Entonces La distancia mínima de C X (d) es δ X (d) = m d 2. Demostración Notar X \ V X (f ) = m d, donde f = (t P 1 ) (t P d ). Por lo tanto δ X (d) m d. Sea f cualquier polinomio en S d \ I(X). Entonces f tiene a lo más d raices X, esto es, V X (f ) d. Entonces X \ V X (f ) m d. Luego entonces δ X (d) m d.
8 Parámetros Basicos de C X (d) Longitud: m = X = deg(s/i(x)) Dimensión: dim K (C X (d)) = d + 1 para d < m 1 Distancia mínima: δ X (d) = m d para d < m 1 δ X (d) = X dim K (C X (d)) + 1 (en general )
9 Generalizando los Códigos Reed-Solomon Sean K = F q un campo, X = {P 1,..., P m } K s, S = K [t 1,..., t s ] campo finito, El código afín tipo Reed Muller es: C X (d) := {(f (P 1 ),..., f (P m )) f S d } K m. Parámetros básicos Longitud: deg(s/i(x)) = X = m, Dimensión: H a I (d) = dim K (C X (d)) Distancia mínima: δ X (d) := min{ X \ V X (f ) : f S d \ I(X)}, donde V X (f ) = {α X f (α) = 0}.
10 Cota de Singleton δ X (d) X dim K (C X (d)) + 1. La distancia mínima es difícil de calcular. El siguiente resultado es útil para su estimación. Lemma Si 0 f S, entonces el número de ceros de f en X está dado por: deg(s/(i(x), f )) if (I(X): f ) I(X), V X (f ) = 0 if (I(X): f ) = I(X), donde (I(X): f ) = {g S gf I(X)}.
11 Example S = K [x, y], K = F 71, X = K 2. Usando Macaulay2, obtenemos que el polinomio f = y 2 x 3 + x tiene 71 ceros en X = K 2. La correspondiente curva elíptica C = V X (f ) {0} tiene 72 puntos. En este caso I(X) = (x 71 x, y 71 y), V X (f ) = deg(f 71 [x, y]/(i(x), f )) = 71
12 Funciones de Hilbert Sea S = K [t 1,..., t s ] = d=0 S d un anillo de polinomios con la graduación estándar, K un campo. I S es un ideal graduado de dimensión k = dim S/I La función de Hilbert de S/I es: H I (d) := dim K (S d /I d ), d = 0, 1, 2,... Theorem (Hilbert) Existe un polinomio h I (t) Q[t] de grado k 1 tal que H I (d) = h I (d) para d 0
13 El grado de S/I, denotado por deg(s/i), es el entero positivo (k 1)! lim d H I (d)/d k 1 si k 1 deg(s/i) := dim K (S/I) si k = 0. El índice de regularidad de H I, denotado reg(h I ), es el menor entero r 0 tal que H I (d) = h I (d) para d r. Si I S es Cohen-Macaulay y dim(s/i) = 1, entonces reg(h I ) es la regularidad de Castelnuovo-Mumford del anillo graduado S/I.
14 Ideales anuladores El siguiente objetivo es generalizar los códigos afines tipo Reed Muller usando el espacio proyectivo. P s 1 es el espacio proyectivo sobre K = F q X es un subconjunto de P s 1 I(X) S es el ideal anulador de X S/I(X) es un anillo graduado Cohen Macaulay de dimensión de Krull 1 La función de Hilbert de S/I(X) se denota por H X (d)
15 Códigos proyectivos tipo Reed Muller Sea K = F q un campo finito, X = {[P 1 ],..., [P m ]} P s 1 con m = X. Fijamos un entero d 1. Hay una función K -lineal: T d : S d K m, f (f (P 1 ),..., f (P m )). La imagen de S d bajo T d, denotada C X (d), se llama un código proyectivo de tipo Reed Muller de grado d.
16 Los parámetros básicos del código lineal C X (d) son: (a) longitud: X, (b) dimensión: dim K C X (d), (c) distancia mínima: δ X (d) = min{ v : 0 v C X (d)}, donde v es el número de entradas no cero de v.
17 Lo siguiente da la bien conocida relación entre códigos de tipo Reed-Muller y funciones de Hilbert: (a) deg(s/i(x)) = X. (b) H X (d) = dim K C X (d) for d 0. (c) δ X (d) = 1 for d reg(h I ). (d) Cota de Singleton: δ X (d) X H X (d) + 1.
18 Lemma Si 0 f S es homogeneo, entonces el número de ceros de f en X está dado por deg(s/(i(x), f )) si (I(X): f ) I(X), V X (f ) = 0 si (I(X): f ) = I(X). Example Usando Macaulay2, obtenemos que el polinomio f = t t t t 1 t 2 t 3 tiene 18 ceros en X = P 2 sobre el campo K = F 13. Notar que el ideal anulador de P 2 es: I(X) = (t 13 1 t 2 t 1 t 13 2, t 13 1 t 3 t 1 t 13 3, t 13 2 t 3 t 2 t 13 3 ).
19 Sea I = I(X). La distancia mínima se expresa como: δ X (d) = min{ T d (f ) : T d (f ) 0; f S d }, = min{ X \ V X (f ) : f S d \ I(X)} = X max{deg(s/(i, f )) f S d \ I, (I : f ) I} Para códigos tipo Reed-Muller esta fórmula en términos del grado permite calcular la distancia mínima usando bases de Gröbner.
20 Example Sean S = F 3 [t 1, t 2, t 3 ] y X el conjunto de puntos en P 2 : [(1, 1, 0)], [(1, 1, 0)], [(1, 0, 1)], [(1, 0, 1)], [(1, 1, 1)], [(1, 1, 1)]. Entonces I(X) = (t 2 2 t 3 t 2 t 2 3, t 2 1 t t 2t 3 t 2 3 ) y los parámetros básicos de C X (d) son: d X H X (d) δ X (d) 3 2 1
21 Existen enteros r 1 y r 1 1 tales que 1 = H X (0) < H X (1) < < H X (r 1) < H X (d) = X para d r = reg(h I(X) ), δ X (1) > δ X (2) > > δ X (r 1 ) = δ X (d) = 1 para d r 1. El entero r 1, denotado por reg(δ X ), se llama el índice de regularidad de δ X. En general reg(δ X ) reg(h I(X) ). En efecto, usando δ X (d) X H X (d) + 1, obtenemos que δ X (d) = 1 para d reg(h I(X) ).
22 Comparando las funciones HI(X) y δx
23 Example Sea K el campo F 3. Consideremos el conjunto X = {[1, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 1], [1, 0, 0]} P 2 Usando Macaulay2, obtenemos que reg(h I(X) ) = 3. Tenemos que δ X (1) = 1 pues el polinomio t 1 + t 2 + t 3 se anula en todos los puntos de X \ {[1, 0, 0]}. Por lo tanto 1 = reg(δ X ) < reg(h I(X) ) = 3 Existen muchas familias donde reg(δ X ) = reg(h I(X) ).
24 Problema Principal: Si X tiene una buena estructura algebraica o combinatoria encontrar fórmulas, en términos de s, q, d, y la estructura de X, para los parámetros básicos de C X (d): (a) H X (d), (b) deg(s/i(x)), (c) δ X (d), (d) reg(h I(X) ). En particular nos interesan los siguientes casos: X está parametrizado por monomios y v 1,..., y v s. X es un conjunto cartesiano proyectivo anidado.
25 The basic parameters of projective Reed-Muller-type codes have been computed in some cases: If X = P s 1, C X (d) is the classical projective Reed Muller code. Formulas for its basic parameters were given by [Sørensen, IEEE Trans. Inform. Theory, 1991]. If X is a projective torus, C X (d) is the generalized projective Reed Solomon code. Formulas for its basic parameters are known [Sarmiento, Vaz Pinto, -, Appl. Algebra Engrg. Comm. Comput., 2011].
26 Conjecture If I(X) = (f 1,..., f r ) is a complete intersection, with r = s 1, d i = deg(f i ) and 1 d i d i+1 for i 1, then δ X (d) (d k+1 l) d k+2 d r, where 0 k r 1 and l are integers such that d = k i=1 (d i 1) + l and 1 l d k+1 1. This conjecture can be restated as: If I(X) = (f 1,..., f r ) is a complete intersection, then V X (f ) deg(s/i(x)) (d k+1 l) d k+2 d r, for f S d \ I(X), where r = s 1.
27 The conjecture is true if for some monomial order the intial ideal of I(X) is a complete intersection. Proposition If X P 1 and I(X) is a complete intersection, then X d if 1 d X 2, δ I(X) (d) = 1 if d X 1.
28 The following is a special case of the conjecture: Conjecture (Tohǎneanu and Van Tuyl) Let X be a finite set of points in P s 1. If I(X) is a complete intersection generated by f 1,..., f s 1, with d i = deg(f i ) for i = 1,..., s 1, and 2 d i d i+1 for all i, then δ X (1) (d 1 1)d 2 d s 1. This conjecture is true if the initial ideal of I(X) is a complete intersection for some monomial order.
29 Given a collection of subsets A 1,..., A r of a finite field K = F q with r = s 1, we denote the image of X = A 1 A r under the map A s 1 P s 1, x [(x, 1)], by X = [A 1 A r 1]. The Reed-Muller-type code C X (d) of degree d is called an affine cartesian code. Remark If t 1 t s, then in (I(X)) = (t d 1 1,..., t dr r ).
30 Theorem (López, Rentería, -, 2014) If K = F q, X = [A 1 A r 1] P s 1 with r = s 1, and 1 d i d i+1 for i 1, with d i = A i, and d 1, then the minimum distance of C X (d) is given by (d k+1 l) d k+2 d r if d r (d i 1) 1, i=1 δ X (d) = 1 if d r (d i 1), i=1 where k 0, l are the unique integers such that d = k i=1 (d i 1) + l and 1 l d k+1 1.
31 Let A 1,..., A s be a collection of subsets of P s 1 and let X = [A 1 A s ] be the image of A 1 A s \ {0} under the map K s \ {0} P s 1, x [x]. The set X is called a projective nested cartesian set if (i) {0, 1} A i for i = 1,..., s, (ii) a/b A j for 1 i < j s, a A j, 0 b A i, and (iii d 1 d s, where d i = A i for i = 1,..., s. If X is a projective nested cartesian set, we call C X (d) a projective nested cartesian code.
32 Conjecture (Carvalho, Lopez-Neumann and López, 2014) Let C X (d) be the d-th projective nested cartesian code on the set X = [A 1 A s ] with d i = A i for i = 1,..., s. Then its minimum distance is given by (d k+2 l + 1) d k+3 d s if d s (d i 1), i=2 δ X (d) = 1 if d s (d i 1) + 1, where 0 k s 2 and l are the unique integers such that d = k+1 i=2 (d i 1) + l and 1 l d k+2 1. i=2
33 The conjecture of Carvalho, Lopez-Neumann, López fails: Example Let K be the field F 3 and let X be the set in P 3 given by X = [A 1 A 2 A 3 ], where A 1 = {0, 1}, A 2 = {0, 1}, A 3 = {0, 1, 2}. Using Macaulay2, we get the basic parameters of C X (d): d X H X (d) δ X (d) The polynomial f = t 3 (t 2 3 t 2 2 t t 1t 2 ) vanishes at all points of X \ {e 3 } and f (e 3 ) = 1. Thus δ X (3) = 1.
34 Example (Continuation) In the following table we show the values of the minimum distance of the conjecture of Carvalho, Lopez-Neumann, López. Thus this conjecture fails. d k / l / δ X (d)
35 Example Let K be the field F 4 and let X be the set X = [A 1 A 2 A 3 ], A 1 = {0, 1}, A 2 = {0, 1}, A 3 = F 4. Using Macaulay2, we get d X H X (d) δ X (d) The polynomial f = t 3 (t 3 3 t 3 2 t t 2 1 t 2) vanishes at all points of X \ {e 3 } and f (e 3 ) = 1. This shows that δ X (4) = 1.
36 Example (Continuation) In the following table we show the values of the minimum distance of the conjecture of Carvalho, Lopez-Neumann, López. Thus this conjecture fails even if A 1,..., A s are subfields of F q. d k / l / δ X (d)
37 Let be the lexicographical order on S with t 1 t s and let X = [A 1 A s ] be a projective nested cartesian set with d i = A i for i = 1,..., s. Proposition (Carvalho, Lopez-Neumann and López, 2014) The initial ideal of I(X ) is generated by the set of all t i t d j j such that 1 i < j s, s deg(s/i(x )) = 1 + d i d s, reg(s/i(x )) = i=2 s (d i 1) + 1. i=2
38 Let L be the ideal of S generated by all t i t d j j such that i < j. We will introduce a new family of ideals that generalize L A digraph D consists of a finite set V (D) of vertices together with a prescribed collection E(D) of ordered pairs of distinct points called edges or arrows. An oriented graph is a digraph having no oriented cycles of length two. In other words an oriented graph D is a simple graph G together with an orientation of its edges. We call G the underlying graph of D. If a digraph D has a function d : V (D) N +, we call D a vertex-weighted digraph.
39 Let D be a vertex-weighted digraph with vertex set V (D) = {t 1,..., t s }. The weight d(t i ) of t i is denoted by d i. If a vertex t i is a source (i.e., has only arrows leaving t i ) we shall always assume that d i = 1. The edge-ideal of D, denoted I(D), is the ideal Example I(D) = (t i t d j j (t i, t j ) E(D)). Let D be the complete oriented graph on the vertex set V (D) = {t 1,..., t s } whose edges are the set of all pairs (t i, t j ) such that i < j. If t i has weight d i, then I(D) is equal to L, the initial ideal of I(X ).
40 A major result of Pitones, Reyes and Toledo shows an explicit combinatorial expression for the irredundant decomposition of I(D) as an intersection of irreducible monomial ideals.
41 Future Works Conjecture Let X be a projective torus in P s 1 and let δ r (C X (d)) be the r-th generalized Hamming weight of C X (d). Then δ r (C X (d)) = [ (q 1) r 1 (q l) 1 ] (q 1) s k r 1 for 1 r s k 1, 1 r H X (d), where d = k(q 2) + l, 0 k s 2, 1 l q 2. If r s k we do not know of any candidate for δ r (C X (d)). If X is understood, we set δ r (d) = δ r (C X (d)).
42 THE END
Métodos del álgebra conmutativa aplicados a
Métodos del álgebra conmutativa aplicados a la Rosales Departamento de Matemáticas ESFM-IPN Seminario de Estudiantes, 30 de septiembre de 2013 CINVESTAV IPN Índice de la plática 1 2 Ideal anulador Toro
Más detallesAnillos de Ehrhart. Rafael Heraclio Villarreal Rodríguez. Departamento de Matemáticas CINVESTAV-IPN, México
Anillos de Ehrhart Rafael Heraclio Villarreal Rodríguez Departamento de Matemáticas CINVESTAV-IPN, México XLVII Congreso Nacional Sociedad Matemática Mexicana Area de Álgebra Durango, Dgo., 26 31 Octubre,
Más detallesFUNCIONES: Repaso Functions: A Review
FUNCIONES: Repaso Functions: A Review Intuitivamente la palabra función se refiere a un asignación o correspondencia de un conjunto a otro Por ejemplo: Considera un conjunto de estudiantes y un conjunto
Más detallesMATEMÁTICAS AVANZADAS
MATEMÁTICAS AVANZADAS Examen Final - Junio 23 Nombre: NIU: Calificación: Group: Instrucciones: El examen consta de seis preguntas. Dispone de dos horas para contestar, de forma razonada, a todos los ejercicios.
Más detallesA limit theorem for random games
A limit theorem for random games María José González joint work with: F. Durango, J.L. Fernández, P. Fernández Warsaw 2017 Game Game with 2 players: α and β. Each of them alternately move R (right) or
Más detallesDeterministic Finite Automata And Regular Languages
Deterministic Finite Automata And Regular Languages 1 Deterministic Finite Automaton (DFA) Input Tape String Output Finite Automaton Accept or Reject Costa Busch - LSU 2 Transition Graph a, a a q 5 a,
Más detallesRepaso de funciones exponenciales y logarítmicas. Review of exponential and logarithmic functions
Repaso de funciones exponenciales y logarítmicas Review of exponential and logarithmic functions Las funciones lineales, cuadráticas, polinómicas y racionales se conocen como funciones algebraicas. Las
Más detallesOn an extension of symmetric coherent pairs
On an extension of symmetric coherent pairs Luis Alejandro Molano Molano Universidad Pedagógica y Tecnológica de Colombia. Duitama. Colombia. EIBPOA 2015. UNAM, Ciudad de México. México. Introduction Linear
Más detallesSoluciones Olimpiadas Matemáticas del Nivel Superior Programa de Matemática, DEPR Abril 2015
Soluciones Olimpiadas Matemáticas del Nivel Superior Programa de Matemática, DEPR Abril 2015 Instrucciones: Conteste cada pregunta comenzando en la cara de la hoja de papel donde se presenta la pregunta
Más detallesConsecuencias Ecológicas de la existencia de una curva heteroclínica 29 de Agosto en un 2008 modelo1 de / depre 13. Allee en las presas
Consecuencias Ecológicas de la existencia de una curva heteroclínica en un modelo de depredación con efecto Allee en las presas Eduardo Gonzalez Olivares & Jaime Mena Lorca 29 de Agosto 2008 Consecuencias
Más detallesDORADO ACADEMY MATH BOWL, Iván Cardona Torres, Ph.D.
DORADO ACADEMY MATH BOWL, 2015 Iván Cardona Torres, Ph.D. 30 de enero de 2015 Problema. Encuentre A, B, C tal que 8x 2 3x 11 (x 2)(x 2 + 1) = A x 2 + Bx + C x 2 + 1, para todo número real x. Explique.
Más detallesIE12_ CONSOLIDACIÓN Y DESARROLLO DE NUEVAS TÉCNICAS DE EVALUACIÓN INTENSIVAS ON-LINE YA IMPLEMENTADAS POR EL GIE E4
IE12_13-03001 - CONSOLIDACIÓN Y DESARROLLO DE NUEVAS TÉCNICAS DE EVALUACIÓN Departamento de Estructuras de la Edificación Escuela Técnica Superior de Arquitectura de Madrid Universidad Politécnica de Madrid
Más detallesXVI COPA CHAMPAGNAT DE MATEMATICAS Superior. Iván Cardona Torres, Ph.D.
XVI COPA CHAMPAGNAT DE MATEMATICAS Superior Iván Cardona Torres, Ph.D. 15 de abril de 016 Problema. La suma de las longitudes de todas las aristas del prisma rectangular ABCDEF GH es 4. Si el área superficial
Más detallesEjercicios Propuestos
Ejercicios Propuestos Teoría de Anillos y Módulos Universidad Surcolombiana Neiva, Colombia Nota Histórica El nombre de anillo (ring en inglés) es debido a David Hilbert (Königsberg-1862, Göttingen-1943).
Más detallesCódigos AG y de evaluación
Códigos AG y de evaluación Carlos Galindo 1 Universitat Jaume I, Castellón 1 Matemáticas en la Sociedad de la Información. Murcia 2006 1 Grupo de investigación: SINGACOM 2 Objetivos 3 Códigos Correctores
Más detallesx + y + z = 1 x + 2y + mz = 2 x + 4y + m 2 z = k (a) We use Gausian elimination to transform the augmented matrix of the system
UC3M Matemáticas para la Economía Examen Final, 20/01/2015 SOLUCIONES 1 Se considera el siguiente sistema lineal dependiente de los parámetros k, m R x + y + z = 1 x + 2y + mz = 2 x + 4y + m 2 z = k (a)
Más detalles74 Prime Time. conjetura Suposición acerca de un patrón o relación, basada en observaciones.
A abundant number A number for which the sum of all its proper factors is greater than the number itself. For example, 24 is an abundant number because its proper factors, 1, 2, 3, 4, 6, 8, and 12, add
Más detallesFunciones con Valores Escalares: Geometría, Límites y Continuidad
Funciones con Valores Escalares: Geometría, Límites Continuidad Universidad de los Andes Enero de 2018 Funciones con Valores Escalares: Geometría, Límites Continuidad Enero de 2018 1 / 16 Representación
Más detallesProgramación lineal Optimización de procesos químicos DIQUIMA-ETSII
Programación lineal PROGRAMACIÓN LINEAL PROGRAMACIÓN LINEAL se formula siguiendo el planteamiento general: Función objetivo Restricciones de igualdad Restricciones de desigualdad Límite variables PROGRAMACIÓN
Más detallesSoluciones entre ecuaciones diferenciales de orden dos. Solutions between two-order differential equations.
Universidad del Atlántico Revista Del Programa De Matemáticas Páginas: 16 20 Facultad de Ciencias Básicas c Programa de Matemáticas Vol. IV, No 1, (2017) Soluciones entre ecuaciones diferenciales de orden
Más detallesUncertainty Systems Ia-4002 Fuzzy sets and basic operations
Uncertainty Systems Ia-4002 Fuzzy sets and basic operations Rogelio Soto Centro de Sistemas Inteligentes ITESM, Campus Monterrey http://www-csi.mty.itesm.mx/~rsoto rsoto@itesm.mx Fuzzy Systems: Fuzzy sets
Más detallesDerechos reservados AVL, JADD, AJBG, queda prohibida su reproducción total y/o parcial.
FAILURE THEORIES (From Shigley s Mechanical Engineering Design) MSS theory is an acceptable but conservative predictor of failure; and since engineers are conservative by nature, it is quite often used.
Más detallesGeometría afín y proyectiva, 2016 SEMANA 2
Geometría afín y proyectiva, 2016 SEMANA 2 Sonia L. Rueda ETS Arquitectura. UPM September 20, 2016 Geometría afín y proyectiva 1. Álgebra Lineal 2. Geometría afín y eucĺıdea 3. Cónicas y cuádricas Álgebra
Más detallesProgramación lineal. Optimización de procesos químicos
Programación lineal PROGRAMACIÓN LINEAL PROGRAMACIÓN LINEAL se formula siguiendo el planteamiento general: Función objetivo Restricciones de igualdad Restricciones de desigualdad Límite variables PROGRAMACIÓN
Más detallesIntegración numérica
Integración numérica Laboratori de Càlcul Numèric (LaCàN) Departament de Matemàtica Aplicada III Universitat Politècnica de Catalunya (Barcelona) http://www-lacan.upc.es Índice Motivación y objetivos Cuadratura
Más detallesXV COPA CHAMPAGNAT DE MATEMATICAS Superior. Iván Cardona Torres, Ph.D.
XV COPA CHAMPAGNAT DE MATEMATICAS Superior Iván Cardona Torres, Ph.D. 10 de abril de 2015 Problema. En cada diagrama ilustrado en este problema, el número sobre la recta que une dos círculos es la suma
Más detallesTema 2: Bases de Gröbner
Tema 2: Bases de Gröbner Miguel Ángel Olalla Acosta miguelolalla@us.es Departamento de Álgebra Universidad de Sevilla Febrero de 2018 Olalla (Universidad de Sevilla) Tema 2: Bases de Gröbner Febrero de
Más detallesUNIT 2 DIVISIBILITY 1.- MULTIPLES AND FACTORS Concept of multiple Concept of factor
UNIT 2 DIVISIBILITY 1.- MULTIPLES AND FACTORS 1.1.- Concept of multiple We say that a number a is a multiple of another number b if the division a : b is an exact division, that is, if b contains a a whole
Más detallesZero Method to solve Inequalities
Facultad de Ciencias Básicas c Programa de Matemáticas Vol. 1, No 2, 2014 Revista Del Programa De Matemáticas 2014 95 101 Método del Cero para resolver Inecuaciones Zero Method to solve Inequalities Jorge
Más detallesDinámica Combinatoria
Dinámica Combinatoria Ll. Alsedà Universitat Autònoma de Barcelona http://mat.uab.es/ alseda DDays2004 1/10/2004 1/21(25) Los Sistemas Dinámicos: Una clasificación (demasiado) simplista Dinámica Diferenciable
Más detalles12 Aeroservoelasticity
12 Aeroservoelasticity Vibriones y Aeroelasticidad Dpto. de Vehículos Aeroespiales P. García-Fogeda Núñez & F. Arévalo Lozano ESCUELA TÉCNICA SUPERIOR DE INGENIERÍA AERONÁUTICA Y DEL ESPACIO UNIVERSIDAD
Más detallesCompetencia de matemáticas invitacional Saint Francis School Nivel superior
Competencia de matemáticas invitacional Saint Francis School Nivel superior Elaborado por: Prof. Edwin Flórez - UPRM Dr. Rafael Aparicio - UPRRP Dr. José De Jesús - UPRRP Dr. Luis Fuentes - UPRRP integrantes
Más detallesXXVII Escuela Venezolana de Matemáticas EMALCA. Códigos (I) Edgar Martínez-Moro Sept. 2014
XXVII Escuela Venezolana de Matemáticas EMALCA Códigos (I) Edgar Martínez-Moro Sept. 2014 Códigos correctores Un código corrector de errores es un subconjunto C A n, siendo A un alfabeto finito y n un
Más detallesAplicaciones de la Forma Normal de Smith de una Matriz Entera
Aplicaciones de la Forma Normal de Smith de una Matriz Entera Rafael Heraclio Villarreal Rodríguez Departmento de Matemáticas CINVESTAV-IPN, México D.F. XLV Congreso Nacional Sociedad Matemática Mexicana
Más detallesTema 1: Geometría, Álgebra y Algoritmos
Tema 1: Geometría, Álgebra y Algoritmos Miguel Ángel Olalla Acosta miguelolalla@us.es Departamento de Álgebra Universidad de Sevilla Febrero de 2018 Olalla (Universidad de Sevilla) Tema 1: Geometría, Álgebra
Más detallesTEMA ETAPA DE TESELACIÓN EJEMPLOS CON OPENGL
TEMA 2.4.1 ETAPA DE TESELACIÓN EJEMPLOS CON OPENGL Curso 2013 / 14 Procesadores Gráficos y Aplicaciones en Tiempo Real Profesores: David Miraut y Óscar D. Robles GMRV 2005-2014 Febrero 2014 Procesadores
Más detallesScientia Et Technica ISSN: Universidad Tecnológica de Pereira Colombia
Scientia Et Technica ISSN: 0122-1701 scientia@utpeduco Universidad Tecnológica de Pereira Colombia Cifuentes V, Verónica; Marín, Víctor Generalización de la inducción matemática a estructuras inductivas
Más detallesIntegración numérica
Integración numérica Laboratori de Càlcul Numèric (LaCàN) Departament de Matemàtica Aplicada III Universitat Politècnica de Catalunya (Barcelona) http://www-lacan.upc.es Índice Motivación y objetivos Cuadratura
Más detallesAlgoritmos y Estructuras de Datos
1 / 17 Andrés A. Aristizábal P. aaaristizabal@icesi.edu.co Universidad Icesi Facultad de Ingeniería 2017-2 2 / 17 Ejercicios previos Agenda del día 1 Ejercicios previos Peor, mejor y caso promedio Terminología
Más detallesLos números. 0 cero 1 uno / un 2 dos 3 tres 4 cuatro. 6 seis 7 siete 8 ocho 9 nueve 10 diez 5 cinco
53 31 16 0 cero 1 uno / un 2 dos 3 tres 4 cuatro 6 seis 7 siete 8 ocho 9 nueve 10 diez 5 cinco 11 - once 12 - doce 13 - trece 14 - catorce 17 - diecisiete 18 - dieciocho 19 - diecinueve 20 - veinte 15
Más detallesColegio Espíritu Santo Iván Cardona Torres, Ph.D.
Colegio Espíritu Santo 016 Iván Cardona Torres, Ph.D. 4 de noviembre de 016 Problema. Considere la sucesión 4, 1, 3, 80,..., n + 1) n,... Para cada n, sea Sn) la suma de los primeros n términos de la sucesión.
Más detallesPreguntas Capítulo Entero. 3. Crear un ejemplo debiendo dinero para comparar dos números negativos.
Preguntas Capítulo Entero 1. Qué es un número entero? 2. Explique lo que representa el valor absoluto. 3. Crear un ejemplo debiendo dinero para comparar dos números negativos. 4. Explicar cómo se puede
Más detallesSISTEMA DE MONOMIOS PARA UN CUERPO RESIDUAL REAL CERRADO
SISTEMA DE MONOMIOS PARA UN CUERPO RESIDUAL REAL CERRADO Francisco Ugarte Guerra 1,2 Mayo, 2011 Resumen Para etender técnicas tipo Polígono de Newton a ecuaciones algebraicas con coeficientes en cuerpos
Más detallesCONTROLADORA PARA PIXELS CONPIX
The LedEdit Software Instructions 1, Install the software to PC and open English version: When we installed The LedEdit Software, on the desktop we can see following icon: Please Double-click it, then
Más detallesA x = b z = z. y = z. x = 2 3 (0; 1; 1) = (1; 0; 0) + ( 1; 0; 2) + (0; 3; 2) 1 = 3 = 3 0 = 2 + 2
Question. Solve simultaneously by using the reduced row echelon form the systems for i where Solution: b 5 5 5 Tenemos soluciones: i) Solution : x b i F$F b F FF FF F +F F b z z y + z F F F F F F 5 F F
Más detallesen la transmisión de información a través de un canal de comunicación ruidoso.
Facultad de Ciencias Naturales y Exactas Universidad del Valle CÓDIGOS CORRECTORES DE ERRORES Y COMBINATORIA Carlos Alexis Gómez Ruiz Universidad del Valle Recibido: marzo 28, 2011 Aceptado: mayo 25, 2011
Más detallesGrado 3 Vocabulario/ Representación Vocabulario Descripción Representación
Grado 3 Vocabulario/ Representación Vocabulario Descripción Representación Valor posicional El valor numérico de un dígito en virtud de su posición en un número. Miles Centenas Decenas Unidades 0000 0000
Más detallesELE530: Estimation. Fernando Pérez-Cruz. Princeton University and University Carlos III in Madrid. March 25 th, 2009
ELE530: Fernando Pérez-Cruz Princeton University and University Carlos III in Madrid March 25 th, 2009 From Detection to We want to know if a coin bias is P (H) = 0.2 or P (H) = 0.3 or P (H) = 0.35. We
Más detallesProyecto de Funciones Racionales
Proyecto de Funciones Racionales Prepa Tec Campus Cumbres Montse Canales A01570448 Daniela Willman A01570642 Rational Functions Project Project for Rational Functions: Goal: Analyze a Rational Functions
Más detallesTema: 2.3 Tipos y graficas de funciones
UNIVERSIDAD AUTÓNOMA DEL ESTADO DE HIDALGO ESCUELA PREPARATORIA DE IXTLAHUACO Tema: 2.3 Tipos y graficas de funciones Lic. Lucia Hernández Granados Enero Junio 2018 Tema: 2.3 Tipos y graficas de funciones
Más detallesNúmeros polares de P en el cuerpo de funciones hermitianas
Revista Integración Escuela de Matemáticas Universidad Industrial de Santander Vol. 26, No. 2, 2008, pág. 117 121 Números polares de P en el cuerpo de funciones hermitianas Wilson Olaya León Resumen. En
Más detallesPROYECTO FAMILIAR: SUDODDKU PROYECTO FAMILIAR. UCI Math CEO Meeting 4 (FEBRUARY 8, 2017) Estimado estudiante,
Family project PROYECTO FAMILIAR PROYECTO FAMILIAR: S O 9 4 5 SUOKU U 3 Estimado estudiante, por favor completa esta actividad y tra tu respuesta el miércoles 15 de febrero. Podrás participar en rifas!
Más detallesMaterial para Ayudantía No. 9, Funciones de Costos (Capítulo 8 Nicholson)
Material para Ayudantía No. 9, Funciones de Costos (Capítulo 8 Nicholson) 1. El profesor Smith y el profesor Jones van a producir un nuevo libro de texto de Microeconomía. Su función de producción viene
Más detallesVECTORES. MULTIPLE CHOICE. Choose the one alternative that best completes the statement or answers the question.
VECTORES 1) If A + B = C and their magnitudes are given by A + B = C, then the vectors A and B are oriented 1) A) parallel to each other (in the same direction). B) perpendicular relative to one other.
Más detallesFORMAT B2 SPEAKING EXAM
FORMAT B2 SPEAKING EXAM PRODUCCIÓN ORAL 25% 1 2 3 El examinador, de manera alternativa, hará preguntas a los dos alumnos. (4-5 min en total) Cada candidato tiene 15 segundos para preparar un tema determinado
Más detalles2) What information can we readily get from a line in slope intercept form? When is it helpful to have an equation in standard form?
Algebra I HW: Point Slope Form WS Mark Yourself Present on Page 19 of Your Organizer DO NOW 1) Write the general form of a line in slope intercept form and standard form. Escribe la forma general de una
Más detallesMicrosoft Office Word
Designed by:mary Luz Roa M. Microsoft Office Word Cinta Diseño de Página Márgenes Orientación Tamaño de página Cinta Insertar Imágenes Tablas Formas Agustiniano Salitre School 2017 Autor: Valor Creativo
Más detallesIndirect Object Pronouns
Indirect Object Pronouns We ve seen three types of pronouns so far: Subject: yo, tú, él Reflexive: me, te, se Direct object: me, te, lo, la In this slide show, we are going to look at one more type: indirect
Más detallesSerie detaylor y Maclaurin:
Serie de Talor Serie detalor Maclaurin: Theorem Si f tiene una representación en serie de potencias(epansion) en a, ésta es: f c n a n n entonces los coeficientes están dados por la fórmula a R c n fn
Más detallesFórmula de Conteo para un Dominó de tres Caras
Revista Notas de Matemática Vol5() No 80 009 pp35-41 http://wwwsaberulave/notasdematematica/ Comisión de Publicaciones Departamento de Matemáticas Facultad de Ciencias Universidad de Los Andes Fórmula
Más detallesFlashcards Series 4 El Hotel
Flashcards Series 4 El Hotel Flashcards are one of the quickest and easiest ways to test yourself on Spanish vocabulary, no matter where you are! Test yourself on just these flashcards at first. Then,
Más detallesCotas para los ceros de E-polinomios
Cotas para los ceros de E-polinomios - Juan Sabia Universidad de Buenos Aires & CONICET Argentina Reunión Anual de la Unión Matemática Argentina Bahía Blanca, 20 al 23 de septiembre de 2016 E-polinomios
Más detallesUNIT 9.- INTRODUCTION TO HYPOTHESIS TESTING.
STATISTICAL METHODS FOR BUSINESS UNIT 9.- INTRODUCTION TO HYPOTHESIS TESTING. 9.1.- Basics of statistical hypothesis testing. 9.2.- Types of errors in hypothesis testing. 9.3.- Methodology and implementation
Más detallesSOBRE LOS CICLOS LÍMITE ALGEBRAICOS DE LOS SISTEMAS CUADRÁTICOS ABOUT THE ALGEBRAIC LIMIT CYCLES OF THE QUADRATIC SYSTEMS
Vol. 5, Nº 1 (2014): 23-28 100-100 Artículo Original SOBRE LOS CICLOS LÍMITE ALGEBRAICOS DE LOS SISTEMAS CUADRÁTICOS ABOUT THE ALGEBRAIC LIMIT CYCLES OF THE QUADRATIC SYSTEMS Sabino Acosta Delvalle 1 1
Más detallesIntroducción al Algebra Lineal
Introducción al Algebra Lineal Independencia Lineal, Espacios vectoriales, Transformaciones Lineales y valores y vectores propios Darwin Eduardo Martínez Riaño dmartinezr6@ucentral.edu.co Maestría en Modelado
Más detallesCondiciones y Reglas de la presentación de Declaración Sumaria de Salida (EXS)
C/ Santa María Magdalena 16, 28016 Madrid ECS Sistema de Control de Exportaciones Condiciones y Reglas de la presentación de Declaración Sumaria de Salida (EXS) Autor: S.G.A.A Fecha: 06/06/2011 Versión:
Más detallesAluthge transforms. Basado en un trabajo de Jorge Antezana, Pedro Massey and Demetrio Stojanoff. 3 de Marzo de 2005
Aluthge transforms. Basado en un trabajo de Jorge Antezana, Pedro Massey and Demetrio Stojanoff 3 de Marzo de 2005 1 Introduction. Let H be a complex Hilbert space, and let L(H) be the algebra of bounded
Más detallesXVII COPA CHAMPAGNAT DE MATEMATICAS Superior. Iván Cardona Torres, Ph.D.
XVII COPA CHAMPAGNAT DE MATEMATICAS Superior Iván Cardona Torres, Ph.D. 28 de abril de 2017 Problema. Factorize el entero N. Explique. Factor the integer N. N = 109783. N = 109783. Explain. Problema. Factorize
Más detallesLearning Spanish Like Crazy. Spoken Spanish Lección Uno. Listen to the following conversation. Male: Hola Hablas inglés? Female: Quién?
Learning Spanish Like Crazy Spoken Spanish Lección Uno. Listen to the following conversation. Male: Hola Hablas inglés? Female: Quién? Male: Tú. Hablas tú inglés? Female: Sí, hablo un poquito de inglés.
Más detallesMichaelson Español 1
Michaelson Español 1 English Grammar Connection: indicate Subject Pronouns who is being described or who does the action in a sentence. Yo = I Tú =You (familiar) Él = He Ella = She Usted =You (formal)
Más detallesÁlgebra II Primer Cuatrimestre 2016
Álgebra II Primer Cuatrimestre 2016 Práctica 3: Anillos Ejemplos construcciones 1. Probar que los siguientes conjuntos son anillos con las operaciones indicadas. Decidir en cada caso si son conmutativos,
Más detallesIntersección de Segmentos de Recta (2) Geometría Computacional, MAT-125
Intersección de Segmentos de Recta (2) Geometría Computacional, MAT-125 Qué estructuras de datos necesitamos para implementar este algoritmo? cola de eventos Q. Operaciones: Eliminar el próximo evento
Más detallesMolinos de viento no-derogatorios
Molinos de viento no-derogatorios 69 Notas de Matemática, No. 245 Mérida, 2006 Molinos de viento no-derogatorios Juan Rada Abstract Un grafo dirigido G es no-derogatorio si su matriz de adyacencia A es
Más detallesReal Time Systems. Part 2: Cyclic schedulers. Real Time Systems. Francisco Martín Rico. URJC. 2011
Real Time Systems Part 2: Cyclic schedulers Scheduling To organise the use resources to guarantee the temporal requirements A scheduling method is composed by: An scheduling algorithm that calculates the
Más detallesGeneralización de la inducción matemática a estructuras inductivas
Scientia et Technica Año XVI, No 49, Diciembre de 2011 Universidad Tecnológica de Pereira ISSN 0122-1701 167 Generalización de la inducción matemática a estructuras inductivas Generalization of mathematical
Más detallesFACE RINGS RODRIGO BOTELLO MARABOTTO. Departamento de Álgebra. Universidad de Granada. 2014
. FACE RINGS RODRIGO BOTELLO MARABOTTO Departamento de Álgebra Universidad de Granada. 2014 Face rings RODRIGO BOTELLO MARABOTTO Departamento de Álgebra Universidad de Granada. 2014 . Dedicado a mis
Más detallesDiscrete and Computational Geometry Jorge Urrutia Instituto de Matemáticas UNAM
Discrete and Computational Geometry Jorge Urrutia Instituto de Matemáticas UNAM Discrete and Computational Geometry Jorge Urrutia Instituto de Matemáticas UNAM Voronoi Diagrams Discrete and Computational
Más detalles5.2 LA FUNCION EXPONENCIAL. Copyright Cengage Learning. All rights reserved.
5.2 LA FUNCION EXPONENCIAL Copyright Cengage Learning. All rights reserved. La Función Exponencial Para toda base positiva, a 1, podemos definir una función exponencial de la forma f (x) = a x, Con dominio
Más detallesFORMAT B1 SPEAKING EXAM
FORMAT B1 SPEAKING EXAM PARTE 1 El examinador, de manera alternativa, hará preguntas a los dos alumnos (4-5 min en total) PRODUCCIÓN ORAL 25% PARTE 2 PARTE 3 Cada candidato tiene 15 segundos para preparar
Más detallesCompetencia Academia San José 2011
Competencia Academia San José 2011 18 de febrero de 2011 Problema. Demuestre que entre 12 enteros positivos consecutivos hay al menos uno que es menor que la suma de sus divisores propios. (Los divisores
Más detallesIDEALES PRINCIPALES Y CONJUNTOS APÉRY EN UN SEMIGRUPO NUMÉRICO. (Recibido: 30/05/ Aceptado: 07/07/2014)
PESQUIMAT, Revista de la F.C.M. de la Universidad Nacional Mayor de San Marcos Vol. XVII N o 2, pp. 25-31, Lima - Perú, Octubre 2014 IDEALES PRINCIPALES Y CONJUNTOS APÉRY EN UN SEMIGRUPO NUMÉRICO Mario
Más detallesEntropía. Características
Clausius comprendio en 865 que él había descubierto una nueva propiedad termodinámica y decidio nombrarla entropía, la cual esta designada por S y definida como ds a dq T b int rev kj>k Características
Más detallesProgramación lineal Optimización de procesos químicos DIQUIMA-ETSII
Programación lineal PROGRAMACIÓN LINEAL PROGRAMACIÓN LINEAL se formula siguiendo el planteamiento general: Función objetivo Restricciones de igualdad Restricciones de desigualdad Límite variables PROGRAMACIÓN
Más detallesCoincidencias en sucesiones generalizadas de
Coincidencias en sucesiones generalizadas de Lucas Eric F. Bravo Universidad del Cauca Trabajo conjunto con Jhon J. Bravo y Florian Luca Álgebra, Teoría de Números, Combinatoria y Aplicaciones (ALTENCOA
Más detalles8.1. Extensiones algebraicas. Grado.
1 Tema 8.-. Extensiones algebraicas. Cuerpos de descomposición. Elemento primitivo. 8.1. Extensiones algebraicas. Grado. Si k es un subcuerpo de K, diremos que K es una extensión de k, que notaremos K
Más detallesModificación de la ENS acorde con la KEL 28
Modificación de la ENS acorde con la KEL 28 Se va a modificar la Declaración Sumaria de Entrada para ajustarse a las modificaciones de la nueva KEL 28. La aplicación de las nuevas reglas será obligatoria
Más detallesXIX Copa Eugene Francis
Problema 1) Un rayo golpea un árbol a una cuarta parte de su altura, a partir de su tronco y rompió el árbol de modo que su copa cayó 60 pies de su base, como se muestra en la figura. Cuán alto era el
Más detallesEjercicio 70 : En este ejercicio vamos a caracterizar completamente la expresión
EJERCICIOS ESTRUCTURAS ALGEBRAICAS (2004-2005) 1 Ejercicio 70 : En este ejercicio vamos a caracterizar completamente la expresión f = a 1 f 1 +... + a s f s + r que se obtiene al aplicar el algoritmo de
Más detallesMaking comparisons. In this slide show, we ll look at ways of expressing differences and similarities.
Making comparisons In this slide show, we ll look at ways of expressing differences and similarities. Three cases Look at these three sentences: Fred is as tall as John. Fred is taller than Bob. Fred is
Más detallesMÉTODO MATRICIAL PARA EL CÁLCULO DE LA CONSTANTE DE OLSON K-BARICÉNTRICA. Universidad de Oriente. Felicia Villarroel.
September 24-28, 202 MÉTODO MATRICIAL PARA EL CÁLCULO DE LA CONSTANTE DE OLSON K-BARICÉNTRICA Felicia Villarroel Universidad de Oriente Avda. Universidad. Cerro del Medio. Departamento de Matemáticas.
Más detallesEl Grupo de los Enteros p-ádicos
Divulgaciones Matemáticas Vol. 7 No. 2 (1999), pp. 187 192 El Grupo de los Enteros p-ádicos The Group of p-adic Integers Edixo Rosales (erosales@hydra.math.luz.ve) Departamento de Matemática y Computación
Más detallesIntersección de Segmentos de Recta. Geometría Computacional, MAT-125
Intersección de Segmentos de Recta Geometría Computacional, MAT-125 Dados dos conjuntos de segmentos de recta, calcular todas las intersecciones entre los segmentos de un conjunto y los segmentos del otro
Más detallesSEMINARIO DEL POSGRADO EN MATEMÁTICAS
EN MATEMÁTICAS Comité Organizador José Luis Cosme Álvarez coal@xanum.uam.mx Rocío Meza Moreno rocio.meza.moreno@gmail.com Alejandro Aguilar Zavoznick alexaguilarz@hotmail.com Henry R. de J. Chimal Dzul
Más detallesCOMPRESIÓN DE MALLAS TRIANGULARES. Raquel Viaña Departamento de Matemáticas Universidad de Alcalá
COMPRESIÓN DE MALLAS TRIANGULARES Raquel Viaña Departamento de Matemáticas Universidad de Alcalá Compresión de mallas triangulares Contenido 1. Introducción. 2. Compresión de la conectividad. 3. Compresión
Más detallesTransformaciones Lineales y Espacio Dual
Transformaciones Lineales y Espacio Dual Juan Pablo De Rasis 22 de abril de 2018 El presente artículo tiene como objetivo la exposición de soluciones a problemas de Álgebra Lineal concernientes a transformaciones
Más detallesRevista Integración ISSN: X Universidad Industrial de Santander Colombia
Revista Integración ISSN: 0120-419X integracion@matematicas.uis.ed Universidad Industrial de Santander Colombia Mutis, Wilson Fernando; Benavides, Fernando Andrés; Hermes Castillo, John Conjuntos suma
Más detallesEl teorema de los ceros de Hilbert (primera lección)
El teorema de los ceros de Hilbert (primera lección) Alexey Beshenov (cadadr@gmail.com) Universidad de El Salvador. 6 de marzo de 2018 En estos apuntes voy a revisar un par de resultados básicos de la
Más detallesSistemas polinomiales
Sistemas polinomiales (Elementos básicos) ALBERTO VIGNERON TENORIO Dpto. de Matemáticas Universidad de Cádiz Índice general 1. Introducción 2 2. Generalidades sobre polinomios 5 2.1. Orden monomial.........................
Más detallesIntroducción a la Geometría Computacional. Análisis de Algoritmos
Introducción a la Geometría Computacional Análisis de Algoritmos Geometría Computacional La Geometría Computacional surgió a finales de los 70s del área de diseño y análisis de algoritmos. Estudio sistemático
Más detalles