1. Data and data quality in mathematicsKatja Berčič, 2026, samostojni znanstveni sestavek ali poglavje v monografski publikaciji Povzetek: Pure mathematics is often viewed, even by its practitioners, as a discipline in which data play little or no role. Data, when acknowledged at all, are often seen as a byproduct of research rather than a research product in their own right. Yet databases and datasets are increasingly central to the way mathematicians formulate conjectures, test hypotheses, and explore complex structures. Unlike empirical data, data in mathematics often consist of exact values derived from symbolic definitions or computations and commonly describe highly structured objects such as graphs, elliptic curves, or manifolds. This combination of abstraction, precision, and low redundancy poses distinctive challenges for data quality, shifting the focus away from concerns like noise and bias toward correctness, completeness, consistency, and accessibility. Ključne besede: mathematical knowledge management, digital mathematics libraries and repositories, computer-assisted mathematics, implementation challenges, data quality dimensions, mathematical data Objavljeno v DiRROS: 06.05.2026; Ogledov: 56; Prenosov: 53
Celotno besedilo (831,18 KB) Gradivo ima več datotek! Več... |
2. Chromatic numbers, Buchstaber numbers and chordality of Bier spheresIvan Limonchenko, Aleš Vavpetič, 2026, izvirni znanstveni članek Povzetek: We describe all the Bier spheres of dimension $d$ with chromatic number equal to $d+1$ and prove that all other $d$-dimensional Bier spheres have chromatic number equal to $d+2$, for any integer $d \ge 0$. Then we prove a general formula for complex and mod $p$ Buchstaber numbers of a Bier sphere ${\rm Bier}(K)$, for each prime $p \in {\mathbb N}$ in terms of the $f$-vector of the underlying simplicial complex $K$. Finally, we classify all chordal Bier spheres and obtain their canonical realizations as boundaries of stacked polytopes. Ključne besede: Bier sphere, Buchstaber number, chordal graph, chromatic number, stacked polytope Objavljeno v DiRROS: 06.05.2026; Ogledov: 64; Prenosov: 39
Celotno besedilo (1,06 MB) Gradivo ima več datotek! Več... |
3. Safety, relative tightness and the probabilistic frame ruleJanez Ignacij Jereb, Alex Simpson, 2025, objavljeni znanstveni prispevek na konferenci Povzetek: Probabilistic separation logic offers an approach to reasoning about imperative probabilistic programs in which a separating conjunction is used as a mechanism for expressing independence properties. Crucial to the effectiveness of the formalism is the frame rule, which enables modular reasoning about independent probabilistic state. We explore a semantic formulation of probabilistic separation logic, in which the frame rule has the same simple formulation as in separation logic, without further side conditions. This is achieved by building a notion of safety into specifications, using which we establish a crucial property of specifications, called relative tightness, from which the soundness of the frame rule follows. Ključne besede: probabilistic separation logic, separation logic, frame rule, partial state, operational semantics, partial correctness, total correctness, reasoning about independence Objavljeno v DiRROS: 05.05.2026; Ogledov: 97; Prenosov: 68
Celotno besedilo (505,93 KB) Gradivo ima več datotek! Več... |
4. Independent mutual-visibility coloring and related conceptsBoštjan Brešar, Iztok Peterin, Babak Samadi, Ismael G. Yero, 2026, izvirni znanstveni članek Povzetek: Given a graph $G$, a subset $M\subseteq V(G)$ is a mutual-visibility (MV) set if for every $u,v\in M$, there exists a $u,v$-geodesic whose internal vertices are not in $M$. We investigate proper vertex colorings of graphs whose color classes are mutual-visibility sets. The main concepts that arise in this investigation are independent mutual-visibility (IMV) sets and vertex partitions into these sets (IMV colorings). The IMV number $\mu_{i}$ and the IMV chromatic number $\chi_{\mu_{i}}$ are defined as maximum and minimum cardinality taken over all IMV sets and IMV colorings, respectively. Along the way, we also continue with the study of MV chromatic number $\chi_{\mu}$ (as the smallest number of sets in a vertex partition into MV sets), which was initiated in an earlier paper. We establish a close connection between the (I)MV chromatic numbers of subdivisions of complete graphs and Ramsey numbers $R(4^k;2)$. From the computational point of view, we prove that the problems of computing $\chi_{\mu_{i}}$ and $\mu_{i}$ are NP-complete, and that it is NP-hard to decide whether a graph $G$ satisfies $\mu_i(G)=\alpha(G)$ where $\alpha(G)$ is the independence number of $G$. Several tight bounds on $\chi_{\mu_{i}}$, $\chi_{\mu}$ and $\mu_{i}$ are given. Exact values/formulas for these parameters in some classical families of graphs are proved. In particular, we prove that $\chi_{\mu_{i}}(T)=\chi_{\mu}(T)$ holds for any tree $T$ of order at least $3$, and determine their exact formulas in the case of lexicographic product graphs. Finally, we give tight bounds on the (I)MV chromatic numbers for the Cartesian and strong product graphs, which lead to exact values in some important families of product graphs. Ključne besede: independent mutual visibility, mutual-visibility coloring, independence number, Ramsey number, graph product, diameter 2 graph, geodesic Objavljeno v DiRROS: 05.05.2026; Ogledov: 116; Prenosov: 73
Celotno besedilo (596,20 KB) Gradivo ima več datotek! Več... |
5. |
6. Criticality for Maker-Breaker domination games with predominationCsilla Bujtás, Pakanun Dokyeesun, Sandi Klavžar, Miloš Stojaković, 2026, izvirni znanstveni članek Povzetek: A predominated graph is a pair $(G,D)$, where $G$ is a graph and the vertices in $D\subseteq V(G)$ are considered already dominated. Maker-Breaker domination game critical (MBD critical) predominated graphs are introduced as the predominated graphs $(G,D)$ on which Staller wins the game, but Dominator wins on $(G, D \cup \{v\})$ for every vertex $v \in V(G) \setminus D$. Tools are developed for handling the Maker-Breaker domination game on trees which lead to a characterization of Staller-win predominated trees. MBD critical predominated trees are characterized and an algorithm is designed which verifies in linear time whether a given predominated tree is MBD critical. A large class of MBD critical predominated cacti is presented and Maker-Breaker critical hypergraphs are constructed. Ključne besede: domination games, Maker-Breaker games, Maker-Breaker domination game, predomination, hypergraph Objavljeno v DiRROS: 16.04.2026; Ogledov: 127; Prenosov: 78
Celotno besedilo (253,19 KB) Gradivo ima več datotek! Več... |
7. |
8. Left Jacobson ringsJaka Cimprič, Matthias Schötz, 2026, izvirni znanstveni članek Povzetek: We say that a ring is strongly (resp. weakly) left Jacobson if every semiprime (resp. prime) left ideal is an intersection of maximal left ideals. There exist Jacobson rings that are not weakly left Jacobson, e.g. the Weyl algebra. Our main result is the following one-sided noncommutative Nullstellensatz: For any finite-dimensional ${\mathbb F}$-algebra ${\mathbb A}$ the ring ${\mathbb A}[x_1, \ldots,x_n]$ of polynomials with coefficients in ${\mathbb A}$ is strongly left Jacobson and every maximal left ideal of ${\mathbb A}[x_1, \ldots,x_n]$ has finite codimension. We also prove that an Azumaya algebra is strongly left Jacobson iff its center is Jacobson and that an algebra that is a finitely generated module over its center is weakly left Jacobson iff it is Jacobson. Ključne besede: Nullstellensatz, noncommutative geometry, maximal left ideals, Jacobson ring, Azumaya algebra, Weyl algebra Objavljeno v DiRROS: 14.04.2026; Ogledov: 143; Prenosov: 101
Celotno besedilo (1,02 MB) Gradivo ima več datotek! Več... |
9. On positive automorphisms of algebras of operators on atomic Archimedean vector latticesGregor Cigler, Marko Kandić, 2026, izvirni znanstveni članek Povzetek: Let $X$ be an Archimedean vector lattice. We investigate subalgebras of ${\mathscr L}(X)$ consisting of regular operators that contain all rank-one operators of the form $a \otimes \varphi_b$, where $a$ and $b$ are atoms of $X$ and $\varphi_b$ denotes the coordinate functional associated with $b$. Our main result shows that every positive automorphism of such a subalgebra contained in ${\mathscr L}(c_{00}(\Lambda))$, is necessarily spatial, meaning that it is implemented by a transformation of the form $T \mapsto P D\, T\, D^{-1} P^{-1}$, where $P$ is a permutation operator and $D$ is a positive diagonal operator. We also use the Kakutani representation theorem to establish that every finite-dimensional vector subspace of $X$ is order closed. Ključne besede: vector lattices, order algebra automorphisms, inner automorphisms, atom, order continuous operators Objavljeno v DiRROS: 14.04.2026; Ogledov: 104; Prenosov: 70
Celotno besedilo (377,43 KB) Gradivo ima več datotek! Več... |
10. On double Pythagorean-hodograph curves of degree sevenMarjetka Knez, Selena Praprotnik, 2026, izvirni znanstveni članek Povzetek: This paper presents a comprehensive and constructive analysis of degree 7 double Pythagorean-hodograph (DPH) curves for the three distinct structural classes. A unified framework is introduced for their construction, particularly useful for interpolation tasks involving prescribed boundary data. The approach explicitly identifies the degrees of freedom available in each class and distinguishes between helical and non-helical curve types. Furthermore, the structure of a specific rational curve in the complex plane that via the normalized Hopf map generates the tangent indicatrix is revealed for all degree 7 DPH curves. This confirms known results for helical curves and extends the interpretation to non-helical cases. The practical applicability of the derived curves is demonstrated through a numerical interpolation example, which also validates the stated number of degrees of freedom. Ključne besede: double Pythagorean-hodograph curves, helical/non-helical curves, quaternions, Hopf map, Frenet frame, interpolation Objavljeno v DiRROS: 14.04.2026; Ogledov: 107; Prenosov: 91
Celotno besedilo (3,59 MB) Gradivo ima več datotek! Več... |