weihrauch-completeness for layerwise...
TRANSCRIPT
![Page 1: Weihrauch-completeness for layerwise computabilitymath.uni-heidelberg.de/logic/conferences/ccr2015/Slides CCR/CCR2015...Weihrauch-completeness for layerwise computability1 Arno Pauly](https://reader031.vdocuments.us/reader031/viewer/2022022502/5aab4c4a7f8b9aa9488bd814/html5/thumbnails/1.jpg)
Weihrauch-completeness for layerwisecomputability1
Arno Pauly
Clare CollegeUniversity of Cambridge
CCR 2015, Heidelberg
1Joint work with George Davie & Willem Fouché (UNISA).
![Page 2: Weihrauch-completeness for layerwise computabilitymath.uni-heidelberg.de/logic/conferences/ccr2015/Slides CCR/CCR2015...Weihrauch-completeness for layerwise computability1 Arno Pauly](https://reader031.vdocuments.us/reader031/viewer/2022022502/5aab4c4a7f8b9aa9488bd814/html5/thumbnails/2.jpg)
Outline
Definitions
The main result
Examples
A non-example
![Page 3: Weihrauch-completeness for layerwise computabilitymath.uni-heidelberg.de/logic/conferences/ccr2015/Slides CCR/CCR2015...Weihrauch-completeness for layerwise computability1 Arno Pauly](https://reader031.vdocuments.us/reader031/viewer/2022022502/5aab4c4a7f8b9aa9488bd814/html5/thumbnails/3.jpg)
Layerwise computability
Fix a universal Martin-Löf test U = (Un)n∈N.
DefinitionA (multivalued) function f : MLR⇒ X is layerwise computablew.r.t. U , iff there exists a computable partial functionF :⊆ N×MLR→ X such that whenever p /∈ Un thenF (n,p) ∈ f (p).
Theorem (Hölzl & Shafer)Layerwise computability does depend on the choice of U ingeneral, but all optimal Martin-Löf tests yield the same class.
![Page 4: Weihrauch-completeness for layerwise computabilitymath.uni-heidelberg.de/logic/conferences/ccr2015/Slides CCR/CCR2015...Weihrauch-completeness for layerwise computability1 Arno Pauly](https://reader031.vdocuments.us/reader031/viewer/2022022502/5aab4c4a7f8b9aa9488bd814/html5/thumbnails/4.jpg)
More extended computability notions
DefinitionA finitely-revising machine is a Type-2 machine with the extracapability to erase its output and restart writing it, to be usedfinitely many times during the computation. A function iscomputable with finitely many mindchanges, if there this afinitely-revising machine computing it.
DefinitionA non-deterministic Type-2 machine with advice space Zcomputes a multivalued function f : X⇒ Y as follows:
1. On input x ∈ X, guess some z ∈ Z.2. Either: Halt and reject the guess.3. Or: Run indefinitely, and output some y ∈ f (x).
Such that for any x ∈ X there is some z ∈ Z leading to case 3.
![Page 5: Weihrauch-completeness for layerwise computabilitymath.uni-heidelberg.de/logic/conferences/ccr2015/Slides CCR/CCR2015...Weihrauch-completeness for layerwise computability1 Arno Pauly](https://reader031.vdocuments.us/reader031/viewer/2022022502/5aab4c4a7f8b9aa9488bd814/html5/thumbnails/5.jpg)
Connections
Observation (Brattka, de Brecht & P.)Finitely revising machines and non-deterministic machines withadvice space N are equivalent.
ObservationAny layerwise computable function is computable bynon-deterministic machine with advice space N.
![Page 6: Weihrauch-completeness for layerwise computabilitymath.uni-heidelberg.de/logic/conferences/ccr2015/Slides CCR/CCR2015...Weihrauch-completeness for layerwise computability1 Arno Pauly](https://reader031.vdocuments.us/reader031/viewer/2022022502/5aab4c4a7f8b9aa9488bd814/html5/thumbnails/6.jpg)
Represented spaces and computability
DefinitionA represented space X is a pair (X , δX ) where X is a set andδX :⊆ NN → X a surjective partial function.
DefinitionF :⊆ NN → NN is a realizer of f : X⇒ Y, iff δY (F (p)) ∈ f (δX (p))for all p ∈ δ−1
X (dom(F )).
NN F−−−−→ NNyδX
yδY
X f−−−−→ Y
Definitionf : X⇒ Y is called computable (continuous), iff it has acomputable (continuous) realizer.
![Page 7: Weihrauch-completeness for layerwise computabilitymath.uni-heidelberg.de/logic/conferences/ccr2015/Slides CCR/CCR2015...Weihrauch-completeness for layerwise computability1 Arno Pauly](https://reader031.vdocuments.us/reader031/viewer/2022022502/5aab4c4a7f8b9aa9488bd814/html5/thumbnails/7.jpg)
Weihrauch-reducibility
DefinitionFor f :⊆ X⇒ Y, g :⊆ V⇒W say
f ≤W g
iff there are computable H,K :⊆ NN → NN, such thatK 〈idNN ,GH〉 is a realizer of f for every realizer G of g.
Theorem (Brattka & Gherardi 2011, P. 2010)W is a distributive lattice. The cartesian product × is anoperation on W.
Theorem (Higuchi & P. 2013)For A ⊆ NN, let dA : A→ {0}. Then d· : Mop →W is a latticeembedding.
![Page 8: Weihrauch-completeness for layerwise computabilitymath.uni-heidelberg.de/logic/conferences/ccr2015/Slides CCR/CCR2015...Weihrauch-completeness for layerwise computability1 Arno Pauly](https://reader031.vdocuments.us/reader031/viewer/2022022502/5aab4c4a7f8b9aa9488bd814/html5/thumbnails/8.jpg)
The motivation
1. Identify a theorem
∀x ∈ X ∃y ∈ Y . D(x)⇒ T (x , y)
with the multi-valued function T :⊆ X⇒ Y, dom(T ) = Dobtained by Skolemization.
2. Then compare theorems via Weihrauch-reducibility tolearn about their constructive content.
Similar spirit as (constructive) reverse mathematics, but:
Theorem (Higuchi & P. 2013)W is not a Brouwer algebra.
![Page 9: Weihrauch-completeness for layerwise computabilitymath.uni-heidelberg.de/logic/conferences/ccr2015/Slides CCR/CCR2015...Weihrauch-completeness for layerwise computability1 Arno Pauly](https://reader031.vdocuments.us/reader031/viewer/2022022502/5aab4c4a7f8b9aa9488bd814/html5/thumbnails/9.jpg)
The degree of CN
LemmaThe following are Weihrauch equivalent:
1. CN :⊆ A(N)⇒ N be defined via n ∈ CN(A) iff n ∈ A2. UCN, defined via UCN = (CN) |{A∈A(N)||A|=1}
3. minA :⊆ A(N)→ N4. maxO :⊆ O(N)→ N5. Bound :⊆ O(N)⇒ N, where n ∈ Bound(U) iff∀m ∈ U n ≥ m.
![Page 10: Weihrauch-completeness for layerwise computabilitymath.uni-heidelberg.de/logic/conferences/ccr2015/Slides CCR/CCR2015...Weihrauch-completeness for layerwise computability1 Arno Pauly](https://reader031.vdocuments.us/reader031/viewer/2022022502/5aab4c4a7f8b9aa9488bd814/html5/thumbnails/10.jpg)
Weihrauch-completeness for layerwise-computability
DefinitionLet LAYU : MLR⇒ N be defined via n ∈ LAYU (p) iff p /∈ Un.Let rdU : MLR→ N be defined viardU (p) = min{n ∈ N | p /∈ Un}.
ObservationLAYU is layerwise computable w.r.t. U . Whenver f : MLR⇒ X islayerwise computable w.r.t. U , then f ≤W LAYU .
I If f is layerwise-computable and f ≡W LAYU , call fWeihrauch-complete for layerwise computability.
I The problems that are Weihrauch-complete for layerwisecomputability are the most non-computablelayerwise-computable problems.
![Page 11: Weihrauch-completeness for layerwise computabilitymath.uni-heidelberg.de/logic/conferences/ccr2015/Slides CCR/CCR2015...Weihrauch-completeness for layerwise computability1 Arno Pauly](https://reader031.vdocuments.us/reader031/viewer/2022022502/5aab4c4a7f8b9aa9488bd814/html5/thumbnails/11.jpg)
The main theorem
TheoremLAYU ≡W rdU ≡W CN × dMLR
Proof.
LAYU ≤W rdU Trivial.rdU ≤W minA×dMLR We have a random sequence available as
input for dMLR, and the presence of this degreedoes not matter further. Note that given p we cancompute {n | p /∈ Un} ∈ A(N).
![Page 12: Weihrauch-completeness for layerwise computabilitymath.uni-heidelberg.de/logic/conferences/ccr2015/Slides CCR/CCR2015...Weihrauch-completeness for layerwise computability1 Arno Pauly](https://reader031.vdocuments.us/reader031/viewer/2022022502/5aab4c4a7f8b9aa9488bd814/html5/thumbnails/12.jpg)
Proof continuedProof.
Bound×dMLR ≤W LAYU The input is an enumeration of somefinite set I ⊂ N (which we may safely assume to bean interval) and a random sequence p. Let w bethe current prefix of the output (i.e. the input toLAYU ). If we learn that n ∈ I, we consider w0N. Asthis is not random and U is universal, we know thatw0N ∈ Un. As Un is open, there is some –effectively findable – k ∈ N such thatw0k{0,1}N ⊆ Un. We proceed to amend thecurrent output to w0k , and then start outputting p(until we potentially learn n + 1 ∈ I.As I is finite, the output q will have some tailidentical to p, and thus is Martin Löf random. Byconstruction, whenever n ∈ I, then q ∈ Un, thus ifb ∈ LAYU (q) then b ∈ Bound(p).
![Page 13: Weihrauch-completeness for layerwise computabilitymath.uni-heidelberg.de/logic/conferences/ccr2015/Slides CCR/CCR2015...Weihrauch-completeness for layerwise computability1 Arno Pauly](https://reader031.vdocuments.us/reader031/viewer/2022022502/5aab4c4a7f8b9aa9488bd814/html5/thumbnails/13.jpg)
Corollaries
I LAY <W CN
I LAY× LAY ≡W LAY and LAY ? LAY ≡W LAYI LAY ? CN ≡W CN ? LAY ≡W LAYI LAY <W LAY ≡W lim×dMLR
I LAY <W LAY∗ ≡W idNN + LAY <W CN
I If f ≤W CN for f :⊆ MLR⇒ Y, then f ≤W LAY.
![Page 14: Weihrauch-completeness for layerwise computabilitymath.uni-heidelberg.de/logic/conferences/ccr2015/Slides CCR/CCR2015...Weihrauch-completeness for layerwise computability1 Arno Pauly](https://reader031.vdocuments.us/reader031/viewer/2022022502/5aab4c4a7f8b9aa9488bd814/html5/thumbnails/14.jpg)
More consequences
CorollaryThe following are equivalent for f :⊆ MLR→ Y for a computablemetric space Y:
1. f is effectively ∆02-measurable.
2. f is Π01-piecewise computable.
3. f ≤W LAY.
Proof.By combining the computable Jayne-Rogers theorem (P. & deBrecht 2014) with the main theorem.
![Page 15: Weihrauch-completeness for layerwise computabilitymath.uni-heidelberg.de/logic/conferences/ccr2015/Slides CCR/CCR2015...Weihrauch-completeness for layerwise computability1 Arno Pauly](https://reader031.vdocuments.us/reader031/viewer/2022022502/5aab4c4a7f8b9aa9488bd814/html5/thumbnails/15.jpg)
Complex oscillationsDefinitionThe complex oscillations CO are the Martin-Löf randomelements of C0([0,1],R) equipped with the Wiener measure.Let computable η : MLR→ R induce the normal distributionN (0,1) on R.
DefinitionWe define the function Φ : MLR→ CO by recursively providingthe values Φ(α) takes on dyadic rationals, and extending itcontinuously to the interval. Let α = 〈α0, α1, . . . , αjn, . . .〉, wheren ≤ 2j . Then we define:
1. Φ(α)(1) := η(α0)
2. Φ(α)(12) := 1
2 (η(α0) + η(α1))
3. Φ(α)(2n+12j+1 ) := 1
2
(2−j/2η(αjn) + Φ(α)(n+1
2j ) + Φ(α)( n2j ))
Theorem (Davie & Fouché)Φ is a layerwise computable bijection with computable inverse.
![Page 16: Weihrauch-completeness for layerwise computabilitymath.uni-heidelberg.de/logic/conferences/ccr2015/Slides CCR/CCR2015...Weihrauch-completeness for layerwise computability1 Arno Pauly](https://reader031.vdocuments.us/reader031/viewer/2022022502/5aab4c4a7f8b9aa9488bd814/html5/thumbnails/16.jpg)
The completeness result
TheoremΦ ≡W LAY
LemmaGiven k ∈ N and v ∈ {0,1}∗ we can compute some w ∈ {0,1}∗such that for all α ∈ MLR we find that k < supt∈[0,1] Φ(vwα)(t).
![Page 17: Weihrauch-completeness for layerwise computabilitymath.uni-heidelberg.de/logic/conferences/ccr2015/Slides CCR/CCR2015...Weihrauch-completeness for layerwise computability1 Arno Pauly](https://reader031.vdocuments.us/reader031/viewer/2022022502/5aab4c4a7f8b9aa9488bd814/html5/thumbnails/17.jpg)
Law of the iterated logarithm
DefinitionLet LIL : MLR⇒ N be defined via N ∈ LIL(α) iff:
∀n ≥ N |n−1∑i=0
(2α(i)− 1)| <√
2n log log n
TheoremLIL ≡W LAY.
LemmaGiven N ∈ N and u ∈ {0,1}∗ we can compute some v ∈ {0,1}∗such that |uv | > N and|∑|uv |−1
i=0 (2(uv)(i)− 1)| >√
2|uv | log log |uv |.
![Page 18: Weihrauch-completeness for layerwise computabilitymath.uni-heidelberg.de/logic/conferences/ccr2015/Slides CCR/CCR2015...Weihrauch-completeness for layerwise computability1 Arno Pauly](https://reader031.vdocuments.us/reader031/viewer/2022022502/5aab4c4a7f8b9aa9488bd814/html5/thumbnails/18.jpg)
Birkhoff’s theorem
DefinitionLet S : {0,1}N → {0,1}N be the usual shift-operator, andπ1 : {0,1}N → {0,1} be the projection to the first bit. LetBirkhoff : MLR× N⇒ N be defined via N ∈ Birkhoff(p, k) iff∀n ≥ N we find that:
|
(1
n + 1
n∑i=0
π1(Si(p))
)− 1
2| < 2−k
TheoremBirkhoff ≡W LAY
![Page 19: Weihrauch-completeness for layerwise computabilitymath.uni-heidelberg.de/logic/conferences/ccr2015/Slides CCR/CCR2015...Weihrauch-completeness for layerwise computability1 Arno Pauly](https://reader031.vdocuments.us/reader031/viewer/2022022502/5aab4c4a7f8b9aa9488bd814/html5/thumbnails/19.jpg)
Proof ingredient
LemmaGiven u ∈ {0,1}∗ and k ,N ∈ N, k > 0, we can compute somev ∈ {0,1}∗ such that |uv | ≥ N and:
|
1|uv |
|uv |−1∑i=0
π1(Si(uv))
− 12| > 2−k
![Page 20: Weihrauch-completeness for layerwise computabilitymath.uni-heidelberg.de/logic/conferences/ccr2015/Slides CCR/CCR2015...Weihrauch-completeness for layerwise computability1 Arno Pauly](https://reader031.vdocuments.us/reader031/viewer/2022022502/5aab4c4a7f8b9aa9488bd814/html5/thumbnails/20.jpg)
Hitting times
DefinitionLet Aλ>0({0,1}N) be the restriction of A({0,1}N) to sets ofpositive Lebesgue measure. Let T : {0,1}N → {0,1}N be theusual shift-operator. DefineHittingTimeA : MLR×Aλ>0({0,1}N)→ N be defined viaHittingTimeA(p,A) = min{n ∈ N | T n(p) ∈ A}.
Theorem (Kucera)HittingTimeA is well-defined.
TheoremHittingTimeA ≡W LAY, but not even HittingTimeA(·,UC
100) islayerwise computable.
![Page 21: Weihrauch-completeness for layerwise computabilitymath.uni-heidelberg.de/logic/conferences/ccr2015/Slides CCR/CCR2015...Weihrauch-completeness for layerwise computability1 Arno Pauly](https://reader031.vdocuments.us/reader031/viewer/2022022502/5aab4c4a7f8b9aa9488bd814/html5/thumbnails/21.jpg)
Some last minute-additions
I Finding the suitable n from the multiple recurrencetheorem for Martin-Löf randoms is Weihrauch-equivalent toLAY (but not layerwise computable).
I Computing the time-reversal of a Brownian motion on[0,∞) should be Weihrauch-reducible to LAY (but whatabout the other direction)?
![Page 22: Weihrauch-completeness for layerwise computabilitymath.uni-heidelberg.de/logic/conferences/ccr2015/Slides CCR/CCR2015...Weihrauch-completeness for layerwise computability1 Arno Pauly](https://reader031.vdocuments.us/reader031/viewer/2022022502/5aab4c4a7f8b9aa9488bd814/html5/thumbnails/22.jpg)
Some open questions
I Investigate further layerwise-computable problems.I Is there a (natural) problem which is non-computable,
layerwise computable and strictly below LAY?
![Page 23: Weihrauch-completeness for layerwise computabilitymath.uni-heidelberg.de/logic/conferences/ccr2015/Slides CCR/CCR2015...Weihrauch-completeness for layerwise computability1 Arno Pauly](https://reader031.vdocuments.us/reader031/viewer/2022022502/5aab4c4a7f8b9aa9488bd814/html5/thumbnails/23.jpg)
Reference
A. Pauly, G. Davie and W. Fouché.Weihrauch-completeness for layerwise computabilityarXiv, 1505.02091, 2015.
R. Hölzl and P. Shafer.Universality, optimality, and randomness deficiencyAnnals of Pure and Applied Logic, 2015.