Source author record

Paul Smith

Paul Smith appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

26works
17topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

26 published item(s)

preprint2025arXiv

Causify DataFlow: A Framework For High-performance Machine Learning Stream Computing

We present DataFlow, a computational framework for building, testing, and deploying high-performance machine learning systems on unbounded time-series data. Traditional data science workflows assume finite datasets and require substantial reimplementation when moving from batch prototypes to streaming production systems. This gap introduces causality violations, batch boundary artifacts, and poor reproducibility of real-time failures. DataFlow resolves these issues through a unified execution model based on directed acyclic graphs (DAGs) with point-in-time idempotency: outputs at any time t depend only on a fixed-length context window preceding t. This guarantee ensures that models developed in batch mode execute identically in streaming production without code changes. The framework enforces strict causality by automatically tracking knowledge time across all transformations, eliminating future-peeking bugs. DataFlow supports flexible tiling across temporal and feature dimensions, allowing the same model to operate at different frequencies and memory profiles via configuration alone. It integrates natively with the Python data science stack and provides fit/predict semantics for online learning, caching and incremental computation, and automatic parallelization through DAG-based scheduling. We demonstrate its effectiveness across domains including financial trading, IoT, fraud detection, and real-time analytics.

preprint2022arXiv

Universality for two-dimensional critical cellular automata

We study the class of monotone, two-state, deterministic cellular automata, in which sites are activated (or 'infected') by certain configurations of nearby infected sites. These models have close connections to statistical physics, and several specific examples have been extensively studied in recent years by both mathematicians and physicists. This general setting was first studied only recently, however, by Bollobás, Smith and Uzzell, who showed that the family of all such 'bootstrap percolation' models on $\mathbb{Z}^2$ can be naturally partitioned into three classes, which they termed subcritical, critical and supercritical. In this paper we determine the order of the threshold for percolation (complete occupation) for every critical bootstrap percolation model in two dimensions. This 'universality' theorem includes as special cases results of Aizenman and Lebowitz, Gravner and Griffeath, Mountford, and van Enter and Hulshof, significantly strengthens bounds of Bollobás, Smith and Uzzell, and complements recent work of Balister, Bollobás, Przykucki and Smith on subcritical models.

preprint2020arXiv

On the Estimation of Entropy in the FastICA Algorithm

The fastICA method is a popular dimension reduction technique used to reveal patterns in data. Here we show both theoretically and in practice that the approximations used in fastICA can result in patterns not being successfully recognised. We demonstrate this problem using a two-dimensional example where a clear structure is immediately visible to the naked eye, but where the projection chosen by fastICA fails to reveal this structure. This implies that care is needed when applying fastICA. We discuss how the problem arises and how it is intrinsically connected to the approximations that form the basis of the computational efficiency of fastICA.

preprint2020arXiv

SN 2014ab: An Aspherical Type IIn Supernova with Low Polarization

We present photometry, spectra, and spectropolarimetry of supernova (SN) 2014ab, obtained through $\sim 200$ days after peak brightness. SN 2014ab was a luminous Type IIn SN ($M_V < -19.14$ mag) discovered after peak brightness near the nucleus of its host galaxy, VV 306c. Prediscovery upper limits constrain the time of explosion to within 200 days prior to discovery. While SN 2014ab declined by $\sim 1$ mag over the course of our observations, the observed spectrum remained remarkably unchanged. Spectra exhibit an asymmetric emission-line profile with a consistently stronger blueshifted component, suggesting the presence of dust or a lack of symmetry between the far side and near side of the SN. The Pa$β$ emission line shows a profile very similar to that of H$α$, implying that this stronger blueshifted component is caused either through obscuration by large dust grains, occultation by optically thick material, or a lack of symmetry between the far side and near side of the interaction region. Despite these asymmetric line profiles, our spectropolarimetric data show that SN 2014ab has little detected polarization after accounting for the interstellar polarization. This suggests that we are seeing emission from a photosphere that has only small deviation from circular symmetry face-on. We are likely seeing a SN IIn with nearly circular symmetry in the plane normal to our line of sight, but with either large-grain dust or significant asymmetry in the density of circumstellar material or SN ejecta along our line of sight. We suggest that SN 2014ab and SN 2010jl (as well as other SNe IIn) may be similar events viewed from different directions.

preprint2020arXiv

