Showing 1–31 of 31 results for author: Siegel, C

The death of Vulcan: NEID reveals the planet candidate orbiting HD 26965 is stellar activity

Authors: Abigail Burrows, Samuel Halverson, Jared C. Siegel, Christian Gilbertson, Jacob Luhn, Jennifer Burt, Chad F. Bender, Arpita Roy, Ryan C. Terrien, Selma Vangstein, Suvrath Mahadevan, Jason T. Wright, Paul Robertson, Eric B. Ford, Guðmundur Stefánsson, Joe P. Ninan, Cullen H. Blake, Michael W. McElwain, Christian Schwab, **glin Zhao

Abstract: We revisit the long-studied radial velocity (RV) target HD26965 using recent observations from the NASA-NSF 'NEID' precision Doppler facility. Leveraging a suite of classical activity indicators, combined with line-by-line RV analyses, we demonstrate that the claimed 45-day signal previously identified as a planet candidate is most likely an activity-induced signal. Correlating the bulk (spectrall… ▽ More We revisit the long-studied radial velocity (RV) target HD26965 using recent observations from the NASA-NSF 'NEID' precision Doppler facility. Leveraging a suite of classical activity indicators, combined with line-by-line RV analyses, we demonstrate that the claimed 45-day signal previously identified as a planet candidate is most likely an activity-induced signal. Correlating the bulk (spectrally-averaged) RV with canonical line activity indicators confirms a multi-day 'lag' between the observed activity indicator time series and the measured RV. When accounting for this lag, we show that much of the observed RV signal can be removed by a linear detrending of the data. Investigating activity at the line-by-line level, we find a depth-dependent correlation between individual line RVs and the bulk RVs, further indicative of periodic suppression of convective blueshift causing the observed RV variability, rather than an orbiting planet. We conclude that the combined evidence of the activity correlations and depth dependence is consistent with a radial velocity signature dominated by a rotationally-modulated activity signal at a period of $\sim$42 days. We hypothesize that this activity signature is due to a combination of spots and convective blueshift suppression. The tools applied in our analysis are broadly applicable to other stars, and could help paint a more comprehensive picture of the manifestations of stellar activity in future Doppler RV surveys. △ Less

Submitted 26 April, 2024; originally announced April 2024.

Comments: 25 pages, 13 figures. Accepted in AJ

Journal ref: AJ 167 243 (2024)

UNCOVER NIRSpec/PRISM Spectroscopy Unveils Evidence of Early Core Formation in a Massive, Centrally Dusty Quiescent Galaxy at $z_{spec}=3.97$

Authors: David J. Setton, Gourav Khullar, Tim B. Miller, Rachel Bezanson, Jenny E. Greene, Katherine A. Suess, Katherine E. Whitaker, Jacqueline Antwi-Danso, Hakim Atek, Gabriel Brammer, Sam E. Cutler, Pratika Dayal, Robert Feldmann, Lukas J. Furtak, Seiji Fujimoto, Karl Glazebrook, Andy D. Goulding, Vasily Kokorev, Ivo Labbe, Joel Leja, Yilun Ma, Danilo Marchesini, Themiya Nanayakkara, Richard Pan, Sedona H. Price , et al. (6 additional authors not shown)

Abstract: We report the spectroscopic confirmation of a massive ($\log(M_\star/M_\odot)=10.34 \pm_{0.07}^{0.06}$), HST-dark ($m_\mathrm{F150W} - m_\mathrm{F444W} = 3.6$) quiescent galaxy at $z_{spec}=3.97$ in the UNCOVER survey. NIRSpec/PRISM spectroscopy and a non-detection in deep ALMA imaging surprisingly reveals that the galaxy is consistent with a low ($<$10 $M_\odot \ \mathrm{yr^{-1}}$) star formation… ▽ More We report the spectroscopic confirmation of a massive ($\log(M_\star/M_\odot)=10.34 \pm_{0.07}^{0.06}$), HST-dark ($m_\mathrm{F150W} - m_\mathrm{F444W} = 3.6$) quiescent galaxy at $z_{spec}=3.97$ in the UNCOVER survey. NIRSpec/PRISM spectroscopy and a non-detection in deep ALMA imaging surprisingly reveals that the galaxy is consistent with a low ($<$10 $M_\odot \ \mathrm{yr^{-1}}$) star formation rate despite evidence for moderate dust attenuation. The F444W image is well modeled with a two component \sersic fit that favors a compact, $r_e\sim200$ pc, $n\sim2.9$ component and a more extended, $r_e\sim1.6$ kpc, $n\sim1.7$ component. The galaxy exhibits strong color gradients: the inner regions are significantly redder than the outskirts. Spectral energy distribution models that reproduce both the red colors and low star formation rate in the center of UNCOVER 18407 require both significant ($A_v\sim1.4$ mag) dust attenuation and a stellar mass-weighted age of 900 Myr, implying 50\% of the stars in the core already formed by $z=7.5$. Using spatially resolved annular mass-to-light measurements enabled by the galaxy's moderate magnification ($μ=2.12\pm_{0.01}^{0.05}$) to reconstruct a radial mass profile from the best-fitting two-component \sersic model, we infer a total mass-weighted $r_\mathrm{eff} = 0.72 \pm_{0.11}^{0.15}$ kpc and log$(Σ_\mathrm{1 kpc} \ [\mathrm{M_\odot/kpc^2}]) = 9.61 \pm_{0.10}^{0.08}$. The early formation of a dense, low star formation rate, and dusty core embedded in a less attenuated stellar envelope suggests an evolutionary link between the earliest-forming massive galaxies and their elliptical descendants. Furthermore, the disparity between the global, integrated dust properties and the spatially resolved gradients highlights the importance of accounting for radially varying stellar populations when characterizing the early growth of galaxy structure. △ Less

Submitted 12 May, 2024; v1 submitted 8 February, 2024; originally announced February 2024.

Comments: 17 pages, 9 figures, 2 tables. Resubmitted to ApJ after response to referee and update to include new medium band imaging from the JWST MEGASCIENCE program. Comments welcome!

Infinite Series Whose Topology of Convergence Varies From Point to Point

Authors: Maxwell C. Siegel

Abstract: This paper catalogues a variety of examples concerning a type of function of a $p$-adic integer variable defined by a formal series expression we have dubbed "$\mathcal{F}$-series". These series exhibit a new, previously undocumented form of point-wise convergence, one where the topology in which the limit of a sequence of functions $\left\{ f_{n}\right\}_{n\geq1}$ converges depends on the point a… ▽ More This paper catalogues a variety of examples concerning a type of function of a $p$-adic integer variable defined by a formal series expression we have dubbed "$\mathcal{F}$-series". These series exhibit a new, previously undocumented form of point-wise convergence, one where the topology in which the limit of a sequence of functions $\left\{ f_{n}\right\}_{n\geq1}$ converges depends on the point at which the sequence is evaluated. In a manner comparable to the adele ring of a number field, functions defined by $\mathcal{F}$-series require considering different metric completions of an underlying field in order to be properly understood. △ Less

Submitted 1 July, 2023; originally announced July 2023.

Comments: 39 pages. This is a pre-print upload; this paper has been accepted for publication by the Journal of p-Adic Numbers, Ultrametric Analysis and Applications

MSC Class: 40A30; 43A70; 26E30; 11R56; 12J25; 12J10

Investigating the Lower Mass Gap with Low Mass X-ray Binary Population Synthesis

Authors: Jared C. Siegel, Ilia Kiato, Vicky Kalogera, Christopher P. L. Berry, Thomas J. Maccarone, Katelyn Breivik, Jeff J. Andrews, Simone S. Bavera, Aaron Dotter, Tassos Fragos, Konstantinos Kovlakas, Devina Misra, Kyle A. Rocha, Philipp M. Srivastava, Meng Sun, Zepei Xing, Emmanouil Zapartas

Abstract: Mass measurements from low-mass black hole X-ray binaries (LMXBs) and radio pulsars have been used to identify a gap between the most massive neutron stars (NSs) and the least massive black holes (BHs). BH mass measurements in LMXBs are typically only possible for transient systems: outburst periods enable detection via all-sky X-ray monitors, while quiescent periods enable radial-velocity measure… ▽ More Mass measurements from low-mass black hole X-ray binaries (LMXBs) and radio pulsars have been used to identify a gap between the most massive neutron stars (NSs) and the least massive black holes (BHs). BH mass measurements in LMXBs are typically only possible for transient systems: outburst periods enable detection via all-sky X-ray monitors, while quiescent periods enable radial-velocity measurements of the low-mass donor. We quantitatively study selection biases due to the requirement of transient behavior for BH mass measurements. Using rapid population synthesis simulations (COSMIC), detailed binary stellar-evolution models (MESA), and the disk instability model of transient behavior, we demonstrate that transient-LMXB selection effects introduce observational biases, and can suppress mass-gap BHs in the observed sample. However, we find a population of transient LMXBs with mass-gap BHs form through accretion-induced collapse of a NS during the LMXB phase, which is inconsistent with observations. These results are robust against variations of binary evolution prescriptions. The significance of this accretion-induced collapse population depends upon the maximum NS birth mass $M_\mathrm{ NS, birth-max}$. To reflect the observed dearth of low-mass BHs, COSMIC and MESA models favor $M_\mathrm{ NS, birth-max} \lesssim2M_{\odot}$. In the absence of further observational biases against LMXBs with mass-gap BHs, our results indicate the need for additional physics connected to the modeling of LMXB formation and evolution. △ Less

Submitted 25 July, 2023; v1 submitted 14 September, 2022; originally announced September 2022.

Comments: 21 pages, accepted to ApJ

Mass Upper Bounds for Over 50 Kepler Planets Using Low-S/N Transit Timing Variations

Authors: Jared C. Siegel, Leslie A. Rogers

Abstract: Prospects for expanding the available mass measurements of the Kepler sample are limited. Planet masses have typically been inferred via radial velocity (RV) measurements of the host star or time-series modeling of transit timing variations (TTVs) in multiplanet systems; however, the majority of Kepler hosts are too dim for RV follow-up, and only a select number of systems have strong enough TTVs… ▽ More Prospects for expanding the available mass measurements of the Kepler sample are limited. Planet masses have typically been inferred via radial velocity (RV) measurements of the host star or time-series modeling of transit timing variations (TTVs) in multiplanet systems; however, the majority of Kepler hosts are too dim for RV follow-up, and only a select number of systems have strong enough TTVs for time-series modeling. Here, we develop a method of constraining planet mass in multiplanet systems using low signal-to-noise ratio (S/N) TTVs. For a sample of 175 planets in 79 multiplanet systems from the California-Kepler Survey, we infer posteriors on planet mass using publicly available TTV time-series from Kepler. For 53 planets ($>30\%$ of our sample), low-S/N TTVs yield informative upper bounds on planet mass, i.e., the mass constraint strongly deviates from the prior on mass and yields a physically reasonable bulk composition. For 25 small planets, low-S/N TTVs favor volatile-rich compositions. Where available, low-S/N TTV-based mass constraints are consistent with RV-derived masses. TTV time-series are publicly available for each Kepler planet, and the compactness of Kepler systems makes TTV-based constraints informative for a substantial fraction of multiplanet systems. Leveraging low-S/N TTVs offers a valuable path toward increasing the available mass constraints of the Kepler sample. △ Less

Submitted 30 August, 2022; originally announced August 2022.

Comments: 18 pages, accepted to AJ

Wiener Tauberian Theorems and the Value Distributions of $\left(p,q\right)$-adic Functions

Authors: Maxwell C. Siegel

Abstract: Norbert Wiener's celebrated Tauberian Theorem has many equivalent formulations; among these, it gives necessary and sufficient conditions for the span of translates of functions to be dense in $L^{1}$. This paper establishes two generalizations of Wiener's Tauberian Theorem to the setting of $\left(p,q\right)$-adic analysis, the study of functions $χ:\mathbb{Z}_{p}\rightarrow\mathbb{C}_{q}$, where… ▽ More Norbert Wiener's celebrated Tauberian Theorem has many equivalent formulations; among these, it gives necessary and sufficient conditions for the span of translates of functions to be dense in $L^{1}$. This paper establishes two generalizations of Wiener's Tauberian Theorem to the setting of $\left(p,q\right)$-adic analysis, the study of functions $χ:\mathbb{Z}_{p}\rightarrow\mathbb{C}_{q}$, where $\mathbb{Z}_{p}$ and $\mathbb{C}_{q}$ are the $p$-adic integers and $q$-adic complex numbers, respectively, for distinct primes $p$ and $q$. The first generalization regards continuous $\left(p,q\right)$-adic functions; the second regards $\left(p,q\right)$-adic measures, equivalently, continuous $q$-adic-valued linear functionals on the space $C\left(\mathbb{Z}_{p},\mathbb{C}_{q}\right)$ of all continuous $\left(p,q\right)$-adic functions. Together, these two $\left(p,q\right)$-adic Wiener Tauberian Theorems provide a way of studying the values attained by $\left(p,q\right)$-adic functions using $\left(p,q\right)$-adic Fourier analysis. △ Less

Submitted 17 August, 2022; originally announced August 2022.

Comments: 23 pages

Into the Depths: a new activity metric for high-precision radial velocity measurements based on line depth variations

Authors: Jared C. Siegel, Ryan A. Rubenzahl, Samuel Halverson, Andrew W. Howard

Abstract: The discovery and characterization of extrasolar planets using radial velocity (RV) measurements is limited by noise sources from the surfaces of host stars. Current techniques to suppress stellar magnetic activity rely on decorrelation using an activity indicator (e.g., strength of the Ca II lines, width of the cross-correlation function, broadband photometry) or measurement of the RVs using only… ▽ More The discovery and characterization of extrasolar planets using radial velocity (RV) measurements is limited by noise sources from the surfaces of host stars. Current techniques to suppress stellar magnetic activity rely on decorrelation using an activity indicator (e.g., strength of the Ca II lines, width of the cross-correlation function, broadband photometry) or measurement of the RVs using only a subset of spectral lines that have been shown to be insensitive to activity. Here, we combine the above techniques by constructing a high signal-to-noise activity indicator, the depth metric $\mathcal{D}(t)$, from the most activity-sensitive spectral lines using the "line-by-line" method of Dumusque (2018). Analogous to photometric decorrelation of RVs or Gaussian progress regression modeling of activity indices, time series modeling of $\mathcal{D}(t)$ reduces the amplitude of magnetic activity in RV measurements; in an $α$CenB RV time series from HARPS, the RV RMS was reduced from 2.67 to 1.02 m s$^{-1}$. $\mathcal{D}(t)$ modeling enabled us to characterize injected planetary signals as small as 1 m s$^{-1}$. In terms of noise reduction and injected signal recovery, $\mathcal{D}(t)$ modeling outperforms activity mitigation via the selection of activity-insensitive spectral lines. For Sun-like stars with activity signals on the m s$^{-1}$ level, the depth metric independently tracks rotationally modulated and multiyear stellar activity with a level of quality similar to that of the FWHM of the CCF and log$R^{\prime}_{HK}$. The depth metric and its elaborations will be a powerful tool in the mitigation of stellar magnetic activity, particularly as a means of connecting stellar activity to physical processes within host stars. △ Less

Submitted 12 April, 2022; originally announced April 2022.

Comments: 19 pages, accepted to AJ

The Collatz Conjecture & Non-Archimedean Spectral Theory -- Part I.5 -- How To Write The (Weak) Collatz Conjecture As A Contour Integral

Authors: M. C. Siegel

Abstract: Let $q$ be an odd prime, and let $T_{q}:\mathbb{Z}\rightarrow\mathbb{Z}$ be the Shortened $qx+1$ map, defined by $T_{q}\left(n\right)=n/2$ if $n$ is even and $T_{q}\left(n\right)=\left(qn+1\right)/2$ if $n$ is odd. The study of the dynamics of these maps is infamous for its difficulty, with the characterization of the dynamics of $T_{3}$ being an alternative formulation of the famous Collatz Conje… ▽ More Let $q$ be an odd prime, and let $T_{q}:\mathbb{Z}\rightarrow\mathbb{Z}$ be the Shortened $qx+1$ map, defined by $T_{q}\left(n\right)=n/2$ if $n$ is even and $T_{q}\left(n\right)=\left(qn+1\right)/2$ if $n$ is odd. The study of the dynamics of these maps is infamous for its difficulty, with the characterization of the dynamics of $T_{3}$ being an alternative formulation of the famous Collatz Conjecture. This series of papers presents a new paradigm for studying such arithmetic dynamical systems by way of a neglected area of ultrametric analysis which we have termed $\left(p,q\right)$-adic analysis, the study of functions from the $p$-adics to the $q$-adics, where $p$ and $q$ are distinct primes. In this, the first-and-a-halfth paper of the series, as a first application, we show that the numen $χ_{q}$ of $T_{q}$ can be used in conjunction with the Correspondence Principle (CP) and classic complex-analytic tools of analytic number theory to reformulate the study of periodic points of $T_{q}$ in terms of a contour integral via an application of Perron's Formula to a Dirichlet series generated by $χ_{q}$ and the function $M_{q}$ introduced in the first paper in this series, for which we establish functional equations, which we use to derive their meromorphic continuations to the left half-plane. The hypergeometric growth of the series as $\textrm{Re}\left(s\right)\rightarrow-\infty$ seems to preclude direct evaluation of the contour integrals via residues, but asymptotic results may still be achievable. △ Less

Submitted 14 December, 2023; v1 submitted 10 November, 2021; originally announced November 2021.

Functional Equations Associated to Collatz-Type Maps on Integer Rings of Algebraic Number Fields

Authors: M. C. Siegel

Abstract: In 1995, Meinardus & Berg presented a reformulation of the Collatz Conjecture in terms of a functional equation in a single complex variable over the open unit disk. This paper generalizes that method to deal with not only a large class of Collatz-type maps defined on the integers, but further generalizations thereof to Collatz-type maps on the rings of integers on an arbitrary algebraic number fi… ▽ More In 1995, Meinardus & Berg presented a reformulation of the Collatz Conjecture in terms of a functional equation in a single complex variable over the open unit disk. This paper generalizes that method to deal with not only a large class of Collatz-type maps defined on the integers, but further generalizations thereof to Collatz-type maps on the rings of integers on an arbitrary algebraic number field. △ Less

Submitted 16 April, 2022; v1 submitted 10 November, 2021; originally announced November 2021.

Comments: Withdrawn due to an error in section three, where the structure of the quotient of a ring of algebraic integers modulo an ideal thereof was not incorrectly described

MSC Class: 11R04; 37P15; 32A05

Tamagawa Products for Elliptic Curves Over Number Fields

Authors: Yunseo Choi, Sean Li, Apoorva Panidapu, Casia Siegel

Abstract: In recent work, Griffin, Ono, and Tsai constructs an $L-$series to prove that the proportion of short Weierstrass elliptic curves over $\mathbb{Q}$ with trivial Tamagawa product is $0.5054\dots$ and that the average Tamagawa product is $1.8183\dots$. Following their work, we generalize their $L-$series over arbitrary number fields $K$ to be \[L_{\mathrm{Tam}}(K; s):=\sum_{m=1}^{\infty}\frac{P_{\ma… ▽ More In recent work, Griffin, Ono, and Tsai constructs an $L-$series to prove that the proportion of short Weierstrass elliptic curves over $\mathbb{Q}$ with trivial Tamagawa product is $0.5054\dots$ and that the average Tamagawa product is $1.8183\dots$. Following their work, we generalize their $L-$series over arbitrary number fields $K$ to be \[L_{\mathrm{Tam}}(K; s):=\sum_{m=1}^{\infty}\frac{P_{\mathrm{Tam}}(K; m)}{m^s},\] where $P_{\mathrm{Tam}}(K;m)$ is the proportion of short Weierstrass elliptic curves over $K$ with Tamagawa product $m$. We then construct Markov chains to compute the exact values of $P_{\mathrm{Tam}}(K;m)$ for all number fields $K$ and positive integers $m$. As a corollary, we also compute the average Tamagawa product $L_{\mathrm{Tam}}(K;-1)$. We then use these results to uniformly bound $P_{\mathrm{Tam}}(K;1)$ and $L_{\mathrm{Tam}}(K,-1)$ in terms of the degree of $K$. Finally, we show that there exist sequences of $K$ for which $P_{\mathrm{Tam}}(K;1)$ tends to $0$ and $L_{\mathrm{Tam}}(K;-1)$ to $\infty$, as well as sequences of $K$ for which $P_{\mathrm{Tam}}(K;1)$ and $L_{\mathrm{Tam}}(K;-1)$ tend to $1$. △ Less

Submitted 22 October, 2023; v1 submitted 31 August, 2021; originally announced August 2021.

Comments: 40 pages, 9 figures, 17 tables

MSC Class: 11GO5; 11G07

The Collatz Conjecture & Non-Archimedean Spectral Theory: Part I -- Arithmetic Dynamical Systems and Non-Archimedean Value Distribution Theory

Authors: Maxwell Charles Siegel

Abstract: Let $q$ be an odd prime, and let $T_{q}:\mathbb{Z}\rightarrow\mathbb{Z}$ be the Shortened $qx+1$ map, defined by $T_{q}\left(n\right)=n/2$ if $n$ is even and $T_{q}\left(n\right)=\left(qn+1\right)/2$ if $n$ is odd. The study of the dynamics of these maps is infamous for its difficulty, with the characterization of the dynamics of $T_{3}$ being an alternative formulation of the famous Collatz Conje… ▽ More Let $q$ be an odd prime, and let $T_{q}:\mathbb{Z}\rightarrow\mathbb{Z}$ be the Shortened $qx+1$ map, defined by $T_{q}\left(n\right)=n/2$ if $n$ is even and $T_{q}\left(n\right)=\left(qn+1\right)/2$ if $n$ is odd. The study of the dynamics of these maps is infamous for its difficulty, with the characterization of the dynamics of $T_{3}$ being an alternative formulation of the famous Collatz Conjecture. This series of papers presents a new paradigm for studying such arithmetic dynamical systems by way of a neglected area of ultrametric analysis which we have termed $\left(p,q\right)$-adic analysis, the study of functions from the $p$-adics to the $q$-adics, where $p$ and $q$ are distinct primes. In this, the first paper, working with the $T_{q}$ maps as a toy model for the more general theory, for each odd prime $q$, we construct a function $χ_{q}:\mathbb{Z}_{2}\rightarrow\mathbb{Z}_{q}$ (the Numen of $T_{q}$) and prove the Correspondence Principle (CP): $x\in\mathbb{Z}\backslash\left\{ 0\right\}$ is a periodic point of $T_{q}$ if and only there is a $\mathfrak{z}\in\mathbb{Z}_{2}\backslash\left\{ 0,1,2,\ldots\right\}$ so that $χ_{q}\left(\mathfrak{z}\right)=x$. Additionally, if $\mathfrak{z}\in\mathbb{Z}_{2}\backslash\mathbb{Q}$ makes $χ_{q}\left(\mathfrak{z}\right)\in\mathbb{Z}$, then the iterates of $χ_{q}\left(\mathfrak{z}\right)$ under $T_{q}$ tend to $+\infty$ or $-\infty$. △ Less

Submitted 23 April, 2023; v1 submitted 18 July, 2020; originally announced July 2020.

Comments: 53 pages

MSC Class: 37P99; 30G06

Fourier Analysis of the Parity-Vector Parameterization of the Generalized Collatz px+1 maps

Authors: Maxwell C. Siegel

Abstract: Let p be an odd prime, and consider the map H_p which sends an integer x to either x/2 or (px+1)/2 depending on whether x is even or odd. The values at x=0 of arbitrary composition sequences of the maps x/2 and (px+1)/2 can be parameterized over the 2-adic integers (Z2) leading to a continuous function from Z2 to Zp which the author calls the "characteristic function" (or "numen") of H_p. Lipschit… ▽ More Let p be an odd prime, and consider the map H_p which sends an integer x to either x/2 or (px+1)/2 depending on whether x is even or odd. The values at x=0 of arbitrary composition sequences of the maps x/2 and (px+1)/2 can be parameterized over the 2-adic integers (Z2) leading to a continuous function from Z2 to Zp which the author calls the "characteristic function" (or "numen") of H_p. Lipschitz-type estimates are given for the characteristic function when p-1 is a power of 2 and 2 is a primitive root mod p, and it is shown that the set of periodic points of H_p is equal to the set of (rational) integer values attained by the characteristic function over Z2. Additionally, although the pre-image of R under the characteristic function has zero Haar measure in the Z2, by pre-composing the characteristic function with an appropriately selected self-embedding of Z2, one can perform Fourier analysis of the aforementioned composite. Using this approach, explicit upper bounds are computed for the absolute value of a periodic point of H_p whose parity vector contains at least ceil(ln(p)/ln2)-1 zeroes between any two consecutive ones △ Less

Submitted 14 December, 2023; v1 submitted 23 February, 2020; originally announced February 2020.

Comments: This paper is obsolete and is under the wrong subject classification

Conservation of Singularities in Functional Equations Associated to Collatz-Type Dynamical Systems; or, Dreamcatchers for Hydra Maps

Authors: Maxwell Charles Siegel

Abstract: It is known that the Collatz Conjecture (and the study of similar maps, here called "Hydra maps") can be stated in terms of solution sets of functional equations; or, equivalently, the fixed points of linear operators on spaces of analytic functions. Rather than studying potential fixed points of such operators, we examine their effect on the singularities of functions. To that end, we introduce t… ▽ More It is known that the Collatz Conjecture (and the study of similar maps, here called "Hydra maps") can be stated in terms of solution sets of functional equations; or, equivalently, the fixed points of linear operators on spaces of analytic functions. Rather than studying potential fixed points of such operators, we examine their effect on the singularities of functions. To that end, we introduce the notion of a "dreamcatcher", an object which encodes the location and "virtual residue" of the singularities of an analytic function of a specified growth rate along the boundary of the function's region of convergence. Dreamcatchers can be given rigorous footing as elements of the Hilbert space L2(Q/Z) of complex-valued functions on Q/Z which are square-integrable with respect to the counting measure on Q/Z. The aforementioned linear operators (called here "permutation operators") are shown to "conserve" the singularities of their fixed points, in the sense that the dreamcatcher of a fixed point is itself the fixed point of the operator induced on L2(Q/Z) (the "dreamcatcher operator") by the permutation operator. Using Pontryagin duality and p-adic analysis, the fixed points of the operators acting on dreamcatchers for simple-pole-like singularities are completely determined for a large class of Hydra maps in the case where the fixed points are finitely supported on Q/Z. This enables qualitative conclusions to be made about those Hydra maps' orbit classes in the non-negative integers. △ Less

Submitted 19 October, 2019; v1 submitted 20 September, 2019; originally announced September 2019.

Recombination of Artificial Neural Networks

Authors: Aaron Vose, Jacob Balma, Alex Heye, Alessandro Rigazzi, Charles Siegel, Diana Moise, Benjamin Robbins, Rangan Sukumar

Abstract: We propose a genetic algorithm (GA) for hyperparameter optimization of artificial neural networks which includes chromosomal crossover as well as a decoupling of parameters (i.e., weights and biases) from hyperparameters (e.g., learning rate, weight decay, and dropout) during sexual reproduction. Children are produced from three parents; two contributing hyperparameters and one contributing the pa… ▽ More We propose a genetic algorithm (GA) for hyperparameter optimization of artificial neural networks which includes chromosomal crossover as well as a decoupling of parameters (i.e., weights and biases) from hyperparameters (e.g., learning rate, weight decay, and dropout) during sexual reproduction. Children are produced from three parents; two contributing hyperparameters and one contributing the parameters. Our version of population-based training (PBT) combines traditional gradient-based approaches such as stochastic gradient descent (SGD) with our GA to optimize both parameters and hyperparameters across SGD epochs. Our improvements over traditional PBT provide an increased speed of adaptation and a greater ability to shed deleterious genes from the population. Our methods improve final accuracy as well as time to fixed accuracy on a wide range of deep neural network architectures including convolutional neural networks, recurrent neural networks, dense neural networks, and capsule networks. △ Less

Submitted 12 January, 2019; originally announced January 2019.

Multimodal Deep Neural Networks using Both Engineered and Learned Representations for Biodegradability Prediction

Authors: Garrett B. Goh, Khushmeen Sakloth, Charles Siegel, Abhinav Vishnu, Jim Pfaendtner

Abstract: Deep learning algorithms excel at extracting patterns from raw data, and with large datasets, they have been very successful in computer vision and natural language applications. However, in other domains, large datasets on which to learn representations from may not exist. In this work, we develop a novel multimodal CNN-MLP neural network architecture that utilizes both domain-specific feature en… ▽ More Deep learning algorithms excel at extracting patterns from raw data, and with large datasets, they have been very successful in computer vision and natural language applications. However, in other domains, large datasets on which to learn representations from may not exist. In this work, we develop a novel multimodal CNN-MLP neural network architecture that utilizes both domain-specific feature engineering as well as learned representations from raw data. We illustrate the effectiveness of such network designs in the chemical sciences, for predicting biodegradability. DeepBioD, a multimodal CNN-MLP network is more accurate than either standalone network designs, and achieves an error classification rate of 0.125 that is 27% lower than the current state-of-the-art. Thus, our work indicates that combining traditional feature engineering with representation learning can be effective, particularly in situations where labeled data is limited. △ Less

Submitted 13 September, 2018; v1 submitted 13 August, 2018; originally announced August 2018.

Comments: Submitted to a peer-reviewed ML conference

ColdRoute: Effective Routing of Cold Questions in Stack Exchange Sites

Authors: Jiankai Sun, Abhinav Vishnu, Aniket Chakrabarti, Charles Siegel, Srinivasan Parthasarathy

Abstract: Routing questions in Community Question Answer services (CQAs) such as Stack Exchange sites is a well-studied problem. Yet, cold-start -- a phenomena observed when a new question is posted is not well addressed by existing approaches. Additionally, cold questions posted by new askers present significant challenges to state-of-the-art approaches. We propose ColdRoute to address these challenges. Co… ▽ More Routing questions in Community Question Answer services (CQAs) such as Stack Exchange sites is a well-studied problem. Yet, cold-start -- a phenomena observed when a new question is posted is not well addressed by existing approaches. Additionally, cold questions posted by new askers present significant challenges to state-of-the-art approaches. We propose ColdRoute to address these challenges. ColdRoute is able to handle the task of routing cold questions posted by new or existing askers to matching experts. Specifically, we use Factorization Machines on the one-hot encoding of critical features such as question tags and compare our approach to well-studied techniques such as CQARank and semantic matching (LDA, BoW, and Doc2Vec). Using data from eight stack exchange sites, we are able to improve upon the routing metrics (Precision$@1$, Accuracy, MRR) over the state-of-the-art models such as semantic matching by $159.5\%$,$31.84\%$, and $40.36\%$ for cold questions posted by existing askers, and $123.1\%$, $27.03\%$, and $34.81\%$ for cold questions posted by new askers respectively. △ Less

Submitted 2 July, 2018; originally announced July 2018.

Comments: Accepted to the Journal Track of The European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML PKDD 2018); Published by Springer: https://link.springer.com/article/10.1007%2Fs10618-018-0577-7

Journal ref: @Article{Sun2018, author="Sun, Jiankai and Vishnu, A. and Chakrabarti, A. and Siegel, C. and Parthasarathy, S.", title="ColdRoute: effective routing of cold questions in stack exchange sites", journal="ECML PKDD", year="2018"}

GossipGraD: Scalable Deep Learning using Gossip Communication based Asynchronous Gradient Descent

Authors: Jeff Daily, Abhinav Vishnu, Charles Siegel, Thomas Warfel, Vinay Amatya

Abstract: In this paper, we present GossipGraD - a gossip communication protocol based Stochastic Gradient Descent (SGD) algorithm for scaling Deep Learning (DL) algorithms on large-scale systems. The salient features of GossipGraD are: 1) reduction in overall communication complexity from Θ(log(p)) for p compute nodes in well-studied SGD to O(1), 2) model diffusion such that compute nodes exchange their up… ▽ More In this paper, we present GossipGraD - a gossip communication protocol based Stochastic Gradient Descent (SGD) algorithm for scaling Deep Learning (DL) algorithms on large-scale systems. The salient features of GossipGraD are: 1) reduction in overall communication complexity from Θ(log(p)) for p compute nodes in well-studied SGD to O(1), 2) model diffusion such that compute nodes exchange their updates (gradients) indirectly after every log(p) steps, 3) rotation of communication partners for facilitating direct diffusion of gradients, 4) asynchronous distributed shuffle of samples during the feedforward phase in SGD to prevent over-fitting, 5) asynchronous communication of gradients for further reducing the communication cost of SGD and GossipGraD. We implement GossipGraD for GPU and CPU clusters and use NVIDIA GPUs (Pascal P100) connected with InfiniBand, and Intel Knights Landing (KNL) connected with Aries network. We evaluate GossipGraD using well-studied dataset ImageNet-1K (~250GB), and widely studied neural network topologies such as GoogLeNet and ResNet50 (current winner of ImageNet Large Scale Visualization Research Challenge (ILSVRC)). Our performance evaluation using both KNL and Pascal GPUs indicates that GossipGraD can achieve perfect efficiency for these datasets and their associated neural network topologies. Specifically, for ResNet50, GossipGraD is able to achieve ~100% compute efficiency using 128 NVIDIA Pascal P100 GPUs - while matching the top-1 classification accuracy published in literature. △ Less

