scholarly journals Excluded subposets in the Boolean lattice

2005 ◽  
Vol DMTCS Proceedings vol. AE,... (Proceedings) ◽  
Author(s):  
Gyula O.H. Katona

International audience We are looking for the maximum number of subsets of an n-element set not containing 4 distinct subsets satisfying $A ⊂B, C ⊂B, C ⊂D$. It is proved that this number is at least the number of the $\lfloor \frac{n }{ 2}\rfloor$ -element sets times $1+\frac{2}{ n}$, on the other hand an upper bound is given with 4 replaced by the value 2.

2018 ◽  
Vol 19 (2) ◽  
pp. 421-450 ◽  
Author(s):  
Stephen Scully

Let $q$ be an anisotropic quadratic form defined over a general field $F$. In this article, we formulate a new upper bound for the isotropy index of $q$ after scalar extension to the function field of an arbitrary quadric. On the one hand, this bound offers a refinement of an important bound established in earlier work of Karpenko–Merkurjev and Totaro; on the other hand, it is a direct generalization of Karpenko’s theorem on the possible values of the first higher isotropy index. We prove its validity in two key cases: (i) the case where $\text{char}(F)\neq 2$, and (ii) the case where $\text{char}(F)=2$ and $q$ is quasilinear (i.e., diagonalizable). The two cases are treated separately using completely different approaches, the first being algebraic–geometric, and the second being purely algebraic.


2015 ◽  
Vol DMTCS Proceedings, 27th... (Proceedings) ◽  
Author(s):  
Sabine Beil

International audience Triangular fully packed loop configurations (TFPLs) came up in the study of fully packed loop configurations on a square (FPLs) corresponding to link patterns with a large number of nested arches. To a TFPL is assigned a triple $(u,v;w)$ of $01$-words encoding its boundary conditions. A necessary condition for the boundary $(u,v;w)$ of a TFPL is $\lvert \lambda(u) \rvert +\lvert \lambda(v) \rvert \leq \lvert \lambda(w) \rvert$, where $\lambda(u)$ denotes the Young diagram associated with the $01$-word $u$. Wieland gyration, on the other hand, was invented to show the rotational invariance of the numbers $A_\pi$ of FPLs corresponding to a given link pattern $\pi$. Later, Wieland drift was defined as the natural adaption of Wieland gyration to TFPLs. The main contribution of this article is a linear expression for the number of TFPLs with boundary $(u,v;w)$ where $\lvert \lambda (w) \rvert - \lvert\lambda (u) \rvert - \lvert \lambda (v)\rvert \leq 2$ in terms of numbers of stable TFPLs that is TFPLs invariant under Wieland drift. These stable TFPLs have boundary $(u^{+},v^{+};w)$ for words $u^{+}$ and $v^{+}$ such that $\lambda (u) \subseteq \lambda (u^{+})$ and $\lambda (v) \subseteq \lambda (v^{+})$. Les configurations de boucles compactes triangulaires (”triangular fully packed loop configurations”, ou TFPLs) sont apparues dans l’étude des configurations de boucles compactes dans un carré (FPLs) correspondant à des motifs de liaison avec un grand nombre d’arcs imbriqués. À chaque TPFL on associe un triplet $(u,v;w)$ de mots sur {0,1}, qui encode ses conditions aux bords. Une condition nécessaire pour le bord $(u,v;w)$ d’un TFPL est $\lvert \lambda(u) \rvert +\lvert \lambda(v) \rvert \leq \lvert \lambda(w) \rvert$, où $\lambda(u)$ désigne le diagramme de Young associé au mot $u$. D’un autre côté, la giration de Wieland a été inventée pour montrer l’invariance par rotation des nombres $A_\pi$ de FPLs correspondant à un motif de liaison donné $\pi$. Plus tard, la déviation de Wieland a été définie pour adapter de manière naturelle la giration de Wieland aux TFPLs. La contribution principale de cet article est une expression linéaire pour le nombre de TFPLs de bord $(u,v;w)$, où $\lvert \lambda (w) \rvert - \lvert\lambda (u) \rvert - \lvert \lambda (v)\rvert \leq 2$, en fonction des nombres de TFPLs stables, <i>i.e</i>., les TFPLs invariants par déviation de Wieland. Ces TFPLs stables ont pour bord $(u^{+},v^{+};w)$, avec $u^{+}$ et $v^{+}$ des mots tels que $\lambda (u) \subseteq \lambda (u^{+})$ et $\lambda (v) \subseteq \lambda (v^{+})$.


2014 ◽  
Vol DMTCS Proceedings vol. AT,... (Proceedings) ◽  
Author(s):  
Miriam Farber ◽  
Alexander Postnikov

International audience We discuss arrangements of equal minors in totally positive matrices. More precisely, we would like to investigate the structure of possible equalities and inequalities between the minors. We show that arrangements of equals minors of largest value are in bijection with <i>sorted sets</i>, which earlier appeared in the context of <i>alcoved polytopes</i> and Gröbner bases. Maximal arrangements of this form correspond to simplices of the alcoved triangulation of the hypersimplex; and the number of such arrangements equals the <i>Eulerian number</i>. On the other hand, we conjecture and prove in many cases that arrangements of equal minors of smallest value are exactly the <i>weakly separated sets</i>. Weakly separated sets, originally introduced by Leclerc and Zelevinsky, are closely related to the \textitpositive Grassmannian and the associated <i>cluster algebra</i>.


2021 ◽  
Vol vol. 23, no. 3 (Graph Theory) ◽  
Author(s):  
Yan Li ◽  
Xin Zhang