What Makes Ly$α$ Nebulae Glow? Mapping the Polarization of LABd05

"Ly$α$ nebulae" are giant ($\sim$100 kpc), glowing gas clouds in the distant universe. The origin of their extended Ly$α$ emission remains a mystery. Some models posit that Ly$α$ emission is produced when the cloud is photoionized by UV emission from embedded or nearby sources, while others suggest that the Ly$α$ photons originate from an embedded galaxy or AGN and are then resonantly scattered by the cloud. At least in the latter scenario, the observed Ly$α$ emission will be polarized. To test these possibilities, we are conducting imaging polarimetric observations of seven Ly$α$ nebulae. Here we present our results for LABd05, a cloud at $z$ = 2.656 with an obscured, embedded AGN to the northeast of the peak of Ly$α$ emission. We detect significant polarization. The highest polarization fractions $P$ are $\sim$10-20% at $\sim$20-40 kpc southeast of the Ly$α$ peak, away from the AGN. The lowest $P$, including upper-limits, are $\sim$5% and lie between the Ly$α$ peak and AGN. In other words, the polarization map is lopsided, with $P$ increasing from the Ly$α$ peak to the southeast. The measured polarization angles $θ$ are oriented northeast, roughly perpendicular to the $P$ gradient. This unique polarization pattern suggests that 1) the spatially-offset AGN is photoionizing nearby gas and 2) escaping Ly$α$ photons are scattered by the nebula at larger radii and into our sightline, producing tangentially-oriented, radially-increasing polarization away from the photoionized region. Finally we conclude that the interplay between the gas density and ionization profiles produces the observed central peak in the Ly$α$ emission. This also implies that the structure of LABd05 is more complex than assumed by current theoretical spherical or cylindrical models.

preprint2016arXiv

Asymmetries in SN 2014J Near Maximum Light Revealed Through Spectropolarimetry

We present spectropolarimetric observations of the nearby Type Ia SN 2014J in M82 over six epochs: +0, +7, +23, +51, +77, +109, and +111 days with respect to B-band maximum. The strong continuum polarization, which is constant with time, shows a wavelength dependence unlike that produced by linear dichroism in Milky Way dust. The observed polarization may be due entirely to interstellar dust or include a circumstellar scattering component. We find that the polarization angle aligns with the magnetic field of the host galaxy, arguing for an interstellar origin. Additionally, we confirm a peak in polarization at short wavelengths that would imply $R_V < 2 $ along the light of sight, in agreement with earlier polarization measurements. For illustrative purposes, we include a two component fit to the continuum polarization of our +51 day epoch that combines a circumstellar scattering component with interstellar dust where scattering can account for over half of the polarization at $4000$ Å. Upon removal of the interstellar polarization signal, SN 2014J exhibits very low levels of continuum polarization. Asymmetries in the distribution of elements within the ejecta are visible through moderate levels of time-variable polarization in accordance with the Si II 6355 Åabsorption line. At maximum light, the line polarization reaches $\sim0.6$% and decreases to $\sim0.4\%$ one week later. This feature also forms a loop on the $q_{RSP}$-$u_{RSP}$ plane illustrating that the ion does not have an axisymmetric distribution. The observed polarization properties suggest the explosion geometry of SN 2014J is generally spheroidal with a clumpy distribution of silicon.

preprint2016arXiv

Monotone cellular automata in a random environment