Submitted 15 March, 2018; originally announced March 2018.

Comments: 13 pages, 17 figures

Using Rule-Based Labels for Weak Supervised Learning: A ChemNet for Transferable Chemical Property Prediction

Authors: Garrett B. Goh, Charles Siegel, Abhinav Vishnu, Nathan O. Hodas

Abstract: With access to large datasets, deep neural networks (DNN) have achieved human-level accuracy in image and speech recognition tasks. However, in chemistry, data is inherently small and fragmented. In this work, we develop an approach of using rule-based knowledge for training ChemNet, a transferable and generalizable deep neural network for chemical property prediction that learns in a weak-supervi… ▽ More With access to large datasets, deep neural networks (DNN) have achieved human-level accuracy in image and speech recognition tasks. However, in chemistry, data is inherently small and fragmented. In this work, we develop an approach of using rule-based knowledge for training ChemNet, a transferable and generalizable deep neural network for chemical property prediction that learns in a weak-supervised manner from large unlabeled chemical databases. When coupled with transfer learning approaches to predict other smaller datasets for chemical properties that it was not originally trained on, we show that ChemNet's accuracy outperforms contemporary DNN models that were trained using conventional supervised learning. Furthermore, we demonstrate that the ChemNet pre-training approach is equally effective on both CNN (Chemception) and RNN (SMILES2vec) models, indicating that this approach is network architecture agnostic and is effective across multiple data modalities. Our results indicate a pre-trained ChemNet that incorporates chemistry domain knowledge, enables the development of generalizable neural networks for more accurate prediction of novel chemical properties. △ Less

