Search

It is shown that any Lie affgebra, that is an algebraic system consisting of an affine space together with a bi-affine bracket satisfying affine versions of the antisymmetry and Jacobi identity, is isomorphic to a Lie algebra together with an element and a specific generalised derivation (in the sense of Leger and Luks, [G.F.\ Leger \& E.M.\ Luks, Generalized derivations of Lie algebras, {\em J.\ Algebra} {\bf 228} (2000), 165--203]). These Lie algebraic data can be taken for the construction of a Lie affgebra or, conversely, they can be uniquely derived for any Lie algebra fibre of the Lie affgebra. The close relationship between Lie affgebras and (enriched by the additional data) Lie algebras can be employed to attempt a classification of the former by the latter. In particular, up to isomorphism, a complex Lie affgebra with a simple Lie algebra fibre $\mathfrak{g}$ is fully determined by a scalar and an element of $\mathfrak{g}$ fixed up to an automorphism of $\mathfrak{g}$, and it can be universally embedded in a trivial extension of $\mathfrak{g}$ by a derivation. The study is illustrated by a number of examples that include all Lie affgebras with one-dimensional, nonabelian two-dimensional, $\mathfrak{s}\mathfrak{l}(2,\mathbb{C})$ and $\mathfrak{s}\mathfrak{o}(3)$ fibres. Extensions of Lie affgebras by cocycles and their relation to cocycle extensions of tangent Lie algebras is briefly discussed too., Comment: 22 pages

Current interest in deep learning captures the attention of many programmers and researchers. Unfortunately, the lack of a unified schema for developing deep learning models results in methodological inconsistencies, unclear documentation, and problems with reproducibility. Some guidelines have been proposed, yet currently, they lack practical implementations. Furthermore, neural network training often takes on the form of trial and error, lacking a structured and thoughtful process. To alleviate these issues, in this paper, we introduce Art, a Python library designed to help automatically impose rules and standards while developing deep learning pipelines. Art divides model development into a series of smaller steps of increasing complexity, each concluded with a validation check improving the interpretability and robustness of the process. The current version of Art comes equipped with nine predefined steps inspired by Andrej Karpathy's Recipe for Training Neural Networks, a visualization dashboard, and integration with loggers such as Neptune. The code related to this paper is available at: https://github.com/SebChw/Actually-Robust-Training.

Kronecker observed that either all roots or only one root of a solvable irreducible equation of odd prime degree with integer coefficients are real. This gives a possibility to construct specific examples of equations not solvable by radicals. A relatively elementary proof without using the full power of Galois theory is due to Weber. We give a rather short proof of Kronecker's theorem with a slightly different argument from Weber's. Several modern presentations of Weber's proof contain inaccuracies, which can be traced back to an error in the original proof. We discuss this error and how it can be corrected., Comment: 1 figure

Lie brackets or Lie affgebra structures on several classes of affine spaces of matrices are studied. These include general normalised affine matrices, special normalised affine matrices, anti-symmetric and anti-hermitian normalised affine matrices and special anti-hermitian normalised affine matrices. It is shown that, when retracted to the underlying vector spaces, they correspond to classical matrix Lie algebras: general and special linear, anti-symmetric, anti-hermitian and special anti-hermitian Lie algebras respectively., Comment: 9 pages

Connections between heaps of modules and (affine) modules over rings are explored. This leads to explicit, often constructive, descriptions of some categorical constructions and properties that are implicit in universal algebra and algebraic theories. In particular, it is shown that the category of groups with a compatible action of a truss T (also called pointed T-modules) is isomorphic to the category of modules over the ring R(T) universally associated to the truss. This is widely used in the explicit description of free objects. Next, it is proven that the category of heaps of modules over T is isomorphic to the category of affine modules over R(T) and, in order to make the picture complete, that (in the unital case) these are in turn equivalent to a specific subcategory of the slice category of pointed T-modules over R(T). These correspondences and properties are then used to describe explicitly various (co)limits and to compare short exact sequences in the Barr-exact category of heaps of T-modules with short exact sequences as defined previously., Comment: 28 pages, comments are welcome

The affine space of traceless complex matrices in which the sum of all elements in every row and every column is equal to one is presented as an example of an affine space with a Lie bracket or a Lie affgebra., Comment: 8 pages; XL Workshop on Geometric Methods in Physics, Bia{\l}owie\.za 2023

