Showing 1–13 of 13 results for author: Day, A R

Three topological reducibilities for discontinuous functions

Authors: Adam R. Day, Rod Downey, Linda Brown Westrick

Abstract: We define a family of three related reducibilities, $\leq_T$, $\leq_{tt}$ and $\leq_m$, for arbitrary functions $f,g:X\rightarrow\mathbb R$, where $X$ is a compact separable metric space. The $\equiv_T$-equivalence classes mostly coincide with the proper Baire classes. We show that certain $α$-jump functions $j_α:2^ω\rightarrow \mathbb R$ are $\leq_m$-minimal in their Baire class. Within the Baire… ▽ More We define a family of three related reducibilities, $\leq_T$, $\leq_{tt}$ and $\leq_m$, for arbitrary functions $f,g:X\rightarrow\mathbb R$, where $X$ is a compact separable metric space. The $\equiv_T$-equivalence classes mostly coincide with the proper Baire classes. We show that certain $α$-jump functions $j_α:2^ω\rightarrow \mathbb R$ are $\leq_m$-minimal in their Baire class. Within the Baire 1 functions, we completely characterize the degree structure associated to $\leq_{tt}$ and $\leq_m$, finding an exact match to the $α$ hierarchy introduced by Bourgain and analyzed by Kechris and Louveau. △ Less

Submitted 18 June, 2019; originally announced June 2019.

Comments: 36 pages

MSC Class: 03D30; 03E15; 03D55; 26A21

Algorithmic Randomness For Amenable Groups

Authors: Adam R. Day

Abstract: We develop the theory of algorithmic randomness for the space $A^G$ where $A$ is a finite alphabet and $G$ is a computable amenable group. We give an effective version of the Shannon-McMillan-Breiman theorem in this setting. We also extend a result of Simpson equating topological entropy and Hausdorff dimension. This proof makes use of work of Ornstein and Weiss which we also present. We develop the theory of algorithmic randomness for the space $A^G$ where $A$ is a finite alphabet and $G$ is a computable amenable group. We give an effective version of the Shannon-McMillan-Breiman theorem in this setting. We also extend a result of Simpson equating topological entropy and Hausdorff dimension. This proof makes use of work of Ornstein and Weiss which we also present. △ Less

Submitted 21 March, 2018; v1 submitted 11 February, 2018; originally announced February 2018.

Comments: The proof of theorem 7 is incorrect - it only shows the desired result on a computable subsequence

MSC Class: 03D32

Jump operations for Borel graphs

Authors: Adam R. Day, Andrew S. Marks

Abstract: We investigate the class of bipartite Borel graphs organized by the order of Borel homomorphism. We show that this class is unbounded by finding a jump operator for Borel graphs analogous to a jump operator of Louveau for Borel equivalence relations. The proof relies on a non-separation result for iterated Frechet ideals and filters due to Debs and Saint Raymond. We give a new proof of this fact u… ▽ More We investigate the class of bipartite Borel graphs organized by the order of Borel homomorphism. We show that this class is unbounded by finding a jump operator for Borel graphs analogous to a jump operator of Louveau for Borel equivalence relations. The proof relies on a non-separation result for iterated Frechet ideals and filters due to Debs and Saint Raymond. We give a new proof of this fact using effective descriptive set theory. We also investigate an analogue of the Friedman-Stanley jump for Borel graphs. This analogue does not yield a jump operator for bipartite Borel graphs. However, we use it to answer a question of Kechris and Marks by showing that there is a Borel graph with no Borel homomorphism to a locally countable Borel graph, but each of whose connected components has a countable Borel coloring. △ Less

Submitted 8 April, 2016; originally announced April 2016.

Journal ref: J. Symb. Log 82 (2018), 13-28

Development of a low-level Ar-37 calibration standard

Authors: R. M. Williams, C. E. Aalseth, T. W. Bowyer, A. R. Day, E. S. Fuller, D. A. Haas, J. C. Hayes, E. W. Hoppe, P. H. Humble, M. E. Keillor, B. D. LaFerriere, E. K. Mace, J. I. McIntyre, H. S. Miley, A. W. Myers, J. L. Orrell, C. T. Overman, M. E. Panisko, A. Seifert

Abstract: Argon-37 is an environmental signature of an underground nuclear explosion. Producing and quantifying low-level Ar-37 standards is an important step in the development of sensitive field measurement instruments. This paper describes progress at Pacific Northwest National Laboratory in develo** a process to generate and quantify low-level Ar-37 standards, which can be used to calibrate sensitive… ▽ More Argon-37 is an environmental signature of an underground nuclear explosion. Producing and quantifying low-level Ar-37 standards is an important step in the development of sensitive field measurement instruments. This paper describes progress at Pacific Northwest National Laboratory in develo** a process to generate and quantify low-level Ar-37 standards, which can be used to calibrate sensitive field systems at activities consistent with soil background levels. This paper presents a discussion of the measurement analysis, along with assumptions and uncertainty estimates. △ Less

Submitted 4 March, 2016; originally announced March 2016.

