arXiv subjects

James Walsh

Publications and source records attributed to James Walsh.

30 records · Page 2Linked to original sources

arXiv2022

Evitable iterates of the consistency operator

Let's fix a reasonable subsystem $T$ of arithmetic; why are natural extensions of $T$ pre-well-ordered by consistency strength? In previous work, an approach to this question was proposed. The goal of this work was to classify the recursive functions that are monotone with respect to the Lindenabum algebra of $T$. According to an optimistic conjecture, roughly, every such function must be equivalent to an iterate $\mathsf{Con}_T^α$ of the consistency operator in the limit. In previous work the author established the first case of this optimistic conjecture; roughly, every recursive monotone function is either as weak as the identity operator in the limit or as strong as $\mathsf{Con}_T$ in the limit. Yet in this note we prove that this optimistic conjecture fails already at the next step; there are recursive monotone functions that are neither as weak as $\mathsf{Con}_T$ in the limit nor as strong as $\mathsf{Con}_T^2$ in the limit. In fact, for every $α$, we produce a function that is cofinally as strong as $\mathsf{Con}^α_T$ yet cofinally as weak as $\mathsf{Con}_T$.

math.LO↗

arXiv2022

Near Real-Time Social Distance Estimation in London

During the COVID-19 pandemic, policy makers at the Greater London Authority, the regional governance body of London, UK, are reliant upon prompt and accurate data sources. Large well-defined heterogeneous compositions of activity throughout the city are sometimes difficult to acquire, yet are a necessity in order to learn 'busyness' and consequently make safe policy decisions. One component of our project within this space is to utilise existing infrastructure to estimate social distancing adherence by the general public. Our method enables near immediate sampling and contextualisation of activity and physical distancing on the streets of London via live traffic camera feeds. We introduce a framework for inspecting and improving upon existing methods, whilst also describing its active deployment on over 900 real-time feeds.

cs.CY↗

arXiv2022

Reducing $ω$-model reflection to iterated syntactic reflection

In mathematical logic there are two seemingly distinct kinds of principles called "reflection principles." Semantic reflection principles assert that if a formula holds in the whole universe, then it holds in a set-sized model. Syntactic reflection principles assert that every provable sentence from some complexity class is true. In this paper we study connections between these two kinds of reflection principles in the setting of second-order arithmetic. We prove that, for a large swathe of theories, $ω$-model reflection is equivalent to the claim that arbitrary iterations of uniform $Π^1_1$ reflection along countable well-orderings are $Π^1_1$-sound. This result yields uniform ordinal analyses of theories with strength between $\mathsf{ACA}_0$ and $\mathsf{ATR}$. The main technical novelty of our analysis is the introduction of the notion of the proof-theoretic dilator of a theory $T$, which is the operator on countable ordinals that maps the order-type of $\prec$ to the proof-theoretic ordinal of $T+\mathsf{WO}(\prec)$. We obtain precise results about the growth of proof-theoretic dilators as a function of provable $ω$-model reflection. This approach enables us to simultaneously obtain not only $Π^0_1$, $Π^0_2$, and $Π^1_1$ ordinals but also reverse-mathematical theorems for well-ordering principles.

math.LO↗

arXiv2021

Low Temperature Plasma for Biology, Hygiene, and Medicine: Perspective and Roadmap

Plasma, the fourth and most pervasive state of matter in the visible universe, is a fascinating medium that is connected to the beginning of our universe itself. Man-made plasmas are at the core of many technological advances that include the fabrication of semiconductor devices, which enabled the modern computer and communication revolutions. The introduction of low temperature, atmospheric pressure plasmas to the biomedical field has ushered a new revolution in the healthcare arena that promises to introduce plasma-based therapies to combat some thorny and long-standing medical challenges. This paper presents an overview of where research is at today and discusses innovative concepts and approaches to overcome present challenges and take the field to the next level. It is written by a team of experts who took an in-depth look at the various biomedical applications, made critical analysis, and proposed ideas and concepts that should help the research community focus their efforts on clear and practical steps necessary to keep the field advancing for decades to come.

physics.med-ph↗

arXiv2021

Synchronous Glacial Cycles in a Nonsmooth Conceptual Climate Model with Asymmetric Hemispheres

We present a new conceptual model of the Earth's glacial-interglacial cycles, one leading to governing equations for which the vector field has a hyperplane of discontinuities. This work extends the classic Budyko- and Sellers-type conceptual energy balance models of temperature-albedo feedback by removing the standard assumption of planetary symmetry about the equator. The dynamics of separate Northern and Southern Hemisphere ice caps are coupled to an equation representing the annual global mean surface temperature. The system has a discontinuous switching mechanism based on mass balance principles for the Northern Hemisphere ice sheet. We show the associated Filippov system admits a unique nonsmooth and attracting limit cycle that represents the cycling between glacial and interglacial states. Due to the vastly different time scales involved, the model presents a nonsmooth geometric perturbation problem, for which we use ad hoc mathematical techniques to produce the periodic orbit. We find climatic changes in the Northern Hemisphere drive synchronous changes in the Southern Hemisphere, as is observed for the Earth on orbital time scales.

math.DS↗

arXiv2020

An Expectation-Based Network Scan Statistic for a COVID-19 Early Warning System

