DOCSLIB.ORG

Characterizations and Classifications of Quasitrivial Semigroups

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Characterizations and Classifications of Quasitrivial Semigroups Characterizations and classifications of quasitrivial semigroups Jimmy Devillet University of Luxembourg Luxembourg in collaboraton with Jean-Luc Marichal and Bruno Teheux Part I: Single-plateauedness and 2-quasilinearity Weak orderings Recall that a weak ordering (or total preordering) on a set X is a binary relation - on X that is total and transitive. Defining a weak ordering on X amounts to defining an ordered partition of X For X = fa1; a2; a3g, we have 13 weak orderings a1 ≺ a2 ≺ a3 a1 ∼ a2 ≺ a3 a1 ∼ a2 ∼ a3 a1 ≺ a3 ≺ a2 a1 ≺ a2 ∼ a3 a2 ≺ a1 ≺ a3 a2 ≺ a1 ∼ a3 a2 ≺ a3 ≺ a1 a3 ≺ a1 ∼ a2 a3 ≺ a1 ≺ a2 a1 ∼ a3 ≺ a2 a3 ≺ a2 ≺ a1 a2 ∼ a3 ≺ a1 Weak orderings Recall that a weak ordering (or total preordering) on a set X is a binary relation - on X that is total and transitive. Defining a weak ordering on X amounts to defining an ordered partition of X For X = fa1; a2; a3g, we have 13 weak orderings a1 ≺ a2 ≺ a3 a1 ∼ a2 ≺ a3 a1 ∼ a2 ∼ a3 a1 ≺ a3 ≺ a2 a1 ≺ a2 ∼ a3 a2 ≺ a1 ≺ a3 a2 ≺ a1 ∼ a3 a2 ≺ a3 ≺ a1 a3 ≺ a1 ∼ a2 a3 ≺ a1 ≺ a2 a1 ∼ a3 ≺ a2 a3 ≺ a2 ≺ a1 a2 ∼ a3 ≺ a1 Weak orderings Recall that a weak ordering (or total preordering) on a set X is a binary relation - on X that is total and transitive. Defining a weak ordering on X amounts to defining an ordered partition of X For X = fa1; a2; a3g, we have 13 weak orderings a1 ≺ a2 ≺ a3 a1 ∼ a2 ≺ a3 a1 ∼ a2 ∼ a3 a1 ≺ a3 ≺ a2 a1 ≺ a2 ∼ a3 a2 ≺ a1 ≺ a3 a2 ≺ a1 ∼ a3 a2 ≺ a3 ≺ a1 a3 ≺ a1 ∼ a2 a3 ≺ a1 ≺ a2 a1 ∼ a3 ≺ a2 a3 ≺ a2 ≺ a1 a2 ∼ a3 ≺ a1 Single-plateaued weak orderings Definition. (Black, 1948) Let ≤ be a total ordering on X and let - be a weak ordering on X . Then - is said to be single-plateaued for ≤ if ai < aj < ak =) aj ≺ ai or aj ≺ ak or ai ∼ aj ∼ ak Examples. On X = fa1 < a2 < a3 < a4 < a5 < a6g a3 ∼ a4 ≺ a2 ≺ a1 ∼ a5 ≺ a6 a3 ∼ a4 ≺ a2 ∼ a1 ≺ a5 ≺ a6 6 6 a3 ∼ a4 a3 ∼ a4 A A a2 r r a1 ∼ a2 r r A A a1 ∼ a5 r A a5 r r A @ @ a6 r r @ a6 r @ r - r - a1 a2 a3 a4 a5 a6 a1 a2 a3 a4 a5 a6 Single-plateaued weak orderings Definition. (Black, 1948) Let ≤ be a total ordering on X and let - be a weak ordering on X . Then - is said to be single-plateaued for ≤ if ai < aj < ak =) aj ≺ ai or aj ≺ ak or ai ∼ aj ∼ ak Examples. On X = fa1 < a2 < a3 < a4 < a5 < a6g a3 ∼ a4 ≺ a2 ≺ a1 ∼ a5 ≺ a6 a3 ∼ a4 ≺ a2 ∼ a1 ≺ a5 ≺ a6 6 6 a3 ∼ a4 a3 ∼ a4 A A a2 r r a1 ∼ a2 r r A A a1 ∼ a5 r A a5 r r A @ @ a6 r r @ a6 r @ r - r - a1 a2 a3 a4 a5 a6 a1 a2 a3 a4 a5 a6 Single-plateaued weak orderings Q: Given - is it possible to find ≤ for which - is single-plateaued? 0 Example: On X = fa1; a2; a3; a4g consider - and - defined by 0 0 0 a1∼a2≺a3∼a4 and a1≺ a2∼ a3∼ a4 Yes! Consider ≤ defined by a3 < a1 < a2 < a4 6 a1 ∼ a2 J r rJ a3 ∼ a4 J r r - a3 a1 a2 a4 No! Single-plateaued weak orderings Q: Given - is it possible to find ≤ for which - is single-plateaued? 0 Example: On X = fa1; a2; a3; a4g consider - and - defined by 0 0 0 a1∼a2≺a3∼a4 and a1≺ a2∼ a3∼ a4 Yes! Consider ≤ defined by a3 < a1 < a2 < a4 6 a1 ∼ a2 J r rJ a3 ∼ a4 J r r - a3 a1 a2 a4 No! Single-plateaued weak orderings Q: Given - is it possible to find ≤ for which - is single-plateaued? 0 Example: On X = fa1; a2; a3; a4g consider - and - defined by 0 0 0 a1∼a2≺a3∼a4 and a1≺ a2∼ a3∼ a4 Yes! Consider ≤ defined by a3 < a1 < a2 < a4 6 a1 ∼ a2 J r rJ a3 ∼ a4 J r r - a3 a1 a2 a4 No! Single-plateaued weak orderings Q: Given - is it possible to find ≤ for which - is single-plateaued? 0 Example: On X = fa1; a2; a3; a4g consider - and - defined by 0 0 0 a1∼a2≺a3∼a4 and a1≺ a2∼ a3∼ a4 Yes! Consider ≤ defined by a3 < a1 < a2 < a4 6 a1 ∼ a2 J r rJ a3 ∼ a4 J r r - a3 a1 a2 a4 No! Single-plateaued weak orderings Q: Given - is it possible to find ≤ for which - is single-plateaued? 0 Example: On X = fa1; a2; a3; a4g consider - and - defined by 0 0 0 a1∼a2≺a3∼a4 and a1≺ a2∼ a3∼ a4 Yes! Consider ≤ defined by a3 < a1 < a2 < a4 6 a1 ∼ a2 J r rJ a3 ∼ a4 J r r - a3 a1 a2 a4 No! 2-quasilinear weak orderings Definition. We say that - is 2-quasilinear if a ≺ b ∼ c ∼ d =) a; b; c; d are not pairwise distinct Proposition Assume the axiom of choice. - is 2-quasilinear () 9 ≤ for which - is single-plateaued 2-quasilinear weak orderings Definition. We say that - is 2-quasilinear if a ≺ b ∼ c ∼ d =) a; b; c; d are not pairwise distinct Proposition Assume the axiom of choice. - is 2-quasilinear () 9 ≤ for which - is single-plateaued Part II: Quasitrivial semigroups Quasitriviality Definition F : X 2 ! X is said to be quasitrivial (or conservative) if F (x; y) 2 fx; yg x; y 2 X Example. F = max≤ on X = f1; 2; 3g endowed with the usual ≤ 6 3 3 r r r 2 2 r r r 1 1 r r r - 1 2 3 Quasitriviality Definition F : X 2 ! X is said to be quasitrivial (or conservative) if F (x; y) 2 fx; yg x; y 2 X Example. F = max≤ on X = f1; 2; 3g endowed with the usual ≤ 6 3 3 r r r 2 2 r r r 1 1 r r r - 1 2 3 Quasitriviality Definition F : X 2 ! X is said to be quasitrivial (or conservative) if F (x; y) 2 fx; yg x; y 2 X Example. F = max≤ on X = f1; 2; 3g endowed with the usual ≤ 6 3 3 r r r 2 2 r r r 1 1 r r r - 1 2 3 Projections Definition. 2 2 The projection operations π1 : X ! X and π2 : X ! X are respectively defined by π1(x; y) = x; x; y 2 X π2(x; y) = y; x; y 2 X Quasitrivial semigroups Theorem (L¨anger,1980) F is associative and quasitrivial m ( max j ; if A 6= B; - A×B 9 - : F jA×B = 8A; B 2 X = ∼ π1jA×B or π2jA×B ; if A = B; 6 max - π1 or π2 π1 or max - π2 - Quasitrivial semigroups Theorem (L¨anger,1980) F is associative and quasitrivial m ( max j ; if A 6= B; - A×B 9 - : F jA×B = 8A; B 2 X = ∼ π1jA×B or π2jA×B ; if A = B; 6 max - π1 or π2 π1 or max - π2 - Quasitrivial semigroups 6 6 4 1 4 1 3 3 3 s§ s s s¤ 3 s s s s 2 4 2 s s s s 4 s s s s 1 2 1 s¦ s s s¥ 2 s s s s s s s s - s s s s - 1< 2 < 3 < 4 2∼ 4≺ 3 ≺ 1 Order-preservable operations Definition. F : X 2 ! X is said to be ≤-preserving for some total ordering ≤ on X if for any x; y; x 0; y 0 2 X such that x ≤ x 0 and y ≤ y 0, we have F (x; y) ≤ F (x 0; y 0) Definition. We say that F : X 2 ! X is order-preservable if it is ≤-preserving for some ≤ Q: Given an associative and quasitrivial F , is it order-preservable? Order-preservable operations Definition. F : X 2 ! X is said to be ≤-preserving for some total ordering ≤ on X if for any x; y; x 0; y 0 2 X such that x ≤ x 0 and y ≤ y 0, we have F (x; y) ≤ F (x 0; y 0) Definition. We say that F : X 2 ! X is order-preservable if it is ≤-preserving for some ≤ Q: Given an associative and quasitrivial F , is it order-preservable? Order-preservable operations Definition. F : X 2 ! X is said to be ≤-preserving for some total ordering ≤ on X if for any x; y; x 0; y 0 2 X such that x ≤ x 0 and y ≤ y 0, we have F (x; y) ≤ F (x 0; y 0) Definition. We say that F : X 2 ! X is order-preservable if it is ≤-preserving for some ≤ Q: Given an associative and quasitrivial F , is it order-preservable? Order-preservable operations 6 max - π1 or π (∗) 2 π1 or max π2 - - 2-quasilinearity : a ≺ b ∼ c ∼ d =) a; b; c; d are not pairwise distinct Theorem Assume the axiom of choice. F is associative, quasitrivial, and order-preservable m 9 - : F is of the form (∗) and - is 2-quasilinear Order-preservable operations 6 max - π1 or π (∗) 2 π1 or max π2 - - 2-quasilinearity : a ≺ b ∼ c ∼ d =) a; b; c; d are not pairwise distinct Theorem Assume the axiom of choice. F is associative, quasitrivial, and order-preservable m 9 - : F is of the form (∗) and - is 2-quasilinear Order-preservable operations 6 max - π1 or π (∗) 2 π1 or max π2 - - 2-quasilinearity : a ≺ b ∼ c ∼ d =) a; b; c; d are not pairwise distinct Theorem Assume the axiom of choice.
Load more