Comments: Proceedings of the 20th International Conference on Radionuclide Metrology and its Applications 8-11 June 2015, Vienna, Austria

Report number: PNNL-SA-109332

Journal ref: Applied Radiation and Isotopes, Volume 109, March 2016, Pages 430-434

On The Strength of Two Recurrence Theorems

Authors: Adam R. Day

Abstract: This paper uses the framework of reverse mathematics to investigate the strength of two recurrence theorems of topological dynamics. It establishes that one of these theorems, the existence of an almost periodic point, lies strictly between WKL and ACA (working over RCA_0). This is the first example of a theorem with this property. It also shows the existence of an almost periodic point is conserv… ▽ More This paper uses the framework of reverse mathematics to investigate the strength of two recurrence theorems of topological dynamics. It establishes that one of these theorems, the existence of an almost periodic point, lies strictly between WKL and ACA (working over RCA_0). This is the first example of a theorem with this property. It also shows the existence of an almost periodic point is conservative over RCA_0 for Pi^1_1 sentences. These results establish the existence of a new upwards-closed subclass of the PA degrees △ Less

Submitted 24 May, 2013; originally announced May 2013.

Computing K-Trivial Sets by Incomplete Random Sets

Authors: Laurent Bienvenu, Adam R. Day, Noam Greenberg, Antonín Kučera, Joseph S. Miller, André Nies, Dan Turetsky

Abstract: Every K-trivial set is computable from an incomplete Martin-Löf random set, i.e., a Martin-Löf random set that does not compute 0'. Every K-trivial set is computable from an incomplete Martin-Löf random set, i.e., a Martin-Löf random set that does not compute 0'. △ Less

Submitted 23 May, 2013; originally announced May 2013.

Density, forcing, and the covering problem

Authors: Adam R. Day, Joseph S. Miller

Abstract: We present a notion of forcing that can be used, in conjunction with other results, to show that there is a Martin-Löf random set X such that X does not compute 0' and X computes every K-trivial set. We present a notion of forcing that can be used, in conjunction with other results, to show that there is a Martin-Löf random set X such that X does not compute 0' and X computes every K-trivial set. △ Less

Submitted 9 April, 2013; originally announced April 2013.

From Bi-immunity to Absolute Undecidability

Authors: Laurent Bienvenu, Rupert Hölzl, Adam R. Day

Abstract: An infinite binary sequence A is absolutely undecidable if it is impossible to compute A on a set of positions of positive upper density. Absolute undecidability is a weakening of bi-immunity. Downey, Jockusch and Schupp asked whether, unlike the case for bi-immunity, there is an absolutely undecidable set in every non-zero Turing degree. We provide a positive answer to this question by applying t… ▽ More An infinite binary sequence A is absolutely undecidable if it is impossible to compute A on a set of positions of positive upper density. Absolute undecidability is a weakening of bi-immunity. Downey, Jockusch and Schupp asked whether, unlike the case for bi-immunity, there is an absolutely undecidable set in every non-zero Turing degree. We provide a positive answer to this question by applying techniques from coding theory. We show how to use Walsh-Hadamard codes to build a truth-table functional which maps any sequence A to a sequence B, such that given any restriction of B to a set of positive upper density, one can recover A. This implies that if A is non-computable, then B is absolutely undecidable. Using a forcing construction, we show that this result cannot be strengthened in any significant fashion. △ Less

Submitted 20 March, 2013; v1 submitted 17 October, 2012; originally announced October 2012.

MSC Class: 03D30

Limits to joining with generics and randoms

Authors: Adam R. Day, Damir D. Dzhafarov

Abstract: Posner and Robinson (1981) proved that if $S \subseteq ω$ is non-computable, then there exists a $G \subseteq ω$ such that $S \oplus G \geq_T G'$. Shore and Slaman (1999) extended this result to all $n \in ω$, by showing that if $S \nleq_T \emptyset^{(n-1)}$ then there exists a $G$ such that $S \oplus G \geq_T G^{(n)}$. Their argument employs Kumabe-Slaman forcing, and so the set they obtain, unli… ▽ More Posner and Robinson (1981) proved that if $S \subseteq ω$ is non-computable, then there exists a $G \subseteq ω$ such that $S \oplus G \geq_T G'$. Shore and Slaman (1999) extended this result to all $n \in ω$, by showing that if $S \nleq_T \emptyset^{(n-1)}$ then there exists a $G$ such that $S \oplus G \geq_T G^{(n)}$. Their argument employs Kumabe-Slaman forcing, and so the set they obtain, unlike that of the Posner-Robinson theorem, is not generic for Cohen forcing in any way. We answer the question of whether this is a necessary complication by showing that for all $n \geq 1$, the set $G$ of the Shore-Slaman theorem cannot be chosen to be even weakly 2-generic. Our result applies to several other effective forcing notions commonly used in computability theory, and we also prove that the set $G$ cannot be chosen to be 2-random. △ Less

Submitted 14 September, 2012; originally announced September 2012.

Comments: Submitted to "Proceedings of the 2011 Asian Logic Conference"

Independence, Relative Randomness, and PA Degrees

