Showing 1–50 of 151 results for author: Kennedy, J

Can Small Language Models Learn, Unlearn, and Retain Noise Patterns?

Authors: Nicy Scaria, Silvester John Joseph Kennedy, Deepak Subramani

Abstract: Small Language Models (SLMs) are generally considered to be more compact versions of large language models (LLMs), typically having fewer than 7 billion parameters. This study investigates the ability of small language models to learn, retain, and subsequently eliminate noise that is typically not found on the internet, where most pretraining datasets are sourced. For this, four pre-trained SLMs w… ▽ More Small Language Models (SLMs) are generally considered to be more compact versions of large language models (LLMs), typically having fewer than 7 billion parameters. This study investigates the ability of small language models to learn, retain, and subsequently eliminate noise that is typically not found on the internet, where most pretraining datasets are sourced. For this, four pre-trained SLMs were utilized: Olmo 1B, Qwen1.5 1.8B, Gemma 2B, and Phi2 2.7B. The models were instruction-tuned without noise and tested for task execution with in-context learning. Afterward, noise patterns were introduced to evaluate the models' learning and unlearning capabilities. We evaluated the models' performance at various training levels. Phi consistently excelled with word-level noise but performed the worst with character-level noise. Despite being the smallest with approximately 1 billion parameters, Olmo performed consistently well on tasks. △ Less

Submitted 1 July, 2024; originally announced July 2024.

Materials for High Temperature Digital Electronics

Authors: Dhiren K. Pradhan, David C. Moore, A. Matt Francis, Jacob Kupernik, W. Joshua Kennedy, Nicholas R. Glavin, Roy H. Olsson III, Deep Jariwala

Abstract: Silicon microelectronics, consisting of complementary metal oxide semiconductor (CMOS) technology, have changed nearly all aspects of human life from communication to transportation, entertainment, and healthcare. Despite the widespread and mainstream use, current silicon-based devices suffer significant reliability issues at temperatures exceeding 125 °C. The emergent technological frontiers of s… ▽ More Silicon microelectronics, consisting of complementary metal oxide semiconductor (CMOS) technology, have changed nearly all aspects of human life from communication to transportation, entertainment, and healthcare. Despite the widespread and mainstream use, current silicon-based devices suffer significant reliability issues at temperatures exceeding 125 °C. The emergent technological frontiers of space exploration, geothermal energy harvesting, nuclear energy, unmanned avionic systems, and autonomous driving will rely on control systems, sensors, and communication devices which operate at temperatures as high as 500 °C and beyond. At these extreme temperatures, active (heat exchanger, phase change cooling) or passive (fins and thermal interface materials) cooling strategies add significant mass and complication which is often infeasible. Thus, new material solutions beyond conventional silicon CMOS devices are necessary for high temperature, resilient electronic systems. Accomplishing this will require a united effort to explore development, integration, and ultimately manufacturing of non-silicon-based logic and memory technologies, non-traditional metals for interconnects, and ceramic packaging technology. △ Less

Submitted 4 April, 2024; originally announced April 2024.

Comments: 6 Figures

Efficient global estimation of conditional-value-at-risk through stochastic kriging and extreme value theory

Authors: Armin Khayyer, Alexander Vinel, Joseph J. Kennedy

Abstract: We consider the problem of evaluating risk for a system that is modeled by a complex stochastic simulation with many possible input parameter values. Two sources of computational burden can be identified: the effort associated with extensive simulation runs required to accurately represent the tail of the loss distribution for each set of parameter values, and the computational cost of evaluating… ▽ More We consider the problem of evaluating risk for a system that is modeled by a complex stochastic simulation with many possible input parameter values. Two sources of computational burden can be identified: the effort associated with extensive simulation runs required to accurately represent the tail of the loss distribution for each set of parameter values, and the computational cost of evaluating multiple candidate parameter values. The former concern can be addressed by using Extreme Value Theory (EVT) estimations, which specifically concentrate on the tails. Meta-modeling approaches are often used to tackle the latter concern. In this paper, we propose a framework for constructing a particular meta-modeling framework, stochastic kriging, that is based on EVT-based estimation for a class of coherent measures of risk. The proposed approach requires an efficient estimator of the intrinsic variance, and so we derive an EVT-based expression for it. It then allows us to avoid multiple replications of the risk measure in each design point, which was required in similar previously proposed approaches, resulting in a substantial reduction in computational effort. We then perform a case study, outlining promising use cases, and conditions when the EVT-based approach outperforms simpler empirical estimators. △ Less

Submitted 27 March, 2024; originally announced March 2024.

MSC Class: 62-08

Towards a theory of eigenvalue asymptotics on infinite metric graphs: the case of diagonal combs

Authors: James B. Kennedy, Delio Mugnolo, Matthias Täufer

Abstract: We examine diagonal combs, a recently identified class of infinite metric graphs whose properties depend on one parameter. These graphs exhibit a fascinating regime where they possess infinite volume while maintaining purely discrete spectrum for the Neumann Laplacian. In this regime, we establish polynomial upper and lower bounds on the $k$-th eigenvalue, revealing that the eigenvalues grow at a… ▽ More We examine diagonal combs, a recently identified class of infinite metric graphs whose properties depend on one parameter. These graphs exhibit a fascinating regime where they possess infinite volume while maintaining purely discrete spectrum for the Neumann Laplacian. In this regime, we establish polynomial upper and lower bounds on the $k$-th eigenvalue, revealing that the eigenvalues grow at a rate strictly slower than quadratic. However, once the diagonal combs transition to finite volume, their growth accelerates to a quadratic rate. Our methodology involves employing spectral geometric principles tailored for metric graphs, complemented by deriving estimates for the $k$-th eigenvalue on compact metric graphs. △ Less

Submitted 15 March, 2024; originally announced March 2024.

Comments: 10 pages, 1 figure

MSC Class: 34B45; 35P15; 81Q35

Accurate Crystal Structure Prediction of New 2D Hybrid Organic Inorganic Perovskites

Authors: Nima Karimitari, William J. Baldwin, Evan W. Muller, Zachary J. L. Bare, W. Joshua Kennedy, Gábor Csányi, Christopher Sutton

Abstract: Low dimensional hybrid organic-inorganic perovskites (HOIPs) represent a promising class of electronically active materials for both light absorption and emission. The design space of HOIPs is extremely large, since a diverse space of organic cations can be combined with different inorganic frameworks. This immense design space allows for tunable electronic and mechanical properties, but also nece… ▽ More Low dimensional hybrid organic-inorganic perovskites (HOIPs) represent a promising class of electronically active materials for both light absorption and emission. The design space of HOIPs is extremely large, since a diverse space of organic cations can be combined with different inorganic frameworks. This immense design space allows for tunable electronic and mechanical properties, but also necessitates the development of new tools for in silico high throughput analysis of candidate structures. In this work, we present an accurate, efficient, transferable and widely applicable machine learning interatomic potential (MLIP) for predicting the structure of new 2D HOIPs. Using the MACE architecture, an MLIP is trained on 86 diverse experimentally reported HOIP structures. The model is tested on 73 unseen perovskite compositions, and achieves chemical accuracy with respect to the reference electronic structure method. Our model is then combined with a simple random structure search algorithm to predict the structure of hypothetical HOIPs given only the proposed composition. Success is demonstrated by correctly and reliably recovering the crystal structure of a set of experimentally known 2D perovskites. Such a random structure search is impossible with ab initio methods due to the associated computational cost, but is relatively inexpensive with the MACE potential. Finally, the procedure is used to predict the structure formed by a new organic cation with no previously known corresponding perovskite. Laboratory synthesis of the new hybrid perovskite confirms the accuracy of our prediction. This capability, applied at scale, enables efficient screening of thousands of combinations of organic cations and inorganic layers. △ Less

Submitted 11 March, 2024; originally announced March 2024.

Comments: 14 pages and 9 figures in the main text. Supplementary included in pdf

Weakly-Supervised Semantic Segmentation of Circular-Scan, Synthetic-Aperture-Sonar Imagery

Authors: Isaac J. Sledge, Dominic M. Byrne, Jonathan L. King, Steven H. Ostertag, Denton L. Woods, James L. Prater, Jermaine L. Kennedy, Timothy M. Marston, Jose C. Principe

Abstract: We propose a weakly-supervised framework for the semantic segmentation of circular-scan synthetic-aperture-sonar (CSAS) imagery. The first part of our framework is trained in a supervised manner, on image-level labels, to uncover a set of semi-sparse, spatially-discriminative regions in each image. The classification uncertainty of each region is then evaluated. Those areas with the lowest uncerta… ▽ More We propose a weakly-supervised framework for the semantic segmentation of circular-scan synthetic-aperture-sonar (CSAS) imagery. The first part of our framework is trained in a supervised manner, on image-level labels, to uncover a set of semi-sparse, spatially-discriminative regions in each image. The classification uncertainty of each region is then evaluated. Those areas with the lowest uncertainties are then chosen to be weakly labeled segmentation seeds, at the pixel level, for the second part of the framework. Each of the seed extents are progressively resized according to an unsupervised, information-theoretic loss with structured-prediction regularizers. This resha** process uses multi-scale, adaptively-weighted features to delineate class-specific transitions in local image content. Content-addressable memories are inserted at various parts of our framework so that it can leverage features from previously seen images to improve segmentation performance for related images. We evaluate our weakly-supervised framework using real-world CSAS imagery that contains over ten seafloor classes and ten target classes. We show that our framework performs comparably to nine fully-supervised deep networks. Our framework also outperforms eleven of the best weakly-supervised deep networks. We achieve state-of-the-art performance when pre-training on natural imagery. The average absolute performance gap to the next-best weakly-supervised network is well over ten percent for both natural imagery and sonar imagery. This gap is found to be statistically significant. △ Less