In this paper we study in complete generality the family of two-state, deterministic, monotone, local, homogeneous cellular automata in $\mathbb{Z}^d$ with random initial configurations. Formally, we are given a set $\mathcal{U}=\{X_1,\dots,X_m\}$ of finite subsets of $\mathbb{Z}^d\setminus\{\mathbf{0}\}$, and an initial set $A_0\subset\mathbb{Z}^d$ of `infected' sites, which we take to be random according to the product measure with density $p$. At time $t\in\mathbb{N}$, the set of infected sites $A_t$ is the union of $A_{t-1}$ and the set of all $x\in\mathbb{Z}^d$ such that $x+X\in A_{t-1}$ for some $X\in\mathcal{U}$. Our model may alternatively be thought of as bootstrap percolation on $\mathbb{Z}^d$ with arbitrary update rules, and for this reason we call it $\mathcal{U}$-bootstrap percolation. In two dimensions, we give a classification of $\mathcal{U}$-bootstrap percolation models into three classes -- supercritical, critical and subcritical -- and we prove results about the phase transitions of all models belonging to the first two of these classes. More precisely, we show that the critical probability for percolation on $(\mathbb{Z}/n\mathbb{Z})^2$ is $(\log n)^{-Θ(1)}$ for all models in the critical class, and that it is $n^{-Θ(1)}$ for all models in the supercritical class. The results in this paper are the first of any kind on bootstrap percolation considered in this level of generality, and in particular they are the first that make no assumptions of symmetry. It is the hope of the authors that this work will initiate a new, unified theory of bootstrap percolation on $\mathbb{Z}^d$.

preprint2016arXiv

The sharp threshold for the Duarte model

The class of critical bootstrap percolation models in two dimensions was recently introduced by Bollobás, Smith and Uzzell, and the critical threshold for percolation was determined up to a constant factor for all such models by the authors of this paper. Here we develop and refine the techniques introduced in that paper in order to determine a sharp threshold for the Duarte model. This resolves a question of Mountford from 1995, and is the first result of its type for a model with drift.

preprint2015arXiv

Enigmas from the Sloan Digital Sky Survey DR7 Kleinman White Dwarf Catalog

We report results from a continuation of our searches for high field magnetic white dwarfs paired in a detached binary with non degenerate companions. We made use of the Sloan Digital Sky Survey DR7 catalog of Kleinman et al. (2013) with 19,712 spectroscopically-identified white dwarfs. These include 1,735 white dwarf plus M dwarf detached pairs (almost 10\% of the Kleinman at al.'s list). No new pairs were found, although we did recover the polar (AM~Herculis system) ST\,LMi in a low state of accretion. With the larger sample the original situation reported ten years ago remains intact now at a much higher level of statistical significance: in the selected SDSS sample, high field magnetic white dwarfs are not found in an apparently-detached pairing with an M dwarf, unless they are a magnetic CV in a low state of accretion. This finding strengthens the case that the fields in the isolated high field magnetic white dwarfs are generated by stellar mergers but also raises questions on the nature of the progenitors of the magnetic CVs.

preprint2014arXiv

An unconstrained Lagrangian formulation and conservation laws for the Schrödinger map system

We consider energy-critical Schrödinger maps from R^2 into the sphere and hyperbolic plane. Viewing such maps with respect to orthonormal frames on the pullback bundle provides a gauge field formulation of the evolution. We show that this gauge field system is the set of Euler-Lagrange equations corresponding to an action that includes a Chern-Simons term. We also introduce the stress-energy tensor and derive conservation laws. In conclusion we offer comparisons between Schrödinger maps and the closely related Chern-Simons-Schrödinger system.

preprint2014arXiv

Global wellposedness of the equivariant Chern-Simons-Schrödinger equation

In this article we consider the initial value problem for the m-equivariant Chern-Simons-Schrödinger model in two spatial dimensions with real-valued coupling parameter g. This is a covariant NLS type problem that is L^2-critical. We prove that at the critical regularity, for any integer-valued equivariance index m, the initial value problem in the defocusing case (g < 1) is globally wellposed and the solution scatters. The problem is focusing when g >= 1, and in this case we prove that for nonnegative integer-valued equivariance indices m there exist constants c = c_{m, g} such that, at the critical regularity, the initial value problem is globally wellposed and the solution scatters when the L^2 initial data phi_0 is m-equivariant and has L^2-norm less than the square root of c_{m, g}. We also show that c_{m, g}^{1/2} is equal to the minimum L^2 norm of a nontrivial m-equivariant standing wave solution. In the self-dual g = 1 case, we have the exact numerical values c_{m, 1} = 8*pi*(m + 1).

preprint2014arXiv

On the unconditional uniqueness of solutions to the infinite radial Chern-Simons-Schrödinger hierarchy

In this article we establish the unconditional uniqueness of solutions to an Infinite Radial Chern-Simons-Schrödinger (IRCSS) hierarchy in two spatial dimensions. The IRCSS hierarchy is a system of infinitely many coupled PDEs that describes the limiting Chern-Simons-Schrödinger dynamics of infinitely many interacting anyons. The anyons are two dimensional objects which interact through a self-generated field. Due to the interactions with the self-generated field, the IRCSS hierarchy is a system of nonlinear PDEs, which distinguishes it from the linear infinite hierarchies studied previously. Factorized solutions of the IRCSS hierarchy are determined by solutions of the Chern-Simons-Schrödinger system. Our result therefore implies the unconditional uniqueness of solutions to the radial Chern-Simons-Schrödinger system as well.

preprint2014arXiv

Subcritical $\mathcal{U}$-bootstrap percolation models have non-trivial phase transitions

We prove that there exist natural generalizations of the classical bootstrap percolation model on $\mathbb{Z}^2$ that have non-trivial critical probabilities, and moreover we characterize all homogeneous, local, monotone models with this property. Van Enter (in the case $d=r=2$) and Schonmann (for all $d \geq r \geq 2$) proved that $r$-neighbour bootstrap percolation models have trivial critical probabilities on $\mathbb{Z}^d$ for every choice of the parameters $d \geq r \geq 2$: that is, an initial set of density $p$ almost surely percolates $\mathbb{Z}^d$ for every $p>0$. These results effectively ended the study of bootstrap percolation on infinite lattices. Recently Bollobás, Smith and Uzzell introduced a broad class of percolation models called $\mathcal{U}$-bootstrap percolation, which includes $r$-neighbour bootstrap percolation as a special case. They divided two-dimensional $\mathcal{U}$-bootstrap percolation models into three classes -- subcritical, critical and supercritical -- and they proved that, like classical 2-neighbour bootstrap percolation, critical and supercritical $\mathcal{U}$-bootstrap percolation models have trivial critical probabilities on $\mathbb{Z}^2$. They left open the question as to what happens in the case of subcritical families. In this paper we answer that question: we show that every subcritical $\mathcal{U}$-bootstrap percolation model has a non-trivial critical probability on $\mathbb{Z}^2$. This is new except for a certain `degenerate' subclass of symmetric models that can be coupled from below with oriented site percolation. Our results re-open the study of critical probabilities in bootstrap percolation on infinite lattices, and they allow one to ask many questions of subcritical bootstrap percolation models that are typically asked of site or bond percolation.

