The abstract of the diploma thesis "Positive Formulas for Some Substructural Logics" by Pavel Truhlar We will examine which distributive substructural logics, as defined in the book of Restall "An Introduction to Substructural Logics" have the same positive fragment with and without the weak excluded middle axiom. The main result of this diploma thesis is that some substructural logics have this property. We repeat the basic notions as described in the Restall's book, especially the consecution, natural deduction, frame semantics, Hilbert system. We will use the soundness and completeness theorems. We also will use the equivalence of natural deduction systems and Hilbert systems. All these important theorems are in the above mentioned Restall's book. We make the proof of our main result in the next part. We will use the semantics of frames, similarly as de Jongh and Zhao in the article "Positive Formulas in Intuitionistic and Minimal Logic". We will define the top model. After, we define the construction which converts a model to the top model. We define for each formula the positive part of it; this is the formula, which behaves the same way on the top models as the original formula. We use Hilbert type calculus to formulate our main theorem. We prove our main result using the deduction theorem for certain...

La présente thèse est dédiée à l'étude du slogan publicitaire russe moderne, son fonctionnement en tant que formule laconique et frappante dans le cadre de l'analyse du discours. Nous nous intéressons dans un premier temps à l'histoire du slogan russe, à son évolution à travers des faits linguistiques qui étaient différents suivant telle ou telle époque de l'histoire russe. Comme le but du slogan publicitaire est d'agir sur le consommateur potentiel, une grande partie de notre travail est consacrée à l'étude de l'aspect rhétorique : la classification et les champs d'application des différentes figures du discours, y compris des figures innovantes pour les slogans russes, telles que les constructions segmentées, les jeux de mots et leurs différents types, les phrases nominales, etc. Dans la dernière partie de notre thèse, nous nous focalisons sur l'aspect pragmatique et montrons le slogan dans une perspective interculturelle, en construisant une pragmatique du traduire. Nous regroupons différents procédés de transformation pragmatique nécessaires pour l'obtention d'un slogan adapté à la langue et à la culture cibles et définissons la transcréation comme processus et résultat du travail du traducteur de slogans, afin d'éviter les phénomènes d'inadéquation lexicale, sémantique, syntaxique ou culturelle. / This thesis is dedicated to the study of modern advertising slogans in Russia, and its function as a laconic and striking formula in the field of discourse analysis. We focus initially on the history of Russian advertising slogan, including its evolution discussed through a comparative study of linguistic facts associated with a given period of Russian history. Since the end goal of an advertising slogan is to influence a potential consumer's buying decision, a crucial part of our study is dedicated to the analysis of the rhetoric aspect of advertizing slogans: classification and analysis of application scope of various figures of speech, including forms of slogans that are innovative for Russian advertising, for example, segmented structures, word play and its varieties, nominative phrases, etc. In the last part of our thesis we focus on pragmatic aspect and show the slogan in the frame of cross-cultural communication, by building up the concept of translation pragmatics. We gather and provide a list of different pragmatic transformation devices that are aimed to adapt the source slogan to the cultural perception of the target audience. We define transcreation as a process and a result of a translator's work and insight that permits to avoid the inadequacy phenomena on lexical, semantic, syntactic, and cultural levels.

Cette thèse est consacrée à l’étude mathématique des effets de désordre dans divers systèmes physiques. On commence par trois problèmes d’homogénéisation stochastique en lien avec des questions statiques de physique classique. Premièrement, en vue de la déduction rigoureuse de l’élasticité non-linéaire à partir de la physique statistique de réseaux de chaînes de polymères, on établit l’existence de propriétés effectives pour des matériaux hyperélastiques hétérogènes aléatoires sous des hypothèses générales de croissance. Deuxièmement, dans un cadre linéarisé simplifié, on étudie les formules de Clausius-Mossotti pour les propriétés effectives d’alliages binaires dilués: on donne la première preuve générale et rigoureuse de ces formules, ainsi qu’une extension aux ordres supérieurs. Troisièmement, encore pour des systèmes linéarisés, on propose d’étudier les déviations par rapport aux propriétés effectives et on établit la première théorie générale des fluctuations en homogénéisation stochastique. Dans la seconde partie de cette thèse, on se focalise sur la compétition entre désordre et interactions, et on étudie plus particulièrement la dynamique des vortex de Ginzburg-Landau dans des supraconducteurs 2D de type II en présence d’impuretés. Bien que la compréhension mathématique des propriétés vitreuses complexes de ces systèmes semble hors de portée, on établit rigoureusement la limite de champ moyen pour la dynamique d’un grand nombre de vortex, et on étudie l’homogénéisation de ces équations limites et leurs propriétés. / Doctorat en Sciences / info:eu-repo/semantics/nonPublished