Authors: Adam R. Day, Jan Reimann

Abstract: We study pairs of reals that are mutually Martin-Löf random with respect to a common, not necessarily computable probability measure. We show that a generalized version of van Lambalgen's Theorem holds for non-computable probability measures, too. We study, for a given real $A$, the \emph{independence spectrum} of $A$, the set of all $B$ so that there exists a probability measure $μ$ so that… ▽ More We study pairs of reals that are mutually Martin-Löf random with respect to a common, not necessarily computable probability measure. We show that a generalized version of van Lambalgen's Theorem holds for non-computable probability measures, too. We study, for a given real $A$, the \emph{independence spectrum} of $A$, the set of all $B$ so that there exists a probability measure $μ$ so that $μ\{A,B\} = 0$ and $(A,B)$ is $μ\timesμ$-random. We prove that if $A$ is r.e., then no $Δ^0_2$ set is in the independence spectrum of $A$. We obtain applications of this fact to PA degrees. In particular, we show that if $A$ is r.e.\ and $P$ is of PA degree so that $P \not\geq_{T} A$, then $A \oplus P \geq_{T} 0'$. △ Less

Submitted 10 July, 2012; originally announced July 2012.

MSC Class: 03D32

Journal ref: Notre Dame J. Formal Logic 55, no. 1 (2014), 1-10

Cup** with random sets

Authors: Adam R. Day, Joseph S. Miller

Abstract: We prove that a set is K-trivial if and only if it is not weakly ML-cuppable. Further, we show that a set below zero jump is K-trivial if and only if it is not ML-cuppable. These results settle a question of Kučera, who introduced both cuppability notions. We prove that a set is K-trivial if and only if it is not weakly ML-cuppable. Further, we show that a set below zero jump is K-trivial if and only if it is not ML-cuppable. These results settle a question of Kučera, who introduced both cuppability notions. △ Less

Submitted 7 June, 2012; originally announced June 2012.

The typical Turing degree

Authors: George Barmpalias, Adam R. Day, Andrew E. M. Lewis

Abstract: The Turing degree of a real measures the computational difficulty of producing its binary expansion. Since Turing degrees are tailsets, it follows from Kolmogorov's 0-1 law that for any property which may or may not be satisfied by any given Turing degree, the satisfying class will either be of Lebesgue measure 0 or 1, so long as it is measurable. So either the \emph{typical} degree satisfies the… ▽ More The Turing degree of a real measures the computational difficulty of producing its binary expansion. Since Turing degrees are tailsets, it follows from Kolmogorov's 0-1 law that for any property which may or may not be satisfied by any given Turing degree, the satisfying class will either be of Lebesgue measure 0 or 1, so long as it is measurable. So either the \emph{typical} degree satisfies the property, or else the typical degree satisfies its negation. Further, there is then some level of randomness sufficient to ensure typicality in this regard. A similar analysis can be made in terms of Baire category, where a standard form of genericity now plays the role that randomness plays in the context of measure. We describe and prove a number of results in a programme of research which aims to establish the properties of the typical Turing degree, where typicality is gauged either in terms of Lebesgue measure or Baire category. △ Less

Submitted 4 November, 2011; originally announced November 2011.

Comments: 42 pages

MSC Class: 03D28

Measurement of 37Ar to support technology for On-site Inspection under the Comprehensive Nuclear-Test-Ban Treaty

Authors: C. E. Aalseth, A. R. Day, D. A. Haas, E. W. Hoppe, B. J. Hyronimus, M. E. Keillor, E. K. Mace, J. L. Orrell, A. Seifert, V. T. Woods

Abstract: On-Site Inspection (OSI) is a key component of the verification regime for the Comprehensive Nuclear-Test-Ban Treaty (CTBT). Measurements of radionuclide isotopes created by an underground nuclear explosion are a valuable signature of a Treaty violation. Argon-37 is produced from neutron interaction with calcium in soil, 40Ca(n,α)37Ar. For OSI, the 35-day half-life of 37Ar provides both high speci… ▽ More On-Site Inspection (OSI) is a key component of the verification regime for the Comprehensive Nuclear-Test-Ban Treaty (CTBT). Measurements of radionuclide isotopes created by an underground nuclear explosion are a valuable signature of a Treaty violation. Argon-37 is produced from neutron interaction with calcium in soil, 40Ca(n,α)37Ar. For OSI, the 35-day half-life of 37Ar provides both high specific activity and sufficient time for completion of an inspection before decay limits sensitivity. This paper presents a low-background internal-source gas proportional counter with an 37Ar measurement sensitivity level equivalent to 45.1 mBq/SCM in whole air. △ Less

Submitted 4 August, 2010; originally announced August 2010.

Comments: Submitted to Nucl. Instru. Meth. A for peer review a part of the proceedings of the 2010 Symposium on Radiation Measurements and Applications (SORMA XII), May 24-28, 2010 at the University of Michigan, Ann Arbor, Michigan, USA. Document details: 5 pages, 4 figures

Report number: PNNL-SA-73256

Journal ref: Nucl.Instrum.Meth.A652:58-61,2011