-
Valuation Ideal Factorization Domains
Authors:
Gyu Whan Chang,
Andreas Reinhart
Abstract:
An integral domain $D$ is a valuation ideal factorization domain (VIFD) if each nonzero principal ideal of $D$ can be written as a finite product of valuation ideals. Clearly, $π$-domains are VIFDs. In this paper, we study the ring-theoretic properties of VIFDs and the $*$-operation analogs of VIFDs. Among them, we show that if $D$ is treed (resp., $*$-treed), then $D$ is a VIFD (resp., $*$-VIFD)…
▽ More
An integral domain $D$ is a valuation ideal factorization domain (VIFD) if each nonzero principal ideal of $D$ can be written as a finite product of valuation ideals. Clearly, $π$-domains are VIFDs. In this paper, we study the ring-theoretic properties of VIFDs and the $*$-operation analogs of VIFDs. Among them, we show that if $D$ is treed (resp., $*$-treed), then $D$ is a VIFD (resp., $*$-VIFD) if and only if $D$ is an ${\rm h}$-local Prüfer domain (resp., a $*$-${\rm h}$-local P$*$MD) if and only if every nonzero prime ideal of $D$ contains an invertible (resp., a $*$-invertible) valuation ideal. We also study integral domains $D$ such that for each nonzero nonunit $a\in D$, there is a positive integer $n$ such that $a^n$ can be written as a finite product of valuation elements.
△ Less
Submitted 21 October, 2024;
originally announced October 2024.
-
Do LLMs write like humans? Variation in grammatical and rhetorical styles
Authors:
Alex Reinhart,
David West Brown,
Ben Markey,
Michael Laudenbach,
Kachatad Pantusen,
Ronald Yurko,
Gordon Weinberg
Abstract:
Large language models (LLMs) are capable of writing grammatical text that follows instructions, answers questions, and solves problems. As they have advanced, it has become difficult to distinguish their output from human-written text. While past research has found some differences in surface features such as word choice and punctuation, and developed classifiers to detect LLM output, none has stu…
▽ More
Large language models (LLMs) are capable of writing grammatical text that follows instructions, answers questions, and solves problems. As they have advanced, it has become difficult to distinguish their output from human-written text. While past research has found some differences in surface features such as word choice and punctuation, and developed classifiers to detect LLM output, none has studied the rhetorical styles of LLMs.
Using several variants of Llama 3 and GPT-4o, we construct two parallel corpora of human- and LLM-written texts from common prompts. Using Douglas Biber's set of lexical, grammatical, and rhetorical features, we identify systematic differences between LLMs and humans and between different LLMs. These differences persist when moving from smaller models to larger ones, and are larger for instruction-tuned models than base models. This demonstrates that despite their advanced abilities, LLMs struggle to match human styles, and hence more advanced linguistic features can detect patterns in their behavior not previously recognized.
△ Less
Submitted 21 October, 2024;
originally announced October 2024.
-
Multiplicative Lattices with Absorbing Factorization
Authors:
Andreas Reinhart,
Gulsen Ulucak
Abstract:
In [22], Yassine et al. introduced the notion of 1-absorbing prime ideals in commutative rings with nonzero identity. In this article, we examine the concept of 1-absorbing prime elements in C-lattices. We investigate the C-lattices in which every element is a finite product of 1-absorbing prime elements (we denote them as OAFLs for short). Moreover, we study C-lattices having 2-absorbing factoriz…
▽ More
In [22], Yassine et al. introduced the notion of 1-absorbing prime ideals in commutative rings with nonzero identity. In this article, we examine the concept of 1-absorbing prime elements in C-lattices. We investigate the C-lattices in which every element is a finite product of 1-absorbing prime elements (we denote them as OAFLs for short). Moreover, we study C-lattices having 2-absorbing factorization (we denote them as TAFLs for short).
△ Less
Submitted 2 August, 2024;
originally announced August 2024.
-
On a counterexample to Mordell's Pellian equation conjecture: a non-computer based approach
Authors:
Andreas Reinhart
Abstract:
In this note, we investigate a recently discovered counterexample to Mordell's Pellian equation conjecture. We provide a verification of this counterexample that can be checked without computer assistance.
In this note, we investigate a recently discovered counterexample to Mordell's Pellian equation conjecture. We provide a verification of this counterexample that can be checked without computer assistance.
△ Less
Submitted 3 April, 2024;
originally announced April 2024.
-
A counterexample to the Pellian equation conjecture of Mordell
Authors:
Andreas Reinhart
Abstract:
Let $d\geq 2$ be a squarefree integer, let $ω\in\{\sqrt{d},\frac{1+\sqrt{d}}{2}\}$ be such that $\mathbb{Z}[ω]$ is the ring of algebraic integers of the real quadratic number field $\mathbb{Q}(\sqrt{d})$, let $\varepsilon>1$ be the fundamental unit of $\mathbb{Z}[ω]$ and let $x$ and $y$ be the unique nonnegative integers with $\varepsilon=x+yω$. In this note, we extend and study the list of known…
▽ More
Let $d\geq 2$ be a squarefree integer, let $ω\in\{\sqrt{d},\frac{1+\sqrt{d}}{2}\}$ be such that $\mathbb{Z}[ω]$ is the ring of algebraic integers of the real quadratic number field $\mathbb{Q}(\sqrt{d})$, let $\varepsilon>1$ be the fundamental unit of $\mathbb{Z}[ω]$ and let $x$ and $y$ be the unique nonnegative integers with $\varepsilon=x+yω$. In this note, we extend and study the list of known squarefree integers $d\geq 2$, for which $y$ is divisible by $d$ (cf. OEIS A135735). As a byproduct, we present a counterexample to a conjecture of L. J. Mordell.
△ Less
Submitted 11 June, 2024; v1 submitted 15 February, 2024;
originally announced February 2024.
-
On orders in quadratic number fields with unusual sets of distances
Authors:
Andreas Reinhart
Abstract:
Let $\mathcal{O}$ be an order in an algebraic number field and suppose that the set of distances $Δ(\mathcal{O})$ of $\mathcal{O}$ is nonempty (equivalently, $\mathcal{O}$ is not half-factorial). If $\mathcal{O}$ is seminormal (in particular, if $\mathcal{O}$ is a principal order), then $\minΔ(\mathcal{O})=1$. So far, only a few examples of orders were found with $\minΔ(\mathcal{O})>1$. We say tha…
▽ More
Let $\mathcal{O}$ be an order in an algebraic number field and suppose that the set of distances $Δ(\mathcal{O})$ of $\mathcal{O}$ is nonempty (equivalently, $\mathcal{O}$ is not half-factorial). If $\mathcal{O}$ is seminormal (in particular, if $\mathcal{O}$ is a principal order), then $\minΔ(\mathcal{O})=1$. So far, only a few examples of orders were found with $\minΔ(\mathcal{O})>1$. We say that $Δ(\mathcal{O})$ is unusual if $\minΔ(\mathcal{O})>1$. In the present paper, we establish algebraic characterizations of orders $\mathcal{O}$ in real quadratic number fields with $\minΔ(\mathcal{O})>1$. We also provide a classification of the real quadratic number fields that possess an order whose set of distances is unusual. As a consequence thereof, we revisit certain squarefree integers (cf. OEIS A135735) that were studied by A. J. Stephens and H. C. Williams.
△ Less
Submitted 26 October, 2023; v1 submitted 16 May, 2023;
originally announced May 2023.
-
On Monoids of plus-minus weighted Zero-Sum Sequences: The Isomorphism Problem and the Characterization Problem
Authors:
Florin Fabsits,
Alfred Geroldinger,
Andreas Reinhart,
Qinghai Zhong
Abstract:
Let $G$ be an additive abelian group. A sequence $S=g_1\cdot\ldots\cdot g_{\ell}$ of terms from $G$ is a plus-minus weighted zero-sum sequence if there are $\varepsilon_1,\ldots,\varepsilon_{\ell}\in\{-1,1\}$ such that $\varepsilon_1 g_1+\ldots+\varepsilon_{\ell} g_{\ell}=0$. We first characterize (in terms of $G$) when the monoid $\mathcal{B}_{\pm}(G)$ of plus-minus weighted zero-sum sequences is…
▽ More
Let $G$ be an additive abelian group. A sequence $S=g_1\cdot\ldots\cdot g_{\ell}$ of terms from $G$ is a plus-minus weighted zero-sum sequence if there are $\varepsilon_1,\ldots,\varepsilon_{\ell}\in\{-1,1\}$ such that $\varepsilon_1 g_1+\ldots+\varepsilon_{\ell} g_{\ell}=0$. We first characterize (in terms of $G$) when the monoid $\mathcal{B}_{\pm}(G)$ of plus-minus weighted zero-sum sequences is Mori resp. Krull resp. finitely generated. After that we study the Isomorphism and the Characterization Problem for monoids of plus-minus weighted zero-sum sequences.
△ Less
Submitted 12 September, 2023; v1 submitted 28 April, 2023;
originally announced April 2023.
-
On transfer Krull monoids
Authors:
Aqsa Bashir,
Andreas Reinhart
Abstract:
Let $H$ be a cancellative commutative monoid, let $\mathcal{A}(H)$ be the set of atoms of $H$ and let $\widetilde{H}$ be the root closure of $H$. Then $H$ is called transfer Krull if there exists a transfer homomorphism from $H$ into a Krull monoid. It is well known that both half-factorial monoids and Krull monoids are transfer Krull monoids. In spite of many examples and counter examples of tran…
▽ More
Let $H$ be a cancellative commutative monoid, let $\mathcal{A}(H)$ be the set of atoms of $H$ and let $\widetilde{H}$ be the root closure of $H$. Then $H$ is called transfer Krull if there exists a transfer homomorphism from $H$ into a Krull monoid. It is well known that both half-factorial monoids and Krull monoids are transfer Krull monoids. In spite of many examples and counter examples of transfer Krull monoids (that are neither Krull nor half-factorial), transfer Krull monoids have not been studied systematically (so far) as objects on their own. The main goal of the present paper is to attempt the first in-depth study of transfer Krull monoids. We investigate how the root closure of a monoid can affect the transfer Krull property and under what circumstances transfer Krull monoids have to be half-factorial or Krull. In particular, we show that if $\widetilde{H}$ is a DVM, then $H$ is transfer Krull if and only if $H\subseteq\widetilde{H}$ is inert. Moreover, we prove that if $\widetilde{H}$ is factorial, then $H$ is transfer Krull if and only if $\mathcal{A}(\widetilde{H})=\{u\varepsilon\mid u\in\mathcal{A}(H),\varepsilon\in\widetilde{H}^{\times}\}$. We also show that if $\widetilde{H}$ is half-factorial, then $H$ is transfer Krull if and only if $\mathcal{A}(H)\subseteq\mathcal{A}(\widetilde{H})$. Finally, we point out that characterizing the transfer Krull property is more intricate for monoids whose root closure is Krull. This is done by providing a series of counterexamples involving reduced affine monoids.
△ Less
Submitted 10 September, 2021;
originally announced September 2021.
-
Big data, big problems: Responding to "Are we there yet?"
Authors:
Alex Reinhart,
Ryan Tibshirani
Abstract:
Bradley et al. (arXiv:2106.05818v2), as part of an analysis of the performance of large-but-biased surveys during the COVID-19 pandemic, argue that the data defect correlation provides a useful tool to quantify the effects of sampling bias on survey results. We examine their analyses of results from the COVID-19 Trends and Impact Survey (CTIS) and show that, despite their claims, CTIS in fact perf…
▽ More
Bradley et al. (arXiv:2106.05818v2), as part of an analysis of the performance of large-but-biased surveys during the COVID-19 pandemic, argue that the data defect correlation provides a useful tool to quantify the effects of sampling bias on survey results. We examine their analyses of results from the COVID-19 Trends and Impact Survey (CTIS) and show that, despite their claims, CTIS in fact performs well for its intended goals. Our examination reveals several limitations in the data defect correlation framework, including that it is only applicable for a single goal (population point estimation) and that it does not admit the possibility of measurement error. Through examples, we show that these limitations seriously affect the applicability of the framework for analyzing CTIS results. Through our own alternative analyses, we arrive at different conclusions, and we argue for a more expansive view of survey quality that accounts for the intended uses of the data and all sources of error, in line with the Total Survey Error framework that have been widely studied and implemented by survey methodologists.
△ Less
Submitted 1 September, 2021;
originally announced September 2021.
-
On finite molecularization domains
Authors:
Andrew J. Hetzel,
Anna L. Lawson,
Andreas Reinhart
Abstract:
In this paper, we advance an ideal-theoretic analogue of a "finite factorization domain" (FFD), giving such a domain the moniker "finite molecularization domain" (FMD). We characterize FMD's as those factorable domains (termed "molecular domains" in the paper) for which every nonzero ideal is divisible by only finitely many nonfactorable ideals (termed "molecules" in the paper) and the monoid of n…
▽ More
In this paper, we advance an ideal-theoretic analogue of a "finite factorization domain" (FFD), giving such a domain the moniker "finite molecularization domain" (FMD). We characterize FMD's as those factorable domains (termed "molecular domains" in the paper) for which every nonzero ideal is divisible by only finitely many nonfactorable ideals (termed "molecules" in the paper) and the monoid of nonzero ideals of the domain is unit-cancellative, in the language of Fan, Geroldinger, Kainrath, and Tringali. We develop a number of connections, particularly at the local level, amongst the concepts of "FMD", "FFD", and the "finite superideal domains" (FSD's) of Hetzel and Lawson. Characterizations of when $k[X^2, X^3]$, where $k$ is a field, and the classical $D+M$ construction are FMD's are provided. We also demonstrate that if $R$ is a Dedekind domain with the finite norm property, then $R[X]$ is an FMD.
△ Less
Submitted 7 January, 2021;
originally announced January 2021.
-
Commutative rings with one-absorbing factorization
Authors:
Abdelhaq El Khalfi,
Mohammed Issoual,
Najib Mahdou,
Andreas Reinhart
Abstract:
Let $R$ be a commutative ring with nonzero identity. A. Yassine et al. defined in the paper (Yassine, Nikmehr and Nikandish, 2020), the concept of $1$-absorbing prime ideals as follows: a proper ideal $I$ of $R$ is said to be a $1$-absorbing prime ideal if whenever $xyz\in I$ for some nonunit elements $x,y,z\in R$, then either $xy\in I$ or $z\in\ I$. We use the concept of $1$-absorbing prime ideal…
▽ More
Let $R$ be a commutative ring with nonzero identity. A. Yassine et al. defined in the paper (Yassine, Nikmehr and Nikandish, 2020), the concept of $1$-absorbing prime ideals as follows: a proper ideal $I$ of $R$ is said to be a $1$-absorbing prime ideal if whenever $xyz\in I$ for some nonunit elements $x,y,z\in R$, then either $xy\in I$ or $z\in\ I$. We use the concept of $1$-absorbing prime ideals to study those commutative rings in which every proper ideal is a product of $1$-absorbing prime ideals (we call them $OAF$-rings). Any $OAF$-ring has dimension at most one and local $OAF$-domains $(D,M)$ are atomic such that $M^2$ is universal.
△ Less
Submitted 12 May, 2021; v1 submitted 9 October, 2020;
originally announced October 2020.
-
On the arithmetic of stable domains
Authors:
Aqsa Bashir,
Alfred Geroldinger,
Andreas Reinhart
Abstract:
A commutative ring $R$ is stable if every non-zero ideal $I$ of $R$ is projective over its ring of endomorphisms. Motivated by a paper of Bass in the 1960s, stable rings have received wide attention in the literature ever since then. Much is known on the algebraic structure of stable rings and on the relationship of stability with other algebraic properties such as divisoriality and the $2$-genera…
▽ More
A commutative ring $R$ is stable if every non-zero ideal $I$ of $R$ is projective over its ring of endomorphisms. Motivated by a paper of Bass in the 1960s, stable rings have received wide attention in the literature ever since then. Much is known on the algebraic structure of stable rings and on the relationship of stability with other algebraic properties such as divisoriality and the $2$-generator property. In the present paper we study the arithmetic of stable integral domains, with a focus on arithmetic properties of semigroups of ideals of stable orders in Dedekind domains.
△ Less
Submitted 10 May, 2021; v1 submitted 10 July, 2020;
originally announced July 2020.
-
Unique factorization property of non-unique factorization domains II
Authors:
Gyu Whan Chang,
Andreas Reinhart
Abstract:
Let $D$ be an integral domain. A nonzero nonunit $a$ of $D$ is called a valuation element if there is a valuation overring $V$ of $D$ such that $aV\cap D=aD$. We say that $D$ is a valuation factorization domain (VFD) if each nonzero nonunit of $D$ can be written as a finite product of valuation elements. In this paper, we study some ring-theoretic properties of VFDs. Among other things, we show th…
▽ More
Let $D$ be an integral domain. A nonzero nonunit $a$ of $D$ is called a valuation element if there is a valuation overring $V$ of $D$ such that $aV\cap D=aD$. We say that $D$ is a valuation factorization domain (VFD) if each nonzero nonunit of $D$ can be written as a finite product of valuation elements. In this paper, we study some ring-theoretic properties of VFDs. Among other things, we show that (i) a VFD $D$ is Schreier, and hence ${\rm Cl}_t(D)=\{0\}$, (ii) if $D$ is a P$v$MD, then $D$ is a VFD if and only if $D$ is a weakly Matlis GCD-domain, if and only if $D[X]$, the polynomial ring over $D$, is a VFD and (iii) a VFD $D$ is a weakly factorial GCD-domain if and only if $D$ is archimedean. We also study a unique factorization property of VFDs.
△ Less
Submitted 21 May, 2020;
originally announced May 2020.
-
Expanding the scope of statistical computing: Training statisticians to be software engineers
Authors:
Alex Reinhart,
Christopher R. Genovese
Abstract:
Traditionally, statistical computing courses have taught the syntax of a particular programming language or specific statistical computation methods. Since the publication of Nolan and Temple Lang (2010), we have seen a greater emphasis on data wrangling, reproducible research, and visualization. This shift better prepares students for careers working with complex datasets and producing analyses f…
▽ More
Traditionally, statistical computing courses have taught the syntax of a particular programming language or specific statistical computation methods. Since the publication of Nolan and Temple Lang (2010), we have seen a greater emphasis on data wrangling, reproducible research, and visualization. This shift better prepares students for careers working with complex datasets and producing analyses for multiple audiences. But, we argue, statisticians are now often called upon to develop statistical software, not just analyses, such as R packages implementing new analysis methods or machine learning systems integrated into commercial products. This demands different skills.
We describe a graduate course that we developed to meet this need by focusing on four themes: programming practices; software design; important algorithms and data structures; and essential tools and methods. Through code review and revision, and a semester-long software project, students practice all the skills of software engineering. The course allows students to expand their understanding of computing as applied to statistical problems while building expertise in the kind of software development that is increasingly the province of the working statistician. We see this as a model for the future evolution of the computing curriculum in statistics and data science.
△ Less
Submitted 28 October, 2020; v1 submitted 30 December, 2019;
originally announced December 2019.
-
Think-aloud interviews: A tool for exploring student statistical reasoning
Authors:
Alex Reinhart,
Ciaran Evans,
Amanda Luby,
Josue Orellana,
Mikaela Meyer,
Jerzy Wieczorek,
Peter Elliott,
Philipp Burckhardt,
Rebecca Nugent
Abstract:
Think-aloud interviews have been a valuable but underused tool in statistics education research. Think-alouds, in which students narrate their reasoning in real time while solving problems, differ in important ways from other types of cognitive interviews and related education research methods. Beyond the uses already found in the statistics literature -- mostly validating the wording of statistic…
▽ More
Think-aloud interviews have been a valuable but underused tool in statistics education research. Think-alouds, in which students narrate their reasoning in real time while solving problems, differ in important ways from other types of cognitive interviews and related education research methods. Beyond the uses already found in the statistics literature -- mostly validating the wording of statistical concept inventory questions and studying student misconceptions -- we suggest other possible use cases for think-alouds and summarize best-practice guidelines for designing think-aloud interview studies. Using examples from our own experiences studying the local student body for our introductory statistics courses, we illustrate how research goals should inform study-design decisions and what kinds of insights think-alouds can provide. We hope that our overview of think-alouds encourages more statistics educators and researchers to begin using this method.
△ Less
Submitted 4 April, 2022; v1 submitted 1 November, 2019;
originally announced November 2019.
-
Radical factorization in finitary ideal systems
Authors:
Bruce Olberding,
Andreas Reinhart
Abstract:
In this paper we investigate the concept of radical factorization with respect to finitary ideal systems of cancellative monoids. We present new characterizations for r-almost Dedekind r-SP-monoids and provide specific descriptions of t-almost Dedekind t-SP-monoids and w-SP-monoids. We show that a monoid is a w-SP-monoid if and only if the radical of every nontrivial principal ideal is t-invertibl…
▽ More
In this paper we investigate the concept of radical factorization with respect to finitary ideal systems of cancellative monoids. We present new characterizations for r-almost Dedekind r-SP-monoids and provide specific descriptions of t-almost Dedekind t-SP-monoids and w-SP-monoids. We show that a monoid is a w-SP-monoid if and only if the radical of every nontrivial principal ideal is t-invertible. We characterize when the monoid ring is a w-SP-domain and describe when the *-Nagata ring is an SP-domain for a star operation * of finite type.
△ Less
Submitted 24 June, 2019; v1 submitted 21 March, 2019;
originally announced March 2019.
-
On monoids of ideals of orders in quadratic number fields
Authors:
Johannes Brantner,
Alfred Geroldinger,
Andreas Reinhart
Abstract:
We determine the set of catenary degrees, the set of distances, and the unions of sets of lengths of the monoid of nonzero ideals and of the monoid of invertible ideals of orders in quadratic number fields.
We determine the set of catenary degrees, the set of distances, and the unions of sets of lengths of the monoid of nonzero ideals and of the monoid of invertible ideals of orders in quadratic number fields.
△ Less
Submitted 24 June, 2019; v1 submitted 14 January, 2019;
originally announced January 2019.
-
Radical factorization in commutative rings, monoids and multiplicative lattices
Authors:
Bruce Olberding,
Andreas Reinhart
Abstract:
In this paper we study the concept of radical factorization in the context of abstract ideal theory in order to obtain a unified approach to the theory of factorization into radical ideals and elements in the literature of commutative rings, monoids and ideal systems. Using this approach we derive new characterizations of classes of rings whose ideals are a product of radical ideals, and we obtain…
▽ More
In this paper we study the concept of radical factorization in the context of abstract ideal theory in order to obtain a unified approach to the theory of factorization into radical ideals and elements in the literature of commutative rings, monoids and ideal systems. Using this approach we derive new characterizations of classes of rings whose ideals are a product of radical ideals, and we obtain also similar characterizations for classes of ideal systems in monoids and star ideals in integral domains.
△ Less
Submitted 24 June, 2019; v1 submitted 1 November, 2018;
originally announced November 2018.
-
The monotone catenary degree of monoids of ideals
Authors:
Alfred Geroldinger,
Andreas Reinhart
Abstract:
Factoring ideals in integral domains is a central topic in multiplicative ideal theory. In the present paper we study monoids of ideals and consider factorizations of ideals into multiplicatively irreducible ideals. The focus is on the monoid of nonzero divisorial ideals and on the monoid of $v$-invertible divisorial ideals in weakly Krull Mori domains. Under suitable algebraic finiteness conditio…
▽ More
Factoring ideals in integral domains is a central topic in multiplicative ideal theory. In the present paper we study monoids of ideals and consider factorizations of ideals into multiplicatively irreducible ideals. The focus is on the monoid of nonzero divisorial ideals and on the monoid of $v$-invertible divisorial ideals in weakly Krull Mori domains. Under suitable algebraic finiteness conditions we establish arithmetical finiteness results, in particular for the monotone catenary degree and for the structure of sets of lengths and of their unions.
△ Less
Submitted 29 September, 2017;
originally announced September 2017.
-
Self-exciting point processes with spatial covariates: modeling the dynamics of crime
Authors:
Alex Reinhart,
Joel Greenhouse
Abstract:
Crime has both varying patterns in space, related to features of the environment, economy, and policing, and patterns in time arising from criminal behavior, such as retaliation. Serious crimes may also be presaged by minor crimes of disorder. We demonstrate that these spatial and temporal patterns are generally confounded, requiring analyses to take both into account, and propose a spatio-tempora…
▽ More
Crime has both varying patterns in space, related to features of the environment, economy, and policing, and patterns in time arising from criminal behavior, such as retaliation. Serious crimes may also be presaged by minor crimes of disorder. We demonstrate that these spatial and temporal patterns are generally confounded, requiring analyses to take both into account, and propose a spatio-temporal self-exciting point process model which incorporates spatial features, near-repeat and retaliation effects, and triggering. We develop inference methods and diagnostic tools, such as residual maps, for this model, and through extensive simulation and crime data obtained from Pittsburgh, Pennsylvania, demonstrate its properties and usefulness.
△ Less
Submitted 7 April, 2019; v1 submitted 11 August, 2017;
originally announced August 2017.
-
A Review of Self-Exciting Spatio-Temporal Point Processes and Their Applications
Authors:
Alex Reinhart
Abstract:
Self-exciting spatio-temporal point process models predict the rate of events as a function of space, time, and the previous history of events. These models naturally capture triggering and clustering behavior, and have been widely used in fields where spatio-temporal clustering of events is observed, such as earthquake modeling, infectious disease, and crime. In the past several decades, advances…
▽ More
Self-exciting spatio-temporal point process models predict the rate of events as a function of space, time, and the previous history of events. These models naturally capture triggering and clustering behavior, and have been widely used in fields where spatio-temporal clustering of events is observed, such as earthquake modeling, infectious disease, and crime. In the past several decades, advances have been made in estimation, inference, simulation, and diagnostic tools for self-exciting point process models. In this review, I describe the basic theory, survey related estimation and inference techniques from each field, highlight several key applications, and suggest directions for future research.
△ Less
Submitted 20 February, 2018; v1 submitted 8 August, 2017;
originally announced August 2017.
-
Sequential nonparametric tests for a change in distribution: an application to detecting radiological anomalies
Authors:
Oscar Hernan Madrid Padilla,
Alex Athey,
Alex Reinhart,
James G. Scott
Abstract:
We propose a sequential nonparametric test for detecting a change in distribution, based on windowed Kolmogorov--Smirnov statistics. The approach is simple, robust, highly computationally efficient, easy to calibrate, and requires no parametric assumptions about the underlying null and alternative distributions. We show that both the false-alarm rate and the power of our procedure are amenable to…
▽ More
We propose a sequential nonparametric test for detecting a change in distribution, based on windowed Kolmogorov--Smirnov statistics. The approach is simple, robust, highly computationally efficient, easy to calibrate, and requires no parametric assumptions about the underlying null and alternative distributions. We show that both the false-alarm rate and the power of our procedure are amenable to rigorous analysis, and that the method outperforms existing sequential testing procedures in practice. We then apply the method to the problem of detecting radiological anomalies, using data collected from measurements of the background gamma-radiation spectrum on a large university campus. In this context, the proposed method leads to substantial improvements in time-to-detection for the kind of radiological anomalies of interest in law-enforcement and border-security applications.
△ Less
Submitted 22 December, 2016;
originally announced December 2016.
-
Three dimensional reconstruction of therapeutic carbon ion beams in phantoms using single secondary ion tracks
Authors:
Anna Merle Reinhart,
Claudia Katharina Spindeldreier,
Jan Jakubek,
Maria Martisikova
Abstract:
Carbon ion beam radiotherapy enables a very localised dose deposition. However, already small changes in the patient geometry or positioning errors can significantly distort the dose distribution. A live monitoring system of the beam delivery within the patient is therefore highly desirable and could improve patient treatment. We present a novel three-dimensional imaging method of the beam in the…
▽ More
Carbon ion beam radiotherapy enables a very localised dose deposition. However, already small changes in the patient geometry or positioning errors can significantly distort the dose distribution. A live monitoring system of the beam delivery within the patient is therefore highly desirable and could improve patient treatment. We present a novel three-dimensional imaging method of the beam in the irradiated object, exploiting the measured tracks of single secondary ions emerging under irradiation. The secondary particle tracks are detected with a TimePix stack, a set of parallel pixelated semiconductor detectors. We developed a three-dimensional reconstruction algorithm based on maximum likelihood expectation maximisation. We demonstrate the applicability of the new method in an irradiation of a cylindrical PMMA phantom of human head size with a carbon ion pencil beam of 226MeV/u. The beam image in the phantom is reconstructed from a set of 9 discrete detector positions between -80 and 50 degrees from the beam axis. Furthermore, we demonstrate the potential to visualise inhomogeneities by irradiating a PMMA phantom with an air gap as well as bone and adipose tissue surrogate inserts. We successfully reconstructed a 3D image of the treatment beam in the phantom from single secondary ion tracks. The beam image corresponds well to the distribution expected from the beam direction and energy. In addition, cylindrical inhomogeneities with a diameter of 2.85cm and density differences down to 0.3g/cm$^3$ to the surrounding material are clearly visualised. This novel 3D method to image a therapeutic carbon ion beam in the irradiated object does not interfere with the treatment and requires knowledge only of single secondary ion tracks. Even with detectors with only a small angular coverage, the 3D reconstruction of the fragmentation points presented in this work was found to be feasible.
△ Less
Submitted 23 May, 2017; v1 submitted 14 October, 2016;
originally announced October 2016.
-
On the divisor-class group of monadic submonoids of rings of integer-valued polynomials
Authors:
Andreas Reinhart
Abstract:
Let $R$ be a factorial domain. In this work we investigate the connections between the arithmetic of ${\rm Int}(R)$ (i.e., the ring of integer-valued polynomials over $R$) and its monadic submonoids (i.e., monoids of the form $\{g\in {\rm Int}(R)\mid g\mid_{{\rm Int}(R)} f^k$ for some $k\in\mathbb{N}_0\}$ for some nonzero $f\in {\rm Int}(R)$). Since every monadic submonoid of ${\rm Int}(R)$ is a K…
▽ More
Let $R$ be a factorial domain. In this work we investigate the connections between the arithmetic of ${\rm Int}(R)$ (i.e., the ring of integer-valued polynomials over $R$) and its monadic submonoids (i.e., monoids of the form $\{g\in {\rm Int}(R)\mid g\mid_{{\rm Int}(R)} f^k$ for some $k\in\mathbb{N}_0\}$ for some nonzero $f\in {\rm Int}(R)$). Since every monadic submonoid of ${\rm Int}(R)$ is a Krull monoid it is possible to describe the arithmetic of these monoids in terms of their divisor-class group. We give an explicit description of these divisor-class groups in several situations and provide a few techniques that can be used to determine them. As an application we show that there are strong connections between ${\rm Int}(R)$ and its monadic submonoids. If $R=\mathbb{Z}$ or more generally if $R$ has sufficiently many "nice" atoms, then we prove that the infinitude of the elasticity and the tame degree of ${\rm Int}(R)$ can be explained by using the structure of monadic submonoids of ${\rm Int}(R)$.
△ Less
Submitted 12 April, 2016;
originally announced April 2016.
-
Group-theoretic and topological invariants of completely integrally closed Prüfer domains
Authors:
Olivier A. Heubo-Kwegna,
Bruce Olberding,
Andreas Reinhart
Abstract:
We consider the lattice-ordered groups Inv$(R)$ and Div$(R)$ of invertible and divisorial fractional ideals of a completely integrally closed Prüfer domain. We prove that Div$(R)$ is the completion of the group Inv$(R)$, and we show there is a faithfully flat extension $S$ of $R$ such that $S$ is a completely integrally closed Bézout domain with Div$(R) \cong $ Inv$(S)$. Among the class of complet…
▽ More
We consider the lattice-ordered groups Inv$(R)$ and Div$(R)$ of invertible and divisorial fractional ideals of a completely integrally closed Prüfer domain. We prove that Div$(R)$ is the completion of the group Inv$(R)$, and we show there is a faithfully flat extension $S$ of $R$ such that $S$ is a completely integrally closed Bézout domain with Div$(R) \cong $ Inv$(S)$. Among the class of completely integrally closed Prüfer domains, we focus on the one-dimensional Prüfer domains. This class includes Dedekind domains, the latter being the one-dimensional Prüfer domains whose maximal ideals are finitely generated. However, numerous interesting examples show that the class of one-dimensional Prüfer domains includes domains that differ quite significantly from Dedekind domains by a number of measures, both group-theoretic (involving Inv$(R)$ and Div$(R)$) and topological (involving the maximal spectrum of $R$). We examine these invariants in connection with factorization properties of the ideals of one-dimensional Prüfer domains, putting special emphasis on the class of almost Dedekind domains, those domains for which every localization at a maximal ideal is a rank one discrete valuation domain, as well as the class of SP-domains, those domains for which every proper ideal is a product of radical ideals. For this last class of domains, we show that if in addition the ring has nonzero Jacobson radical, then the lattice-ordered groups Inv$(R)$ and Div$(R)$ are determined entirely by the topology of the maximal spectrum of $R$, and that the Cantor-Bendixson derivatives of the maximal spectrum reflect the distribution of sharp and dull maximal ideals.
△ Less
Submitted 3 May, 2016; v1 submitted 10 December, 2015;
originally announced December 2015.
-
A note on conductor ideals
Authors:
Andreas Reinhart
Abstract:
Let $S$ be a commutative ring with identity and $R$ a unitary subring of $S$. An ideal $I$ of $S$ is called an $R$-conductor ideal of $S$ if $I=\{x\in S\mid xS\subseteq V\}$ for some intermediate ring $V$ of $R$ and $S$. In this note we present necessary and sufficient criterions for being an $R$-conductor ideal of $S$. We generalize several well known facts about them and present a simple approac…
▽ More
Let $S$ be a commutative ring with identity and $R$ a unitary subring of $S$. An ideal $I$ of $S$ is called an $R$-conductor ideal of $S$ if $I=\{x\in S\mid xS\subseteq V\}$ for some intermediate ring $V$ of $R$ and $S$. In this note we present necessary and sufficient criterions for being an $R$-conductor ideal of $S$. We generalize several well known facts about them and present a simple approach to rediscover the results of both old and recent papers. We sketch the boundaries of our criterions by providing a few counterexamples.
△ Less
Submitted 18 August, 2015;
originally announced August 2015.
-
Arithmetic of seminormal weakly Krull monoids and domains
Authors:
Alfred Geroldinger,
Florian Kainrath,
Andreas Reinhart
Abstract:
We study the arithmetic of seminormal $v$-noetherian weakly Krull monoids with nontrivial conductor which have finite class group and prime divisors in all classes. These monoids include seminormal orders in holomorphy rings in global fields. The crucial property of seminormality allows us to give precise arithmetical results analogous to the well-known results for Krull monoids having finite clas…
▽ More
We study the arithmetic of seminormal $v$-noetherian weakly Krull monoids with nontrivial conductor which have finite class group and prime divisors in all classes. These monoids include seminormal orders in holomorphy rings in global fields. The crucial property of seminormality allows us to give precise arithmetical results analogous to the well-known results for Krull monoids having finite class group and prime divisors in each class. This allows us to show, for example, that unions of sets of lengths are intervals and to provide a characterization of half-factoriality.
△ Less
Submitted 4 August, 2015;
originally announced August 2015.
-
Multiscale spatial density smoothing: an application to large-scale radiological survey and anomaly detection
Authors:
Wesley Tansey,
Alex Athey,
Alex Reinhart,
James G. Scott
Abstract:
We consider the problem of estimating a spatially varying density function, motivated by problems that arise in large-scale radiological survey and anomaly detection. In this context, the density functions to be estimated are the background gamma-ray energy spectra at sites spread across a large geographical area, such as nuclear production and waste-storage sites, military bases, medical faciliti…
▽ More
We consider the problem of estimating a spatially varying density function, motivated by problems that arise in large-scale radiological survey and anomaly detection. In this context, the density functions to be estimated are the background gamma-ray energy spectra at sites spread across a large geographical area, such as nuclear production and waste-storage sites, military bases, medical facilities, university campuses, or the downtown of a city. Several challenges combine to make this a difficult problem. First, the spectral density at any given spatial location may have both smooth and non-smooth features. Second, the spatial correlation in these density functions is neither stationary nor locally isotropic. Finally, at some spatial locations, there is very little data. We present a method called multiscale spatial density smoothing that successfully addresses these challenges. The method is based on recursive dyadic partition of the sample space, and therefore shares much in common with other multiscale methods, such as wavelets and Pólya-tree priors. We describe an efficient algorithm for finding a maximum a posteriori (MAP) estimate that leverages recent advances in convex optimization for non-smooth functions.
We apply multiscale spatial density smoothing to real data collected on the background gamma-ray spectra at locations across a large university campus. The method exhibits state-of-the-art performance for spatial smoothing in density estimation, and it leads to substantial improvements in power when used in conjunction with existing methods for detecting the kinds of radiological anomalies that may have important consequences for public health and safety.
△ Less
Submitted 16 September, 2016; v1 submitted 26 July, 2015;
originally announced July 2015.
-
Detecting changes in maps of gamma spectra with Kolmogorov-Smirnov tests
Authors:
Alex Reinhart,
Valérie Ventura,
Alex Athey
Abstract:
Various security, regulatory, and consequence management agencies are interested in continuously monitoring wide areas for unexpected changes in radioactivity. Existing detection systems are designed to search for radioactive sources but are not suited to repeat mapping and change detection. Using a set of daily spectral observations collected at the Pickle Research Campus, we improved on the prio…
▽ More
Various security, regulatory, and consequence management agencies are interested in continuously monitoring wide areas for unexpected changes in radioactivity. Existing detection systems are designed to search for radioactive sources but are not suited to repeat mapping and change detection. Using a set of daily spectral observations collected at the Pickle Research Campus, we improved on the prior Spectral Comparison Ratio Anomaly Mapping (SCRAM) algorithm and developed a new method based on two-sample Kolmogorov-Smirnov tests to detect sudden spectral changes. We also designed simulations and visualizations of statistical power to compare methods and guide deployment scenarios.
△ Less
Submitted 2 September, 2015; v1 submitted 24 July, 2015;
originally announced July 2015.
-
Spatially-Aware Temporal Anomaly Mapping of Gamma Spectra
Authors:
Alex Reinhart,
Alex Athey,
Steven Biegalski
Abstract:
For security, environmental, and regulatory purposes it is useful to continuously monitor wide areas for unexpected changes in radioactivity. We report on a temporal anomaly detection algorithm which uses mobile detectors to build a spatial map of background spectra, allowing sensitive detection of any anomalies through many days or months of monitoring. We adapt previously-developed anomaly detec…
▽ More
For security, environmental, and regulatory purposes it is useful to continuously monitor wide areas for unexpected changes in radioactivity. We report on a temporal anomaly detection algorithm which uses mobile detectors to build a spatial map of background spectra, allowing sensitive detection of any anomalies through many days or months of monitoring. We adapt previously-developed anomaly detection methods, which compare spectral shape rather than count rate, to function with limited background data, allowing sensitive detection of small changes in spectral shape from day to day. To demonstrate this technique we collected daily observations over the period of six weeks on a 0.33 square mile research campus and performed source injection simulations.
△ Less
Submitted 5 May, 2014;
originally announced May 2014.
-
On v-Marot Mori rings and C-rings
Authors:
Alfred Geroldinger,
Sebastian Ramacher,
Andreas Reinhart
Abstract:
C-domains are defined via class semigroups, and every C-domain is a Mori domain with nonzero conductor whose complete integral closure is a Krull domain with finite class group. In order to extend the concept of C-domains to rings with zero divisors, we introduce $v$-Marot rings as generalizations of ordinary Marot rings and study their theory of regular divisorial ideals. Based on this we establi…
▽ More
C-domains are defined via class semigroups, and every C-domain is a Mori domain with nonzero conductor whose complete integral closure is a Krull domain with finite class group. In order to extend the concept of C-domains to rings with zero divisors, we introduce $v$-Marot rings as generalizations of ordinary Marot rings and study their theory of regular divisorial ideals. Based on this we establish a generalization of a result well-known for integral domains. Let $R$ be a $v$-Marot Mori ring, $\hat R$ its complete integral closure, and suppose that the conductor $\mathfrak f = (R : \hat R)$ is regular. If the residue class ring $R/\mathfrak f$ and the class group $\mathcal C (\hat R)$ are both finite, then $R$ is a C-ring. Moreover, we study both $v$-Marot rings and C-rings under various ring extensions.
△ Less
Submitted 29 October, 2014; v1 submitted 13 January, 2014;
originally announced January 2014.