La formule du fibré canonique et la décomposition de Fujita-Zariski sont deux outils très importants en géométrie birationnelle. La formule du fibré canonique pour une fibration f:(X,B)→ Z consiste à écrire K_X+Bcomme le tiré en arrière de K_Z+B_Z+M_Z o* K_Z est le diviseur canonique, B_Z contient des informations sur les fibres singulières et M_Z est appelé partie modulaire. Il a été conjecturé qu’il existe une modification birationnelle Z' de Z telle que M_Z' est semi ample sur Z' , o* M_Z' est la partie modulaire induite par le changement de base. Un diviseur pseudo effectif D admet une décomposition de Fujita-Zariski s’il existent un diviseur nef P et un diviseur effectif N tels que D=P+N et P est "le plus grand diviseur nef" avec la propriété que D−P est effectif. / The canonical bundle formula and the Fujita-Zariski decomposition are two very important tools in birational geometry. The canonical bundle formula for a fibration f:(X, B)→Z consists in writing K_X+B as the pul lback of K_Z+B_Z+M_Z where K_Z is the canonical divisor, B_Z contains informations on the singular fibres andM_Z is called moduli part. It was conjectured that there exists a birational modification Z' of Z such that M_Z'is semi ample on Z', where M_Z' is the moduli part induced by the base change. A pseudo effective divisor Dadmits a Fujita-Zariski decomposition if there exist a nef divisor P and an effective divisor N such that D=P+N and P is "the biggest nef divisor" such that D−P is effectve.

La première partie de cette thèse est consacrée à l'élaboration théorique de processus adiabatiques permettant le transfert de population entre un état initial et un état cible d'un système quantique. La stratégie du passage adiabatique parallèle pour laquelle les paramètres de couplage sont conçus de telle sorte que la différence des valeurs propres du système reste constante à chaque instant, permet de minimiser à zéro les transitions non-adiabatiques données par la formule DDP. Cette technique permet de combiner à la fois l'efficacité énergétique des méthodes impulsion-pi et la robustesse du passage adiabatique. La seconde partie de cette thèse concerne les effets de la dissipation sur le passage adiabatique. La formule de probabilité de transition d'un système à deux niveaux tenant compte des effets de la dissipation est établie. Cette formule permet de reformuler la solution générale d'un système dissipatif à deux niveaux dans la limite adiabatique qui est valable au-delà du régime de faible dissipation. / The first part of this thesis is devoted to the theoretical analysis of adiabatic processes allowing the transfer of population from an initial state to a target state of a quantum system. The strategy of parallel adiabatic passage, in which the coupling parameters are specifically designed to optimize the adiabatic passage corresponding to parallel eigenvalues at all times, allows one to combine the energetically efficiency of pi-pulse and related strategies with the robustness of standard adiabaticpassage. The second part of this thesis concerns the effects of the dissipation in adiabatic passage. The non-adiabatic transition probability formula of a two state system with dissipation is established. This formula allows on in particular to derive the general solution of a dissipative two-level system in the adiabatic limit which is valid beyond weak dissipation regimes.

