08/05/2009, 14:00 — 15:00 — Room P4.35, Mathematics Building
Emma D'Aniello, Seconda Universitá degli Studi di Napoli
Topological dynamical systems and odometers
10/03/2009, 15:00 — 16:00 — Room P3.10, Mathematics Building
Alex Vladimirsky, Cornell University
Homogenization and multiobjective optimization - computational challengesI will present two recent projects related to front propagation and optimal control.
The first of these (joint with A. Oberman and R. Takei) deals with 2-scale and 3-scale computations in geometric optics. We propose a new and efficient method to homogenize first-order Hamilton-Jacobi PDEs. Unlike the prior cell-problem methods, our algorithm is based on homogenizing the related Finsler metric. We illustrate by computing the effective velocity profiles for a number of periodic and "random" composite materials.
The second project (joint with A. Kumar) deals with multiple criteria for optimality (e.g., fastest versus shortest trajectories) and optimality under integral constraints. We show that an augmented PDE on a higher-dimensional domain describes all Pareto-optimal trajectories. Our numerical method uses the causality of this PDE to approximate its discontinuous viscosity solution efficiently. The method is illustrated by problems in robotic navigation (e.g., minimizing the path length and exposure to an enemy observer simultaneously).
17/02/2009, 15:00 — 16:00 — Room P3.10, Mathematics Building
Andreas Döring, Imperial College London
A topos approach to quantum theoryI will report on work with Chris Isham on the application of topos theory to physics. The Kochen-Specker theorem shows that a naive realist description of quantum systems is impossible. This can be understood as the inapplicability of Boolean logic to quantum systems. In order to arrive at a more realist description, one can use the internal logic of a certain topos of presheaves. The choice of this topos is directly motivated from the Kochen-Specker theorem. I will show which structures within this topos are of physical significance and how propositions about physical quantities are assigned truth-values. The relation with constructive Gel'fand duality is sketched.
10/02/2009, 15:00 — 16:00 — Room P3.10, Mathematics Building
Alexandre Baraviera, Universidade Federal do Rio Grande do Sul
Iterated function systems, classical and quantumAn iterated function system (IFS) is a collection of maps that are chosen and iterated according to some probability. The geometric and measurable structure of the limit set is usually very interesting and studied with the use of the well known technique of transfer operator. In this talk we will review some results about this problem and its quantum version, where the maps are unitary operators acting on some suitable Hilbert space.
03/02/2009, 15:00 — 16:00 — Room P3.10, Mathematics Building
Florin Radulescu, Università di Roma-Tor Vergata
Type Von Neumann Representations for Hecke Operators on Maass Forms and Inequalities for their EigenvaluesWe prove that classical Hecke operators on Maass forms are a special case of completely positive maps on II factors, associated to a pair of isomorphic subfactors. This representation induces several matrix inequalities on the eigenvalues of the Hecke operators on Maass forms. These inequalities are the consequence of a "double" action of the Hecke algebra which can be seen only in the type II representation. The classical Hecke operators are then a "diagonal" of this double action.
27/01/2009, 15:00 — 16:00 — Room P3.10, Mathematics Building
Josep Sardanyés, Complex Systems Lab, Universitat Pompeu Fabra, Barcelona
Theoretical models of cooperation with ODEs: from prebiotic evolution to complex ecosystemsThe dynamics of cooperation can be studied using mean field models given by nonlinear ordinary differential equations (ODEs). Such a dynamics is modeled considering heterocatalytic feedback loops, with density-dependent enhancement of reproduction rates between cooperating replicators. These models are used to study the dynamics of catalytic networks named hypercycles which have a particular graph architecture and which has been suggested to be of importance in earlier stages of prebiotic evolution. In this talk we will introduce the mathematical formalism used for the dynamical study of such networks, focusing on the origin of life problem and on the dynamics of ecological systems. We will analyze several low-dimensional catalytic networks providing their stability and bifurcation scenarios. We will also discuss some interesting dynamical phenomenon associated to the bifurcations implying the transition from survival to extinction phases. We will then also compare the results obtained with the ODEs for these kind of networks with other computational tools typical of complex systems analysis.
13/01/2009, 15:00 — 16:00 — Room P3.10, Mathematics Building
Artur Lopes, Universidade Federal do Rio Grande do Sul
Transport and the involution kernel in Ergodic Theory
02/12/2008, 15:00 — 16:00 — Room P3.10, Mathematics Building
Ioannis Parissis, KTH, Stockholm
Logarithmic dimension bounds for the maximal function along a polynomial curveLet denote the maximal function along the polynomial curve : We show that the norm of this operator grows at most logarithmically with the parameter : where is an absolute constant. The proof depends on the explicit construction of a "parabolic" semigroup of operators which is a mixture of stable semigroups.
23/09/2008, 15:00 — 16:00 — Room P3.10, Mathematics Building
Henry van Roessel, University of Alberta, Edmonton, Canada
Some exact solutions to the coagulation equation
17/07/2008, 15:00 — 16:00 — Room P3.10, Mathematics Building
Roman Hric, Matej Bel University and Slovak Academy of Sciences, Banska Bystrica, Slovakia
Dense orbits and some misunderstandings around them
24/06/2008, 15:00 — 16:00 — Room P3.10, Mathematics Building
Lennard Bakker, Brigham Young University, Salt Lake City
The Conjugacy Problem for Torus Automorphisms
05/06/2008, 11:00 — 12:00 — Room P3.10, Mathematics Building
Rachid El Harti, University Hassan I, Morocco
22/04/2008, 15:00 — 16:00 — Room P3.10, Mathematics Building
Jonathan Wattis, University of Nottingham
The effects of grinding chiral crystals and similarity solutions of Becker-Doring equations
15/02/2008, 11:00 — 12:00 — Room P3.10, Mathematics Building
Orlando Lopes, IMECC, Universidade de Campinas
Simetria radial de minimizadores de problemas variacionais com termos não locais
12/02/2008, 15:00 — 16:00 — Room P3.10, Mathematics Building
Carlos Tomei, PUC, Rio de Janeiro
The subtle convergence of Wilkinson's methodWilkinson's iteration is frequently used to compute eigenvalues of symmetric matrices. Decades of experience led to believing that the algorithm performed extremely fast, Indeed, recently Nicolau Saldanha (PUC, Rio de Janeiro), Ricardo Leite (UFES) and I proved that this is so, for matrices whose spectrum does not contain three eigenvalues forming an arithmetic progression. Things may go slightly slower otherwise. The argument uses techniques from the theory of completely integrable systems, a new class of inverse variables for tridiagonal matrices and the construction of some Lyapunov functions. The counter-examples arise from an unexpected property related to the iteration of a discontinuous function on the plane.
29/01/2008, 15:00 — 16:00 — Room P3.10, Mathematics Building
Rafael Souza, Universidade Federal do Rio Grande do Sul
Stationary Markov Chains on that maximize a Potential: Unicity and a L.D.P.Given a continuous potential , defined in the Bernoulli space , where , and supposing that depends only on the two first coordinates, we are interested in finding stationary Markov probabilities on that maximize the value , among all stationary Markov probabilities on . This problem corresponds in Statistical Mechanics to the zero temperature case for the interaction described by the potential . The main purpose is to show, under the hypothesis of uniqueness of the maximizing probability, a Large Deviation Principle for a family of absolutely continuous Markov probabilities which weakly converges to . The probabilities are obtained via an information we get from a Perron operator and they satisfy a variational principle similar to the pressure in Thermodynamic Formalism. Considering that depends only on the first two coordinates, much of the work can be done using measures defined in the space . We also show that, in the sense of Mañé, the maximizing probability is unique. It means that, if we perturb the observable by adding a second term that depends only on the variable , and could be seen as a magnetic term, then generically we have the unicity of the maximizing probability. If we consider -invariant measures in , where is the shift map , then stationary Markov probabilities are a special case of -invariant measures. We show that the maximizing problem, now performed in a much larger class, still attains its maximum in a stationary Markov probability. The unicity of maximizing measures still remains, but only after projection on .
24/01/2008, 11:00 — 12:00 — Room P3.10, Mathematics Building
Joana Mohr, Universidade Federal do Rio Grande do Sul
Large deviation principle for the Mather measureWe present the rate function and a Large Deviation Principle for the Entropy Penalized Method when the Mather measure is unique. More explicitly, under some natural assumptions about the Lagrangian , in the torus , there exists a sequence of measures converging to the Mather measure , when . We show a LDP of the kind where . The measures minimizes the entropy penalized problem: where the entropy is given by and the minimization is performed over the space of probability densities on that satisfy the holonomic constrain. We also show some dynamical properties of the discrete time Aubry-Mather problem.
20/11/2007, 15:00 — 16:00 — Room P3.10, Mathematics Building
Hossein Tehrani, University of Nevada, Las Vegas
New and old results on semilinear elliptic equations with logistic type nonlinearities and harvesting
13/11/2007, 15:00 — 16:00 — Room P3.10, Mathematics Building
Julien Keller, Institute for Mathematical Sciences, Imperial College
Kähler-Ricci flow: infinite and finite dimensional approachIn Kähler geometry, the Kähler-Ricci flow is a powerful tool to study the existence of Kähler-Einstein metrics. I will discuss how one can think of the Kähler-Ricci flow in terms of so-called balanced metrics, introduced by S. K. Donaldson. In the case of toric Fano-Einstein manifolds, we obtain a simple algorithm to compute an approximation of the Kähler-Einstein metric. For manifolds with negative first Chern class, the algorithm is related to the work of H. Tsuji. Finally, our work is related to the problem of G. I. T stability for a smooth projective manifold.
09/10/2007, 14:30 — 15:30 — Room P3.10, Mathematics Building
Bernold Fiedler, Freie Universität Berlin
Planar attractors of Sturm type: dynamics and graph theory