Submitted 20 January, 2024; originally announced January 2024.

Comments: Submitted to the IEEE Journal of Oceanic Engineering

Optimizing the Fundamental Eigenvalue Gap of Quantum Graphs

Authors: Mohammed Ahrami, Zakaria El Allali, Evans M Harrell II, James B. Kennedy

Abstract: We study the problem of minimizing or maximizing the fundamental spectral gap of Schrödinger operators on metric graphs with either a convex potential or a ``single-well'' potential on an appropriate specified subset. (In the case of metric trees, such a subset can be the entire graph.) In the convex case we find that the minimizing and maximizing potentials are piecewise linear with only a finite… ▽ More We study the problem of minimizing or maximizing the fundamental spectral gap of Schrödinger operators on metric graphs with either a convex potential or a ``single-well'' potential on an appropriate specified subset. (In the case of metric trees, such a subset can be the entire graph.) In the convex case we find that the minimizing and maximizing potentials are piecewise linear with only a finite number of points of non-smoothness, but give examples showing that the optimal potentials need not be constant. This is a significant departure from the usual scenarios on intervals and domains where the constant potential is typically minimizing. In the single-well case we show that the optimal potentials are piecewise constant with a finite number of jumps, and in both cases give an explicit estimate on the number of points of non-smoothness, respectively jumps, the minimizing potential can have. Furthermore, we show that, unlike on domains, it is not generally possible to find nontrivial bounds on the fundamental gap in terms of the diameter of the graph alone, within the given classes. △ Less

Submitted 8 January, 2024; originally announced January 2024.

MSC Class: 34B45; 34L15; 35J05; 81Q35

Chaos and mixing homeomorphisms on fans

Authors: Iztok Banic, Goran Erceg, Judy Kennedy, Chris Mouron, Van Nall

Abstract: We construct a mixing homeomorphism on the Lelek fan. We also construct a mixing homeomorphism on the Cantor fan. Then, we construct a family of uncountably many pairwise non-homeomorphic (non-)smooth fans that admit a mixing homeomorphism. We construct a mixing homeomorphism on the Lelek fan. We also construct a mixing homeomorphism on the Cantor fan. Then, we construct a family of uncountably many pairwise non-homeomorphic (non-)smooth fans that admit a mixing homeomorphism. △ Less

Submitted 10 December, 2023; originally announced December 2023.

Comments: arXiv admin note: substantial text overlap with arXiv:2310.19129, arXiv:2309.04003

Mean distance on metric graphs

Authors: Luís N. Baptista, James B. Kennedy, Delio Mugnolo

Abstract: We introduce a natural notion of mean (or average) distance in the context of compact metric graphs, and study its relation to geometric properties of the graph. We show that it exhibits a striking number of parallels to the reciprocal of the spectral gap of the graph Laplacian with standard vertex conditions: it is maximised among all graphs of fixed length by the path graph (interval), or by the… ▽ More We introduce a natural notion of mean (or average) distance in the context of compact metric graphs, and study its relation to geometric properties of the graph. We show that it exhibits a striking number of parallels to the reciprocal of the spectral gap of the graph Laplacian with standard vertex conditions: it is maximised among all graphs of fixed length by the path graph (interval), or by the loop in the restricted class of doubly connected graphs, and it is minimised among all graphs of fixed length and number of edges by the equilateral flower graph. We also establish bounds for the correctly scaled product of the spectral gap and the square of the mean distance which depend only on combinatorial, and not metric, features of the graph. This raises the open question whether this product admits absolute upper and lower bounds valid on all compact metric graphs. △ Less

Submitted 31 January, 2024; v1 submitted 8 December, 2023; originally announced December 2023.

MSC Class: 05C12; 30L15; 51K05; 54E45; 81Q35

Quotients of dynamical systems and chaos on the Cantor fan

Authors: Iztok Banic, Goran Erceg, Judy Kennedy, Van Nall

Abstract: Let $(X,f)$ be a dynamical system. Using an equivalence relation $\sim$ on $X$, we introduce the quotient $(X/_{\sim},f^{\star})$ of the dynamical system $(X,f)$. In the first part of the paper, we give new results about sensitive dependence on initial conditions of $(X/_{\sim},f^{\star})$, transitivity of $(X/_{\sim},f^{\star})$, and periodic points in $(X/_{\sim},f^{\star})$. In the second part… ▽ More Let $(X,f)$ be a dynamical system. Using an equivalence relation $\sim$ on $X$, we introduce the quotient $(X/_{\sim},f^{\star})$ of the dynamical system $(X,f)$. In the first part of the paper, we give new results about sensitive dependence on initial conditions of $(X/_{\sim},f^{\star})$, transitivity of $(X/_{\sim},f^{\star})$, and periodic points in $(X/_{\sim},f^{\star})$. In the second part of the paper, we use these results to study chaotic functions on the Cantor fan. Explicitly, we study functions $f$ on the Cantor fan $C$ such that (1) $(C,f)$ is chaotic in the sense of Devaney, (2) $(C,f)$ is chaotic in the sense of Robinson but not in the sense of Devaney, and (3) $(C,f)$ is chaotic in the sense of Knutzen but not in the sense of Devaney. We also study chaos on the Lelek fan. △ Less

Submitted 10 December, 2023; v1 submitted 29 October, 2023; originally announced October 2023.

An uncountable family of non-smooth fans that admit transitive homeomorphisms

Authors: Iztok Banic, Judy Kennedy, Chris Mouron, Van Nall

Abstract: Recently, many examples of smooth fans that admit a transitive homeomorphism have been constructed. For example, a family of uncountably many pairwise non-homeomorphic smooth fans that admit transitive homeomorphisms was constructed. In this paper, we construct a family of uncountably many pairwise non-homeomorphic non-smooth fans that admit transitive homeomorphisms. Recently, many examples of smooth fans that admit a transitive homeomorphism have been constructed. For example, a family of uncountably many pairwise non-homeomorphic smooth fans that admit transitive homeomorphisms was constructed. In this paper, we construct a family of uncountably many pairwise non-homeomorphic non-smooth fans that admit transitive homeomorphisms. △ Less

Submitted 12 October, 2023; originally announced October 2023.

Comments: arXiv admin note: text overlap with arXiv:2309.04003, arXiv:2209.07609

Geometric spectral theory of quantum graphs

Authors: James Kennedy

Abstract: These are lecture notes from a course given at the summer school ``Heat kernels and spectral geometry: from manifolds to graphs'' in Bregenz, Austria, 2022. They are designed to be accessible to doctoral level students, and include background chapters on Laplacians on domains and quantum graphs before moving on to specialised topics involving the dependence and optimisation of operator eigenvalues… ▽ More These are lecture notes from a course given at the summer school ``Heat kernels and spectral geometry: from manifolds to graphs'' in Bregenz, Austria, 2022. They are designed to be accessible to doctoral level students, and include background chapters on Laplacians on domains and quantum graphs before moving on to specialised topics involving the dependence and optimisation of operator eigenvalues on a metric graph in function of the graph geometry, drawn in part from the recent literature. △ Less

Submitted 19 January, 2024; v1 submitted 4 October, 2023; originally announced October 2023.

Cheeger cuts and Robin spectral minimal partitions of metric graphs

Authors: James B. Kennedy, João P. Ribeiro

Abstract: We study partition problems based on two ostensibly different kinds of energy functionals defined on $k$-partitions of metric graphs: Cheeger-type functionals whose minimisers are the $k$-Cheeger cuts of the graph, and the corresponding values are the $k$-Cheeger constants of the graph; and functionals built using the first eigenvalue of the Laplacian with positive, i.e. absorbing, Robin (delta) v… ▽ More We study partition problems based on two ostensibly different kinds of energy functionals defined on $k$-partitions of metric graphs: Cheeger-type functionals whose minimisers are the $k$-Cheeger cuts of the graph, and the corresponding values are the $k$-Cheeger constants of the graph; and functionals built using the first eigenvalue of the Laplacian with positive, i.e. absorbing, Robin (delta) vertex conditions at the boundary of the partition elements. We prove existence of minimising $k$-partitions, $k \geq 2$, for both these functionals. We also show that, for each $k \geq 2$, as the Robin parameter $α\to 0$, up to a renormalisation the spectral minimal Robin energy converges to the $k$-Cheeger constant. Moreover, up to a subsequence, the Robin spectral minimal $k$-partitions converge in a natural sense to a $k$-Cheeger cut of the graph. Finally, we show that as $α\to \infty$ there is convergence in a similar sense to the corresponding Dirichlet minimal energy and partitions. It is strongly expected that similar results hold on general (smooth, bounded) Euclidean domains and manifolds. △ Less

Submitted 25 June, 2024; v1 submitted 4 October, 2023; originally announced October 2023.

Comments: Revised version, accepted for publication in Journal d'Analyse Mathématique

Scalable and Stable Ferroelectric Non-Volatile Memory at > 500 $^\circ$C

Authors: Dhiren K. Pradhan, David C. Moore, Gwangwoo Kim, Yunfei He, Pariasadat Musavigharavi, Kwan-Ho Kim, Nishant Sharma, Zirun Han, Xingyu Du, Venkata S. Puli, Eric A. Stach, W. Joshua Kennedy, Nicholas R. Glavin, Roy H. Olsson III, Deep Jariwala

