8,172 research outputs found
Resource theories of knowledge
How far can we take the resource theoretic approach to explore physics?
Resource theories like LOCC, reference frames and quantum thermodynamics have
proven a powerful tool to study how agents who are subject to certain
constraints can act on physical systems. This approach has advanced our
understanding of fundamental physical principles, such as the second law of
thermodynamics, and provided operational measures to quantify resources such as
entanglement or information content. In this work, we significantly extend the
approach and range of applicability of resource theories. Firstly we generalize
the notion of resource theories to include any description or knowledge that
agents may have of a physical state, beyond the density operator formalism. We
show how to relate theories that differ in the language used to describe
resources, like micro and macroscopic thermodynamics. Finally, we take a
top-down approach to locality, in which a subsystem structure is derived from a
global theory rather than assumed. The extended framework introduced here
enables us to formalize new tasks in the language of resource theories, ranging
from tomography, cryptography, thermodynamics and foundational questions, both
within and beyond quantum theory.Comment: 28 pages featuring figures, examples, map and neatly boxed theorems,
plus appendi
Lifted rule injection for relation embeddings
Methods based on representation learning currently hold the state-of-the-art in many natural language processing and knowledge base inference tasks. Yet, a major challenge is how to efficiently incorporate commonsense knowledge into such models. A recent approach regularizes relation and entity representations by propositionalization of first-order logic rules. However, propositionalization does not scale beyond domains with only few entities and rules. In this paper we present a highly efficient method for incorporating implication rules into distributed representations for automated knowledge base construction. We map entity-tuple embeddings into an approximately Boolean space and encourage a partial ordering over relation embeddings based on implication rules mined from WordNet. Surprisingly, we find that the strong restriction of the entity-tuple embedding space does not hurt the expressiveness of the model and even acts as a regularizer that improves generalization. By incorporating few commonsense rules, we achieve an increase of 2 percentage points mean average precision over a matrix factorization baseline, while observing a negligible increase in runtime
A theorem of Hrushovski-Solecki-Vershik applied to uniform and coarse embeddings of the Urysohn metric space
A theorem proved by Hrushovski for graphs and extended by Solecki and Vershik
(independently from each other) to metric spaces leads to a stronger version of
ultrahomogeneity of the infinite random graph , the universal Urysohn metric
space \Ur, and other related objects. We show how the result can be used to
average out uniform and coarse embeddings of \Ur (and its various
counterparts) into normed spaces. Sometimes this leads to new embeddings of the
same kind that are metric transforms and besides extend to affine
representations of various isometry groups. As an application of this
technique, we show that \Ur admits neither a uniform nor a coarse embedding
into a uniformly convex Banach space.Comment: 23 pages, LaTeX 2e with Elsevier macros, a significant revision
taking into account anonymous referee's comments, with the proof of the main
result simplified and another long proof moved to the appendi
- …