2,442 research outputs found
Arboreal Bound Entanglement
In this paper, we discuss the entanglement properties of graph-diagonal
states, with particular emphasis on calculating the threshold for the
transition between the presence and absence of entanglement (i.e. the
separability point). Special consideration is made of the thermal states of
trees, including the linear cluster state. We characterise the type of
entanglement present, and describe the optimal entanglement witnesses and their
implementation on a quantum computer, up to an additive approximation. In the
case of general graphs, we invoke a relation with the partition function of the
classical Ising model, thereby intimating a connection to computational
complexity theoretic tasks. Finally, we show that the entanglement is robust to
some classes of local perturbations.Comment: 9 pages + appendices, 3 figure
Spectral rigidity of automorphic orbits in free groups
It is well-known that a point in the (unprojectivized)
Culler-Vogtmann Outer space is uniquely determined by its
\emph{translation length function} . A subset of a
free group is called \emph{spectrally rigid} if, whenever
are such that for every then in . By
contrast to the similar questions for the Teichm\"uller space, it is known that
for there does not exist a finite spectrally rigid subset of .
In this paper we prove that for if is a subgroup
that projects to an infinite normal subgroup in then the -orbit
of an arbitrary nontrivial element is spectrally rigid. We also
establish a similar statement for , provided that is not
conjugate to a power of .
We also include an appended corrigendum which gives a corrected proof of
Lemma 5.1 about the existence of a fully irreducible element in an infinite
normal subgroup of of . Our original proof of Lemma 5.1 relied on a
subgroup classification result of Handel-Mosher, originally stated by
Handel-Mosher for arbitrary subgroups . After our paper was
published, it turned out that the proof of the Handel-Mosher subgroup
classification theorem needs the assumption that be finitely generated. The
corrigendum provides an alternative proof of Lemma~5.1 which uses the
corrected, finitely generated, version of the Handel-Mosher theorem and relies
on the 0-acylindricity of the action of on the free factor complex
(due to Bestvina-Mann-Reynolds). A proof of 0-acylindricity is included in the
corrigendum.Comment: Included a corrigendum which gives a corrected proof of Lemma 5.1
about the existence of a fully irreducible element in an infinite normal
subgroup of of Out(F_N). Note that, because of the arXiv rules, the
corrigendum and the original article are amalgamated into a single pdf file,
with the corrigendum appearing first, followed by the main body of the
original articl
Gromov-Witten Gauge Theory I
We introduce a geometric completion of the stack of maps from stable marked
curves to the quotient stack [point/GL(1)], and use it to construct some
gauge-theoretic analogues of the Gromov-Witten invariants. We also indicate the
generalization of these invariants to the quotient stacks [X/GL(1)], where X is
a smooth proper complex algebraic variety.Comment: v3: Shorter, cleaner proof of main theorem. Accepted versio
Stabilizing Weighted Graphs
An edge-weighted graph G=(V,E) is called stable if the value of a maximum-weight matching equals the value of a maximum-weight fractional matching. Stable graphs play an important role in some interesting game theory problems, such as network bargaining games and cooperative matching games, because they characterize instances which admit stable outcomes. Motivated by this, in the last few years many researchers have investigated the algorithmic problem of turning a given graph into a stable one, via edge- and vertex-removal operations. However, all the algorithmic results developed in the literature so far only hold for unweighted instances, i.e., assuming unit weights on the edges of G.
We give the first polynomial-time algorithm to find a minimum cardinality subset of vertices whose removal from G yields a stable graph, for any weighted graph G. The algorithm is combinatorial and exploits new structural properties of basic fractional matchings, which are of independent interest. In particular, one of the main ingredients of our result is the development of a polynomial-time algorithm to compute a basic maximum-weight fractional matching with minimum number of odd cycles in its support. This generalizes a fundamental and classical result on unweighted matchings given by Balas more than 30 years ago, which we expect to prove useful beyond this particular application.
In contrast, we show that the problem of finding a minimum cardinality subset of edges whose removal from a weighted graph G yields a stable graph, does not admit any constant-factor approximation algorithm, unless P=NP. In this setting, we develop an O(Delta)-approximation algorithm for the problem, where Delta is the maximum degree of a node in G
The Complexity of Matching Games: A Survey
Matching games naturally generalize assignment games, a well-known class of
cooperative games. Interest in matching games has grown recently due to some
breakthrough results and new applications. This state-of-the-art survey
provides an overview of matching games and extensions, such as -matching
games and partitioned matching games; the latter originating from the emerging
area of international kidney exchange. In this survey we focus on computational
complexity aspects of various game-theoretical solution concepts, such as the
core, nucleolus and Shapley value, when the input is restricted to some
(generalized) matching game
- …