Cette thèse regroupe plusieurs travaux de combinatoire énumérative sur les permutations et permutations d'ensemble. Elle comporte 4 parties.Dans la première partie, nous répondons aux conjectures de Steingrimsson sur les partitions ordonnées d'ensemble. Plus précisément, nous montrons que les statistiques de Steingrimsson sur les partitions ordonnées d'ensemble ont la distribution euler-mahonienne. Dans la deuxième partie, nous introduisons et étudions une nouvelle classe de statistiques sur les mots : les statistiques "maj-inv". Ces dernières sont des interpolations graphiques des célèbres statistiques "indice majeur" et "nombre d'inversions". Dans la troisième partie, nous montrons que la distribution conjointe des statistiques"nombre de croisements" et "nombre d'imbrications" sur les partitions d'ensemble est symétrique. Nous étendrons aussi ce dernier résultat dans le cadre beaucoup plus large des 01-remplissages de "polyominoes lunaires".La quatrième et dernière partie est consacrée à l'étude combinatoire des q-polynômes de Laguerre d'Al-Salam-Chihara. Nous donnerons une interprétation combinatoire de la suite de moments et des coefficients de linéarisations de ces polynômes. / This thesis consists of four chapters, each on a different topic in enumerative combinatorics, all related in some way to the enumeration of permutations or set partitions. In the first chapter, we prove and generalize Steingrimsson's conjectures on Euler-Mahonian statistics on ordered set partitions. In the second chapter, we introduce and study a new class of statistics on words: the "maj-inv" statistics. These are graphical interpolation of the well-known "major index" and "inversion number".In the third chapter, we show that the joint distribution of the numbers of crossings and nestings on set partitions is symmetric. We also put this result in the larger context of enumeration of increasing and decreasing chains in 01-fillings of moon polyominoes.In the last chapter, we decribe various aspects of the Al-Salam-Chihara q-Laguerre polynomials. These include combinatorial descriptions of the polynomials, the moments, the orthogonality relation and a combinatorial interpretation of the linearization coefficients.

To αντικείμενο μελέτης της εργασίας αυτής είναι κατά μείζονα λόγο το θεώρημα Tarski-Seidenberg. Στο πρώτο κεφάλαιο μελετάμε το κίνητρο που ώθησε τον Tarski σε αυτή την έρευνα, εξιστορούμε την πορεία της ιδέας του από την ανακάλυψη μέχρι τη δημοσίευση και έπειτα προσπαθούμε να σκιαγραφήσουμε ευκρινώς τη συνολική επίδραση του θεωρήματος στα μαθηματικά και όχι μόνο. Για την ακρίβεια, αναφερόμαστε στην πληρότητα της Ευκλείδειας γεωμετρίας ως συνέπεια του θεωρήματος, στη συμβολή του θεωρήματος στην ανάπτυξη της ημιαλγεβρικής γεωμετρίας. Στο δεύτερο κεφάλαιο αποδικνύεται το εν λόγω θεώρημα, δηλαδή ότι η πρωτοβάθμια θεωρία των πραγματικώς κλειστών σωμάτων είναι πλήρης, με χρήση των θεωρημάτων Sturm και Sylvester. Στο τρίτο κεφάλαιο παρουσιάζεται μία διδακτική έρευνα με φοιτητές του τμήματος με σκοπό τη διάγνωση πιθανών γνωστικών κενών των φοιτητών σε θέματα της θεωρίας πολυωνύμων με πραγματικούς συντελεστές. / To study object of this work is a fortiori the Tarski-Seidenberg theorem. In the first chapter we study Tarski's motivation in this research, we recount the progress of the idea from ​​the discovery until the publication, and then we try to outline clearly the overall effect of the theorem in mathematics and beyond. In fact, we refer to the completeness of Euclidean geometry as a consequence of the theorem, in its contribution to the development of semialgebraic geometry. In the second chapter we prove the Tarski-Seidenberg theorem, namely that the first order theory of real closed fields is actually complete, using the Sturm and Sylvester theorems. In the third chapter we present a teaching research on students of the Department in purpose to diagnose potential knowledge gaps of the students concerning the theory of polynomials with real coefficients.

