Nous traitons deux problèmes liés aux séries de Dirichlet. Nous étudions d'abord le prolongement analytique d'une certaine classe de séries de Dirichlet à deux variables : g(s_1,s_2,a,r)=∑ (d≥1) r(d)a(d)^{-s_1}d^{-s_2}, où a(d) est une fonction multiplicative strictement positive et r(d) est une fonction multiplicative. Nous démontrons, sous certaines hypothèses, un théorème général qui permet d'approcher cette série de Dirichlet par une série connue, modulo une autre série pour laquelle nous obtenons des majorations très précises. Nous utilisons ensuite cet outil pour obtenir des résultats quantitatifs sur la distribution des valeurs de fonctions arithmétiques. Sous certaines hypothèses sur les fonctions a(d) et r(d), nous déterminons la limite lorsque X tend vers l'infini de X^{-1}∑ (d≤X, a(d)≤z) r(d) (0

Cette thèse décrit quelques développements dans les techniques de calcul des amplitudes de diffusion en théorie supersymétrique de champ de jauge . L'accent est mis sur les relations de récurrence on-shell et sur l'utilisation de méthodes d'unitarité pour des calculs de boucle. En particulier, la récurrence on-shell est liée aux règles BCFW pour calculer les amplitudes de jauge au niveau des arbres. Les combinaisons de techniques de coupe d'unitarité et la récurrence sont utilisées pour calculer les amplitudes de boucle, et finalement, à partir des amplitudes, pour obtenir la fonction de corrélation énergie-énergie en théorie de super-Yang-Mills N = 4 à l'aide de la représentation de Mellin-Barnes. Dans le dernier chapitre, nous tentons de trouver un contour convergent pour les intégrales de Mellin Barnes en multi-dimension obtenu par une certaine approximation d'un contour de phase stationnaire.

Title: Options under Stable Laws. Author: Andrea Karlová Department: Department of Probability and Mathematical Statistics Supervisor: Doc. Petr Volf, CSc. Abstract: Stable laws play a central role in the convergence problems of sums of independent random variables. In general, densities of stable laws are represented by special functions, and expressions via elementary functions are known only for a very few special cases. The convenient tool for investigating the properties of stable laws is provided by integral transformations. In particular, the Fourier transform and Mellin transform are greatly useful methods. We first discuss the Fourier transform and we give overview on the known results. Next we consider the Mellin transform and its applicability on the problem of the product of two independent random variables. We establish the density of the product of two independent stable random variables, discuss the properties of this product den- sity and give its representation in terms of power series and Fox's H-functions. The fourth chapter of this thesis is focused on the application of stable laws into option pricing. In particular, we generalize the model introduced by Louise Bachelier into stable laws. We establish the option pricing formulas under this model, which we refer to as the Lévy Flight...

In der Z-Boson-Resonanzphysik sind mehrere Präzisionsobservablen in einem perfekten Zustand, bei dem die theoretische Unsicherheit niedriger ist als die gegenwärtige experimentelle Unsicherheit. Das Konzept für den zukünftigen Teilchenbeschleuniger Future Circular Collider (FCC), will eine Verbesserung der Messungen für die Präzisionsobservablen um ein bis zwei signifikante Stellen erreichen. Damit werden die Vorhersagen des elektroschwachen Standardmodells in eine Situation versetzt, in der vollständige Zweischleifenkorrekturen zusammen mit den führenden Dreischleifenkorrekturen obligatorisch werden. 2016 wurden die vollständigen Zweischleifenkorrekturen für den effektiven schwachen Mischungswinkel für die bottom Quarks sin^2/theta/^b_eff berechnet, indem die fehlenden bosonischen Zweischleifenkorrekturen bereitgestellt wurden. Dabei liegt die Schwierigkeit in der Berechnung der entsprechenden Zwei-Schleifen Vertex-Feynman-Integrale, die mehrere massive Teilchen einschließen. Gegenwärtig ist die analytische Rechnung der meisten dieser Integrale schwierig und deswegen werden rein numerische Techniken, mittels Sektorzerlegungsansatz und der Integralansatz nach Mellin-Barnes, angewandt. Es war bis vor kurzem nicht bekannt, wie Mellin-Barnes-Integraldarstellungen in den minkowskischen Integrationsgebieten numerisch behandelt werden können. Um dieses Problem anzugehen, stellen wir eine Vielzahl von ein- und mehrdimensionaler Techniken vor, die ein Teil des neuen Programms MBnumerics.m sind, welches in dieser Dissertation entwickelt wurde. Der Sektorzerlegungsansatz und der Integralansatz nach Mellin-Barnes sind zusammen ausreichend, um elektroschwache Zweischleifenkorrekturen für die Präzisionsobservablen der Annihilation von e^+e^- in zwei Fermionen in der Z-Bosonresonanz auszurechnen. Aktuell führt dies zu der genauesten Vorhersage für den effektiven elektroschwachen Mischungswinkel für bottom Quarks sin^2/theta/^b_eff = 0.232312. / In the Z-boson resonance physics several precision observables are in a perfect state, where the theory uncertainty is lower than the present experimental uncertainty. The ambitious concepts for the future collider, Future Circular Collider (FCC), aim for an improvement of measurements for the precision observables by one to two significant digits. This will put the Electroweak Standard Model predictions in a situation where complete two-loop corrections together with the leading three-loop corrections will become mandatory. The complete two-loop corrections for effective weak mixing angle for bottom quarks sin^2/theta/^b_eff were reported recently, by providing the missing bosonic two-loop corrections. The difficult task in this computation is the calculation of the corresponding two-loop vertex Feynman integrals which include several massive particles. At present the analytic evaluation for most of these integrals is out of reach and purely numerical techniques were applied. Only two methods, sector decomposition approach and the Mellin-Barnes integral approach, are known to extract infrared and ultraviolet singularities in a systematic way for a general Feynman integral with fully automatized algorithms. It was not known until recently how to treat Mellin-Barnes integral representations in Minkowskian regions numerically. To address this problem we introduce and discuss in detail a variety of one- and multi-dimensional techniques, which are part of a new program MBnumerics.m developed in this thesis work. Two techniques, sector decomposition and Mellin-Barnes integral approach, are together sufficient to treat electroweak two-loop corrections to the precision observables for the e^+e^- annihilation into two fermions at the Z-boson resonance. This leads to the most precise prediction at present for the effective weak mixing angle for bottom quarks: sin^2/theta/^b_eff=0.232312.

Les problèmes de transmission avec couche mince sont délicats à approcher numériquement, en raison de la nécessité de construire des maillages à l’échelle de la couche mince. Il est courant d’éviter ces difficultés en usant de problèmes avec conditions aux limites approchées — dites d’impédance. Si l’approximation des problèmes de transmission par des problèmes d’impédance s’avère performante dans le cas de domaines réguliers, elle l’est beaucoup moins lorsque ceux-ci comportent des coins ou arêtes. L’objet de cette thèse est de proposer de nouvelles conditions d’impédance, plus performantes, afin de corriger cette perte de performance. Pour cela, les développements asymptotiques des différents problèmes-modèles sont construits et étudiés afin de localiser avec précision l’origine de la perte, en lien avec les profils singuliers associés aux coins et arêtes. De nouvelles conditions d’impédance sont construites, de type Robin multi-échelle ou Venctel. D’abord étudiées en dimension 2, elles sont ensuite généralisées à certaines situations en dimension 3. Des simulations viennent confirmer l’efficience des méthodes théoriques. / Transmission problems with thin layer are delicate to approximate numerically, because of the necessity to build meshes on the scale of the thin layer. It is common to avoid these difficulties by using problems with approximate boundary conditions — also called impedance conditions. Whereas the approximation of transmission problems by impedance problems turns out to be successful in the case of smooth domains, the situation is less satisfactory in the presence of corners and edges. The goal of this thesis is to propose new impedance conditions, more efficient, to correct this lack of performance. For that purpose, the asymptotic expansions of the various models -problems are built and studied to locate exactly the origin of the loss, in connection with the singular profiles associated to corners and edges. New impedance conditions are built, of multi-scale Robin or Venctel types. At first studied in dimension 2, they are then generalized in certain situations in dimension 3. Simulations have been carried out to confirm the efficiency of the theoretical methods to some.

Le SLAM, « Simultaneous Localisation And Mapping », représente à l'heure actuelle l'une des principales thématiques investiguées dans le domaine des robots mobiles autonomes. Il permet, à l'aide de capteurs extéroceptifs (laser, caméra, radar, etc.) et proprioceptifs (odomètre, gyromètre, etc.), de trouver l'orientation et la localisation d'un robot dans un environnement extérieur vaste, inconnu ou modifié, avec la possibilité de créer une carte au fur et à mesure des déplacements du véhicule. Les travaux de thèse décrits dans ce manuscrit s'intègrent dans ce courant de recherche. Ils visent à développer un SLAM innovant qui utilise un radar à modulation de fréquence continue « FMCW » comme capteur extéroceptif. Ce capteur est insensible aux conditions climatiques et possède une portée de détection importante. Néanmoins, c'est un capteur tournant qui, dans une utilisation mobile, va fournir des données corrompues par le déplacement du véhicule. Pour mener à bien ces travaux, nous avons proposés différentes contributions : une correction de la distorsion par l'utilisation de capteurs proprioceptifs ; le développement d'une technique de localisation et cartographie simultanées nommée RS-SLAM-FMT qui effectue un scan matching sur les observations et utilise un algorithme estimatif de type EKF-SLAM ; l'utilisation, pour la première fois en SLAM, de la mise en correspondance par Transformée de Fourier-Mellin pour réaliser l'opération de scan matching ; la création d'un outil expérimental pour déterminer la matrice de covariance associée aux observations ; des tests de robustesse de l'algorithme dans des conditions d'utilisation réelles : dans des zones avec un faible nombre de points d'intérêts, sur des parcours effectués à vitesse élevée, dans des environnements péri-urbains avec une forte densité d'objets mobiles ; la réalisation d'une application temps réel pour le test du procédé sur un véhicule d'exploration qui se déplace dans un environnement extérieur vaste. / Simultaneous Localization And Mapping (SLAM) is one of the main topics investigated in the field of autonomous mobile robots. It permits the Localization and mapping of a robot in a large outdoor environment, using exteroceptive (laser, camera, radar, etc.) and proprioceptive (odometer, gyroscope, etc.) sensors. The objective of this PhD thesis is to develop innovative SLAM that uses a radar frequency modulated continuous wave (FMCW) as an exteroceptive sensor. Microwave radar provides an alternative solution for environmental imaging and overcomes the shortcomings of laser, video and sonar sensors such as their high sensitivity to atmospheric conditions. However, data obtained with this rotating range sensor is adversely affected by the vehicle’s own movement. In order to efficiently manage the work, we propose : a correction, on-the-fly, of the rotating distortion with an algorithm that uses the proprioceptive sensors’ measurements ; development of a new technique for simultaneous localization and mapping named RS-SLAM-FMT ; for the first time in SLAM, the use of the Fourier-Mellin Transform provides an accurate and efficient way of computing the rigid transformation between consecutive scans ; creation of an experimental tool to determine the covariance matrix associated with the observations. It is based on an uncertainty analysis of a Fourier-Mellin image registration ; tests of the robustness of the SLAM algorithm in real-life conditions : in an environment containing a small number of points of interest, in real full speed driving conditions, in peri-urban environments with a high density of moving objects etc. ; creation and experiment of a real-time RS-SLAM-FMT implemented on a mobile exploration vehicle in an extensive outdoor environment.

In dieser Arbeit betrachten wir zwei Ansätze zur Untersuchung von Korrelationsfunktionen in eindimensionalen konformen Feldtheorien mit Defekten (dCFT1), insbesondere solche, die durch 1/2-BPS-Wilson-Linien-Defekte in den drei- und vierdimensionalen superkonformen Theorien definiert sind, die für die AdS/CFT-Korrespondenz relevant sind. Zunächst verwenden wir den analytischen konformen Bootstrap, um zwei Beispiele von Defektkorrelatoren auszuwerten. Der Vier-Punkt-Korrelator des Verschiebungs-Supermultipletts, das auf der 1/2-BPS-Wilson-Linie in der ABJM-Theorie eingefügt ist, wird bis zur dritten Ordnung in einer starken Kopplungsexpansion berechnet und reproduziert die expliziten Witten-Diagramm-Berechnungen erster Ordnung. Anschließend wird der Fünf-Punkt-Korrelator von 1/2-BPS-Operatoren, die auf der 1/2-BPS-Wilson-Linie in N=4 Super-Yang-Mills eingefügt sind, untersucht und in einer starken Kopplungsexpansion bis zur ersten Ordnung gebootstrapped. Anschließend werden die CFT1-Daten extrahiert, die bestätigen, dass das Mischen von Operatoren die anomale Dimension erster Ordnung nicht beeinflusst. Der zweite Ansatz betrachtet die allgemeine Struktur von Korrelatoren in effektiven Theorien in AdS2. Es werden alle skalaren n-Punkt-Kontakt-Witten-Diagramme für externe Operatoren mit ganzzahligem konformem Gewicht berechnet. Effektive Theorien in AdS2, die durch eine Wechselwirkungslagrange mit einer beliebigen Anzahl von Ableitungen definiert sind, werden dann betrachtet und mit Hilfe eines neuen Formalismus der Mellin-Amplituden für 1d-CFTs bis zur ersten Ordnung gelöst. Schließlich wird die diskretisierte Wirkung der Cusped-Wilson-Linie als alternative Möglichkeit zur Gewinnung nicht-perturbativer Daten vorgestellt: durch die Gitterfeldtheorie. / In this thesis, we consider two approaches to the study of correlation functions in one-dimensional defect Conformal Field Theories (dCFT1), in particular those defined by 1/2-BPS Wilson line defects in the three- and four-dimensional superconformal theories relevant in the AdS/CFT correspondence. In the first approach, we use the analytic conformal bootstrap to evaluate two examples of defect correlators. The four-point correlator of the displacement supermultiplet inserted on the 1/2-BPS Wilson line in ABJM theory is computed to the third order in a strong-coupling expansion and reproduces the explicit first-order Witten diagram calculations. The CFT1 data are then extracted from this correlator, and the operator mixing is solved at first order. Consequently, all-order results are derived for the part of the correlator with the highest logarithm power, uniquely determining the double-scaling limit. Then, the five-point correlator of 1/2-BPS operators inserted on the 1/2-BPS Wilson line in =4 super Yang-Mills are studied. The superblocks are derived for all channels of the OPE, and the five-point correlator is bootstrapped to first order in a strong coupling expansion. The CFT1 data are then extracted, confirming that operator mixing does not affect the first-order anomalous dimension. The second approach considers the general structure of correlators in effective theories in AdS2. All scalar n-point contact Witten diagrams for external operators of integer conformal weight are computed. Effective theories in AdS2 defined by an interaction Lagrangian with an arbitrary number of derivatives are then considered and solved to first order using a new formalism of Mellin amplitudes for 1d CFTs. Finally, the cusped Wilson line discretised action is presented as an alternative way to obtain non-perturbative data: through Lattice Field Theory.

Les travaux présentés dans ce mémoire abordent la problématique de l'interprétation de documents techniques. Dans ce contexte, ils se trouvent à la confluence de différentes thématiques de recherche telles que le traitement du signal et des images, la reconnaissance de formes, l'intelligence artificielle, la communication Homme/Machine et l'ingénierie des connaissances. En effet, si ces domaines scientifiques diffèrent dans leurs fondements, ils sont complémentaires et leurs apports respectifs sont indispensables pour la conception d'un système d'interprétation fiable et adaptable. Dans ce contexte pluridisciplinaire, le mémoire est organisé en deux parties. La première partie propose une méthodologie originale permettant la détection et la reconnaissance de formes (caractères et symboles) multi-orientées et multi-échelles. L'approche adoptée est basée sur la transformée de Fourier-Mellin. Elle permet la reconnaissance de formes isolées, mais aussi, dans une certaine mesure, de formes connectées. Son utilisation autorise en outre l'estimation des paramètres de mouvements des formes. Les outils développés sont évalués et comparés sur différentes bases de caractères et les résultats obtenus sont tout à fait compétitifs au regard des approches de la littérature. La seconde partie de ce mémoire aborde quant à elle la problématique de l'interprétation de documents techniques avec un point de vue orienté vers l'ingénierie des connaissances. Les réflexions proposées dans ce cadre permettent selon nous de montrer la faisabilité et la pertinence d'une démarche orientée connaissances pour la conception d'un système d'interprétation. Elles ont donné lieu à une implémentation conduisant à un système nommé NATALI v2. Une représentation explicite des connaissances, une architecture logicielle à base d'agents ainsi que différentes interfaces homme-machine offrent une bonne adaptabilité et une grande souplesse au système.

<div>The Subword Complexity of a character string refers to the number of distinct substrings of any length that occur as contiguous patterns in the string. The kth Subword Complexity in particular, refers to the number of distinct substrings of length k in a string of length n. In this work, we evaluate the expected value and the second factorial moment of the kth Subword Complexity for the binary strings over memory-less sources. We first take a combinatorial approach to derive a probability generating function for the number of occurrences of patterns in strings of finite length. This enables us to have an exact expression for the two moments in terms of patterns' auto-correlation and correlation polynomials. We then investigate the asymptotic behavior for values of k=a log n. In the proof, we compare the distribution of the kth Subword Complexity of binary strings to the distribution of distinct prefixes of independent strings stored in a trie. </div><div>The methodology that we use involves complex analysis, analytical poissonization and depoissonization, the Mellin transform, and saddle point analysis.</div>

La transformation de Lamperti, connue pour mettre en correspondance les<br />processus stationnaires et les processus auto-similaires, nous permet<br />d'aborder de manière générale la description des propriétés en échelle<br />de problèmes physiques ou de signaux stochastiques. La notion d'échelle<br />pertinente est montrée être celle construite sur les décompositions de Mellin<br />et nous utilisons l'idée de la correspondance de Lamperti pour<br />étudier les propriétés des processus auto-similaires à l'aide des outils<br />de l'analyse du signal stationnaire. D'autre part l'outil est généralisé aux<br />situations non invariantes en échelle ou avec des invariances brisées,<br />et offre une correspondance généralisée avec les problèmes d'analyse<br />de signaux non stationnaires.<br /><br />Des méthodes de représentation, de modélisation et d'analyses sont construites<br />de cette manière, en particulier les classes de représentations mixtes<br />temps-échelle. Nous étudions des situations spécifiques de brisure de<br />l'invariance en échelle incorporant les effets de taille finie, ou<br />une invariance seulement locale, et nous mettons l'accent sur la propriété<br />d'invariance en échelles discrètes stochastique que nous introduisons<br />comme correspondant en échelle à la cyclostationarité.<br /><br />Parallèlement, la turbulence développée, dont les propriétés en échelle sont<br />un ingrédient important, a été abordée par l'angle des modèles fondés sur des<br />collections statistiques d'objets cohérents comme des vortex. Nous avançons<br />quelques réflexions sur la caractérisation de la signature de ces objets<br />structurés et avons spécifiquement examiné le modèle de vortex de Lundgren,<br />en cherchant à le formuler à l'aide des outils en échelle de Mellin.