Algebraic Quantum Field Theory (AQFT) is a mathematically rigorous framework that was developed to model the interaction of quantum mechanics and relativity. In AQFT, quantum mechanics is modelled by C*-algebras of observables and relativity is usually modelled in Minkowski space. In this thesis we will consider a generalization of AQFT which was inspired by the work of Abramsky and Coecke on abstract quantum mechanics [1, 2]. In their work, Abramsky and Coecke develop a categorical framework that captures many of the essential features of finite-dimensional quantum mechanics. In our setting we develop a categorified version of AQFT, which we call premonoidal C*-quantum field theory, and in the process we establish many analogues of classical results from AQFT. Along the way we also exhibit a number of new concepts, such as a von Neumann category, and prove several properties they possess. We also establish some results that could lead to proving a premonoidal version of the classical Doplicher-Roberts theorem, and conjecture a possible solution to constructing a fibre-functor. Lastly we look at two variations on AQFT in which a causal order on double cones in Minkowski space is considered.

The primary goal of artificial intelligence research is to develop a machine capable of learning to solve disparate real-world tasks autonomously, without relying on specialized problem-specific inputs. This dissertation suggests that such machines are realistic: If No Free Lunch theorems were to apply to all real-world problems, then the world would be utterly unpredictable. In response, the dissertation proposes the information-maximization principle, which claims that the optimal optimization methods make the best use of the information available to them. This principle results in a new algorithm, evolutionary annealing, which is shown to perform well especially in challenging problems with irregular structure. / text

No description available.

Algebraic Quantum Field Theory (AQFT) is a mathematically rigorous framework that was developed to model the interaction of quantum mechanics and relativity. In AQFT, quantum mechanics is modelled by C*-algebras of observables and relativity is usually modelled in Minkowski space. In this thesis we will consider a generalization of AQFT which was inspired by the work of Abramsky and Coecke on abstract quantum mechanics [1, 2]. In their work, Abramsky and Coecke develop a categorical framework that captures many of the essential features of finite-dimensional quantum mechanics. In our setting we develop a categorified version of AQFT, which we call premonoidal C*-quantum field theory, and in the process we establish many analogues of classical results from AQFT. Along the way we also exhibit a number of new concepts, such as a von Neumann category, and prove several properties they possess. We also establish some results that could lead to proving a premonoidal version of the classical Doplicher-Roberts theorem, and conjecture a possible solution to constructing a fibre-functor. Lastly we look at two variations on AQFT in which a causal order on double cones in Minkowski space is considered.

