23,684 research outputs found
Feedback computability on Cantor space
We introduce the notion of feedback computable functions from to
, extending feedback Turing computation in analogy with the standard
notion of computability for functions from to . We then
show that the feedback computable functions are precisely the effectively Borel
functions. With this as motivation we define the notion of a feedback
computable function on a structure, independent of any coding of the structure
as a real. We show that this notion is absolute, and as an example characterize
those functions that are computable from a Gandy ordinal with some finite
subset distinguished
The Veblen functions for computability theorists
We study the computability-theoretic complexity and proof-theoretic strength
of the following statements: (1) "If X is a well-ordering, then so is
epsilon_X", and (2) "If X is a well-ordering, then so is phi(alpha,X)", where
alpha is a fixed computable ordinal and phi the two-placed Veblen function. For
the former statement, we show that omega iterations of the Turing jump are
necessary in the proof and that the statement is equivalent to ACA_0^+ over
RCA_0. To prove the latter statement we need to use omega^alpha iterations of
the Turing jump, and we show that the statement is equivalent to
Pi^0_{omega^alpha}-CA_0. Our proofs are purely computability-theoretic. We also
give a new proof of a result of Friedman: the statement "if X is a
well-ordering, then so is phi(X,0)" is equivalent to ATR_0 over RCA_0.Comment: 26 pages, 3 figures, to appear in Journal of Symbolic Logi
Connected Choice and the Brouwer Fixed Point Theorem
We study the computational content of the Brouwer Fixed Point Theorem in the
Weihrauch lattice. Connected choice is the operation that finds a point in a
non-empty connected closed set given by negative information. One of our main
results is that for any fixed dimension the Brouwer Fixed Point Theorem of that
dimension is computably equivalent to connected choice of the Euclidean unit
cube of the same dimension. Another main result is that connected choice is
complete for dimension greater than or equal to two in the sense that it is
computably equivalent to Weak K\H{o}nig's Lemma. While we can present two
independent proofs for dimension three and upwards that are either based on a
simple geometric construction or a combinatorial argument, the proof for
dimension two is based on a more involved inverse limit construction. The
connected choice operation in dimension one is known to be equivalent to the
Intermediate Value Theorem; we prove that this problem is not idempotent in
contrast to the case of dimension two and upwards. We also prove that Lipschitz
continuity with Lipschitz constants strictly larger than one does not simplify
finding fixed points. Finally, we prove that finding a connectedness component
of a closed subset of the Euclidean unit cube of any dimension greater or equal
to one is equivalent to Weak K\H{o}nig's Lemma. In order to describe these
results, we introduce a representation of closed subsets of the unit cube by
trees of rational complexes.Comment: 36 page
Decision Trees, Protocols, and the Fourier Entropy-Influence Conjecture
Given , define the \emph{spectral
distribution} of to be the distribution on subsets of in which the
set is sampled with probability . Then the Fourier
Entropy-Influence (FEI) conjecture of Friedgut and Kalai (1996) states that
there is some absolute constant such that . Here,
denotes the Shannon entropy of 's spectral distribution, and
is the total influence of . This conjecture is one
of the major open problems in the analysis of Boolean functions, and settling
it would have several interesting consequences.
Previous results on the FEI conjecture have been largely through direct
calculation. In this paper we study a natural interpretation of the conjecture,
which states that there exists a communication protocol which, given subset
of distributed as , can communicate the value of using
at most bits in expectation.
Using this interpretation, we are able show the following results:
1. First, if is computable by a read- decision tree, then
.
2. Next, if has and is computable by a
decision tree with expected depth , then .
3. Finally, we give a new proof of the main theorem of O'Donnell and Tan
(ICALP 2013), i.e. that their FEI conjecture composes.
In addition, we show that natural improvements to our decision tree results
would be sufficient to prove the FEI conjecture in its entirety. We believe
that our methods give more illuminating proofs than previous results about the
FEI conjecture
- …