Showing 1–50 of 79 results for author: Higgins, M

Production optimization by agents of differing work rates

Authors: Peter M. Higgins

Abstract: We devise a scheme for producing, in the least possible time, $n$ identical objects with $p$ agents that work at differing speeds. This involves halting the process in order to transfer production across agent types. For the case of two types of agent, we construct a scheme based on the Euclidean algorithm that seeks to minimise the number of pauses in production. We devise a scheme for producing, in the least possible time, $n$ identical objects with $p$ agents that work at differing speeds. This involves halting the process in order to transfer production across agent types. For the case of two types of agent, we construct a scheme based on the Euclidean algorithm that seeks to minimise the number of pauses in production. △ Less

Submitted 11 April, 2024; v1 submitted 13 October, 2023; originally announced October 2023.

Comments: 23 pages, 2 figures

MSC Class: 90C27

Finite regular semigroups with permutations that map elements to inverses

Authors: Peter M. Higgins

Abstract: We give an account on what is known on the subject of permutation matchings, which are bijections of a finite regular semigroup that map each element to one of its inverses. This includes partial solutions to some open questions, including a related novel combinatorial problem. We give an account on what is known on the subject of permutation matchings, which are bijections of a finite regular semigroup that map each element to one of its inverses. This includes partial solutions to some open questions, including a related novel combinatorial problem. △ Less

Submitted 25 September, 2023; originally announced September 2023.

Demystifying Statistical Matching Algorithms for Big Data

Authors: Sanjeewani Weerasingha, Michael J. Higgins

Abstract: Statistical matching is an effective method for estimating causal effects in which treated units are paired with control units with ``similar'' values of confounding covariates prior to performing estimation. In this way, matching helps isolate the effect of treatment on response from effects due to the confounding covariates. While there are a large number of software packages to perform statisti… ▽ More Statistical matching is an effective method for estimating causal effects in which treated units are paired with control units with ``similar'' values of confounding covariates prior to performing estimation. In this way, matching helps isolate the effect of treatment on response from effects due to the confounding covariates. While there are a large number of software packages to perform statistical matching, the algorithms and techniques used to solve statistical matching problems -- especially matching without replacement -- are not widely understood. In this paper, we describe in detail commonly-used algorithms and techniques for solving statistical matching problems. We focus in particular on the efficiency of these algorithms as the number of observations grow large. We advocate for the further development of statistical matching methods that impose and exploit ``sparsity'' -- by greatly restricting the available matches for a given treated unit -- as this may be critical to ensure scalability of matching methods as data sizes grow large. △ Less

Submitted 11 September, 2023; originally announced September 2023.

Estimation of Causal Effects Under K-Nearest Neighbors Interference

Authors: Samirah Alzubaidi, Michael J. Higgins

Abstract: Considerable recent work has focused on methods for analyzing experiments which exhibit treatment interference -- that is, when the treatment status of one unit may affect the response of another unit. Such settings are common in experiments on social networks. We consider a model of treatment interference -- the K-nearest neighbors interference model (KNNIM) -- for which the response of one unit… ▽ More Considerable recent work has focused on methods for analyzing experiments which exhibit treatment interference -- that is, when the treatment status of one unit may affect the response of another unit. Such settings are common in experiments on social networks. We consider a model of treatment interference -- the K-nearest neighbors interference model (KNNIM) -- for which the response of one unit depends not only on the treatment status given to that unit, but also the treatment status of its $K$ ``closest'' neighbors. We derive causal estimands under KNNIM in a way that allows us to identify how each of the $K$-nearest neighbors contributes to the indirect effect of treatment. We propose unbiased estimators for these estimands and derive conservative variance estimates for these unbiased estimators. We then consider extensions of these estimators under an assumption of no weak interaction between direct and indirect effects. We perform a simulation study to determine the efficacy of these estimators under different treatment interference scenarios. We apply our methodology to an experiment designed to assess the impact of a conflict-reducing program in middle schools in New Jersey, and we give evidence that the effect of treatment propagates primarily through a unit's closest connection. △ Less

Submitted 27 July, 2023; originally announced July 2023.

Incentive-weighted Anomaly Detection for False Data Injection Attacks Against Smart Meter Load Profiles

Authors: Martin Higgins, Bruce Stephen, David Wallom

Abstract: Spot pricing is often suggested as a method of increasing demand-side flexibility in electrical power load. However, few works have considered the vulnerability of spot pricing to financial fraud via false data injection (FDI) style attacks. In this paper, we consider attacks which aim to alter the consumer load profile to exploit intraday price dips. We examine an anomaly detection protocol for c… ▽ More Spot pricing is often suggested as a method of increasing demand-side flexibility in electrical power load. However, few works have considered the vulnerability of spot pricing to financial fraud via false data injection (FDI) style attacks. In this paper, we consider attacks which aim to alter the consumer load profile to exploit intraday price dips. We examine an anomaly detection protocol for cyber-attacks that seek to leverage spot prices for financial gain. In this way we outline a methodology for detecting attacks on industrial load smart meters. We first create a feature clustering model of the underlying business, segregated by business type. We then use these clusters to create an incentive-weighted anomaly detection protocol for false data attacks against load profiles. This clustering-based methodology incorporates both the load profile and spot pricing considerations for the detection of injected load profiles. To reduce false positives, we model incentive-based detection, which includes knowledge of spot prices, into the anomaly tracking, enabling the methodology to account for changes in the load profile which are unlikely to be attacks. △ Less

Submitted 25 January, 2023; originally announced January 2023.

Spatial-Temporal Anomaly Detection for Sensor Attacks in Autonomous Vehicles

Authors: Martin Higgins, Devki Jha, David Wallom

Abstract: Time-of-flight (ToF) distance measurement devices such as ultrasonics, LiDAR and radar are widely used in autonomous vehicles for environmental perception, navigation and assisted braking control. Despite their relative importance in making safer driving decisions, these devices are vulnerable to multiple attack types including spoofing, triggering and false data injection. When these attacks are… ▽ More Time-of-flight (ToF) distance measurement devices such as ultrasonics, LiDAR and radar are widely used in autonomous vehicles for environmental perception, navigation and assisted braking control. Despite their relative importance in making safer driving decisions, these devices are vulnerable to multiple attack types including spoofing, triggering and false data injection. When these attacks are successful they can compromise the security of autonomous vehicles leading to severe consequences for the driver, nearby vehicles and pedestrians. To handle these attacks and protect the measurement devices, we propose a spatial-temporal anomaly detection model \textit{STAnDS} which incorporates a residual error spatial detector, with a time-based expected change detection. This approach is evaluated using a simulated quantitative environment and the results show that \textit{STAnDS} is effective at detecting multiple attack types. △ Less

Submitted 15 December, 2022; originally announced December 2022.

Equationally defined classes of semigroups

Authors: Peter M. Higgins, Marcel Jackson

Abstract: We apply, in the context of semigroups, the main theorem from~\cite{higjac} that an elementary class $\mathcal{C}$ of algebras which is closed under the taking of direct products and homomorphic images is defined by systems of equations. We prove a dual to the Birkhoff theorem in that if the class is also closed under the taking of containing semigroups, some basis of equations of $\mathcal{C}$ is… ▽ More We apply, in the context of semigroups, the main theorem from~\cite{higjac} that an elementary class $\mathcal{C}$ of algebras which is closed under the taking of direct products and homomorphic images is defined by systems of equations. We prove a dual to the Birkhoff theorem in that if the class is also closed under the taking of containing semigroups, some basis of equations of $\mathcal{C}$ is free of the $\forall$ quantifier. Examples are given of EHP-classes that require more than two quantifiers in some equation of any equational basis. △ Less

Submitted 23 August, 2023; v1 submitted 5 December, 2022; originally announced December 2022.

Comments: To appear in Semigroup Forum

MSC Class: Primary: 20M07; Secondary: 03C05; 20M17

Perspectives on few-body cluster structures in exotic nuclei

Authors: D. Bazin, K. Becker, F. Bonaiti, Ch. Elster, K. Fossez, T. Frederico, A. Gnech, C. Hebborn, M. Higgins, L. Hlophe, B. Kay, S. König, K. Kravvaris, J. Lubian, A. Macchiavelli, F. Nunes, L. Platter, G. Potel, X. Zhang

