Showing 1–18 of 18 results for author: Zamojska-Dzienio, A

Dihedral solutions of the set theoretical Yang-Baxter equation

Authors: Alex W. Nowak, Anna Zamojska-Dzienio

Abstract: We introduce the notion of a \emph{braided dihedral set} (BDS) to describe set-theoretical solutions of the Yang-Baxter equation (YBE) that furnish representations of the infinite dihedral group on the Cartesian square of the underlying set. BDS which lead to representations of the symmetric group on three objects are called \emph{braided triality sets} (BTS). Basic examples of BDS come from symme… ▽ More We introduce the notion of a \emph{braided dihedral set} (BDS) to describe set-theoretical solutions of the Yang-Baxter equation (YBE) that furnish representations of the infinite dihedral group on the Cartesian square of the underlying set. BDS which lead to representations of the symmetric group on three objects are called \emph{braided triality sets} (BTS). Basic examples of BDS come from symmetric spaces. We show that Latin BDS (LBDS) can be described entirely in terms of involutions of uniquely 2-divisible Bruck loops. We show that isomorphism classes of LBDS are in one-to-one correspondence with conjugacy classes of involutions of uniquely 2-divisible Bruck loops. We describe all LBDS of prime, prime-square and 3 times prime-order, up to isomorphism. Using \texttt{GAP}, we enumerate isomorphism classes of LBDS of orders 27 and 81. Latin BTS, or LBTS, are shown to be in one-to-one correspondence with involutions of commutative Moufang loops of exponent 3 (CML3), and, as with LBDS, isomorphisms classes of LBTS coincide with conjugacy classes of CML3-involutions. We classify all LBTS of order at most 81. △ Less

Submitted 8 April, 2025; originally announced April 2025.

MSC Class: 16T25; 20N05

Barycentric algebras -- convexity and order

Authors: Anna Zamojska-Dzienio

Abstract: This is the abstract of a series of lectures given during the XIIIth School on Geometry and Physics, Bialystok (Poland), in July 2024. In this minicourse, we first examine the algebraic aspects of barycentric algebras. Then, we focus on various examples and applications, reviewing the pertinence of the barycentric algebra structure. This is the abstract of a series of lectures given during the XIIIth School on Geometry and Physics, Bialystok (Poland), in July 2024. In this minicourse, we first examine the algebraic aspects of barycentric algebras. Then, we focus on various examples and applications, reviewing the pertinence of the barycentric algebra structure. △ Less

Submitted 12 January, 2025; originally announced January 2025.

MSC Class: 08A99; 52A01; 03C05

Partitions of unity and barycentric algebras

Authors: Anna Zamojska-Dzienio

Abstract: Barycentric coordinates provide solutions to the problem of expressing an element of a compact convex set as a convex combination of a finite number of extreme points of the set. They have been studied widely within the geometric literature, typically in response to the demands of interpolation, numerical analysis and computer graphics. In this note we bring an algebraic perspective to the problem… ▽ More Barycentric coordinates provide solutions to the problem of expressing an element of a compact convex set as a convex combination of a finite number of extreme points of the set. They have been studied widely within the geometric literature, typically in response to the demands of interpolation, numerical analysis and computer graphics. In this note we bring an algebraic perspective to the problem, based on barycentric algebras. We focus on the discussion of relations between different subclasses of partitions of unity, one arising in the context of barycentric coordinates, based on the tautological map introduced by Guessab. △ Less

Submitted 1 January, 2025; originally announced January 2025.

MSC Class: 51M20; 52A01; 52B99

From affine to barycentric coordinates in polytopes

Authors: Anna B. Romanowska, Jonathan D. H. Smith, Anna Zamojska-Dzienio

Abstract: Each point of a simplex is expressed as a unique convex combination of the vertices. The coefficients in the combination are the barycentric coordinates of the point. For each point in a general convex polytope, there may be multiple representations, so its barycentric coordinates are not necessarily unique. There are various schemes to fix particular barycentric coordinates: Gibbs, Wachspress, ca… ▽ More Each point of a simplex is expressed as a unique convex combination of the vertices. The coefficients in the combination are the barycentric coordinates of the point. For each point in a general convex polytope, there may be multiple representations, so its barycentric coordinates are not necessarily unique. There are various schemes to fix particular barycentric coordinates: Gibbs, Wachspress, cartographic, etc. In this paper, a method for producing sparse barycentric coordinates in polytopes will be discussed. It uses a purely algebraic treatment of affine spaces and convex sets, with barycentric algebras. The method is based on a certain decomposition of each finite-dimensional convex polytope into a union of simplices of the same dimension. △ Less

Submitted 1 April, 2025; v1 submitted 30 November, 2023; originally announced December 2023.

MSC Class: 08A99; 52A01; 52B99

Journal ref: Banach Center Publications 129 (2025), 185-200