Abstract: Non-volatile memory (NVM) devices that reliably operate at temperatures above 300 $^\circ$C are currently non-existent and remains a critically unmet challenge in the development of high-temperature (T) resilient electronics, necessary for many emerging, complex computing and sensing in harsh environments. Ferroelectric Al$_x$Sc$_{1-x}$N exhibits strong potential for utilization in NVM devices ope… ▽ More Non-volatile memory (NVM) devices that reliably operate at temperatures above 300 $^\circ$C are currently non-existent and remains a critically unmet challenge in the development of high-temperature (T) resilient electronics, necessary for many emerging, complex computing and sensing in harsh environments. Ferroelectric Al$_x$Sc$_{1-x}$N exhibits strong potential for utilization in NVM devices operating at very high temperatures (> 500 $^\circ$C) given its stable and high remnant polarization (PR) above 100 $μ$C/cm$^2$ with demonstrated ferroelectric transition temperature (TC) > 1000 $^\circ$C. Here, we demonstrate an Al$_{0.68}$Sc$_{0.32}$N ferroelectric diode based NVM device that can reliably operate with clear ferroelectric switching up to 600 $^\circ$C with distinguishable On and Off states. The coercive field (EC) from the Pulsed I-V measurements is found to be -5.84 (EC-) and +5.98 (EC+) (+/- 0.1) MV/cm at room temperature (RT) and found to decrease with increasing temperature up to 600 $^\circ$C. The devices exhibit high remnant polarizations (> 100 $μ$C/cm$^2$) which are stable at high temperatures. At 500 $^\circ$C, our devices show 1 million read cycles and stable On-Off ratio above 1 for > 6 hours. Finally, the operating voltages of our AlScN ferrodiodes are < 15 V at 600 $^\circ$C which is well matched and compatible with Silicon Carbide (SiC) based high temperature logic technology, thereby making our demonstration a major step towards commercialization of NVM integrated high-T computers. △ Less

Submitted 8 September, 2023; originally announced September 2023.

Comments: MS and SI

An uncountable family of smooth fans that admit transitive homeomorphisms

Authors: Iztok Banic, Goran Erceg, Judy Kennedy, Chris Mouron, Van Nall

Abstract: We construct a family of uncountably many pairwise non-homeomorphic smooth fans that admit transitive homeomorphisms. In addition, we show that the star of Cantor fans admits a transitive homeomorphism. We construct a family of uncountably many pairwise non-homeomorphic smooth fans that admit transitive homeomorphisms. In addition, we show that the star of Cantor fans admits a transitive homeomorphism. △ Less

Submitted 7 September, 2023; originally announced September 2023.

MSC Class: 37B02; 37B45; 54C60; 54F15; 54F17

Inferring Actual Treatment Pathways from Patient Records

Authors: Adrian Wilkins-Caruana, Madhushi Bandara, Katarzyna Musial, Daniel Catchpoole, Paul J. Kennedy

Abstract: Treatment pathways are step-by-step plans outlining the recommended medical care for specific diseases; they get revised when different treatments are found to improve patient outcomes. Examining health records is an important part of this revision process, but inferring patients' actual treatments from health data is challenging due to complex event-coding schemes and the absence of pathway-relat… ▽ More Treatment pathways are step-by-step plans outlining the recommended medical care for specific diseases; they get revised when different treatments are found to improve patient outcomes. Examining health records is an important part of this revision process, but inferring patients' actual treatments from health data is challenging due to complex event-coding schemes and the absence of pathway-related annotations. This study aims to infer the actual treatment steps for a particular patient group from administrative health records (AHR) - a common form of tabular healthcare data - and address several technique- and methodology-based gaps in treatment pathway-inference research. We introduce Defrag, a method for examining AHRs to infer the real-world treatment steps for a particular patient group. Defrag learns the semantic and temporal meaning of healthcare event sequences, allowing it to reliably infer treatment steps from complex healthcare data. To our knowledge, Defrag is the first pathway-inference method to utilise a neural network (NN), an approach made possible by a novel, self-supervised learning objective. We also developed a testing and validation framework for pathway inference, which we use to characterise and evaluate Defrag's pathway inference ability and compare against baselines. We demonstrate Defrag's effectiveness by identifying best-practice pathway fragments for breast cancer, lung cancer, and melanoma in public healthcare records. Additionally, we use synthetic data experiments to demonstrate the characteristics of the Defrag method, and to compare Defrag to several baselines where it significantly outperforms non-NN-based methods. Defrag significantly outperforms several existing pathway-inference methods and offers an innovative and effective approach for inferring treatment pathways from AHRs. Open-source code is provided to encourage further research in this area. △ Less

Submitted 25 November, 2023; v1 submitted 4 September, 2023; originally announced September 2023.

Journal ref: J Biomed Inform. 2023 Nov 22:104554. Epub ahead of print. PMID: 38000767

Machine Learning for Administrative Health Records: A Systematic Review of Techniques and Applications

Authors: Adrian Caruana, Madhushi Bandara, Katarzyna Musial, Daniel Catchpoole, Paul J. Kennedy

Abstract: Machine learning provides many powerful and effective techniques for analysing heterogeneous electronic health records (EHR). Administrative Health Records (AHR) are a subset of EHR collected for administrative purposes, and the use of machine learning on AHRs is a growing subfield of EHR analytics. Existing reviews of EHR analytics emphasise that the data-modality of the EHR limits the breadth of… ▽ More Machine learning provides many powerful and effective techniques for analysing heterogeneous electronic health records (EHR). Administrative Health Records (AHR) are a subset of EHR collected for administrative purposes, and the use of machine learning on AHRs is a growing subfield of EHR analytics. Existing reviews of EHR analytics emphasise that the data-modality of the EHR limits the breadth of suitable machine learning techniques, and pursuable healthcare applications. Despite emphasising the importance of data modality, the literature fails to analyse which techniques and applications are relevant to AHRs. AHRs contain uniquely well-structured, categorically encoded records which are distinct from other data-modalities captured by EHRs, and they can provide valuable information pertaining to how patients interact with the healthcare system. This paper systematically reviews AHR-based research, analysing 70 relevant studies and spanning multiple databases. We identify and analyse which machine learning techniques are applied to AHRs and which health informatics applications are pursued in AHR-based research. We also analyse how these techniques are applied in pursuit of each application, and identify the limitations of these approaches. We find that while AHR-based studies are disconnected from each other, the use of AHRs in health informatics research is substantial and accelerating. Our synthesis of these studies highlights the utility of AHRs for pursuing increasingly complex and diverse research objectives despite a number of pervading data- and technique-based limitations. Finally, through our findings, we propose a set of future research directions that can enhance the utility of AHR data and machine learning techniques for health informatics research. △ Less

Submitted 27 August, 2023; originally announced August 2023.

Designing and Evaluating Presentation Strategies for Fact-Checked Content

Authors: Danula Hettiachchi, Kaixin Ji, Jenny Kennedy, Anthony McCosker, Flora D. Salim, Mark Sanderson, Falk Scholer, Damiano Spina

Abstract: With the rapid growth of online misinformation, it is crucial to have reliable fact-checking methods. Recent research on finding check-worthy claims and automated fact-checking have made significant advancements. However, limited guidance exists regarding the presentation of fact-checked content to effectively convey verified information to users. We address this research gap by exploring the crit… ▽ More With the rapid growth of online misinformation, it is crucial to have reliable fact-checking methods. Recent research on finding check-worthy claims and automated fact-checking have made significant advancements. However, limited guidance exists regarding the presentation of fact-checked content to effectively convey verified information to users. We address this research gap by exploring the critical design elements in fact-checking reports and investigating whether credibility and presentation-based design improvements can enhance users' ability to interpret the report accurately. We co-developed potential content presentation strategies through a workshop involving fact-checking professionals, communication experts, and researchers. The workshop examined the significance and utility of elements such as veracity indicators and explored the feasibility of incorporating interactive components for enhanced information disclosure. Building on the workshop outcomes, we conducted an online experiment involving 76 crowd workers to assess the efficacy of different design strategies. The results indicate that proposed strategies significantly improve users' ability to accurately interpret the verdict of fact-checking articles. Our findings underscore the critical role of effective presentation of fact reports in addressing the spread of misinformation. By adopting appropriate design enhancements, the effectiveness of fact-checking reports can be maximized, enabling users to make informed judgments. △ Less

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

