Enumerative Combinatorics of Posets
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Duality for Outer $ L^ P \Mu (\Ell^ R) $ Spaces and Relation to Tent Spaces
p r DUALITY FOR OUTER Lµpℓ q SPACES AND RELATION TO TENT SPACES MARCO FRACCAROLI p r Abstract. We prove that the outer Lµpℓ q spaces, introduced by Do and Thiele, are isomorphic to Banach spaces, and we show the expected duality properties between them for 1 ă p ď8, 1 ď r ă8 or p “ r P t1, 8u uniformly in the finite setting. In the case p “ 1, 1 ă r ď8, we exhibit a counterexample to uniformity. We show that in the upper half space setting these properties hold true in the full range 1 ď p,r ď8. These results are obtained via greedy p r decompositions of functions in Lµpℓ q. As a consequence, we establish the p p r equivalence between the classical tent spaces Tr and the outer Lµpℓ q spaces in the upper half space. Finally, we give a full classification of weak and strong type estimates for a class of embedding maps to the upper half space with a fractional scale factor for functions on Rd. 1. Introduction The Lp theory for outer measure spaces discussed in [13] generalizes the classical product, or iteration, of weighted Lp quasi-norms. Since we are mainly interested in positive objects, we assume every function to be nonnegative unless explicitly stated. We first focus on the finite setting. On the Cartesian product X of two finite sets equipped with strictly positive weights pY,µq, pZ,νq, we can define the classical product, or iterated, L8Lr,LpLr spaces for 0 ă p, r ă8 by the quasi-norms 1 r r kfkL8ppY,µq,LrpZ,νqq “ supp νpzqfpy,zq q yPY zÿPZ ´1 r 1 “ suppµpyq ωpy,zqfpy,zq q r , yPY zÿPZ p 1 r r p kfkLpppY,µq,LrpZ,νqq “ p µpyqp νpzqfpy,zq q q , arXiv:2001.05903v1 [math.CA] 16 Jan 2020 yÿPY zÿPZ where we denote by ω “ µ b ν the induced weight on X. -
Superadditive and Subadditive Transformations of Integrals and Aggregation Functions
View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Portsmouth University Research Portal (Pure) Superadditive and subadditive transformations of integrals and aggregation functions Salvatore Greco⋆12, Radko Mesiar⋆⋆34, Fabio Rindone⋆⋆⋆1, and Ladislav Sipeky†3 1 Department of Economics and Business 95029 Catania, Italy 2 University of Portsmouth, Portsmouth Business School, Centre of Operations Research and Logistics (CORL), Richmond Building, Portland Street, Portsmouth PO1 3DE, United Kingdom 3 Department of Mathematics and Descriptive Geometry, Faculty of Civil Engineering Slovak University of Technology 810 05 Bratislava, Slovakia 4 Institute of Theory of Information and Automation Czech Academy of Sciences Prague, Czech Republic Abstract. We propose the concepts of superadditive and of subadditive trans- formations of aggregation functions acting on non-negative reals, in particular of integrals with respect to monotone measures. We discuss special properties of the proposed transforms and links between some distinguished integrals. Superaddi- tive transformation of the Choquet integral, as well as of the Shilkret integral, is shown to coincide with the corresponding concave integral recently introduced by Lehrer. Similarly the transformation of the Sugeno integral is studied. Moreover, subadditive transformation of distinguished integrals is also discussed. Keywords: Aggregation function; superadditive and subadditive transformations; fuzzy integrals. 1 Introduction The concepts of subadditivity and superadditivity are very important in economics. For example, consider a production function A : Rn R assigning to each vector of pro- + → + duction factors x = (x1,...,xn) the corresponding output A(x1,...,xn). If one has available resources given by the vector x =(x1,..., xn), then, the production function A assigns the output A(x1,..., xn). -
Contractions of Polygons in Abstract Polytopes
Contractions of Polygons in Abstract Polytopes by Ilya Scheidwasser B.S. in Computer Science, University of Massachusetts Amherst M.S. in Mathematics, Northeastern University A dissertation submitted to The Faculty of the College of Science of Northeastern University in partial fulfillment of the requirements for the degree of Doctor of Philosophy March 31, 2015 Dissertation directed by Egon Schulte Professor of Mathematics Acknowledgements First, I would like to thank my advisor, Professor Egon Schulte. From the first class I took with him in the first semester of my Masters program, Professor Schulte was an engaging, clear, and kind lecturer, deepening my appreciation for mathematics and always more than happy to provide feedback and answer extra questions about the material. Every class with him was a sincere pleasure, and his classes helped lead me to the study of abstract polytopes. As my advisor, Professor Schulte provided me with invaluable assistance in the creation of this thesis, as well as career advice. For all the time and effort Professor Schulte has put in to my endeavors, I am greatly appreciative. I would also like to thank my dissertation committee for taking time out of their sched- ules to provide me with feedback on this thesis. In addition, I would like to thank the various instructors I've had at Northeastern over the years for nurturing my knowledge of and interest in mathematics. I would like to thank my peers and classmates at Northeastern for their company and their assistance with my studies, and the math department's Teaching Committee for the privilege of lecturing classes these past several years. -
On Finding Two Posets That Cover Given Linear Orders
algorithms Article On Finding Two Posets that Cover Given Linear Orders Ivy Ordanel 1,*, Proceso Fernandez, Jr. 2 and Henry Adorna 1 1 Department of Computer Science, University of the Philippines Diliman, Quezon City 1101, Philippines; [email protected] 2 Department of Information Sytems and Computer Science, Ateneo De Manila University, Quezon City 1108, Philippines; [email protected] * Correspondence: [email protected] Received: 13 August 2019; Accepted: 17 October 2019; Published: 19 October 2019 Abstract: The Poset Cover Problem is an optimization problem where the goal is to determine a minimum set of posets that covers a given set of linear orders. This problem is relevant in the field of data mining, specifically in determining directed networks or models that explain the ordering of objects in a large sequential dataset. It is already known that the decision version of the problem is NP-Hard while its variation where the goal is to determine only a single poset that covers the input is in P. In this study, we investigate the variation, which we call the 2-Poset Cover Problem, where the goal is to determine two posets, if they exist, that cover the given linear orders. We derive properties on posets, which leads to an exact solution for the 2-Poset Cover Problem. Although the algorithm runs in exponential-time, it is still significantly faster than a brute-force solution. Moreover, we show that when the posets being considered are tree-posets, the running-time of the algorithm becomes polynomial, which proves that the more restricted variation, which we called the 2-Tree-Poset Cover Problem, is also in P. -
A Mini-Introduction to Information Theory
A Mini-Introduction To Information Theory Edward Witten School of Natural Sciences, Institute for Advanced Study Einstein Drive, Princeton, NJ 08540 USA Abstract This article consists of a very short introduction to classical and quantum information theory. Basic properties of the classical Shannon entropy and the quantum von Neumann entropy are described, along with related concepts such as classical and quantum relative entropy, conditional entropy, and mutual information. A few more detailed topics are considered in the quantum case. arXiv:1805.11965v5 [hep-th] 4 Oct 2019 Contents 1 Introduction 2 2 Classical Information Theory 2 2.1 ShannonEntropy ................................... .... 2 2.2 ConditionalEntropy ................................. .... 4 2.3 RelativeEntropy .................................... ... 6 2.4 Monotonicity of Relative Entropy . ...... 7 3 Quantum Information Theory: Basic Ingredients 10 3.1 DensityMatrices .................................... ... 10 3.2 QuantumEntropy................................... .... 14 3.3 Concavity ......................................... .. 16 3.4 Conditional and Relative Quantum Entropy . ....... 17 3.5 Monotonicity of Relative Entropy . ...... 20 3.6 GeneralizedMeasurements . ...... 22 3.7 QuantumChannels ................................... ... 24 3.8 Thermodynamics And Quantum Channels . ...... 26 4 More On Quantum Information Theory 27 4.1 Quantum Teleportation and Conditional Entropy . ......... 28 4.2 Quantum Relative Entropy And Hypothesis Testing . ......... 32 4.3 Encoding -
A Combinatorial Analysis of Finite Boolean Algebras
A Combinatorial Analysis of Finite Boolean Algebras Kevin Halasz [email protected] May 1, 2013 Copyright c Kevin Halasz. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.3 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license can be found at http://www.gnu.org/copyleft/fdl.html. 1 Contents 1 Introduction 3 2 Basic Concepts 3 2.1 Chains . .3 2.2 Antichains . .6 3 Dilworth's Chain Decomposition Theorem 6 4 Boolean Algebras 8 5 Sperner's Theorem 9 5.1 The Sperner Property . .9 5.2 Sperner's Theorem . 10 6 Extensions 12 6.1 Maximally Sized Antichains . 12 6.2 The Erdos-Ko-Rado Theorem . 13 7 Conclusion 14 2 1 Introduction Boolean algebras serve an important purpose in the study of algebraic systems, providing algebraic structure to the notions of order, inequality, and inclusion. The algebraist is always trying to understand some structured set using symbol manipulation. Boolean algebras are then used to study the relationships that hold between such algebraic structures while still using basic techniques of symbol manipulation. In this paper we will take a step back from the standard algebraic practices, and analyze these fascinating algebraic structures from a different point of view. Using combinatorial tools, we will provide an in-depth analysis of the structure of finite Boolean algebras. We will start by introducing several ways of analyzing poset substructure from a com- binatorial point of view. -
The Number of Graded Partially Ordered Sets
JOURNAL OF COMBINATORIAL THEORY 6, 12-19 (1969) The Number of Graded Partially Ordered Sets DAVID A. KLARNER* McMaster University, Hamilton, Ontario, Canada Communicated by N. G. de Bruijn ABSTRACT We find an explicit formula for the number of graded partially ordered sets of rank h that can be defined on a set containing n elements. Also, we find the number of graded partially ordered sets of length h, and having a greatest and least element that can be defined on a set containing n elements. The first result provides a lower bound for G*(n), the number of posets that can be defined on an n-set; the second result provides an upper bound for the number of lattices satisfying the Jordan-Dedekind chain condition that can be defined on an n-set. INTRODUCTION The terminology we will use in connection with partially ordered sets is defined in detail in the first few pages of Birkhoff [1]; however, we need a few concepts not defined there. A rank function g maps the elements of a poset P into the chain of integers such that (i) x > y implies g(x) > g(y), and (ii) g(x) = g(y) + 1 if x covers y. A poset P is graded if at least one rank function can be defined on it; Birkhoff calls the pair (P, g) a graded poset, where g is a particular rank function defined on a poset P, so our definition differs from his. A path in a poset P is a sequence (xl ,..., x~) such that x~ covers or is covered by xi+l, for i = 1 ... -
Confluent Hasse Diagrams
Confluent Hasse diagrams David Eppstein Joseph A. Simons Department of Computer Science, University of California, Irvine, USA. October 29, 2018 Abstract We show that a transitively reduced digraph has a confluent upward drawing if and only if its reachability relation has order dimension at most two. In this case, we construct a confluent upward drawing with O(n2) features, in an O(n) × O(n) grid in O(n2) time. For the digraphs representing series-parallel partial orders we show how to construct a drawing with O(n) fea- tures in an O(n) × O(n) grid in O(n) time from a series-parallel decomposition of the partial order. Our drawings are optimal in the number of confluent junctions they use. 1 Introduction One of the most important aspects of a graph drawing is that it should be readable: it should convey the structure of the graph in a clear and concise way. Ease of understanding is difficult to quantify, so various proxies for readability have been proposed; one of the most prominent is the number of edge crossings. That is, we should minimize the number of edge crossings in our drawing (a planar drawing, if possible, is ideal), since crossings make drawings harder to read. Another measure of readability is the total amount of ink required by the drawing [1]. This measure can be formulated in terms of Tufte’s “data-ink ratio” [22,35], according to which a large proportion of the ink on any infographic should be devoted to information. Thus given two different ways to present information, we should choose the more succinct and crossing-free presentation. -
Arxiv:1508.05446V2 [Math.CO] 27 Sep 2018 02,5B5 16E10
CELL COMPLEXES, POSET TOPOLOGY AND THE REPRESENTATION THEORY OF ALGEBRAS ARISING IN ALGEBRAIC COMBINATORICS AND DISCRETE GEOMETRY STUART MARGOLIS, FRANCO SALIOLA, AND BENJAMIN STEINBERG Abstract. In recent years it has been noted that a number of combi- natorial structures such as real and complex hyperplane arrangements, interval greedoids, matroids and oriented matroids have the structure of a finite monoid called a left regular band. Random walks on the monoid model a number of interesting Markov chains such as the Tsetlin library and riffle shuffle. The representation theory of left regular bands then comes into play and has had a major influence on both the combinatorics and the probability theory associated to such structures. In a recent pa- per, the authors established a close connection between algebraic and combinatorial invariants of a left regular band by showing that certain homological invariants of the algebra of a left regular band coincide with the cohomology of order complexes of posets naturally associated to the left regular band. The purpose of the present monograph is to further develop and deepen the connection between left regular bands and poset topology. This allows us to compute finite projective resolutions of all simple mod- ules of unital left regular band algebras over fields and much more. In the process, we are led to define the class of CW left regular bands as the class of left regular bands whose associated posets are the face posets of regular CW complexes. Most of the examples that have arisen in the literature belong to this class. A new and important class of ex- amples is a left regular band structure on the face poset of a CAT(0) cube complex. -
Operations on Partially Ordered Sets and Rational Identities of Type a Adrien Boussicault
Operations on partially ordered sets and rational identities of type A Adrien Boussicault To cite this version: Adrien Boussicault. Operations on partially ordered sets and rational identities of type A. Discrete Mathematics and Theoretical Computer Science, DMTCS, 2013, Vol. 15 no. 2 (2), pp.13–32. hal- 00980747 HAL Id: hal-00980747 https://hal.inria.fr/hal-00980747 Submitted on 18 Apr 2014 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. Discrete Mathematics and Theoretical Computer Science DMTCS vol. 15:2, 2013, 13–32 Operations on partially ordered sets and rational identities of type A Adrien Boussicault Institut Gaspard Monge, Universite´ Paris-Est, Marne-la-Valle,´ France received 13th February 2009, revised 1st April 2013, accepted 2nd April 2013. − −1 We consider the family of rational functions ψw = Q(xwi xwi+1 ) indexed by words with no repetition. We study the combinatorics of the sums ΨP of the functions ψw when w describes the linear extensions of a given poset P . In particular, we point out the connexions between some transformations on posets and elementary operations on the fraction ΨP . We prove that the denominator of ΨP has a closed expression in terms of the Hasse diagram of P , and we compute its numerator in some special cases. -
LNCS 7034, Pp
Confluent Hasse Diagrams DavidEppsteinandJosephA.Simons Department of Computer Science, University of California, Irvine, USA Abstract. We show that a transitively reduced digraph has a confluent upward drawing if and only if its reachability relation has order dimen- sion at most two. In this case, we construct a confluent upward drawing with O(n2)features,inanO(n) × O(n)gridinO(n2)time.Forthe digraphs representing series-parallel partial orders we show how to con- struct a drawing with O(n)featuresinanO(n)×O(n)gridinO(n)time from a series-parallel decomposition of the partial order. Our drawings are optimal in the number of confluent junctions they use. 1 Introduction One of the most important aspects of a graph drawing is that it should be readable: it should convey the structure of the graph in a clear and concise way. Ease of understanding is difficult to quantify, so various proxies for it have been proposed, including the number of crossings and the total amount of ink required by the drawing [1,18]. Thus given two different ways to present information, we should choose the more succinct and crossing-free presentation. Confluent drawing [7,8,9,15,16] is a style of graph drawing in which multiple edges are combined into shared tracks, and two vertices are considered to be adjacent if a smooth path connects them in these tracks (Figure 1). This style was introduced to re- duce crossings, and in many cases it will also Fig. 1. Conventional and confluent improve the ink requirement by represent- drawings of K5,5 ing dense subgraphs concisely. -
An Upper Bound on the Size of Diamond-Free Families of Sets
View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Repository of the Academy's Library An upper bound on the size of diamond-free families of sets Dániel Grósz∗ Abhishek Methuku† Casey Tompkins‡ Abstract Let La(n, P ) be the maximum size of a family of subsets of [n] = {1, 2,...,n} not containing P as a (weak) subposet. The diamond poset, denoted Q2, is defined on four elements x,y,z,w with the relations x < y,z and y,z < w. La(n, P ) has been studied for many posets; one of the major n open problems is determining La(n, Q2). It is conjectured that La(n, Q2) = (2+ o(1))⌊n/2⌋, and infinitely many significantly different, asymptotically tight constructions are known. Studying the average number of sets from a family of subsets of [n] on a maximal chain in the Boolean lattice 2[n] has been a fruitful method. We use a partitioning of the maximal chains and n introduce an induction method to show that La(n, Q2) ≤ (2.20711 + o(1))⌊n/2⌋, improving on the n earlier bound of (2.25 + o(1))⌊n/2⌋ by Kramer, Martin and Young. 1 Introduction Let [n]= 1, 2,...,n . The Boolean lattice 2[n] is defined as the family of all subsets of [n]= 1, 2,...,n , and the ith{ level of 2}[n] refers to the collection of all sets of size i. In 1928, Sperner proved the{ following} well-known theorem. Theorem 1.1 (Sperner [24]).