An outer-1-planar graph is a graph admitting a drawing in the plane so that all vertices appear in the outer region of the drawing and every edge crosses at most one other edge. This paper establishes the local structure of outer-1-planar graphs by proving that each outer-1-planar graph contains one of the seventeen fixed configurations, and the list of those configurations is minimal in the sense that for each fixed configuration there exist outer-1-planar graphs containing this configuration that do not contain any of another sixteen configurations. There are two interesting applications of this structural theorem. First of all, we conclude that every (resp. maximal) outer-1-planar graph of minimum degree at least 2 has an edge with the sum of the degrees of its two end-vertices being at most 9 (resp. 7), and this upper bound is sharp. On the other hand, we show that the list 3-dynamic chromatic number of every outer-1-planar graph is at most 6, and this upper bound is best possible.


Symmetry ◽  
2021 ◽  
Vol 13 (8) ◽  
pp. 1471
Author(s):  
Mike Behrisch ◽  
Edith Vargas-García

As part of a project to identify all maximal centralising monoids on a four-element set, we determine all centralising monoids witnessed by unary or by idempotent binary operations on a four-element set. Moreover, we show that every centralising monoid on a set with at least four elements witnessed by the Maľcev operation of a Boolean group operation is always a maximal centralising monoid, i.e., a co-atom below the full transformation monoid. On the other hand, we also prove that centralising monoids witnessed by certain types of permutations or retractive operations can never be maximal.


Author(s):  
Michael Rahnfeld

Using a part-whole-calculus the vague concept of wholeness is rendered precisely as the structure of an atomic boolean lattice. The so-defined prototypical structure of wholeness has the status of a category, since every element of our experience may be considered as an intended application of it. This will be illustrated using examples from different ontological spheres. The hypothetical and therefore fallible character of the structure is shown in its inadequacy in grasping quantum logical facts. This demands a differentiation of wholeness. The defined structure may be seen as circular in two respects: On the one hand it is the precondition for the understanding of its own syntactic and semantic basics, on the other hand there exists a mutual defineability between its atoms, which leads us to the thesis that wholeness cannot be defined in a non-circular manner.


Moreana ◽  
2003 ◽  
Vol 40 (Number 153- (1-2) ◽  
pp. 120-142 ◽  
Author(s):  
Howard B. Norland

The nature of the personal relationship between More and Elyot remains something of a mystery, but their political perspectives reflect the similarities and differences in their public experience and sources of inspiration. More’s Utopia (1516) grew out of his interaction with European scholars and political leaders; composed in Latin for an international audience, the work moves from particular social problems in England to a radical alternative conceptualized in detail. The Governor (1531), written in English and addressed to the aristocracy, resulted from Elyot’s years as a middle-level public administrator. Practical rather than imaginative, Elyot finds the principles of governance mainly in Aristotle and Cicero; on the other hand, More, inspired primarily by Plato and Lucian, creates a social construct against which contemporary societies should be measured. Each reflecting his own perspective, Elyot emphasizes individual, personal virtues while More focuses on social values. The conservative Elyot endorses the hierarchal society governed by a monarch through his governors in contrast with More, who represents an elective meritocracy.


1950 ◽  
Vol 15 (4) ◽  
pp. 241-247
Author(s):  
Hao Wang

In [1] we have considered a certain system L and shown that although its axioms are considerably weaker than those of [2], it suffices for purposes of the topics covered in [2]. The purpose of the present paper is to consider the system L more carefully and to show that with suitably chosen definitions for numbers, the ordinary theory of real numbers is also obtainable in it. For this purpose, we shall indicate that we can prove in L a certain set of twenty axioms used by Tarski which are sufficient for the arithmetic of real numbers and are to the effect that real numbers form a complete ordered field. Indeed, we cannot prove in L all Tarski's twenty axioms in their full generality. One of them, stating in effect that every bounded class of real numbers possesses a least upper bound, can only be proved as a metatheorem which states that every bounded nameable class of real numbers possesses a least upper bound. However, all the other nineteen axioms can be proved in L without any modification.This result may be of some interest because the axioms of L are considerably weaker than those commonly employed for the same purpose. In L variables need to take as values only classes each of whose members has no more than two members. In other words, only classes each with no more than two members are to be elements. On the other hand, it is usual to assume for the purpose of natural arithmetic that all finite classes are elements, and, for the purpose of real arithmetic, that all enumerable classes are elements.


2020 ◽  
Vol 70 (3) ◽  
pp. 617-624
Author(s):  
Nijjwal Karak

AbstractWe provide a upper bound for Triebel-Lizorkin capacity in metric settings in terms of Hausdorff measure. On the other hand, we also prove that the sets with zero capacity have generalized Hausdorff h-measure zero for a suitable gauge function h.


1986 ◽  
Vol 108 (4) ◽  
pp. 317-321 ◽  
Author(s):  
B. Avitzur ◽  
J. C. Choi

Based on the upper-bound theorem in limit analysis, the central bursting defect in plane strain drawing and extrusion is analyzed by comparing the proportional flow with the central bursting flow for the metal with voids at the center. A criterion for the unique conditions that promote this defect has been derived. The metal with voids may flow in the identical manner to that of solid strip with no voids to form a sound flow, deterring central bursting. A solid strip, on the other hand, or a material with voids, may flow in a manner so as to produce central bursting defects. A major conclusion of the study is that, for a range of combinations of inclined angle of the die, reduction, and friction, central bursting is expected whether or not the material originally had any voids. On the other hand, central bursting can be prevented even if the original rod contains small-size voids.


Sign in / Sign up

Export Citation Format

Share Document