No description available.

No description available.

No description available.

Cette thèse est consacrée au problème d’évolution des théories de gravité modifiée : après avoir rappelé ce qu’il en est pour la Relativité Générale (RG), nous exposons le formalisme n + 1 des théories ƒ(R), Brans-Dicke et tenseur-scalaire et redémontrons un résultat connu : le problème de Cauchy est bien posé pour ces théories, et les équations de contrainte se réduisent à celles de la RG avec un champ de matière. Puis nous effectuons la même décomposition n + 1 pour les théories de Lovelock et, ce qui est nouveau, ƒ(Lovelock). Nous étudions ensuite les équations de contrainte des théories de Lovelock et montrons qu’elles sont, dans le cas conformément plat et symétrique en temps, la prescription d’une somme de σk-courbures. Afin de résoudre cette équation de prescription, nous introduisons une nouvelle famille de polynômes semi-symétriques homogènes et développons des résultats de concavité pour ces polynômes. Nous énonçons une conjecture qui, si elle était avérée, nous permettrait de résoudre l’équation de prescription dans de nombreux cas : ∀ P;Q ∈ ℝ[X], avec deg P = deg Q = p, P et Q sont scindés => p ∑ k=0 P(k) Q(p-k) est scindé / This thesis is devoted to the evolution problem for modified gravity theories. After having explained this problem for General Relativity (GR), we present the n + 1 formalism for ƒ(R) theories, Brans-Dicke and scalar-tensor theories. We recall a known result: the Cauchy problem for these theories is well-posed, and the constraint equations are reduced to those of GR with a matter field. Then we proceed to the same n+1 decomposition for Lovelock and ƒ(Lovelock) theories, the latter being an original result. We show that in the locally conformally flat timesymmetric case, they can be written as the prescription of a sum of σk-curvatures. In order to solve the prescription equation, we introduce a new family of homogeneous semisymmetric polynomials and prove some concavity results for those polynomials. We express the following conjecture: if this is true, we are able to solve the prescription equation in many cases. ∀ P;Q ∈ ℝ[X], avec deg P = deg Q = p, P and Q are real-rooted => p ∑ k=0 P(k) Q(p-k) is real-rooted:

This study investigates the possibilities and implications for the teaching of the solving of polynomial equations. It is historically directed and also focusses on the working procedures in algebra which target the cognitive and affective domains. The teaching implications of the development of representational styles of equations and their solving procedures are noted. Since concepts in algebra can be conceived as processes or objects this leads to cognitive obstacles, for example: a limited view of the equal sign, which result in learning and reasoning problems. The roles of sense-making, visual imagery, mental schemata and networks in promoting meaningful understanding are scrutinised. Questions and problems to solve are formulated to promote the processes associated with the solving of polynomial equations, and the solving procedures used by a group of college students are analysed. A teaching model/method, which targets the cognitive and affective domains, is presented. / Mathematics Education / M.A. (Mathematics Education)