Les besoins grandissants de prévisions robustes pour des systèmes complexes conduisent à introduire des modèles mathématiques considérant un nombre croissant de paramètres. Au temps s'ajoutent l'espace, l'aléa, les échelles de dynamiques, donnant lieu à des modèles stochastiques multi-échelles avec dépendance spatiale (modèles spatiaux). Cependant, l'explosion du temps de simulation de tels modèles complique leur utilisation. Leur analyse difficile a néanmoins permis, pour les modèles à une échelle, de développer des outils puissants: loi des grands nombres (LGN), théorème central limite (TCL), ..., puis d'en dériver des modèles simplifiés et algorithmes accélérés. Dans le processus de dérivation, des modèles et algorithmes dits hybrides ont vu le jour dans le cas multi-échelle, mais sans analyse rigoureuse préalable, soulevant ainsi la question d'approximation hybride dont la consistance constitue l'une des motivations principales de cette thèse.En 2012, Crudu, Debussche, Muller et Radulescu établissent des critères d'approximation hybride pour des modèles homogènes en espace de réseaux de régulation de gènes. Le but de cette thèse est de compléter leur travail et le généraliser à un cadre spatial.Nous avons développé et simplifié différents modèles, tous des processus de Markov de sauts pures à temps continu. La démarche met en avant, d'une part, des conditions d'approximations déterministes par des solutions d'équations d'évolution (type réaction-advection-diffusion), et, d'autre part, des conditions d'approximations hybrides par des processus stochastiques hybrides. Dans le cadre des réseaux de réactions biochimiques, un TCL est établi. Il correspond à une approximation hybride d'un modèle homogène simplifié à deux échelles de temps (suivant Crudu et al.). Puis, une LGN est obtenue pour un modèle spatial à deux échelles de temps. Ensuite, une approximation hybride est établie pour un modèle spatial à deux échelles de dynamique en temps et en espace. Enfin, des comportements asymptotiques en grandes populations et en temps long sont présentés pour un modèle d'épidémie de choléra, via une LGN suivie d'une borne supérieure pour les sous-ensembles compacts, dans le cadre d'un principe de grande déviation (PGD) correspondant.À l'avenir, il serait intéressant, entre autres, de varier la géométrie spatiale, de généraliser le TCL, de compléter les estimations du PGD, et d'explorer des systèmes complexes issus d'autres domaines. / The growing needs of precise predictions for complex systems lead to introducing stronger mathematical models, taking into account an increasing number of parameters added to time: space, stochasticity, scales of dynamics. Combining these parameters gives rise to spatial --or spatially inhomogeneous-- multiscale stochastic models. However, such models are difficult to study and their simulation is extremely time consuming, making their use not easy. Still, their analysis has allowed one to develop powerful tools for one scale models, among which are the law of large numbers (LLN) and the central limit theorem (CLT), and, afterward, to derive simpler models and accelrated algorithms. In that deduction process, the so-called hybrid models and algorithms have arisen in the multiscale case, but without any prior rigorous analysis. The question of hybrid approximation then shows up, and its consistency is a particularly important motivation of this PhD thesis.In 2012, criteria for hybrid approximations of some homogeneous regulation gene network models were established by Crudu, Debussche, Muller and Radulescu. The aim of this PhD thesis is to complete their work and generalize it afterward to a spatial framework.We have developed and simplified different models. They all are time continuous pure jump Markov processes. The approach points out the conditions allowing on the the one hand deterministic approximations by solutions of evolution equations of type reaction-advection-diffusion, and, on the other hand, hybrid approximations by hybrid stochastic processes. In the field of biochemical reaction networks, we establish a CLT. It corresponds to a hybrid approximation of a simplified homogeneous model (due to Crudu et al.). Then a LLN is obtained for a spatial model with two time scales. Afterward, a hybrid approximation is established, for a two time-space scales spatial model. Finally, the asymptotic behaviour in large population and long time are respectively presented for a model of cholera epidemic, through a LLN followed by the upper bound for compact sets, in the context of a corresponding large deviation principle (LDP).Interesting future works would be, among others, to study other spatial geometries, to generalize the CLT, to complete the LDP estimates, and to study complex systems from other fields.