Barycentric algebra and convex polygon coordinates

Authors: A. B. Romanowska, J. D. H. Smith, A. Zamojska-Dzienio

Abstract: Barycentric coordinates provide solutions to the problem of expressing an element of a compact convex set as a convex combination of a finite number of extreme points of the set. Various approaches to this problem have arisen, in various contexts. The most general solution, namely the Gibbs coordinates based on entropy maximization, actually work in the broader setting of barycentric algebras, whi… ▽ More Barycentric coordinates provide solutions to the problem of expressing an element of a compact convex set as a convex combination of a finite number of extreme points of the set. Various approaches to this problem have arisen, in various contexts. The most general solution, namely the Gibbs coordinates based on entropy maximization, actually work in the broader setting of barycentric algebras, which constitute semilattice-ordered systems of convex sets. These coordinates involve exponential functions. For convex polytopes, Wachspress coordinates offer solutions which only involve rational functions. The current paper focuses primarily on convex polygons in the plane. After summarizing the Gibbs and Wachspress coordinates, we identify where they agree, and provide comparisons between them when they do not. Within a general formalism for analyzing coordinate systems, we then introduce a direct sparse geometric approach based on chordal decompositions of polygons, along with a symmetrized version which creates what we call cartographic coordinates. We present comparisons between cartographic coordinates based on distinct chordal decompositions, and comparisons of cartographic coordinates with Gibbs and Wachspress coordinates. △ Less

Submitted 13 August, 2023; originally announced August 2023.

Comments: 62 pages, 8 figures

MSC Class: 51M20; 52A01; 52B99

Cocyclic braces and indecomposable cocyclic solutions of the Yang-Baxter equation

Authors: Přemysl Jedlička, Agata Pilitowska, Anna Zamojska-Dzienio

Abstract: We study indecomposable involutive set-theoretic solutions of the Yang-Baxter equation with cyclic permutation groups (cocyclic solutions). In particular, we show that there is no one-to-one correspondence between indecomposable cocyclic solutions and cocyclic braces which contradicts recent results in \cite{Rump21}. We study indecomposable involutive set-theoretic solutions of the Yang-Baxter equation with cyclic permutation groups (cocyclic solutions). In particular, we show that there is no one-to-one correspondence between indecomposable cocyclic solutions and cocyclic braces which contradicts recent results in \cite{Rump21}. △ Less

Submitted 26 July, 2021; originally announced July 2021.

MSC Class: Primary: 16T25. Secondary: 20B35; 20D15

Journal ref: Proc. Amer. Math. Soc. 150 (2022), 4223-4239

Indecomposable involutive solutions of the Yang-Baxter equation of multipermutational level 2 with abelian permutation group

Authors: Přemysl Jedlička, Agata Pilitowska, Anna Zamojska-Dzienio

Abstract: We present a construction of all finite indecomposable involutive solutions of the Yang-Baxter equation of multipermutational level at most 2 with abelian permutation group. As a consequence, we obtain a formula for the number of such solutions with a fixed number of elements. We also describe some properties of the automorphism groups in this case - in particular, we show they are regular abelian… ▽ More We present a construction of all finite indecomposable involutive solutions of the Yang-Baxter equation of multipermutational level at most 2 with abelian permutation group. As a consequence, we obtain a formula for the number of such solutions with a fixed number of elements. We also describe some properties of the automorphism groups in this case - in particular, we show they are regular abelian groups. △ Less

Submitted 31 October, 2020; originally announced November 2020.

Comments: 14 pages

MSC Class: 16T25; 20B35

Journal ref: Forum Math. 33(5) (2021), 1083-1096

Semilattice ordered algebras with constants

Authors: Agata Pilitowska, Anna Zamojska-Dzienio

Abstract: We continue our studies on semilattice ordered algebras. This time we accept constants in the type of algebras. We investigate identities satisfied by such algebras and describe the free objects in varieties of semilattice ordered algebras with constants. We continue our studies on semilattice ordered algebras. This time we accept constants in the type of algebras. We investigate identities satisfied by such algebras and describe the free objects in varieties of semilattice ordered algebras with constants. △ Less

Submitted 3 June, 2020; originally announced June 2020.

MSC Class: Primary: 06F05. Secondary: 08B20; 08A30

Knot-theoretic flocks

Authors: Maciej Niebrzydowski, Agata Pilitowska, Anna Zamojska-Dzienio

Abstract: We characterize the para-associative ternary quasigroups (flocks) applicable to knot theory, and show which of these structures are isomorphic. We enumerate them up to order 64. We note that the operation used in knot-theoretic flocks has its non-associative version in extra loops. We use a group action on the set of flock colorings to improve the cocycle invariant associated with the knot-theoret… ▽ More We characterize the para-associative ternary quasigroups (flocks) applicable to knot theory, and show which of these structures are isomorphic. We enumerate them up to order 64. We note that the operation used in knot-theoretic flocks has its non-associative version in extra loops. We use a group action on the set of flock colorings to improve the cocycle invariant associated with the knot-theoretic flock (co)homology. △ Less

