Tidlegare gjesteforelesninger og seminarer - Side 5
Physics of internal microstructure fluid flows plays important role both due to their applications as well as their more general research field. In most occasions this type of fluid flow problems are treated with discrete models that are both computational costly as well as unable to shed light into the more general physics of the problem. In this sense a continuous model in the Eulerian frame is adopted here that consists a generalization of the incompressible Navier-Stokes equation. The present model introduces an extra tensor in the governing equations that accounts for the angular velocity of the internal microstructure, namely the micropolar model.
In 1962 Ehrhart proved that the number of lattice points in integer dilates of a lattice polytope is given by a polynomial — the Ehrhart polynomial of the polytope. Since then Ehrhart theory has developed into a very active area of research at the intersection of combinatorics, geometry and algebra.
The Ehrhart polynomial encodes important information about the polytope such as its volume and the dimension. An important tool to study Ehrhart polynomials is the h*-polynomial, a linear transform of the Ehrhart polynomial which is given by the numerator of the generating series. By a famous theorem of Stanley the coefficients of the h*-polynomial are always nonnegative integers. In this talk, we discuss generalizations of this result to weighted lattice point enumeration in rational polytopes where the weight function is given by a polynomial. In particular, we show that Stanley’s Nonnegativity Theorem continues to hold if the weight is a sum of products of linear forms that a nonnegative over the polytope. This is joint work with Esme Bajo, Robert Davis, Jesús De Loera, Alexey Garber, Sofía Garzón Mora and Josephine Yu.
In 1962 Ehrhart proved that the number of lattice points in integer dilates of a lattice polytope is given by a polynomial — the Ehrhart polynomial of the polytope. Since then Ehrhart theory has developed into a very active area of research at the intersection of combinatorics, geometry and algebra.
The Ehrhart polynomial encodes important information about the polytope such as its volume and the dimension. An important tool to study Ehrhart polynomials is the h*-polynomial, a linear transform of the Ehrhart polynomial which is given by the numerator of the generating series. By a famous theorem of Stanley the coefficients of the h*-polynomial are always nonnegative integers. In this talk, we discuss generalizations of this result to weighted lattice point enumeration in rational polytopes where the weight function is given by a polynomial. In particular, we show that Stanley’s Nonnegativity Theorem continues to hold if the weight is a sum of products of linear forms that a nonnegative over the polytope. This is joint work with Esme Bajo, Robert Davis, Jesús De Loera, Alexey Garber, Sofía Garzón Mora and Josephine Yu.
In this talk we define a new category of matroids, by working on matroid polytopes and rank preserving weak maps. This lets us introduce the concept of categorical valuativity for functors, which can be seen as a categorification of the ordinary valuativity for matroid invariants.
We also show that this new theory agrees with what we know about valuative polynomials: several known valuative polynomials can be seen as a Hilbert series of some graded vector space and we prove that these graded vector spaces let us define a valuative functor in the new sense.
Lastly, we sketch how to categorify a Theorem by Ardila and Sanchez, which states that the convolution of two valuative invariants (respectively, valuative functors) is again valuative.
This is based on a joint ongoing project with Ben Elias, Dane Miyata and Nicholas Proudfoot.
In this talk we define a new category of matroids, by working on matroid polytopes and rank preserving weak maps. This lets us introduce the concept of categorical valuativity for functors, which can be seen as a categorification of the ordinary valuativity for matroid invariants.
We also show that this new theory agrees with what we know about valuative polynomials: several known valuative polynomials can be seen as a Hilbert series of some graded vector space and we prove that these graded vector spaces let us define a valuative functor in the new sense.
Lastly, we sketch how to categorify a Theorem by Ardila and Sanchez, which states that the convolution of two valuative invariants (respectively, valuative functors) is again valuative.
This is based on a joint ongoing project with Ben Elias, Dane Miyata and Nicholas Proudfoot.
C*-algebra seminar by Ali Miller (Southern University of Denmark)
Unni Fuskeland, Cosmology and Extragalactic Astronomy research group, Institute of Theoretical Astrophysics, University of Oslo.
Vi er inne i solsyklus 25 og vi opplever den vakreste vinterhimmelen på mange år. Hva går vi i møte og hvorfor er sola så sterkt tilstede nå?
C*-algebra seminar by Emilie Elkiær (University of Oslo)
Oslo Stability and Enumerative Geometry Workshop 2023
C*-algebra seminar by Gaute Schwartz (University of Oslo)
A peculiarity of nonlinear hyperbolic problems is that they must be interpreted as limits of second-order equations with vanishing viscosity. Despite not explicitly being present in the hyperbolic case, diffusion is needed, e. g., at discontinuities or to avoid the occurrence of nonphysical states. In the case of gas dynamics, for instance, dissipation corresponds to the production of thermodynamic entropy. To solve hyperbolic problems numerically, one needs to adapt these ideas to the discrete setting. Standard high-order methods, however, do not incorporate the appropriate amounts of artificial viscosity because these need to be chosen adaptively based on the solution. Among the high-resolution schemes capable of doing so are the recently proposed monolithic convex limiting (MCL) techniques [1] to be discussed in this talk. They offer a way to enforce physical admissibility, entropy stability, and discrete maximum principles for conservation laws. These methods can also be generalized to systems of balance laws in a well-balanced manner [2]. In addition to second-order finite element methods, extensions to high-order discontinuous Galerkin (DG) schemes shall also be presented [3]. Numerical examples for the so-called KPP problem, the nonconservative shallow water system, and the compressible Euler equations will be shown. An overview of MCL and other property-preserving methods can be found in our recently published book [4].
Duncan Watts, Postdoctoral Fellow at Institute of Theoretical Astrophysics, University of Oslo.
We prove that (logarithmic, Nygaard completed) prismatic and (logarithmic) syntomic cohomology are representable in the category of logarithmic motives. As an application, we immediately obtain Gysin maps for prismatic and syntomic cohomology, and we precisely identify their cofibers. In the second part of the talk we develop a descent technique that we call saturated descent, inspired by the work of Niziol on log K-theory. Using this, we prove crystalline comparison theorems for log prismatic cohomology, log Segal conjectures and log analogues of the Breuil-Kisin prismatic cohomology, from which we get Gysin maps for the Ainf cohomology.
By Tamara Hiltunen (University of Oulu Finland) and Emmanuel Serrano (Autonomous University of Barcelona, Spain)
By Khuong Van Dinh, AQUA, IBV
Jonas Thoen Faber, PhD student of Rosseland Centre for Solar Physics, University of Oslo.
Prof. Natalia Korolkova, University of St. Andrews
We combine a pressure correction scheme with interior penalty discontinuous Galerkin (dG) discretisation to solve the time-dependent Navier–Stokes equations. We prove unconditional energy stability and a priori error estimates for the velocity. With duality arguments, optimal L2 error rates are obtained. Convergence of the discrete pressure is also established. Further, we propose a splitting scheme, integrating the pressure correction approach, for the Cahn–Hilliard–Navier–Stokes system The numerical analysis of dG combined with this scheme is discussed. Namely, we show well--posedness, stability, and error estimates. Numerical results with manufactured solutions display our theoretical findings, and a spinodal decomposition example portrays the robustness of our approach.
Tim Zimmermann, PhD student at the Institute of Theoretical Astrophysics, University of Oslo.
Dr. Joachim Mossige, Dept. of Physics, UiO.