Lie algebras are extended to the affine case using the heap operation, giving them a definition that is not dependent on the unique element 0, such that they still adhere to antisymmetry and Jacobi properties. It is then looked at how Nijenhuis brackets function on these Lie affgebras and demonstrated how they fulfil the compatibility condition in the affine case., Comment: 20 pages

In drug discovery, mapping interactions between genes within cellular systems is a crucial early step. This helps formulate hypotheses regarding molecular mechanisms that could potentially be targeted by future medicines. The CausalBench Challenge was an initiative to invite the machine learning community to advance the state of the art in constructing gene-gene interaction networks. These networks, derived from large-scale, real-world datasets of single cells under various perturbations, are crucial for understanding the causal mechanisms underlying disease biology. Using the framework provided by the CausalBench benchmark, participants were tasked with enhancing the capacity of the state of the art methods to leverage large-scale genetic perturbation data. This report provides an analysis and summary of the methods submitted during the challenge to give a partial image of the state of the art at the time of the challenge. The winning solutions significantly improved performance compared to previous baselines, establishing a new state of the art for this critical task in biology and medicine.

Multi-Criteria Decision Analysis (MCDA) is extensively used across diverse industries to assess and rank alternatives. Among numerous MCDA methods developed to solve real-world ranking problems, TOPSIS remains one of the most popular choices in many application areas. TOPSIS calculates distances between the considered alternatives and two predefined ones, namely the ideal and the anti-ideal, and creates a ranking of the alternatives according to a chosen aggregation of these distances. However, the interpretation of the inner workings of TOPSIS is difficult, especially when the number of criteria is large. To this end, recent research has shown that TOPSIS aggregations can be expressed using the means (M) and standard deviations (SD) of alternatives, creating MSD-space, a tool for visualizing and explaining aggregations. Even though MSD-space is highly useful, it assumes equally important criteria, making it less applicable to real-world ranking problems. In this paper, we generalize the concept of MSD-space to weighted criteria by introducing the concept of WMSD-space defined by what is referred to as weight-scaled means and standard deviations. We demonstrate that TOPSIS and similar distance-based aggregation methods can be successfully illustrated in a plane and interpreted even when the criteria are weighted, regardless of their number. The proposed WMSD-space offers a practical method for explaining TOPSIS rankings in real-world decision problems.

To every Hopf heap or quantum cotorsor of Grunspan a Hopf algebra of translations is associated. This translation Hopf algebra acts on the Hopf heap making it a Hopf-Galois co-object. Conversely, any Hopf-Galois co-object has the natural structure of a Hopf heap with the translation Hopf algebra isomorphic to the acting Hopf algebra. It is then shown that this assignment establishes an equivalence between categories of Hopf heaps and Hopf-Galois co-objects., Comment: 14 pages

The classical Hochschild cohomology theory of rings is extended to abelian heaps with distributing multiplication or trusses. This cohomology is then employed to give necessary and sufficient conditions for a Nijenhuis product on a truss (defined by the extension of the Nijenhuis product on an associative ring introduced by Cari\~nena, Grabowski and Marmo in [Internat. J. Modern Phys. A 15 (2000), 4797-4810, arXiv:math-ph/0610011]) to be associative. The definition of Nijenhuis product and operators on trusses is then linearised to the case of affine spaces with compatible associative multiplications or associative affgebras. It is shown that this construction leads to compatible Lie brackets on an affine space.