Abstract: It is a fascinating phenomenon in nuclear physics that states with a pronounced few-body structure can emerge from the complex dynamics of many nucleons. Such halo or cluster states often appear near the boundaries of nuclear stability. As such, they are an important part of the experimental program beginning at the Facility for Rare Isotope Beams (FRIB). A concerted effort of theory and experimen… ▽ More It is a fascinating phenomenon in nuclear physics that states with a pronounced few-body structure can emerge from the complex dynamics of many nucleons. Such halo or cluster states often appear near the boundaries of nuclear stability. As such, they are an important part of the experimental program beginning at the Facility for Rare Isotope Beams (FRIB). A concerted effort of theory and experiment is necessary both to analyze experiments involving effective few-body states, as well as to constrain and refine theories of the nuclear force in light of new data from these experiments. As a contribution to exactly this effort, this paper compiles a collection of ``perspectives'' that emerged out of the Topical Program ``Few-body cluster structures in exotic nuclei and their role in FRIB experiments'' that was held at FRIB in August 2022 and brought together theorists and experimentalists working on this topic. △ Less

Submitted 25 May, 2023; v1 submitted 11 November, 2022; originally announced November 2022.

Comments: This version should match the published one

Journal ref: Few-Body Syst. 64, 25 (2023)

A Joint Roman Space Telescope and Rubin Observatory Synthetic Wide-Field Imaging Survey

Authors: M. A. Troxel, C. Lin, A. Park, C. Hirata, R. Mandelbaum, M. Jarvis, A. Choi, J. Givans, M. Higgins, B. Sanchez, M. Yamamoto, H. Awan, J. Chiang, O. Dore, C. W. Walter, T. Zhang, J. Cohen-Tanugi, E. Gawiser, A. Hearin, K. Heitmann, M. Ishak, E. Kovacs, Y. -Y. Mao, M. Wood-Vasey, the LSST Dark Energy Science Collaboration

Abstract: We present and validate 20 deg$^2$ of overlap** synthetic imaging surveys representing the full depth of the Nancy Grace Roman Space Telescope High-Latitude Imaging Survey (HLIS) and five years of observations of the Vera C. Rubin Observatory Legacy Survey of Space and Time (LSST). The two synthetic surveys are summarized, with reference to the existing 300 deg$^2$ of LSST simulated imaging prod… ▽ More We present and validate 20 deg$^2$ of overlap** synthetic imaging surveys representing the full depth of the Nancy Grace Roman Space Telescope High-Latitude Imaging Survey (HLIS) and five years of observations of the Vera C. Rubin Observatory Legacy Survey of Space and Time (LSST). The two synthetic surveys are summarized, with reference to the existing 300 deg$^2$ of LSST simulated imaging produced as part of Dark Energy Science Collaboration (DESC) Data Challenge 2 (DC2). Both synthetic surveys observe the same simulated DESC DC2 universe. For the synthetic Roman survey, we simulate for the first time fully chromatic images along with the detailed physics of the Sensor Chip Assemblies derived from lab measurements using the flight detectors. The simulated imaging and resulting pixel-level measurements of photometric properties of objects span a wavelength range of $\sim$0.3 to 2.0 $μ$m. We also describe updates to the Roman simulation pipeline, changes in how astrophysical objects are simulated relative to the original DC2 simulations, and the resulting simulated Roman data products. We use these simulations to explore the relative fraction of unrecognized blends in LSST images, finding that 20-30% of objects identified in LSST images with $i$-band magnitudes brighter than 25 can be identified as multiple objects in Roman images. These simulations provide a unique testing ground for the development and validation of joint pixel-level analysis techniques of ground- and space-based imaging data sets in the second half of the 2020s -- in particular the case of joint Roman--LSST analyses. △ Less

Submitted 14 September, 2022; originally announced September 2022.

Set Norm and Equivariant Skip Connections: Putting the Deep in Deep Sets

Authors: Lily H. Zhang, Veronica Tozzo, John M. Higgins, Rajesh Ranganath

Abstract: Permutation invariant neural networks are a promising tool for making predictions from sets. However, we show that existing permutation invariant architectures, Deep Sets and Set Transformer, can suffer from vanishing or exploding gradients when they are deep. Additionally, layer norm, the normalization of choice in Set Transformer, can hurt performance by removing information useful for predictio… ▽ More Permutation invariant neural networks are a promising tool for making predictions from sets. However, we show that existing permutation invariant architectures, Deep Sets and Set Transformer, can suffer from vanishing or exploding gradients when they are deep. Additionally, layer norm, the normalization of choice in Set Transformer, can hurt performance by removing information useful for prediction. To address these issues, we introduce the clean path principle for equivariant residual connections and develop set norm, a normalization tailored for sets. With these, we build Deep Sets++ and Set Transformer++, models that reach high depths with comparable or better performance than their original counterparts on a diverse suite of tasks. We additionally introduce Flow-RBC, a new single-cell dataset and real-world application of permutation invariant prediction. We open-source our data and code here: https://github.com/rajesh-lab/deep_permutation_invariant. △ Less

Submitted 13 July, 2022; v1 submitted 23 June, 2022; originally announced June 2022.

Comments: Accepted at ICML 2022

Three and four identical fermions near the unitary limit

Authors: Michael D. Higgins, Chris H. Greene

Abstract: This work analyzes the three and four equal-mass fermionic systems near and at the $s$- and $p$-wave unitary limits using hyperspherical methods. The unitary regime addressed here is where the two-body dimer energy is at zero energy. For fermionic systems near the $s$-wave unitary limit, the hyperradial potentials in the $N$-body continuum exhibit a universal long-range $R^{-3}$ behavior governed… ▽ More This work analyzes the three and four equal-mass fermionic systems near and at the $s$- and $p$-wave unitary limits using hyperspherical methods. The unitary regime addressed here is where the two-body dimer energy is at zero energy. For fermionic systems near the $s$-wave unitary limit, the hyperradial potentials in the $N$-body continuum exhibit a universal long-range $R^{-3}$ behavior governed by the $s$-wave scattering length alone. The implications of this behavior on the low energy phase shift are discussed. At the $p$-wave unitary limit, the four-body system is studied through a qualitative look at the structure of the hyperradial potentials at unitarity for the $L^π=0^{+}$ symmetry. A quantitative analysis shows that there are tetramer states in the lowest hyperradial potentials for these systems. Correlations are made between these tetramers and the corresponding trimers in the two-body fragmentation channels. Universal properties related to the four-body recombination process $\mathrm{A+A+A+A}\leftrightarrow \mathrm{A_3+A}$ are discussed. △ Less

Submitted 7 July, 2022; v1 submitted 9 May, 2022; originally announced May 2022.

Comments: Version 2, 13 figures

Blending Data and Physics Against False Data Injection Attack: An Event-Triggered Moving Target Defence Approach

Authors: Wangkun Xu, Martin Higgins, Jianhong Wang, Imad M. Jaimoukha, Fei Teng

Abstract: Fast and accurate detection of cyberattacks is a key element for a cyber-resilient power system. Recently, data-driven detectors and physics-based Moving Target Defences (MTD) have been proposed to detect false data injection (FDI) attacks on state estimation. However, the uncontrollable false positive rate of the data-driven detector and the extra cost of frequent MTD usage limit their wide appli… ▽ More Fast and accurate detection of cyberattacks is a key element for a cyber-resilient power system. Recently, data-driven detectors and physics-based Moving Target Defences (MTD) have been proposed to detect false data injection (FDI) attacks on state estimation. However, the uncontrollable false positive rate of the data-driven detector and the extra cost of frequent MTD usage limit their wide applications. Few works have explored the overlap between these two areas. To fill this gap, this paper proposes blending data-driven and physics-based approaches to enhance the detection performance. To start, a physics-informed data-driven attack detection and identification algorithm is proposed. Then, an MTD protocol is triggered by the positive alarm from the data-driven detector. The MTD is formulated as a bilevel optimisation to robustly guarantee its effectiveness against the worst-case attack around the identified attack vector. Meanwhile, MTD hiddenness is also improved so that the defence cannot be detected by the attacker. To guarantee feasibility and convergence, the convex two-stage reformulation is derived through duality and linear matrix inequality. The simulation results verify that blending data and physics can achieve extremely high detection rate while simultaneously reducing the false positive rate of the data-driven detector and the extra cost of MTD. All codes are available at https://github.com/xuwkk/DDET-MTD. △ Less

Submitted 21 December, 2022; v1 submitted 27 April, 2022; originally announced April 2022.

Automated speech tools for hel** communities process restricted-access corpora for language revival efforts

Authors: Nay San, Martijn Bartelds, Tolúlopé Ògúnrèmí, Alison Mount, Ruben Thompson, Michael Higgins, Roy Barker, Jane Simpson, Dan Jurafsky