Parmi les modèles de mécanique statistique classique avec interaction les systèmes intégrables de yang—baxter (yb) jouent un rôle particulier. le modèle central dans la théorie des systèmes intégrables yb est le modèle à six vertex. plusieurs méthodes ont été développées pour étudier le modèle à six vertex. notre but est de comprendre la physique du modèle à dix-neuf vertex d’izergin—korepin (ik), qui peut être vu comme une généralisation du modèle à six vertex. on donne une vue d'ensemble de l’ansatz algébrique de bethe pour le modèle ik basé sur la matrice $r$ à dix-neuf vertex et on propose une nouvelle présentation pour les états propres de la matrice de transfert associée. on adresse aussi la question du calcul des produits scalaires pour le modèle ik. un objet important dans la théorie des produits scalaires est la fonction de partition avec des conditions aux bords de domaine. pour cette fonction de partition, définie pour le modèle ik, on obtient une relation de récurrence pour laquelle on trouve la solution dans un cas particulier. la théorie de la représentation du groupe quantique ($u_q(a_2^{(2)})$) associé au modèle ik nous permet d'obtenir toutes les représentations de dimension plus élevée pertinentes pour ce modèle (les modules de kirillov—reshetikhin (kr)). ceci est réalisé dans la présentation de drinfeld des groupes quantiques. cette présentation a des avantages techniques quand on calcule les matrices $r$ par la formule de khoroshkin—tolstoy (kt). on l'utilise pour calculer la matrice $r$ evaluée sur le produit tensoriel de la représentation fondamentale et d'un module kr de dimension plus élevée. d’un autre côté, la présentation de drinfeld montre la connexion entre les sous-algèbres de borel du groupe quantique $u_q(a_2^{(2)})$ et les algèbres d'oscillateurs $q$-deformés (osc$_q$). ces algèbres sont étroitement liées à la définition (par la théorie de la représentation) d'un certain type de matrices de transfert : les opérateurs $q$; ces opérateurs jouent un rôle central dans la théorie des relations fonctionnelles des modèles intégrables. on utilise les algèbres de type osc$_q$ dans la formule kt pour calculer quelques matrices $l$, qui sont utilisées pour construire les opérateurs $q$. finalement, on considère un cas particulier de l'état fondamental du modèle ik avec paramètre de deformation $q$ égal à une racine de l'unité. dans ce cas, on calcule explicitement les valeurs propres de différentes matrices de transfert, y compris de l'opérateur $q$. on utilise ce dernier résultat pour obtenir l'état fondamental du modèle ik pour des petites tailles. / Among the models of interacting classical statistical mechanics the yang—baxter (yb) integrable systems play a special role. The central model in the theory of yb integrable systems is the six vertex model. many powerful techniques were developed to study the six vertex model. the model under consideration is the izergin—korepin (ik) nineteen vertex model, which can be viewed as a generalization of the six vertex model. our aim is to understand the physics of the ik model using the extensions of the methods which were applied to the six vertex model. We review the algebraic bethe ansatz for the ik model based on the nineteen-vertex $r$-matrix and propose a new presentation for the eigenstate of the relevant transfer matrix. we also address the question of the calculation of the scalar products of the ik model. an important object in the theory of scalar products is the domain wall boundary partition function. for this partition function defined for the ik model we derive a recurrence relation and solve it in a special case. we move on to the representation theory of the underlying quantum group ($u_q(a_2^{(2)})$), for which we compute all higher dimensional irreducible representations which are relevant for the ik model (kirillov—reshetikhin (kr) modules). the latter is accomplished in the so-called drinfeld presentation of quantum groups. this presentation has technical advantages for computations of the $r$-matrices by means of the khoroshkin—tolstoy (kt) formula. we use this to compute the $r$-matrix in a tensor product of the fundamental representation and a generic higher dimensional kr module. on the other hand, the drinfeld presentation makes apparent the connection between the borel subalgebras of the quantum group $u_q(a_2^{(2)})$ and the $q$-deformed oscillator algebras (osc$_q$). the latter algebras are closely related to the representation theoretic definition of special transfer matrices: the $q$-operators; these operators are central in the theory of functional relations of integrable models. we use the osc$_q$ type algebras in the kt formula to compute some $l$-matrices which are used to build the $q$-operators. finally, we consider a special case of the ground state of the ik model when the deformation parameter $q$ is equal to a root of unity. in this case we compute explicitly the ground state eigenvalues of various transfer matrices including the $q$-operator. we use the latter result to compute the components of the ground state of the ik model for small systems.

