The computational content of multidimensional discontinuity
Logic
2024-07-19 v2
Abstract
The Weihrauch degrees are a tool to gauge the computational difficulty of mathematical problems. Often, what makes these problems hard is their discontinuity. We look at discontinuity in its purest form, that is, at otherwise constant functions that make a single discontinuous step along each dimension of their underlying space. This is an extension of previous work of Kihara, Pauly, Westrick from a single dimension to multiple dimensions. Among other results, we obtain strict hierarchies in the Weihrauch degrees, one of which orders mathematical problems by the richness of the truth-tables determining how discontinuous steps influence the output.
Keywords
Cite
@article{arxiv.2405.04338,
title = {The computational content of multidimensional discontinuity},
author = {Rupert Hölzl and Keng Meng Ng},
journal= {arXiv preprint arXiv:2405.04338},
year = {2024}
}