Abstract: Many archival recordings of speech from endangered languages remain unannotated and inaccessible to community members and language learning programs. One bottleneck is the time-intensive nature of annotation. An even narrower bottleneck occurs for recordings with access constraints, such as language that must be vetted or filtered by authorised community members before annotation can begin. We pro… ▽ More Many archival recordings of speech from endangered languages remain unannotated and inaccessible to community members and language learning programs. One bottleneck is the time-intensive nature of annotation. An even narrower bottleneck occurs for recordings with access constraints, such as language that must be vetted or filtered by authorised community members before annotation can begin. We propose a privacy-preserving workflow to widen both bottlenecks for recordings where speech in the endangered language is intermixed with a more widely-used language such as English for meta-linguistic commentary and questions (e.g. What is the word for 'tree'?). We integrate voice activity detection (VAD), spoken language identification (SLI), and automatic speech recognition (ASR) to transcribe the metalinguistic content, which an authorised person can quickly scan to triage recordings that can be annotated by people with lower levels of access. We report work-in-progress processing 136 hours archival audio containing a mix of English and Muruwari. Our collaborative work with the Muruwari custodian of the archival materials show that this workflow reduces metalanguage transcription time by 20% even given only minimal amounts of annotated training data: 10 utterances per language for SLI and for ASR at most 39 minutes, and possibly as little as 39 seconds. △ Less

Submitted 24 April, 2022; v1 submitted 14 April, 2022; originally announced April 2022.

Comments: Accepted at ComputEL-5

Localizing Sources of Variability in Crowded TESS Photometry

Authors: Michael E. Higgins, Keaton J. Bell

Abstract: The Transiting Exoplanet Survey Satellite (TESS) has an exceptionally large plate scale of 21"/px, causing most TESS light curves to record the blended light of multiple stars. This creates a danger of misattributing variability observed by TESS to the wrong source, which would invalidate any analysis. We develop a method that can localize the origin of variability on the sky to better than one fi… ▽ More The Transiting Exoplanet Survey Satellite (TESS) has an exceptionally large plate scale of 21"/px, causing most TESS light curves to record the blended light of multiple stars. This creates a danger of misattributing variability observed by TESS to the wrong source, which would invalidate any analysis. We develop a method that can localize the origin of variability on the sky to better than one fifth of a pixel. Given measured frequencies of observed variability (e.g., from periodogram analysis), we show that the corresponding best-fit sinusoid amplitudes to raw light curves extracted from each pixel are distributed the same as light from the variable source. The primary assumption of this method is that other nearby stars are not variable at the same frequencies. Essentially, we are using the high frequency resolution of TESS to overcome limitations from its low spatial resolution. We have implemented our method in an open source Python package, TESS Localize (github.com/Higgins00/TESS-Localize), that determines the location of a variable source on the sky given TESS pixel data and a set of observed frequencies of variability. Our method utilizes the TESS Pixel Response Function models, and we characterize systematics in the residuals of fitting these models to data. Given the ubiquity of source blending in TESS light curves, verifying the source of observed variability should be a standard step in TESS analyses. △ Less

Submitted 18 April, 2023; v1 submitted 12 April, 2022; originally announced April 2022.

Comments: 17 pages, 13 figures, accepted by AJ, software located at github.com/Higgins00/TESS-Localize

Detecting Treatment Interference under the K-Nearest-Neighbors Interference Model

Authors: Samirah H. Alzubaidi, Michael J. Higgins

Abstract: We propose a model of treatment interference where the response of a unit depends only on its treatment status and the statuses of units within its K-neighborhood. Current methods for detecting interference include carefully designed randomized experiments and conditional randomization tests on a set of focal units. We give guidance on how to choose focal units under this model of interference. We… ▽ More We propose a model of treatment interference where the response of a unit depends only on its treatment status and the statuses of units within its K-neighborhood. Current methods for detecting interference include carefully designed randomized experiments and conditional randomization tests on a set of focal units. We give guidance on how to choose focal units under this model of interference. We then conduct a simulation study to evaluate the efficacy of existing methods for detecting network interference. We show that this choice of focal units leads to powerful tests of treatment interference which outperform current experimental methods. △ Less

Submitted 22 October, 2023; v1 submitted 30 March, 2022; originally announced March 2022.

Cyber-Physical Risk Assessment for False Data Injection Attacks Considering Moving Target Defences

Authors: Martin Higgins, Wangkun Xu, Fei Teng, Thomas Parisini

Abstract: In this paper, we examine the factors that influence the success of false data injection (FDI) attacks in the context of both cyber and physical styles of reinforcement. Many works consider the FDI attack in the context of the ability to change a measurement in a static system only. However, successful attacks will require first intrusion into a system followed by construction of an attack vector… ▽ More In this paper, we examine the factors that influence the success of false data injection (FDI) attacks in the context of both cyber and physical styles of reinforcement. Many works consider the FDI attack in the context of the ability to change a measurement in a static system only. However, successful attacks will require first intrusion into a system followed by construction of an attack vector that can bypass bad data detection (BDD). In this way, we develop a full service framework for FDI risk assessment. The framework considers both the costs of system intrusion via a weighted graph assessment in combination with a physical, line overload-based vulnerability assessment. We present our simulations on a IEEE 14-bus system with an overlain RTU network to model the true risk of intrusion. The cyber model considers multiple methods of entry for the FDI attack including meter intrusion, RTU intrusion and combined style attacks. Post-intrusion our physical reinforcement model analyses the required level of topology divergence to protect against a branch overload from an optimised attack vector. △ Less

Submitted 20 September, 2022; v1 submitted 22 February, 2022; originally announced February 2022.

Orientation-preserving and orientation-reversing map**s: a new description

Authors: Peter M. Higgins, Alexei Vernitski

Abstract: We characterise the respective semigroups of map**s that preserve, or that preserve or reverse orientation of a finite cycle, in terms of their actions on oriented triples and oriented quadruples. This leads to a proof that the latter semigroup coincides with the semigroup of all map**s that preserve intersections of chords on the corresponding circle. We characterise the respective semigroups of map**s that preserve, or that preserve or reverse orientation of a finite cycle, in terms of their actions on oriented triples and oriented quadruples. This leads to a proof that the latter semigroup coincides with the semigroup of all map**s that preserve intersections of chords on the corresponding circle. △ Less

Submitted 15 January, 2022; originally announced January 2022.

Comments: 5 pages, 1 figure

MSC Class: 20M20

Actionable Conversational Quality Indicators for Improving Task-Oriented Dialog Systems

Authors: Michael Higgins, Dominic Widdows, Chris Brew, Gwen Christian, Andrew Maurer, Matthew Dunn, Sujit Mathi, Akshay Hazare, George Bonev, Beth Ann Hockey, Kristen Howell, Joe Bradley

Abstract: Automatic dialog systems have become a mainstream part of online customer service. Many such systems are built, maintained, and improved by customer service specialists, rather than dialog systems engineers and computer programmers. As conversations between people and machines become commonplace, it is critical to understand what is working, what is not, and what actions can be taken to reduce the… ▽ More Automatic dialog systems have become a mainstream part of online customer service. Many such systems are built, maintained, and improved by customer service specialists, rather than dialog systems engineers and computer programmers. As conversations between people and machines become commonplace, it is critical to understand what is working, what is not, and what actions can be taken to reduce the frequency of inappropriate system responses. These analyses and recommendations need to be presented in terms that directly reflect the user experience rather than the internal dialog processing. This paper introduces and explains the use of Actionable Conversational Quality Indicators (ACQIs), which are used both to recognize parts of dialogs that can be improved, and to recommend how to improve them. This combines benefits of previous approaches, some of which have focused on producing dialog quality scoring while others have sought to categorize the types of errors the dialog system is making. We demonstrate the effectiveness of using ACQIs on LivePerson internal dialog systems used in commercial customer service applications, and on the publicly available CMU LEGOv2 conversational dataset (Raux et al. 2005). We report on the annotation and analysis of conversational datasets showing which ACQIs are important to fix in various situations. The annotated datasets are then used to build a predictive model which uses a turn-based vector embedding of the message texts and achieves an 79% weighted average f1-measure at the task of finding the correct ACQI for a given conversation. We predict that if such a model worked perfectly, the range of potential improvement actions a bot-builder must consider at each turn could be reduced by an average of 81%. △ Less

Submitted 22 September, 2021; originally announced September 2021.

Pulsating hydrogen-deficient white dwarfs and pre-white dwarfs observed with TESS II. Discovery of two new GW Vir stars: TIC333432673 and TIC095332541

Authors: Murat Uzundag, Alejandro H. Córsico, S. O. Kepler, Leandro G. Althaus, Klaus Werner, Nicole Reindl, Keaton J. Bell, Michael Higgins, Gabriela O. da Rosa, Maja Vučković, Alina Istrate