Le résultat principal de ce texte est une généralisation de la formule de Gross-Zagier p-adique de Perrin-Riou au cas de courbes de Shimura sur les corps totalement réels. Soit F un corps totalement réel. Soit f une forme modulaire de Hilbert sur F de poids parallel 2, qui est une forme nouvelle et est ordinaire en p. Soit E est une extension quadratique totalement imaginaire de F de discriminant premier à p et au conducteur de f. On peut construire une fonction L p-adique qui interpole valeurs spéciales de la fonction L complexe associée à f, E et caractères de Hecke d'ordre fini de E. La formule p-adique de Gross-Zagier relie la dérivée centrale de cette fonction L p-adique à la hauteur d'un divisor de Heegner sur une certaine courbe de Shimura. La stratégie de la preuve est proche de celle du travail original de Perrin-Riou. Dans la partie analytique, on construit le noyau analytique par calculs adéliques; dans la partie géométrique, on décompose le noyau géométrique en deux parties: places hors de p et places divisant p. Pour les places hors de p, les hauteurs p-adiques sont essentiellement des nombres d'intersection et sont calculées dans les travaux de S. Zhang, et il s'avère que cette partie est bien liée au noyau analytique. Pour les places divisant p, on utilise la méthode dans le travail de J. Nekovar pour montrer que la contribution de cette partie est nulle. / The main result of this text is a generalization of Perrin-Riou's p-adic Gross-Zagier formula to the case of Shimura curves over totally real fields. Let F be a totally real field. Let f be a Hilbert modular form over F of parallel weight 2, which is a new form and is ordinary at p. Let E be a totally imaginary quadratic extension of F of discriminant prime to p and to the conductor of f. We may construct a p-adic L function that interpolates special values of the complex L functions associated to f, E and finite order Hecke characters of E. The p-adic Gross-Zagier formula relates the central derivative of this p-adic L function to the p-adic height of a Heegner divisor on a certain Shimura curve. The strategy of the proof is close to that of the original work of Perrin-Riou. In the analytic part, we construct the analytic kernel via adelic computations, in the geometric part, we decompose the geometric kernel into two parts: places outside p and places dividing p. For places outside p, the p-adic heights are essentially intersection numbers and are computed in works of S. Zhang, and it turns out that this part is closely related to the analytic kernel. For places dividing p, we use the method in the work of J. Nekovar to show that the contribution of this part is zero.

Dans cette thèse, nous nous intéressons par des approches probabilistes à la gravité quantique de Liouville, introduite par Polyakov en 1981 sous la forme d'une intégrale de chemin sur les surfaces 2d. Pour définir cette intégrale de chemin avec interaction exponentielle, nous partons du chaos multiplicatif Gaussien, l'outil fondamental pour définir l'exponentielle des champs Gaussiens de corrélation logarithmique. Dans un premier temps, nous généralisons la construction de la gravité quantique de Liouville sur la sphère de Riemann à une autre géométrie avec bord, celle du disque unité. La nouveauté de ce travail réalisé en collaboration avec R.Rhodes et V.Vargas, est d'analyser avec soin le terme du bord dans l'intégrale de chemin ainsi que l'interaction entre la mesure du bord et la mesure du disque. Nous établissons rigoureusement les formules de la théorie conforme des champs en physique, telles que la covariance conforme, la formule KPZ, l'anomalie de Weyl ainsi que la borne de Seiberg. Une borne de Seiberg relaxée dans le cas de la gravité de Liouville à volume total fixé sur le disque est aussi formulée et étudiée. Dans la seconde moitié de cette thèse, nous comparons cette construction à la Polyakov avec une autre approche de la gravité quantique de Liouville. En collaboration avec deux autres jeunes chercheurs J.Aru et X.Sun, nous fournissons une correspondance entre ces deux approches dans un cas simple et important, celui de la sphère de Riemann avec trois points marqués. En mélangeant les techniques de ces deux approches, nous fournissons une nouvelle procédure d'approximation qui permet de relier ces deux différentes approches. / In this thesis, we study the theory of Liouville Quantum Gravity via probabilist approach, introduced in the seminal paper of Polyakov in 1981, using path integral formalism on 2d surfaces. To define this path integral with exponential interaction, we started from the theory of Gaussian Multiplicative Chaos in order to define exponential of log-correlated Gaussian fields. In the first part, we generalise the construction of Liouville Quantum Gravity on the Riemann sphere to another geometry, the one of the unit disk. The novelty of this work, in collaboration with R.Rhodes and V.Vargas, is to analyse carefully the boundary term in the path integral formalism and its interaction with the bulk measure. We establish rigorously formulae from Conformal Field Theory in Physics, such as conformal covariance, KPZ relation, conformal anomaly and Seiberg bounds. A relaxed Seiberg bound in the unit volume case of Liouville Quantum Gravity on the disk is also announced and studied. In the second part of this thesis, we compare this construction in the spirit of Polyakov to another approach to the Liouville Quantum Gravity. In collaboration with two other young researchers, J.Aru and X.Sun, we give a correspondance between these two approaches in a simple but conceptually important case, namely the one on the Riemann sphere with three marked points. Using technics coming from these two approches, we give a new way of regularisation procedure that eventually allow us to link these two pictures.