Submitted by Paulo César Coimbra Lisbôa (pc.coimbra@gmail.com) on 2010-11-11T01:39:34Z No. of bitstreams: 1 PhD_Thesis_Coimbra_v1.pdf: 516617 bytes, checksum: c44a6f3efb7c504da91a6f20e0a95b3f (MD5) / Rejected by Andrea Virginio Machado(andrea.machado@fgv.br), reason: Conforme conversamos, peço fazer a alteração para acesso livre. Andrea on 2010-11-11T14:03:11Z (GMT) / Submitted by Paulo César Coimbra Lisbôa (pc.coimbra@gmail.com) on 2010-11-11T14:17:27Z No. of bitstreams: 1 PhD_Thesis_Coimbra_v1.pdf: 516617 bytes, checksum: c44a6f3efb7c504da91a6f20e0a95b3f (MD5) / Approved for entry into archive by Andrea Virginio Machado(andrea.machado@fgv.br) on 2010-11-16T11:21:16Z (GMT) No. of bitstreams: 1 PhD_Thesis_Coimbra_v1.pdf: 516617 bytes, checksum: c44a6f3efb7c504da91a6f20e0a95b3f (MD5) / Made available in DSpace on 2010-11-17T10:49:20Z (GMT). No. of bitstreams: 1 PhD_Thesis_Coimbra_v1.pdf: 516617 bytes, checksum: c44a6f3efb7c504da91a6f20e0a95b3f (MD5) Previous issue date: 2009-11-30 / Contaminação da confiança é um caso especial de incerteza Knightiana ou ambiguidade na qual o tomador de decisões está diante de não apenas uma única distribuição de probabilidades, mas sim de um conjunto de distribuições de probabilidades. A primeira parte desta tese tem o propósito de fornecer uma caracterização da contaminação da confiança e então apresentar um conjunto de axiomas comportamentais simples sob os quais as preferências de um tomador de decisões é representada pela utilidade esperada de Choquet com contaminação da confiança. A segunda parte desta tese apresenta duas aplicações econômicas de contaminação da confiança: a primeira delas generaliza o teorema de existência de equilíbrio de Nash de Dow e Werlang (o que permite apresentar uma solução explícita para o paradoxo segundo o qual os jogadores de um jogo do dilema dos prisioneiros com um número infinito de repetições não agem de acordo com o esperado pelo procedimento da indução retroativa) e a outra estuda o impacto da contaminação da confiança na escolha de portfolio. / Contamination of confidence is a special case of Knightian uncertainty or ambiguity in which the decision maker faces not simple probability measure but a set of probability measures. The first part of this thesis has the purpose to provide a characterization of the contamination of confidence and then present a simple set of behavioral axioms under which the decision maker’s preference is represented by the Choquet expected utility with contamination of confidence. The second part of this thesis presents two economic applications of the contamination of confidence: the first of them generalizes Dow and Werlang’s existence Theorem of Nash equilibrium under uncertainty (which enables to present an explicit solution to the paradox on which players in a finitely repeated prisoners’ dilemma breaks down backward induction) and the other studies the impact of the contamination of confidence in the portfolio choice.

L’objet de cette thèse est d’établir des théorèmes limites locaux pour des marches aléatoires réfléchies sur N. La théorie des fluctuations des marches aléatoires et la factorisation de Wiener- Hopf y jouent un rôle important. On développera dans la première partie une approche classique que l’on appliquera à l’étude des marches aléatoires sur R+ avec réflexions non élastiques en 0. Dans la deuxième partie, on explicitera une méthode différente qui fait intervenir des outils algébriques, d’analyse complexe et des techniques de factorisation utilisant de manière essentielle les fonctions génératrices. Cette approche a été développée il y a une cinquantaine d’année pour l’étude de marches de Markov, elle sera présentée dans cette partie dans le cas des marches aléatoires à pas i.i.d. où un certain nombre de simplifications apparaissent et sera ensuite utilisée pour étudier les marches aléatoires sur N avec réflexions élastiques ou non élastiques en zéro. Finalement, dans la dernière partie, nous mettons en place les outils nécessaires pour établir une factorisation de Wiener-Hopf dans un cadre markovien afin d’étudier les fluctuations des marches de Markov sur Z; nous reprenons des travaux anciens dont les démonstrations méritaient d’être détaillées, l’objectif à moyen terme étant d’appliquer les méthodes algébriques décrites ci-dessus pour l’étude de marches de Markov réfléchies sur N. / The purpose of this thesis is to establish some local limit theorems for reflected random walks on N. The fluctuations theory and the Wiener-Hopf factorization play a crucial role. We will develop in the first part a classical approach that we will apply to the study of random walks on R+ with non-elastic reflections at zero. In the second part, we will explicit a different method which involves algebraic tools, complex analysis and factorization techniques, using in an essential way generating functions. These approach was developed 50 years ago to cover Markov walks, it will be presented in this part in the case of random walks with i.i.d jumps where many simplifications appear and will be then used to study random walks on N with either elastic or non-elastic reflections at zero. Finally, in the last part, we will introduce the useful tools to establish a Wiener-Hopf factorization in a markovian framework in order to study the fluctuations of Markov walks on Z. We investigate some previous work, especially some proofs that warranted to be more detailed, with a mediumterm objective of applying the algebraic tools described above to study reflected Markov walks on N.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / The present work has as main objective to approach the fundaments of logic and the notions of sets in a narrow and elementary way, culminating in the construction of natural numbers. We present and advance, as far as possible, natural and intuitively, the concepts of propositions and open propositions, and the use of these in the speci cation sets, according with the axiom of the speci cation. We also present the logic connectives of open propositions and logic equivalences, relating them to the sets. We showed the concept of Theorem, as well as some forms of writing and demonstrations in the scope of the sets, and we used properties and relations of sets in the demonstration techniques. Our study ended with the construction of natural numbers and some of its properties, for example, the Relation Order. / O presente trabalho tem como principal objetivo abordar os fundamentos de lógica e as noções de conjuntos de maneira estreita e elementar, culminando na constru- ção dos números naturais. Apresentamos, e progredimos na medida do possível, de forma natural e/ou intuitiva, os conceitos de proposições e proposições abertas, e o uso destes nas especi cações de conjuntos, de acordo com o axioma da especi cação. Apresentamos também os conectivos lógicos de proposições abertas e as equivalências lógicas, relacionando-os aos conjuntos. Mostramos o conceito de Teorema, bem como algumas formas de escritas e demonstrações no âmbito dos conjuntos, e utilizamos propriedades e relações de conjuntos nas técnicas de demonstração. Encerramos nosso estudo com a construção dos números naturais e algumas das suas principais propriedades, como por exemplo, a Relação de Ordem.