Submitted 18 March, 2018; v1 submitted 7 December, 2017; originally announced December 2017.

Comments: Submitted to SIGKDD 2018

SMILES2Vec: An Interpretable General-Purpose Deep Neural Network for Predicting Chemical Properties

Authors: Garrett B. Goh, Nathan O. Hodas, Charles Siegel, Abhinav Vishnu

Abstract: Chemical databases store information in text representations, and the SMILES format is a universal standard used in many cheminformatics software. Encoded in each SMILES string is structural information that can be used to predict complex chemical properties. In this work, we develop SMILES2vec, a deep RNN that automatically learns features from SMILES to predict chemical properties, without the n… ▽ More Chemical databases store information in text representations, and the SMILES format is a universal standard used in many cheminformatics software. Encoded in each SMILES string is structural information that can be used to predict complex chemical properties. In this work, we develop SMILES2vec, a deep RNN that automatically learns features from SMILES to predict chemical properties, without the need for additional explicit feature engineering. Using Bayesian optimization methods to tune the network architecture, we show that an optimized SMILES2vec model can serve as a general-purpose neural network for predicting distinct chemical properties including toxicity, activity, solubility and solvation energy, while also outperforming contemporary MLP neural networks that uses engineered features. Furthermore, we demonstrate proof-of-concept of interpretability by develo** an explanation mask that localizes on the most important characters used in making a prediction. When tested on the solubility dataset, it identified specific parts of a chemical that is consistent with established first-principles knowledge with an accuracy of 88%. Our work demonstrates that neural networks can learn technically accurate chemical concept and provide state-of-the-art accuracy, making interpretable deep neural networks a useful tool of relevance to the chemical industry. △ Less

