Showing 1–9 of 9 results for author: Vargas-Garcia, E

FCA using the Concept Explorer in 2024

Authors: Edith Vargas-GarcÍa, Andreas Wachtel

Abstract: In this note we give a very short introduction to Formal Concept Analysis, accompanied by an example in order to build concept lattices from a context. We build the lattice using the Java-based software Concept Explorer (ConExp) in a recent version of Linux. Installing an appropriate Java version is necessary, because ConExp was developed some time ago using a Sun Java version, which is not open-s… ▽ More In this note we give a very short introduction to Formal Concept Analysis, accompanied by an example in order to build concept lattices from a context. We build the lattice using the Java-based software Concept Explorer (ConExp) in a recent version of Linux. Installing an appropriate Java version is necessary, because ConExp was developed some time ago using a Sun Java version, which is not open-source. As a result, it has been observed that ConExp will not build a lattice when started with an open-source Java version. Therefore, we also sketch the procedure we followed to install an appropriate Java version which makes ConExp work again, i.e., to "build lattices again". We also show how to start ConExp with a 32 bit Java version, which requires a few additional libraries. △ Less

Submitted 22 November, 2024; v1 submitted 10 November, 2024; originally announced November 2024.

Comments: 10 pages, 1 context, 9 figures

MSC Class: 06D50 (Primary); 06B05; 06A06 (Secondary) ACM Class: D.m; G.4; I.3.8

Arrow Relations in Lattices of Integer Partitions

Authors: Asma'a Almazaydeh, Mike Behrisch, Edith Vargas-García, Andreas Wachtel

Abstract: We give a complete characterisation of the single and double arrow relations of the standard context $K(L_n)$ of the lattice $L_n$ of partitions of any positive integer $n$ under the dominance order, thereby addressing an open question of Ganter, 2022. We give a complete characterisation of the single and double arrow relations of the standard context $K(L_n)$ of the lattice $L_n$ of partitions of any positive integer $n$ under the dominance order, thereby addressing an open question of Ganter, 2022. △ Less

Submitted 11 March, 2024; originally announced March 2024.

Comments: 28 pages, 8 figures, 3 tables and 3 contexts

MSC Class: 05A17; 11P81; 06B23; 06A07; 06B05; 06B15

Journal ref: International Journal of Approximate Reasoning 172 (September 2024) 109244:1-24

Representing partition lattices through FCA

Authors: Mike Behrisch, Alain Chavarri Villarello, Edith Vargas-García

Abstract: We investigate the standard context, denoted by $\mathbb{K}\left(\mathcal{L}_{n}\right)$, of the lattice $\mathcal{L}_{n}$ of partitions of a positive integer $n$ under the dominance order. Motivated by the discrete dynamical model to study integer partitions by Latapy and Duong Phan and by the characterization of the supremum and (infimum) irreducible partitions of $n$ by Brylawski, we show how t… ▽ More We investigate the standard context, denoted by $\mathbb{K}\left(\mathcal{L}_{n}\right)$, of the lattice $\mathcal{L}_{n}$ of partitions of a positive integer $n$ under the dominance order. Motivated by the discrete dynamical model to study integer partitions by Latapy and Duong Phan and by the characterization of the supremum and (infimum) irreducible partitions of $n$ by Brylawski, we show how to construct the join-irreducible elements of $\mathcal{L}_{n+1}$ from $\mathcal{L}_{n}$. We employ this construction to count the number of join-irreducible elements of $\mathcal{L}_{n}$, and show that the number of objects (and attributes) of $\mathbb{K}\left(\mathcal{L}_{n}\right)$ has order $Θ(n^2)$. △ Less

Submitted 17 December, 2020; originally announced December 2020.

Comments: 17 pages, 4 figures

MSC Class: 06D50; 06A06

Journal ref: In Formal Concept Analysis - 16th International Conference, ICFCA 2021, Strasbourg, France, June 29 - July 2, 2021, Proceedings. Lecture Notes in Artificial Intelligence 12733 (June 2021) 3-19

Interpreting the action of the endomorphism monoid of the rationals

Authors: John K Truss, Edith Vargas-Garcia

Abstract: In this paper, we define the action of $M$, the monoid of embeddings of $({\mathbb Q}, \le)$, on $\mathbb Q$, in the monoid $(M, \circ)$. That is, we show that $\mathbb Q$ itself can be interpreted in $(M, \circ)$, and in addition, so can the action of $M$ on $\mathbb Q$. This is extended to the monoid $E$ of all endomorphisms of $({\mathbb Q}, \le)$. In this paper, we define the action of $M$, the monoid of embeddings of $({\mathbb Q}, \le)$, on $\mathbb Q$, in the monoid $(M, \circ)$. That is, we show that $\mathbb Q$ itself can be interpreted in $(M, \circ)$, and in addition, so can the action of $M$ on $\mathbb Q$. This is extended to the monoid $E$ of all endomorphisms of $({\mathbb Q}, \le)$. △ Less

Submitted 30 August, 2019; originally announced August 2019.

MSC Class: 08A35

On a stronger reconstruction notion for monoids and clones

Authors: Mike Behrisch, Edith Vargas-García

