-
Non-standard binary representations and the Stern sequence
Authors:
Katie Anders,
Madeline Locus Dawsey,
Rajat Gupta,
Joseph Vandehey
Abstract:
We show that the number of short binary signed-digit representations of an integer $n$ is equal to the $n$-th term in the Stern sequence. Various proofs are provided, including direct, bijective, and generating function proofs. We also show that this result can be derived from recent work of Monroe on binary signed-digit representations of a fixed length.
We show that the number of short binary signed-digit representations of an integer $n$ is equal to the $n$-th term in the Stern sequence. Various proofs are provided, including direct, bijective, and generating function proofs. We also show that this result can be derived from recent work of Monroe on binary signed-digit representations of a fixed length.
△ Less
Submitted 14 August, 2023;
originally announced August 2023.
-
Representations of integers as quotients of sums of distinct powers of three
Authors:
Katie Anders,
Madeline Locus Dawsey,
Bruce Reznick,
Simone Sisneros-Thiry
Abstract:
Which integers can be written as a quotient of sums of distinct powers of three? We outline our first steps toward an answer to this question, beginning with a necessary and almost sufficient condition. Then we discuss an algorithm that indicates whether it is possible to represent a given integer as a quotient of sums of distinct powers of three. When the given integer is representable, this same…
▽ More
Which integers can be written as a quotient of sums of distinct powers of three? We outline our first steps toward an answer to this question, beginning with a necessary and almost sufficient condition. Then we discuss an algorithm that indicates whether it is possible to represent a given integer as a quotient of sums of distinct powers of three. When the given integer is representable, this same algorithm generates all possible representations. We develop a categorization of representations based on their connections to $0,1$-polynomials and give a complete description of the types of representations for all integers up to 364. Finally, we discuss in detail the representations of 7, 22, 34, 64, and 100, as well as some infinite families of integers.
△ Less
Submitted 14 August, 2023;
originally announced August 2023.
-
Classification of structural building damage grades from multi-temporal photogrammetric point clouds using a machine learning model trained on virtual laser scanning data
Authors:
Vivien Zahs,
Katharina Anders,
Julia Kohns,
Alexander Stark,
Bernhard Höfle
Abstract:
Automatic damage assessment based on UAV-derived 3D point clouds can provide fast information on the damage situation after an earthquake. However, the assessment of multiple damage grades is challenging due to the variety in damage patterns and limited transferability of existing methods to other geographic regions or data sources. We present a novel approach to automatically assess multi-class b…
▽ More
Automatic damage assessment based on UAV-derived 3D point clouds can provide fast information on the damage situation after an earthquake. However, the assessment of multiple damage grades is challenging due to the variety in damage patterns and limited transferability of existing methods to other geographic regions or data sources. We present a novel approach to automatically assess multi-class building damage from real-world multi-temporal point clouds using a machine learning model trained on virtual laser scanning (VLS) data. We (1) identify object-specific change features, (2) separate changed and unchanged building parts, (3) train a random forest machine learning model with VLS data based on object-specific change features, and (4) use the classifier to assess building damage in real-world point clouds from photogrammetry-based dense image matching (DIM). We evaluate classifiers trained on different input data with respect to their capacity to classify three damage grades (heavy, extreme, destruction) in pre- and post-event DIM point clouds of a real earthquake event. Our approach is transferable with respect to multi-source input point clouds used for training (VLS) and application (DIM) of the model. We further achieve geographic transferability of the model by training it on simulated data of geometric change which characterises relevant damage grades across different geographic regions. The model yields high multi-target classification accuracies (overall accuracy: 92.0% - 95.1%). Its performance improves only slightly when using real-world region-specific training data (< 3% higher overall accuracies) and when using real-world region-specific training data (< 2% higher overall accuracies). We consider our approach relevant for applications where timely information on the damage situation is required and sufficient real-world training data is not available.
△ Less
Submitted 24 February, 2023;
originally announced February 2023.
-
Generalized graph splines and the Universal Difference Property
Authors:
Selma Altınok,
Katie Anders,
Daniel Arreola,
Luisa Asencio,
Chloe Ireland,
Samet Sarıoğlan,
Luke Smith
Abstract:
We study the generalized graph splines introduced by Gilbert, Tymoczko, and Viel and focus on an attribute known as the Universal Difference Property (UDP). We prove that paths, trees, and cycles satisfy UDP. We explore UDP on graphs pasted at a single vertex and use Prüfer domains to illustrate that not every edge labeled graph satisfies UDP. We show that UDP must hold for any edge labeled graph…
▽ More
We study the generalized graph splines introduced by Gilbert, Tymoczko, and Viel and focus on an attribute known as the Universal Difference Property (UDP). We prove that paths, trees, and cycles satisfy UDP. We explore UDP on graphs pasted at a single vertex and use Prüfer domains to illustrate that not every edge labeled graph satisfies UDP. We show that UDP must hold for any edge labeled graph over a ring $R$ if and only if $R$ is a Prüfer domain. Lastly, we prove that UDP is preserved by isomorphisms of edge labeled graphs.
△ Less
Submitted 5 September, 2023; v1 submitted 14 June, 2022;
originally announced June 2022.
-
Virtual laser scanning with HELIOS++: A novel take on ray tracing-based simulation of topographic 3D laser scanning
Authors:
Lukas Winiwarter,
Alberto Manuel Esmorís Pena,
Hannah Weiser,
Katharina Anders,
Jorge Martínez Sanchez,
Mark Searle,
Bernhard Höfle
Abstract:
Topographic laser scanning is a remote sensing method to create detailed 3D point cloud representations of the Earth's surface. Since data acquisition is expensive, simulations can complement real data given certain premises are available: i) a model of 3D scene and scanner, ii) a model of the beam-scene interaction, simplified to a computationally feasible while physically realistic level, and ii…
▽ More
Topographic laser scanning is a remote sensing method to create detailed 3D point cloud representations of the Earth's surface. Since data acquisition is expensive, simulations can complement real data given certain premises are available: i) a model of 3D scene and scanner, ii) a model of the beam-scene interaction, simplified to a computationally feasible while physically realistic level, and iii) an application for which simulated data is fit for use. A number of laser scanning simulators for different purposes exist, which we enrich by presenting HELIOS++. HELIOS++ is an open-source simulation framework for terrestrial static, mobile, UAV-based and airborne laser scanning implemented in C++. The HELIOS++ concept provides a flexible solution for the trade-off between physical accuracy (realism) and computational complexity (runtime, memory footprint), as well as ease of use and of configuration. Unique features of HELIOS++ include the availability of Python bindings (pyhelios) for controlling simulations, and a range of model types for 3D scene representation. HELIOS++ further allows the simulation of beam divergence using a subsampling strategy, and is able to create full-waveform outputs as a basis for detailed analysis. As generation and analysis of waveforms can strongly impact runtimes, the user may set the level of detail for the subsampling, or optionally disable full-waveform output altogether. A detailed assessment of computational considerations and a comparison of HELIOS++ to its predecessor, HELIOS, reveal reduced runtimes by up to 83 %. At the same time, memory requirements are reduced by up to 94 %, allowing for much larger (i.e. more complex) 3D scenes to be loaded into memory and hence to be virtually acquired by laser scanning simulation.
△ Less
Submitted 21 January, 2021;
originally announced January 2021.
-
Electrical characterization of AMS aH18 HV-CMOS after neutrons and protons irradiation
Authors:
D M S Sultan,
Sergio Gonzalez Sevilla,
Didier Ferrere,
Giuseppe Iacobucci,
Ettore Zaffaroni,
Winnie Wong,
Mateus Vicente Barrero Pinto,
Moritz Kiehn,
Mridula Prathapan,
Felix Ehrler,
Ivan Peric,
Antonio Miucci,
John Kenneth Anders,
Armin Fehr,
Michele Weber,
Andre Schoening,
Adrian Herkert,
Heiko Augustin,
Mathieu Benoit
Abstract:
In view of the tracking detector application to the ATLAS High Luminosity LHC (HL-LHC) upgrade, we have developed a new generation of High Voltage CMOS (HV-CMOS) monolithic pixel-sensor prototypes featuring the AMS aH18 (180 nm) commercial CMOS technology. By fully integrating both analog and digital readout-circuitry on the same particle-detecting substrate, current challenges of hybrid sensor te…
▽ More
In view of the tracking detector application to the ATLAS High Luminosity LHC (HL-LHC) upgrade, we have developed a new generation of High Voltage CMOS (HV-CMOS) monolithic pixel-sensor prototypes featuring the AMS aH18 (180 nm) commercial CMOS technology. By fully integrating both analog and digital readout-circuitry on the same particle-detecting substrate, current challenges of hybrid sensor technologies, i.e., larger readout input-capacitance, lower production-yield, and higher production and integration cost, can be downscaled. The large electrode design using high-resistivity substrates actively helps to mitigate the charge-trap** effects, making these chips radiation hard. The surface and bulk damage induced in high irradiation environment change the effective do** concentration of the device, which modulates high electric fields as the reverse-bias voltage increases. This effect can cause high leakage current and premature electrical breakdown, driven by impact ionization. In order to assess the characteristics of heavily irradiated samples, we have carried out dedicated campaigns on ATLASPix1 chips that included irradiations of neutrons and protons, made at different facilities. Here, we report on the electrical characterization of the irradiated samples at different ambient conditions, also in comparison to their pre-irradiation properties. Results demonstrate that hadron irradiated devices can be safely operated at a voltage high enough to allow for high efficiency, up to the fluence of 2E15 neq/cm2, beyond the radiation levels (TID and NIEL) expected in the outermost pixel layers of the new ATLAS tracker for HL-LHC.
△ Less
Submitted 28 May, 2020; v1 submitted 15 February, 2019;
originally announced February 2019.
-
Multisource and Multitemporal Data Fusion in Remote Sensing
Authors:
Pedram Ghamisi,
Behnood Rasti,
Naoto Yokoya,
Qunming Wang,
Bernhard Hofle,
Lorenzo Bruzzone,
Francesca Bovolo,
Mingmin Chi,
Katharina Anders,
Richard Gloaguen,
Peter M. Atkinson,
Jon Atli Benediktsson
Abstract:
The sharp and recent increase in the availability of data captured by different sensors combined with their considerably heterogeneous natures poses a serious challenge for the effective and efficient processing of remotely sensed data. Such an increase in remote sensing and ancillary datasets, however, opens up the possibility of utilizing multimodal datasets in a joint manner to further improve…
▽ More
The sharp and recent increase in the availability of data captured by different sensors combined with their considerably heterogeneous natures poses a serious challenge for the effective and efficient processing of remotely sensed data. Such an increase in remote sensing and ancillary datasets, however, opens up the possibility of utilizing multimodal datasets in a joint manner to further improve the performance of the processing approaches with respect to the application at hand. Multisource data fusion has, therefore, received enormous attention from researchers worldwide for a wide variety of applications. Moreover, thanks to the revisit capability of several spaceborne sensors, the integration of the temporal information with the spatial and/or spectral/backscattering information of the remotely sensed data is possible and helps to move from a representation of 2D/3D data to 4D data structures, where the time variable adds new information as well as challenges for the information extraction algorithms. There are a huge number of research works dedicated to multisource and multitemporal data fusion, but the methods for the fusion of different modalities have expanded in different paths according to each research community. This paper brings together the advances of multisource and multitemporal data fusion approaches with respect to different research communities and provides a thorough and discipline-specific starting point for researchers at different levels (i.e., students, researchers, and senior researchers) willing to conduct novel investigations on this challenging topic by supplying sufficient detail and references.
△ Less
Submitted 19 December, 2018;
originally announced December 2018.
-
Beyond the Standard Model Physics at the HL-LHC and HE-LHC
Authors:
X. Cid Vidal,
M. D'Onofrio,
P. J. Fox,
R. Torre,
K. A. Ulmer,
A. Aboubrahim,
A. Albert,
J. Alimena,
B. C. Allanach,
C. Alpigiani,
M. Altakach,
S. Amoroso,
J. K. Anders,
J. Y. Araz,
A. Arbey,
P. Azzi,
I. Babounikau,
H. Baer,
M. J. Baker,
D. Barducci,
V. Barger,
O. Baron,
L. Barranco Navarro,
M. Battaglia,
A. Bay
, et al. (272 additional authors not shown)
Abstract:
This is the third out of five chapters of the final report [1] of the Workshop on Physics at HL-LHC, and perspectives on HE-LHC [2]. It is devoted to the study of the potential, in the search for Beyond the Standard Model (BSM) physics, of the High Luminosity (HL) phase of the LHC, defined as $3~\mathrm{ab}^{-1}$ of data taken at a centre-of-mass energy of $14~\mathrm{TeV}$, and of a possible futu…
▽ More
This is the third out of five chapters of the final report [1] of the Workshop on Physics at HL-LHC, and perspectives on HE-LHC [2]. It is devoted to the study of the potential, in the search for Beyond the Standard Model (BSM) physics, of the High Luminosity (HL) phase of the LHC, defined as $3~\mathrm{ab}^{-1}$ of data taken at a centre-of-mass energy of $14~\mathrm{TeV}$, and of a possible future upgrade, the High Energy (HE) LHC, defined as $15~\mathrm{ab}^{-1}$ of data at a centre-of-mass energy of $27~\mathrm{TeV}$. We consider a large variety of new physics models, both in a simplified model fashion and in a more model-dependent one. A long list of contributions from the theory and experimental (ATLAS, CMS, LHCb) communities have been collected and merged together to give a complete, wide, and consistent view of future prospects for BSM physics at the considered colliders. On top of the usual standard candles, such as supersymmetric simplified models and resonances, considered for the evaluation of future collider potentials, this report contains results on dark matter and dark sectors, long lived particles, leptoquarks, sterile neutrinos, axion-like particles, heavy scalars, vector-like quarks, and more. Particular attention is placed, especially in the study of the HL-LHC prospects, to the detector upgrades, the assessment of the future systematic uncertainties, and new experimental techniques. The general conclusion is that the HL-LHC, on top of allowing to extend the present LHC mass and coupling reach by $20-50\%$ on most new physics scenarios, will also be able to constrain, and potentially discover, new physics that is presently unconstrained. Moreover, compared to the HL-LHC, the reach in most observables will generally more than double at the HE-LHC, which may represent a good candidate future facility for a final test of TeV-scale new physics.
△ Less
Submitted 13 August, 2019; v1 submitted 19 December, 2018;
originally announced December 2018.
-
Graphs admitting only constant splines
Authors:
Katie Anders,
Alissa Crans,
Briana Foster-Greenwood,
Blake Mellor,
Julianna Tymoczko
Abstract:
We study {\em generalized graph splines,} introduced by Gilbert, Viel, and the last author. For a large class of rings, we characterize the graphs that only admit constant splines. To do this, we prove that if a graph has a particular type of cutset (e.g., a bridge), then the space of splines naturally decomposes as a certain direct sum of submodules. As an application, we use these results to des…
▽ More
We study {\em generalized graph splines,} introduced by Gilbert, Viel, and the last author. For a large class of rings, we characterize the graphs that only admit constant splines. To do this, we prove that if a graph has a particular type of cutset (e.g., a bridge), then the space of splines naturally decomposes as a certain direct sum of submodules. As an application, we use these results to describe splines on a triangulation studied by Zhou and Lai, but over a different ring than they used.
△ Less
Submitted 2 October, 2019; v1 submitted 30 July, 2018;
originally announced July 2018.
-
Rooted forests that avoid sets of permutations
Authors:
Katie Anders,
Kassie Archer
Abstract:
We say that an unordered rooted labeled forest avoids the pattern $π\in\mathcal{S}_n$ if the sequence obtained from the labels along the path from the root to any vertex does not contain a subsequence that is in the same relative order as $π$. We enumerate several classes of forests that avoid certain sets of permutations, including the set of unimodal forests, via bijections with set partitions w…
▽ More
We say that an unordered rooted labeled forest avoids the pattern $π\in\mathcal{S}_n$ if the sequence obtained from the labels along the path from the root to any vertex does not contain a subsequence that is in the same relative order as $π$. We enumerate several classes of forests that avoid certain sets of permutations, including the set of unimodal forests, via bijections with set partitions with certain properties. We also define and investigate an analog of Wilf-equivalence for forests.
△ Less
Submitted 28 September, 2017; v1 submitted 11 July, 2016;
originally announced July 2016.
-
Counting non-standard binary representations
Authors:
Katie Anders
Abstract:
Let $\mathcal{A}$ be a finite subset of $\mathbb{N}$ including $0$ and $f_\mathcal{A}(n)$ be the number of ways to write $n=\sum_{i=0}^{\infty}ε_i2^i$, where $ε_i\in\mathcal{A}$. We consider asymptotics of the summatory function $s_\mathcal{A}(r,m)$ of $f_\mathcal{A}(n)$ from $m2^r$ to $m2^{r+1}-1$ and show that $s_{\mathcal{A}}(r,m)\approx c(\mathcal{A},m)\left|\mathcal{A}\right|^r$ for some…
▽ More
Let $\mathcal{A}$ be a finite subset of $\mathbb{N}$ including $0$ and $f_\mathcal{A}(n)$ be the number of ways to write $n=\sum_{i=0}^{\infty}ε_i2^i$, where $ε_i\in\mathcal{A}$. We consider asymptotics of the summatory function $s_\mathcal{A}(r,m)$ of $f_\mathcal{A}(n)$ from $m2^r$ to $m2^{r+1}-1$ and show that $s_{\mathcal{A}}(r,m)\approx c(\mathcal{A},m)\left|\mathcal{A}\right|^r$ for some $c(\mathcal{A},m)\in\mathbb{Q}$.
△ Less
Submitted 3 September, 2015;
originally announced September 2015.
-
Odd behavior in the coefficients of reciprocals of binary power series
Authors:
Katherine Alexander Anders
Abstract:
Let $\mathcal{A}$ be a finite subset of $\mathbb{N}$ including $0$ and $f_\mathcal{A}(n)$ be the number of ways to write $n=\sum_{i=0}^{\infty}ε_i2^i$, where $ε_i\in\mathcal{A}$. The sequence $\left(f_\mathcal{A}(n)\right) \bmod 2$ is always periodic, and $f_\mathcal{A}(n)$ is typically more often even than odd. We give four families of sets $\left(\mathcal{A}_m\right)$ with…
▽ More
Let $\mathcal{A}$ be a finite subset of $\mathbb{N}$ including $0$ and $f_\mathcal{A}(n)$ be the number of ways to write $n=\sum_{i=0}^{\infty}ε_i2^i$, where $ε_i\in\mathcal{A}$. The sequence $\left(f_\mathcal{A}(n)\right) \bmod 2$ is always periodic, and $f_\mathcal{A}(n)$ is typically more often even than odd. We give four families of sets $\left(\mathcal{A}_m\right)$ with $\left|\mathcal{A}_m\right|=4$ such that the proportion of odd $f_{\mathcal{A}_m}(n)$'s goes to $1$ as $m\to\infty$.
△ Less
Submitted 6 November, 2014;
originally announced November 2014.
-
Congruence properties of binary partition functions
Authors:
Katherine Anders,
Melissa Dennison,
Bruce Reznick,
Jennifer Weber
Abstract:
Let A be a finite subset of the natural numbers containing 0, and let f(n) denote the number of ways to write n in the form $\sum e_j2^j$, where $\e_j \in A$. We show that there exists a computable T = T(A) so that the sequence (f(n) mod 2) is periodic with period T. Variations and generalizations of this problem are also discussed.
Let A be a finite subset of the natural numbers containing 0, and let f(n) denote the number of ways to write n in the form $\sum e_j2^j$, where $\e_j \in A$. We show that there exists a computable T = T(A) so that the sequence (f(n) mod 2) is periodic with period T. Variations and generalizations of this problem are also discussed.
△ Less
Submitted 25 February, 2011;
originally announced February 2011.