A classificação isomorfa dos espaços de Banach separáveis C(K) é devida a Milutin no caso em que K são não enumeráveis e a Bessaga e Pelczynski no caso em que K são enumeráveis. Neste trabalho apresentamos uma extensão vetorial dessa classificação e tiramos várias consequências, por exemplo, considerando o espaço métrico compacto infinito K e Y um espaço de Banach: &nbsp; &nbsp; 1. Sendo 1 < p < &infin; e &Gamma; um conjunto infinito, classificamos, a menos de isomorfismo, os espaços de Banach C(K, Y &oplus; lp(&Gamma;)), quando o dual de Y contém uma cópia de lq, onde 1/p+ 1/q =1. &nbsp; &nbsp; 2. Classificamos os espaços de Banach C(K, Y &oplus; l&infin;(&Gamma;)), quando a densidade de Y é estritamente menor que 2|&Gamma;|. &nbsp; &nbsp; 3. Classificamos os espaços de Banach C(K &times;(S&oplus; &beta;&Gamma;)) e C(S &oplus; (K&times; &beta;&Gamma;)), onde S é um compacto disperso de Hausdorff arbitrário e &beta;&Gamma; é a compactificação de Stone-Cech de &Gamma;. Obtemos, também, algumas leis de cancelamento para espaços de Banach da forma C(K1,X)&oplus; C(K2,Y), onde K1 e K2 são espaços compactos métricos infinitos de Hausdorff e X, Y espaços de Banach satisfazendo condições adequadas. Estabelecemos também um teorema de quase-dicotomia envolvendo os espaços C(K,X), onde X tem cotipo finito. Finalmente, apresentamos algumas majorações nas distorções de isomorfismos positivos de C([0,&omega;k]) em C([0,&omega;]) e também de C([0,&omega;]) em C([0,&omega;k]), k&isin; N, k &ge; 2. / The isomorphic classification of separable Banach spaces C(K) is due Milutin in the case when K are uncountable and to Bessaga and Pelczynski in the case when K are countable. In this work we prove a vectorial extention of this classification and provide several consequences, for example considering the infinite metric compact space K and Y a Banach space: &nbsp; &nbsp; 1. Let 1 < p < &infin; and &Gamma; a infinite set, we classify, up to an isomorphism, the Banach spaces C(K, Y &oplus; lp(&Gamma;)), in the case where the dual of Y contains no copy of lq, where 1/p+ 1/q =1. &nbsp; &nbsp; 2. We classify the Banach spaces C(K, Y &oplus; l&infin;(&Gamma;)), when the density character of Y is strictly less that 2|&Gamma;|. &nbsp; &nbsp; 3. We classify the Banach spaces C(K &times;(S&oplus; &beta;&Gamma;)) and C(S &oplus; (K&times; &beta;&Gamma;)) where S is an arbitrary dispersed compact and &beta;&Gamma; is the Stone-Cech compactification of &Gamma;. We obtain also some cancellation laws for Banach spaces in the form C(K1,X)&oplus; C(K2,Y), where K1 and K2 are metric compact Hausdorff spaces and X, Y Banach spaces satisfying appropriate conditions. We established also a quasi-dichotomy theorem envolving the C(K,X) spaces, where X is of finite cotype. Finally, we present some upper bounds of distortions of positive isomorphisms of C([0,&omega;k]) on C([0,&omega;]) and also of C([0,&omega;]) on C([0,&omega;k]), k&isin; N, k &ge; 2.