Objective: The aim of this work is to investigate the feasibility of the Jagiellonian Positron Emission Tomography (J-PET) scanner for intra-treatment proton beam range monitoring. Approach: The Monte Carlo simulation studies with GATE and PET image reconstruction with CASToR were performed in order to compare six J-PET scanner geometries (three dual-heads and three cylindrical). We simulated proton irradiation of a PMMA phantom with a Single Pencil Beam (SPB) and Spread-Out Bragg Peak (SOBP) of various ranges. The sensitivity and precision of each scanner were calculated, and considering the setup's cost-effectiveness, we indicated potentially optimal geometries for the J-PET scanner prototype dedicated to the proton beam range assessment. Main results: The investigations indicate that the double-layer cylindrical and triple-layer double-head configurations are the most promising for clinical application. We found that the scanner sensitivity is of the order of 10$^{-5}$ coincidences per primary proton, while the precision of the range assessment for both SPB and SOBP irradiation plans was found below 1 mm. Among the scanners with the same number of detector modules, the best results are found for the triple-layer dual-head geometry. Significance: We performed simulation studies demonstrating that the feasibility of the J-PET detector for PET-based proton beam therapy range monitoring is possible with reasonable sensitivity and precision enabling its pre-clinical tests in the clinical proton therapy environment. Considering the sensitivity, precision and cost-effectiveness, the double-layer cylindrical and triple-layer dual-head J-PET geometry configurations seem promising for the future clinical application. Experimental tests are needed to confirm these findings., Comment: 19 pages, 7 pages

We report a study of the original image reconstruction algorithm based on the time-of-flight maximum likelihood expectation maximisation (TOF MLEM), developed for the total-body (TB) Jagiellonian PET (J-PET) scanners. The method is applicable to generic cylindrical or modular multi-layer layouts and is extendable to multi-photon imaging. The system response matrix (SRM) is represented as a set of analytical functions, uniquely defined for each pair of plastic scintillator strips used for the detection. A realistic resolution model (RM) in detector space is derived from fitting the Monte Carlo simulated emissions and detections of annihilation photons on oblique transverse planes. Additional kernels embedded in SRM account for TOF, parallax effect and axial smearing. The algorithm was tested on datasets, simulated in GATE for the NEMA IEC and static XCAT phantoms inside a 24-module 2-layer TB J-PET. Compared to the reference TOF MLEM with none or a shift-invariant RM, an improvement was observed, as evaluated by the analysis of image quality, difference images and ground truth metrics. We also reconstructed the data with additive contributions, pre-filtered geometrically and with non-TOF scatter correction applied. Despite some deterioration, the obtained results still capitalise on the realistic RM with better edge preservation and superior ground truth metrics. The envisioned prospects of the TOF MLEM with analytical SRM include its application in multi-photon imaging and further upgrade to account for the non-collinearity, positron range and other factors.

Machine learning applications, especially in the fields of me\-di\-cine and social sciences, are slowly being subjected to increasing scrutiny. Similarly to sample size planning performed in clinical and social studies, lawmakers and funding agencies may expect statistical uncertainty estimations in machine learning applications that impact society. In this paper, we present an easy-to-use python package and web application for estimating prediction confidence intervals. The package offers eight different procedures to determine and justify the sample size and confidence of predictions from holdout, bootstrap, cross-validation, and progressive validation experiments. Since the package builds directly on established data analysis libraries, it seamlessly integrates into preprocessing and exploratory data analysis steps. Code related to this paper is available at: https://github.com/dabrze/confidence-planner.

Let $A$ be a Hopf algebra equipped with a projection onto the coordinate Hopf algebra $\mathcal{O}(G)$ of a semisimple algebraic group $G$. It is shown that if $A$ admits a suitably non-degenerate comodule $V$ and the induced $G$-module structure of $V$ is non-trivial, then the third Hochschild homology group of $A$ is non-trivial., Comment: to appear in J. Noncomm. Geom

It is argued that a nonsingular elliptic curve admits a natural or fundamental abelian heap structure uniquely determined by the curve itself. It is shown that the set of complex analytic or rational functions from a nonsingular elliptic curve to itself is a truss arising from endomorphisms of this heap., Comment: 8 pages

The wealth of data being gathered about humans and their surroundings drives new machine learning applications in various fields. Consequently, more and more often, classifiers are trained using not only numerical data but also complex data objects. For example, multi-omics analyses attempt to combine numerical descriptions with distributions, time series data, discrete sequences, and graphs. Such integration of data from different domains requires either omitting some of the data, creating separate models for different formats, or simplifying some of the data to adhere to a shared scale and format, all of which can hinder predictive performance. In this paper, we propose a classification method capable of handling datasets with features of arbitrary data types while retaining each feature's characteristic. The proposed algorithm, called Random Similarity Forest, uses multiple domain-specific distance measures to combine the predictive performance of Random Forests with the flexibility of Similarity Forests. We show that Random Similarity Forests are on par with Random Forests on numerical data and outperform them on datasets from complex or mixed data domains. Our results highlight the applicability of Random Similarity Forests to noisy, multi-source datasets that are becoming ubiquitous in high-impact life science projects.