Submitted 18 March, 2018; v1 submitted 5 December, 2017; originally announced December 2017.

Comments: Submitted to SIGKDD 2018

How Much Chemistry Does a Deep Neural Network Need to Know to Make Accurate Predictions?

Authors: Garrett B. Goh, Charles Siegel, Abhinav Vishnu, Nathan O. Hodas, Nathan Baker

Abstract: The meteoric rise of deep learning models in computer vision research, having achieved human-level accuracy in image recognition tasks is firm evidence of the impact of representation learning of deep neural networks. In the chemistry domain, recent advances have also led to the development of similar CNN models, such as Chemception, that is trained to predict chemical properties using images of m… ▽ More The meteoric rise of deep learning models in computer vision research, having achieved human-level accuracy in image recognition tasks is firm evidence of the impact of representation learning of deep neural networks. In the chemistry domain, recent advances have also led to the development of similar CNN models, such as Chemception, that is trained to predict chemical properties using images of molecular drawings. In this work, we investigate the effects of systematically removing and adding localized domain-specific information to the image channels of the training data. By augmenting images with only 3 additional basic information, and without introducing any architectural changes, we demonstrate that an augmented Chemception (AugChemception) outperforms the original model in the prediction of toxicity, activity, and solvation free energy. Then, by altering the information content in the images, and examining the resulting model's performance, we also identify two distinct learning patterns in predicting toxicity/activity as compared to solvation free energy. These patterns suggest that Chemception is learning about its tasks in the manner that is consistent with established knowledge. Thus, our work demonstrates that advanced chemical knowledge is not a pre-requisite for deep learning models to accurately predict complex chemical properties. △ Less