Dans cette thèse, nous étudions la dynamique à temps long des solutions des équations de KdV généralisées (gKdV) critiques et surcritiques pour la masse.La première partie de cette thèse est consacrée à la construction d’une dynamique explosive auto-similaire stable pour des équations de gKdV légèrement L2 surcritique dans l’espace d’énergie H1. La preuve repose sur le profil auto-similaire construit par H. Koch. Nous donner une escription précise de la formation des singularité près du temps d’explosion.La deuxième partie est consacrée à la construction de solutions explosive aux équations de gKdV légèrement L2 surcritiques avec plusieurs points d’explosion. L’idée clé est d’envisager des solutions qui se comportent comme une somme de bulles découplée, chaque bulle se comportent comme un solution auto-similaire explosent en un seul point. Nous utilisons les argument topologique classique pour s’assurer que chaque bulle explose en même temps. Ici, nous avons besoin de données initiales plus grande régularité pour contrôler la solution entre les différents points d’explosion.Enfin, dans la troisième partie, nous considérons les équations de gKdV L2 critiques avec une perturbation saturée. Dans ce cas, toute solution avec des données initiales dans H1 est toujours globale en le temps et bornée dans H1. Nous donner une classification explicite de la dynamique près du solitons. Sous certaines hypothèses de décroissance, il n’y a que trois possibilités : (i) la solution converge asymptotiquement vers une onde solitaire ; (ii) la solution reste dans un petit voisinage de la famille modulée de l’état fondamental, en s’étalant par de temps infiniment grande (Blow down) ; (iii) la solution quitte tout petit voisinage de la famille modulée de solitons. / In this thesis, we deal with the long time dynamics for solutions of the L2 critical and supercritical generalized KdV equations.The first part of this work is devoted to construct a stable self-similar blow up dynamics for slightly L2 supercritical gKdV equations in the energy space H1. The proof relies on the self-similar profile constructed by H. Koch. We will also give a specific description of the formation of singularity near the blow up time.The second part is devoted to construct blow up solutions to the slightly L2 supercritical gKdV equations with multiple blow up points. The key idea is to consider solutions which behaves like a decoupled sum of bubbles. And each bubble behaves like a self-similar blow up solutions with a single blow up point. Then we can use a classic topological argument to ensure that each bubble blows up at the same time. Here, we require a higher regularity of the initial data to control the solution between the different blow up points.Finally, in the third part, we consider the L2 critical gKdV equations with a saturated perturbation. In this case, any solution with initial data in H1 is always global in time and bounded in H1. We will give a explicit classification of the flow near the ground states. Under some suitable decay assumptions, there are only three possibilities: (i) the solution converges asymptotically to a solitary wave; (ii) the solution is always in some small neighborhood of the modulated family of the ground state, but blows down at infinite time; (iii) the solution leaves any small neighborhood of the modulated family of the ground state.

Dans cette thèse, on donne une formule géométrique explicite pour les intégrales orbitales semisimples tordues du noyau de la chaleur sur un espace symétrique, en utilisant la méthode du laplacien hypoelliptique développée par Bismut. On montre que nos résultats sont compatibles avec les résultats classiques de la théorie de l'indice équivariant local sur les espaces localement symétriques compacts. On utilise notre formule explicite pour évaluer le terme dominant dans l'asymptotique quand d -> + ∞ de la torsion analytique équivariante de Ray-Singer associée à une famille de fibrés vectoriels plats Fd sur un espace localement symétrique compact. On montre que le terme dominant peut être calculé à l'aide de W-invariants au sens de Bismut-Ma-Zhang. / In this thesis, we give an explicit geometric formula for the twisted semisimple orbital integrals associated with the heat kernel on symmetric spaces. For that purpose, we use the method of the hypoelliptic Laplacian developed by Bismut. We show that our results are compatible with classical results in local equivariant index theory. We also use this formula to evaluate the leading term of the asymptotics as d -> + ∞ of the equivariant Ray-Singer analytic torsion associated with a sequence of flat vector bundles Fd on a compact locally symmetric space. We show that the leading term can be evaluated in terms of the W-invariants constructed by Bismut-Ma-Zhang.