MatFyz CONNECTIONS 2025

Session

Významné výsledky z matematiky, fyziky, informatiky a didaktiky

Nov 26, 2025, 1:15 PM

125. Topology of manifolds

Tibor Macko

11/26/25, 1:15 PM

Významné výsledky z matematiky, fyziky, informatiky a didaktiky

Zamestnanci matematika

We present selected results from the work in the topology group at KAG FMFI UK supported by the grant VEGA 1/0425/25. The main focus is on the results of the PhD student Ajay Raj, who defended his thesis in August 2025.  His work is located in surgery theory which is a specific way of approaching classification problems of topological and smooth manifolds. His aim was to calculate the...

126. Towards the minimal effective theory for leptogenesis, dark matter, and neutrino masses

Peter Maták (Faculty of Mathematics, Physics and Informatics, Comenius University in Bratislava)

11/26/25, 1:45 PM

Významné výsledky z matematiky, fyziky, informatiky a didaktiky

Zamestnanci fyzika

We present a bottom-up approach to an effective theory that simultaneously explains the matter–antimatter asymmetry via leptogenesis, the dark matter relic abundance via freeze-in or freeze-out mechanisms, and neutrino masses via the Weinberg operator. We show that, in the minimal scenario, only two new particles and a single portal operator coupling the visible and dark sectors are sufficient...

127. Innovative Approaches to Teaching Probability in Secondary Schools

Michaela Vargova

11/26/25, 2:15 PM

Významné výsledky z matematiky, fyziky, informatiky a didaktiky

Zamestnanci didaktika

In this paper, we present innovative approaches to teaching probability that were developed as part of the KEGA 037UK-4/2024 project Innovative learning technologies in the preparation of future mathematics teachers and the project Digital Transformation of Education and Schools (DiTEdu, code ITMS2014+: 401402DVR6). These approaches aim to foster a deep conceptual understanding of...

128. Addition is almost all you need: Compressing neural networks with double binary factorization

Vladimir Boza (Comenius University)

11/26/25, 2:45 PM

Významné výsledky z matematiky, fyziky, informatiky a didaktiky

Zamestnanci informatika

Binary quantization approaches, which replace weight matrices with binary matrices and substitute costly multiplications with cheaper additions, offer a computationally efficient approach to address the increasing computational and storage requirements of Large Language Models (LLMs). However, the severe quantization constraint ($\pm1$) can lead to significant accuracy degradation.
In this...