Abstract: Motivated by reconstruction results by Rubin, we introduce a new reconstruction notion for permutation groups, transformation monoids and clones, called automatic action compatibility, which entails automatic homeomorphicity. We further give a characterization of automatic homeomorphicity for transformation monoids on arbitrary carriers with a dense group of invertibles having automatic homeomorph… ▽ More Motivated by reconstruction results by Rubin, we introduce a new reconstruction notion for permutation groups, transformation monoids and clones, called automatic action compatibility, which entails automatic homeomorphicity. We further give a characterization of automatic homeomorphicity for transformation monoids on arbitrary carriers with a dense group of invertibles having automatic homeomorphicity. We then show how to lift automatic action compatibility from groups to monoids and from monoids to clones under fairly weak assumptions. We finally employ these theorems to get automatic action compatibility results for monoids and clones over several well-known countable structures, including the strictly ordered rationals, the directed and undirected version of the random graph, the random tournament and bipartite graph, the generic strictly ordered set, and the directed and undirected versions of the universal homogeneous Henson graphs. △ Less

Submitted 5 August, 2021; v1 submitted 24 January, 2019; originally announced January 2019.

Comments: 32 pp; changes to v2: minor modifications, typos corrected, Cor. 5.5, Lem. 5.6, Fact 5.7, Lem. 5.8, Cor. 5.9 are new; Cor. 5.5/5.6 have become 5.10/5.11; some references added and updated

MSC Class: 08A35; 08A40; 54H15 (Primary); 08A02; 03C15; 03C40 (Secondary)

Journal ref: Forum Mathematicum 33(6) (September 2021) 1487-1506

The number of clones determined by disjunctions of unary relations

Authors: Mike Behrisch, Edith Vargas-García, Dmitriy Zhuk

Abstract: We consider finitary relations (also known as crosses) that are definable via finite disjunctions of unary relations, i.e. subsets, taken from a fixed finite parameter set $Γ$. We prove that whenever $Γ$ contains at least one non-empty relation distinct from the full carrier set, there is a countably infinite number of polymorphism clones determined by relations that are disjunctively definable fr… ▽ More We consider finitary relations (also known as crosses) that are definable via finite disjunctions of unary relations, i.e. subsets, taken from a fixed finite parameter set $Γ$. We prove that whenever $Γ$ contains at least one non-empty relation distinct from the full carrier set, there is a countably infinite number of polymorphism clones determined by relations that are disjunctively definable from $Γ$. Finally, we extend our result to finitely related polymorphism clones and countably infinite sets $Γ$. △ Less

Submitted 28 November, 2018; originally announced November 2018.

Comments: manuscript to be published in Theory of Computing Systems

MSC Class: 08A40 (Primary) 08A02; 08A99 (Secondary)

Journal ref: Theory of Computing Systems 63(6) (2019) 1298-1313

Reconstructing the topology on monoids and polymorphism clones of reducts of the rationals

Authors: John K Truss, Edith Vargas-Garcia

Abstract: We extend results from an earlier paper giving reconstruction results for the endomorphism monoid of the rational numbers under the strict and reflexive relations to the first order reducts of the rationals and the corresponding polymorphism clones. We also give some similar results about the coloured rationals. We extend results from an earlier paper giving reconstruction results for the endomorphism monoid of the rational numbers under the strict and reflexive relations to the first order reducts of the rationals and the corresponding polymorphism clones. We also give some similar results about the coloured rationals. △ Less

Submitted 12 March, 2019; v1 submitted 30 June, 2016; originally announced June 2016.

Comments: This is an amended version, in which we have corrected the proofs of Theorems 2.3 and 4.1

MSC Class: 08A35

Reconstructing the topology on monoids and polymorphism clones of the rationals

Authors: Mike Behrisch, John K Truss, Edith Vargas-García

Abstract: We show how to reconstruct the topology on the monoid of endomorphisms of the rational numbers under the strict or reflexive order relation, and the polymorphism clone of the rational numbers under the reflexive relation. In addition we show how automatic homeomorphicity results can be lifted to polymorphism clones generated by monoids. We show how to reconstruct the topology on the monoid of endomorphisms of the rational numbers under the strict or reflexive order relation, and the polymorphism clone of the rational numbers under the reflexive relation. In addition we show how automatic homeomorphicity results can be lifted to polymorphism clones generated by monoids. △ Less

Submitted 4 March, 2016; originally announced March 2016.

Comments: 16 pages

MSC Class: 08A35

Journal ref: Studia Logica 105(1) (February 2017) 65-91

Unique inclusions of maximal C-clones in maximal clones

Authors: Mike Behrisch, Edith Vargas-García

Abstract: $\mathit{C}$-clones are polymorphism sets of so-called clausal relations, a special type of relations on a finite domain, which first appeared in connection with constraint satisfaction problems in [Creignou et al. 2008]. We completely describe the relationship w.r.t. set inclusion between maximal $\mathit{C}$-clones and maximal clones. As a main result we obtain that for every maximal $\mathit{C}… ▽ More $\mathit{C}$-clones are polymorphism sets of so-called clausal relations, a special type of relations on a finite domain, which first appeared in connection with constraint satisfaction problems in [Creignou et al. 2008]. We completely describe the relationship w.r.t. set inclusion between maximal $\mathit{C}$-clones and maximal clones. As a main result we obtain that for every maximal $\mathit{C}$-clone there exists exactly one maximal clone in which it is contained. A precise description of this unique maximal clone, as well as a corresponding completeness criterion for $\mathit{C}$-clones is given. △ Less

Submitted 22 August, 2017; v1 submitted 24 June, 2014; originally announced June 2014.

Comments: 20 pages

MSC Class: primary 08A40; secondary 08A02; 08A99

Journal ref: Algebra Universalis 79(2) (June 2018) 31:1-21