-
Non-tightness in class theory and second-order arithmetic
Authors:
Alfredo Roque Freire,
Kameryn J. Williams
Abstract:
A theory T is tight if different deductively closed extensions of T (in the same language) cannot be bi-interpretable. Many well-studied foundational theories are tight, including PA [Visser2006], ZF, Z2, and KM [enayat2017]. In this article we extend Enayat's investigations to subsystems of these latter two theories. We prove that restricting the Comprehension schema of Z2 and KM gives non-tight…
▽ More
A theory T is tight if different deductively closed extensions of T (in the same language) cannot be bi-interpretable. Many well-studied foundational theories are tight, including PA [Visser2006], ZF, Z2, and KM [enayat2017]. In this article we extend Enayat's investigations to subsystems of these latter two theories. We prove that restricting the Comprehension schema of Z2 and KM gives non-tight theories. Specifically, we show that GB and ACA0 each admit different bi-interpretable extensions, and the same holds for their extensions by adding Sigma^1_k-Comprehension, for k <= 1. These results provide evidence that tightness characterizes Z2 and KM in a minimal way.
△ Less
Submitted 14 May, 2023; v1 submitted 8 December, 2022;
originally announced December 2022.
-
Bayesian, frequentist, and information geometric approaches to parametric uncertainty quantification of classical empirical interatomic potentials
Authors:
Yonatan Kurniawan,
Cody L. Petrie,
Kinamo J. Williams,
Mark K. Transtrum,
Ellad B. Tadmor,
Ryan S. Elliott,
Daniel S. Karls,
Mingjian Wen
Abstract:
In this paper, we consider the problem of quantifying parametric uncertainty in classical empirical interatomic potentials (IPs) using both Bayesian (Markov Chain Monte Carlo) and frequentist (profile likelihood) methods. We interface these tools with the Open Knowledgebase of Interatomic Models and study three models based on the Lennard-Jones, Morse, and Stillinger--Weber potentials. We confirm…
▽ More
In this paper, we consider the problem of quantifying parametric uncertainty in classical empirical interatomic potentials (IPs) using both Bayesian (Markov Chain Monte Carlo) and frequentist (profile likelihood) methods. We interface these tools with the Open Knowledgebase of Interatomic Models and study three models based on the Lennard-Jones, Morse, and Stillinger--Weber potentials. We confirm that IPs are typically sloppy, i.e., insensitive to coordinated changes in some parameter combinations. Because the inverse problem in such models is ill-conditioned, parameters are unidentifiable. This presents challenges for traditional statistical methods, as we demonstrate and interpret within both Bayesian and frequentist frameworks. We use information geometry to illuminate the underlying cause of this phenomenon and show that IPs have global properties similar to those of sloppy models from fields such as systems biology, power systems, and critical phenomena. IPs correspond to bounded manifolds with a hierarchy of widths, leading to low effective dimensionality in the model. We show how information geometry can motivate new, natural parameterizations that improve the stability and interpretation of uncertainty quantification analysis and further suggest simplified, less-sloppy models.
△ Less
Submitted 14 June, 2022; v1 submitted 20 December, 2021;
originally announced December 2021.
-
Varieties of class-theoretic potentialism
Authors:
Neil Barton,
Kameryn J. Williams
Abstract:
We explain and explore class-theoretic potentialism -- the view that one can always individuate more classes over a set-theoretic universe. We examine some motivations for class-theoretic potentialism, before proving some results concerning the relevant potentialist systems (in particular exhibiting failures of the .2 and .3 axioms). We then discuss the significance of these results for the differ…
▽ More
We explain and explore class-theoretic potentialism -- the view that one can always individuate more classes over a set-theoretic universe. We examine some motivations for class-theoretic potentialism, before proving some results concerning the relevant potentialist systems (in particular exhibiting failures of the .2 and .3 axioms). We then discuss the significance of these results for the different kinds of class-theoretic potentialist.
△ Less
Submitted 14 March, 2023; v1 submitted 3 August, 2021;
originally announced August 2021.
-
The $ω$-th inner mantle
Authors:
Kameryn J. Williams
Abstract:
This article investigates pathological behavior at the first limit stage in the sequence of inner mantles, obtained by iterating the definition of the mantle to get smaller and smaller inner models. I show: (A) it is possible that the $ω$-th inner mantle is not a definable class; and (B) it is possible that the $ω$-th inner mantle is a definable class but does not satisfy $\mathsf{AC}$. This answe…
▽ More
This article investigates pathological behavior at the first limit stage in the sequence of inner mantles, obtained by iterating the definition of the mantle to get smaller and smaller inner models. I show: (A) it is possible that the $ω$-th inner mantle is not a definable class; and (B) it is possible that the $ω$-th inner mantle is a definable class but does not satisfy $\mathsf{AC}$. This answers a pair of questions of Fuchs, Hamkins, and Reitz [FHR15].
△ Less
Submitted 14 June, 2021;
originally announced June 2021.
-
Forcing as a computational process
Authors:
Joel David Hamkins,
Russell Miller,
Kameryn J. Williams
Abstract:
We investigate how set-theoretic forcing can be seen as a computational process on the models of set theory. Given an oracle for information about a model of set theory $\langle M,\in^M\rangle$, we explain senses in which one may compute $M$-generic filters $G\subseteq\mathbb{P}\in M$ and the corresponding forcing extensions $M[G]$. Specifically, from the atomic diagram one may compute $G$, from t…
▽ More
We investigate how set-theoretic forcing can be seen as a computational process on the models of set theory. Given an oracle for information about a model of set theory $\langle M,\in^M\rangle$, we explain senses in which one may compute $M$-generic filters $G\subseteq\mathbb{P}\in M$ and the corresponding forcing extensions $M[G]$. Specifically, from the atomic diagram one may compute $G$, from the $Δ_0$-diagram one may compute $M[G]$ and its $Δ_0$-diagram, and from the elementary diagram one may compute the elementary diagram of $M[G]$. We also examine the information necessary to make the process functorial, and conclude that in the general case, no such computational process will be functorial. For any such process, it will always be possible to have different isomorphic presentations of a model of set theory $M$ that lead to different non-isomorphic forcing extensions $M[G]$. Indeed, there is no Borel function providing generic filters that is functorial in this sense.
△ Less
Submitted 23 November, 2023; v1 submitted 1 July, 2020;
originally announced July 2020.
-
The Sigma_1-definable universal finite sequence
Authors:
Joel David Hamkins,
Kameryn J. Williams
Abstract:
We introduce the $Σ_1$-definable universal finite sequence and prove that it exhibits the universal extension property amongst the countable models of set theory under end-extension. That is, (i) the sequence is $��_1$-definable and provably finite; (ii) the sequence is empty in transitive models; and (iii) if $M$ is a countable model of set theory in which the sequence is $s$ and $t$ is any finite…
▽ More
We introduce the $Σ_1$-definable universal finite sequence and prove that it exhibits the universal extension property amongst the countable models of set theory under end-extension. That is, (i) the sequence is $Σ_1$-definable and provably finite; (ii) the sequence is empty in transitive models; and (iii) if $M$ is a countable model of set theory in which the sequence is $s$ and $t$ is any finite extension of $s$ in this model, then there is an end-extension of $M$ to a model in which the sequence is $t$. Our proof method grows out of a new infinitary-logic-free proof of the Barwise extension theorem, by which any countable model of set theory is end-extended to a model of $V=L$ or indeed any theory true in a suitable submodel of the original model. The main theorem settles the modal logic of end-extensional potentialism, showing that the potentialist validities of the models of set theory under end-extensions are exactly the assertions of S4. Finally, we introduce the end-extensional maximality principle, which asserts that every possibly necessary sentence is already true, and show that every countable model extends to a model satisfying it.
△ Less
Submitted 9 November, 2020; v1 submitted 19 September, 2019;
originally announced September 2019.
-
Inner mantles and iterated HOD
Authors:
Jonas Reitz,
Kameryn J Williams
Abstract:
We present a class forcing notion $\mathbb M(η)$, uniformly definable for ordinals $η$, which forces the ground model to be the $η$-th inner mantle of the extension, in which the sequence of inner mantles has length at least $η$. This answers a conjecture of Fuchs, Hamkins, and Reitz [FHR15] in the positive. We also show that $\mathbb M(η)$ forces the ground model to be the $η$-th iterated HOD of…
▽ More
We present a class forcing notion $\mathbb M(η)$, uniformly definable for ordinals $η$, which forces the ground model to be the $η$-th inner mantle of the extension, in which the sequence of inner mantles has length at least $η$. This answers a conjecture of Fuchs, Hamkins, and Reitz [FHR15] in the positive. We also show that $\mathbb M(η)$ forces the ground model to be the $η$-th iterated HOD of the extension, where the sequence of iterated HODs has length at least $η$. We conclude by showing that the lengths of the sequences of inner mantles and of iterated HODs can be separated to be any two ordinals you please.
△ Less
Submitted 4 September, 2019; v1 submitted 19 October, 2018;
originally announced October 2018.
-
Set-Theoretic Blockchains
Authors:
Miha E. Habič,
Joel David Hamkins,
Lukas Daniel Klausner,
Jonathan Verner,
Kameryn J. Williams
Abstract:
Given a countable model of set theory, we study the structure of its generic multiverse, the collection of its forcing extensions and ground models, ordered by inclusion. Mostowski showed that any finite poset embeds into the generic multiverse while preserving the nonexistence of upper bounds. We obtain several improvements of his result, using what we call the blockchain construction to build ge…
▽ More
Given a countable model of set theory, we study the structure of its generic multiverse, the collection of its forcing extensions and ground models, ordered by inclusion. Mostowski showed that any finite poset embeds into the generic multiverse while preserving the nonexistence of upper bounds. We obtain several improvements of his result, using what we call the blockchain construction to build generic objects with varying degrees of mutual genericity. The method accommodates certain infinite posets, and we can realize these embeddings via a wide variety of forcing notions, while providing control over lower bounds as well. We also give a generalization to class forcing in the context of second-order set theory, and exhibit some further structure in the generic multiverse, such as the existence of exact pairs.
△ Less
Submitted 27 March, 2019; v1 submitted 4 August, 2018;
originally announced August 2018.
-
The Structure of Models of Second-order Set Theories
Authors:
Kameryn J Williams
Abstract:
This dissertation is a contribution to the project of second-order set theory, which has seen a revival in recent years. The approach is to understand second-order set theory by studying the structure of models of second-order set theories. The main results are the following, organized by chapter. First, I investigate the poset of $T$-realizations of a fixed countable model of $\mathsf{ZFC}$, wher…
▽ More
This dissertation is a contribution to the project of second-order set theory, which has seen a revival in recent years. The approach is to understand second-order set theory by studying the structure of models of second-order set theories. The main results are the following, organized by chapter. First, I investigate the poset of $T$-realizations of a fixed countable model of $\mathsf{ZFC}$, where $T$ is a reasonable second-order set theory such as $\mathsf{GBC}$ or $\mathsf{KM}$, showing that it has a rich structure. In particular, every countable partial order embeds into this structure. Moreover, we can arrange so that these embedding preserve the existence/nonexistence of upper bounds, at least for finite partial orders. Second I generalize some constructions of Marek and Mostowski from $\mathsf{KM}$ to weaker theories. They showed that every model of $\mathsf{KM}$ plus the Class Collection schema "unrolls" to a model of $\mathsf{ZFC}^-$ with a largest cardinal. I calculate the theories of the unrolling for a variety of second-order set theories, going as weak as $\mathsf{GBC} + \mathsf{ETR}$. I also show that being $T$-realizable goes down to submodels for a broad selection of second-order set theories $T$. Third, I show that there is a hierarchy of transfinite recursion principles ranging in strength from $\mathsf{GBC}$ to $\mathsf{KM}$. This hierarchy is ordered first by the complexity of the properties allowed in the recursions and second by the allowed heights of the recursions. Fourth, I investigate the question of which second-order set theories have least models. I show that strong theories---such as $\mathsf{KM}$ or $Π^1_1\text{-}\mathsf{CA}$---do not have least transitive models while weaker theories---from $\mathsf{GBC}$ to $\mathsf{GBC} + \mathsf{ETR}_\mathrm{Ord}$---do have least transitive models.
△ Less
Submitted 25 April, 2018;
originally announced April 2018.
-
Minimum models of second-order set theories
Authors:
Kameryn J Williams
Abstract:
In this article I investigate the phenomenon of minimum models of second-order set theories, focusing on Kelley--Morse set theory $\mathsf{KM}$, Gödel--Bernays set theory $\mathsf{GB}$, and $\mathsf{GB}$ augmented with the principle of Elementary Transfinite Recursion. The main results are the following. (1) A countable model of $\mathsf{ZFC}$ has a minimum $\mathsf{GBC}$-realization if and only i…
▽ More
In this article I investigate the phenomenon of minimum models of second-order set theories, focusing on Kelley--Morse set theory $\mathsf{KM}$, Gödel--Bernays set theory $\mathsf{GB}$, and $\mathsf{GB}$ augmented with the principle of Elementary Transfinite Recursion. The main results are the following. (1) A countable model of $\mathsf{ZFC}$ has a minimum $\mathsf{GBC}$-realization if and only if it admits a parametrically definable global well-order. (2) Countable models of $\mathsf{GBC}$ admit minimal extensions with the same sets. (3) There is no minimum transitive model of $\mathsf{KM}$. (4) There is a minimum $β$-model of $\mathsf{GB} + \mathsf{ETR}$. The main question left unanswered by this article is whether there is a minimum transitive model of $\mathsf{GB} + \mathsf{ETR}$.
△ Less
Submitted 28 February, 2019; v1 submitted 12 September, 2017;
originally announced September 2017.
-
Computational Study of Amplitude-to-Phase Conversion in a Modified Uni-Traveling Carrier (MUTC) Photodetector
Authors:
Yue Hu,
Curtis R. Menyuk,
Xiaojun Xie,
Meredith N. Hutchinson,
Vincent J. Urick,
Joe C. Campbell,
Keith J. Williams
Abstract:
We calculate the amplitude-to-phase (AM-to-PM) noise conversion in a modified unitraveling carrier (MUTC) photodetector. We obtained two nulls as measured in the experiments, and we explain their origin. The nulls appear due to the transit time variation when the average photocurrent varies, and the transit time variation is due to the change of electron velocity when the average photocurrent vari…
▽ More
We calculate the amplitude-to-phase (AM-to-PM) noise conversion in a modified unitraveling carrier (MUTC) photodetector. We obtained two nulls as measured in the experiments, and we explain their origin. The nulls appear due to the transit time variation when the average photocurrent varies, and the transit time variation is due to the change of electron velocity when the average photocurrent varies. We also show that the AM-to-PM conversion coefficient depends only on the pulse energy and is independent of the pulse duration when the duration is less than 500 fs. When the pulse duration is larger than 500 fs, the nulls of the AM-to-PM conversion coefficient shift to larger average photocurrents. This shift occurs because the increase in that pulse duration leads to a decrease in the peak photocurrent. The AM-to-PM noise conversion coefficient changes as the repetition rate varies. However, the repetition rate does not change the AM-to-PM conversion coefficient as a function of input optical pulse energy. The repetition rate changes the average photocurrent. We propose a design that would in theory improve the performance of the device.
△ Less
Submitted 22 February, 2017;
originally announced February 2017.
-
First low frequency all-sky search for continuous gravitational wave signals
Authors:
The LIGO Scientific Collaboration,
the Virgo Collaboration,
J. Aasi,
B. P. Abbott,
R. Abbott,
T. D. Abbott,
M. R. Abernathy,
F. Acernese,
K. Ackley,
C. Adams,
T. Adams,
P. Addesso,
R. X. Adhikari,
V. B. Adya,
C. Affeldt,
M. Agathos,
K. Agatsuma,
N. Aggarwal,
O. D. Aguiar,
A. Ain,
P. Ajith,
B. Allen,
A. Allocca,
D. V. Amariutei,
M. Andersen
, et al. (899 additional authors not shown)
Abstract:
In this paper we present the results of the first low frequency all-sky search of continuous gravitational wave signals conducted on Virgo VSR2 and VSR4 data. The search covered the full sky, a frequency range between 20 Hz and 128 Hz with a range of spin-down between $-1.0 \times 10^{-10}$ Hz/s and $+1.5 \times 10^{-11}$ Hz/s, and was based on a hierarchical approach. The starting point was a set…
▽ More
In this paper we present the results of the first low frequency all-sky search of continuous gravitational wave signals conducted on Virgo VSR2 and VSR4 data. The search covered the full sky, a frequency range between 20 Hz and 128 Hz with a range of spin-down between $-1.0 \times 10^{-10}$ Hz/s and $+1.5 \times 10^{-11}$ Hz/s, and was based on a hierarchical approach. The starting point was a set of short Fast Fourier Transforms (FFT), of length 8192 seconds, built from the calibrated strain data. Aggressive data cleaning, both in the time and frequency domains, has been done in order to remove, as much as possible, the effect of disturbances of instrumental origin. On each dataset a number of candidates has been selected, using the FrequencyHough transform in an incoherent step. Only coincident candidates among VSR2 and VSR4 have been examined in order to strongly reduce the false alarm probability, and the most significant candidates have been selected. Selected candidates have been subject to a follow-up by constructing a new set of longer FFTs followed by a further incoherent analysis, still based on the FrequencyHough transform. No evidence for continuous gravitational wave signals was found, therefore we have set a population-based joint VSR2-VSR4 90$\%$ confidence level upper limit on the dimensionless gravitational wave strain in the frequency range between 20 Hz and 128 Hz. This is the first all-sky search for continuous gravitational waves conducted, on data of ground-based interferometric detectors, at frequencies below 50 Hz. We set upper limits in the range between about $10^{-24}$ and $2\times 10^{-23}$ at most frequencies. Our upper limits on signal strain show an improvement of up to a factor of $\sim$2 with respect to the results of previous all-sky searches at frequencies below $80~\mathrm{Hz}$.
△ Less
Submitted 17 October, 2019; v1 submitted 13 October, 2015;
originally announced October 2015.
-
A search of the Orion spur for continuous gravitational waves using a "loosely coherent" algorithm on data from LIGO interferometers
Authors:
J. Aasi,
B. P. Abbott,
R. Abbott,
T. D. Abbott,
M. R. Abernathy,
F. Acernese,
K. Ackley,
C. Adams,
T. Adams,
P. Addesso,
R. X. Adhikari,
V. B. Adya,
C. Affeldt,
M. Agathos,
K. Agatsuma,
N. Aggarwal,
O. D. Aguiar,
A. Ain,
P. Ajith,
B. Allen,
A. Allocca,
D. V. Amariutei,
M. Andersen,
S. B. Anderson,
W. G. Anderson
, et al. (898 additional authors not shown)
Abstract:
We report results of a wideband search for periodic gravitational waves from isolated neutron stars within the Orion spur towards both the inner and outer regions of our Galaxy. As gravitational waves interact very weakly with matter, the search is unimpeded by dust and concentrations of stars. One search disk (A) is $6.87^\circ$ in diameter and centered on…
▽ More
We report results of a wideband search for periodic gravitational waves from isolated neutron stars within the Orion spur towards both the inner and outer regions of our Galaxy. As gravitational waves interact very weakly with matter, the search is unimpeded by dust and concentrations of stars. One search disk (A) is $6.87^\circ$ in diameter and centered on $20^\textrm{h}10^\textrm{m}54.71^\textrm{s}+33^\circ33'25.29"$, and the other (B) is $7.45^\circ$ in diameter and centered on $8^\textrm{h}35^\textrm{m}20.61^\textrm{s}-46^\circ49'25.151"$. We explored the frequency range of 50-1500 Hz and frequency derivative from $0$ to $-5\times 10^{-9}$ Hz/s. A multi-stage, loosely coherent search program allowed probing more deeply than before in these two regions, while increasing coherence length with every stage.
Rigorous followup parameters have winnowed initial coincidence set to only 70 candidates, to be examined manually. None of those 70 candidates proved to be consistent with an isolated gravitational wave emitter, and 95% confidence level upper limits were placed on continuous-wave strain amplitudes. Near $169$ Hz we achieve our lowest 95% CL upper limit on worst-case linearly polarized strain amplitude $h_0$ of $6.3\times 10^{-25}$, while at the high end of our frequency range we achieve a worst-case upper limit of $3.4\times 10^{-24}$ for all polarizations and sky locations.
△ Less
Submitted 14 October, 2015; v1 submitted 12 October, 2015;
originally announced October 2015.
-
A simplified and generalized treatment of DES related ciphers
Authors:
Liljana Babinkostova,
Alyssa M. Bowden,
Andrew M. Kimball,
Kameryn J. Williams
Abstract:
This work is a study of DES-like ciphers where the bitwise exclusive-or (XOR) operation in the underlying Feistel network is replaced by an arbitrary group operation. We construct a two round simplified version of DES that contains all the DES components and show that its set of encryption permutations is not a group under functional composition, it is not a pure cipher and its set of encryption p…
▽ More
This work is a study of DES-like ciphers where the bitwise exclusive-or (XOR) operation in the underlying Feistel network is replaced by an arbitrary group operation. We construct a two round simplified version of DES that contains all the DES components and show that its set of encryption permutations is not a group under functional composition, it is not a pure cipher and its set of encryption permutations does not generate the alternating group. We present a non-computational proof that for n\leq6 the set of n-round Feistel permutations over an arbitrary group do not constitute a group under functional composition.
△ Less
Submitted 4 June, 2012; v1 submitted 25 May, 2012;
originally announced May 2012.