Comments: Accepted to the 32nd ACM International Conference on Information and Knowledge Management (CIKM '23)

ACM Class: H.3.3; H.5.2

Machine-learning recovery of foreground wedge-removed 21-cm light cones for high-$z$ galaxy map**

Authors: Jacob Kennedy, Jonathan Colaço Carr, Samuel Gagnon-Hartman, Adrian Liu, Jordan Mirocha, Yue Cui

Abstract: Upcoming experiments will map the spatial distribution of the 21-cm signal over three-dimensional volumes of space during the Epoch of Reionization (EoR). Several methods have been proposed to mitigate the issue of astrophysical foreground contamination in tomographic images of the 21-cm signal, one of which involves the excision of a wedge-shaped region in cylindrical Fourier space. While this re… ▽ More Upcoming experiments will map the spatial distribution of the 21-cm signal over three-dimensional volumes of space during the Epoch of Reionization (EoR). Several methods have been proposed to mitigate the issue of astrophysical foreground contamination in tomographic images of the 21-cm signal, one of which involves the excision of a wedge-shaped region in cylindrical Fourier space. While this removes the $k$-modes most readily contaminated by foregrounds, the concurrent removal of cosmological information located within the wedge considerably distorts the structure of 21-cm images. In this study, we build upon a U-Net based deep learning algorithm to reconstruct foreground wedge-removed maps of the 21-cm signal, newly incorporating light-cone effects. Adopting the Square Kilometre Array (SKA) as our fiducial instrument, we highlight that our U-Net recovery framework retains a reasonable level of reliability even in the face of instrumental limitations and noise. We subsequently evaluate the efficacy of recovered maps in guiding high-redshift galaxy searches and providing context to existing galaxy catalogues. This will allow for studies of how the high-redshift galaxy luminosity function varies across environments, and ultimately refine our understanding of the connection between the ionization state of the intergalactic medium (IGM) and galaxies during the EoR. △ Less

Submitted 12 March, 2024; v1 submitted 18 August, 2023; originally announced August 2023.

Comments: v2: replaced with accepted MNRAS version (extra clarifying remarks and some demonstration of out-of-distribution performance). Results and conclusions unchanged

Journal ref: Monthly Notices of the Royal Astronomical Society, Volume 529, Issue 4, pp.3684-3698 (2024)

Remote State Estimation with Privacy Against Active Eavesdroppers

Authors: Matthew Crimson, Justin M. Kennedy, Daniel E. Quevedo

Abstract: This paper considers a cyber-physical system under an active eavesdrop** attack. A remote legitimate user estimates the state of a linear plant from the state information received from a sensor. Transmissions from the sensor occur via an insecure and unreliable network. An active eavesdropper may perform an attack during system operation. The eavesdropper intercepts transmissions from the sensor… ▽ More This paper considers a cyber-physical system under an active eavesdrop** attack. A remote legitimate user estimates the state of a linear plant from the state information received from a sensor. Transmissions from the sensor occur via an insecure and unreliable network. An active eavesdropper may perform an attack during system operation. The eavesdropper intercepts transmissions from the sensor, whilst simultaneously sabotaging the data transfer from the sensor to the remote legitimate user to harm its estimation performance. To maintain state confidentiality, we propose an encoding scheme that is activated on the detection of an eavesdropper. Our scheme transmits noise based on a pseudo-random indicator, pre-arranged at the legitimate user and sensor. The transmission of noise harms the eavesdropper's performance, more than that of the legitimate user. Using the proposed encoding scheme, we impair the eavesdropper's expected estimation performance, whilst minimising expected performance degradation at the legitimate user. We explore the trade-off between state confidentiality and legitimate user performance degradation through selecting the probability that the sensor transmits noise. Under certain design choices, the trace of the expected estimation error covariance of the eavesdropper is greater than that of the legitimate user. Numerical examples are provided to illustrate the proposed encoding scheme. △ Less

Submitted 17 August, 2023; originally announced August 2023.

Comments: 13 pages, 7 figures. arXiv admin note: text overlap with arXiv:2211.13411

On domain monotonicity of Neumann eigenvalues of convex domains

Authors: Pedro Freitas, James B. Kennedy

Abstract: Inspired by a recent result of Funano's, we provide a sharp quantitative comparison result between the first nontrivial eigenvalues of the Neumann Laplacian on bounded convex domains $Ω_{1} \subset Ω_{2}$ in any dimension $d$ greater than or equal to two, recovering domain monotonicity up to an explicit multiplicative factor. We provide upper and lower bounds for such multiplicative factors for hi… ▽ More Inspired by a recent result of Funano's, we provide a sharp quantitative comparison result between the first nontrivial eigenvalues of the Neumann Laplacian on bounded convex domains $Ω_{1} \subset Ω_{2}$ in any dimension $d$ greater than or equal to two, recovering domain monotonicity up to an explicit multiplicative factor. We provide upper and lower bounds for such multiplicative factors for higher-order eigenvalues, and study their behaviour with respect to the dimension and order. We further consider different scenarios where convexity is no longer imposed. In a final section we formulate some related open problems. △ Less

Submitted 13 July, 2023; originally announced July 2023.

Coronal Heating as Determined by the Solar Flare Frequency Distribution Obtained by Aggregating Case Studies

Authors: James Paul Mason, Alexandra Werth, Colin G. West, Allison A. Youngblood, Donald L. Woodraska, Courtney Peck, Kevin Lacjak, Florian G. Frick, Moutamen Gabir, Reema A. Alsinan, Thomas Jacobsen, Mohammad Alrubaie, Kayla M. Chizmar, Benjamin P. Lau, Lizbeth Montoya Dominguez, David Price, Dylan R. Butler, Connor J. Biron, Nikita Feoktistov, Kai Dewey, N. E. Loomis, Michal Bodzianowski, Connor Kuybus, Henry Dietrick, Aubrey M. Wolfe , et al. (977 additional authors not shown)

Abstract: Flare frequency distributions represent a key approach to addressing one of the largest problems in solar and stellar physics: determining the mechanism that counter-intuitively heats coronae to temperatures that are orders of magnitude hotter than the corresponding photospheres. It is widely accepted that the magnetic field is responsible for the heating, but there are two competing mechanisms th… ▽ More Flare frequency distributions represent a key approach to addressing one of the largest problems in solar and stellar physics: determining the mechanism that counter-intuitively heats coronae to temperatures that are orders of magnitude hotter than the corresponding photospheres. It is widely accepted that the magnetic field is responsible for the heating, but there are two competing mechanisms that could explain it: nanoflares or Alfvén waves. To date, neither can be directly observed. Nanoflares are, by definition, extremely small, but their aggregate energy release could represent a substantial heating mechanism, presuming they are sufficiently abundant. One way to test this presumption is via the flare frequency distribution, which describes how often flares of various energies occur. If the slope of the power law fitting the flare frequency distribution is above a critical threshold, $α=2$ as established in prior literature, then there should be a sufficient abundance of nanoflares to explain coronal heating. We performed $>$600 case studies of solar flares, made possible by an unprecedented number of data analysts via three semesters of an undergraduate physics laboratory course. This allowed us to include two crucial, but nontrivial, analysis methods: pre-flare baseline subtraction and computation of the flare energy, which requires determining flare start and stop times. We aggregated the results of these analyses into a statistical study to determine that $α= 1.63 \pm 0.03$. This is below the critical threshold, suggesting that Alfvén waves are an important driver of coronal heating. △ Less

Submitted 9 May, 2023; originally announced May 2023.

Comments: 1,002 authors, 14 pages, 4 figures, 3 tables, published by The Astrophysical Journal on 2023-05-09, volume 948, page 71

An embedding of the Cantor fan into the Lelek fan

Authors: Iztok Banič, Goran Erceg, Judy Kennedy

Abstract: The Lelek fan $L$ is usually constructed as a subcontinuum of the Cantor fan in such a way that the set of the end-points of $L$ is dense in $L$. It easily follows that the Lelek fan is embeddable into the Cantor fan. {It is also a well-known fact that the Cantor fan is embeddable into the Lelek fan, but this is less obvious. When proving this, one usually uses the well-known result by Dijkstra an… ▽ More The Lelek fan $L$ is usually constructed as a subcontinuum of the Cantor fan in such a way that the set of the end-points of $L$ is dense in $L$. It easily follows that the Lelek fan is embeddable into the Cantor fan. {It is also a well-known fact that the Cantor fan is embeddable into the Lelek fan, but this is less obvious. When proving this, one usually uses the well-known result by Dijkstra and van Mill that the Cantor set is embeddable into the complete Erdös space, and the well-known fact by Kawamura, Oversteegen, and Tymchatyn that the set of end-points of the Lelek fan is homeomorphic to the complete Erdös space. Then, the subcontinuum of the Lelek fan that is induced by the embedded Cantor set into the set of end-points of the Lelek fan, is a Cantor fan. In our paper, we give an alternative straightforward construction of a Cantor fan into the Lelek fan. We do not use the fact that the Cantor set is embeddable into the complete Erdös space and that it is homeomorphic to the set of end-points of the Lelek fan. Instead, we use our recent techniques of Mahavier products of closed relations to produce an embedding of the Cantor fan into the Lelek fan. Since the Cantor fan is universal for the family of all smooth fans, it follows that also the Lelek fan is universal for smooth fans. △ Less

Submitted 11 May, 2023; v1 submitted 9 May, 2023; originally announced May 2023.

MSC Class: 37B02; 37B45; 54C60; 54F15; 54F17

Transitive map**s on the Cantor fan

Authors: Iztok Banič, Goran Erceg, Judy Kennedy, Chris Mouron, Van Nall

Abstract: Many continua that admit a transitive homeomorphism may be found in the literature. The circle is probably the simplest non-degenerate continuum that admits such a homeomorphism. On the other hand, most of the known examples of such continua have a complicated topological structure. For example, they are {indecomposable} (such as the pseudo-arc or the Knaster bucket-handle continuum), or they are… ▽ More Many continua that admit a transitive homeomorphism may be found in the literature. The circle is probably the simplest non-degenerate continuum that admits such a homeomorphism. On the other hand, most of the known examples of such continua have a complicated topological structure. For example, they are {indecomposable} (such as the pseudo-arc or the Knaster bucket-handle continuum), or they are {not indecomposable} but have some other complicated topological structure, such as a dense set of ramification points (such as the Sierpi\' nski carpet) or a dense set of end-points (such as the Lelek fan). In this paper, we continue our mission of finding continua with simpler topological structures that admit a transitive homeomorphism.} We construct a transitive homeomorphism on the Cantor fan. {In our approach, we use four different techniques, each of them giving a unique construction of a transitive homeomorphism on the Cantor fan:} two techniques using quotient spaces of products of compact metric spaces and Cantor sets, and two using Mahavier products of closed relations on compact metric spaces. {We also demonstrate how our technique using Mahavier products of closed relations may be used to } construct a transitive function $f$ on a Cantor fan $X$ such that $\varprojlim(X,f)$ is a Lelek fan. △ Less

Submitted 28 April, 2023; v1 submitted 6 April, 2023; originally announced April 2023.

MSC Class: 37B02; 37B45; 54C60; 54F15; 54F17

Exactly Optimal Quickest Change Detection of Markov Chains

Authors: Jason J. Ford, Justin M. Kennedy, Caitlin Tompkins, Jasmin James, Aaron McFadyen

Abstract: This paper establishes that an exactly optimal rule for Bayesian Quickest Change Detection (QCD) of Markov chains is a threshold test on the no change posterior. We also provide a computationally efficient scalar filter for the no change posterior whose effort is independent of the dimension of the chains. We establish that an (undesirable) weak practical super-martingale phenomenon can be exhibit… ▽ More This paper establishes that an exactly optimal rule for Bayesian Quickest Change Detection (QCD) of Markov chains is a threshold test on the no change posterior. We also provide a computationally efficient scalar filter for the no change posterior whose effort is independent of the dimension of the chains. We establish that an (undesirable) weak practical super-martingale phenomenon can be exhibited by the no change posterior when the before and after chains are too close in a relative entropy rate sense. The proposed detector is examined in simulation studies. △ Less

Submitted 23 March, 2023; originally announced March 2023.

Comments: 6 pages, 3 figures

Innovation-Based Remote State Estimation Secrecy with no Acknowledgments

Authors: Justin M. Kennedy, Jason J. Ford, Daniel E. Quevedo, Falko Dressler

Abstract: Secrecy encoding for remote state estimation in the presence of adversarial eavesdroppers is a well studied problem. Typical existing secrecy encoding schemes rely on the transmitter's knowledge of the remote estimator's current performance. This performance measure is often shared via packet receipt acknowledgments. However, in practical situations the acknowledgment channel may be susceptible to… ▽ More Secrecy encoding for remote state estimation in the presence of adversarial eavesdroppers is a well studied problem. Typical existing secrecy encoding schemes rely on the transmitter's knowledge of the remote estimator's current performance. This performance measure is often shared via packet receipt acknowledgments. However, in practical situations the acknowledgment channel may be susceptible to interference from an active adversary, resulting in the secrecy encoding scheme failing. Aiming to achieve a reliable state estimate for a legitimate estimator while ensuring secrecy, we propose a secrecy encoding scheme without the need for packet receipt acknowledgments. Our encoding scheme uses a pre-arranged scheduling sequence established at the transmitter and legitimate receiver. We transmit a packet containing either the state measurement or encoded information for the legitimate user. The encoding makes the packet appear to be the state but is designed to damage an eavesdropper's estimate. The pre-arranged scheduling sequence and encoding is chosen psuedo-random. We analyze the performance of our encoding scheme against a class of eavesdropper, and show conditions to force the eavesdropper to have an unbounded estimation performance. Further, we provide a numerical illustration and apply our encoding scheme to an application in power systems. △ Less

Submitted 15 December, 2022; originally announced December 2022.

Comments: 21 pages, 5 figures

Journal ref: IEEE Transactions on Automatic Control, 2024

Remote State Estimation with Privacy Against Eavesdroppers

Authors: Matthew Crimson, Justin M. Kennedy, Daniel E. Quevedo

Abstract: We study the problem of remote state estimation in the presence of a passive eavesdropper, under the challenging network environment of no packet receipt acknowledgments. A remote legitimate user estimates the state of a linear plant from the state information received from a sensor via an insecure and unreliable network. The transmission from the sensor may be intercepted by the eavesdropper. To… ▽ More We study the problem of remote state estimation in the presence of a passive eavesdropper, under the challenging network environment of no packet receipt acknowledgments. A remote legitimate user estimates the state of a linear plant from the state information received from a sensor via an insecure and unreliable network. The transmission from the sensor may be intercepted by the eavesdropper. To maintain state confidentiality, we propose an encoding scheme. Our scheme transmits noise based on a pseudo-random indicator, pre-arranged at the legitimate user and sensor. The transmission of noise harms the eavesdropper's performance, more than that of the legitimate user. Using the proposed encoding scheme, we impair the eavesdropper's expected estimation performance, whilst minimising expected performance degradation at the legitimate user. We explore the trade-off between state confidentiality and legitimate user performance degradation. △ Less

Submitted 5 April, 2023; v1 submitted 23 November, 2022; originally announced November 2022.

Comments: 6 Pages, 3 figures

Direct comparison of two spin squeezed optical clocks below the quantum projection noise limit

Authors: John M Robinson, Maya Miklos, Yee Ming Tso, Colin J. Kennedy, Tobias Bothwell, Dhruv Kedar, James K. Thompson, Jun Ye

Abstract: Building scalable quantum systems that demonstrate genuine performance enhancement based on entanglement is a major scientific goal for fields including computing, networking, simulations, and metrology. The tremendous challenge arises from the fragility of entanglement in increasingly larger sized quantum systems. Optical atomic clocks utilizing a large number of atoms have pushed the frontier of… ▽ More Building scalable quantum systems that demonstrate genuine performance enhancement based on entanglement is a major scientific goal for fields including computing, networking, simulations, and metrology. The tremendous challenge arises from the fragility of entanglement in increasingly larger sized quantum systems. Optical atomic clocks utilizing a large number of atoms have pushed the frontier of measurement science, building on precise engineering of quantum states and control of atomic interactions. However, today's state-of-the-art optical atomic clocks are limited by the quantum projection noise (QPN) defined by many uncorrelated atoms. Pioneering work on producing spin squeezed states of atoms has shown a path towards integrating entanglement into the best performing clocks. However, to directly demonstrate advantage of quantum entanglement in a working clock we must prevent backaction effects that degrade quantum coherence and introduce uncontrolled perturbations, as well as minimize the influence of technical noise arising from the interrogating clock laser. Here we present a new optical clock platform integrated with collective strong-coupling cavity QED for quantum non-demolition (QND) measurement. Optimizing the competition between spin measurement precision and loss of coherence, we measure a Wineland parameter of -1.8(7) dB for 1.9x10$^4$ atoms, thus verifying the presence of entanglement. Furthermore, a moving lattice allows the cavity to individually address two independent sub-ensembles, enabling us to spin squeeze two clock ensembles successively and compare their performance. This differential comparison between the two squeezed clocks directly verifies enhanced clock stability of 2.0(3) dB below QPN, and 0.6(3) dB above the standard quantum limit (SQL), at the measurement precision level of 10$^{-17}$, without subtracting any technical noise contributions. △ Less

Submitted 16 November, 2022; v1 submitted 15 November, 2022; originally announced November 2022.

Comments: 12 pages, 6 figures

Sufficient conditions for non-zero entropy and finite relations

Authors: Iztok Banic, Rene Gril Rogina, Judy Kennedy, Van Nall

Abstract: We introduce the notions of returns, dispersions and well-aligned sets for closed relations on compact metric spaces and then we use them to obtain non-trivial sufficient conditions for such a relation to have non-zero entropy. In addition, we give a characterization of finite relations with non-zero entropy in terms of Li-Yorke and DC2-chaos. We introduce the notions of returns, dispersions and well-aligned sets for closed relations on compact metric spaces and then we use them to obtain non-trivial sufficient conditions for such a relation to have non-zero entropy. In addition, we give a characterization of finite relations with non-zero entropy in terms of Li-Yorke and DC2-chaos. △ Less

Submitted 4 October, 2022; originally announced October 2022.

MSC Class: 37B40; 37B45; 37E0; 54C08; 54E45; 54F15; 54F17

Fast and accurate predictions of the nonlinear matter power spectrum for general models of Dark Energy and Modified Gravity

Authors: B. Bose, M. Tsedrik, J. Kennedy, L. Lombriser, A. Pourtsidou, A. Taylor

Abstract: We embed linear and nonlinear parametrisations of beyond standard cosmological physics in the halo model reaction framework, providing a model-independent prescription for the nonlinear matter power spectrum. As an application, we focus on Horndeski theories, using the Effective Field Theory of Dark Energy (EFTofDE) to parameterise linear and quasi-nonlinear perturbations. In the nonlinear regime… ▽ More We embed linear and nonlinear parametrisations of beyond standard cosmological physics in the halo model reaction framework, providing a model-independent prescription for the nonlinear matter power spectrum. As an application, we focus on Horndeski theories, using the Effective Field Theory of Dark Energy (EFTofDE) to parameterise linear and quasi-nonlinear perturbations. In the nonlinear regime we investigate both a nonlinear parameterised-post Friedmannian (nPPF) approach as well as a physically motivated and approximate phenomenological model based on the error function (Erf). We compare the parameterised approaches' predictions of the nonlinear matter power spectrum to the exact solutions, as well as state-of-the-art emulators, in an evolving dark energy scenario and two well studied modified gravity models, finding sub-percent agreement in the reaction using the Erf model at $z\leq1$ and $k\leq 5~h/{\rm Mpc}$. This suggests only an additional 3 free constants, above the background and linear theory parameters, are sufficient to model nonlinear, non-standard cosmology in the matter power spectrum at scales down to $k \leq 3h~/{\rm Mpc}$ within $2\%$ accuracy. We implement the parametrisations into ver.2.0 of the ReACT code. △ Less

Submitted 6 January, 2023; v1 submitted 3 October, 2022; originally announced October 2022.

Comments: Journal accepted version. 21 pages, 10 figures. Download ReACT v2: https://github.com/nebblu/ACTio-ReACTio

A transitive homeomorphism on the Lelek fan

Authors: Iztok Banič, Goran Erceg, Judy Kennedy

Abstract: Let $X$ be a continuum and let $\varphi:X\rightarrow X$ be a homeomorphism. To construct a dynamical system $(X,\varphi)$ with interesting dynamical properties, the continuum $X$ often needs to have some complicated topological structure. In this paper, we are interested in one such dynamical property: transitivity. By now, various examples of continua $X$ have been constructed in such a way that… ▽ More Let $X$ be a continuum and let $\varphi:X\rightarrow X$ be a homeomorphism. To construct a dynamical system $(X,\varphi)$ with interesting dynamical properties, the continuum $X$ often needs to have some complicated topological structure. In this paper, we are interested in one such dynamical property: transitivity. By now, various examples of continua $X$ have been constructed in such a way that the dynamical system $(X,\varphi)$ is transitive. Mostly, they are examples of continua that are not path-connected, such as the pseudo-arc or the pseudo-circle, or they are examples of locally connected continua (and every locally connected continuum is path-connected), Wazewski's universal dendrite and the Sierpinski carpet are such examples. In this paper, we present an example of a dynamical system $(X,\varphi)$, where $\varphi$ is a homeomorphism on the continuum $X$ and $X$ is a path-connected but not locally connected continuum. We construct a transitive homeomorphism on the Lelek fan. As a by-product, a non-invertible transitive map on the Lelek fan is also constructed. △ Less

Submitted 20 October, 2022; v1 submitted 15 September, 2022; originally announced September 2022.

Comments: arXiv admin note: text overlap with arXiv:2206.00087

MSC Class: 37B02; 37B45; 54C60; 54F15; 54F17

Transitive points in CR-dynamical systems

Authors: Iztok Banič, Goran Erceg, Sina Greenwood, Judy Kennedy

Abstract: We study different types of transitive points in CR-dynamical systems (X,G) with closed relations G on compact metric spaces X. We also introduce transitive and dense orbit transitive CR-dynamical systems and discuss their properties and the relations between them. This generalizes the notion of transitive topological dynamical systems (X, f ). We study different types of transitive points in CR-dynamical systems (X,G) with closed relations G on compact metric spaces X. We also introduce transitive and dense orbit transitive CR-dynamical systems and discuss their properties and the relations between them. This generalizes the notion of transitive topological dynamical systems (X, f ). △ Less

Submitted 15 September, 2022; originally announced September 2022.

MSC Class: 37B02; 37B45; 54C60; 54F15; 54F17; 03E20

Spectral minimal partitions of unbounded metric graphs

Authors: Matthias Hofmann, James B. Kennedy, Andrea Serio

Abstract: We investigate the existence or non-existence of spectral minimal partitions of unbounded metric graphs, where the operator applied to each of the partition elements is a Schrödinger operator of the form $-Δ+ V$ with suitable (electric) potential $V$, which is taken as a fixed, underlying ``landscape'' on the whole graph. We show that there is a strong link between spectral minimal partitions an… ▽ More We investigate the existence or non-existence of spectral minimal partitions of unbounded metric graphs, where the operator applied to each of the partition elements is a Schrödinger operator of the form $-Δ+ V$ with suitable (electric) potential $V$, which is taken as a fixed, underlying ``landscape'' on the whole graph. We show that there is a strong link between spectral minimal partitions and infimal partition energies on the one hand, and the infimum $Σ$ of the essential spectrum of the corresponding Schrödinger operator on the whole graph on the other. Namely, we show that for any $k\in\mathbb{N}$, the infimal energy among all admissible $k$-partitions is bounded from above by $Σ$, and if it is strictly below $Σ$, then a spectral minimal $k$-partition exists. We illustrate our results with several examples of existence and non-existence of minimal partitions of unbounded and infinite graphs, with and without potentials. The nature of the proofs, a key ingredient of which is a version of Persson's theorem for quantum graphs, strongly suggests that corresponding results should hold for Schrödinger operator-based partitions of unbounded domains in Euclidean space. △ Less

Submitted 14 March, 2023; v1 submitted 8 September, 2022; originally announced September 2022.

Comments: Revised, shortened version, a number of proofs and examples have been tightened. To appear in J. Spectr. Theory

MSC Class: 34B45; 34L40; 35P15; 35R02; 81Q35

Bayesian Quickest Change Detection of an Intruder in Acknowledgments for Private Remote State Estimation

Authors: Justin M. Kennedy, Jason J. Ford, Daniel E. Quevedo

Abstract: For geographically separated cyber-physical systems, state estimation at a remote monitoring or control site is important to ensure stability and reliability of the system. Often for safety or commercial reasons it is necessary to ensure confidentiality of the process state and control information. A current topic of interest is the private transmission of confidential state information. Many tran… ▽ More For geographically separated cyber-physical systems, state estimation at a remote monitoring or control site is important to ensure stability and reliability of the system. Often for safety or commercial reasons it is necessary to ensure confidentiality of the process state and control information. A current topic of interest is the private transmission of confidential state information. Many transmission encoding schemes rely on acknowledgments, which may be susceptible to interference from an adversary. We consider a stealthy intruder that selectively blocks acknowledgments allowing an eavesdropper to obtain a reliable state estimate defeating an encoding scheme. We utilize Bayesian Quickest Change Detection techniques to quickly detect online the presence of an intruder at both the remote transmitter and receiver. △ Less

Submitted 15 December, 2022; v1 submitted 17 July, 2022; originally announced July 2022.

Comments: 6 pages, 5 figures

Journal ref: Australian and New Zealand Control Conference, 24-25 November 2022, Gold Coast, Australia

Boundary Conditions Matter: On The Spectrum Of Infinite Quantum Graphs

Authors: Marco Düfel, James B. Kennedy, Delio Mugnolo, Marvin Plümer, Matthias Täufer

Abstract: We study the interplay between spectrum, geometry and boundary conditions for two distinguished self-adjoint realisations of the Laplacian on infinite metric graphs, the so-called Friedrichs and Neumann extensions. We introduce a new criterion for compactness of the resolvent and apply this to identify a transition from purely discrete to non-empty essential spectrum among a class of infinite metr… ▽ More We study the interplay between spectrum, geometry and boundary conditions for two distinguished self-adjoint realisations of the Laplacian on infinite metric graphs, the so-called Friedrichs and Neumann extensions. We introduce a new criterion for compactness of the resolvent and apply this to identify a transition from purely discrete to non-empty essential spectrum among a class of infinite metric graphs, a phenomenon that seems to have no known counterpart for Laplacians on Euclidean domains of infinite volume. In the case of discrete spectrum we then prove upper and lower bounds on eigenvalues, thus extending a number of bounds previously only known in the compact setting to infinite graphs. Some of our bounds, for instance in terms of the inradius, are new even on compact graphs. △ Less

Submitted 11 January, 2024; v1 submitted 8 July, 2022; originally announced July 2022.

Comments: 32 pages, 5 figures

MSC Class: 4B45; 35P15; 81Q35

How is model-related uncertainty quantified and reported in different disciplines?

Authors: Emily G. Simmonds, Kwaku Peprah Adjei, Christoffer Wold Andersen, Janne Cathrin Hetle Aspheim, Claudia Battistin, Nicola Bulso, Hannah Christensen, Benjamin Cretois, Ryan Cubero, Ivan A. Davidovich, Lisa Dickel, Benjamin Dunn, Etienne Dunn-Sigouin, Karin Dyrstad, Sigurd Einum, Donata Giglio, Haakon Gjerlow, Amelie Godefroidt, Ricardo Gonzalez-Gil, Soledad Gonzalo Cogno, Fabian Grosse, Paul Halloran, Mari F. Jensen, John James Kennedy, Peter Egge Langsaether , et al. (18 additional authors not shown)

Abstract: How do we know how much we know? Quantifying uncertainty associated with our modelling work is the only way we can answer how much we know about any phenomenon. With quantitative science now highly influential in the public sphere and the results from models translating into action, we must support our conclusions with sufficient rigour to produce useful, reproducible results. Incomplete considera… ▽ More How do we know how much we know? Quantifying uncertainty associated with our modelling work is the only way we can answer how much we know about any phenomenon. With quantitative science now highly influential in the public sphere and the results from models translating into action, we must support our conclusions with sufficient rigour to produce useful, reproducible results. Incomplete consideration of model-based uncertainties can lead to false conclusions with real world impacts. Despite these potentially damaging consequences, uncertainty consideration is incomplete both within and across scientific fields. We take a unique interdisciplinary approach and conduct a systematic audit of model-related uncertainty quantification from seven scientific fields, spanning the biological, physical, and social sciences. Our results show no single field is achieving complete consideration of model uncertainties, but together we can fill the gaps. We propose opportunities to improve the quantification of uncertainty through use of a source framework for uncertainty consideration, model type specific guidelines, improved presentation, and shared best practice. We also identify shared outstanding challenges (uncertainty in input data, balancing trade-offs, error propagation, and defining how much uncertainty is required). Finally, we make nine concrete recommendations for current practice (following good practice guidelines and an uncertainty checklist, presenting uncertainty numerically, and propagating model-related uncertainty into conclusions), future research priorities (uncertainty in input data, quantifying uncertainty in complex models, and the importance of missing uncertainty in different contexts), and general research standards across the sciences (transparency about study limitations and dedicated uncertainty sections of manuscripts). △ Less

Submitted 1 July, 2022; v1 submitted 24 June, 2022; originally announced June 2022.

Comments: 40 Pages (including supporting information), 3 Figures, 2 Boxes, 1 Table

Impediments to diffusion in quantum graphs: geometry-based upper bounds on the spectral gap

Authors: Gregory Berkolaiko, James B. Kennedy, Pavel Kurasov, Delio Mugnolo

Abstract: We derive several upper bounds on the spectral gap of the Laplacian with standard or Dirichlet vertex conditions on compact metric graphs. In particular, we obtain estimates based on the length of a shortest cycle (girth), diameter, total length of the graph, as well as further metric quantities introduced here for the first time, such as the avoidance diameter. Using known results about Ramanujan… ▽ More We derive several upper bounds on the spectral gap of the Laplacian with standard or Dirichlet vertex conditions on compact metric graphs. In particular, we obtain estimates based on the length of a shortest cycle (girth), diameter, total length of the graph, as well as further metric quantities introduced here for the first time, such as the avoidance diameter. Using known results about Ramanujan graphs, a class of expander graphs, we also prove that some of these metric quantities, or combinations thereof, do not to deliver any spectral bounds with the correct scaling. △ Less

Submitted 13 April, 2023; v1 submitted 20 June, 2022; originally announced June 2022.

Comments: 15+epsilon pages, 4 figures; with helpful corrections from an anonymous referee

MSC Class: 34B45 (05C50 35P15 81Q35)

The Lelek fan as the inverse limit of intervals with a single set-valued bonding function whose graph is an arc

Authors: Iztok Banic, Goran Erceg, Judy Kennedy

Abstract: We consider a family of inverse limits of inverse sequences of closed unit intervals with a single upper semi-continuous set-valued bonding function whose graph is an arc; it is the union of two line segments in $[0,1]^2$, both of them contain the origin $(0, 0)$, have positive slope, and extend to the opposite boundary of $[0,1]^2$. We show that there is a large subfamily $\mathcal F$ of these… ▽ More We consider a family of inverse limits of inverse sequences of closed unit intervals with a single upper semi-continuous set-valued bonding function whose graph is an arc; it is the union of two line segments in $[0,1]^2$, both of them contain the origin $(0, 0)$, have positive slope, and extend to the opposite boundary of $[0,1]^2$. We show that there is a large subfamily $\mathcal F$ of these bonding functions such that for each $f\in \mathcal F$, the inverse limit of the inverse sequence of closed unit intervals using $f$ as a single bonding function, is homeomorphic to the Lelek fan. △ Less

Submitted 31 May, 2022; originally announced June 2022.

MSC Class: 54F17; 54F15; 54F16

Centralized Model-Predictive Control with Human-Driver Interaction for Platooning

Authors: Justin M. Kennedy, Julian Heinovski, Daniel E. Quevedo, Falko Dressler

Abstract: Cooperative adaptive cruise control presents an opportunity to improve road transportation through increase in road capacity and reduction in energy use and accidents. Clever design of control algorithms and communication systems is required to ensure that the vehicle platoon is stable and meets desired safety requirements. In this paper, we propose a centralized model predictive controller for a… ▽ More Cooperative adaptive cruise control presents an opportunity to improve road transportation through increase in road capacity and reduction in energy use and accidents. Clever design of control algorithms and communication systems is required to ensure that the vehicle platoon is stable and meets desired safety requirements. In this paper, we propose a centralized model predictive controller for a heterogeneous platoon of vehicles to reach a desired platoon velocity and individual inter-vehicle distances with driver-selected headway time. As a novel concept, we allow for interruption from a human driver in the platoon that temporarily takes control of their vehicle with the assumption that the driver will, at minimum, obey legal velocity limits and the physical performance constraints of their vehicle. The finite horizon cost function of our proposed platoon controller is inspired from the infinite horizon design. To the best of our knowledge, this is the first platoon controller that integrates human-driven vehicles. We illustrate the performance of our proposed design with a numerical study, demonstrating that the safety distance, velocity, and actuation constraints are obeyed. Additionally, in simulation we illustrate a key property of string stability where the impact of a disturbance is reduced through the platoon. △ Less

Submitted 18 May, 2023; v1 submitted 18 May, 2022; originally announced May 2022.

Comments: 17 pages, 8 figures, to appear in IEEE Transactions on Vehicular Technology

Journal ref: IEEE Transactions on Vehicular Technology, vol. 72 (10), pp. 12664-12680, October 2023

Minimal dynamical systems with closed relations

Authors: Iztok Banic, Goran Erceg, Rene Gril Rogina, Judy Kennedy

Abstract: We introduce dynamical systems $(X,G)$ with closed relations $G$ on compact metric spaces $X$ and discuss different types of minimality of such dynamical systems, all of them generalizing minimal dynamical systems $(X,f)$ with continuous function $f$ on a compact metric space $X$. We introduce dynamical systems $(X,G)$ with closed relations $G$ on compact metric spaces $X$ and discuss different types of minimality of such dynamical systems, all of them generalizing minimal dynamical systems $(X,f)$ with continuous function $f$ on a compact metric space $X$. △ Less

Submitted 5 May, 2022; originally announced May 2022.

MSC Class: 37B02; 37B45; 54C60; 54F15; 54F17

Closed relations with non-zero entropy that generate no periodic points

Authors: Iztok Banic, Goran Erceg, Judy Kennedy

Abstract: The paper is motivated by E. Akin's book about dynamical systems and closed relations [A], and by J. Kennedy's and G. Erceg's recent paper about the entropy of closed relations on closed intervals [EK]. In present paper, we introduce the entropy of a closed relation G on any compact metric space X and show its basic properties. We also introduce when such a relation G generates a periodic point or… ▽ More The paper is motivated by E. Akin's book about dynamical systems and closed relations [A], and by J. Kennedy's and G. Erceg's recent paper about the entropy of closed relations on closed intervals [EK]. In present paper, we introduce the entropy of a closed relation G on any compact metric space X and show its basic properties. We also introduce when such a relation G generates a periodic point or finitely generates a Cantor set. Then we show that periodic points, finitely generated Cantor sets, Mahavier products and the entropy of closed relations are preserved by topological conjugations. Among other things, this generalizes the well-known results about the topological conjugacy of continuous map**s. Finally, we prove a theorem, giving sufficient conditions for a closed relation G on [0,1] to have a non-zero entropy. Then we present various examples of closed relations G on [0,1] such that (1) the entropy of G is non-zero, (2) no periodic point or exactly one periodic point is generated by G, and (3) no Cantor set is finitely generated by G. △ Less

Submitted 15 March, 2022; originally announced March 2022.

Hamiltonian engineering of spin-orbit coupled fermions in a Wannier-Stark optical lattice clock

Authors: Alexander Aeppli, Anjun Chu, Tobias Bothwell, Colin J. Kennedy, Dhruv Kedar, Peiru He, Ana Maria Rey, Jun Ye

Abstract: Engineering a Hamiltonian system with tunable interactions provides opportunities to optimize performance for quantum sensing and explore emerging phenomena of many-body systems. An optical lattice clock based on partially delocalized Wannier-Stark states in a gravity-tilted shallow lattice supports superior quantum coherence and adjustable interactions via spin-orbit coupling, thus presenting a p… ▽ More Engineering a Hamiltonian system with tunable interactions provides opportunities to optimize performance for quantum sensing and explore emerging phenomena of many-body systems. An optical lattice clock based on partially delocalized Wannier-Stark states in a gravity-tilted shallow lattice supports superior quantum coherence and adjustable interactions via spin-orbit coupling, thus presenting a powerful spin model realization. The relative strength of the on-site and off-site interactions can be tuned to achieve a zero density shift at a `magic' lattice depth. This mechanism, together with a large number of atoms, enables the demonstration of the most stable atomic clock while minimizing a key systematic uncertainty related to atomic density. Interactions can also be maximized by driving off-site Wannier-Stark transitions, realizing a ferromagnetic to paramagnetic dynamical phase transition. △ Less

Submitted 15 January, 2022; originally announced January 2022.

Low Resource Species Agnostic Bird Activity Detection

Authors: Mark Anderson, John Kennedy, Naomi Harte

Abstract: This paper explores low resource classifiers and features for the detection of bird activity, suitable for embedded Automatic Recording Units which are typically deployed for long term remote monitoring of bird populations. Features include low-level spectral parameters, statistical moments on pitch samples, and features derived from amplitude modulation. Performance is evaluated on several lightw… ▽ More This paper explores low resource classifiers and features for the detection of bird activity, suitable for embedded Automatic Recording Units which are typically deployed for long term remote monitoring of bird populations. Features include low-level spectral parameters, statistical moments on pitch samples, and features derived from amplitude modulation. Performance is evaluated on several lightweight classifiers using the NIPS4Bplus dataset. Our experiments show that random forest classifiers perform best on this task, achieving an accuracy of 0.721 and an F1-Score of 0.604. We compare the results of our system against both a Convolutional Neural Network based detector, and standard MFCC features. Our experiments show that we can achieve equal or better performance in most metrics using features and models with a smaller computational cost and which are suitable for edge deployment. △ Less

Submitted 16 December, 2021; originally announced December 2021.

Comments: This paper is accepted and presented at the IEEE Workshop on Signal Processing Systems (SiPS) October 2021, 3 Figures, 5 Tables

Journal ref: IEEE Workshop on Signal Processing Systems (SiPS), 2021, pp. 34-39

A real-time spatiotemporal AI model analyzes skill in open surgical videos

Authors: Emmett D. Goodman, Krishna K. Patel, Yilun Zhang, William Locke, Chris J. Kennedy, Rohan Mehrotra, Stephen Ren, Melody Y. Guan, Maren Downing, Hao Wei Chen, Jevin Z. Clark, Gabriel A. Brat, Serena Yeung

Abstract: Open procedures represent the dominant form of surgery worldwide. Artificial intelligence (AI) has the potential to optimize surgical practice and improve patient outcomes, but efforts have focused primarily on minimally invasive techniques. Our work overcomes existing data limitations for training AI models by curating, from YouTube, the largest dataset of open surgical videos to date: 1997 video… ▽ More Open procedures represent the dominant form of surgery worldwide. Artificial intelligence (AI) has the potential to optimize surgical practice and improve patient outcomes, but efforts have focused primarily on minimally invasive techniques. Our work overcomes existing data limitations for training AI models by curating, from YouTube, the largest dataset of open surgical videos to date: 1997 videos from 23 surgical procedures uploaded from 50 countries. Using this dataset, we developed a multi-task AI model capable of real-time understanding of surgical behaviors, hands, and tools - the building blocks of procedural flow and surgeon skill. We show that our model generalizes across diverse surgery types and environments. Illustrating this generalizability, we directly applied our YouTube-trained model to analyze open surgeries prospectively collected at an academic medical center and identified kinematic descriptors of surgical skill related to efficiency of hand motion. Our Annotated Videos of Open Surgery (AVOS) dataset and trained model will be made available for further development of surgical AI. △ Less

Submitted 14 December, 2021; originally announced December 2021.

Comments: 22 pages, 4 main text figures, 7 extended data figures, 4 extended data tables

Map** and fixed point property theorems for inverse limits with set-valued bonding functions

Authors: Iztok Banic, Goran Erceg, Judy Kennedy

Abstract: Among other results, the paper gives new map** theorems and new fixed point property theorems for inverse limits of inverse sequences of compact metric spaces with upper semicontinuous set-valued bonding functions. We also revisit the results from two papers, Mioduszewski's ''Map**s of inverse limits'' and Feuerbacher's ''Map**s of inverse limits revisited''. Among other results, the paper gives new map** theorems and new fixed point property theorems for inverse limits of inverse sequences of compact metric spaces with upper semicontinuous set-valued bonding functions. We also revisit the results from two papers, Mioduszewski's ''Map**s of inverse limits'' and Feuerbacher's ''Map**s of inverse limits revisited''. △ Less

Submitted 13 December, 2021; originally announced December 2021.

Scalable synthesis of 2D van der Waals superlattices

Authors: Michael J. Motala, Xiang Zhang, Pawan Kumar, Eliezer F. Oliveira, Anna Benton, Paige Miesle, Rahul Rao, Peter R. Stevenson, David Moore, Adam Alfieri, Jason Lynch, Guanhui Gao, Sijie Ma, Hanyu Zhu, Zhe Wang, Ivan Petrov, Eric A. Stach, W. Joshua Kennedy, Shiva Vengala, James M. Tour, Douglas S. Galvao, Deep Jariwala, Christopher Muratore, Michael Snure, Pulickel M. Ajayan , et al. (1 additional authors not shown)

Abstract: Heterostructure materials form the basis of much of modern electronics, from transistors to lasers and light-emitting diodes. Recent years have seen a renewed focus on creating heterostructures through the vertical integration of two-dimensional materials, including graphene, hexagonal boron nitride, and transition metal dichalcogenides (TMDCs). However, fundamental challenges associated with mate… ▽ More Heterostructure materials form the basis of much of modern electronics, from transistors to lasers and light-emitting diodes. Recent years have seen a renewed focus on creating heterostructures through the vertical integration of two-dimensional materials, including graphene, hexagonal boron nitride, and transition metal dichalcogenides (TMDCs). However, fundamental challenges associated with materials processing have limited material quality and impeded scalability. We demonstrate a method to convert sub-nanometer metal films deposited on silicon and sapphire into TMDC heterostructures through vapor-phase processing. The resulting heterostructures and superlattices exhibit novel properties compared with stand-alone TMDCs, including reduced bandgap, enhanced light-matter coupling, and improved catalytic performance. This robust and scalable synthetic method provides new opportunities to generate a wide range of artificially stacked 2D superlattices with controlled morphology and composition. △ Less

Submitted 4 November, 2021; originally announced November 2021.

Beyond Topics: Discovering Latent Healthcare Objectives from Event Sequences

Authors: Adrian Caruana, Madhushi Bandara, Daniel Catchpoole, Paul J Kennedy

Abstract: A meaningful understanding of clinical protocols and patient pathways helps improve healthcare outcomes. Electronic health records (EHR) reflect real-world treatment behaviours that are used to enhance healthcare management but present challenges; protocols and pathways are often loosely defined and with elements frequently not recorded in EHRs, complicating the enhancement. To solve this challeng… ▽ More A meaningful understanding of clinical protocols and patient pathways helps improve healthcare outcomes. Electronic health records (EHR) reflect real-world treatment behaviours that are used to enhance healthcare management but present challenges; protocols and pathways are often loosely defined and with elements frequently not recorded in EHRs, complicating the enhancement. To solve this challenge, healthcare objectives associated with healthcare management activities can be indirectly observed in EHRs as latent topics. Topic models, such as Latent Dirichlet Allocation (LDA), are used to identify latent patterns in EHR data. However, they do not examine the ordered nature of EHR sequences, nor do they appraise individual events in isolation. Our novel approach, the Categorical Sequence Encoder (CaSE) addresses these shortcomings. The sequential nature of EHRs is captured by CaSE's event-level representations, revealing latent healthcare objectives. In synthetic EHR sequences, CaSE outperforms LDA by up to 37% at identifying healthcare objectives. In the real-world MIMIC-III dataset, CaSE identifies meaningful representations that could critically enhance protocol and pathway development. △ Less

Submitted 3 October, 2021; originally announced October 2021.

Preparation of the spin-Mott state: a spinful Mott insulator of repulsively bound pairs

Authors: Julius de Hond, **ggang Xiang, Woo Chang Chung, Enid Cruz-Colón, Wenlan Chen, William Cody Burton, Colin J. Kennedy, Wolfgang Ketterle

Abstract: We observe and study a special ground state of bosons with two spin states in an optical lattice: the spin-Mott insulator, a state that consists of repulsively bound pairs which is insulating for both spin and charge transport. Because of the pairing gap created by the interaction anisotropy, it can be prepared with low entropy and can serve as a starting point for adiabatic state preparation. We… ▽ More We observe and study a special ground state of bosons with two spin states in an optical lattice: the spin-Mott insulator, a state that consists of repulsively bound pairs which is insulating for both spin and charge transport. Because of the pairing gap created by the interaction anisotropy, it can be prepared with low entropy and can serve as a starting point for adiabatic state preparation. We find that the stability of the spin-Mott state depends on the pairing energy, and observe two qualitatively different decay regimes, one of which exhibits protection by the gap. △ Less

Submitted 5 October, 2021; v1 submitted 1 October, 2021; originally announced October 2021.

Resolving the gravitational redshift within a millimeter atomic sample

Authors: Tobias Bothwell, Colin J. Kennedy, Alexander Aeppli, Dhruv Kedar, John M. Robinson, Eric Oelker, Alexander Staron, Jun Ye

Abstract: Einstein's theory of general relativity states that clocks at different gravitational potentials tick at different rates - an effect known as the gravitational redshift. As fundamental probes of space and time, atomic clocks have long served to test this prediction at distance scales from 30 centimeters to thousands of kilometers. Ultimately, clocks will study the union of general relativity and q… ▽ More Einstein's theory of general relativity states that clocks at different gravitational potentials tick at different rates - an effect known as the gravitational redshift. As fundamental probes of space and time, atomic clocks have long served to test this prediction at distance scales from 30 centimeters to thousands of kilometers. Ultimately, clocks will study the union of general relativity and quantum mechanics once they become sensitive to the finite wavefunction of quantum objects oscillating in curved spacetime. Towards this regime, we measure a linear frequency gradient consistent with the gravitational redshift within a single millimeter scale sample of ultracold strontium. Our result is enabled by improving the fractional frequency measurement uncertainty by more than a factor of 10, now reaching 7.6$\times 10^{-21}$. This heralds a new regime of clock operation necessitating intra-sample corrections for gravitational perturbations. △ Less

Submitted 24 September, 2021; originally announced September 2021.

Comments: 27 pages, 4 figures, 1 table

Journal ref: Nature 602, 420 - 424 (2022)

Develo** Visualisations to Enhance an Insider Threat Product: A Case Study

Authors: Martin Graham, Robert Kukla, Oleksii Mandrychenko, Darren Hart, Jessie Kennedy

Abstract: This paper describes the process of develo** data visualisations to enhance a commercial software platform for combating insider threat, whose existing UI, while perfectly functional, was limited in its ability to allow analysts to easily spot the patterns and outliers that visualisation naturally reveals. We describe the design and development process, proceeding from initial tasks/requirements… ▽ More This paper describes the process of develo** data visualisations to enhance a commercial software platform for combating insider threat, whose existing UI, while perfectly functional, was limited in its ability to allow analysts to easily spot the patterns and outliers that visualisation naturally reveals. We describe the design and development process, proceeding from initial tasks/requirements gathering, understanding the platform's data formats, the rationale behind the visualisation's design, and then refining the prototype through gathering feedback from representative domain experts who are also current users of the software. Through a number of example scenarios, we show that the visualisation can support the identified tasks and aid analysts in discovering and understanding potentially risky insider activity within a large user base. △ Less

Submitted 17 September, 2021; originally announced September 2021.

Comments: VizSec 2021

ACM Class: H.5.2