Submitted 18 March, 2018; v1 submitted 5 October, 2017; originally announced October 2017.

Comments: In Proceedings of 2018 IEEE Winter Conference on Applications of Computer Vision (WACV)

What does fault tolerant Deep Learning need from MPI?

Authors: Vinay Amatya, Abhinav Vishnu, Charles Siegel, Jeff Daily

Abstract: Deep Learning (DL) algorithms have become the de facto Machine Learning (ML) algorithm for large scale data analysis. DL algorithms are computationally expensive - even distributed DL implementations which use MPI require days of training (model learning) time on commonly studied datasets. Long running DL applications become susceptible to faults - requiring development of a fault tolerant system… ▽ More Deep Learning (DL) algorithms have become the de facto Machine Learning (ML) algorithm for large scale data analysis. DL algorithms are computationally expensive - even distributed DL implementations which use MPI require days of training (model learning) time on commonly studied datasets. Long running DL applications become susceptible to faults - requiring development of a fault tolerant system infrastructure, in addition to fault tolerant DL algorithms. This raises an important question: What is needed from MPI for de- signing fault tolerant DL implementations? In this paper, we address this problem for permanent faults. We motivate the need for a fault tolerant MPI specification by an in-depth consideration of recent innovations in DL algorithms and their properties, which drive the need for specific fault tolerance features. We present an in-depth discussion on the suitability of different parallelism types (model, data and hybrid); a need (or lack thereof) for check-pointing of any critical data structures; and most importantly, consideration for several fault tolerance proposals (user-level fault mitigation (ULFM), Reinit) in MPI and their applicability to fault tolerant DL implementations. We leverage a distributed memory implementation of Caffe, currently available under the Machine Learning Toolkit for Extreme Scale (MaTEx). We implement our approaches by ex- tending MaTEx-Caffe for using ULFM-based implementation. Our evaluation using the ImageNet dataset and AlexNet, and GoogLeNet neural network topologies demonstrates the effectiveness of the proposed fault tolerant DL implementation using OpenMPI based ULFM. △ Less

