590 research outputs found
A Local Computation Approximation Scheme to Maximum Matching
We present a polylogarithmic local computation matching algorithm which
guarantees a (1-\eps)-approximation to the maximum matching in graphs of
bounded degree.Comment: Appears in Approx 201
Strong Structural Controllability of Systems on Colored Graphs
This paper deals with structural controllability of leader-follower networks.
The system matrix defining the network dynamics is a pattern matrix in which a
priori given entries are equal to zero, while the remaining entries take
nonzero values. The network is called strongly structurally controllable if for
all choices of real values for the nonzero entries in the pattern matrix, the
system is controllable in the classical sense. In this paper we introduce a
more general notion of strong structural controllability which deals with the
situation that given nonzero entries in the system's pattern matrix are
constrained to take identical nonzero values. The constraint of identical
nonzero entries can be caused by symmetry considerations or physical
constraints on the network. The aim of this paper is to establish graph
theoretic conditions for this more general property of strong structural
controllability.Comment: 13 page
Forcing, Freedom, & Uniqueness in Graph Theory & Chemistry
Harary’s & Randić’s ideas of “forcing” & “freedom” involve subsets of double bonds of Kekule structure such as to be unique to that Kekule structure. Such forcing sets are argued to be greatly generalizable to deal with various other coverings, and thence forcing seems to be fundamental, and of notable potential utility. Various forcing invariants associated to (molecular) graphs ensue, with illustrative (chemical) ex-amples and some mathematical consequences being provided. A complementary “uniqueness” idea is not-ed, and the general characteristic of “derivativity” of “forcing” is established (as is relevant for QSPR fit-tings). Different ways in which different sorts of forcings arise in chemistry are briefly indicated.(doi: 10.5562/cca2000
Relaxing the Irrevocability Requirement for Online Graph Algorithms
Online graph problems are considered in models where the irrevocability
requirement is relaxed. Motivated by practical examples where, for example,
there is a cost associated with building a facility and no extra cost
associated with doing it later, we consider the Late Accept model, where a
request can be accepted at a later point, but any acceptance is irrevocable.
Similarly, we also consider a Late Reject model, where an accepted request can
later be rejected, but any rejection is irrevocable (this is sometimes called
preemption). Finally, we consider the Late Accept/Reject model, where late
accepts and rejects are both allowed, but any late reject is irrevocable. For
Independent Set, the Late Accept/Reject model is necessary to obtain a constant
competitive ratio, but for Vertex Cover the Late Accept model is sufficient and
for Minimum Spanning Forest the Late Reject model is sufficient. The Matching
problem has a competitive ratio of 2, but in the Late Accept/Reject model, its
competitive ratio is 3/2
Random multi-index matching problems
The multi-index matching problem (MIMP) generalizes the well known matching
problem by going from pairs to d-uplets. We use the cavity method from
statistical physics to analyze its properties when the costs of the d-uplets
are random. At low temperatures we find for d>2 a frozen glassy phase with
vanishing entropy. We also investigate some properties of small samples by
enumerating the lowest cost matchings to compare with our theoretical
predictions.Comment: 22 pages, 16 figure
Global hypercontractivity and its applications
The hypercontractive inequality on the discrete cube plays a crucial role in
many fundamental results in the Analysis of Boolean functions, such as the KKL
theorem, Friedgut's junta theorem and the invariance principle. In these
results the cube is equipped with the uniform measure, but it is desirable,
particularly for applications to the theory of sharp thresholds, to also obtain
such results for general -biased measures. However, simple examples show
that when , there is no hypercontractive inequality that is strong
enough.
In this paper, we establish an effective hypercontractive inequality for
general that applies to `global functions', i.e. functions that are not
significantly affected by a restriction of a small set of coordinates. This
class of functions appears naturally, e.g. in Bourgain's sharp threshold
theorem, which states that such functions exhibit a sharp threshold. We
demonstrate the power of our tool by strengthening Bourgain's theorem, thereby
making progress on a conjecture of Kahn and Kalai and by establishing a
-biased analog of the invariance principle.
Our results have significant applications in Extremal Combinatorics. Here we
obtain new results on the Tur\'an number of any bounded degree uniform
hypergraph obtained as the expansion of a hypergraph of bounded uniformity.
These are asymptotically sharp over an essentially optimal regime for both the
uniformity and the number of edges and solve a number of open problems in the
area. In particular, we give general conditions under which the crosscut
parameter asymptotically determines the Tur\'an number, answering a question of
Mubayi and Verstra\"ete. We also apply the Junta Method to refine our
asymptotic results and obtain several exact results, including proofs of the
Huang--Loh--Sudakov conjecture on cross matchings and the
F\"uredi--Jiang--Seiver conjecture on path expansions.Comment: Subsumes arXiv:1906.0556
(-1)-enumeration of plane partitions with complementation symmetry
We compute the weighted enumeration of plane partitions contained in a given
box with complementation symmetry where adding one half of an orbit of cubes
and removing the other half of the orbit changes the weight by -1 as proposed
by Kuperberg. We use nonintersecting lattice path families to accomplish this
for transpose-complementary, cyclically symmetric transpose-complementary and
totally symmetric self-complementary plane partitions. For symmetric
transpose-complementary and self-complementary plane partitions we get partial
results. We also describe Kuperberg's proof for the case of cyclically
symmetric self-complementary plane partitions.Comment: 41 pages, AmS-LaTeX, uses TeXDraw; reference adde
- …