Submitted 26 August, 2019; originally announced August 2019.

Comments: 14 pages

MSC Class: 20N15; 57M25 (Primary) 57M27; 03C05; 08A05 (Secondary)

Distributive biracks and solutions of the Yang-Baxter equation

Authors: Přemysl Jedlička, Agata Pilitowska, Anna Zamojska-Dzienio

Abstract: We investigate a class of non-involutive solutions of the Yang-Baxter equation which generalize self-distributive (derived) solutions. In particular, we study generalized multipermutation solutions in this class. We show that the Yang-Baxter (permutation) groups of such solutions are nilpotent. We formulate the results in the language of biracks. We investigate a class of non-involutive solutions of the Yang-Baxter equation which generalize self-distributive (derived) solutions. In particular, we study generalized multipermutation solutions in this class. We show that the Yang-Baxter (permutation) groups of such solutions are nilpotent. We formulate the results in the language of biracks. △ Less

Submitted 14 November, 2019; v1 submitted 10 June, 2019; originally announced June 2019.

Comments: Previous title was "Multipermutation distributive solutions of Yang-Baxter equation have nilpotent permutation groups"

MSC Class: 16T25; 20F18; 20B35; 08A30

Journal ref: Internat.J.Algebra Comput. 30 (2020), 667-683

The construction of multipermutation solutions of the Yang-Baxter equation of level 2

Authors: Přemysl Jedlička, Agata Pilitowska, Anna Zamojska-Dzienio

Abstract: We study involutive set-theoretic solutions of the Yang-Baxter equation of multipermutation level 2. These solutions happen to fall into two classes -- distributive ones and non-distributive ones. The distributive ones can be effectively constructed using a set of abelian groups and a matrix of constants. Using this construction, we enumerate all distributive involutive solutions up to size 14. Th… ▽ More We study involutive set-theoretic solutions of the Yang-Baxter equation of multipermutation level 2. These solutions happen to fall into two classes -- distributive ones and non-distributive ones. The distributive ones can be effectively constructed using a set of abelian groups and a matrix of constants. Using this construction, we enumerate all distributive involutive solutions up to size 14. The non-distributive solutions can be also easily constructed, using a distributive solution and a permutation. △ Less

Submitted 14 May, 2019; v1 submitted 5 January, 2019; originally announced January 2019.

Comments: 25 pages; Section 6 modified and Section 9 deleted - now we focus only on the construction

MSC Class: Primary: 16T25. Secondary: 20N02; 20B25

Journal ref: J. Comb. Theory Ser. A. 176 (2020), 105295

The retraction relation for biracks

Authors: Přemysl Jedlička, Agata Pilitowska, Anna Zamojska-Dzienio

Abstract: In {\it Set-theoretical solutions to the quantum Yang-Baxter equation} (Duke Math. J. {\bf 100} (1999), 169--209), Etingof, Schedler and Soloviev introduced, for each non-degenerate involutive set-theoretical solution $(X,σ,τ)$ of the Yang-Baxter equation, the equivalence relation $\sim$ defined on the set $X$ and they considered a new non-degenerate involutive induced \emph{retraction} solution d… ▽ More In {\it Set-theoretical solutions to the quantum Yang-Baxter equation} (Duke Math. J. {\bf 100} (1999), 169--209), Etingof, Schedler and Soloviev introduced, for each non-degenerate involutive set-theoretical solution $(X,σ,τ)$ of the Yang-Baxter equation, the equivalence relation $\sim$ defined on the set $X$ and they considered a new non-degenerate involutive induced \emph{retraction} solution defined on the quotient set $X^{\sim}$. It is well known that translating set-theoretical non-degenerate solutions of the Yang-Baxter equation into the universal algebra language we obtain an algebra called a \emph{birack}. In the paper we introduce the \emph{generalized retraction} relation $\approx$ on a birack, which is equal to $\sim$ in an involutive case. We present a complete algebraic proof that the relation $\approx$ is a congruence of the birack. Thus we show that the retraction of a set-theoretical non-degenerate solution is well defined not only in the involutive case but also in the case of all non-involutive solutions. △ Less

Submitted 5 January, 2019; v1 submitted 9 August, 2018; originally announced August 2018.

Comments: 15 pages

MSC Class: Primary: 16T25; 08A30. Secondary: 20N02; 08A62; 03C05

Journal ref: J. Pure Appl. Algebra 223 (2019), 3594-3610

Knot-theoretic ternary groups

Authors: Maciej Niebrzydowski, Agata Pilitowska, Anna Zamojska-Dzienio