Abstract: In this paper, we present the observations of two new GW Vir stars from the extended \textit{TESS} mission in both 120\,s short-cadence and 20\,s ultra-short-cadence mode of two pre-white dwarf stars showing hydrogen deficiency. We performed an asteroseismological analysis of these stars on the basis of PG~1159 evolutionary models that take into account the complete evolution of the progenitor sta… ▽ More In this paper, we present the observations of two new GW Vir stars from the extended \textit{TESS} mission in both 120\,s short-cadence and 20\,s ultra-short-cadence mode of two pre-white dwarf stars showing hydrogen deficiency. We performed an asteroseismological analysis of these stars on the basis of PG~1159 evolutionary models that take into account the complete evolution of the progenitor stars. We searched for patterns of uniform period spacings in order to constrain the stellar mass of the stars, and employed the individual observed periods to search for a representative seismological model. The analysis of the {\it TESS} light curves of TIC\,333432673 and TIC\,095332541 reveals the presence of several oscillations with periods ranging from 350 to 500~s associated to typical gravity ($g$)-modes. From follow-up ground-based spectroscopy, we find that both stars have similar effective temperature ($T_\mathrm{eff} = 120,000 \pm 10,000$\,K) and surface gravity ($\log g = 7.5 \pm 0.5$) but a different He/C composition. On the basis of PG~1159 evolutionary tracks, we derived a spectroscopic mass of $M_{\star}$ = $0.58^{+0.16}_{-0.08}\,M_{\odot}$ for both stars. Our asteroseismological analysis of TIC\,333432673 allowed us to find a constant period spacing compatible with a stellar mass $M_{\star}\sim 0.60-0.61\,M_{\odot}$, and an asteroseismological model for this star with a stellar mass $M_{\star}$ = $0.589\pm 0.020$ $M_{\odot}$, and a seismological distance of $d= 459^{+188}_{-156}$ pc. For this star, we find an excellent agreement between the different methods to infer the stellar mass, and also between the seismological distance and that measured with {\it Gaia} ($d_{\rm Gaia}= 389^{+5.6}_{-5.2}$ pc). For TIC\,095332541, we have found a possible period spacing that suggests a stellar mass of $M_{\star}\sim 0.55-0.57\,M_{\odot}$. △ Less

Submitted 25 August, 2021; originally announced August 2021.

Comments: 12 pages, 13 figures, Accepted for publication in A&A. arXiv admin note: text overlap with arXiv:2011.03629

Journal ref: A&A 655, A27 (2021)

The Biker-hiker problem

Authors: Peter M. Higgins

Abstract: There are n travellers who have k bicycles and they wish to complete a journey in the shortest possible time. We investigate optimal solutions of this problem, showing they are characterized by a set of words in the Dyck language. Particular solutions with additional desirable properties are introduced and analysed. There are n travellers who have k bicycles and they wish to complete a journey in the shortest possible time. We investigate optimal solutions of this problem, showing they are characterized by a set of words in the Dyck language. Particular solutions with additional desirable properties are introduced and analysed. △ Less

Submitted 6 September, 2022; v1 submitted 18 April, 2021; originally announced April 2021.

Comments: Accepted by J. of Combinatorics, 5/September/2022

MSC Class: 05A99

Locational Marginal Pricing: Towards a Free Market in Power

Authors: Martin Higgins

Abstract: Nothing has done more to empower the free market, enterprise, and meritocracy than the spread of electricity and power to everyone. The power system has been the precursor to the greatest period of innovation in our history and has meant that visionaries with revolutionary ideas can compete with those with capital, political power, and means. Electricity, therefore, has been the great equalising f… ▽ More Nothing has done more to empower the free market, enterprise, and meritocracy than the spread of electricity and power to everyone. The power system has been the precursor to the greatest period of innovation in our history and has meant that visionaries with revolutionary ideas can compete with those with capital, political power, and means. Electricity, therefore, has been the great equalising force of the last 150 years, enhancing the productivity of the masses and granting prosperity to whole swathes of our nation. Whilst electricity has been one of the single largest innovations in enhancing the power of free markets, it is somewhat ironic that the way power is sold to consumers is largely unfree. The market is highly regulated, centralised, and is often used for political football by cynical politicians on both sides of the political spectrum. Introducing Locational Marginal Pricing into the UK grid system will increase economic freedom in the consumer markets for power, reduce prices for the poorest in the UK, decrease transmission losses, increase the permeation of low carbon generation in the grid, and incentivise investment in the UK's Northern Powerhouse initiative. △ Less

Submitted 5 March, 2021; originally announced March 2021.

Topology Learning Aided False Data Injection Attack without Prior Topology Information

Authors: Martin Higgins, Jiawei Zhang, Ning Zhang, Fei Teng

Abstract: False Data Injection (FDI) attacks against powersystem state estimation are a growing concern for operators.Previously, most works on FDI attacks have been performedunder the assumption of the attacker having full knowledge ofthe underlying system without clear justification. In this paper, wedevelop a topology-learning-aided FDI attack that allows stealthycyber-attacks against AC power system sta… ▽ More False Data Injection (FDI) attacks against powersystem state estimation are a growing concern for operators.Previously, most works on FDI attacks have been performedunder the assumption of the attacker having full knowledge ofthe underlying system without clear justification. In this paper, wedevelop a topology-learning-aided FDI attack that allows stealthycyber-attacks against AC power system state estimation withoutprior knowledge of system information. The attack combinestopology learning technique, based only on branch and bus powerflows, and attacker-side pseudo-residual assessment to performstealthy FDI attacks with high confidence. This paper, for thefirst time, demonstrates how quickly the attacker can developfull-knowledge of the grid topology and parameters and validatesthe full knowledge assumptions in the previous work. △ Less

Submitted 24 February, 2021; originally announced February 2021.

A new formulation of the semigroup of orientation-preserving and orientation-reversing map**s

Authors: Peter M. Higgins, Alexei Vernitski

Abstract: We characterize the respective semigroups of map**s that preserve, or that preserve or reverse orientation of a finite cycle, in terms of their actions on oriented triples and oriented quadruples. This leads to a proof that the latter semigroup coincides with the semigroup of all map**s that preserve intersections of chords on the corresponding circle. We characterize the respective semigroups of map**s that preserve, or that preserve or reverse orientation of a finite cycle, in terms of their actions on oriented triples and oriented quadruples. This leads to a proof that the latter semigroup coincides with the semigroup of all map**s that preserve intersections of chords on the corresponding circle. △ Less

Submitted 15 January, 2022; v1 submitted 23 November, 2020; originally announced November 2020.

Comments: This article has been superseded by arXiv:2201.05879

MSC Class: 20M20

A Comprehensive Study of the Three- and Four-Neutron Systems at Low Energies

Authors: Michael D. Higgins, Chris H. Greene, Alejandro Kievsky, Michele Viviani

Abstract: This work presents further analysis of the three- and four-neutron systems in the low energy regime using adiabatic hyperspherical methods. In our previous Phys. Rev. Lett. article (Phys. Rev. Lett. 125, 052501 (2020)), the low-energy behavior of these neutron systems was treated in the adiabatic approximation, neglecting the off-diagonal non-adiabatic couplings. A thorough analysis of the density… ▽ More This work presents further analysis of the three- and four-neutron systems in the low energy regime using adiabatic hyperspherical methods. In our previous Phys. Rev. Lett. article (Phys. Rev. Lett. 125, 052501 (2020)), the low-energy behavior of these neutron systems was treated in the adiabatic approximation, neglecting the off-diagonal non-adiabatic couplings. A thorough analysis of the density of states through a multi-channel treatment of the three-and four-neutron scattering near the scattering continuum threshold is performed, showing no evidence of a 4n resonance at low energy. A detailed analysis of the long-range behavior of the lowest few adiabatic hyperspherical potentials shows there is an attractive $ρ^{-3}$ universal behavior which dominates in the low-energy regime of the multi-channel scattering. This long-range behavior leads to a divergent behavior of the density of state for $E\rightarrow0$ that could account for the low-energy signal observed in the 2016 experiment by Kisamori et al. (Phys. Rev. Lett. 116, 052501 (2016)). △ Less

Submitted 23 November, 2020; originally announced November 2020.

Journal ref: Phys. Rev. C 103, 024004 (2021)

Pulsating hydrogen-deficient white dwarfs and pre-white dwarfs observed with TESS: I. Asteroseismology of the GW Vir stars RX J2117+3412, HS 2324+3944, NGC 6905, NGC 1501, NGC 2371, and K 1-16

Authors: Alejandro H. Córsico, Murat Uzundag, S. O. Kepler, Leandro G. Althaus, Roberto Silvotti, Andrzej S. Baran, Maja Vučković, Klaus Werner, Keaton J. Bell, Michael Higgins

