scholarly journals A characterization of Markov equivalence classes for acyclic digraphs

1997 ◽  
Vol 25 (2) ◽  
pp. 505-541 ◽  
Author(s):  
Steen A. Andersson ◽  
David Madigan ◽  
Michael D. Perlman
2020 ◽  
Vol 31 (05) ◽  
pp. 621-638
Author(s):  
Zi Jing Chern ◽  
K. G. Subramanian ◽  
Azhana Ahmad ◽  
Wen Chean Teh

Parikh matrices as an extension of Parikh vectors are useful tools in arithmetizing words by numbers. This paper presents a further study of Parikh matrices by restricting the corresponding words to terms formed over a signature. Some [Formula: see text]-equivalence preserving rewriting rules for such terms are introduced. A characterization of terms that are only [Formula: see text]-equivalent to themselves is studied for binary signatures. Graphs associated to the equivalence classes of [Formula: see text]-equivalent terms are studied with respect to graph distance. Finally, the preservation of [Formula: see text]-equivalence under the term self-shuffle operator is studied.


2000 ◽  
Vol 7 (28) ◽  
Author(s):  
Luigi Santocanale

A mu-lattice is a lattice with the property that every unary <br />polynomial has both a least and a greatest fix-point. In this paper<br />we define the quasivariety of mu-lattices and, for a given partially<br />ordered set P, we construct a mu-lattice JP whose elements are<br />equivalence classes of games in a preordered class J (P). We prove<br />that the mu-lattice JP is free over the ordered set P and that the<br />order relation of JP is decidable if the order relation of P is <br />decidable. By means of this characterization of free mu-lattices we<br />infer that the class of complete lattices generates the quasivariety<br />of mu-lattices.<br />Keywords: mu-lattices, free mu-lattices, free lattices, bicompletion<br />of categories, models of computation, least and greatest fix-points,<br />mu-calculus, Rabin chain games.


Symmetry ◽  
2020 ◽  
Vol 12 (1) ◽  
pp. 168 ◽  
Author(s):  
Mario De Salvo ◽  
Dario Fasino ◽  
Domenico Freni ◽  
Giovanni Lo Faro

In every hypergroup, the equivalence classes modulo the fundamental relation β are the union of hyperproducts of element pairs. Making use of this property, we introduce the notion of height of a β -class and we analyze properties of hypergroups where the height of a β -class coincides with its cardinality. As a consequence, we obtain a new characterization of 1-hypergroups. Moreover, we define a hierarchy of classes of hypergroups where at least one β -class has height 1 or cardinality 1, and we enumerate the elements in each class when the size of the hypergroups is n ≤ 4 , apart from isomorphisms.


2016 ◽  
Vol 15 (04) ◽  
pp. 1650067 ◽  
Author(s):  
M. Jafarpour ◽  
H. Aghabozorgi ◽  
B. Davvaz

In this paper, we introduce the smallest equivalence relation [Formula: see text] on a hypergroup [Formula: see text] such that the quotient [Formula: see text], the set of all equivalence classes, is a solvable group. The characterization of solvable groups via strongly regular relations is investigated and several results on the topic are presented.


2009 ◽  
Vol 16 (02n03) ◽  
pp. 127-143 ◽  
Author(s):  
Paolo Aniello ◽  
Cosmo Lupo

We consider the Schmidt decomposition of a bipartite density operator induced by the Hilbert-Schmidt scalar product, and we study the relation between the Schmidt coefficients and entanglement. First, we define the Schmidt equivalence classes of bipartite states. Each class consists of all the density operators (in a given bipartite Hilbert space) sharing the same set of Schmidt coefficients. Next, we review the role played by the Schmidt coefficients with respect to the separability criterion known as the 'realignment' or 'computable cross norm' criterion; in particular, we highlight the fact that this criterion relies only on the Schmidt equivalence class of a state. Then, the relevance — with regard to the characterization of entanglement — of the 'symmetric polynomials' in the Schmidt coefficients and a new family of separability criteria that generalize the realignment criterion are discussed. Various interesting open problems are proposed.


PLoS ONE ◽  
2021 ◽  
Vol 16 (4) ◽  
pp. e0249415
Author(s):  
Erich Kummerfeld

Artificial intelligence for causal discovery frequently uses Markov equivalence classes of directed acyclic graphs, graphically represented as essential graphs, as a way of representing uncertainty in causal directionality. There has been confusion regarding how to interpret undirected edges in essential graphs, however. In particular, experts and non-experts both have difficulty quantifying the likelihood of uncertain causal arrows being pointed in one direction or another. A simple interpretation of undirected edges treats them as having equal odds of being oriented in either direction, but I show in this paper that any agent interpreting undirected edges in this simple way can be Dutch booked. In other words, I can construct a set of bets that appears rational for the users of the simple interpretation to accept, but for which in all possible outcomes they lose money. I put forward another interpretation, prove this interpretation leads to a bet-taking strategy that is sufficient to avoid all Dutch books of this kind, and conjecture that this strategy is also necessary for avoiding such Dutch books. Finally, I demonstrate that undirected edges that are more likely to be oriented in one direction than the other are common in graphs with 4 nodes and 3 edges.


2021 ◽  
Vol 55 (1 (254)) ◽  
pp. 72-80
Author(s):  
Tigran A. Grigoryan ◽  
Murad S. Hayrapetyan

In this paper several problems related to the implementation of the method for the approximate calculation of distance between regular events for multitape finite automata are considered and resolved. An algorithm of matching for the considered regular expressions is suggested and results of the algorithm application to some specific regular expressions are adduced. The proposed method can be used not only for the mentioned implementation, but also separately.


Sign in / Sign up

Export Citation Format

Share Document