Matches in SemOpenAlex for { <https://semopenalex.org/work/W2724893009> ?p ?o ?g. }
- W2724893009 abstract "We study the sets that are computable from both halves of some (Martin-Lof) random sequence, which we call emph{$1/2$-bases}. We show that the collection of such sets forms an ideal in the Turing degrees that is generated by its c.e. elements. It is a proper subideal of the $K$-trivial sets. We characterise $1/2$-bases as the sets computable from both halves of Chaitin's $Omega$, and as the sets that obey the cost function $mathbf c(x,s) = sqrt{Omega_s - Omega_x}$. Generalising these results yields a dense hierarchy of subideals in the $K$-trivial degrees: For $k< n$, let $B_{k/n}$ be the collection of sets that are below any $k$ out of $n$ columns of some random sequence. As before, this is an ideal generated by its c.e. elements and the random sequence in the definition can always be taken to be $Omega$. Furthermore, the corresponding cost function characterisation reveals that $B_{k/n}$ is independent of the particular representation of the rational $k/n$, and that $B_p$ is properly contained in $B_q$ for rational numbers $p< q$. These results are proved using a generalisation of the Loomis--Whitney inequality, which bounds the measure of an open set in terms of the measures of its projections. The generality allows us to analyse arbitrary families of orthogonal projections. As it turns out, these do not give us new subideals of the $K$-trivial sets, we can calculate from the family which $B_p$ it characterises. We finish by showing that the the union of $B_p$ for $p<1$ is the collection of sets which are robustly computable from a random, a class previously studied by Hirschfeldt, Jockusch, Kuyper, and Schupp." @default.
- W2724893009 created "2017-07-14" @default.
- W2724893009 creator A5027573689 @default.
- W2724893009 creator A5047690936 @default.
- W2724893009 creator A5064815634 @default.
- W2724893009 date "2017-07-02" @default.
- W2724893009 modified "2023-09-27" @default.
- W2724893009 title "Computing from projections of random points: a dense hierarchy of subideals of the $K$-trivial degrees" @default.
- W2724893009 cites W10794601 @default.
- W2724893009 cites W1480985349 @default.
- W2724893009 cites W1574049752 @default.
- W2724893009 cites W1593512589 @default.
- W2724893009 cites W1606480398 @default.
- W2724893009 cites W1762430620 @default.
- W2724893009 cites W1947779298 @default.
- W2724893009 cites W1965764249 @default.
- W2724893009 cites W1970189970 @default.
- W2724893009 cites W1981301339 @default.
- W2724893009 cites W1991171089 @default.
- W2724893009 cites W1997555168 @default.
- W2724893009 cites W2006580730 @default.
- W2724893009 cites W2019232231 @default.
- W2724893009 cites W2021161286 @default.
- W2724893009 cites W2037579554 @default.
- W2724893009 cites W2082158498 @default.
- W2724893009 cites W2090322880 @default.
- W2724893009 cites W2090776193 @default.
- W2724893009 cites W2104062136 @default.
- W2724893009 cites W2128325320 @default.
- W2724893009 cites W2154760327 @default.
- W2724893009 cites W2157827214 @default.
- W2724893009 cites W2296409586 @default.
- W2724893009 cites W2592251610 @default.
- W2724893009 cites W2593504303 @default.
- W2724893009 cites W2885370573 @default.
- W2724893009 cites W2963133035 @default.
- W2724893009 cites W2964320227 @default.
- W2724893009 cites W3106140828 @default.
- W2724893009 hasPublicationYear "2017" @default.
- W2724893009 type Work @default.
- W2724893009 sameAs 2724893009 @default.
- W2724893009 citedByCount "2" @default.
- W2724893009 countsByYear W27248930092017 @default.
- W2724893009 countsByYear W27248930092020 @default.
- W2724893009 crossrefType "journal-article" @default.
- W2724893009 hasAuthorship W2724893009A5027573689 @default.
- W2724893009 hasAuthorship W2724893009A5047690936 @default.
- W2724893009 hasAuthorship W2724893009A5064815634 @default.
- W2724893009 hasBestOaLocation W27248930091 @default.
- W2724893009 hasConcept C111472728 @default.
- W2724893009 hasConcept C114614502 @default.
- W2724893009 hasConcept C118615104 @default.
- W2724893009 hasConcept C121332964 @default.
- W2724893009 hasConcept C138885662 @default.
- W2724893009 hasConcept C14036430 @default.
- W2724893009 hasConcept C162324750 @default.
- W2724893009 hasConcept C2776639384 @default.
- W2724893009 hasConcept C2778112365 @default.
- W2724893009 hasConcept C2779557605 @default.
- W2724893009 hasConcept C2780009758 @default.
- W2724893009 hasConcept C31170391 @default.
- W2724893009 hasConcept C33923547 @default.
- W2724893009 hasConcept C34447519 @default.
- W2724893009 hasConcept C41008148 @default.
- W2724893009 hasConcept C54355233 @default.
- W2724893009 hasConcept C62520636 @default.
- W2724893009 hasConcept C77088390 @default.
- W2724893009 hasConcept C78458016 @default.
- W2724893009 hasConcept C86803240 @default.
- W2724893009 hasConceptScore W2724893009C111472728 @default.
- W2724893009 hasConceptScore W2724893009C114614502 @default.
- W2724893009 hasConceptScore W2724893009C118615104 @default.
- W2724893009 hasConceptScore W2724893009C121332964 @default.
- W2724893009 hasConceptScore W2724893009C138885662 @default.
- W2724893009 hasConceptScore W2724893009C14036430 @default.
- W2724893009 hasConceptScore W2724893009C162324750 @default.
- W2724893009 hasConceptScore W2724893009C2776639384 @default.
- W2724893009 hasConceptScore W2724893009C2778112365 @default.
- W2724893009 hasConceptScore W2724893009C2779557605 @default.
- W2724893009 hasConceptScore W2724893009C2780009758 @default.
- W2724893009 hasConceptScore W2724893009C31170391 @default.
- W2724893009 hasConceptScore W2724893009C33923547 @default.
- W2724893009 hasConceptScore W2724893009C34447519 @default.
- W2724893009 hasConceptScore W2724893009C41008148 @default.
- W2724893009 hasConceptScore W2724893009C54355233 @default.
- W2724893009 hasConceptScore W2724893009C62520636 @default.
- W2724893009 hasConceptScore W2724893009C77088390 @default.
- W2724893009 hasConceptScore W2724893009C78458016 @default.
- W2724893009 hasConceptScore W2724893009C86803240 @default.
- W2724893009 hasLocation W27248930091 @default.
- W2724893009 hasOpenAccess W2724893009 @default.
- W2724893009 hasPrimaryLocation W27248930091 @default.
- W2724893009 hasRelatedWork W1519470829 @default.
- W2724893009 hasRelatedWork W1904079901 @default.
- W2724893009 hasRelatedWork W2003137094 @default.
- W2724893009 hasRelatedWork W2003510477 @default.
- W2724893009 hasRelatedWork W2042774565 @default.
- W2724893009 hasRelatedWork W2044898335 @default.
- W2724893009 hasRelatedWork W2078696977 @default.
- W2724893009 hasRelatedWork W2083563352 @default.