O ganho crescen te de desempenho nos computadores modernos tem impulsionado os trabalhos científicos nas áreas de simulação computacional. Muitos autores utilizam em suas pesquisas ferramentas comerciais que limitam seus trabalhos ao esconder os algoritmos internos destas ferramentas e dificultam a adição de dados in-vivo nestes trabalhos. Este trabalho explora esta lacuna deixada por aqueles autores. Elaboramos um arcabouço computacional capaz de reproduzir os fenômenos óticos e fisiológicos do sistema visual. Construímos com superfícies quádricas os modelos esquemáticos do olho humano e propomos um algoritmo de traçado de raio realístico. Então realizamos um estudo nos modelos esquemáticos e a partir deles mais a adição de dados in-vivo obtidos de um topógrafo de córnea extraímos informações óticas destes modelos. Calculamos os coeficientes e Zernike dos modelos para tamanhos diversos de pupila e obtivemos medidas de aberração do olho humano. Os resultados encontrados estão de acordo com os trabalhos relacionados e as simulações com dados in-vivo estão consoantes com as produzidas por um aparelho de frente de onda comerciais. Este trabalho é um esforço em aproveitar as informações adquiridas pelos equipamentos modernos de oftalmologia, além de auxiliar o entendimento de sistemas visuais biológicos acabam também em auxiliar a elaboração de sistemas de visão artificial e os projetistas de sistemas óticos / The increase in performance of the modern computers has driven scientific work in the areas of computer simulation. Many authors use in their research commercial tools that use embedding algorithms, which sources are not provided, and it makes harder and sometimes impossible, the development of novel theories or experiments. This work explores this gap left for those authors. We present a computational framework capable to reproduce the optical and physiological phenomena of the human visual system. We construct schematical models of the human eye from quadrics surfaces and consider an algorithm of realistic ray tracing. Afterward, we performed a study on schematics models and in addition we introduce, in these models, in-vivo data obtained from corneal topography machine and extract optical information. We calculate the Zernike coefficients in the models for different sizes of pupil and measures of aberration of the human eye. The results are in agreement with related work and simulations with in-vivo data are according with the produced by a commercial wave-front device. This work is an effort in using to advantage the information acquired for the modern equipment of ophthalmology, besides assisting the understanding of biological visual systems, it also helps the development of artificial vision systems and the designing of optical systems

Sistemas diferenciais quadráticos planares estão presentes em muitas áreas da matemática aplicada. Embora mais de mil artigos tenham sido publicados sobre os sistemas quadráticos ainda resta muito a se conhecer sobre esses sistemas. Problemas clássicos, e em particular o XVI problema de Hilbert, estão ainda em aberto para essa família. Um dos objetivos dos pesquisadores contemporâneos é obter a classificação topológica completa dos sistemas quadráticos. Devido ao grande número de parâmetros (essa família possui doze parâmetros e, aplicando transformações afins e reescala do tempo, reduzimos esse número a cinco, sendo ainda um número grande para se trabalhar) usualmente subclasses são consideradas nas investigações realizadas. Quando características específicas são levadas em consideração, o número de parâmetros é reduzido e o estudo se torna possível. Nesta tese estudamos principalmente duas subfamílias de sistemas quadráticos: a primeira possuindo um nó triplo semielemental e a segunda possuindo uma selanó semi elemental finita e uma selanó semielemental infinita formada pela colisão de uma sela infinita com um nó infinito. Os diagramas de bifurcação para ambas as famílias são tridimensionais. A família tendo um nó triplo gera 28 retratos de fase topologicamente distintos, enquanto o fecho da família tendo as selasnós dentro do espaço de bifurcação de sua forma normal gera 417. Polinômios invariantes são usados para construir os conjuntos de bifurcação e os retratos de fase topologicamente distintos são representados no disco de Poincaré. Os conjuntos de bifurcação são a união de superfícies algébricas e superfícies cuja presença foi detectada numericamente. Ainda nesta tese, apresentamos todos os retratos de fase de um sistema diferencial conhecido como modelo do tipo SIS (sistema suscetívelinfectadosuscetível, muito comum na matemática aplicada) e a classificação dos sistemas quadráticos possuindo hipérboles invariantes. Ambos sistemas foram investigados usando de polinômios invariantes afins. / Planar quadratic differential systems occur in many areas of applied mathematics. Although more than one thousand papers have been written on these systems, a complete understanding of this family is still missing. Classical problems, and in particular Hilberts 16th problem, are still open for this family. One of the goals of recent researchers is the topological classification of quadratic systems. As this attempt is not possible in the whole class due to the large number of parameters (twelve, but, after affine transformations and time rescaling, we arrive at families with five parameters, which is still a large number), many subclasses are considered and studied. Specific characteristics are taken into account and this implies a decrease in the number of parameters, which makes possible the study. In this thesis we mainly study two subfamilies of quadratic systems: the first one possessing a finite semielemental triple node and the second one possessing a finite semielemental saddlenode and an infinite semielemental saddlenode formed by the collision of an infinite saddle with an infinite node. The bifurcation diagram for both families are tridimensional. The family having the triple node yields 28 topologically distinct phase portraits, whereas the closure of the family having the saddlenodes within the bifurcation space of its normal form yields 417. Invariant polynomials are used to construct the bifurcation sets and the phase portraits are represented on the Poincaré disk. The bifurcation sets are the union of algebraic surfaces and surfaces whose presence was detected numerically. Moreover, we also present the analysis of a differential system known as SIS model (this kind of systems are easily found in applied mathematics) and the complete classification of quadratic systems possessing invariant hyperbolas.

