In this thesis, we make some contributions at the interface between algebra and graph theory. In Chapter 1, we give an overview of the topics and also the definitions and preliminaries. In Chapter 2, we estimate the number of possible types degree patterns of k-lacunary polynomials of degree t < p which split completely modulo p. The result is based on a rather unusual combination of two techniques: a bound on the number of zeros of lacunary polynomials and a bound on the so-called domination number of a graph. In Chapter 3, we deal with the determinant of bipartite graphs. The nullity of a graph G is the multiplicity of 0 in the spectrum of G. Nullity of a (molecular) graph (e.g., a bipartite graph corresponding to an alternant hydrocarbon) has important applications in quantum chemistry and Huckel molecular orbital (HMO) theory. A famous problem, posed by Collatz and Sinogowitz in 1957, asks to characterize all graphs with positive nullity. Clearly, examining the determinant of a graph is a way to attack this problem. In this Chapter, we show that the determinant of a bipartite graph with at least two perfect matchings and with all cycle lengths divisible by four, is zero. In Chapter 4, we first introduce an application of spectral graph theory in proving trigonometric identities. This is a very simple double counting argument that gives very short proofs for some of these identities (and perhaps the only existed proof in some cases!). In the rest of Chapter 4, using some properties of the well-known Chebyshev polynomials, we prove some theorems that allow us to evaluate the number of spanning trees in join of graphs, Cartesian product of graphs, and nearly regular graphs. In the last section of Chapter 4, we obtain the number of spanning trees in an (r,s)-semiregular graph and its line graph. Note that the same results, as in the last section, were proved by I. Sato using zeta functions. But our proofs are much shorter based on some well-known facts from spectral graph theory. Besides, we do not use zeta functions in our arguments. In Chapter 5, we present the conclusion and also some possible projects.

In this thesis, we make some contributions at the interface between algebra and graph theory. In Chapter 1, we give an overview of the topics and also the definitions and preliminaries. In Chapter 2, we estimate the number of possible types degree patterns of k-lacunary polynomials of degree t < p which split completely modulo p. The result is based on a rather unusual combination of two techniques: a bound on the number of zeros of lacunary polynomials and a bound on the so-called domination number of a graph. In Chapter 3, we deal with the determinant of bipartite graphs. The nullity of a graph G is the multiplicity of 0 in the spectrum of G. Nullity of a (molecular) graph (e.g., a bipartite graph corresponding to an alternant hydrocarbon) has important applications in quantum chemistry and Huckel molecular orbital (HMO) theory. A famous problem, posed by Collatz and Sinogowitz in 1957, asks to characterize all graphs with positive nullity. Clearly, examining the determinant of a graph is a way to attack this problem. In this Chapter, we show that the determinant of a bipartite graph with at least two perfect matchings and with all cycle lengths divisible by four, is zero. In Chapter 4, we first introduce an application of spectral graph theory in proving trigonometric identities. This is a very simple double counting argument that gives very short proofs for some of these identities (and perhaps the only existed proof in some cases!). In the rest of Chapter 4, using some properties of the well-known Chebyshev polynomials, we prove some theorems that allow us to evaluate the number of spanning trees in join of graphs, Cartesian product of graphs, and nearly regular graphs. In the last section of Chapter 4, we obtain the number of spanning trees in an (r,s)-semiregular graph and its line graph. Note that the same results, as in the last section, were proved by I. Sato using zeta functions. But our proofs are much shorter based on some well-known facts from spectral graph theory. Besides, we do not use zeta functions in our arguments. In Chapter 5, we present the conclusion and also some possible projects.

El objetivo de esta tesis es desarrollar la interpolación de Birkhoff mediante polinomios lacunarios.En la interpolación algebraica de Birkhoff se determina un polinomio de grado menor que n, para ello se emplean n condiciones que fijan el valor del polinomio o sus derivadas. Los problemas clásicos de interpolación de Lagrange, Taylor, Hermite, Hermite-Sylvester y Abel-Gontcharov son casos particulares de interpolación algebraica de Birkhoff.Un espacio de polinomios lacunarios de dimensión n es el conjunto de los polinomios que pueden generarse por combinación lineal de n potencias distintas de grados, en general, no consecutivos. En particular, cuando tomamos potencias de grados 0,1,.,n-1, se obtiene el espacio de polinomios de grado menor que n, empleado en la interpolación algebraica clásica. En la interpolación algebraica clásica, el número de condiciones determina el espacio de interpolación. En contraste, en la interpolación mediante polinomios lacunarios las condiciones de interpolación determinan únicamente la dimensión del espacio de interpolación y pueden existir una infinidad de espacios sobre los que realizar la interpolación. Esto nos permite construir mejores estrategias de interpolación en ciertos casos, como la interpolación de funciones de gran crecimiento (interpolación de exponenciales y de ramas asintóticas).La aportación de la tesis consiste en la definición de un marco teórico adecuado para la interpolación de Birkhoff mediante polinomios lacunarios y en la extensión al nuevo marco de los principales elementos de la interpolación algebraica de Birkhoff. En concreto, se generaliza la condición de Pólya, se caracteriza la regularidad condicionada, se establecen condiciones suficientes de regularidad ordenada que extienden el teorema de Atkhison-Sharma, se extiende la descomposición normal y se establecen condiciones suficientes de singularidad en los casos indescomponibles.