Recommended publications
  • Trivial Meet and Join Within the Lattice of Monotone Triangles John Engbers Marquette University, [email protected]
    Marquette University e-Publications@Marquette Mathematics, Statistics and Computer Science Mathematics, Statistics and Computer Science, Faculty Research and Publications Department of 1-1-2014 Trivial Meet and Join within the Lattice of Monotone Triangles John Engbers Marquette University, [email protected] Adam Hammett Bethel College - Mishawaka Published version. Electronic Journal of Combinatorics, Vol. 21, No. 3 (2014). Permalink. © 2014 The Authors. Used with permission. Trivial Meet and Join within the Lattice of Monotone Triangles John Engbers Department of Mathematics, Statistics and Computer Science Marquette University Milwaukee, WI, U.S.A. [email protected] Adam Hammett Department of Mathematical Sciences Bethel College Mishawaka, IN, U.S.A. [email protected] Submitted: Jan 22, 2014; Accepted: Jul 10, 2014; Published: Jul 21, 2014 Mathematics Subject Classifications: 05A05, 05A16, 06A20 Abstract The lattice of monotone triangles (Mn; 6) ordered by entry-wise comparisons is studied. Let τmin denote the unique minimal element in this lattice, and τmax the unique maximum. The number of r-tuples of monotone triangles (τ1; : : : ; τr) with minimal infimum τmin (maximal supremum τmax, resp.) is shown to asymptotically r−1 approach rjMnj as n ! 1. Thus, with high probability this event implies that one of the τi is τmin (τmax, resp.). Higher-order error terms are also discussed. Keywords: monotone triangles; permutations; square ice; alternating sign matri- ces; meet; join 1 Introduction and statement
    [Show full text]
  • On Comparability of Random Permutations
    ON COMPARABILITY OF RANDOM PERMUTATIONS DISSERTATION Presented in Partial Fulfillment of the Requirements for the Degree Doctor of Philosophy in the Graduate School of the Ohio State University By Adam Hammett, B.S. ***** The Ohio State University 2007 Dissertation Committee: Approved by Dr. Boris Pittel, Advisor Dr. Gerald Edgar Advisor Dr. Akos Seress Graduate Program in Mathematics ABSTRACT Two permutations of [n] := {1, 2, . , n} are comparable in the Bruhat order if one can be obtained from the other by a sequence of transpositions decreasing the number of inversions. We show that the total number of pairs of permutations (π, σ) with π ≤ σ is of order (n!)2/n2 at most. Equivalently, if π, σ are chosen uniformly at random and independently of each other, then P (π ≤ σ) is of order n−2 at most. By a direct probabilistic argument we prove P (π ≤ σ) is of order (0.708)n at least, so that there is currently a wide qualitative gap between the upper and lower bounds. Next, emboldened by a connection with Ferrers diagrams and plane partitions implicit in Bressoud’s book [13], we return to the Bruhat order upper bound and show that for n-permutations π1, . , πr selected independently and uniformly at random, −r(r−1) P (π1 ≤ · · · ≤ πr) = O n , thus providing an extension of our result for pairs of permutations to chains of length r > 2. Turning to the related weak order “” – when only adjacent transpositions are ∗ admissible – we use a non-inversion set criterion to prove that Pn := P (π σ) is pn ∗ submultiplicative, thus showing existence of ρ = lim Pn .
    [Show full text]
  • A Selection of Maximal Elements Under Non-Transitive Indifferences
    Munich Personal RePEc Archive A selection of maximal elements under non-transitive indifferences Alcantud, José Carlos R. and Bosi, Gianni and Zuanon, Magalì Universidad de Salamanca, University of Trieste, University of Brescia 4 August 2009 Online at https://mpra.ub.uni-muenchen.de/16601/ MPRA Paper No. 16601, posted 10 Aug 2009 08:03 UTC A selection of maximal elements under non-transitive indifferences Jos´eCarlos R. Alcantud ∗,1 Facultad de Econom´ıay Empresa, Universidad de Salamanca, E 37008 Salamanca, Spain Gianni Bosi Facolt`adi Economia, Universit`adegli Studi di Trieste, Piazzale Europa 1, 34127 Trieste, Italy Magal`ıZuanon Facolt`adi Economia, Universit`adegli Studi di Brescia, Contrada Santa Chiara 50, 25122 Brescia, Italy Abstract In this work we are concerned with maximality issues under intransitivity of the indifference. Our approach relies on the analysis of “undominated maximals” (cf., Peris and Subiza [7]). Provided that an agent’s binary relation is acyclic, this is a selection of its maximal elements that can always be done when the set of alterna- tives is finite. In the case of semiorders, proceeding in this way is the same as using Luce’s selected maximals. We put forward a sufficient condition for the existence of undominated maximals for interval orders without any cardinality restriction. Its application to certain type of continuous semiorders is very intuitive and accommodates the well-known “sugar example” by Luce. Key words: Maximal element, Selection of maximals, Acyclicity, Interval order, Semiorder JEL Classification: D11. Preprint submitted to Elsevier August 4, 2009 1 Introduction Even though there are arguments to ensure the existence of maximal elements for binary relations in very general settings, this concept does not always explain choice under non-transitive indifference well.
    [Show full text]
  • Generalized Quotients in Coxeter Groups
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 308, Number 1, July 1988 GENERALIZED QUOTIENTS IN COXETER GROUPS ANDERS BJORNER AND MICHELLE L. WACHS ABSTRACT. For (W, S) a Coxeter group, we study sets of the form W/V = {w e W | l{wv) = l(w) + l(v) for all v e V}, where V C W. Such sets W/V, here called generalized quotients, are shown to have much of the rich combinatorial structure under Bruhat order that has previously been known only for the case when VCS (i.e., for minimal coset representatives modulo a parabolic subgroup). We show that Bruhat intervals in W/V, for general V C W, are lexicographically shellable. The Mobius function on W/V under Bruhat order takes values in { —1,0, +1}. For finite groups W, generalized quotients are the same thing as lower intervals in the weak order. This is, however, in general not true. Connections with the weak order are explored and it is shown that W/V is always a complete meet-semilattice and a convex order ideal as a subset of W under weak order. Descent classes Dj = {w e W \ l{ws) < l(w) o s 6 I, for all s G S}, I C S, are also analyzed using generalized quotients. It is shown that each descent class, as a poset under Bruhat order or weak order, is isomorphic to a generalized quotient under the corresponding ordering. The latter half of the paper is devoted to the symmetric group and to the study of some specific examples of generalized quotients which arise in combinatorics.
    [Show full text]
  • Mathematical Supplement
    Appendix A Mathematical Supplement A.1 Elements of the Theory of Binary Relations A.1.1 Basic Operations on Sets Let us recall the definitions of some operations that are often performed on sets, and define the sets resulting from these operations. The union (or sum) of two sets A and B is the set [ A B consisting of all elements that belong to at least one of the sets A and B. The union of any number of sets is defined analogously: if we are given an arbitrary indexed family of sets, that is, a collection of sets Aa in which the index a runs through an arbitrary set (the index set), the union of the sets Aa is denoted by [ Aa : a By definition, this union consists of all elements that belong to at least one of the sets Aa . In addition, we agree that if the domain of the index a is not indicated, then the union extends over all the values that a may take in the given problem. The same refers to the operation of intersection. The intersection of two sets A and B is the set \ A B that consists of all elements belonging to both A and B. Analogously, the inter- section of an arbitrary (finite or infinite) number of sets Aa is the set \ Aa a 209 210 A Mathematical Supplement of all elements that belong to all of the sets Aa . The difference of the sets A and B is the set A n B consisting of those elements in A that are not contained in B.
    [Show full text]
  • Quasitrivial Semigroups: Characterizations and Enumerations Miguel Couceiro, Jimmy Devillet, Jean-Luc Marichal
    Quasitrivial semigroups: Characterizations and enumerations Miguel Couceiro, Jimmy Devillet, Jean-Luc Marichal To cite this version: Miguel Couceiro, Jimmy Devillet, Jean-Luc Marichal. Quasitrivial semigroups: Characterizations and enumerations. Semigroup Forum, Springer Verlag, 2019, 98 (3), pp.472-498. 10.1007/s00233- 018-9928-3. hal-01826868v2 HAL Id: hal-01826868 https://hal.inria.fr/hal-01826868v2 Submitted on 2 Jul 2018 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. QUASITRIVIAL SEMIGROUPS: CHARACTERIZATIONS AND ENUMERATIONS MIGUEL COUCEIRO, JIMMY DEVILLET, AND JEAN-LUC MARICHAL ABSTRACT. We investigate the class of quasitrivial semigroups and provide various char- acterizations of the subclass of quasitrivial and commutative semigroups as well as the subclass of quasitrivial and order-preserving semigroups. We also determine explicitly the sizes of these classes when the semigroups are defined on finite sets. As a byproduct of these enumerations, we obtain several new integer sequences. 1. INTRODUCTION Let X be an arbitrary nonempty set. We use the symbol Xn if X contains n ≥ 1 elements, in which case we assume w.l.o.g. that Xn = {1; : : : ; n}. In this paper we investigate the class of binary operations F ∶ X2 → X that are asso- ciative and quasitrivial, where quasitriviality means that F always outputs one of its input values.
    [Show full text]
  • Arxiv:1604.04772V2 [Cs.DC] 28 Apr 2016
    Abstract Graph Machine Thejaka Amila Kanewala Marcin Zalewski Andrew Lumsdaine Center for Research in Extreme Scale Technologies (CREST) Indiana University, IN, USA {thejkane,zalewski,lums}@indiana.edu ABSTRACT Graph Algorithms An Abstract Graph Machine(AGM) is an abstract model for dis- tributed memory parallel stabilizing graph algorithms. A stabilizing Set operations Nested Parallel Data Driven Iterative based algorithm starts from a particular initial state and goes through series Algorithms of different state changes until it converges. The AGM adds work de- Algorithms pendency to the stabilizing algorithm. The work is processed within the processing function. All processes in the system execute the Figure 1: Graph algorithm classification based on their solution same processing function. Before feeding work into the processing approach. function, work is ordered using a strict weak ordering relation. The (MST). While Bor˚uvka’s Minimum Spanning Tree (MST) uses set strict weak ordering relation divides work into equivalence classes, operations in its solution, the Dijkstra’s Single Source Shortest Path hence work within a single equivalence class can be processed in (SSSP) algorithm relies on priority based ordering of distances of parallel, but work in different equivalence classes must be executed neighbors to calculate the SSSP. Therefore, the solution approach in the order they appear in equivalence classes. The paper presents used in Dijkstra’s SSSP is different from the solution approach used the AGM model, semantics and AGM models for several existing in Bor˚uvka’s MST algorithm. distributed memory parallel graph algorithms. Based on the solution approach, we classify parallel graph algo- rithms into four categories (Figure 1): 1.
    [Show full text]
  • TM-808C: Preferences, Risk Neutrality, and Utility Functions
    Preferences, Risk Neutrality, and Utility Functions James C. Alexander Department of Mathematics, Case Western Reserve University, 10900 Euclid Avenue, Cleveland, OH 44106-7058 Matthew J. Sobel ∗ Department of Operations, Weatherhead School of Management, Case Western Reserve University, 10900 Euclid Avenue, Cleveland, OH 44106-7235, 216-368-6003 Abstract A binary preference relation on a real vector space V with zero element 0 sat- isfying four (natural) axioms induces a utility function U = f ◦ u : V ! R where u: V ! R is linear as a map of vector spaces and f : R ! R is weakly monotone. The weak ordering and non-triviality axioms are familiar, but the continuity ax- iom does not require topological assumptions. The fourth axiom (decomposition) is X − Y () 0 ) X () Y (X, Y 2 V ). The utility function U : R ! R can be taken to be linear if and only if also satisfies the converse of the fourth axiom. When V is a real vector space of stochastic processes and 0 is the zero pro- cess, it is known that the four axioms imply the existence of discount factors and, with the converse, the linearity of an intra-period utility function. Thus preferences correspond to discounting and are not risk neutral only if the converse of the fourth axiom is not satisfied. One consequence is that, within the developed context, a utility function that is not risk neutral can be replaced by one that is risk neutral and still be consistent with the underlying preference relation. Previous axiomati- zations of the discounted utility model by T. C.
    [Show full text]
  • Confidence in Preferences Brian Hill
    Confidence in preferences Brian Hill Social Choice and Welfare ISSN 0176-1714 Soc Choice Welf DOI 10.1007/s00355-011-0637-z 1 23 Your article is protected by copyright and all rights are held exclusively by Springer- Verlag. This e-offprint is for personal use only and shall not be self-archived in electronic repositories. If you wish to self-archive your work, please use the accepted author’s version for posting to your own website or your institution’s repository. You may further deposit the accepted author’s version on a funder’s repository at a funder’s request, provided it is not made publicly available until 12 months after publication. 1 23 Author's personal copy Soc Choice Welf DOI 10.1007/s00355-011-0637-z ORIGINAL PAPER Confidence in preferences Brian Hill Received: 1 December 2011 / Accepted: 6 December 2011 © Springer-Verlag 2012 Abstract Indeterminate preferences have long been a tricky subject for choice the- ory. One reason for which preferences may be less than fully determinate is the lack of confidence in one’s preferences. In this paper, a representation of confidence in preferences is proposed. It is used to develop and axiomatise an account of the role of confidence in choice which rests on the following intuition: the more important the decision to be taken, the more confidence is required in the preferences needed to take it. This theory provides a natural account of when an agent should defer a decision; namely, when the importance of the decision exceeds his confidence in the relevant preferences.
    [Show full text]
  • The Benefits of Duality in Verifying Concurrent Programs Under
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Dagstuhl Research Online Publication Server The Benefits of Duality in Verifying Concurrent Programs under TSO∗ Parosh Aziz Abdulla1, Mohamed Faouzi Atig2, Ahmed Bouajjani3, and Tuan Phong Ngo4 1 Uppsala University, Sweden [email protected] 2 Uppsala University, Sweden [email protected] 3 IRIF, Université Paris Diderot & IUF, France [email protected] 4 Uppsala University, Sweden [email protected] Abstract We address the problem of verifying safety properties of concurrent programs running over the TSO memory model. Known decision procedures for this model are based on complex encodings of store buffers as lossy channels. These procedures assume that the number of processes is fixed. However, it is important in general to prove correctness of a system/algorithm in a parametric way with an arbitrarily large number of processes. In this paper, we introduce an alternative (yet equivalent) semantics to the classical one for the TSO model that is more amenable for efficient algorithmic verification and for extension to parametric verification. For that, we adopt a dual view where load buffers are used instead of store buffers. The flow of information is now from the memory to load buffers. We show that this new semantics allows (1) to simplify drastically the safety analysis under TSO, (2) to obtain a spectacular gain in efficiency and scalability compared to existing procedures, and (3) to extend easily the decision procedure to the parametric case, which allows to obtain a new decidability result, and more importantly, a verification algorithm that is more general and more efficient in practice than the one for bounded instances.
    [Show full text]
  • O N the Logic of Q U an Tu M M Echanics
    On the Logic of Quantum Mechanics E. G. Beltrametti and G. Cassinelli Istituto di Scienze Fisiche dell'Universitä di Genova Istituto Nazionale di Fisica Nucleare — Sez. Genova (Z. Naturforsch. 28 a, 1516-1530 [1973] ; received 9 December 1972) To Konrad Bleuler on the occasion of his 60t>l birthday We are concerned with the formulation of the essential features of quantum theory in an ab­ stract way, utilizing the mathematical language of proposition lattice theory. We review this ap­ proach giving a set of consistent axioms which enables to achieve the relevant results: the formula­ tion and the essential role of the superposition principle is particularly examined. 1. Introduction b) observable on the system, i.e., the observation of a macroscopic measurement device interacting, in The existence of a quantum logic and its algebraic a reproducible way, with the system. formulation1-2 has received increasing interest and According to this, the preparation of the system significant developments in the last years, mainly is, by definition, modified after an observation on it after the relevant contributions of Mackey3. The is made. approach we are concerned with is the one going As well known from information theory, one is through the study of the lattice structure of yes-no always allowed to restrict to observables having experiments: the so called propositional calculus, dichotomic output: without loss of generality we which has been highly developed by Piron 4, Jauch 5, can assume the output to be realized by the ap­ Varadarajan6. Among other approaches we recall pearance of the marks "yes", "no" on the panel of the Jordan algebras7, the Segal method8'9 the the measurement device.
    [Show full text]
  • Partial Order Theory in the Assessment of Environmental Chemicals: Formal Aspects of a Precautionary Pre-Selection Procedure
    Diss. ETH No 15433 Partial Order Theory in the Assessment of Environmental Chemicals: Formal Aspects of a Precautionary Pre-Selection Procedure A dissertation submitted to the Swiss Federal Institute of Technology Zurich¨ for the degree of Doctor of Natural Sciences presented by Olivier Schucht Dipl. natw. ETH born January 6, 1974 from Z¨urich (ZH) accepted on the recommendation of Prof. Dr. Ulrich M¨uller-Herold, examiner Prof. Dr. Konrad Hungerb¨uhler,co-examiner Prof. Dr. Nils-Eric Sahlin, co-examiner 2004 Abstract Man-made chemicals have been shown over recent decades to exhibit unwanted ef- fects on a global scale. The possible occurrence of such global effects have turned out to be difficult to model with traditional assessment procedures. Alternative, non-traditional procedures have been proposed in recent years as a response to this challenge. The present thesis proposes to develop such an alternative assessment procedure, namely one that is based on the concept of exposure (the physical oc- currence of a substance in the environment), rather than being based exclusively on known effects (which are inherently difficult to predict). This approach meets a restricted definition of the precautionary principle. Exposure of a chemical is presently modeled with two scenarios, while ensuring that the assessment procedure herein developed can allow for additional scenarios to be taken into consideration at a later stage. The validity of non-traditional assessments that aim at assessing chemical substances beyond known adverse effects is often doubted both inside and outside of the sci- entific community. In order to respond to these reservations the present thesis establishes a formal setting.
    [Show full text]