-
Computably discrete represented spaces
Authors:
Eike Neumann,
Arno Pauly,
Cécilia Pradic,
Manlio Valenti
Abstract:
In computable topology, a represented space is called computably discrete if its equality predicate is semidecidable. While any such space is classically isomorphic to an initial segment of the natural numbers, the computable-isomorphism types of computably discrete represented spaces exhibit a rich structure. We show that the widely studied class of computably enumerable equivalence relations (ce…
▽ More
In computable topology, a represented space is called computably discrete if its equality predicate is semidecidable. While any such space is classically isomorphic to an initial segment of the natural numbers, the computable-isomorphism types of computably discrete represented spaces exhibit a rich structure. We show that the widely studied class of computably enumerable equivalence relations (ceers) corresponds precisely to the computably Quasi-Polish computably discrete spaces. We employ computably discrete spaces to exhibit several separating examples in computable topology. We construct a computably discrete computably Quasi-Polish space admitting no decidable properties, a computably discrete and computably Hausdorff precomputably Quasi-Polish space admitting no computable injection into the natural numbers, a two-point space which is computably Hausdorff but not computably discrete, and a two-point space which is computably discrete but not computably Hausdorff. We further expand an example due to Weihrauch that separates computably regular spaces from computably normal spaces.
△ Less
Submitted 9 April, 2025;
originally announced April 2025.
-
More on the indivisibility of $\mathbb{Q}$
Authors:
Arno Pauly
Abstract:
We study the complexity of the computational task ``Given a colouring $c : \mathbb{Q} \to \mathbf{k}$, find a monochromatic $S \subseteq \mathbb{Q}$ such that $(S,<) \cong (\mathbb{Q},<)$''. The framework is Weihrauch reducibility. Our results answer some open questions recently raised by Gill, and by Dzhafarov, Solomon and Valenti.
We study the complexity of the computational task ``Given a colouring $c : \mathbb{Q} \to \mathbf{k}$, find a monochromatic $S \subseteq \mathbb{Q}$ such that $(S,<) \cong (\mathbb{Q},<)$''. The framework is Weihrauch reducibility. Our results answer some open questions recently raised by Gill, and by Dzhafarov, Solomon and Valenti.
△ Less
Submitted 4 July, 2024;
originally announced July 2024.
-
The equational theory of the Weihrauch lattice with multiplication
Authors:
Eike Neumann,
Arno Pauly,
Cécilia Pradic
Abstract:
We study the equational theory of the Weihrauch lattice with multiplication, meaning the collection of equations between terms built from variables, the lattice operations $\sqcup$, $\sqcap$, the product $\times$, and the finite parallelization $(-)^*$ which are true however we substitute Weihrauch degrees for the variables. We provide a combinatorial description of these in terms of a reducibilit…
▽ More
We study the equational theory of the Weihrauch lattice with multiplication, meaning the collection of equations between terms built from variables, the lattice operations $\sqcup$, $\sqcap$, the product $\times$, and the finite parallelization $(-)^*$ which are true however we substitute Weihrauch degrees for the variables. We provide a combinatorial description of these in terms of a reducibility between finite graphs, and moreover, show that deciding which equations are true in this sense is complete for the third level of the polynomial hierarchy.
△ Less
Submitted 3 September, 2024; v1 submitted 20 March, 2024;
originally announced March 2024.
-
Sequential discontinuity and first-order problems
Authors:
Arno Pauly,
Giovanni Soldà
Abstract:
We explore the low levels of the structure of the continuous Weihrauch degrees of first-order problems. In particular, we show that there exists a minimal discontinuous first-order degree, namely that of $\accn$, without any determinacy assumptions. The same degree is also revealed as the least sequentially discontinuous one, i.e. the least degree with a representative whose restriction to some se…
▽ More
We explore the low levels of the structure of the continuous Weihrauch degrees of first-order problems. In particular, we show that there exists a minimal discontinuous first-order degree, namely that of $\accn$, without any determinacy assumptions. The same degree is also revealed as the least sequentially discontinuous one, i.e. the least degree with a representative whose restriction to some sequence converging to a limit point is still discontinuous.
The study of games related to continuous Weihrauch reducibility constitutes an important ingredient in the proof of the main theorem. We present some initial additional results about the degrees of first-order problems that can be obtained using this approach.
△ Less
Submitted 23 January, 2024;
originally announced January 2024.
-
The weakness of finding descending sequences in ill-founded linear orders
Authors:
Jun Le Goh,
Arno Pauly,
Manlio Valenti
Abstract:
We explore the Weihrauch degree of the problems ``find a bad sequence in a non-well quasi order'' ($\mathsf{BS}$) and ``find a descending sequence in an ill-founded linear order'' ($\mathsf{DS}$). We prove that $\mathsf{DS}$ is strictly Weihrauch reducible to $\mathsf{BS}$, correcting our mistaken claim in [arXiv:2010.03840]. This is done by separating their respective first-order parts. On the ot…
▽ More
We explore the Weihrauch degree of the problems ``find a bad sequence in a non-well quasi order'' ($\mathsf{BS}$) and ``find a descending sequence in an ill-founded linear order'' ($\mathsf{DS}$). We prove that $\mathsf{DS}$ is strictly Weihrauch reducible to $\mathsf{BS}$, correcting our mistaken claim in [arXiv:2010.03840]. This is done by separating their respective first-order parts. On the other hand, we show that $\mathsf{BS}$ and $\mathsf{DS}$ have the same finitary and deterministic parts, confirming that $\mathsf{BS}$ and $\mathsf{DS}$ have very similar uniform computational strength. We prove that König's lemma $\mathsf{KL}$ and the problem $\mathsf{wList}_{2^{\mathbb{N}},\leqω}$ of enumerating a given non-empty countable closed subset of $2^{\mathbb{N}}$ are not Weihrauch reducible to $\mathsf{DS}$ or $\mathsf{BS}$, resolving two main open questions raised in [arXiv:2010.03840]. We also answer the question, raised in [arXiv:1804.10968], on the existence of a ``parallel quotient'' operator, and study the behavior of $\mathsf{BS}$ and $\mathsf{DS}$ under the quotient with some known problems.
△ Less
Submitted 17 April, 2025; v1 submitted 22 January, 2024;
originally announced January 2024.
-
Minimal covers in the Weihrauch degrees
Authors:
Steffen Lempp,
Joseph S. Miller,
Arno Pauly,
Mariya I. Soskova,
Manlio Valenti
Abstract:
In this paper, we study the existence of minimal covers and strong minimal covers in the Weihrauch degrees. We characterize when a problem $f$ is a minimal cover or strong minimal cover of a problem $h$. We show that strong minimal covers only exist in the cone below $\mathsf{id}$ and that the Weihrauch lattice above $\mathsf{id}$ is dense. From this, we conclude that the degree of $\mathsf{id}$ i…
▽ More
In this paper, we study the existence of minimal covers and strong minimal covers in the Weihrauch degrees. We characterize when a problem $f$ is a minimal cover or strong minimal cover of a problem $h$. We show that strong minimal covers only exist in the cone below $\mathsf{id}$ and that the Weihrauch lattice above $\mathsf{id}$ is dense. From this, we conclude that the degree of $\mathsf{id}$ is first-order definable in the Weihrauch degrees and that the first-order theory of the Weihrauch degrees is computably isomorphic to third-order arithmetic.
△ Less
Submitted 21 November, 2023;
originally announced November 2023.
-
Embeddability of graphs and Weihrauch degrees
Authors:
Vittorio Cipriani,
Arno Pauly
Abstract:
We study the complexity of the following related computational tasks concerning a fixed countable graph G: 1. Does a countable graph H provided as input have a(n induced) subgraph isomorphic to G? 2. Given a countable graph H that has a(n induced) subgraph isomorphic to G, find such a subgraph. The framework for our investigations is given by effective Wadge reducibility and by Weihrauch reducibil…
▽ More
We study the complexity of the following related computational tasks concerning a fixed countable graph G: 1. Does a countable graph H provided as input have a(n induced) subgraph isomorphic to G? 2. Given a countable graph H that has a(n induced) subgraph isomorphic to G, find such a subgraph. The framework for our investigations is given by effective Wadge reducibility and by Weihrauch reducibility. Our work follows on "Reverse mathematics and Weihrauch analysis motivated by finite complexity theory" (Computability, 2021) by BeMent, Hirst and Wallace, and we answer several of their open questions.
△ Less
Submitted 16 January, 2024; v1 submitted 1 May, 2023;
originally announced May 2023.
-
The James Webb Space Telescope Mission
Authors:
Jonathan P. Gardner,
John C. Mather,
Randy Abbott,
James S. Abell,
Mark Abernathy,
Faith E. Abney,
John G. Abraham,
Roberto Abraham,
Yasin M. Abul-Huda,
Scott Acton,
Cynthia K. Adams,
Evan Adams,
David S. Adler,
Maarten Adriaensen,
Jonathan Albert Aguilar,
Mansoor Ahmed,
Nasif S. Ahmed,
Tanjira Ahmed,
Rüdeger Albat,
Loïc Albert,
Stacey Alberts,
David Aldridge,
Mary Marsha Allen,
Shaune S. Allen,
Martin Altenburg
, et al. (983 additional authors not shown)
Abstract:
Twenty-six years ago a small committee report, building on earlier studies, expounded a compelling and poetic vision for the future of astronomy, calling for an infrared-optimized space telescope with an aperture of at least $4m$. With the support of their governments in the US, Europe, and Canada, 20,000 people realized that vision as the $6.5m$ James Webb Space Telescope. A generation of astrono…
▽ More
Twenty-six years ago a small committee report, building on earlier studies, expounded a compelling and poetic vision for the future of astronomy, calling for an infrared-optimized space telescope with an aperture of at least $4m$. With the support of their governments in the US, Europe, and Canada, 20,000 people realized that vision as the $6.5m$ James Webb Space Telescope. A generation of astronomers will celebrate their accomplishments for the life of the mission, potentially as long as 20 years, and beyond. This report and the scientific discoveries that follow are extended thank-you notes to the 20,000 team members. The telescope is working perfectly, with much better image quality than expected. In this and accompanying papers, we give a brief history, describe the observatory, outline its objectives and current observing program, and discuss the inventions and people who made it possible. We cite detailed reports on the design and the measured performance on orbit.
△ Less
Submitted 10 April, 2023;
originally announced April 2023.
-
On the Weihrauch degree of the additive Ramsey theorem
Authors:
Arno Pauly,
Cécilia Pradic,
Giovanni Solda
Abstract:
We characterize the strength, in terms of Weihrauch degrees, of certain problems related to Ramsey-like theorems concerning colourings of the rationals and of the natural numbers. The theorems we are chiefly interested in assert the existence of almost-homogeneous sets for colourings of pairs of rationals respectively natural numbers satisfying properties determined by some additional algebraic st…
▽ More
We characterize the strength, in terms of Weihrauch degrees, of certain problems related to Ramsey-like theorems concerning colourings of the rationals and of the natural numbers. The theorems we are chiefly interested in assert the existence of almost-homogeneous sets for colourings of pairs of rationals respectively natural numbers satisfying properties determined by some additional algebraic structure on the set of colours.
In the context of reverse mathematics, most of the principles we study are equivalent to $Σ^0_2$-induction over $\mathrm{RCA}_0$. The associated problems in the Weihrauch lattice are related to $\mathrm{TC}_\mathbb{N}^*$, $(\mathrm{LPO}')^*$ or their product, depending on their precise formalizations.
△ Less
Submitted 4 December, 2023; v1 submitted 7 January, 2023;
originally announced January 2023.
-
The Weihrauch degree of finding Nash equilibria in multiplayer games
Authors:
Tonicha Crook,
Arno Pauly
Abstract:
Is there an algorithm that takes a game in normal form as input, and outputs a Nash equilibrium? If the payoffs are integers, the answer is yes, and lot of work has been done in its computational complexity. If the payoffs are permitted to be real numbers, the answer is no, for continuity reasons. It is worthwhile to investigate the precise degree of non-computability (the Weihrauch degree), since…
▽ More
Is there an algorithm that takes a game in normal form as input, and outputs a Nash equilibrium? If the payoffs are integers, the answer is yes, and lot of work has been done in its computational complexity. If the payoffs are permitted to be real numbers, the answer is no, for continuity reasons. It is worthwhile to investigate the precise degree of non-computability (the Weihrauch degree), since knowing the degree entails what other approaches are available (eg, is there a randomized algorithm with positive success change?). The two player case has already been fully classified, but the multiplayer case remains open and is addressed here. Our approach involves classifying the degree of finding roots of polynomials, and lifting this to systems of polynomial inequalities via cylindrical algebraic decomposition.
△ Less
Submitted 6 May, 2025; v1 submitted 2 September, 2021;
originally announced September 2021.
-
The Care Label Concept: A Certification Suite for Trustworthy and Resource-Aware Machine Learning
Authors:
Katharina Morik,
Helena Kotthaus,
Lukas Heppe,
Danny Heinrich,
Raphael Fischer,
Andreas Pauly,
Nico Piatkowski
Abstract:
Machine learning applications have become ubiquitous. This has led to an increased effort of making machine learning trustworthy. Explainable and fair AI have already matured. They address knowledgeable users and application engineers. For those who do not want to invest time into understanding the method or the learned model, we offer care labels: easy to understand at a glance, allowing for meth…
▽ More
Machine learning applications have become ubiquitous. This has led to an increased effort of making machine learning trustworthy. Explainable and fair AI have already matured. They address knowledgeable users and application engineers. For those who do not want to invest time into understanding the method or the learned model, we offer care labels: easy to understand at a glance, allowing for method or model comparisons, and, at the same time, scientifically well-based. On one hand, this transforms descriptions as given by, e.g., Fact Sheets or Model Cards, into a form that is well-suited for end-users. On the other hand, care labels are the result of a certification suite that tests whether stated guarantees hold. In this paper, we present two experiments with our certification suite. One shows the care labels for configurations of Markov random fields (MRFs). Based on the underlying theory of MRFs, each choice leads to its specific rating of static properties like, e.g., expressivity and reliability. In addition, the implementation is tested and resource consumption is measured yielding dynamic properties. This two-level procedure is followed by another experiment certifying deep neural network (DNN) models. There, we draw the static properties from the literature on a particular model and data set. At the second level, experiments are generated that deliver measurements of robustness against certain attacks. We illustrate this by ResNet-18 and MobileNetV3 applied to ImageNet.
△ Less
Submitted 1 June, 2021;
originally announced June 2021.
-
Yes We Care! -- Certification for Machine Learning Methods through the Care Label Framework
Authors:
Katharina Morik,
Helena Kotthaus,
Raphael Fischer,
Sascha Mücke,
Matthias Jakobs,
Nico Piatkowski,
Andreas Pauly,
Lukas Heppe,
Danny Heinrich
Abstract:
Machine learning applications have become ubiquitous. Their applications range from embedded control in production machines over process optimization in diverse areas (e.g., traffic, finance, sciences) to direct user interactions like advertising and recommendations. This has led to an increased effort of making machine learning trustworthy. Explainable and fair AI have already matured. They addre…
▽ More
Machine learning applications have become ubiquitous. Their applications range from embedded control in production machines over process optimization in diverse areas (e.g., traffic, finance, sciences) to direct user interactions like advertising and recommendations. This has led to an increased effort of making machine learning trustworthy. Explainable and fair AI have already matured. They address the knowledgeable user and the application engineer. However, there are users that want to deploy a learned model in a similar way as their washing machine. These stakeholders do not want to spend time in understanding the model, but want to rely on guaranteed properties. What are the relevant properties? How can they be expressed to the stakeholder without presupposing machine learning knowledge? How can they be guaranteed for a certain implementation of a machine learning model? These questions move far beyond the current state of the art and we want to address them here. We propose a unified framework that certifies learning methods via care labels. They are easy to understand and draw inspiration from well-known certificates like textile labels or property cards of electronic devices. Our framework considers both, the machine learning theory and a given implementation. We test the implementation's compliance with theoretical properties and bounds.
△ Less
Submitted 22 December, 2022; v1 submitted 21 May, 2021;
originally announced May 2021.
-
A Computability Perspective on (Verified) Machine Learning
Authors:
Tonicha Crook,
Jay Morgan,
Arno Pauly,
Markus Roggenbach
Abstract:
There is a strong consensus that combining the versatility of machine learning with the assurances given by formal verification is highly desirable. It is much less clear what verified machine learning should mean exactly. We consider this question from the (unexpected?) perspective of computable analysis. This allows us to define the computational tasks underlying verified ML in a model-agnostic…
▽ More
There is a strong consensus that combining the versatility of machine learning with the assurances given by formal verification is highly desirable. It is much less clear what verified machine learning should mean exactly. We consider this question from the (unexpected?) perspective of computable analysis. This allows us to define the computational tasks underlying verified ML in a model-agnostic way, and show that they are in principle computable.
△ Less
Submitted 12 February, 2021;
originally announced February 2021.
-
Adaptive Neighbourhoods for the Discovery of Adversarial Examples
Authors:
Jay Morgan,
Adeline Paiement,
Arno Pauly,
Monika Seisenberger
Abstract:
Deep Neural Networks (DNNs) have often supplied state-of-the-art results in pattern recognition tasks. Despite their advances, however, the existence of adversarial examples have caught the attention of the community. Many existing works have proposed methods for searching for adversarial examples within fixed-sized regions around training points. Our work complements and improves these existing a…
▽ More
Deep Neural Networks (DNNs) have often supplied state-of-the-art results in pattern recognition tasks. Despite their advances, however, the existence of adversarial examples have caught the attention of the community. Many existing works have proposed methods for searching for adversarial examples within fixed-sized regions around training points. Our work complements and improves these existing approaches by adapting the size of these regions based on the problem complexity and data sampling density. This makes such approaches more appropriate for other types of data and may further improve adversarial training methods by increasing the region sizes without creating incorrect labels.
△ Less
Submitted 22 January, 2021;
originally announced January 2021.
-
Finding descending sequences through ill-founded linear orders
Authors:
Jun Le Goh,
Arno Pauly,
Manlio Valenti
Abstract:
In this work we investigate the Weihrauch degree of the problem $\mathsf{DS}$ of finding an infinite descending sequence through a given ill-founded linear order, which is shared by the problem $\mathsf{BS}$ of finding a bad sequence through a given non-well quasi-order. We show that $\mathsf{DS}$, despite being hard to solve (it has computable inputs with no hyperarithmetic solution), is rather w…
▽ More
In this work we investigate the Weihrauch degree of the problem $\mathsf{DS}$ of finding an infinite descending sequence through a given ill-founded linear order, which is shared by the problem $\mathsf{BS}$ of finding a bad sequence through a given non-well quasi-order. We show that $\mathsf{DS}$, despite being hard to solve (it has computable inputs with no hyperarithmetic solution), is rather weak in terms of uniform computational strength. To make the latter precise, we introduce the notion of the deterministic part of a Weihrauch degree. We then generalize $\mathsf{DS}$ and $\mathsf{BS}$ by considering $\boldsymbolΓ$-presented orders, where $\boldsymbolΓ$ is a Borel pointclass or $\boldsymbolΔ^1_1$, $\boldsymbolΣ^1_1$, $\boldsymbolΠ^1_1$. We study the obtained $\mathsf{DS}$-hierarchy and $\mathsf{BS}$-hierarchy of problems in comparison with the (effective) Baire hierarchy and show that they do not collapse at any finite level.
△ Less
Submitted 24 January, 2024; v1 submitted 8 October, 2020;
originally announced October 2020.
-
An update on Weihrauch complexity, and some open questions
Authors:
Arno Pauly
Abstract:
This is an informal survey of progress in Weihrauch complexity (cf arXiv:1707.03202) in the period 2018-2020. Open questions are emphasised.
This is an informal survey of progress in Weihrauch complexity (cf arXiv:1707.03202) in the period 2018-2020. Open questions are emphasised.
△ Less
Submitted 25 August, 2020;
originally announced August 2020.
-
Luzin's (N) and randomness reflection
Authors:
Arno Pauly,
Linda Westrick,
Liang Yu
Abstract:
We show that a computable function $f:\mathbb R\rightarrow\mathbb R$ has Luzin's property (N) if and only if it reflects $Π^1_1$-randomnes, if and only if it reflects $Δ^1_1(\mathcal O)$-randomness, and if and only if it reflects $\mathcal O$-Kurtz randomness, but reflecting Martin-Löf randomness or weak-2-randomness does not suffice. Here a function $f$ is said to reflect a randomness notion $R$…
▽ More
We show that a computable function $f:\mathbb R\rightarrow\mathbb R$ has Luzin's property (N) if and only if it reflects $Π^1_1$-randomnes, if and only if it reflects $Δ^1_1(\mathcal O)$-randomness, and if and only if it reflects $\mathcal O$-Kurtz randomness, but reflecting Martin-Löf randomness or weak-2-randomness does not suffice. Here a function $f$ is said to reflect a randomness notion $R$ if whenever $f(x)$ is $R$-random, then $x$ is $R$-random as well. If additionally $f$ is known to have bounded variation, then we show $f$ has Luzin's (N) if and only if it reflects weak-2-randomness, and if and only if it reflects $\emptyset'$-Kurtz randomness. This links classical real analysis with algorithmic randomness.
△ Less
Submitted 25 September, 2020; v1 submitted 12 June, 2020;
originally announced June 2020.
-
Variability of the Great Disk Shadow in Serpens
Authors:
Klaus M. Pontoppidan,
Joel D. Green,
Tyler A. Pauly,
Colette Salyk,
Joseph DePasquale
Abstract:
We present multi-epoch Hubble Space Telescope imaging of the Great Disk Shadow in the Serpens star-forming region. The near-infrared images show strong variability of the disk shadow, revealing dynamics of the inner disk on time scales of months. The Great Shadow is projected onto the Serpens reflection nebula by an unresolved protoplanetary disk surrounding the young intermediate-mass star SVS2/C…
▽ More
We present multi-epoch Hubble Space Telescope imaging of the Great Disk Shadow in the Serpens star-forming region. The near-infrared images show strong variability of the disk shadow, revealing dynamics of the inner disk on time scales of months. The Great Shadow is projected onto the Serpens reflection nebula by an unresolved protoplanetary disk surrounding the young intermediate-mass star SVS2/CK3/EC82. Since the shadow extends out to a distance of at least 17,000 au, corresponding to a light travel time of 0.24 years, the images may reveal detailed changes in the disk scale height and position angle on time scales as short as a day, corresponding to the angular resolution of the images, and up to the 1.11 year span between two observing epochs. We present a basic retrieval of temporal changes in the disk density structure, based on the images. We find that the inner disk changes position angle on time scales of months, and that the change is not axisymmetric, suggesting the presence of a non-axisymmetric dynamical forcing on $\sim$1\,au size scales. We consider two different scenarios, one in which a quadrupolar disk warp orbits the central star, and one in which an unequal-mass binary orbiting out of the disk plane displaces the photo-center relative to the shadowing disk. Continued space-based monitoring of the Serpens Disk Shadow is required to distinguish between these scenarios, and could provide unique, and detailed, insight into the dynamics of inner protoplanetary disks not available through other means.
△ Less
Submitted 10 June, 2020;
originally announced June 2020.
-
Computing Haar Measures
Authors:
Arno Pauly,
Dongseong Seon,
Martin Ziegler
Abstract:
According to Haar's Theorem, every compact group $G$ admits a unique (regular, right and) left-invariant Borel probability measure $μ_G$. Let the Haar integral (of $G$) denote the functional $\int_G:\mathcal{C}(G)\ni f\mapsto \int f\,dμ_G$ integrating any continuous function $f:G\to\mathbb{R}$ with respect to $μ_G$. This generalizes, and recovers for the additive group $G=[0;1)\mod 1$, the usual R…
▽ More
According to Haar's Theorem, every compact group $G$ admits a unique (regular, right and) left-invariant Borel probability measure $μ_G$. Let the Haar integral (of $G$) denote the functional $\int_G:\mathcal{C}(G)\ni f\mapsto \int f\,dμ_G$ integrating any continuous function $f:G\to\mathbb{R}$ with respect to $μ_G$. This generalizes, and recovers for the additive group $G=[0;1)\mod 1$, the usual Riemann integral: computable (cmp. Weihrauch 2000, Theorem 6.4.1), and of computational cost characterizing complexity class #P$_1$ (cmp. Ko 1991, Theorem 5.32). We establish that in fact every computably compact computable metric group renders the Haar integral computable: once asserting computability using an elegant synthetic argument, exploiting uniqueness in a computably compact space of probability measures; and once presenting and analyzing an explicit, imperative algorithm based on 'maximum packings' with rigorous error bounds and guaranteed convergence. Regarding computational complexity, for the groups $\mathcal{SO}(3)$ and $\mathcal{SU}(2)$ we reduce the Haar integral to and from Euclidean/Riemann integration. In particular both also characterize #P$_1$. Implementation and empirical evaluation using the iRRAM C++ library for exact real computation confirms the (thus necessary) exponential runtime.
△ Less
Submitted 29 October, 2019; v1 submitted 28 June, 2019;
originally announced June 2019.
-
Convex choice, finite choice and sorting
Authors:
Takayuki Kihara,
Arno Pauly
Abstract:
We study the Weihrauch degrees of closed choice for finite sets, closed choice for convex sets and sorting infinite sequences over finite alphabets. Our main results are: One, that choice for finite sets of cardinality $i + 1$ is reducible to choice for convex sets in dimension $j$, which in turn is reducible to sorting infinite sequences over an alphabet of size $k + 1$, iff $i \leq j \leq k$. Tw…
▽ More
We study the Weihrauch degrees of closed choice for finite sets, closed choice for convex sets and sorting infinite sequences over finite alphabets. Our main results are: One, that choice for finite sets of cardinality $i + 1$ is reducible to choice for convex sets in dimension $j$, which in turn is reducible to sorting infinite sequences over an alphabet of size $k + 1$, iff $i \leq j \leq k$. Two, that convex choice in dimension two is not reducible to the product of convex choice in dimension one with itself. Three, that sequential composition of one-dimensional convex choice is not reducible to convex choice in any dimension. The latter solves an open question raised at a Dagstuhl seminar on Weihrauch reducibility in 2015. Our proofs invoke Kleene's recursion theorem, and we describe in some detail how Kleene's recursion theorem gives rise to a technique for proving separations of Weihrauch degrees.
△ Less
Submitted 1 May, 2019;
originally announced May 2019.
-
Enumeration degrees and non-metrizable topology
Authors:
Takayuki Kihara,
Keng Meng Ng,
Arno Pauly
Abstract:
The enumeration degrees of sets of natural numbers can be identified with the degrees of difficulty of enumerating neighborhood bases of points in a universal second-countable $T_0$-space (e.g. the $ω$-power of the Sierpiński space). Hence, every represented second-countable $T_0$-space determines a collection of enumeration degrees. For instance, Cantor space captures the total degrees, and the H…
▽ More
The enumeration degrees of sets of natural numbers can be identified with the degrees of difficulty of enumerating neighborhood bases of points in a universal second-countable $T_0$-space (e.g. the $ω$-power of the Sierpiński space). Hence, every represented second-countable $T_0$-space determines a collection of enumeration degrees. For instance, Cantor space captures the total degrees, and the Hilbert cube captures the continuous degrees by definition. Based on these observations, we utilize general topology (particularly non-metrizable topology) to establish a classification theory of enumeration degrees of sets of natural numbers.
△ Less
Submitted 17 September, 2020; v1 submitted 8 April, 2019;
originally announced April 2019.
-
Effective local compactness and the hyperspace of located sets
Authors:
Arno Pauly
Abstract:
We revisit the definition of effective local compactness, and propose an approach that works for arbitrary countably-based spaces extending the previous work on computable metric spaces. We use this to show that effective local compactness suffices to ensure that the hyperspace of closed-and-overt sets (aka located sets, aka closed sets with full information) is computably compact and computably m…
▽ More
We revisit the definition of effective local compactness, and propose an approach that works for arbitrary countably-based spaces extending the previous work on computable metric spaces. We use this to show that effective local compactness suffices to ensure that the hyperspace of closed-and-overt sets (aka located sets, aka closed sets with full information) is computably compact and computably metrizable.
△ Less
Submitted 13 March, 2019;
originally announced March 2019.
-
Computability Aspects of Differential Games in Euclidian Spaces
Authors:
Gafurjan Ibragimov,
Bakh Khoussainov,
Arno Pauly
Abstract:
We study computability-theoretic aspects of differential games. Our focus is on pursuit and evasion games played in Euclidean spaces in the tradition of Rado's "Lion versus Man" game. In some ways, these games can be viewed as continuous versions of reachability games. We prove basic undecidability of differential games, and study natural classes of pursuit-evasion games in Euclidean spaces where…
▽ More
We study computability-theoretic aspects of differential games. Our focus is on pursuit and evasion games played in Euclidean spaces in the tradition of Rado's "Lion versus Man" game. In some ways, these games can be viewed as continuous versions of reachability games. We prove basic undecidability of differential games, and study natural classes of pursuit-evasion games in Euclidean spaces where the winners can win via computable strategies. The winning strategy for Man found by Besicovitch for the traditional "Lion versus Man" is not computable. We show how to modify it to yield a computable non-deterministic winning strategy, and raise the question whether Man can win in a computable and deterministic way.
△ Less
Submitted 2 March, 2019;
originally announced March 2019.
-
Overt choice
Authors:
Matthew de Brecht,
Arno Pauly,
Matthias Schröder
Abstract:
We introduce and study the notion of overt choice for countably-based spaces and for CoPolish spaces. Overt choice is the task of producing a point in a closed set specified by what open sets intersect it. We show that the question of whether overt choice is continuous for a given space is related to topological completeness notions such as the Choquet-property; and to whether variants of Michael'…
▽ More
We introduce and study the notion of overt choice for countably-based spaces and for CoPolish spaces. Overt choice is the task of producing a point in a closed set specified by what open sets intersect it. We show that the question of whether overt choice is continuous for a given space is related to topological completeness notions such as the Choquet-property; and to whether variants of Michael's selection theorem hold for that space. For spaces where overt choice is discontinuous it is interesting to explore the resulting Weihrauch degrees, which in turn are related to whether or not the space is Frechet-Urysohn.
△ Less
Submitted 14 February, 2019;
originally announced February 2019.
-
Combinatorial principles equivalent to weak induction
Authors:
Caleb Davis,
Denis R. Hirschfeldt,
Jeffry L. Hirst,
Jake Pardo,
Arno Pauly,
Keita Yokoyama
Abstract:
We consider two combinatorial principles, ${\sf{ERT}}$ and ${\sf{ECT}}$. Both are easily proved in ${\sf{RCA}}_0$ plus ${Σ^0_2}$ induction. We give two proofs of ${\sf{ERT}}$ in ${\sf{RCA}}_0$, using different methods to eliminate the use of ${Σ^0_2}$ induction. Working in the weakened base system ${\sf{RCA}}_0^*$, we prove that ${\sf{ERT}}$ is equivalent to ${Σ^0_1}$ induction and ${\sf{ECT}}$ is…
▽ More
We consider two combinatorial principles, ${\sf{ERT}}$ and ${\sf{ECT}}$. Both are easily proved in ${\sf{RCA}}_0$ plus ${Σ^0_2}$ induction. We give two proofs of ${\sf{ERT}}$ in ${\sf{RCA}}_0$, using different methods to eliminate the use of ${Σ^0_2}$ induction. Working in the weakened base system ${\sf{RCA}}_0^*$, we prove that ${\sf{ERT}}$ is equivalent to ${Σ^0_1}$ induction and ${\sf{ECT}}$ is equivalent to ${Σ^0_2}$ induction. We conclude with a Weihrauch analysis of the principles, showing ${\sf{ERT}} {\equiv_{\rm W}} {\sf{LPO}}^* {<_{\rm W}}{\sf{TC}_{\mathbb N}}^* {\equiv_{\rm W}} {\sf{ECT}}$.
△ Less
Submitted 24 December, 2018;
originally announced December 2018.
-
Searching for an analogue of ATR in the Weihrauch lattice
Authors:
Takayuki Kihara,
Alberto Marcone,
Arno Pauly
Abstract:
There are close similarities between the Weihrauch lattice and the zoo of axiom systems in reverse mathematics. Following these similarities has often allowed researchers to translate results from one setting to the other. However, amongst the big five axiom systems from reverse mathematics, so far ATR_0 has no identified counterpart in the Weihrauch degrees. We explore and evaluate several candid…
▽ More
There are close similarities between the Weihrauch lattice and the zoo of axiom systems in reverse mathematics. Following these similarities has often allowed researchers to translate results from one setting to the other. However, amongst the big five axiom systems from reverse mathematics, so far ATR_0 has no identified counterpart in the Weihrauch degrees. We explore and evaluate several candidates, and conclude that the situation is complicated.
△ Less
Submitted 13 January, 2020; v1 submitted 4 December, 2018;
originally announced December 2018.
-
Parameterized Games and Parameterized Automata
Authors:
Arno Pauly
Abstract:
We introduce a way to parameterize automata and games on finite graphs with natural numbers. The parameters are accessed essentially by allowing counting down from the parameter value to 0 and branching depending on whether 0 has been reached. The main technical result is that in games, a player can win for some values of the parameters at all, if she can win for some values below an exponential b…
▽ More
We introduce a way to parameterize automata and games on finite graphs with natural numbers. The parameters are accessed essentially by allowing counting down from the parameter value to 0 and branching depending on whether 0 has been reached. The main technical result is that in games, a player can win for some values of the parameters at all, if she can win for some values below an exponential bound. For many winning conditions, this implies decidability of any statements about a player being able to win with arbitrary quantification over the parameter values.
While the result seems broadly applicable, a specific motivation comes from the study of chains of strategies in games. Chains of games were recently suggested as a means to define a rationality notion based on dominance that works well with quantitative games by Bassett, Jecker, P., Raskin and Van den Boogard. From the main result of this paper, we obtain generalizations of their decidability results with much simpler proofs.
As both a core technical notion in the proof of the main result, and as a notion of potential independent interest, we look at boolean functions defined via graph game forms. Graph game forms have properties akin to monotone circuits, albeit are more concise. We raise some open questions regarding how concise they are exactly, which have a flavour similar to circuit complexity. Answers to these questions could improve the bounds in the main theorem.
△ Less
Submitted 9 September, 2018;
originally announced September 2018.
-
Extending finite-memory determinacy by Boolean combination of winning conditions
Authors:
Stéphane Le Roux,
Arno Pauly,
Mickael Randour
Abstract:
We study finite-memory (FM) determinacy in games on finite graphs, a central question for applications in controller synthesis, as FM strategies correspond to implementable controllers. We establish general conditions under which FM strategies suffice to play optimally, even in a broad multi-objective setting. We show that our framework encompasses important classes of games from the literature, a…
▽ More
We study finite-memory (FM) determinacy in games on finite graphs, a central question for applications in controller synthesis, as FM strategies correspond to implementable controllers. We establish general conditions under which FM strategies suffice to play optimally, even in a broad multi-objective setting. We show that our framework encompasses important classes of games from the literature, and permits to go further, using a unified approach. While such an approach cannot match ad-hoc proofs with regard to tightness of memory bounds, it has two advantages: first, it gives a widely-applicable criterion for FM determinacy; second, it helps to understand the cornerstones of FM determinacy, which are often hidden but common in proofs for specific (combinations of) winning conditions.
△ Less
Submitted 4 October, 2018; v1 submitted 17 August, 2018;
originally announced August 2018.
-
Projection operators in the Weihrauch lattice
Authors:
Guido Gherardi,
Alberto Marcone,
Arno Pauly
Abstract:
In this paper we study the Weihrauch complexity of projection operators onto closed subsets of the Euclidean space. We show that some fundamental degrees of the Weihrauch lattice can be characterized in terms of such operators.
In this paper we study the Weihrauch complexity of projection operators onto closed subsets of the Euclidean space. We show that some fundamental degrees of the Weihrauch lattice can be characterized in terms of such operators.
△ Less
Submitted 7 November, 2018; v1 submitted 30 May, 2018;
originally announced May 2018.
-
Beyond admissibility: Dominance between chains of strategies
Authors:
Nicolas Basset,
Ismaël Jecker,
Arno Pauly,
Jean-François Raskin,
Marie Van den Bogaard
Abstract:
Admissible strategies, i.e. those that are not dominated by any other strategy, are a typical rationality notion in game theory. In many classes of games this is justified by results showing that any strategy is admissible or dominated by an admissible strategy. However, in games played on finite graphs with quantitative objectives (as used for reactive synthesis), this is not the case.
We consi…
▽ More
Admissible strategies, i.e. those that are not dominated by any other strategy, are a typical rationality notion in game theory. In many classes of games this is justified by results showing that any strategy is admissible or dominated by an admissible strategy. However, in games played on finite graphs with quantitative objectives (as used for reactive synthesis), this is not the case.
We consider increasing chains of strategies instead to recover a satisfactory rationality notion based on dominance in such games. We start with some order-theoretic considerations establishing sufficient criteria for this to work. We then turn our attention to generalised safety/reachability games as a particular application. We propose the notion of maximal uniform chain as the desired dominance-based rationality concept in these games. Decidability of some fundamental questions about uniform chains is established.
△ Less
Submitted 29 May, 2018;
originally announced May 2018.
-
Ramsey's theorem and products in the Weihrauch degrees
Authors:
Damir D. Dzhafarov,
Jun Le Goh,
Denis R. Hirschfeldt,
Ludovic Patey,
Arno Pauly
Abstract:
We study the positions in the Weihrauch lattice of parallel products of various combinatorial principles related to Ramsey's theorem. Among other results, we obtain an answer to a question of Brattka, by showing that Ramsey's theorem for pairs ($\mathsf{RT}^2_2$) is strictly Weihrauch below the parallel product of the stable Ramsey's theorem for pairs and the cohesive principle (…
▽ More
We study the positions in the Weihrauch lattice of parallel products of various combinatorial principles related to Ramsey's theorem. Among other results, we obtain an answer to a question of Brattka, by showing that Ramsey's theorem for pairs ($\mathsf{RT}^2_2$) is strictly Weihrauch below the parallel product of the stable Ramsey's theorem for pairs and the cohesive principle ($\mathsf{SRT}^2_2 \times \mathsf{COH}$).
△ Less
Submitted 20 October, 2019; v1 submitted 29 April, 2018;
originally announced April 2018.
-
Weihrauch Complexity in Computable Analysis
Authors:
Vasco Brattka,
Guido Gherardi,
Arno Pauly
Abstract:
We provide a self-contained introduction into Weihrauch complexity and its applications to computable analysis. This includes a survey on some classification results and a discussion of the relation to other approaches.
We provide a self-contained introduction into Weihrauch complexity and its applications to computable analysis. This includes a survey on some classification results and a discussion of the relation to other approaches.
△ Less
Submitted 7 December, 2018; v1 submitted 11 July, 2017;
originally announced July 2017.
-
On the existence of weak subgame perfect equilibria
Authors:
Véronique Bruyère,
Stéphane Le Roux,
Arno Pauly,
Jean-François Raskin
Abstract:
We study multi-player turn-based games played on (potentially infinite) directed graphs. An outcome is assigned to every play of the game. Each player has a preference relation on the set of outcomes which allows him to compare plays. We focus on the recently introduced notion of weak subgame perfect equilibrium (weak SPE). This is a variant of the classical notion of SPE, where players who deviat…
▽ More
We study multi-player turn-based games played on (potentially infinite) directed graphs. An outcome is assigned to every play of the game. Each player has a preference relation on the set of outcomes which allows him to compare plays. We focus on the recently introduced notion of weak subgame perfect equilibrium (weak SPE). This is a variant of the classical notion of SPE, where players who deviate can only use strategies deviating from their initial strategy in a finite number of histories. Having an SPE in a game implies having a weak SPE but the contrary is generally false.
We propose general conditions on the structure of the game graph and on the preference relations of the players that guarantee the existence of a weak SPE, that additionally is finite-memory. From this general result, we derive two large classes of games for which there always exists a weak SPE: (i) the games with a finite-range outcome function, and (ii) the games with a finite underlying graph and a prefix-independent outcome function. For the second class, we identify conditions on the preference relations that guarantee memoryless strategies for the weak SPE.
△ Less
Submitted 5 October, 2017; v1 submitted 5 December, 2016;
originally announced December 2016.
-
Minkowski games
Authors:
Stéphane Le Roux,
Arno Pauly,
Jean-François Raskin
Abstract:
We introduce and study Minkowski games. These are two player games, where the players take turns to chose positions in $\mathbb{R}^d$ based on some rules. Variants include boundedness games, where one player wants to keep the positions bounded, and the other wants to escape to infinity; as well as safety games, where one player wants to stay within a prescribed set, while the other wants to leave…
▽ More
We introduce and study Minkowski games. These are two player games, where the players take turns to chose positions in $\mathbb{R}^d$ based on some rules. Variants include boundedness games, where one player wants to keep the positions bounded, and the other wants to escape to infinity; as well as safety games, where one player wants to stay within a prescribed set, while the other wants to leave it.
We provide some general characterizations of which player can win such games, and explore the computational complexity of the associated decision problems. A natural representation of boundedness games yields coNP-completeness, whereas the safety games are undecidable.
△ Less
Submitted 25 November, 2016; v1 submitted 22 September, 2016;
originally announced September 2016.
-
A Semi-Potential for Finite and Infinite Sequential Games (Extended Abstract)
Authors:
Stéphane Le Roux,
Arno Pauly
Abstract:
We consider a dynamical approach to sequential games. By restricting the convertibility relation over strategy profiles, we obtain a semi-potential (in the sense of Kukushkin), and we show that in finite games the corresponding restriction of better-response dynamics will converge to a Nash equilibrium in quadratic time. Convergence happens on a per-player basis, and even in the presence of player…
▽ More
We consider a dynamical approach to sequential games. By restricting the convertibility relation over strategy profiles, we obtain a semi-potential (in the sense of Kukushkin), and we show that in finite games the corresponding restriction of better-response dynamics will converge to a Nash equilibrium in quadratic time. Convergence happens on a per-player basis, and even in the presence of players with cyclic preferences, the players with acyclic preferences will stabilize. Thus, we obtain a candidate notion for rationality in the presence of irrational agents. Moreover, the restriction of convertibility can be justified by a conservative updating of beliefs about the other players strategies.
For infinite sequential games we can retain convergence to a Nash equilibrium (in some sense), if the preferences are given by continuous payoff functions; or obtain a transfinite convergence if the outcome sets of the game are Delta^0_2 sets.
△ Less
Submitted 13 September, 2016;
originally announced September 2016.
-
Noetherian Quasi-Polish Spaces
Authors:
Matthew de Brecht,
Arno Pauly
Abstract:
In the presence of suitable power spaces, compactness of $\mathbf{X}$ can be characterized as the singleton $\{X\}$ being open in the space $\mathcal{O}(\mathbf{X})$ of open subsets of $\mathbf{X}$. Equivalently, this means that universal quantification over a compact space preserves open predicates.
Using the language of represented spaces, one can make sense of notions such as a $Σ^0_2$-subset…
▽ More
In the presence of suitable power spaces, compactness of $\mathbf{X}$ can be characterized as the singleton $\{X\}$ being open in the space $\mathcal{O}(\mathbf{X})$ of open subsets of $\mathbf{X}$. Equivalently, this means that universal quantification over a compact space preserves open predicates.
Using the language of represented spaces, one can make sense of notions such as a $Σ^0_2$-subset of the space of $Σ^0_2$-subsets of a given space. This suggests higher-order analogues to compactness: We can, e.g.~, investigate the spaces $\mathbf{X}$ where $\{X\}$ is a $Δ^0_2$-subset of the space of $Δ^0_2$-subsets of $\mathbf{X}$. Call this notion $\nabla$-compactness. As $Δ^0_2$ is self-dual, we find that both universal and existential quantifier over $\nabla$-compact spaces preserve $Δ^0_2$ predicates.
Recall that a space is called Noetherian iff every subset is compact. Within the setting of Quasi-Polish spaces, we can fully characterize the $\nabla$-compact spaces: A Quasi-Polish space is Noetherian iff it is $\nabla$-compact. Note that the restriction to Quasi-Polish spaces is sufficiently general to include plenty of examples.
△ Less
Submitted 18 January, 2017; v1 submitted 25 July, 2016;
originally announced July 2016.
-
Extending Finite Memory Determinacy to Multiplayer Games
Authors:
Stéphane Le Roux,
Arno Pauly
Abstract:
We show that under some general conditions the finite memory determinacy of a class of two-player win/lose games played on finite graphs implies the existence of a Nash equilibrium built from finite memory strategies for the corresponding class of multi-player multi-outcome games. This generalizes a previous result by Brihaye, De Pril and Schewe. For most of our conditions we provide counterexamp…
▽ More
We show that under some general conditions the finite memory determinacy of a class of two-player win/lose games played on finite graphs implies the existence of a Nash equilibrium built from finite memory strategies for the corresponding class of multi-player multi-outcome games. This generalizes a previous result by Brihaye, De Pril and Schewe. For most of our conditions we provide counterexamples showing that they cannot be dispensed with.
Our proofs are generally constructive, that is, provide upper bounds for the memory required, as well as algorithms to compute the relevant winning strategies.
△ Less
Submitted 12 July, 2016;
originally announced July 2016.
-
Dividing by zero - how bad is it, really?
Authors:
Takayuki Kihara,
Arno Pauly
Abstract:
In computable analysis testing a real number for being zero is a fundamental example of a non-computable task. This causes problems for division: We cannot ensure that the number we want to divide by is not zero. In many cases, any real number would be an acceptable outcome if the divisor is zero - but even this cannot be done in a computable way.
In this note we investigate the strength of the…
▽ More
In computable analysis testing a real number for being zero is a fundamental example of a non-computable task. This causes problems for division: We cannot ensure that the number we want to divide by is not zero. In many cases, any real number would be an acceptable outcome if the divisor is zero - but even this cannot be done in a computable way.
In this note we investigate the strength of the computational problem "Robust division": Given a pair of real numbers, the first not greater than the other, output their quotient if well-defined and any real number else. The formal framework is provided by Weihrauch reducibility. One particular result is that having later calls to the problem depending on the outcomes of earlier ones is strictly more powerful than performing all calls concurrently. However, having a nesting depths of two already provides the full power. This solves an open problem raised at a recent Dagstuhl meeting on Weihrauch reducibility.
As application for "Robust division", we show that it suffices to execute Gaussian elimination.
△ Less
Submitted 13 June, 2016;
originally announced June 2016.
-
The Vitali Covering Theorem in the Weihrauch Lattice
Authors:
Vasco Brattka,
Guido Gherardi,
Rupert Hölzl,
Arno Pauly
Abstract:
We study the uniform computational content of the Vitali Covering Theorem for intervals using the tool of Weihrauch reducibility. We show that a more detailed picture emerges than what a related study by Giusto, Brown, and Simpson has revealed in the setting of reverse mathematics. In particular, different formulations of the Vitali Covering Theorem turn out to have different uniform computational…
▽ More
We study the uniform computational content of the Vitali Covering Theorem for intervals using the tool of Weihrauch reducibility. We show that a more detailed picture emerges than what a related study by Giusto, Brown, and Simpson has revealed in the setting of reverse mathematics. In particular, different formulations of the Vitali Covering Theorem turn out to have different uniform computational content. These versions are either computable or closely related to uniform variants of Weak Weak Kőnig's Lemma.
△ Less
Submitted 26 July, 2016; v1 submitted 11 May, 2016;
originally announced May 2016.
-
On the algebraic structure of Weihrauch degrees
Authors:
Vasco Brattka,
Arno Pauly
Abstract:
We introduce two new operations (compositional products and implication) on Weihrauch degrees, and investigate the overall algebraic structure. The validity of the various distributivity laws is studied and forms the basis for a comparison with similar structures such as residuated lattices and concurrent Kleene algebras. Introducing the notion of an ideal with respect to the compositional product…
▽ More
We introduce two new operations (compositional products and implication) on Weihrauch degrees, and investigate the overall algebraic structure. The validity of the various distributivity laws is studied and forms the basis for a comparison with similar structures such as residuated lattices and concurrent Kleene algebras. Introducing the notion of an ideal with respect to the compositional product, we can consider suitable quotients of the Weihrauch degrees. We also prove some specific characterizations using the implication. In order to introduce and study compositional products and implications, we introduce and study a function space of multi-valued continuous functions. This space turns out to be particularly well-behaved for effectively traceable spaces that are closely related to admissibly represented spaces.
△ Less
Submitted 24 October, 2018; v1 submitted 28 April, 2016;
originally announced April 2016.
-
Computable dyadic subbases and $\mathbf{T}^ω$-representations of compact sets
Authors:
Arno Pauly,
Hideki Tsuiki
Abstract:
We explore representing the compact subsets of a given represented space by infinite sequences over Plotkin's $\mathbb{T}$. We show that computably compact computable metric spaces admit representations of their compact subsets in such a way that compact sets are essentially underspecified points. We can even ensure that a name of an $n$-element compact set contains $n$ occurrences of $\bot$. We u…
▽ More
We explore representing the compact subsets of a given represented space by infinite sequences over Plotkin's $\mathbb{T}$. We show that computably compact computable metric spaces admit representations of their compact subsets in such a way that compact sets are essentially underspecified points. We can even ensure that a name of an $n$-element compact set contains $n$ occurrences of $\bot$. We undergo this study effectively and show that such a $\mathbb{T}^ω$-representation is effectively obtained from structures of computably compact computable metric spaces. As an application, we prove some statements about the Weihrauch degree of closed choice for finite subsets of computably compact computable metric spaces.
Along the way, we introduce the notion of a computable dyadic subbase, and prove that every computably compact computable metric space admits a proper computable dyadic subbase.
△ Less
Submitted 4 December, 2018; v1 submitted 1 April, 2016;
originally announced April 2016.
-
Extending Finite Memory Determinacy to Multiplayer Games
Authors:
Stéphane Le Roux,
Arno Pauly
Abstract:
We show that under some general conditions the finite memory determinacy of a class of two-player win/lose games played on finite graphs implies the existence of a Nash equilibrium built from finite memory strategies for the corresponding class of multi-player multi-outcome games. This generalizes a previous result by Brihaye, De Pril and Schewe. We provide a number of example that separate the va…
▽ More
We show that under some general conditions the finite memory determinacy of a class of two-player win/lose games played on finite graphs implies the existence of a Nash equilibrium built from finite memory strategies for the corresponding class of multi-player multi-outcome games. This generalizes a previous result by Brihaye, De Pril and Schewe. We provide a number of example that separate the various criteria we explore.
Our proofs are generally constructive, that is, provide upper bounds for the memory required, as well as algorithms to compute the relevant Nash equilibria.
△ Less
Submitted 31 December, 2016; v1 submitted 29 February, 2016;
originally announced February 2016.
-
A topological view on algebraic computation models
Authors:
Eike Neumann,
Arno Pauly
Abstract:
We investigate the topological aspects of some algebraic computation models, in particular the BSS-model. Our results can be seen as bounds on how different BSS-computability and computability in the sense of computable analysis can be. The framework for this is Weihrauch reducibility. As a consequence of our characterizations, we establish that the solvability complexity index is (mostly) indepen…
▽ More
We investigate the topological aspects of some algebraic computation models, in particular the BSS-model. Our results can be seen as bounds on how different BSS-computability and computability in the sense of computable analysis can be. The framework for this is Weihrauch reducibility. As a consequence of our characterizations, we establish that the solvability complexity index is (mostly) independent of the computational model, and that there thus is common ground in the study of non-computability between the BSS and TTE setting.
△ Less
Submitted 17 March, 2017; v1 submitted 25 February, 2016;
originally announced February 2016.
-
Comparing representations for function spaces in computable analysis
Authors:
Arno Pauly,
Florian Steinberg
Abstract:
This paper compares different representations (in the sense of computable analysis) of a number of function spaces that are of interest in analysis. In particular subspace representations inherited from a larger function space are compared to more natural representations for these spaces. The formal framework for the comparisons is provided by Weihrauch reducibility.
The centrepiece of the paper…
▽ More
This paper compares different representations (in the sense of computable analysis) of a number of function spaces that are of interest in analysis. In particular subspace representations inherited from a larger function space are compared to more natural representations for these spaces. The formal framework for the comparisons is provided by Weihrauch reducibility.
The centrepiece of the paper considers several representations of the analytic functions on the unit disk and their mutual translations. All translations that are not already computable are shown to be Weihrauch equivalent to closed choice on the natural numbers. Subsequently some similar considerations are carried out for representations of polynomials. In this case in addition to closed choice the Weihrauch degree LPO* shows up as the difficulty of finding the degree or the zeros. As a final example, the smooth functions are contrasted with functions with bounded support and Schwartz functions. Here closed choice on the natural numbers and the lim degree appear.
△ Less
Submitted 8 December, 2016; v1 submitted 9 December, 2015;
originally announced December 2015.
-
Game characterizations and lower cones in the Weihrauch degrees
Authors:
Hugo Nobrega,
Arno Pauly
Abstract:
We introduce a parametrized version of the Wadge game for functions and show that each lower cone in the Weihrauch degrees is characterized by such a game. These parametrized Wadge games subsume the original Wadge game, the eraser and backtrack games as well as Semmes's tree games. In particular, we propose that the lower cones in the Weihrauch degrees are the answer to Andretta's question on whic…
▽ More
We introduce a parametrized version of the Wadge game for functions and show that each lower cone in the Weihrauch degrees is characterized by such a game. These parametrized Wadge games subsume the original Wadge game, the eraser and backtrack games as well as Semmes's tree games. In particular, we propose that the lower cones in the Weihrauch degrees are the answer to Andretta's question on which classes of functions admit game characterizations.
We then discuss some applications of such parametrized Wadge games. Using machinery from Weihrauch reducibility theory, we introduce games characterizing every (transfinite) level of the Baire hierarchy via an iteration of a pruning derivative on countably branching trees.
△ Less
Submitted 5 August, 2019; v1 submitted 11 November, 2015;
originally announced November 2015.
-
Weihrauch-completeness for layerwise computability
Authors:
Arno Pauly,
Willem Fouché,
George Davie
Abstract:
We introduce the notion of being Weihrauch-complete for layerwise computability and provide several natural examples related to complex oscillations, the law of the iterated logarithm and Birkhoff's theorem. We also consider hitting time operators, which share the Weihrauch degree of the former examples but fail to be layerwise computable.
We introduce the notion of being Weihrauch-complete for layerwise computability and provide several natural examples related to complex oscillations, the law of the iterated logarithm and Birkhoff's theorem. We also consider hitting time operators, which share the Weihrauch degree of the former examples but fail to be layerwise computable.
△ Less
Submitted 20 May, 2018; v1 submitted 8 May, 2015;
originally announced May 2015.
-
Computability on the space of countable ordinals
Authors:
Arno Pauly
Abstract:
While there is a well-established notion of what a computable ordinal is, the question which functions on the countable ordinals ought to be computable has received less attention so far. We propose a notion of computability on the space of countable ordinals via a representation in the sense of computable analysis. The computability structure is characterized by the computability of four specific…
▽ More
While there is a well-established notion of what a computable ordinal is, the question which functions on the countable ordinals ought to be computable has received less attention so far. We propose a notion of computability on the space of countable ordinals via a representation in the sense of computable analysis. The computability structure is characterized by the computability of four specific operations, and we prove further relevant operations to be computable. Some alternative approaches are discussed, too.
As an application in effective descriptive set theory, we can then state and prove computable uniform versions of the Lusin separation theorem and the Hausdorff-Kuratowski theorem. Furthermore, we introduce an operator on the Weihrauch lattice corresponding to iteration of some principle over a countable ordinal.
△ Less
Submitted 9 April, 2017; v1 submitted 2 January, 2015;
originally announced January 2015.
-
How constructive is constructing measures?
Authors:
Arno Pauly,
Willem L. Fouché
Abstract:
Given some set, how hard is it to construct a measure supported by it? We classify some variations of this task in the Weihrauch lattice. Particular attention is paid to Frostman measures on sets with positive Hausdorff dimension. As a side result, the Weihrauch degree of Hausdorff dimension itself is determined.
Given some set, how hard is it to construct a measure supported by it? We classify some variations of this task in the Weihrauch lattice. Particular attention is paid to Frostman measures on sets with positive Hausdorff dimension. As a side result, the Weihrauch degree of Hausdorff dimension itself is determined.
△ Less
Submitted 11 September, 2014;
originally announced September 2014.
-
The descriptive theory of represented spaces
Authors:
Arno Pauly
Abstract:
This is a survey on the ongoing development of a descriptive theory of represented spaces, which is intended as an extension of both classical and effective descriptive set theory to deal with both sets and functions between represented spaces. Most material is from work-in-progress, and thus there may be a stronger focus on projects involving the author than an objective survey would merit.
This is a survey on the ongoing development of a descriptive theory of represented spaces, which is intended as an extension of both classical and effective descriptive set theory to deal with both sets and functions between represented spaces. Most material is from work-in-progress, and thus there may be a stronger focus on projects involving the author than an objective survey would merit.
△ Less
Submitted 22 August, 2014;
originally announced August 2014.
-
Weihrauch degrees of finding equilibria in sequential games
Authors:
Stephane Le Roux,
Arno Pauly
Abstract:
We consider the degrees of non-computability (Weihrauch degrees) of finding winning strategies (or more generally, Nash equilibria) in infinite sequential games with certain winning sets (or more generally, outcome sets). In particular, we show that as the complexity of the winning sets increases in the difference hierarchy, the complexity of constructing winning strategies increases in the effect…
▽ More
We consider the degrees of non-computability (Weihrauch degrees) of finding winning strategies (or more generally, Nash equilibria) in infinite sequential games with certain winning sets (or more generally, outcome sets). In particular, we show that as the complexity of the winning sets increases in the difference hierarchy, the complexity of constructing winning strategies increases in the effective Borel hierarchy.
△ Less
Submitted 28 June, 2015; v1 submitted 21 July, 2014;
originally announced July 2014.