Submitted 11 September, 2017; originally announced September 2017.

Chemception: A Deep Neural Network with Minimal Chemistry Knowledge Matches the Performance of Expert-developed QSAR/QSPR Models

Authors: Garrett B. Goh, Charles Siegel, Abhinav Vishnu, Nathan O. Hodas, Nathan Baker

Abstract: In the last few years, we have seen the transformative impact of deep learning in many applications, particularly in speech recognition and computer vision. Inspired by Google's Inception-ResNet deep convolutional neural network (CNN) for image classification, we have developed "Chemception", a deep CNN for the prediction of chemical properties, using just the images of 2D drawings of molecules. W… ▽ More In the last few years, we have seen the transformative impact of deep learning in many applications, particularly in speech recognition and computer vision. Inspired by Google's Inception-ResNet deep convolutional neural network (CNN) for image classification, we have developed "Chemception", a deep CNN for the prediction of chemical properties, using just the images of 2D drawings of molecules. We develop Chemception without providing any additional explicit chemistry knowledge, such as basic concepts like periodicity, or advanced features like molecular descriptors and fingerprints. We then show how Chemception can serve as a general-purpose neural network architecture for predicting toxicity, activity, and solvation properties when trained on a modest database of 600 to 40,000 compounds. When compared to multi-layer perceptron (MLP) deep neural networks trained with ECFP fingerprints, Chemception slightly outperforms in activity and solvation prediction and slightly underperforms in toxicity prediction. Having matched the performance of expert-developed QSAR/QSPR deep learning models, our work demonstrates the plausibility of using deep neural networks to assist in computational chemistry research, where the feature engineering process is performed primarily by a deep learning algorithm. △ Less

