The Klein-Gordon equation has several interesting and relevant propagators (also called Green’s functions or two-point functions): the forward/backward propagator, the Pauli-Jordan propagator, the Feynman propagator, the Wightman two-point function. In this talk I will discuss an approach to construct propagators on curved spacetimes. This approach can also be applied for non-smooth metrics and when external electromagnetic fields are present. For static spacetimes, I will show that the Feynman propagator can be constructed as the limit of the resolvent of the Klein-Gordon operator. I will then argue that this construction can be generalized to some non-static spacetimes.
Zapraszamy do sali 1.40, ul. Pasteura 5 o godzinie 14:15

Krzysztof Wohlfeld (IFT UW)
In the first part of the talk I will discuss how the basic and best known models of the correlated electron systems are related to each other: Hubbard, t-J [1], Heisenberg, and Kugel-Khomskii spin-orbital models. Next, I will show the 1:1 correspondence between the spectral function of the t-J model and a particular Kugel-Khomskii spin-orbital model [2]. This latter feature has important consequences for the understanding of the recent spectroscopic experiments performed on transition metal oxides. [1] J. Spalek was recently awarded the FNP prize for the "distinguished contribution to the world of physics in 1977 when he derived for the first time the so-called t-J model" [K. A. Chao, J. Spalek, A. M. Oles, J. Phys. C 10, L271 (1977)]. [2] Phys. Rev. Lett. 107, 147201 (2011); Phys. Rev. B 91, 165102 (2015).
In the first part of the talk I will discuss how the basic and best known models of the correlated electron systems are related to each other: Hubbard, t-J [1], Heisenberg, and Kugel-Khomskii spin-orbital models. Next, I will show the 1:1 correspondence between the spectral function of the t-J model and a particular Kugel-Khomskii spin-orbital model [2]. This latter feature has important consequences for the understanding of the recent spectroscopic experiments performed on transition metal oxides.[1] J. Spalek was recently awarded the FNP prize for the "distinguished contribution to the world of physics in 1977 when he derived for the first time the so-called t-J model" [K. A. Chao, J. Spalek, A. M. Oles, J. Phys. C 10, L271 (1977)].[2] Phys. Rev. Lett. 107, 147201 (2011); Phys. Rev. B 91, 165102 (2015).Zapraszamy do sali 1.40, ul. Pasteura 5 o godzinie 14:15

Maciej Nieszporski (KMMF UW)
Replacement of differential operators with difference operators in a differential equation is often referred to as naive discretization.I will present some examples where it seems we are not naive.
Zapraszamy do sali 1.40, ul. Pasteura 5 o godzinie 14:15

Paweł Jakubczyk (IFT UW)
I will review the functional renormalization group approach to the classical O(N) models in two and three spatial dimensions. I will discuss in some detail the specific case of N=2 and d=2, corresponding to the Berezinskii-Kosterlitz-Thouless universality class.
Zapraszamy do sali 1.40, ul. Pasteura 5 o godzinie 14:15

Michał Wrochna (Joseph Fourier University, Grenoble)
In the construction of scalar quantum fields on a curved spacetime, the crucial step is to split the solution space of the Klein-Gordon equation into two parts corresponding to particles and anti-particles. The splittings need to satisfy the so-called Hadamard condition, originally formulated by Kay and Wald and incorporating the requirement that two-point functions of fields should be microlocally the same as the Minkowski vacuum. In this talk, I will present a solution to this problem on a class of asymptotically de Sitter spacetimes, derived in a recent joint work with András Vasy and relying on propagation estimates at radial sets. The crucial feature is the extendability of appropriately rescaled classical fields across the conformal horizon, to a region consisting of two asymptotically hyperbolic spaces. It turns out that non-interacting quantum fields follow the same behaviour and are uniquely determined by data in the asymptotically hyperbolic spaces.
Zapraszamy do sali 1.40, ul. Pasteura 5 o godzinie 14:15

Marcin Napiórkowski (KMMF UW)
Since the experimental realization of Bose-Einstein condensation (BEC) in Bose gases, it has been an ongoing challenge in mathematical physics to derive the phenomenon from the first principles of quantum mechanics. This has first been achieved in 2002 by Lieb and Seiringer for dilute, trapped systems. More recently, BEC has been proven for weakly interacting systems within the so-called mean-field limit. In my talk, I will both review existing and present recent results on the dynamics of weakly interacting Bose gases in the mean-field limit.
Zapraszamy do sali 1.40, ul. Pasteura 5 o godzinie 14:15

Antoine Géré (IFT UW)
We look at models of noncommutative field theories (NCFT) on a particular space $\mathbb{R}^3_\lambda$. After a presentation of this particular space, we review the construction of gauge models in this framework.Then we show that natural noncommutative gauge theory models on $\mathbb{R}^3_\lambda$ can accommodate gauge invariant harmonic terms. Restricting ourselves to positive actions with covariant coordinates as field variables, a suitable gauge-fixing leads to a family of matrix models with quartic interactions and kinetic operators with compact resolvent. Their perturbative behavior is then studied. We perform computations at one-loop order within a subfamily of these matrix models for which the interactions have a symmetric form. We find that the corresponding contributions are finite. We then extend this result to arbitrary order. We find that the amplitudes of the ribbon diagrams for the models of this subfamily are finite to all orders in perturbation. This result extends finally to any of the models of the whole family of matrix models obtained from the above gauge-fixing. The origin of this result is then discussed.
Zapraszamy do sali 1.40, ul. Pasteura 5 o godzinie 14:15

Grzegorz Łach (IFT UW)
"Principle of the conservation of effort" and how to bypass it
During last decade it has been shown that huge variety of computational problems can be (exactly) rewritten as boolean satisfiability problems (so called SAT or #SAT problems) to which very efficient computational tools (aka SAT-solvers) exist.