preprint2014arXiv

The sharp threshold for maximum-size sum-free subsets in even-order abelian groups

We study sum-free sets in sparse random subsets of even order abelian groups. In particular, we determine the sharp threshold for the following property: the largest such set is contained in some maximum-size sum-free subset of the group. This theorem extends recent work of Balogh, Morris and Samotij, who resolved the case G = Z_{2n}, and who obtained a weaker threshold (up to a constant factor) in general.

preprint2013arXiv

A measurement of the energy and timing resolution of GlueX Forward Calorimeter using an electron beam

The performance of the GlueX Forward Calorimeter was studied using a small version of the detector and a variable energy electron beam derived from the Hall B tagger at Jefferson Lab. For electron energies from 110 MeV to 260 MeV, which are near the lower-limits of the design sensitivity, the fractional energy resolution was measured to range from 20% to 14%, which meets the design goals. The use of custom 250 MHz flash ADCs for readout allowed precise measurements of signal arrival times. The detector achieved timing resolutions of 0.38 ns for a single 100 mV pulse, which will allow timing discrimination of photon beam bunches and out-of-time background during the operation of the GlueX detector.

preprint2013arXiv

Conditional global regularity of Schrödinger maps: sub-threshold dispersed energy

We consider the Schrödinger map initial value problem into the sphere in 2+1 dimensions with smooth, decaying, subthreshold initial data. Assuming an a priori $L^4$ boundedness condition on the solution, we prove that the Schrödinger map system admits a unique global smooth solution provided that the initial data is sufficiently energy-dispersed. Also shown are global-in-time bounds on certain Sobolev norms of the solution. Toward these ends we establish improved local smoothing and bilinear Strichartz estimates, adapting the Planchon-Vega approach to such estimates to the nonlinear setting of Schrödinger maps.

preprint2013arXiv

The time of bootstrap percolation with dense initial sets for all thresholds

We study the percolation time of the $r$-neighbour bootstrap percolation model on the discrete torus $(\Z/n\Z)^d$. For $t$ at most a polylog function of $n$ and initial infection probabilities within certain ranges depending on $t$, we prove that the percolation time of a random subset of the torus is exactly equal to $t$ with high probability as $n$ tends to infinity. Our proof rests crucially on three new extremal theorems that together establish an almost complete understanding of the geometric behaviour of the $r$-neighbour bootstrap process in the dense setting. The special case $d-r=0$ of our result was proved recently by Bollobás, Holmgren, Smith and Uzzell.

