-
Probabilistic programming interfaces for random graphs: Markov categories, graphons, and nominal sets
Authors:
Nathanael L. Ackerman,
Cameron E. Freer,
Younesse Kaddar,
Jacek Karwowski,
Sean K. Moss,
Daniel M. Roy,
Sam Staton,
Hongseok Yang
Abstract:
We study semantic models of probabilistic programming languages over graphs, and establish a connection to graphons from graph theory and combinatorics. We show that every well-behaved equational theory for our graph probabilistic programming language corresponds to a graphon, and conversely, every graphon arises in this way.
We provide three constructions for showing that every graphon arises f…
▽ More
We study semantic models of probabilistic programming languages over graphs, and establish a connection to graphons from graph theory and combinatorics. We show that every well-behaved equational theory for our graph probabilistic programming language corresponds to a graphon, and conversely, every graphon arises in this way.
We provide three constructions for showing that every graphon arises from an equational theory. The first is an abstract construction, using Markov categories and monoidal indeterminates. The second and third are more concrete. The second is in terms of traditional measure theoretic probability, which covers 'black-and-white' graphons. The third is in terms of probability monads on the nominal sets of Gabbay and Pitts. Specifically, we use a variation of nominal sets induced by the theory of graphs, which covers Erdős-Rényi graphons. In this way, we build new models of graph probabilistic programming from graphons.
△ Less
Submitted 28 December, 2023;
originally announced December 2023.
-
Computability of Countable Sunflowers
Authors:
Nathanael Ackerman,
Leah Karker,
Mostafa Mirabi
Abstract:
We provide a characterization of when a countably infinite set of finite sets contains an infinite sunflower. We also show that the collection of such sets is Turing equivalent to the set of programs such that whenever the program converges it returns the code of a program with finite range.
We provide a characterization of when a countably infinite set of finite sets contains an infinite sunflower. We also show that the collection of such sets is Turing equivalent to the set of programs such that whenever the program converges it returns the code of a program with finite range.
△ Less
Submitted 21 November, 2023;
originally announced November 2023.
-
Algebraic Sunflowers
Authors:
Nathanael Ackerman,
Mostafa Mirabi
Abstract:
We study sunflowers within the context of finitely generated substructures of ultrahomogeneous structures. In particular, we look at bounds on how large a set system is needed to guarantee the existence of sunflowers of a given size. We show that if we fix the size of the sunflower, the function which takes the size of the substructures in our set system and outputs the size of a set system needed…
▽ More
We study sunflowers within the context of finitely generated substructures of ultrahomogeneous structures. In particular, we look at bounds on how large a set system is needed to guarantee the existence of sunflowers of a given size. We show that if we fix the size of the sunflower, the function which takes the size of the substructures in our set system and outputs the size of a set system needed to guarantee a sunflower of the desired size can grow arbitrarily slowly.
△ Less
Submitted 24 October, 2023;
originally announced October 2023.
-
Cohen Generic Structures with Functions
Authors:
Nathanael Ackerman,
Mohammad Golshani,
Mostafa Mirabi
Abstract:
Suppose $\mathscr{L}^-\subseteq \mathscr{L}$ are languages where $\mathscr{L} \setminus\mathscr{L}^-$ is relational. Additionally, let $\mathbf{K}$ be a strong $\textrm{Fraïssé}$ class in $\mathscr{L}$. We consider the partial ordering, under substructure, of those elements in $\mathbf{K}$ whose reduct to $\mathscr{L}^-$ are substructures of a fixed $\mathscr{L}^-$-structure $\mathcal{M}^-$. In th…
▽ More
Suppose $\mathscr{L}^-\subseteq \mathscr{L}$ are languages where $\mathscr{L} \setminus\mathscr{L}^-$ is relational. Additionally, let $\mathbf{K}$ be a strong $\textrm{Fraïssé}$ class in $\mathscr{L}$. We consider the partial ordering, under substructure, of those elements in $\mathbf{K}$ whose reduct to $\mathscr{L}^-$ are substructures of a fixed $\mathscr{L}^-$-structure $\mathcal{M}^-$. In this paper, we establish that, under general conditions, this partial order satisfies the $|\mathcal{M}^-|$-chain condition.
Furthermore, under these conditions, we demonstrate that any generic for such a partial order satisfies the theory of the \Fraisse\ limit of $\mathbf{K}$, provided $\mathcal{M}^-$ satisfies the theory of$\textrm{Fraïssé}$ limit of its age.
We also provide general conditions that guarantee all such generics to be rigid, as well as conditions ensuring that these generics possess large automorphism groups.
△ Less
Submitted 5 June, 2024; v1 submitted 17 October, 2023;
originally announced October 2023.
-
On computable learning of continuous features
Authors:
Nathanael Ackerman,
Julian Asilis,
Jieqi Di,
Cameron Freer,
Jean-Baptiste Tristan
Abstract:
We introduce definitions of computable PAC learning for binary classification over computable metric spaces. We provide sufficient conditions for learners that are empirical risk minimizers (ERM) to be computable, and bound the strong Weihrauch degree of an ERM learner under more general conditions. We also give a presentation of a hypothesis class that does not admit any proper computable PAC lea…
▽ More
We introduce definitions of computable PAC learning for binary classification over computable metric spaces. We provide sufficient conditions for learners that are empirical risk minimizers (ERM) to be computable, and bound the strong Weihrauch degree of an ERM learner under more general conditions. We also give a presentation of a hypothesis class that does not admit any proper computable PAC learner with computable sample function, despite the underlying class being PAC learnable.
△ Less
Submitted 23 November, 2021;
originally announced November 2021.
-
The EXO-200 detector, part II: Auxiliary Systems
Authors:
N. Ackerman,
J. Albert,
M. Auger,
D. J. Auty,
I. Badhrees,
P. S. Barbeau,
L. Bartoszek,
E. Baussan,
V. Belov,
C. Benitez-Medina,
T. Bhatta,
M. Breidenbach,
T. Brunner,
G. F. Cao,
W. R. Cen,
C. Chambers,
B. Cleveland,
R. Conley,
S. Cook,
M. Coon,
W. Craddock,
A. Craycraft,
W. Cree,
T. Daniels,
L. Darroch
, et al. (135 additional authors not shown)
Abstract:
The EXO-200 experiment searched for neutrinoless double-beta decay of $^{136}$Xe with a single-phase liquid xenon detector. It used an active mass of 110 kg of 80.6%-enriched liquid xenon in an ultra-low background time projection chamber with ionization and scintillation detection and readout. This paper describes the design and performance of the various support systems necessary for detector op…
▽ More
The EXO-200 experiment searched for neutrinoless double-beta decay of $^{136}$Xe with a single-phase liquid xenon detector. It used an active mass of 110 kg of 80.6%-enriched liquid xenon in an ultra-low background time projection chamber with ionization and scintillation detection and readout. This paper describes the design and performance of the various support systems necessary for detector operation, including cryogenics, xenon handling, and controls. Novel features of the system were driven by the need to protect the thin-walled detector chamber containing the liquid xenon, to achieve high chemical purity of the Xe, and to maintain thermal uniformity across the detector.
△ Less
Submitted 22 October, 2021; v1 submitted 13 July, 2021;
originally announced July 2021.
-
On computable aspects of algebraic and definable closure
Authors:
Nathanael Ackerman,
Cameron Freer,
Rehana Patel
Abstract:
We investigate the computability of algebraic closure and definable closure with respect to a collection of formulas. We show that for a computable collection of formulas of quantifier rank at most $n$, in any given computable structure, both algebraic and definable closure with respect to that collection are $Σ^0_{n+2}$ sets. We further show that these bounds are tight.
We investigate the computability of algebraic closure and definable closure with respect to a collection of formulas. We show that for a computable collection of formulas of quantifier rank at most $n$, in any given computable structure, both algebraic and definable closure with respect to that collection are $Σ^0_{n+2}$ sets. We further show that these bounds are tight.
△ Less
Submitted 28 January, 2021;
originally announced January 2021.
-
A Family of Exact Goodness-of-Fit Tests for High-Dimensional Discrete Distributions
Authors:
Feras A. Saad,
Cameron E. Freer,
Nathanael L. Ackerman,
Vikash K. Mansinghka
Abstract:
The objective of goodness-of-fit testing is to assess whether a dataset of observations is likely to have been drawn from a candidate probability distribution. This paper presents a rank-based family of goodness-of-fit tests that is specialized to discrete distributions on high-dimensional domains. The test is readily implemented using a simulation-based, linear-time procedure. The testing procedu…
▽ More
The objective of goodness-of-fit testing is to assess whether a dataset of observations is likely to have been drawn from a candidate probability distribution. This paper presents a rank-based family of goodness-of-fit tests that is specialized to discrete distributions on high-dimensional domains. The test is readily implemented using a simulation-based, linear-time procedure. The testing procedure can be customized by the practitioner using knowledge of the underlying data domain. Unlike most existing test statistics, the proposed test statistic is distribution-free and its exact (non-asymptotic) sampling distribution is known in closed form. We establish consistency of the test against all alternatives by showing that the test statistic is distributed as a discrete uniform if and only if the samples were drawn from the candidate distribution. We illustrate its efficacy for assessing the sample quality of approximate sampling algorithms over combinatorially large spaces with intractable probabilities, including random partitions in Dirichlet process mixture models and random lattices in Ising models.
△ Less
Submitted 26 February, 2019;
originally announced February 2019.
-
The entropy function of an invariant measure
Authors:
Nathanael Ackerman,
Cameron Freer,
Rehana Patel
Abstract:
Given a countable relational language $L$, we consider probability measures on the space of $L$-structures with underlying set $\mathbb{N}$ that are invariant under the logic action. We study the growth rate of the entropy function of such a measure, defined to be the function sending $n \in \mathbb{N}$ to the entropy of the measure induced by restrictions to $L$-structures on…
▽ More
Given a countable relational language $L$, we consider probability measures on the space of $L$-structures with underlying set $\mathbb{N}$ that are invariant under the logic action. We study the growth rate of the entropy function of such a measure, defined to be the function sending $n \in \mathbb{N}$ to the entropy of the measure induced by restrictions to $L$-structures on $\{0, \ldots, n-1\}$. When $L$ has finitely many relation symbols, all of arity $k\ge 1$, and the measure has a property called non-redundance, we show that the entropy function is of the form $Cn^k+o(n^k)$, generalizing a result of Aldous and Janson. When $k\ge 2$, we show that there are invariant measures whose entropy functions grow arbitrarily fast in $o(n^k)$, extending a result of Hatami-Norine. For possibly infinite languages $L$, we give an explicit upper bound on the entropy functions of non-redundant invariant measures in terms of the number of relation symbols in $L$ of each arity; this implies that finite-valued entropy functions can grow arbitrarily fast.
△ Less
Submitted 19 February, 2019; v1 submitted 6 September, 2018;
originally announced September 2018.
-
Categoricity in multiuniversal classes
Authors:
Nathanael Ackerman,
Will Boney,
Sebastien Vasey
Abstract:
The third author has shown that Shelah's eventual categoricity conjecture holds in universal classes: class of structures closed under isomorphisms, substructures, and unions of chains. We extend this result to the framework of multiuniversal classes. Roughly speaking, these are classes with a closure operator that is essentially algebraic closure (instead of, in the universal case, being essentia…
▽ More
The third author has shown that Shelah's eventual categoricity conjecture holds in universal classes: class of structures closed under isomorphisms, substructures, and unions of chains. We extend this result to the framework of multiuniversal classes. Roughly speaking, these are classes with a closure operator that is essentially algebraic closure (instead of, in the universal case, being essentially definable closure). Along the way, we prove in particular that Galois (orbital) types in multiuniversal classes are determined by their finite restrictions, generalizing a result of the second author.
△ Less
Submitted 17 May, 2019; v1 submitted 24 April, 2018;
originally announced April 2018.
-
LGBT+ Inclusivity in Physics and Astronomy: A Best Practices Guide
Authors:
Nicole Ackerman,
Timothy Atherton,
Adrian Ray Avalani,
Christine A. Berven,
Tanmoy Laskar,
Ansel Neunzert,
Diana S. Parno,
Michael Ramsey-Musolf
Abstract:
We present the second edition of a Best Practices Guide for academic departments and other institutions striving to create more inclusive environments for physicists and astronomers in the LGBT+ community. Our recommendations incorporate new research since the original, 2014 edition, and are designed for anyone who wishes to become aware of -- and help mitigate -- the extra burdens that face membe…
▽ More
We present the second edition of a Best Practices Guide for academic departments and other institutions striving to create more inclusive environments for physicists and astronomers in the LGBT+ community. Our recommendations incorporate new research since the original, 2014 edition, and are designed for anyone who wishes to become aware of -- and help mitigate -- the extra burdens that face members of the LGBT+ community in the physical sciences.
△ Less
Submitted 12 April, 2018;
originally announced April 2018.
-
The Beta-Bernoulli process and algebraic effects
Authors:
Sam Staton,
Dario Stein,
Hongseok Yang,
Nathanael L. Ackerman,
Cameron E. Freer,
Daniel M. Roy
Abstract:
In this paper we use the framework of algebraic effects from programming language theory to analyze the Beta-Bernoulli process, a standard building block in Bayesian models. Our analysis reveals the importance of abstract data types, and two types of program equations, called commutativity and discardability. We develop an equational theory of terms that use the Beta-Bernoulli process, and show th…
▽ More
In this paper we use the framework of algebraic effects from programming language theory to analyze the Beta-Bernoulli process, a standard building block in Bayesian models. Our analysis reveals the importance of abstract data types, and two types of program equations, called commutativity and discardability. We develop an equational theory of terms that use the Beta-Bernoulli process, and show that the theory is complete with respect to the measure-theoretic semantics, and also in the syntactic sense of Post. Our analysis has a potential for being generalized to other stochastic processes relevant to Bayesian modelling, yielding new understanding of these processes from the perspective of programming.
△ Less
Submitted 15 May, 2018; v1 submitted 26 February, 2018;
originally announced February 2018.
-
On the computability of graphons
Authors:
Nathanael L. Ackerman,
Jeremy Avigad,
Cameron E. Freer,
Daniel M. Roy,
Jason M. Rute
Abstract:
We investigate the relative computability of exchangeable binary relational data when presented in terms of the distribution of an invariant measure on graphs, or as a graphon in either $L^1$ or the cut distance. We establish basic computable equivalences, and show that $L^1$ representations contain fundamentally more computable information than the other representations, but that $0'$ suffices to…
▽ More
We investigate the relative computability of exchangeable binary relational data when presented in terms of the distribution of an invariant measure on graphs, or as a graphon in either $L^1$ or the cut distance. We establish basic computable equivalences, and show that $L^1$ representations contain fundamentally more computable information than the other representations, but that $0'$ suffices to move between computable such representations. We show that $0'$ is necessary in general, but that in the case of random-free graphons, no oracle is necessary. We also provide an example of an $L^1$-computable random-free graphon that is not weakly isomorphic to any graphon with an a.e. continuous version.
△ Less
Submitted 31 January, 2018;
originally announced January 2018.
-
Stable regularity for relational structures
Authors:
Nathanael Ackerman,
Cameron Freer,
Rehana Patel
Abstract:
We generalize the stable graph regularity lemma of Malliaris and Shelah to the case of finite structures in finite relational languages, e.g., finite hypergraphs. We show that under the model-theoretic assumption of stability, such a structure has an equitable regularity partition of size polynomial in the reciprocal of the desired accuracy, and such that for each $k$-ary relation and $k$-tuple of…
▽ More
We generalize the stable graph regularity lemma of Malliaris and Shelah to the case of finite structures in finite relational languages, e.g., finite hypergraphs. We show that under the model-theoretic assumption of stability, such a structure has an equitable regularity partition of size polynomial in the reciprocal of the desired accuracy, and such that for each $k$-ary relation and $k$-tuple of parts of the partition, the density is close to either 0 or 1. In addition, we provide regularity results for finite and Borel structures that satisfy a weaker notion that we call almost stability.
△ Less
Submitted 14 January, 2018; v1 submitted 26 December, 2017;
originally announced December 2017.
-
Properly ergodic structures
Authors:
Nathanael Ackerman,
Cameron Freer,
Alex Kruckman,
Rehana Patel
Abstract:
We consider ergodic $\mathrm{Sym}(\mathbb{N})$-invariant probability measures on the space of $L$-structures with domain $\mathbb{N}$ (for $L$ a countable relational language), and call such a measure a properly ergodic structure when no isomorphism class of structures is assigned measure $1$. We characterize those theories in countable fragments of $\mathcal{L}_{ω_1, ω}$ for which there is a prop…
▽ More
We consider ergodic $\mathrm{Sym}(\mathbb{N})$-invariant probability measures on the space of $L$-structures with domain $\mathbb{N}$ (for $L$ a countable relational language), and call such a measure a properly ergodic structure when no isomorphism class of structures is assigned measure $1$. We characterize those theories in countable fragments of $\mathcal{L}_{ω_1, ω}$ for which there is a properly ergodic structure concentrated on the models of the theory. We show that for a countable fragment $F$ of $\mathcal{L}_{ω_1, ω}$ the almost-sure $F$-theory of a properly ergodic structure has continuum-many models (an analogue of Vaught's Conjecture in this context), but its full almost-sure $\mathcal{L}_{ω_1, ω}$-theory has no models. We also show that, for an $F$-theory $T$, if there is some properly ergodic structure that concentrates on the class of models of $T$, then there are continuum-many such properly ergodic structures.
△ Less
Submitted 25 October, 2017;
originally announced October 2017.
-
Countable infinitary theories admitting an invariant measure
Authors:
Nathanael Ackerman,
Cameron Freer,
Rehana Patel
Abstract:
Let $L$ be a countable language. We characterize, in terms of definable closure, those countable theories $Σ$ of $\mathcal{L}_{ω_1, ω}(L)$ for which there exists an $S_\infty$-invariant probability measure on the collection of models of $Σ$ with underlying set $\mathbb{N}$. Restricting to $\mathcal{L}_{ω, ω}(L)$, this answers an open question of Gaifman from 1964, via a translation between…
▽ More
Let $L$ be a countable language. We characterize, in terms of definable closure, those countable theories $Σ$ of $\mathcal{L}_{ω_1, ω}(L)$ for which there exists an $S_\infty$-invariant probability measure on the collection of models of $Σ$ with underlying set $\mathbb{N}$. Restricting to $\mathcal{L}_{ω, ω}(L)$, this answers an open question of Gaifman from 1964, via a translation between $S_\infty$-invariant measures and Gaifman's symmetric measure-models with strict equality. It also extends the known characterization in the case where $Σ$ implies a Scott sentence. To establish our result, we introduce machinery for building invariant measures from a directed system of countable structures with measures.
△ Less
Submitted 17 October, 2017;
originally announced October 2017.
-
Feedback computability on Cantor space
Authors:
Nathanael L. Ackerman,
Cameron E. Freer,
Robert S. Lubarsky
Abstract:
We introduce the notion of feedback computable functions from $2^ω$ to $2^ω$, extending feedback Turing computation in analogy with the standard notion of computability for functions from $2^ω$ to $2^ω$. 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, in…
▽ More
We introduce the notion of feedback computable functions from $2^ω$ to $2^ω$, extending feedback Turing computation in analogy with the standard notion of computability for functions from $2^ω$ to $2^ω$. 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.
△ Less
Submitted 29 April, 2019; v1 submitted 3 August, 2017;
originally announced August 2017.
-
On the computability of graph Turing machines
Authors:
Nathanael Ackerman,
Cameron Freer
Abstract:
We consider graph Turing machines, a model of parallel computation on a graph, in which each vertex is only capable of performing one of a finite number of operations. This model of computation is a natural generalization of several well-studied notions of computation, including ordinary Turing machines, cellular automata, and parallel graph dynamical systems. We analyze the power of computations…
▽ More
We consider graph Turing machines, a model of parallel computation on a graph, in which each vertex is only capable of performing one of a finite number of operations. This model of computation is a natural generalization of several well-studied notions of computation, including ordinary Turing machines, cellular automata, and parallel graph dynamical systems. We analyze the power of computations that can take place in this model, both in terms of the degrees of computability of the functions that can be computed, and the time and space resources needed to carry out these computations. We further show that properties of the underlying graph have significant consequences for the power of computation thereby obtained. In particular, we show that every arithmetically definable set can be computed by a graph Turing machine in constant time, and that every computably enumerable Turing degree can be computed in constant time and linear space by a graph Turing machine whose underlying graph has finite degree.
△ Less
Submitted 28 March, 2017;
originally announced March 2017.
-
Priors on exchangeable directed graphs
Authors:
Diana Cai,
Nathanael Ackerman,
Cameron Freer
Abstract:
Directed graphs occur throughout statistical modeling of networks, and exchangeability is a natural assumption when the ordering of vertices does not matter. There is a deep structural theory for exchangeable undirected graphs, which extends to the directed case via measurable objects known as digraphons. Using digraphons, we first show how to construct models for exchangeable directed graphs, inc…
▽ More
Directed graphs occur throughout statistical modeling of networks, and exchangeability is a natural assumption when the ordering of vertices does not matter. There is a deep structural theory for exchangeable undirected graphs, which extends to the directed case via measurable objects known as digraphons. Using digraphons, we first show how to construct models for exchangeable directed graphs, including special cases such as tournaments, linear orderings, directed acyclic graphs, and partial orderings. We then show how to construct priors on digraphons via the infinite relational digraphon model (di-IRM), a new Bayesian nonparametric block model for exchangeable directed graphs, and demonstrate inference on synthetic data.
△ Less
Submitted 16 December, 2016; v1 submitted 28 October, 2015;
originally announced October 2015.
-
Representations of Aut(M)-Invariant Measures
Authors:
Nathanael Ackerman
Abstract:
In this paper we generalize the Aldous-Hoover-Kallenberg theorem concerning representations of distributions of exchangeable arrays via collections of measurable maps. We give criteria when such a representation theorem exists for arrays which need only be preserved by a closed subgroup of the symmetric group over $\mathbb{N}$. Specifically, for a countable structure M, with underlying set the…
▽ More
In this paper we generalize the Aldous-Hoover-Kallenberg theorem concerning representations of distributions of exchangeable arrays via collections of measurable maps. We give criteria when such a representation theorem exists for arrays which need only be preserved by a closed subgroup of the symmetric group over $\mathbb{N}$. Specifically, for a countable structure M, with underlying set the $\mathbb{N}$, we introduce the notion of an "Aut(M)-recipe", which is an Aut(M)-invariant array obtained via a collection of measurable functions indexed by the Aut(M)-orbits in M. We further introduce the notion of a "free structure" and then show that if M is free then every Aut(M)-invariant measure on an Aut(M)-space is the distribution of an Aut(M)-recipe. We also show that if a measure is the distribution of an Aut(M)-recipe it must be the restriction of a measure on a free structure.
△ Less
Submitted 9 October, 2021; v1 submitted 21 September, 2015;
originally announced September 2015.
-
On computability and disintegration
Authors:
Nathanael L. Ackerman,
Cameron E. Freer,
Daniel M. Roy
Abstract:
We show that the disintegration operator on a complete separable metric space along a projection map, restricted to measures for which there is a unique continuous disintegration, is strongly Weihrauch equivalent to the limit operator Lim. When a measure does not have a unique continuous disintegration, we may still obtain a disintegration when some basis of continuity sets has the Vitali covering…
▽ More
We show that the disintegration operator on a complete separable metric space along a projection map, restricted to measures for which there is a unique continuous disintegration, is strongly Weihrauch equivalent to the limit operator Lim. When a measure does not have a unique continuous disintegration, we may still obtain a disintegration when some basis of continuity sets has the Vitali covering property with respect to the measure; the disintegration, however, may depend on the choice of sets. We show that, when the basis is computable, the resulting disintegration is strongly Weihrauch reducible to Lim, and further exhibit a single distribution realizing this upper bound.
△ Less
Submitted 10 May, 2016; v1 submitted 9 September, 2015;
originally announced September 2015.
-
A classification of orbits admitting a unique invariant measure
Authors:
Nathanael Ackerman,
Cameron Freer,
Aleksandra Kwiatkowska,
Rehana Patel
Abstract:
We consider the space of countable structures with fixed underlying set in a given countable language. We show that the number of ergodic probability measures on this space that are $S_\infty$-invariant and concentrated on a single isomorphism class must be zero, or one, or continuum. Further, such an isomorphism class admits a unique $S_\infty$-invariant probability measure precisely when the str…
▽ More
We consider the space of countable structures with fixed underlying set in a given countable language. We show that the number of ergodic probability measures on this space that are $S_\infty$-invariant and concentrated on a single isomorphism class must be zero, or one, or continuum. Further, such an isomorphism class admits a unique $S_\infty$-invariant probability measure precisely when the structure is highly homogeneous; by a result of Peter J. Cameron, these are the structures that are interdefinable with one of the five reducts of the rational linear order $(\mathbb{Q}, <)$.
△ Less
Submitted 26 August, 2016; v1 submitted 8 December, 2014;
originally announced December 2014.
-
An iterative step-function estimator for graphons
Authors:
Diana Cai,
Nathanael Ackerman,
Cameron Freer
Abstract:
Exchangeable graphs arise via a sampling procedure from measurable functions known as graphons. A natural estimation problem is how well we can recover a graphon given a single graph sampled from it. One general framework for estimating a graphon uses step-functions obtained by partitioning the nodes of the graph according to some clustering algorithm. We propose an iterative step-function estimat…
▽ More
Exchangeable graphs arise via a sampling procedure from measurable functions known as graphons. A natural estimation problem is how well we can recover a graphon given a single graph sampled from it. One general framework for estimating a graphon uses step-functions obtained by partitioning the nodes of the graph according to some clustering algorithm. We propose an iterative step-function estimator (ISFE) that, given an initial partition, iteratively clusters nodes based on their edge densities with respect to the previous iteration's partition. We analyze ISFE and demonstrate its performance in comparison with other graphon estimation techniques.
△ Less
Submitted 11 May, 2015; v1 submitted 5 December, 2014;
originally announced December 2014.
-
Invariant measures via inverse limits of finite structures
Authors:
Nathanael Ackerman,
Cameron Freer,
Jaroslav Nesetril,
Rehana Patel
Abstract:
Building on recent results regarding symmetric probabilistic constructions of countable structures, we provide a method for constructing probability measures, concentrated on certain classes of countably infinite structures, that are invariant under all permutations of the underlying set that fix all constants. These measures are constructed from inverse limits of measures on certain finite struct…
▽ More
Building on recent results regarding symmetric probabilistic constructions of countable structures, we provide a method for constructing probability measures, concentrated on certain classes of countably infinite structures, that are invariant under all permutations of the underlying set that fix all constants. These measures are constructed from inverse limits of measures on certain finite structures. We use this construction to obtain invariant probability measures concentrated on the classes of countable models of certain first-order theories, including measures that do not assign positive measure to the isomorphism class of any single model. We also characterize those transitive Borel G-spaces admitting a G-invariant probability measure, when G is an arbitrary countable product of symmetric groups on a countable set.
△ Less
Submitted 24 August, 2015; v1 submitted 30 October, 2013;
originally announced October 2013.
-
Gender and Sexual Diversity Issues in Physics: The Audience Speaks
Authors:
Nicole Ackerman,
Timothy J. Atherton,
Wouter Deconinck,
Michael L. Falk,
Savannah Garmon,
Edward Henry,
Elena Long
Abstract:
An account is presented of the special session on "Gender and Sexual Diversity Issues in Physics" which took place at the American Physical Society March Meeting 2012. The opinions of those who attended this session were solicited via an anonymous survey, the results of which are reported here. Drawing both upon ideas put forward by the speakers and audience from the meeting, a set of recommended…
▽ More
An account is presented of the special session on "Gender and Sexual Diversity Issues in Physics" which took place at the American Physical Society March Meeting 2012. The opinions of those who attended this session were solicited via an anonymous survey, the results of which are reported here. Drawing both upon ideas put forward by the speakers and audience from the meeting, a set of recommended actions is proposed for the Physics community to become more inclusive of LGBT+ people.
△ Less
Submitted 18 June, 2012;
originally announced June 2012.
-
Invariant measures concentrated on countable structures
Authors:
Nathanael Ackerman,
Cameron Freer,
Rehana Patel
Abstract:
Let L be a countable language. We say that a countable infinite L-structure M admits an invariant measure when there is a probability measure on the space of L-structures with the same underlying set as M that is invariant under permutations of that set, and that assigns measure one to the isomorphism class of M. We show that M admits an invariant measure if and only if it has trivial definable cl…
▽ More
Let L be a countable language. We say that a countable infinite L-structure M admits an invariant measure when there is a probability measure on the space of L-structures with the same underlying set as M that is invariant under permutations of that set, and that assigns measure one to the isomorphism class of M. We show that M admits an invariant measure if and only if it has trivial definable closure, i.e., the pointwise stabilizer in Aut(M) of an arbitrary finite tuple of M fixes no additional points. When M is a Fraisse limit in a relational language, this amounts to requiring that the age of M have strong amalgamation. Our results give rise to new instances of structures that admit invariant measures and structures that do not.
△ Less
Submitted 28 June, 2016; v1 submitted 18 June, 2012;
originally announced June 2012.
-
Observation of Two-Neutrino Double-Beta Decay in Xe-136 with EXO-200
Authors:
N. Ackerman,
B. Aharmim,
M. Auger,
D. J. Auty,
P. S. Barbeau,
K. Barry,
L. Bartoszek,
E. Beauchamp,
V. Belov,
C. Benitez-Medina,
M. Breidenbach,
A. Burenkov,
B. Cleveland,
R. Conley,
E. Conti,
J. Cook,
S. Cook,
A. Coppens,
I. Counts,
W. Craddock,
T. Daniels,
M. V. Danilov,
C. G. Davis,
J. Davis,
R. deVoe
, et al. (78 additional authors not shown)
Abstract:
We report the observation of two-neutrino double-beta decay in Xe-136 with T_1/2 = 2.11 +- 0.04 (stat.) +- 0.21 (sys.) x 10^21 yr. This second order process, predicted by the Standard Model, has been observed for several nuclei but not for Xe-136. The observed decay rate provides new input to matrix element calculations and to the search for the more interesting neutrino-less double-beta decay, th…
▽ More
We report the observation of two-neutrino double-beta decay in Xe-136 with T_1/2 = 2.11 +- 0.04 (stat.) +- 0.21 (sys.) x 10^21 yr. This second order process, predicted by the Standard Model, has been observed for several nuclei but not for Xe-136. The observed decay rate provides new input to matrix element calculations and to the search for the more interesting neutrino-less double-beta decay, the most sensitive probe for the existence of Majorana particles and the measurement of the neutrino mass scale.
△ Less
Submitted 22 November, 2011; v1 submitted 21 August, 2011;
originally announced August 2011.
-
A xenon gas purity monitor for EXO
Authors:
EXO Collaboration,
A. Dobi,
C. Hall,
S. Herrin,
A. Odian,
C. Y. Prescott,
P. C. Rowson,
N. Ackerman,
B. Aharmin,
M. Auger,
P. S. Barbeau,
K. Barry,
C. Benitez-Medina,
M. Breidenbach,
S. Cook,
I. Counts,
T. Daniels,
R. DeVoe,
M. J. Dolinski,
K. Donato,
W. Fairbank Jr.,
J. Farine,
G. Giroux,
R. Gornea,
K. Graham
, et al. (35 additional authors not shown)
Abstract:
We discuss the design, operation, and calibration of two versions of a xenon gas purity monitor (GPM) developed for the EXO double beta decay program. The devices are sensitive to concentrations of oxygen well below 1 ppb at an ambient gas pressure of one atmosphere or more. The theory of operation of the GPM is discussed along with the interactions of oxygen and other impurities with the GPM's tu…
▽ More
We discuss the design, operation, and calibration of two versions of a xenon gas purity monitor (GPM) developed for the EXO double beta decay program. The devices are sensitive to concentrations of oxygen well below 1 ppb at an ambient gas pressure of one atmosphere or more. The theory of operation of the GPM is discussed along with the interactions of oxygen and other impurities with the GPM's tungsten filament. Lab tests and experiences in commissioning the EXO-200 double beta decay experiment are described. These devices can also be used on other noble gases.
△ Less
Submitted 9 June, 2011;
originally announced June 2011.
-
A simple radionuclide-driven single-ion source
Authors:
M. Montero Díez,
K. Twelker,
W. Fairbank Jr.,
G. Gratta,
P. S. Barbeau,
K. Barry,
R. DeVoe,
M. J. Dolinski,
M. Green,
F. LePort,
A. R. Müller,
R. Neilson,
K. O'Sullivan,
N. Ackerman,
B. Aharmin,
M. Auger,
C. Benitez-Medina,
M. Breidenbach,
A. Burenkov,
S. Cook,
T. Daniels,
K. Donato,
J. Farine,
G. Giroux,
R. Gornea
, et al. (32 additional authors not shown)
Abstract:
We describe a source capable of producing single barium ions through nuclear recoils in radioactive decay. The source is fabricated by electroplating 148Gd onto a silicon α-particle detector and vapor depositing a layer of BaF2 over it. 144Sm recoils from the alpha decay of 148Gd are used to dislodge Ba+ ions from the BaF2 layer and emit them in the surrounding environment. The simultaneous detect…
▽ More
We describe a source capable of producing single barium ions through nuclear recoils in radioactive decay. The source is fabricated by electroplating 148Gd onto a silicon α-particle detector and vapor depositing a layer of BaF2 over it. 144Sm recoils from the alpha decay of 148Gd are used to dislodge Ba+ ions from the BaF2 layer and emit them in the surrounding environment. The simultaneous detection of an α particle in the substrate detector allows for tagging of the nuclear decay and of the Ba+ emission. The source is simple, durable, and can be manipulated and used in different environments. We discuss the fabrication process, which can be easily adapted to emit most other chemical species, and the performance of the source.
△ Less
Submitted 19 August, 2010;
originally announced August 2010.
-
On the computability of conditional probability
Authors:
Nathanael L. Ackerman,
Cameron E. Freer,
Daniel M. Roy
Abstract:
As inductive inference and machine learning methods in computer science see continued success, researchers are aiming to describe ever more complex probabilistic models and inference algorithms. It is natural to ask whether there is a universal computational procedure for probabilistic inference. We investigate the computability of conditional probability, a fundamental notion in probability theor…
▽ More
As inductive inference and machine learning methods in computer science see continued success, researchers are aiming to describe ever more complex probabilistic models and inference algorithms. It is natural to ask whether there is a universal computational procedure for probabilistic inference. We investigate the computability of conditional probability, a fundamental notion in probability theory and a cornerstone of Bayesian statistics. We show that there are computable joint distributions with noncomputable conditional distributions, ruling out the prospect of general inference algorithms, even inefficient ones. Specifically, we construct a pair of computable random variables in the unit interval such that the conditional distribution of the first variable given the second encodes the halting problem. Nevertheless, probabilistic inference is possible in many common modeling settings, and we prove several results giving broadly applicable conditions under which conditional distributions are computable. In particular, conditional distributions become computable when measurements are corrupted by independent computable noise with a sufficiently smooth bounded density.
△ Less
Submitted 16 November, 2019; v1 submitted 17 May, 2010;
originally announced May 2010.
-
Status of EXO-200
Authors:
Nicole Ackerman
Abstract:
EXO-200 is the first phase of the Enriched Xenon Observatory (EXO) experiment, which searches for neutrinoless double beta decay in 136Xe to measure the mass and probe the Majorana nature of the neutrino. EXO-200 consists of 200 kg of liquid Xe enriched to 80% in 136Xe in an ultra-low background TPC. Energy resolution is enhanced through the simultaneous collection of scintillation light using L…
▽ More
EXO-200 is the first phase of the Enriched Xenon Observatory (EXO) experiment, which searches for neutrinoless double beta decay in 136Xe to measure the mass and probe the Majorana nature of the neutrino. EXO-200 consists of 200 kg of liquid Xe enriched to 80% in 136Xe in an ultra-low background TPC. Energy resolution is enhanced through the simultaneous collection of scintillation light using Large Area Avalanche Photodiodes (LAAPD's) and ionization charge. It is being installed at the WIPP site in New Mexico, which provides a 2000 meter water-equivalent overburden. EXO-200 will begin taking data in 2009, with the expected two-year sensitivity to the half-life for neutrinoless double beta decay of 6.4 10^25 years. According to the most recent nuclear matrix element calculations, this corresponds to an effective Majorana neutrino mass of 0.13 to 0.19 eV. It will also measure the two neutrino mode for the first time in 136Xe.
△ Less
Submitted 9 September, 2009;
originally announced September 2009.
-
Characterization of large area APDs for the EXO-200 detector
Authors:
R. Neilson,
F. LePort,
A. Pocar,
K. Kumar,
A. Odian,
C. Y. Prescott,
V. Tenev,
N. Ackerman,
D. Akimov,
M. Auger,
C. Benitez-Medina,
M. Breidenbach,
A. Burenkov,
R. Conley,
S. Cook,
R. deVoe,
M. J. Dolinski,
W. Fairbank Jr.,
J. Farine,
P. Fierlinger,
B. Flatt,
R. Gornea,
G. Gratta,
M. Green,
C. Hall
, et al. (27 additional authors not shown)
Abstract:
EXO-200 uses 468 large area avalanche photodiodes (LAAPDs) for detection of scintillation light in an ultra-low-background liquid xenon (LXe) detector. We describe initial measurements of dark noise, gain and response to xenon scintillation light of LAAPDs at temperatures from room temperature to 169K - the temperature of liquid xenon. We also describe the individual characterization of more tha…
▽ More
EXO-200 uses 468 large area avalanche photodiodes (LAAPDs) for detection of scintillation light in an ultra-low-background liquid xenon (LXe) detector. We describe initial measurements of dark noise, gain and response to xenon scintillation light of LAAPDs at temperatures from room temperature to 169K - the temperature of liquid xenon. We also describe the individual characterization of more than 800 LAAPDs for selective installation in the EXO-200 detector.
△ Less
Submitted 13 June, 2009;
originally announced June 2009.