Seminar of the Extension of the Mathematical Institute SAS in Košice
2019 << 2020-21 << 2022 << 2023 |
next: | |
30. 3. 2023, 9:15 | Galina Jirásková – Undecidable problems for deterministic biautomata |
previous: | |
19. 1. 2023 | Jan Makovský (Institute of Philosophy of the Czech Academy of Sciences) – Leibniz's path to the infinitesimal |
Abstract: What do the world vortex and souls, collisions of bodies, ether, atoms and infinity have in common? The struggle for the independence of geometrically constructed nature takes place within the concept of movement: in the abyss of the "science of the point", between the divisible and the indivisible, quantity and its limit. | |
26. 1. 2023 | Peter Eliaš – Functors, monads, adjunctions |
Abstract: We will make a quick overview of the basic concepts of category theory: functor, natural transformation, monad, adjunction. We will illustrate the concepts based on the results of work [Jenča, G. Orthomodular posets are algebras over bounded posets with involution. Soft Comput 26, 491–498 (2022)] and indicate the possibilities of solving the problem formulated there. | |
9. 2. 2023 | Ján Haluška – Mathematical model of organ sound generated with a set of constant mensure stops |
Abstract:
Concerning
organ stops, there are three psychological phenomena on which is based the present
tone system 12-tone equal temperament. They are: Pythagorean Comma, Octave
Equivalence, and Equal Timbre of all tones in a stop.
Essential fact is a finding that musical structures the fifth circle and transposition can be used to define operations "multiplication" $\otimes$ and "addition" $\oplus$ in 12-TET $\mathbb{T}_{12}$. Based on this, we construct a generalized 12-TET (G12-TET), the ordered tempered Hilbert vector algebra $\mathscr{W}_{12}$ over $\mathbb{R}$, where the classical 12-TET is a subset. We can summarize that: An organ sound in G12-TET system $\mathscr{W}_{12}$, which is produced with a pipe set of constant mensured stops, is a linear variety over $\mathbb{R}$ associated with sound of the Principal stop. |
|
23. 2. 2023 | Emília Halušková – Algebras with easy direct limits and sets $\mathbb{Z}$, $\mathbb{Q}$, $\mathbb{R}$ |
Abstract:
In universal algebra, the construction of a direct limit is one of the basic methods for building new
algebras from given algebras of fixed type.
Let $A$ be an algebra. We will focus on the investigation of direct limits of families of algebras in which all algebras are isomorphic to $A$. If every such direct limit is isomorphic to some retract of the algebra $A$, then we say that the algebra $A$ has easy direct limits, in short $A$ has EDL. Let us consider the commonly used operations of addition and multiplication of real numbers. Then the additive group of rational numbers and the rings of whole, rational and real numbers have EDL. The multiplicative group of rational numbers, the additive group and the multiplicative monoid of integers do not have EDL. Questions if the additive and multiplicative group of real numbers, the additive, multiplicative group and the field of complex numbers have EDL are open. |
|
16. 3. 2023 | Michal Hospodár – Operations on subregular languages (continuation) |
Abstract:
We study the nondeterministic state complexity of basic regular operations on subregular language classes.
In particular, we focus on the classes of singleton, finite, and symmetric definite languages, and consider
the operations of intersection, union, concatenation, power, and complementation. We
get the exact complexity in all cases, except for complementation of singleton languages where we only have
a lower bound $\sqrt{n}$ and an upper bound $n$.
The complexity
of intersection on singleton languages is $\min\{m, n\}$, and for all other operations, except for complementation,
the known upper bounds for finite languages are met by singleton languages.
The known lower bound $2^{n-1}$ for complementation on left ideals is tight also for symmetric definite languages.
In all the remaining cases, the
nondeterministic state complexity of all considered operations is the same as in the regular case, although
sometimes we need to use a larger alphabet to describe the corresponding witnesses.
We also consider closure properties of these operations on subregular languages. A class of languages is closed under a given operation if the resulting language belongs to this class whenever the operands belong to it. We summarize some inclusion relations between these classes. Subsequently, for all pairs of a class and an operation, we provide an answer whether this class is closed under this operation or not. |