preprint2012arXiv

Global regularity of critical Schrödinger maps: subthreshold dispersed energy

We consider the energy-critical Schroedinger map initial value problem with smooth initial data from R^2 into the sphere S^2. Given sufficiently energy-dispersed data with subthreshold energy, we prove that the system admits a unique global smooth solution. This improves earlier analogous conditional results. The key behind this improvement lies in exploiting estimates on the commutator of the Schroedinger map and harmonic map heat flows.

preprint2012arXiv

The time of bootstrap percolation for dense initial sets

In r-neighbour bootstrap percolation on the vertex set of a graph G, vertices are initially infected independently with some probability p. At each time step, the infected set expands by infecting all uninfected vertices that have at least r infected neighbours. We study the distribution of the time t at which all vertices become infected. Given t = t(n) = o(log n/log log n), we prove a sharp threshold result for the probability that percolation occurs by time t in d-neighbour bootstrap percolation on the d-dimensional discrete torus T_n^d. Moreover, we show that for certain ranges of p = p(n), the time at which percolation occurs is concentrated either on a single value or on two consecutive values. We also prove corresponding results for the modified d-neighbour rule.

preprint2012arXiv

Towards a Layered Architectural View for Security Analysis in SCADA Systems

Supervisory Control and Data Acquisition (SCADA) systems support and control the operation of many critical infrastructures that our society depend on, such as power grids. Since SCADA systems become a target for cyber attacks and the potential impact of a successful attack could lead to disastrous consequences in the physical world, ensuring the security of these systems is of vital importance. A fundamental prerequisite to securing a SCADA system is a clear understanding and a consistent view of its architecture. However, because of the complexity and scale of SCADA systems, this is challenging to acquire. In this paper, we propose a layered architectural view for SCADA systems, which aims at building a common ground among stakeholders and supporting the implementation of security analysis. In order to manage the complexity and scale, we define four interrelated architectural layers, and uses the concept of viewpoints to focus on a subset of the system. We indicate the applicability of our approach in the context of SCADA system security analysis.

preprint2011arXiv

Geometric renormalization below the ground state

The caloric gauge was introduced by Tao with studying large data energy critical wave maps mapping from $\mathbf{R}^{2+1}$ to hyperbolic space $\mathbf{H}^m$ in view. In \cite{BIKT} Bejenaru, Ionescu, Kenig, and Tataru adapted the caloric gauge to the setting of Schrödinger maps from $\mathbf{R}^{d + 1}$ to the standard sphere $S^2 \hookrightarrow \mathbf{R}^3$ with initial data small in the critical Sobolev norm. Here we develop the caloric gauge in a bounded geometry setting with a construction valid up to the ground state energy.

preprint2010arXiv

Unobscured Type 2 AGNs

Type 2 AGNs with intrinsically weak broad emission lines (BELs) would be exceptions to the unified model. After examining a number of proposed candidates critically, we find that the sample is contaminated significantly by objects with BELs of strengths indicating that they actually contain intermediate-type AGNs, plus a few Compton-thick sources as revealed by extremely low ratios of X-ray to nuclear IR luminosities. We develop quantitative metrics that show two (NGC 3147 and NGC 4594) of the remaining candidates to have BELs 2-3 orders of magnitude weaker than those of typical type-1 AGNs. Several more galaxies remain as candidates to have anomalously weak BELs, but this status cannot be confirmed with the existing information. Although the parent sample is poorly defined, the two confirmed objects are well under 1% of its total number of members, showing that the absence of a BEL is possible, but very uncommon in AGN. We evaluate these two objects in detail using multi-wavelength measurements. They have little X-ray extinction with N_H < 10^21 cm^{-2}. Their IR spectra show strong silicate emission (NGC 4594) or weak aromatic features on a generally power law continuum with a suggestion of silicates in emission (NGC 3147). No polarized BEL is detected in NGC 3147. These results indicate that the two unobscured type-2 objects have circumnuclear tori that are approximately face-on. Combined with their X-ray and optical/UV properties, this behavior implies that we have an unobscured view of the nuclei and thus that they have intrinsically weak BELs. We compare their properties with those of the other less-extreme candidates. We then compare the distributions of bolometric luminosities and accretion rates of these objects with theoretical models that predict weak BELs.