Zakład Metod Matematycznych

Zakład Metod Matematycznych prowadzi badania z zakresu informatyki, fizyki, fizyki matematycznej oraz matematyki.

Obecnie realizowane są następujące zadania badawcze:

• framework do analizy i weryfikacji systemów CEP w Prologu;
• badania języka z wykorzystaniem sieci neuronowych i innych metod sztucznej inteligencji;
• klasyczne i kwantowe układy dynamiczne, ich symetrie, całkowalność i supercałkowalność;
• podstawy mechaniki kwantowej, w szczególności nierówności Bella (analizowane metodami teoriogrupowymi), kwantowe ograniczenia na prędkość ewolucji i związane z tym tematy;
• rozwiązania klasyczne w ogólnej teorii względności i ich związek z konfiguracjami pola elektromagnetycznego (w szczególności tzw. double copy conjecture);
• klasyczna i kwantowa dynamika na orbitach kodołączonych;
• aspekty geometrii akrecji na obiekty zwarte (czarne dziury, gwiazdy neutronowe);
• modelowanie procesów fizycznych odpowiedzialnych za generację promieniowania rentgenowskiego obserwowanego z bezpośredniego sąsiedztwa obiektów zwartych;
• wpływ efektów ogólnej teorii względności na widma obserwowane ze źródeł rentgenowskich;
• redukcja i analiza czasowa/uśredniona danych rejestrowanych przez instrumenty satelitów rentgenowskich;
• rozwijanie/adaptacja kodów modeli środowiska analizy danych XSPEC pod konkretne cele badawcze;
• badanie K-teorii multipullbackowych nieparzystowymiarowych sfer kwantowych i zespolonych przestrzeni projektywnych.