271 research outputs found
Foundations of Software Science and Computation Structures
This open access book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019. The 29 papers presented in this volume were carefully reviewed and selected from 85 submissions. They deal with foundational research with a clear significance for software science
Dynamics for holographic codes
We describe how to introduce dynamics for the holographic states and codes
introduced by Pastawski, Yoshida, Harlow and Preskill. This task requires the
definition of a continuous limit of the kinematical Hilbert space which we
argue may be achieved via the semicontinuous limit of Jones. Dynamics is then
introduced by building a unitary representation of a group known as Thompson's
group T, which is closely related to the conformal group in 1+1 dimensions. The
bulk Hilbert space is realised as a special subspace of the semicontinuous
limit Hilbert space spanned by a class of distinguished states which can be
assigned a discrete bulk geometry. The analogue of the group of large bulk
diffeomorphisms is given by a unitary representation of the Ptolemy group Pt,
on the bulk Hilbert space thus realising a toy model of the AdS/CFT
correspondence which we call the Pt/T correspondence.Comment: 40 pages (revised version submitted to journal). See video of related
talk: https://www.youtube.com/watch?v=xc2KIa2LDF
On a registration-based approach to sensor network localization
We consider a registration-based approach for localizing sensor networks from
range measurements. This is based on the assumption that one can find
overlapping cliques spanning the network. That is, for each sensor, one can
identify geometric neighbors for which all inter-sensor ranges are known. Such
cliques can be efficiently localized using multidimensional scaling. However,
since each clique is localized in some local coordinate system, we are required
to register them in a global coordinate system. In other words, our approach is
based on transforming the localization problem into a problem of registration.
In this context, the main contributions are as follows. First, we describe an
efficient method for partitioning the network into overlapping cliques. Second,
we study the problem of registering the localized cliques, and formulate a
necessary rigidity condition for uniquely recovering the global sensor
coordinates. In particular, we present a method for efficiently testing
rigidity, and a proposal for augmenting the partitioned network to enforce
rigidity. A recently proposed semidefinite relaxation of global registration is
used for registering the cliques. We present simulation results on random and
structured sensor networks to demonstrate that the proposed method compares
favourably with state-of-the-art methods in terms of run-time, accuracy, and
scalability
An Efficient Algorithm for Video Super-Resolution Based On a Sequential Model
In this work, we propose a novel procedure for video super-resolution, that
is the recovery of a sequence of high-resolution images from its low-resolution
counterpart. Our approach is based on a "sequential" model (i.e., each
high-resolution frame is supposed to be a displaced version of the preceding
one) and considers the use of sparsity-enforcing priors. Both the recovery of
the high-resolution images and the motion fields relating them is tackled. This
leads to a large-dimensional, non-convex and non-smooth problem. We propose an
algorithmic framework to address the latter. Our approach relies on fast
gradient evaluation methods and modern optimization techniques for
non-differentiable/non-convex problems. Unlike some other previous works, we
show that there exists a provably-convergent method with a complexity linear in
the problem dimensions. We assess the proposed optimization method on {several
video benchmarks and emphasize its good performance with respect to the state
of the art.}Comment: 37 pages, SIAM Journal on Imaging Sciences, 201
Recent mathematical developments in quantum field theory
This workshop has focused on three areas in mathematical quantum field theory and their interrelations: 1) conformal field theory, 2) constructions of interacting models of quantum field theory by various methods, and 3) several approaches studying the interplay of quantum field theory and gravit
- …