Ce travail de thèse porte sur différentes caractérisations des modèles multivariés de stables-Tweedie multiples dans le cadre des familles exponentielles naturelles sous la propriété de "steepness". Ces modèles parus en 2014 dans la littérature ont été d’abord introduits et décrits sous une forme restreinte des stables-Tweedie normaux avant les extensions aux cas multiples. Ils sont composés d’un mélange d’une loi unidimensionnelle stable-Tweedie de variable réelle positive fixée, et des lois stables-Tweedie de variables réelles indépendantes conditionnées par la première fixée, de même variance égale à la valeur de la variable fixée. Les modèles stables-Tweedie normaux correspondants sont ceux du mélange d’une loi unidimensionnelle stable-Tweedie positive fixé et les autres toutes gaussiennes indépendantes. A travers des cas particuliers tels que normal, Poisson, gamma, inverse gaussienne, les modèles stables-Tweedie multiples sont très fréquents dans les études de statistique et probabilités appliquées. D’abord, nous avons caractérisé les modèles stables-Tweedie normaux à travers leurs fonctions variances ou matrices de covariance exprimées en fonction de leurs vecteurs moyens. La nature des polynômes associés à ces modèles est déduite selon les valeurs de la puissance variance à l’aide des propriétés de quasi orthogonalité, des systèmes de Lévy-Sheffer, et des relations de récurrence polynomiale. Ensuite, ces premiers résultats nous ont permis de caractériser à l’aide de la fonction variance la plus grande classe des stables-Tweedie multiples. Ce qui a conduit à une nouvelle classification laquelle rend la famille beaucoup plus compréhensible. Enfin, une extension de caractérisation des stables-Tweedie normaux par fonction variance généralisée ou déterminant de la fonction variance a été établie via leur propriété d’indéfinie divisibilité et en passant par les équations de Monge-Ampère correspondantes. Exprimées sous la forme de produit des composantes du vecteur moyen aux puissances multiples, la caractérisationde tous les modèles multivariés stables-Tweedie multiples par fonction variance généralisée reste un problème ouvert. / In the framework of natural exponential families, this thesis proposes differents characterizations of multivariate multiple stables-Tweedie under "steepness" property. These models appeared in 2014 in the literature were first introduced and described in a restricted form of the normal stables-Tweedie models before extensions to multiple cases. They are composed by a fixed univariate stable-Tweedie variable having a positive domain, and the remaining random variables given the fixed one are reals independent stables-Tweedie variables, possibly different, with the same dispersion parameter equal to the fixed component. The corresponding normal stables-Tweedie models have a fixed univariate stable-Tweedie and all the others are reals Gaussian variables. Through special cases such that normal, Poisson, gamma, inverse Gaussian, multiple stables-Tweedie models are very common in applied probability and statistical studies. We first characterized the normal stable-Tweedie through their variances function or covariance matrices expressed in terms of their means vector. According to the power variance parameter values, the nature of polynomials associated with these models is deduced with the properties of the quasi orthogonal, Levy-Sheffer systems, and polynomial recurrence relations. Then, these results allowed us to characterize by function variance the largest class of multiple stables-Tweedie. Which led to a new classification, which makes more understandable the family. Finally, a extension characterization of normal stable-Tweedie by generalized variance function or determinant of variance function have been established via their infinite divisibility property and through the corresponding Monge-Ampere equations. Expressed as product of the components of the mean vector with multiple powers parameters reals, the characterization of all multivariate multiple stable- Tweedie models by generalized variance function remains an open problem.