2,686 research outputs found
Total Generalized Variation for Manifold-valued Data
In this paper we introduce the notion of second-order total generalized
variation (TGV) regularization for manifold-valued data in a discrete setting.
We provide an axiomatic approach to formalize reasonable generalizations of TGV
to the manifold setting and present two possible concrete instances that
fulfill the proposed axioms. We provide well-posedness results and present
algorithms for a numerical realization of these generalizations to the manifold
setup. Further, we provide experimental results for synthetic and real data to
further underpin the proposed generalization numerically and show its potential
for applications with manifold-valued data
First steps in synthetic guarded domain theory: step-indexing in the topos of trees
We present the topos S of trees as a model of guarded recursion. We study the
internal dependently-typed higher-order logic of S and show that S models two
modal operators, on predicates and types, which serve as guards in recursive
definitions of terms, predicates, and types. In particular, we show how to
solve recursive type equations involving dependent types. We propose that the
internal logic of S provides the right setting for the synthetic construction
of abstract versions of step-indexed models of programming languages and
program logics. As an example, we show how to construct a model of a
programming language with higher-order store and recursive types entirely
inside the internal logic of S. Moreover, we give an axiomatic categorical
treatment of models of synthetic guarded domain theory and prove that, for any
complete Heyting algebra A with a well-founded basis, the topos of sheaves over
A forms a model of synthetic guarded domain theory, generalizing the results
for S
A simple axiomatization of the median procedure on median graphs
A profile = (x1, ..., xk), of length k, in a finite connected graph G is a sequence
of vertices of G, with repetitions allowed. A median x of is a vertex for which
the sum of the distances from x to the vertices in the profile is minimum. The
median function finds the set of all medians of a profile. Medians are important in
location theory and consensus theory. A median graph is a graph for which every
profile of length 3 has a unique median. Median graphs are well studied. They
arise in many arenas, and have many applications.
We establish a succinct axiomatic characterization of the median procedure on
median graphs. This is a simplification of the characterization given by McMorris,
Mulder and Roberts [17] in 1998. We show that the median procedure can be characterized
on the class of all median graphs with only three simple and intuitively
appealing axioms: anonymity, betweenness and consistency. We also extend a key
result of the same paper, characterizing the median function for profiles of even
length on median graphs
- …