198 research outputs found
Random cliques in random graphs
We show that for each , in a density range extending up to, and
slightly beyond, the threshold for a -factor, the copies of in the
random graph are randomly distributed, in the (one-sided) sense that
the hypergraph that they form contains a copy of a binomial random hypergraph
with almost exactly the right density. Thus, an asymptotically sharp bound for
the threshold in Shamir's hypergraph matching problem -- recently announced by
Jeff Kahn -- implies a corresponding bound for the threshold for to
contain a -factor. We also prove a slightly weaker result for , and
(weaker) generalizations replacing by certain other graphs . As an
application of the latter we find, up to a log factor, the threshold for
to contain an -factor when is -balanced but not strictly
-balanced.Comment: 19 pages; expanded introduction and Section 5, plus minor correction
Combinatorics and Probability
For the past few decades, Combinatorics and Probability Theory have had a fruitful symbiosis, each benefitting from and influencing developments in the other. Thus to prove the existence of designs, probabilistic methods are used, algorithms to factorize integers need combinatorics and probability theory (in addition to number theory), and the study of random matrices needs combinatorics. In the workshop a great variety of topics exemplifying this interaction were considered, including problems concerning designs, Cayley graphs, additive number theory, multiplicative number theory, noise sensitivity, random graphs, extremal graphs and random matrices
A Unifying Hierarchy of Valuations with Complements and Substitutes
We introduce a new hierarchy over monotone set functions, that we refer to as
(Maximum over Positive Hypergraphs). Levels of the hierarchy
correspond to the degree of complementarity in a given function. The highest
level of the hierarchy, - (where is the total number of
items) captures all monotone functions. The lowest level, -,
captures all monotone submodular functions, and more generally, the class of
functions known as . Every monotone function that has a positive
hypergraph representation of rank (in the sense defined by Abraham,
Babaioff, Dughmi and Roughgarden [EC 2012]) is in -. Every
monotone function that has supermodular degree (in the sense defined by
Feige and Izsak [ITCS 2013]) is in -. In both cases, the
converse direction does not hold, even in an approximate sense. We present
additional results that demonstrate the expressiveness power of
-.
One can obtain good approximation ratios for some natural optimization
problems, provided that functions are required to lie in low levels of the
hierarchy. We present two such applications. One shows that the
maximum welfare problem can be approximated within a ratio of if all
players hold valuation functions in -. The other is an upper
bound of on the price of anarchy of simultaneous first price auctions.
Being in - can be shown to involve two requirements -- one
is monotonicity and the other is a certain requirement that we refer to as
(Positive Lower Envelope). Removing the monotonicity
requirement, one obtains the hierarchy over all non-negative
set functions (whether monotone or not), which can be fertile ground for
further research
Percolation on self-dual polygon configurations
Recently, Scullard and Ziff noticed that a broad class of planar percolation
models are self-dual under a simple condition that, in a parametrized version
of such a model, reduces to a single equation. They state that the solution of
the resulting equation gives the critical point. However, just as in the
classical case of bond percolation on the square lattice, self-duality is
simply the starting point: the mathematical difficulty is precisely showing
that self-duality implies criticality. Here we do so for a generalization of
the models considered by Scullard and Ziff. In these models, the states of the
bonds need not be independent; furthermore, increasing events need not be
positively correlated, so new techniques are needed in the analysis. The main
new ingredients are a generalization of Harris's Lemma to products of partially
ordered sets, and a new proof of a type of Russo-Seymour-Welsh Lemma with
minimal symmetry assumptions.Comment: Expanded; 73 pages, 24 figure
- …