Abstract: We describe various properties and give several characterizations of ternary groups satisfying two axioms derived from the third Reidemeister move in knot theory. Using special attributes of such ternary groups, such as semi-commutativity, we construct a ternary invariant of curves immersed in compact surfaces, considered up to flat Reidemeister moves. We describe various properties and give several characterizations of ternary groups satisfying two axioms derived from the third Reidemeister move in knot theory. Using special attributes of such ternary groups, such as semi-commutativity, we construct a ternary invariant of curves immersed in compact surfaces, considered up to flat Reidemeister moves. △ Less

Submitted 5 August, 2018; v1 submitted 20 May, 2018; originally announced May 2018.

Comments: 18 pages

MSC Class: 20N15; 57M25 (Primary) 57M27; 03C05; 08A05 (Secondary)

Journal ref: Fundamenta Mathematicae 247 (2019) , 299-320

Subquandles of affine quandles

Authors: Přemysl Jedlička, Agata Pilitowska, David Stanovský, Anna Zamojska-Dzienio

Abstract: A quandle will be called quasi-affine, if it embeds into an affine quandle. Our main result is a characterization of quasi-affine quandles, by group-theoretic properties of their displacement group, by a universal algebraic condition coming from the commutator theory, and by an explicit construction over abelian groups. As a consequence, we obtain efficient algorithms for recognizing affine and qu… ▽ More A quandle will be called quasi-affine, if it embeds into an affine quandle. Our main result is a characterization of quasi-affine quandles, by group-theoretic properties of their displacement group, by a universal algebraic condition coming from the commutator theory, and by an explicit construction over abelian groups. As a consequence, we obtain efficient algorithms for recognizing affine and quasi-affine quandles, and we enumerate small quasi-affine quandles. We also prove that the "abelian implies quasi-affine" problem of universal algebra has affirmative answer for the class of quandles. △ Less

Submitted 5 June, 2018; v1 submitted 7 August, 2017; originally announced August 2017.

MSC Class: 20N02; 57M27; 08A05; 15A78

Free medial quandles

Authors: Premysl Jedlicka, Agata Pilitowska, Anna Zamojska-Dzienio

Abstract: This paper brings the construction of free medial quandles as well as free $n$-symmetric medial quandles and free $m$-reductive medial quandles. This paper brings the construction of free medial quandles as well as free $n$-symmetric medial quandles and free $m$-reductive medial quandles. △ Less

Submitted 16 April, 2016; v1 submitted 19 December, 2015; originally announced December 2015.

MSC Class: 20N02; 08B20

Subdirectly irreducible medial quandles

Authors: Premysl Jedlicka, Agata Pilitowska, Anna Zamojska-Dzienio

Abstract: We describe all subdirectly irreducible medial quandles. We show that they fall within one of four disjoint classes. In particular, in the finite case they are either connected (and therefore Alexander quandles) or reductive. Moreover, we provide a representation of all non-connected subdirectly irreducible medial quandles. We describe all subdirectly irreducible medial quandles. We show that they fall within one of four disjoint classes. In particular, in the finite case they are either connected (and therefore Alexander quandles) or reductive. Moreover, we provide a representation of all non-connected subdirectly irreducible medial quandles. △ Less

Submitted 25 December, 2017; v1 submitted 20 November, 2015; originally announced November 2015.

MSC Class: 08B26; 15A78 (Primary) 08A30; 03C05; 08A05; 20N02 (Secondary)

The structure of medial quandles

Authors: Přemysl Jedlička, Agata Pilitowska, David Stanovský, Anna Zamojska-Dzienio

Abstract: Medial quandles are represented using a heterogeneous affine structure. As a consequence, we obtain numerous structural properties, including enumeration of isomorphism classes of medial quandles up to 13 elements. Medial quandles are represented using a heterogeneous affine structure. As a consequence, we obtain numerous structural properties, including enumeration of isomorphism classes of medial quandles up to 13 elements. △ Less

Submitted 25 May, 2015; v1 submitted 30 September, 2014; originally announced September 2014.

MSC Class: Primary: 57M27; 20N02. Secondary: 08A05; 15A78; 05A16

Closure operators on algebras

Authors: Agata Pilitowska, Anna Zamojska-Dzienio

Abstract: We study connections between closure operators on an algebra $(A,\Om)$ and congruences on the extended power algebra defined on the same algebra. We use these connections to give an alternative description of the lattice of all subvarieties of semilattice ordered algebras. We study connections between closure operators on an algebra $(A,\Om)$ and congruences on the extended power algebra defined on the same algebra. We use these connections to give an alternative description of the lattice of all subvarieties of semilattice ordered algebras. △ Less

Submitted 15 August, 2015; v1 submitted 22 October, 2013; originally announced October 2013.

MSC Class: 08B15; 08A30; 06A12; 06F99