35 research outputs found
A Family of Partially Ordered Sets with Small Balance Constant
Given a finite poset and two distinct elements and , we
let denote the fraction of linear
extensions of in which precedes . The balance constant
of is then defined by The
- conjecture asserts that whenever
is not a chain, but except from certain trivial examples it is not
known when equality occurs, or even if balance constants can approach .
In this paper we make some progress on the conjecture by exhibiting a
sequence of posets with balance constants approaching
, answering a question of
Brightwell. These provide smaller balance constants than any other known
nontrivial family.Comment: 11 pages, 4 figure
Distance-regular graphs
This is a survey of distance-regular graphs. We present an introduction to
distance-regular graphs for the reader who is unfamiliar with the subject, and
then give an overview of some developments in the area of distance-regular
graphs since the monograph 'BCN' [Brouwer, A.E., Cohen, A.M., Neumaier, A.,
Distance-Regular Graphs, Springer-Verlag, Berlin, 1989] was written.Comment: 156 page
Antimatroids and Balanced Pairs
We generalize the 1/3-2/3 conjecture from partially ordered sets to
antimatroids: we conjecture that any antimatroid has a pair of elements x,y
such that x has probability between 1/3 and 2/3 of appearing earlier than y in
a uniformly random basic word of the antimatroid. We prove the conjecture for
antimatroids of convex dimension two (the antimatroid-theoretic analogue of
partial orders of width two), for antimatroids of height two, for antimatroids
with an independent element, and for the perfect elimination antimatroids and
node search antimatroids of several classes of graphs. A computer search shows
that the conjecture is true for all antimatroids with at most six elements.Comment: 16 pages, 5 figure
The Resemblance Structure of Natural Kinds: A Formal Model for Resemblance Nominalism
278 p.The aim of this thesis is to better understand the ways natural kinds are related to each other by species-genus relations and the ways in which the members of the kind are related to each other by resemblance relations, by making use of formal models of kinds. This is done by first analysing a Minimal Conception of Natural Kinds and then reconstructing it from the ontological assumptions of Resemblance Nominalism. The questions addressed are:(1) What is the external structure of kinds' In what ways are kinds related to each other by species-genus relations'(2) What is the internal structure of kinds' In what sense are the instances of a kind similar enough to each other'According to the Minimal Conception of Kinds, kinds have two components, a set of members of the kind (the extension) and a set of natural attributes common to these objects (the intension). Several interesting features of this conception are discussed by making use of the mathematical theory of concept lattices. First, such structures provide a model for contemporary formulations of syllogistic logic. Second, kinds are ordered forming a complete lattice that follows Kant's law of the duality between extension and intension, according to which the extension of a kind is inversely related to its intension. Finally, kinds are shown to have Aristotelian definitions in terms of genera and specific differences. Overall this results in a description of the specificity relations of kinds as an algebraic calculus.According to Resemblance Nominalism, attributes or properties are classes of similar objects. Such an approach faces Goodman's companionship and imperfect community problems. In order to deal with these, a specific nominalism, namely Aristocratic Resemblance Nominalism, is chosen. According to it, attributes are classes of objects resembling a given paradigm. A model for it is introduced by making use of the mathematical theory of similarity structures and of some results on the topic of quasianalysis. Two other models (the polar model and an order-theoretic model) are considered and shown to be equivalent to the previous one.The main result is that the class of lattices of kinds that a nominalist can recover uniquely by starting from these assumptions is that of complete coatomistic lattices. Several other related results are obtained, including a generalization of the similarity model that allows for paradigms with several properties and properties with several paradigms. The conclusion is that, under nominalist assumptions, the internal structure of kinds is fixed by paradigmatic objects and the external structure of kinds is that of a coatomistic lattice that satisfies the Minimal Conception of Kinds
The Resemblance Structure of Natural Kinds: A Formal Model for Resemblance Nominalism
278 p.The aim of this thesis is to better understand the ways natural kinds are related to each other by species-genus relations and the ways in which the members of the kind are related to each other by resemblance relations, by making use of formal models of kinds. This is done by first analysing a Minimal Conception of Natural Kinds and then reconstructing it from the ontological assumptions of Resemblance Nominalism. The questions addressed are:(1) What is the external structure of kinds' In what ways are kinds related to each other by species-genus relations'(2) What is the internal structure of kinds' In what sense are the instances of a kind similar enough to each other'According to the Minimal Conception of Kinds, kinds have two components, a set of members of the kind (the extension) and a set of natural attributes common to these objects (the intension). Several interesting features of this conception are discussed by making use of the mathematical theory of concept lattices. First, such structures provide a model for contemporary formulations of syllogistic logic. Second, kinds are ordered forming a complete lattice that follows Kant's law of the duality between extension and intension, according to which the extension of a kind is inversely related to its intension. Finally, kinds are shown to have Aristotelian definitions in terms of genera and specific differences. Overall this results in a description of the specificity relations of kinds as an algebraic calculus.According to Resemblance Nominalism, attributes or properties are classes of similar objects. Such an approach faces Goodman's companionship and imperfect community problems. In order to deal with these, a specific nominalism, namely Aristocratic Resemblance Nominalism, is chosen. According to it, attributes are classes of objects resembling a given paradigm. A model for it is introduced by making use of the mathematical theory of similarity structures and of some results on the topic of quasianalysis. Two other models (the polar model and an order-theoretic model) are considered and shown to be equivalent to the previous one.The main result is that the class of lattices of kinds that a nominalist can recover uniquely by starting from these assumptions is that of complete coatomistic lattices. Several other related results are obtained, including a generalization of the similarity model that allows for paradigms with several properties and properties with several paradigms. The conclusion is that, under nominalist assumptions, the internal structure of kinds is fixed by paradigmatic objects and the external structure of kinds is that of a coatomistic lattice that satisfies the Minimal Conception of Kinds
LIPIcs, Volume 251, ITCS 2023, Complete Volume
LIPIcs, Volume 251, ITCS 2023, Complete Volum