Abstract: In this paper, we present a detailed asteroseismological analysis of six GW Vir stars including the observations collected by the TESS mission. We processed and analyzed TESS observations of RX J2117+3412, HS 2324+3944, NGC 6905, NGC 1501, NGC 2371, and K 1-16. We carried out a detailed asteroseismological analysis of these stars on the basis of PG 1159 evolutionary models that take into account t… ▽ More In this paper, we present a detailed asteroseismological analysis of six GW Vir stars including the observations collected by the TESS mission. We processed and analyzed TESS observations of RX J2117+3412, HS 2324+3944, NGC 6905, NGC 1501, NGC 2371, and K 1-16. We carried out a detailed asteroseismological analysis of these stars on the basis of PG 1159 evolutionary models that take into account the complete evolution of the progenitor stars. In total, we extracted 58 periodicities from the TESS light curves using a standard pre-whitening procedure to derive the potential pulsation frequencies. All the oscillation frequencies that we found are associated with g-mode pulsations with periods spanning from $\sim 817$ s to $\sim 2682$ s. We find constant period spacings for all but one star, which allowed us to infer their stellar masses and constrain the harmonic degree $\ell$ of the modes. We performed period-to-period fit analyses on five of the six analyzed stars. For four stars, we were able to find an asteroseismological model with masses in agreement with the stellar-mass values inferred from the period spacings, and generally compatible with the spectroscopic masses. We estimated the seismological distance and compared it with the precise astrometric distance measured with GAIA. Finally, we find that the period spectrum of K 1-16 exhibits dramatic changes in frequency and amplitude. The high-quality data collected by the TESS space mission, considered simultaneously with ground-based observations, are able to provide a very valuable input to the asteroseismology of GW Vir stars, similar to the case of other classes of pulsating white-dwarf stars. The TESS mission, in conjunction with future space missions and upcoming surveys, will make impressive progress in white-dwarf asteroseismology. △ Less

Submitted 6 November, 2020; originally announced November 2020.

Comments: 34 pages, 33 figures, 21 tables. Accepted for publication in Astronomy and Astrophysics

Journal ref: A&A 645, A117 (2021)

Enhanced Cyber-Physical Security Using Attack-resistant Cyber Nodes and Event-triggered Moving Target Defence

Authors: Martin Higgins, Keith Mayes, Fei Teng

Abstract: This paper outlines a cyber-physical authentication strategy to protect power system infrastructure against false data injection (FDI) attacks. We demonstrate that it is feasible to use small, low-cost, yet highly attack-resistant security chips as measurement nodes, enhanced with an event-triggered moving target defence (MTD), to offer effective cyber-physical security. At the cyber layer, the pr… ▽ More This paper outlines a cyber-physical authentication strategy to protect power system infrastructure against false data injection (FDI) attacks. We demonstrate that it is feasible to use small, low-cost, yet highly attack-resistant security chips as measurement nodes, enhanced with an event-triggered moving target defence (MTD), to offer effective cyber-physical security. At the cyber layer, the proposed solution is based on the MULTOS Trust-Anchor chip, using an authenticated encryption protocol, offering cryptographically protected and chained reports at up to 12/s. The availability of the trust-anchors, allows the grid controller to delegate aspects of passive anomaly detection, supporting local as well as central alarms. In this context, a distributed event-triggered MTD protocol is implemented at the physical layer to complement cyber side enhancement. This protocol applies a distributed anomaly detection scheme based on Holt-Winters seasonal forecasting in combination with MTD implemented via inductance perturbation. The scheme is shown to be effective at preventing or detecting a wide range of attacks against power system measurement system. △ Less

Submitted 30 October, 2020; v1 submitted 27 October, 2020; originally announced October 2020.

Non-resonant Density of States Enhancement at Low Energies for Three or Four Neutrons

Authors: Michael D. Higgins, Chris H. Greene, Alejandro Kievsky, Michele Viviani

Abstract: The low energy systems of three or four neutrons are treated within the adiabatic hyperspherical framework, yielding an understanding of the low energy quantum states in terms of an adiabatic potential energy curve. The dominant low energy potential curve for each system, computed here using widely accepted nucleon-nucleon interactions with and without the inclusion of a three-nucleon force, shows… ▽ More The low energy systems of three or four neutrons are treated within the adiabatic hyperspherical framework, yielding an understanding of the low energy quantum states in terms of an adiabatic potential energy curve. The dominant low energy potential curve for each system, computed here using widely accepted nucleon-nucleon interactions with and without the inclusion of a three-nucleon force, shows no sign of a low energy resonance. However, both systems exhibit a low energy enhancement of the density of states, or of the Wigner-Smith time-delay, which derives from long-range universal physics analogous to the Efimov effect. That enhancement could be relevant to understanding the low energy excess of correlated 4-neutron ejection events observed experimentally in a nuclear reaction by Kisamori et al. △ Less

Submitted 26 June, 2020; v1 submitted 10 May, 2020; originally announced May 2020.

Journal ref: Phys. Rev. Lett. 125, 052501 (2020)

Stealthy MTD Against Unsupervised Learning-based Blind FDI Attacks in Power Systems

Authors: Martin Higgins, Fei Teng, Thomas Parisini

Abstract: This paper examines how moving target defences (MTD) implemented in power systems can be countered by unsupervised learning-based false data injection (FDI) attack and how MTD can be combined with physical watermarking to enhance the system resilience. A novel intelligent attack, which incorporates density-based spatial clustering and dimensionality reduction, is developed and shown to be effectiv… ▽ More This paper examines how moving target defences (MTD) implemented in power systems can be countered by unsupervised learning-based false data injection (FDI) attack and how MTD can be combined with physical watermarking to enhance the system resilience. A novel intelligent attack, which incorporates density-based spatial clustering and dimensionality reduction, is developed and shown to be effective in maintaining stealth in the presence of traditional MTD strategies. In resisting this new type of attack, a novel implementation of MTD combining with physical watermarking is proposed by adding Gaussian watermark into physical plant parameters to drive detection of traditional and intelligent FDI attacks, while remaining hidden to the attackers and limiting the impact on system operation and stability. △ Less

Submitted 6 August, 2020; v1 submitted 15 April, 2020; originally announced April 2020.

The Benefits of Probability-Proportional-to-Size Sampling in Cluster-Randomized Experiments

Authors: Yeng Xiong, Michael J. Higgins

Abstract: In a cluster-randomized experiment, treatment is assigned to clusters of individual units of interest--households, classrooms, villages, etc.--instead of the units themselves. The number of clusters sampled and the number of units sampled within each cluster is typically restricted by a budget constraint. Previous analysis of cluster randomized experiments under the Neyman-Rubin potential outcomes… ▽ More In a cluster-randomized experiment, treatment is assigned to clusters of individual units of interest--households, classrooms, villages, etc.--instead of the units themselves. The number of clusters sampled and the number of units sampled within each cluster is typically restricted by a budget constraint. Previous analysis of cluster randomized experiments under the Neyman-Rubin potential outcomes model of response have assumed a simple random sample of clusters. Estimators of the population average treatment effect (PATE) under this assumption are often either biased or not invariant to location shifts of potential outcomes. We demonstrate that, by sampling clusters with probability proportional to the number of units within a cluster, the Horvitz-Thompson estimator (HT) is invariant to location shifts and unbiasedly estimates PATE. We derive standard errors of HT and discuss how to estimate these standard errors. We also show that results hold for stratified random samples when samples are drawn proportionally to cluster size within each stratum. We demonstrate the efficacy of this sampling scheme using a simulation based on data from an experiment measuring the efficacy of the National Solidarity Programme in Afghanistan. △ Less

Submitted 19 February, 2020; originally announced February 2020.

Comments: 44 pages, 4 figures

SeMA: Extending and Analyzing Storyboards to Develop Secure Android Apps

Authors: Joydeep Mitra, Venkatesh-Prasad Ranganath, Torben Amtoft, Mike Higgins