Submitted 20 June, 2017; originally announced June 2017.

Comments: Submitted to a chemistry peer-reviewed journal

User-transparent Distributed TensorFlow

Authors: Abhinav Vishnu, Joseph Manzano, Charles Siegel, Jeff Daily

Abstract: Deep Learning (DL) algorithms have become the {\em de facto} choice for data analysis. Several DL implementations -- primarily limited to a single compute node -- such as Caffe, TensorFlow, Theano and Torch have become readily available. Distributed DL implementations capable of execution on large scale systems are becoming important to address the computational needs of large data produced by sci… ▽ More Deep Learning (DL) algorithms have become the {\em de facto} choice for data analysis. Several DL implementations -- primarily limited to a single compute node -- such as Caffe, TensorFlow, Theano and Torch have become readily available. Distributed DL implementations capable of execution on large scale systems are becoming important to address the computational needs of large data produced by scientific simulations and experiments. Yet, the adoption of distributed DL implementations faces significant impediments: 1) most implementations require DL analysts to modify their code significantly -- which is a show-stopper, 2) several distributed DL implementations are geared towards cloud computing systems -- which is inadequate for execution on massively parallel systems such as supercomputers. This work addresses each of these problems. We provide a distributed memory DL implementation by incorporating required changes in the TensorFlow runtime itself. This dramatically reduces the entry barrier for using a distributed TensorFlow implementation. We use Message Passing Interface (MPI) -- which provides performance portability, especially since MPI specific changes are abstracted from users. Lastly -- and arguably most importantly -- we make our implementation available for broader use, under the umbrella of Machine Learning Toolkit for Extreme Scale (MaTEx) at {\texttt http://hpc.pnl.gov/matex}. We refer to our implementation as MaTEx-TensorFlow. △ Less

Submitted 14 April, 2017; originally announced April 2017.

Comments: 9 pages, 8 figures

Adaptive Neuron Apoptosis for Accelerating Deep Learning on Large Scale Systems

Authors: Charles Siegel, Jeff Daily, Abhinav Vishnu

Abstract: We present novel techniques to accelerate the convergence of Deep Learning algorithms by conducting low overhead removal of redundant neurons -- apoptosis of neurons -- which do not contribute to model learning, during the training phase itself. We provide in-depth theoretical underpinnings of our heuristics (bounding accuracy loss and handling apoptosis of several neuron types), and present the m… ▽ More We present novel techniques to accelerate the convergence of Deep Learning algorithms by conducting low overhead removal of redundant neurons -- apoptosis of neurons -- which do not contribute to model learning, during the training phase itself. We provide in-depth theoretical underpinnings of our heuristics (bounding accuracy loss and handling apoptosis of several neuron types), and present the methods to conduct adaptive neuron apoptosis. Specifically, we are able to improve the training time for several datasets by 2-3x, while reducing the number of parameters by up to 30x (4-5x on average) on datasets such as ImageNet classification. For the Higgs Boson dataset, our implementation improves the accuracy (measured by Area Under Curve (AUC)) for classification from 0.88/1 to 0.94/1, while reducing the number of parameters by 3x in comparison to existing literature. The proposed methods achieve a 2.44x speedup in comparison to the default (no apoptosis) algorithm. △ Less

Submitted 3 October, 2016; originally announced October 2016.

Comments: 11 pages, 7 figures

Distributed TensorFlow with MPI

Authors: Abhinav Vishnu, Charles Siegel, Jeffrey Daily

Abstract: Machine Learning and Data Mining (MLDM) algorithms are becoming increasingly important in analyzing large volume of data generated by simulations, experiments and mobile devices. With increasing data volume, distributed memory systems (such as tightly connected supercomputers or cloud computing systems) are becoming important in designing in-memory and massively parallel MLDM algorithms. Yet, the… ▽ More Machine Learning and Data Mining (MLDM) algorithms are becoming increasingly important in analyzing large volume of data generated by simulations, experiments and mobile devices. With increasing data volume, distributed memory systems (such as tightly connected supercomputers or cloud computing systems) are becoming important in designing in-memory and massively parallel MLDM algorithms. Yet, the majority of open source MLDM software is limited to sequential execution with a few supporting multi-core/many-core execution. In this paper, we extend recently proposed Google TensorFlow for execution on large scale clusters using Message Passing Interface (MPI). Our approach requires minimal changes to the TensorFlow runtime -- making the proposed implementation generic and readily usable to increasingly large users of TensorFlow. We evaluate our implementation using an InfiniBand cluster and several well knowndatasets. Our evaluation indicates the efficiency of our proposed implementation. △ Less

Submitted 18 August, 2017; v1 submitted 7 March, 2016; originally announced March 2016.

Comments: 6 pages; fixed significant typo

Modular Operads of Embedded Curves

Authors: Satoshi Kondo, Charles Siegel, Jesse Wolfson

Abstract: For each k greater than or equal to 5, we construct a modular operad of "k-log-canonically embedded" curves. For each k greater than or equal to 5, we construct a modular operad of "k-log-canonically embedded" curves. △ Less

Submitted 9 May, 2016; v1 submitted 24 July, 2014; originally announced July 2014.

Comments: 16 pages. Minor corrections. To appear in Geometry & Topology

MSC Class: 14H10

Journal ref: Geom. Topol. 21 (2017) 903-922

Strongly Cyclic Coverings of Cyclic Curves

Authors: Charles Siegel

Abstract: In this note, we introduce the notion of an unramified strongly cyclic covering for a cyclic curve, a class that has similar properties to, and contains, unramified double covers of hyperelliptic curves. We determine several of their basic properties, extending the theorems in \cite{MR2217998} to this larger class. In particular, we will write down equations for smooth affine models, determine whe… ▽ More In this note, we introduce the notion of an unramified strongly cyclic covering for a cyclic curve, a class that has similar properties to, and contains, unramified double covers of hyperelliptic curves. We determine several of their basic properties, extending the theorems in \cite{MR2217998} to this larger class. In particular, we will write down equations for smooth affine models, determine when they are isomorphic, and discuss the curves that they are ramified cyclic covers of. △ Less

Submitted 19 July, 2014; originally announced July 2014.

Comments: 5 pages

MSC Class: 14H30; 14H37; 14H45; 14H51

The Moduli of Klein Covers of Curves

Authors: Charles Siegel

Abstract: We study the moduli space ${V}_4\mathcal{M}_{g}$ of Klein four covers of genus $g$ curves and its natural compactification. This requires the construction of a related space which has a choice of basis for the Klein four group. This space has the interesting property that the two components intersect along a component of the boundary. Further, we carry out a detailed analysis of the boundary, dete… ▽ More We study the moduli space ${V}_4\mathcal{M}_{g}$ of Klein four covers of genus $g$ curves and its natural compactification. This requires the construction of a related space which has a choice of basis for the Klein four group. This space has the interesting property that the two components intersect along a component of the boundary. Further, we carry out a detailed analysis of the boundary, determining components, degrees of the components over their images in $\overline{\mathcal{M}_g}$, and computing the canonical divisor of $\overline{{V}_4\mathcal{M}_{g}}$. △ Less

Submitted 13 July, 2014; originally announced July 2014.

Comments: 18 pages

MSC Class: 14H10; 14H30

The Schottky problem in genus five

Authors: Charles Siegel

Abstract: In this paper, we present a solution to the Schottky problem in the spirit of Schottky and Jung for genus five curves. To do so, we exploit natural incidence structures on the fibers of several maps to reduce all questions to statements about the Prym map for genus six curves. This allows us to find all components of the big Schottky locus and thus, to show that the small Schottky locus introduced… ▽ More In this paper, we present a solution to the Schottky problem in the spirit of Schottky and Jung for genus five curves. To do so, we exploit natural incidence structures on the fibers of several maps to reduce all questions to statements about the Prym map for genus six curves. This allows us to find all components of the big Schottky locus and thus, to show that the small Schottky locus introduced by Donagi is irreducible. △ Less

Submitted 24 February, 2013; originally announced February 2013.

Comments: 20 pages

MSC Class: 14H42

A Laser System for the Spectroscopy of Highly-Charged Bismuth Ions

Authors: S. Albrecht, S. Altenburg, C. Siegel, N. Herschbach, G. Birkl

Abstract: We present and characterize a laser system for the spectroscopy on highly-charged ^209Bi^82+ ions at a wavelength of 243.87 nm. For absolute frequency stabilization, the laser system is locked to a near-infra-red laser stabilized to a rubidium transition line using a transfer cavity based locking scheme. Tuning of the output frequency with high precision is achieved via a tunable rf offset lock. A… ▽ More We present and characterize a laser system for the spectroscopy on highly-charged ^209Bi^82+ ions at a wavelength of 243.87 nm. For absolute frequency stabilization, the laser system is locked to a near-infra-red laser stabilized to a rubidium transition line using a transfer cavity based locking scheme. Tuning of the output frequency with high precision is achieved via a tunable rf offset lock. A sample-and-hold technique gives an extended tuning range of several THz in the UV. This scheme is universally applicable to the stabilization of laser systems at wavelengths not directly accessible to atomic or molecular resonances. We determine the frequency accuracy of the laser system using Doppler-free absorption spectroscopy of Te_2 vapour at 488 nm. Scaled to the target wavelength of 244 nm, we achieve a frequency uncertainty of σ_{244nm} = 6.14 MHz (one standard deviation) over six days of operation. △ Less

Submitted 25 August, 2011; originally announced August 2011.

Comments: Contribution to the special issue on "Trapped Ions" in "Applied Physics B"

Journal ref: Appl. Phys. B 107, 1069-1074 (2012)

Improved Error Bounds for Dirichlet-to-Neumann Absorbing Boundaries

Authors: Charles Siegel, Avy Soffer, Chris Stucchio

Abstract: It has long been known how to construct radiation boundary conditions for the time dependent wave equation. Although arguments suggesting that they are accurate have been given, it is only recently that rigorous error bounds have been proved. Previous estimates show that the error caused by these methods behaves like epsilon C exp(gamma t) for any gamma > 0. We improve these results and show tha… ▽ More It has long been known how to construct radiation boundary conditions for the time dependent wave equation. Although arguments suggesting that they are accurate have been given, it is only recently that rigorous error bounds have been proved. Previous estimates show that the error caused by these methods behaves like epsilon C exp(gamma t) for any gamma > 0. We improve these results and show that the error behaves like epsilon t^2. △ Less

Submitted 5 November, 2008; originally announced November 2008.