Cette thèse porte sur l'étude des points entiers et rationnels de certaines courbes et variétés modulaires. Après une brève introduction décrivant les motivations et le cadre de ce genre d'études ainsi que les résultats principaux de la thèse, le manuscrit se divise en trois parties. Le premier chapitre s'intéresse aux Q-courbes, et aux morphismes Gal(Q/Q) -> PGL2(Fp) qu'on peut leur associer pour tout p premier. Nous montrons que sous de bonnes hypothèses, pour p assez grand par rapport au discriminant du corps de définition de la Q-courbe, ce morphisme est surjectif, ce qui résout un cas particulier du problème d'uniformité de Serre (toujours ouvert en général). Les outils principaux du chapitre sont la méthode de Mazur (basée ici sur des résultats d'Ellenberg), la méthode de Runge et des théorèmes d'isogénie, suivant la structure de preuve de Bilu et Parent. Le second chapitre consiste en des estimations analytiques de sommes pondérées de valeurs de fonctions L de formes modulaires, dans l'esprit de techniques développées par Duke et Ellenberg. La motivation de départ d'un tel résultat est l'application de la méthode de Mazur dans le premier chapitre. Le troisième chapitre est consacré à la recherche de généralisations de la méthode de Runge pour des variétés de dimension supérieure. Nous y redémontrons un résultat de Levin inspiré de cette méthode, avant d'en prouver une forme assouplie dite "de Runge tubulaire", plus largement applicable. Dans l'optique de recherche de points entiers de variétés modulaires, nous en donnons enfin un exemple d'utilisation à la réduction d'une surface abélienne en produit de courbes elliptiques. / This thesis concerns the study of integral and rational points on some modular curves and varieties. After a brief introduction which describes the motivation and the setting of this topic as well as the main results of this thesis, the manuscript follows a threefold development. The first chapter focuses on Q-curves, and on the morphisms Gal(Q/Q) -> PGL2(Fp) that we can build with a Q-curve for every prime p. We prove that, under good hypotheses, for p large enough with respect to the discriminant of the definition field of the Q-curve, such a morphism is surjective, which solves a particular case of Serre's uniformity problem (still open in general). The main tools of the chapter are Mazur's method (based here on results of Ellenberg), Runge's method, and isogeny theorems, following the strategy of Bilu and Parent. The second chapter covers analytic estimates of weighted sums of L-function values of modular forms, in the fashion of techniques designed by Duke and Ellenberg. The initial goal of such a result is the application of Mazur's method in the first chapter. The third chapter is devoted to the search for generalisations of Runge's method for higherdimensional varieties. Here we prove anew a result of Levin inspired by this method, before proving an enhanced version called "tubular Runge", more generally applicable. In the perspective of studying integral points of modular varieties, we finally give an example of application of this theorem to the reduction of an abelian surface in a product of elliptic curves.