Lisbon Mathematics PhD
Paulo Rocha, LisMath, Faculdade de Ciências.
An introduction to PT-Symmetric Quantum Theory.
Traditionally in quantum mechanics it is assumed that the Hamiltonian must be Hermitian in order to obtain real energy levels and unitary time evolution. Here we will show that the requirement of Hermiticity may be replaced by space-time reflection (PT-symmetry) without losing any of the essential physical features of quantum mechanics. In this seminar we will give an introduction to PT-symmetric quantum theory and work with some examples.
Maximilian Schwick, LisMath, Instituto Superior Técnico.
Resurgence is a method used to solve differential equations with a wide range of applications. It is based on the so called alien calculus. The talk will give a brief insight on what resurgence is used for. Then, via example, a short introduction to alien calculus is given.
Carllos Holanda, LisMath, Instituto Superior Técnico.
Applications of ergodic theory to number theory.
Ergodic theory can be described as the study of measurable maps and flows preserving a certain measure. Some emphasis is given to the study of the recurrence properties and stochastic properties of the dynamics. It turns out that there are many nontrivial applications of ergodic theory to number theory. As an illustration, we shall consider fractional parts of polynomials and continued fractions.
 L. Barreira, Ergodic Theory, Hyperbolic Dynamics and Dimension Theory, Springer, 2012.
 H. Weyl, Ueber die Gleichverteilung von Zahlen mod. Eins, Math. Ann. 77 (1916), 313-352.
Miguel Duarte, LisMath, Instituto Superior Técnico.
Singularity theorems of Hawking and Penrose.
Singularity theorems in General Relativity: proof, relevance, and open questions.
 S. W. Hawking, R. Penrose, The singularities of gravitational collapse and cosmology, Proc. Roy. Soc. Lond. A 314, 529-548 (1970).
 S. W. Hawking and G. Ellis, The large scale structure of space-time, Cambridge University Press, 1995.
 J. Senovilla, D. Garfinkle, The 1965 Penrose singularity theorem.
 J. Senovilla, Singularity theorems in General Relativity: achievements and open questions.
Sílvia Reis, LisMath, Faculdade de Ciências, Universidade de Lisboa.
Generically Stable Types and Banach Spaces.
We discuss the notion of generically stable types in the framework of dependent theories in continuous first order logic. We will also mention some applications of this framework to structures arising in functional analysis, Banach spaces in particular.
Fábio Silva, LisMath, Faculdade de Ciências, Universidade de Lisboa.
Patience Sorting monoids and their combinatorics.
Monoids arising from combinatorial objects have been intensively studied in recent years. Important examples include the plactic, the sylvester, the Chinese, the hypoplactic, the Baxter, and the stalactic monoids, which are, respectively, associated to the following combinatorial objects: Young tableaux, binary trees, Chinese staircases, quasi-ribbon tableaux, pairs of twin binary trees, and stalactic tableaux.
In this talk we present two monoids which arise in a similar way, the left Patience Porting monoid (lPS monoid), also known in the literature as the Bell monoid, and the right Patient Sorting monoid (rPS monoid), that are, respectively, associated to lPS tableaux and rPS tableaux.
Several properties regarding the monoids mentioned in the first paragraph have been considered. Naturally, we pose the same kind of questions for the lPS and rPS monoids. In this seminar, we will discuss some of our results, which include:
Juan Pablo Quijano, LisMath, Instituto Superior Técnico.
Sheaves and functoriality of groupoid quantales.
This talk has two main aims, one being the study of functoriality of groupoid quantales, which is accomplished in the étale case (in a sense completing the previously ongoing program concerning quantales of étale groupoids), and the other being to provide steps for addressing a similar program for quantales of non-étale groupoids, in this case studying sheaves for a suitable subclass of open groupoids, namely those with “étale covers”.
Pedro Pinto, LisMath, Faculdade de Ciências, Universidade de Lisboa.
The Bounded Functional Interpretation and Proof Mining.
Proof mining is the research program that aims to analyse proofs of mathematical theorems in order to extract hidden quantitative information — such as rates of convergence, rates of metastability and rates of asymptotic regularity. Proof theoretical tools like Kohlenbach's monotone functional interpretation (), a variant of Gödel’s Dialectica, are of standard use. A newer functional interpretation was introduced by Ferreira and Oliva in 2005 (), dubbed the bounded functional interpretation (BFI). The focus of my research was the better understanding of the BFI in the context of proof mining.
I will show a general technique that allows the elimination of weak sequential compactness arguments in the analysis of certain types of proofs. It also gives a better understanding of previous quantitative results done Kohlenbach () where this argument was already eliminated. This technique was also employed to produce a first quantitative version of Bauschke's theorem ().
Other results, in the context of the proximal point algorithm (, ), were also analysed with the BFI and their first quantitative versions were obtained.
These results are new and the first practical application of the BFI in the proof mining program.
 Kohlenbach, Ulrich. Applied proof theory: proof interpretations and their use in mathematics. Springer Science & Business Media, 2008.
 Ferreira, Fernando, and Paulo Oliva. Bounded functional interpretation. Annals of Pure and Applied Logic 135.1-3 (2005): 73-112.
 Kohlenbach, Ulrich. On quantitative versions of theorems due to FE Browder and R. Wittmann. Advances in Mathematics 226.3 (2011): 2764-2795.
 Bauschke, Heinz H. The approximation of fixed points of compositions of nonexpansive mappings in Hilbert space. Journal of Mathematical Analysis and Applications 202.1 (1996): 150-159.
 H. K. Xu, Iterative algorithms for nonlinear operators. J. Lond. Math. Soc. 66(1) (2002): 240-256.
 Boikanyo, Oganeditse A., and G. Morosanu. Inexact Halpern-type proximal point algorithm. Journal of Global Optimization 51.1 (2011): 11-26.