Abstract: Mobile apps provide various critical services, such as banking, communication, and healthcare. To this end, they have access to our personal information and have the ability to perform actions on our behalf. Hence, securing mobile apps is crucial to ensuring the privacy and safety of its users. Recent research efforts have focused on develo** solutions to secure mobile ecosystems (i.e., app pl… ▽ More Mobile apps provide various critical services, such as banking, communication, and healthcare. To this end, they have access to our personal information and have the ability to perform actions on our behalf. Hence, securing mobile apps is crucial to ensuring the privacy and safety of its users. Recent research efforts have focused on develo** solutions to secure mobile ecosystems (i.e., app platforms, apps, and app stores), specifically in the context of detecting vulnerabilities in Android apps. Despite this attention, known vulnerabilities are often found in mobile apps, which can be exploited by malicious apps to harm the user. Further, fixing vulnerabilities after develo** an app has downsides in terms of time, resources, user inconvenience, and information loss. In an attempt to address this concern, we have developed SeMA, a mobile app development methodology that builds on existing mobile app design artifacts such as storyboards. With SeMA, security is a first-class citizen in an app's design -- app designers and developers can collaborate to specify and reason about the security properties of an app at an abstract level without being distracted by implementation level details. Our realization of SeMA using Android Studio tooling demonstrates the methodology is complementary to existing design and development practices. An evaluation of the effectiveness of SeMA shows the methodology can detect and help prevent 49 vulnerabilities known to occur in Android apps. Further, a usability study of the methodology involving ten real-world developers shows the methodology is likely to reduce the development time and help developers uncover and prevent known vulnerabilities while designing apps. △ Less

Submitted 10 March, 2024; v1 submitted 27 January, 2020; originally announced January 2020.

Comments: Updates based on reviews MobileSoft, FSE, and Onward reviews. Added content about usability evaluation. Added formal syntax and semantics of the DSL and info flow analysis. Added acknowledgement

ACM Class: D.2.1; D.2.2; D.2.4; D.4.6

A new method for quantifying network cyclic structure to improve community detection

Authors: Behnaz Moradi-Jamei, Heman Shakeri, Pietro Poggi-Corradini, Michael J. Higgins

Abstract: A distinguishing property of communities in networks is that cycles are more prevalent within communities than across communities. Thus, the detection of these communities may be aided through the incorporation of measures of the local "richness" of the cyclic structure. In this paper, we introduce renewal non-backtracking random walks (RNBRW) as a way of quantifying this structure. RNBRW gives a… ▽ More A distinguishing property of communities in networks is that cycles are more prevalent within communities than across communities. Thus, the detection of these communities may be aided through the incorporation of measures of the local "richness" of the cyclic structure. In this paper, we introduce renewal non-backtracking random walks (RNBRW) as a way of quantifying this structure. RNBRW gives a weight to each edge equal to the probability that a non-backtracking random walk completes a cycle with that edge. Hence, edges with larger weights may be thought of as more important to the formation of cycles. Of note, since separate random walks can be performed in parallel, RNBRW weights can be estimated very quickly, even for large graphs. We give simulation results showing that pre-weighting edges through RNBRW may substantially improve the performance of common community detection algorithms. Our results suggest that RNBRW is especially efficient for the challenging case of detecting communities in sparse graphs. △ Less

Submitted 11 October, 2019; v1 submitted 2 October, 2019; originally announced October 2019.

Comments: arXiv admin note: This paper is the new version of arXiv:1805.07484

Epimorphisms, dominions and H-commutative semigroups

Authors: Peter M. Higgins, Noor Alam, Noor Mohammad Khan

Abstract: In the present paper, a series of results and examples that explore the structural features of H-commutative semigroups are provided. We also generalise a result of Isbell from commutative semigroups to H-commutative semigroups by showing that the dominion of an H-commutative semigroup is H-commutative. We then use this to generalise Howie and Isbell's result that any H-commutative semigroup satis… ▽ More In the present paper, a series of results and examples that explore the structural features of H-commutative semigroups are provided. We also generalise a result of Isbell from commutative semigroups to H-commutative semigroups by showing that the dominion of an H-commutative semigroup is H-commutative. We then use this to generalise Howie and Isbell's result that any H-commutative semigroup satisfying the minimum condition on principal ideals is saturated. △ Less

Submitted 7 August, 2019; v1 submitted 5 August, 2019; originally announced August 2019.

Comments: 20 pages

Hybridized Threshold Clustering for Massive Data

Authors: Jianmei Luo, ChandraVyas Annakula, Aruna Sai Kannamareddy, Jasjeet S. Sekhon, William Henry Hsu, Michael Higgins

Abstract: As the size $n$ of datasets become massive, many commonly-used clustering algorithms (for example, $k$-means or hierarchical agglomerative clustering (HAC) require prohibitive computational cost and memory. In this paper, we propose a solution to these clustering problems by extending threshold clustering (TC) to problems of instance selection. TC is a recently developed clustering algorithm desig… ▽ More As the size $n$ of datasets become massive, many commonly-used clustering algorithms (for example, $k$-means or hierarchical agglomerative clustering (HAC) require prohibitive computational cost and memory. In this paper, we propose a solution to these clustering problems by extending threshold clustering (TC) to problems of instance selection. TC is a recently developed clustering algorithm designed to partition data into many small clusters in linearithmic time (on average). Our proposed clustering method is as follows. First, TC is performed and clusters are reduced into single "prototype" points. Then, TC is applied repeatedly on these prototype points until sufficient data reduction has been obtained. Finally, a more sophisticated clustering algorithm is applied to the reduced prototype points, thereby obtaining a clustering on all $n$ data points. This entire procedure for clustering is called iterative hybridized threshold clustering (IHTC). Through simulation results and by applying our methodology on several real datasets, we show that IHTC combined with $k$-means or HAC substantially reduces the run time and memory usage of the original clustering algorithms while still preserving their performance. Additionally, IHTC helps prevent singular data points from being overfit by clustering algorithms. △ Less

Submitted 5 July, 2019; originally announced July 2019.

Green's relations and stability for subsemigroups

Authors: James East, Peter M. Higgins

Abstract: We prove new results on inheritance of Green's relations by subsemigroups in the presence of stability of elements. We provide counterexamples in other cases to show in particular that not all right-stable semigroups are embeddable in left-stable semigroups. This is carried out in the context of a survey of the various closely related notions of stability and minimality of Green's classes that hav… ▽ More We prove new results on inheritance of Green's relations by subsemigroups in the presence of stability of elements. We provide counterexamples in other cases to show in particular that not all right-stable semigroups are embeddable in left-stable semigroups. This is carried out in the context of a survey of the various closely related notions of stability and minimality of Green's classes that have appeared in the literature over the last sixty years, and which have sometimes been presented in different forms. △ Less

Submitted 10 July, 2019; v1 submitted 5 June, 2019; originally announced June 2019.

Comments: V2: 8 pages, referee suggestions incorporated, to appear in Semigroup Forum. V1: 6 pages

From one environment to many: The problem of replicability of statistical inferences

Authors: James J. Higgins, Michael J. Higgins, **guang Lin

Abstract: Among plausible causes for replicability failure, one that has not received sufficient attention is the environment in which the research is conducted. Consisting of the population, equipment, personnel, and various conditions such as location, time, and weather, the research environment can affect treatments and outcomes, and changes in the research environment that occur when an experiment is re… ▽ More Among plausible causes for replicability failure, one that has not received sufficient attention is the environment in which the research is conducted. Consisting of the population, equipment, personnel, and various conditions such as location, time, and weather, the research environment can affect treatments and outcomes, and changes in the research environment that occur when an experiment is redone can affect replicability. We examine the extent to which such changes contribute to replicability failure. Our framework is that of an initial experiment that generates the data and a follow-up experiment that is done the same way except for a change in the research environment. We assume that the initial experiment satisfies the assumptions of the two-sample t-statistic and that the follow-up experiment is described by a mixed model which includes environmental parameters. We derive expressions for the effect that the research environment has on power, sample size selection, p-values, and confidence levels. We measure the size of the environmental effect with the environmental effect ratio EER which is the ratio of the standard deviations of environment by treatment interaction and error. By varying EER, it is possible to determine conditions that favor replicability and those that do not. △ Less

Submitted 29 August, 2020; v1 submitted 22 April, 2019; originally announced April 2019.

Low-Energy Scattering Properties of Ground-State and Excited-State Positronium Collisions

Authors: Michael D. Higgins, Kevin M. Daily, Chris H. Greene

Abstract: Low-energy elastic and inelastic scattering in the Ps(1$s$)-Ps(2$s$) channel is treated in a four-body hyperspherical coordinate calculation. Adiabatic potentials are calculated for triplet-triplet, singlet-singlet, and singlet-triplet spin symmetries in the spin representation of coupled electrons and coupled positrons, with total angular momentum $L=0$ and parity equal to $+1$. The s-wave scatte… ▽ More Low-energy elastic and inelastic scattering in the Ps(1$s$)-Ps(2$s$) channel is treated in a four-body hyperspherical coordinate calculation. Adiabatic potentials are calculated for triplet-triplet, singlet-singlet, and singlet-triplet spin symmetries in the spin representation of coupled electrons and coupled positrons, with total angular momentum $L=0$ and parity equal to $+1$. The s-wave scattering lengths for the asymptotic Ps(1$s$)-Ps(2$s$) channel are calculated for each spin configuration. Results obtained for the s-wave scattering lengths are $a_{\mathrm{TT}}=$~$7.3(2)a_0-i0.02(1)a_0$, $a_{\mathrm{SS}}=$~$13.2(2)a_0-i0.9(2)a_0$, and $a_{\mathrm{ST}}=$~$9.7(2)a_0$ for each spin configuration. Spin recoupling is implemented to extract the scattering lengths for collisions of Ps in different spin configurations through properly symmetrized unitary transformations. Calculations of experimentally relevant scattering lengths and cross-sections are carried-out for Ps atoms initially prepared in different uncoupled spin states. △ Less

Submitted 8 April, 2019; originally announced April 2019.

Journal ref: Phys. Rev. A 100, 012711 (2019)

Burrows-Wheeler transformations and de Bruijn words

Authors: Peter M. Higgins

Abstract: We formulate and explain the extended Burrows-Wheeler transform of Mantaci et al from the viewpoint of permutations on a chain taken as a union of partial order-preserving map**s. In so doing we establish a link with syntactic semigroups of languages that are themselves cyclic semigroups. We apply the extended transform with a view to generating de Bruijn words through inverting the transform. We formulate and explain the extended Burrows-Wheeler transform of Mantaci et al from the viewpoint of permutations on a chain taken as a union of partial order-preserving map**s. In so doing we establish a link with syntactic semigroups of languages that are themselves cyclic semigroups. We apply the extended transform with a view to generating de Bruijn words through inverting the transform. △ Less

Submitted 24 January, 2019; originally announced January 2019.

MSC Class: 20M20

Journal ref: Theoretical Computer Science 457 (2012) 128-136

Embedding in a finite 2-generator semigroup

Authors: Peter M. Higgins

Abstract: We augment the body of existing results on embedding finite semigroups of a certain type into 2-generator finite semigroups of the same type. The approach adopted applies to finite semigroups the idempotents of which form a band and also to finite orthodox semigroups. We augment the body of existing results on embedding finite semigroups of a certain type into 2-generator finite semigroups of the same type. The approach adopted applies to finite semigroups the idempotents of which form a band and also to finite orthodox semigroups. △ Less

Submitted 24 January, 2019; originally announced January 2019.

MSC Class: 20M19

Journal ref: Glasgow Mathematical Journal Vol. 59, Issue 1, January 2017. pp. 61-75

Permutations of a semigroup that map to inverses

Authors: Peter M. Higgins

Abstract: We investigate the question as to when the members of a finite regular semigroup may be permuted in such a way that each member is mapped to one of its inverses. In general this is not possible. However we reformulate the problem in terms of a related graph and, using an application of Hall's Marriage Lemma, we show in particular that the finite full transformation semigroup does enjoy this proper… ▽ More We investigate the question as to when the members of a finite regular semigroup may be permuted in such a way that each member is mapped to one of its inverses. In general this is not possible. However we reformulate the problem in terms of a related graph and, using an application of Hall's Marriage Lemma, we show in particular that the finite full transformation semigroup does enjoy this property. △ Less

Submitted 16 January, 2019; originally announced January 2019.

Comments: 14 pages

MSC Class: 20M20

Journal ref: Semigroup Forum Aug2014, Vol. 89 Issue 1, p169-182

Orthodox semigroups and permutation matchings

Authors: Peter M. Higgins

Abstract: We determine when an orthodox semigroup S has a permutation that sends each member of S to one of its inverses and show that if such a permutation exists, it may be taken to be an involution. In the case of a finite orthodox semigroup the condition is an effective one involving Green's relations on the combinatorial images of the principal factors of S. We also characterise some classes of semigro… ▽ More We determine when an orthodox semigroup S has a permutation that sends each member of S to one of its inverses and show that if such a permutation exists, it may be taken to be an involution. In the case of a finite orthodox semigroup the condition is an effective one involving Green's relations on the combinatorial images of the principal factors of S. We also characterise some classes of semigroups via their permutation matchings. △ Less

Submitted 10 December, 2018; originally announced December 2018.

Comments: 13 pages

MSC Class: 20M17

Journal ref: Semigroup Forum (2017) 94: 167

Involution matchings, the semigroup of orientation-preserving and orientation-reversing map**s, and inverse covers of the full transformation semigroup

Authors: Peter M. Higgins

Abstract: We continue the study of permutations of a finite regular semigroup that map each element to one of its inverses, providing a complete description in the case of semigroups whose idempotent generated subsemigroup is a union of groups. We show, in two ways, how to construct an involution matching on the semigroup of all transformations which either preserve or reverse orientation of a finite cycle.… ▽ More We continue the study of permutations of a finite regular semigroup that map each element to one of its inverses, providing a complete description in the case of semigroups whose idempotent generated subsemigroup is a union of groups. We show, in two ways, how to construct an involution matching on the semigroup of all transformations which either preserve or reverse orientation of a finite cycle. Finally, by way of application, we prove that finite full transformation semigroups have no cover by inverse semigroups that is closed under intersection. △ Less

Submitted 7 February, 2019; v1 submitted 11 November, 2018; originally announced November 2018.

Comments: 23 pages

MSC Class: 20M17; 20M18; 20M20

Algebras defined by equations

Authors: Peter M Higgins, Marcel Jackson

Abstract: We show that a class of algebras is closed under the taking of homomorphic images and direct products if and only if the class consists of all algebras that satisfy a set of (generally simultaneous) equations. For classes of regular semigroups in particular this allows an interpretation of a universal algebraic nature that is formulated entirely in terms of the associative binary operation of the… ▽ More We show that a class of algebras is closed under the taking of homomorphic images and direct products if and only if the class consists of all algebras that satisfy a set of (generally simultaneous) equations. For classes of regular semigroups in particular this allows an interpretation of a universal algebraic nature that is formulated entirely in terms of the associative binary operation of the semigroup, which serves as an alternative to the approach via so called e-varieties. In particular we prove that classes of Inverse semigroups, Orthodox semigroups, and $E$-solid semigroups are equational in our sense. △ Less

Submitted 20 December, 2019; v1 submitted 30 October, 2018; originally announced October 2018.

Journal ref: Journal of Algebra 555 (2020) 131-156

A new method for quantifying network cyclic structure to improve community detection

Authors: Behnaz Moradi, Heman Shakeri, Pietro Poggi-Corradini, Michael Higgins

Abstract: A distinguishing property of communities in networks is that cycles are more prevalent within communities than across communities. Thus, the detection of these communities may be aided through the incorporation of measures of the local "richness" of the cyclic structure. In this paper, we introduce renewal non-backtracking random walks (RNBRW) as a way of quantifying this structure. RNBRW gives a… ▽ More A distinguishing property of communities in networks is that cycles are more prevalent within communities than across communities. Thus, the detection of these communities may be aided through the incorporation of measures of the local "richness" of the cyclic structure. In this paper, we introduce renewal non-backtracking random walks (RNBRW) as a way of quantifying this structure. RNBRW gives a weight to each edge equal to the probability that a non-backtracking random walk completes a cycle with that edge. Hence, edges with larger weights may be thought of as more important to the formation of cycles. Of note, since separate random walks can be performed in parallel, RNBRW weights can be estimated very quickly, even for large graphs. We give simulation results showing that pre-weighting edges through RNBRW may substantially improve the performance of common community detection algorithms. Our results suggest that RNBRW is especially efficient for the challenging case of detecting communities in sparse graphs. △ Less

Submitted 18 October, 2019; v1 submitted 18 May, 2018; originally announced May 2018.

Comments: 28 pages. his version previously appeared as arXiv:1910.01921 which was accidentally submitted as a new paper

This robot stinks! Differences between perceived mistreatment of robot and computer partners

Authors: Zachary Carlson, Louise Lemmon, MacCallister Higgins, David Frank, David Feil-Seifer

Abstract: Robots (and computers) are increasingly being used in scenarios where they interact socially with people. How people react to these agents is telling about the perceived animacy of such agents. Mistreatment of robots (or computers) by co-workers might provoke such telling reactions. The purpose of this study was to discover if people perceived mistreatment directed towards a robot any differently… ▽ More Robots (and computers) are increasingly being used in scenarios where they interact socially with people. How people react to these agents is telling about the perceived animacy of such agents. Mistreatment of robots (or computers) by co-workers might provoke such telling reactions. The purpose of this study was to discover if people perceived mistreatment directed towards a robot any differently than toward a computer. This will provide some understanding of how people perceive robots in collaborative social settings. We conducted a between-subjects study with 80 participants. Participants worked cooperatively with either a robot or a computer which acted as the "recorder" for the group. A confederate either acted aggressively or neutrally towards the "recorder." We hypothesized that people would not socially accept mistreatment towards an agent that they felt was intelligent and similar to themselves; that participants would perceive the robot as more similar in appearance and emotional capability to themselves than a computer; and would observe more mistreatment. The final results supported our hypothesis; the participants observed mistreatment in the robot, but not the computer. Participants felt significantly more sympathetic towards the robot and also believed that it was much more emotionally capable. △ Less

Submitted 1 November, 2017; originally announced November 2017.

Comments: Submitted to International Journal of Social Robotics

Glass-Like Thermal Conductivity in Nanostructures of a Complex Anisotropic Crystal

Authors: Annie Weathers, Jesus Carrete, John P. Degrave, Jeremy M. Higgins, Arden L. Moore, Jaehyun Kim, Natalio Mingo, Song **, Li Shi

Abstract: Size effects on vibrational modes in complex crystals remain largely unexplored, despite their importance in a variety of electronic and energy conversion technologies. Enabled by advances in a four-probe thermal transport measurement method, we report the observation of glass-like thermal conductivity in ~20 nm thick single crystalline ribbons of higher manganese silicide, a complex, anisotropic… ▽ More Size effects on vibrational modes in complex crystals remain largely unexplored, despite their importance in a variety of electronic and energy conversion technologies. Enabled by advances in a four-probe thermal transport measurement method, we report the observation of glass-like thermal conductivity in ~20 nm thick single crystalline ribbons of higher manganese silicide, a complex, anisotropic crystal with a ~10 nm scale lattice constant along the incommensurate c axis. The boundary scattering effect is strong for many vibrational modes because of a strong anisotropy in their group velocities or diffusive nature, while confinement effects are pronounced for acoustic modes with long wavelengths along the c axis. Furthermore, the transport of the non-propagating, diffusive modes is suppressed in the nanostructures by the increased incommensurability between the two substructures as a result of the unusual composition of the nanostructure samples. These unique effects point to diverse, new approaches to suppressing the lattice thermal conductivity in complex materials. △ Less

Submitted 27 October, 2017; v1 submitted 27 August, 2017; originally announced August 2017.

A Two Factor Forward Curve Model with Stochastic Volatility for Commodity Prices

Authors: Mark Higgins

Abstract: We describe a model for evolving commodity forward prices that incorporates three important dynamics which appear in many commodity markets: mean reversion in spot prices and the resulting Samuelson effect on volatility term structure, decorrelation of moves in different points on the forward curve, and implied volatility skew and smile. This model is a "forward curve model" - it describes the s… ▽ More We describe a model for evolving commodity forward prices that incorporates three important dynamics which appear in many commodity markets: mean reversion in spot prices and the resulting Samuelson effect on volatility term structure, decorrelation of moves in different points on the forward curve, and implied volatility skew and smile. This model is a "forward curve model" - it describes the stochastic evolution of forward prices - rather than a "spot model" that models the evolution of the spot commodity price. Two Brownian motions drive moves across the forward curve, with a third Heston-like stochastic volatility process scaling instantaneous volatilities of all forward prices. In addition to an efficient numerical scheme for calculating European vanilla and early-exercise option prices, we describe an algorithm for Monte Carlo-based pricing of more generic derivative payoffs which involves an efficient approximation for the risk neutral drift that avoids having to simulate drifts for every forward settlement date required for pricing. △ Less

Submitted 8 August, 2017; v1 submitted 4 August, 2017; originally announced August 2017.

Comments: 20 pages, 8 figures

SearchQA: A New Q&A Dataset Augmented with Context from a Search Engine

Authors: Matthew Dunn, Levent Sagun, Mike Higgins, V. Ugur Guney, Volkan Cirik, Kyunghyun Cho

Abstract: We publicly release a new large-scale dataset, called SearchQA, for machine comprehension, or question-answering. Unlike recently released datasets, such as DeepMind CNN/DailyMail and SQuAD, the proposed SearchQA was constructed to reflect a full pipeline of general question-answering. That is, we start not from an existing article and generate a question-answer pair, but start from an existing qu… ▽ More We publicly release a new large-scale dataset, called SearchQA, for machine comprehension, or question-answering. Unlike recently released datasets, such as DeepMind CNN/DailyMail and SQuAD, the proposed SearchQA was constructed to reflect a full pipeline of general question-answering. That is, we start not from an existing article and generate a question-answer pair, but start from an existing question-answer pair, crawled from J! Archive, and augment it with text snippets retrieved by Google. Following this approach, we built SearchQA, which consists of more than 140k question-answer pairs with each pair having 49.6 snippets on average. Each question-answer-context tuple of the SearchQA comes with additional meta-data such as the snippet's URL, which we believe will be valuable resources for future research. We conduct human evaluation as well as test two baseline methods, one simple word selection and the other deep learning based, on the SearchQA. We show that there is a meaningful gap between the human and machine performances. This suggests that the proposed dataset could well serve as a benchmark for question-answering. △ Less

Submitted 11 June, 2017; v1 submitted 17 April, 2017; originally announced April 2017.

Generalized full matching and extrapolation of the results from a large-scale voter mobilization experiment

Authors: Fredrik Sävje, Michael J. Higgins, Jasjeet S. Sekhon

Abstract: Matching is an important tool in causal inference. The method provides a conceptually straightforward way to make groups of units comparable on observed characteristics. The use of the method is, however, limited to situations where the study design is fairly simple and the sample is moderately sized. We illustrate the issue by revisiting a large-scale voter mobilization experiment that took place… ▽ More Matching is an important tool in causal inference. The method provides a conceptually straightforward way to make groups of units comparable on observed characteristics. The use of the method is, however, limited to situations where the study design is fairly simple and the sample is moderately sized. We illustrate the issue by revisiting a large-scale voter mobilization experiment that took place in Michigan for the 2006 election. We ask what the causal effects would have been if the treatments in the experiment were scaled up to the full population. Matching could help us answer this question, but no existing matching method can accommodate the six treatment arms and the 6,762,701 observations involved in the study. To offer a solution this and similar empirical problems, we introduce a generalization of the full matching method and an associated algorithm. The method can be used with any number of treatment conditions, and it is shown to produce near-optimal matchings. The worst case maximum within-group dissimilarity is no worse than four times the optimal solution, and simulation results indicate that its performance is considerably closer to the optimal solution on average. Despite its performance, the algorithm is fast and uses little memory. It terminates, on average, in linearithmic time using linear space. This enables investigators to construct well-performing matchings within minutes even in complex studies with samples of several million units. △ Less

Submitted 16 June, 2019; v1 submitted 10 March, 2017; originally announced March 2017.

A virtual instrument to standardise the calibration of atomic force microscope cantilevers

Authors: John E. Sader, Riccardo Borgani, Christopher T. Gibson, David B. Haviland, Michael J. Higgins, Jason I. Kilpatrick, Jianing Lu, Paul Mulvaney, Cameron J. Shearer, Ashley D. Slattery, Per-Anders Thorén, Jim Tran, Heyou Zhang, Hongrui Zhang, Tian Zheng

Abstract: Atomic force microscope (AFM) users often calibrate the spring constants of cantilevers using functionality built into individual instruments. This is performed without reference to a global standard, which hinders robust comparison of force measurements reported by different laboratories. In this article, we describe a virtual instrument (an internet-based initiative) whereby users from all labor… ▽ More Atomic force microscope (AFM) users often calibrate the spring constants of cantilevers using functionality built into individual instruments. This is performed without reference to a global standard, which hinders robust comparison of force measurements reported by different laboratories. In this article, we describe a virtual instrument (an internet-based initiative) whereby users from all laboratories can instantly and quantitatively compare their calibration measurements to those of others - standardising AFM force measurements - and simultaneously enabling non-invasive calibration of AFM cantilevers of any geometry. This global calibration initiative requires no additional instrumentation or data processing on the part of the user. It utilises a single website where users upload currently available data. A proof-of-principle demonstration of this initiative is presented using measured data from five independent laboratories across three countries, which also allows for an assessment of current calibration. △ Less

Submitted 25 May, 2016; originally announced May 2016.

Comments: 34 pages, 14 figures

Journal ref: Review of Scientific Instruments, Vol. 87, 093711 (2016)

Blocking estimators and inference under the Neyman-Rubin model

Authors: Michael J. Higgins, Fredrik Sävje, Jasjeet S. Sekhon

Abstract: We derive the variances of estimators for sample average treatment effects under the Neyman-Rubin potential outcomes model for arbitrary blocking assignments and an arbitrary number of treatments. We derive the variances of estimators for sample average treatment effects under the Neyman-Rubin potential outcomes model for arbitrary blocking assignments and an arbitrary number of treatments. △ Less

Submitted 5 October, 2015; originally announced October 2015.