One of the Greater London Authority's (GLA) response to the COVID-19 pandemic brings together multiple large-scale and heterogeneous datasets capturing mobility, transportation and traffic activity over the city of London to better understand 'busyness' and enable targeted interventions and effective policy-making. As part of Project Odysseus we describe an early-warning system and introduce an expectation-based scan statistic for networks to help the GLA and Transport for London, understand the extent to which populations are following government COVID-19 guidelines. We explicitly treat the case of geographically fixed time-series data located on a (road) network and primarily focus on monitoring the dynamics across large regions of the capital. Additionally, we also focus on the detection and reporting of significant spatio-temporal regions. Our approach is extending the Network Based Scan Statistic (NBSS) by making it expectation-based (EBP) and by using stochastic processes for time-series forecasting, which enables us to quantify metric uncertainty in both the EBP and NBSS frameworks. We introduce a variant of the metric used in the EBP model which focuses on identifying space-time regions in which activity is quieter than expected.

cs.LG↗

arXiv2020

Incompleteness and Jump Hierarchies

This paper is an investigation of the relationship between Gödel's second incompleteness theorem and the well-foundedness of jump hierarchies. It follows from a classic theorem of Spector's that the relation $\{(A,B) \in \mathbb{R}^2 : \mathcal{O}^A \leq_H B\}$ is well-founded. We provide an alternative proof of this fact that uses Gödel's second incompleteness theorem instead of the theory of admissible ordinals. We then derive a semantic version of the second incompleteness theorem, originally due to Mummert and Simpson, from this result. Finally, we turn to the calculation of the ranks of reals in this well-founded relation. We prove that, for any $A\in\mathbb{R}$, if the rank of $A$ is $α$, then $ω_1^A$ is the $(1 + α)^{\text{th}}$ admissible ordinal. It follows, assuming suitable large cardinal hypotheses, that, on a cone, the rank of $X$ is $ω_1^X$.

math.LO↗

arXiv2019

A note on the consistency operator

It is a well known empirical observation that natural axiomatic theories are pre-well-ordered by consistency strength. For any natural theory $T$, the next strongest natural theory is $T+\mathsf{Con}_T$. We formulate and prove a statement to the effect that the consistency operator is the weakest natural way to uniformly extend axiomatic theories.

math.LO↗

arXiv2019

On the inevitability of the consistency operator

We examine recursive monotonic functions on the Lindenbaum algebra of $\mathsf{EA}$. We prove that no such function sends every consistent $φ$ to a sentence with deductive strength strictly between $φ$ and $(φ\wedge\mathsf{Con}(φ))$. We generalize this result to iterates of consistency into the effective transfinite. We then prove that for any recursive monotonic function $f$, if there is an iterate of $\mathsf{Con}$ that bounds $f$ everywhere, then $f$ must be somewhere equal to an iterate of $\mathsf{Con}$.

math.LO↗

arXiv2019

Reflection ranks and ordinal analysis

It is well-known that natural axiomatic theories are well-ordered by consistency strength. However, it is possible to construct descending chains of artificial theories with respect to consistency strength. We provide an explanation of this well-orderness phenomenon by studying a coarsening of the consistency strength order, namely, the $Π^1_1$ reflection strength order. We prove that there are no descending sequences of $Π^1_1$ sound extensions of $\mathsf{ACA}_0$ in this order. Accordingly, we can attach a rank in this order, which we call reflection rank, to any $Π^1_1$ sound extension of $\mathsf{ACA}_0$. We prove that for any $Π^1_1$ sound theory $T$ extending $\mathsf{ACA}_0^+$, the reflection rank of $T$ equals the proof-theoretic ordinal of $T$. We also prove that the proof-theoretic ordinal of $α$ iterated $Π^1_1$ reflection is $\varepsilon_α$. Finally, we use our results to provide straightforward well-foundedness proofs of ordinal notation systems based on reflection principles.

math.LO↗

arXiv2016

Diffusive Heat Transport in Budyko's Energy Balance Climate Model with a Dynamic Ice Line

M. Budyko and W. Sellers independently introduced seminal energy balance climate models in 1969, each with a goal of investigating the role played by positive ice albedo feedback in climate dynamics. In this paper we replace the relaxation to the mean horizontal heat transport mechanism used in the models of Budyko and Sellers with diffusive heat transport. We couple the resulting surface temperature equation with an equation for movement of the edge of the ice sheet (called the ice line), recently introduced by E. Widiasih. We apply the spectral method to the temperature-ice line system and consider finite approximations. We prove there exists a stable equilibrium solution with a small ice cap, and an unstable equilibrium solution with a large ice cap, for a range of parameter values. If the diffusive transport is too efficient, however, the small ice cap disappears and an ice free Earth becomes a limiting state. In addition, we analyze a variant of the coupled diffusion equations appropriate as a model for extensive glacial episodes in the Neoproterozoic Era. Although the model equations are no longer smooth due to the existence of a switching boundary, we prove there exists a unique stable equilibrium solution with the ice line in tropical latitudes, a climate event known as a Jormungand or Waterbelt state. As the systems introduced here contain variables with differing time scales, the main tool used in the analysis is geometric singular perturbation theory.

math.DS↗

arXiv2015

Periodic Orbits for a Discontinuous Vector Field Arising from a Conceptual Model of Glacial Cycles

Conceptual climate models provide an approach to understanding climate processes through a mathematical analysis of an approximation to reality. Recently, these models have also provided interesting examples of nonsmooth dynamical systems. Here we discuss a conceptual model of glacial cycles consisting of a system of three ordinary differential equations defining a discontinuous vector field. We show that this system has a large periodic orbit crossing the discontinuity boundary. This orbit can be interpreted as an intrinsic cycling of the Earth's climate giving rise to alternating glaciations and deglaciations.

math.DS↗