Hillal M. Elshehabey, LisMath, Instituto Superior Técnico.
Mathematical Modelling and Numerical Simulation of an Anaerobic Digester.
Anaerobic digestion is a bacterial process, carried out in the absence of oxygen, used to convert the organic fraction of large volumes of slurries and sludge into biogas and a digested product. The objective of this work is to perform a numerical modeling of the fluid dynamics process inside an anaerobic digestion tank and numerical simulations of the model, which might indicate properly sized extra piping and pumping systems, in order to minimize the deposition of inert materials. This research is being developed within a consulting project for Valorlis - Valorização e Tratamento de Resíduos Sólidos, SA.
In this seminar, we begin by presenting the mathematical model which describes the behavior of the pseudo-plastic fluid in the tank, where parameters such as temperature and total solids content are compatible with several experimental cases reported in the literature and have been validated by Valorlis. The influence of such parameters in the fluid behavior will be discussed in simpler, classical geometries.
Following , we propose alternative conditions for outflow. The benefits of using the directional do-nothing boundary condition comparing with the classical one  will be presented for the proposed non-Newtonian model and for some benchmark problems, including a comparison with the Newtonian model.
 M. Braack and P. B. Mucha, Directional do-nothing condition for the Navier-Stokes equations, Journal of Computational Mathematics, 32, No.5 (2014), 507-521.
Filipe Gomes, LisMath, Faculdade de Ciências, Universidade de Lisboa.
Supercharacter Theories and Multiplicative Ramification Graphs.
Supercharacter theories are generalizations of the usual character theory of a group. In this talk, we construct graded graphs using restriction and superinduction of supercharacters and use them to determine the extreme supercharacters of direct limits of certain groups. We mention the infinite unitriangular group as a particularly important example of this construction.
João Dias, LisMath, Faculdade de Ciências, Universidade de Lisboa.
Supercharacters for algebra groups and their geometric relations.
Given any algebra group over any finite field one has a supercharacter theory constructed by P. Diaconis and I. M. Isaacs. And we may ask three questions:
In this talk I will give a brief introduction to the supercharacter theory and give the answer to the questions above.
Alexandra Symeonides, LisMath, Faculdade de Ciências, Universidade de Lisboa.
Invariant and quasi-invariant measures for Euler equations.
We will discuss how invariant (or quasi-invariant) probability measures can be used to show existence of statistical solutions for the two-dimensional Euler equation (or a slight modification of it), both in the periodic and non periodic case. For initial data in the support of the measures, these solutions are globally defined in time and they are unique. This is joint work with Ana Bela Cruzeiro (IST-UL).
Pedro Oliveira, LisMath, Instituto Superior Técnico.
Cosmic no-hair in spherically symmetric black hole spacetimes.
We analyze in detail the geometry and dynamics of the cosmological region arising in spherically symmetric black hole solutions of the Einstein-Maxwell-scalar field system with a positive cosmological constant. More precisely, we solve, for such a system, a characteristic initial value problem with data emulating a dynamic cosmological horizon. Our assumptions are fairly weak, in that we only assume that the data approaches that of a subextremal Reissner-Nordstrm-de Sitter black hole, without imposing any rate of decay. We then show that the radius (of symmetry) blows up along any null ray parallel to the cosmological horizon (“near” $i^+$), in such a way that $r=+\infty$ is, in an appropriate sense, a spacelike hypersurface. We also prove a version of the Cosmic No-Hair Conjecture by showing that in the past of any causal curve reaching infinity both the metric and the Riemann curvature tensor asymptote those of a de Sitter spacetime. Finally, we discuss conditions under which all the previous results can be globalized.