A frame-independent formulation of Lie brackets on affine spaces or {\em Lie affebras} introduced in [K.\ Grabowska, J.\ Grabowski \& P.\ Urba\'nski, Lie brackets on affine bundles, {\em Ann.\ Global Anal.\ Geom.} {\bf 24} (2003), 101--130] is given., Comment: 12 pages

A notion of heaps of modules as an affine version of modules over a ring or, more generally, over a truss, is introduced and studied. Basic properties of heaps of modules are derived. Examples arising from geometry (connections, affine spaces) and algebraic topology (chain contractions) are presented. Relationships between heaps of modules and modules over a ring and affine spaces are revealed and analysed.

It is shown that generalized Rota-Baxter operators introduced in [W.A. Martinez, E.G. Reyes & M. Ronco, Int. J. Geom. Meth. Mod. Phys. 18 (2021) 2150176] are a special case of Rota-Baxter systems [T. Brzezi\'nski, J. Algebra 460 (2016), 1-25]. The latter are enriched by homothetisms and then shown to give examples of Dyck$^m$-algebras., Comment: 8 pages, submitted to the proceeding of the 14-th International Workshop "Lie Theory and Its Applications in Physics" (LT-14), 21-25 June 2021, Sofia, Bulgaria (on-line)

We estimate the short- to medium term impact of six major past pandemic crises on the CO2 emissions and energy transition to renewable electricity. The results show that the previous pandemics led on average to a 3.4-3.7% fall in the CO2 emissions in the short-run (1-2 years since the start of the pandemic). The effect is present only in the rich countries, as well as in countries with the highest pandemic death toll (where it disappears only after 8 years) and in countries that were hit by the pandemic during economic recessions. We found that the past pandemics increased the share of electricity generated from renewable sources within the fiveyear horizon by 1.9-2.3 percentage points in the OECD countries and by 3.2-3.9 percentage points in countries experiencing economic recessions. We discuss the implications of our findings in the context of CO2 emissions and the transition to renewable energy in the post-COVID-19 era.

It is shown that there is a close relationship between ideal extensions of rings and trusses, that is, sets with a semigroup operation distributing over a ternary abelian heap operation. Specifically, a truss can be associated to every element of an extension ring that projects down to an idempotent in the extending ring; every weak equivalence of extensions yields an isomorphism of corresponding trusses. Furthermore, equivalence classes of ideal extensions of rings by integers are in one-to-one correspondence with associated trusses up to isomorphism given by a translation. Conversely, to any truss $T$ and an element of this truss one can associate a ring and its extension by integers in which $T$ is embedded as a truss. Consequently any truss can be understood as arising from an ideal extension by integers. The key role is played by interpretation of ideal extensions by integers as extensions defined by double homothetisms of Redei [L.\ Redei, Die Verallgemeinerung der Schreierschen Erweiterungstheorie, {\em Acta Sci.\ Math.\ Szeged}, {\bf 14} (1952), 252--273] or by self-permutable bimultiplications of Mac Lane [S.\ Mac Lane, Extensions and obstructions for rings, {\em Illinois J.\ Math.} {\bf 2} (1958), 316--345], that is, as {\em integral homothetic extensions}. It is shown that integral homothetic extensions of trusses are universal as extensions of trusses to rings but still enjoy a particular smallness property: they do not contain any subrings to which the truss inclusion map corestricts. Minimal extensions of trusses into rings are defined. The correspondence between homothetic ring extensions and trusses is used to classify fully up to isomorphism trusses arising from rings with zero multiplication and rings with trivial annihilators., Comment: 42 pages

It is shown that the Baer-Kaplansky theorem can be extended to all abelian groups provided that the rings of endomorphisms of groups are replaced by trusses of endomorphisms of corresponding heaps. That is, every abelian group is determined up to isomorphism by its endomorphism truss and every isomorphism between two endomorphism trusses associated to some abelian groups $G$ and $H$ is induced by an isomorphism between $G$ and $H$ and an element from $H$. This correspondence is then extended to all modules over a ring by considering heaps of modules. It is proved that the truss of endomorphisms of a heap associated to a module $M$ determines $M$ as a module over its endomorphism ring., Comment: 11 pages

Feature selection is a data mining task with the potential of speeding up classification algorithms, enhancing model comprehensibility, and improving learning accuracy. However, finding a subset of features that is optimal in terms of predictive accuracy is usually computationally intractable. Out of several heuristic approaches to dealing with this problem, the Recursive Feature Elimination (RFE) algorithm has received considerable interest from data mining practitioners. In this paper, we propose two novel algorithms inspired by RFE, called Fibonacci- and k-Subsecting Recursive Feature Elimination, which remove features in logarithmic steps, probing the wrapped classifier more densely for the more promising feature subsets. The proposed algorithms are experimentally compared against RFE on 28 highly multidimensional datasets and evaluated in a practical case study involving 3D electron density maps from the Protein Data Bank. The results show that Fibonacci and k-Subsecting Recursive Feature Elimination are capable of selecting a smaller subset of features much faster than standard RFE, while achieving comparable predictive performance.

The notion of a pre-truss, that is, a set that is both a heap and a semigroup is introduced. Pre-trusses themselves as well as pre-trusses in which one-sided or two-sided distributive laws hold are studied. These are termed near-trusses and skew trusses respectively. Congruences in pre-trusses are shown to correspond to paragons defined here as sub-heaps satisfying particular closure property. Near-trusses corresponding to skew braces and near-rings are identified through their paragon and ideal structures. Regular elements in a pre-truss are defined leading to the notion of a (pre-truss) domain. The latter are described as quotients by completely prime paragons, also defined hereby. Regular pre-trusses as domains that satisfy the Ore condition are introduced and the pre-trusses of fractions are defined. In particular, it is shown that near-trusses of fractions without an absorber correspond to skew braces., Comment: 25 pages; v2 a connection with skew-rings explained, references updated

Categorical aspects of the theory of modules over trusses are studied. Tensor product of modules over trusses is defined and its existence established. In particular, it is shown that bimodules over trusses form a monoidal category. Truss versions of the Eilenberg-Watts theorem and Morita equivalence are formulated. Projective and small-projective modules over trusses are defined and their properties studied., Comment: Authors' Accepted Manuscript

Two observations in support of the thesis that trusses are inherent in ring theory are made. First, it is shown that every equivalence class of a congruence relation on a ring or, equivalently, any element of the quotient of a ring $R$ by an ideal $I$ is a paragon in the truss $\mathrm{T}(R)$ associated to $R$. Second, an extension of a truss by a one-sided module is described. Even if the extended truss is associated to a ring, the resulting object is a truss, never a ring, unless the module is trivial. On the other hand, if the extended truss is associated to a brace, the resulting truss is also associated to a brace, irrespective of the module used., Comment: 20 pages

An algebraic framework for noncommutative bundles with (quantum) homogeneous fibres is proposed. The framework relies on the use of principal coalgebra extensions which play the role of principal bundles in noncommutative geometry which might be additionally equipped with a Hopf algebra symmetry. The proposed framework is supported by two examples of noncommutative $\mathbb{C} P_q^1$-bundles: the quantum flag manifold viewed as a bundle with a generic Podle\'s sphere as a fibre, and the quantum twistor bundle viewed as a bundle over the quantum 4-sphere of Bonechi, Ciccoli and Tarlini., Comment: 21 pages

Categorical constructions on heaps and modules over trusses are considered and contrasted with the corresponding constructions on groups and rings. These include explicit description of free heaps and free Abelian heaps, coproducts or direct sums of Abelian heaps and modules over trusses, and description and analysis of free modules over trusses. It is shown that the direct sum of two non-empty Abelian heaps is always infinite and isomorphic to the heap associated to the direct sums of the group retracts of both heaps and $\mathbb{Z}$. Direct sum is used to extend a given truss to a ring-type truss or a unital truss (or both). Free modules are constructed as direct sums of a truss. It is shown that only free rank-one modules are free as modules over the associated truss. On the other hand, if a (finitely generated) module over a truss associated to a ring is free, then so is the corresponding quotient-by-absorbers module over this ring., Comment: 25 pages

Up to Morita equivalence, every quasi-hereditary algebra is the dual algebra of a directed bocs or coring. From the bocs, an exact Borel subalgebra is obtained. In this paper a characterisation of exact Borel subalgebras arising in this way is given., Comment: 13 pages

The quantum flag manifold ${SU_q(3)/\mathbb{T}^2}$ is interpreted as a noncommutative bundle over the quantum complex projective plane with the quantum or Podle\'s sphere as a fibre. A connection arising from the (associated) quantum principal $U_q(2)$-bundle is described., Comment: 18 pages

The structure of the $C^*$-algebra of functions on the quantum flag manifold $SU_q(3)/\mathbb{T}^2$ is investigated. Building on the representation theory of $C(SU_q(3))$, we analyze irreducible representations and the primitive ideal space of $C(SU_q(3)/\mathbb{T}^2)$, with a view towards unearthing the `quantum sphere bundle' $\mathbb{C} P_q^1 \to SU_q(3)/\mathbb{T}^2 \to \mathbb{C} P_q^2$, Comment: 11 pages; to appear in the proceedings of XXXVI Workshop on Geometric Methods in Physics, Bia\l owie\.za 2018; v2 two references added

Trusses, defined as sets with a suitable ternary and a binary operations, connected by the distributive laws, are studied from a ring and module theory point of view. The notions of ideals and paragons in trusses are introduced and several constructions of trusses are presented. A full classification of truss structures on the Abelian group of integers is given. Modules over trusses are defined and their basic properties and examples are analysed. In particular, the sufficient and necessary condition for a sub-heap of a module to induce a module structure on the quotient heap is established., Comment: 39 pages; v2 - presentation made more economical, appendix removed, misprints corrected, and terminology adjusted

The $\theta$-deformed Hopf fibration $\mathbb{S}^3_\theta\to \mathbb{S}^2$ over the commutative $2$-sphere is compared with its classical counterpart. It is shown that there exists a natural isomorphism between the corresponding associated module functors and that the affine spaces of classical and deformed connections are isomorphic. The latter isomorphism is equivariant under an appropriate notion of infinitesimal gauge transformations in these contexts. Gauge transformations and connections on associated modules are studied and are shown to be sensitive to the deformation parameter. A homotopy theoretic explanation for the existence of a close relationship between the classical and deformed Hopf fibrations is proposed.

We study the twisted reality condition of Math. Phys. Anal. Geom. 19 (2016),no. 3, Art. 16, for spectral triples, in particular with respect to the product and the commutant. Motivated by this we present the procedure, which allows one to "untwist" the twisted spectral triples studied in Lett. Math. Phys. 106 (2016), 1499-1530. We also relate this construction to conformally rescaled real twisted spectral triples, and discuss the untwisting of the `minimal twist' procedure of an even spectral triple., Comment: 15 pages

A general or truss distributive laws between two associative operations on the same set are studied for cancellative and inverse semigroups., Comment: 13 pages; contribution to the proceedings of the 13th Workshop on Differential Geometry and Its Applications, Ploiesti 2017

A class of skew derivations on complex Noetherian generalized down-up algebras $L=L(f,r,s,\gamma)$ is constructed., Comment: 7 pages; contribution to the Proceedings of the XXXVI Workshop on Geometric Methods in Physics, Bialowieza 2017

In an attempt to understand the origins and the nature of the law binding together two group operations into a {\em skew brace}, introduced in [L.\ Guarnieri \& L.\ Vendramin, Math.\ Comp.\ \textbf{86} (2017), 2519--2534] as a non-Abelian version of the {\em brace distributive law} of [W.\ Rump, J.\ Algebra {\bf 307} (2007), 153--170] and [F.\ Ced\'o, E.\ Jespers \& J.\ Okni\'nski, Commun.\ Math.\ Phys.\ {\bf 327} (2014), 101--116], the notion of a {\em skew truss} is proposed. A skew truss consists of a set with a group operation and a semigroup operation connected by a modified distributive law that interpolates between that of a ring and a brace. It is shown that a particular action and a cocycle characteristic of skew braces are already present in a skew truss; in fact the interpolating function is a 1-cocycle, the bijecitivity of which indicates the existence of an operation that turns a truss into a brace. Furthermore, if the group structure in a two-sided truss is Abelian, then there is an associated ring -- another feature characteristic of a two-sided brace. To characterise a morphism of trusses, a {\em pith} is defined as a particular subset of the domain consisting of subsets termed {\em chambers}, which contains the kernel of the morphism as a group homomorphism. In the case of both rings and braces piths coincide with kernels. In general the pith of a morphism is a sub-semigroup of the domain and, if additional properties are satisfied, a pith is a $\mathbb{N}_+$-graded semigroup. Finally, giving heed to [I.\ Angiono, C.\ Galindo \& L.\ Vendramin, Proc.\ Amer.\ Math.\ Soc.\ {\bf 145} (2017), 1981--1995] we linearise trusses and thus define {\em Hopf trusses} and study their properties, from which, in parallel to the set-theoretic case, some properties of Hopf braces are shown to follow., Comment: 29 pages; v2 includes interpretation of the truss distributive law in terms of heaps (or herds or torsors), the definition of a morphism is simplified; v3 - the definition of a pith has been modified, and the definition of a Hopf truss slightly adjusted - accepted for publication in Transactions of the American Mathematical Society

With a plethora of available classification performance measures, choosing the right metric for the right task requires careful thought. To make this decision in an informed manner, one should study and compare general properties of candidate measures. However, analysing measures with respect to complete ranges of their domain values is a difficult and challenging task. In this study, we attempt to support such analyses with a specialized visualization technique, which operates in a barycentric coordinate system using a 3D tetrahedron. Additionally, we adapt this technique to the context of imbalanced data and put forward a set of properties which should be taken into account when selecting a classification performance measure. As a result, we compare 22 popular measures and show important differences in their behaviour. Moreover, for parametric measures such as the F$_{\beta}$ and IBA$_\alpha$(G-mean), we analytically derive parameter thresholds that change measure properties. Finally, we provide an online visualization tool that can aid the analysis of complete domain ranges of performance measures.

A non-classical differential calculus on the quantum disc and cones is constructed and the associated integral is calculated., Comment: 7 pages

An extended summary of the lecture course given at the V School on Geometry and Physics, Bia\l owe\.za 2016, in which an algebraic approach to differentiation and integration that is characteristic for non-commutative geometry is described., Comment: 5 pages

A wide class of skew derivations on degree-one generalized Weyl algebras $R(a,\varphi)$ over a ring $R$ is constructed. All these derivations are twisted by a degree-counting extensions of automorphisms of $R$. It is determined which of the constructed derivations are $Q$-skew derivations. The compatibility of these skew derivations with the natural ${\mathbb Z}$-grading of $R(a,\varphi)$ is studied. Additional classes of skew derivations are constructed for generalized Weyl algebras given by an automorphism $\varphi$ of a finite order. Conditions that the central element $a$ that forms part of the structure of $R(a,\varphi)$ need to satisfy for the orthogonality of pairs of aforementioned skew derivations are derived. General constructions are illustrated by classification of skew derivations of generalized Weyl algebras over the polynomial ring in one variable and with a linear polynomial as the central element., Comment: 24 pages

It is shown that, under some natural assumptions, the tensor product of differentially smooth algebras and the skew-polynomial rings over differentially smooth algebras are differentially smooth., Comment: 14 pages

Rota-Baxter systems are modified by the inclusion of a curvature term. It is shown that, subject to specific properties of the curvature form, curved Rota-Baxter systems $(A,R,S,\omega)$ induce associative and (left) pre-Lie products on the algebra $A$. It is also shown that if both Rota-Baxter operators coincide with each other and the curvature is $A$-bilinear, then the (modified by $R$) Hochschild cohomology ring over $A$ is a curved differential graded algebra., Comment: 7 pages; to appear in Bulletin of Belgian Mathematical Society - Simon Stevin

It is shown that the algebra of continuous functions on the quantum $2n+1$-dimensional lens space $C(L^{2n+1}_q(N; m_0,\ldots, m_n))$ is a graph $C^*$-algebra, for arbitrary positive weights $ m_0,\ldots, m_n$. The form of the corresponding graph is determined from the skew product of the graph which defines the algebra of continuous functions on the quantum sphere $S_q^{2n+1}$ and the cyclic group $\mathbb{Z}_N$, with the labelling induced by the weights. Based on this description, the K-groups of specific examples are computed. Furthermore, the K-groups of the algebras of continuous functions on quantum weighted projective spaces $C(\mathbb{WP}_q^n(m_0,\ldots, m_n))$, interpreted as fixed points under the circle action on $C(S_q^{2n+1})$, are computed under a mild assumption on the weights., Comment: 17 pages

Elements of noncommutative differential geometry of ${\mathbb Z}$-graded generalized Weyl algebras ${\mathcal A}(p;q)$ over the ring of polynomials in two variables and their zero-degree subalgebras ${\mathcal B}(p;q)$, which themselves are generalized Weyl algebras over the ring of polynomials in one variable, are discussed. In particular, three classes of skew derivations of ${\mathcal A}(p;q)$ are constructed, and three-dimensional first-order differential calculi induced by these derivations are described. The associated integrals are computed and it is shown that the dimension of the integral space coincides with the order of the defining polynomial $p(z)$. It is proven that the restriction of these first-order differential calculi to the calculi on ${\mathcal B}(p;q)$ is isomorphic to the direct sum of degree 2 and degree $-2$ components of ${\mathcal A}(p;q)$. A Dirac operator for ${\mathcal B}(p;q)$ is constructed from a (strong) connection with respect to this differential calculus on the (free) spinor bimodule defined as the direct sum of degree 1 and degree $-1$ components of ${\mathcal A}(p;q)$. The real structure of ${\rm KO}$-dimension two for this Dirac operator is also described.

Motivated by examples obtained from conformal deformations of spectral triples and a spectral triple construction on quantum cones we propose a new twisted reality condition for the Dirac operator., Comment: 9 pages; v2: changes in presentation and emphasis (including the main definition)

A generalisation of the notion of a Rota-Baxter operator is proposed. This generalisation consists of two operators acting on an associative algebra and satisfying equations similar to the Rota-Baxter equation. Rota-Baxter operators of any weights and twisted Rota-Baxter operators are solutions of the proposed system. It is shown that dendriform algebra structures of a particular kind are equivalent to Rota-Baxter systems. It is shown further that a Rota-Baxter system induces a weak peudotwistor [F. Panaite & F. Van Oystaeyen, Twisted algebras, twisted bialgebras and Rota-Baxter operators, arXiv:1502.05327 (2015)] which can be held responsible for the existence of a new associative product on the underlying algebra. Examples of solutions of Rota-Baxter systems are obtained from quasitriangular covariant bialgebras hereby introduced as a natural extension of infinitesimal bialgebras [M. Aguiar, Infinitesimal Hopf algebras, [in:] New trends in Hopf algebra theory (La Falda, 1999), Contemp. Math., 267, Amer. Math. Soc., Providence, RI, (2000), pp. 1-29]., Comment: 20 pages LaTeX

Two-dimensional integrable differential calculi for classes of Ore extensions of the polynomial ring and the Laurent polynomial ring in one variable are constructed. Thus it is concluded that all affine pointed Hopf domains of Gelfand-Kirillov dimension two which are not polynomial identity rings are differentially smooth., Comment: 8 pages

It is shown that the coordinate algebra of the quantum $2n+1$-dimensional lens space $\mathcal{O}(L^{2n+1}_q(\prod_{i=0}^n m_i; m_0,\ldots, m_n))$ is a principal $\mathbb{Z}$-comodule algebra or the coordinate algebra of a circle principal bundle over the weighted quantum projective space $\mathbb{WP}^n_q(m_0,\ldots, m_n)$. Furthermore, the weighted $U(1)$-action or the $\mathbb{CZ}$-coaction on the quantum odd dimensional sphere algebra $\mathcal{O}(S^{2n+1}_q)$ that defines $\mathbb{WP}^n_q(1,m_1,\ldots, m_n)$ is free or principal. Analogous results are proven for quantum real weighted projective spaces $\mathbb{RP}^{2n}_q(m_0,\ldots, m_n)$. The $K$-groups of $\mathbb{WP}^n_q(1,\ldots, 1, m)$ and $\mathbb{RP}^{2n}_q(1,\ldots, 1,m)$ and the $K_1$-group of $L^{2n+1}_q(N; m_0,\ldots, m_n)$ are computed, Comment: 14 pages; v2 minor revisions