Complexity Theory of (Functions on) Compact Metric Spaces

Akitoshi Kawamura, Florian Steinberg, Martin Ziegler

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

Abstract

We promote the theory of computational complexity on metric spaces: as natural common generalization of (i) the classical discrete setting of integers, binary strings, graphs etc. as well as of (ii) the bit-complexity theory on real numbers and functions according to Friedman, Ko (1982ff), Cook, Braverman et al.; as (iii) resource-bounded refinement of the theories of computability on, and representations of, continuous universes by Pour-El&Richards (1989) and Weihrauch (1993ff); and as (iv) computational perspective on quantitative concepts from classical Analysis: Our main results relate (i.e. upper and lower bound) Kolmogorov's entropy of a compact metric space X polynomially to the uniform relativized complexity of approximating various families of continuous functions on X. The upper bounds are attained by carefully crafted oracles and bit-cost analyses of algorithms perusing them. They all employ the same representation (i.e. encoding, as infinite binary sequences, of the elements) of such spaces, which thus may be of own interest. The lower bounds adapt adversary arguments from unit-cost Information-Based Complexity to the bit model. They extend to, and indicate perhaps surprising limitations even of, encodings via binary string functions (rather than sequences) as introduced by Kawamura&Cook (SToC'2010, 3.4). These insights offer some guidance towards suitable notions of complexity for higher types.

Original languageEnglish
Title of host publicationProceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science, LICS 2016
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages837-846
Number of pages10
ISBN (Electronic)9781450343916
DOIs
Publication statusPublished - Jul 5 2016
Externally publishedYes
Event31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2016 - New York, United States
Duration: Jul 5 2016Jul 8 2016

Publication series

NameProceedings - Symposium on Logic in Computer Science
VolumeProceedings - Symposium on Logic in Computer Science
ISSN (Print)1043-6871

Other

Other31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2016
CountryUnited States
CityNew York
Period7/5/167/8/16

Fingerprint

Complexity Theory
Compact Metric Space
Encoding
Strings
Information-based Complexity
Kolmogorov Entropy
Binary
Binary Sequences
Computability
Costs
Guidance
Metric space
Upper and Lower Bounds
Binary sequences
Continuous Function
Computational Complexity
Refinement
Lower bound
Upper bound
Resources

All Science Journal Classification (ASJC) codes

  • Software
  • Mathematics(all)

Cite this

Kawamura, A., Steinberg, F., & Ziegler, M. (2016). Complexity Theory of (Functions on) Compact Metric Spaces. In Proceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science, LICS 2016 (pp. 837-846). (Proceedings - Symposium on Logic in Computer Science; Vol. Proceedings - Symposium on Logic in Computer Science). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1145/2933575.2935311

Complexity Theory of (Functions on) Compact Metric Spaces. / Kawamura, Akitoshi; Steinberg, Florian; Ziegler, Martin.

Proceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science, LICS 2016. Institute of Electrical and Electronics Engineers Inc., 2016. p. 837-846 (Proceedings - Symposium on Logic in Computer Science; Vol. Proceedings - Symposium on Logic in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Kawamura, A, Steinberg, F & Ziegler, M 2016, Complexity Theory of (Functions on) Compact Metric Spaces. in Proceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science, LICS 2016. Proceedings - Symposium on Logic in Computer Science, vol. Proceedings - Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers Inc., pp. 837-846, 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2016, New York, United States, 7/5/16. https://doi.org/10.1145/2933575.2935311
Kawamura A, Steinberg F, Ziegler M. Complexity Theory of (Functions on) Compact Metric Spaces. In Proceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science, LICS 2016. Institute of Electrical and Electronics Engineers Inc. 2016. p. 837-846. (Proceedings - Symposium on Logic in Computer Science). https://doi.org/10.1145/2933575.2935311
Kawamura, Akitoshi ; Steinberg, Florian ; Ziegler, Martin. / Complexity Theory of (Functions on) Compact Metric Spaces. Proceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science, LICS 2016. Institute of Electrical and Electronics Engineers Inc., 2016. pp. 837-846 (Proceedings - Symposium on Logic in Computer Science).
@inproceedings{ba1d84a283e24abeaecc96126092d9d7,
title = "Complexity Theory of (Functions on) Compact Metric Spaces",
abstract = "We promote the theory of computational complexity on metric spaces: as natural common generalization of (i) the classical discrete setting of integers, binary strings, graphs etc. as well as of (ii) the bit-complexity theory on real numbers and functions according to Friedman, Ko (1982ff), Cook, Braverman et al.; as (iii) resource-bounded refinement of the theories of computability on, and representations of, continuous universes by Pour-El&Richards (1989) and Weihrauch (1993ff); and as (iv) computational perspective on quantitative concepts from classical Analysis: Our main results relate (i.e. upper and lower bound) Kolmogorov's entropy of a compact metric space X polynomially to the uniform relativized complexity of approximating various families of continuous functions on X. The upper bounds are attained by carefully crafted oracles and bit-cost analyses of algorithms perusing them. They all employ the same representation (i.e. encoding, as infinite binary sequences, of the elements) of such spaces, which thus may be of own interest. The lower bounds adapt adversary arguments from unit-cost Information-Based Complexity to the bit model. They extend to, and indicate perhaps surprising limitations even of, encodings via binary string functions (rather than sequences) as introduced by Kawamura&Cook (SToC'2010, 3.4). These insights offer some guidance towards suitable notions of complexity for higher types.",
author = "Akitoshi Kawamura and Florian Steinberg and Martin Ziegler",
year = "2016",
month = "7",
day = "5",
doi = "10.1145/2933575.2935311",
language = "English",
series = "Proceedings - Symposium on Logic in Computer Science",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "837--846",
booktitle = "Proceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science, LICS 2016",
address = "United States",

}

TY - GEN

T1 - Complexity Theory of (Functions on) Compact Metric Spaces

AU - Kawamura, Akitoshi

AU - Steinberg, Florian

AU - Ziegler, Martin

PY - 2016/7/5

Y1 - 2016/7/5

N2 - We promote the theory of computational complexity on metric spaces: as natural common generalization of (i) the classical discrete setting of integers, binary strings, graphs etc. as well as of (ii) the bit-complexity theory on real numbers and functions according to Friedman, Ko (1982ff), Cook, Braverman et al.; as (iii) resource-bounded refinement of the theories of computability on, and representations of, continuous universes by Pour-El&Richards (1989) and Weihrauch (1993ff); and as (iv) computational perspective on quantitative concepts from classical Analysis: Our main results relate (i.e. upper and lower bound) Kolmogorov's entropy of a compact metric space X polynomially to the uniform relativized complexity of approximating various families of continuous functions on X. The upper bounds are attained by carefully crafted oracles and bit-cost analyses of algorithms perusing them. They all employ the same representation (i.e. encoding, as infinite binary sequences, of the elements) of such spaces, which thus may be of own interest. The lower bounds adapt adversary arguments from unit-cost Information-Based Complexity to the bit model. They extend to, and indicate perhaps surprising limitations even of, encodings via binary string functions (rather than sequences) as introduced by Kawamura&Cook (SToC'2010, 3.4). These insights offer some guidance towards suitable notions of complexity for higher types.

AB - We promote the theory of computational complexity on metric spaces: as natural common generalization of (i) the classical discrete setting of integers, binary strings, graphs etc. as well as of (ii) the bit-complexity theory on real numbers and functions according to Friedman, Ko (1982ff), Cook, Braverman et al.; as (iii) resource-bounded refinement of the theories of computability on, and representations of, continuous universes by Pour-El&Richards (1989) and Weihrauch (1993ff); and as (iv) computational perspective on quantitative concepts from classical Analysis: Our main results relate (i.e. upper and lower bound) Kolmogorov's entropy of a compact metric space X polynomially to the uniform relativized complexity of approximating various families of continuous functions on X. The upper bounds are attained by carefully crafted oracles and bit-cost analyses of algorithms perusing them. They all employ the same representation (i.e. encoding, as infinite binary sequences, of the elements) of such spaces, which thus may be of own interest. The lower bounds adapt adversary arguments from unit-cost Information-Based Complexity to the bit model. They extend to, and indicate perhaps surprising limitations even of, encodings via binary string functions (rather than sequences) as introduced by Kawamura&Cook (SToC'2010, 3.4). These insights offer some guidance towards suitable notions of complexity for higher types.

UR - http://www.scopus.com/inward/record.url?scp=84994620469&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84994620469&partnerID=8YFLogxK

U2 - 10.1145/2933575.2935311

DO - 10.1145/2933575.2935311

M3 - Conference contribution

AN - SCOPUS:84994620469

T3 - Proceedings - Symposium on Logic in Computer Science

SP - 837

EP - 846

BT - Proceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science, LICS 2016

PB - Institute of Electrical and Electronics Engineers Inc.

ER -